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-3740689-1338742933.opb>
0.39/0.43 c original problem has 18662 variables (18662 bin, 0 int, 0 impl, 0 cont) and 65546 constraints
0.39/0.43 c problem read
0.39/0.43 c presolving settings loaded
0.49/0.55 c presolving:
2.09/2.20 c (round 1) 1308 del vars, 3419 del conss, 935 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4472974 impls, 0 clqs
2.39/2.46 c (round 2) 2655 del vars, 8771 del conss, 2109 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4482542 impls, 0 clqs
2.49/2.53 c (round 3) 3038 del vars, 10661 del conss, 2309 chg bounds, 54 chg sides, 43 chg coeffs, 0 upgd conss, 4484777 impls, 0 clqs
2.59/2.61 c (round 4) 3232 del vars, 11480 del conss, 2408 chg bounds, 87 chg sides, 70 chg coeffs, 0 upgd conss, 4486779 impls, 0 clqs
2.59/2.61 c (round 5) 3284 del vars, 11851 del conss, 2427 chg bounds, 87 chg sides, 70 chg coeffs, 0 upgd conss, 4487321 impls, 0 clqs
2.59/2.61 c (round 6) 3296 del vars, 11938 del conss, 2434 chg bounds, 87 chg sides, 70 chg coeffs, 0 upgd conss, 4487373 impls, 0 clqs
2.59/2.63 c (round 7) 3300 del vars, 11964 del conss, 2436 chg bounds, 87 chg sides, 70 chg coeffs, 0 upgd conss, 4487395 impls, 0 clqs
2.78/2.80 c (round 8) 3300 del vars, 11968 del conss, 2436 chg bounds, 87 chg sides, 70 chg coeffs, 53578 upgd conss, 4487395 impls, 0 clqs
2.89/2.98 c (round 9) 3300 del vars, 11977 del conss, 2436 chg bounds, 122 chg sides, 272 chg coeffs, 53578 upgd conss, 4487395 impls, 0 clqs
2.99/3.04 c (round 10) 3300 del vars, 11983 del conss, 2436 chg bounds, 129 chg sides, 304 chg coeffs, 53578 upgd conss, 4487395 impls, 0 clqs
2.99/3.08 c (round 11) 3300 del vars, 11988 del conss, 2436 chg bounds, 135 chg sides, 323 chg coeffs, 53578 upgd conss, 4487395 impls, 0 clqs
3.09/3.12 c (round 12) 3300 del vars, 11991 del conss, 2436 chg bounds, 140 chg sides, 337 chg coeffs, 53578 upgd conss, 4487395 impls, 0 clqs
120.07/120.17 c (119.7s) probing: 1000/15362 (6.5%) - 1 fixings, 1 aggregations, 4296345 implications, 0 bound changes
217.75/217.82 c (217.4s) probing: 2000/15362 (13.0%) - 1 fixings, 1 aggregations, 7651188 implications, 0 bound changes
225.45/225.56 c (225.1s) probing: 2085/15362 (13.6%) - 1 fixings, 1 aggregations, 7941329 implications, 0 bound changes
225.45/225.56 c (225.1s) probing aborted: 2000/2000 successive useless probings
225.45/225.56 c (round 13) 3302 del vars, 11991 del conss, 2436 chg bounds, 143 chg sides, 349 chg coeffs, 53578 upgd conss, 27618627 impls, 0 clqs
225.84/225.92 c (round 14) 3302 del vars, 12024 del conss, 2436 chg bounds, 143 chg sides, 537 chg coeffs, 53578 upgd conss, 27618627 impls, 0 clqs
319.91/320.05 c (319.6s) probing: 3000/15362 (19.5%) - 7 fixings, 7 aggregations, 11706092 implications, 0 bound changes
415.88/416.02 c (415.6s) probing: 4000/15362 (26.0%) - 8 fixings, 8 aggregations, 16257367 implications, 0 bound changes
490.06/490.24 c (489.8s) probing: 5000/15362 (32.5%) - 8 fixings, 8 aggregations, 19068845 implications, 0 bound changes
497.26/497.47 c (497.0s) probing: 5103/15362 (33.2%) - 8 fixings, 8 aggregations, 19380758 implications, 0 bound changes
497.26/497.47 c (497.0s) probing aborted: 2000/2000 successive useless probings
497.26/497.47 c (round 15) 3316 del vars, 12024 del conss, 2436 chg bounds, 143 chg sides, 557 chg coeffs, 53578 upgd conss, 55479737 impls, 0 clqs
497.76/497.91 c (round 16) 3316 del vars, 12069 del conss, 2436 chg bounds, 143 chg sides, 583 chg coeffs, 53578 upgd conss, 55479737 impls, 0 clqs
506.56/506.70 c (506.3s) probing: 5303/15362 (34.5%) - 8 fixings, 8 aggregations, 19664454 implications, 0 bound changes
506.56/506.70 c (506.3s) probing aborted: 2000/2000 successive useless probings
506.56/506.70 c presolving (17 rounds):
506.56/506.70 c 3316 deleted vars, 12069 deleted constraints, 2436 tightened bounds, 0 added holes, 143 changed sides, 585 changed coefficients
506.56/506.70 c 56050725 implications, 0 cliques
506.56/506.70 c presolved problem has 15346 variables (15346 bin, 0 int, 0 impl, 0 cont) and 53520 constraints
506.56/506.70 c 1134 constraints of type <knapsack>
506.56/506.70 c 44789 constraints of type <setppc>
506.56/506.70 c 7597 constraints of type <logicor>
506.56/506.70 c transformed objective value is always integral (scale: 1)
506.56/506.70 c Presolving Time: 506.18
506.56/506.70 c - non default parameters ----------------------------------------------------------------------
506.56/506.70 c # SCIP version 1.2.1.3
506.56/506.70 c
506.56/506.70 c # frequency for displaying node information lines
506.56/506.70 c # [type: int, range: [-1,2147483647], default: 100]
506.56/506.70 c display/freq = 10000
506.56/506.70 c
506.56/506.70 c # maximal time in seconds to run
506.56/506.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
506.56/506.70 c limits/time = 1789.58
506.56/506.70 c
506.56/506.70 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
506.56/506.70 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
506.56/506.70 c limits/memory = 13950
506.56/506.70 c
506.56/506.70 c # default clock type (1: CPU user seconds, 2: wall clock time)
506.56/506.70 c # [type: int, range: [1,2], default: 1]
506.56/506.70 c timing/clocktype = 2
506.56/506.70 c
506.56/506.70 c # should presolving try to simplify inequalities
506.56/506.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
506.56/506.70 c constraints/linear/simplifyinequalities = TRUE
506.56/506.70 c
506.56/506.70 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
506.56/506.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
506.56/506.70 c constraints/indicator/addCouplingCons = TRUE
506.56/506.70 c
506.56/506.70 c # should presolving try to simplify knapsacks
506.56/506.70 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
506.56/506.70 c constraints/knapsack/simplifyinequalities = TRUE
506.56/506.70 c
506.56/506.70 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
506.56/506.70 c # [type: int, range: [-1,2147483647], default: -1]
506.56/506.70 c separating/rapidlearning/freq = 0
506.56/506.70 c
506.56/506.70 c -----------------------------------------------------------------------------------------------
506.56/506.70 c start solving
506.56/506.71 c
529.35/529.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
529.35/529.59 c 529s| 1 | 0 | 18180 | - |1554M| 0 | 150 | 15k| 53k| 15k| 53k| 0 | 0 | 0 | 5.700000e+01 | -- | Inf
1188.85/1189.18 c 1189s| 1 | 0 | 48217 | - |1556M| 0 | 324 | 15k| 53k| 15k| 53k| 85 | 0 | 0 | 5.700000e+01 | -- | Inf
1244.74/1245.05 c 1245s| 1 | 0 | 67865 | - |1556M| 0 | 302 | 15k| 53k| 15k| 53k| 152 | 0 | 0 | 5.700000e+01 | -- | Inf
1423.91/1424.20 c 1424s| 1 | 0 |117271 | - |1560M| 0 | 276 | 15k| 53k| 15k| 53k| 191 | 0 | 0 | 5.700000e+01 | -- | Inf
1614.97/1615.37 c 1615s| 1 | 0 |167527 | - |1563M| 0 | 233 | 15k| 53k| 15k| 53k| 216 | 0 | 0 | 5.700000e+01 | -- | Inf
1789.85/1790.24 c 1790s| 1 | 0 |207416 | - |1566M| 0 | - | 15k| 53k| 15k| 53k| 234 | 0 | 0 | 5.700000e+01 | -- | Inf
1789.85/1790.25 c 1790s| 1 | 2 |207416 | - |1566M| 0 | - | 15k| 53k| 15k| 53k| 234 | 0 | 0 | 5.700000e+01 | -- | Inf
1789.85/1790.25 c
1789.85/1790.25 c SCIP Status : solving was interrupted [time limit reached]
1789.85/1790.25 c Solving Time (sec) : 1789.82
1789.85/1790.25 c Solving Nodes : 1
1789.85/1790.25 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.85/1790.25 c Dual Bound : +5.70000000000000e+01
1789.85/1790.25 c Gap : infinite
1789.85/1790.25 s UNKNOWN
1789.85/1790.25 c SCIP Status : solving was interrupted [time limit reached]
1789.85/1790.25 c Solving Time : 1789.82
1789.85/1790.25 c Original Problem :
1789.85/1790.25 c Problem name : HOME/instance-3740689-1338742933.opb
1789.85/1790.25 c Variables : 18662 (18662 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.85/1790.25 c Constraints : 65546 initial, 65546 maximal
1789.85/1790.25 c Presolved Problem :
1789.85/1790.25 c Problem name : t_HOME/instance-3740689-1338742933.opb
1789.85/1790.25 c Variables : 15346 (15346 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.85/1790.25 c Constraints : 53520 initial, 53520 maximal
1789.85/1790.25 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.85/1790.25 c trivial : 0.01 161 0 0 0 0 0 0 0
1789.85/1790.25 c dualfix : 0.01 30 0 0 0 0 0 0 0
1789.85/1790.25 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.85/1790.25 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.85/1790.25 c implics : 0.33 0 0 0 0 0 0 0 0
1789.85/1790.25 c probing : 502.49 8 8 0 0 0 0 0 0
1789.85/1790.25 c knapsack : 0.87 0 0 0 0 0 0 56 515
1789.85/1790.25 c setppc : 0.19 0 0 0 0 0 101 0 0
1789.85/1790.25 c linear : 2.12 2275 834 0 2436 0 11968 87 70
1789.85/1790.25 c logicor : 0.08 0 0 0 0 0 0 0 0
1789.85/1790.25 c root node : - 0 - - 0 - - - -
1789.85/1790.25 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.85/1790.25 c integral : 0 0 0 0 0 0 0 0 0 0
1789.85/1790.25 c knapsack : 1134 5 253009 0 1 6 0 325 0 0
1789.85/1790.25 c setppc : 44789 5 253003 0 1 2 0 0 0 0
1789.85/1790.25 c logicor : 7597 5 231774 0 1 0 0 0 0 0
1789.85/1790.25 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.85/1790.25 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.85/1790.25 c integral : 0.00 0.00 0.00 0.00 0.00
1789.85/1790.25 c knapsack : 8.74 0.01 8.73 0.00 0.00
1789.85/1790.25 c setppc : 186.53 0.02 186.51 0.00 0.01
1789.85/1790.25 c logicor : 5.68 0.00 5.68 0.00 0.00
1789.85/1790.25 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.85/1790.25 c Propagators : Time Calls Cutoffs DomReds
1789.85/1790.25 c vbounds : 0.04 2 0 0
1789.85/1790.25 c rootredcost : 0.02 0 0 0
1789.85/1790.25 c pseudoobj : 0.03 2 0 0
1789.85/1790.25 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.85/1790.25 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.85/1790.25 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.85/1790.25 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.85/1790.25 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.85/1790.25 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.85/1790.25 c applied globally : - - - 0 0.0 - - -
1789.85/1790.25 c applied locally : - - - 0 0.0 - - -
1789.85/1790.25 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.85/1790.25 c cut pool : 0.00 4 - - 52 - (maximal pool size: 981)
1789.85/1790.25 c redcost : 0.00 5 0 0 0 0
1789.85/1790.25 c impliedbounds : 0.05 5 0 0 109 0
1789.85/1790.25 c intobj : 0.00 0 0 0 0 0
1789.85/1790.25 c cgmip : 0.00 0 0 0 0 0
1789.85/1790.25 c gomory : 3.42 5 0 0 213 0
1789.85/1790.25 c strongcg : 2.71 5 0 0 2013 0
1789.85/1790.25 c cmir : 7.64 5 0 0 0 0
1789.85/1790.25 c flowcover : 9.91 5 0 0 147 0
1789.85/1790.25 c clique : 621.31 5 0 0 35 0
1789.85/1790.25 c zerohalf : 0.00 0 0 0 0 0
1789.85/1790.25 c mcf : 1.30 1 0 0 0 0
1789.85/1790.25 c rapidlearning : 0.00 0 0 0 0 0
1789.85/1790.25 c Pricers : Time Calls Vars
1789.85/1790.25 c problem variables: 0.00 0 0
1789.85/1790.25 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.85/1790.25 c relpscost : 0.00 0 0 0 0 0 0
1789.85/1790.25 c pscost : 0.00 0 0 0 0 0 0
1789.85/1790.25 c inference : 0.00 1 0 0 0 0 2
1789.85/1790.25 c mostinf : 0.00 0 0 0 0 0 0
1789.85/1790.25 c leastinf : 0.00 0 0 0 0 0 0
1789.85/1790.25 c fullstrong : 0.00 0 0 0 0 0 0
1789.85/1790.25 c allfullstrong : 0.00 0 0 0 0 0 0
1789.85/1790.25 c random : 0.00 0 0 0 0 0 0
1789.85/1790.25 c Primal Heuristics : Time Calls Found
1789.85/1790.25 c LP solutions : 0.00 - 0
1789.85/1790.25 c pseudo solutions : 0.00 - 0
1789.85/1790.25 c oneopt : 0.00 0 0
1789.85/1790.25 c trivial : 0.02 2 0
1789.85/1790.25 c simplerounding : 0.00 0 0
1789.85/1790.25 c zirounding : 0.00 0 0
1789.85/1790.25 c rounding : 0.01 5 0
1789.85/1790.25 c shifting : 0.01 5 0
1789.85/1790.25 c intshifting : 0.00 0 0
1789.85/1790.25 c twoopt : 0.00 0 0
1789.85/1790.25 c fixandinfer : 0.00 0 0
1789.85/1790.25 c feaspump : 15.57 1 0
1789.85/1790.25 c coefdiving : 0.00 0 0
1789.85/1790.25 c pscostdiving : 0.00 0 0
1789.85/1790.25 c fracdiving : 0.00 0 0
1789.85/1790.25 c veclendiving : 0.00 0 0
1789.85/1790.25 c intdiving : 0.00 0 0
1789.85/1790.25 c actconsdiving : 0.00 0 0
1789.85/1790.25 c objpscostdiving : 0.00 0 0
1789.85/1790.25 c rootsoldiving : 0.00 0 0
1789.85/1790.25 c linesearchdiving : 0.00 0 0
1789.85/1790.25 c guideddiving : 0.00 0 0
1789.85/1790.25 c octane : 0.00 0 0
1789.85/1790.25 c rens : 0.00 0 0
1789.85/1790.25 c rins : 0.00 0 0
1789.85/1790.25 c localbranching : 0.00 0 0
1789.85/1790.25 c mutation : 0.00 0 0
1789.85/1790.25 c crossover : 0.00 0 0
1789.85/1790.25 c dins : 0.00 0 0
1789.85/1790.25 c undercover : 0.00 0 0
1789.85/1790.25 c nlp : 0.00 0 0
1789.85/1790.25 c trysol : 0.00 0 0
1789.85/1790.25 c LP : Time Calls Iterations Iter/call Iter/sec
1789.85/1790.25 c primal LP : 0.00 0 0 0.00 -
1789.85/1790.25 c dual LP : 621.33 6 184936 30822.67 297.64
1789.85/1790.25 c lex dual LP : 0.00 0 0 0.00 -
1789.85/1790.25 c barrier LP : 0.00 0 0 0.00 -
1789.85/1790.25 c diving/probing LP: 15.39 22 22480 1021.82 1460.42
1789.85/1790.25 c strong branching : 0.00 0 0 0.00 -
1789.85/1790.25 c (at root node) : - 0 0 0.00 -
1789.85/1790.25 c conflict analysis: 0.00 0 0 0.00 -
1789.85/1790.25 c B&B Tree :
1789.85/1790.25 c number of runs : 1
1789.85/1790.25 c nodes : 1
1789.85/1790.25 c nodes (total) : 1
1789.85/1790.25 c nodes left : 2
1789.85/1790.25 c max depth : 0
1789.85/1790.25 c max depth (total): 0
1789.85/1790.25 c backtracks : 0 (0.0%)
1789.85/1790.25 c delayed cutoffs : 0
1789.85/1790.25 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.85/1790.25 c avg switch length: 1.00
1789.85/1790.25 c switching time : 0.00
1789.85/1790.25 c Solution :
1789.85/1790.25 c Solutions found : 0 (0 improvements)
1789.85/1790.25 c Primal Bound : -
1789.85/1790.25 c Dual Bound : +5.70000000000000e+01
1789.85/1790.25 c Gap : infinite
1789.85/1790.25 c Root Dual Bound : +5.70000000000000e+01
1789.85/1790.25 c Root Iterations : 207416
1790.05/1790.44 c Time complete: 1790.09.
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-3740689-1338742933/watcher-3740689-1338742933 -o /tmp/evaluation-result-3740689-1338742933/solver-3740689-1338742933 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740689-1338742933.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.12 2.04 2.01 3/176 19862
/proc/meminfo: memFree=27590820/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=10216 CPUtime=0 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 1791 0 0 0 0 0 0 0 20 0 1 0 340420185 10461184 1738 33554432000 4194304 8395647 140737444231552 140735038485240 7355228 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 2554 1742 386 1026 0 1524 0
[startup+0.050129 s]
/proc/loadavg: 2.12 2.04 2.01 3/176 19862
/proc/meminfo: memFree=27590820/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=19408 CPUtime=0.04 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 4120 0 0 0 4 0 0 0 20 0 1 0 340420185 19873792 4067 33554432000 4194304 8395647 140737444231552 140735038485240 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 4852 4067 393 1026 0 3822 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19408
[startup+0.100314 s]
/proc/loadavg: 2.12 2.04 2.01 3/176 19862
/proc/meminfo: memFree=27590820/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=23028 CPUtime=0.09 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 4993 0 0 0 9 0 0 0 20 0 1 0 340420185 23580672 4940 33554432000 4194304 8395647 140737444231552 140735038485240 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 5757 4940 393 1026 0 4727 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23028
[startup+0.300275 s]
/proc/loadavg: 2.12 2.04 2.01 3/176 19862
/proc/meminfo: memFree=27590820/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=38372 CPUtime=0.29 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 8854 0 0 0 29 0 0 0 20 0 1 0 340420185 39292928 8801 33554432000 4194304 8395647 140737444231552 140735038485240 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 9593 8801 393 1026 0 8563 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38372
[startup+0.700289 s]
/proc/loadavg: 2.12 2.04 2.01 3/176 19862
/proc/meminfo: memFree=27590820/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=132496 CPUtime=0.69 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 32214 0 0 0 65 4 0 0 20 0 1 0 340420185 135675904 31807 33554432000 4194304 8395647 140737444231552 140735038485240 6347101 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 33124 31807 463 1026 0 32094 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 132496
[startup+1.5003 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 19863
/proc/meminfo: memFree=27428808/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=209708 CPUtime=1.49 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 51431 0 0 0 142 7 0 0 20 0 1 0 340420185 214740992 51024 33554432000 4194304 8395647 140737444231552 140737444227304 6080336 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 52427 51024 469 1026 0 51397 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 209708
[startup+3.10029 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 19863
/proc/meminfo: memFree=27336188/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=289264 CPUtime=3.09 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 70518 0 0 0 299 10 0 0 20 0 1 0 340420185 296206336 69983 33554432000 4194304 8395647 140737444231552 140737444225768 5209569 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 72316 69983 498 1026 0 71286 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 289264
[startup+6.30027 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 19863
/proc/meminfo: memFree=27232096/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=348664 CPUtime=6.29 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 84140 0 0 0 618 11 0 0 20 0 1 0 340420185 357031936 83564 33554432000 4194304 8395647 140737444231552 140737444227416 4684137 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 87166 83564 509 1026 0 86136 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 348664
[startup+12.7003 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 19863
/proc/meminfo: memFree=27151988/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=392572 CPUtime=12.69 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 94761 0 0 0 1256 13 0 0 20 0 1 0 340420185 401993728 94185 33554432000 4194304 8395647 140737444231552 140737444227624 4745171 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 98143 94185 509 1026 0 97113 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 392572
[startup+25.5003 s]
/proc/loadavg: 2.08 2.04 2.01 3/176 19863
/proc/meminfo: memFree=26975688/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=530104 CPUtime=25.48 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 128155 0 0 0 2531 17 0 0 20 0 1 0 340420185 542826496 127579 33554432000 4194304 8395647 140737444231552 140737444227416 6080653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 132526 127579 509 1026 0 131496 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 530104
[startup+51.1003 s]
/proc/loadavg: 2.12 2.05 2.01 3/177 19864
/proc/meminfo: memFree=26775140/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=675648 CPUtime=51.08 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 164390 0 0 0 5086 22 0 0 20 0 1 0 340420185 691863552 163814 33554432000 4194304 8395647 140737444231552 140737444227416 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 168912 163814 509 1026 0 167882 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 675648
[startup+102.307 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 19864
/proc/meminfo: memFree=26494184/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=829032 CPUtime=102.28 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 202757 0 0 0 10199 29 0 0 20 0 1 0 340420185 848928768 202181 33554432000 4194304 8395647 140737444231552 140737444227624 5211845 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 207258 202181 509 1026 0 206228 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 829032
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/173 19871
/proc/meminfo: memFree=27048580/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=975664 CPUtime=162.26 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 239456 0 0 0 16189 37 0 0 20 0 1 0 340420185 999079936 238880 33554432000 4194304 8395647 140737444231552 140737444227416 5215894 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 243916 238880 514 1026 0 242886 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 975664
[startup+222.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/177 19903
/proc/meminfo: memFree=26331320/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=1118044 CPUtime=222.24 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 275718 0 0 0 22179 45 0 0 20 0 1 0 340420185 1144877056 275529 33554432000 4194304 8395647 140737444231552 140737444227416 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 279511 275529 514 1026 0 278481 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1118044
[startup+282.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 19903
/proc/meminfo: memFree=25983960/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=1333364 CPUtime=282.22 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 328071 0 0 0 28170 52 0 0 20 0 1 0 340420185 1365364736 328392 33554432000 4194304 8395647 140737444231552 140737444227416 6080336 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 333341 328392 514 1026 0 332311 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1333364
[startup+342.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/177 19904
/proc/meminfo: memFree=25620360/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=1535072 CPUtime=342.2 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 378350 0 0 0 34159 61 0 0 20 0 1 0 340420185 1571913728 378658 33554432000 4194304 8395647 140737444231552 140737444227624 4705172 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 383768 378658 514 1026 0 382738 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1535072
[startup+402.3 s]
/proc/loadavg: 2.16 2.07 2.01 3/177 19942
/proc/meminfo: memFree=25810568/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=1784168 CPUtime=402.18 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 440303 0 0 0 40145 73 0 0 20 0 1 0 340420185 1826988032 440708 33554432000 4194304 8395647 140737444231552 140737444227624 6080701 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 446042 440708 514 1026 0 445012 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1784168
[startup+462.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/177 19942
/proc/meminfo: memFree=25389368/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=2000700 CPUtime=462.17 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 494176 0 0 0 46133 84 0 0 20 0 1 0 340420185 2048716800 494591 33554432000 4194304 8395647 140737444231552 140737444227480 4706426 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 500175 494591 514 1026 0 499145 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 2000700
[startup+522.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/178 19945
/proc/meminfo: memFree=25016952/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=2227364 CPUtime=522.15 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 549909 0 0 0 52120 95 0 0 20 0 1 0 340420185 2280820736 550924 33554432000 4194304 8395647 140737444231552 140737444226680 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 556841 550924 585 1026 0 555811 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 2227364
[startup+582.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 19983
/proc/meminfo: memFree=25425176/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=2232972 CPUtime=582.15 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 551096 0 0 0 58116 99 0 0 20 0 1 0 340420185 2286563328 552649 33554432000 4194304 8395647 140737444231552 140737444226840 5792881 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 558243 552649 613 1026 0 557213 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 2232972
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24447988/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=2232972 CPUtime=1062.07 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 551106 0 0 0 106108 99 0 0 20 0 1 0 340420185 2286563328 554264 33554432000 4194304 8395647 140737444231552 140737444226840 5792689 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 558243 554264 613 1026 0 557213 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 2232972
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 19988
/proc/meminfo: memFree=24368768/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=2319992 CPUtime=1122.06 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 557388 0 0 0 112105 101 0 0 20 0 1 0 340420185 2375671808 573787 33554432000 4194304 8395647 140737444231552 140737444227768 5794573 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 579998 573787 613 1026 0 578968 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 2319992
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19988
/proc/meminfo: memFree=24217104/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=2460132 CPUtime=1182.04 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 562130 0 0 0 118099 105 0 0 20 0 1 0 340420185 2519175168 610733 33554432000 4194304 8395647 140737444231552 140737444226680 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 615033 610733 628 1026 0 614003 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 2460132
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19988
/proc/meminfo: memFree=24215568/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=2460132 CPUtime=1242.04 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 562865 0 0 0 124093 111 0 0 20 0 1 0 340420185 2519175168 611916 33554432000 4194304 8395647 140737444231552 140737444226680 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 615033 611916 628 1026 0 614003 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 2460132
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19989
/proc/meminfo: memFree=24225580/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=2455404 CPUtime=1302.03 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 563719 0 0 0 130087 116 0 0 20 0 1 0 340420185 2514333696 609455 33554432000 4194304 8395647 140737444231552 140737444226680 6723872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 613851 609455 628 1026 0 612821 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 2455404
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19989
/proc/meminfo: memFree=24212288/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=2455404 CPUtime=1362.02 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 563719 0 0 0 136081 121 0 0 20 0 1 0 340420185 2514333696 609561 33554432000 4194304 8395647 140737444231552 140737444226680 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 613851 609561 628 1026 0 612821 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 2455404
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19989
/proc/meminfo: memFree=24201880/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=2466584 CPUtime=1422.02 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 566832 0 0 0 142076 126 0 0 20 0 1 0 340420185 2525782016 613981 33554432000 4194304 8395647 140737444231552 140737444226680 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 616646 613981 628 1026 0 615616 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 2466584
[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 20027
/proc/meminfo: memFree=24540976/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=2466584 CPUtime=1482 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 566846 0 0 0 148068 132 0 0 20 0 1 0 340420185 2525782016 615630 33554432000 4194304 8395647 140737444231552 140737444226680 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 616646 615630 628 1026 0 615616 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 2466584
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 20027
/proc/meminfo: memFree=17236468/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=2466584 CPUtime=1541.98 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 566850 0 0 0 154059 139 0 0 20 0 1 0 340420185 2525782016 615669 33554432000 4194304 8395647 140737444231552 140737444226680 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 616646 615669 628 1026 0 615616 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 2466584
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 20028
/proc/meminfo: memFree=13319376/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=2466584 CPUtime=1601.98 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 566850 0 0 0 160053 145 0 0 20 0 1 0 340420185 2525782016 615669 33554432000 4194304 8395647 140737444231552 140737444226680 6696666 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 616646 615669 628 1026 0 615616 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 2466584
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20028
/proc/meminfo: memFree=13307648/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=2457780 CPUtime=1661.97 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 568161 0 0 0 166046 151 0 0 20 0 1 0 340420185 2516766720 612561 33554432000 4194304 8395647 140737444231552 140737444226680 6670348 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 614445 612561 628 1026 0 613415 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 2457780
[startup+1722.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/178 20031
/proc/meminfo: memFree=13305300/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=2457780 CPUtime=1721.95 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 568161 0 0 0 172037 158 0 0 20 0 1 0 340420185 2516766720 612561 33554432000 4194304 8395647 140737444231552 140737444226680 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 614445 612561 628 1026 0 613415 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 2457780
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 20031
/proc/meminfo: memFree=13302608/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=2459460 CPUtime=1781.95 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 568359 0 0 0 178030 165 0 0 20 0 1 0 340420185 2518487040 612759 33554432000 4194304 8395647 140737444231552 140737444227112 6698194 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 614865 612759 628 1026 0 613835 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 2459460
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 20031
/proc/meminfo: memFree=13302468/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=2459460 CPUtime=1785.14 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 568359 0 0 0 178349 165 0 0 20 0 1 0 340420185 2518487040 612759 33554432000 4194304 8395647 140737444231552 140737444226680 6697720 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 614865 612759 628 1026 0 613835 0
Current children cumulated CPU time (s) 1785.14
Current children cumulated vsize (KiB) 2459460
[startup+1788.7 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 20031
/proc/meminfo: memFree=13302716/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=2459460 CPUtime=1788.35 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 568359 0 0 0 178669 166 0 0 20 0 1 0 340420185 2518487040 612759 33554432000 4194304 8395647 140737444231552 140737444227112 6699148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 614865 612759 628 1026 0 613835 0
Current children cumulated CPU time (s) 1788.35
Current children cumulated vsize (KiB) 2459460
[startup+1789.5 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 20031
/proc/meminfo: memFree=13302716/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=2459460 CPUtime=1789.15 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 568359 0 0 0 178749 166 0 0 20 0 1 0 340420185 2518487040 612759 33554432000 4194304 8395647 140737444231552 140737444226680 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 614865 612759 628 1026 0 613835 0
Current children cumulated CPU time (s) 1789.15
Current children cumulated vsize (KiB) 2459460
[startup+1789.9 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 20031
/proc/meminfo: memFree=13302840/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=2459460 CPUtime=1789.55 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 568359 0 0 0 178789 166 0 0 20 0 1 0 340420185 2518487040 612759 33554432000 4194304 8395647 140737444231552 140737444226680 6696979 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 614865 612759 628 1026 0 613835 0
Current children cumulated CPU time (s) 1789.55
Current children cumulated vsize (KiB) 2459460
[startup+1790.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 20031
/proc/meminfo: memFree=13302840/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=2242924 CPUtime=1789.95 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 568365 0 0 0 178829 166 0 0 20 0 1 0 340420185 2296754176 559038 33554432000 4194304 8395647 140737444231552 140737444226680 6345373 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 560731 559038 634 1026 0 559701 0
Current children cumulated CPU time (s) 1789.95
Current children cumulated vsize (KiB) 2242924
[startup+1790.4 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 20031
/proc/meminfo: memFree=13302840/32873648 swapFree=6864/6864
[pid=19862] ppid=19860 vsize=2242924 CPUtime=1790.05 cores=1,3,5,7
/proc/19862/stat : 19862 (pbscip.linux.x8) R 19860 19862 16401 0 -1 4202496 568367 0 0 0 178839 166 0 0 20 0 1 0 340420185 2296754176 559040 33554432000 4194304 8395647 140737444231552 140737444226680 6345229 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19862/statm: 560731 559040 636 1026 0 559701 0
Current children cumulated CPU time (s) 1790.05
Current children cumulated vsize (KiB) 2242924
Child status: 0
Real time (s): 1790.44
CPU time (s): 1790.1
CPU user time (s): 1788.42
CPU system time (s): 1.67374
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 2466584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.42
system time used= 1.67374
maximum resident set size= 2462696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 568373
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= 122
involuntary context switches= 1828
runsolver used 4.5773 second user time and 12.8201 second system time
The end