1.00/1.08 c SCIP version 1.1.0.7
1.00/1.08 c LP-Solver SoPlex 1.4.1
1.00/1.08 c user parameter file <scip.set> not found - using default parameters
1.00/1.08 c read problem <HOME/instance-3740564-1338763305.opb>
1.00/1.08 c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 176044 constraints
1.39/1.40 c start presolving problem
1.39/1.40 c presolving:
6.09/6.14 c (round 1) 3655 del vars, 11058 del conss, 2511 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12008788 impls, 0 clqs
8.19/8.24 c (round 2) 9570 del vars, 29755 del conss, 8200 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12035460 impls, 0 clqs
8.80/8.89 c (round 3) 11542 del vars, 39002 del conss, 9323 chg bounds, 27 chg sides, 25 chg coeffs, 0 upgd conss, 12044665 impls, 0 clqs
9.19/9.27 c (round 4) 12505 del vars, 42575 del conss, 9918 chg bounds, 32 chg sides, 32 chg coeffs, 0 upgd conss, 12050870 impls, 0 clqs
9.39/9.46 c (round 5) 12979 del vars, 44506 del conss, 10207 chg bounds, 32 chg sides, 32 chg coeffs, 0 upgd conss, 12053368 impls, 0 clqs
9.49/9.58 c (round 6) 13129 del vars, 45167 del conss, 10299 chg bounds, 32 chg sides, 32 chg coeffs, 0 upgd conss, 12054330 impls, 0 clqs
9.59/9.67 c (round 7) 13236 del vars, 45583 del conss, 10362 chg bounds, 32 chg sides, 32 chg coeffs, 0 upgd conss, 12055454 impls, 0 clqs
9.68/9.75 c (round 8) 13282 del vars, 45777 del conss, 10388 chg bounds, 32 chg sides, 32 chg coeffs, 0 upgd conss, 12056112 impls, 0 clqs
9.80/9.83 c (round 9) 13316 del vars, 45904 del conss, 10410 chg bounds, 32 chg sides, 32 chg coeffs, 0 upgd conss, 12056240 impls, 0 clqs
9.80/9.89 c (round 10) 13316 del vars, 45957 del conss, 10410 chg bounds, 32 chg sides, 32 chg coeffs, 0 upgd conss, 12056240 impls, 0 clqs
10.39/10.49 c (round 11) 13316 del vars, 45957 del conss, 10410 chg bounds, 32 chg sides, 32 chg coeffs, 130087 upgd conss, 12056240 impls, 0 clqs
313.74/313.81 c (311.5s) probing: 1000/41466 (2.4%) - 11 fixings, 1 aggregations, 8530014 implications, 0 bound changes
417.83/417.94 c (415.2s) probing: 2000/41466 (4.8%) - 11 fixings, 1 aggregations, 13421273 implications, 0 bound changes
431.82/431.92 c (429.2s) probing: 2144/41466 (5.2%) - 11 fixings, 1 aggregations, 14106424 implications, 0 bound changes
431.82/431.92 c (429.2s) probing aborted: 2000/2000 successive useless probings
431.82/431.92 c (round 12) 13328 del vars, 45957 del conss, 10410 chg bounds, 43 chg sides, 152 chg coeffs, 130087 upgd conss, 59097312 impls, 0 clqs
432.53/432.69 c (round 13) 13328 del vars, 46519 del conss, 10410 chg bounds, 46 chg sides, 269 chg coeffs, 130087 upgd conss, 59097312 impls, 0 clqs
728.85/729.02 c (725.9s) probing: 3000/41466 (7.2%) - 31 fixings, 16 aggregations, 20159613 implications, 0 bound changes
831.03/831.21 c (round 14) 13378 del vars, 46519 del conss, 10410 chg bounds, 46 chg sides, 269 chg coeffs, 130087 upgd conss, 83505520 impls, 0 clqs
831.83/832.08 c (round 15) 13384 del vars, 46663 del conss, 10410 chg bounds, 46 chg sides, 282 chg coeffs, 130087 upgd conss, 83506534 impls, 0 clqs
984.98/985.24 c (981.5s) probing: 4000/41466 (9.6%) - 50 fixings, 22 aggregations, 29902911 implications, 0 bound changes
1192.06/1192.39 c (1188.2s) probing: 5000/41466 (12.1%) - 50 fixings, 25 aggregations, 38551978 implications, 0 bound changes
1323.52/1323.87 c (1319.4s) probing: 6000/41466 (14.5%) - 52 fixings, 27 aggregations, 43900302 implications, 0 bound changes
1444.50/1444.86 c (1440.0s) probing: 7000/41466 (16.9%) - 54 fixings, 27 aggregations, 48323075 implications, 0 bound changes
1535.69/1536.06 c (1531.0s) probing: 8000/41466 (19.3%) - 54 fixings, 27 aggregations, 51878515 implications, 0 bound changes
1622.17/1622.53 c (1617.2s) probing: 8956/41466 (21.6%) - 54 fixings, 27 aggregations, 55044374 implications, 0 bound changes
1622.17/1622.53 c (1617.2s) probing aborted: 2000/2000 successive useless probings
1622.17/1622.54 c (round 16) 13403 del vars, 46663 del conss, 10410 chg bounds, 46 chg sides, 282 chg coeffs, 130087 upgd conss, 152418204 impls, 0 clqs
1623.18/1623.53 c (round 17) 13408 del vars, 46726 del conss, 10410 chg bounds, 46 chg sides, 284 chg coeffs, 130087 upgd conss, 152418568 impls, 0 clqs
1625.66/1626.06 c (1620.7s) probing: 9000/41466 (21.7%) - 54 fixings, 27 aggregations, 55064175 implications, 0 bound changes
1646.96/1647.39 c (1642.0s) probing: 9156/41466 (22.1%) - 54 fixings, 27 aggregations, 55722773 implications, 0 bound changes
1646.96/1647.39 c (1642.0s) probing aborted: 2000/2000 successive useless probings
1646.96/1647.40 c presolving (18 rounds):
1646.96/1647.40 c 13408 deleted vars, 46726 deleted constraints, 10410 tightened bounds, 0 added holes, 46 changed sides, 284 changed coefficients
1646.96/1647.40 c 153898284 implications, 0 cliques
1646.96/1647.40 c presolved problem has 41374 variables (41374 bin, 0 int, 0 impl, 0 cont) and 129325 constraints
1646.96/1647.40 c 1133 constraints of type <knapsack>
1646.96/1647.40 c 7 constraints of type <setppc>
1646.96/1647.40 c 128185 constraints of type <logicor>
1646.96/1647.40 c transformed objective value is always integral (scale: 1)
1646.96/1647.40 c Presolving Time: 1641.74
1647.06/1647.42 c OPT-LIN
1647.06/1647.42 c -----------------------------------------------------------------------------------------------
1647.06/1647.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1647.06/1647.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1647.06/1647.42 c limits/memory = c 13950
1647.06/1647.42 c # maximal time in seconds to run
1647.06/1647.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1647.06/1647.42 c limits/time = c 1791
1647.06/1647.42 c # frequency for displaying node information lines
1647.06/1647.42 c # [type: int, range: [-1,2147483647], default: 100]
1647.06/1647.42 c display/freq = c 10000
1647.06/1647.42 c -----------------------------------------------------------------------------------------------
1647.06/1647.42 c start solving problem
1647.06/1647.42 c
1796.84/1797.22 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1796.84/1797.22 c 1792s| 1 | 0 | 24050 |4197M| 0 | - | 41k| 129k| 129k| 41k| 129k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1796.84/1797.27 c 1792s| 1 | 2 | 24050 |4197M| 0 | - | 41k| 129k| 129k| 41k| 129k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1796.84/1797.27 c
1796.84/1797.27 c SCIP Status : solving was interrupted [time limit reached]
1796.84/1797.27 c Solving Time (sec) : 1791.65
1796.84/1797.27 c Solving Nodes : 1
1796.84/1797.27 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.84/1797.27 c Dual Bound : +0.00000000000000e+00
1796.84/1797.27 c Gap : infinite
1796.84/1797.27 c NODE 1
1796.84/1797.27 c DUAL BOUND 0
1796.84/1797.27 c PRIMAL BOUND 1e+20
1796.84/1797.27 c GAP 1e+20
1796.84/1797.27 s UNKNOWN
1796.84/1797.27 c SCIP Status : solving was interrupted [time limit reached]
1796.84/1797.27 c Solving Time : 1791.65
1796.84/1797.27 c Original Problem :
1796.84/1797.27 c Problem name : HOME/instance-3740564-1338763305.opb
1796.84/1797.27 c Variables : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.84/1797.27 c Constraints : 176044 initial, 176044 maximal
1796.84/1797.27 c Presolved Problem :
1796.84/1797.27 c Problem name : t_HOME/instance-3740564-1338763305.opb
1796.84/1797.27 c Variables : 41374 (41374 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.84/1797.27 c Constraints : 129325 initial, 129325 maximal
1796.84/1797.27 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1796.84/1797.27 c trivial : 0.07 1028 0 0 0 0 0 0 0
1796.84/1797.27 c dualfix : 0.03 91 0 0 0 0 0 0 0
1796.84/1797.27 c boundshift : 0.00 0 0 0 0 0 0 0 0
1796.84/1797.27 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1796.84/1797.27 c implics : 1.56 0 11 0 0 0 0 0 0
1796.84/1797.27 c probing : 1628.47 54 27 0 0 0 0 0 0
1796.84/1797.27 c knapsack : 3.00 0 0 0 0 0 0 14 252
1796.84/1797.27 c setppc : 0.00 0 0 0 0 0 0 0 0
1796.84/1797.27 c linear : 7.98 9382 2815 0 10410 0 45957 32 32
1796.84/1797.27 c logicor : 0.44 0 0 0 0 0 769 0 0
1796.84/1797.27 c root node : - 0 - - 0 - - - -
1796.84/1797.27 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1796.84/1797.27 c integral : 0 0 0 0 0 0 0 0 0 0
1796.84/1797.27 c knapsack : 1133 0 722378 0 1 8 0 0 0 0
1796.84/1797.27 c setppc : 7 0 722370 0 1 0 0 0 0 0
1796.84/1797.27 c logicor : 128185 0 720476 0 1 32 0 0 0 0
1796.84/1797.27 c countsols : 0 0 0 0 1 0 0 0 0 0
1796.84/1797.27 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1796.84/1797.27 c integral : 0.00 0.00 0.00 0.00 0.00
1796.84/1797.27 c knapsack : 13.49 0.00 13.49 0.00 0.00
1796.84/1797.27 c setppc : 0.21 0.00 0.21 0.00 0.00
1796.84/1797.27 c logicor : 194.17 0.00 194.13 0.00 0.04
1796.84/1797.27 c countsols : 0.00 0.00 0.00 0.00 0.00
1796.84/1797.27 c Propagators : Time Calls Cutoffs DomReds
1796.84/1797.27 c rootredcost : 0.11 0 0 0
1796.84/1797.27 c pseudoobj : 0.05 1 0 0
1796.84/1797.27 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.84/1797.27 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.84/1797.27 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.84/1797.27 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.84/1797.27 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.84/1797.27 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.84/1797.27 c applied globally : - - - 0 0.0 - - -
1796.84/1797.27 c applied locally : - - - 0 0.0 - - -
1796.84/1797.27 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.84/1797.27 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1796.84/1797.27 c redcost : 0.00 0 0 0 0 0
1796.84/1797.27 c impliedbounds : 0.00 0 0 0 0 0
1796.84/1797.27 c intobj : 0.00 0 0 0 0 0
1796.84/1797.27 c gomory : 0.00 0 0 0 0 0
1796.84/1797.27 c strongcg : 0.00 0 0 0 0 0
1796.84/1797.27 c cmir : 0.00 0 0 0 0 0
1796.84/1797.27 c flowcover : 0.00 0 0 0 0 0
1796.84/1797.27 c clique : 0.00 0 0 0 0 0
1796.84/1797.27 c zerohalf : 0.00 0 0 0 0 0
1796.84/1797.27 c mcf : 0.00 0 0 0 0 0
1796.84/1797.27 c Pricers : Time Calls Vars
1796.84/1797.27 c problem variables: 0.00 0 0
1796.84/1797.27 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.84/1797.27 c relpscost : 0.00 0 0 0 0 0 0
1796.84/1797.27 c pscost : 0.00 0 0 0 0 0 0
1796.84/1797.27 c inference : 0.01 1 0 0 0 0 2
1796.84/1797.27 c mostinf : 0.00 0 0 0 0 0 0
1796.84/1797.27 c leastinf : 0.00 0 0 0 0 0 0
1796.84/1797.27 c fullstrong : 0.00 0 0 0 0 0 0
1796.84/1797.27 c allfullstrong : 0.00 0 0 0 0 0 0
1796.84/1797.27 c random : 0.00 0 0 0 0 0 0
1796.84/1797.27 c Primal Heuristics : Time Calls Found
1796.84/1797.27 c LP solutions : 0.00 - 0
1796.84/1797.27 c pseudo solutions : 0.00 - 0
1796.84/1797.27 c oneopt : 0.00 0 0
1796.84/1797.27 c simplerounding : 0.00 0 0
1796.84/1797.27 c rounding : 0.00 0 0
1796.84/1797.27 c shifting : 0.00 0 0
1796.84/1797.27 c intshifting : 0.00 0 0
1796.84/1797.27 c fixandinfer : 0.00 0 0
1796.84/1797.27 c feaspump : 0.00 0 0
1796.84/1797.27 c coefdiving : 0.00 0 0
1796.84/1797.27 c pscostdiving : 0.00 0 0
1796.84/1797.27 c fracdiving : 0.00 0 0
1796.84/1797.27 c veclendiving : 0.00 0 0
1796.84/1797.27 c intdiving : 0.00 0 0
1796.84/1797.27 c actconsdiving : 0.00 0 0
1796.84/1797.27 c objpscostdiving : 0.00 0 0
1796.84/1797.27 c rootsoldiving : 0.00 0 0
1796.84/1797.27 c linesearchdiving : 0.00 0 0
1796.84/1797.27 c guideddiving : 0.00 0 0
1796.84/1797.27 c octane : 0.00 0 0
1796.84/1797.27 c rens : 0.00 0 0
1796.84/1797.27 c rins : 0.00 0 0
1796.84/1797.27 c localbranching : 0.00 0 0
1796.84/1797.27 c mutation : 0.00 0 0
1796.84/1797.27 c crossover : 0.00 0 0
1796.84/1797.27 c dins : 0.00 0 0
1796.84/1797.27 c LP : Time Calls Iterations Iter/call Iter/sec
1796.84/1797.27 c primal LP : 0.00 0 0 0.00 -
1796.84/1797.27 c dual LP : 149.40 1 24050 24050.00 160.98
1796.84/1797.27 c barrier LP : 0.00 0 0 0.00 -
1796.84/1797.27 c diving/probing LP: 0.00 0 0 0.00 -
1796.84/1797.27 c strong branching : 0.00 0 0 0.00 -
1796.84/1797.27 c (at root node) : - 0 0 0.00 -
1796.84/1797.27 c conflict analysis: 0.00 0 0 0.00 -
1796.84/1797.27 c B&B Tree :
1796.84/1797.27 c number of runs : 1
1796.84/1797.27 c nodes : 1
1796.84/1797.27 c nodes (total) : 1
1796.84/1797.27 c nodes left : 2
1796.84/1797.27 c max depth : 0
1796.84/1797.27 c max depth (total): 0
1796.84/1797.27 c backtracks : 0 (0.0%)
1796.84/1797.27 c delayed cutoffs : 0
1796.84/1797.27 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.84/1797.27 c avg switch length: 1.00
1796.84/1797.27 c switching time : 0.00
1796.84/1797.27 c Solution :
1796.84/1797.27 c Solutions found : 0 (0 improvements)
1796.84/1797.27 c Primal Bound : -
1796.84/1797.27 c Dual Bound : +0.00000000000000e+00
1796.84/1797.27 c Gap : infinite
1796.84/1797.27 c Root Dual Bound : +0.00000000000000e+00
1797.44/1797.88 c Time complete: 1797.52.
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-3740564-1338763305/watcher-3740564-1338763305 -o /tmp/evaluation-result-3740564-1338763305/solver-3740564-1338763305 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740564-1338763305.opb
running on 4 cores: 0,2,4,6
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.03 2.05 2.00 3/176 11061
/proc/meminfo: memFree=28044044/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=9020 CPUtime=0 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1604 0 0 0 0 0 0 0 20 0 1 0 342455075 9236480 1556 33554432000 4194304 7823515 140736151996752 140736151862856 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 2255 1556 354 887 0 1365 0
[startup+0.0210629 s]
/proc/loadavg: 2.03 2.05 2.00 3/176 11061
/proc/meminfo: memFree=28044044/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=12192 CPUtime=0.01 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 2391 0 0 0 1 0 0 0 20 0 1 0 342455075 12484608 2343 33554432000 4194304 7823515 140736151996752 140736151862856 6288883 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 3048 2343 354 887 0 2158 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12192
[startup+0.100272 s]
/proc/loadavg: 2.03 2.05 2.00 3/176 11061
/proc/meminfo: memFree=28044044/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=25836 CPUtime=0.08 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 5789 0 0 0 8 0 0 0 20 0 1 0 342455075 26456064 5741 33554432000 4194304 7823515 140736151996752 140736151862856 4512305 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 6459 5741 354 887 0 5569 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25836
[startup+0.300267 s]
/proc/loadavg: 2.03 2.05 2.00 3/176 11061
/proc/meminfo: memFree=28044044/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=46044 CPUtime=0.29 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 10867 0 0 0 28 1 0 0 20 0 1 0 342455075 47149056 10819 33554432000 4194304 7823515 140736151996752 140736151862856 6908077 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 11511 10819 354 887 0 10621 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46044
[startup+0.700264 s]
/proc/loadavg: 2.03 2.05 2.00 3/176 11061
/proc/meminfo: memFree=28044044/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=77276 CPUtime=0.69 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 18648 0 0 0 67 2 0 0 20 0 1 0 342455075 79130624 18600 33554432000 4194304 7823515 140736151996752 140736151862856 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 19319 18600 354 887 0 18429 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77276
[startup+1.50031 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 11062
/proc/meminfo: memFree=27943224/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=269872 CPUtime=1.49 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 66675 0 0 0 139 10 0 0 20 0 1 0 342455075 276348928 66273 33554432000 4194304 7823515 140736151996752 140736151862856 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 67468 66273 418 887 0 66578 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 269872
[startup+3.10028 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 11062
/proc/meminfo: memFree=27700936/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=439796 CPUtime=3.09 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 109039 0 0 0 292 17 0 0 20 0 1 0 342455075 450351104 108637 33554432000 4194304 7823515 140736151996752 140736151993688 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 109949 108637 427 887 0 109059 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 439796
[startup+6.30032 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 11062
/proc/meminfo: memFree=27443388/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=634472 CPUtime=6.29 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 155082 0 0 0 598 31 0 0 20 0 1 0 342455075 649699328 154680 33554432000 4194304 7823515 140736151996752 140736151993688 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 158618 154680 432 887 0 157728 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 634472
[startup+12.7003 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 11062
/proc/meminfo: memFree=27347656/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=703716 CPUtime=12.69 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 170625 0 0 0 1207 62 0 0 20 0 1 0 342455075 720605184 172325 33554432000 4194304 7823515 140736151996752 140736151993432 5803127 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 175929 172325 460 887 0 175039 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 703716
[startup+25.5003 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 11062
/proc/meminfo: memFree=27299576/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=751332 CPUtime=25.49 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 181745 0 0 0 2485 64 0 0 20 0 1 0 342455075 769363968 183445 33554432000 4194304 7823515 140736151996752 140736151992808 5803115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 187833 183445 460 887 0 186943 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 751332
[startup+51.1003 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 11063
/proc/meminfo: memFree=27236064/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=798920 CPUtime=51.08 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 193006 0 0 0 5043 65 0 0 20 0 1 0 342455075 818094080 194706 33554432000 4194304 7823515 140736151996752 140736151992616 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 199730 194706 460 887 0 198840 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 798920
[startup+102.307 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 11063
/proc/meminfo: memFree=26993680/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=958476 CPUtime=102.28 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 231650 0 0 0 10157 71 0 0 20 0 1 0 342455075 981479424 233350 33554432000 4194304 7823515 140736151996752 140736151993448 5803100 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 239619 233350 460 887 0 238729 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 958476
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 11063
/proc/meminfo: memFree=26806716/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=1122276 CPUtime=162.27 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 272392 0 0 0 16148 79 0 0 20 0 1 0 342455075 1149210624 274092 33554432000 4194304 7823515 140736151996752 140736151992808 5102375 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 280569 274092 461 887 0 279679 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1122276
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11063
/proc/meminfo: memFree=26511500/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=1376132 CPUtime=222.25 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 334412 0 0 0 22133 92 0 0 20 0 1 0 342455075 1409159168 336112 33554432000 4194304 7823515 140736151996752 140736151992616 5802376 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 344033 336112 461 887 0 343143 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1376132
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11063
/proc/meminfo: memFree=26198800/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=1665876 CPUtime=282.24 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 405931 0 0 0 28113 111 0 0 20 0 1 0 342455075 1705857024 407631 33554432000 4194304 7823515 140736151996752 140736151992616 5803131 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 416469 407631 461 887 0 415579 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1665876
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11063
/proc/meminfo: memFree=25942644/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=1890884 CPUtime=342.24 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 462109 0 0 0 34092 132 0 0 20 0 1 0 342455075 1936265216 463809 33554432000 4194304 7823515 140736151996752 140736151992808 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 472721 463809 466 887 0 471831 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1890884
[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 11064
/proc/meminfo: memFree=25657584/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=2095480 CPUtime=402.23 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 512383 0 0 0 40071 152 0 0 20 0 1 0 342455075 2145771520 514083 33554432000 4194304 7823515 140736151996752 140736151993448 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 523870 514083 466 887 0 522980 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 2095480
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11064
/proc/meminfo: memFree=25459512/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=2219132 CPUtime=462.22 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 541723 0 0 0 46053 169 0 0 20 0 1 0 342455075 2272391168 545978 33554432000 4194304 7823515 140736151996752 140736151993448 5803108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 554783 545978 466 887 0 553893 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 2219132
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 11067
/proc/meminfo: memFree=25382900/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=2252140 CPUtime=522.21 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 549971 0 0 0 52049 172 0 0 20 0 1 0 342455075 2306191360 554226 33554432000 4194304 7823515 140736151996752 140736151992616 4243090 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 563035 554226 466 887 0 562145 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2252140
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11067
/proc/meminfo: memFree=25244304/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=2320220 CPUtime=582.2 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 567254 0 0 0 58045 175 0 0 20 0 1 0 342455075 2375905280 571509 33554432000 4194304 7823515 140736151996752 140736151993448 5803135 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 580055 571509 466 887 0 579165 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2320220
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24443088/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=3801964 CPUtime=1122.06 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 930769 0 0 0 111935 271 0 0 20 0 1 0 342455075 3893211136 938867 33554432000 4194304 7823515 140736151996752 140736151993448 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 950491 938867 466 887 0 949601 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 3801964
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 11133
/proc/meminfo: memFree=24244892/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=3988968 CPUtime=1182.05 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 976537 0 0 0 117921 284 0 0 20 0 1 0 342455075 4084703232 984997 33554432000 4194304 7823515 140736151996752 140736151993432 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 997242 984997 466 887 0 996352 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 3988968
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11133
/proc/meminfo: memFree=24074100/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=4129248 CPUtime=1242.04 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1011718 0 0 0 123905 299 0 0 20 0 1 0 342455075 4228349952 1020289 33554432000 4194304 7823515 140736151996752 140736151993448 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1032312 1020289 466 887 0 1031422 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 4129248
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11134
/proc/meminfo: memFree=23915532/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=4289024 CPUtime=1302.04 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1050829 0 0 0 129888 316 0 0 20 0 1 0 342455075 4391960576 1059559 33554432000 4194304 7823515 140736151996752 140736151993448 5802717 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1072256 1059559 466 887 0 1071366 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 4289024
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11134
/proc/meminfo: memFree=23765024/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=4440344 CPUtime=1362.01 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1088495 0 0 0 135874 327 0 0 20 0 1 0 342455075 4546912256 1097308 33554432000 4194304 7823515 140736151996752 140736151993448 5803127 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1110086 1097308 466 887 0 1109196 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 4440344
[startup+1422.31 s]
/proc/loadavg: 2.07 2.03 2.01 4/177 11134
/proc/meminfo: memFree=23643408/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=4561540 CPUtime=1422.01 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1118737 0 0 0 141860 341 0 0 20 0 1 0 342455075 4671016960 1127593 33554432000 4194304 7823515 140736151996752 140736151993432 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1140385 1127593 466 887 0 1139495 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 4561540
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 11134
/proc/meminfo: memFree=23516956/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=4688856 CPUtime=1481.99 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1150510 0 0 0 147841 358 0 0 20 0 1 0 342455075 4801388544 1159534 33554432000 4194304 7823515 140736151996752 140736151992616 5803127 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1172214 1159534 466 887 0 1171324 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 4688856
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 11134
/proc/meminfo: memFree=23342640/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=4865432 CPUtime=1541.99 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1193649 0 0 0 153823 376 0 0 20 0 1 0 342455075 4982202368 1202734 33554432000 4194304 7823515 140736151996752 140736151993432 4209630 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1216358 1202734 466 887 0 1215468 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 4865432
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11135
/proc/meminfo: memFree=23185064/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=5024788 CPUtime=1601.96 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1233149 0 0 0 159804 392 0 0 20 0 1 0 342455075 5145382912 1242235 33554432000 4194304 7823515 140736151996752 140736151993448 5422761 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1256197 1242235 466 887 0 1255307 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 5024788
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11135
/proc/meminfo: memFree=22930784/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=5286876 CPUtime=1661.96 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1285931 0 0 0 165783 413 0 0 20 0 1 0 342455075 5413761024 1305366 33554432000 4194304 7823515 140736151996752 140736151992088 6212079 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1321719 1305366 531 887 0 1320829 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 5286876
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11138
/proc/meminfo: memFree=22917040/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=5298396 CPUtime=1721.95 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1289296 0 0 0 171778 417 0 0 20 0 1 0 342455075 5425557504 1308792 33554432000 4194304 7823515 140736151996752 140736151992088 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1324599 1308792 531 887 0 1323709 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 5298396
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11138
/proc/meminfo: memFree=22908704/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=5304832 CPUtime=1781.94 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1290745 0 0 0 177773 421 0 0 20 0 1 0 342455075 5432147968 1310809 33554432000 4194304 7823515 140736151996752 140736151992504 6211574 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1326208 1310809 531 887 0 1325318 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 5304832
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11138
/proc/meminfo: memFree=22908440/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=5304832 CPUtime=1785.14 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1290860 0 0 0 178092 422 0 0 20 0 1 0 342455075 5432147968 1310926 33554432000 4194304 7823515 140736151996752 140736151992088 6908057 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1326208 1310926 531 887 0 1325318 0
Current children cumulated CPU time (s) 1785.14
Current children cumulated vsize (KiB) 5304832
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 11138
/proc/meminfo: memFree=22908316/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=5304984 CPUtime=1791.55 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1290892 0 0 0 178733 422 0 0 20 0 1 0 342455075 5432303616 1310958 33554432000 4194304 7823515 140736151996752 140736151992552 6206056 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1326246 1310958 531 887 0 1325356 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 5304984
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11138
/proc/meminfo: memFree=22908176/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=5304984 CPUtime=1794.74 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1290902 0 0 0 179052 422 0 0 20 0 1 0 342455075 5432303616 1310980 33554432000 4194304 7823515 140736151996752 140736151992552 6180591 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1326246 1310980 531 887 0 1325356 0
Current children cumulated CPU time (s) 1794.74
Current children cumulated vsize (KiB) 5304984
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 11138
/proc/meminfo: memFree=22908176/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=5304984 CPUtime=1796.34 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1290902 0 0 0 179212 422 0 0 20 0 1 0 342455075 5432303616 1310980 33554432000 4194304 7823515 140736151996752 140736151992088 6206238 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1326246 1310980 531 887 0 1325356 0
Current children cumulated CPU time (s) 1796.34
Current children cumulated vsize (KiB) 5304984
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 11138
/proc/meminfo: memFree=22908176/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=5304984 CPUtime=1797.14 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1290912 0 0 0 179292 422 0 0 20 0 1 0 342455075 5432303616 1310990 33554432000 4194304 7823515 140736151996752 140736151992088 4211548 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1326246 1310990 541 887 0 1325356 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 5304984
[startup+1797.7 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 11138
/proc/meminfo: memFree=22908176/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=5094156 CPUtime=1797.34 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1290912 0 0 0 179309 425 0 0 20 0 1 0 342455075 5216415744 882596 33554432000 4194304 7823515 140736151996752 140736151992088 7132266 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1273539 882201 541 887 0 1272649 0
Current children cumulated CPU time (s) 1797.34
Current children cumulated vsize (KiB) 5094156
[startup+1797.8 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 11138
/proc/meminfo: memFree=22908176/32873844 swapFree=7900/7900
[pid=11061] ppid=11059 vsize=5094156 CPUtime=1797.44 cores=0,2,4,6
/proc/11061/stat : 11061 (pbscip.linux.x8) R 11059 11061 8610 0 -1 4202496 1290912 0 0 0 179309 435 0 0 20 0 1 0 342455075 5216415744 477150 33554432000 4194304 7823515 140736151996752 140736151992088 7132266 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11061/statm: 1273539 476669 541 887 0 1272649 0
Current children cumulated CPU time (s) 1797.44
Current children cumulated vsize (KiB) 5094156
Child status: 0
Real time (s): 1797.89
CPU time (s): 1797.53
CPU user time (s): 1793.09
CPU system time (s): 4.43833
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 5304984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.09
system time used= 4.43832
maximum resident set size= 5243960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1290919
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= 133
involuntary context switches= 1899
runsolver used 3.31849 second user time and 8.75267 second system time
The end