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-3740601-1338741339.opb>
1.09/1.17 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184337 constraints
1.09/1.17 c problem read
1.09/1.17 c presolving settings loaded
1.59/1.63 c presolving:
6.69/6.71 c (round 1) 6324 del vars, 19467 del conss, 4929 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12221504 impls, 0 clqs
9.09/9.12 c (round 2) 12033 del vars, 44517 del conss, 10681 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12251598 impls, 0 clqs
9.69/9.78 c (round 3) 14912 del vars, 56590 del conss, 12333 chg bounds, 65 chg sides, 41 chg coeffs, 0 upgd conss, 12267824 impls, 0 clqs
10.09/10.12 c (round 4) 15893 del vars, 60900 del conss, 13000 chg bounds, 92 chg sides, 79 chg coeffs, 0 upgd conss, 12278097 impls, 0 clqs
10.39/10.40 c (round 5) 16659 del vars, 63682 del conss, 13530 chg bounds, 99 chg sides, 88 chg coeffs, 0 upgd conss, 12285946 impls, 0 clqs
10.59/10.61 c (round 6) 17288 del vars, 66086 del conss, 13944 chg bounds, 117 chg sides, 113 chg coeffs, 0 upgd conss, 12292421 impls, 0 clqs
10.69/10.76 c (round 7) 17720 del vars, 67806 del conss, 14251 chg bounds, 117 chg sides, 113 chg coeffs, 0 upgd conss, 12297103 impls, 0 clqs
10.79/10.88 c (round 8) 18014 del vars, 68935 del conss, 14421 chg bounds, 117 chg sides, 113 chg coeffs, 0 upgd conss, 12302364 impls, 0 clqs
10.89/10.97 c (round 9) 18197 del vars, 69740 del conss, 14540 chg bounds, 117 chg sides, 113 chg coeffs, 0 upgd conss, 12306388 impls, 0 clqs
10.99/11.07 c (round 10) 18345 del vars, 70301 del conss, 14643 chg bounds, 117 chg sides, 113 chg coeffs, 0 upgd conss, 12309883 impls, 0 clqs
11.19/11.20 c (round 11) 18486 del vars, 70882 del conss, 14750 chg bounds, 117 chg sides, 113 chg coeffs, 0 upgd conss, 12311678 impls, 0 clqs
11.29/11.30 c (round 12) 18607 del vars, 71330 del conss, 14826 chg bounds, 117 chg sides, 113 chg coeffs, 0 upgd conss, 12312304 impls, 0 clqs
11.39/11.48 c (round 13) 18706 del vars, 71729 del conss, 14949 chg bounds, 117 chg sides, 113 chg coeffs, 0 upgd conss, 12312798 impls, 0 clqs
11.49/11.52 c (round 14) 18798 del vars, 72199 del conss, 14989 chg bounds, 117 chg sides, 113 chg coeffs, 0 upgd conss, 12312830 impls, 0 clqs
12.00/12.01 c (round 15) 18798 del vars, 72205 del conss, 14989 chg bounds, 117 chg sides, 113 chg coeffs, 112132 upgd conss, 12312830 impls, 0 clqs
402.58/402.79 c (401.6s) probing: 1000/35984 (2.8%) - 0 fixings, 0 aggregations, 7572326 implications, 0 bound changes
759.98/760.23 c (759.1s) probing: 2000/35984 (5.6%) - 0 fixings, 0 aggregations, 12520693 implications, 0 bound changes
760.18/760.46 c (759.3s) probing: 2001/35984 (5.6%) - 0 fixings, 0 aggregations, 12523738 implications, 0 bound changes
760.18/760.46 c (759.3s) probing aborted: 2000/2000 successive useless probings
760.18/760.47 c presolving (16 rounds):
760.18/760.47 c 18798 deleted vars, 72205 deleted constraints, 14989 tightened bounds, 0 added holes, 119 changed sides, 194 changed coefficients
760.18/760.47 c 61797508 implications, 266 cliques
760.18/760.47 c presolved problem has 35984 variables (35984 bin, 0 int, 0 impl, 0 cont) and 112133 constraints
760.18/760.47 c 1060 constraints of type <knapsack>
760.18/760.47 c 93318 constraints of type <setppc>
760.18/760.47 c 17755 constraints of type <logicor>
760.18/760.47 c transformed objective value is always integral (scale: 1)
760.18/760.47 c Presolving Time: 758.98
760.18/760.47 c - non default parameters ----------------------------------------------------------------------
760.18/760.47 c # SCIP version 1.2.1.3
760.18/760.47 c
760.18/760.47 c # frequency for displaying node information lines
760.18/760.47 c # [type: int, range: [-1,2147483647], default: 100]
760.18/760.47 c display/freq = 10000
760.18/760.47 c
760.18/760.47 c # maximal time in seconds to run
760.18/760.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
760.18/760.47 c limits/time = 1788.84
760.18/760.47 c
760.18/760.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
760.18/760.47 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
760.18/760.47 c limits/memory = 13950
760.18/760.47 c
760.18/760.47 c # default clock type (1: CPU user seconds, 2: wall clock time)
760.18/760.47 c # [type: int, range: [1,2], default: 1]
760.18/760.47 c timing/clocktype = 2
760.18/760.47 c
760.18/760.47 c # should presolving try to simplify inequalities
760.18/760.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
760.18/760.47 c constraints/linear/simplifyinequalities = TRUE
760.18/760.47 c
760.18/760.47 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
760.18/760.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
760.18/760.47 c constraints/indicator/addCouplingCons = TRUE
760.18/760.47 c
760.18/760.47 c # should presolving try to simplify knapsacks
760.18/760.47 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
760.18/760.47 c constraints/knapsack/simplifyinequalities = TRUE
760.18/760.47 c
760.18/760.47 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
760.18/760.47 c # [type: int, range: [-1,2147483647], default: -1]
760.18/760.47 c separating/rapidlearning/freq = 0
760.18/760.47 c
760.18/760.47 c -----------------------------------------------------------------------------------------------
760.18/760.47 c start solving
760.18/760.49 c
856.95/857.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
856.95/857.22 c 856s| 1 | 0 | 29735 | - |1773M| 0 | 47 | 35k| 112k| 35k| 112k| 0 | 0 | 0 | 1.360000e+02 | -- | Inf
1624.22/1624.61 c 1623s| 1 | 0 | 67382 | - |1775M| 0 | 166 | 35k| 112k| 35k| 112k| 206 | 0 | 0 | 1.360000e+02 | -- | Inf
1698.60/1699.06 c 1698s| 1 | 0 | 75120 | - |1776M| 0 | 569 | 35k| 112k| 35k| 112k| 225 | 0 | 0 | 1.360000e+02 | -- | Inf
1789.59/1790.07 c 1789s| 1 | 0 | 85955 | - |1776M| 0 | - | 35k| 112k| 35k| 112k| 254 | 0 | 0 | 1.360000e+02 | -- | Inf
1789.69/1790.13 c 1789s| 1 | 2 | 85955 | - |1776M| 0 | - | 35k| 112k| 35k| 112k| 254 | 0 | 0 | 1.360000e+02 | -- | Inf
1789.69/1790.13 c
1789.69/1790.13 c SCIP Status : solving was interrupted [time limit reached]
1789.69/1790.13 c Solving Time (sec) : 1788.96
1789.69/1790.13 c Solving Nodes : 1
1789.69/1790.13 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.69/1790.13 c Dual Bound : +1.36000000000000e+02
1789.69/1790.13 c Gap : infinite
1789.69/1790.13 s UNKNOWN
1789.69/1790.13 c SCIP Status : solving was interrupted [time limit reached]
1789.69/1790.13 c Solving Time : 1788.96
1789.69/1790.13 c Original Problem :
1789.69/1790.13 c Problem name : HOME/instance-3740601-1338741339.opb
1789.69/1790.13 c Variables : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.69/1790.13 c Constraints : 184337 initial, 184337 maximal
1789.69/1790.13 c Presolved Problem :
1789.69/1790.13 c Problem name : t_HOME/instance-3740601-1338741339.opb
1789.69/1790.13 c Variables : 35984 (35984 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.69/1790.13 c Constraints : 112133 initial, 112133 maximal
1789.69/1790.13 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.69/1790.13 c trivial : 0.05 1129 0 0 0 0 0 0 0
1789.69/1790.13 c dualfix : 0.07 94 0 0 0 0 0 0 0
1789.69/1790.13 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.69/1790.13 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.69/1790.13 c implics : 0.45 0 0 0 0 0 0 0 0
1789.69/1790.13 c probing : 748.15 0 0 0 0 0 0 0 0
1789.69/1790.13 c knapsack : 0.08 0 0 0 0 0 0 2 81
1789.69/1790.13 c setppc : 0.17 0 0 0 0 0 0 0 0
1789.69/1790.13 c linear : 9.67 13860 3715 0 14989 0 72205 117 113
1789.69/1790.13 c logicor : 0.02 0 0 0 0 0 0 0 0
1789.69/1790.13 c root node : - 0 - - 0 - - - -
1789.69/1790.13 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.69/1790.13 c integral : 0 0 0 0 0 0 0 0 0 0
1789.69/1790.13 c knapsack : 1060 3 85768 0 1 0 0 79 0 0
1789.69/1790.13 c setppc : 93318 3 85768 0 1 0 0 0 0 0
1789.69/1790.13 c logicor : 17755 3 76160 0 1 0 0 0 0 0
1789.69/1790.13 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.69/1790.13 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.69/1790.13 c integral : 0.00 0.00 0.00 0.00 0.00
1789.69/1790.13 c knapsack : 5.96 0.01 5.95 0.00 0.00
1789.69/1790.13 c setppc : 436.33 0.03 436.26 0.00 0.04
1789.69/1790.13 c logicor : 5.96 0.01 5.94 0.00 0.01
1789.69/1790.13 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.69/1790.13 c Propagators : Time Calls Cutoffs DomReds
1789.69/1790.13 c vbounds : 0.04 2 0 0
1789.69/1790.13 c rootredcost : 0.03 0 0 0
1789.69/1790.13 c pseudoobj : 0.03 2 0 0
1789.69/1790.13 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.69/1790.13 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.69/1790.13 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.69/1790.13 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.69/1790.13 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.69/1790.13 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.69/1790.13 c applied globally : - - - 0 0.0 - - -
1789.69/1790.13 c applied locally : - - - 0 0.0 - - -
1789.69/1790.13 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.69/1790.13 c cut pool : 0.00 2 - - 20 - (maximal pool size: 422)
1789.69/1790.13 c redcost : 0.01 3 0 0 0 0
1789.69/1790.13 c impliedbounds : 0.03 3 0 0 194 0
1789.69/1790.13 c intobj : 0.00 0 0 0 0 0
1789.69/1790.13 c cgmip : 0.00 0 0 0 0 0
1789.69/1790.13 c gomory : 3.68 3 0 0 1176 0
1789.69/1790.13 c strongcg : 2.59 3 0 0 1176 0
1789.69/1790.13 c cmir : 41.25 3 0 0 8 0
1789.69/1790.13 c flowcover : 36.83 3 0 0 76 0
1789.69/1790.13 c clique : 654.43 3 0 0 15 0
1789.69/1790.13 c zerohalf : 0.00 0 0 0 0 0
1789.69/1790.13 c mcf : 3.56 1 0 0 0 0
1789.69/1790.13 c rapidlearning : 0.00 0 0 0 0 0
1789.69/1790.13 c Pricers : Time Calls Vars
1789.69/1790.13 c problem variables: 0.00 0 0
1789.69/1790.13 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.69/1790.13 c relpscost : 0.00 0 0 0 0 0 0
1789.69/1790.13 c pscost : 0.00 0 0 0 0 0 0
1789.69/1790.13 c inference : 0.01 1 0 0 0 0 2
1789.69/1790.13 c mostinf : 0.00 0 0 0 0 0 0
1789.69/1790.13 c leastinf : 0.00 0 0 0 0 0 0
1789.69/1790.13 c fullstrong : 0.00 0 0 0 0 0 0
1789.69/1790.13 c allfullstrong : 0.00 0 0 0 0 0 0
1789.69/1790.13 c random : 0.00 0 0 0 0 0 0
1789.69/1790.13 c Primal Heuristics : Time Calls Found
1789.69/1790.13 c LP solutions : 0.00 - 0
1789.69/1790.13 c pseudo solutions : 0.00 - 0
1789.69/1790.13 c oneopt : 0.00 0 0
1789.69/1790.13 c trivial : 0.07 2 0
1789.69/1790.13 c simplerounding : 0.00 0 0
1789.69/1790.13 c zirounding : 0.00 0 0
1789.69/1790.13 c rounding : 0.01 3 0
1789.69/1790.13 c shifting : 0.03 3 0
1789.69/1790.13 c intshifting : 0.00 0 0
1789.69/1790.13 c twoopt : 0.00 0 0
1789.69/1790.13 c fixandinfer : 0.00 0 0
1789.69/1790.13 c feaspump : 65.65 1 0
1789.69/1790.13 c coefdiving : 0.00 0 0
1789.69/1790.13 c pscostdiving : 0.00 0 0
1789.69/1790.13 c fracdiving : 0.00 0 0
1789.69/1790.13 c veclendiving : 0.00 0 0
1789.69/1790.13 c intdiving : 0.00 0 0
1789.69/1790.13 c actconsdiving : 0.00 0 0
1789.69/1790.13 c objpscostdiving : 0.00 0 0
1789.69/1790.13 c rootsoldiving : 0.00 0 0
1789.69/1790.13 c linesearchdiving : 0.00 0 0
1789.69/1790.13 c guideddiving : 0.00 0 0
1789.69/1790.13 c octane : 0.00 0 0
1789.69/1790.13 c rens : 0.00 0 0
1789.69/1790.13 c rins : 0.00 0 0
1789.69/1790.13 c localbranching : 0.00 0 0
1789.69/1790.13 c mutation : 0.00 0 0
1789.69/1790.13 c crossover : 0.00 0 0
1789.69/1790.13 c dins : 0.00 0 0
1789.69/1790.13 c undercover : 0.00 0 0
1789.69/1790.13 c nlp : 0.00 0 0
1789.69/1790.13 c trysol : 0.00 0 0
1789.69/1790.13 c LP : Time Calls Iterations Iter/call Iter/sec
1789.69/1790.13 c primal LP : 0.00 0 0 0.00 -
1789.69/1790.13 c dual LP : 221.04 4 50847 12711.75 230.04
1789.69/1790.13 c lex dual LP : 0.00 0 0 0.00 -
1789.69/1790.13 c barrier LP : 0.00 0 0 0.00 -
1789.69/1790.13 c diving/probing LP: 65.29 13 35108 2700.62 537.75
1789.69/1790.13 c strong branching : 0.00 0 0 0.00 -
1789.69/1790.13 c (at root node) : - 0 0 0.00 -
1789.69/1790.13 c conflict analysis: 0.00 0 0 0.00 -
1789.69/1790.13 c B&B Tree :
1789.69/1790.13 c number of runs : 1
1789.69/1790.13 c nodes : 1
1789.69/1790.13 c nodes (total) : 1
1789.69/1790.13 c nodes left : 2
1789.69/1790.13 c max depth : 0
1789.69/1790.13 c max depth (total): 0
1789.69/1790.13 c backtracks : 0 (0.0%)
1789.69/1790.13 c delayed cutoffs : 0
1789.69/1790.13 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.69/1790.13 c avg switch length: 1.00
1789.69/1790.13 c switching time : 0.00
1789.69/1790.13 c Solution :
1789.69/1790.13 c Solutions found : 0 (0 improvements)
1789.69/1790.13 c Primal Bound : -
1789.69/1790.13 c Dual Bound : +1.36000000000000e+02
1789.69/1790.13 c Gap : infinite
1789.69/1790.13 c Root Dual Bound : +1.36000000000000e+02
1789.69/1790.13 c Root Iterations : 85955
1790.19/1790.64 c Time complete: 1790.23.
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-3740601-1338741339/watcher-3740601-1338741339 -o /tmp/evaluation-result-3740601-1338741339/solver-3740601-1338741339 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740601-1338741339.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.00 2.00 2.00 3/176 5520
/proc/meminfo: memFree=26194372/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=7912 CPUtime=0 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 994 0 0 0 0 0 0 0 20 0 1 0 340259578 8101888 940 33554432000 4194304 8395647 140736411803520 140734104747896 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 1978 947 365 1026 0 948 0
[startup+0.060235 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5520
/proc/meminfo: memFree=26194372/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=20616 CPUtime=0.05 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 4411 0 0 0 5 0 0 0 20 0 1 0 340259578 21110784 4357 33554432000 4194304 8395647 140736411803520 140734104747896 7370214 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 5154 4357 393 1026 0 4124 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 20616
[startup+0.100363 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5520
/proc/meminfo: memFree=26194372/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=26212 CPUtime=0.08 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 5825 0 0 0 8 0 0 0 20 0 1 0 340259578 26841088 5771 33554432000 4194304 8395647 140736411803520 140734104747896 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 6553 5772 393 1026 0 5523 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26212
[startup+0.300302 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5520
/proc/meminfo: memFree=26194372/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=47016 CPUtime=0.29 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 10974 0 0 0 28 1 0 0 20 0 1 0 340259578 48144384 10920 33554432000 4194304 8395647 140736411803520 140734104747896 7382016 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 11754 10920 393 1026 0 10724 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47016
[startup+0.700298 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5520
/proc/meminfo: memFree=26194372/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=73632 CPUtime=0.68 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 17599 0 0 0 66 2 0 0 20 0 1 0 340259578 75399168 17545 33554432000 4194304 8395647 140736411803520 140734104747896 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 18408 17545 393 1026 0 17378 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 73632
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5521
/proc/meminfo: memFree=26099232/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=263588 CPUtime=1.49 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 65286 0 0 0 139 10 0 0 20 0 1 0 340259578 269914112 64878 33554432000 4194304 8395647 140736411803520 140736411668728 4601776 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 65897 64878 430 1026 0 64867 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 263588
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5521
/proc/meminfo: memFree=25869584/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=433428 CPUtime=3.09 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 106905 0 0 0 293 16 0 0 20 0 1 0 340259578 443830272 106497 33554432000 4194304 8395647 140736411803520 140736411799272 4704773 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 108357 106497 469 1026 0 107327 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 433428
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5521
/proc/meminfo: memFree=25614020/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=628760 CPUtime=6.29 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 154275 0 0 0 605 24 0 0 20 0 1 0 340259578 643850240 153867 33554432000 4194304 8395647 140736411803520 140736411799272 7385355 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 157190 153867 475 1026 0 156160 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 628760
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5521
/proc/meminfo: memFree=25541000/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=680104 CPUtime=12.69 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 164662 0 0 0 1243 26 0 0 20 0 1 0 340259578 696426496 166867 33554432000 4194304 8395647 140736411803520 140736411800328 6080336 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 170026 166867 509 1026 0 168996 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 680104
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5521
/proc/meminfo: memFree=25509584/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=698216 CPUtime=25.48 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 169043 0 0 0 2522 26 0 0 20 0 1 0 340259578 714973184 171248 33554432000 4194304 8395647 140736411803520 140736411799592 6063682 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 174554 171248 509 1026 0 173524 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 698216
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5521
/proc/meminfo: memFree=25450156/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=763356 CPUtime=51.08 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 184374 0 0 0 5079 29 0 0 20 0 1 0 340259578 781676544 186579 33554432000 4194304 8395647 140736411803520 140736411799592 6080379 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 190839 186579 509 1026 0 189809 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 763356
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5522
/proc/meminfo: memFree=25228240/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=988340 CPUtime=102.28 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 239165 0 0 0 10189 39 0 0 20 0 1 0 340259578 1012060160 241370 33554432000 4194304 8395647 140736411803520 140736411799384 6079677 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 247085 241370 509 1026 0 246055 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 988340
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 5522
/proc/meminfo: memFree=25023108/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=1183672 CPUtime=162.26 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 288047 0 0 0 16177 49 0 0 20 0 1 0 340259578 1212080128 290252 33554432000 4194304 8395647 140736411803520 140736411799448 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 295918 290252 509 1026 0 294888 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1183672
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5522
/proc/meminfo: memFree=24916124/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=1292512 CPUtime=222.25 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 314883 0 0 0 22171 54 0 0 20 0 1 0 340259578 1323532288 317088 33554432000 4194304 8395647 140736411803520 140736411799592 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 323128 317088 509 1026 0 322098 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1292512
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5563
/proc/meminfo: memFree=26365472/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=1431224 CPUtime=282.23 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 349631 0 0 0 28161 62 0 0 20 0 1 0 340259578 1465573376 351920 33554432000 4194304 8395647 140736411803520 140736411799592 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 357806 351920 509 1026 0 356776 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1431224
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5563
/proc/meminfo: memFree=25942668/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=1539424 CPUtime=342.2 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 376735 0 0 0 34152 68 0 0 20 0 1 0 340259578 1576370176 379016 33554432000 4194304 8395647 140736411803520 140736411799592 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 384856 379016 509 1026 0 383826 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1539424
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5564
/proc/meminfo: memFree=25666424/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=1642500 CPUtime=402.18 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 401762 0 0 0 40145 73 0 0 20 0 1 0 340259578 1681920000 404286 33554432000 4194304 8395647 140736411803520 140736411799592 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 410625 404286 509 1026 0 409595 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1642500
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5564
/proc/meminfo: memFree=25381252/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=1726808 CPUtime=462.15 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 422970 0 0 0 46140 75 0 0 20 0 1 0 340259578 1768251392 425494 33554432000 4194304 8395647 140736411803520 140736411799384 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 431702 425494 514 1026 0 430672 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1726808
[startup+522.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/177 5564
/proc/meminfo: memFree=25154236/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=1803232 CPUtime=522.13 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 442186 0 0 0 52133 80 0 0 20 0 1 0 340259578 1846509568 444707 33554432000 4194304 8395647 140736411803520 140736411799592 6080353 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 450808 444707 514 1026 0 449778 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1803232
[startup+582.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 5564
/proc/meminfo: memFree=24838684/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=1897916 CPUtime=582.12 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 465814 0 0 0 58128 84 0 0 20 0 1 0 340259578 1943465984 468332 33554432000 4194304 8395647 140736411803520 140736411799592 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 474479 468332 514 1026 0 473449 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1897916
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23689896/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=2257280 CPUtime=1062.01 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 545468 0 0 0 106087 114 0 0 20 0 1 0 340259578 2311454720 556529 33554432000 4194304 8395647 140736411803520 140736411798808 5792894 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 564320 556529 612 1026 0 563290 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 2257280
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 5569
/proc/meminfo: memFree=23616516/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=2257280 CPUtime=1122 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 545471 0 0 0 112086 114 0 0 20 0 1 0 340259578 2311454720 556619 33554432000 4194304 8395647 140736411803520 140736411798808 5792805 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 564320 556619 612 1026 0 563290 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 2257280
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5569
/proc/meminfo: memFree=23557892/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=2257280 CPUtime=1181.99 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 545481 0 0 0 118085 114 0 0 20 0 1 0 340259578 2311454720 556821 33554432000 4194304 8395647 140736411803520 140736411798808 5792677 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 564320 556821 612 1026 0 563290 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 2257280
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5569
/proc/meminfo: memFree=23486744/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=2257280 CPUtime=1241.98 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 545488 0 0 0 124084 114 0 0 20 0 1 0 340259578 2311454720 557143 33554432000 4194304 8395647 140736411803520 140736411798808 5792689 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 564320 557143 612 1026 0 563290 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 2257280
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5569
/proc/meminfo: memFree=23411132/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=2257280 CPUtime=1301.97 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 545491 0 0 0 130083 114 0 0 20 0 1 0 340259578 2311454720 557272 33554432000 4194304 8395647 140736411803520 140736411798808 5792894 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 564320 557272 612 1026 0 563290 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 2257280
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5570
/proc/meminfo: memFree=23325848/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=2257280 CPUtime=1361.95 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 545497 0 0 0 136081 114 0 0 20 0 1 0 340259578 2311454720 557748 33554432000 4194304 8395647 140736411803520 140736411798808 5792689 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 564320 557748 612 1026 0 563290 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 2257280
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5570
/proc/meminfo: memFree=23229404/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=2257280 CPUtime=1421.96 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 545501 0 0 0 142081 115 0 0 20 0 1 0 340259578 2311454720 558521 33554432000 4194304 8395647 140736411803520 140736411798808 5792796 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 564320 558521 612 1026 0 563290 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 2257280
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5573
/proc/meminfo: memFree=23104788/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=2277520 CPUtime=1481.93 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 547002 0 0 0 148078 115 0 0 20 0 1 0 340259578 2332180480 566921 33554432000 4194304 8395647 140736411803520 140736411799736 5794534 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 569380 566921 612 1026 0 568350 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 2277520
[startup+1542.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/178 5595
/proc/meminfo: memFree=22953968/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=2317712 CPUtime=1541.93 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 550184 0 0 0 154077 116 0 0 20 0 1 0 340259578 2373337088 576941 33554432000 4194304 8395647 140736411803520 140736411799736 5794573 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 579428 576941 612 1026 0 578398 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 2317712
[startup+1602.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/177 5595
/proc/meminfo: memFree=22720260/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=2437724 CPUtime=1601.92 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 553730 0 0 0 160073 119 0 0 20 0 1 0 340259578 2496229376 604588 33554432000 4194304 8395647 140736411803520 140736411799736 5794553 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 609431 604588 612 1026 0 608401 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 2437724
[startup+1662.3 s]
/proc/loadavg: 2.13 2.07 2.02 3/177 5596
/proc/meminfo: memFree=22560768/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=2540504 CPUtime=1661.91 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 557910 0 0 0 166069 122 0 0 20 0 1 0 340259578 2601476096 623075 33554432000 4194304 8395647 140736411803520 140736411798648 6698034 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 635126 623075 627 1026 0 634096 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 2540504
[startup+1722.3 s]
/proc/loadavg: 2.15 2.08 2.02 3/177 5596
/proc/meminfo: memFree=22406540/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=2540504 CPUtime=1721.9 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 557988 0 0 0 172065 125 0 0 20 0 1 0 340259578 2601476096 623153 33554432000 4194304 8395647 140736411803520 140736411798648 6697955 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 635126 623153 628 1026 0 634096 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 2540504
[startup+1782.3 s]
/proc/loadavg: 2.05 2.07 2.02 3/177 5596
/proc/meminfo: memFree=22273392/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=2540504 CPUtime=1781.89 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 558109 0 0 0 178060 129 0 0 20 0 1 0 340259578 2601476096 623274 33554432000 4194304 8395647 140736411803520 140736411798648 6750486 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 635126 623274 628 1026 0 634096 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 2540504
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.05 2.06 2.01 3/177 5596
/proc/meminfo: memFree=22270400/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=2540504 CPUtime=1785.09 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 558109 0 0 0 178380 129 0 0 20 0 1 0 340259578 2601476096 623274 33554432000 4194304 8395647 140736411803520 140736411798648 7382157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 635126 623274 628 1026 0 634096 0
Current children cumulated CPU time (s) 1785.09
Current children cumulated vsize (KiB) 2540504
[startup+1788.7 s]
/proc/loadavg: 2.05 2.06 2.01 3/177 5596
/proc/meminfo: memFree=22268168/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=2540504 CPUtime=1788.29 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 558109 0 0 0 178700 129 0 0 20 0 1 0 340259578 2601476096 623274 33554432000 4194304 8395647 140736411803520 140736411798984 6697679 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 635126 623274 628 1026 0 634096 0
Current children cumulated CPU time (s) 1788.29
Current children cumulated vsize (KiB) 2540504
[startup+1789.5 s]
/proc/loadavg: 2.05 2.06 2.01 3/177 5596
/proc/meminfo: memFree=22268168/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=2540504 CPUtime=1789.09 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 558109 0 0 0 178780 129 0 0 20 0 1 0 340259578 2601476096 623274 33554432000 4194304 8395647 140736411803520 140736411798648 6700779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 635126 623274 628 1026 0 634096 0
Current children cumulated CPU time (s) 1789.09
Current children cumulated vsize (KiB) 2540504
[startup+1790.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/177 5596
/proc/meminfo: memFree=22267424/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=2280664 CPUtime=1789.89 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 558117 0 0 0 178859 130 0 0 20 0 1 0 340259578 2335399936 568564 33554432000 4194304 8395647 140736411803520 140736411798648 6345244 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 570166 568564 636 1026 0 569136 0
Current children cumulated CPU time (s) 1789.89
Current children cumulated vsize (KiB) 2280664
[startup+1790.5 s]
/proc/loadavg: 2.05 2.06 2.01 3/177 5596
/proc/meminfo: memFree=22267424/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=2279140 CPUtime=1790.09 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 558117 0 0 0 178879 130 0 0 20 0 1 0 340259578 2333839360 568183 33554432000 4194304 8395647 140736411803520 140736411798648 6345770 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 569785 568183 636 1026 0 568755 0
Current children cumulated CPU time (s) 1790.09
Current children cumulated vsize (KiB) 2279140
[startup+1790.6 s]
/proc/loadavg: 2.05 2.06 2.01 3/177 5596
/proc/meminfo: memFree=22267424/32873844 swapFree=7112/7112
[pid=5520] ppid=5518 vsize=2215652 CPUtime=1790.19 cores=1,3,5,7
/proc/5520/stat : 5520 (pbscip.linux.x8) R 5518 5520 2459 0 -1 4202496 558117 0 0 0 178889 130 0 0 20 0 1 0 340259578 2268827648 553423 33554432000 4194304 8395647 140736411803520 140736411798648 4423586 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5520/statm: 553913 553423 636 1026 0 552883 0
Current children cumulated CPU time (s) 1790.19
Current children cumulated vsize (KiB) 2215652
Child status: 0
Real time (s): 1790.64
CPU time (s): 1790.24
CPU user time (s): 1788.92
CPU system time (s): 1.3258
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 2540504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.92
system time used= 1.3258
maximum resident set size= 2493116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 558123
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= 158
involuntary context switches= 1841
runsolver used 3.38948 second user time and 8.58169 second system time
The end