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-2703677-1278554078.opb>
3.09/3.11 c original problem has 7500 variables (7500 bin, 0 int, 0 impl, 0 cont) and 237715 constraints
3.09/3.11 c problem read
3.09/3.11 c presolving settings loaded
3.89/3.92 c presolving:
6.09/6.18 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 233965 upgd conss, 477930 impls, 0 clqs
6.79/6.81 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 237715 upgd conss, 477930 impls, 0 clqs
141.55/141.69 c (138.6s) probing: 1000/7500 (13.3%) - 0 fixings, 0 aggregations, 134067 implications, 0 bound changes
292.61/292.77 c (289.7s) probing: 2000/7500 (26.7%) - 0 fixings, 0 aggregations, 259456 implications, 0 bound changes
292.81/292.92 c (289.8s) probing: 2001/7500 (26.7%) - 0 fixings, 0 aggregations, 259580 implications, 0 bound changes
292.81/292.92 c (289.8s) probing aborted: 2000/2000 successive useless probings
292.81/292.92 c presolving (3 rounds):
292.81/292.92 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
292.81/292.92 c 1372588 implications, 0 cliques
292.81/292.92 c presolved problem has 7500 variables (7500 bin, 0 int, 0 impl, 0 cont) and 237715 constraints
292.81/292.92 c 237465 constraints of type <setppc>
292.81/292.92 c 250 constraints of type <logicor>
292.81/292.92 c transformed objective value is always integral (scale: 1)
292.81/292.92 c Presolving Time: 289.16
292.81/292.92 c - non default parameters ----------------------------------------------------------------------
292.81/292.92 c # SCIP version 1.2.1.3
292.81/292.92 c
292.81/292.92 c # frequency for displaying node information lines
292.81/292.92 c # [type: int, range: [-1,2147483647], default: 100]
292.81/292.92 c display/freq = 10000
292.81/292.92 c
292.81/292.92 c # maximal time in seconds to run
292.81/292.92 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
292.81/292.92 c limits/time = 1786.9
292.81/292.92 c
292.81/292.92 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
292.81/292.92 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
292.81/292.92 c limits/memory = 1620
292.81/292.92 c
292.81/292.92 c # default clock type (1: CPU user seconds, 2: wall clock time)
292.81/292.92 c # [type: int, range: [1,2], default: 1]
292.81/292.92 c timing/clocktype = 2
292.81/292.92 c
292.81/292.92 c # should presolving try to simplify inequalities
292.81/292.92 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
292.81/292.92 c constraints/linear/simplifyinequalities = TRUE
292.81/292.92 c
292.81/292.92 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
292.81/292.92 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
292.81/292.92 c constraints/indicator/addCouplingCons = TRUE
292.81/292.92 c
292.81/292.92 c # should presolving try to simplify knapsacks
292.81/292.92 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
292.81/292.92 c constraints/knapsack/simplifyinequalities = TRUE
292.81/292.92 c
292.81/292.92 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
292.81/292.92 c # [type: int, range: [-1,2147483647], default: -1]
292.81/292.92 c separating/rapidlearning/freq = 0
292.81/292.92 c
292.81/292.92 c -----------------------------------------------------------------------------------------------
292.81/292.92 c start solving
292.81/292.94 c
352.60/352.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
352.60/352.71 c 350s| 1 | 0 | 4801 | - | 299M| 0 |4250 |7500 | 237k|7500 | 237k| 0 | 0 | 0 | 2.125000e+03 | -- | Inf
460.69/461.00 c 458s| 1 | 0 | 15861 | - | 299M| 0 |4198 |7500 | 237k|7500 | 237k| 27 | 0 | 0 | 2.151000e+03 | -- | Inf
502.47/502.84 c 500s| 1 | 0 | 16423 | - | 299M| 0 |4154 |7500 | 237k|7500 | 237k| 49 | 0 | 0 | 2.173000e+03 | -- | Inf
547.84/548.29 c 545s| 1 | 0 | 16806 | - | 299M| 0 |4110 |7500 | 237k|7500 | 237k| 76 | 0 | 0 | 2.195000e+03 | -- | Inf
604.13/604.52 c 601s| 1 | 0 | 17382 | - | 299M| 0 |4062 |7500 | 237k|7500 | 237k| 110 | 0 | 0 | 2.219000e+03 | -- | Inf
664.02/664.41 c 661s| 1 | 0 | 17891 | - | 299M| 0 |4028 |7500 | 237k|7500 | 237k| 138 | 0 | 0 | 2.236000e+03 | -- | Inf
729.00/729.47 c 726s| 1 | 0 | 18463 | - | 299M| 0 |3986 |7500 | 237k|7500 | 237k| 160 | 0 | 0 | 2.257000e+03 | -- | Inf
796.48/796.91 c 794s| 1 | 0 | 18905 | - | 299M| 0 |3953 |7500 | 237k|7500 | 237k| 182 | 0 | 0 | 2.275000e+03 | -- | Inf
870.66/871.15 c 868s| 1 | 0 | 19429 | - | 299M| 0 |3925 |7500 | 237k|7500 | 237k| 208 | 0 | 0 | 2.290250e+03 | -- | Inf
954.64/955.11 c 952s| 1 | 0 | 20105 | - | 299M| 0 |3895 |7500 | 237k|7500 | 237k| 231 | 0 | 0 | 2.305750e+03 | -- | Inf
1040.91/1041.43 c 1038s| 1 | 0 | 20797 | - | 299M| 0 |3857 |7500 | 237k|7500 | 237k| 261 | 0 | 0 | 2.325667e+03 | -- | Inf
1078.41/1078.93 c 1076s| 1 | 0 | 21775 | - | 299M| 0 |3825 |7500 | 237k|7500 | 238k| 290 | 0 | 0 | 2.341000e+03 | -- | Inf
1119.30/1119.87 c 1117s| 1 | 0 | 22803 | - | 300M| 0 |3781 |7500 | 237k|7500 | 238k| 325 | 0 | 0 | 2.362500e+03 | -- | Inf
1154.08/1154.69 c 1152s| 1 | 0 | 23580 | - | 300M| 0 |3745 |7500 | 237k|7500 | 238k| 354 | 0 | 0 | 2.379500e+03 | -- | Inf
1199.27/1199.88 c 1197s| 1 | 0 | 24626 | - | 300M| 0 |3714 |7500 | 237k|7500 | 238k| 383 | 0 | 0 | 2.396100e+03 | -- | Inf
1250.46/1251.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1250.46/1251.02 c 1248s| 1 | 0 | 25887 | - | 300M| 0 |3683 |7500 | 237k|7500 | 238k| 412 | 0 | 0 | 2.410250e+03 | -- | Inf
1297.84/1298.46 c 1295s| 1 | 0 | 27237 | - | 300M| 0 |3652 |7500 | 237k|7500 | 238k| 444 | 0 | 0 | 2.426000e+03 | -- | Inf
1347.83/1348.47 c 1345s| 1 | 0 | 28576 | - | 300M| 0 |3628 |7500 | 237k|7500 | 238k| 475 | 0 | 0 | 2.437250e+03 | -- | Inf
1411.41/1412.06 c 1409s| 1 | 0 | 30235 | - | 300M| 0 |3606 |7500 | 237k|7500 | 238k| 504 | 0 | 0 | 2.451500e+03 | -- | Inf
1467.69/1468.31 c 1465s| 1 | 0 | 31747 | - | 300M| 0 |3572 |7500 | 237k|7500 | 238k| 543 | 0 | 0 | 2.469500e+03 | -- | Inf
1528.68/1529.35 c 1526s| 1 | 0 | 33416 | - | 300M| 0 |3554 |7500 | 237k|7500 | 238k| 584 | 0 | 0 | 2.482000e+03 | -- | Inf
1588.97/1589.60 c 1586s| 1 | 0 | 35209 | - | 300M| 0 |3516 |7500 | 237k|7500 | 238k| 618 | 0 | 0 | 2.499750e+03 | -- | Inf
1641.66/1642.38 c 1639s| 1 | 0 | 36709 | - | 301M| 0 |3484 |7500 | 237k|7500 | 238k| 648 | 0 | 0 | 2.514500e+03 | -- | Inf
1714.83/1715.57 c 1712s| 1 | 0 | 38475 | - | 301M| 0 |3464 |7500 | 237k|7500 | 238k| 678 | 0 | 0 | 2.527000e+03 | -- | Inf
1789.32/1790.07 c 1787s| 1 | 0 | 40484 | - | 301M| 0 | - |7500 | 237k|7500 | 238k| 707 | 0 | 0 | 2.527000e+03 | -- | Inf
1789.62/1790.32 c 1787s| 1 | 2 | 40484 | - | 301M| 0 | - |7500 | 237k|7500 | 238k| 707 | 0 | 0 | 2.527000e+03 | -- | Inf
1789.62/1790.32 c
1789.62/1790.32 c SCIP Status : solving was interrupted [time limit reached]
1789.62/1790.32 c Solving Time (sec) : 1787.21
1789.62/1790.32 c Solving Nodes : 1
1789.62/1790.32 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.62/1790.32 c Dual Bound : +2.52700000000000e+03
1789.62/1790.32 c Gap : infinite
1789.62/1790.32 s UNKNOWN
1789.62/1790.32 c SCIP Status : solving was interrupted [time limit reached]
1789.62/1790.32 c Solving Time : 1787.21
1789.62/1790.32 c Original Problem :
1789.62/1790.32 c Problem name : HOME/instance-2703677-1278554078.opb
1789.62/1790.32 c Variables : 7500 (7500 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.62/1790.32 c Constraints : 237715 initial, 237715 maximal
1789.62/1790.32 c Presolved Problem :
1789.62/1790.32 c Problem name : t_HOME/instance-2703677-1278554078.opb
1789.62/1790.32 c Variables : 7500 (7500 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.62/1790.32 c Constraints : 237715 initial, 237715 maximal
1789.62/1790.32 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.62/1790.32 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.62/1790.32 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.62/1790.32 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.62/1790.32 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.62/1790.32 c implics : 0.01 0 0 0 0 0 0 0 0
1789.62/1790.32 c probing : 285.85 0 0 0 0 0 0 0 0
1789.62/1790.32 c setppc : 0.84 0 0 0 0 0 0 0 0
1789.62/1790.32 c logicor : 0.01 0 0 0 0 0 0 0 0
1789.62/1790.32 c root node : - 0 - - 0 - - - -
1789.62/1790.32 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.62/1790.32 c integral : 0 0 0 0 0 0 0 0 0 0
1789.62/1790.32 c setppc : 237465 24 6001 0 1 0 0 0 0 0
1789.62/1790.32 c logicor : 250 24 717 0 1 0 0 0 0 0
1789.62/1790.32 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.62/1790.32 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.62/1790.32 c integral : 0.00 0.00 0.00 0.00 0.00
1789.62/1790.32 c setppc : 256.80 1.62 254.94 0.00 0.24
1789.62/1790.32 c logicor : 0.24 0.00 0.24 0.00 0.00
1789.62/1790.32 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.62/1790.32 c Propagators : Time Calls Cutoffs DomReds
1789.62/1790.32 c vbounds : 0.01 2 0 0
1789.62/1790.32 c rootredcost : 0.00 0 0 0
1789.62/1790.32 c pseudoobj : 0.03 25 0 0
1789.62/1790.32 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.62/1790.33 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.62/1790.33 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.62/1790.33 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.62/1790.33 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.62/1790.33 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.62/1790.33 c applied globally : - - - 0 0.0 - - -
1789.62/1790.33 c applied locally : - - - 0 0.0 - - -
1789.62/1790.33 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.62/1790.33 c cut pool : 0.01 23 - - 113 - (maximal pool size: 1099)
1789.62/1790.33 c redcost : 0.02 24 0 0 0 0
1789.62/1790.33 c impliedbounds : 1.69 24 0 0 0 0
1789.62/1790.33 c intobj : 0.00 0 0 0 0 0
1789.62/1790.33 c cgmip : 0.00 0 0 0 0 0
1789.62/1790.33 c gomory : 78.43 24 0 0 12000 0
1789.62/1790.33 c strongcg : 65.00 20 0 0 10000 0
1789.62/1790.33 c cmir : 151.96 10 0 0 0 0
1789.62/1790.33 c flowcover : 166.01 10 0 0 0 0
1789.62/1790.33 c clique : 22.20 24 0 0 239 0
1789.62/1790.33 c zerohalf : 0.00 0 0 0 0 0
1789.62/1790.33 c mcf : 0.90 1 0 0 0 0
1789.62/1790.33 c rapidlearning : 0.00 0 0 0 0 0
1789.62/1790.33 c Pricers : Time Calls Vars
1789.62/1790.33 c problem variables: 0.00 0 0
1789.62/1790.33 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.62/1790.33 c relpscost : 0.00 0 0 0 0 0 0
1789.62/1790.33 c pscost : 0.00 0 0 0 0 0 0
1789.62/1790.33 c inference : 0.00 1 0 0 0 0 2
1789.62/1790.33 c mostinf : 0.00 0 0 0 0 0 0
1789.62/1790.33 c leastinf : 0.00 0 0 0 0 0 0
1789.62/1790.33 c fullstrong : 0.00 0 0 0 0 0 0
1789.62/1790.33 c allfullstrong : 0.00 0 0 0 0 0 0
1789.62/1790.33 c random : 0.00 0 0 0 0 0 0
1789.62/1790.33 c Primal Heuristics : Time Calls Found
1789.62/1790.33 c LP solutions : 0.00 - 0
1789.62/1790.33 c pseudo solutions : 0.00 - 0
1789.62/1790.33 c oneopt : 0.00 0 0
1789.62/1790.33 c trivial : 0.31 2 0
1789.62/1790.33 c simplerounding : 0.00 0 0
1789.62/1790.33 c zirounding : 0.00 0 0
1789.62/1790.33 c rounding : 1.58 24 0
1789.62/1790.33 c shifting : 185.73 24 0
1789.62/1790.33 c intshifting : 0.00 0 0
1789.62/1790.33 c twoopt : 0.00 0 0
1789.62/1790.33 c fixandinfer : 0.00 0 0
1789.62/1790.33 c feaspump : 72.57 1 0
1789.62/1790.33 c coefdiving : 0.00 0 0
1789.62/1790.33 c pscostdiving : 0.00 0 0
1789.62/1790.33 c fracdiving : 0.00 0 0
1789.62/1790.33 c veclendiving : 0.00 0 0
1789.62/1790.33 c intdiving : 0.00 0 0
1789.62/1790.33 c actconsdiving : 0.00 0 0
1789.62/1790.33 c objpscostdiving : 0.00 0 0
1789.62/1790.33 c rootsoldiving : 0.00 0 0
1789.62/1790.33 c linesearchdiving : 0.00 0 0
1789.62/1790.33 c guideddiving : 0.00 0 0
1789.62/1790.33 c octane : 0.00 0 0
1789.62/1790.33 c rens : 0.00 0 0
1789.62/1790.33 c rins : 0.00 0 0
1789.62/1790.33 c localbranching : 0.00 0 0
1789.62/1790.33 c mutation : 0.00 0 0
1789.62/1790.33 c crossover : 0.00 0 0
1789.62/1790.33 c dins : 0.00 0 0
1789.62/1790.33 c undercover : 0.00 0 0
1789.62/1790.33 c nlp : 0.00 0 0
1789.62/1790.33 c trysol : 0.00 0 0
1789.62/1790.33 c LP : Time Calls Iterations Iter/call Iter/sec
1789.62/1790.33 c primal LP : 0.42 0 0 0.00 0.00
1789.62/1790.33 c dual LP : 745.34 25 29808 1192.32 39.99
1789.62/1790.33 c lex dual LP : 0.00 0 0 0.00 -
1789.62/1790.33 c barrier LP : 0.00 0 0 0.00 -
1789.62/1790.33 c diving/probing LP: 71.36 21 10676 508.38 149.61
1789.62/1790.33 c strong branching : 0.00 0 0 0.00 -
1789.62/1790.33 c (at root node) : - 0 0 0.00 -
1789.62/1790.33 c conflict analysis: 0.00 0 0 0.00 -
1789.62/1790.33 c B&B Tree :
1789.62/1790.33 c number of runs : 1
1789.62/1790.33 c nodes : 1
1789.62/1790.33 c nodes (total) : 1
1789.62/1790.33 c nodes left : 2
1789.62/1790.33 c max depth : 0
1789.62/1790.33 c max depth (total): 0
1789.62/1790.33 c backtracks : 0 (0.0%)
1789.62/1790.33 c delayed cutoffs : 0
1789.62/1790.33 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.62/1790.33 c avg switch length: 1.00
1789.62/1790.33 c switching time : 0.00
1789.62/1790.33 c Solution :
1789.62/1790.33 c Solutions found : 0 (0 improvements)
1789.62/1790.33 c Primal Bound : -
1789.62/1790.33 c Dual Bound : +2.52700000000000e+03
1789.62/1790.33 c Gap : infinite
1789.62/1790.33 c Root Dual Bound : +2.52700000000000e+03
1789.62/1790.33 c Root Iterations : 40484
1790.91/1791.64 c Time complete: 1790.96.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703677-1278554078/watcher-2703677-1278554078 -o /tmp/evaluation-result-2703677-1278554078/solver-2703677-1278554078 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703677-1278554078.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.15 1.03 1.01 3/105 28317
/proc/meminfo: memFree=1831160/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=7904 CPUtime=0
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 1120 0 0 0 0 0 0 0 21 0 1 0 23616150 8093696 1031 1992294400 4194304 8395647 140736063632832 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28317/statm: 1976 1039 365 1026 0 946 0
[startup+0.0531761 s]
/proc/loadavg: 1.15 1.03 1.01 3/105 28317
/proc/meminfo: memFree=1831160/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=17660 CPUtime=0.05
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 3756 0 0 0 4 1 0 0 21 0 1 0 23616150 18083840 3666 1992294400 4194304 8395647 140736063632832 18446744073709551615 4222476 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28317/statm: 4415 3666 394 1026 0 3385 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17660
[startup+0.10118 s]
/proc/loadavg: 1.15 1.03 1.01 3/105 28317
/proc/meminfo: memFree=1831160/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=19380 CPUtime=0.09
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 4152 0 0 0 8 1 0 0 21 0 1 0 23616150 19845120 4062 1992294400 4194304 8395647 140736063632832 18446744073709551615 7382046 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28317/statm: 4845 4062 394 1026 0 3815 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19380
[startup+0.301203 s]
/proc/loadavg: 1.15 1.03 1.01 3/105 28317
/proc/meminfo: memFree=1831160/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=24928 CPUtime=0.29
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 5538 0 0 0 28 1 0 0 21 0 1 0 23616150 25526272 5448 1992294400 4194304 8395647 140736063632832 18446744073709551615 7382046 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28317/statm: 6232 5448 394 1026 0 5202 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24928
[startup+0.701248 s]
/proc/loadavg: 1.15 1.03 1.01 3/105 28317
/proc/meminfo: memFree=1831160/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=35856 CPUtime=0.69
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 8265 0 0 0 67 2 0 0 22 0 1 0 23616150 36716544 8175 1992294400 4194304 8395647 140736063632832 18446744073709551615 4423932 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28317/statm: 8964 8175 394 1026 0 7934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35856
[startup+1.50134 s]
/proc/loadavg: 1.15 1.03 1.01 2/106 28318
/proc/meminfo: memFree=1792960/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=56016 CPUtime=1.49
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 13268 0 0 0 145 4 0 0 25 0 1 0 23616150 57360384 13178 1992294400 4194304 8395647 140736063632832 18446744073709551615 7385073 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28317/statm: 14004 13178 394 1026 0 12974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56016
[startup+3.10152 s]
/proc/loadavg: 1.15 1.03 1.01 2/106 28318
/proc/meminfo: memFree=1763076/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=98140 CPUtime=3.09
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 23756 0 0 0 301 8 0 0 25 0 1 0 23616150 100495360 23666 1992294400 4194304 8395647 140736063632832 18446744073709551615 7382061 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28317/statm: 24535 23666 394 1026 0 23505 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 98140
[startup+6.30088 s]
/proc/loadavg: 1.22 1.05 1.02 2/106 28318
/proc/meminfo: memFree=1538016/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=374108 CPUtime=6.29
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 95739 0 0 0 598 31 0 0 25 0 1 0 23616150 383086592 88104 1992294400 4194304 8395647 140736063632832 18446744073709551615 7382137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 93527 88114 477 1026 0 92497 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 374108
[startup+12.7016 s]
/proc/loadavg: 1.20 1.05 1.01 2/106 28318
/proc/meminfo: memFree=1466344/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=374108 CPUtime=12.69
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 99046 0 0 0 1237 32 0 0 25 0 1 0 23616150 383086592 91411 1992294400 4194304 8395647 140736063632832 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 93527 91411 491 1026 0 92497 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 374108
[startup+25.5011 s]
/proc/loadavg: 1.16 1.04 1.01 2/106 28318
/proc/meminfo: memFree=1466344/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=374108 CPUtime=25.49
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 99046 0 0 0 2517 32 0 0 25 0 1 0 23616150 383086592 91411 1992294400 4194304 8395647 140736063632832 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 93527 91411 491 1026 0 92497 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 374108
[startup+51.101 s]
/proc/loadavg: 1.10 1.04 1.01 2/106 28320
/proc/meminfo: memFree=1466344/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=374108 CPUtime=51.08
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 99046 0 0 0 5076 32 0 0 25 0 1 0 23616150 383086592 91411 1992294400 4194304 8395647 140736063632832 18446744073709551615 4505975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 93527 91411 491 1026 0 92497 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 374108
[startup+102.309 s]
/proc/loadavg: 1.04 1.03 1.01 2/106 28321
/proc/meminfo: memFree=1466344/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=374108 CPUtime=102.27
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 99046 0 0 0 10195 32 0 0 25 0 1 0 23616150 383086592 91411 1992294400 4194304 8395647 140736063632832 18446744073709551615 5608464 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 93527 91411 491 1026 0 92497 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 374108
[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/106 28322
/proc/meminfo: memFree=1466344/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=374108 CPUtime=162.25
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 99052 0 0 0 16193 32 0 0 25 0 1 0 23616150 383086592 91417 1992294400 4194304 8395647 140736063632832 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 93527 91417 497 1026 0 92497 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 374108
[startup+222.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 28324
/proc/meminfo: memFree=1466344/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=374108 CPUtime=222.23
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 99052 0 0 0 22191 32 0 0 25 0 1 0 23616150 383086592 91417 1992294400 4194304 8395647 140736063632832 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 93527 91417 497 1026 0 92497 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 374108
[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 28326
/proc/meminfo: memFree=1466344/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=374108 CPUtime=282.22
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 99052 0 0 0 28190 32 0 0 25 0 1 0 23616150 383086592 91417 1992294400 4194304 8395647 140736063632832 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 93527 91417 497 1026 0 92497 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 374108
[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 28328
/proc/meminfo: memFree=1201480/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=667004 CPUtime=342.2
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 174123 0 0 0 34160 60 0 0 25 0 1 0 23616150 683012096 158307 1992294400 4194304 8395647 140736063632832 18446744073709551615 6636331 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 166751 158307 1262 1026 0 165721 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 667004
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 28337
/proc/meminfo: memFree=1178788/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=686772 CPUtime=402.17
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 180269 0 0 0 40148 69 0 0 25 0 1 0 23616150 703254528 164279 1992294400 4194304 8395647 140736063632832 18446744073709551615 6709505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 171693 164279 1711 1026 0 170663 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 686772
[startup+462.302 s]
/proc/loadavg: 1.35 1.08 1.03 2/111 28762
/proc/meminfo: memFree=1175100/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=680376 CPUtime=461.98
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 189539 0 0 0 46117 81 0 0 25 0 1 0 23616150 696705024 155048 1992294400 4194304 8395647 140736063632832 18446744073709551615 5542505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 170094 155048 814 1026 0 169064 0
Current children cumulated CPU time (s) 461.98
Current children cumulated vsize (KiB) 680376
[startup+522.301 s]
/proc/loadavg: 1.60 1.21 1.07 2/106 30569
/proc/meminfo: memFree=1042004/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=689668 CPUtime=521.95
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 192278 0 0 0 52111 84 0 0 25 0 1 0 23616150 706220032 157768 1992294400 4194304 8395647 140736063632832 18446744073709551615 5827857 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 172417 157768 796 1026 0 171387 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 689668
[startup+582.301 s]
/proc/loadavg: 1.22 1.17 1.07 2/106 30571
/proc/meminfo: memFree=1023652/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=694448 CPUtime=581.94
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 197046 0 0 0 58107 87 0 0 25 0 1 0 23616150 711114752 162508 1992294400 4194304 8395647 140736063632832 18446744073709551615 5849677 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 173612 162508 770 1026 0 172582 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 694448
[startup+642.301 s]
/proc/loadavg: 1.08 1.14 1.06 2/106 30573
/proc/meminfo: memFree=1018196/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=709124 CPUtime=641.93
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 198401 0 0 0 64104 89 0 0 25 0 1 0 23616150 726142976 163863 1992294400 4194304 8395647 140736063632832 18446744073709551615 5849686 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 177281 163863 770 1026 0 176251 0
Current children cumulated CPU time (s) 641.93
Current children cumulated vsize (KiB) 709124
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=998736/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=709124 CPUtime=1061.81
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 203318 0 0 0 106081 100 0 0 25 0 1 0 23616150 726142976 168778 1992294400 4194304 8395647 140736063632832 18446744073709551615 6696995 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 177281 168778 768 1026 0 176251 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 709124
[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.01 2/106 30585
/proc/meminfo: memFree=998612/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=709124 CPUtime=1121.79
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 203359 0 0 0 112075 104 0 0 25 0 1 0 23616150 726142976 168819 1992294400 4194304 8395647 140736063632832 18446744073709551615 5541966 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 177281 168819 768 1026 0 176251 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 709124
[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.01 2/106 30587
/proc/meminfo: memFree=995264/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=714428 CPUtime=1181.78
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 204185 0 0 0 118071 107 0 0 25 0 1 0 23616150 731574272 169644 1992294400 4194304 8395647 140736063632832 18446744073709551615 6698214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 178607 169644 767 1026 0 177577 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 714428
[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 30589
/proc/meminfo: memFree=992908/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=714428 CPUtime=1241.76
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 204732 0 0 0 124067 109 0 0 25 0 1 0 23616150 731574272 170191 1992294400 4194304 8395647 140736063632832 18446744073709551615 6636373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 178607 170191 767 1026 0 177577 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 714428
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30589
/proc/meminfo: memFree=987576/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=721872 CPUtime=1301.75
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 206039 0 0 0 130062 113 0 0 25 0 1 0 23616150 739196928 171498 1992294400 4194304 8395647 140736063632832 18446744073709551615 5542505 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 180468 171498 767 1026 0 179438 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 721872
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30591
/proc/meminfo: memFree=985592/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=721872 CPUtime=1361.73
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 206512 0 0 0 136057 116 0 0 25 0 1 0 23616150 739196928 171971 1992294400 4194304 8395647 140736063632832 18446744073709551615 6698214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 180468 171971 767 1026 0 179438 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 721872
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30593
/proc/meminfo: memFree=978772/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=724196 CPUtime=1421.72
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 208221 0 0 0 142052 120 0 0 25 0 1 0 23616150 741576704 173680 1992294400 4194304 8395647 140736063632832 18446744073709551615 6440490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 181049 173680 767 1026 0 180019 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 724196
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30595
/proc/meminfo: memFree=978772/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=724196 CPUtime=1481.69
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 208244 0 0 0 148046 123 0 0 25 0 1 0 23616150 741576704 173703 1992294400 4194304 8395647 140736063632832 18446744073709551615 6698051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 181049 173703 767 1026 0 180019 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 724196
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30600
/proc/meminfo: memFree=978152/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=724196 CPUtime=1541.68
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 208248 0 0 0 154042 126 0 0 25 0 1 0 23616150 741576704 173707 1992294400 4194304 8395647 140736063632832 18446744073709551615 6697983 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 181049 173707 767 1026 0 180019 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 724196
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30600
/proc/meminfo: memFree=978152/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=724196 CPUtime=1601.66
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 208259 0 0 0 160037 129 0 0 25 0 1 0 23616150 741576704 173718 1992294400 4194304 8395647 140736063632832 18446744073709551615 6696767 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 181049 173718 767 1026 0 180019 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 724196
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30602
/proc/meminfo: memFree=978152/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=724196 CPUtime=1661.65
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 208268 0 0 0 166033 132 0 0 25 0 1 0 23616150 741576704 173727 1992294400 4194304 8395647 140736063632832 18446744073709551615 6752391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 181049 173727 767 1026 0 180019 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 724196
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30604
/proc/meminfo: memFree=978152/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=724196 CPUtime=1721.63
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 208268 0 0 0 172028 135 0 0 25 0 1 0 23616150 741576704 173727 1992294400 4194304 8395647 140736063632832 18446744073709551615 6440888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 181049 173727 767 1026 0 180019 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 724196
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30606
/proc/meminfo: memFree=978152/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=724196 CPUtime=1781.61
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 208274 0 0 0 178024 137 0 0 25 0 1 0 23616150 741576704 173732 1992294400 4194304 8395647 140736063632832 18446744073709551615 6752391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 181049 173732 766 1026 0 180019 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 724196
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30606
/proc/meminfo: memFree=978152/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=724196 CPUtime=1784.81
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 208274 0 0 0 178344 137 0 0 25 0 1 0 23616150 741576704 173732 1992294400 4194304 8395647 140736063632832 18446744073709551615 6698218 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 181049 173732 766 1026 0 180019 0
Current children cumulated CPU time (s) 1784.81
Current children cumulated vsize (KiB) 724196
[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30606
/proc/meminfo: memFree=978152/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=724196 CPUtime=1788.02
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 208274 0 0 0 178664 138 0 0 25 0 1 0 23616150 741576704 173732 1992294400 4194304 8395647 140736063632832 18446744073709551615 6697060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 181049 173732 766 1026 0 180019 0
Current children cumulated CPU time (s) 1788.02
Current children cumulated vsize (KiB) 724196
[startup+1790.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30606
/proc/meminfo: memFree=978152/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=724196 CPUtime=1789.62
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 208274 0 0 0 178824 138 0 0 25 0 1 0 23616150 741576704 173732 1992294400 4194304 8395647 140736063632832 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28317/statm: 181049 173732 766 1026 0 180019 0
Current children cumulated CPU time (s) 1789.62
Current children cumulated vsize (KiB) 724196
[startup+1791.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30606
/proc/meminfo: memFree=978152/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=724196 CPUtime=1790.42
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 208283 0 0 0 178904 138 0 0 25 0 1 0 23616150 741576704 173741 1992294400 4194304 8395647 140736063632832 18446744073709551615 6063859 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28317/statm: 181049 173741 775 1026 0 180019 0
Current children cumulated CPU time (s) 1790.42
Current children cumulated vsize (KiB) 724196
[startup+1791.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30606
/proc/meminfo: memFree=978152/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=609456 CPUtime=1790.82
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 208283 0 0 0 178943 139 0 0 25 0 1 0 23616150 624082944 147101 1992294400 4194304 8395647 140736063632832 18446744073709551615 4220161 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28317/statm: 152364 147101 775 1026 0 151334 0
Current children cumulated CPU time (s) 1790.82
Current children cumulated vsize (KiB) 609456
[startup+1791.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30606
/proc/meminfo: memFree=978152/2059040 swapFree=4097784/4192956
[pid=28317] ppid=28315 vsize=548916 CPUtime=1790.91
/proc/28317/stat : 28317 (pbscip.linux.x8) R 28315 28317 27113 0 -1 4202496 208283 0 0 0 178951 140 0 0 25 0 1 0 23616150 562089984 119171 1992294400 4194304 8395647 140736063632832 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28317/statm: 137229 118659 742 1026 0 136199 0
Current children cumulated CPU time (s) 1790.91
Current children cumulated vsize (KiB) 548916
Child status: 0
Real time (s): 1791.65
CPU time (s): 1790.97
CPU user time (s): 1789.52
CPU system time (s): 1.44778
CPU usage (%): 99.9621
Max. virtual memory (cumulated for all children) (KiB): 724196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.52
system time used= 1.44778
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208289
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 8325
runsolver used 3.00454 second user time and 8.48171 second system time
The end