0.00/0.02 c SCIP version 2.0.1.4 [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-3452974-1307069657.opb>
6.59/6.64 c original problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 674250 constraints
6.59/6.64 c problem read
6.59/6.64 c No objective function, only one solution is needed.
6.59/6.64 c presolving settings loaded
9.38/9.43 c presolving:
13.67/13.78 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 674250 upgd conss, 0 impls, 1500 clqs
14.18/14.21 c presolving (2 rounds):
14.18/14.21 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
14.18/14.21 c 0 implications, 1500 cliques
14.18/14.21 c presolved problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 674250 constraints
14.18/14.21 c 1500 constraints of type <setppc>
14.18/14.21 c 672750 constraints of type <logicor>
14.18/14.21 c transformed objective value is always integral (scale: 1)
14.18/14.21 c Presolving Time: 6.98
14.18/14.21 c - non default parameters ----------------------------------------------------------------------
14.18/14.21 c # SCIP version 2.0.1.4
14.18/14.21 c
14.18/14.21 c # frequency for displaying node information lines
14.18/14.21 c # [type: int, range: [-1,2147483647], default: 100]
14.18/14.21 c display/freq = 10000
14.18/14.21 c
14.18/14.21 c # maximal time in seconds to run
14.18/14.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.18/14.21 c limits/time = 1800
14.18/14.21 c
14.18/14.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
14.18/14.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.18/14.21 c limits/memory = 13950
14.18/14.21 c
14.18/14.21 c # solving stops, if the given number of solutions were found (-1: no limit)
14.18/14.21 c # [type: int, range: [-1,2147483647], default: -1]
14.18/14.21 c limits/solutions = 1
14.18/14.21 c
14.18/14.21 c # maximal number of separation rounds per node (-1: unlimited)
14.18/14.21 c # [type: int, range: [-1,2147483647], default: 5]
14.18/14.21 c separating/maxrounds = 1
14.18/14.21 c
14.18/14.21 c # maximal number of separation rounds in the root node (-1: unlimited)
14.18/14.21 c # [type: int, range: [-1,2147483647], default: -1]
14.18/14.21 c separating/maxroundsroot = 5
14.18/14.21 c
14.18/14.21 c # default clock type (1: CPU user seconds, 2: wall clock time)
14.18/14.21 c # [type: int, range: [1,2], default: 1]
14.18/14.21 c timing/clocktype = 2
14.18/14.21 c
14.18/14.21 c # belongs reading time to solving time?
14.18/14.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.18/14.21 c timing/reading = TRUE
14.18/14.21 c
14.18/14.21 c # should presolving try to simplify inequalities
14.18/14.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.18/14.21 c constraints/linear/simplifyinequalities = TRUE
14.18/14.21 c
14.18/14.21 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
14.18/14.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.18/14.21 c constraints/indicator/addCouplingCons = TRUE
14.18/14.21 c
14.18/14.21 c # should disaggregation of knapsack constraints be allowed in preprocessing?
14.18/14.21 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
14.18/14.21 c constraints/knapsack/disaggregation = FALSE
14.18/14.21 c
14.18/14.21 c # should presolving try to simplify knapsacks
14.18/14.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.18/14.21 c constraints/knapsack/simplifyinequalities = TRUE
14.18/14.21 c
14.18/14.21 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
14.18/14.21 c # [type: int, range: [-1,2147483647], default: -1]
14.18/14.21 c presolving/probing/maxrounds = 0
14.18/14.21 c
14.18/14.21 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
14.18/14.21 c # [type: int, range: [-1,2147483647], default: 10]
14.18/14.21 c heuristics/coefdiving/freq = -1
14.18/14.21 c
14.18/14.21 c # maximal fraction of diving LP iterations compared to node LP iterations
14.18/14.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.18/14.21 c heuristics/coefdiving/maxlpiterquot = 0.075
14.18/14.21 c
14.18/14.21 c # additional number of allowed LP iterations
14.18/14.21 c # [type: int, range: [0,2147483647], default: 1000]
14.18/14.21 c heuristics/coefdiving/maxlpiterofs = 1500
14.18/14.21 c
14.18/14.21 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
14.18/14.21 c # [type: int, range: [-1,2147483647], default: 30]
14.18/14.21 c heuristics/crossover/freq = -1
14.18/14.21 c
14.18/14.21 c # number of nodes added to the contingent of the total nodes
14.18/14.21 c # [type: longint, range: [0,9223372036854775807], default: 500]
14.18/14.21 c heuristics/crossover/nodesofs = 750
14.18/14.21 c
14.18/14.21 c # number of nodes without incumbent change that heuristic should wait
14.18/14.21 c # [type: longint, range: [0,9223372036854775807], default: 200]
14.18/14.21 c heuristics/crossover/nwaitingnodes = 100
14.18/14.21 c
14.18/14.21 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
14.18/14.21 c # [type: real, range: [0,1], default: 0.1]
14.18/14.21 c heuristics/crossover/nodesquot = 0.15
14.18/14.21 c
14.18/14.21 c # minimum percentage of integer variables that have to be fixed
14.18/14.21 c # [type: real, range: [0,1], default: 0.666]
14.18/14.21 c heuristics/crossover/minfixingrate = 0.5
14.18/14.21 c
14.18/14.21 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
14.18/14.21 c # [type: int, range: [-1,2147483647], default: 20]
14.18/14.21 c heuristics/feaspump/freq = -1
14.18/14.21 c
14.18/14.21 c # additional number of allowed LP iterations
14.18/14.21 c # [type: int, range: [0,2147483647], default: 1000]
14.18/14.21 c heuristics/feaspump/maxlpiterofs = 2000
14.18/14.21 c
14.18/14.21 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
14.18/14.21 c # [type: int, range: [-1,2147483647], default: 10]
14.18/14.21 c heuristics/fracdiving/freq = -1
14.18/14.21 c
14.18/14.21 c # maximal fraction of diving LP iterations compared to node LP iterations
14.18/14.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.18/14.21 c heuristics/fracdiving/maxlpiterquot = 0.075
14.18/14.21 c
14.18/14.21 c # additional number of allowed LP iterations
14.18/14.21 c # [type: int, range: [0,2147483647], default: 1000]
14.18/14.21 c heuristics/fracdiving/maxlpiterofs = 1500
14.18/14.21 c
14.18/14.21 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
14.18/14.21 c # [type: int, range: [-1,2147483647], default: 10]
14.18/14.21 c heuristics/guideddiving/freq = -1
14.18/14.21 c
14.18/14.21 c # maximal fraction of diving LP iterations compared to node LP iterations
14.18/14.21 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.18/14.22 c heuristics/guideddiving/maxlpiterquot = 0.075
14.18/14.22 c
14.18/14.22 c # additional number of allowed LP iterations
14.18/14.22 c # [type: int, range: [0,2147483647], default: 1000]
14.18/14.22 c heuristics/guideddiving/maxlpiterofs = 1500
14.18/14.22 c
14.18/14.22 c # maximal fraction of diving LP iterations compared to node LP iterations
14.18/14.22 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.18/14.22 c heuristics/intdiving/maxlpiterquot = 0.075
14.18/14.22 c
14.18/14.22 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
14.18/14.22 c # [type: int, range: [-1,2147483647], default: 10]
14.18/14.22 c heuristics/intshifting/freq = -1
14.18/14.22 c
14.18/14.22 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
14.18/14.22 c # [type: int, range: [-1,2147483647], default: 10]
14.18/14.22 c heuristics/linesearchdiving/freq = -1
14.18/14.22 c
14.18/14.22 c # maximal fraction of diving LP iterations compared to node LP iterations
14.18/14.22 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.18/14.22 c heuristics/linesearchdiving/maxlpiterquot = 0.075
14.18/14.22 c
14.18/14.22 c # additional number of allowed LP iterations
14.18/14.22 c # [type: int, range: [0,2147483647], default: 1000]
14.18/14.22 c heuristics/linesearchdiving/maxlpiterofs = 1500
14.18/14.22 c
14.18/14.22 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
14.18/14.22 c # [type: int, range: [-1,2147483647], default: 20]
14.18/14.22 c heuristics/objpscostdiving/freq = -1
14.18/14.22 c
14.18/14.22 c # maximal fraction of diving LP iterations compared to total iteration number
14.18/14.22 c # [type: real, range: [0,1], default: 0.01]
14.18/14.22 c heuristics/objpscostdiving/maxlpiterquot = 0.015
14.18/14.22 c
14.18/14.22 c # additional number of allowed LP iterations
14.18/14.22 c # [type: int, range: [0,2147483647], default: 1000]
14.18/14.22 c heuristics/objpscostdiving/maxlpiterofs = 1500
14.18/14.22 c
14.18/14.22 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
14.18/14.22 c # [type: int, range: [-1,2147483647], default: 1]
14.18/14.22 c heuristics/oneopt/freq = -1
14.18/14.22 c
14.18/14.22 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
14.18/14.22 c # [type: int, range: [-1,2147483647], default: 10]
14.18/14.22 c heuristics/pscostdiving/freq = -1
14.18/14.22 c
14.18/14.22 c # maximal fraction of diving LP iterations compared to node LP iterations
14.18/14.22 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.18/14.22 c heuristics/pscostdiving/maxlpiterquot = 0.075
14.18/14.22 c
14.18/14.22 c # additional number of allowed LP iterations
14.18/14.22 c # [type: int, range: [0,2147483647], default: 1000]
14.18/14.22 c heuristics/pscostdiving/maxlpiterofs = 1500
14.18/14.22 c
14.18/14.22 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
14.18/14.22 c # [type: int, range: [-1,2147483647], default: 0]
14.18/14.22 c heuristics/rens/freq = -1
14.18/14.22 c
14.18/14.22 c # minimum percentage of integer variables that have to be fixable
14.18/14.22 c # [type: real, range: [0,1], default: 0.5]
14.18/14.22 c heuristics/rens/minfixingrate = 0.3
14.18/14.22 c
14.18/14.22 c # number of nodes added to the contingent of the total nodes
14.18/14.22 c # [type: longint, range: [0,9223372036854775807], default: 500]
14.18/14.22 c heuristics/rens/nodesofs = 2000
14.18/14.22 c
14.18/14.22 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
14.18/14.22 c # [type: int, range: [-1,2147483647], default: 20]
14.18/14.22 c heuristics/rootsoldiving/freq = -1
14.18/14.22 c
14.18/14.22 c # maximal fraction of diving LP iterations compared to node LP iterations
14.18/14.22 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
14.18/14.22 c heuristics/rootsoldiving/maxlpiterquot = 0.015
14.18/14.22 c
14.18/14.22 c # additional number of allowed LP iterations
14.18/14.22 c # [type: int, range: [0,2147483647], default: 1000]
14.18/14.22 c heuristics/rootsoldiving/maxlpiterofs = 1500
14.18/14.22 c
14.18/14.22 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
14.18/14.22 c # [type: int, range: [-1,2147483647], default: 1]
14.18/14.22 c heuristics/rounding/freq = -1
14.18/14.22 c
14.18/14.22 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
14.18/14.22 c # [type: int, range: [-1,2147483647], default: 0]
14.18/14.22 c heuristics/shiftandpropagate/freq = -1
14.18/14.22 c
14.18/14.22 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
14.18/14.22 c # [type: int, range: [-1,2147483647], default: 10]
14.18/14.22 c heuristics/shifting/freq = -1
14.18/14.22 c
14.18/14.22 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
14.18/14.22 c # [type: int, range: [-1,2147483647], default: 1]
14.18/14.22 c heuristics/simplerounding/freq = -1
14.18/14.22 c
14.18/14.22 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
14.18/14.22 c # [type: int, range: [-1,2147483647], default: 1]
14.18/14.22 c heuristics/subnlp/freq = -1
14.18/14.22 c
14.18/14.22 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
14.18/14.22 c # [type: int, range: [-1,2147483647], default: 0]
14.18/14.22 c heuristics/trivial/freq = -1
14.18/14.22 c
14.18/14.22 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
14.18/14.22 c # [type: int, range: [-1,2147483647], default: 1]
14.18/14.22 c heuristics/trysol/freq = -1
14.18/14.22 c
14.18/14.22 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
14.18/14.22 c # [type: int, range: [-1,2147483647], default: 0]
14.18/14.22 c heuristics/undercover/freq = -1
14.18/14.22 c
14.18/14.22 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
14.18/14.22 c # [type: int, range: [-1,2147483647], default: 10]
14.18/14.22 c heuristics/veclendiving/freq = -1
14.18/14.22 c
14.18/14.22 c # maximal fraction of diving LP iterations compared to node LP iterations
14.18/14.22 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.18/14.22 c heuristics/veclendiving/maxlpiterquot = 0.075
14.18/14.22 c
14.18/14.22 c # additional number of allowed LP iterations
14.18/14.22 c # [type: int, range: [0,2147483647], default: 1000]
14.18/14.22 c heuristics/veclendiving/maxlpiterofs = 1500
14.18/14.22 c
14.18/14.22 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
14.18/14.22 c # [type: int, range: [-1,2147483647], default: 1]
14.18/14.22 c heuristics/zirounding/freq = -1
14.18/14.22 c
14.18/14.22 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
14.18/14.22 c # [type: int, range: [-1,2147483647], default: 0]
14.18/14.22 c separating/cmir/freq = -1
14.18/14.22 c
14.18/14.22 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
14.18/14.22 c # [type: int, range: [-1,2147483647], default: 0]
14.18/14.22 c separating/flowcover/freq = -1
14.18/14.22 c
14.18/14.22 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
14.18/14.22 c # [type: int, range: [-1,2147483647], default: -1]
14.18/14.22 c separating/rapidlearning/freq = 0
14.18/14.22 c
14.18/14.22 c -----------------------------------------------------------------------------------------------
14.18/14.22 c start solving
14.18/14.22 c
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-3452974-1307069657/watcher-3452974-1307069657 -o /tmp/evaluation-result-3452974-1307069657/solver-3452974-1307069657 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452974-1307069657.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.09 2.05 2.01 2/498 10545
/proc/meminfo: memFree=26680940/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/10545/stat : 10545 (runsolver) R 10543 10545 8661 0 -1 4202560 42 0 0 0 0 0 0 0 24 0 1 0 897196471 12079104 52 33554432000 4194304 5432328 140736586793968 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/10545/statm: 2949 52 31 303 0 2643 0
[startup+0.049431 s]
/proc/loadavg: 2.09 2.05 2.01 2/498 10545
/proc/meminfo: memFree=26680940/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=16044 CPUtime=0.02 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 3022 0 0 0 2 0 0 0 24 0 1 0 897196471 16429056 2976 33554432000 4194304 9128323 140734689659088 18446744073709551615 8008895 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10545/statm: 4011 2976 397 1205 0 2802 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16044
[startup+0.100418 s]
/proc/loadavg: 2.09 2.05 2.01 2/498 10545
/proc/meminfo: memFree=26680940/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=18224 CPUtime=0.07 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 3552 0 0 0 7 0 0 0 24 0 1 0 897196471 18661376 3505 33554432000 4194304 9128323 140734689659088 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10545/statm: 4556 3505 397 1205 0 3347 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 18224
[startup+0.300403 s]
/proc/loadavg: 2.09 2.05 2.01 2/498 10545
/proc/meminfo: memFree=26680940/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=25892 CPUtime=0.27 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 5481 0 0 0 27 0 0 0 25 0 1 0 897196471 26513408 5431 33554432000 4194304 9128323 140734689659088 18446744073709551615 7961707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10545/statm: 6473 5431 397 1205 0 5264 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 25892
[startup+0.700315 s]
/proc/loadavg: 2.09 2.05 2.01 2/498 10545
/proc/meminfo: memFree=26680940/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=39816 CPUtime=0.67 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 8957 0 0 0 66 1 0 0 25 0 1 0 897196471 40771584 8902 33554432000 4194304 9128323 140734689659088 18446744073709551615 7447720 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10545/statm: 9954 8902 397 1205 0 8745 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 39816
[startup+1.50116 s]
/proc/loadavg: 2.09 2.05 2.01 3/499 10546
/proc/meminfo: memFree=26635800/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=67592 CPUtime=1.48 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 15907 0 0 0 145 3 0 0 25 0 1 0 897196471 69214208 15842 33554432000 4194304 9128323 140734689659088 18446744073709551615 7961584 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10545/statm: 16898 15842 397 1205 0 15689 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 67592
[startup+3.10087 s]
/proc/loadavg: 2.09 2.05 2.01 3/499 10546
/proc/meminfo: memFree=26597732/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=123060 CPUtime=3.08 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 29772 0 0 0 303 5 0 0 25 0 1 0 897196471 126013440 29687 33554432000 4194304 9128323 140734689659088 18446744073709551615 7961696 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10545/statm: 30765 29687 397 1205 0 29556 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 123060
[startup+6.30027 s]
/proc/loadavg: 2.08 2.05 2.01 3/499 10546
/proc/meminfo: memFree=26483912/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=232364 CPUtime=6.27 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 57067 0 0 0 618 9 0 0 25 0 1 0 897196471 237940736 56943 33554432000 4194304 9128323 140734689659088 18446744073709551615 8008900 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10545/statm: 58091 56943 397 1205 0 56882 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 232364
[startup+12.7011 s]
/proc/loadavg: 2.07 2.05 2.01 3/499 10546
/proc/meminfo: memFree=25506544/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=1195960 CPUtime=12.67 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 375277 0 0 0 1218 49 0 0 25 0 1 0 897196471 1224663040 296148 33554432000 4194304 9128323 140734689659088 18446744073709551615 5196771 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10545/statm: 298990 296148 503 1205 0 297781 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1195960
[startup+25.5007 s]
/proc/loadavg: 2.13 2.06 2.01 3/499 10546
/proc/meminfo: memFree=24446832/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2414208 CPUtime=25.47 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 739807 0 0 0 2456 91 0 0 25 0 1 0 897196471 2472148992 560304 33554432000 4194304 9128323 140734689659088 18446744073709551615 7192546 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10545/statm: 603552 560304 2967 1205 0 602343 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 2414208
[startup+51.101 s]
/proc/loadavg: 2.08 2.05 2.01 3/499 10547
/proc/meminfo: memFree=24311272/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2705208 CPUtime=51.08 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 808837 0 0 0 5005 103 0 0 25 0 1 0 897196471 2770132992 592821 33554432000 4194304 9128323 140734689659088 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10545/statm: 676302 592821 1944 1205 0 675093 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2705208
[startup+102.32 s]
/proc/loadavg: 2.04 2.04 2.00 3/499 10548
/proc/meminfo: memFree=24306684/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2713896 CPUtime=102.29 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 875364 0 0 0 10115 114 0 0 25 0 1 0 897196471 2779029504 593623 33554432000 4194304 9128323 140734689659088 18446744073709551615 7315605 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10545/statm: 678474 593623 1944 1205 0 677265 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 2713896
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 10577
/proc/meminfo: memFree=23456752/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2713896 CPUtime=162.24 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 959950 0 0 0 16098 126 0 0 25 0 1 0 897196471 2779029504 593658 33554432000 4194304 9128323 140734689659088 18446744073709551615 7315299 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 678474 593658 1944 1205 0 677265 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 2713896
[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 10579
/proc/meminfo: memFree=23446820/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2713896 CPUtime=222.24 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 1038732 0 0 0 22087 137 0 0 25 0 1 0 897196471 2779029504 593707 33554432000 4194304 9128323 140734689659088 18446744073709551615 6941061 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 678474 593707 1944 1205 0 677265 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 2713896
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 10580
/proc/meminfo: memFree=23447152/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2713896 CPUtime=282.24 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 1118154 0 0 0 28075 149 0 0 25 0 1 0 897196471 2779029504 593813 33554432000 4194304 9128323 140734689659088 18446744073709551615 7315713 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 678474 593813 1944 1205 0 677265 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2713896
[startup+342.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/499 10582
/proc/meminfo: memFree=23447724/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2715736 CPUtime=342.24 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 1192398 0 0 0 34064 160 0 0 25 0 1 0 897196471 2780913664 593769 33554432000 4194304 9128323 140734689659088 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 678934 593769 1944 1205 0 677725 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 2715736
[startup+402.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/499 10583
/proc/meminfo: memFree=23453764/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2721988 CPUtime=402.24 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 1233949 0 0 0 40056 168 0 0 25 0 1 0 897196471 2787315712 591132 33554432000 4194304 9128323 140734689659088 18446744073709551615 8008991 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 680497 591132 827 1205 0 679288 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 2721988
[startup+462.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/499 10594
/proc/meminfo: memFree=23463664/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2719128 CPUtime=462.25 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 1258187 0 0 0 46053 172 0 0 25 0 1 0 897196471 2784387072 588298 33554432000 4194304 9128323 140734689659088 18446744073709551615 7316108 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 679782 588298 665 1205 0 678573 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 2719128
[startup+522.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/499 10596
/proc/meminfo: memFree=23461648/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2729336 CPUtime=522.25 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 1291969 0 0 0 52048 177 0 0 25 0 1 0 897196471 2794840064 588947 33554432000 4194304 9128323 140734689659088 18446744073709551615 7316174 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 682334 588947 657 1205 0 681125 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 2729336
[startup+582.301 s]
/proc/loadavg: 2.09 2.06 2.01 3/499 10597
/proc/meminfo: memFree=23448588/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2737496 CPUtime=582.25 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 1318746 0 0 0 58044 181 0 0 25 0 1 0 897196471 2803195904 589656 33554432000 4194304 9128323 140734689659088 18446744073709551615 7343109 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 684374 589656 657 1205 0 683165 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 2737496
[startup+642.3 s]
################
# More data... #
################
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 1567329 0 0 0 100008 219 0 0 25 0 1 0 897196471 2831433728 592199 33554432000 4194304 9128323 140734689659088 18446744073709551615 7343102 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 691268 592199 657 1205 0 690059 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 2765072
[startup+1062.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/499 10610
/proc/meminfo: memFree=23412864/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2766468 CPUtime=1062.26 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 1599350 0 0 0 106003 223 0 0 25 0 1 0 897196471 2832863232 592683 33554432000 4194304 9128323 140734689659088 18446744073709551615 7346442 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 691617 592683 657 1205 0 690408 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 2766468
[startup+1122.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/499 10612
/proc/meminfo: memFree=23409724/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2852964 CPUtime=1122.27 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 1633359 0 0 0 111998 229 0 0 25 0 1 0 897196471 2921435136 594939 33554432000 4194304 9128323 140734689659088 18446744073709551615 7340990 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 713241 594939 657 1205 0 712032 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 2852964
[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 10613
/proc/meminfo: memFree=23406092/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2770336 CPUtime=1182.27 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 1663648 0 0 0 117993 234 0 0 25 0 1 0 897196471 2836824064 593048 33554432000 4194304 9128323 140734689659088 18446744073709551615 7346337 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 692584 593048 657 1205 0 691375 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 2770336
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 10615
/proc/meminfo: memFree=23404428/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2772296 CPUtime=1242.27 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 1696172 0 0 0 123989 238 0 0 25 0 1 0 897196471 2838831104 593265 33554432000 4194304 9128323 140734689659088 18446744073709551615 7343104 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 693074 593265 657 1205 0 691865 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 2772296
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 10616
/proc/meminfo: memFree=23415416/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2773368 CPUtime=1302.28 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 1729148 0 0 0 129985 243 0 0 25 0 1 0 897196471 2839928832 593506 33554432000 4194304 9128323 140734689659088 18446744073709551615 7315689 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 693342 593506 657 1205 0 692133 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 2773368
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 10618
/proc/meminfo: memFree=23426164/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2775296 CPUtime=1362.28 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 1762149 0 0 0 135980 248 0 0 25 0 1 0 897196471 2841903104 593594 33554432000 4194304 9128323 140734689659088 18446744073709551615 7316369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 693824 593594 657 1205 0 692615 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 2775296
[startup+1422.32 s]
/proc/loadavg: 2.10 2.03 2.01 3/499 10620
/proc/meminfo: memFree=23412340/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2776904 CPUtime=1422.29 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 1795362 0 0 0 141976 253 0 0 25 0 1 0 897196471 2843549696 593665 33554432000 4194304 9128323 140734689659088 18446744073709551615 7315702 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 694226 593665 657 1205 0 693017 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 2776904
[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/499 10621
/proc/meminfo: memFree=23414296/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2778224 CPUtime=1482.28 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 1840634 0 0 0 147968 260 0 0 25 0 1 0 897196471 2844901376 594416 33554432000 4194304 9128323 140734689659088 18446744073709551615 7315311 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 694556 594416 657 1205 0 693347 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 2778224
[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/499 10623
/proc/meminfo: memFree=23410156/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2779608 CPUtime=1542.28 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 1874468 0 0 0 153964 264 0 0 25 0 1 0 897196471 2846318592 594444 33554432000 4194304 9128323 140734689659088 18446744073709551615 7315713 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 694902 594444 657 1205 0 693693 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 2779608
[startup+1602.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/499 10624
/proc/meminfo: memFree=23405020/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2788716 CPUtime=1602.28 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 1914225 0 0 0 159959 269 0 0 25 0 1 0 897196471 2855645184 595202 33554432000 4194304 9128323 140734689659088 18446744073709551615 7315702 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 697179 595202 657 1205 0 695970 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 2788716
[startup+1662.3 s]
/proc/loadavg: 2.16 2.09 2.02 3/499 10626
/proc/meminfo: memFree=23407952/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2789484 CPUtime=1662.29 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 1948461 0 0 0 165955 274 0 0 25 0 1 0 897196471 2856431616 595259 33554432000 4194304 9128323 140734689659088 18446744073709551615 7314673 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 697371 595259 657 1205 0 696162 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 2789484
[startup+1722.3 s]
/proc/loadavg: 2.06 2.08 2.02 3/499 10628
/proc/meminfo: memFree=23401448/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2790284 CPUtime=1722.29 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 1982784 0 0 0 171951 278 0 0 25 0 1 0 897196471 2857250816 595413 33554432000 4194304 9128323 140734689659088 18446744073709551615 7315717 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 697571 595413 657 1205 0 696362 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 2790284
[startup+1782.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/499 10629
/proc/meminfo: memFree=23399172/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2790852 CPUtime=1782.29 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 2017033 0 0 0 177946 283 0 0 25 0 1 0 897196471 2857832448 595418 33554432000 4194304 9128323 140734689659088 18446744073709551615 7315702 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 697713 595418 657 1205 0 696504 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 2790852
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.01 2.05 2.01 3/499 10630
/proc/meminfo: memFree=23399648/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2791196 CPUtime=1800.1 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 2028529 0 0 0 179725 285 0 0 25 0 1 0 897196471 2858184704 595423 33554432000 4194304 9128323 140734689659088 18446744073709551615 7315299 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 697799 595423 657 1205 0 696590 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 2791196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -10545
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.01 2.05 2.01 3/500 10631
/proc/meminfo: memFree=23398772/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2791196 CPUtime=1801.4 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 2028537 0 0 0 179855 285 0 0 25 0 1 0 897196471 2858184704 595431 33554432000 4194304 9128323 140734689659088 18446744073709551615 7315635 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 697799 595431 657 1205 0 696590 0
Current children cumulated CPU time (s) 1801.4
Current children cumulated vsize (KiB) 2791196
[startup+1801.82 s]
/proc/loadavg: 2.01 2.05 2.01 3/500 10631
/proc/meminfo: memFree=23398772/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=2791196 CPUtime=1801.81 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4202496 2028537 0 0 0 179896 285 0 0 25 0 1 0 897196471 2858184704 595431 33554432000 4194304 9128323 140734689659088 18446744073709551615 7316174 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10545/statm: 697799 595431 657 1205 0 696590 0
Current children cumulated CPU time (s) 1801.81
Current children cumulated vsize (KiB) 2791196
[startup+1802.2 s]
/proc/loadavg: 2.01 2.05 2.01 3/500 10631
/proc/meminfo: memFree=23398772/32950928 swapFree=34421304/67111528
[pid=10545] ppid=10543 vsize=0 CPUtime=1802.19 cores=0,2,4,6
/proc/10545/stat : 10545 (scip-2.0.1.4.li) R 10543 10545 8661 0 -1 4203524 2028539 0 0 0 179926 293 0 0 25 0 1 0 897196471 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/10545/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.19
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.21
CPU time (s): 1802.21
CPU user time (s): 1799.27
CPU system time (s): 2.94355
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 2875360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.27
system time used= 2.94355
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2028539
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= 2
involuntary context switches= 1219
runsolver used 9.34258 second user time and 20.3239 second system time
The end