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-3486377-1307795297.opb>
3.29/3.38 c original problem has 26339 variables (26339 bin, 0 int, 0 impl, 0 cont) and 612374 constraints
3.29/3.38 c problem read
3.29/3.38 c No objective function, only one solution is needed.
3.29/3.38 c presolving settings loaded
4.99/5.06 c presolving:
6.19/6.21 c (round 1) 8289 del vars, 133981 del conss, 0 add conss, 8288 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 337806 impls, 596 clqs
6.59/6.63 c (round 2) 12741 del vars, 253596 del conss, 0 add conss, 8288 chg bounds, 8238 chg sides, 10432 chg coeffs, 0 upgd conss, 401608 impls, 596 clqs
6.89/6.90 c (round 3) 13047 del vars, 264647 del conss, 0 add conss, 8288 chg bounds, 9939 chg sides, 12640 chg coeffs, 0 upgd conss, 402290 impls, 596 clqs
8.39/8.41 c (round 4) 13047 del vars, 264677 del conss, 0 add conss, 8288 chg bounds, 9951 chg sides, 12640 chg coeffs, 347714 upgd conss, 402290 impls, 596 clqs
8.80/8.82 c (round 5) 13047 del vars, 264677 del conss, 0 add conss, 8288 chg bounds, 10161 chg sides, 13756 chg coeffs, 347714 upgd conss, 402290 impls, 596 clqs
8.99/9.08 c presolving (6 rounds):
8.99/9.08 c 13047 deleted vars, 264689 deleted constraints, 0 added constraints, 8288 tightened bounds, 0 added holes, 10173 changed sides, 14072 changed coefficients
8.99/9.08 c 403010 implications, 596 cliques
8.99/9.08 c presolved problem has 13292 variables (13292 bin, 0 int, 0 impl, 0 cont) and 347685 constraints
8.99/9.08 c 54593 constraints of type <knapsack>
8.99/9.08 c 34536 constraints of type <setppc>
8.99/9.08 c 1 constraints of type <linear>
8.99/9.08 c 258555 constraints of type <logicor>
8.99/9.08 c transformed objective value is always integral (scale: 1)
8.99/9.08 c Presolving Time: 5.31
8.99/9.08 c - non default parameters ----------------------------------------------------------------------
8.99/9.08 c # SCIP version 2.0.1.4
8.99/9.08 c
8.99/9.08 c # frequency for displaying node information lines
8.99/9.08 c # [type: int, range: [-1,2147483647], default: 100]
8.99/9.08 c display/freq = 10000
8.99/9.08 c
8.99/9.08 c # maximal time in seconds to run
8.99/9.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.99/9.08 c limits/time = 1797
8.99/9.08 c
8.99/9.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.99/9.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.99/9.08 c limits/memory = 13950
8.99/9.08 c
8.99/9.08 c # solving stops, if the given number of solutions were found (-1: no limit)
8.99/9.08 c # [type: int, range: [-1,2147483647], default: -1]
8.99/9.08 c limits/solutions = 1
8.99/9.08 c
8.99/9.08 c # maximal number of separation rounds per node (-1: unlimited)
8.99/9.08 c # [type: int, range: [-1,2147483647], default: 5]
8.99/9.08 c separating/maxrounds = 1
8.99/9.08 c
8.99/9.08 c # maximal number of separation rounds in the root node (-1: unlimited)
8.99/9.08 c # [type: int, range: [-1,2147483647], default: -1]
8.99/9.08 c separating/maxroundsroot = 5
8.99/9.08 c
8.99/9.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
8.99/9.08 c # [type: int, range: [1,2], default: 1]
8.99/9.08 c timing/clocktype = 2
8.99/9.08 c
8.99/9.08 c # belongs reading time to solving time?
8.99/9.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.99/9.08 c timing/reading = TRUE
8.99/9.08 c
8.99/9.08 c # should presolving try to simplify inequalities
8.99/9.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.99/9.08 c constraints/linear/simplifyinequalities = TRUE
8.99/9.08 c
8.99/9.08 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
8.99/9.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.99/9.08 c constraints/indicator/addCouplingCons = TRUE
8.99/9.08 c
8.99/9.08 c # should disaggregation of knapsack constraints be allowed in preprocessing?
8.99/9.08 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
8.99/9.08 c constraints/knapsack/disaggregation = FALSE
8.99/9.08 c
8.99/9.08 c # should presolving try to simplify knapsacks
8.99/9.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.99/9.08 c constraints/knapsack/simplifyinequalities = TRUE
8.99/9.08 c
8.99/9.08 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
8.99/9.08 c # [type: int, range: [-1,2147483647], default: -1]
8.99/9.08 c presolving/probing/maxrounds = 0
8.99/9.08 c
8.99/9.08 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
8.99/9.08 c # [type: int, range: [-1,2147483647], default: 10]
8.99/9.08 c heuristics/coefdiving/freq = -1
8.99/9.08 c
8.99/9.08 c # maximal fraction of diving LP iterations compared to node LP iterations
8.99/9.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.99/9.08 c heuristics/coefdiving/maxlpiterquot = 0.075
8.99/9.08 c
8.99/9.08 c # additional number of allowed LP iterations
8.99/9.08 c # [type: int, range: [0,2147483647], default: 1000]
8.99/9.08 c heuristics/coefdiving/maxlpiterofs = 1500
8.99/9.08 c
8.99/9.08 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
8.99/9.08 c # [type: int, range: [-1,2147483647], default: 30]
8.99/9.08 c heuristics/crossover/freq = -1
8.99/9.08 c
8.99/9.08 c # number of nodes added to the contingent of the total nodes
8.99/9.08 c # [type: longint, range: [0,9223372036854775807], default: 500]
8.99/9.08 c heuristics/crossover/nodesofs = 750
8.99/9.08 c
8.99/9.08 c # number of nodes without incumbent change that heuristic should wait
8.99/9.08 c # [type: longint, range: [0,9223372036854775807], default: 200]
8.99/9.08 c heuristics/crossover/nwaitingnodes = 100
8.99/9.08 c
8.99/9.08 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
8.99/9.08 c # [type: real, range: [0,1], default: 0.1]
8.99/9.08 c heuristics/crossover/nodesquot = 0.15
8.99/9.08 c
8.99/9.08 c # minimum percentage of integer variables that have to be fixed
8.99/9.08 c # [type: real, range: [0,1], default: 0.666]
8.99/9.08 c heuristics/crossover/minfixingrate = 0.5
8.99/9.08 c
8.99/9.08 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
8.99/9.08 c # [type: int, range: [-1,2147483647], default: 20]
8.99/9.08 c heuristics/feaspump/freq = -1
8.99/9.08 c
8.99/9.08 c # additional number of allowed LP iterations
8.99/9.08 c # [type: int, range: [0,2147483647], default: 1000]
8.99/9.08 c heuristics/feaspump/maxlpiterofs = 2000
8.99/9.08 c
8.99/9.08 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
8.99/9.08 c # [type: int, range: [-1,2147483647], default: 10]
8.99/9.08 c heuristics/fracdiving/freq = -1
8.99/9.08 c
8.99/9.08 c # maximal fraction of diving LP iterations compared to node LP iterations
8.99/9.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.99/9.08 c heuristics/fracdiving/maxlpiterquot = 0.075
8.99/9.08 c
8.99/9.08 c # additional number of allowed LP iterations
8.99/9.08 c # [type: int, range: [0,2147483647], default: 1000]
8.99/9.08 c heuristics/fracdiving/maxlpiterofs = 1500
8.99/9.08 c
8.99/9.08 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
8.99/9.08 c # [type: int, range: [-1,2147483647], default: 10]
8.99/9.08 c heuristics/guideddiving/freq = -1
8.99/9.08 c
8.99/9.08 c # maximal fraction of diving LP iterations compared to node LP iterations
8.99/9.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.99/9.08 c heuristics/guideddiving/maxlpiterquot = 0.075
8.99/9.08 c
8.99/9.08 c # additional number of allowed LP iterations
8.99/9.08 c # [type: int, range: [0,2147483647], default: 1000]
8.99/9.08 c heuristics/guideddiving/maxlpiterofs = 1500
8.99/9.08 c
8.99/9.08 c # maximal fraction of diving LP iterations compared to node LP iterations
8.99/9.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.99/9.08 c heuristics/intdiving/maxlpiterquot = 0.075
8.99/9.08 c
8.99/9.08 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
8.99/9.08 c # [type: int, range: [-1,2147483647], default: 10]
8.99/9.08 c heuristics/intshifting/freq = -1
8.99/9.08 c
8.99/9.08 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
8.99/9.08 c # [type: int, range: [-1,2147483647], default: 10]
8.99/9.08 c heuristics/linesearchdiving/freq = -1
8.99/9.08 c
8.99/9.08 c # maximal fraction of diving LP iterations compared to node LP iterations
8.99/9.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.99/9.08 c heuristics/linesearchdiving/maxlpiterquot = 0.075
8.99/9.08 c
8.99/9.08 c # additional number of allowed LP iterations
8.99/9.08 c # [type: int, range: [0,2147483647], default: 1000]
8.99/9.08 c heuristics/linesearchdiving/maxlpiterofs = 1500
8.99/9.08 c
8.99/9.08 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
8.99/9.09 c # [type: int, range: [-1,2147483647], default: 20]
8.99/9.09 c heuristics/objpscostdiving/freq = -1
8.99/9.09 c
8.99/9.09 c # maximal fraction of diving LP iterations compared to total iteration number
8.99/9.09 c # [type: real, range: [0,1], default: 0.01]
8.99/9.09 c heuristics/objpscostdiving/maxlpiterquot = 0.015
8.99/9.09 c
8.99/9.09 c # additional number of allowed LP iterations
8.99/9.09 c # [type: int, range: [0,2147483647], default: 1000]
8.99/9.09 c heuristics/objpscostdiving/maxlpiterofs = 1500
8.99/9.09 c
8.99/9.09 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
8.99/9.09 c # [type: int, range: [-1,2147483647], default: 1]
8.99/9.09 c heuristics/oneopt/freq = -1
8.99/9.09 c
8.99/9.09 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
8.99/9.09 c # [type: int, range: [-1,2147483647], default: 10]
8.99/9.09 c heuristics/pscostdiving/freq = -1
8.99/9.09 c
8.99/9.09 c # maximal fraction of diving LP iterations compared to node LP iterations
8.99/9.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.99/9.09 c heuristics/pscostdiving/maxlpiterquot = 0.075
8.99/9.09 c
8.99/9.09 c # additional number of allowed LP iterations
8.99/9.09 c # [type: int, range: [0,2147483647], default: 1000]
8.99/9.09 c heuristics/pscostdiving/maxlpiterofs = 1500
8.99/9.09 c
8.99/9.09 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
8.99/9.09 c # [type: int, range: [-1,2147483647], default: 0]
8.99/9.09 c heuristics/rens/freq = -1
8.99/9.09 c
8.99/9.09 c # minimum percentage of integer variables that have to be fixable
8.99/9.09 c # [type: real, range: [0,1], default: 0.5]
8.99/9.09 c heuristics/rens/minfixingrate = 0.3
8.99/9.09 c
8.99/9.09 c # number of nodes added to the contingent of the total nodes
8.99/9.09 c # [type: longint, range: [0,9223372036854775807], default: 500]
8.99/9.09 c heuristics/rens/nodesofs = 2000
8.99/9.09 c
8.99/9.09 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
8.99/9.09 c # [type: int, range: [-1,2147483647], default: 20]
8.99/9.09 c heuristics/rootsoldiving/freq = -1
8.99/9.09 c
8.99/9.09 c # maximal fraction of diving LP iterations compared to node LP iterations
8.99/9.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
8.99/9.09 c heuristics/rootsoldiving/maxlpiterquot = 0.015
8.99/9.09 c
8.99/9.09 c # additional number of allowed LP iterations
8.99/9.09 c # [type: int, range: [0,2147483647], default: 1000]
8.99/9.09 c heuristics/rootsoldiving/maxlpiterofs = 1500
8.99/9.09 c
8.99/9.09 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
8.99/9.09 c # [type: int, range: [-1,2147483647], default: 1]
8.99/9.09 c heuristics/rounding/freq = -1
8.99/9.09 c
8.99/9.09 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
8.99/9.09 c # [type: int, range: [-1,2147483647], default: 0]
8.99/9.09 c heuristics/shiftandpropagate/freq = -1
8.99/9.09 c
8.99/9.09 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
8.99/9.09 c # [type: int, range: [-1,2147483647], default: 10]
8.99/9.09 c heuristics/shifting/freq = -1
8.99/9.09 c
8.99/9.09 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
8.99/9.09 c # [type: int, range: [-1,2147483647], default: 1]
8.99/9.09 c heuristics/simplerounding/freq = -1
8.99/9.09 c
8.99/9.09 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
8.99/9.09 c # [type: int, range: [-1,2147483647], default: 1]
8.99/9.09 c heuristics/subnlp/freq = -1
8.99/9.09 c
8.99/9.09 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
8.99/9.09 c # [type: int, range: [-1,2147483647], default: 0]
8.99/9.09 c heuristics/trivial/freq = -1
8.99/9.09 c
8.99/9.09 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
8.99/9.09 c # [type: int, range: [-1,2147483647], default: 1]
8.99/9.09 c heuristics/trysol/freq = -1
8.99/9.09 c
8.99/9.09 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
8.99/9.09 c # [type: int, range: [-1,2147483647], default: 0]
8.99/9.09 c heuristics/undercover/freq = -1
8.99/9.09 c
8.99/9.09 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
8.99/9.09 c # [type: int, range: [-1,2147483647], default: 10]
8.99/9.09 c heuristics/veclendiving/freq = -1
8.99/9.09 c
8.99/9.09 c # maximal fraction of diving LP iterations compared to node LP iterations
8.99/9.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
8.99/9.09 c heuristics/veclendiving/maxlpiterquot = 0.075
8.99/9.09 c
8.99/9.09 c # additional number of allowed LP iterations
8.99/9.09 c # [type: int, range: [0,2147483647], default: 1000]
8.99/9.09 c heuristics/veclendiving/maxlpiterofs = 1500
8.99/9.09 c
8.99/9.09 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
8.99/9.09 c # [type: int, range: [-1,2147483647], default: 1]
8.99/9.09 c heuristics/zirounding/freq = -1
8.99/9.09 c
8.99/9.09 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
8.99/9.09 c # [type: int, range: [-1,2147483647], default: 0]
8.99/9.09 c separating/cmir/freq = -1
8.99/9.09 c
8.99/9.09 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
8.99/9.09 c # [type: int, range: [-1,2147483647], default: 0]
8.99/9.09 c separating/flowcover/freq = -1
8.99/9.09 c
8.99/9.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
8.99/9.09 c # [type: int, range: [-1,2147483647], default: -1]
8.99/9.09 c separating/rapidlearning/freq = 0
8.99/9.09 c
8.99/9.09 c -----------------------------------------------------------------------------------------------
8.99/9.09 c start solving
9.09/9.10 c
18.39/18.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.39/18.43 c 18.4s| 1 | 0 | 4143 | - | 623M| 0 | 343 | 13k| 347k| 13k| 347k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
23.29/23.39 c 23.4s| 1 | 0 | 4220 | - | 623M| 0 | 310 | 13k| 347k| 13k| 347k| 20 | 0 | 0 | 0.000000e+00 | -- | Inf
30.20/30.22 c 30.2s| 1 | 0 | 4323 | - | 624M| 0 | 361 | 13k| 347k| 13k| 347k| 29 | 0 | 0 | 0.000000e+00 | -- | Inf
40.79/40.88 c 40.9s| 1 | 0 | 4346 | - | 625M| 0 | 251 | 13k| 347k| 13k| 347k| 37 | 0 | 0 | 0.000000e+00 | -- | Inf
86.69/86.77 c 86.8s| 1 | 0 | 4527 | - | 625M| 0 | 231 | 13k| 347k| 13k| 347k| 61 | 0 | 0 | 0.000000e+00 | -- | Inf
132.00/132.02 c 132s| 1 | 0 | 4951 | - | 626M| 0 | 445 | 13k| 347k| 13k| 347k| 67 | 0 | 0 | 0.000000e+00 | -- | Inf
183.70/183.70 c 184s| 1 | 2 | 4951 | - | 626M| 0 | 445 | 13k| 347k| 13k| 347k| 67 | 0 | 20 | 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-3486377-1307795297/watcher-3486377-1307795297 -o /tmp/evaluation-result-3486377-1307795297/solver-3486377-1307795297 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486377-1307795297.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.78 1.70 2/177 22193
/proc/meminfo: memFree=30602392/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=9984 CPUtime=0 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 1510 0 0 0 0 0 0 0 24 0 1 0 623721049 10223616 1464 33554432000 4194304 8979876 140736357202704 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22193/statm: 2549 1466 363 1169 0 1376 0
[startup+0.08239 s]
/proc/loadavg: 2.00 1.78 1.70 2/177 22193
/proc/meminfo: memFree=30602392/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=16252 CPUtime=0.07 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 3064 0 0 0 7 0 0 0 24 0 1 0 623721049 16642048 3018 33554432000 4194304 8979876 140736357202704 18446744073709551615 7715146 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22193/statm: 4063 3018 363 1169 0 2890 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16252
[startup+0.100395 s]
/proc/loadavg: 2.00 1.78 1.70 2/177 22193
/proc/meminfo: memFree=30602392/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=17608 CPUtime=0.09 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 3409 0 0 0 9 0 0 0 24 0 1 0 623721049 18030592 3363 33554432000 4194304 8979876 140736357202704 18446744073709551615 7836093 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22193/statm: 4402 3363 363 1169 0 3229 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17608
[startup+0.30035 s]
/proc/loadavg: 2.00 1.78 1.70 2/177 22193
/proc/meminfo: memFree=30602392/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=30408 CPUtime=0.29 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 6572 0 0 0 29 0 0 0 25 0 1 0 623721049 31137792 6522 33554432000 4194304 8979876 140736357202704 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22193/statm: 7602 6522 363 1169 0 6429 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30408
[startup+0.700282 s]
/proc/loadavg: 2.00 1.78 1.70 2/177 22193
/proc/meminfo: memFree=30602392/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=54968 CPUtime=0.69 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 12742 0 0 0 68 1 0 0 25 0 1 0 623721049 56287232 12692 33554432000 4194304 8979876 140736357202704 18446744073709551615 4446992 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22193/statm: 13742 12692 363 1169 0 12569 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54968
[startup+1.50014 s]
/proc/loadavg: 2.08 1.80 1.70 3/178 22194
/proc/meminfo: memFree=30532408/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=104196 CPUtime=1.49 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 25056 0 0 0 147 2 0 0 25 0 1 0 623721049 106696704 25006 33554432000 4194304 8979876 140736357202704 18446744073709551615 6204417 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22193/statm: 26049 25006 363 1169 0 24876 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 104196
[startup+3.10086 s]
/proc/loadavg: 2.08 1.80 1.70 3/178 22194
/proc/meminfo: memFree=30459372/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=200576 CPUtime=3.09 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 49126 0 0 0 303 6 0 0 25 0 1 0 623721049 205389824 49076 33554432000 4194304 8979876 140736357202704 18446744073709551615 7820580 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22193/statm: 50144 49076 363 1169 0 48971 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 200576
[startup+6.30029 s]
/proc/loadavg: 2.08 1.81 1.70 3/178 22195
/proc/meminfo: memFree=29849560/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=741392 CPUtime=6.29 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 220035 0 0 0 602 27 0 0 25 0 1 0 623721049 759185408 179528 33554432000 4194304 8979876 140736357202704 18446744073709551615 18446744073699066034 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 185348 179528 502 1169 0 184175 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 741392
[startup+12.7002 s]
/proc/loadavg: 2.07 1.81 1.70 3/178 22195
/proc/meminfo: memFree=29369712/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1276548 CPUtime=12.69 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 398903 0 0 0 1222 47 0 0 25 0 1 0 623721049 1307185152 296479 33554432000 4194304 8979876 140736357202704 18446744073709551615 6937192 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 319137 296479 1627 1169 0 317964 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1276548
[startup+25.5009 s]
/proc/loadavg: 2.05 1.82 1.71 3/178 22195
/proc/meminfo: memFree=29289844/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1330824 CPUtime=25.49 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 435335 0 0 0 2496 53 0 0 25 0 1 0 623721049 1362763776 308005 33554432000 4194304 8979876 140736357202704 18446744073709551615 7836184 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 332706 308005 717 1169 0 331533 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1330824
[startup+51.1004 s]
/proc/loadavg: 2.03 1.83 1.72 3/178 22196
/proc/meminfo: memFree=29163032/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1388052 CPUtime=51.09 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 449412 0 0 0 5053 56 0 0 25 0 1 0 623721049 1421365248 322082 33554432000 4194304 8979876 140736357202704 18446744073709551615 7836189 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 347013 322082 717 1169 0 345840 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1388052
[startup+102.306 s]
/proc/loadavg: 2.01 1.86 1.73 3/178 22197
/proc/meminfo: memFree=29032364/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1408468 CPUtime=102.3 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 452658 0 0 0 10169 61 0 0 25 0 1 0 623721049 1442271232 325328 33554432000 4194304 8979876 140736357202704 18446744073709551615 7841664 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 352117 325328 717 1169 0 350944 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1408468
[startup+162.301 s]
/proc/loadavg: 2.00 1.88 1.74 3/178 22199
/proc/meminfo: memFree=28834532/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1416456 CPUtime=162.29 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 478897 0 0 0 16163 66 0 0 25 0 1 0 623721049 1450450944 336591 33554432000 4194304 8979876 140736357202704 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 354114 336591 891 1169 0 352941 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1416456
[startup+222.3 s]
/proc/loadavg: 2.00 1.90 1.75 3/178 22200
/proc/meminfo: memFree=28657244/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1446552 CPUtime=222.29 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 509173 0 0 0 22159 70 0 0 25 0 1 0 623721049 1481269248 340038 33554432000 4194304 8979876 140736357202704 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 361638 340038 722 1169 0 360465 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1446552
[startup+282.301 s]
/proc/loadavg: 2.00 1.91 1.77 3/178 22202
/proc/meminfo: memFree=28563204/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1411184 CPUtime=282.3 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 568528 0 0 0 28149 81 0 0 25 0 1 0 623721049 1445052416 329990 33554432000 4194304 8979876 140736357202704 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 352796 329990 722 1169 0 351623 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1411184
[startup+342.301 s]
/proc/loadavg: 2.00 1.93 1.78 3/178 22204
/proc/meminfo: memFree=28406552/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1445468 CPUtime=342.3 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 591959 0 0 0 34146 84 0 0 25 0 1 0 623721049 1480159232 336632 33554432000 4194304 8979876 140736357202704 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 361367 336632 722 1169 0 360194 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1445468
[startup+402.3 s]
/proc/loadavg: 2.00 1.94 1.79 3/178 22205
/proc/meminfo: memFree=28306048/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1417392 CPUtime=402.3 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 608627 0 0 0 40143 87 0 0 25 0 1 0 623721049 1451409408 336631 33554432000 4194304 8979876 140736357202704 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 354348 336631 722 1169 0 353175 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1417392
[startup+462.301 s]
/proc/loadavg: 2.00 1.95 1.80 3/178 22207
/proc/meminfo: memFree=28196380/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1446376 CPUtime=462.3 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 615429 0 0 0 46140 90 0 0 25 0 1 0 623721049 1481089024 343433 33554432000 4194304 8979876 140736357202704 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 361594 343433 722 1169 0 360421 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1446376
[startup+522.3 s]
/proc/loadavg: 2.00 1.95 1.81 3/178 22208
/proc/meminfo: memFree=28119344/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1451404 CPUtime=522.3 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 634485 0 0 0 52136 94 0 0 25 0 1 0 623721049 1486237696 343716 33554432000 4194304 8979876 140736357202704 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 362851 343716 722 1169 0 361678 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1451404
[startup+582.301 s]
/proc/loadavg: 2.00 1.96 1.82 3/178 22210
/proc/meminfo: memFree=28074412/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1444716 CPUtime=582.31 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 652150 0 0 0 58132 99 0 0 25 0 1 0 623721049 1479389184 340306 33554432000 4194304 8979876 140736357202704 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 361179 340306 722 1169 0 360006 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1444716
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/178 22216
/proc/meminfo: memFree=27924836/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1433492 CPUtime=822.31 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 881590 0 0 0 82102 129 0 0 25 0 1 0 623721049 1467895808 340550 33554432000 4194304 8979876 140736357202704 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 358373 340550 2642 1169 0 357200 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1433492
[startup+882.301 s]
/proc/loadavg: 2.00 1.97 1.85 3/178 22218
/proc/meminfo: memFree=27917092/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1446036 CPUtime=882.31 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 940801 0 0 0 88093 138 0 0 25 0 1 0 623721049 1480740864 340553 33554432000 4194304 8979876 140736357202704 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 361509 340553 722 1169 0 360336 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 1446036
[startup+942.3 s]
/proc/loadavg: 2.00 1.97 1.86 3/178 22220
/proc/meminfo: memFree=27925472/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1431872 CPUtime=942.31 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 983032 0 0 0 94087 144 0 0 25 0 1 0 623721049 1466236928 340556 33554432000 4194304 8979876 140736357202704 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 357968 340556 2842 1169 0 356795 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1431872
[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.86 3/178 22221
/proc/meminfo: memFree=27927400/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1431848 CPUtime=1002.32 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 1070644 0 0 0 100078 154 0 0 25 0 1 0 623721049 1466212352 340590 33554432000 4194304 8979876 140736357202704 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 357962 340590 2839 1169 0 356789 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1431848
[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.87 3/178 22223
/proc/meminfo: memFree=27925116/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1431848 CPUtime=1062.32 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 1070646 0 0 0 106078 154 0 0 25 0 1 0 623721049 1466212352 340590 33554432000 4194304 8979876 140736357202704 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 357962 340590 2837 1169 0 356789 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1431848
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.87 3/178 22224
/proc/meminfo: memFree=27951484/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1447268 CPUtime=1122.32 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 1130230 0 0 0 112070 162 0 0 25 0 1 0 623721049 1482002432 339272 33554432000 4194304 8979876 140736357202704 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 361817 339272 721 1169 0 360644 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1447268
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/178 22226
/proc/meminfo: memFree=27870212/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1418816 CPUtime=1182.32 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 1197655 0 0 0 118062 170 0 0 25 0 1 0 623721049 1452867584 337374 33554432000 4194304 8979876 140736357202704 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 354704 337374 1303 1169 0 353531 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1418816
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.89 3/178 22228
/proc/meminfo: memFree=27903136/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1473908 CPUtime=1242.32 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 1284059 0 0 0 124050 182 0 0 25 0 1 0 623721049 1509281792 347364 33554432000 4194304 8979876 140736357202704 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 368477 347364 4191 1169 0 367304 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1473908
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.89 3/178 22229
/proc/meminfo: memFree=27935808/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1417716 CPUtime=1302.32 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 1395025 0 0 0 130037 195 0 0 25 0 1 0 623721049 1451741184 337100 33554432000 4194304 8979876 140736357202704 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 354429 337100 2122 1169 0 353256 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1417716
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.90 3/178 22231
/proc/meminfo: memFree=27944424/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1420864 CPUtime=1362.33 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 1483237 0 0 0 136025 208 0 0 25 0 1 0 623721049 1454964736 333432 33554432000 4194304 8979876 140736357202704 18446744073709551615 7164625 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 355216 333432 721 1169 0 354043 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1420864
[startup+1422.31 s]
/proc/loadavg: 1.85 1.94 1.89 2/172 22257
/proc/meminfo: memFree=30605612/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1419452 CPUtime=1422.34 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 1577337 0 0 0 142013 221 0 0 25 0 1 0 623721049 1453518848 332287 33554432000 4194304 8979876 140736357202704 18446744073709551615 7193346 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 354863 332287 721 1169 0 353690 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1419452
[startup+1482.3 s]
/proc/loadavg: 1.31 1.77 1.83 2/172 22259
/proc/meminfo: memFree=30554844/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1466184 CPUtime=1482.32 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 1594232 0 0 0 148009 223 0 0 25 0 1 0 623721049 1501372416 349182 33554432000 4194304 8979876 140736357202704 18446744073709551615 7170989 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 366546 349182 5457 1169 0 365373 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1466184
[startup+1542.3 s]
/proc/loadavg: 1.11 1.62 1.78 2/172 22261
/proc/meminfo: memFree=30565688/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1482192 CPUtime=1542.32 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 1756686 0 0 0 153987 245 0 0 25 0 1 0 623721049 1517764608 341802 33554432000 4194304 8979876 140736357202704 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 370548 341802 721 1169 0 369375 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 1482192
[startup+1602.3 s]
/proc/loadavg: 1.04 1.51 1.73 2/172 22262
/proc/meminfo: memFree=30605052/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1420608 CPUtime=1602.33 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 1877680 0 0 0 159972 261 0 0 25 0 1 0 623721049 1454702592 332067 33554432000 4194304 8979876 140736357202704 18446744073709551615 6820818 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 355152 332067 721 1169 0 353979 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1420608
[startup+1662.3 s]
/proc/loadavg: 1.01 1.41 1.68 2/172 22267
/proc/meminfo: memFree=30604624/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1420608 CPUtime=1662.33 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 1958444 0 0 0 165961 272 0 0 25 0 1 0 623721049 1454702592 332277 33554432000 4194304 8979876 140736357202704 18446744073709551615 7047634 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 355152 332277 721 1169 0 353979 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1420608
[startup+1722.3 s]
/proc/loadavg: 1.00 1.33 1.63 2/172 22268
/proc/meminfo: memFree=30567352/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1483688 CPUtime=1722.33 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 2089710 0 0 0 171944 289 0 0 25 0 1 0 623721049 1519296512 341939 33554432000 4194304 8979876 140736357202704 18446744073709551615 6884029 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 370922 341939 721 1169 0 369749 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1483688
[startup+1782.3 s]
/proc/loadavg: 1.00 1.27 1.59 2/172 22270
/proc/meminfo: memFree=30569156/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1451824 CPUtime=1782.33 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 2233511 0 0 0 177924 309 0 0 25 0 1 0 623721049 1486667776 339405 33554432000 4194304 8979876 140736357202704 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 362956 339405 721 1169 0 361783 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1451824
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.25 1.58 2/172 22270
/proc/meminfo: memFree=30569640/32951124 swapFree=67055708/67111528
[pid=22193] ppid=22191 vsize=1482916 CPUtime=1800.04 cores=1,3,5,7
/proc/22193/stat : 22193 (scip-2.0.1.4_2.) R 22191 22193 21306 0 -1 4202496 2278930 0 0 0 179689 315 0 0 25 0 1 0 623721049 1518505984 340999 33554432000 4194304 8979876 140736357202704 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/22193/statm: 370729 340999 721 1169 0 369556 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1482916
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.06
CPU time (s): 1800.1
CPU user time (s): 1796.89
CPU system time (s): 3.20351
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1518468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.89
system time used= 3.20351
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2278930
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= 2467
runsolver used 2.38364 second user time and 6.06408 second system time
The end