0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3478757-1307438584.opb>
7.29/7.32 c original problem has 44846 variables (44846 bin, 0 int, 0 impl, 0 cont) and 988104 constraints
7.29/7.32 c problem read
7.29/7.32 c No objective function, only one solution is needed.
7.29/7.32 c presolving settings loaded
8.49/8.52 c presolving:
12.99/13.08 c (round 1) 1 del vars, 8 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 988095 upgd conss, 415364 impls, 1772 clqs
14.09/14.16 c presolving (2 rounds):
14.09/14.16 c 1 deleted vars, 22 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 0 changed coefficients
14.09/14.16 c 415364 implications, 1772 cliques
14.09/14.16 c presolved problem has 44845 variables (44845 bin, 0 int, 0 impl, 0 cont) and 988082 constraints
14.09/14.16 c 101519 constraints of type <knapsack>
14.09/14.16 c 198683 constraints of type <setppc>
14.09/14.16 c 1 constraints of type <linear>
14.09/14.16 c 687879 constraints of type <logicor>
14.09/14.16 c transformed objective value is always integral (scale: 1)
14.09/14.16 c Presolving Time: 5.71
14.09/14.16 c - non default parameters ----------------------------------------------------------------------
14.09/14.16 c # SCIP version 2.0.1.5
14.09/14.16 c
14.09/14.16 c # frequency for displaying node information lines
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 100]
14.09/14.16 c display/freq = 10000
14.09/14.16 c
14.09/14.16 c # maximal time in seconds to run
14.09/14.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.09/14.16 c limits/time = 1800
14.09/14.16 c
14.09/14.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
14.09/14.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.09/14.16 c limits/memory = 13950
14.09/14.16 c
14.09/14.16 c # solving stops, if the given number of solutions were found (-1: no limit)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: -1]
14.09/14.16 c limits/solutions = 1
14.09/14.16 c
14.09/14.16 c # maximal number of separation rounds per node (-1: unlimited)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 5]
14.09/14.16 c separating/maxrounds = 1
14.09/14.16 c
14.09/14.16 c # maximal number of separation rounds in the root node (-1: unlimited)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: -1]
14.09/14.16 c separating/maxroundsroot = 5
14.09/14.16 c
14.09/14.16 c # default clock type (1: CPU user seconds, 2: wall clock time)
14.09/14.16 c # [type: int, range: [1,2], default: 1]
14.09/14.16 c timing/clocktype = 2
14.09/14.16 c
14.09/14.16 c # belongs reading time to solving time?
14.09/14.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.09/14.16 c timing/reading = TRUE
14.09/14.16 c
14.09/14.16 c # should presolving try to simplify inequalities
14.09/14.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.09/14.16 c constraints/linear/simplifyinequalities = TRUE
14.09/14.16 c
14.09/14.16 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
14.09/14.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.09/14.16 c constraints/indicator/addCouplingCons = TRUE
14.09/14.16 c
14.09/14.16 c # should disaggregation of knapsack constraints be allowed in preprocessing?
14.09/14.16 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
14.09/14.16 c constraints/knapsack/disaggregation = FALSE
14.09/14.16 c
14.09/14.16 c # should presolving try to simplify knapsacks
14.09/14.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.09/14.16 c constraints/knapsack/simplifyinequalities = TRUE
14.09/14.16 c
14.09/14.16 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: -1]
14.09/14.16 c presolving/probing/maxrounds = 0
14.09/14.16 c
14.09/14.16 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 10]
14.09/14.16 c heuristics/coefdiving/freq = -1
14.09/14.16 c
14.09/14.16 c # maximal fraction of diving LP iterations compared to node LP iterations
14.09/14.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.09/14.16 c heuristics/coefdiving/maxlpiterquot = 0.075
14.09/14.16 c
14.09/14.16 c # additional number of allowed LP iterations
14.09/14.16 c # [type: int, range: [0,2147483647], default: 1000]
14.09/14.16 c heuristics/coefdiving/maxlpiterofs = 1500
14.09/14.16 c
14.09/14.16 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 30]
14.09/14.16 c heuristics/crossover/freq = -1
14.09/14.16 c
14.09/14.16 c # number of nodes added to the contingent of the total nodes
14.09/14.16 c # [type: longint, range: [0,9223372036854775807], default: 500]
14.09/14.16 c heuristics/crossover/nodesofs = 750
14.09/14.16 c
14.09/14.16 c # number of nodes without incumbent change that heuristic should wait
14.09/14.16 c # [type: longint, range: [0,9223372036854775807], default: 200]
14.09/14.16 c heuristics/crossover/nwaitingnodes = 100
14.09/14.16 c
14.09/14.16 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
14.09/14.16 c # [type: real, range: [0,1], default: 0.1]
14.09/14.16 c heuristics/crossover/nodesquot = 0.15
14.09/14.16 c
14.09/14.16 c # minimum percentage of integer variables that have to be fixed
14.09/14.16 c # [type: real, range: [0,1], default: 0.666]
14.09/14.16 c heuristics/crossover/minfixingrate = 0.5
14.09/14.16 c
14.09/14.16 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 20]
14.09/14.16 c heuristics/feaspump/freq = -1
14.09/14.16 c
14.09/14.16 c # additional number of allowed LP iterations
14.09/14.16 c # [type: int, range: [0,2147483647], default: 1000]
14.09/14.16 c heuristics/feaspump/maxlpiterofs = 2000
14.09/14.16 c
14.09/14.16 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 10]
14.09/14.16 c heuristics/fracdiving/freq = -1
14.09/14.16 c
14.09/14.16 c # maximal fraction of diving LP iterations compared to node LP iterations
14.09/14.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.09/14.16 c heuristics/fracdiving/maxlpiterquot = 0.075
14.09/14.16 c
14.09/14.16 c # additional number of allowed LP iterations
14.09/14.16 c # [type: int, range: [0,2147483647], default: 1000]
14.09/14.16 c heuristics/fracdiving/maxlpiterofs = 1500
14.09/14.16 c
14.09/14.16 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 10]
14.09/14.16 c heuristics/guideddiving/freq = -1
14.09/14.16 c
14.09/14.16 c # maximal fraction of diving LP iterations compared to node LP iterations
14.09/14.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.09/14.16 c heuristics/guideddiving/maxlpiterquot = 0.075
14.09/14.16 c
14.09/14.16 c # additional number of allowed LP iterations
14.09/14.16 c # [type: int, range: [0,2147483647], default: 1000]
14.09/14.16 c heuristics/guideddiving/maxlpiterofs = 1500
14.09/14.16 c
14.09/14.16 c # maximal fraction of diving LP iterations compared to node LP iterations
14.09/14.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.09/14.16 c heuristics/intdiving/maxlpiterquot = 0.075
14.09/14.16 c
14.09/14.16 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 10]
14.09/14.16 c heuristics/intshifting/freq = -1
14.09/14.16 c
14.09/14.16 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 10]
14.09/14.16 c heuristics/linesearchdiving/freq = -1
14.09/14.16 c
14.09/14.16 c # maximal fraction of diving LP iterations compared to node LP iterations
14.09/14.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.09/14.16 c heuristics/linesearchdiving/maxlpiterquot = 0.075
14.09/14.16 c
14.09/14.16 c # additional number of allowed LP iterations
14.09/14.16 c # [type: int, range: [0,2147483647], default: 1000]
14.09/14.16 c heuristics/linesearchdiving/maxlpiterofs = 1500
14.09/14.16 c
14.09/14.16 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 20]
14.09/14.16 c heuristics/objpscostdiving/freq = -1
14.09/14.16 c
14.09/14.16 c # maximal fraction of diving LP iterations compared to total iteration number
14.09/14.16 c # [type: real, range: [0,1], default: 0.01]
14.09/14.16 c heuristics/objpscostdiving/maxlpiterquot = 0.015
14.09/14.16 c
14.09/14.16 c # additional number of allowed LP iterations
14.09/14.16 c # [type: int, range: [0,2147483647], default: 1000]
14.09/14.16 c heuristics/objpscostdiving/maxlpiterofs = 1500
14.09/14.16 c
14.09/14.16 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 1]
14.09/14.16 c heuristics/oneopt/freq = -1
14.09/14.16 c
14.09/14.16 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 10]
14.09/14.16 c heuristics/pscostdiving/freq = -1
14.09/14.16 c
14.09/14.16 c # maximal fraction of diving LP iterations compared to node LP iterations
14.09/14.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.09/14.16 c heuristics/pscostdiving/maxlpiterquot = 0.075
14.09/14.16 c
14.09/14.16 c # additional number of allowed LP iterations
14.09/14.16 c # [type: int, range: [0,2147483647], default: 1000]
14.09/14.16 c heuristics/pscostdiving/maxlpiterofs = 1500
14.09/14.16 c
14.09/14.16 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 0]
14.09/14.16 c heuristics/rens/freq = -1
14.09/14.16 c
14.09/14.16 c # minimum percentage of integer variables that have to be fixable
14.09/14.16 c # [type: real, range: [0,1], default: 0.5]
14.09/14.16 c heuristics/rens/minfixingrate = 0.3
14.09/14.16 c
14.09/14.16 c # number of nodes added to the contingent of the total nodes
14.09/14.16 c # [type: longint, range: [0,9223372036854775807], default: 500]
14.09/14.16 c heuristics/rens/nodesofs = 2000
14.09/14.16 c
14.09/14.16 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 20]
14.09/14.16 c heuristics/rootsoldiving/freq = -1
14.09/14.16 c
14.09/14.16 c # maximal fraction of diving LP iterations compared to node LP iterations
14.09/14.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
14.09/14.16 c heuristics/rootsoldiving/maxlpiterquot = 0.015
14.09/14.16 c
14.09/14.16 c # additional number of allowed LP iterations
14.09/14.16 c # [type: int, range: [0,2147483647], default: 1000]
14.09/14.16 c heuristics/rootsoldiving/maxlpiterofs = 1500
14.09/14.16 c
14.09/14.16 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 1]
14.09/14.16 c heuristics/rounding/freq = -1
14.09/14.16 c
14.09/14.16 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 0]
14.09/14.16 c heuristics/shiftandpropagate/freq = -1
14.09/14.16 c
14.09/14.16 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 10]
14.09/14.16 c heuristics/shifting/freq = -1
14.09/14.16 c
14.09/14.16 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 1]
14.09/14.16 c heuristics/simplerounding/freq = -1
14.09/14.16 c
14.09/14.16 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 1]
14.09/14.16 c heuristics/subnlp/freq = -1
14.09/14.16 c
14.09/14.16 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 0]
14.09/14.16 c heuristics/trivial/freq = -1
14.09/14.16 c
14.09/14.16 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 1]
14.09/14.16 c heuristics/trysol/freq = -1
14.09/14.16 c
14.09/14.16 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 0]
14.09/14.16 c heuristics/undercover/freq = -1
14.09/14.16 c
14.09/14.16 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 10]
14.09/14.16 c heuristics/veclendiving/freq = -1
14.09/14.16 c
14.09/14.16 c # maximal fraction of diving LP iterations compared to node LP iterations
14.09/14.16 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
14.09/14.16 c heuristics/veclendiving/maxlpiterquot = 0.075
14.09/14.16 c
14.09/14.16 c # additional number of allowed LP iterations
14.09/14.16 c # [type: int, range: [0,2147483647], default: 1000]
14.09/14.16 c heuristics/veclendiving/maxlpiterofs = 1500
14.09/14.16 c
14.09/14.16 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 1]
14.09/14.16 c heuristics/zirounding/freq = -1
14.09/14.16 c
14.09/14.16 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 0]
14.09/14.16 c separating/cmir/freq = -1
14.09/14.16 c
14.09/14.16 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: 0]
14.09/14.16 c separating/flowcover/freq = -1
14.09/14.16 c
14.09/14.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
14.09/14.16 c # [type: int, range: [-1,2147483647], default: -1]
14.09/14.16 c separating/rapidlearning/freq = 0
14.09/14.16 c
14.09/14.16 c -----------------------------------------------------------------------------------------------
14.09/14.16 c start solving
14.09/14.19 c
54.89/54.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.89/54.94 c 54.9s| 1 | 0 | 6802 | - |1465M| 0 |1248 | 44k| 988k| 44k| 988k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
130.09/130.10 c 130s| 1 | 0 | 16823 | - |1465M| 0 |6006 | 44k| 988k| 44k| 988k| 8 | 0 | 0 | 0.000000e+00 | -- | Inf
218.62/221.96 c 222s| 1 | 0 | 25225 | - |1467M| 0 |7949 | 44k| 988k| 44k| 988k| 23 | 0 | 0 | 0.000000e+00 | -- | Inf
286.42/289.79 c 290s| 1 | 0 | 29807 | - |1468M| 0 |8843 | 44k| 988k| 44k| 988k| 100 | 0 | 0 | 0.000000e+00 | -- | Inf
401.63/404.99 c 405s| 1 | 0 | 34544 | - |1471M| 0 | 10k| 44k| 988k| 44k| 988k| 168 | 0 | 0 | 0.000000e+00 | -- | Inf
510.05/513.37 c 513s| 1 | 0 | 36561 | - |1475M| 0 | 11k| 44k| 988k| 44k| 988k| 226 | 0 | 0 | 0.000000e+00 | -- | Inf
1018.60/1021.94 c 1022s| 1 | 2 | 36561 | - |1475M| 0 | 11k| 44k| 988k| 44k| 988k| 226 | 0 | 34 | 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-3478757-1307438584/watcher-3478757-1307438584 -o /tmp/evaluation-result-3478757-1307438584/solver-3478757-1307438584 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3478757-1307438584.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.10 2.04 1.72 2/508 29424
/proc/meminfo: memFree=16449604/32951124 swapFree=67111204/67111528
[pid=29424] ppid=29422 vsize=14004 CPUtime=0.01 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 2468 0 0 0 1 0 0 0 22 0 1 0 836274660 14340096 2422 33554432000 4194304 9163163 140734567449984 18446744073709551615 5132065 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29424/statm: 3501 2422 392 1214 0 2283 0
[startup+0.0819749 s]
/proc/loadavg: 2.10 2.04 1.72 2/508 29424
/proc/meminfo: memFree=16449604/32951124 swapFree=67111204/67111528
[pid=29424] ppid=29422 vsize=19612 CPUtime=0.07 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 3873 0 0 0 7 0 0 0 22 0 1 0 836274660 20082688 3827 33554432000 4194304 9163163 140734567449984 18446744073709551615 8041849 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29424/statm: 4903 3827 392 1214 0 3685 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19612
[startup+0.100971 s]
/proc/loadavg: 2.10 2.04 1.72 2/508 29424
/proc/meminfo: memFree=16449604/32951124 swapFree=67111204/67111528
[pid=29424] ppid=29422 vsize=20224 CPUtime=0.09 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 4048 0 0 0 9 0 0 0 22 0 1 0 836274660 20709376 4002 33554432000 4194304 9163163 140734567449984 18446744073709551615 6136273 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29424/statm: 5056 4002 392 1214 0 3838 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20224
[startup+0.300939 s]
/proc/loadavg: 2.10 2.04 1.72 2/508 29424
/proc/meminfo: memFree=16449604/32951124 swapFree=67111204/67111528
[pid=29424] ppid=29422 vsize=32440 CPUtime=0.29 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 7098 0 0 0 29 0 0 0 23 0 1 0 836274660 33218560 7052 33554432000 4194304 9163163 140734567449984 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29424/statm: 8110 7052 392 1214 0 6892 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32440
[startup+0.700866 s]
/proc/loadavg: 2.10 2.04 1.72 2/508 29424
/proc/meminfo: memFree=16449604/32951124 swapFree=67111204/67111528
[pid=29424] ppid=29422 vsize=56288 CPUtime=0.69 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 13037 0 0 0 68 1 0 0 25 0 1 0 836274660 57638912 12991 33554432000 4194304 9163163 140734567449984 18446744073709551615 8041849 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29424/statm: 14072 12991 392 1214 0 12854 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56288
[startup+1.50073 s]
/proc/loadavg: 2.09 2.04 1.72 3/509 29425
/proc/meminfo: memFree=16329468/32951124 swapFree=67111204/67111528
[pid=29424] ppid=29422 vsize=103408 CPUtime=1.49 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 24784 0 0 0 146 3 0 0 25 0 1 0 836274660 105889792 24738 33554432000 4194304 9163163 140734567449984 18446744073709551615 7962230 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29424/statm: 25852 24738 392 1214 0 24634 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 103408
[startup+3.10045 s]
/proc/loadavg: 2.09 2.04 1.72 3/509 29425
/proc/meminfo: memFree=16204216/32951124 swapFree=67111204/67111528
[pid=29424] ppid=29422 vsize=194912 CPUtime=3.09 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 47599 0 0 0 303 6 0 0 25 0 1 0 836274660 199589888 47553 33554432000 4194304 9163163 140734567449984 18446744073709551615 8031100 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29424/statm: 48728 47553 392 1214 0 47510 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 194912
[startup+6.30088 s]
/proc/loadavg: 2.08 2.04 1.72 3/509 29425
/proc/meminfo: memFree=15837504/32951124 swapFree=67111204/67111528
[pid=29424] ppid=29422 vsize=376320 CPUtime=6.29 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 92768 0 0 0 617 12 0 0 25 0 1 0 836274660 385351680 92722 33554432000 4194304 9163163 140734567449984 18446744073709551615 7994651 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/29424/statm: 94080 92722 392 1214 0 92862 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 376320
[startup+12.7008 s]
/proc/loadavg: 2.08 2.04 1.72 3/509 29425
/proc/meminfo: memFree=14324948/32951124 swapFree=67111204/67111528
[pid=29424] ppid=29422 vsize=1326312 CPUtime=12.69 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 404233 0 0 0 1213 56 0 0 25 0 1 0 836274660 1358143488 326648 33554432000 4194304 9163163 140734567449984 18446744073709551615 6918303 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29424/statm: 331578 326648 522 1214 0 330360 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1326312
[startup+25.5005 s]
/proc/loadavg: 2.07 2.04 1.73 3/512 29431
/proc/meminfo: memFree=12755236/32951124 swapFree=67111204/67111528
[pid=29424] ppid=29422 vsize=2638432 CPUtime=25.49 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 842620 0 0 0 2441 108 0 0 25 0 1 0 836274660 2701754368 615244 33554432000 4194304 9163163 140734567449984 18446744073709551615 7110296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29424/statm: 659608 615244 1217 1214 0 658390 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2638432
[startup+51.101 s]
/proc/loadavg: 2.04 2.03 1.73 3/512 29432
/proc/meminfo: memFree=11331484/32951124 swapFree=67111204/67111528
[pid=29424] ppid=29422 vsize=2803504 CPUtime=51.09 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 910322 0 0 0 4991 118 0 0 25 0 1 0 836274660 2870788096 654948 33554432000 4194304 9163163 140734567449984 18446744073709551615 8045909 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29424/statm: 700876 654971 896 1214 0 699658 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2803504
[startup+102.301 s]
/proc/loadavg: 2.02 2.02 1.74 3/512 29434
/proc/meminfo: memFree=8851328/32951124 swapFree=67111204/67111528
[pid=29424] ppid=29422 vsize=2727100 CPUtime=102.31 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 1099792 0 0 0 10088 143 0 0 25 0 1 0 836274660 2792550400 622513 33554432000 4194304 9163163 140734567449984 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29424/statm: 681775 622513 1876 1214 0 680557 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 2727100
[startup+162.3 s]
/proc/loadavg: 3.31 2.31 1.85 4/517 29444
/proc/meminfo: memFree=95888/32951124 swapFree=65312880/67111528
[pid=29424] ppid=29422 vsize=3007884 CPUtime=159.03 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 1316666 0 0 0 15699 204 0 0 20 0 1 0 836274660 3080073216 684617 33554432000 4194304 9163163 140734567449984 18446744073709551615 7317374 0 0 4096 16384 0 0 0 17 7 0 0 314
/proc/29424/statm: 751971 684617 1086 1214 0 750753 0
Current children cumulated CPU time (s) 159.03
Current children cumulated vsize (KiB) 3007884
[startup+222.301 s]
/proc/loadavg: 2.48 2.25 1.86 3/512 29446
/proc/meminfo: memFree=12601992/32951124 swapFree=65228948/67111528
[pid=29424] ppid=29422 vsize=2967164 CPUtime=219.02 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 1348746 0 0 0 21669 233 0 0 25 0 1 0 836274660 3038375936 684479 33554432000 4194304 9163163 140734567449984 18446744073709551615 7054416 0 0 4096 16384 0 0 0 17 1 0 0 314
/proc/29424/statm: 741791 684479 1084 1214 0 740573 0
Current children cumulated CPU time (s) 219.02
Current children cumulated vsize (KiB) 2967164
[startup+282.319 s]
/proc/loadavg: 2.17 2.20 1.86 4/512 29474
/proc/meminfo: memFree=15940420/32951124 swapFree=65259120/67111528
[pid=29424] ppid=29422 vsize=2986172 CPUtime=279.04 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 1440719 0 0 0 27655 249 0 0 25 0 1 0 836274660 3057840128 648670 33554432000 4194304 9163163 140734567449984 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 1 0 0 314
/proc/29424/statm: 746543 648670 1021 1214 0 745325 0
Current children cumulated CPU time (s) 279.04
Current children cumulated vsize (KiB) 2986172
[startup+342.301 s]
/proc/loadavg: 2.06 2.16 1.87 3/512 29476
/proc/meminfo: memFree=15906164/32951124 swapFree=65259120/67111528
[pid=29424] ppid=29422 vsize=2986952 CPUtime=339.02 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 1457241 0 0 0 33648 254 0 0 25 0 1 0 836274660 3058638848 648726 33554432000 4194304 9163163 140734567449984 18446744073709551615 7054416 0 0 4096 16384 0 0 0 17 1 0 0 314
/proc/29424/statm: 746738 648726 953 1214 0 745520 0
Current children cumulated CPU time (s) 339.02
Current children cumulated vsize (KiB) 2986952
[startup+402.3 s]
/proc/loadavg: 2.25 2.20 1.90 3/512 29478
/proc/meminfo: memFree=15937984/32951124 swapFree=65259120/67111528
[pid=29424] ppid=29422 vsize=2902076 CPUtime=399.02 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 1597687 0 0 0 39624 278 0 0 25 0 1 0 836274660 2971725824 644629 33554432000 4194304 9163163 140734567449984 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 1 0 0 314
/proc/29424/statm: 725519 644629 4825 1214 0 724301 0
Current children cumulated CPU time (s) 399.02
Current children cumulated vsize (KiB) 2902076
[startup+462.301 s]
/proc/loadavg: 2.13 2.18 1.91 3/512 29479
/proc/meminfo: memFree=15937736/32951124 swapFree=65259120/67111528
[pid=29424] ppid=29422 vsize=2902076 CPUtime=459.03 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 1608066 0 0 0 45621 282 0 0 25 0 1 0 836274660 2971725824 644587 33554432000 4194304 9163163 140734567449984 18446744073709551615 8045767 0 0 4096 16384 0 0 0 17 1 0 0 314
/proc/29424/statm: 725519 644587 4825 1214 0 724301 0
Current children cumulated CPU time (s) 459.03
Current children cumulated vsize (KiB) 2902076
[startup+522.3 s]
/proc/loadavg: 2.04 2.14 1.91 3/512 29481
/proc/meminfo: memFree=15906960/32951124 swapFree=65259120/67111528
[pid=29424] ppid=29422 vsize=2910044 CPUtime=518.99 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 1743042 0 2 0 51598 301 0 0 25 0 1 0 836274660 2979885056 648316 33554432000 4194304 9163163 140734567449984 18446744073709551615 7110296 0 0 4096 16384 0 0 0 17 1 0 0 318
/proc/29424/statm: 727511 648316 951 1214 0 726293 0
Current children cumulated CPU time (s) 518.99
Current children cumulated vsize (KiB) 2910044
[startup+582.301 s]
/proc/loadavg: 2.01 2.12 1.91 3/512 29482
/proc/meminfo: memFree=15888740/32951124 swapFree=65259120/67111528
[pid=29424] ppid=29422 vsize=2909340 CPUtime=578.99 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 2049895 0 2 0 57556 343 0 0 25 0 1 0 836274660 2979164160 648392 33554432000 4194304 9163163 140734567449984 18446744073709551615 6974030 0 0 4096 16384 0 0 0 17 1 0 0 318
/proc/29424/statm: 727335 648392 951 1214 0 726117 0
Current children cumulated CPU time (s) 578.99
Current children cumulated vsize (KiB) 2909340
[startup+642.3 s]
################
# More data... #
################
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 4454284 0 5 0 111211 686 0 0 25 0 1 0 836274660 2986569728 649745 33554432000 4194304 9163163 140734567449984 18446744073709551615 7348192 0 0 4096 16384 0 0 0 17 1 0 0 321
/proc/29424/statm: 729143 649745 908 1214 0 727925 0
Current children cumulated CPU time (s) 1118.97
Current children cumulated vsize (KiB) 2916572
[startup+1182.3 s]
/proc/loadavg: 2.01 2.05 1.94 3/512 29498
/proc/meminfo: memFree=15923780/32951124 swapFree=65259120/67111528
[pid=29424] ppid=29422 vsize=2889824 CPUtime=1178.97 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 4750005 0 5 0 117169 728 0 0 25 0 1 0 836274660 2959179776 631809 33554432000 4194304 9163163 140734567449984 18446744073709551615 7375715 0 0 4096 16384 0 0 0 17 1 0 0 321
/proc/29424/statm: 722456 631809 908 1214 0 721238 0
Current children cumulated CPU time (s) 1178.97
Current children cumulated vsize (KiB) 2889824
[startup+1242.3 s]
/proc/loadavg: 2.00 2.04 1.94 3/512 29500
/proc/meminfo: memFree=15904140/32951124 swapFree=65259120/67111528
[pid=29424] ppid=29422 vsize=2916444 CPUtime=1238.98 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 5030666 0 5 0 123129 769 0 0 25 0 1 0 836274660 2986438656 649611 33554432000 4194304 9163163 140734567449984 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 1 0 0 321
/proc/29424/statm: 729111 649611 908 1214 0 727893 0
Current children cumulated CPU time (s) 1238.98
Current children cumulated vsize (KiB) 2916444
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 1.94 3/512 29502
/proc/meminfo: memFree=15949696/32951124 swapFree=65259120/67111528
[pid=29424] ppid=29422 vsize=2889400 CPUtime=1298.97 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 5278595 0 5 0 129095 802 0 0 25 0 1 0 836274660 2958745600 638253 33554432000 4194304 9163163 140734567449984 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 1 0 0 321
/proc/29424/statm: 722350 638253 908 1214 0 721132 0
Current children cumulated CPU time (s) 1298.97
Current children cumulated vsize (KiB) 2889400
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/512 29503
/proc/meminfo: memFree=15885604/32951124 swapFree=65259120/67111528
[pid=29424] ppid=29422 vsize=2890020 CPUtime=1358.98 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 5592364 0 5 0 135052 846 0 0 25 0 1 0 836274660 2959380480 638242 33554432000 4194304 9163163 140734567449984 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 1 0 0 321
/proc/29424/statm: 722505 638242 908 1214 0 721287 0
Current children cumulated CPU time (s) 1358.98
Current children cumulated vsize (KiB) 2890020
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/512 29505
/proc/meminfo: memFree=15929192/32951124 swapFree=65259120/67111528
[pid=29424] ppid=29422 vsize=2889400 CPUtime=1418.98 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 5873823 0 5 0 141011 887 0 0 25 0 1 0 836274660 2958745600 638766 33554432000 4194304 9163163 140734567449984 18446744073709551615 7413686 0 0 4096 16384 0 0 0 17 1 0 0 321
/proc/29424/statm: 722350 638766 908 1214 0 721132 0
Current children cumulated CPU time (s) 1418.98
Current children cumulated vsize (KiB) 2889400
[startup+1482.3 s]
/proc/loadavg: 2.28 2.07 1.96 3/512 29506
/proc/meminfo: memFree=15925772/32951124 swapFree=65259120/67111528
[pid=29424] ppid=29422 vsize=2889400 CPUtime=1479 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 6169313 0 5 0 146971 929 0 0 25 0 1 0 836274660 2958745600 639014 33554432000 4194304 9163163 140734567449984 18446744073709551615 7375435 0 0 4096 16384 0 0 0 17 1 0 0 321
/proc/29424/statm: 722350 639014 908 1214 0 721132 0
Current children cumulated CPU time (s) 1479
Current children cumulated vsize (KiB) 2889400
[startup+1542.3 s]
/proc/loadavg: 2.31 2.11 1.98 3/512 29508
/proc/meminfo: memFree=15926320/32951124 swapFree=65259120/67111528
[pid=29424] ppid=29422 vsize=2889400 CPUtime=1538.98 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 6460271 0 5 0 152927 971 0 0 25 0 1 0 836274660 2958745600 638723 33554432000 4194304 9163163 140734567449984 18446744073709551615 7224016 0 0 4096 16384 0 0 0 17 1 0 0 321
/proc/29424/statm: 722350 638723 908 1214 0 721132 0
Current children cumulated CPU time (s) 1538.98
Current children cumulated vsize (KiB) 2889400
[startup+1602.32 s]
/proc/loadavg: 2.11 2.08 1.98 3/512 29510
/proc/meminfo: memFree=15925152/32951124 swapFree=65259120/67111528
[pid=29424] ppid=29422 vsize=2892424 CPUtime=1599 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 6696448 0 5 0 158894 1006 0 0 25 0 1 0 836274660 2961842176 638804 33554432000 4194304 9163163 140734567449984 18446744073709551615 6966376 0 0 4096 16384 0 0 0 17 1 0 0 321
/proc/29424/statm: 723106 638804 908 1214 0 721888 0
Current children cumulated CPU time (s) 1599
Current children cumulated vsize (KiB) 2892424
[startup+1662.3 s]
/proc/loadavg: 2.04 2.07 1.98 3/512 29511
/proc/meminfo: memFree=15882584/32951124 swapFree=65259120/67111528
[pid=29424] ppid=29422 vsize=2919188 CPUtime=1658.98 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 6975077 0 5 0 164853 1045 0 0 25 0 1 0 836274660 2989248512 650244 33554432000 4194304 9163163 140734567449984 18446744073709551615 7110518 0 0 4096 16384 0 0 0 17 1 0 0 321
/proc/29424/statm: 729797 650244 908 1214 0 728579 0
Current children cumulated CPU time (s) 1658.98
Current children cumulated vsize (KiB) 2919188
[startup+1722.3 s]
/proc/loadavg: 2.01 2.05 1.98 3/512 29513
/proc/meminfo: memFree=15928024/32951124 swapFree=65259120/67111528
[pid=29424] ppid=29422 vsize=2892424 CPUtime=1718.98 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 7266009 0 5 0 170811 1087 0 0 25 0 1 0 836274660 2961842176 638804 33554432000 4194304 9163163 140734567449984 18446744073709551615 8045914 0 0 4096 16384 0 0 0 17 1 0 0 321
/proc/29424/statm: 723106 638804 908 1214 0 721888 0
Current children cumulated CPU time (s) 1718.98
Current children cumulated vsize (KiB) 2892424
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 1.98 3/512 29514
/proc/meminfo: memFree=15918916/32951124 swapFree=65259120/67111528
[pid=29424] ppid=29422 vsize=2920160 CPUtime=1778.99 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 7565955 0 5 0 176771 1128 0 0 25 0 1 0 836274660 2990243840 650006 33554432000 4194304 9163163 140734567449984 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 1 0 0 321
/proc/29424/statm: 730040 650006 908 1214 0 728822 0
Current children cumulated CPU time (s) 1778.99
Current children cumulated vsize (KiB) 2920160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.4 s]
/proc/loadavg: 2.00 2.04 1.98 3/512 29515
/proc/meminfo: memFree=15962796/32951124 swapFree=65259120/67111528
[pid=29424] ppid=29422 vsize=2892424 CPUtime=1800.1 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 7662436 0 5 0 178869 1141 0 0 25 0 1 0 836274660 2961842176 638967 33554432000 4194304 9163163 140734567449984 18446744073709551615 6974013 0 0 4096 16384 0 0 0 17 1 0 0 321
/proc/29424/statm: 723106 638967 908 1214 0 721888 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 2892424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -29424
Solver just ended. Dumping a history of the last processes samples
[startup+1803.8 s]
/proc/loadavg: 2.00 2.04 1.98 3/513 29516
/proc/meminfo: memFree=15962788/32951124 swapFree=65259120/67111528
[pid=29424] ppid=29422 vsize=2936168 CPUtime=1800.49 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 7677568 0 5 0 178906 1143 0 0 25 0 1 0 836274660 3006636032 654099 33554432000 4194304 9163163 140734567449984 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 1 0 0 321
/proc/29424/statm: 734042 654099 5204 1214 0 732824 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (KiB) 2936168
[startup+1804.6 s]
/proc/loadavg: 2.00 2.04 1.98 3/513 29516
/proc/meminfo: memFree=15919264/32951124 swapFree=65259120/67111528
[pid=29424] ppid=29422 vsize=2936168 CPUtime=1801.3 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 7677568 0 5 0 178987 1143 0 0 25 0 1 0 836274660 3006636032 654099 33554432000 4194304 9163163 140734567449984 18446744073709551615 7379368 0 0 4096 16384 0 0 0 17 1 0 0 321
/proc/29424/statm: 734042 654099 5204 1214 0 732824 0
Current children cumulated CPU time (s) 1801.3
Current children cumulated vsize (KiB) 2936168
[startup+1805 s]
/proc/loadavg: 2.00 2.04 1.98 3/513 29516
/proc/meminfo: memFree=15919264/32951124 swapFree=65259120/67111528
[pid=29424] ppid=29422 vsize=2919076 CPUtime=1801.69 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 7683202 0 5 0 179025 1144 0 0 25 0 1 0 836274660 2989133824 649946 33554432000 4194304 9163163 140734567449984 18446744073709551615 7110339 0 0 4096 16384 0 0 0 17 1 0 0 321
/proc/29424/statm: 729769 649946 908 1214 0 728551 0
Current children cumulated CPU time (s) 1801.69
Current children cumulated vsize (KiB) 2919076
[startup+1805.4 s]
/proc/loadavg: 2.00 2.04 1.98 3/513 29516
/proc/meminfo: memFree=15919264/32951124 swapFree=65259120/67111528
[pid=29424] ppid=29422 vsize=2919076 CPUtime=1802.09 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4202496 7683223 0 5 0 179065 1144 0 0 25 0 1 0 836274660 2989133824 649967 33554432000 4194304 9163163 140734567449984 18446744073709551615 7414194 0 0 4096 16384 0 0 0 17 1 0 0 321
/proc/29424/statm: 729769 649967 908 1214 0 728551 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 2919076
[startup+1805.5 s]
/proc/loadavg: 2.00 2.04 1.98 3/513 29516
/proc/meminfo: memFree=15919264/32951124 swapFree=65259120/67111528
[pid=29424] ppid=29422 vsize=0 CPUtime=1802.19 cores=1,3,5,7
/proc/29424/stat : 29424 (scip-2.0.1.4b.l) R 29422 29424 29279 0 -1 4203524 7683223 0 5 0 179067 1152 0 0 25 0 1 0 836274660 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 321
/proc/29424/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): 1805.54
CPU time (s): 1802.24
CPU user time (s): 1790.67
CPU system time (s): 11.5622
CPU usage (%): 99.817
Max. virtual memory (cumulated for all children) (KiB): 3044512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.67
system time used= 11.5622
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7683223
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34
involuntary context switches= 2195
runsolver used 8.66668 second user time and 21.8217 second system time
The end