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-3486373-1307795290.opb>
5.40/5.43 c original problem has 42085 variables (42085 bin, 0 int, 0 impl, 0 cont) and 974087 constraints
5.40/5.43 c problem read
5.40/5.43 c No objective function, only one solution is needed.
5.40/5.43 c presolving settings loaded
8.19/8.26 c presolving:
9.59/9.67 c (round 1) 316 del vars, 5484 del conss, 0 add conss, 316 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 437338 impls, 1540 clqs
9.69/9.77 c (round 2) 316 del vars, 9132 del conss, 0 add conss, 316 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 437338 impls, 1540 clqs
13.50/13.59 c (round 3) 316 del vars, 9169 del conss, 0 add conss, 316 chg bounds, 15 chg sides, 0 chg coeffs, 964939 upgd conss, 437338 impls, 1540 clqs
14.49/14.51 c presolving (4 rounds):
14.49/14.51 c 316 deleted vars, 9169 deleted constraints, 0 added constraints, 316 tightened bounds, 0 added holes, 15 changed sides, 0 changed coefficients
14.49/14.51 c 437338 implications, 1540 cliques
14.49/14.51 c presolved problem has 41769 variables (41769 bin, 0 int, 0 impl, 0 cont) and 964918 constraints
14.49/14.51 c 97301 constraints of type <knapsack>
14.49/14.51 c 203104 constraints of type <setppc>
14.49/14.51 c 1 constraints of type <linear>
14.49/14.51 c 664512 constraints of type <logicor>
14.49/14.51 c transformed objective value is always integral (scale: 1)
14.49/14.51 c Presolving Time: 8.45
14.49/14.51 c - non default parameters ----------------------------------------------------------------------
14.49/14.51 c # SCIP version 2.0.1.4
14.49/14.51 c
14.49/14.51 c # frequency for displaying node information lines
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 100]
14.49/14.51 c display/freq = 10000
14.49/14.51 c
14.49/14.51 c # maximal time in seconds to run
14.49/14.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.49/14.51 c limits/time = 1797
14.49/14.51 c
14.49/14.51 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
14.49/14.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.49/14.51 c limits/memory = 13950
14.49/14.51 c
14.49/14.51 c # solving stops, if the given number of solutions were found (-1: no limit)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: -1]
14.49/14.51 c limits/solutions = 1
14.49/14.51 c
14.49/14.51 c # maximal number of separation rounds per node (-1: unlimited)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 5]
14.49/14.51 c separating/maxrounds = 1
14.49/14.51 c
14.49/14.51 c # maximal number of separation rounds in the root node (-1: unlimited)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: -1]
14.49/14.51 c separating/maxroundsroot = 5
14.49/14.51 c
14.49/14.51 c # default clock type (1: CPU user seconds, 2: wall clock time)
14.49/14.51 c # [type: int, range: [1,2], default: 1]
14.49/14.51 c timing/clocktype = 2
14.49/14.51 c
14.49/14.51 c # belongs reading time to solving time?
14.49/14.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.49/14.51 c timing/reading = TRUE
14.49/14.51 c
14.49/14.51 c # should presolving try to simplify inequalities
14.49/14.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.49/14.51 c constraints/linear/simplifyinequalities = TRUE
14.49/14.51 c
14.49/14.51 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
14.49/14.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.49/14.51 c constraints/indicator/addCouplingCons = TRUE
14.49/14.51 c
14.49/14.51 c # should disaggregation of knapsack constraints be allowed in preprocessing?
14.49/14.51 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
14.49/14.51 c constraints/knapsack/disaggregation = FALSE
14.49/14.51 c
14.49/14.51 c # should presolving try to simplify knapsacks
14.49/14.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.49/14.51 c constraints/knapsack/simplifyinequalities = TRUE
14.49/14.51 c
14.49/14.51 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: -1]
14.49/14.51 c presolving/probing/maxrounds = 0
14.49/14.51 c
14.49/14.51 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 10]
14.49/14.51 c heuristics/coefdiving/freq = -1
14.49/14.51 c
14.49/14.51 c # maximal fraction of diving LP iterations compared to node LP iterations
14.49/14.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.49/14.51 c heuristics/coefdiving/maxlpiterquot = 0.075
14.49/14.51 c
14.49/14.51 c # additional number of allowed LP iterations
14.49/14.51 c # [type: int, range: [0,2147483647], default: 1000]
14.49/14.51 c heuristics/coefdiving/maxlpiterofs = 1500
14.49/14.51 c
14.49/14.51 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 30]
14.49/14.51 c heuristics/crossover/freq = -1
14.49/14.51 c
14.49/14.51 c # number of nodes added to the contingent of the total nodes
14.49/14.51 c # [type: longint, range: [0,9223372036854775807], default: 500]
14.49/14.51 c heuristics/crossover/nodesofs = 750
14.49/14.51 c
14.49/14.51 c # number of nodes without incumbent change that heuristic should wait
14.49/14.51 c # [type: longint, range: [0,9223372036854775807], default: 200]
14.49/14.51 c heuristics/crossover/nwaitingnodes = 100
14.49/14.51 c
14.49/14.51 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
14.49/14.51 c # [type: real, range: [0,1], default: 0.1]
14.49/14.51 c heuristics/crossover/nodesquot = 0.15
14.49/14.51 c
14.49/14.51 c # minimum percentage of integer variables that have to be fixed
14.49/14.51 c # [type: real, range: [0,1], default: 0.666]
14.49/14.51 c heuristics/crossover/minfixingrate = 0.5
14.49/14.51 c
14.49/14.51 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 20]
14.49/14.51 c heuristics/feaspump/freq = -1
14.49/14.51 c
14.49/14.51 c # additional number of allowed LP iterations
14.49/14.51 c # [type: int, range: [0,2147483647], default: 1000]
14.49/14.51 c heuristics/feaspump/maxlpiterofs = 2000
14.49/14.51 c
14.49/14.51 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 10]
14.49/14.51 c heuristics/fracdiving/freq = -1
14.49/14.51 c
14.49/14.51 c # maximal fraction of diving LP iterations compared to node LP iterations
14.49/14.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.49/14.51 c heuristics/fracdiving/maxlpiterquot = 0.075
14.49/14.51 c
14.49/14.51 c # additional number of allowed LP iterations
14.49/14.51 c # [type: int, range: [0,2147483647], default: 1000]
14.49/14.51 c heuristics/fracdiving/maxlpiterofs = 1500
14.49/14.51 c
14.49/14.51 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 10]
14.49/14.51 c heuristics/guideddiving/freq = -1
14.49/14.51 c
14.49/14.51 c # maximal fraction of diving LP iterations compared to node LP iterations
14.49/14.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.49/14.51 c heuristics/guideddiving/maxlpiterquot = 0.075
14.49/14.51 c
14.49/14.51 c # additional number of allowed LP iterations
14.49/14.51 c # [type: int, range: [0,2147483647], default: 1000]
14.49/14.51 c heuristics/guideddiving/maxlpiterofs = 1500
14.49/14.51 c
14.49/14.51 c # maximal fraction of diving LP iterations compared to node LP iterations
14.49/14.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.49/14.51 c heuristics/intdiving/maxlpiterquot = 0.075
14.49/14.51 c
14.49/14.51 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 10]
14.49/14.51 c heuristics/intshifting/freq = -1
14.49/14.51 c
14.49/14.51 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 10]
14.49/14.51 c heuristics/linesearchdiving/freq = -1
14.49/14.51 c
14.49/14.51 c # maximal fraction of diving LP iterations compared to node LP iterations
14.49/14.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.49/14.51 c heuristics/linesearchdiving/maxlpiterquot = 0.075
14.49/14.51 c
14.49/14.51 c # additional number of allowed LP iterations
14.49/14.51 c # [type: int, range: [0,2147483647], default: 1000]
14.49/14.51 c heuristics/linesearchdiving/maxlpiterofs = 1500
14.49/14.51 c
14.49/14.51 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 20]
14.49/14.51 c heuristics/objpscostdiving/freq = -1
14.49/14.51 c
14.49/14.51 c # maximal fraction of diving LP iterations compared to total iteration number
14.49/14.51 c # [type: real, range: [0,1], default: 0.01]
14.49/14.51 c heuristics/objpscostdiving/maxlpiterquot = 0.015
14.49/14.51 c
14.49/14.51 c # additional number of allowed LP iterations
14.49/14.51 c # [type: int, range: [0,2147483647], default: 1000]
14.49/14.51 c heuristics/objpscostdiving/maxlpiterofs = 1500
14.49/14.51 c
14.49/14.51 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 1]
14.49/14.51 c heuristics/oneopt/freq = -1
14.49/14.51 c
14.49/14.51 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 10]
14.49/14.51 c heuristics/pscostdiving/freq = -1
14.49/14.51 c
14.49/14.51 c # maximal fraction of diving LP iterations compared to node LP iterations
14.49/14.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.49/14.51 c heuristics/pscostdiving/maxlpiterquot = 0.075
14.49/14.51 c
14.49/14.51 c # additional number of allowed LP iterations
14.49/14.51 c # [type: int, range: [0,2147483647], default: 1000]
14.49/14.51 c heuristics/pscostdiving/maxlpiterofs = 1500
14.49/14.51 c
14.49/14.51 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 0]
14.49/14.51 c heuristics/rens/freq = -1
14.49/14.51 c
14.49/14.51 c # minimum percentage of integer variables that have to be fixable
14.49/14.51 c # [type: real, range: [0,1], default: 0.5]
14.49/14.51 c heuristics/rens/minfixingrate = 0.3
14.49/14.51 c
14.49/14.51 c # number of nodes added to the contingent of the total nodes
14.49/14.51 c # [type: longint, range: [0,9223372036854775807], default: 500]
14.49/14.51 c heuristics/rens/nodesofs = 2000
14.49/14.51 c
14.49/14.51 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 20]
14.49/14.51 c heuristics/rootsoldiving/freq = -1
14.49/14.51 c
14.49/14.51 c # maximal fraction of diving LP iterations compared to node LP iterations
14.49/14.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
14.49/14.51 c heuristics/rootsoldiving/maxlpiterquot = 0.015
14.49/14.51 c
14.49/14.51 c # additional number of allowed LP iterations
14.49/14.51 c # [type: int, range: [0,2147483647], default: 1000]
14.49/14.51 c heuristics/rootsoldiving/maxlpiterofs = 1500
14.49/14.51 c
14.49/14.51 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 1]
14.49/14.51 c heuristics/rounding/freq = -1
14.49/14.51 c
14.49/14.51 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 0]
14.49/14.51 c heuristics/shiftandpropagate/freq = -1
14.49/14.51 c
14.49/14.51 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 10]
14.49/14.51 c heuristics/shifting/freq = -1
14.49/14.51 c
14.49/14.51 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 1]
14.49/14.51 c heuristics/simplerounding/freq = -1
14.49/14.51 c
14.49/14.51 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 1]
14.49/14.51 c heuristics/subnlp/freq = -1
14.49/14.51 c
14.49/14.51 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 0]
14.49/14.51 c heuristics/trivial/freq = -1
14.49/14.51 c
14.49/14.51 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 1]
14.49/14.51 c heuristics/trysol/freq = -1
14.49/14.51 c
14.49/14.51 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 0]
14.49/14.51 c heuristics/undercover/freq = -1
14.49/14.51 c
14.49/14.51 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 10]
14.49/14.51 c heuristics/veclendiving/freq = -1
14.49/14.51 c
14.49/14.51 c # maximal fraction of diving LP iterations compared to node LP iterations
14.49/14.51 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.49/14.51 c heuristics/veclendiving/maxlpiterquot = 0.075
14.49/14.51 c
14.49/14.51 c # additional number of allowed LP iterations
14.49/14.51 c # [type: int, range: [0,2147483647], default: 1000]
14.49/14.51 c heuristics/veclendiving/maxlpiterofs = 1500
14.49/14.51 c
14.49/14.51 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 1]
14.49/14.51 c heuristics/zirounding/freq = -1
14.49/14.51 c
14.49/14.51 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 0]
14.49/14.51 c separating/cmir/freq = -1
14.49/14.51 c
14.49/14.51 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: 0]
14.49/14.51 c separating/flowcover/freq = -1
14.49/14.51 c
14.49/14.51 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
14.49/14.51 c # [type: int, range: [-1,2147483647], default: -1]
14.49/14.51 c separating/rapidlearning/freq = 0
14.49/14.51 c
14.49/14.51 c -----------------------------------------------------------------------------------------------
14.49/14.51 c start solving
14.49/14.54 c
75.00/75.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.00/75.06 c 75.1s| 1 | 0 | 10004 | - |1353M| 0 |1079 | 41k| 964k| 41k| 964k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
168.20/168.30 c 168s| 1 | 0 | 20185 | - |1354M| 0 |4908 | 41k| 964k| 41k| 964k| 12 | 0 | 0 | 0.000000e+00 | -- | Inf
244.00/244.03 c 244s| 1 | 0 | 26639 | - |1355M| 0 |8224 | 41k| 964k| 41k| 964k| 55 | 0 | 0 | 0.000000e+00 | -- | Inf
515.92/515.91 c 516s| 1 | 0 | 41366 | - |1356M| 0 |8852 | 41k| 964k| 41k| 965k| 119 | 0 | 0 | 0.000000e+00 | -- | Inf
712.62/712.64 c 713s| 1 | 0 | 53377 | - |1357M| 0 | 11k| 41k| 964k| 41k| 965k| 220 | 0 | 0 | 0.000000e+00 | -- | Inf
1299.93/1299.94 c 1300s| 1 | 0 | 75349 | - |1359M| 0 | 12k| 41k| 964k| 41k| 965k| 322 | 0 | 0 | 0.000000e+00 | -- | Inf
1551.74/1551.74 c 1552s| 1 | 2 | 75349 | - |1359M| 0 | 12k| 41k| 964k| 41k| 965k| 322 | 0 | 22 | 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-3486373-1307795290/watcher-3486373-1307795290 -o /tmp/evaluation-result-3486373-1307795290/solver-3486373-1307795290 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486373-1307795290.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.00 2.01 2.00 2/177 14191
/proc/meminfo: memFree=28978868/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=9840 CPUtime=0 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 1474 0 0 0 0 0 0 0 23 0 1 0 969759814 10076160 1429 33554432000 4194304 8979876 140734425496080 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14191/statm: 2460 1429 363 1169 0 1287 0
[startup+0.0634951 s]
/proc/loadavg: 2.00 2.01 2.00 2/177 14191
/proc/meminfo: memFree=28978868/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=15368 CPUtime=0.06 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 2845 0 0 0 6 0 0 0 23 0 1 0 969759814 15736832 2800 33554432000 4194304 8979876 140734425496080 18446744073709551615 7820603 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14191/statm: 3842 2800 363 1169 0 2669 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15368
[startup+0.100476 s]
/proc/loadavg: 2.00 2.01 2.00 2/177 14191
/proc/meminfo: memFree=28978868/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=17256 CPUtime=0.09 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 3325 0 0 0 9 0 0 0 23 0 1 0 969759814 17670144 3280 33554432000 4194304 8979876 140734425496080 18446744073709551615 7713763 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14191/statm: 4314 3280 363 1169 0 3141 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17256
[startup+0.300444 s]
/proc/loadavg: 2.00 2.01 2.00 2/177 14191
/proc/meminfo: memFree=28978868/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=30256 CPUtime=0.29 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 6575 0 0 0 29 0 0 0 25 0 1 0 969759814 30982144 6530 33554432000 4194304 8979876 140734425496080 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14191/statm: 7564 6530 363 1169 0 6391 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30256
[startup+0.700369 s]
/proc/loadavg: 2.00 2.01 2.00 2/177 14191
/proc/meminfo: memFree=28978868/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=54928 CPUtime=0.69 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 12729 0 0 0 68 1 0 0 25 0 1 0 969759814 56246272 12684 33554432000 4194304 8979876 140734425496080 18446744073709551615 6177289 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14191/statm: 13732 12684 363 1169 0 12559 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54928
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 14192
/proc/meminfo: memFree=28911056/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=104020 CPUtime=1.49 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 25003 0 0 0 146 3 0 0 25 0 1 0 969759814 106516480 24958 33554432000 4194304 8979876 140734425496080 18446744073709551615 6176524 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14191/statm: 26005 24958 363 1169 0 24832 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 104020
[startup+3.10093 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 14192
/proc/meminfo: memFree=28841616/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=199568 CPUtime=3.09 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 48859 0 0 0 304 5 0 0 25 0 1 0 969759814 204357632 48814 33554432000 4194304 8979876 140734425496080 18446744073709551615 6176596 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/14191/statm: 49892 48814 363 1169 0 48719 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 199568
[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 14192
/proc/meminfo: memFree=28647672/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=805072 CPUtime=6.29 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 199162 0 0 0 605 24 0 0 25 0 1 0 969759814 824393728 198958 33554432000 4194304 8979876 140734425496080 18446744073709551615 4322183 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 201268 198958 448 1169 0 200095 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 805072
[startup+12.7012 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 14192
/proc/meminfo: memFree=27558972/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=1338908 CPUtime=12.7 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 448528 0 0 0 1216 54 0 0 25 0 1 0 969759814 1371041792 328174 33554432000 4194304 8979876 140734425496080 18446744073709551615 6778433 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 334727 328174 507 1169 0 333554 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 1338908
[startup+25.5008 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 14193
/proc/meminfo: memFree=26460820/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2695248 CPUtime=25.49 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 894425 0 0 0 2448 101 0 0 25 0 1 0 969759814 2759933952 628919 33554432000 4194304 8979876 140734425496080 18446744073709551615 7046373 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 673812 628919 742 1169 0 672639 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2695248
[startup+51.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14193
/proc/meminfo: memFree=26333384/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2846980 CPUtime=51.09 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 1011696 0 0 0 4994 115 0 0 25 0 1 0 969759814 2915307520 657790 33554432000 4194304 8979876 140734425496080 18446744073709551615 7179616 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 711745 657790 684 1169 0 710572 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2846980
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14195
/proc/meminfo: memFree=26327044/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2847080 CPUtime=102.3 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 1295097 0 0 0 10080 150 0 0 25 0 1 0 969759814 2915409920 662413 33554432000 4194304 8979876 140734425496080 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 711770 662413 816 1169 0 710597 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 2847080
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14196
/proc/meminfo: memFree=26169800/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=3045928 CPUtime=162.3 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 1511726 0 0 0 16048 182 0 0 25 0 1 0 969759814 3119030272 701893 33554432000 4194304 8979876 140734425496080 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 761482 701893 946 1169 0 760309 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 3045928
[startup+222.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 14198
/proc/meminfo: memFree=26342380/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2898680 CPUtime=222.29 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 1655153 0 0 0 22025 204 0 0 25 0 1 0 969759814 2968248320 659091 33554432000 4194304 8979876 140734425496080 18446744073709551615 7836189 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 724670 659091 1425 1169 0 723497 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 2898680
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 14199
/proc/meminfo: memFree=26299440/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2945832 CPUtime=282.3 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 1743078 0 0 0 28013 217 0 0 25 0 1 0 969759814 3016531968 669297 33554432000 4194304 8979876 140734425496080 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 736458 669297 805 1169 0 735285 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 2945832
[startup+342.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 14201
/proc/meminfo: memFree=26298044/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2956544 CPUtime=342.3 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 1878841 0 0 0 33993 237 0 0 25 0 1 0 969759814 3027501056 669651 33554432000 4194304 8979876 140734425496080 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 739136 669651 805 1169 0 737963 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2956544
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14242
/proc/meminfo: memFree=28654680/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2957060 CPUtime=402.3 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 1998298 0 0 0 39975 255 0 0 25 0 1 0 969759814 3028029440 669150 33554432000 4194304 8979876 140734425496080 18446744073709551615 7147072 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 739265 669150 805 1169 0 738092 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2957060
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14243
/proc/meminfo: memFree=28649356/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2959524 CPUtime=462.31 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 2054003 0 0 0 45967 264 0 0 25 0 1 0 969759814 3030552576 669042 33554432000 4194304 8979876 140734425496080 18446744073709551615 7089889 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 739881 669042 805 1169 0 738708 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2959524
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14245
/proc/meminfo: memFree=28649400/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2959524 CPUtime=522.31 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 2105148 0 0 0 51959 272 0 0 25 0 1 0 969759814 3030552576 668954 33554432000 4194304 8979876 140734425496080 18446744073709551615 7836189 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 739881 668954 805 1169 0 738708 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2959524
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14246
/proc/meminfo: memFree=28715840/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2946164 CPUtime=582.31 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 2250792 0 0 0 57940 291 0 0 25 0 1 0 969759814 3016871936 652462 33554432000 4194304 8979876 140734425496080 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 736541 652462 805 1169 0 735368 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2946164
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 14256
/proc/meminfo: memFree=28649812/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2987784 CPUtime=822.32 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 2706565 0 0 0 81874 358 0 0 25 0 1 0 969759814 3059490816 668652 33554432000 4194304 8979876 140734425496080 18446744073709551615 7146609 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 746946 668652 802 1169 0 745773 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 2987784
[startup+882.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 14257
/proc/meminfo: memFree=28648784/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2988440 CPUtime=882.32 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 2828351 0 0 0 87857 375 0 0 25 0 1 0 969759814 3060162560 668839 33554432000 4194304 8979876 140734425496080 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 747110 668839 802 1169 0 745937 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 2988440
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14259
/proc/meminfo: memFree=28648988/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2991520 CPUtime=942.32 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 2883767 0 0 0 93851 381 0 0 25 0 1 0 969759814 3063316480 668809 33554432000 4194304 8979876 140734425496080 18446744073709551615 7092998 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 747880 668809 802 1169 0 746707 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2991520
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14261
/proc/meminfo: memFree=28648696/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2992392 CPUtime=1002.33 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 2939963 0 0 0 99843 390 0 0 25 0 1 0 969759814 3064209408 668921 33554432000 4194304 8979876 140734425496080 18446744073709551615 7147101 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 748098 668921 802 1169 0 746925 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 2992392
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14262
/proc/meminfo: memFree=28648660/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2992984 CPUtime=1062.32 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 2996657 0 0 0 105835 397 0 0 25 0 1 0 969759814 3064815616 668841 33554432000 4194304 8979876 140734425496080 18446744073709551615 7147278 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 748246 668841 802 1169 0 747073 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2992984
[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 14264
/proc/meminfo: memFree=28645400/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2994616 CPUtime=1122.33 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 3047491 0 0 0 111827 406 0 0 25 0 1 0 969759814 3066486784 669045 33554432000 4194304 8979876 140734425496080 18446744073709551615 7147027 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 748654 669045 802 1169 0 747481 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2994616
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 14265
/proc/meminfo: memFree=28644616/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2994616 CPUtime=1182.33 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 3097476 0 0 0 117821 412 0 0 25 0 1 0 969759814 3066486784 669015 33554432000 4194304 8979876 140734425496080 18446744073709551615 7147101 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 748654 669015 802 1169 0 747481 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2994616
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14267
/proc/meminfo: memFree=28644460/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2994616 CPUtime=1242.33 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 3147098 0 0 0 123814 419 0 0 25 0 1 0 969759814 3066486784 669055 33554432000 4194304 8979876 140734425496080 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 748654 669055 802 1169 0 747481 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2994616
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14269
/proc/meminfo: memFree=28643316/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2994616 CPUtime=1302.33 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 3202293 0 0 0 129805 428 0 0 25 0 1 0 969759814 3066486784 668999 33554432000 4194304 8979876 140734425496080 18446744073709551615 7046392 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 748654 668999 804 1169 0 747481 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2994616
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14270
/proc/meminfo: memFree=28686548/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2948456 CPUtime=1362.33 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 3440960 0 0 0 135773 460 0 0 25 0 1 0 969759814 3019218944 658240 33554432000 4194304 8979876 140734425496080 18446744073709551615 7047812 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 737114 658240 804 1169 0 735941 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2948456
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14272
/proc/meminfo: memFree=28686516/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2948456 CPUtime=1422.35 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 3701179 0 0 0 141738 497 0 0 25 0 1 0 969759814 3019218944 658257 33554432000 4194304 8979876 140734425496080 18446744073709551615 6820793 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 737114 658257 804 1169 0 735941 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 2948456
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14273
/proc/meminfo: memFree=28686604/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2948456 CPUtime=1482.34 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 3951384 0 0 0 147703 531 0 0 25 0 1 0 969759814 3019218944 658647 33554432000 4194304 8979876 140734425496080 18446744073709551615 6829008 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 737114 658647 804 1169 0 735941 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 2948456
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14275
/proc/meminfo: memFree=28644288/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2990552 CPUtime=1542.34 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 4317258 0 0 0 153654 580 0 0 25 0 1 0 969759814 3062325248 668913 33554432000 4194304 8979876 140734425496080 18446744073709551615 6829008 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 747638 668913 804 1169 0 746465 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 2990552
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14277
/proc/meminfo: memFree=28642380/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2994616 CPUtime=1602.34 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 4523754 0 0 0 159624 610 0 0 25 0 1 0 969759814 3066486784 669169 33554432000 4194304 8979876 140734425496080 18446744073709551615 7146602 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 748654 669169 806 1169 0 747481 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2994616
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 14278
/proc/meminfo: memFree=28638116/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2996448 CPUtime=1662.34 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 4639572 0 0 0 165606 628 0 0 25 0 1 0 969759814 3068362752 669434 33554432000 4194304 8979876 140734425496080 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 749112 669434 806 1169 0 747939 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 2996448
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 14280
/proc/meminfo: memFree=28671812/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2957500 CPUtime=1722.35 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 4871059 0 0 0 171572 663 0 0 25 0 1 0 969759814 3028480000 659445 33554432000 4194304 8979876 140734425496080 18446744073709551615 7146279 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 739375 659445 806 1169 0 738202 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 2957500
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 14281
/proc/meminfo: memFree=28670912/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2957500 CPUtime=1782.35 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 5124468 0 0 0 177536 699 0 0 25 0 1 0 969759814 3028480000 659443 33554432000 4194304 8979876 140734425496080 18446744073709551615 7047812 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 739375 659443 806 1169 0 738202 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 2957500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 14282
/proc/meminfo: memFree=28670644/32950928 swapFree=67051096/67111528
[pid=14191] ppid=14189 vsize=2957500 CPUtime=1800.06 cores=1,3,5,7
/proc/14191/stat : 14191 (scip-2.0.1.4_2.) R 14189 14191 13131 0 -1 4202496 5191986 0 0 0 179297 709 0 0 25 0 1 0 969759814 3028480000 659429 33554432000 4194304 8979876 140734425496080 18446744073709551615 7146609 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14191/statm: 739375 659429 806 1169 0 738202 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2957500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.11
CPU time (s): 1800.17
CPU user time (s): 1792.97
CPU system time (s): 7.19191
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3091956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.97
system time used= 7.19191
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5191986
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= 7
involuntary context switches= 1418
runsolver used 2.80057 second user time and 6.50501 second system time
The end