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-3489243-1307755398.opb>
13.59/13.69 c original problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 2559501 constraints
13.59/13.69 c problem read
13.59/13.69 c No objective function, only one solution is needed.
13.59/13.69 c presolving settings loaded
16.98/17.05 c presolving:
30.69/30.78 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
32.98/33.07 c presolving (2 rounds):
32.98/33.07 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 5041 changed coefficients
32.98/33.07 c 4000 implications, 100 cliques
32.98/33.07 c presolved problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 2559501 constraints
32.98/33.07 c 4950 constraints of type <knapsack>
32.98/33.07 c 2100 constraints of type <setppc>
32.98/33.07 c 1 constraints of type <linear>
32.98/33.07 c 2552450 constraints of type <logicor>
32.98/33.07 c transformed objective value is always integral (scale: 1)
32.98/33.07 c Presolving Time: 16.60
32.98/33.07 c - non default parameters ----------------------------------------------------------------------
32.98/33.07 c # SCIP version 2.0.1.5
32.98/33.07 c
32.98/33.07 c # frequency for displaying node information lines
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 100]
32.98/33.07 c display/freq = 10000
32.98/33.07 c
32.98/33.07 c # maximal time in seconds to run
32.98/33.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
32.98/33.07 c limits/time = 1797
32.98/33.07 c
32.98/33.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
32.98/33.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
32.98/33.07 c limits/memory = 13950
32.98/33.07 c
32.98/33.07 c # solving stops, if the given number of solutions were found (-1: no limit)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: -1]
32.98/33.07 c limits/solutions = 1
32.98/33.07 c
32.98/33.07 c # maximal number of separation rounds per node (-1: unlimited)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 5]
32.98/33.07 c separating/maxrounds = 1
32.98/33.07 c
32.98/33.07 c # maximal number of separation rounds in the root node (-1: unlimited)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: -1]
32.98/33.07 c separating/maxroundsroot = 5
32.98/33.07 c
32.98/33.07 c # default clock type (1: CPU user seconds, 2: wall clock time)
32.98/33.07 c # [type: int, range: [1,2], default: 1]
32.98/33.07 c timing/clocktype = 2
32.98/33.07 c
32.98/33.07 c # belongs reading time to solving time?
32.98/33.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
32.98/33.07 c timing/reading = TRUE
32.98/33.07 c
32.98/33.07 c # should presolving try to simplify inequalities
32.98/33.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
32.98/33.07 c constraints/linear/simplifyinequalities = TRUE
32.98/33.07 c
32.98/33.07 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
32.98/33.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
32.98/33.07 c constraints/indicator/addCouplingCons = TRUE
32.98/33.07 c
32.98/33.07 c # should disaggregation of knapsack constraints be allowed in preprocessing?
32.98/33.07 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
32.98/33.07 c constraints/knapsack/disaggregation = FALSE
32.98/33.07 c
32.98/33.07 c # should presolving try to simplify knapsacks
32.98/33.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
32.98/33.07 c constraints/knapsack/simplifyinequalities = TRUE
32.98/33.07 c
32.98/33.07 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: -1]
32.98/33.07 c presolving/probing/maxrounds = 0
32.98/33.07 c
32.98/33.07 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 10]
32.98/33.07 c heuristics/coefdiving/freq = -1
32.98/33.07 c
32.98/33.07 c # maximal fraction of diving LP iterations compared to node LP iterations
32.98/33.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
32.98/33.07 c heuristics/coefdiving/maxlpiterquot = 0.075
32.98/33.07 c
32.98/33.07 c # additional number of allowed LP iterations
32.98/33.07 c # [type: int, range: [0,2147483647], default: 1000]
32.98/33.07 c heuristics/coefdiving/maxlpiterofs = 1500
32.98/33.07 c
32.98/33.07 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 30]
32.98/33.07 c heuristics/crossover/freq = -1
32.98/33.07 c
32.98/33.07 c # number of nodes added to the contingent of the total nodes
32.98/33.07 c # [type: longint, range: [0,9223372036854775807], default: 500]
32.98/33.07 c heuristics/crossover/nodesofs = 750
32.98/33.07 c
32.98/33.07 c # number of nodes without incumbent change that heuristic should wait
32.98/33.07 c # [type: longint, range: [0,9223372036854775807], default: 200]
32.98/33.07 c heuristics/crossover/nwaitingnodes = 100
32.98/33.07 c
32.98/33.07 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
32.98/33.07 c # [type: real, range: [0,1], default: 0.1]
32.98/33.07 c heuristics/crossover/nodesquot = 0.15
32.98/33.07 c
32.98/33.07 c # minimum percentage of integer variables that have to be fixed
32.98/33.07 c # [type: real, range: [0,1], default: 0.666]
32.98/33.07 c heuristics/crossover/minfixingrate = 0.5
32.98/33.07 c
32.98/33.07 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 20]
32.98/33.07 c heuristics/feaspump/freq = -1
32.98/33.07 c
32.98/33.07 c # additional number of allowed LP iterations
32.98/33.07 c # [type: int, range: [0,2147483647], default: 1000]
32.98/33.07 c heuristics/feaspump/maxlpiterofs = 2000
32.98/33.07 c
32.98/33.07 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 10]
32.98/33.07 c heuristics/fracdiving/freq = -1
32.98/33.07 c
32.98/33.07 c # maximal fraction of diving LP iterations compared to node LP iterations
32.98/33.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
32.98/33.07 c heuristics/fracdiving/maxlpiterquot = 0.075
32.98/33.07 c
32.98/33.07 c # additional number of allowed LP iterations
32.98/33.07 c # [type: int, range: [0,2147483647], default: 1000]
32.98/33.07 c heuristics/fracdiving/maxlpiterofs = 1500
32.98/33.07 c
32.98/33.07 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 10]
32.98/33.07 c heuristics/guideddiving/freq = -1
32.98/33.07 c
32.98/33.07 c # maximal fraction of diving LP iterations compared to node LP iterations
32.98/33.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
32.98/33.07 c heuristics/guideddiving/maxlpiterquot = 0.075
32.98/33.07 c
32.98/33.07 c # additional number of allowed LP iterations
32.98/33.07 c # [type: int, range: [0,2147483647], default: 1000]
32.98/33.07 c heuristics/guideddiving/maxlpiterofs = 1500
32.98/33.07 c
32.98/33.07 c # maximal fraction of diving LP iterations compared to node LP iterations
32.98/33.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
32.98/33.07 c heuristics/intdiving/maxlpiterquot = 0.075
32.98/33.07 c
32.98/33.07 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 10]
32.98/33.07 c heuristics/intshifting/freq = -1
32.98/33.07 c
32.98/33.07 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 10]
32.98/33.07 c heuristics/linesearchdiving/freq = -1
32.98/33.07 c
32.98/33.07 c # maximal fraction of diving LP iterations compared to node LP iterations
32.98/33.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
32.98/33.07 c heuristics/linesearchdiving/maxlpiterquot = 0.075
32.98/33.07 c
32.98/33.07 c # additional number of allowed LP iterations
32.98/33.07 c # [type: int, range: [0,2147483647], default: 1000]
32.98/33.07 c heuristics/linesearchdiving/maxlpiterofs = 1500
32.98/33.07 c
32.98/33.07 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 20]
32.98/33.07 c heuristics/objpscostdiving/freq = -1
32.98/33.07 c
32.98/33.07 c # maximal fraction of diving LP iterations compared to total iteration number
32.98/33.07 c # [type: real, range: [0,1], default: 0.01]
32.98/33.07 c heuristics/objpscostdiving/maxlpiterquot = 0.015
32.98/33.07 c
32.98/33.07 c # additional number of allowed LP iterations
32.98/33.07 c # [type: int, range: [0,2147483647], default: 1000]
32.98/33.07 c heuristics/objpscostdiving/maxlpiterofs = 1500
32.98/33.07 c
32.98/33.07 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 1]
32.98/33.07 c heuristics/oneopt/freq = -1
32.98/33.07 c
32.98/33.07 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 10]
32.98/33.07 c heuristics/pscostdiving/freq = -1
32.98/33.07 c
32.98/33.07 c # maximal fraction of diving LP iterations compared to node LP iterations
32.98/33.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
32.98/33.07 c heuristics/pscostdiving/maxlpiterquot = 0.075
32.98/33.07 c
32.98/33.07 c # additional number of allowed LP iterations
32.98/33.07 c # [type: int, range: [0,2147483647], default: 1000]
32.98/33.07 c heuristics/pscostdiving/maxlpiterofs = 1500
32.98/33.07 c
32.98/33.07 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 0]
32.98/33.07 c heuristics/rens/freq = -1
32.98/33.07 c
32.98/33.07 c # minimum percentage of integer variables that have to be fixable
32.98/33.07 c # [type: real, range: [0,1], default: 0.5]
32.98/33.07 c heuristics/rens/minfixingrate = 0.3
32.98/33.07 c
32.98/33.07 c # number of nodes added to the contingent of the total nodes
32.98/33.07 c # [type: longint, range: [0,9223372036854775807], default: 500]
32.98/33.07 c heuristics/rens/nodesofs = 2000
32.98/33.07 c
32.98/33.07 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 20]
32.98/33.07 c heuristics/rootsoldiving/freq = -1
32.98/33.07 c
32.98/33.07 c # maximal fraction of diving LP iterations compared to node LP iterations
32.98/33.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
32.98/33.07 c heuristics/rootsoldiving/maxlpiterquot = 0.015
32.98/33.07 c
32.98/33.07 c # additional number of allowed LP iterations
32.98/33.07 c # [type: int, range: [0,2147483647], default: 1000]
32.98/33.07 c heuristics/rootsoldiving/maxlpiterofs = 1500
32.98/33.07 c
32.98/33.07 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 1]
32.98/33.07 c heuristics/rounding/freq = -1
32.98/33.07 c
32.98/33.07 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 0]
32.98/33.07 c heuristics/shiftandpropagate/freq = -1
32.98/33.07 c
32.98/33.07 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 10]
32.98/33.07 c heuristics/shifting/freq = -1
32.98/33.07 c
32.98/33.07 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 1]
32.98/33.07 c heuristics/simplerounding/freq = -1
32.98/33.07 c
32.98/33.07 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 1]
32.98/33.07 c heuristics/subnlp/freq = -1
32.98/33.07 c
32.98/33.07 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 0]
32.98/33.07 c heuristics/trivial/freq = -1
32.98/33.07 c
32.98/33.07 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 1]
32.98/33.07 c heuristics/trysol/freq = -1
32.98/33.07 c
32.98/33.07 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 0]
32.98/33.07 c heuristics/undercover/freq = -1
32.98/33.07 c
32.98/33.07 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 10]
32.98/33.07 c heuristics/veclendiving/freq = -1
32.98/33.07 c
32.98/33.07 c # maximal fraction of diving LP iterations compared to node LP iterations
32.98/33.07 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
32.98/33.07 c heuristics/veclendiving/maxlpiterquot = 0.075
32.98/33.07 c
32.98/33.07 c # additional number of allowed LP iterations
32.98/33.07 c # [type: int, range: [0,2147483647], default: 1000]
32.98/33.07 c heuristics/veclendiving/maxlpiterofs = 1500
32.98/33.07 c
32.98/33.07 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 1]
32.98/33.07 c heuristics/zirounding/freq = -1
32.98/33.07 c
32.98/33.07 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 0]
32.98/33.07 c separating/cmir/freq = -1
32.98/33.07 c
32.98/33.07 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: 0]
32.98/33.07 c separating/flowcover/freq = -1
32.98/33.07 c
32.98/33.07 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
32.98/33.07 c # [type: int, range: [-1,2147483647], default: -1]
32.98/33.07 c separating/rapidlearning/freq = 0
32.98/33.07 c
32.98/33.07 c -----------------------------------------------------------------------------------------------
32.98/33.07 c start solving
33.17/33.26 c
107.06/107.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.06/107.10 c 107s| 1 | 0 | 2206 | - |3200M| 0 | 204 |4500 |2559k|4500 |2559k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
196.27/196.31 c 196s| 1 | 0 | 3144 | - |3200M| 0 | 316 |4500 |2559k|4500 |2559k| 26 | 0 | 0 | 0.000000e+00 | -- | Inf
393.37/393.47 c 393s| 1 | 0 | 5337 | - |3200M| 0 | 620 |4500 |2559k|4500 |2559k| 51 | 0 | 0 | 0.000000e+00 | -- | Inf
636.18/636.20 c 636s| 1 | 0 | 8266 | - |3201M| 0 | 589 |4500 |2559k|4500 |2559k| 81 | 0 | 0 | 0.000000e+00 | -- | Inf
1028.19/1028.20 c 1028s| 1 | 0 | 13179 | - |3201M| 0 | 555 |4500 |2559k|4500 |2559k| 101 | 0 | 0 | 0.000000e+00 | -- | Inf
1208.29/1208.38 c 1208s| 1 | 0 | 14739 | - |3201M| 0 | 456 |4500 |2559k|4500 |2559k| 129 | 0 | 0 | 0.000000e+00 | -- | Inf
1643.80/1643.85 c 1644s| 1 | 2 | 14739 | - |3201M| 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-3489243-1307755398/watcher-3489243-1307755398 -o /tmp/evaluation-result-3489243-1307755398/solver-3489243-1307755398 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489243-1307755398.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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: 1.99 1.98 1.91 3/177 7009
/proc/meminfo: memFree=31358680/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=9580 CPUtime=0 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 1524 0 0 0 0 0 0 0 24 0 1 0 887142813 9809920 1478 33554432000 4194304 9016284 140734841352176 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7009/statm: 2395 1481 311 1178 0 1213 0
[startup+0.027391 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 7009
/proc/meminfo: memFree=31358680/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=17156 CPUtime=0.02 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 3263 0 0 0 2 0 0 0 24 0 1 0 887142813 17567744 3217 33554432000 4194304 9016284 140734841352176 18446744073709551615 7987594 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7009/statm: 4289 3217 357 1178 0 3107 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17156
[startup+0.100391 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 7009
/proc/meminfo: memFree=31358680/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=23612 CPUtime=0.09 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 4899 0 0 0 9 0 0 0 24 0 1 0 887142813 24178688 4853 33554432000 4194304 9016284 140734841352176 18446744073709551615 4447109 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7009/statm: 5903 4853 357 1178 0 4721 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23612
[startup+0.30035 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 7009
/proc/meminfo: memFree=31358680/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=37472 CPUtime=0.29 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 8346 0 0 0 29 0 0 0 25 0 1 0 887142813 38371328 8300 33554432000 4194304 9016284 140734841352176 18446744073709551615 7870483 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7009/statm: 9368 8300 357 1178 0 8186 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37472
[startup+0.700278 s]
/proc/loadavg: 1.99 1.98 1.91 3/177 7009
/proc/meminfo: memFree=31358680/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=66032 CPUtime=0.69 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 15499 0 0 0 68 1 0 0 25 0 1 0 887142813 67616768 15453 33554432000 4194304 9016284 140734841352176 18446744073709551615 7870478 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7009/statm: 16508 15453 357 1178 0 15326 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 66032
[startup+1.50115 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 7010
/proc/meminfo: memFree=31277348/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=124540 CPUtime=1.48 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 30030 0 0 0 146 2 0 0 25 0 1 0 887142813 127528960 29984 33554432000 4194304 9016284 140734841352176 18446744073709551615 7854944 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7009/statm: 31135 29984 357 1178 0 29953 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 124540
[startup+3.10079 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 7010
/proc/meminfo: memFree=31196500/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=239104 CPUtime=3.08 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 58559 0 0 0 302 6 0 0 25 0 1 0 887142813 244842496 58513 33554432000 4194304 9016284 140734841352176 18446744073709551615 6180797 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/7009/statm: 59776 58513 357 1178 0 58594 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 239104
[startup+6.30029 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 7010
/proc/meminfo: memFree=30961024/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=468600 CPUtime=6.28 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 116123 0 0 0 616 12 0 0 25 0 1 0 887142813 479846400 116077 33554432000 4194304 9016284 140734841352176 18446744073709551615 7753112 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7009/statm: 117150 116077 357 1178 0 115968 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 468600
[startup+12.7012 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 7010
/proc/meminfo: memFree=30487980/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=928496 CPUtime=12.69 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 230935 0 0 0 1244 25 0 0 25 0 1 0 887142813 950779904 230889 33554432000 4194304 9016284 140734841352176 18446744073709551615 7874926 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7009/statm: 232124 230889 357 1178 0 230942 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 928496
[startup+25.5009 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 7010
/proc/meminfo: memFree=28130328/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=3310648 CPUtime=25.48 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 889005 0 0 0 2454 94 0 0 25 0 1 0 887142813 3390103552 814380 33554432000 4194304 9016284 140734841352176 18446744073709551615 7847678 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7009/statm: 827662 814380 485 1178 0 826480 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3310648
[startup+51.1003 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 7049
/proc/meminfo: memFree=25859772/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=6183284 CPUtime=51.07 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 2041123 0 0 0 4889 218 0 0 25 0 1 0 887142813 6331682816 1436542 33554432000 4194304 9016284 140734841352176 18446744073709551615 7180372 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/7009/statm: 1545821 1436542 1885 1178 0 1544639 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 6183284
[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 7050
/proc/meminfo: memFree=20208200/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=6216432 CPUtime=102.27 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 2051492 0 0 0 10006 221 0 0 25 0 1 0 887142813 6365626368 1443571 33554432000 4194304 9016284 140734841352176 18446744073709551615 7180372 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1554108 1443571 1246 1178 0 1552926 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 6216432
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 7052
/proc/meminfo: memFree=20895908/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=5872384 CPUtime=162.26 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 2244674 0 0 0 15980 246 0 0 25 0 1 0 887142813 6013321216 1371804 33554432000 4194304 9016284 140734841352176 18446744073709551615 7180372 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1468096 1371804 4828 1178 0 1466914 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 5872384
[startup+222.301 s]
/proc/loadavg: 2.03 2.00 1.91 3/178 7053
/proc/meminfo: memFree=20697956/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=5954188 CPUtime=222.26 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 2259881 0 0 0 21977 249 0 0 25 0 1 0 887142813 6097088512 1383052 33554432000 4194304 9016284 140734841352176 18446744073709551615 6922753 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1488547 1383052 2755 1178 0 1487365 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 5954188
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 7055
/proc/meminfo: memFree=20635800/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=6007584 CPUtime=282.27 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 2325149 0 0 0 27968 259 0 0 25 0 1 0 887142813 6151766016 1394145 33554432000 4194304 9016284 140734841352176 18446744073709551615 7178154 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1501896 1394145 2705 1178 0 1500714 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 6007584
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 7057
/proc/meminfo: memFree=20615052/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=6036896 CPUtime=342.27 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 2345291 0 0 0 33966 261 0 0 25 0 1 0 887142813 6181781504 1399376 33554432000 4194304 9016284 140734841352176 18446744073709551615 7180382 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1509224 1399376 2705 1178 0 1508042 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 6036896
[startup+402.301 s]
/proc/loadavg: 2.06 2.01 1.92 3/178 7058
/proc/meminfo: memFree=20595292/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=6061136 CPUtime=402.27 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 2361387 0 0 0 39963 264 0 0 25 0 1 0 887142813 6206603264 1400868 33554432000 4194304 9016284 140734841352176 18446744073709551615 6578056 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1515284 1400868 2705 1178 0 1514102 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 6061136
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/178 7060
/proc/meminfo: memFree=20599196/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=6107788 CPUtime=462.27 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 2423624 0 0 0 45954 273 0 0 25 0 1 0 887142813 6254374912 1402548 33554432000 4194304 9016284 140734841352176 18446744073709551615 6855173 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1526947 1402548 5218 1178 0 1525765 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 6107788
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 7061
/proc/meminfo: memFree=20523264/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=6155836 CPUtime=522.27 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 2464692 0 0 0 51948 279 0 0 25 0 1 0 887142813 6303576064 1415264 33554432000 4194304 9016284 140734841352176 18446744073709551615 6855218 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1538959 1415264 2705 1178 0 1537777 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 6155836
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 7063
/proc/meminfo: memFree=20510312/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=6155836 CPUtime=582.27 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 2482143 0 0 0 57945 282 0 0 25 0 1 0 887142813 6303576064 1415090 33554432000 4194304 9016284 140734841352176 18446744073709551615 6971837 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1538959 1415090 2705 1178 0 1537777 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 6155836
[startup+642.3 s]
################
# More data... #
################
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 2656836 0 0 0 99919 310 0 0 25 0 1 0 887142813 6349537280 1422766 33554432000 4194304 9016284 140734841352176 18446744073709551615 7152978 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1550180 1422766 6164 1178 0 1548998 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 6200720
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 7076
/proc/meminfo: memFree=20475576/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=6200720 CPUtime=1062.29 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 2667710 0 0 0 105917 312 0 0 25 0 1 0 887142813 6349537280 1422797 33554432000 4194304 9016284 140734841352176 18446744073709551615 7870559 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1550180 1422797 3888 1178 0 1548998 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 6200720
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 7077
/proc/meminfo: memFree=20512104/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=6065924 CPUtime=1122.29 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 2713416 0 0 0 111909 320 0 0 25 0 1 0 887142813 6211506176 1404909 33554432000 4194304 9016284 140734841352176 18446744073709551615 7180540 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1516481 1404909 2705 1178 0 1515299 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 6065924
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 7079
/proc/meminfo: memFree=20454628/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=6117180 CPUtime=1182.29 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 2743716 0 0 0 117905 324 0 0 25 0 1 0 887142813 6263992320 1416843 33554432000 4194304 9016284 140734841352176 18446744073709551615 7180536 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1529295 1416843 3314 1178 0 1528113 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 6117180
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 7081
/proc/meminfo: memFree=20509508/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=6092020 CPUtime=1242.3 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 2772931 0 0 0 123900 330 0 0 25 0 1 0 887142813 6238228480 1408185 33554432000 4194304 9016284 140734841352176 18446744073709551615 7180692 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1523005 1408185 2706 1178 0 1521823 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 6092020
[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 1.94 3/178 7082
/proc/meminfo: memFree=20454772/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=6167520 CPUtime=1302.3 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 2824207 0 0 0 129893 337 0 0 25 0 1 0 887142813 6315540480 1418535 33554432000 4194304 9016284 140734841352176 18446744073709551615 7181022 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1541880 1418535 5129 1178 0 1540698 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 6167520
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 7084
/proc/meminfo: memFree=20461032/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=6098004 CPUtime=1362.3 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 2923743 0 0 0 135879 351 0 0 25 0 1 0 887142813 6244356096 1409107 33554432000 4194304 9016284 140734841352176 18446744073709551615 6971597 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1524501 1409107 3237 1178 0 1523319 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 6098004
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 7085
/proc/meminfo: memFree=20462344/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=6091956 CPUtime=1422.3 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 3060494 0 0 0 141862 368 0 0 25 0 1 0 887142813 6238162944 1408713 33554432000 4194304 9016284 140734841352176 18446744073709551615 7080750 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1522989 1408713 3237 1178 0 1521807 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 6091956
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 7087
/proc/meminfo: memFree=20463644/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=6091992 CPUtime=1482.3 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 3156913 0 0 0 147847 383 0 0 25 0 1 0 887142813 6238199808 1409150 33554432000 4194304 9016284 140734841352176 18446744073709551615 6855218 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1522998 1409150 3237 1178 0 1521816 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 6091992
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/178 7089
/proc/meminfo: memFree=20449584/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=6099564 CPUtime=1542.31 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 3252369 0 0 0 153835 396 0 0 25 0 1 0 887142813 6245953536 1410420 33554432000 4194304 9016284 140734841352176 18446744073709551615 7180592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1524891 1410420 3237 1178 0 1523709 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 6099564
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/178 7090
/proc/meminfo: memFree=20395844/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=6148088 CPUtime=1602.3 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 3405259 0 0 0 159814 416 0 0 25 0 1 0 887142813 6295642112 1417313 33554432000 4194304 9016284 140734841352176 18446744073709551615 6863423 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1537022 1417313 5660 1178 0 1535840 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 6148088
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 7092
/proc/meminfo: memFree=20382148/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=6136216 CPUtime=1662.31 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 3507509 0 0 0 165801 430 0 0 25 0 1 0 887142813 6283485184 1422036 33554432000 4194304 9016284 140734841352176 18446744073709551615 6863428 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1534054 1422036 2714 1178 0 1532872 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 6136216
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 7093
/proc/meminfo: memFree=20379864/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=6171056 CPUtime=1722.31 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 3526405 0 0 0 171797 434 0 0 25 0 1 0 887142813 6319161344 1422643 33554432000 4194304 9016284 140734841352176 18446744073709551615 6971634 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1542764 1422643 2714 1178 0 1541582 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 6171056
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 7095
/proc/meminfo: memFree=20414012/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=6089180 CPUtime=1782.31 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 3643005 0 0 0 177782 449 0 0 25 0 1 0 887142813 6235320320 1412932 33554432000 4194304 9016284 140734841352176 18446744073709551615 7198896 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1522295 1412932 2714 1178 0 1521113 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 6089180
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 7096
/proc/meminfo: memFree=20347404/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=6145836 CPUtime=1800.01 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 3678911 0 0 0 179547 454 0 0 25 0 1 0 887142813 6293336064 1422868 33554432000 4194304 9016284 140734841352176 18446744073709551615 7180679 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1536459 1422868 2714 1178 0 1535277 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 6145836
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -7009
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 7097
/proc/meminfo: memFree=20347024/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=6145836 CPUtime=1801.4 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 3679062 0 0 0 179686 454 0 0 25 0 1 0 887142813 6293336064 1423019 33554432000 4194304 9016284 140734841352176 18446744073709551615 7180592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1536459 1423019 2714 1178 0 1535277 0
Current children cumulated CPU time (s) 1801.4
Current children cumulated vsize (KiB) 6145836
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 7097
/proc/meminfo: memFree=20346776/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=6145836 CPUtime=1801.81 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4202496 3679082 0 0 0 179727 454 0 0 25 0 1 0 887142813 6293336064 1423039 33554432000 4194304 9016284 140734841352176 18446744073709551615 6863440 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/7009/statm: 1536459 1423039 2714 1178 0 1535277 0
Current children cumulated CPU time (s) 1801.81
Current children cumulated vsize (KiB) 6145836
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 7097
/proc/meminfo: memFree=20346776/32951124 swapFree=67050780/67111528
[pid=7009] ppid=7007 vsize=0 CPUtime=1802.21 cores=0,2,4,6
/proc/7009/stat : 7009 (scip-2.0.1.4b_2) R 7007 7009 1779 0 -1 4203524 3679116 0 0 0 179747 474 0 0 25 0 1 0 887142813 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/7009/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.21
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.24
CPU time (s): 1802.26
CPU user time (s): 1797.48
CPU system time (s): 4.77827
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 6536384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.48
system time used= 4.77827
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3679116
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= 3
involuntary context switches= 2824
runsolver used 3.22851 second user time and 6.39003 second system time
The end