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-3478780-1307438585.opb>
8.89/8.98 c original problem has 48411 variables (48411 bin, 0 int, 0 impl, 0 cont) and 1121517 constraints
8.89/8.98 c problem read
8.89/8.98 c No objective function, only one solution is needed.
8.89/8.98 c presolving settings loaded
12.60/12.69 c presolving:
18.99/19.03 c (round 1) 1 del vars, 8 del conss, 0 add conss, 0 chg bounds, 7 chg sides, 0 chg coeffs, 1121508 upgd conss, 488092 impls, 1772 clqs
20.40/20.44 c presolving (2 rounds):
20.40/20.44 c 1 deleted vars, 30 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 7 changed sides, 0 changed coefficients
20.40/20.44 c 488092 implications, 1772 cliques
20.40/20.44 c presolved problem has 48410 variables (48410 bin, 0 int, 0 impl, 0 cont) and 1121487 constraints
20.40/20.44 c 112021 constraints of type <knapsack>
20.40/20.44 c 237584 constraints of type <setppc>
20.40/20.44 c 1 constraints of type <linear>
20.40/20.44 c 771881 constraints of type <logicor>
20.40/20.44 c transformed objective value is always integral (scale: 1)
20.40/20.44 c Presolving Time: 10.69
20.40/20.44 c - non default parameters ----------------------------------------------------------------------
20.40/20.44 c # SCIP version 2.0.1.4
20.40/20.44 c
20.40/20.44 c # frequency for displaying node information lines
20.40/20.44 c # [type: int, range: [-1,2147483647], default: 100]
20.40/20.44 c display/freq = 10000
20.40/20.44 c
20.40/20.44 c # maximal time in seconds to run
20.40/20.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
20.40/20.44 c limits/time = 1800
20.40/20.44 c
20.40/20.44 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
20.40/20.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
20.40/20.44 c limits/memory = 13950
20.40/20.44 c
20.40/20.44 c # solving stops, if the given number of solutions were found (-1: no limit)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: -1]
20.40/20.44 c limits/solutions = 1
20.40/20.44 c
20.40/20.44 c # maximal number of separation rounds per node (-1: unlimited)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: 5]
20.40/20.44 c separating/maxrounds = 1
20.40/20.44 c
20.40/20.44 c # maximal number of separation rounds in the root node (-1: unlimited)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: -1]
20.40/20.44 c separating/maxroundsroot = 5
20.40/20.44 c
20.40/20.44 c # default clock type (1: CPU user seconds, 2: wall clock time)
20.40/20.44 c # [type: int, range: [1,2], default: 1]
20.40/20.44 c timing/clocktype = 2
20.40/20.44 c
20.40/20.44 c # belongs reading time to solving time?
20.40/20.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
20.40/20.44 c timing/reading = TRUE
20.40/20.44 c
20.40/20.44 c # should presolving try to simplify inequalities
20.40/20.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
20.40/20.44 c constraints/linear/simplifyinequalities = TRUE
20.40/20.44 c
20.40/20.44 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
20.40/20.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
20.40/20.44 c constraints/indicator/addCouplingCons = TRUE
20.40/20.44 c
20.40/20.44 c # should disaggregation of knapsack constraints be allowed in preprocessing?
20.40/20.44 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
20.40/20.44 c constraints/knapsack/disaggregation = FALSE
20.40/20.44 c
20.40/20.44 c # should presolving try to simplify knapsacks
20.40/20.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
20.40/20.44 c constraints/knapsack/simplifyinequalities = TRUE
20.40/20.44 c
20.40/20.44 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: -1]
20.40/20.44 c presolving/probing/maxrounds = 0
20.40/20.44 c
20.40/20.44 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: 10]
20.40/20.44 c heuristics/coefdiving/freq = -1
20.40/20.44 c
20.40/20.44 c # maximal fraction of diving LP iterations compared to node LP iterations
20.40/20.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
20.40/20.44 c heuristics/coefdiving/maxlpiterquot = 0.075
20.40/20.44 c
20.40/20.44 c # additional number of allowed LP iterations
20.40/20.44 c # [type: int, range: [0,2147483647], default: 1000]
20.40/20.44 c heuristics/coefdiving/maxlpiterofs = 1500
20.40/20.44 c
20.40/20.44 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: 30]
20.40/20.44 c heuristics/crossover/freq = -1
20.40/20.44 c
20.40/20.44 c # number of nodes added to the contingent of the total nodes
20.40/20.44 c # [type: longint, range: [0,9223372036854775807], default: 500]
20.40/20.44 c heuristics/crossover/nodesofs = 750
20.40/20.44 c
20.40/20.44 c # number of nodes without incumbent change that heuristic should wait
20.40/20.44 c # [type: longint, range: [0,9223372036854775807], default: 200]
20.40/20.44 c heuristics/crossover/nwaitingnodes = 100
20.40/20.44 c
20.40/20.44 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
20.40/20.44 c # [type: real, range: [0,1], default: 0.1]
20.40/20.44 c heuristics/crossover/nodesquot = 0.15
20.40/20.44 c
20.40/20.44 c # minimum percentage of integer variables that have to be fixed
20.40/20.44 c # [type: real, range: [0,1], default: 0.666]
20.40/20.44 c heuristics/crossover/minfixingrate = 0.5
20.40/20.44 c
20.40/20.44 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: 20]
20.40/20.44 c heuristics/feaspump/freq = -1
20.40/20.44 c
20.40/20.44 c # additional number of allowed LP iterations
20.40/20.44 c # [type: int, range: [0,2147483647], default: 1000]
20.40/20.44 c heuristics/feaspump/maxlpiterofs = 2000
20.40/20.44 c
20.40/20.44 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: 10]
20.40/20.44 c heuristics/fracdiving/freq = -1
20.40/20.44 c
20.40/20.44 c # maximal fraction of diving LP iterations compared to node LP iterations
20.40/20.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
20.40/20.44 c heuristics/fracdiving/maxlpiterquot = 0.075
20.40/20.44 c
20.40/20.44 c # additional number of allowed LP iterations
20.40/20.44 c # [type: int, range: [0,2147483647], default: 1000]
20.40/20.44 c heuristics/fracdiving/maxlpiterofs = 1500
20.40/20.44 c
20.40/20.44 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: 10]
20.40/20.44 c heuristics/guideddiving/freq = -1
20.40/20.44 c
20.40/20.44 c # maximal fraction of diving LP iterations compared to node LP iterations
20.40/20.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
20.40/20.44 c heuristics/guideddiving/maxlpiterquot = 0.075
20.40/20.44 c
20.40/20.44 c # additional number of allowed LP iterations
20.40/20.44 c # [type: int, range: [0,2147483647], default: 1000]
20.40/20.44 c heuristics/guideddiving/maxlpiterofs = 1500
20.40/20.44 c
20.40/20.44 c # maximal fraction of diving LP iterations compared to node LP iterations
20.40/20.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
20.40/20.44 c heuristics/intdiving/maxlpiterquot = 0.075
20.40/20.44 c
20.40/20.44 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: 10]
20.40/20.44 c heuristics/intshifting/freq = -1
20.40/20.44 c
20.40/20.44 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: 10]
20.40/20.44 c heuristics/linesearchdiving/freq = -1
20.40/20.44 c
20.40/20.44 c # maximal fraction of diving LP iterations compared to node LP iterations
20.40/20.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
20.40/20.44 c heuristics/linesearchdiving/maxlpiterquot = 0.075
20.40/20.44 c
20.40/20.44 c # additional number of allowed LP iterations
20.40/20.44 c # [type: int, range: [0,2147483647], default: 1000]
20.40/20.44 c heuristics/linesearchdiving/maxlpiterofs = 1500
20.40/20.44 c
20.40/20.44 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: 20]
20.40/20.44 c heuristics/objpscostdiving/freq = -1
20.40/20.44 c
20.40/20.44 c # maximal fraction of diving LP iterations compared to total iteration number
20.40/20.44 c # [type: real, range: [0,1], default: 0.01]
20.40/20.44 c heuristics/objpscostdiving/maxlpiterquot = 0.015
20.40/20.44 c
20.40/20.44 c # additional number of allowed LP iterations
20.40/20.44 c # [type: int, range: [0,2147483647], default: 1000]
20.40/20.44 c heuristics/objpscostdiving/maxlpiterofs = 1500
20.40/20.44 c
20.40/20.44 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: 1]
20.40/20.44 c heuristics/oneopt/freq = -1
20.40/20.44 c
20.40/20.44 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: 10]
20.40/20.44 c heuristics/pscostdiving/freq = -1
20.40/20.44 c
20.40/20.44 c # maximal fraction of diving LP iterations compared to node LP iterations
20.40/20.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
20.40/20.44 c heuristics/pscostdiving/maxlpiterquot = 0.075
20.40/20.44 c
20.40/20.44 c # additional number of allowed LP iterations
20.40/20.44 c # [type: int, range: [0,2147483647], default: 1000]
20.40/20.44 c heuristics/pscostdiving/maxlpiterofs = 1500
20.40/20.44 c
20.40/20.44 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: 0]
20.40/20.44 c heuristics/rens/freq = -1
20.40/20.44 c
20.40/20.44 c # minimum percentage of integer variables that have to be fixable
20.40/20.44 c # [type: real, range: [0,1], default: 0.5]
20.40/20.44 c heuristics/rens/minfixingrate = 0.3
20.40/20.44 c
20.40/20.44 c # number of nodes added to the contingent of the total nodes
20.40/20.44 c # [type: longint, range: [0,9223372036854775807], default: 500]
20.40/20.44 c heuristics/rens/nodesofs = 2000
20.40/20.44 c
20.40/20.44 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: 20]
20.40/20.44 c heuristics/rootsoldiving/freq = -1
20.40/20.44 c
20.40/20.44 c # maximal fraction of diving LP iterations compared to node LP iterations
20.40/20.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
20.40/20.44 c heuristics/rootsoldiving/maxlpiterquot = 0.015
20.40/20.44 c
20.40/20.44 c # additional number of allowed LP iterations
20.40/20.44 c # [type: int, range: [0,2147483647], default: 1000]
20.40/20.44 c heuristics/rootsoldiving/maxlpiterofs = 1500
20.40/20.44 c
20.40/20.44 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: 1]
20.40/20.44 c heuristics/rounding/freq = -1
20.40/20.44 c
20.40/20.44 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: 0]
20.40/20.44 c heuristics/shiftandpropagate/freq = -1
20.40/20.44 c
20.40/20.44 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: 10]
20.40/20.44 c heuristics/shifting/freq = -1
20.40/20.44 c
20.40/20.44 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: 1]
20.40/20.44 c heuristics/simplerounding/freq = -1
20.40/20.44 c
20.40/20.44 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: 1]
20.40/20.44 c heuristics/subnlp/freq = -1
20.40/20.44 c
20.40/20.44 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: 0]
20.40/20.44 c heuristics/trivial/freq = -1
20.40/20.44 c
20.40/20.44 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: 1]
20.40/20.44 c heuristics/trysol/freq = -1
20.40/20.44 c
20.40/20.44 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: 0]
20.40/20.44 c heuristics/undercover/freq = -1
20.40/20.44 c
20.40/20.44 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
20.40/20.44 c # [type: int, range: [-1,2147483647], default: 10]
20.40/20.44 c heuristics/veclendiving/freq = -1
20.40/20.44 c
20.40/20.44 c # maximal fraction of diving LP iterations compared to node LP iterations
20.40/20.44 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
20.40/20.45 c heuristics/veclendiving/maxlpiterquot = 0.075
20.40/20.45 c
20.40/20.45 c # additional number of allowed LP iterations
20.40/20.45 c # [type: int, range: [0,2147483647], default: 1000]
20.40/20.45 c heuristics/veclendiving/maxlpiterofs = 1500
20.40/20.45 c
20.40/20.45 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
20.40/20.45 c # [type: int, range: [-1,2147483647], default: 1]
20.40/20.45 c heuristics/zirounding/freq = -1
20.40/20.45 c
20.40/20.45 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
20.40/20.45 c # [type: int, range: [-1,2147483647], default: 0]
20.40/20.45 c separating/cmir/freq = -1
20.40/20.45 c
20.40/20.45 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
20.40/20.45 c # [type: int, range: [-1,2147483647], default: 0]
20.40/20.45 c separating/flowcover/freq = -1
20.40/20.45 c
20.40/20.45 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
20.40/20.45 c # [type: int, range: [-1,2147483647], default: -1]
20.40/20.45 c separating/rapidlearning/freq = 0
20.40/20.45 c
20.40/20.45 c -----------------------------------------------------------------------------------------------
20.40/20.45 c start solving
20.40/20.48 c
197.79/197.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.79/197.81 c 198s| 1 | 0 | 13888 | - |1568M| 0 |3068 | 48k|1121k| 48k|1121k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
223.69/223.75 c 224s| 1 | 0 | 14472 | - |1568M| 0 |2801 | 48k|1121k| 48k|1121k| 8 | 0 | 0 | 0.000000e+00 | -- | Inf
278.98/279.06 c 279s| 1 | 0 | 19436 | - |1569M| 0 |3219 | 48k|1121k| 48k|1121k| 20 | 0 | 0 | 0.000000e+00 | -- | Inf
457.37/457.50 c 457s| 1 | 0 | 30813 | - |1570M| 0 |6915 | 48k|1121k| 48k|1121k| 31 | 0 | 0 | 0.000000e+00 | -- | Inf
565.87/565.99 c 566s| 1 | 0 | 35644 | - |1571M| 0 |7592 | 48k|1121k| 48k|1121k| 66 | 0 | 0 | 0.000000e+00 | -- | Inf
780.76/780.86 c 781s| 1 | 0 | 43833 | - |1572M| 0 | 11k| 48k|1121k| 48k|1121k| 83 | 0 | 0 | 0.000000e+00 | -- | Inf
1208.07/1208.18 c 1208s| 1 | 2 | 43833 | - |1572M| 0 | 11k| 48k|1121k| 48k|1121k| 83 | 0 | 22 | 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-3478780-1307438585/watcher-3478780-1307438585 -o /tmp/evaluation-result-3478780-1307438585/solver-3478780-1307438585 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3478780-1307438585.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.15 2.04 1.72 5/514 16810
/proc/meminfo: memFree=20789912/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=10680 CPUtime=0.01 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 1652 0 0 0 1 0 0 0 23 0 1 0 836274214 10936320 1605 33554432000 4194304 9128323 140736528277056 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16810/statm: 2670 1605 397 1205 0 1461 0
[startup+0.0771281 s]
/proc/loadavg: 2.15 2.04 1.72 5/514 16810
/proc/meminfo: memFree=20789912/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=14748 CPUtime=0.07 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 2687 0 0 0 7 0 0 0 23 0 1 0 836274214 15101952 2639 33554432000 4194304 9128323 140736528277056 18446744073709551615 8008930 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16810/statm: 3687 2639 397 1205 0 2478 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14748
[startup+0.101127 s]
/proc/loadavg: 2.15 2.04 1.72 5/514 16810
/proc/meminfo: memFree=20789912/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=15848 CPUtime=0.09 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 2970 0 0 0 9 0 0 0 23 0 1 0 836274214 16228352 2921 33554432000 4194304 9128323 140736528277056 18446744073709551615 8008920 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16810/statm: 3962 2921 397 1205 0 2753 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15848
[startup+0.301088 s]
/proc/loadavg: 2.15 2.04 1.72 5/514 16810
/proc/meminfo: memFree=20789912/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=24848 CPUtime=0.29 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 5182 0 0 0 29 0 0 0 25 0 1 0 836274214 25444352 5130 33554432000 4194304 9128323 140736528277056 18446744073709551615 8008930 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16810/statm: 6212 5130 397 1205 0 5003 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24848
[startup+0.701027 s]
/proc/loadavg: 2.15 2.04 1.72 5/514 16810
/proc/meminfo: memFree=20789912/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=41716 CPUtime=0.69 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 9408 0 0 0 69 0 0 0 25 0 1 0 836274214 42717184 9350 33554432000 4194304 9128323 140736528277056 18446744073709551615 7998126 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16810/statm: 10429 9351 397 1205 0 9220 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41716
[startup+1.50086 s]
/proc/loadavg: 2.15 2.04 1.72 3/515 16811
/proc/meminfo: memFree=20740056/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=75948 CPUtime=1.49 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 18013 0 0 0 148 1 0 0 25 0 1 0 836274214 77770752 17943 33554432000 4194304 9128323 140736528277056 18446744073709551615 7929317 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16810/statm: 18987 17943 397 1205 0 17778 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 75948
[startup+3.10052 s]
/proc/loadavg: 2.13 2.04 1.73 3/515 16811
/proc/meminfo: memFree=20684256/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=143380 CPUtime=3.09 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 34883 0 0 0 305 4 0 0 25 0 1 0 836274214 146821120 34788 33554432000 4194304 9128323 140736528277056 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16810/statm: 35845 34788 397 1205 0 34636 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 143380
[startup+6.30095 s]
/proc/loadavg: 2.13 2.04 1.73 3/515 16811
/proc/meminfo: memFree=20546184/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=277308 CPUtime=6.29 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 68339 0 0 0 620 9 0 0 25 0 1 0 836274214 283963392 68195 33554432000 4194304 9128323 140736528277056 18446744073709551615 8008915 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/16810/statm: 69327 68195 397 1205 0 68118 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 277308
[startup+12.7007 s]
/proc/loadavg: 2.11 2.04 1.73 3/515 16811
/proc/meminfo: memFree=19332504/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=1299452 CPUtime=12.69 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 393020 0 0 0 1216 53 0 0 25 0 1 0 836274214 1330638848 317712 33554432000 4194304 9128323 140736528277056 18446744073709551615 5239668 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16810/statm: 324863 317712 510 1205 0 323654 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1299452
[startup+25.5003 s]
/proc/loadavg: 2.10 2.03 1.73 3/515 16811
/proc/meminfo: memFree=17900812/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3126920 CPUtime=25.49 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 1015475 0 0 0 2423 126 0 0 25 0 1 0 836274214 3201966080 728350 33554432000 4194304 9128323 140736528277056 18446744073709551615 7191101 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16810/statm: 781730 728350 669 1205 0 780521 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3126920
[startup+51.1005 s]
/proc/loadavg: 2.14 2.05 1.74 3/515 16812
/proc/meminfo: memFree=17816244/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3236096 CPUtime=51.09 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 1043539 0 0 0 4979 130 0 0 25 0 1 0 836274214 3313762304 751407 33554432000 4194304 9128323 140736528277056 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16810/statm: 809024 751407 1191 1205 0 807815 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 3236096
[startup+102.32 s]
/proc/loadavg: 2.06 2.03 1.75 3/515 16813
/proc/meminfo: memFree=17691832/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3394220 CPUtime=102.31 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 1103862 0 0 0 10092 139 0 0 25 0 1 0 836274214 3475681280 781718 33554432000 4194304 9128323 140736528277056 18446744073709551615 7316510 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16810/statm: 848555 781718 1465 1205 0 847346 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 3394220
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 1.76 3/515 16818
/proc/meminfo: memFree=17657124/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3410796 CPUtime=162.29 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 1132274 0 0 0 16084 145 0 0 25 0 1 0 836274214 3492655104 782187 33554432000 4194304 9128323 140736528277056 18446744073709551615 7316174 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16810/statm: 852699 782187 1465 1205 0 851490 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 3410796
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 1.78 3/515 16848
/proc/meminfo: memFree=17612952/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3297376 CPUtime=222.29 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 1287220 0 0 0 22064 165 0 0 25 0 1 0 836274214 3376513024 765746 33554432000 4194304 9128323 140736528277056 18446744073709551615 7192370 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16810/statm: 824344 765746 1691 1205 0 823135 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 3297376
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 1.79 4/515 16849
/proc/meminfo: memFree=17655236/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3310408 CPUtime=282.28 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 1398841 0 0 0 28045 183 0 0 25 0 1 0 836274214 3389857792 746823 33554432000 4194304 9128323 140736528277056 18446744073709551615 7021480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16810/statm: 827602 746823 1679 1205 0 826393 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 3310408
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/515 16851
/proc/meminfo: memFree=17560148/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3359160 CPUtime=342.28 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 1521668 0 0 0 34025 203 0 0 25 0 1 0 836274214 3439779840 770406 33554432000 4194304 9128323 140736528277056 18446744073709551615 7077395 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16810/statm: 839790 770406 1677 1205 0 838581 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 3359160
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.81 3/515 16852
/proc/meminfo: memFree=17514840/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3416172 CPUtime=402.28 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 1661943 0 0 0 40004 224 0 0 25 0 1 0 836274214 3498160128 781237 33554432000 4194304 9128323 140736528277056 18446744073709551615 6941919 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16810/statm: 854043 781237 1677 1205 0 852834 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 3416172
[startup+462.301 s]
/proc/loadavg: 2.10 2.03 1.83 3/515 16854
/proc/meminfo: memFree=17513700/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3423980 CPUtime=462.27 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 1705931 0 0 0 45995 232 0 0 25 0 1 0 836274214 3506155520 781400 33554432000 4194304 9128323 140736528277056 18446744073709551615 8008980 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16810/statm: 855995 781400 1668 1205 0 854786 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 3423980
[startup+522.3 s]
/proc/loadavg: 2.12 2.05 1.85 3/515 16856
/proc/meminfo: memFree=17632960/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3401892 CPUtime=522.27 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 1790080 0 0 0 51978 249 0 0 25 0 1 0 836274214 3483537408 751643 33554432000 4194304 9128323 140736528277056 18446744073709551615 7077352 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16810/statm: 850473 751643 1666 1205 0 849264 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 3401892
[startup+582.301 s]
/proc/loadavg: 2.04 2.04 1.85 3/515 16857
/proc/meminfo: memFree=17626728/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3406268 CPUtime=582.26 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 1881695 0 0 0 57964 262 0 0 25 0 1 0 836274214 3488018432 751708 33554432000 4194304 9128323 140736528277056 18446744073709551615 7018429 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16810/statm: 851567 751708 1666 1205 0 850358 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 3406268
[startup+642.301 s]
################
# More data... #
################
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 2783254 0 0 0 99817 409 0 0 25 0 1 0 836274214 3549044736 764717 33554432000 4194304 9128323 140736528277056 18446744073709551615 7315621 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/16810/statm: 866466 764717 1669 1205 0 865257 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 3465864
[startup+1062.3 s]
/proc/loadavg: 2.11 2.05 1.92 3/515 16870
/proc/meminfo: memFree=17568488/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3465864 CPUtime=1062.26 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 2948050 0 0 0 105795 431 0 0 25 0 1 0 836274214 3549044736 764804 33554432000 4194304 9128323 140736528277056 18446744073709551615 6941934 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16810/statm: 866466 764804 1669 1205 0 865257 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 3465864
[startup+1122.3 s]
/proc/loadavg: 2.04 2.04 1.92 3/515 16872
/proc/meminfo: memFree=17524812/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3465864 CPUtime=1122.26 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 3121886 0 0 0 111770 456 0 0 25 0 1 0 836274214 3549044736 764848 33554432000 4194304 9128323 140736528277056 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16810/statm: 866466 764848 1669 1205 0 865257 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 3465864
[startup+1182.3 s]
/proc/loadavg: 2.09 2.04 1.92 3/515 16873
/proc/meminfo: memFree=17530988/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3465960 CPUtime=1182.27 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 3313010 0 0 0 117741 486 0 0 25 0 1 0 836274214 3549143040 764171 33554432000 4194304 9128323 140736528277056 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16810/statm: 866490 764171 1669 1205 0 865281 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 3465960
[startup+1242.3 s]
/proc/loadavg: 2.11 2.05 1.93 3/515 16875
/proc/meminfo: memFree=17566308/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3468296 CPUtime=1242.27 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 3467707 0 0 0 123716 511 0 0 25 0 1 0 836274214 3551535104 765249 33554432000 4194304 9128323 140736528277056 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16810/statm: 867074 765249 1675 1205 0 865865 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 3468296
[startup+1302.3 s]
/proc/loadavg: 2.04 2.04 1.93 3/515 16876
/proc/meminfo: memFree=17540376/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3467724 CPUtime=1302.28 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 3621735 0 0 0 129694 534 0 0 25 0 1 0 836274214 3550949376 764297 33554432000 4194304 9128323 140736528277056 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16810/statm: 866931 764297 1675 1205 0 865722 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 3467724
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 1.93 3/515 16878
/proc/meminfo: memFree=17537628/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3467264 CPUtime=1362.27 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 3822335 0 0 0 135664 563 0 0 25 0 1 0 836274214 3550478336 765215 33554432000 4194304 9128323 140736528277056 18446744073709551615 6941934 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16810/statm: 866816 765215 1675 1205 0 865607 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 3467264
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 1.93 3/515 16880
/proc/meminfo: memFree=17536484/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3467264 CPUtime=1422.29 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 4025404 0 0 0 141639 590 0 0 25 0 1 0 836274214 3550478336 765120 33554432000 4194304 9128323 140736528277056 18446744073709551615 7278876 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16810/statm: 866816 765120 1675 1205 0 865607 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 3467264
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/515 16881
/proc/meminfo: memFree=17559768/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3467528 CPUtime=1482.27 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 4247940 0 0 0 147606 621 0 0 25 0 1 0 836274214 3550748672 764294 33554432000 4194304 9128323 140736528277056 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16810/statm: 866882 764294 1675 1205 0 865673 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 3467528
[startup+1542.3 s]
/proc/loadavg: 2.07 2.04 1.94 3/515 16883
/proc/meminfo: memFree=17560744/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3467264 CPUtime=1542.28 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 4444366 0 0 0 153579 649 0 0 25 0 1 0 836274214 3550478336 765161 33554432000 4194304 9128323 140736528277056 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16810/statm: 866816 765161 1675 1205 0 865607 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 3467264
[startup+1602.3 s]
/proc/loadavg: 2.06 2.04 1.95 3/515 16884
/proc/meminfo: memFree=17530716/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3467280 CPUtime=1602.27 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 4652558 0 0 0 159548 679 0 0 25 0 1 0 836274214 3550494720 765321 33554432000 4194304 9128323 140736528277056 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16810/statm: 866820 765321 1675 1205 0 865611 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 3467280
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 1.95 3/515 16886
/proc/meminfo: memFree=17564412/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3467264 CPUtime=1662.27 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 4904838 0 0 0 165514 713 0 0 25 0 1 0 836274214 3550478336 764232 33554432000 4194304 9128323 140736528277056 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16810/statm: 866816 764232 1675 1205 0 865607 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 3467264
[startup+1722.3 s]
/proc/loadavg: 2.10 2.05 1.96 3/515 16888
/proc/meminfo: memFree=17543188/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3467640 CPUtime=1722.28 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 5096504 0 0 0 171488 740 0 0 25 0 1 0 836274214 3550863360 764939 33554432000 4194304 9128323 140736528277056 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16810/statm: 866910 764939 1675 1205 0 865701 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 3467640
[startup+1782.3 s]
/proc/loadavg: 2.07 2.06 1.96 3/515 16889
/proc/meminfo: memFree=17536840/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3470536 CPUtime=1782.28 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 5303423 0 0 0 177460 768 0 0 25 0 1 0 836274214 3553828864 765507 33554432000 4194304 9128323 140736528277056 18446744073709551615 7315639 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16810/statm: 867634 765507 1675 1205 0 866425 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 3470536
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.06 2.05 1.96 3/515 16890
/proc/meminfo: memFree=17500628/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3468296 CPUtime=1800.1 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 5361353 0 0 0 179234 776 0 0 25 0 1 0 836274214 3551535104 765394 33554432000 4194304 9128323 140736528277056 18446744073709551615 7342532 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16810/statm: 867074 765394 1675 1205 0 865865 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 3468296
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -16810
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.06 2.05 1.96 3/516 16891
/proc/meminfo: memFree=17500000/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3468848 CPUtime=1801.38 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 5367546 0 0 0 179361 777 0 0 25 0 1 0 836274214 3552100352 765201 33554432000 4194304 9128323 140736528277056 18446744073709551615 6941919 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16810/statm: 867212 765201 1675 1205 0 866003 0
Current children cumulated CPU time (s) 1801.38
Current children cumulated vsize (KiB) 3468848
[startup+1801.82 s]
/proc/loadavg: 2.05 2.05 1.96 3/516 16891
/proc/meminfo: memFree=17499876/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=3468848 CPUtime=1801.8 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4202496 5367547 0 0 0 179403 777 0 0 25 0 1 0 836274214 3552100352 765202 33554432000 4194304 9128323 140736528277056 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/16810/statm: 867212 765202 1675 1205 0 866003 0
Current children cumulated CPU time (s) 1801.8
Current children cumulated vsize (KiB) 3468848
[startup+1802.2 s]
/proc/loadavg: 2.05 2.05 1.96 3/516 16891
/proc/meminfo: memFree=17499876/32951124 swapFree=62999000/67111528
[pid=16810] ppid=16808 vsize=0 CPUtime=1802.19 cores=0,2,4,6
/proc/16810/stat : 16810 (scip-2.0.1.4.li) R 16808 16810 16659 0 -1 4203524 5367547 0 0 0 179434 785 0 0 25 0 1 0 836274214 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/16810/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.25
CPU time (s): 1802.24
CPU user time (s): 1794.34
CPU system time (s): 7.8978
CPU usage (%): 99.9995
Max. virtual memory (cumulated for all children) (KiB): 3608792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.34
system time used= 7.8978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5367547
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= 5
involuntary context switches= 5024
runsolver used 9.99248 second user time and 20.6249 second system time
The end