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-3485801-1307751976.opb>
13.19/13.28 c original problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 2559501 constraints
13.19/13.28 c problem read
13.19/13.28 c No objective function, only one solution is needed.
13.19/13.28 c presolving settings loaded
22.39/22.47 c presolving:
36.69/36.75 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2559500 upgd conss, 4000 impls, 100 clqs
39.09/39.16 c presolving (2 rounds):
39.09/39.16 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 5041 changed coefficients
39.09/39.16 c 4000 implications, 100 cliques
39.09/39.16 c presolved problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 2559501 constraints
39.09/39.16 c 4950 constraints of type <knapsack>
39.09/39.16 c 2100 constraints of type <setppc>
39.09/39.16 c 1 constraints of type <linear>
39.09/39.16 c 2552450 constraints of type <logicor>
39.09/39.16 c transformed objective value is always integral (scale: 1)
39.09/39.16 c Presolving Time: 24.42
39.09/39.16 c - non default parameters ----------------------------------------------------------------------
39.09/39.16 c # SCIP version 2.0.1.4
39.09/39.16 c
39.09/39.16 c # frequency for displaying node information lines
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 100]
39.09/39.16 c display/freq = 10000
39.09/39.16 c
39.09/39.16 c # maximal time in seconds to run
39.09/39.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
39.09/39.16 c limits/time = 1797
39.09/39.16 c
39.09/39.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
39.09/39.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
39.09/39.16 c limits/memory = 13950
39.09/39.16 c
39.09/39.16 c # solving stops, if the given number of solutions were found (-1: no limit)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: -1]
39.09/39.16 c limits/solutions = 1
39.09/39.16 c
39.09/39.16 c # maximal number of separation rounds per node (-1: unlimited)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 5]
39.09/39.16 c separating/maxrounds = 1
39.09/39.16 c
39.09/39.16 c # maximal number of separation rounds in the root node (-1: unlimited)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: -1]
39.09/39.16 c separating/maxroundsroot = 5
39.09/39.16 c
39.09/39.16 c # default clock type (1: CPU user seconds, 2: wall clock time)
39.09/39.16 c # [type: int, range: [1,2], default: 1]
39.09/39.16 c timing/clocktype = 2
39.09/39.16 c
39.09/39.16 c # belongs reading time to solving time?
39.09/39.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
39.09/39.16 c timing/reading = TRUE
39.09/39.16 c
39.09/39.16 c # should presolving try to simplify inequalities
39.09/39.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
39.09/39.16 c constraints/linear/simplifyinequalities = TRUE
39.09/39.16 c
39.09/39.16 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
39.09/39.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
39.09/39.16 c constraints/indicator/addCouplingCons = TRUE
39.09/39.16 c
39.09/39.16 c # should disaggregation of knapsack constraints be allowed in preprocessing?
39.09/39.16 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
39.09/39.16 c constraints/knapsack/disaggregation = FALSE
39.09/39.16 c
39.09/39.16 c # should presolving try to simplify knapsacks
39.09/39.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
39.09/39.16 c constraints/knapsack/simplifyinequalities = TRUE
39.09/39.16 c
39.09/39.16 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: -1]
39.09/39.16 c presolving/probing/maxrounds = 0
39.09/39.16 c
39.09/39.16 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 10]
39.09/39.16 c heuristics/coefdiving/freq = -1
39.09/39.16 c
39.09/39.16 c # maximal fraction of diving LP iterations compared to node LP iterations
39.09/39.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
39.09/39.16 c heuristics/coefdiving/maxlpiterquot = 0.075
39.09/39.16 c
39.09/39.16 c # additional number of allowed LP iterations
39.09/39.16 c # [type: int, range: [0,2147483647], default: 1000]
39.09/39.16 c heuristics/coefdiving/maxlpiterofs = 1500
39.09/39.16 c
39.09/39.16 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 30]
39.09/39.16 c heuristics/crossover/freq = -1
39.09/39.16 c
39.09/39.16 c # number of nodes added to the contingent of the total nodes
39.09/39.16 c # [type: longint, range: [0,9223372036854775807], default: 500]
39.09/39.16 c heuristics/crossover/nodesofs = 750
39.09/39.16 c
39.09/39.16 c # number of nodes without incumbent change that heuristic should wait
39.09/39.16 c # [type: longint, range: [0,9223372036854775807], default: 200]
39.09/39.16 c heuristics/crossover/nwaitingnodes = 100
39.09/39.16 c
39.09/39.16 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
39.09/39.16 c # [type: real, range: [0,1], default: 0.1]
39.09/39.16 c heuristics/crossover/nodesquot = 0.15
39.09/39.16 c
39.09/39.16 c # minimum percentage of integer variables that have to be fixed
39.09/39.16 c # [type: real, range: [0,1], default: 0.666]
39.09/39.16 c heuristics/crossover/minfixingrate = 0.5
39.09/39.16 c
39.09/39.16 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 20]
39.09/39.16 c heuristics/feaspump/freq = -1
39.09/39.16 c
39.09/39.16 c # additional number of allowed LP iterations
39.09/39.16 c # [type: int, range: [0,2147483647], default: 1000]
39.09/39.16 c heuristics/feaspump/maxlpiterofs = 2000
39.09/39.16 c
39.09/39.16 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 10]
39.09/39.16 c heuristics/fracdiving/freq = -1
39.09/39.16 c
39.09/39.16 c # maximal fraction of diving LP iterations compared to node LP iterations
39.09/39.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
39.09/39.16 c heuristics/fracdiving/maxlpiterquot = 0.075
39.09/39.16 c
39.09/39.16 c # additional number of allowed LP iterations
39.09/39.16 c # [type: int, range: [0,2147483647], default: 1000]
39.09/39.16 c heuristics/fracdiving/maxlpiterofs = 1500
39.09/39.16 c
39.09/39.16 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 10]
39.09/39.16 c heuristics/guideddiving/freq = -1
39.09/39.16 c
39.09/39.16 c # maximal fraction of diving LP iterations compared to node LP iterations
39.09/39.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
39.09/39.16 c heuristics/guideddiving/maxlpiterquot = 0.075
39.09/39.16 c
39.09/39.16 c # additional number of allowed LP iterations
39.09/39.16 c # [type: int, range: [0,2147483647], default: 1000]
39.09/39.16 c heuristics/guideddiving/maxlpiterofs = 1500
39.09/39.16 c
39.09/39.16 c # maximal fraction of diving LP iterations compared to node LP iterations
39.09/39.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
39.09/39.16 c heuristics/intdiving/maxlpiterquot = 0.075
39.09/39.16 c
39.09/39.16 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 10]
39.09/39.16 c heuristics/intshifting/freq = -1
39.09/39.16 c
39.09/39.16 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 10]
39.09/39.16 c heuristics/linesearchdiving/freq = -1
39.09/39.16 c
39.09/39.16 c # maximal fraction of diving LP iterations compared to node LP iterations
39.09/39.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
39.09/39.16 c heuristics/linesearchdiving/maxlpiterquot = 0.075
39.09/39.16 c
39.09/39.16 c # additional number of allowed LP iterations
39.09/39.16 c # [type: int, range: [0,2147483647], default: 1000]
39.09/39.16 c heuristics/linesearchdiving/maxlpiterofs = 1500
39.09/39.16 c
39.09/39.16 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 20]
39.09/39.16 c heuristics/objpscostdiving/freq = -1
39.09/39.16 c
39.09/39.16 c # maximal fraction of diving LP iterations compared to total iteration number
39.09/39.16 c # [type: real, range: [0,1], default: 0.01]
39.09/39.16 c heuristics/objpscostdiving/maxlpiterquot = 0.015
39.09/39.16 c
39.09/39.16 c # additional number of allowed LP iterations
39.09/39.16 c # [type: int, range: [0,2147483647], default: 1000]
39.09/39.16 c heuristics/objpscostdiving/maxlpiterofs = 1500
39.09/39.16 c
39.09/39.16 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 1]
39.09/39.16 c heuristics/oneopt/freq = -1
39.09/39.16 c
39.09/39.16 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 10]
39.09/39.16 c heuristics/pscostdiving/freq = -1
39.09/39.16 c
39.09/39.16 c # maximal fraction of diving LP iterations compared to node LP iterations
39.09/39.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
39.09/39.16 c heuristics/pscostdiving/maxlpiterquot = 0.075
39.09/39.16 c
39.09/39.16 c # additional number of allowed LP iterations
39.09/39.16 c # [type: int, range: [0,2147483647], default: 1000]
39.09/39.16 c heuristics/pscostdiving/maxlpiterofs = 1500
39.09/39.16 c
39.09/39.16 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 0]
39.09/39.16 c heuristics/rens/freq = -1
39.09/39.16 c
39.09/39.16 c # minimum percentage of integer variables that have to be fixable
39.09/39.16 c # [type: real, range: [0,1], default: 0.5]
39.09/39.16 c heuristics/rens/minfixingrate = 0.3
39.09/39.16 c
39.09/39.16 c # number of nodes added to the contingent of the total nodes
39.09/39.16 c # [type: longint, range: [0,9223372036854775807], default: 500]
39.09/39.16 c heuristics/rens/nodesofs = 2000
39.09/39.16 c
39.09/39.16 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 20]
39.09/39.16 c heuristics/rootsoldiving/freq = -1
39.09/39.16 c
39.09/39.16 c # maximal fraction of diving LP iterations compared to node LP iterations
39.09/39.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
39.09/39.16 c heuristics/rootsoldiving/maxlpiterquot = 0.015
39.09/39.16 c
39.09/39.16 c # additional number of allowed LP iterations
39.09/39.16 c # [type: int, range: [0,2147483647], default: 1000]
39.09/39.16 c heuristics/rootsoldiving/maxlpiterofs = 1500
39.09/39.16 c
39.09/39.16 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 1]
39.09/39.16 c heuristics/rounding/freq = -1
39.09/39.16 c
39.09/39.16 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 0]
39.09/39.16 c heuristics/shiftandpropagate/freq = -1
39.09/39.16 c
39.09/39.16 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 10]
39.09/39.16 c heuristics/shifting/freq = -1
39.09/39.16 c
39.09/39.16 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 1]
39.09/39.16 c heuristics/simplerounding/freq = -1
39.09/39.16 c
39.09/39.16 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 1]
39.09/39.16 c heuristics/subnlp/freq = -1
39.09/39.16 c
39.09/39.16 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 0]
39.09/39.16 c heuristics/trivial/freq = -1
39.09/39.16 c
39.09/39.16 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 1]
39.09/39.16 c heuristics/trysol/freq = -1
39.09/39.16 c
39.09/39.16 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 0]
39.09/39.16 c heuristics/undercover/freq = -1
39.09/39.16 c
39.09/39.16 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 10]
39.09/39.16 c heuristics/veclendiving/freq = -1
39.09/39.16 c
39.09/39.16 c # maximal fraction of diving LP iterations compared to node LP iterations
39.09/39.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
39.09/39.16 c heuristics/veclendiving/maxlpiterquot = 0.075
39.09/39.16 c
39.09/39.16 c # additional number of allowed LP iterations
39.09/39.16 c # [type: int, range: [0,2147483647], default: 1000]
39.09/39.16 c heuristics/veclendiving/maxlpiterofs = 1500
39.09/39.16 c
39.09/39.16 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 1]
39.09/39.16 c heuristics/zirounding/freq = -1
39.09/39.16 c
39.09/39.16 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 0]
39.09/39.16 c separating/cmir/freq = -1
39.09/39.16 c
39.09/39.16 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: 0]
39.09/39.16 c separating/flowcover/freq = -1
39.09/39.16 c
39.09/39.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
39.09/39.16 c # [type: int, range: [-1,2147483647], default: -1]
39.09/39.16 c separating/rapidlearning/freq = 0
39.09/39.16 c
39.09/39.16 c -----------------------------------------------------------------------------------------------
39.09/39.16 c start solving
39.29/39.35 c
111.99/112.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.99/112.04 c 112s| 1 | 0 | 2206 | - |3016M| 0 | 204 |4500 |2559k|4500 |2559k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
197.40/197.44 c 197s| 1 | 0 | 3144 | - |3016M| 0 | 316 |4500 |2559k|4500 |2559k| 26 | 0 | 0 | 0.000000e+00 | -- | Inf
383.40/383.46 c 383s| 1 | 0 | 5337 | - |3016M| 0 | 620 |4500 |2559k|4500 |2559k| 51 | 0 | 0 | 0.000000e+00 | -- | Inf
614.00/614.02 c 614s| 1 | 0 | 8266 | - |3016M| 0 | 589 |4500 |2559k|4500 |2559k| 81 | 0 | 0 | 0.000000e+00 | -- | Inf
983.90/983.94 c 984s| 1 | 0 | 13179 | - |3016M| 0 | 555 |4500 |2559k|4500 |2559k| 101 | 0 | 0 | 0.000000e+00 | -- | Inf
1157.32/1157.31 c 1157s| 1 | 0 | 14739 | - |3016M| 0 | 456 |4500 |2559k|4500 |2559k| 129 | 0 | 0 | 0.000000e+00 | -- | Inf
1564.92/1564.94 c 1565s| 1 | 2 | 14739 | - |3016M| 0 | 456 |4500 |2559k|4500 |2559k| 129 | 0 | 17 | 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-3485801-1307751976/watcher-3485801-1307751976 -o /tmp/evaluation-result-3485801-1307751976/solver-3485801-1307751976 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485801-1307751976.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 1.97 1.67 2/177 21250
/proc/meminfo: memFree=30552256/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=10208 CPUtime=0 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 1536 0 0 0 0 0 0 0 24 0 1 0 965428514 10452992 1491 33554432000 4194304 8979876 140735190840864 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21250/statm: 2552 1491 363 1169 0 1379 0
[startup+0.029285 s]
/proc/loadavg: 2.00 1.97 1.67 2/177 21250
/proc/meminfo: memFree=30552256/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=14500 CPUtime=0.02 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 2560 0 0 0 2 0 0 0 24 0 1 0 965428514 14848000 2516 33554432000 4194304 8979876 140735190840864 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21250/statm: 3625 2543 363 1169 0 2452 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14500
[startup+0.100288 s]
/proc/loadavg: 2.00 1.97 1.67 2/177 21250
/proc/meminfo: memFree=30552256/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=19452 CPUtime=0.09 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 3872 0 0 0 9 0 0 0 24 0 1 0 965428514 19918848 3824 33554432000 4194304 8979876 140735190840864 18446744073709551615 5441810 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21250/statm: 4863 3824 363 1169 0 3690 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19452
[startup+0.300242 s]
/proc/loadavg: 2.00 1.97 1.67 2/177 21250
/proc/meminfo: memFree=30552256/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=29692 CPUtime=0.29 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 6424 0 0 0 29 0 0 0 25 0 1 0 965428514 30404608 6376 33554432000 4194304 8979876 140735190840864 18446744073709551615 7807857 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21250/statm: 7423 6376 363 1169 0 6250 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29692
[startup+0.700177 s]
/proc/loadavg: 2.00 1.97 1.67 2/177 21250
/proc/meminfo: memFree=30552256/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=53532 CPUtime=0.69 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 12349 0 0 0 68 1 0 0 25 0 1 0 965428514 54816768 12301 33554432000 4194304 8979876 140735190840864 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21250/statm: 13383 12301 363 1169 0 12210 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53532
[startup+1.50104 s]
/proc/loadavg: 2.00 1.97 1.68 3/178 21251
/proc/meminfo: memFree=30428024/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=99320 CPUtime=1.49 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 23764 0 0 0 147 2 0 0 25 0 1 0 965428514 101703680 23716 33554432000 4194304 8979876 140735190840864 18446744073709551615 7836093 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21250/statm: 24830 23716 363 1169 0 23657 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 99320
[startup+3.10078 s]
/proc/loadavg: 2.00 1.97 1.68 3/178 21251
/proc/meminfo: memFree=30319488/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=192344 CPUtime=3.09 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 46928 0 0 0 303 6 0 0 25 0 1 0 965428514 196960256 46880 33554432000 4194304 8979876 140735190840864 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21250/statm: 48086 46880 363 1169 0 46913 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 192344
[startup+6.30025 s]
/proc/loadavg: 2.08 1.99 1.68 3/178 21251
/proc/meminfo: memFree=29736140/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=376328 CPUtime=6.29 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 92679 0 0 0 616 13 0 0 25 0 1 0 965428514 385359872 92631 33554432000 4194304 8979876 140735190840864 18446744073709551615 7807869 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21250/statm: 94082 92631 363 1169 0 92909 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 376328
[startup+12.7012 s]
/proc/loadavg: 2.07 1.99 1.68 3/178 21251
/proc/meminfo: memFree=29351420/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=739692 CPUtime=12.69 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 183900 0 0 0 1244 25 0 0 25 0 1 0 965428514 757444608 183852 33554432000 4194304 8979876 140735190840864 18446744073709551615 7893696 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21250/statm: 184923 183852 363 1169 0 183750 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 739692
[startup+25.506 s]
/proc/loadavg: 2.06 1.99 1.69 3/178 21251
/proc/meminfo: memFree=27074620/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=3010320 CPUtime=25.5 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 916857 0 0 0 2439 111 0 0 25 0 1 0 965428514 3082567680 738065 33554432000 4194304 8979876 140735190840864 18446744073709551615 5267064 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 752580 738065 489 1169 0 751407 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 3010320
[startup+51.1008 s]
/proc/loadavg: 2.04 1.99 1.70 3/178 21253
/proc/meminfo: memFree=24247400/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=6217724 CPUtime=51.09 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 2025248 0 0 0 4874 235 0 0 25 0 1 0 965428514 6366949376 1444443 33554432000 4194304 8979876 140735190840864 18446744073709551615 7163297 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1554431 1444443 5661 1169 0 1553258 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 6217724
[startup+102.3 s]
/proc/loadavg: 2.01 1.99 1.71 3/178 21253
/proc/meminfo: memFree=24156272/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=6278016 CPUtime=102.29 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 2049343 0 0 0 9990 239 0 0 25 0 1 0 965428514 6428688384 1459633 33554432000 4194304 8979876 140735190840864 18446744073709551615 7143757 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1569504 1459633 1358 1169 0 1568331 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 6278016
[startup+162.301 s]
/proc/loadavg: 2.00 1.99 1.73 3/178 21255
/proc/meminfo: memFree=24442984/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=5957904 CPUtime=162.29 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 2236619 0 0 0 15965 264 0 0 25 0 1 0 965428514 6100893696 1390454 33554432000 4194304 8979876 140735190840864 18446744073709551615 7143745 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1489476 1390454 4611 1169 0 1488303 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 5957904
[startup+222.301 s]
/proc/loadavg: 2.00 1.99 1.74 3/178 21257
/proc/meminfo: memFree=24411668/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=5972496 CPUtime=222.3 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 2244864 0 0 0 21965 265 0 0 25 0 1 0 965428514 6115835904 1396816 33554432000 4194304 8979876 140735190840864 18446744073709551615 6605049 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1493124 1396816 3345 1169 0 1491951 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 5972496
[startup+282.301 s]
/proc/loadavg: 2.00 1.99 1.75 3/178 21259
/proc/meminfo: memFree=24319980/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=6073428 CPUtime=282.3 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 2293049 0 0 0 27958 272 0 0 25 0 1 0 965428514 6219190272 1417144 33554432000 4194304 8979876 140735190840864 18446744073709551615 7145991 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1518357 1417144 848 1169 0 1517184 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 6073428
[startup+342.306 s]
/proc/loadavg: 2.00 1.99 1.76 3/178 21261
/proc/meminfo: memFree=24309652/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=6121236 CPUtime=342.3 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 2296972 0 0 0 33957 273 0 0 25 0 1 0 965428514 6268145664 1420222 33554432000 4194304 8979876 140735190840864 18446744073709551615 6820793 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1530309 1420222 1148 1169 0 1529136 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 6121236
[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.77 3/178 21261
/proc/meminfo: memFree=24300548/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=6143792 CPUtime=402.3 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 2309824 0 0 0 39954 276 0 0 25 0 1 0 965428514 6291243008 1421139 33554432000 4194304 8979876 140735190840864 18446744073709551615 6601194 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1535948 1421139 1086 1169 0 1534775 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 6143792
[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.79 3/178 21263
/proc/meminfo: memFree=24257364/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=6225888 CPUtime=462.3 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 2378838 0 0 0 45943 287 0 0 25 0 1 0 965428514 6375309312 1431340 33554432000 4194304 8979876 140735190840864 18446744073709551615 6829040 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1556472 1431340 848 1169 0 1555299 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 6225888
[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.80 3/178 21265
/proc/meminfo: memFree=24252724/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=6232224 CPUtime=522.3 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 2401029 0 0 0 51937 293 0 0 25 0 1 0 965428514 6381797376 1432288 33554432000 4194304 8979876 140735190840864 18446744073709551615 7146632 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1558056 1432288 848 1169 0 1556883 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 6232224
[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.81 3/178 21267
/proc/meminfo: memFree=24253068/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=6232224 CPUtime=582.3 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 2418149 0 0 0 57934 296 0 0 25 0 1 0 965428514 6381797376 1431870 33554432000 4194304 8979876 140735190840864 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1558056 1431870 848 1169 0 1556883 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 6232224
[startup+642.301 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 2.06 2.00 1.85 3/178 21280
/proc/meminfo: memFree=24227148/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=6202052 CPUtime=942.31 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 2511429 0 0 0 93915 316 0 0 25 0 1 0 965428514 6350901248 1438540 33554432000 4194304 8979876 140735190840864 18446744073709551615 7146192 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1550513 1438540 2858 1169 0 1549340 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 6202052
[startup+1002.31 s]
/proc/loadavg: 2.02 2.00 1.86 3/178 21280
/proc/meminfo: memFree=24207012/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=6202052 CPUtime=1002.31 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 2517317 0 0 0 99913 318 0 0 25 0 1 0 965428514 6350901248 1443539 33554432000 4194304 8979876 140735190840864 18446744073709551615 7836148 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1550513 1443539 2858 1169 0 1549340 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 6202052
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 1.87 3/178 21282
/proc/meminfo: memFree=24206704/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=6202052 CPUtime=1062.3 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 2517317 0 0 0 105911 319 0 0 25 0 1 0 965428514 6350901248 1443539 33554432000 4194304 8979876 140735190840864 18446744073709551615 6888340 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1550513 1443539 2858 1169 0 1549340 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 6202052
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/178 21284
/proc/meminfo: memFree=24220660/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=6192244 CPUtime=1122.31 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 2585771 0 0 0 111903 328 0 0 25 0 1 0 965428514 6340857856 1441900 33554432000 4194304 8979876 140735190840864 18446744073709551615 7146542 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1548061 1441900 5189 1169 0 1546888 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 6192244
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 1.88 3/178 21286
/proc/meminfo: memFree=24224576/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=6225464 CPUtime=1182.31 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 2607488 0 0 0 117899 332 0 0 25 0 1 0 965428514 6374875136 1440050 33554432000 4194304 8979876 140735190840864 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1556366 1440050 4582 1169 0 1555193 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 6225464
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.89 3/178 21288
/proc/meminfo: memFree=24153228/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=6296456 CPUtime=1242.31 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 2719215 0 0 0 123884 347 0 0 25 0 1 0 965428514 6447570944 1460978 33554432000 4194304 8979876 140735190840864 18446744073709551615 7146532 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1574114 1460978 7693 1169 0 1572941 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 6296456
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/178 21288
/proc/meminfo: memFree=24265640/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=6156028 CPUtime=1302.31 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 2871801 0 0 0 129862 369 0 0 25 0 1 0 965428514 6303772672 1426436 33554432000 4194304 8979876 140735190840864 18446744073709551615 7146192 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1539007 1426436 1304 1169 0 1537834 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 6156028
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/178 21290
/proc/meminfo: memFree=24267324/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=6149976 CPUtime=1362.31 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 3058635 0 0 0 135839 392 0 0 25 0 1 0 965428514 6297575424 1425955 33554432000 4194304 8979876 140735190840864 18446744073709551615 7146192 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1537494 1425955 1304 1169 0 1536321 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 6149976
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21292
/proc/meminfo: memFree=24219876/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=6197416 CPUtime=1422.32 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 3232394 0 0 0 141818 414 0 0 25 0 1 0 965428514 6346153984 1440720 33554432000 4194304 8979876 140735190840864 18446744073709551615 7145982 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1549354 1440720 5185 1169 0 1548181 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 6197416
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21294
/proc/meminfo: memFree=24264712/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=6192444 CPUtime=1482.31 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 3414331 0 0 0 147795 436 0 0 25 0 1 0 965428514 6341062656 1440505 33554432000 4194304 8979876 140735190840864 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1548111 1440505 5333 1169 0 1546938 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 6192444
[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 1.91 3/178 21296
/proc/meminfo: memFree=24263800/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=6149972 CPUtime=1542.32 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 3668474 0 0 0 153764 468 0 0 25 0 1 0 965428514 6297571328 1425630 33554432000 4194304 8979876 140735190840864 18446744073709551615 6937213 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1537493 1425630 1304 1169 0 1536320 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 6149972
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/178 21296
/proc/meminfo: memFree=24172604/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=6234864 CPUtime=1602.32 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 3749967 0 0 0 159751 481 0 0 25 0 1 0 965428514 6384500736 1448723 33554432000 4194304 8979876 140735190840864 18446744073709551615 6820783 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1558716 1448723 1682 1169 0 1557543 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 6234864
[startup+1662.31 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 21298
/proc/meminfo: memFree=24219420/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=6194416 CPUtime=1662.32 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 3804061 0 0 0 165742 490 0 0 25 0 1 0 965428514 6343081984 1439863 33554432000 4194304 8979876 140735190840864 18446744073709551615 6937433 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1548604 1439863 855 1169 0 1547431 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 6194416
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21452
/proc/meminfo: memFree=25072388/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=6196124 CPUtime=1722.32 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 3933048 0 0 0 171725 507 0 0 25 0 1 0 965428514 6344830976 1440267 33554432000 4194304 8979876 140735190840864 18446744073709551615 7146279 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1549031 1440267 855 1169 0 1547858 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 6196124
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21454
/proc/meminfo: memFree=25074164/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=6129468 CPUtime=1782.32 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 4119846 0 0 0 177701 531 0 0 25 0 1 0 965428514 6276575232 1428580 33554432000 4194304 8979876 140735190840864 18446744073709551615 7179197 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1532367 1428580 855 1169 0 1531194 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 6129468
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21454
/proc/meminfo: memFree=25067744/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=6201736 CPUtime=1800.03 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4202496 4193072 0 0 0 179463 540 0 0 25 0 1 0 965428514 6350577664 1441026 33554432000 4194304 8979876 140735190840864 18446744073709551615 7146491 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21250/statm: 1550434 1441026 855 1169 0 1549261 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 6201736
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.11 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21454
/proc/meminfo: memFree=25067744/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=0 CPUtime=1800.13 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4203524 4193072 0 0 0 179463 550 0 0 25 0 1 0 965428514 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21250/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0
[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21454
/proc/meminfo: memFree=25067744/32951124 swapFree=67049456/67111528
[pid=21250] ppid=21248 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/21250/stat : 21250 (scip-2.0.1.4_2.) R 21248 21250 21071 0 -1 4203524 4193072 0 0 0 179463 559 0 0 25 0 1 0 965428514 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21250/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.22
CPU time (s): 1800.24
CPU user time (s): 1794.63
CPU system time (s): 5.61215
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 6564304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.63
system time used= 5.61215
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4193072
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= 1687
runsolver used 2.54561 second user time and 7.12392 second system time
The end