0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3486371-1307795159.opb>
5.39/5.40 c original problem has 41972 variables (41972 bin, 0 int, 0 impl, 0 cont) and 972388 constraints
5.39/5.40 c problem read
5.39/5.40 c No objective function, only one solution is needed.
5.39/5.40 c presolving settings loaded
8.19/8.21 c presolving:
9.59/9.64 c (round 1) 636 del vars, 12984 del conss, 0 add conss, 636 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 437232 impls, 1537 clqs
9.69/9.75 c (round 2) 636 del vars, 20328 del conss, 0 add conss, 636 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 437232 impls, 1537 clqs
13.49/13.53 c (round 3) 636 del vars, 20377 del conss, 0 add conss, 636 chg bounds, 7 chg sides, 0 chg coeffs, 952052 upgd conss, 437232 impls, 1537 clqs
14.39/14.44 c presolving (4 rounds):
14.39/14.44 c 636 deleted vars, 20377 deleted constraints, 0 added constraints, 636 tightened bounds, 0 added holes, 7 changed sides, 0 changed coefficients
14.39/14.44 c 437232 implications, 1537 cliques
14.39/14.44 c presolved problem has 41336 variables (41336 bin, 0 int, 0 impl, 0 cont) and 952011 constraints
14.39/14.44 c 97173 constraints of type <knapsack>
14.39/14.44 c 199333 constraints of type <setppc>
14.39/14.44 c 1 constraints of type <linear>
14.39/14.44 c 655504 constraints of type <logicor>
14.39/14.44 c transformed objective value is always integral (scale: 1)
14.39/14.44 c Presolving Time: 8.42
14.39/14.44 c - non default parameters ----------------------------------------------------------------------
14.39/14.44 c # SCIP version 2.0.1.4
14.39/14.44 c
14.39/14.44 c # frequency for displaying node information lines
14.39/14.44 c # [type: int, range: [-1,2147483647], default: 100]
14.39/14.44 c display/freq = 10000
14.39/14.44 c
14.39/14.44 c # maximal time in seconds to run
14.39/14.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.39/14.44 c limits/time = 1797
14.39/14.44 c
14.39/14.44 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
14.39/14.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.39/14.44 c limits/memory = 13950
14.39/14.44 c
14.39/14.44 c # solving stops, if the given number of solutions were found (-1: no limit)
14.39/14.44 c # [type: int, range: [-1,2147483647], default: -1]
14.39/14.44 c limits/solutions = 1
14.39/14.44 c
14.39/14.44 c # maximal number of separation rounds per node (-1: unlimited)
14.39/14.44 c # [type: int, range: [-1,2147483647], default: 5]
14.39/14.44 c separating/maxrounds = 1
14.39/14.44 c
14.39/14.44 c # maximal number of separation rounds in the root node (-1: unlimited)
14.39/14.44 c # [type: int, range: [-1,2147483647], default: -1]
14.39/14.44 c separating/maxroundsroot = 5
14.39/14.44 c
14.39/14.44 c # default clock type (1: CPU user seconds, 2: wall clock time)
14.39/14.44 c # [type: int, range: [1,2], default: 1]
14.39/14.44 c timing/clocktype = 2
14.39/14.44 c
14.39/14.44 c # belongs reading time to solving time?
14.39/14.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.39/14.44 c timing/reading = TRUE
14.39/14.44 c
14.39/14.44 c # should presolving try to simplify inequalities
14.39/14.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.39/14.44 c constraints/linear/simplifyinequalities = TRUE
14.39/14.44 c
14.39/14.44 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
14.39/14.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.39/14.44 c constraints/indicator/addCouplingCons = TRUE
14.39/14.44 c
14.39/14.44 c # should disaggregation of knapsack constraints be allowed in preprocessing?
14.39/14.44 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
14.39/14.44 c constraints/knapsack/disaggregation = FALSE
14.39/14.44 c
14.39/14.44 c # should presolving try to simplify knapsacks
14.39/14.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.39/14.44 c constraints/knapsack/simplifyinequalities = TRUE
14.39/14.44 c
14.39/14.44 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
14.39/14.44 c # [type: int, range: [-1,2147483647], default: -1]
14.39/14.44 c presolving/probing/maxrounds = 0
14.39/14.44 c
14.39/14.44 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
14.39/14.44 c # [type: int, range: [-1,2147483647], default: 10]
14.39/14.44 c heuristics/coefdiving/freq = -1
14.39/14.44 c
14.39/14.44 c # maximal fraction of diving LP iterations compared to node LP iterations
14.39/14.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.39/14.44 c heuristics/coefdiving/maxlpiterquot = 0.075
14.39/14.44 c
14.39/14.44 c # additional number of allowed LP iterations
14.39/14.44 c # [type: int, range: [0,2147483647], default: 1000]
14.39/14.44 c heuristics/coefdiving/maxlpiterofs = 1500
14.39/14.44 c
14.39/14.44 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
14.39/14.44 c # [type: int, range: [-1,2147483647], default: 30]
14.39/14.44 c heuristics/crossover/freq = -1
14.39/14.44 c
14.39/14.44 c # number of nodes added to the contingent of the total nodes
14.39/14.44 c # [type: longint, range: [0,9223372036854775807], default: 500]
14.39/14.44 c heuristics/crossover/nodesofs = 750
14.39/14.44 c
14.39/14.44 c # number of nodes without incumbent change that heuristic should wait
14.39/14.44 c # [type: longint, range: [0,9223372036854775807], default: 200]
14.39/14.44 c heuristics/crossover/nwaitingnodes = 100
14.39/14.44 c
14.39/14.44 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
14.39/14.44 c # [type: real, range: [0,1], default: 0.1]
14.39/14.44 c heuristics/crossover/nodesquot = 0.15
14.39/14.44 c
14.39/14.44 c # minimum percentage of integer variables that have to be fixed
14.39/14.44 c # [type: real, range: [0,1], default: 0.666]
14.39/14.45 c heuristics/crossover/minfixingrate = 0.5
14.39/14.45 c
14.39/14.45 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
14.39/14.45 c # [type: int, range: [-1,2147483647], default: 20]
14.39/14.45 c heuristics/feaspump/freq = -1
14.39/14.45 c
14.39/14.45 c # additional number of allowed LP iterations
14.39/14.45 c # [type: int, range: [0,2147483647], default: 1000]
14.39/14.45 c heuristics/feaspump/maxlpiterofs = 2000
14.39/14.45 c
14.39/14.45 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
14.39/14.45 c # [type: int, range: [-1,2147483647], default: 10]
14.39/14.45 c heuristics/fracdiving/freq = -1
14.39/14.45 c
14.39/14.45 c # maximal fraction of diving LP iterations compared to node LP iterations
14.39/14.45 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.39/14.45 c heuristics/fracdiving/maxlpiterquot = 0.075
14.39/14.45 c
14.39/14.45 c # additional number of allowed LP iterations
14.39/14.45 c # [type: int, range: [0,2147483647], default: 1000]
14.39/14.45 c heuristics/fracdiving/maxlpiterofs = 1500
14.39/14.45 c
14.39/14.45 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
14.39/14.45 c # [type: int, range: [-1,2147483647], default: 10]
14.39/14.45 c heuristics/guideddiving/freq = -1
14.39/14.45 c
14.39/14.45 c # maximal fraction of diving LP iterations compared to node LP iterations
14.39/14.45 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.39/14.45 c heuristics/guideddiving/maxlpiterquot = 0.075
14.39/14.45 c
14.39/14.45 c # additional number of allowed LP iterations
14.39/14.45 c # [type: int, range: [0,2147483647], default: 1000]
14.39/14.45 c heuristics/guideddiving/maxlpiterofs = 1500
14.39/14.45 c
14.39/14.45 c # maximal fraction of diving LP iterations compared to node LP iterations
14.39/14.45 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.39/14.45 c heuristics/intdiving/maxlpiterquot = 0.075
14.39/14.45 c
14.39/14.45 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
14.39/14.45 c # [type: int, range: [-1,2147483647], default: 10]
14.39/14.45 c heuristics/intshifting/freq = -1
14.39/14.45 c
14.39/14.45 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
14.39/14.45 c # [type: int, range: [-1,2147483647], default: 10]
14.39/14.45 c heuristics/linesearchdiving/freq = -1
14.39/14.45 c
14.39/14.45 c # maximal fraction of diving LP iterations compared to node LP iterations
14.39/14.45 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.39/14.45 c heuristics/linesearchdiving/maxlpiterquot = 0.075
14.39/14.45 c
14.39/14.45 c # additional number of allowed LP iterations
14.39/14.45 c # [type: int, range: [0,2147483647], default: 1000]
14.39/14.45 c heuristics/linesearchdiving/maxlpiterofs = 1500
14.39/14.45 c
14.39/14.45 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
14.39/14.45 c # [type: int, range: [-1,2147483647], default: 20]
14.39/14.45 c heuristics/objpscostdiving/freq = -1
14.39/14.45 c
14.39/14.45 c # maximal fraction of diving LP iterations compared to total iteration number
14.39/14.45 c # [type: real, range: [0,1], default: 0.01]
14.39/14.45 c heuristics/objpscostdiving/maxlpiterquot = 0.015
14.39/14.45 c
14.39/14.45 c # additional number of allowed LP iterations
14.39/14.45 c # [type: int, range: [0,2147483647], default: 1000]
14.39/14.45 c heuristics/objpscostdiving/maxlpiterofs = 1500
14.39/14.45 c
14.39/14.45 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
14.39/14.45 c # [type: int, range: [-1,2147483647], default: 1]
14.39/14.45 c heuristics/oneopt/freq = -1
14.39/14.45 c
14.39/14.45 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
14.39/14.45 c # [type: int, range: [-1,2147483647], default: 10]
14.39/14.45 c heuristics/pscostdiving/freq = -1
14.39/14.45 c
14.39/14.45 c # maximal fraction of diving LP iterations compared to node LP iterations
14.39/14.45 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.39/14.45 c heuristics/pscostdiving/maxlpiterquot = 0.075
14.39/14.45 c
14.39/14.45 c # additional number of allowed LP iterations
14.39/14.45 c # [type: int, range: [0,2147483647], default: 1000]
14.39/14.45 c heuristics/pscostdiving/maxlpiterofs = 1500
14.39/14.45 c
14.39/14.45 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
14.39/14.45 c # [type: int, range: [-1,2147483647], default: 0]
14.39/14.45 c heuristics/rens/freq = -1
14.39/14.45 c
14.39/14.45 c # minimum percentage of integer variables that have to be fixable
14.39/14.45 c # [type: real, range: [0,1], default: 0.5]
14.39/14.45 c heuristics/rens/minfixingrate = 0.3
14.39/14.45 c
14.39/14.45 c # number of nodes added to the contingent of the total nodes
14.39/14.45 c # [type: longint, range: [0,9223372036854775807], default: 500]
14.39/14.45 c heuristics/rens/nodesofs = 2000
14.39/14.45 c
14.39/14.45 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
14.39/14.45 c # [type: int, range: [-1,2147483647], default: 20]
14.39/14.45 c heuristics/rootsoldiving/freq = -1
14.39/14.45 c
14.39/14.45 c # maximal fraction of diving LP iterations compared to node LP iterations
14.39/14.45 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
14.39/14.45 c heuristics/rootsoldiving/maxlpiterquot = 0.015
14.39/14.45 c
14.39/14.45 c # additional number of allowed LP iterations
14.39/14.45 c # [type: int, range: [0,2147483647], default: 1000]
14.39/14.45 c heuristics/rootsoldiving/maxlpiterofs = 1500
14.39/14.45 c
14.39/14.45 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
14.39/14.45 c # [type: int, range: [-1,2147483647], default: 1]
14.39/14.45 c heuristics/rounding/freq = -1
14.39/14.45 c
14.39/14.45 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
14.39/14.45 c # [type: int, range: [-1,2147483647], default: 0]
14.39/14.45 c heuristics/shiftandpropagate/freq = -1
14.39/14.45 c
14.39/14.45 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
14.39/14.45 c # [type: int, range: [-1,2147483647], default: 10]
14.39/14.45 c heuristics/shifting/freq = -1
14.39/14.45 c
14.39/14.45 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
14.39/14.45 c # [type: int, range: [-1,2147483647], default: 1]
14.39/14.45 c heuristics/simplerounding/freq = -1
14.39/14.45 c
14.39/14.45 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
14.39/14.45 c # [type: int, range: [-1,2147483647], default: 1]
14.39/14.45 c heuristics/subnlp/freq = -1
14.39/14.45 c
14.39/14.45 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
14.39/14.45 c # [type: int, range: [-1,2147483647], default: 0]
14.39/14.45 c heuristics/trivial/freq = -1
14.39/14.45 c
14.39/14.45 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
14.39/14.45 c # [type: int, range: [-1,2147483647], default: 1]
14.39/14.45 c heuristics/trysol/freq = -1
14.39/14.45 c
14.39/14.45 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
14.39/14.45 c # [type: int, range: [-1,2147483647], default: 0]
14.39/14.45 c heuristics/undercover/freq = -1
14.39/14.45 c
14.39/14.45 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
14.39/14.45 c # [type: int, range: [-1,2147483647], default: 10]
14.39/14.45 c heuristics/veclendiving/freq = -1
14.39/14.45 c
14.39/14.45 c # maximal fraction of diving LP iterations compared to node LP iterations
14.39/14.45 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.39/14.45 c heuristics/veclendiving/maxlpiterquot = 0.075
14.39/14.45 c
14.39/14.45 c # additional number of allowed LP iterations
14.39/14.45 c # [type: int, range: [0,2147483647], default: 1000]
14.39/14.45 c heuristics/veclendiving/maxlpiterofs = 1500
14.39/14.45 c
14.39/14.45 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
14.39/14.45 c # [type: int, range: [-1,2147483647], default: 1]
14.39/14.45 c heuristics/zirounding/freq = -1
14.39/14.45 c
14.39/14.45 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
14.39/14.45 c # [type: int, range: [-1,2147483647], default: 0]
14.39/14.45 c separating/cmir/freq = -1
14.39/14.45 c
14.39/14.45 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
14.39/14.45 c # [type: int, range: [-1,2147483647], default: 0]
14.39/14.45 c separating/flowcover/freq = -1
14.39/14.45 c
14.39/14.45 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
14.39/14.45 c # [type: int, range: [-1,2147483647], default: -1]
14.39/14.45 c separating/rapidlearning/freq = 0
14.39/14.45 c
14.39/14.45 c -----------------------------------------------------------------------------------------------
14.39/14.45 c start solving
14.39/14.47 c
56.69/56.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.69/56.72 c 56.7s| 1 | 0 | 7735 | - |1342M| 0 | 645 | 41k| 952k| 41k| 952k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
83.29/83.39 c 83.4s| 1 | 0 | 10033 | - |1342M| 0 |2015 | 41k| 952k| 41k| 952k| 9 | 0 | 0 | 0.000000e+00 | -- | Inf
111.59/111.60 c 112s| 1 | 0 | 12742 | - |1342M| 0 |3984 | 41k| 952k| 41k| 952k| 24 | 0 | 0 | 0.000000e+00 | -- | Inf
161.70/161.77 c 162s| 1 | 0 | 18442 | - |1344M| 0 |6803 | 41k| 952k| 41k| 952k| 44 | 0 | 0 | 0.000000e+00 | -- | Inf
220.40/220.43 c 220s| 1 | 0 | 20935 | - |1345M| 0 |6881 | 41k| 952k| 41k| 952k| 64 | 0 | 0 | 0.000000e+00 | -- | Inf
277.10/277.17 c 277s| 1 | 0 | 24729 | - |1346M| 0 |8939 | 41k| 952k| 41k| 952k| 82 | 0 | 0 | 0.000000e+00 | -- | Inf
662.91/662.98 c 663s| 1 | 2 | 24729 | - |1346M| 0 |8939 | 41k| 952k| 41k| 952k| 82 | 0 | 32 | 0.000000e+00 | -- | Inf
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3486371-1307795159/watcher-3486371-1307795159 -o /tmp/evaluation-result-3486371-1307795159/solver-3486371-1307795159 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486371-1307795159.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/177 20356
/proc/meminfo: memFree=29225124/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=9840 CPUtime=0 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 1476 0 0 0 0 0 0 0 23 0 1 0 891118635 10076160 1430 33554432000 4194304 8979876 140735285381408 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20356/statm: 2499 1438 363 1169 0 1326 0
[startup+0.104471 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 20356
/proc/meminfo: memFree=29225124/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=18268 CPUtime=0.09 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 3573 0 0 0 9 0 0 0 24 0 1 0 891118635 18706432 3527 33554432000 4194304 8979876 140735285381408 18446744073709551615 7840529 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20356/statm: 4567 3527 363 1169 0 3394 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18268
[startup+0.200456 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 20356
/proc/meminfo: memFree=29225124/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=23628 CPUtime=0.19 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 4917 0 0 0 19 0 0 0 24 0 1 0 891118635 24195072 4871 33554432000 4194304 8979876 140735285381408 18446744073709551615 7807849 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20356/statm: 5907 4871 363 1169 0 4734 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 23628
[startup+0.300438 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 20356
/proc/meminfo: memFree=29225124/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=30460 CPUtime=0.29 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 6575 0 0 0 29 0 0 0 25 0 1 0 891118635 31191040 6529 33554432000 4194304 8979876 140735285381408 18446744073709551615 7836093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20356/statm: 7615 6529 363 1169 0 6442 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30460
[startup+0.700368 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 20356
/proc/meminfo: memFree=29225124/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=55048 CPUtime=0.69 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 12761 0 0 0 68 1 0 0 25 0 1 0 891118635 56369152 12715 33554432000 4194304 8979876 140735285381408 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20356/statm: 13762 12715 363 1169 0 12589 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55048
[startup+1.50023 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 20357
/proc/meminfo: memFree=29150736/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=104196 CPUtime=1.49 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 25048 0 0 0 146 3 0 0 25 0 1 0 891118635 106696704 25002 33554432000 4194304 8979876 140735285381408 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20356/statm: 26049 25002 363 1169 0 24876 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 104196
[startup+3.10094 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 20357
/proc/meminfo: memFree=29082660/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=200576 CPUtime=3.09 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 49114 0 0 0 304 5 0 0 25 0 1 0 891118635 205389824 49068 33554432000 4194304 8979876 140735285381408 18446744073709551615 6177099 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20356/statm: 50144 49068 363 1169 0 48971 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 200576
[startup+6.30039 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 20357
/proc/meminfo: memFree=28814948/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=812776 CPUtime=6.29 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 201235 0 0 0 606 23 0 0 25 0 1 0 891118635 832282624 201079 33554432000 4194304 8979876 140735285381408 18446744073709551615 7841099 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 203194 201079 448 1169 0 202021 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 812776
[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 20357
/proc/meminfo: memFree=27765356/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=1304340 CPUtime=12.69 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 447077 0 0 0 1216 53 0 0 25 0 1 0 891118635 1335644160 319348 33554432000 4194304 8979876 140735285381408 18446744073709551615 6778314 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 326085 319348 507 1169 0 324912 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1304340
[startup+25.501 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 20357
/proc/meminfo: memFree=26689744/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2673212 CPUtime=25.5 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 887131 0 0 0 2450 100 0 0 25 0 1 0 891118635 2737369088 624572 33554432000 4194304 8979876 140735285381408 18446744073709551615 7046392 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 668303 624572 1165 1169 0 667130 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 2673212
[startup+51.1005 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 20358
/proc/meminfo: memFree=26557044/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2802072 CPUtime=51.1 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 962093 0 0 0 5001 109 0 0 25 0 1 0 891118635 2869321728 649354 33554432000 4194304 8979876 140735285381408 18446744073709551615 7146128 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 700518 649354 868 1169 0 699345 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 2802072
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20359
/proc/meminfo: memFree=26537372/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2765448 CPUtime=102.3 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 1151952 0 0 0 10097 133 0 0 25 0 1 0 891118635 2831818752 643109 33554432000 4194304 8979876 140735285381408 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 691362 643109 1350 1169 0 690189 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 2765448
[startup+162.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 20361
/proc/meminfo: memFree=26402076/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2918732 CPUtime=162.29 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 1369124 0 0 0 16067 162 0 0 25 0 1 0 891118635 2988781568 663422 33554432000 4194304 8979876 140735285381408 18446744073709551615 6601192 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 729683 663422 1217 1169 0 728510 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 2918732
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20363
/proc/meminfo: memFree=26380892/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2825660 CPUtime=222.3 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 1407323 0 0 0 22061 169 0 0 25 0 1 0 891118635 2893475840 653870 33554432000 4194304 8979876 140735285381408 18446744073709551615 6888353 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 706415 653870 1085 1169 0 705242 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 2825660
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20364
/proc/meminfo: memFree=26386188/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2842380 CPUtime=282.3 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 1539031 0 0 0 28041 189 0 0 25 0 1 0 891118635 2910597120 629004 33554432000 4194304 8979876 140735285381408 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 710595 629004 1087 1169 0 709422 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 2842380
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20366
/proc/meminfo: memFree=26377844/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2842332 CPUtime=342.3 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 1787070 0 0 0 34008 222 0 0 25 0 1 0 891118635 2910547968 629395 33554432000 4194304 8979876 140735285381408 18446744073709551615 7031143 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 710583 629395 1087 1169 0 709410 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2842332
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20367
/proc/meminfo: memFree=26335756/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2842332 CPUtime=402.3 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 2053372 0 0 0 39971 259 0 0 25 0 1 0 891118635 2910547968 629395 33554432000 4194304 8979876 140735285381408 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 710583 629395 1087 1169 0 709410 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2842332
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20369
/proc/meminfo: memFree=26317104/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2860880 CPUtime=462.3 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 2270948 0 0 0 45941 289 0 0 25 0 1 0 891118635 2929541120 633528 33554432000 4194304 8979876 140735285381408 18446744073709551615 7146491 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 715220 633528 1087 1169 0 714047 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2860880
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20371
/proc/meminfo: memFree=26283096/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2842332 CPUtime=522.3 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 2496048 0 0 0 51906 324 0 0 25 0 1 0 891118635 2910547968 629395 33554432000 4194304 8979876 140735285381408 18446744073709551615 6883945 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 710583 629395 1087 1169 0 709410 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2842332
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20372
/proc/meminfo: memFree=26227004/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2842332 CPUtime=582.3 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 2770993 0 0 0 57869 361 0 0 25 0 1 0 891118635 2910547968 629396 33554432000 4194304 8979876 140735285381408 18446744073709551615 7122096 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 710583 629396 1087 1169 0 709410 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2842332
[startup+642.301 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20380
/proc/meminfo: memFree=25723244/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2908392 CPUtime=882.31 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 3442689 0 0 0 87768 463 0 0 25 0 1 0 891118635 2978193408 641116 33554432000 4194304 8979876 140735285381408 18446744073709551615 7146996 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 727098 641116 1092 1169 0 725925 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2908392
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20382
/proc/meminfo: memFree=25622268/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2909328 CPUtime=942.31 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 3494289 0 0 0 93759 472 0 0 25 0 1 0 891118635 2979151872 641241 33554432000 4194304 8979876 140735285381408 18446744073709551615 7147105 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 727332 641241 1092 1169 0 726159 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2909328
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20421
/proc/meminfo: memFree=28780600/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2911264 CPUtime=1002.31 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 3546856 0 0 0 99752 479 0 0 25 0 1 0 891118635 2981134336 641353 33554432000 4194304 8979876 140735285381408 18446744073709551615 7836194 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 727816 641353 1092 1169 0 726643 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2911264
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20423
/proc/meminfo: memFree=28777208/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2911392 CPUtime=1062.32 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 3600394 0 0 0 105744 488 0 0 25 0 1 0 891118635 2981265408 641316 33554432000 4194304 8979876 140735285381408 18446744073709551615 7836169 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 727848 641316 1092 1169 0 726675 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2911392
[startup+1122.3 s]
/proc/loadavg: 1.61 1.90 1.97 2/172 20449
/proc/meminfo: memFree=28987592/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2911392 CPUtime=1122.32 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 3647649 0 0 0 111736 496 0 0 25 0 1 0 891118635 2981265408 641443 33554432000 4194304 8979876 140735285381408 18446744073709551615 7146976 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 727848 641443 1092 1169 0 726675 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2911392
[startup+1182.3 s]
/proc/loadavg: 1.22 1.74 1.90 2/172 20450
/proc/meminfo: memFree=28988408/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2911392 CPUtime=1182.32 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 3706611 0 0 0 117727 505 0 0 25 0 1 0 891118635 2981265408 641236 33554432000 4194304 8979876 140735285381408 18446744073709551615 7836148 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 727848 641236 1092 1169 0 726675 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2911392
[startup+1242.3 s]
/proc/loadavg: 1.08 1.60 1.85 2/172 20452
/proc/meminfo: memFree=28972972/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2924952 CPUtime=1242.32 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 3856941 0 0 0 123705 527 0 0 25 0 1 0 891118635 2995150848 645331 33554432000 4194304 8979876 140735285381408 18446744073709551615 7193198 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 731238 645331 1283 1169 0 730065 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2924952
[startup+1302.3 s]
/proc/loadavg: 1.03 1.49 1.79 2/172 20453
/proc/meminfo: memFree=28989648/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2921504 CPUtime=1302.33 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 4104772 0 0 0 129669 564 0 0 25 0 1 0 891118635 2991620096 645055 33554432000 4194304 8979876 140735285381408 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 730376 645055 1283 1169 0 729203 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2921504
[startup+1362.3 s]
/proc/loadavg: 1.01 1.40 1.74 2/172 20455
/proc/meminfo: memFree=28971236/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2927152 CPUtime=1362.33 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 4355253 0 0 0 135632 601 0 0 25 0 1 0 891118635 2997403648 645714 33554432000 4194304 8979876 140735285381408 18446744073709551615 6829028 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 731788 645714 1283 1169 0 730615 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2927152
[startup+1422.3 s]
/proc/loadavg: 1.00 1.32 1.69 2/172 20457
/proc/meminfo: memFree=28988920/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2901088 CPUtime=1422.33 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 4585396 0 0 0 141595 638 0 0 25 0 1 0 891118635 2970714112 641313 33554432000 4194304 8979876 140735285381408 18446744073709551615 7146148 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 725272 641313 1283 1169 0 724099 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 2901088
[startup+1482.3 s]
/proc/loadavg: 1.00 1.26 1.64 2/172 20458
/proc/meminfo: memFree=28973240/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2923576 CPUtime=1482.33 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 4841480 0 0 0 147557 676 0 0 25 0 1 0 891118635 2993741824 645147 33554432000 4194304 8979876 140735285381408 18446744073709551615 7193336 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 730894 645147 1283 1169 0 729721 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 2923576
[startup+1542.31 s]
/proc/loadavg: 1.00 1.21 1.60 2/172 20460
/proc/meminfo: memFree=28977144/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2922928 CPUtime=1542.33 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 5111635 0 0 0 153515 718 0 0 25 0 1 0 891118635 2993078272 644239 33554432000 4194304 8979876 140735285381408 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 730732 644239 1283 1169 0 729559 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 2922928
[startup+1602.3 s]
/proc/loadavg: 1.00 1.17 1.56 2/172 20461
/proc/meminfo: memFree=28987876/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2901088 CPUtime=1602.33 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 5330237 0 0 0 159482 751 0 0 25 0 1 0 891118635 2970714112 641818 33554432000 4194304 8979876 140735285381408 18446744073709551615 6937197 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 725272 641818 1283 1169 0 724099 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2901088
[startup+1662.3 s]
/proc/loadavg: 1.00 1.14 1.52 2/172 20463
/proc/meminfo: memFree=28971936/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2926564 CPUtime=1662.33 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 5580631 0 0 0 165444 789 0 0 25 0 1 0 891118635 2996801536 645558 33554432000 4194304 8979876 140735285381408 18446744073709551615 7193346 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 731641 645558 1283 1169 0 730468 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2926564
[startup+1722.3 s]
/proc/loadavg: 1.00 1.11 1.49 2/172 20465
/proc/meminfo: memFree=28973240/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2923312 CPUtime=1722.33 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 5836811 0 0 0 171405 828 0 0 25 0 1 0 891118635 2993471488 645391 33554432000 4194304 8979876 140735285381408 18446744073709551615 6820793 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 730828 645391 1283 1169 0 729655 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 2923312
[startup+1782.3 s]
/proc/loadavg: 1.00 1.09 1.45 2/172 20466
/proc/meminfo: memFree=28987432/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2926184 CPUtime=1782.34 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 6068593 0 0 0 177371 863 0 0 25 0 1 0 891118635 2996412416 645594 33554432000 4194304 8979876 140735285381408 18446744073709551615 7146622 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 731546 645594 1283 1169 0 730373 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 2926184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.08 1.44 2/172 20467
/proc/meminfo: memFree=28969688/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2928408 CPUtime=1800.04 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 6134290 0 0 0 179132 872 0 0 25 0 1 0 891118635 2998689792 646144 33554432000 4194304 8979876 140735285381408 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 732102 646144 1283 1169 0 730929 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2928408
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 1.00 1.08 1.44 2/172 20467
/proc/meminfo: memFree=28969688/32951124 swapFree=67052812/67111528
[pid=20356] ppid=20354 vsize=2928408 CPUtime=1800.04 cores=1,3,5,7
/proc/20356/stat : 20356 (scip-2.0.1.4_2.) R 20354 20356 19591 0 -1 4202496 6134290 0 0 0 179132 872 0 0 25 0 1 0 891118635 2998689792 646144 33554432000 4194304 8979876 140735285381408 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20356/statm: 732102 646144 1283 1169 0 730929 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2928408
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.11
CPU time (s): 1800.15
CPU user time (s): 1791.32
CPU system time (s): 8.82366
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3043284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.32
system time used= 8.82366
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6134290
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= 6
involuntary context switches= 3859
runsolver used 2.6426 second user time and 6.41103 second system time
The end