0.00/0.01 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3479010-1307444982.opb>
0.00/0.01 c original problem has 1200 variables (1200 bin, 0 int, 0 impl, 0 cont) and 1015 constraints
0.00/0.01 c problem read
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.03 c (round 1) 0 del vars, 55 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 890 upgd conss, 300 impls, 110 clqs
0.00/0.03 c (round 2) 0 del vars, 55 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 935 upgd conss, 300 impls, 110 clqs
0.00/0.03 c (round 3) 630 del vars, 55 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 935 upgd conss, 300 impls, 110 clqs
0.00/0.03 c presolving (4 rounds):
0.00/0.03 c 630 deleted vars, 55 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 300 implications, 110 cliques
0.00/0.03 c presolved problem has 570 variables (570 bin, 0 int, 0 impl, 0 cont) and 960 constraints
0.00/0.03 c 260 constraints of type <setppc>
0.00/0.03 c 25 constraints of type <linear>
0.00/0.03 c 675 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.0.1.5
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c limits/solutions = 1
0.00/0.03 c
0.00/0.03 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.03 c separating/maxrounds = 1
0.00/0.03 c
0.00/0.03 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/maxroundsroot = 5
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/indicator/addCouplingCons = TRUE
0.00/0.04 c
0.00/0.04 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.04 c constraints/knapsack/disaggregation = FALSE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c presolving/probing/maxrounds = 0
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/coefdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.04 c heuristics/crossover/freq = -1
0.00/0.04 c
0.00/0.04 c # number of nodes added to the contingent of the total nodes
0.00/0.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.04 c heuristics/crossover/nodesofs = 750
0.00/0.04 c
0.00/0.04 c # number of nodes without incumbent change that heuristic should wait
0.00/0.04 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.04 c heuristics/crossover/nwaitingnodes = 100
0.00/0.04 c
0.00/0.04 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.04 c # [type: real, range: [0,1], default: 0.1]
0.00/0.04 c heuristics/crossover/nodesquot = 0.15
0.00/0.04 c
0.00/0.04 c # minimum percentage of integer variables that have to be fixed
0.00/0.04 c # [type: real, range: [0,1], default: 0.666]
0.00/0.04 c heuristics/crossover/minfixingrate = 0.5
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.04 c heuristics/feaspump/freq = -1
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/fracdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/guideddiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/intshifting/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/linesearchdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.04 c heuristics/objpscostdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.04 c # [type: real, range: [0,1], default: 0.01]
0.00/0.04 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/oneopt/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/pscostdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c heuristics/rens/freq = -1
0.00/0.04 c
0.00/0.04 c # minimum percentage of integer variables that have to be fixable
0.00/0.04 c # [type: real, range: [0,1], default: 0.5]
0.00/0.04 c heuristics/rens/minfixingrate = 0.3
0.00/0.04 c
0.00/0.04 c # number of nodes added to the contingent of the total nodes
0.00/0.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.04 c heuristics/rens/nodesofs = 2000
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.04 c heuristics/rootsoldiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.04 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/rounding/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c heuristics/shiftandpropagate/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/shifting/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/simplerounding/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/subnlp/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c heuristics/trivial/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/trysol/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c heuristics/undercover/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/veclendiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/zirounding/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c separating/cmir/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c separating/flowcover/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.08 c 0.1s| 1 | 0 | 928 | - |3617k| 0 | 199 | 570 | 960 | 570 | 960 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.18/0.21 c 0.2s| 1 | 0 | 992 | - |5818k| 0 | 229 | 570 |1089 | 570 | 963 | 3 | 0 | 0 | 0.000000e+00 | -- | Inf
0.28/0.34 c 0.3s| 1 | 0 | 1036 | - |5845k| 0 | 236 | 570 |1089 | 570 | 966 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.48 c 0.5s| 1 | 0 | 1058 | - |5846k| 0 | 233 | 570 |1089 | 570 | 968 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.03 c 1.0s| 1 | 2 | 1058 | - |5847k| 0 | 233 | 570 |1089 | 570 | 968 | 8 | 0 | 10 | 0.000000e+00 | -- | Inf
36.18/36.28 c 36.3s| 10000 | 427 |268558 | 26.8 |8982k| 35 | - | 570 |4515 | 570 | 967 | 8 | 14k|2382 | 0.000000e+00 | -- | Inf
59.29/59.39 c 59.4s| 20000 | 524 |509435 | 25.4 | 10M| 38 | 143 | 570 |6424 | 570 | 967 | 8 | 29k|3359 | 0.000000e+00 | -- | Inf
85.91/85.92 c 85.9s| 30000 | 820 |783220 | 26.1 | 10M| 40 | 106 | 570 |5279 | 570 | 967 | 8 | 42k|4121 | 0.000000e+00 | -- | Inf
108.60/108.66 c 109s| 40000 | 942 | 1047k| 26.2 | 11M| 41 | - | 570 |7026 | 0 | 0 | 8 | 56k|4335 | 0.000000e+00 | -- | Inf
133.59/133.69 c 134s| 50000 | 1031 | 1303k| 26.0 | 11M| 41 | 56 | 570 |7053 | 570 | 967 | 8 | 70k|5226 | 0.000000e+00 | -- | Inf
159.50/159.52 c 160s| 60000 | 1212 | 1571k| 26.2 | 12M| 41 | 99 | 570 |6548 | 570 | 967 | 8 | 82k|5925 | 0.000000e+00 | -- | Inf
188.89/188.91 c 189s| 70000 | 1922 | 1885k| 26.9 | 12M| 42 | 56 | 570 |4905 | 570 | 967 | 8 | 94k|6512 | 0.000000e+00 | -- | Inf
221.99/222.01 c 222s| 80000 | 2590 | 2232k| 27.9 | 14M| 44 | 179 | 570 |6010 | 570 | 967 | 8 | 106k|7221 | 0.000000e+00 | -- | Inf
255.89/255.90 c 256s| 90000 | 3263 | 2584k| 28.7 | 15M| 47 | 20 | 570 |7176 | 570 | 967 | 8 | 117k|7951 | 0.000000e+00 | -- | Inf
292.40/292.48 c 292s|100000 | 3900 | 2964k| 29.6 | 17M| 49 | - | 570 |7337 | 570 | 967 | 8 | 129k|8653 | 0.000000e+00 | -- | Inf
324.70/324.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
324.70/324.79 c 325s|110000 | 4205 | 3308k| 30.1 | 18M| 49 | - | 570 |8539 | 570 | 967 | 8 | 141k|9232 | 0.000000e+00 | -- | Inf
353.70/353.70 c 354s|120000 | 4448 | 3620k| 30.2 | 19M| 49 | - | 570 | 10k| 0 | 0 | 8 | 155k|9691 | 0.000000e+00 | -- | Inf
387.50/387.50 c 387s|130000 | 4839 | 3979k| 30.6 | 19M| 49 | 160 | 570 |8753 | 570 | 967 | 8 | 166k| 10k| 0.000000e+00 | -- | Inf
415.81/415.91 c 416s|140000 | 4997 | 4286k| 30.6 | 21M| 49 | 16 | 570 | 11k| 570 | 967 | 8 | 179k| 10k| 0.000000e+00 | -- | Inf
442.80/442.85 c 443s|150000 | 5086 | 4558k| 30.4 | 21M| 49 | - | 570 |9702 | 570 | 967 | 8 | 192k| 11k| 0.000000e+00 | -- | Inf
470.92/470.96 c 471s|160000 | 5246 | 4856k| 30.3 | 22M| 49 | - | 570 | 10k| 0 | 0 | 8 | 206k| 11k| 0.000000e+00 | -- | Inf
503.51/503.58 c 504s|170000 | 5545 | 5208k| 30.6 | 22M| 49 | 148 | 570 | 10k| 570 | 967 | 8 | 218k| 12k| 0.000000e+00 | -- | Inf
535.60/535.62 c 536s|180000 | 5864 | 5555k| 30.9 | 22M| 49 | 151 | 570 |9483 | 570 | 967 | 8 | 231k| 12k| 0.000000e+00 | -- | Inf
566.90/566.90 c 567s|190000 | 6079 | 5885k| 31.0 | 23M| 49 | 223 | 570 | 10k| 570 | 967 | 8 | 243k| 12k| 0.000000e+00 | -- | Inf
598.61/598.69 c 599s|200000 | 6330 | 6222k| 31.1 | 23M| 49 | - | 570 |9960 | 0 | 0 | 8 | 256k| 13k| 0.000000e+00 | -- | Inf
631.81/631.83 c 632s|210000 | 6618 | 6580k| 31.3 | 23M| 49 | 132 | 570 |7829 | 570 | 967 | 8 | 268k| 13k| 0.000000e+00 | -- | Inf
662.41/662.47 c 662s|220000 | 6761 | 6914k| 31.4 | 24M| 49 | - | 570 |8957 | 570 | 967 | 8 | 280k| 14k| 0.000000e+00 | -- | Inf
695.21/695.22 c 695s|230000 | 7051 | 7260k| 31.6 | 24M| 49 | - | 570 |9108 | 0 | 0 | 8 | 292k| 14k| 0.000000e+00 | -- | Inf
726.31/726.32 c 726s|240000 | 7399 | 7604k| 31.7 | 26M| 49 | 178 | 570 | 10k| 570 | 967 | 8 | 305k| 14k| 0.000000e+00 | -- | Inf
756.31/756.39 c 756s|250000 | 7567 | 7924k| 31.7 | 25M| 49 | 102 | 570 |8767 | 570 | 967 | 8 | 317k| 15k| 0.000000e+00 | -- | Inf
788.72/788.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
788.72/788.79 c 789s|260000 | 7784 | 8275k| 31.8 | 26M| 49 | - | 570 |9537 | 570 | 967 | 8 | 329k| 15k| 0.000000e+00 | -- | Inf
821.91/821.92 c 822s|270000 | 8304 | 8638k| 32.0 | 26M| 49 | - | 570 |7945 | 570 | 967 | 8 | 341k| 16k| 0.000000e+00 | -- | Inf
854.72/854.72 c 855s|280000 | 8654 | 8988k| 32.1 | 28M| 49 | 75 | 570 | 10k| 570 | 967 | 8 | 354k| 16k| 0.000000e+00 | -- | Inf
886.42/886.49 c 886s|290000 | 9007 | 9351k| 32.2 | 29M| 49 | 66 | 570 | 11k| 570 | 967 | 8 | 364k| 16k| 0.000000e+00 | -- | Inf
920.32/920.38 c 920s|300000 | 9246 | 9722k| 32.4 | 29M| 49 | 107 | 570 | 10k| 570 | 967 | 8 | 375k| 17k| 0.000000e+00 | -- | Inf
953.42/953.48 c 953s|310000 | 9368 | 10081k| 32.5 | 30M| 49 | - | 570 |9889 | 570 | 967 | 8 | 387k| 17k| 0.000000e+00 | -- | Inf
985.32/985.35 c 985s|320000 | 9673 | 10437k| 32.6 | 31M| 49 | 163 | 570 | 11k| 570 | 967 | 8 | 399k| 17k| 0.000000e+00 | -- | Inf
1018.22/1018.26 c 1018s|330000 | 9696 | 10798k| 32.7 | 32M| 49 | 163 | 570 | 12k| 570 | 967 | 8 | 410k| 18k| 0.000000e+00 | -- | Inf
1050.82/1050.86 c 1051s|340000 | 9830 | 11161k| 32.8 | 32M| 49 | 81 | 570 | 11k| 570 | 967 | 8 | 421k| 18k| 0.000000e+00 | -- | Inf
1082.22/1082.22 c 1082s|350000 | 9897 | 11488k| 32.8 | 31M| 49 | 144 | 570 | 10k| 570 | 967 | 8 | 434k| 18k| 0.000000e+00 | -- | Inf
1115.12/1115.14 c 1115s|360000 | 10181 | 11854k| 32.9 | 31M| 49 | 142 | 570 |9134 | 570 | 967 | 8 | 446k| 19k| 0.000000e+00 | -- | Inf
1148.02/1148.07 c 1148s|370000 | 10415 | 12199k| 33.0 | 32M| 49 | 73 | 570 |8728 | 570 | 967 | 8 | 459k| 19k| 0.000000e+00 | -- | Inf
1178.73/1178.71 c 1179s|380000 | 10573 | 12541k| 33.0 | 32M| 49 | - | 570 |8935 | 570 | 967 | 8 | 471k| 19k| 0.000000e+00 | -- | Inf
1209.52/1209.52 c 1210s|390000 | 10709 | 12872k| 33.0 | 33M| 49 | 106 | 570 | 11k| 570 | 967 | 8 | 483k| 20k| 0.000000e+00 | -- | Inf
1238.42/1238.42 c 1238s|400000 | 10812 | 13194k| 33.0 | 33M| 49 | 125 | 570 | 10k| 570 | 967 | 8 | 495k| 20k| 0.000000e+00 | -- | Inf
1272.53/1272.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1272.53/1272.57 c 1273s|410000 | 11056 | 13555k| 33.1 | 33M| 49 | - | 570 |9268 | 570 | 967 | 8 | 508k| 20k| 0.000000e+00 | -- | Inf
1303.73/1303.74 c 1304s|420000 | 11200 | 13907k| 33.1 | 34M| 49 | 87 | 570 | 10k| 570 | 967 | 8 | 519k| 20k| 0.000000e+00 | -- | Inf
1336.54/1336.52 c 1337s|430000 | 11343 | 14258k| 33.2 | 34M| 49 | - | 570 |9021 | 570 | 967 | 8 | 531k| 21k| 0.000000e+00 | -- | Inf
1366.93/1366.91 c 1367s|440000 | 11496 | 14596k| 33.2 | 35M| 49 | 158 | 570 | 10k| 570 | 967 | 8 | 543k| 21k| 0.000000e+00 | -- | Inf
1398.83/1398.88 c 1399s|450000 | 11654 | 14945k| 33.2 | 35M| 49 | 73 | 570 | 11k| 570 | 967 | 8 | 555k| 21k| 0.000000e+00 | -- | Inf
1430.93/1430.96 c 1431s|460000 | 11840 | 15305k| 33.3 | 35M| 49 | 89 | 570 | 10k| 570 | 967 | 8 | 567k| 21k| 0.000000e+00 | -- | Inf
1463.53/1463.50 c 1463s|470000 | 11998 | 15666k| 33.3 | 36M| 49 | - | 570 | 10k| 570 | 967 | 8 | 579k| 22k| 0.000000e+00 | -- | Inf
1495.13/1495.17 c 1495s|480000 | 12124 | 16015k| 33.4 | 35M| 49 | 117 | 570 |8431 | 570 | 967 | 8 | 591k| 22k| 0.000000e+00 | -- | Inf
1526.14/1526.18 c 1526s|490000 | 12290 | 16362k| 33.4 | 36M| 49 | 182 | 570 |9413 | 570 | 967 | 8 | 603k| 22k| 0.000000e+00 | -- | Inf
1561.13/1561.14 c 1561s|500000 | 12523 | 16744k| 33.5 | 37M| 50 | - | 570 | 10k| 570 | 967 | 8 | 615k| 23k| 0.000000e+00 | -- | Inf
1595.05/1595.07 c 1595s|510000 | 12699 | 17121k| 33.6 | 36M| 50 | 40 | 570 |8480 | 570 | 967 | 8 | 626k| 23k| 0.000000e+00 | -- | Inf
1624.54/1624.52 c 1625s|520000 | 12826 | 17436k| 33.5 | 37M| 50 | 123 | 570 | 10k| 570 | 967 | 8 | 639k| 23k| 0.000000e+00 | -- | Inf
1653.74/1653.75 c 1654s|530000 | 12885 | 17762k| 33.5 | 37M| 51 | 113 | 570 |9366 | 570 | 967 | 8 | 651k| 23k| 0.000000e+00 | -- | Inf
1684.15/1684.12 c 1684s|540000 | 13009 | 18092k| 33.5 | 38M| 51 | 38 | 570 |9913 | 570 | 967 | 8 | 664k| 24k| 0.000000e+00 | -- | Inf
1713.14/1713.12 c 1713s|550000 | 13236 | 18407k| 33.5 | 39M| 51 | - | 570 | 11k| 570 | 967 | 8 | 676k| 24k| 0.000000e+00 | -- | Inf
1745.04/1745.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1745.04/1745.05 c 1745s|560000 | 13455 | 18765k| 33.5 | 38M| 51 | - | 570 |9503 | 0 | 0 | 8 | 688k| 24k| 0.000000e+00 | -- | Inf
1775.56/1775.59 c 1776s|570000 | 13598 | 19092k| 33.5 | 39M| 51 | - | 570 |9248 | 570 | 967 | 8 | 700k| 24k| 0.000000e+00 | -- | Inf
1800.05/1800.01 c
1800.05/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.01 c Solving Time (sec) : 1800.00
1800.05/1800.01 c Solving Nodes : 578211
1800.05/1800.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.01 s UNKNOWN
1800.05/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.01 c Total Time : 1800.00
1800.05/1800.01 c solving : 1800.00
1800.05/1800.01 c presolving : 0.02 (included in solving)
1800.05/1800.01 c reading : 0.01 (included in solving)
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-3479010-1307444982.opb
1800.05/1800.01 c Variables : 1200 (1200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.01 c Constraints : 1015 initial, 1015 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-3479010-1307444982.opb
1800.05/1800.01 c Variables : 570 (570 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.01 c Constraints : 960 initial, 14460 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c setppc : 0.00 630 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.01 0 0 0 0 0 55 0 0 0
1800.05/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 0 - - 0 - - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 316791 0 1 0 380 5054 0 0 628568
1800.05/1800.01 c setppc : 260 4 3086331 0 0 0 12921041 7712 11130952 0 0 0
1800.05/1800.01 c linear : 25+ 5 3078619 0 0 0 1488020 22070 774897 2 0 0
1800.05/1800.01 c logicor : 675+ 4 1787454 0 0 0 9559642 44789 3527690 0 0 0
1800.05/1800.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.01 c integral : 122.59 0.00 0.00 122.59 0.00 0.00 0.00
1800.05/1800.01 c setppc : 19.23 0.00 16.66 0.00 0.00 0.00 2.58
1800.05/1800.01 c linear : 9.50 0.00 8.15 0.00 0.00 0.00 1.35
1800.05/1800.01 c logicor : 59.00 0.00 54.59 0.00 0.00 0.00 4.41
1800.05/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.01 c vbounds : 0 0 0 0
1800.05/1800.01 c rootredcost : 0 0 0 0
1800.05/1800.01 c pseudoobj : 0 0 0 0
1800.05/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.01 c vbounds : 0.41 0.41 0.00
1800.05/1800.01 c rootredcost : 0.43 0.43 0.00
1800.05/1800.01 c pseudoobj : 0.29 0.29 0.00
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 7.02 74571 68470 1072824 43.8 6239 22.8 -
1800.05/1800.01 c infeasible LP : 36.65 220215 218501 3995599 49.7 5724 19.6 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.01 c applied globally : - - - 708524 34.7 - - -
1800.05/1800.01 c applied locally : - - - 2201 67.9 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 3 - - 95 - (maximal pool size: 457)
1800.05/1800.01 c redcost : 2.67 314844 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.00 4 0 0 0 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.25 4 0 0 500 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.05/1800.01 c strongcg : 0.24 4 0 0 503 0
1800.05/1800.01 c cmir : 0.00 0 0 0 0 0
1800.05/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.01 c clique : 0.00 4 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 1 0 0 0 0
1800.05/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.03 1 0 0 0 129
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 122.39 316791 380 5054 0 0 628568
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.00 - 0
1800.05/1800.01 c trivial : 0.00 1 0
1800.05/1800.01 c shiftandpropagate: 0.00 0 0
1800.05/1800.01 c simplerounding : 0.00 0 0
1800.05/1800.01 c zirounding : 0.00 0 0
1800.05/1800.01 c rounding : 0.00 0 0
1800.05/1800.01 c shifting : 0.00 0 0
1800.05/1800.01 c intshifting : 0.00 0 0
1800.05/1800.01 c oneopt : 0.00 0 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c feaspump : 0.00 0 0
1800.05/1800.01 c clique : 0.00 0 0
1800.05/1800.01 c coefdiving : 0.00 0 0
1800.05/1800.01 c pscostdiving : 0.00 0 0
1800.05/1800.01 c fracdiving : 0.00 0 0
1800.05/1800.01 c veclendiving : 0.00 0 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c objpscostdiving : 0.00 0 0
1800.05/1800.01 c rootsoldiving : 0.00 0 0
1800.05/1800.01 c linesearchdiving : 0.00 0 0
1800.05/1800.01 c guideddiving : 0.00 0 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.00 0 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c crossover : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c vbounds : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c subnlp : 0.00 0 0
1800.05/1800.01 c trysol : 0.00 0 0
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 1429.61 533113 19367465 36.33 13547.41
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.01 c strong branching : 113.18 24881 1394350 56.04 12320.28
1800.05/1800.01 c (at root node) : - 10 4595 459.50 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 578211
1800.05/1800.01 c nodes (total) : 578211
1800.05/1800.01 c nodes left : 13776
1800.05/1800.01 c max depth : 51
1800.05/1800.01 c max depth (total): 51
1800.05/1800.01 c backtracks : 138199 (23.9%)
1800.05/1800.01 c delayed cutoffs : 36582
1800.05/1800.01 c repropagations : 539098 (5831113 domain reductions, 31239 cutoffs)
1800.05/1800.01 c avg switch length: 4.80
1800.05/1800.01 c switching time : 55.76
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 0 (0 improvements)
1800.05/1800.01 c Primal Bound : -
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Root Iterations : 1058
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-3479010-1307444982/watcher-3479010-1307444982 -o /tmp/evaluation-result-3479010-1307444982/solver-3479010-1307444982 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3479010-1307444982.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: 1.93 0.98 0.38 3/483 16143
/proc/meminfo: memFree=23991952/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=11092 CPUtime=0 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 1733 0 0 0 0 0 0 0 25 0 1 0 934728893 11358208 1686 33554432000 4194304 9163163 140733940808304 18446744073709551615 8041965 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16143/statm: 2773 1698 378 1214 0 1555 0
[startup+0.102724 s]
/proc/loadavg: 1.93 0.98 0.38 3/483 16143
/proc/meminfo: memFree=23991952/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=24856 CPUtime=0.09 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 5430 0 0 0 9 0 0 0 25 0 1 0 934728893 25452544 5125 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 6214 5125 640 1214 0 4996 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24856
[startup+0.200766 s]
/proc/loadavg: 1.93 0.98 0.38 3/483 16143
/proc/meminfo: memFree=23991952/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=45044 CPUtime=0.18 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 10177 0 0 0 18 0 0 0 25 0 1 0 934728893 46125056 9872 33554432000 4194304 9163163 140733940808304 18446744073709551615 8013931 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 11261 9872 677 1214 0 10043 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 45044
[startup+0.30075 s]
/proc/loadavg: 1.93 0.98 0.38 3/483 16143
/proc/meminfo: memFree=23991952/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=42220 CPUtime=0.28 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 10203 0 0 0 28 0 0 0 25 0 1 0 934728893 43233280 9192 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 10555 9192 687 1214 0 9337 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 42220
[startup+0.700674 s]
/proc/loadavg: 1.93 0.98 0.38 3/483 16143
/proc/meminfo: memFree=23991952/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=42276 CPUtime=0.69 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 10227 0 0 0 67 2 0 0 25 0 1 0 934728893 43290624 9216 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 10569 9216 689 1214 0 9351 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42276
[startup+1.50054 s]
/proc/loadavg: 1.93 0.99 0.39 3/484 16144
/proc/meminfo: memFree=23956604/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=42276 CPUtime=1.49 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 10228 0 0 0 145 4 0 0 25 0 1 0 934728893 43290624 9217 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 10569 9217 690 1214 0 9351 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42276
[startup+3.10017 s]
/proc/loadavg: 1.93 0.99 0.39 3/484 16144
/proc/meminfo: memFree=23955528/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=42276 CPUtime=3.09 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 10228 0 0 0 300 9 0 0 25 0 1 0 934728893 43290624 9217 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 10569 9217 690 1214 0 9351 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42276
[startup+6.30065 s]
/proc/loadavg: 1.93 0.99 0.39 3/484 16144
/proc/meminfo: memFree=23954916/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=42276 CPUtime=6.29 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 10231 0 0 0 609 20 0 0 25 0 1 0 934728893 43290624 9220 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 10569 9220 691 1214 0 9351 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42276
[startup+12.7004 s]
/proc/loadavg: 1.94 1.03 0.41 3/484 16144
/proc/meminfo: memFree=23954536/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=42276 CPUtime=12.69 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 10232 0 0 0 1228 41 0 0 25 0 1 0 934728893 43290624 9221 33554432000 4194304 9163163 140733940808304 18446744073709551615 7318919 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 10569 9221 691 1214 0 9351 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42276
[startup+25.5011 s]
/proc/loadavg: 1.95 1.06 0.42 3/484 16145
/proc/meminfo: memFree=23959276/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=42276 CPUtime=25.48 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 10232 0 0 0 2454 94 0 0 25 0 1 0 934728893 43290624 9221 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 10569 9221 691 1214 0 9351 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 42276
[startup+51.1005 s]
/proc/loadavg: 1.97 1.13 0.46 3/484 16145
/proc/meminfo: memFree=23959264/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=42276 CPUtime=51.09 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 10311 0 0 0 4923 186 0 0 25 0 1 0 934728893 43290624 9300 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 10569 9300 691 1214 0 9351 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 42276
[startup+102.301 s]
/proc/loadavg: 1.98 1.28 0.55 3/484 16147
/proc/meminfo: memFree=23958008/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=42640 CPUtime=102.3 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 10589 0 0 0 9862 368 0 0 25 0 1 0 934728893 43663360 9578 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 10660 9578 691 1214 0 9442 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 42640
[startup+162.301 s]
/proc/loadavg: 1.99 1.41 0.64 3/484 16148
/proc/meminfo: memFree=23956488/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=43800 CPUtime=162.3 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 10877 0 0 0 15644 586 0 0 25 0 1 0 934728893 44851200 9866 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 10950 9866 691 1214 0 9732 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 43800
[startup+222.319 s]
/proc/loadavg: 2.13 1.56 0.74 3/484 16150
/proc/meminfo: memFree=23952492/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=46756 CPUtime=222.32 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 11646 0 0 0 21426 806 0 0 25 0 1 0 934728893 47878144 10635 33554432000 4194304 9163163 140733940808304 18446744073709551615 5275468 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 11689 10635 691 1214 0 10471 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 46756
[startup+282.3 s]
/proc/loadavg: 2.08 1.65 0.82 3/484 16152
/proc/meminfo: memFree=23949368/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=50284 CPUtime=282.3 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 12522 0 0 0 27202 1028 0 0 25 0 1 0 934728893 51490816 11511 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 12571 11511 691 1214 0 11353 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 50284
[startup+342.301 s]
/proc/loadavg: 2.03 1.71 0.89 3/484 16153
/proc/meminfo: memFree=23944604/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=53112 CPUtime=342.3 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 13216 0 0 0 32994 1236 0 0 25 0 1 0 934728893 54386688 12203 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 13278 12203 691 1214 0 12060 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 53112
[startup+402.3 s]
/proc/loadavg: 2.01 1.76 0.95 3/484 16155
/proc/meminfo: memFree=23942688/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=54820 CPUtime=402.3 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 13689 0 0 0 38776 1454 0 0 25 0 1 0 934728893 56135680 12676 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 13705 12676 691 1214 0 12487 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 54820
[startup+462.3 s]
/proc/loadavg: 2.00 1.80 1.02 3/484 16156
/proc/meminfo: memFree=23939908/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=57676 CPUtime=462.3 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 14396 0 0 0 44560 1670 0 0 25 0 1 0 934728893 59060224 13383 33554432000 4194304 9163163 140733940808304 18446744073709551615 6555900 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 14419 13383 691 1214 0 13201 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 57676
[startup+522.3 s]
/proc/loadavg: 2.00 1.83 1.08 3/484 16158
/proc/meminfo: memFree=23924236/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=58264 CPUtime=522.3 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 14568 0 0 0 50318 1912 0 0 25 0 1 0 934728893 59662336 13555 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 14566 13555 691 1214 0 13348 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 58264
[startup+582.3 s]
/proc/loadavg: 2.00 1.86 1.13 3/484 16160
/proc/meminfo: memFree=23944400/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=59080 CPUtime=582.3 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 14755 0 0 0 56099 2131 0 0 25 0 1 0 934728893 60497920 13742 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 14770 13742 691 1214 0 13552 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 59080
[startup+642.3 s]
################
# More data... #
################
[startup+882.318 s]
/proc/loadavg: 2.05 2.00 1.39 3/484 16168
/proc/meminfo: memFree=23935252/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=65408 CPUtime=882.33 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 16325 0 0 0 84971 3262 0 0 25 0 1 0 934728893 66977792 15310 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 16352 15310 691 1214 0 15134 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 65408
[startup+942.3 s]
/proc/loadavg: 2.02 2.00 1.42 3/484 16169
/proc/meminfo: memFree=23930628/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=67904 CPUtime=942.32 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 16972 0 0 0 90724 3508 0 0 25 0 1 0 934728893 69533696 15933 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 16976 15933 691 1214 0 15758 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 67904
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.46 3/484 16171
/proc/meminfo: memFree=23929592/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=68744 CPUtime=1002.31 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 17205 0 0 0 96500 3731 0 0 25 0 1 0 934728893 70393856 16166 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 17186 16166 691 1214 0 15968 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 68744
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.49 3/484 16172
/proc/meminfo: memFree=23926588/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=70312 CPUtime=1062.32 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 17548 0 0 0 102285 3947 0 0 25 0 1 0 934728893 71999488 16509 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 17578 16509 691 1214 0 16360 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 70312
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.51 3/484 16174
/proc/meminfo: memFree=23924448/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=71068 CPUtime=1122.32 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 17757 0 0 0 108071 4161 0 0 25 0 1 0 934728893 72773632 16718 33554432000 4194304 9163163 140733940808304 18446744073709551615 6555954 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 17767 16718 691 1214 0 16549 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 71068
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.54 3/484 16176
/proc/meminfo: memFree=23922676/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=72300 CPUtime=1182.32 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 18119 0 0 0 113847 4385 0 0 25 0 1 0 934728893 74035200 17080 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 18075 17080 691 1214 0 16857 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 72300
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.57 3/484 16177
/proc/meminfo: memFree=23920288/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=74228 CPUtime=1242.33 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 18559 0 0 0 119630 4603 0 0 25 0 1 0 934728893 76009472 17517 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 18557 17517 691 1214 0 17339 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 74228
[startup+1302.3 s]
/proc/loadavg: 2.24 2.06 1.61 3/484 16179
/proc/meminfo: memFree=23937108/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=75096 CPUtime=1302.33 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 18803 0 0 0 125418 4815 0 0 25 0 1 0 934728893 76898304 17761 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 18774 17761 691 1214 0 17556 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 75096
[startup+1362.3 s]
/proc/loadavg: 2.20 2.08 1.65 3/484 16180
/proc/meminfo: memFree=23935840/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=76512 CPUtime=1362.33 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 19104 0 0 0 131201 5032 0 0 25 0 1 0 934728893 78348288 18062 33554432000 4194304 9163163 140733940808304 18446744073709551615 7225490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 19128 18062 691 1214 0 17910 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 76512
[startup+1422.3 s]
/proc/loadavg: 2.07 2.06 1.66 3/484 16182
/proc/meminfo: memFree=23920672/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=76512 CPUtime=1422.34 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 19126 0 0 0 136978 5256 0 0 25 0 1 0 934728893 78348288 18084 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 19128 18084 691 1214 0 17910 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 76512
[startup+1482.3 s]
/proc/loadavg: 2.02 2.05 1.68 3/484 16184
/proc/meminfo: memFree=23920260/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=76512 CPUtime=1482.34 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 19142 0 0 0 142731 5503 0 0 25 0 1 0 934728893 78348288 18100 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 19128 18100 691 1214 0 17910 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 76512
[startup+1542.32 s]
/proc/loadavg: 2.01 2.04 1.70 3/484 16185
/proc/meminfo: memFree=23928176/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=76968 CPUtime=1542.36 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 19259 0 0 0 148487 5749 0 0 25 0 1 0 934728893 78815232 18217 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 19242 18217 691 1214 0 18024 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 76968
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 1.72 3/484 16187
/proc/meminfo: memFree=23909280/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=77660 CPUtime=1602.34 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 19466 0 0 0 154241 5993 0 0 25 0 1 0 934728893 79523840 18424 33554432000 4194304 9163163 140733940808304 18446744073709551615 6494309 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 19415 18424 691 1214 0 18197 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 77660
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.73 3/484 16243
/proc/meminfo: memFree=24409984/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=78132 CPUtime=1662.34 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 19590 0 0 0 159956 6278 0 0 25 0 1 0 934728893 80007168 18548 33554432000 4194304 9163163 140733940808304 18446744073709551615 6480289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 19533 18548 691 1214 0 18315 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 78132
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.74 3/484 16245
/proc/meminfo: memFree=24390116/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=78308 CPUtime=1722.34 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 19619 0 0 0 165664 6570 0 0 25 0 1 0 934728893 80187392 18577 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 19577 18577 691 1214 0 18359 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 78308
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.76 3/484 16250
/proc/meminfo: memFree=24388664/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=78656 CPUtime=1782.34 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 19692 0 0 0 171379 6855 0 0 25 0 1 0 934728893 80543744 18650 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 19664 18650 691 1214 0 18446 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 78656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 1.76 3/484 16250
/proc/meminfo: memFree=24389816/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=78656 CPUtime=1800.05 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 19708 0 0 0 173070 6935 0 0 25 0 1 0 934728893 80543744 18666 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 19664 18666 691 1214 0 18446 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 78656
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.00 2.01 1.76 3/484 16250
/proc/meminfo: memFree=24389816/32950928 swapFree=61542368/67111528
[pid=16143] ppid=16141 vsize=78656 CPUtime=1800.05 cores=1,3,5,7
/proc/16143/stat : 16143 (scip-2.0.1.4b.l) R 16141 16143 16073 0 -1 4202496 19708 0 0 0 173070 6935 0 0 25 0 1 0 934728893 80543744 18666 33554432000 4194304 9163163 140733940808304 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16143/statm: 19664 18666 691 1214 0 18446 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 78656
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1730.72
CPU system time (s): 69.3555
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 78656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1730.72
system time used= 69.3555
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19711
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= 2609
runsolver used 8.34373 second user time and 19.594 second system time
The end