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-3744725-1338809626.opb>
4.30/4.32 c original problem has 79938 variables (79938 bin, 0 int, 0 impl, 0 cont) and 689298 constraints
4.30/4.32 c problem read
4.30/4.32 c presolving settings loaded
5.29/5.40 c presolving:
8.69/8.79 c (round 1) 47314 del vars, 489488 del conss, 44215 chg bounds, 5 chg sides, 7 chg coeffs, 0 upgd conss, 4085578 impls, 0 clqs
9.29/9.36 c (round 2) 49948 del vars, 549009 del conss, 44457 chg bounds, 5 chg sides, 7 chg coeffs, 0 upgd conss, 4108344 impls, 0 clqs
9.49/9.56 c (round 3) 51664 del vars, 559243 del conss, 44458 chg bounds, 13 chg sides, 25 chg coeffs, 0 upgd conss, 4108806 impls, 0 clqs
9.59/9.61 c (round 4) 51822 del vars, 560329 del conss, 44459 chg bounds, 13 chg sides, 25 chg coeffs, 0 upgd conss, 4108816 impls, 0 clqs
9.59/9.65 c (round 5) 51833 del vars, 560447 del conss, 44459 chg bounds, 13 chg sides, 25 chg coeffs, 0 upgd conss, 4108816 impls, 0 clqs
10.18/10.21 c (round 6) 51833 del vars, 560447 del conss, 44459 chg bounds, 13 chg sides, 25 chg coeffs, 127691 upgd conss, 4108816 impls, 0 clqs
10.28/10.38 c (round 7) 51833 del vars, 560447 del conss, 44459 chg bounds, 13 chg sides, 25 chg coeffs, 128851 upgd conss, 4108816 impls, 0 clqs
31.98/32.02 c (27.7s) probing: 1000/28105 (3.6%) - 0 fixings, 0 aggregations, 18635 implications, 0 bound changes
55.88/56.00 c (51.7s) probing: 2000/28105 (7.1%) - 0 fixings, 0 aggregations, 46266 implications, 0 bound changes
55.98/56.03 c (51.7s) probing: 2001/28105 (7.1%) - 0 fixings, 0 aggregations, 46326 implications, 0 bound changes
55.98/56.03 c (51.7s) probing aborted: 2000/2000 successive useless probings
55.98/56.03 c presolving (8 rounds):
55.98/56.03 c 51833 deleted vars, 560447 deleted constraints, 44459 tightened bounds, 0 added holes, 13 changed sides, 25 changed coefficients
55.98/56.03 c 4203674 implications, 0 cliques
55.98/56.03 c presolved problem has 28105 variables (28105 bin, 0 int, 0 impl, 0 cont) and 128851 constraints
55.98/56.03 c 77121 constraints of type <setppc>
55.98/56.03 c 51730 constraints of type <logicor>
55.98/56.03 c transformed objective value is always integral (scale: 1)
55.98/56.03 c Presolving Time: 50.84
55.98/56.03 c - non default parameters ----------------------------------------------------------------------
55.98/56.03 c # SCIP version 1.2.1.3
55.98/56.03 c
55.98/56.03 c # frequency for displaying node information lines
55.98/56.03 c # [type: int, range: [-1,2147483647], default: 100]
55.98/56.03 c display/freq = 10000
55.98/56.03 c
55.98/56.03 c # maximal time in seconds to run
55.98/56.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
55.98/56.03 c limits/time = 1785.69
55.98/56.03 c
55.98/56.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
55.98/56.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
55.98/56.03 c limits/memory = 13950
55.98/56.03 c
55.98/56.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
55.98/56.03 c # [type: int, range: [1,2], default: 1]
55.98/56.03 c timing/clocktype = 2
55.98/56.03 c
55.98/56.03 c # should presolving try to simplify inequalities
55.98/56.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
55.98/56.03 c constraints/linear/simplifyinequalities = TRUE
55.98/56.03 c
55.98/56.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
55.98/56.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
55.98/56.03 c constraints/indicator/addCouplingCons = TRUE
55.98/56.03 c
55.98/56.03 c # should presolving try to simplify knapsacks
55.98/56.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
55.98/56.03 c constraints/knapsack/simplifyinequalities = TRUE
55.98/56.03 c
55.98/56.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
55.98/56.03 c # [type: int, range: [-1,2147483647], default: -1]
55.98/56.03 c separating/rapidlearning/freq = 0
55.98/56.03 c
55.98/56.03 c -----------------------------------------------------------------------------------------------
55.98/56.03 c start solving
55.98/56.04 c
102.28/102.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.28/102.33 c 98.0s| 1 | 0 | 20812 | - | 570M| 0 | 10k| 28k| 128k| 28k| 128k| 0 | 0 | 0 | 1.126500e+04 | -- | Inf
421.53/421.64 c 417s| 1 | 0 | 63691 | - | 575M| 0 |9775 | 28k| 128k| 28k| 130k|2000 | 0 | 0 | 1.144162e+04 | -- | Inf
472.52/472.67 c 468s| 1 | 0 | 70841 | - | 575M| 0 |8969 | 28k| 128k| 28k| 131k|2788 | 0 | 0 | 1.161762e+04 | -- | Inf
631.80/631.96 c 628s| 1 | 0 | 91180 | - | 575M| 0 |6872 | 28k| 128k| 28k| 131k|2855 | 0 | 0 | 1.161825e+04 | -- | Inf
727.28/727.43 c 723s| 1 | 0 |103016 | - | 575M| 0 |6408 | 28k| 128k| 28k| 131k|2889 | 0 | 0 | 1.190450e+04 | -- | Inf
925.55/925.71 c 921s| 1 | 0 |124312 | - | 576M| 0 |6664 | 28k| 128k| 28k| 131k|2912 | 0 | 0 | 1.230433e+04 | -- | Inf
1026.23/1026.40 c 1022s| 1 | 0 |137156 | - | 576M| 0 |6736 | 28k| 128k| 28k| 131k|2945 | 0 | 0 | 1.264585e+04 | -- | Inf
1101.92/1102.15 c 1098s| 1 | 0 |145435 | - | 576M| 0 |7001 | 28k| 128k| 28k| 131k|2965 | 0 | 0 | 1.327157e+04 | -- | Inf
1252.48/1252.73 c 1248s| 1 | 0 |160733 | - | 576M| 0 |6905 | 28k| 128k| 28k| 131k|2994 | 0 | 0 | 1.446383e+04 | -- | Inf
1378.07/1378.33 c 1374s| 1 | 0 |172436 | - | 577M| 0 |5957 | 28k| 128k| 28k| 131k|3022 | 0 | 0 | 1.503222e+04 | -- | Inf
1504.04/1504.30 c 1500s| 1 | 0 |184256 | - | 577M| 0 |6061 | 28k| 128k| 28k| 131k|3046 | 0 | 0 | 1.548767e+04 | -- | Inf
1673.62/1673.97 c 1670s| 1 | 0 |200004 | - | 578M| 0 |5841 | 28k| 128k| 28k| 131k|3068 | 0 | 0 | 1.548848e+04 | -- | Inf
1789.80/1790.11 c 1786s| 1 | 0 |211524 | - | 578M| 0 | - | 28k| 128k| 28k| 131k|3090 | 0 | 0 | 1.548848e+04 | -- | Inf
1789.80/1790.16 c 1786s| 1 | 2 |211524 | - | 578M| 0 | - | 28k| 128k| 28k| 131k|3090 | 0 | 0 | 1.548848e+04 | -- | Inf
1789.80/1790.16 c
1789.80/1790.16 c SCIP Status : solving was interrupted [time limit reached]
1789.80/1790.16 c Solving Time (sec) : 1785.84
1789.80/1790.16 c Solving Nodes : 1
1789.80/1790.16 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.80/1790.16 c Dual Bound : +1.54884833333333e+04
1789.80/1790.16 c Gap : infinite
1789.80/1790.16 s UNKNOWN
1789.80/1790.16 c SCIP Status : solving was interrupted [time limit reached]
1789.80/1790.16 c Solving Time : 1785.84
1789.80/1790.16 c Original Problem :
1789.80/1790.16 c Problem name : HOME/instance-3744725-1338809626.opb
1789.80/1790.16 c Variables : 79938 (79938 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.80/1790.16 c Constraints : 689298 initial, 689298 maximal
1789.80/1790.16 c Presolved Problem :
1789.80/1790.16 c Problem name : t_HOME/instance-3744725-1338809626.opb
1789.80/1790.16 c Variables : 28105 (28105 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.80/1790.16 c Constraints : 128851 initial, 128851 maximal
1789.80/1790.16 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.80/1790.16 c trivial : 0.02 0 0 0 0 0 0 0 0
1789.80/1790.16 c dualfix : 0.20 5067 0 0 0 0 0 0 0
1789.80/1790.16 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.80/1790.16 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.80/1790.16 c implics : 0.38 0 778 0 0 0 0 0 0
1789.80/1790.16 c probing : 45.56 0 0 0 0 0 0 0 0
1789.80/1790.16 c setppc : 0.14 0 0 0 0 0 0 0 0
1789.80/1790.16 c linear : 3.52 44459 1529 0 44459 0 560447 13 25
1789.80/1790.16 c logicor : 0.13 0 0 0 0 0 0 0 0
1789.80/1790.16 c root node : - 0 - - 0 - - - -
1789.80/1790.16 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.80/1790.16 c integral : 0 0 0 0 0 0 0 0 0 0
1789.80/1790.16 c setppc : 77121 12 5639 0 1 0 0 0 0 0
1789.80/1790.16 c logicor : 51730 12 3998 0 1 0 0 0 0 0
1789.80/1790.16 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.80/1790.16 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.80/1790.16 c integral : 0.00 0.00 0.00 0.00 0.00
1789.80/1790.16 c setppc : 33.45 0.11 33.30 0.00 0.03
1789.80/1790.16 c logicor : 1.40 0.06 1.33 0.00 0.01
1789.80/1790.16 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.80/1790.16 c Propagators : Time Calls Cutoffs DomReds
1789.80/1790.16 c vbounds : 0.00 2 0 0
1789.80/1790.16 c rootredcost : 0.00 0 0 0
1789.80/1790.16 c pseudoobj : 0.01 13 0 0
1789.80/1790.16 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.80/1790.16 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.80/1790.16 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.80/1790.16 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.80/1790.16 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.80/1790.16 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.80/1790.16 c applied globally : - - - 0 0.0 - - -
1789.80/1790.16 c applied locally : - - - 0 0.0 - - -
1789.80/1790.16 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.80/1790.16 c cut pool : 0.01 11 - - 947 - (maximal pool size: 4119)
1789.80/1790.16 c redcost : 0.02 12 0 0 0 0
1789.80/1790.16 c impliedbounds : 0.29 12 0 0 4261 0
1789.80/1790.16 c intobj : 0.00 0 0 0 0 0
1789.80/1790.16 c cgmip : 0.00 0 0 0 0 0
1789.80/1790.16 c gomory : 20.01 12 0 0 6000 0
1789.80/1790.16 c strongcg : 18.61 12 0 0 6000 0
1789.80/1790.16 c cmir : 43.13 10 0 0 1 0
1789.80/1790.16 c flowcover : 98.42 10 0 0 8 0
1789.80/1790.16 c clique : 7.80 11 0 0 85 0
1789.80/1790.16 c zerohalf : 0.00 0 0 0 0 0
1789.80/1790.16 c mcf : 0.14 1 0 0 0 0
1789.80/1790.16 c rapidlearning : 0.00 0 0 0 0 0
1789.80/1790.16 c Pricers : Time Calls Vars
1789.80/1790.16 c problem variables: 0.00 0 0
1789.80/1790.16 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.80/1790.16 c relpscost : 0.00 0 0 0 0 0 0
1789.80/1790.16 c pscost : 0.00 0 0 0 0 0 0
1789.80/1790.16 c inference : 0.01 1 0 0 0 0 2
1789.80/1790.16 c mostinf : 0.00 0 0 0 0 0 0
1789.80/1790.16 c leastinf : 0.00 0 0 0 0 0 0
1789.80/1790.16 c fullstrong : 0.00 0 0 0 0 0 0
1789.80/1790.16 c allfullstrong : 0.00 0 0 0 0 0 0
1789.80/1790.16 c random : 0.00 0 0 0 0 0 0
1789.80/1790.16 c Primal Heuristics : Time Calls Found
1789.80/1790.16 c LP solutions : 0.00 - 0
1789.80/1790.16 c pseudo solutions : 0.00 - 0
1789.80/1790.16 c oneopt : 0.00 0 0
1789.80/1790.16 c trivial : 0.10 2 0
1789.80/1790.16 c simplerounding : 0.00 10 0
1789.80/1790.16 c zirounding : 0.00 0 0
1789.80/1790.16 c rounding : 0.11 12 0
1789.80/1790.16 c shifting : 3.06 12 0
1789.80/1790.16 c intshifting : 0.00 0 0
1789.80/1790.16 c twoopt : 0.00 0 0
1789.80/1790.16 c fixandinfer : 0.00 0 0
1789.80/1790.16 c feaspump : 294.70 1 0
1789.80/1790.16 c coefdiving : 0.00 0 0
1789.80/1790.16 c pscostdiving : 0.00 0 0
1789.80/1790.16 c fracdiving : 0.00 0 0
1789.80/1790.16 c veclendiving : 0.00 0 0
1789.80/1790.16 c intdiving : 0.00 0 0
1789.80/1790.16 c actconsdiving : 0.00 0 0
1789.80/1790.16 c objpscostdiving : 0.00 0 0
1789.80/1790.16 c rootsoldiving : 0.00 0 0
1789.80/1790.16 c linesearchdiving : 0.00 0 0
1789.80/1790.16 c guideddiving : 0.00 0 0
1789.80/1790.16 c octane : 0.00 0 0
1789.80/1790.16 c rens : 0.00 0 0
1789.80/1790.16 c rins : 0.00 0 0
1789.80/1790.16 c localbranching : 0.00 0 0
1789.80/1790.16 c mutation : 0.00 0 0
1789.80/1790.16 c crossover : 0.00 0 0
1789.80/1790.16 c dins : 0.00 0 0
1789.80/1790.16 c undercover : 0.00 0 0
1789.80/1790.16 c nlp : 0.00 0 0
1789.80/1790.16 c trysol : 0.00 0 0
1789.80/1790.16 c LP : Time Calls Iterations Iter/call Iter/sec
1789.80/1790.16 c primal LP : 0.00 0 0 0.00 -
1789.80/1790.16 c dual LP : 1246.66 13 175309 13485.31 140.62
1789.80/1790.16 c lex dual LP : 0.00 0 0 0.00 -
1789.80/1790.16 c barrier LP : 0.00 0 0 0.00 -
1789.80/1790.16 c diving/probing LP: 294.14 21 36215 1724.52 123.12
1789.80/1790.16 c strong branching : 0.00 0 0 0.00 -
1789.80/1790.16 c (at root node) : - 0 0 0.00 -
1789.80/1790.16 c conflict analysis: 0.00 0 0 0.00 -
1789.80/1790.16 c B&B Tree :
1789.80/1790.16 c number of runs : 1
1789.80/1790.16 c nodes : 1
1789.80/1790.16 c nodes (total) : 1
1789.80/1790.16 c nodes left : 2
1789.80/1790.16 c max depth : 0
1789.80/1790.16 c max depth (total): 0
1789.80/1790.16 c backtracks : 0 (0.0%)
1789.80/1790.16 c delayed cutoffs : 0
1789.80/1790.16 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.80/1790.16 c avg switch length: 1.00
1789.80/1790.16 c switching time : 0.00
1789.80/1790.16 c Solution :
1789.80/1790.16 c Solutions found : 0 (0 improvements)
1789.80/1790.16 c Primal Bound : -
1789.80/1790.16 c Dual Bound : +1.54884833333333e+04
1789.80/1790.16 c Gap : infinite
1789.80/1790.16 c Root Dual Bound : +1.54884833333333e+04
1789.80/1790.16 c Root Iterations : 211524
1790.50/1790.87 c Time complete: 1790.56.
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-3744725-1338809626/watcher-3744725-1338809626 -o /tmp/evaluation-result-3744725-1338809626/solver-3744725-1338809626 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744725-1338809626.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 6789
/proc/meminfo: memFree=28868576/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 1251 0 0 0 0 0 0 0 20 0 1 0 347091279 8105984 1197 33554432000 4194304 8395647 140737398037616 140737162476120 7385025 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 1979 1197 370 1026 0 949 0
[startup+0.0980249 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6789
/proc/meminfo: memFree=28868576/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=28348 CPUtime=0.08 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 6346 0 0 0 8 0 0 0 20 0 1 0 347091279 29028352 6286 33554432000 4194304 8395647 140737398037616 140737397969752 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 7087 6286 394 1026 0 6057 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 28348
[startup+0.100342 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6789
/proc/meminfo: memFree=28868576/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=28348 CPUtime=0.08 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 6346 0 0 0 8 0 0 0 20 0 1 0 347091279 29028352 6286 33554432000 4194304 8395647 140737398037616 140737397969752 5754968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 7087 6286 394 1026 0 6057 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 28348
[startup+0.300349 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6789
/proc/meminfo: memFree=28868576/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=42184 CPUtime=0.29 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 9811 0 0 0 28 1 0 0 20 0 1 0 347091279 43196416 9751 33554432000 4194304 8395647 140737398037616 140737397969752 7382066 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 10546 9751 394 1026 0 9516 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42184
[startup+0.700338 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6789
/proc/meminfo: memFree=28868576/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=67748 CPUtime=0.69 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 16182 0 0 0 67 2 0 0 20 0 1 0 347091279 69373952 16122 33554432000 4194304 8395647 140737398037616 140737397969752 4327524 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 16937 16122 394 1026 0 15907 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67748
[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6790
/proc/meminfo: memFree=28786612/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=120840 CPUtime=1.49 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 29379 0 0 0 145 4 0 0 20 0 1 0 347091279 123740160 29319 33554432000 4194304 8395647 140737398037616 140737397902824 6014194 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 30210 29319 394 1026 0 29180 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 120840
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6790
/proc/meminfo: memFree=28712832/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=225848 CPUtime=3.09 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 55592 0 0 0 300 9 0 0 20 0 1 0 347091279 231268352 55532 33554432000 4194304 8395647 140737398037616 140737397902824 7382051 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 56462 55532 394 1026 0 55432 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 225848
[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6790
/proc/meminfo: memFree=28089724/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=801288 CPUtime=6.29 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 197871 0 0 0 599 30 0 0 20 0 1 0 347091279 820518912 197457 33554432000 4194304 8395647 140737398037616 140737398034424 6078950 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 200322 197457 476 1026 0 199292 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 801288
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6790
/proc/meminfo: memFree=27985440/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=895040 CPUtime=12.68 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 221680 0 0 0 1235 33 0 0 20 0 1 0 347091279 916520960 220833 33554432000 4194304 8395647 140737398037616 140737398033416 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 223760 220833 499 1026 0 222730 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 895040
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6790
/proc/meminfo: memFree=27985680/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=895040 CPUtime=25.48 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 221683 0 0 0 2515 33 0 0 20 0 1 0 347091279 916520960 220836 33554432000 4194304 8395647 140737398037616 140737398033416 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 223760 220836 499 1026 0 222730 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 895040
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6790
/proc/meminfo: memFree=27986004/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=895040 CPUtime=51.08 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 221689 0 0 0 5075 33 0 0 20 0 1 0 347091279 916520960 220842 33554432000 4194304 8395647 140737398037616 140737398032552 5211845 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 223760 220842 505 1026 0 222730 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 895040
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6790
/proc/meminfo: memFree=27966440/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=918568 CPUtime=102.28 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 223358 0 0 0 10188 40 0 0 20 0 1 0 347091279 940613632 225179 33554432000 4194304 8395647 140737398037616 140737398032744 6574271 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 229642 225179 579 1026 0 228612 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 918568
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6791
/proc/meminfo: memFree=27966220/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=918568 CPUtime=162.26 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 223368 0 0 0 16183 43 0 0 20 0 1 0 347091279 940613632 225189 33554432000 4194304 8395647 140737398037616 140737398032136 6696659 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 229642 225189 582 1026 0 228612 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 918568
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6791
/proc/meminfo: memFree=27965504/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=918568 CPUtime=222.25 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 223535 0 0 0 22178 47 0 0 20 0 1 0 347091279 940613632 225356 33554432000 4194304 8395647 140737398037616 140737398032136 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 229642 225356 582 1026 0 228612 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 918568
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6791
/proc/meminfo: memFree=27965532/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=918568 CPUtime=282.25 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 223536 0 0 0 28174 51 0 0 20 0 1 0 347091279 940613632 225357 33554432000 4194304 8395647 140737398037616 140737398032136 6708194 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 229642 225357 582 1026 0 228612 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 918568
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6791
/proc/meminfo: memFree=27965684/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=918568 CPUtime=342.24 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 223536 0 0 0 34170 54 0 0 20 0 1 0 347091279 940613632 225357 33554432000 4194304 8395647 140737398037616 140737398032136 6708356 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 229642 225357 582 1026 0 228612 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 918568
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6794
/proc/meminfo: memFree=27930836/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=959924 CPUtime=402.23 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 226489 0 0 0 40163 60 0 0 20 0 1 0 347091279 982962176 233970 33554432000 4194304 8395647 140737398037616 140737398032744 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 239981 233970 590 1026 0 238951 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 959924
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6795
/proc/meminfo: memFree=27905376/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=973836 CPUtime=462.22 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 228060 0 0 0 46157 65 0 0 20 0 1 0 347091279 997208064 238546 33554432000 4194304 8395647 140737398037616 140737398032744 6438996 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 243459 238546 612 1026 0 242429 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 973836
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6795
/proc/meminfo: memFree=27903544/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=973836 CPUtime=522.21 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 228500 0 0 0 52151 70 0 0 20 0 1 0 347091279 997208064 238986 33554432000 4194304 8395647 140737398037616 140737398033080 6669594 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 243459 238986 613 1026 0 242429 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 973836
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6795
/proc/meminfo: memFree=27903572/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=973836 CPUtime=582.2 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 228500 0 0 0 58145 75 0 0 20 0 1 0 347091279 997208064 238986 33554432000 4194304 8395647 140737398037616 140737398032744 6697993 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 243459 238986 613 1026 0 242429 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 973836
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26874844/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=981300 CPUtime=1062.12 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 232530 0 0 0 106104 108 0 0 20 0 1 0 347091279 1004851200 239784 33554432000 4194304 8395647 140737398037616 140737398033080 6698214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 245325 239784 613 1026 0 244295 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 981300
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 6839
/proc/meminfo: memFree=26896896/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=966876 CPUtime=1122.11 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 232913 0 0 0 112100 111 0 0 20 0 1 0 347091279 990081024 234347 33554432000 4194304 8395647 140737398037616 140737398033080 6698051 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 241719 234347 613 1026 0 240689 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 966876
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6839
/proc/meminfo: memFree=26882904/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=969964 CPUtime=1182.1 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 236116 0 0 0 118093 117 0 0 20 0 1 0 347091279 993243136 237621 33554432000 4194304 8395647 140737398037616 140737398032744 6698047 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 242491 237621 613 1026 0 241461 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 969964
[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 6839
/proc/meminfo: memFree=26881940/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=969964 CPUtime=1242.08 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 236116 0 0 0 124087 121 0 0 20 0 1 0 347091279 993243136 237816 33554432000 4194304 8395647 140737398037616 140737398032744 6698214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 242491 237816 613 1026 0 241461 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 969964
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6839
/proc/meminfo: memFree=26799632/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=980432 CPUtime=1302.08 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 237949 0 0 0 130083 125 0 0 20 0 1 0 347091279 1003962368 242119 33554432000 4194304 8395647 140737398037616 140737398032744 6697955 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 245108 242119 613 1026 0 244078 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 980432
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6840
/proc/meminfo: memFree=26798084/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=980432 CPUtime=1362.06 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 237979 0 0 0 136076 130 0 0 20 0 1 0 347091279 1003962368 242677 33554432000 4194304 8395647 140737398037616 140737398032744 6698034 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 245108 242677 613 1026 0 244078 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 980432
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6840
/proc/meminfo: memFree=26806868/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=980432 CPUtime=1422.06 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 238148 0 0 0 142073 133 0 0 20 0 1 0 347091279 1003962368 243106 33554432000 4194304 8395647 140737398037616 140737398033080 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 245108 243106 613 1026 0 244078 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 980432
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 6840
/proc/meminfo: memFree=26766932/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=980432 CPUtime=1482.05 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 238148 0 0 0 148067 138 0 0 20 0 1 0 347091279 1003962368 243106 33554432000 4194304 8395647 140737398037616 140737398033080 6697983 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 245108 243106 613 1026 0 244078 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 980432
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6840
/proc/meminfo: memFree=26756492/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=1000648 CPUtime=1542.04 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 238473 0 0 0 154063 141 0 0 20 0 1 0 347091279 1024663552 245475 33554432000 4194304 8395647 140737398037616 140737398032744 6698034 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 250162 245475 613 1026 0 249132 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1000648
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 6843
/proc/meminfo: memFree=26755396/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=1000648 CPUtime=1602.03 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 238473 0 0 0 160057 146 0 0 20 0 1 0 347091279 1024663552 245475 33554432000 4194304 8395647 140737398037616 140737398032744 6697342 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 250162 245475 613 1026 0 249132 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1000648
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6867
/proc/meminfo: memFree=26756852/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=1000648 CPUtime=1662.02 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 238473 0 0 0 166053 149 0 0 20 0 1 0 347091279 1024663552 245475 33554432000 4194304 8395647 140737398037616 140737398032744 6697955 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 250162 245475 613 1026 0 249132 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1000648
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 6867
/proc/meminfo: memFree=26753544/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=1000648 CPUtime=1722.01 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 238795 0 0 0 172048 153 0 0 20 0 1 0 347091279 1024663552 246308 33554432000 4194304 8395647 140737398037616 140737398032744 6698043 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 250162 246308 613 1026 0 249132 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1000648
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6868
/proc/meminfo: memFree=26748352/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=1000648 CPUtime=1782 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 238795 0 0 0 178042 158 0 0 20 0 1 0 347091279 1024663552 246308 33554432000 4194304 8395647 140737398037616 140737398032744 6697959 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 250162 246308 613 1026 0 249132 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1000648
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6868
/proc/meminfo: memFree=26750648/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=1000648 CPUtime=1785.2 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 238795 0 0 0 178362 158 0 0 20 0 1 0 347091279 1024663552 246308 33554432000 4194304 8395647 140737398037616 140737398033080 6636367 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 250162 246308 613 1026 0 249132 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 1000648
[startup+1788.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6868
/proc/meminfo: memFree=26750632/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=1000648 CPUtime=1788.4 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 238795 0 0 0 178682 158 0 0 20 0 1 0 347091279 1024663552 246308 33554432000 4194304 8395647 140737398037616 140737398032744 6698051 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 250162 246308 613 1026 0 249132 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (KiB) 1000648
[startup+1789.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6868
/proc/meminfo: memFree=26750632/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=1000648 CPUtime=1789.2 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 238795 0 0 0 178762 158 0 0 20 0 1 0 347091279 1024663552 246308 33554432000 4194304 8395647 140737398037616 140737398032744 6669594 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 250162 246308 613 1026 0 249132 0
Current children cumulated CPU time (s) 1789.2
Current children cumulated vsize (KiB) 1000648
[startup+1790.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6868
/proc/meminfo: memFree=26750632/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=1000648 CPUtime=1790 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 238802 0 0 0 178842 158 0 0 20 0 1 0 347091279 1024663552 246315 33554432000 4194304 8395647 140737398037616 140737398032744 6345203 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 250162 246315 620 1026 0 249132 0
Current children cumulated CPU time (s) 1790
Current children cumulated vsize (KiB) 1000648
[startup+1790.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6868
/proc/meminfo: memFree=26879820/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=850336 CPUtime=1790.4 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 238804 0 0 0 178881 159 0 0 20 0 1 0 347091279 870744064 211815 33554432000 4194304 8395647 140737398037616 140737398032744 6345879 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 212584 211815 622 1026 0 211554 0
Current children cumulated CPU time (s) 1790.4
Current children cumulated vsize (KiB) 850336
[startup+1790.81 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 6868
/proc/meminfo: memFree=26879820/32873844 swapFree=7116/7116
[pid=6789] ppid=6787 vsize=750812 CPUtime=1790.5 cores=1,3,5,7
/proc/6789/stat : 6789 (pbscip.linux.x8) R 6787 6789 4984 0 -1 4202496 238804 0 0 0 178890 160 0 0 20 0 1 0 347091279 768831488 186934 33554432000 4194304 8395647 140737398037616 140737398032744 4969582 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6789/statm: 187703 186934 622 1026 0 186673 0
Current children cumulated CPU time (s) 1790.5
Current children cumulated vsize (KiB) 750812
Child status: 0
Real time (s): 1790.87
CPU time (s): 1790.58
CPU user time (s): 1788.96
CPU system time (s): 1.62075
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 1000648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.96
system time used= 1.62075
maximum resident set size= 985268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238810
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= 30
involuntary context switches= 1838
runsolver used 7.26389 second user time and 13.5309 second system time
The end