0.00/0.02 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.02 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-3451328-1307071516.opb>
17.17/17.29 c original problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 2559501 constraints
17.17/17.29 c problem read
17.17/17.29 c No objective function, only one solution is needed.
17.17/17.29 c presolving settings loaded
20.58/20.67 c presolving:
34.77/34.84 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.08/37.15 c presolving (2 rounds):
37.08/37.15 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 5035 changed coefficients
37.08/37.15 c 4000 implications, 100 cliques
37.08/37.15 c presolved problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 2559501 constraints
37.08/37.15 c 4950 constraints of type <knapsack>
37.08/37.15 c 2100 constraints of type <setppc>
37.08/37.15 c 1 constraints of type <linear>
37.08/37.15 c 2552450 constraints of type <logicor>
37.08/37.15 c transformed objective value is always integral (scale: 1)
37.08/37.15 c Presolving Time: 17.01
37.08/37.15 c - non default parameters ----------------------------------------------------------------------
37.08/37.15 c # SCIP version 2.0.1.5
37.08/37.15 c
37.08/37.15 c # frequency for displaying node information lines
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 100]
37.08/37.15 c display/freq = 10000
37.08/37.15 c
37.08/37.15 c # maximal time in seconds to run
37.08/37.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
37.08/37.15 c limits/time = 1800
37.08/37.15 c
37.08/37.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
37.08/37.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
37.08/37.15 c limits/memory = 13950
37.08/37.15 c
37.08/37.15 c # solving stops, if the given number of solutions were found (-1: no limit)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: -1]
37.08/37.15 c limits/solutions = 1
37.08/37.15 c
37.08/37.15 c # maximal number of separation rounds per node (-1: unlimited)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 5]
37.08/37.15 c separating/maxrounds = 1
37.08/37.15 c
37.08/37.15 c # maximal number of separation rounds in the root node (-1: unlimited)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: -1]
37.08/37.15 c separating/maxroundsroot = 5
37.08/37.15 c
37.08/37.15 c # default clock type (1: CPU user seconds, 2: wall clock time)
37.08/37.15 c # [type: int, range: [1,2], default: 1]
37.08/37.15 c timing/clocktype = 2
37.08/37.15 c
37.08/37.15 c # belongs reading time to solving time?
37.08/37.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
37.08/37.15 c timing/reading = TRUE
37.08/37.15 c
37.08/37.15 c # should presolving try to simplify inequalities
37.08/37.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
37.08/37.15 c constraints/linear/simplifyinequalities = TRUE
37.08/37.15 c
37.08/37.15 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
37.08/37.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
37.08/37.15 c constraints/indicator/addCouplingCons = TRUE
37.08/37.15 c
37.08/37.15 c # should disaggregation of knapsack constraints be allowed in preprocessing?
37.08/37.15 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
37.08/37.15 c constraints/knapsack/disaggregation = FALSE
37.08/37.15 c
37.08/37.15 c # should presolving try to simplify knapsacks
37.08/37.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
37.08/37.15 c constraints/knapsack/simplifyinequalities = TRUE
37.08/37.15 c
37.08/37.15 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: -1]
37.08/37.15 c presolving/probing/maxrounds = 0
37.08/37.15 c
37.08/37.15 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 10]
37.08/37.15 c heuristics/coefdiving/freq = -1
37.08/37.15 c
37.08/37.15 c # maximal fraction of diving LP iterations compared to node LP iterations
37.08/37.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.08/37.15 c heuristics/coefdiving/maxlpiterquot = 0.075
37.08/37.15 c
37.08/37.15 c # additional number of allowed LP iterations
37.08/37.15 c # [type: int, range: [0,2147483647], default: 1000]
37.08/37.15 c heuristics/coefdiving/maxlpiterofs = 1500
37.08/37.15 c
37.08/37.15 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 30]
37.08/37.15 c heuristics/crossover/freq = -1
37.08/37.15 c
37.08/37.15 c # number of nodes added to the contingent of the total nodes
37.08/37.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
37.08/37.15 c heuristics/crossover/nodesofs = 750
37.08/37.15 c
37.08/37.15 c # number of nodes without incumbent change that heuristic should wait
37.08/37.15 c # [type: longint, range: [0,9223372036854775807], default: 200]
37.08/37.15 c heuristics/crossover/nwaitingnodes = 100
37.08/37.15 c
37.08/37.15 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
37.08/37.15 c # [type: real, range: [0,1], default: 0.1]
37.08/37.15 c heuristics/crossover/nodesquot = 0.15
37.08/37.15 c
37.08/37.15 c # minimum percentage of integer variables that have to be fixed
37.08/37.15 c # [type: real, range: [0,1], default: 0.666]
37.08/37.15 c heuristics/crossover/minfixingrate = 0.5
37.08/37.15 c
37.08/37.15 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 20]
37.08/37.15 c heuristics/feaspump/freq = -1
37.08/37.15 c
37.08/37.15 c # additional number of allowed LP iterations
37.08/37.15 c # [type: int, range: [0,2147483647], default: 1000]
37.08/37.15 c heuristics/feaspump/maxlpiterofs = 2000
37.08/37.15 c
37.08/37.15 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 10]
37.08/37.15 c heuristics/fracdiving/freq = -1
37.08/37.15 c
37.08/37.15 c # maximal fraction of diving LP iterations compared to node LP iterations
37.08/37.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.08/37.15 c heuristics/fracdiving/maxlpiterquot = 0.075
37.08/37.15 c
37.08/37.15 c # additional number of allowed LP iterations
37.08/37.15 c # [type: int, range: [0,2147483647], default: 1000]
37.08/37.15 c heuristics/fracdiving/maxlpiterofs = 1500
37.08/37.15 c
37.08/37.15 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 10]
37.08/37.15 c heuristics/guideddiving/freq = -1
37.08/37.15 c
37.08/37.15 c # maximal fraction of diving LP iterations compared to node LP iterations
37.08/37.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.08/37.15 c heuristics/guideddiving/maxlpiterquot = 0.075
37.08/37.15 c
37.08/37.15 c # additional number of allowed LP iterations
37.08/37.15 c # [type: int, range: [0,2147483647], default: 1000]
37.08/37.15 c heuristics/guideddiving/maxlpiterofs = 1500
37.08/37.15 c
37.08/37.15 c # maximal fraction of diving LP iterations compared to node LP iterations
37.08/37.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.08/37.15 c heuristics/intdiving/maxlpiterquot = 0.075
37.08/37.15 c
37.08/37.15 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 10]
37.08/37.15 c heuristics/intshifting/freq = -1
37.08/37.15 c
37.08/37.15 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 10]
37.08/37.15 c heuristics/linesearchdiving/freq = -1
37.08/37.15 c
37.08/37.15 c # maximal fraction of diving LP iterations compared to node LP iterations
37.08/37.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.08/37.15 c heuristics/linesearchdiving/maxlpiterquot = 0.075
37.08/37.15 c
37.08/37.15 c # additional number of allowed LP iterations
37.08/37.15 c # [type: int, range: [0,2147483647], default: 1000]
37.08/37.15 c heuristics/linesearchdiving/maxlpiterofs = 1500
37.08/37.15 c
37.08/37.15 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 20]
37.08/37.15 c heuristics/objpscostdiving/freq = -1
37.08/37.15 c
37.08/37.15 c # maximal fraction of diving LP iterations compared to total iteration number
37.08/37.15 c # [type: real, range: [0,1], default: 0.01]
37.08/37.15 c heuristics/objpscostdiving/maxlpiterquot = 0.015
37.08/37.15 c
37.08/37.15 c # additional number of allowed LP iterations
37.08/37.15 c # [type: int, range: [0,2147483647], default: 1000]
37.08/37.15 c heuristics/objpscostdiving/maxlpiterofs = 1500
37.08/37.15 c
37.08/37.15 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 1]
37.08/37.15 c heuristics/oneopt/freq = -1
37.08/37.15 c
37.08/37.15 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 10]
37.08/37.15 c heuristics/pscostdiving/freq = -1
37.08/37.15 c
37.08/37.15 c # maximal fraction of diving LP iterations compared to node LP iterations
37.08/37.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.08/37.15 c heuristics/pscostdiving/maxlpiterquot = 0.075
37.08/37.15 c
37.08/37.15 c # additional number of allowed LP iterations
37.08/37.15 c # [type: int, range: [0,2147483647], default: 1000]
37.08/37.15 c heuristics/pscostdiving/maxlpiterofs = 1500
37.08/37.15 c
37.08/37.15 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 0]
37.08/37.15 c heuristics/rens/freq = -1
37.08/37.15 c
37.08/37.15 c # minimum percentage of integer variables that have to be fixable
37.08/37.15 c # [type: real, range: [0,1], default: 0.5]
37.08/37.15 c heuristics/rens/minfixingrate = 0.3
37.08/37.15 c
37.08/37.15 c # number of nodes added to the contingent of the total nodes
37.08/37.15 c # [type: longint, range: [0,9223372036854775807], default: 500]
37.08/37.15 c heuristics/rens/nodesofs = 2000
37.08/37.15 c
37.08/37.15 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 20]
37.08/37.15 c heuristics/rootsoldiving/freq = -1
37.08/37.15 c
37.08/37.15 c # maximal fraction of diving LP iterations compared to node LP iterations
37.08/37.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
37.08/37.15 c heuristics/rootsoldiving/maxlpiterquot = 0.015
37.08/37.15 c
37.08/37.15 c # additional number of allowed LP iterations
37.08/37.15 c # [type: int, range: [0,2147483647], default: 1000]
37.08/37.15 c heuristics/rootsoldiving/maxlpiterofs = 1500
37.08/37.15 c
37.08/37.15 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 1]
37.08/37.15 c heuristics/rounding/freq = -1
37.08/37.15 c
37.08/37.15 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 0]
37.08/37.15 c heuristics/shiftandpropagate/freq = -1
37.08/37.15 c
37.08/37.15 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 10]
37.08/37.15 c heuristics/shifting/freq = -1
37.08/37.15 c
37.08/37.15 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 1]
37.08/37.15 c heuristics/simplerounding/freq = -1
37.08/37.15 c
37.08/37.15 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 1]
37.08/37.15 c heuristics/subnlp/freq = -1
37.08/37.15 c
37.08/37.15 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 0]
37.08/37.15 c heuristics/trivial/freq = -1
37.08/37.15 c
37.08/37.15 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 1]
37.08/37.15 c heuristics/trysol/freq = -1
37.08/37.15 c
37.08/37.15 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 0]
37.08/37.15 c heuristics/undercover/freq = -1
37.08/37.15 c
37.08/37.15 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 10]
37.08/37.15 c heuristics/veclendiving/freq = -1
37.08/37.15 c
37.08/37.15 c # maximal fraction of diving LP iterations compared to node LP iterations
37.08/37.15 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
37.08/37.15 c heuristics/veclendiving/maxlpiterquot = 0.075
37.08/37.15 c
37.08/37.15 c # additional number of allowed LP iterations
37.08/37.15 c # [type: int, range: [0,2147483647], default: 1000]
37.08/37.15 c heuristics/veclendiving/maxlpiterofs = 1500
37.08/37.15 c
37.08/37.15 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 1]
37.08/37.15 c heuristics/zirounding/freq = -1
37.08/37.15 c
37.08/37.15 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 0]
37.08/37.15 c separating/cmir/freq = -1
37.08/37.15 c
37.08/37.15 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: 0]
37.08/37.15 c separating/flowcover/freq = -1
37.08/37.15 c
37.08/37.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
37.08/37.15 c # [type: int, range: [-1,2147483647], default: -1]
37.08/37.15 c separating/rapidlearning/freq = 0
37.08/37.15 c
37.08/37.15 c -----------------------------------------------------------------------------------------------
37.08/37.15 c start solving
37.27/37.34 c
228.68/228.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
228.68/228.73 c 229s| 1 | 0 | 3631 | - |3199M| 0 | 243 |4500 |2559k|4500 |2559k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
373.99/374.00 c 374s| 1 | 0 | 4624 | - |3199M| 0 | 331 |4500 |2559k|4500 |2559k| 26 | 0 | 0 | 0.000000e+00 | -- | Inf
817.50/817.53 c 818s| 1 | 0 | 10899 | - |3199M| 0 | 424 |4500 |2559k|4500 |2559k| 57 | 0 | 0 | 0.000000e+00 | -- | Inf
1192.12/1192.18 c 1192s| 1 | 0 | 17092 | - |3200M| 0 | 613 |4500 |2559k|4500 |2559k| 76 | 0 | 0 | 0.000000e+00 | -- | Inf
1436.33/1436.35 c 1436s| 1 | 0 | 19096 | - |3200M| 0 | 513 |4500 |2559k|4500 |2559k| 93 | 0 | 0 | 0.000000e+00 | -- | Inf
1616.84/1616.81 c 1617s| 1 | 0 | 21161 | - |3200M| 0 | 357 |4500 |2559k|4500 |2559k| 107 | 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-3451328-1307071516/watcher-3451328-1307071516 -o /tmp/evaluation-result-3451328-1307071516/solver-3451328-1307071516 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451328-1307071516.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.04 2.04 2.00 2/453 14395
/proc/meminfo: memFree=26118480/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/14395/stat : 14395 (runsolver) R 14393 14395 12722 0 -1 4202560 42 0 0 0 0 0 0 0 22 0 1 0 818749714 12079104 51 33554432000 4194304 5432328 140735966491792 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/14395/statm: 2949 51 31 303 0 2643 0
[startup+0.0771621 s]
/proc/loadavg: 2.04 2.04 2.00 2/453 14395
/proc/meminfo: memFree=26118480/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=19236 CPUtime=0.05 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 3789 0 0 0 5 0 0 0 22 0 1 0 818749714 19697664 3743 33554432000 4194304 9163163 140733354226960 18446744073709551615 7962177 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14395/statm: 4809 3743 392 1214 0 3591 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 19236
[startup+0.101142 s]
/proc/loadavg: 2.04 2.04 2.00 2/453 14395
/proc/meminfo: memFree=26118480/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=21428 CPUtime=0.07 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 4344 0 0 0 7 0 0 0 22 0 1 0 818749714 21942272 4298 33554432000 4194304 9163163 140733354226960 18446744073709551615 4549442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14395/statm: 5357 4298 392 1214 0 4139 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 21428
[startup+0.301121 s]
/proc/loadavg: 2.04 2.04 2.00 2/453 14395
/proc/meminfo: memFree=26118480/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=32564 CPUtime=0.28 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 7130 0 0 0 27 1 0 0 23 0 1 0 818749714 33345536 7084 33554432000 4194304 9163163 140733354226960 18446744073709551615 7995393 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14395/statm: 8141 7084 392 1214 0 6923 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 32564
[startup+0.701046 s]
/proc/loadavg: 2.04 2.04 2.00 2/453 14395
/proc/meminfo: memFree=26118480/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=56196 CPUtime=0.67 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 13026 0 0 0 66 1 0 0 25 0 1 0 818749714 57544704 12980 33554432000 4194304 9163163 140733354226960 18446744073709551615 7962107 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14395/statm: 14049 12980 392 1214 0 12831 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 56196
[startup+1.75785 s]
/proc/loadavg: 2.04 2.04 2.00 2/453 14395
/proc/meminfo: memFree=26118480/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=116832 CPUtime=1.73 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 28171 0 0 0 170 3 0 0 25 0 1 0 818749714 119635968 28125 33554432000 4194304 9163163 140733354226960 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14395/statm: 29208 28125 392 1214 0 27990 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 116832
[startup+3.1176 s]
/proc/loadavg: 2.04 2.04 2.00 3/454 14396
/proc/meminfo: memFree=25964552/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=194984 CPUtime=3.09 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 47714 0 0 0 304 5 0 0 25 0 1 0 818749714 199663616 47668 33554432000 4194304 9163163 140733354226960 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14395/statm: 48746 47668 392 1214 0 47528 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 194984
[startup+6.30103 s]
/proc/loadavg: 2.04 2.04 2.00 3/454 14396
/proc/meminfo: memFree=25774192/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=377344 CPUtime=6.28 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 93229 0 0 0 617 11 0 0 25 0 1 0 818749714 386400256 93183 33554432000 4194304 9163163 140733354226960 18446744073709551615 4443414 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14395/statm: 94336 93183 392 1214 0 93118 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 377344
[startup+12.7009 s]
/proc/loadavg: 2.04 2.04 2.00 3/454 14396
/proc/meminfo: memFree=25458756/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=743516 CPUtime=12.67 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 184544 0 0 0 1243 24 0 0 25 0 1 0 818749714 761360384 184498 33554432000 4194304 9163163 140733354226960 18446744073709551615 8041864 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14395/statm: 185879 184498 392 1214 0 184661 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 743516
[startup+25.5005 s]
/proc/loadavg: 2.03 2.04 2.00 3/454 14396
/proc/meminfo: memFree=23337268/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=2897428 CPUtime=25.48 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 788030 0 0 0 2453 95 0 0 25 0 1 0 818749714 2966966272 714654 33554432000 4194304 9163163 140733354226960 18446744073709551615 18446744073699065981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 724357 714654 509 1214 0 723139 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2897428
[startup+51.1009 s]
/proc/loadavg: 2.02 2.04 2.00 3/454 14397
/proc/meminfo: memFree=20433404/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=6142756 CPUtime=51.07 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 2030278 0 0 0 4871 236 0 0 25 0 1 0 818749714 6290182144 1429569 33554432000 4194304 9163163 140733354226960 18446744073709551615 7345690 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1535689 1429569 3762 1214 0 1534471 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 6142756
[startup+102.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/454 14399
/proc/meminfo: memFree=20360372/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=6192452 CPUtime=102.27 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 2048895 0 0 0 9988 239 0 0 25 0 1 0 818749714 6341070848 1442849 33554432000 4194304 9163163 140733354226960 18446744073709551615 7345648 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1548113 1442849 2851 1214 0 1546895 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 6192452
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 14400
/proc/meminfo: memFree=20345560/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=6210556 CPUtime=162.28 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 2056166 0 0 0 15987 241 0 0 25 0 1 0 818749714 6359609344 1448345 33554432000 4194304 9163163 140733354226960 18446744073709551615 7348020 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1552639 1448345 2664 1214 0 1551421 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 6210556
[startup+222.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/454 14402
/proc/meminfo: memFree=20320952/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=6210556 CPUtime=222.28 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 2058115 0 0 0 21986 242 0 0 25 0 1 0 818749714 6359609344 1448376 33554432000 4194304 9163163 140733354226960 18446744073709551615 7348024 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1552639 1448376 1558 1214 0 1551421 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 6210556
[startup+282.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/454 14403
/proc/meminfo: memFree=20681112/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=5605280 CPUtime=282.28 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 2163808 0 0 0 27972 256 0 0 25 0 1 0 818749714 5739806720 1342904 33554432000 4194304 9163163 140733354226960 18446744073709551615 8045767 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1401320 1342904 1032 1214 0 1400102 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 5605280
[startup+342.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/454 14405
/proc/meminfo: memFree=20573808/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=5890848 CPUtime=342.28 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 2238615 0 0 0 33962 266 0 0 25 0 1 0 818749714 6032228352 1381219 33554432000 4194304 9163163 140733354226960 18446744073709551615 7348131 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1472712 1381219 4508 1214 0 1471494 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 5890848
[startup+402.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/454 14407
/proc/meminfo: memFree=20563988/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=5898452 CPUtime=402.3 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 2241657 0 0 0 39962 268 0 0 25 0 1 0 818749714 6040014848 1383716 33554432000 4194304 9163163 140733354226960 18446744073709551615 8041945 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1474613 1383716 4508 1214 0 1473395 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 5898452
[startup+462.301 s]
/proc/loadavg: 2.20 2.09 2.02 3/454 14408
/proc/meminfo: memFree=20598912/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=5898452 CPUtime=462.28 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 2241657 0 0 0 45959 269 0 0 25 0 1 0 818749714 6040014848 1383716 33554432000 4194304 9163163 140733354226960 18446744073709551615 7054424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1474613 1383716 4508 1214 0 1473395 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 5898452
[startup+522.317 s]
/proc/loadavg: 2.12 2.09 2.02 3/454 14519
/proc/meminfo: memFree=26216076/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=5990392 CPUtime=522.3 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 2292395 0 0 0 51954 276 0 0 25 0 1 0 818749714 6134161408 1399968 33554432000 4194304 9163163 140733354226960 18446744073709551615 7348200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1497598 1399968 2012 1214 0 1496380 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 5990392
[startup+582.3 s]
/proc/loadavg: 2.04 2.07 2.01 3/454 14520
/proc/meminfo: memFree=26208528/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=5990392 CPUtime=582.29 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 2305428 0 0 0 57950 279 0 0 25 0 1 0 818749714 6134161408 1399784 33554432000 4194304 9163163 140733354226960 18446744073709551615 7348512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1497598 1399784 2012 1214 0 1496380 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 5990392
[startup+642.301 s]
################
# More data... #
################
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 2446196 0 0 0 111924 306 0 0 25 0 1 0 818749714 6280626176 1424882 33554432000 4194304 9163163 140733354226960 18446744073709551615 7110339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1533356 1424882 2095 1214 0 1532138 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 6133424
[startup+1182.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 14536
/proc/meminfo: memFree=26091788/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=6139960 CPUtime=1182.33 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 2479049 0 0 0 117919 314 0 0 25 0 1 0 818749714 6287319040 1424983 33554432000 4194304 9163163 140733354226960 18446744073709551615 7348556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1534990 1424983 2095 1214 0 1533772 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 6139960
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 14538
/proc/meminfo: memFree=26092220/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=6139960 CPUtime=1242.31 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 2481959 0 0 0 123916 315 0 0 25 0 1 0 818749714 6287319040 1424797 33554432000 4194304 9163163 140733354226960 18446744073709551615 7054430 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1534990 1424797 2095 1214 0 1533772 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 6139960
[startup+1302.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/454 14540
/proc/meminfo: memFree=26090576/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=6139960 CPUtime=1302.31 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 2481959 0 0 0 129915 316 0 0 25 0 1 0 818749714 6287319040 1424797 33554432000 4194304 9163163 140733354226960 18446744073709551615 7051385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1534990 1424797 2095 1214 0 1533772 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 6139960
[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/454 14541
/proc/meminfo: memFree=26129948/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=6107824 CPUtime=1362.31 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 2546907 0 0 0 135906 325 0 0 25 0 1 0 818749714 6254411776 1414103 33554432000 4194304 9163163 140733354226960 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1526956 1414103 2012 1214 0 1525738 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 6107824
[startup+1422.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/454 14543
/proc/meminfo: memFree=26103724/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=6107824 CPUtime=1422.32 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 2593651 0 0 0 141901 331 0 0 25 0 1 0 818749714 6254411776 1420403 33554432000 4194304 9163163 140733354226960 18446744073709551615 7345682 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1526956 1420403 2012 1214 0 1525738 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 6107824
[startup+1482.3 s]
/proc/loadavg: 2.10 2.07 2.01 4/454 14544
/proc/meminfo: memFree=26126836/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=6107824 CPUtime=1482.32 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 2601594 0 0 0 147899 333 0 0 25 0 1 0 818749714 6254411776 1413367 33554432000 4194304 9163163 140733354226960 18446744073709551615 7054419 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1526956 1413367 2012 1214 0 1525738 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 6107824
[startup+1542.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/454 14546
/proc/meminfo: memFree=26055612/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=6147984 CPUtime=1542.32 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 2680576 0 0 0 153889 343 0 0 25 0 1 0 818749714 6295535616 1437501 33554432000 4194304 9163163 140733354226960 18446744073709551615 7348247 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1536996 1437501 8185 1214 0 1535778 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 6147984
[startup+1602.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/454 14548
/proc/meminfo: memFree=26050348/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=6147984 CPUtime=1602.31 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 2681534 0 0 0 159888 343 0 0 25 0 1 0 818749714 6295535616 1437501 33554432000 4194304 9163163 140733354226960 18446744073709551615 6974005 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1536996 1437501 7987 1214 0 1535778 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 6147984
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/454 14549
/proc/meminfo: memFree=26136600/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=6061976 CPUtime=1662.32 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 2740402 0 0 0 165881 351 0 0 25 0 1 0 818749714 6207463424 1412619 33554432000 4194304 9163163 140733354226960 18446744073709551615 7348020 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1515494 1412619 2336 1214 0 1514276 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 6061976
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/454 14551
/proc/meminfo: memFree=26136312/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=6030216 CPUtime=1722.33 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 2956127 0 0 0 171856 377 0 0 25 0 1 0 818749714 6174941184 1410330 33554432000 4194304 9163163 140733354226960 18446744073709551615 6973999 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1507554 1410330 2336 1214 0 1506336 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 6030216
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 14552
/proc/meminfo: memFree=26145564/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=6020216 CPUtime=1782.32 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 3022256 0 0 0 177847 385 0 0 25 0 1 0 818749714 6164701184 1407848 33554432000 4194304 9163163 140733354226960 18446744073709551615 7345685 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1505054 1407848 2335 1214 0 1503836 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 6020216
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 14553
/proc/meminfo: memFree=26136484/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=6051980 CPUtime=1800.03 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 3072537 0 0 0 179613 390 0 0 25 0 1 0 818749714 6197227520 1410108 33554432000 4194304 9163163 140733354226960 18446744073709551615 7224050 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1512995 1410108 2332 1214 0 1511777 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 6051980
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -14395
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/455 14554
/proc/meminfo: memFree=26136476/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=6051980 CPUtime=1800.72 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 3072545 0 0 0 179682 390 0 0 25 0 1 0 818749714 6197227520 1410116 33554432000 4194304 9163163 140733354226960 18446744073709551615 7379225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1512995 1410116 2332 1214 0 1511777 0
Current children cumulated CPU time (s) 1800.72
Current children cumulated vsize (KiB) 6051980
[startup+1801.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/455 14554
/proc/meminfo: memFree=26135856/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=6051980 CPUtime=1801.53 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 3072651 0 0 0 179763 390 0 0 25 0 1 0 818749714 6197227520 1410116 33554432000 4194304 9163163 140733354226960 18446744073709551615 7130320 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1512995 1410116 2332 1214 0 1511777 0
Current children cumulated CPU time (s) 1801.53
Current children cumulated vsize (KiB) 6051980
[startup+1801.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/455 14554
/proc/meminfo: memFree=26135856/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=6051980 CPUtime=1801.92 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4202496 3072651 0 0 0 179802 390 0 0 25 0 1 0 818749714 6197227520 1410116 33554432000 4194304 9163163 140733354226960 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14395/statm: 1512995 1410116 2332 1214 0 1511777 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 6051980
[startup+1802.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/455 14554
/proc/meminfo: memFree=26135856/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=0 CPUtime=1802.13 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4203524 3072704 0 0 0 179814 399 0 0 25 0 1 0 818749714 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/14395/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0
[startup+1802.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/455 14554
/proc/meminfo: memFree=26135856/32951124 swapFree=55639044/67111528
[pid=14395] ppid=14393 vsize=0 CPUtime=1802.23 cores=1,3,5,7
/proc/14395/stat : 14395 (scip-2.0.1.4b.l) R 14393 14395 12722 0 -1 4203524 3072704 0 0 0 179814 409 0 0 25 0 1 0 818749714 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/14395/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.23
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.23
CPU time (s): 1802.26
CPU user time (s): 1798.14
CPU system time (s): 4.11637
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 6512404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.14
system time used= 4.11637
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3072704
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= 2168
runsolver used 7.8548 second user time and 19.626 second system time
The end