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-3740425-1338737755.opb>
1.49/1.51 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234483 constraints
1.49/1.51 c problem read
1.49/1.52 c presolving settings loaded
2.09/2.11 c presolving:
8.89/8.91 c (round 1) 4515 del vars, 13043 del conss, 3137 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16088288 impls, 0 clqs
12.38/12.45 c (round 2) 10104 del vars, 33839 del conss, 8467 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16114105 impls, 0 clqs
13.48/13.58 c (round 3) 12192 del vars, 42945 del conss, 9617 chg bounds, 68 chg sides, 43 chg coeffs, 0 upgd conss, 16124029 impls, 0 clqs
14.08/14.15 c (round 4) 13191 del vars, 46914 del conss, 10211 chg bounds, 79 chg sides, 53 chg coeffs, 0 upgd conss, 16129832 impls, 0 clqs
14.48/14.52 c (round 5) 13675 del vars, 48884 del conss, 10523 chg bounds, 83 chg sides, 57 chg coeffs, 0 upgd conss, 16132336 impls, 0 clqs
14.58/14.67 c (round 6) 13947 del vars, 50037 del conss, 10649 chg bounds, 83 chg sides, 57 chg coeffs, 0 upgd conss, 16133402 impls, 0 clqs
14.68/14.78 c (round 7) 14015 del vars, 50352 del conss, 10691 chg bounds, 83 chg sides, 57 chg coeffs, 0 upgd conss, 16134010 impls, 0 clqs
14.78/14.88 c (round 8) 14060 del vars, 50546 del conss, 10722 chg bounds, 83 chg sides, 57 chg coeffs, 0 upgd conss, 16134216 impls, 0 clqs
14.88/14.97 c (round 9) 14090 del vars, 50665 del conss, 10741 chg bounds, 83 chg sides, 57 chg coeffs, 0 upgd conss, 16134402 impls, 0 clqs
14.98/15.05 c (round 10) 14108 del vars, 50745 del conss, 10752 chg bounds, 83 chg sides, 57 chg coeffs, 0 upgd conss, 16134468 impls, 0 clqs
15.08/15.13 c (round 11) 14112 del vars, 50787 del conss, 10754 chg bounds, 83 chg sides, 57 chg coeffs, 0 upgd conss, 16134486 impls, 0 clqs
15.89/15.93 c (round 12) 14112 del vars, 50795 del conss, 10754 chg bounds, 83 chg sides, 57 chg coeffs, 183688 upgd conss, 16134486 impls, 0 clqs
824.89/825.12 c (823.6s) probing: 1000/58730 (1.7%) - 0 fixings, 0 aggregations, 11621756 implications, 0 bound changes
1492.16/1492.53 c (1491.0s) probing: 2000/58730 (3.4%) - 0 fixings, 0 aggregations, 17785279 implications, 0 bound changes
1492.56/1492.92 c (1491.4s) probing: 2001/58730 (3.4%) - 0 fixings, 0 aggregations, 17786858 implications, 0 bound changes
1492.56/1492.92 c (1491.4s) probing aborted: 2000/2000 successive useless probings
1492.56/1492.93 c presolving (13 rounds):
1492.56/1492.93 c 14112 deleted vars, 50795 deleted constraints, 10754 tightened bounds, 0 added holes, 99 changed sides, 208 changed coefficients
1492.56/1492.93 c 75506350 implications, 0 cliques
1492.56/1492.93 c presolved problem has 58730 variables (58730 bin, 0 int, 0 impl, 0 cont) and 183698 constraints
1492.56/1492.93 c 1112 constraints of type <knapsack>
1492.56/1492.93 c 153511 constraints of type <setppc>
1492.56/1492.93 c 29075 constraints of type <logicor>
1492.56/1492.93 c transformed objective value is always integral (scale: 1)
1492.56/1492.93 c Presolving Time: 1491.01
1492.56/1492.93 c - non default parameters ----------------------------------------------------------------------
1492.56/1492.93 c # SCIP version 1.2.1.3
1492.56/1492.93 c
1492.56/1492.93 c # frequency for displaying node information lines
1492.56/1492.93 c # [type: int, range: [-1,2147483647], default: 100]
1492.56/1492.93 c display/freq = 10000
1492.56/1492.93 c
1492.56/1492.93 c # maximal time in seconds to run
1492.56/1492.93 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1492.56/1492.93 c limits/time = 1788.5
1492.56/1492.93 c
1492.56/1492.93 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1492.56/1492.93 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1492.56/1492.93 c limits/memory = 13950
1492.56/1492.93 c
1492.56/1492.93 c # default clock type (1: CPU user seconds, 2: wall clock time)
1492.56/1492.93 c # [type: int, range: [1,2], default: 1]
1492.56/1492.93 c timing/clocktype = 2
1492.56/1492.93 c
1492.56/1492.93 c # should presolving try to simplify inequalities
1492.56/1492.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1492.56/1492.93 c constraints/linear/simplifyinequalities = TRUE
1492.56/1492.93 c
1492.56/1492.93 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1492.56/1492.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1492.56/1492.93 c constraints/indicator/addCouplingCons = TRUE
1492.56/1492.93 c
1492.56/1492.93 c # should presolving try to simplify knapsacks
1492.56/1492.93 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1492.56/1492.93 c constraints/knapsack/simplifyinequalities = TRUE
1492.56/1492.93 c
1492.56/1492.93 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1492.56/1492.93 c # [type: int, range: [-1,2147483647], default: -1]
1492.56/1492.93 c separating/rapidlearning/freq = 0
1492.56/1492.93 c
1492.56/1492.93 c -----------------------------------------------------------------------------------------------
1492.56/1492.93 c start solving
1492.56/1492.96 c
1790.82/1791.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1790.82/1791.21 c 1790s| 1 | 0 | 44600 | - |2292M| 0 | - | 58k| 183k| 58k| 183k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1790.92/1791.31 c 1790s| 1 | 2 | 44600 | - |2292M| 0 | - | 58k| 183k| 58k| 183k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1790.92/1791.31 c
1790.92/1791.31 c SCIP Status : solving was interrupted [time limit reached]
1790.92/1791.31 c Solving Time (sec) : 1789.80
1790.92/1791.31 c Solving Nodes : 1
1790.92/1791.31 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.92/1791.31 c Dual Bound : +0.00000000000000e+00
1790.92/1791.31 c Gap : infinite
1790.92/1791.31 s UNKNOWN
1790.92/1791.31 c SCIP Status : solving was interrupted [time limit reached]
1790.92/1791.31 c Solving Time : 1789.80
1790.92/1791.31 c Original Problem :
1790.92/1791.31 c Problem name : HOME/instance-3740425-1338737755.opb
1790.92/1791.31 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.92/1791.31 c Constraints : 234483 initial, 234483 maximal
1790.92/1791.31 c Presolved Problem :
1790.92/1791.31 c Problem name : t_HOME/instance-3740425-1338737755.opb
1790.92/1791.31 c Variables : 58730 (58730 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.92/1791.31 c Constraints : 183698 initial, 183698 maximal
1790.92/1791.31 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.92/1791.31 c trivial : 0.06 1171 0 0 0 0 0 0 0
1790.92/1791.31 c dualfix : 0.09 122 0 0 0 0 0 0 0
1790.92/1791.31 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.92/1791.31 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.92/1791.31 c implics : 0.60 0 0 0 0 0 0 0 0
1790.92/1791.31 c probing : 1476.51 0 0 0 0 0 0 0 0
1790.92/1791.31 c knapsack : 0.14 0 0 0 0 0 0 16 151
1790.92/1791.31 c setppc : 0.26 0 0 0 0 0 0 0 0
1790.92/1791.31 c linear : 12.89 9583 3236 0 10754 0 50795 83 57
1790.92/1791.31 c logicor : 0.03 0 0 0 0 0 0 0 0
1790.92/1791.31 c root node : - 0 - - 0 - - - -
1790.92/1791.31 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.92/1791.31 c integral : 0 0 0 0 0 0 0 0 0 0
1790.92/1791.31 c knapsack : 1112 0 97077 0 1 0 0 0 0 0
1790.92/1791.31 c setppc : 153511 0 97077 0 1 0 0 0 0 0
1790.92/1791.31 c logicor : 29075 0 89143 0 1 0 0 0 0 0
1790.92/1791.31 c countsols : 0 0 0 0 1 0 0 0 0 0
1790.92/1791.31 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.92/1791.31 c integral : 0.00 0.00 0.00 0.00 0.00
1790.92/1791.31 c knapsack : 8.20 0.00 8.20 0.00 0.00
1790.92/1791.31 c setppc : 926.02 0.00 925.95 0.00 0.07
1790.92/1791.31 c logicor : 7.79 0.00 7.78 0.00 0.01
1790.92/1791.31 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.92/1791.31 c Propagators : Time Calls Cutoffs DomReds
1790.92/1791.31 c vbounds : 0.05 2 0 0
1790.92/1791.31 c rootredcost : 0.04 0 0 0
1790.92/1791.31 c pseudoobj : 0.04 1 0 0
1790.92/1791.31 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.92/1791.31 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1790.92/1791.31 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.92/1791.31 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.92/1791.31 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.92/1791.31 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.92/1791.31 c applied globally : - - - 0 0.0 - - -
1790.92/1791.31 c applied locally : - - - 0 0.0 - - -
1790.92/1791.31 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.92/1791.31 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1790.92/1791.31 c redcost : 0.00 0 0 0 0 0
1790.92/1791.31 c impliedbounds : 0.00 0 0 0 0 0
1790.92/1791.31 c intobj : 0.00 0 0 0 0 0
1790.92/1791.31 c cgmip : 0.00 0 0 0 0 0
1790.92/1791.31 c gomory : 0.00 0 0 0 0 0
1790.92/1791.31 c strongcg : 0.00 0 0 0 0 0
1790.92/1791.31 c cmir : 0.00 0 0 0 0 0
1790.92/1791.31 c flowcover : 0.00 0 0 0 0 0
1790.92/1791.31 c clique : 0.00 0 0 0 0 0
1790.92/1791.31 c zerohalf : 0.00 0 0 0 0 0
1790.92/1791.31 c mcf : 0.00 0 0 0 0 0
1790.92/1791.31 c rapidlearning : 0.00 0 0 0 0 0
1790.92/1791.31 c Pricers : Time Calls Vars
1790.92/1791.31 c problem variables: 0.00 0 0
1790.92/1791.31 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.92/1791.31 c relpscost : 0.00 0 0 0 0 0 0
1790.92/1791.31 c pscost : 0.00 0 0 0 0 0 0
1790.92/1791.31 c inference : 0.02 1 0 0 0 0 2
1790.92/1791.31 c mostinf : 0.00 0 0 0 0 0 0
1790.92/1791.31 c leastinf : 0.00 0 0 0 0 0 0
1790.92/1791.31 c fullstrong : 0.00 0 0 0 0 0 0
1790.92/1791.31 c allfullstrong : 0.00 0 0 0 0 0 0
1790.92/1791.31 c random : 0.00 0 0 0 0 0 0
1790.92/1791.31 c Primal Heuristics : Time Calls Found
1790.92/1791.31 c LP solutions : 0.00 - 0
1790.92/1791.31 c pseudo solutions : 0.00 - 0
1790.92/1791.31 c oneopt : 0.00 0 0
1790.92/1791.31 c trivial : 0.10 2 0
1790.92/1791.31 c simplerounding : 0.00 0 0
1790.92/1791.31 c zirounding : 0.00 0 0
1790.92/1791.31 c rounding : 0.00 0 0
1790.92/1791.31 c shifting : 0.00 0 0
1790.92/1791.31 c intshifting : 0.00 0 0
1790.92/1791.31 c twoopt : 0.00 0 0
1790.92/1791.31 c fixandinfer : 0.00 0 0
1790.92/1791.31 c feaspump : 0.00 0 0
1790.92/1791.31 c coefdiving : 0.00 0 0
1790.92/1791.31 c pscostdiving : 0.00 0 0
1790.92/1791.31 c fracdiving : 0.00 0 0
1790.92/1791.31 c veclendiving : 0.00 0 0
1790.92/1791.31 c intdiving : 0.00 0 0
1790.92/1791.31 c actconsdiving : 0.00 0 0
1790.92/1791.31 c objpscostdiving : 0.00 0 0
1790.92/1791.31 c rootsoldiving : 0.00 0 0
1790.92/1791.31 c linesearchdiving : 0.00 0 0
1790.92/1791.31 c guideddiving : 0.00 0 0
1790.92/1791.31 c octane : 0.00 0 0
1790.92/1791.31 c rens : 0.00 0 0
1790.92/1791.31 c rins : 0.00 0 0
1790.92/1791.31 c localbranching : 0.00 0 0
1790.92/1791.31 c mutation : 0.00 0 0
1790.92/1791.31 c crossover : 0.00 0 0
1790.92/1791.31 c dins : 0.00 0 0
1790.92/1791.31 c undercover : 0.00 0 0
1790.92/1791.31 c nlp : 0.00 0 0
1790.92/1791.31 c trysol : 0.00 0 0
1790.92/1791.31 c LP : Time Calls Iterations Iter/call Iter/sec
1790.92/1791.31 c primal LP : 0.00 0 0 0.00 -
1790.92/1791.31 c dual LP : 297.73 1 44600 44600.00 149.80
1790.92/1791.31 c lex dual LP : 0.00 0 0 0.00 -
1790.92/1791.31 c barrier LP : 0.00 0 0 0.00 -
1790.92/1791.31 c diving/probing LP: 0.00 0 0 0.00 -
1790.92/1791.31 c strong branching : 0.00 0 0 0.00 -
1790.92/1791.31 c (at root node) : - 0 0 0.00 -
1790.92/1791.31 c conflict analysis: 0.00 0 0 0.00 -
1790.92/1791.31 c B&B Tree :
1790.92/1791.31 c number of runs : 1
1790.92/1791.31 c nodes : 1
1790.92/1791.31 c nodes (total) : 1
1790.92/1791.31 c nodes left : 2
1790.92/1791.31 c max depth : 0
1790.92/1791.31 c max depth (total): 0
1790.92/1791.31 c backtracks : 0 (0.0%)
1790.92/1791.31 c delayed cutoffs : 0
1790.92/1791.31 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1790.92/1791.31 c avg switch length: 1.00
1790.92/1791.31 c switching time : 0.00
1790.92/1791.31 c Solution :
1790.92/1791.31 c Solutions found : 0 (0 improvements)
1790.92/1791.31 c Primal Bound : -
1790.92/1791.31 c Dual Bound : +0.00000000000000e+00
1790.92/1791.31 c Gap : infinite
1790.92/1791.31 c Root Dual Bound : +0.00000000000000e+00
1790.92/1791.31 c Root Iterations : 44600
1791.72/1792.13 c Time complete: 1791.75.
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-3740425-1338737755/watcher-3740425-1338737755 -o /tmp/evaluation-result-3740425-1338737755/solver-3740425-1338737755 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740425-1338737755.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.01 2.01 2.00 3/176 5315
/proc/meminfo: memFree=25617884/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=7912 CPUtime=0 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 1004 0 0 0 0 0 0 0 20 0 1 0 339901200 8101888 951 33554432000 4194304 8395647 140736159663328 140735086441704 7382157 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 1978 959 365 1026 0 948 0
[startup+0.075797 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 5315
/proc/meminfo: memFree=25617884/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=22676 CPUtime=0.06 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 4929 0 0 0 6 0 0 0 20 0 1 0 339901200 23220224 4876 33554432000 4194304 8395647 140736159663328 140735086441704 7430272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 5669 4876 393 1026 0 4639 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 22676
[startup+0.100366 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 5315
/proc/meminfo: memFree=25617884/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=26216 CPUtime=0.09 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 5824 0 0 0 8 1 0 0 20 0 1 0 339901200 26845184 5771 33554432000 4194304 8395647 140736159663328 140735086441704 4730225 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 6554 5771 393 1026 0 5524 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26216
[startup+0.300307 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 5315
/proc/meminfo: memFree=25617884/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=53332 CPUtime=0.29 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 12570 0 0 0 27 2 0 0 20 0 1 0 339901200 54611968 12517 33554432000 4194304 8395647 140736159663328 140735086441704 7430272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 13333 12517 393 1026 0 12303 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53332
[startup+0.700271 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 5315
/proc/meminfo: memFree=25617884/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=75616 CPUtime=0.69 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 18099 0 0 0 66 3 0 0 20 0 1 0 339901200 77430784 18046 33554432000 4194304 8395647 140736159663328 140736159528536 7370171 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 18904 18046 393 1026 0 17874 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75616
[startup+1.50031 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5316
/proc/meminfo: memFree=25521892/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=142980 CPUtime=1.49 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 34901 0 0 0 144 5 0 0 20 0 1 0 339901200 146411520 34848 33554432000 4194304 8395647 140736159663328 140736159528536 4327595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 35745 34848 393 1026 0 34715 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 142980
[startup+3.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5316
/proc/meminfo: memFree=25275876/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=472832 CPUtime=3.09 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 116176 0 0 0 291 18 0 0 20 0 1 0 339901200 484179968 115769 33554432000 4194304 8395647 140736159663328 140736159659080 6085526 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 118208 115769 469 1026 0 117178 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 472832
[startup+6.3003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5316
/proc/meminfo: memFree=24958172/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=734864 CPUtime=6.29 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 179639 0 0 0 600 29 0 0 20 0 1 0 339901200 752500736 179232 33554432000 4194304 8395647 140736159663328 140736159659080 6080353 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 183716 179232 469 1026 0 182686 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 734864
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5316
/proc/meminfo: memFree=24790920/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=845876 CPUtime=12.68 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 206629 0 0 0 1235 33 0 0 20 0 1 0 339901200 866177024 206222 33554432000 4194304 8395647 140736159663328 140736159659128 6085522 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 211469 206222 475 1026 0 210439 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 845876
[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 5317
/proc/meminfo: memFree=24646664/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=993456 CPUtime=25.49 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 240312 0 0 0 2509 40 0 0 20 0 1 0 339901200 1017298944 242295 33554432000 4194304 8395647 140736159663328 140736159659192 4684118 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 248364 242295 509 1026 0 247334 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 993456
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5317
/proc/meminfo: memFree=24608812/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=1031780 CPUtime=51.08 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 249722 0 0 0 5066 42 0 0 20 0 1 0 339901200 1056542720 251705 33554432000 4194304 8395647 140736159663328 140736159659400 6080379 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 257945 251705 509 1026 0 256915 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1031780
[startup+102.307 s]
/proc/loadavg: 2.09 2.03 2.01 3/177 5317
/proc/meminfo: memFree=24514924/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=1125788 CPUtime=102.28 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 272824 0 0 0 10182 46 0 0 20 0 1 0 339901200 1152806912 274807 33554432000 4194304 8395647 140736159663328 140736159659400 6080679 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 281447 274807 509 1026 0 280417 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1125788
[startup+162.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/177 5317
/proc/meminfo: memFree=24365276/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=1265944 CPUtime=162.26 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 307042 0 0 0 16173 53 0 0 20 0 1 0 339901200 1296326656 309025 33554432000 4194304 8395647 140736159663328 140736159659400 4684137 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 316486 309025 509 1026 0 315456 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1265944
[startup+222.3 s]
/proc/loadavg: 2.15 2.08 2.02 3/177 5317
/proc/meminfo: memFree=24261824/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=1368984 CPUtime=222.25 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 332333 0 0 0 22168 57 0 0 20 0 1 0 339901200 1401839616 334316 33554432000 4194304 8395647 140736159663328 140736159659400 6080349 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 342246 334316 509 1026 0 341216 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1368984
[startup+282.3 s]
/proc/loadavg: 2.21 2.11 2.03 3/178 5358
/proc/meminfo: memFree=26140000/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=1509836 CPUtime=282.23 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 368257 0 0 0 28159 64 0 0 20 0 1 0 339901200 1546072064 370310 33554432000 4194304 8395647 140736159663328 140736159659400 5210338 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 377459 370310 509 1026 0 376429 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1509836
[startup+342.3 s]
/proc/loadavg: 2.08 2.09 2.03 3/177 5359
/proc/meminfo: memFree=25834748/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=1671992 CPUtime=342.21 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 407334 0 0 0 34151 70 0 0 20 0 1 0 339901200 1712119808 409377 33554432000 4194304 8395647 140736159663328 140736159659400 6080366 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 417998 409377 509 1026 0 416968 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1671992
[startup+402.3 s]
/proc/loadavg: 2.06 2.08 2.03 3/177 5359
/proc/meminfo: memFree=25557884/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=1801472 CPUtime=402.19 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 439722 0 0 0 40143 76 0 0 20 0 1 0 339901200 1844707328 442001 33554432000 4194304 8395647 140736159663328 140736159659256 5210338 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 450368 442001 509 1026 0 449338 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1801472
[startup+462.3 s]
/proc/loadavg: 2.02 2.06 2.02 3/177 5359
/proc/meminfo: memFree=25203148/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=1905324 CPUtime=462.17 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 465722 0 0 0 46138 79 0 0 20 0 1 0 339901200 1951051776 467999 33554432000 4194304 8395647 140736159663328 140736159659256 5210338 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 476331 467999 509 1026 0 475301 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1905324
[startup+522.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/177 5359
/proc/meminfo: memFree=24943024/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=1971212 CPUtime=522.16 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 482186 0 0 0 52134 82 0 0 20 0 1 0 339901200 2018521088 484460 33554432000 4194304 8395647 140736159663328 140736159659192 5210338 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 492803 484460 509 1026 0 491773 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1971212
[startup+582.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/177 5359
/proc/meminfo: memFree=24629952/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=2066840 CPUtime=582.16 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 505509 0 0 0 58129 87 0 0 20 0 1 0 339901200 2116444160 507781 33554432000 4194304 8395647 140736159663328 140736159659400 5210338 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 516710 507781 509 1026 0 515680 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 2066840
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23010624/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=2491964 CPUtime=1062.04 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 610432 0 0 0 106094 110 0 0 20 0 1 0 339901200 2551771136 614709 33554432000 4194304 8395647 140736159663328 140736159659192 5210648 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 622991 614709 514 1026 0 621961 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 2491964
[startup+1122.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 5364
/proc/meminfo: memFree=22856644/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=2529308 CPUtime=1122.03 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 620170 0 0 0 112090 113 0 0 20 0 1 0 339901200 2590011392 624904 33554432000 4194304 8395647 140736159663328 140736159659400 5210338 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 632327 624904 514 1026 0 631297 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 2529308
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 5364
/proc/meminfo: memFree=22715188/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=2560508 CPUtime=1182.02 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 628564 0 0 0 118087 115 0 0 20 0 1 0 339901200 2621960192 633720 33554432000 4194304 8395647 140736159663328 140736159659400 5210338 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 640127 633720 514 1026 0 639097 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 2560508
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5365
/proc/meminfo: memFree=22601632/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=2596472 CPUtime=1242.01 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 636660 0 0 0 124084 117 0 0 20 0 1 0 339901200 2658787328 642197 33554432000 4194304 8395647 140736159663328 140736159659400 4705184 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 649118 642197 514 1026 0 648088 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 2596472
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5365
/proc/meminfo: memFree=22480388/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=2632736 CPUtime=1302.01 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 645915 0 0 0 130082 119 0 0 20 0 1 0 339901200 2695921664 651743 33554432000 4194304 8395647 140736159663328 140736159659400 5210338 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 658184 651743 514 1026 0 657154 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 2632736
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5365
/proc/meminfo: memFree=22361004/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=2668892 CPUtime=1361.99 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 654871 0 0 0 136077 122 0 0 20 0 1 0 339901200 2732945408 660769 33554432000 4194304 8395647 140736159663328 140736159659400 5215822 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 667223 660769 514 1026 0 666193 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 2668892
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5365
/proc/meminfo: memFree=22257368/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=2708080 CPUtime=1421.99 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 663933 0 0 0 142075 124 0 0 20 0 1 0 339901200 2773073920 669904 33554432000 4194304 8395647 140736159663328 140736159659400 5210338 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 677020 669904 514 1026 0 675990 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 2708080
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5368
/proc/meminfo: memFree=22125948/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=2736336 CPUtime=1481.97 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 672582 0 0 0 148072 125 0 0 20 0 1 0 339901200 2802008064 678705 33554432000 4194304 8395647 140736159663328 140736159659400 5210338 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 684084 678705 514 1026 0 683054 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 2736336
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5390
/proc/meminfo: memFree=21807972/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=2998952 CPUtime=1541.96 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 716065 0 0 0 154059 137 0 0 20 0 1 0 339901200 3070926848 739756 33554432000 4194304 8395647 140736159663328 140736159658456 7382137 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 749738 739756 585 1026 0 748708 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 2998952
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5391
/proc/meminfo: memFree=21719708/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=3008708 CPUtime=1601.95 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 718036 0 0 0 160052 143 0 0 20 0 1 0 339901200 3080916992 742585 33554432000 4194304 8395647 140736159663328 140736159657736 6697955 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 752177 742585 585 1026 0 751147 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 3008708
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5391
/proc/meminfo: memFree=21641860/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=3021936 CPUtime=1661.94 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 718493 0 0 0 166047 147 0 0 20 0 1 0 339901200 3094462464 744193 33554432000 4194304 8395647 140736159663328 140736159658456 6698214 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 755484 744193 585 1026 0 754454 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 3021936
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 5391
/proc/meminfo: memFree=21568788/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=3024676 CPUtime=1721.93 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 720583 0 0 0 172043 150 0 0 20 0 1 0 339901200 3097268224 746423 33554432000 4194304 8395647 140736159663328 140736159658456 6697959 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 756169 746423 585 1026 0 755139 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 3024676
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5391
/proc/meminfo: memFree=21503156/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=3025440 CPUtime=1781.92 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 721121 0 0 0 178038 154 0 0 20 0 1 0 339901200 3098050560 748181 33554432000 4194304 8395647 140736159663328 140736159658456 6698222 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 756360 748181 585 1026 0 755330 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 3025440
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5391
/proc/meminfo: memFree=21499172/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=3025440 CPUtime=1785.12 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 721123 0 0 0 178358 154 0 0 20 0 1 0 339901200 3098050560 748418 33554432000 4194304 8395647 140736159663328 140736159658456 6697727 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 756360 748418 585 1026 0 755330 0
Current children cumulated CPU time (s) 1785.12
Current children cumulated vsize (KiB) 3025440
[startup+1788.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5391
/proc/meminfo: memFree=21497808/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=3025440 CPUtime=1788.32 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 721125 0 0 0 178678 154 0 0 20 0 1 0 339901200 3098050560 748420 33554432000 4194304 8395647 140736159663328 140736159658456 6697804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 756360 748420 585 1026 0 755330 0
Current children cumulated CPU time (s) 1788.32
Current children cumulated vsize (KiB) 3025440
[startup+1790.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5391
/proc/meminfo: memFree=21496444/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=3025440 CPUtime=1789.92 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 721126 0 0 0 178838 154 0 0 20 0 1 0 339901200 3098050560 748421 33554432000 4194304 8395647 140736159663328 140736159658456 6697804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 756360 748421 585 1026 0 755330 0
Current children cumulated CPU time (s) 1789.92
Current children cumulated vsize (KiB) 3025440
[startup+1791.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5391
/proc/meminfo: memFree=21494956/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=3025440 CPUtime=1790.72 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 721126 0 0 0 178918 154 0 0 20 0 1 0 339901200 3098050560 748421 33554432000 4194304 8395647 140736159663328 140736159658456 6698047 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 756360 748421 585 1026 0 755330 0
Current children cumulated CPU time (s) 1790.72
Current children cumulated vsize (KiB) 3025440
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5391
/proc/meminfo: memFree=21492848/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=3023248 CPUtime=1791.52 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 721494 0 0 0 178998 154 0 0 20 0 1 0 339901200 3095805952 748331 33554432000 4194304 8395647 140736159663328 140736159659160 6345185 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 755812 748331 596 1026 0 754782 0
Current children cumulated CPU time (s) 1791.52
Current children cumulated vsize (KiB) 3023248
[startup+1792.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5391
/proc/meminfo: memFree=21492848/32873844 swapFree=7112/7112
[pid=5315] ppid=5313 vsize=2738988 CPUtime=1791.72 cores=1,3,5,7
/proc/5315/stat : 5315 (pbscip.linux.x8) R 5313 5315 2459 0 -1 4202496 721494 0 0 0 179016 156 0 0 20 0 1 0 339901200 2804723712 681196 33554432000 4194304 8395647 140736159663328 140736159659160 6345173 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5315/statm: 684747 681196 596 1026 0 683717 0
Current children cumulated CPU time (s) 1791.72
Current children cumulated vsize (KiB) 2738988
Child status: 0
Real time (s): 1792.14
CPU time (s): 1791.77
CPU user time (s): 1790.18
CPU system time (s): 1.58976
CPU usage (%): 99.9794
Max. virtual memory (cumulated for all children) (KiB): 3025440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.18
system time used= 1.58976
maximum resident set size= 2995156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 721502
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= 113
involuntary context switches= 1834
runsolver used 2.88456 second user time and 7.29389 second system time
The end