0.00/0.00 c SCIP version 2.0.1.4 [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-3478725-1307436782.opb>
1.59/1.63 c original problem has 10086 variables (10086 bin, 0 int, 0 impl, 0 cont) and 226240 constraints
1.59/1.63 c problem read
1.59/1.63 c No objective function, only one solution is needed.
1.59/1.63 c presolving settings loaded
2.10/2.20 c presolving:
3.09/3.20 c (round 1) 1 del vars, 10 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 0 chg coeffs, 226228 upgd conss, 107838 impls, 366 clqs
3.39/3.43 c presolving (2 rounds):
3.39/3.43 c 1 deleted vars, 18 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 9 changed sides, 0 changed coefficients
3.39/3.43 c 107838 implications, 366 cliques
3.39/3.43 c presolved problem has 10085 variables (10085 bin, 0 int, 0 impl, 0 cont) and 226222 constraints
3.39/3.43 c 22570 constraints of type <knapsack>
3.39/3.43 c 48174 constraints of type <setppc>
3.39/3.43 c 2 constraints of type <linear>
3.39/3.43 c 155476 constraints of type <logicor>
3.39/3.43 c transformed objective value is always integral (scale: 1)
3.39/3.43 c Presolving Time: 1.65
3.39/3.43 c - non default parameters ----------------------------------------------------------------------
3.39/3.43 c # SCIP version 2.0.1.4
3.39/3.43 c
3.39/3.43 c # frequency for displaying node information lines
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 100]
3.39/3.43 c display/freq = 10000
3.39/3.43 c
3.39/3.43 c # maximal time in seconds to run
3.39/3.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.39/3.43 c limits/time = 1800
3.39/3.43 c
3.39/3.43 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.39/3.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.39/3.43 c limits/memory = 13950
3.39/3.43 c
3.39/3.43 c # solving stops, if the given number of solutions were found (-1: no limit)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: -1]
3.39/3.43 c limits/solutions = 1
3.39/3.43 c
3.39/3.43 c # maximal number of separation rounds per node (-1: unlimited)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 5]
3.39/3.43 c separating/maxrounds = 1
3.39/3.43 c
3.39/3.43 c # maximal number of separation rounds in the root node (-1: unlimited)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: -1]
3.39/3.43 c separating/maxroundsroot = 5
3.39/3.43 c
3.39/3.43 c # default clock type (1: CPU user seconds, 2: wall clock time)
3.39/3.43 c # [type: int, range: [1,2], default: 1]
3.39/3.43 c timing/clocktype = 2
3.39/3.43 c
3.39/3.43 c # belongs reading time to solving time?
3.39/3.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.39/3.43 c timing/reading = TRUE
3.39/3.43 c
3.39/3.43 c # should presolving try to simplify inequalities
3.39/3.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.39/3.43 c constraints/linear/simplifyinequalities = TRUE
3.39/3.43 c
3.39/3.43 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
3.39/3.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.39/3.43 c constraints/indicator/addCouplingCons = TRUE
3.39/3.43 c
3.39/3.43 c # should disaggregation of knapsack constraints be allowed in preprocessing?
3.39/3.43 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
3.39/3.43 c constraints/knapsack/disaggregation = FALSE
3.39/3.43 c
3.39/3.43 c # should presolving try to simplify knapsacks
3.39/3.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.39/3.43 c constraints/knapsack/simplifyinequalities = TRUE
3.39/3.43 c
3.39/3.43 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: -1]
3.39/3.43 c presolving/probing/maxrounds = 0
3.39/3.43 c
3.39/3.43 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 10]
3.39/3.43 c heuristics/coefdiving/freq = -1
3.39/3.43 c
3.39/3.43 c # maximal fraction of diving LP iterations compared to node LP iterations
3.39/3.43 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.39/3.43 c heuristics/coefdiving/maxlpiterquot = 0.075
3.39/3.43 c
3.39/3.43 c # additional number of allowed LP iterations
3.39/3.43 c # [type: int, range: [0,2147483647], default: 1000]
3.39/3.43 c heuristics/coefdiving/maxlpiterofs = 1500
3.39/3.43 c
3.39/3.43 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 30]
3.39/3.43 c heuristics/crossover/freq = -1
3.39/3.43 c
3.39/3.43 c # number of nodes added to the contingent of the total nodes
3.39/3.43 c # [type: longint, range: [0,9223372036854775807], default: 500]
3.39/3.43 c heuristics/crossover/nodesofs = 750
3.39/3.43 c
3.39/3.43 c # number of nodes without incumbent change that heuristic should wait
3.39/3.43 c # [type: longint, range: [0,9223372036854775807], default: 200]
3.39/3.43 c heuristics/crossover/nwaitingnodes = 100
3.39/3.43 c
3.39/3.43 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
3.39/3.43 c # [type: real, range: [0,1], default: 0.1]
3.39/3.43 c heuristics/crossover/nodesquot = 0.15
3.39/3.43 c
3.39/3.43 c # minimum percentage of integer variables that have to be fixed
3.39/3.43 c # [type: real, range: [0,1], default: 0.666]
3.39/3.43 c heuristics/crossover/minfixingrate = 0.5
3.39/3.43 c
3.39/3.43 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 20]
3.39/3.43 c heuristics/feaspump/freq = -1
3.39/3.43 c
3.39/3.43 c # additional number of allowed LP iterations
3.39/3.43 c # [type: int, range: [0,2147483647], default: 1000]
3.39/3.43 c heuristics/feaspump/maxlpiterofs = 2000
3.39/3.43 c
3.39/3.43 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 10]
3.39/3.43 c heuristics/fracdiving/freq = -1
3.39/3.43 c
3.39/3.43 c # maximal fraction of diving LP iterations compared to node LP iterations
3.39/3.43 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.39/3.43 c heuristics/fracdiving/maxlpiterquot = 0.075
3.39/3.43 c
3.39/3.43 c # additional number of allowed LP iterations
3.39/3.43 c # [type: int, range: [0,2147483647], default: 1000]
3.39/3.43 c heuristics/fracdiving/maxlpiterofs = 1500
3.39/3.43 c
3.39/3.43 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 10]
3.39/3.43 c heuristics/guideddiving/freq = -1
3.39/3.43 c
3.39/3.43 c # maximal fraction of diving LP iterations compared to node LP iterations
3.39/3.43 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.39/3.43 c heuristics/guideddiving/maxlpiterquot = 0.075
3.39/3.43 c
3.39/3.43 c # additional number of allowed LP iterations
3.39/3.43 c # [type: int, range: [0,2147483647], default: 1000]
3.39/3.43 c heuristics/guideddiving/maxlpiterofs = 1500
3.39/3.43 c
3.39/3.43 c # maximal fraction of diving LP iterations compared to node LP iterations
3.39/3.43 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.39/3.43 c heuristics/intdiving/maxlpiterquot = 0.075
3.39/3.43 c
3.39/3.43 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 10]
3.39/3.43 c heuristics/intshifting/freq = -1
3.39/3.43 c
3.39/3.43 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 10]
3.39/3.43 c heuristics/linesearchdiving/freq = -1
3.39/3.43 c
3.39/3.43 c # maximal fraction of diving LP iterations compared to node LP iterations
3.39/3.43 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.39/3.43 c heuristics/linesearchdiving/maxlpiterquot = 0.075
3.39/3.43 c
3.39/3.43 c # additional number of allowed LP iterations
3.39/3.43 c # [type: int, range: [0,2147483647], default: 1000]
3.39/3.43 c heuristics/linesearchdiving/maxlpiterofs = 1500
3.39/3.43 c
3.39/3.43 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 20]
3.39/3.43 c heuristics/objpscostdiving/freq = -1
3.39/3.43 c
3.39/3.43 c # maximal fraction of diving LP iterations compared to total iteration number
3.39/3.43 c # [type: real, range: [0,1], default: 0.01]
3.39/3.43 c heuristics/objpscostdiving/maxlpiterquot = 0.015
3.39/3.43 c
3.39/3.43 c # additional number of allowed LP iterations
3.39/3.43 c # [type: int, range: [0,2147483647], default: 1000]
3.39/3.43 c heuristics/objpscostdiving/maxlpiterofs = 1500
3.39/3.43 c
3.39/3.43 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 1]
3.39/3.43 c heuristics/oneopt/freq = -1
3.39/3.43 c
3.39/3.43 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 10]
3.39/3.43 c heuristics/pscostdiving/freq = -1
3.39/3.43 c
3.39/3.43 c # maximal fraction of diving LP iterations compared to node LP iterations
3.39/3.43 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.39/3.43 c heuristics/pscostdiving/maxlpiterquot = 0.075
3.39/3.43 c
3.39/3.43 c # additional number of allowed LP iterations
3.39/3.43 c # [type: int, range: [0,2147483647], default: 1000]
3.39/3.43 c heuristics/pscostdiving/maxlpiterofs = 1500
3.39/3.43 c
3.39/3.43 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 0]
3.39/3.43 c heuristics/rens/freq = -1
3.39/3.43 c
3.39/3.43 c # minimum percentage of integer variables that have to be fixable
3.39/3.43 c # [type: real, range: [0,1], default: 0.5]
3.39/3.43 c heuristics/rens/minfixingrate = 0.3
3.39/3.43 c
3.39/3.43 c # number of nodes added to the contingent of the total nodes
3.39/3.43 c # [type: longint, range: [0,9223372036854775807], default: 500]
3.39/3.43 c heuristics/rens/nodesofs = 2000
3.39/3.43 c
3.39/3.43 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 20]
3.39/3.43 c heuristics/rootsoldiving/freq = -1
3.39/3.43 c
3.39/3.43 c # maximal fraction of diving LP iterations compared to node LP iterations
3.39/3.43 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
3.39/3.43 c heuristics/rootsoldiving/maxlpiterquot = 0.015
3.39/3.43 c
3.39/3.43 c # additional number of allowed LP iterations
3.39/3.43 c # [type: int, range: [0,2147483647], default: 1000]
3.39/3.43 c heuristics/rootsoldiving/maxlpiterofs = 1500
3.39/3.43 c
3.39/3.43 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 1]
3.39/3.43 c heuristics/rounding/freq = -1
3.39/3.43 c
3.39/3.43 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 0]
3.39/3.43 c heuristics/shiftandpropagate/freq = -1
3.39/3.43 c
3.39/3.43 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 10]
3.39/3.43 c heuristics/shifting/freq = -1
3.39/3.43 c
3.39/3.43 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 1]
3.39/3.43 c heuristics/simplerounding/freq = -1
3.39/3.43 c
3.39/3.43 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 1]
3.39/3.43 c heuristics/subnlp/freq = -1
3.39/3.43 c
3.39/3.43 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 0]
3.39/3.43 c heuristics/trivial/freq = -1
3.39/3.43 c
3.39/3.43 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 1]
3.39/3.43 c heuristics/trysol/freq = -1
3.39/3.43 c
3.39/3.43 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 0]
3.39/3.43 c heuristics/undercover/freq = -1
3.39/3.43 c
3.39/3.43 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 10]
3.39/3.43 c heuristics/veclendiving/freq = -1
3.39/3.43 c
3.39/3.43 c # maximal fraction of diving LP iterations compared to node LP iterations
3.39/3.43 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
3.39/3.43 c heuristics/veclendiving/maxlpiterquot = 0.075
3.39/3.43 c
3.39/3.43 c # additional number of allowed LP iterations
3.39/3.43 c # [type: int, range: [0,2147483647], default: 1000]
3.39/3.43 c heuristics/veclendiving/maxlpiterofs = 1500
3.39/3.43 c
3.39/3.43 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 1]
3.39/3.43 c heuristics/zirounding/freq = -1
3.39/3.43 c
3.39/3.43 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 0]
3.39/3.43 c separating/cmir/freq = -1
3.39/3.43 c
3.39/3.43 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: 0]
3.39/3.43 c separating/flowcover/freq = -1
3.39/3.43 c
3.39/3.43 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.39/3.43 c # [type: int, range: [-1,2147483647], default: -1]
3.39/3.43 c separating/rapidlearning/freq = 0
3.39/3.43 c
3.39/3.43 c -----------------------------------------------------------------------------------------------
3.39/3.43 c start solving
3.39/3.43 c
6.09/6.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.09/6.19 c 6.2s| 1 | 0 | 2004 | - | 317M| 0 | 821 | 10k| 226k| 10k| 226k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
9.91/9.92 c 9.9s| 1 | 0 | 3165 | - | 317M| 0 |1224 | 10k| 226k| 10k| 226k| 15 | 0 | 0 | 0.000000e+00 | -- | Inf
14.09/14.13 c 14.1s| 1 | 0 | 4554 | - | 317M| 0 |2028 | 10k| 226k| 10k| 226k| 25 | 0 | 0 | 0.000000e+00 | -- | Inf
20.59/20.63 c 20.6s| 1 | 0 | 5453 | - | 319M| 0 |2641 | 10k| 226k| 10k| 226k| 45 | 0 | 0 | 0.000000e+00 | -- | Inf
25.09/25.21 c 25.2s| 1 | 0 | 5967 | - | 320M| 0 |3074 | 10k| 226k| 10k| 226k| 56 | 0 | 0 | 0.000000e+00 | -- | Inf
60.68/60.77 c 60.8s| 1 | 0 | 11299 | - | 320M| 0 |3399 | 10k| 226k| 10k| 226k| 76 | 0 | 0 | 0.000000e+00 | -- | Inf
120.99/121.09 c 121s| 1 | 2 | 11299 | - | 320M| 0 |3399 | 10k| 226k| 10k| 226k| 76 | 0 | 25 | 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-3478725-1307436782/watcher-3478725-1307436782 -o /tmp/evaluation-result-3478725-1307436782/solver-3478725-1307436782 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3478725-1307436782.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: 0.00 0.00 0.00 1/516 22628
/proc/meminfo: memFree=21244776/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=10804 CPUtime=0.01 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 1686 0 0 0 1 0 0 0 23 0 1 0 836093707 11063296 1640 33554432000 4194304 9128323 140733442535792 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22628/statm: 2701 1640 397 1205 0 1492 0
[startup+0.022783 s]
/proc/loadavg: 0.00 0.00 0.00 1/516 22628
/proc/meminfo: memFree=21244776/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=11620 CPUtime=0.02 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 1906 0 0 0 2 0 0 0 23 0 1 0 836093707 11898880 1860 33554432000 4194304 9128323 140733442535792 18446744073709551615 7903722 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22628/statm: 2905 1860 397 1205 0 1696 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11620
[startup+0.10082 s]
/proc/loadavg: 0.00 0.00 0.00 1/516 22628
/proc/meminfo: memFree=21244776/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=16184 CPUtime=0.09 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 3054 0 0 0 9 0 0 0 23 0 1 0 836093707 16572416 3006 33554432000 4194304 9128323 140733442535792 18446744073709551615 7961514 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22628/statm: 4046 3006 397 1205 0 2837 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16184
[startup+0.300768 s]
/proc/loadavg: 0.00 0.00 0.00 1/516 22628
/proc/meminfo: memFree=21244776/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=25828 CPUtime=0.29 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 5465 0 0 0 29 0 0 0 23 0 1 0 836093707 26447872 5414 33554432000 4194304 9128323 140733442535792 18446744073709551615 6163840 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22628/statm: 6457 5414 397 1205 0 5248 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25828
[startup+0.700692 s]
/proc/loadavg: 0.00 0.00 0.00 1/516 22628
/proc/meminfo: memFree=21244776/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=45352 CPUtime=0.69 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 10331 0 0 0 68 1 0 0 25 0 1 0 836093707 46440448 10273 33554432000 4194304 9128323 140733442535792 18446744073709551615 8008895 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22628/statm: 11338 10273 397 1205 0 10129 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45352
[startup+1.50057 s]
/proc/loadavg: 0.00 0.00 0.00 3/519 22633
/proc/meminfo: memFree=21141304/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=82472 CPUtime=1.49 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 19604 0 0 0 147 2 0 0 25 0 1 0 836093707 84451328 19532 33554432000 4194304 9128323 140733442535792 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22628/statm: 20618 19532 397 1205 0 19409 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82472
[startup+3.10029 s]
/proc/loadavg: 0.16 0.03 0.01 3/522 22639
/proc/meminfo: memFree=20823964/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=366524 CPUtime=3.09 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 111843 0 0 0 296 13 0 0 25 0 1 0 836093707 375320576 88965 33554432000 4194304 9128323 140733442535792 18446744073709551615 6581208 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 91631 88965 525 1205 0 90422 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 366524
[startup+6.30071 s]
/proc/loadavg: 0.16 0.03 0.01 3/522 22640
/proc/meminfo: memFree=20344332/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=677692 CPUtime=6.29 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 219499 0 0 0 602 27 0 0 23 0 1 0 836093707 693956608 161219 33554432000 4194304 9128323 140733442535792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 169423 161219 739 1205 0 168214 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 677692
[startup+12.7005 s]
/proc/loadavg: 0.44 0.10 0.03 3/522 22640
/proc/meminfo: memFree=19359264/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=724592 CPUtime=12.69 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 232764 0 0 0 1240 29 0 0 25 0 1 0 836093707 741982208 173129 33554432000 4194304 9128323 140733442535792 18446744073709551615 7361801 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 181148 173129 996 1205 0 179939 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 724592
[startup+25.5012 s]
/proc/loadavg: 0.68 0.16 0.05 3/522 22640
/proc/meminfo: memFree=17858024/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=758964 CPUtime=25.49 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 244018 0 0 0 2519 30 0 0 25 0 1 0 836093707 777179136 184064 33554432000 4194304 9128323 140733442535792 18446744073709551615 7021486 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 189741 184064 887 1205 0 188532 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 758964
[startup+51.1005 s]
/proc/loadavg: 1.13 0.31 0.10 3/522 22641
/proc/meminfo: memFree=17742992/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=773388 CPUtime=51.08 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 246648 0 0 0 5075 33 0 0 25 0 1 0 836093707 791949312 186679 33554432000 4194304 9128323 140733442535792 18446744073709551615 7077578 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 193347 186679 872 1205 0 192138 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 773388
[startup+102.32 s]
/proc/loadavg: 1.69 0.60 0.21 3/522 22642
/proc/meminfo: memFree=17787160/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=797292 CPUtime=102.28 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 306381 0 0 0 10183 45 0 0 25 0 1 0 836093707 816427008 188834 33554432000 4194304 9128323 140733442535792 18446744073709551615 7077395 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 199323 188834 875 1205 0 198114 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 797292
[startup+162.301 s]
/proc/loadavg: 1.99 0.88 0.33 3/522 22644
/proc/meminfo: memFree=17753096/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=778348 CPUtime=162.27 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 387868 0 0 0 16169 58 0 0 25 0 1 0 836093707 797028352 187507 33554432000 4194304 9128323 140733442535792 18446744073709551615 7361692 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 194587 187507 881 1205 0 193378 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 778348
[startup+222.301 s]
/proc/loadavg: 2.13 1.12 0.45 3/522 22645
/proc/meminfo: memFree=17757364/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=816048 CPUtime=222.27 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 667895 0 0 0 22133 94 0 0 25 0 1 0 836093707 835633152 193499 33554432000 4194304 9128323 140733442535792 18446744073709551615 6941086 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 204012 193499 910 1205 0 202803 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 816048
[startup+282.301 s]
/proc/loadavg: 2.14 1.31 0.55 3/522 22647
/proc/meminfo: memFree=17806124/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=779212 CPUtime=282.27 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 701069 0 0 0 28126 101 0 0 25 0 1 0 836093707 797913088 182594 33554432000 4194304 9128323 140733442535792 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 194803 182594 866 1205 0 193594 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 779212
[startup+342.301 s]
/proc/loadavg: 2.05 1.43 0.64 3/522 22649
/proc/meminfo: memFree=17805968/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=779120 CPUtime=342.28 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 790312 0 0 0 34115 113 0 0 25 0 1 0 836093707 797818880 182549 33554432000 4194304 9128323 140733442535792 18446744073709551615 7077395 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 194780 182549 866 1205 0 193571 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 779120
[startup+402.301 s]
/proc/loadavg: 2.02 1.53 0.72 3/522 22650
/proc/meminfo: memFree=17794296/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=779120 CPUtime=402.28 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 790358 0 0 0 40109 119 0 0 25 0 1 0 836093707 797818880 182595 33554432000 4194304 9128323 140733442535792 18446744073709551615 7380906 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 194780 182595 866 1205 0 193571 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 779120
[startup+462.301 s]
/proc/loadavg: 2.00 1.61 0.80 3/522 22652
/proc/meminfo: memFree=17795988/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=759744 CPUtime=462.27 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 826448 0 0 0 46101 126 0 0 25 0 1 0 836093707 777977856 182474 33554432000 4194304 9128323 140733442535792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 189936 182474 856 1205 0 188727 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 759744
[startup+522.301 s]
/proc/loadavg: 2.00 1.68 0.87 3/522 22662
/proc/meminfo: memFree=17791156/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=780024 CPUtime=522.28 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 884639 0 0 0 52093 135 0 0 25 0 1 0 836093707 798744576 183999 33554432000 4194304 9128323 140733442535792 18446744073709551615 7315568 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 195006 183999 856 1205 0 193797 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 780024
[startup+582.301 s]
/proc/loadavg: 2.11 1.77 0.95 3/522 22664
/proc/meminfo: memFree=17775492/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=779584 CPUtime=582.28 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 911626 0 0 0 58086 142 0 0 25 0 1 0 836093707 798294016 187746 33554432000 4194304 9128323 140733442535792 18446744073709551615 7018454 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 194896 187746 856 1205 0 193687 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 779584
[startup+642.3 s]
################
# More data... #
################
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 1382586 0 0 0 100008 221 0 0 25 0 1 0 836093707 823640064 189865 33554432000 4194304 9128323 140733442535792 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 201084 189865 886 1205 0 199875 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 804336
[startup+1062.3 s]
/proc/loadavg: 2.00 1.96 1.37 3/522 22677
/proc/meminfo: memFree=17765936/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=792388 CPUtime=1062.29 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 1586607 0 0 0 105980 249 0 0 25 0 1 0 836093707 811405312 189535 33554432000 4194304 9128323 140733442535792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 198097 189535 886 1205 0 196888 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 792388
[startup+1122.3 s]
/proc/loadavg: 2.08 1.99 1.41 3/522 22678
/proc/meminfo: memFree=17757352/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=761404 CPUtime=1122.29 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 1633513 0 0 0 111970 259 0 0 25 0 1 0 836093707 779677696 182805 33554432000 4194304 9128323 140733442535792 18446744073709551615 7346414 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 190351 182805 886 1205 0 189142 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 761404
[startup+1182.3 s]
/proc/loadavg: 2.10 2.00 1.45 3/522 22680
/proc/meminfo: memFree=17741348/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=792240 CPUtime=1182.3 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 1819957 0 0 0 117946 284 0 0 25 0 1 0 836093707 811253760 193289 33554432000 4194304 9128323 140733442535792 18446744073709551615 7077395 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 198060 193289 886 1205 0 196851 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 792240
[startup+1242.3 s]
/proc/loadavg: 2.04 2.00 1.48 3/522 22682
/proc/meminfo: memFree=17755968/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=804220 CPUtime=1242.3 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 1949801 0 0 0 123926 304 0 0 25 0 1 0 836093707 823521280 189380 33554432000 4194304 9128323 140733442535792 18446744073709551615 7342532 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 201055 189380 886 1205 0 199846 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 804220
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.51 3/522 22683
/proc/meminfo: memFree=17738724/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=791240 CPUtime=1302.32 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 2046036 0 0 0 129912 320 0 0 25 0 1 0 836093707 810229760 193200 33554432000 4194304 9128323 140733442535792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 197810 193200 886 1205 0 196601 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 791240
[startup+1362.3 s]
/proc/loadavg: 2.10 2.03 1.55 3/522 22685
/proc/meminfo: memFree=17764100/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=760344 CPUtime=1362.3 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 2237737 0 0 0 135884 346 0 0 25 0 1 0 836093707 778592256 182883 33554432000 4194304 9128323 140733442535792 18446744073709551615 6941061 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 190086 182883 886 1205 0 188877 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 760344
[startup+1422.32 s]
/proc/loadavg: 2.08 2.04 1.58 3/522 22686
/proc/meminfo: memFree=17728232/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=801596 CPUtime=1422.33 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 2443495 0 0 0 141858 375 0 0 25 0 1 0 836093707 820834304 191960 33554432000 4194304 9128323 140733442535792 18446744073709551615 7343104 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 200399 191960 894 1205 0 199190 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 801596
[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 1.60 3/522 22688
/proc/meminfo: memFree=17720276/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=820224 CPUtime=1482.31 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 2491686 0 0 0 147846 385 0 0 25 0 1 0 836093707 839909376 194806 33554432000 4194304 9128323 140733442535792 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 205056 194806 894 1205 0 203847 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 820224
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 1.63 3/522 22690
/proc/meminfo: memFree=17750020/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=792508 CPUtime=1542.31 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 2586927 0 0 0 153829 402 0 0 25 0 1 0 836093707 811528192 186706 33554432000 4194304 9128323 140733442535792 18446744073709551615 7315444 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 198127 186706 886 1205 0 196918 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 792508
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.65 3/522 22691
/proc/meminfo: memFree=17781008/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=768080 CPUtime=1602.31 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 2600107 0 0 0 159822 409 0 0 25 0 1 0 836093707 786513920 183316 33554432000 4194304 9128323 140733442535792 18446744073709551615 7077364 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 192020 183316 865 1205 0 190811 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 768080
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.66 3/522 22693
/proc/meminfo: memFree=17709188/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=825140 CPUtime=1662.32 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 2613269 0 0 0 165818 414 0 0 25 0 1 0 836093707 844943360 196439 33554432000 4194304 9128323 140733442535792 18446744073709551615 7316083 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 206285 196439 868 1205 0 205076 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 825140
[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 1.69 3/522 22694
/proc/meminfo: memFree=17764356/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=791920 CPUtime=1722.32 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 2795158 0 0 0 171792 440 0 0 25 0 1 0 836093707 810926080 187466 33554432000 4194304 9128323 140733442535792 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 197980 187466 868 1205 0 196771 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 791920
[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 1.71 3/522 22696
/proc/meminfo: memFree=17719088/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=791920 CPUtime=1782.32 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 2801321 0 0 0 177787 445 0 0 25 0 1 0 836093707 810926080 193628 33554432000 4194304 9128323 140733442535792 18446744073709551615 7315719 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 197980 193628 882 1205 0 196771 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 791920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.05 2.03 1.72 3/522 22696
/proc/meminfo: memFree=17738800/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=791920 CPUtime=1800.03 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 2801321 0 0 0 179558 445 0 0 25 0 1 0 836093707 810926080 193628 33554432000 4194304 9128323 140733442535792 18446744073709551615 7316161 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 197980 193628 882 1205 0 196771 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 791920
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -22628
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.05 2.03 1.72 3/523 22697
/proc/meminfo: memFree=17738792/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=791920 CPUtime=1801.41 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 2801321 0 0 0 179696 445 0 0 25 0 1 0 836093707 810926080 193628 33554432000 4194304 9128323 140733442535792 18446744073709551615 7241285 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 197980 193628 882 1205 0 196771 0
Current children cumulated CPU time (s) 1801.41
Current children cumulated vsize (KiB) 791920
[startup+1801.82 s]
/proc/loadavg: 2.05 2.03 1.72 3/524 22698
/proc/meminfo: memFree=17737792/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=791920 CPUtime=1801.84 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 2801321 0 0 0 179738 446 0 0 25 0 1 0 836093707 810926080 193628 33554432000 4194304 9128323 140733442535792 18446744073709551615 7241303 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 197980 193628 882 1205 0 196771 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 791920
[startup+1802 s]
/proc/loadavg: 2.05 2.03 1.72 3/524 22698
/proc/meminfo: memFree=17737792/32951124 swapFree=58800704/67111528
[pid=22628] ppid=22626 vsize=791920 CPUtime=1802.02 cores=0,2,4,6
/proc/22628/stat : 22628 (scip-2.0.1.4.li) R 22626 22628 22600 0 -1 4202496 2801321 0 0 0 179756 446 0 0 25 0 1 0 836093707 810926080 193628 33554432000 4194304 9128323 140733442535792 18446744073709551615 7316352 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/22628/statm: 197980 193628 882 1205 0 196771 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 791920
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.06
CPU time (s): 1802.08
CPU user time (s): 1797.59
CPU system time (s): 4.49332
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 825140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.59
system time used= 4.49332
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2801321
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2298
runsolver used 9.96848 second user time and 21.2198 second system time
The end