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-3740150-1338732380.opb>
0.79/0.81 c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 123440 constraints
0.79/0.81 c problem read
0.79/0.81 c presolving settings loaded
1.09/1.12 c presolving:
4.59/4.61 c (round 1) 2290 del vars, 6185 del conss, 1557 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8604912 impls, 0 clqs
5.59/5.62 c (round 2) 5145 del vars, 16880 del conss, 4240 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8620092 impls, 0 clqs
5.79/5.84 c (round 3) 6084 del vars, 21378 del conss, 4668 chg bounds, 65 chg sides, 82 chg coeffs, 0 upgd conss, 8626572 impls, 0 clqs
5.89/5.97 c (round 4) 6442 del vars, 22981 del conss, 4877 chg bounds, 65 chg sides, 82 chg coeffs, 0 upgd conss, 8628285 impls, 0 clqs
5.99/6.04 c (round 5) 6618 del vars, 23751 del conss, 4960 chg bounds, 65 chg sides, 82 chg coeffs, 0 upgd conss, 8628857 impls, 0 clqs
5.99/6.08 c (round 6) 6624 del vars, 23872 del conss, 4964 chg bounds, 65 chg sides, 82 chg coeffs, 0 upgd conss, 8628895 impls, 0 clqs
366.19/366.35 c (365.5s) probing: 1000/30094 (3.3%) - 3 fixings, 0 aggregations, 6725943 implications, 0 bound changes
664.63/664.84 c (664.0s) probing: 2000/30094 (6.6%) - 3 fixings, 0 aggregations, 11181221 implications, 0 bound changes
665.13/665.30 c (664.5s) probing: 2002/30094 (6.7%) - 3 fixings, 0 aggregations, 11186486 implications, 0 bound changes
665.13/665.30 c (664.5s) probing aborted: 2000/2000 successive useless probings
665.13/665.30 c (round 7) 6631 del vars, 23884 del conss, 4968 chg bounds, 65 chg sides, 82 chg coeffs, 0 upgd conss, 43947885 impls, 0 clqs
665.63/665.86 c (round 8) 6631 del vars, 23889 del conss, 4968 chg bounds, 65 chg sides, 82 chg coeffs, 99551 upgd conss, 43947885 impls, 0 clqs
666.33/666.58 c (round 9) 6631 del vars, 23899 del conss, 4968 chg bounds, 109 chg sides, 411 chg coeffs, 99551 upgd conss, 43947885 impls, 0 clqs
711.22/711.49 c (710.7s) probing: 2202/30094 (7.3%) - 3 fixings, 0 aggregations, 11808016 implications, 0 bound changes
711.22/711.49 c (710.7s) probing aborted: 2000/2000 successive useless probings
711.22/711.49 c presolving (10 rounds):
711.22/711.49 c 6631 deleted vars, 23906 deleted constraints, 4968 tightened bounds, 0 added holes, 110 changed sides, 423 changed coefficients
711.22/711.49 c 45695339 implications, 0 cliques
711.22/711.49 c presolved problem has 30091 variables (30091 bin, 0 int, 0 impl, 0 cont) and 99562 constraints
711.22/711.49 c 1131 constraints of type <knapsack>
711.22/711.49 c 83559 constraints of type <setppc>
711.22/711.49 c 14872 constraints of type <logicor>
711.22/711.49 c transformed objective value is always integral (scale: 1)
711.22/711.49 c Presolving Time: 710.46
711.22/711.49 c - non default parameters ----------------------------------------------------------------------
711.22/711.49 c # SCIP version 1.2.1.3
711.22/711.49 c
711.22/711.49 c # frequency for displaying node information lines
711.22/711.49 c # [type: int, range: [-1,2147483647], default: 100]
711.22/711.49 c display/freq = 10000
711.22/711.49 c
711.22/711.49 c # maximal time in seconds to run
711.22/711.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
711.22/711.49 c limits/time = 1789.2
711.22/711.49 c
711.22/711.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
711.22/711.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
711.22/711.49 c limits/memory = 13950
711.22/711.49 c
711.22/711.49 c # default clock type (1: CPU user seconds, 2: wall clock time)
711.22/711.49 c # [type: int, range: [1,2], default: 1]
711.22/711.49 c timing/clocktype = 2
711.22/711.49 c
711.22/711.49 c # should presolving try to simplify inequalities
711.22/711.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
711.22/711.49 c constraints/linear/simplifyinequalities = TRUE
711.22/711.49 c
711.22/711.49 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
711.22/711.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
711.22/711.49 c constraints/indicator/addCouplingCons = TRUE
711.22/711.49 c
711.22/711.49 c # should presolving try to simplify knapsacks
711.22/711.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
711.22/711.49 c constraints/knapsack/simplifyinequalities = TRUE
711.22/711.49 c
711.22/711.49 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
711.22/711.49 c # [type: int, range: [-1,2147483647], default: -1]
711.22/711.49 c separating/rapidlearning/freq = 0
711.22/711.49 c
711.22/711.49 c -----------------------------------------------------------------------------------------------
711.22/711.49 c start solving
711.32/711.50 c
798.90/799.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
798.90/799.12 c 798s| 1 | 0 | 27964 | - |1368M| 0 | 341 | 30k| 99k| 30k| 99k| 0 | 0 | 0 | 6.400000e+01 | -- | Inf
1440.79/1441.18 c 1440s| 1 | 0 | 91753 | - |1373M| 0 |1229 | 30k| 99k| 30k| 99k| 26 | 0 | 0 | 6.400000e+01 | -- | Inf
1630.06/1630.40 c 1630s| 1 | 0 |115153 | - |1373M| 0 |1351 | 30k| 99k| 30k| 99k| 62 | 0 | 0 | 6.400000e+01 | -- | Inf
1789.74/1790.14 c 1789s| 1 | 0 |134105 | - |1373M| 0 | - | 30k| 99k| 30k| 99k| 86 | 0 | 0 | 6.400000e+01 | -- | Inf
1789.74/1790.18 c 1789s| 1 | 2 |134105 | - |1373M| 0 | - | 30k| 99k| 30k| 99k| 86 | 0 | 0 | 6.400000e+01 | -- | Inf
1789.74/1790.18 c
1789.74/1790.18 c SCIP Status : solving was interrupted [time limit reached]
1789.74/1790.18 c Solving Time (sec) : 1789.37
1789.74/1790.18 c Solving Nodes : 1
1789.74/1790.18 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.74/1790.18 c Dual Bound : +6.40000000000000e+01
1789.74/1790.18 c Gap : infinite
1789.74/1790.18 s UNKNOWN
1789.74/1790.18 c SCIP Status : solving was interrupted [time limit reached]
1789.74/1790.18 c Solving Time : 1789.37
1789.74/1790.18 c Original Problem :
1789.74/1790.18 c Problem name : HOME/instance-3740150-1338732380.opb
1789.74/1790.18 c Variables : 36722 (36722 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.74/1790.18 c Constraints : 123440 initial, 123440 maximal
1789.74/1790.18 c Presolved Problem :
1789.74/1790.18 c Problem name : t_HOME/instance-3740150-1338732380.opb
1789.74/1790.18 c Variables : 30091 (30091 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.74/1790.18 c Constraints : 99562 initial, 99562 maximal
1789.74/1790.18 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.74/1790.18 c trivial : 0.02 492 0 0 0 0 0 0 0
1789.74/1790.18 c dualfix : 0.03 60 0 0 0 0 0 0 0
1789.74/1790.18 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.74/1790.18 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.74/1790.18 c implics : 0.40 0 0 0 0 0 0 0 0
1789.74/1790.18 c probing : 703.87 3 0 0 0 0 0 0 0
1789.74/1790.18 c knapsack : 0.54 0 0 0 0 0 7 45 341
1789.74/1790.18 c setppc : 0.20 0 0 0 0 0 10 0 0
1789.74/1790.18 c linear : 5.13 4476 1600 0 4968 0 23889 65 82
1789.74/1790.18 c logicor : 0.03 0 0 0 0 0 0 0 0
1789.74/1790.18 c root node : - 0 - - 0 - - - -
1789.74/1790.18 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.74/1790.18 c integral : 0 0 0 0 0 0 0 0 0 0
1789.74/1790.18 c knapsack : 1131 3 5965 0 1 0 0 102 0 0
1789.74/1790.18 c setppc : 83559 3 5965 0 1 0 0 0 0 0
1789.74/1790.18 c logicor : 14872 3 5671 0 1 0 0 0 0 0
1789.74/1790.18 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.74/1790.18 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.74/1790.18 c integral : 0.00 0.00 0.00 0.00 0.00
1789.74/1790.18 c knapsack : 0.46 0.02 0.45 0.00 0.00
1789.74/1790.18 c setppc : 7.49 0.02 7.44 0.00 0.03
1789.74/1790.18 c logicor : 0.84 0.00 0.83 0.00 0.01
1789.74/1790.18 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.74/1790.18 c Propagators : Time Calls Cutoffs DomReds
1789.74/1790.18 c vbounds : 0.06 2 0 0
1789.74/1790.18 c rootredcost : 0.04 0 0 0
1789.74/1790.18 c pseudoobj : 0.04 2 0 0
1789.74/1790.18 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.74/1790.18 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.74/1790.18 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.74/1790.18 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.74/1790.18 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.74/1790.18 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.74/1790.18 c applied globally : - - - 0 0.0 - - -
1789.74/1790.18 c applied locally : - - - 0 0.0 - - -
1789.74/1790.18 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.74/1790.18 c cut pool : 0.00 2 - - 2 - (maximal pool size: 265)
1789.74/1790.18 c redcost : 0.00 3 0 0 0 0
1789.74/1790.18 c impliedbounds : 0.04 3 0 0 0 0
1789.74/1790.18 c intobj : 0.00 0 0 0 0 0
1789.74/1790.18 c cgmip : 0.00 0 0 0 0 0
1789.74/1790.18 c gomory : 8.95 3 0 0 1000 0
1789.74/1790.18 c strongcg : 7.59 3 0 0 1500 0
1789.74/1790.18 c cmir : 9.68 3 0 0 0 0
1789.74/1790.18 c flowcover : 15.95 3 0 0 83 0
1789.74/1790.18 c clique : 415.38 3 0 0 18 0
1789.74/1790.18 c zerohalf : 0.00 0 0 0 0 0
1789.74/1790.18 c mcf : 1.60 1 0 0 0 0
1789.74/1790.18 c rapidlearning : 0.00 0 0 0 0 0
1789.74/1790.18 c Pricers : Time Calls Vars
1789.74/1790.18 c problem variables: 0.00 0 0
1789.74/1790.18 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.74/1790.18 c relpscost : 0.00 0 0 0 0 0 0
1789.74/1790.18 c pscost : 0.00 0 0 0 0 0 0
1789.74/1790.18 c inference : 0.01 1 0 0 0 0 2
1789.74/1790.18 c mostinf : 0.00 0 0 0 0 0 0
1789.74/1790.18 c leastinf : 0.00 0 0 0 0 0 0
1789.74/1790.18 c fullstrong : 0.00 0 0 0 0 0 0
1789.74/1790.18 c allfullstrong : 0.00 0 0 0 0 0 0
1789.74/1790.18 c random : 0.00 0 0 0 0 0 0
1789.74/1790.18 c Primal Heuristics : Time Calls Found
1789.74/1790.18 c LP solutions : 0.00 - 0
1789.74/1790.18 c pseudo solutions : 0.00 - 0
1789.74/1790.18 c oneopt : 0.00 0 0
1789.74/1790.18 c trivial : 0.05 2 0
1789.74/1790.18 c simplerounding : 0.00 0 0
1789.74/1790.18 c zirounding : 0.00 0 0
1789.74/1790.18 c rounding : 0.01 3 0
1789.74/1790.18 c shifting : 0.04 3 0
1789.74/1790.18 c intshifting : 0.00 0 0
1789.74/1790.18 c twoopt : 0.00 0 0
1789.74/1790.18 c fixandinfer : 0.00 0 0
1789.74/1790.18 c feaspump : 40.73 1 0
1789.74/1790.18 c coefdiving : 0.00 0 0
1789.74/1790.18 c pscostdiving : 0.00 0 0
1789.74/1790.18 c fracdiving : 0.00 0 0
1789.74/1790.18 c veclendiving : 0.00 0 0
1789.74/1790.18 c intdiving : 0.00 0 0
1789.74/1790.18 c actconsdiving : 0.00 0 0
1789.74/1790.18 c objpscostdiving : 0.00 0 0
1789.74/1790.18 c rootsoldiving : 0.00 0 0
1789.74/1790.18 c linesearchdiving : 0.00 0 0
1789.74/1790.18 c guideddiving : 0.00 0 0
1789.74/1790.18 c octane : 0.00 0 0
1789.74/1790.18 c rens : 0.00 0 0
1789.74/1790.18 c rins : 0.00 0 0
1789.74/1790.18 c localbranching : 0.00 0 0
1789.74/1790.18 c mutation : 0.00 0 0
1789.74/1790.18 c crossover : 0.00 0 0
1789.74/1790.18 c dins : 0.00 0 0
1789.74/1790.18 c undercover : 0.00 0 0
1789.74/1790.18 c nlp : 0.00 0 0
1789.74/1790.18 c trysol : 0.00 0 0
1789.74/1790.18 c LP : Time Calls Iterations Iter/call Iter/sec
1789.74/1790.18 c primal LP : 0.00 0 0 0.00 -
1789.74/1790.18 c dual LP : 578.25 4 98278 24569.50 169.96
1789.74/1790.18 c lex dual LP : 0.00 0 0 0.00 -
1789.74/1790.18 c barrier LP : 0.00 0 0 0.00 -
1789.74/1790.18 c diving/probing LP: 40.35 18 35827 1990.39 887.94
1789.74/1790.18 c strong branching : 0.00 0 0 0.00 -
1789.74/1790.18 c (at root node) : - 0 0 0.00 -
1789.74/1790.18 c conflict analysis: 0.00 0 0 0.00 -
1789.74/1790.18 c B&B Tree :
1789.74/1790.18 c number of runs : 1
1789.74/1790.18 c nodes : 1
1789.74/1790.18 c nodes (total) : 1
1789.74/1790.18 c nodes left : 2
1789.74/1790.18 c max depth : 0
1789.74/1790.18 c max depth (total): 0
1789.74/1790.18 c backtracks : 0 (0.0%)
1789.74/1790.18 c delayed cutoffs : 0
1789.74/1790.18 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.74/1790.18 c avg switch length: 1.00
1789.74/1790.18 c switching time : 0.00
1789.74/1790.18 c Solution :
1789.74/1790.18 c Solutions found : 0 (0 improvements)
1789.74/1790.18 c Primal Bound : -
1789.74/1790.18 c Dual Bound : +6.40000000000000e+01
1789.74/1790.18 c Gap : infinite
1789.74/1790.18 c Root Dual Bound : +6.40000000000000e+01
1789.74/1790.18 c Root Iterations : 134105
1790.23/1790.61 c Time complete: 1790.25.
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-3740150-1338732380/watcher-3740150-1338732380 -o /tmp/evaluation-result-3740150-1338732380/solver-3740150-1338732380 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740150-1338732380.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.05 2.01 2.00 3/176 5017
/proc/meminfo: memFree=28146312/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=8944 CPUtime=0 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 1359 0 0 0 0 0 0 0 20 0 1 0 339363722 9158656 1305 33554432000 4194304 8395647 140733222974096 140733222969496 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 2236 1313 374 1026 0 1206 0
[startup+0.0964391 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 5017
/proc/meminfo: memFree=28146312/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=26208 CPUtime=0.09 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 5824 0 0 0 9 0 0 0 20 0 1 0 339363722 26836992 5770 33554432000 4194304 8395647 140733222974096 140733222969496 4423932 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 6552 5770 393 1026 0 5522 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26208
[startup+0.100353 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 5017
/proc/meminfo: memFree=28146312/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=27232 CPUtime=0.09 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 6082 0 0 0 9 0 0 0 20 0 1 0 339363722 27885568 6028 33554432000 4194304 8395647 140733222974096 140733222969496 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 6808 6028 393 1026 0 5778 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27232
[startup+0.300299 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 5017
/proc/meminfo: memFree=28146312/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=42748 CPUtime=0.29 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 9912 0 0 0 28 1 0 0 20 0 1 0 339363722 43773952 9858 33554432000 4194304 8395647 140733222974096 140733222969496 4423932 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 10687 9858 393 1026 0 9657 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42748
[startup+0.7003 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 5017
/proc/meminfo: memFree=28146312/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=73924 CPUtime=0.69 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 17675 0 0 0 67 2 0 0 20 0 1 0 339363722 75698176 17621 33554432000 4194304 8395647 140733222974096 140733222839304 7374096 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 18481 17621 393 1026 0 17451 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73924
[startup+1.50031 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 5018
/proc/meminfo: memFree=27977036/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=239924 CPUtime=1.49 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 58846 0 0 0 139 10 0 0 20 0 1 0 339363722 245682176 58438 33554432000 4194304 8395647 140733222974096 140733222969848 4247678 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 59981 58438 463 1026 0 58951 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 239924
[startup+3.10032 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 5018
/proc/meminfo: memFree=27852532/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=382444 CPUtime=3.09 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 94178 0 0 0 294 15 0 0 20 0 1 0 339363722 391622656 93770 33554432000 4194304 8395647 140733222974096 140733222969848 7385355 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 95611 93770 469 1026 0 94581 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 382444
[startup+6.30031 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 5018
/proc/meminfo: memFree=27696400/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=481484 CPUtime=6.29 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 117839 0 0 0 610 19 0 0 20 0 1 0 339363722 493039616 117323 33554432000 4194304 8395647 140733222974096 140733222969896 4995703 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 120371 117323 483 1026 0 119341 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 481484
[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 5018
/proc/meminfo: memFree=27620420/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=545636 CPUtime=12.69 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 132204 0 0 0 1248 21 0 0 20 0 1 0 339363722 558731264 131688 33554432000 4194304 8395647 140733222974096 140733222969960 6080328 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 136409 131688 483 1026 0 135379 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 545636
[startup+25.5003 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 5018
/proc/meminfo: memFree=27585560/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=582832 CPUtime=25.49 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 140627 0 0 0 2526 23 0 0 20 0 1 0 339363722 596819968 140111 33554432000 4194304 8395647 140733222974096 140733222969960 6080705 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 145708 140111 483 1026 0 144678 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 582832
[startup+51.1003 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 5018
/proc/meminfo: memFree=27500960/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=666840 CPUtime=51.08 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 161624 0 0 0 5082 26 0 0 20 0 1 0 339363722 682844160 161108 33554432000 4194304 8395647 140733222974096 140733222970168 6068911 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 166710 161108 483 1026 0 165680 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 666840
[startup+102.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 5018
/proc/meminfo: memFree=27333120/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=828064 CPUtime=102.28 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 202619 0 0 0 10196 32 0 0 20 0 1 0 339363722 847937536 202103 33554432000 4194304 8395647 140733222974096 140733222969960 6080379 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 207016 202103 483 1026 0 205986 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 828064
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 5018
/proc/meminfo: memFree=27123900/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=1040196 CPUtime=162.24 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 254400 0 0 0 16184 40 0 0 20 0 1 0 339363722 1065160704 253931 33554432000 4194304 8395647 140733222974096 140733222969960 4215703 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 260049 253931 483 1026 0 259019 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1040196
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5022
/proc/meminfo: memFree=27009568/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=1152632 CPUtime=222.22 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 282564 0 0 0 22177 45 0 0 20 0 1 0 339363722 1180295168 282456 33554432000 4194304 8395647 140733222974096 140733222970168 4705389 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 288158 282456 483 1026 0 287128 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1152632
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5022
/proc/meminfo: memFree=26908196/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=1251952 CPUtime=282.2 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 308027 0 0 0 28171 49 0 0 20 0 1 0 339363722 1281998848 307916 33554432000 4194304 8395647 140733222974096 140733222970168 5026587 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 312988 307916 483 1026 0 311958 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 1251952
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5022
/proc/meminfo: memFree=26821424/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=1338716 CPUtime=342.2 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 329436 0 0 0 34165 55 0 0 20 0 1 0 339363722 1370845184 329325 33554432000 4194304 8395647 140733222974096 140733222969960 4996048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 334679 329325 483 1026 0 333649 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1338716
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5022
/proc/meminfo: memFree=26752756/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=1408352 CPUtime=402.18 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 346872 0 0 0 40159 59 0 0 20 0 1 0 339363722 1442152448 346805 33554432000 4194304 8395647 140733222974096 140733222970168 4995709 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 352088 346805 489 1026 0 351058 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1408352
[startup+462.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 5022
/proc/meminfo: memFree=26688056/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=1470692 CPUtime=462.16 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 362328 0 0 0 46153 63 0 0 20 0 1 0 339363722 1505988608 362568 33554432000 4194304 8395647 140733222974096 140733222969960 6080705 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 367673 362568 489 1026 0 366643 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1470692
[startup+522.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 5023
/proc/meminfo: memFree=26629804/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=1529064 CPUtime=522.16 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 376760 0 0 0 52149 67 0 0 20 0 1 0 339363722 1565761536 377488 33554432000 4194304 8395647 140733222974096 140733222970168 4995703 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 382266 377488 489 1026 0 381236 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1529064
[startup+582.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 5023
/proc/meminfo: memFree=26569940/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=1585356 CPUtime=582.15 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 390962 0 0 0 58144 71 0 0 20 0 1 0 339363722 1623404544 391936 33554432000 4194304 8395647 140733222974096 140733222970168 5031115 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 396339 391936 489 1026 0 395309 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 1585356
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26252864/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=1904560 CPUtime=1062.05 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 459055 0 0 0 106105 100 0 0 20 0 1 0 339363722 1950269440 470344 33554432000 4194304 8395647 140733222974096 140733222969384 5792689 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 476140 470344 613 1026 0 475110 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 1904560
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5027
/proc/meminfo: memFree=26245036/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=1904560 CPUtime=1122.04 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 459057 0 0 0 112104 100 0 0 20 0 1 0 339363722 1950269440 472299 33554432000 4194304 8395647 140733222974096 140733222969384 5792692 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 476140 472299 613 1026 0 475110 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 1904560
[startup+1182.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 5028
/proc/meminfo: memFree=26238996/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=1904560 CPUtime=1182.03 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 459266 0 0 0 118103 100 0 0 20 0 1 0 339363722 1950269440 473777 33554432000 4194304 8395647 140733222974096 140733222969384 5794534 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 476140 473777 613 1026 0 475110 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 1904560
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5029
/proc/meminfo: memFree=26174456/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=1964992 CPUtime=1242.02 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 464216 0 0 0 124100 102 0 0 20 0 1 0 339363722 2012151808 490353 33554432000 4194304 8395647 140733222974096 140733222970312 5794576 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 491248 490353 613 1026 0 490218 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 1964992
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5029
/proc/meminfo: memFree=26038696/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=2107420 CPUtime=1302.02 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 469893 0 0 0 130094 108 0 0 20 0 1 0 339363722 2157998080 523662 33554432000 4194304 8395647 140733222974096 140733222969608 6701765 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 526855 523662 628 1026 0 525825 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 2107420
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5029
/proc/meminfo: memFree=26038572/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=2107420 CPUtime=1362 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 469906 0 0 0 136088 112 0 0 20 0 1 0 339363722 2157998080 523675 33554432000 4194304 8395647 140733222974096 140733222969224 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 526855 523675 628 1026 0 525825 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 2107420
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5032
/proc/meminfo: memFree=26039044/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=2107420 CPUtime=1422 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 469906 0 0 0 142083 117 0 0 20 0 1 0 339363722 2157998080 523675 33554432000 4194304 8395647 140733222974096 140733222969224 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 526855 523675 628 1026 0 525825 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 2107420
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5033
/proc/meminfo: memFree=26054452/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=2097156 CPUtime=1481.98 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 470953 0 0 0 148077 121 0 0 20 0 1 0 339363722 2147487744 519837 33554432000 4194304 8395647 140733222974096 140733222969656 6390506 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 524289 519837 628 1026 0 523259 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 2097156
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5071
/proc/meminfo: memFree=25769836/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=2097156 CPUtime=1541.97 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 470961 0 0 0 154073 124 0 0 20 0 1 0 339363722 2147487744 519845 33554432000 4194304 8395647 140733222974096 140733222969608 6697663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 524289 519845 628 1026 0 523259 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 2097156
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5071
/proc/meminfo: memFree=25542480/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=2107960 CPUtime=1601.96 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 474703 0 0 0 160068 128 0 0 20 0 1 0 339363722 2158551040 524096 33554432000 4194304 8395647 140733222974096 140733222969656 6698034 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 526990 524096 628 1026 0 525960 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 2107960
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 5071
/proc/meminfo: memFree=25335344/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=2100100 CPUtime=1661.95 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 475319 0 0 0 166064 131 0 0 20 0 1 0 339363722 2150502400 520107 33554432000 4194304 8395647 140733222974096 140733222969224 6438939 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 525025 520107 628 1026 0 523995 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 2100100
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5072
/proc/meminfo: memFree=25253248/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=2100100 CPUtime=1721.95 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 475323 0 0 0 172060 135 0 0 20 0 1 0 339363722 2150502400 520111 33554432000 4194304 8395647 140733222974096 140733222969224 6693771 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 525025 520111 628 1026 0 523995 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 2100100
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5073
/proc/meminfo: memFree=25154720/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=2116568 CPUtime=1781.94 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 476775 0 0 0 178054 140 0 0 20 0 1 0 339363722 2167365632 524118 33554432000 4194304 8395647 140733222974096 140733222969224 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 529142 524118 628 1026 0 528112 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 2116568
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 5073
/proc/meminfo: memFree=25145668/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=2116568 CPUtime=1785.13 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 476777 0 0 0 178373 140 0 0 20 0 1 0 339363722 2167365632 524120 33554432000 4194304 8395647 140733222974096 140733222968504 6697804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 529142 524120 628 1026 0 528112 0
Current children cumulated CPU time (s) 1785.13
Current children cumulated vsize (KiB) 2116568
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5073
/proc/meminfo: memFree=25142444/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=2116568 CPUtime=1788.34 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 476777 0 0 0 178693 141 0 0 20 0 1 0 339363722 2167365632 524120 33554432000 4194304 8395647 140733222974096 140733222969656 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 529142 524120 628 1026 0 528112 0
Current children cumulated CPU time (s) 1788.34
Current children cumulated vsize (KiB) 2116568
[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5073
/proc/meminfo: memFree=25142444/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=2116568 CPUtime=1789.14 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 476777 0 0 0 178773 141 0 0 20 0 1 0 339363722 2167365632 524120 33554432000 4194304 8395647 140733222974096 140733222969224 7382116 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 529142 524120 628 1026 0 528112 0
Current children cumulated CPU time (s) 1789.14
Current children cumulated vsize (KiB) 2116568
[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5073
/proc/meminfo: memFree=25141328/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=1936124 CPUtime=1789.94 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 476783 0 0 0 178852 142 0 0 20 0 1 0 339363722 1982590976 481413 33554432000 4194304 8395647 140733222974096 140733222969224 6151240 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 484031 481413 634 1026 0 483001 0
Current children cumulated CPU time (s) 1789.94
Current children cumulated vsize (KiB) 1936124
[startup+1790.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5073
/proc/meminfo: memFree=25141328/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=1936124 CPUtime=1790.14 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 476785 0 0 0 178872 142 0 0 20 0 1 0 339363722 1982590976 481415 33554432000 4194304 8395647 140733222974096 140733222973256 6066693 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 484031 481415 636 1026 0 483001 0
Current children cumulated CPU time (s) 1790.14
Current children cumulated vsize (KiB) 1936124
[startup+1790.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5073
/proc/meminfo: memFree=25141328/32873844 swapFree=7112/7112
[pid=5017] ppid=5015 vsize=1856952 CPUtime=1790.23 cores=1,3,5,7
/proc/5017/stat : 5017 (pbscip.linux.x8) R 5015 5017 2459 0 -1 4202496 476785 0 0 0 178881 142 0 0 20 0 1 0 339363722 1901518848 463288 33554432000 4194304 8395647 140733222974096 140733222973256 7435351 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5017/statm: 464238 463288 636 1026 0 463208 0
Current children cumulated CPU time (s) 1790.23
Current children cumulated vsize (KiB) 1856952
Child status: 0
Real time (s): 1790.62
CPU time (s): 1790.26
CPU user time (s): 1788.82
CPU system time (s): 1.43778
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 2119848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.82
system time used= 1.43778
maximum resident set size= 2104012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 476791
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= 105
involuntary context switches= 1849
runsolver used 2.88856 second user time and 8.50271 second system time
The end