0.69/0.77 c SCIP version 1.1.0.7
0.69/0.77 c LP-Solver SoPlex 1.4.1
0.69/0.77 c user parameter file <scip.set> not found - using default parameters
0.69/0.77 c read problem <HOME/instance-3740201-1338758370.opb>
0.69/0.77 c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 123520 constraints
0.89/0.97 c start presolving problem
0.89/0.97 c presolving:
4.19/4.29 c (round 1) 2338 del vars, 6490 del conss, 1669 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8518724 impls, 0 clqs
5.19/5.25 c (round 2) 5375 del vars, 17857 del conss, 4490 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8533657 impls, 0 clqs
5.49/5.57 c (round 3) 6681 del vars, 23612 del conss, 5289 chg bounds, 47 chg sides, 60 chg coeffs, 0 upgd conss, 8541909 impls, 0 clqs
5.69/5.75 c (round 4) 7199 del vars, 25796 del conss, 5614 chg bounds, 86 chg sides, 111 chg coeffs, 0 upgd conss, 8545950 impls, 0 clqs
5.79/5.85 c (round 5) 7508 del vars, 26999 del conss, 5790 chg bounds, 91 chg sides, 118 chg coeffs, 0 upgd conss, 8548991 impls, 0 clqs
5.89/5.93 c (round 6) 7644 del vars, 27592 del conss, 5878 chg bounds, 95 chg sides, 121 chg coeffs, 0 upgd conss, 8549996 impls, 0 clqs
5.89/5.99 c (round 7) 7724 del vars, 27950 del conss, 5906 chg bounds, 99 chg sides, 124 chg coeffs, 0 upgd conss, 8550536 impls, 0 clqs
5.99/6.04 c (round 8) 7742 del vars, 28049 del conss, 5916 chg bounds, 99 chg sides, 124 chg coeffs, 0 upgd conss, 8550644 impls, 0 clqs
5.99/6.08 c (round 9) 7743 del vars, 28078 del conss, 5916 chg bounds, 99 chg sides, 124 chg coeffs, 0 upgd conss, 8550644 impls, 0 clqs
6.50/6.52 c (round 10) 7743 del vars, 28078 del conss, 5916 chg bounds, 99 chg sides, 124 chg coeffs, 95442 upgd conss, 8550644 impls, 0 clqs
7.29/7.38 c (round 11) 7743 del vars, 28084 del conss, 5916 chg bounds, 152 chg sides, 327 chg coeffs, 95442 upgd conss, 8550644 impls, 0 clqs
7.49/7.54 c (round 12) 7743 del vars, 28104 del conss, 5916 chg bounds, 152 chg sides, 339 chg coeffs, 95442 upgd conss, 8550644 impls, 0 clqs
193.36/193.46 c (191.7s) probing: 1000/28979 (3.5%) - 9 fixings, 1 aggregations, 6524060 implications, 0 bound changes
270.05/270.11 c (268.0s) probing: 2000/28979 (6.9%) - 9 fixings, 1 aggregations, 10909278 implications, 0 bound changes
280.35/280.43 c (278.3s) probing: 2126/28979 (7.3%) - 9 fixings, 1 aggregations, 11499149 implications, 0 bound changes
280.35/280.43 c (278.3s) probing aborted: 2000/2000 successive useless probings
280.35/280.43 c (round 13) 7753 del vars, 28104 del conss, 5916 chg bounds, 152 chg sides, 340 chg coeffs, 95442 upgd conss, 44914026 impls, 0 clqs
280.94/281.01 c (round 14) 7753 del vars, 28422 del conss, 5916 chg bounds, 152 chg sides, 441 chg coeffs, 95442 upgd conss, 44914026 impls, 0 clqs
489.18/489.32 c (486.8s) probing: 3000/28979 (10.4%) - 30 fixings, 13 aggregations, 16664995 implications, 0 bound changes
666.92/667.13 c (round 15) 7803 del vars, 28422 del conss, 5916 chg bounds, 152 chg sides, 444 chg coeffs, 95442 upgd conss, 75615788 impls, 0 clqs
668.41/668.67 c (round 16) 7816 del vars, 28586 del conss, 5916 chg bounds, 152 chg sides, 445 chg coeffs, 95442 upgd conss, 75622994 impls, 0 clqs
695.01/695.25 c (692.1s) probing: 4000/28979 (13.8%) - 52 fixings, 28 aggregations, 24125334 implications, 0 bound changes
908.96/909.22 c (905.6s) probing: 5000/28979 (17.3%) - 65 fixings, 29 aggregations, 31781149 implications, 0 bound changes
1041.14/1041.43 c (1037.5s) probing: 6000/28979 (20.7%) - 66 fixings, 34 aggregations, 36103999 implications, 0 bound changes
1143.51/1143.84 c (1139.6s) probing: 7000/28979 (24.2%) - 66 fixings, 34 aggregations, 39459424 implications, 0 bound changes
1227.50/1227.81 c (1223.4s) probing: 8000/28979 (27.6%) - 68 fixings, 34 aggregations, 41976609 implications, 0 bound changes
1296.88/1297.20 c (round 17) 7867 del vars, 28590 del conss, 5916 chg bounds, 152 chg sides, 445 chg coeffs, 95442 upgd conss, 121636070 impls, 0 clqs
1297.99/1298.31 c (round 18) 7877 del vars, 28752 del conss, 5916 chg bounds, 152 chg sides, 446 chg coeffs, 95442 upgd conss, 121644464 impls, 0 clqs
1302.89/1303.28 c (1298.6s) probing: 9000/28979 (31.1%) - 76 fixings, 34 aggregations, 43937292 implications, 0 bound changes
1367.57/1367.98 c (1363.1s) probing: 10000/28979 (34.5%) - 76 fixings, 34 aggregations, 45758448 implications, 0 bound changes
1426.16/1426.50 c (1421.4s) probing: 11000/28979 (38.0%) - 78 fixings, 36 aggregations, 47254185 implications, 0 bound changes
1479.65/1480.00 c (1474.8s) probing: 12000/28979 (41.4%) - 78 fixings, 36 aggregations, 48456342 implications, 0 bound changes
1515.35/1515.76 c (1510.4s) probing: 12796/28979 (44.2%) - 78 fixings, 36 aggregations, 49238955 implications, 0 bound changes
1515.35/1515.76 c (1510.4s) probing aborted: 2000/2000 successive useless probings
1515.35/1515.76 c (round 19) 7881 del vars, 28752 del conss, 5916 chg bounds, 152 chg sides, 446 chg coeffs, 95442 upgd conss, 133881998 impls, 0 clqs
1515.95/1516.36 c (round 20) 7881 del vars, 28762 del conss, 5916 chg bounds, 152 chg sides, 456 chg coeffs, 95442 upgd conss, 133881998 impls, 0 clqs
1525.84/1526.25 c (1520.8s) probing: 12996/28979 (44.8%) - 78 fixings, 36 aggregations, 49462766 implications, 0 bound changes
1525.84/1526.25 c (1520.8s) probing aborted: 2000/2000 successive useless probings
1525.84/1526.25 c presolving (21 rounds):
1525.84/1526.25 c 7881 deleted vars, 28762 deleted constraints, 5916 tightened bounds, 0 added holes, 152 changed sides, 456 changed coefficients
1525.84/1526.25 c 134329620 implications, 0 cliques
1525.84/1526.25 c presolved problem has 28841 variables (28841 bin, 0 int, 0 impl, 0 cont) and 94804 constraints
1525.84/1526.25 c 1129 constraints of type <knapsack>
1525.84/1526.25 c 25 constraints of type <setppc>
1525.84/1526.25 c 93650 constraints of type <logicor>
1525.84/1526.25 c transformed objective value is always integral (scale: 1)
1525.84/1526.25 c Presolving Time: 1520.70
1525.84/1526.27 c OPT-LIN
1525.84/1526.27 c -----------------------------------------------------------------------------------------------
1525.84/1526.27 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1525.84/1526.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1525.84/1526.27 c limits/memory = c 13950
1525.84/1526.27 c # maximal time in seconds to run
1525.84/1526.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1525.84/1526.27 c limits/time = c 1791
1525.84/1526.27 c # frequency for displaying node information lines
1525.84/1526.27 c # [type: int, range: [-1,2147483647], default: 100]
1525.84/1526.27 c display/freq = c 10000
1525.84/1526.27 c -----------------------------------------------------------------------------------------------
1525.84/1526.27 c start solving problem
1525.84/1526.27 c
1796.70/1797.16 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1796.70/1797.16 c 1791s| 1 | 0 | 51208 |3624M| 0 | - | 28k| 94k| 94k| 28k| 94k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1796.80/1797.21 c 1791s| 1 | 2 | 51208 |3624M| 0 | - | 28k| 94k| 94k| 28k| 94k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1796.80/1797.21 c
1796.80/1797.21 c SCIP Status : solving was interrupted [time limit reached]
1796.80/1797.21 c Solving Time (sec) : 1791.46
1796.80/1797.21 c Solving Nodes : 1
1796.80/1797.21 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.80/1797.21 c Dual Bound : +0.00000000000000e+00
1796.80/1797.21 c Gap : infinite
1796.80/1797.21 c NODE 1
1796.80/1797.21 c DUAL BOUND 0
1796.80/1797.21 c PRIMAL BOUND 1e+20
1796.80/1797.21 c GAP 1e+20
1796.80/1797.21 s UNKNOWN
1796.80/1797.21 c SCIP Status : solving was interrupted [time limit reached]
1796.80/1797.21 c Solving Time : 1791.46
1796.80/1797.21 c Original Problem :
1796.80/1797.21 c Problem name : HOME/instance-3740201-1338758370.opb
1796.80/1797.21 c Variables : 36722 (36722 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.80/1797.21 c Constraints : 123520 initial, 123520 maximal
1796.80/1797.21 c Presolved Problem :
1796.80/1797.21 c Problem name : t_HOME/instance-3740201-1338758370.opb
1796.80/1797.21 c Variables : 28841 (28841 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.80/1797.21 c Constraints : 94804 initial, 94804 maximal
1796.80/1797.21 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1796.80/1797.21 c trivial : 0.03 497 0 0 0 0 0 0 0
1796.80/1797.21 c dualfix : 0.02 61 0 0 0 0 0 0 0
1796.80/1797.21 c boundshift : 0.00 0 0 0 0 0 0 0 0
1796.80/1797.21 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1796.80/1797.21 c implics : 2.62 0 23 0 0 0 0 0 0
1796.80/1797.21 c probing : 1509.29 78 36 0 0 0 0 0 0
1796.80/1797.21 c knapsack : 3.18 0 0 0 0 0 5 53 332
1796.80/1797.21 c setppc : 0.00 0 0 0 0 0 21 0 0
1796.80/1797.21 c linear : 4.82 5419 1766 0 5916 0 28078 99 124
1796.80/1797.21 c logicor : 0.61 1 0 0 0 0 658 0 0
1796.80/1797.21 c root node : - 0 - - 0 - - - -
1796.80/1797.21 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1796.80/1797.21 c integral : 0 0 0 0 0 0 0 0 0 0
1796.80/1797.21 c knapsack : 1129 0 975005 0 1 14 0 0 0 0
1796.80/1797.21 c setppc : 25 0 974991 0 1 0 0 0 0 0
1796.80/1797.21 c logicor : 93650 0 971418 0 1 51 0 0 0 0
1796.80/1797.21 c countsols : 0 0 0 0 1 0 0 0 0 0
1796.80/1797.21 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1796.80/1797.21 c integral : 0.00 0.00 0.00 0.00 0.00
1796.80/1797.21 c knapsack : 16.94 0.00 16.94 0.00 0.00
1796.80/1797.21 c setppc : 0.45 0.00 0.45 0.00 0.00
1796.80/1797.21 c logicor : 242.93 0.00 242.89 0.00 0.04
1796.80/1797.21 c countsols : 0.00 0.00 0.00 0.00 0.00
1796.80/1797.21 c Propagators : Time Calls Cutoffs DomReds
1796.80/1797.21 c rootredcost : 0.08 0 0 0
1796.80/1797.21 c pseudoobj : 0.06 1 0 0
1796.80/1797.21 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.80/1797.21 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.80/1797.21 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.80/1797.21 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.80/1797.21 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.80/1797.21 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.80/1797.21 c applied globally : - - - 0 0.0 - - -
1796.80/1797.21 c applied locally : - - - 0 0.0 - - -
1796.80/1797.21 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.80/1797.21 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1796.80/1797.21 c redcost : 0.00 0 0 0 0 0
1796.80/1797.21 c impliedbounds : 0.00 0 0 0 0 0
1796.80/1797.21 c intobj : 0.00 0 0 0 0 0
1796.80/1797.21 c gomory : 0.00 0 0 0 0 0
1796.80/1797.21 c strongcg : 0.00 0 0 0 0 0
1796.80/1797.21 c cmir : 0.00 0 0 0 0 0
1796.80/1797.21 c flowcover : 0.00 0 0 0 0 0
1796.80/1797.21 c clique : 0.00 0 0 0 0 0
1796.80/1797.21 c zerohalf : 0.00 0 0 0 0 0
1796.80/1797.21 c mcf : 0.00 0 0 0 0 0
1796.80/1797.21 c Pricers : Time Calls Vars
1796.80/1797.21 c problem variables: 0.00 0 0
1796.80/1797.21 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.80/1797.21 c relpscost : 0.00 0 0 0 0 0 0
1796.80/1797.21 c pscost : 0.00 0 0 0 0 0 0
1796.80/1797.21 c inference : 0.01 1 0 0 0 0 2
1796.80/1797.21 c mostinf : 0.00 0 0 0 0 0 0
1796.80/1797.21 c leastinf : 0.00 0 0 0 0 0 0
1796.80/1797.21 c fullstrong : 0.00 0 0 0 0 0 0
1796.80/1797.21 c allfullstrong : 0.00 0 0 0 0 0 0
1796.80/1797.21 c random : 0.00 0 0 0 0 0 0
1796.80/1797.21 c Primal Heuristics : Time Calls Found
1796.80/1797.21 c LP solutions : 0.00 - 0
1796.80/1797.21 c pseudo solutions : 0.00 - 0
1796.80/1797.21 c oneopt : 0.00 0 0
1796.80/1797.21 c simplerounding : 0.00 0 0
1796.80/1797.21 c rounding : 0.00 0 0
1796.80/1797.21 c shifting : 0.00 0 0
1796.80/1797.21 c intshifting : 0.00 0 0
1796.80/1797.21 c fixandinfer : 0.00 0 0
1796.80/1797.21 c feaspump : 0.00 0 0
1796.80/1797.21 c coefdiving : 0.00 0 0
1796.80/1797.21 c pscostdiving : 0.00 0 0
1796.80/1797.21 c fracdiving : 0.00 0 0
1796.80/1797.21 c veclendiving : 0.00 0 0
1796.80/1797.21 c intdiving : 0.00 0 0
1796.80/1797.21 c actconsdiving : 0.00 0 0
1796.80/1797.21 c objpscostdiving : 0.00 0 0
1796.80/1797.21 c rootsoldiving : 0.00 0 0
1796.80/1797.21 c linesearchdiving : 0.00 0 0
1796.80/1797.21 c guideddiving : 0.00 0 0
1796.80/1797.21 c octane : 0.00 0 0
1796.80/1797.21 c rens : 0.00 0 0
1796.80/1797.21 c rins : 0.00 0 0
1796.80/1797.21 c localbranching : 0.00 0 0
1796.80/1797.21 c mutation : 0.00 0 0
1796.80/1797.21 c crossover : 0.00 0 0
1796.80/1797.21 c dins : 0.00 0 0
1796.80/1797.21 c LP : Time Calls Iterations Iter/call Iter/sec
1796.80/1797.21 c primal LP : 0.00 0 0 0.00 -
1796.80/1797.21 c dual LP : 270.38 1 51208 51208.00 189.39
1796.80/1797.21 c barrier LP : 0.00 0 0 0.00 -
1796.80/1797.21 c diving/probing LP: 0.00 0 0 0.00 -
1796.80/1797.21 c strong branching : 0.00 0 0 0.00 -
1796.80/1797.21 c (at root node) : - 0 0 0.00 -
1796.80/1797.21 c conflict analysis: 0.00 0 0 0.00 -
1796.80/1797.21 c B&B Tree :
1796.80/1797.21 c number of runs : 1
1796.80/1797.21 c nodes : 1
1796.80/1797.21 c nodes (total) : 1
1796.80/1797.21 c nodes left : 2
1796.80/1797.21 c max depth : 0
1796.80/1797.21 c max depth (total): 0
1796.80/1797.21 c backtracks : 0 (0.0%)
1796.80/1797.21 c delayed cutoffs : 0
1796.80/1797.21 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.80/1797.21 c avg switch length: 1.00
1796.80/1797.21 c switching time : 0.00
1796.80/1797.21 c Solution :
1796.80/1797.21 c Solutions found : 0 (0 improvements)
1796.80/1797.21 c Primal Bound : -
1796.80/1797.21 c Dual Bound : +0.00000000000000e+00
1796.80/1797.21 c Gap : infinite
1796.80/1797.21 c Root Dual Bound : +0.00000000000000e+00
1797.31/1797.71 c Time complete: 1797.32.
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-3740201-1338758370/watcher-3740201-1338758370 -o /tmp/evaluation-result-3740201-1338758370/solver-3740201-1338758370 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740201-1338758370.opb
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.02 2.00 3/176 13713
/proc/meminfo: memFree=23567020/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=9020 CPUtime=0 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 1595 0 0 0 0 0 0 0 20 0 1 0 341964328 9236480 1547 33554432000 4194304 7823515 140736624721696 140733476735560 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 2255 1547 354 887 0 1365 0
[startup+0.0778921 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 13713
/proc/meminfo: memFree=23567020/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=23136 CPUtime=0.06 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 5122 0 0 0 6 0 0 0 20 0 1 0 341964328 23691264 5074 33554432000 4194304 7823515 140736624721696 140733476735560 6908062 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 5784 5074 354 887 0 4894 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 23136
[startup+0.100313 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 13713
/proc/meminfo: memFree=23567020/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=25836 CPUtime=0.08 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 5790 0 0 0 8 0 0 0 20 0 1 0 341964328 26456064 5742 33554432000 4194304 7823515 140736624721696 140733476735560 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 6459 5742 354 887 0 5569 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25836
[startup+0.300283 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 13713
/proc/meminfo: memFree=23567020/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=40752 CPUtime=0.29 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 9548 0 0 0 28 1 0 0 20 0 1 0 341964328 41730048 9500 33554432000 4194304 7823515 140736624721696 140733476735560 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 10188 9500 354 887 0 9298 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40752
[startup+0.70029 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 13713
/proc/meminfo: memFree=23567020/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=76420 CPUtime=0.69 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 18414 0 0 0 67 2 0 0 20 0 1 0 341964328 78254080 18366 33554432000 4194304 7823515 140736624721696 140736624587800 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 19105 18366 354 887 0 18215 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76420
[startup+1.5003 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13714
/proc/meminfo: memFree=23389924/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=250572 CPUtime=1.49 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 61977 0 0 0 139 10 0 0 20 0 1 0 341964328 256585728 61575 33554432000 4194304 7823515 140736624721696 140736624718632 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 62643 61575 427 887 0 61753 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 250572
[startup+3.1003 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13714
/proc/meminfo: memFree=23264312/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=387440 CPUtime=3.09 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 95570 0 0 0 293 16 0 0 20 0 1 0 341964328 396738560 95168 33554432000 4194304 7823515 140736624721696 140736624718632 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 96860 95168 427 887 0 95970 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 387440
[startup+6.30034 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13714
/proc/meminfo: memFree=23124052/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=489664 CPUtime=6.29 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 120350 0 0 0 592 37 0 0 20 0 1 0 341964328 501415936 119600 33554432000 4194304 7823515 140736624721696 140736624718632 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 122416 119600 439 887 0 121526 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 489664
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13714
/proc/meminfo: memFree=23025900/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=553332 CPUtime=12.69 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 133628 0 0 0 1224 45 0 0 20 0 1 0 341964328 566611968 135333 33554432000 4194304 7823515 140736624721696 140736624718392 5803612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 138333 135333 460 887 0 137443 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 553332
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13714
/proc/meminfo: memFree=22998232/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=581468 CPUtime=25.48 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 140475 0 0 0 2502 46 0 0 20 0 1 0 341964328 595423232 142180 33554432000 4194304 7823515 140736624721696 140736624718392 5803639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 145367 142180 460 887 0 144477 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 581468
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 13717
/proc/meminfo: memFree=22888272/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=691280 CPUtime=51.08 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 167388 0 0 0 5057 51 0 0 20 0 1 0 341964328 707870720 169093 33554432000 4194304 7823515 140736624721696 140736624717752 4223283 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 172820 169093 460 887 0 171930 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 691280
[startup+102.307 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 13717
/proc/meminfo: memFree=22670012/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=910888 CPUtime=102.28 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 220421 0 0 0 10166 62 0 0 20 0 1 0 341964328 932749312 222126 33554432000 4194304 7823515 140736624721696 140736624718392 6911721 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 227722 222126 461 887 0 226832 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 910888
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 13718
/proc/meminfo: memFree=22294284/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=1192792 CPUtime=162.26 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 290284 0 0 0 16144 82 0 0 20 0 1 0 341964328 1221419008 291989 33554432000 4194304 7823515 140736624721696 140736624718392 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 298198 291989 461 887 0 297308 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1192792
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13718
/proc/meminfo: memFree=21946500/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=1424624 CPUtime=222.26 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 347784 0 0 0 22116 110 0 0 20 0 1 0 341964328 1458814976 349489 33554432000 4194304 7823515 140736624721696 140736624718392 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 356156 349489 466 887 0 355266 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1424624
[startup+282.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 13718
/proc/meminfo: memFree=21707584/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=1665268 CPUtime=282.24 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 404287 0 0 0 28084 140 0 0 20 0 1 0 341964328 1705234432 409058 33554432000 4194304 7823515 140736624721696 140736624718392 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 416317 409058 466 887 0 415427 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1665268
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 13718
/proc/meminfo: memFree=21614868/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=1758068 CPUtime=342.24 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 427437 0 0 0 34078 146 0 0 20 0 1 0 341964328 1800261632 432208 33554432000 4194304 7823515 140736624721696 140736624718392 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 439517 432208 466 887 0 438627 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1758068
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 13718
/proc/meminfo: memFree=21499260/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=1864868 CPUtime=402.2 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 454407 0 0 0 40067 153 0 0 20 0 1 0 341964328 1909624832 459229 33554432000 4194304 7823515 140736624721696 140736624718392 4221694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 466217 459229 466 887 0 465327 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1864868
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 13719
/proc/meminfo: memFree=21335972/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=2026844 CPUtime=462.19 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 494093 0 0 0 46054 165 0 0 20 0 1 0 341964328 2075488256 499220 33554432000 4194304 7823515 140736624721696 140736624718392 5803104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 506711 499220 466 887 0 505821 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 2026844
[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 13719
/proc/meminfo: memFree=21124984/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=2261412 CPUtime=522.17 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 552289 0 0 0 52040 177 0 0 20 0 1 0 341964328 2315685888 557415 33554432000 4194304 7823515 140736624721696 140736624718392 5803108 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 565353 557415 466 887 0 564463 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 2261412
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13719
/proc/meminfo: memFree=20931076/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=2460680 CPUtime=582.15 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 600734 0 0 0 58023 192 0 0 20 0 1 0 341964328 2519736320 605856 33554432000 4194304 7823515 140736624721696 140736624718392 4788512 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 615170 605856 466 887 0 614280 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 2460680
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=20452548/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=3780368 CPUtime=1062.03 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 927113 0 0 0 105905 298 0 0 20 0 1 0 341964328 3871096832 933577 33554432000 4194304 7823515 140736624721696 140736624717752 5803119 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 945092 933577 466 887 0 944202 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 3780368
[startup+1122.3 s]
/proc/loadavg: 2.10 2.08 2.02 3/177 13763
/proc/meminfo: memFree=20072640/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=3930532 CPUtime=1122.02 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 963790 0 0 0 111887 315 0 0 20 0 1 0 341964328 4024864768 970320 33554432000 4194304 7823515 140736624721696 140736624718392 5803623 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 982633 970320 466 887 0 981743 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 3930532
[startup+1182.3 s]
/proc/loadavg: 2.07 2.08 2.02 3/177 13763
/proc/meminfo: memFree=19798156/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=4052736 CPUtime=1182 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 994667 0 0 0 117873 327 0 0 20 0 1 0 341964328 4150001664 1001282 33554432000 4194304 7823515 140736624721696 140736624718392 5803108 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 1013184 1001282 466 887 0 1012294 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 4052736
[startup+1242.3 s]
/proc/loadavg: 2.06 2.08 2.02 3/178 13766
/proc/meminfo: memFree=19684592/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=4165592 CPUtime=1242 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 1022376 0 0 0 123855 345 0 0 20 0 1 0 341964328 4265566208 1029142 33554432000 4194304 7823515 140736624721696 140736624718392 4842001 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 1041398 1029142 466 887 0 1040508 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 4165592
[startup+1302.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/177 13766
/proc/meminfo: memFree=19538468/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=4309772 CPUtime=1302 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 1056137 0 0 0 129836 364 0 0 20 0 1 0 341964328 4413206528 1065566 33554432000 4194304 7823515 140736624721696 140736624718392 4218740 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 1077443 1065566 466 887 0 1076553 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 4309772
[startup+1362.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/176 13766
/proc/meminfo: memFree=19411296/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=4439428 CPUtime=1361.97 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 1087534 0 0 0 135817 380 0 0 20 0 1 0 341964328 4545974272 1097570 33554432000 4194304 7823515 140736624721696 140736624718392 5803658 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 1109857 1097570 466 887 0 1108967 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 4439428
[startup+1422.31 s]
/proc/loadavg: 2.06 2.07 2.02 3/177 13767
/proc/meminfo: memFree=19292896/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=4554480 CPUtime=1421.97 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 1116334 0 0 0 141800 397 0 0 20 0 1 0 341964328 4663787520 1126898 33554432000 4194304 7823515 140736624721696 140736624718376 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 1138620 1126898 466 887 0 1137730 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 4554480
[startup+1482.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/177 13767
/proc/meminfo: memFree=19170788/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=4679064 CPUtime=1481.95 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 1147293 0 0 0 147778 417 0 0 20 0 1 0 341964328 4791361536 1158223 33554432000 4194304 7823515 140736624721696 140736624718392 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 1169766 1158223 466 887 0 1168876 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 4679064
[startup+1542.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/177 13767
/proc/meminfo: memFree=18866156/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=4891752 CPUtime=1541.94 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 1189113 0 0 0 153755 439 0 0 20 0 1 0 341964328 5009154048 1209380 33554432000 4194304 7823515 140736624721696 140736624717448 6212552 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 1222938 1209380 531 887 0 1222048 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 4891752
[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/177 13767
/proc/meminfo: memFree=18783920/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=4902860 CPUtime=1601.93 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 1191736 0 0 0 159748 445 0 0 20 0 1 0 341964328 5020528640 1212890 33554432000 4194304 7823515 140736624721696 140736624717448 6908057 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 1225715 1212890 531 887 0 1224825 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 4902860
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 13767
/proc/meminfo: memFree=18773344/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=4910368 CPUtime=1661.93 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 1193695 0 0 0 165742 451 0 0 20 0 1 0 341964328 5028216832 1215434 33554432000 4194304 7823515 140736624721696 140736624717032 6212327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 1227592 1215434 531 887 0 1226702 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 4910368
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13768
/proc/meminfo: memFree=18753520/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=4927848 CPUtime=1721.91 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 1195442 0 0 0 171735 456 0 0 20 0 1 0 341964328 5046116352 1220264 33554432000 4194304 7823515 140736624721696 140736624717032 6211018 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 1231962 1220264 531 887 0 1231072 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 4927848
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13768
/proc/meminfo: memFree=18750200/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=4929036 CPUtime=1781.91 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 1195811 0 0 0 177730 461 0 0 20 0 1 0 341964328 5047332864 1220952 33554432000 4194304 7823515 140736624721696 140736624717032 6908043 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 1232259 1220952 531 887 0 1231369 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 4929036
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13768
/proc/meminfo: memFree=18750200/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=4929036 CPUtime=1785.11 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 1195813 0 0 0 178050 461 0 0 20 0 1 0 341964328 5047332864 1220954 33554432000 4194304 7823515 140736624721696 140736624717032 6212422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 1232259 1220954 531 887 0 1231369 0
Current children cumulated CPU time (s) 1785.11
Current children cumulated vsize (KiB) 4929036
[startup+1791.91 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13768
/proc/meminfo: memFree=18745592/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=4929036 CPUtime=1791.51 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 1195816 0 0 0 178689 462 0 0 20 0 1 0 341964328 5047332864 1220989 33554432000 4194304 7823515 140736624721696 140736624717032 6206076 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 1232259 1220989 531 887 0 1231369 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (KiB) 4929036
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13768
/proc/meminfo: memFree=18743732/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=4929036 CPUtime=1794.71 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 1195819 0 0 0 179009 462 0 0 20 0 1 0 341964328 5047332864 1220992 33554432000 4194304 7823515 140736624721696 140736624717032 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 1232259 1220992 531 887 0 1231369 0
Current children cumulated CPU time (s) 1794.71
Current children cumulated vsize (KiB) 4929036
[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13768
/proc/meminfo: memFree=18736208/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=4929036 CPUtime=1796.3 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 1195820 0 0 0 179168 462 0 0 20 0 1 0 341964328 5047332864 1221022 33554432000 4194304 7823515 140736624721696 140736624717496 6212306 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 1232259 1221022 531 887 0 1231369 0
Current children cumulated CPU time (s) 1796.3
Current children cumulated vsize (KiB) 4929036
[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13768
/proc/meminfo: memFree=18736208/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=4929036 CPUtime=1797.1 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 1195845 0 0 0 179248 462 0 0 20 0 1 0 341964328 5047332864 1221032 33554432000 4194304 7823515 140736624721696 140736624717208 5875825 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 1232259 1221032 541 887 0 1231369 0
Current children cumulated CPU time (s) 1797.1
Current children cumulated vsize (KiB) 4929036
[startup+1797.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13768
/proc/meminfo: memFree=18736208/32873648 swapFree=6852/6852
[pid=13713] ppid=13711 vsize=4757956 CPUtime=1797.31 cores=1,3,5,7
/proc/13713/stat : 13713 (pbscip.linux.x8) R 13711 13713 12217 0 -1 4202496 1195845 0 0 0 179254 477 0 0 20 0 1 0 341964328 4872146944 151847 33554432000 4194304 7823515 140736624721696 140736624717208 7132266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13713/statm: 1189489 151847 541 887 0 1188599 0
Current children cumulated CPU time (s) 1797.31
Current children cumulated vsize (KiB) 4757956
Child status: 0
Real time (s): 1797.71
CPU time (s): 1797.33
CPU user time (s): 1792.54
CPU system time (s): 4.78227
CPU usage (%): 99.9785
Max. virtual memory (cumulated for all children) (KiB): 4929036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.54
system time used= 4.78227
maximum resident set size= 4884128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1195852
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= 148
involuntary context switches= 1834
runsolver used 7.96179 second user time and 17.8013 second system time
The end