0.00/0.00 c SCIP version 2.0.1.5 [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-3489814-1307795102.opb>
7.29/7.39 c original problem has 55296 variables (55296 bin, 0 int, 0 impl, 0 cont) and 1282690 constraints
7.29/7.39 c problem read
7.29/7.39 c No objective function, only one solution is needed.
7.29/7.39 c presolving settings loaded
8.79/8.85 c presolving:
14.79/14.84 c (round 1) 1 del vars, 10 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 0 chg coeffs, 1282678 upgd conss, 563034 impls, 2026 clqs
16.19/16.21 c presolving (2 rounds):
16.19/16.21 c 1 deleted vars, 18 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 9 changed sides, 0 changed coefficients
16.19/16.21 c 563034 implications, 2026 cliques
16.19/16.21 c presolved problem has 55295 variables (55295 bin, 0 int, 0 impl, 0 cont) and 1282672 constraints
16.19/16.21 c 128170 constraints of type <knapsack>
16.19/16.21 c 271354 constraints of type <setppc>
16.19/16.21 c 2 constraints of type <linear>
16.19/16.21 c 883146 constraints of type <logicor>
16.19/16.21 c transformed objective value is always integral (scale: 1)
16.19/16.21 c Presolving Time: 7.45
16.19/16.21 c - non default parameters ----------------------------------------------------------------------
16.19/16.21 c # SCIP version 2.0.1.5
16.19/16.21 c
16.19/16.21 c # frequency for displaying node information lines
16.19/16.21 c # [type: int, range: [-1,2147483647], default: 100]
16.19/16.21 c display/freq = 10000
16.19/16.21 c
16.19/16.21 c # maximal time in seconds to run
16.19/16.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
16.19/16.21 c limits/time = 1797
16.19/16.21 c
16.19/16.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
16.19/16.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
16.19/16.21 c limits/memory = 13950
16.19/16.21 c
16.19/16.21 c # solving stops, if the given number of solutions were found (-1: no limit)
16.19/16.21 c # [type: int, range: [-1,2147483647], default: -1]
16.19/16.21 c limits/solutions = 1
16.19/16.21 c
16.19/16.21 c # maximal number of separation rounds per node (-1: unlimited)
16.19/16.21 c # [type: int, range: [-1,2147483647], default: 5]
16.19/16.21 c separating/maxrounds = 1
16.19/16.21 c
16.19/16.21 c # maximal number of separation rounds in the root node (-1: unlimited)
16.19/16.21 c # [type: int, range: [-1,2147483647], default: -1]
16.19/16.21 c separating/maxroundsroot = 5
16.19/16.21 c
16.19/16.21 c # default clock type (1: CPU user seconds, 2: wall clock time)
16.19/16.21 c # [type: int, range: [1,2], default: 1]
16.19/16.21 c timing/clocktype = 2
16.19/16.21 c
16.19/16.21 c # belongs reading time to solving time?
16.19/16.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.19/16.21 c timing/reading = TRUE
16.19/16.21 c
16.19/16.21 c # should presolving try to simplify inequalities
16.19/16.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.19/16.21 c constraints/linear/simplifyinequalities = TRUE
16.19/16.21 c
16.19/16.21 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
16.19/16.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.19/16.21 c constraints/indicator/addCouplingCons = TRUE
16.19/16.21 c
16.19/16.21 c # should disaggregation of knapsack constraints be allowed in preprocessing?
16.19/16.21 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
16.19/16.21 c constraints/knapsack/disaggregation = FALSE
16.19/16.21 c
16.19/16.21 c # should presolving try to simplify knapsacks
16.19/16.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
16.19/16.21 c constraints/knapsack/simplifyinequalities = TRUE
16.19/16.21 c
16.19/16.21 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
16.19/16.21 c # [type: int, range: [-1,2147483647], default: -1]
16.19/16.21 c presolving/probing/maxrounds = 0
16.19/16.21 c
16.19/16.21 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
16.19/16.21 c # [type: int, range: [-1,2147483647], default: 10]
16.19/16.21 c heuristics/coefdiving/freq = -1
16.19/16.21 c
16.19/16.21 c # maximal fraction of diving LP iterations compared to node LP iterations
16.19/16.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.19/16.21 c heuristics/coefdiving/maxlpiterquot = 0.075
16.19/16.21 c
16.19/16.21 c # additional number of allowed LP iterations
16.19/16.21 c # [type: int, range: [0,2147483647], default: 1000]
16.19/16.21 c heuristics/coefdiving/maxlpiterofs = 1500
16.19/16.21 c
16.19/16.21 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
16.19/16.21 c # [type: int, range: [-1,2147483647], default: 30]
16.19/16.21 c heuristics/crossover/freq = -1
16.19/16.21 c
16.19/16.21 c # number of nodes added to the contingent of the total nodes
16.19/16.21 c # [type: longint, range: [0,9223372036854775807], default: 500]
16.19/16.21 c heuristics/crossover/nodesofs = 750
16.19/16.21 c
16.19/16.21 c # number of nodes without incumbent change that heuristic should wait
16.19/16.22 c # [type: longint, range: [0,9223372036854775807], default: 200]
16.19/16.22 c heuristics/crossover/nwaitingnodes = 100
16.19/16.22 c
16.19/16.22 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
16.19/16.22 c # [type: real, range: [0,1], default: 0.1]
16.19/16.22 c heuristics/crossover/nodesquot = 0.15
16.19/16.22 c
16.19/16.22 c # minimum percentage of integer variables that have to be fixed
16.19/16.22 c # [type: real, range: [0,1], default: 0.666]
16.19/16.22 c heuristics/crossover/minfixingrate = 0.5
16.19/16.22 c
16.19/16.22 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
16.19/16.22 c # [type: int, range: [-1,2147483647], default: 20]
16.19/16.22 c heuristics/feaspump/freq = -1
16.19/16.22 c
16.19/16.22 c # additional number of allowed LP iterations
16.19/16.22 c # [type: int, range: [0,2147483647], default: 1000]
16.19/16.22 c heuristics/feaspump/maxlpiterofs = 2000
16.19/16.22 c
16.19/16.22 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
16.19/16.22 c # [type: int, range: [-1,2147483647], default: 10]
16.19/16.22 c heuristics/fracdiving/freq = -1
16.19/16.22 c
16.19/16.22 c # maximal fraction of diving LP iterations compared to node LP iterations
16.19/16.22 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.19/16.22 c heuristics/fracdiving/maxlpiterquot = 0.075
16.19/16.22 c
16.19/16.22 c # additional number of allowed LP iterations
16.19/16.22 c # [type: int, range: [0,2147483647], default: 1000]
16.19/16.22 c heuristics/fracdiving/maxlpiterofs = 1500
16.19/16.22 c
16.19/16.22 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
16.19/16.22 c # [type: int, range: [-1,2147483647], default: 10]
16.19/16.22 c heuristics/guideddiving/freq = -1
16.19/16.22 c
16.19/16.22 c # maximal fraction of diving LP iterations compared to node LP iterations
16.19/16.22 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.19/16.22 c heuristics/guideddiving/maxlpiterquot = 0.075
16.19/16.22 c
16.19/16.22 c # additional number of allowed LP iterations
16.19/16.22 c # [type: int, range: [0,2147483647], default: 1000]
16.19/16.22 c heuristics/guideddiving/maxlpiterofs = 1500
16.19/16.22 c
16.19/16.22 c # maximal fraction of diving LP iterations compared to node LP iterations
16.19/16.22 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.19/16.22 c heuristics/intdiving/maxlpiterquot = 0.075
16.19/16.22 c
16.19/16.22 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
16.19/16.22 c # [type: int, range: [-1,2147483647], default: 10]
16.19/16.22 c heuristics/intshifting/freq = -1
16.19/16.22 c
16.19/16.22 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
16.19/16.22 c # [type: int, range: [-1,2147483647], default: 10]
16.19/16.22 c heuristics/linesearchdiving/freq = -1
16.19/16.22 c
16.19/16.22 c # maximal fraction of diving LP iterations compared to node LP iterations
16.19/16.22 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.19/16.22 c heuristics/linesearchdiving/maxlpiterquot = 0.075
16.19/16.22 c
16.19/16.22 c # additional number of allowed LP iterations
16.19/16.22 c # [type: int, range: [0,2147483647], default: 1000]
16.19/16.22 c heuristics/linesearchdiving/maxlpiterofs = 1500
16.19/16.22 c
16.19/16.22 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
16.19/16.22 c # [type: int, range: [-1,2147483647], default: 20]
16.19/16.22 c heuristics/objpscostdiving/freq = -1
16.19/16.22 c
16.19/16.22 c # maximal fraction of diving LP iterations compared to total iteration number
16.19/16.22 c # [type: real, range: [0,1], default: 0.01]
16.19/16.22 c heuristics/objpscostdiving/maxlpiterquot = 0.015
16.19/16.22 c
16.19/16.22 c # additional number of allowed LP iterations
16.19/16.22 c # [type: int, range: [0,2147483647], default: 1000]
16.19/16.22 c heuristics/objpscostdiving/maxlpiterofs = 1500
16.19/16.22 c
16.19/16.22 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
16.19/16.22 c # [type: int, range: [-1,2147483647], default: 1]
16.19/16.22 c heuristics/oneopt/freq = -1
16.19/16.22 c
16.19/16.22 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
16.19/16.22 c # [type: int, range: [-1,2147483647], default: 10]
16.19/16.22 c heuristics/pscostdiving/freq = -1
16.19/16.22 c
16.19/16.22 c # maximal fraction of diving LP iterations compared to node LP iterations
16.19/16.22 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.19/16.22 c heuristics/pscostdiving/maxlpiterquot = 0.075
16.19/16.22 c
16.19/16.22 c # additional number of allowed LP iterations
16.19/16.22 c # [type: int, range: [0,2147483647], default: 1000]
16.19/16.22 c heuristics/pscostdiving/maxlpiterofs = 1500
16.19/16.22 c
16.19/16.22 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
16.19/16.22 c # [type: int, range: [-1,2147483647], default: 0]
16.19/16.22 c heuristics/rens/freq = -1
16.19/16.22 c
16.19/16.22 c # minimum percentage of integer variables that have to be fixable
16.19/16.22 c # [type: real, range: [0,1], default: 0.5]
16.19/16.22 c heuristics/rens/minfixingrate = 0.3
16.19/16.22 c
16.19/16.22 c # number of nodes added to the contingent of the total nodes
16.19/16.22 c # [type: longint, range: [0,9223372036854775807], default: 500]
16.19/16.22 c heuristics/rens/nodesofs = 2000
16.19/16.22 c
16.19/16.22 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
16.19/16.22 c # [type: int, range: [-1,2147483647], default: 20]
16.19/16.22 c heuristics/rootsoldiving/freq = -1
16.19/16.22 c
16.19/16.22 c # maximal fraction of diving LP iterations compared to node LP iterations
16.19/16.22 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
16.19/16.22 c heuristics/rootsoldiving/maxlpiterquot = 0.015
16.19/16.22 c
16.19/16.22 c # additional number of allowed LP iterations
16.19/16.22 c # [type: int, range: [0,2147483647], default: 1000]
16.19/16.22 c heuristics/rootsoldiving/maxlpiterofs = 1500
16.19/16.22 c
16.19/16.22 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
16.19/16.22 c # [type: int, range: [-1,2147483647], default: 1]
16.19/16.22 c heuristics/rounding/freq = -1
16.19/16.22 c
16.19/16.22 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
16.19/16.22 c # [type: int, range: [-1,2147483647], default: 0]
16.19/16.22 c heuristics/shiftandpropagate/freq = -1
16.19/16.22 c
16.19/16.22 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
16.19/16.22 c # [type: int, range: [-1,2147483647], default: 10]
16.19/16.22 c heuristics/shifting/freq = -1
16.19/16.22 c
16.19/16.22 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
16.19/16.22 c # [type: int, range: [-1,2147483647], default: 1]
16.19/16.22 c heuristics/simplerounding/freq = -1
16.19/16.22 c
16.19/16.22 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
16.19/16.22 c # [type: int, range: [-1,2147483647], default: 1]
16.19/16.22 c heuristics/subnlp/freq = -1
16.19/16.22 c
16.19/16.22 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
16.19/16.22 c # [type: int, range: [-1,2147483647], default: 0]
16.19/16.22 c heuristics/trivial/freq = -1
16.19/16.22 c
16.19/16.22 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
16.19/16.22 c # [type: int, range: [-1,2147483647], default: 1]
16.19/16.22 c heuristics/trysol/freq = -1
16.19/16.22 c
16.19/16.22 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
16.19/16.22 c # [type: int, range: [-1,2147483647], default: 0]
16.19/16.22 c heuristics/undercover/freq = -1
16.19/16.22 c
16.19/16.22 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
16.19/16.22 c # [type: int, range: [-1,2147483647], default: 10]
16.19/16.22 c heuristics/veclendiving/freq = -1
16.19/16.22 c
16.19/16.22 c # maximal fraction of diving LP iterations compared to node LP iterations
16.19/16.22 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
16.19/16.22 c heuristics/veclendiving/maxlpiterquot = 0.075
16.19/16.22 c
16.19/16.22 c # additional number of allowed LP iterations
16.19/16.22 c # [type: int, range: [0,2147483647], default: 1000]
16.19/16.22 c heuristics/veclendiving/maxlpiterofs = 1500
16.19/16.22 c
16.19/16.22 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
16.19/16.22 c # [type: int, range: [-1,2147483647], default: 1]
16.19/16.22 c heuristics/zirounding/freq = -1
16.19/16.22 c
16.19/16.22 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
16.19/16.22 c # [type: int, range: [-1,2147483647], default: 0]
16.19/16.22 c separating/cmir/freq = -1
16.19/16.22 c
16.19/16.22 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
16.19/16.22 c # [type: int, range: [-1,2147483647], default: 0]
16.19/16.22 c separating/flowcover/freq = -1
16.19/16.22 c
16.19/16.22 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
16.19/16.22 c # [type: int, range: [-1,2147483647], default: -1]
16.19/16.22 c separating/rapidlearning/freq = 0
16.19/16.22 c
16.19/16.22 c -----------------------------------------------------------------------------------------------
16.19/16.22 c start solving
16.19/16.25 c
104.30/104.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.30/104.36 c 104s| 1 | 0 | 10603 | - |1885M| 0 |3598 | 55k|1282k| 55k|1282k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
212.50/212.50 c 212s| 1 | 0 | 19868 | - |1885M| 0 |4328 | 55k|1282k| 55k|1282k| 15 | 0 | 0 | 0.000000e+00 | -- | Inf
397.40/397.49 c 397s| 1 | 0 | 31514 | - |1886M| 0 |6530 | 55k|1282k| 55k|1282k| 56 | 0 | 0 | 0.000000e+00 | -- | Inf
592.51/592.55 c 593s| 1 | 0 | 41904 | - |1888M| 0 | 10k| 55k|1282k| 55k|1282k| 88 | 0 | 0 | 0.000000e+00 | -- | Inf
899.62/899.63 c 900s| 1 | 0 | 54086 | - |1889M| 0 | 14k| 55k|1282k| 55k|1282k| 168 | 0 | 0 | 0.000000e+00 | -- | Inf
1149.82/1149.89 c 1150s| 1 | 0 | 58605 | - |1891M| 0 | 13k| 55k|1282k| 55k|1282k| 266 | 0 | 0 | 0.000000e+00 | -- | Inf
1568.33/1568.37 c 1568s| 1 | 2 | 58605 | - |1891M| 0 | 13k| 55k|1282k| 55k|1282k| 266 | 0 | 27 | 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-3489814-1307795102/watcher-3489814-1307795102 -o /tmp/evaluation-result-3489814-1307795102/solver-3489814-1307795102 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489814-1307795102.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.00 2.00 3/177 24051
/proc/meminfo: memFree=28582408/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=11972 CPUtime=0 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 1924 0 0 0 0 0 0 0 23 0 1 0 891109097 12259328 1879 33554432000 4194304 9016284 140733378683152 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24051/statm: 2993 1892 340 1178 0 1811 0
[startup+0.070664 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24051
/proc/meminfo: memFree=28582408/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=19588 CPUtime=0.06 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 3860 0 0 0 6 0 0 0 23 0 1 0 891109097 20058112 3815 33554432000 4194304 9016284 140733378683152 18446744073709551615 4702520 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24051/statm: 4897 3815 357 1178 0 3715 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 19588
[startup+0.100654 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24051
/proc/meminfo: memFree=28582408/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=21472 CPUtime=0.09 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 4361 0 0 0 9 0 0 0 23 0 1 0 891109097 21987328 4316 33554432000 4194304 9016284 140733378683152 18446744073709551615 4760878 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24051/statm: 5368 4316 357 1178 0 4186 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21472
[startup+0.30062 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24051
/proc/meminfo: memFree=28582408/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=36780 CPUtime=0.29 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 8186 0 0 0 28 1 0 0 25 0 1 0 891109097 37662720 8141 33554432000 4194304 9016284 140733378683152 18446744073709551615 4447091 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24051/statm: 9195 8141 357 1178 0 8013 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36780
[startup+0.700549 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24051
/proc/meminfo: memFree=28582408/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=66352 CPUtime=0.69 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 15560 0 0 0 68 1 0 0 25 0 1 0 891109097 67944448 15515 33554432000 4194304 9016284 140733378683152 18446744073709551615 7296663 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24051/statm: 16588 15515 357 1178 0 15406 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 66352
[startup+1.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24052
/proc/meminfo: memFree=28496988/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=125812 CPUtime=1.49 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 30414 0 0 0 146 3 0 0 25 0 1 0 891109097 128831488 30369 33554432000 4194304 9016284 140733378683152 18446744073709551615 7870483 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24051/statm: 31453 30369 357 1178 0 30271 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 125812
[startup+3.10012 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24052
/proc/meminfo: memFree=28415520/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=242956 CPUtime=3.09 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 59651 0 0 0 302 7 0 0 25 0 1 0 891109097 248786944 59606 33554432000 4194304 9016284 140733378683152 18446744073709551615 4447114 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24051/statm: 60739 59606 357 1178 0 59557 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 242956
[startup+6.30055 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24053
/proc/meminfo: memFree=28176076/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=475984 CPUtime=6.29 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 117762 0 0 0 616 13 0 0 25 0 1 0 891109097 487407616 117717 33554432000 4194304 9016284 140733378683152 18446744073709551615 4445925 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24051/statm: 118996 117717 357 1178 0 117814 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 475984
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24053
/proc/meminfo: memFree=26973272/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=1759380 CPUtime=12.69 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 459804 0 0 0 1218 51 0 0 25 0 1 0 891109097 1801605120 431899 33554432000 4194304 9016284 140733378683152 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 439845 431899 496 1178 0 438663 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1759380
[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24053
/proc/meminfo: memFree=25441284/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3388032 CPUtime=25.49 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 1081571 0 0 0 2429 120 0 0 25 0 1 0 891109097 3469344768 784653 33554432000 4194304 9016284 140733378683152 18446744073709551615 7080755 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 847008 784653 1219 1178 0 845826 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3388032
[startup+51.1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24054
/proc/meminfo: memFree=25295244/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3512372 CPUtime=51.09 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 1119290 0 0 0 4983 126 0 0 25 0 1 0 891109097 3596668928 815360 33554432000 4194304 9016284 140733378683152 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 878093 815360 1538 1178 0 876911 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 3512372
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24055
/proc/meminfo: memFree=25236908/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3669544 CPUtime=102.3 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 1240312 0 0 0 10083 147 0 0 25 0 1 0 891109097 3757613056 832295 33554432000 4194304 9016284 140733378683152 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 917386 832295 928 1178 0 916204 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 3669544
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24057
/proc/meminfo: memFree=25259476/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3612664 CPUtime=162.3 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 1478602 0 0 0 16053 177 0 0 25 0 1 0 891109097 3699367936 830876 33554432000 4194304 9016284 140733378683152 18446744073709551615 7227598 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 903166 830876 5505 1178 0 901984 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 3612664
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24058
/proc/meminfo: memFree=25209004/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3672112 CPUtime=222.29 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 1597329 0 0 0 22034 195 0 0 25 0 1 0 891109097 3760242688 840653 33554432000 4194304 9016284 140733378683152 18446744073709551615 7870569 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 918028 840653 2857 1178 0 916846 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 3672112
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24060
/proc/meminfo: memFree=25278660/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3653640 CPUtime=282.29 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 1742241 0 0 0 28011 218 0 0 25 0 1 0 891109097 3741327360 822140 33554432000 4194304 9016284 140733378683152 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 913410 822140 1692 1178 0 912228 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 3653640
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24062
/proc/meminfo: memFree=25276680/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3666740 CPUtime=342.3 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 1874730 0 0 0 33992 238 0 0 25 0 1 0 891109097 3754741760 822561 33554432000 4194304 9016284 140733378683152 18446744073709551615 7181804 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 916685 822561 1684 1178 0 915503 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 3666740
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24063
/proc/meminfo: memFree=25275564/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3673612 CPUtime=402.3 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 1921659 0 0 0 39985 245 0 0 25 0 1 0 891109097 3761778688 822766 33554432000 4194304 9016284 140733378683152 18446744073709551615 6924823 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 918403 822766 1681 1178 0 917221 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 3673612
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24065
/proc/meminfo: memFree=25236808/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3737384 CPUtime=462.31 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 2010900 0 0 0 45970 261 0 0 25 0 1 0 891109097 3827081216 831689 33554432000 4194304 9016284 140733378683152 18446744073709551615 6971592 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 934346 831689 1302 1178 0 933164 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 3737384
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24066
/proc/meminfo: memFree=25235772/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3755256 CPUtime=522.3 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 2142224 0 0 0 51950 280 0 0 25 0 1 0 891109097 3845382144 832376 33554432000 4194304 9016284 140733378683152 18446744073709551615 7180592 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 938814 832376 1302 1178 0 937632 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 3755256
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 24097
/proc/meminfo: memFree=27999880/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3762776 CPUtime=582.3 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 2260343 0 0 0 57930 300 0 0 25 0 1 0 891109097 3853082624 832860 33554432000 4194304 9016284 140733378683152 18446744073709551615 7181387 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 940694 832860 1302 1178 0 939512 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 3762776
[startup+642.3 s]
################
# More data... #
################
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 2760572 0 0 0 105853 378 0 0 25 0 1 0 891109097 3880415232 837671 33554432000 4194304 9016284 140733378683152 18446744073709551615 7876078 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 947367 837671 1302 1178 0 946185 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 3789468
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24197
/proc/meminfo: memFree=26885004/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3759116 CPUtime=1122.32 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 2899384 0 0 0 111834 398 0 0 25 0 1 0 891109097 3849334784 827147 33554432000 4194304 9016284 140733378683152 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 939779 827147 1286 1178 0 938597 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3759116
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24199
/proc/meminfo: memFree=26886008/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3757836 CPUtime=1182.32 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 3091574 0 0 0 117806 426 0 0 25 0 1 0 891109097 3848024064 826899 33554432000 4194304 9016284 140733378683152 18446744073709551615 7180872 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 939459 826899 1287 1178 0 938277 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3757836
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24201
/proc/meminfo: memFree=26894876/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3757836 CPUtime=1242.33 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 3319526 0 0 0 123774 459 0 0 25 0 1 0 891109097 3848024064 826895 33554432000 4194304 9016284 140733378683152 18446744073709551615 7213824 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 939459 826895 1287 1178 0 938277 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3757836
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24202
/proc/meminfo: memFree=26878668/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3758676 CPUtime=1302.33 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 3492573 0 0 0 129749 484 0 0 25 0 1 0 891109097 3848884224 827270 33554432000 4194304 9016284 140733378683152 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 939669 827270 1287 1178 0 938487 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3758676
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24204
/proc/meminfo: memFree=26879616/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3757836 CPUtime=1362.33 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 3682169 0 0 0 135720 513 0 0 25 0 1 0 891109097 3848024064 827023 33554432000 4194304 9016284 140733378683152 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 939459 827023 1287 1178 0 938277 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3757836
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24205
/proc/meminfo: memFree=26879708/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3758460 CPUtime=1422.33 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 3885057 0 0 0 141691 542 0 0 25 0 1 0 891109097 3848663040 826959 33554432000 4194304 9016284 140733378683152 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 939615 826959 1287 1178 0 938433 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3758460
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24207
/proc/meminfo: memFree=26879540/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3758388 CPUtime=1482.33 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 4138447 0 0 0 147657 576 0 0 25 0 1 0 891109097 3848589312 826984 33554432000 4194304 9016284 140733378683152 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 939597 826984 1287 1178 0 938415 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3758388
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24209
/proc/meminfo: memFree=26879468/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3758388 CPUtime=1542.33 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 4436005 0 0 0 153616 617 0 0 25 0 1 0 891109097 3848589312 826986 33554432000 4194304 9016284 140733378683152 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 939597 826986 1287 1178 0 938415 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3758388
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24210
/proc/meminfo: memFree=26870368/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3768612 CPUtime=1602.33 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 4638157 0 0 0 159586 647 0 0 25 0 1 0 891109097 3859058688 829129 33554432000 4194304 9016284 140733378683152 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 942153 829129 1203 1178 0 940971 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3768612
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24212
/proc/meminfo: memFree=26865124/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3772380 CPUtime=1662.33 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 4835996 0 0 0 165556 677 0 0 25 0 1 0 891109097 3862917120 830521 33554432000 4194304 9016284 140733378683152 18446744073709551615 7221904 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 943095 830521 1203 1178 0 941913 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3772380
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24213
/proc/meminfo: memFree=26865340/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3772408 CPUtime=1722.34 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 5067722 0 0 0 171521 713 0 0 25 0 1 0 891109097 3862945792 830302 33554432000 4194304 9016284 140733378683152 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 943102 830302 1203 1178 0 941920 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3772408
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24215
/proc/meminfo: memFree=26862948/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3773244 CPUtime=1782.34 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 5363052 0 0 0 177480 754 0 0 25 0 1 0 891109097 3863801856 825431 33554432000 4194304 9016284 140733378683152 18446744073709551615 7214148 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 943311 825434 1203 1178 0 942129 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3773244
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24215
/proc/meminfo: memFree=26869360/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3772380 CPUtime=1800.04 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 5439816 0 0 0 179239 765 0 0 25 0 1 0 891109097 3862917120 829329 33554432000 4194304 9016284 140733378683152 18446744073709551615 7199008 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 943095 829329 1203 1178 0 941913 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3772380
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -24051
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24216
/proc/meminfo: memFree=26865384/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3772380 CPUtime=1801.43 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 5448417 0 0 0 179377 766 0 0 25 0 1 0 891109097 3862917120 830430 33554432000 4194304 9016284 140733378683152 18446744073709551615 7181022 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 943095 830430 1203 1178 0 941913 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 3772380
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24216
/proc/meminfo: memFree=26864888/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3772380 CPUtime=1801.84 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 5448420 0 0 0 179418 766 0 0 25 0 1 0 891109097 3862917120 830433 33554432000 4194304 9016284 140733378683152 18446744073709551615 7180891 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 943095 830433 1203 1178 0 941913 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 3772380
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24216
/proc/meminfo: memFree=26864888/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=3772380 CPUtime=1802.03 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4202496 5448421 0 0 0 179437 766 0 0 25 0 1 0 891109097 3862917120 830434 33554432000 4194304 9016284 140733378683152 18446744073709551615 6855183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/24051/statm: 943095 830434 1203 1178 0 941913 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 3772380
[startup+1802.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24216
/proc/meminfo: memFree=26864888/32950928 swapFree=67048868/67111528
[pid=24051] ppid=24049 vsize=0 CPUtime=1802.14 cores=1,3,5,7
/proc/24051/stat : 24051 (scip-2.0.1.4b_2) R 24049 24051 22429 0 -1 4203524 5448422 0 0 0 179438 776 0 0 25 0 1 0 891109097 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/24051/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.12
CPU time (s): 1802.16
CPU user time (s): 1794.39
CPU system time (s): 7.77782
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3945436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.39
system time used= 7.77782
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5448422
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= 4
involuntary context switches= 1681
runsolver used 2.50862 second user time and 6.25905 second system time
The end