0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3451325-1307070422.opb>
17.10/17.17 c original problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 2559501 constraints
17.10/17.17 c problem read
17.10/17.17 c No objective function, only one solution is needed.
17.10/17.17 c presolving settings loaded
20.49/20.56 c presolving:
34.80/34.80 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
37.09/37.11 c presolving (2 rounds):
37.09/37.11 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 5050 changed coefficients
37.09/37.11 c 4000 implications, 100 cliques
37.09/37.11 c presolved problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 2559501 constraints
37.09/37.11 c 4950 constraints of type <knapsack>
37.09/37.11 c 2100 constraints of type <setppc>
37.09/37.11 c 1 constraints of type <linear>
37.09/37.11 c 2552450 constraints of type <logicor>
37.09/37.11 c transformed objective value is always integral (scale: 1)
37.09/37.11 c Presolving Time: 17.10
37.09/37.11 c - non default parameters ----------------------------------------------------------------------
37.09/37.11 c # SCIP version 2.0.1.5
37.09/37.11 c
37.09/37.11 c # frequency for displaying node information lines
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 100]
37.09/37.11 c display/freq = 10000
37.09/37.11 c
37.09/37.11 c # maximal time in seconds to run
37.09/37.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
37.09/37.11 c limits/time = 1800
37.09/37.11 c
37.09/37.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
37.09/37.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
37.09/37.11 c limits/memory = 13950
37.09/37.11 c
37.09/37.11 c # solving stops, if the given number of solutions were found (-1: no limit)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: -1]
37.09/37.11 c limits/solutions = 1
37.09/37.11 c
37.09/37.11 c # maximal number of separation rounds per node (-1: unlimited)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 5]
37.09/37.11 c separating/maxrounds = 1
37.09/37.11 c
37.09/37.11 c # maximal number of separation rounds in the root node (-1: unlimited)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: -1]
37.09/37.11 c separating/maxroundsroot = 5
37.09/37.11 c
37.09/37.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
37.09/37.11 c # [type: int, range: [1,2], default: 1]
37.09/37.11 c timing/clocktype = 2
37.09/37.11 c
37.09/37.11 c # belongs reading time to solving time?
37.09/37.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
37.09/37.11 c timing/reading = TRUE
37.09/37.11 c
37.09/37.11 c # should presolving try to simplify inequalities
37.09/37.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
37.09/37.11 c constraints/linear/simplifyinequalities = TRUE
37.09/37.11 c
37.09/37.11 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
37.09/37.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
37.09/37.11 c constraints/indicator/addCouplingCons = TRUE
37.09/37.11 c
37.09/37.11 c # should disaggregation of knapsack constraints be allowed in preprocessing?
37.09/37.11 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
37.09/37.11 c constraints/knapsack/disaggregation = FALSE
37.09/37.11 c
37.09/37.11 c # should presolving try to simplify knapsacks
37.09/37.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
37.09/37.11 c constraints/knapsack/simplifyinequalities = TRUE
37.09/37.11 c
37.09/37.11 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: -1]
37.09/37.11 c presolving/probing/maxrounds = 0
37.09/37.11 c
37.09/37.11 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 10]
37.09/37.11 c heuristics/coefdiving/freq = -1
37.09/37.11 c
37.09/37.11 c # maximal fraction of diving LP iterations compared to node LP iterations
37.09/37.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.09/37.11 c heuristics/coefdiving/maxlpiterquot = 0.075
37.09/37.11 c
37.09/37.11 c # additional number of allowed LP iterations
37.09/37.11 c # [type: int, range: [0,2147483647], default: 1000]
37.09/37.11 c heuristics/coefdiving/maxlpiterofs = 1500
37.09/37.11 c
37.09/37.11 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 30]
37.09/37.11 c heuristics/crossover/freq = -1
37.09/37.11 c
37.09/37.11 c # number of nodes added to the contingent of the total nodes
37.09/37.11 c # [type: longint, range: [0,9223372036854775807], default: 500]
37.09/37.11 c heuristics/crossover/nodesofs = 750
37.09/37.11 c
37.09/37.11 c # number of nodes without incumbent change that heuristic should wait
37.09/37.11 c # [type: longint, range: [0,9223372036854775807], default: 200]
37.09/37.11 c heuristics/crossover/nwaitingnodes = 100
37.09/37.11 c
37.09/37.11 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
37.09/37.11 c # [type: real, range: [0,1], default: 0.1]
37.09/37.11 c heuristics/crossover/nodesquot = 0.15
37.09/37.11 c
37.09/37.11 c # minimum percentage of integer variables that have to be fixed
37.09/37.11 c # [type: real, range: [0,1], default: 0.666]
37.09/37.11 c heuristics/crossover/minfixingrate = 0.5
37.09/37.11 c
37.09/37.11 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 20]
37.09/37.11 c heuristics/feaspump/freq = -1
37.09/37.11 c
37.09/37.11 c # additional number of allowed LP iterations
37.09/37.11 c # [type: int, range: [0,2147483647], default: 1000]
37.09/37.11 c heuristics/feaspump/maxlpiterofs = 2000
37.09/37.11 c
37.09/37.11 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 10]
37.09/37.11 c heuristics/fracdiving/freq = -1
37.09/37.11 c
37.09/37.11 c # maximal fraction of diving LP iterations compared to node LP iterations
37.09/37.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.09/37.11 c heuristics/fracdiving/maxlpiterquot = 0.075
37.09/37.11 c
37.09/37.11 c # additional number of allowed LP iterations
37.09/37.11 c # [type: int, range: [0,2147483647], default: 1000]
37.09/37.11 c heuristics/fracdiving/maxlpiterofs = 1500
37.09/37.11 c
37.09/37.11 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 10]
37.09/37.11 c heuristics/guideddiving/freq = -1
37.09/37.11 c
37.09/37.11 c # maximal fraction of diving LP iterations compared to node LP iterations
37.09/37.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.09/37.11 c heuristics/guideddiving/maxlpiterquot = 0.075
37.09/37.11 c
37.09/37.11 c # additional number of allowed LP iterations
37.09/37.11 c # [type: int, range: [0,2147483647], default: 1000]
37.09/37.11 c heuristics/guideddiving/maxlpiterofs = 1500
37.09/37.11 c
37.09/37.11 c # maximal fraction of diving LP iterations compared to node LP iterations
37.09/37.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.09/37.11 c heuristics/intdiving/maxlpiterquot = 0.075
37.09/37.11 c
37.09/37.11 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 10]
37.09/37.11 c heuristics/intshifting/freq = -1
37.09/37.11 c
37.09/37.11 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 10]
37.09/37.11 c heuristics/linesearchdiving/freq = -1
37.09/37.11 c
37.09/37.11 c # maximal fraction of diving LP iterations compared to node LP iterations
37.09/37.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.09/37.11 c heuristics/linesearchdiving/maxlpiterquot = 0.075
37.09/37.11 c
37.09/37.11 c # additional number of allowed LP iterations
37.09/37.11 c # [type: int, range: [0,2147483647], default: 1000]
37.09/37.11 c heuristics/linesearchdiving/maxlpiterofs = 1500
37.09/37.11 c
37.09/37.11 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 20]
37.09/37.11 c heuristics/objpscostdiving/freq = -1
37.09/37.11 c
37.09/37.11 c # maximal fraction of diving LP iterations compared to total iteration number
37.09/37.11 c # [type: real, range: [0,1], default: 0.01]
37.09/37.11 c heuristics/objpscostdiving/maxlpiterquot = 0.015
37.09/37.11 c
37.09/37.11 c # additional number of allowed LP iterations
37.09/37.11 c # [type: int, range: [0,2147483647], default: 1000]
37.09/37.11 c heuristics/objpscostdiving/maxlpiterofs = 1500
37.09/37.11 c
37.09/37.11 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 1]
37.09/37.11 c heuristics/oneopt/freq = -1
37.09/37.11 c
37.09/37.11 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 10]
37.09/37.11 c heuristics/pscostdiving/freq = -1
37.09/37.11 c
37.09/37.11 c # maximal fraction of diving LP iterations compared to node LP iterations
37.09/37.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.09/37.11 c heuristics/pscostdiving/maxlpiterquot = 0.075
37.09/37.11 c
37.09/37.11 c # additional number of allowed LP iterations
37.09/37.11 c # [type: int, range: [0,2147483647], default: 1000]
37.09/37.11 c heuristics/pscostdiving/maxlpiterofs = 1500
37.09/37.11 c
37.09/37.11 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 0]
37.09/37.11 c heuristics/rens/freq = -1
37.09/37.11 c
37.09/37.11 c # minimum percentage of integer variables that have to be fixable
37.09/37.11 c # [type: real, range: [0,1], default: 0.5]
37.09/37.11 c heuristics/rens/minfixingrate = 0.3
37.09/37.11 c
37.09/37.11 c # number of nodes added to the contingent of the total nodes
37.09/37.11 c # [type: longint, range: [0,9223372036854775807], default: 500]
37.09/37.11 c heuristics/rens/nodesofs = 2000
37.09/37.11 c
37.09/37.11 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 20]
37.09/37.11 c heuristics/rootsoldiving/freq = -1
37.09/37.11 c
37.09/37.11 c # maximal fraction of diving LP iterations compared to node LP iterations
37.09/37.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
37.09/37.11 c heuristics/rootsoldiving/maxlpiterquot = 0.015
37.09/37.11 c
37.09/37.11 c # additional number of allowed LP iterations
37.09/37.11 c # [type: int, range: [0,2147483647], default: 1000]
37.09/37.11 c heuristics/rootsoldiving/maxlpiterofs = 1500
37.09/37.11 c
37.09/37.11 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 1]
37.09/37.11 c heuristics/rounding/freq = -1
37.09/37.11 c
37.09/37.11 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 0]
37.09/37.11 c heuristics/shiftandpropagate/freq = -1
37.09/37.11 c
37.09/37.11 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 10]
37.09/37.11 c heuristics/shifting/freq = -1
37.09/37.11 c
37.09/37.11 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 1]
37.09/37.11 c heuristics/simplerounding/freq = -1
37.09/37.11 c
37.09/37.11 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 1]
37.09/37.11 c heuristics/subnlp/freq = -1
37.09/37.11 c
37.09/37.11 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 0]
37.09/37.11 c heuristics/trivial/freq = -1
37.09/37.11 c
37.09/37.11 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 1]
37.09/37.11 c heuristics/trysol/freq = -1
37.09/37.11 c
37.09/37.11 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 0]
37.09/37.11 c heuristics/undercover/freq = -1
37.09/37.11 c
37.09/37.11 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 10]
37.09/37.11 c heuristics/veclendiving/freq = -1
37.09/37.11 c
37.09/37.11 c # maximal fraction of diving LP iterations compared to node LP iterations
37.09/37.11 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.09/37.11 c heuristics/veclendiving/maxlpiterquot = 0.075
37.09/37.11 c
37.09/37.11 c # additional number of allowed LP iterations
37.09/37.11 c # [type: int, range: [0,2147483647], default: 1000]
37.09/37.11 c heuristics/veclendiving/maxlpiterofs = 1500
37.09/37.11 c
37.09/37.11 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 1]
37.09/37.11 c heuristics/zirounding/freq = -1
37.09/37.11 c
37.09/37.11 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 0]
37.09/37.11 c separating/cmir/freq = -1
37.09/37.11 c
37.09/37.11 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: 0]
37.09/37.11 c separating/flowcover/freq = -1
37.09/37.11 c
37.09/37.11 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
37.09/37.11 c # [type: int, range: [-1,2147483647], default: -1]
37.09/37.11 c separating/rapidlearning/freq = 0
37.09/37.11 c
37.09/37.11 c -----------------------------------------------------------------------------------------------
37.09/37.11 c start solving
37.19/37.30 c
121.57/121.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.57/121.68 c 122s| 1 | 0 | 2273 | - |3200M| 0 | 189 |4500 |2559k|4500 |2559k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
191.16/191.26 c 191s| 1 | 0 | 2522 | - |3200M| 0 | 185 |4500 |2559k|4500 |2559k| 22 | 0 | 0 | 0.000000e+00 | -- | Inf
342.86/342.96 c 343s| 1 | 0 | 4309 | - |3201M| 0 | 255 |4500 |2559k|4500 |2559k| 48 | 0 | 0 | 0.000000e+00 | -- | Inf
630.44/630.54 c 631s| 1 | 0 | 7970 | - |3201M| 0 | 266 |4500 |2559k|4500 |2559k| 66 | 0 | 0 | 0.000000e+00 | -- | Inf
760.24/760.32 c 760s| 1 | 0 | 9258 | - |3201M| 0 | 307 |4500 |2559k|4500 |2559k| 82 | 0 | 0 | 0.000000e+00 | -- | Inf
988.54/988.64 c 989s| 1 | 0 | 12094 | - |3201M| 0 | 318 |4500 |2559k|4500 |2559k| 97 | 0 | 0 | 0.000000e+00 | -- | Inf
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3451325-1307070422/watcher-3451325-1307070422 -o /tmp/evaluation-result-3451325-1307070422/solver-3451325-1307070422 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451325-1307070422.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: 2.18 2.04 1.94 2/327 17236
/proc/meminfo: memFree=21706732/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=13880 CPUtime=0 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 2448 0 0 0 0 0 0 0 22 0 1 0 897272971 14213120 2402 33554432000 4194304 9163163 140737360632912 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17236/statm: 3470 2408 392 1214 0 2252 0
[startup+0.0494619 s]
/proc/loadavg: 2.18 2.04 1.94 2/327 17236
/proc/meminfo: memFree=21706732/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=19032 CPUtime=0.04 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 3736 0 0 0 4 0 0 0 22 0 1 0 897272971 19488768 3689 33554432000 4194304 9163163 140737360632912 18446744073709551615 8041824 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17236/statm: 4758 3689 392 1214 0 3540 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19032
[startup+0.10045 s]
/proc/loadavg: 2.18 2.04 1.94 2/327 17236
/proc/meminfo: memFree=21706732/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=21552 CPUtime=0.09 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 4381 0 0 0 9 0 0 0 22 0 1 0 897272971 22069248 4334 33554432000 4194304 9163163 140737360632912 18446744073709551615 8031040 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17236/statm: 5388 4334 392 1214 0 4170 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21552
[startup+0.300421 s]
/proc/loadavg: 2.18 2.04 1.94 2/327 17236
/proc/meminfo: memFree=21706732/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=33780 CPUtime=0.29 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 7441 0 0 0 28 1 0 0 23 0 1 0 897272971 34590720 7394 33554432000 4194304 9163163 140737360632912 18446744073709551615 8047486 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17236/statm: 8445 7394 392 1214 0 7227 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33780
[startup+0.700339 s]
/proc/loadavg: 2.18 2.04 1.94 2/327 17236
/proc/meminfo: memFree=21706732/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=56384 CPUtime=0.69 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 13081 0 0 0 68 1 0 0 25 0 1 0 897272971 57737216 13034 33554432000 4194304 9163163 140737360632912 18446744073709551615 8041849 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17236/statm: 14096 13034 392 1214 0 12878 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56384
[startup+1.5012 s]
/proc/loadavg: 2.18 2.04 1.94 3/328 17237
/proc/meminfo: memFree=21637528/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=103356 CPUtime=1.49 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 24826 0 0 0 146 3 0 0 25 0 1 0 897272971 105836544 24779 33554432000 4194304 9163163 140737360632912 18446744073709551615 7962225 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17236/statm: 25839 24779 392 1214 0 24621 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 103356
[startup+3.10087 s]
/proc/loadavg: 2.17 2.04 1.94 3/328 17237
/proc/meminfo: memFree=21551100/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=195108 CPUtime=3.09 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 47752 0 0 0 303 6 0 0 25 0 1 0 897272971 199790592 47705 33554432000 4194304 9163163 140737360632912 18446744073709551615 8041844 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17236/statm: 48777 47705 392 1214 0 47559 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 195108
[startup+6.3003 s]
/proc/loadavg: 2.17 2.04 1.94 3/328 17237
/proc/meminfo: memFree=21386208/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=379020 CPUtime=6.29 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 93662 0 0 0 617 12 0 0 25 0 1 0 897272971 388116480 93615 33554432000 4194304 9163163 140737360632912 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17236/statm: 94755 93615 392 1214 0 93537 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 379020
[startup+12.7011 s]
/proc/loadavg: 2.14 2.04 1.94 3/328 17237
/proc/meminfo: memFree=20978396/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=749380 CPUtime=12.69 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 185903 0 0 0 1247 22 0 0 25 0 1 0 897272971 767365120 185857 33554432000 4194304 9163163 140737360632912 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17236/statm: 187345 185888 392 1214 0 186127 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 749380
[startup+25.5008 s]
/proc/loadavg: 2.12 2.04 1.94 3/328 17238
/proc/meminfo: memFree=18862356/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=2896780 CPUtime=25.49 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 781946 0 0 0 2456 93 0 0 25 0 1 0 897272971 2966302720 715399 33554432000 4194304 9163163 140737360632912 18446744073709551615 4338416 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17236/statm: 724195 715399 509 1214 0 722977 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2896780
[startup+51.1011 s]
/proc/loadavg: 2.16 2.05 1.95 3/328 17238
/proc/meminfo: memFree=15985116/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=6144712 CPUtime=51.07 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 2024490 0 0 0 4880 227 0 0 25 0 1 0 897272971 6292185088 1430642 33554432000 4194304 9163163 140737360632912 18446744073709551615 7311820 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17236/statm: 1536178 1430642 2621 1214 0 1534960 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 6144712
[startup+102.313 s]
/proc/loadavg: 2.10 2.05 1.95 3/328 17240
/proc/meminfo: memFree=15929084/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=6199200 CPUtime=102.28 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 2042218 0 0 0 9998 230 0 0 25 0 1 0 897272971 6347980800 1443460 33554432000 4194304 9163163 140737360632912 18446744073709551615 7345767 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17236/statm: 1549800 1443460 2450 1214 0 1548582 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 6199200
[startup+162.301 s]
/proc/loadavg: 2.03 2.04 1.95 3/328 17241
/proc/meminfo: memFree=16282612/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=5591628 CPUtime=162.26 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 2148939 0 0 0 15982 244 0 0 25 0 1 0 897272971 5725827072 1340358 33554432000 4194304 9163163 140737360632912 18446744073709551615 8045827 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17236/statm: 1397907 1340358 725 1214 0 1396689 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 5591628
[startup+222.301 s]
/proc/loadavg: 2.01 2.03 1.95 3/328 17243
/proc/meminfo: memFree=16148644/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=5857180 CPUtime=222.27 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 2228494 0 0 0 21973 254 0 0 25 0 1 0 897272971 5997752320 1380110 33554432000 4194304 9163163 140737360632912 18446744073709551615 6676863 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17236/statm: 1464295 1380110 1548 1214 0 1463077 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 5857180
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 1.95 3/328 17244
/proc/meminfo: memFree=16049296/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=5965780 CPUtime=282.27 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 2275573 0 0 0 27967 260 0 0 25 0 1 0 897272971 6108958720 1401391 33554432000 4194304 9163163 140737360632912 18446744073709551615 7348080 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17236/statm: 1491445 1401391 2432 1214 0 1490227 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 5965780
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 1.95 3/328 17246
/proc/meminfo: memFree=16058732/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=5967288 CPUtime=342.26 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 2276274 0 0 0 33965 261 0 0 25 0 1 0 897272971 6110502912 1401392 33554432000 4194304 9163163 140737360632912 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17236/statm: 1491822 1401392 2432 1214 0 1490604 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 5967288
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 1.95 3/328 17248
/proc/meminfo: memFree=16122716/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=5973368 CPUtime=402.25 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 2315541 0 0 0 39959 266 0 0 25 0 1 0 897272971 6116728832 1389772 33554432000 4194304 9163163 140737360632912 18446744073709551615 7348020 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17236/statm: 1493342 1389772 1548 1214 0 1492124 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 5973368
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 1.95 3/328 17249
/proc/meminfo: memFree=16064208/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=6000868 CPUtime=462.25 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 2326745 0 0 0 45957 268 0 0 25 0 1 0 897272971 6144888832 1400062 33554432000 4194304 9163163 140737360632912 18446744073709551615 7348020 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17236/statm: 1500217 1400062 5039 1214 0 1498999 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 6000868
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/328 17251
/proc/meminfo: memFree=16104524/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=6001128 CPUtime=522.25 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 2327428 0 0 0 51956 269 0 0 25 0 1 0 897272971 6145155072 1400062 33554432000 4194304 9163163 140737360632912 18446744073709551615 7348020 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17236/statm: 1500282 1400062 5039 1214 0 1499064 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 6001128
[startup+582.301 s]
/proc/loadavg: 2.10 2.03 1.96 3/328 17252
/proc/meminfo: memFree=16095076/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=6001128 CPUtime=582.24 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 2328191 0 0 0 57955 269 0 0 25 0 1 0 897272971 6145155072 1400062 33554432000 4194304 9163163 140737360632912 18446744073709551615 7345723 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17236/statm: 1500282 1400062 5039 1214 0 1499064 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 6001128
[startup+642.301 s]
################
# More data... #
################
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 2545437 0 0 0 105924 300 0 0 25 0 1 0 897272971 6209982464 1420269 33554432000 4194304 9163163 140737360632912 18446744073709551615 7225486 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17236/statm: 1516109 1420269 1547 1214 0 1514891 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 6064436
[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 1.97 3/328 17267
/proc/meminfo: memFree=16025980/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=6032016 CPUtime=1122.25 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 2637027 0 0 0 111914 311 0 0 25 0 1 0 897272971 6176784384 1418221 33554432000 4194304 9163163 140737360632912 18446744073709551615 7348380 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17236/statm: 1508004 1418221 1547 1214 0 1506786 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 6032016
[startup+1182.3 s]
/proc/loadavg: 2.09 2.03 1.98 3/328 17268
/proc/meminfo: memFree=16019600/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=6032068 CPUtime=1182.24 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 2718494 0 0 0 117904 320 0 0 25 0 1 0 897272971 6176837632 1417722 33554432000 4194304 9163163 140737360632912 18446744073709551615 7345660 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17236/statm: 1508017 1417722 1547 1214 0 1506799 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 6032068
[startup+1242.3 s]
/proc/loadavg: 2.03 2.02 1.98 3/328 17270
/proc/meminfo: memFree=16044836/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=6038576 CPUtime=1242.25 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 2796911 0 0 0 123896 329 0 0 25 0 1 0 897272971 6183501824 1413034 33554432000 4194304 9163163 140737360632912 18446744073709551615 7110339 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17236/statm: 1509644 1413034 1547 1214 0 1508426 0
Current children cumulated CPU time (s) 1242.25
Current children cumulated vsize (KiB) 6038576
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 1.98 3/328 17300
/proc/meminfo: memFree=18358944/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=6046884 CPUtime=1302.25 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 2895401 0 0 0 129886 339 0 0 25 0 1 0 897272971 6192009216 1419225 33554432000 4194304 9163163 140737360632912 18446744073709551615 7348556 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17236/statm: 1511721 1419225 1547 1214 0 1510503 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 6046884
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/328 17301
/proc/meminfo: memFree=18356480/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=6035588 CPUtime=1362.24 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 2981159 0 0 0 135875 349 0 0 25 0 1 0 897272971 6180442112 1419203 33554432000 4194304 9163163 140737360632912 18446744073709551615 7110499 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17236/statm: 1508897 1419203 1547 1214 0 1507679 0
Current children cumulated CPU time (s) 1362.24
Current children cumulated vsize (KiB) 6035588
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/328 17303
/proc/meminfo: memFree=18379928/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=6032104 CPUtime=1422.26 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 3046732 0 0 0 141868 358 0 0 25 0 1 0 897272971 6176874496 1412280 33554432000 4194304 9163163 140737360632912 18446744073709551615 6974863 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17236/statm: 1508026 1412280 1547 1214 0 1506808 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 6032104
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/328 17304
/proc/meminfo: memFree=18343888/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=6032104 CPUtime=1482.25 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 3077118 0 0 0 147863 362 0 0 25 0 1 0 897272971 6176874496 1417509 33554432000 4194304 9163163 140737360632912 18446744073709551615 8045899 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17236/statm: 1508026 1417509 1547 1214 0 1506808 0
Current children cumulated CPU time (s) 1482.25
Current children cumulated vsize (KiB) 6032104
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/328 17306
/proc/meminfo: memFree=18342720/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=6032012 CPUtime=1542.25 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 3138941 0 0 0 153856 369 0 0 25 0 1 0 897272971 6176780288 1417722 33554432000 4194304 9163163 140737360632912 18446744073709551615 7348024 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17236/statm: 1508003 1417722 1547 1214 0 1506785 0
Current children cumulated CPU time (s) 1542.25
Current children cumulated vsize (KiB) 6032012
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/328 17308
/proc/meminfo: memFree=18388324/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=6005312 CPUtime=1602.25 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 3194385 0 0 0 159850 375 0 0 25 0 1 0 897272971 6149439488 1413873 33554432000 4194304 9163163 140737360632912 18446744073709551615 8041965 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17236/statm: 1501328 1413873 1547 1214 0 1500110 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 6005312
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/328 17309
/proc/meminfo: memFree=18316708/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=6094320 CPUtime=1662.25 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 3238298 0 0 0 165844 381 0 0 25 0 1 0 897272971 6240583680 1425279 33554432000 4194304 9163163 140737360632912 18446744073709551615 7394745 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17236/statm: 1523580 1425284 1547 1214 0 1522362 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 6094320
[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 1.99 3/328 17311
/proc/meminfo: memFree=18274632/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=6112460 CPUtime=1722.25 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 3294801 0 0 0 171839 386 0 0 25 0 1 0 897272971 6259159040 1436311 33554432000 4194304 9163163 140737360632912 18446744073709551615 7345685 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17236/statm: 1528115 1436311 3562 1214 0 1526897 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 6112460
[startup+1782.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/328 17312
/proc/meminfo: memFree=18317464/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=6106220 CPUtime=1782.25 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 3347029 0 0 0 177833 392 0 0 25 0 1 0 897272971 6252769280 1423245 33554432000 4194304 9163163 140737360632912 18446744073709551615 7311816 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17236/statm: 1526555 1423245 1547 1214 0 1525337 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 6106220
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.07 2.05 2.00 3/328 17313
/proc/meminfo: memFree=18334192/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=6037056 CPUtime=1800.06 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 3357227 0 0 0 179613 393 0 0 25 0 1 0 897272971 6181945344 1418983 33554432000 4194304 9163163 140737360632912 18446744073709551615 7348020 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17236/statm: 1509264 1418983 1547 1214 0 1508046 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 6037056
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -17236
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.07 2.05 2.00 3/329 17314
/proc/meminfo: memFree=18333564/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=6037056 CPUtime=1801.35 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 3357339 0 0 0 179742 393 0 0 25 0 1 0 897272971 6181945344 1418983 33554432000 4194304 9163163 140737360632912 18446744073709551615 7345673 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17236/statm: 1509264 1418983 1547 1214 0 1508046 0
Current children cumulated CPU time (s) 1801.35
Current children cumulated vsize (KiB) 6037056
[startup+1801.81 s]
/proc/loadavg: 2.07 2.04 2.00 3/329 17314
/proc/meminfo: memFree=18332944/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=6037056 CPUtime=1801.76 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4202496 3357339 0 0 0 179783 393 0 0 25 0 1 0 897272971 6181945344 1418983 33554432000 4194304 9163163 140737360632912 18446744073709551615 7348243 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17236/statm: 1509264 1418983 1547 1214 0 1508046 0
Current children cumulated CPU time (s) 1801.76
Current children cumulated vsize (KiB) 6037056
[startup+1802.2 s]
/proc/loadavg: 2.07 2.04 2.00 3/329 17314
/proc/meminfo: memFree=18332944/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=0 CPUtime=1802.15 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4203524 3357339 0 0 0 179813 402 0 0 25 0 1 0 897272971 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/17236/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.15
Current children cumulated vsize (KiB) 0
[startup+1802.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/329 17314
/proc/meminfo: memFree=18332944/32951124 swapFree=67056304/67111528
[pid=17236] ppid=17234 vsize=0 CPUtime=1802.25 cores=0,2,4,6
/proc/17236/stat : 17236 (scip-2.0.1.4b.l) R 17234 17236 15734 0 -1 4203524 3357339 0 0 0 179813 412 0 0 25 0 1 0 897272971 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/17236/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.25
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.34
CPU time (s): 1802.3
CPU user time (s): 1798.14
CPU system time (s): 4.15837
CPU usage (%): 99.9977
Max. virtual memory (cumulated for all children) (KiB): 6519152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.14
system time used= 4.15837
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3357339
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= 2514
runsolver used 6.12807 second user time and 12.83 second system time
The end