0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3451363-1307071716.opb>
0.00/0.03 c original problem has 1838 variables (1838 bin, 0 int, 0 impl, 0 cont) and 1330 constraints
0.00/0.03 c problem read
0.00/0.03 c No objective function, only one solution is needed.
0.00/0.03 c presolving settings loaded
0.00/0.04 c presolving:
0.03/0.06 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1330 upgd conss, 0 impls, 70 clqs
0.03/0.07 c presolving (2 rounds):
0.03/0.07 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.03/0.07 c 0 implications, 70 cliques
0.03/0.07 c presolved problem has 1838 variables (1838 bin, 0 int, 0 impl, 0 cont) and 1330 constraints
0.03/0.07 c 70 constraints of type <setppc>
0.03/0.07 c 1260 constraints of type <logicor>
0.03/0.07 c transformed objective value is always integral (scale: 1)
0.03/0.07 c Presolving Time: 0.04
0.03/0.07 c - non default parameters ----------------------------------------------------------------------
0.03/0.07 c # SCIP version 2.0.1.5
0.03/0.08 c
0.03/0.08 c # frequency for displaying node information lines
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.08 c display/freq = 10000
0.03/0.08 c
0.03/0.08 c # maximal time in seconds to run
0.03/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.08 c limits/time = 1800
0.03/0.08 c
0.03/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.08 c limits/memory = 13950
0.03/0.08 c
0.03/0.08 c # solving stops, if the given number of solutions were found (-1: no limit)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.08 c limits/solutions = 1
0.03/0.08 c
0.03/0.08 c # maximal number of separation rounds per node (-1: unlimited)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 5]
0.03/0.08 c separating/maxrounds = 1
0.03/0.08 c
0.03/0.08 c # maximal number of separation rounds in the root node (-1: unlimited)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.08 c separating/maxroundsroot = 5
0.03/0.08 c
0.03/0.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.03/0.08 c # [type: int, range: [1,2], default: 1]
0.03/0.08 c timing/clocktype = 2
0.03/0.08 c
0.03/0.08 c # belongs reading time to solving time?
0.03/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.08 c timing/reading = TRUE
0.03/0.08 c
0.03/0.08 c # should presolving try to simplify inequalities
0.03/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.08 c constraints/linear/simplifyinequalities = TRUE
0.03/0.08 c
0.03/0.08 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.03/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.08 c constraints/indicator/addCouplingCons = TRUE
0.03/0.08 c
0.03/0.08 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.03/0.08 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.03/0.08 c constraints/knapsack/disaggregation = FALSE
0.03/0.08 c
0.03/0.08 c # should presolving try to simplify knapsacks
0.03/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.08 c constraints/knapsack/simplifyinequalities = TRUE
0.03/0.08 c
0.03/0.08 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.08 c presolving/probing/maxrounds = 0
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.08 c heuristics/coefdiving/freq = -1
0.03/0.08 c
0.03/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.08 c heuristics/coefdiving/maxlpiterquot = 0.075
0.03/0.08 c
0.03/0.08 c # additional number of allowed LP iterations
0.03/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.08 c heuristics/coefdiving/maxlpiterofs = 1500
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 30]
0.03/0.08 c heuristics/crossover/freq = -1
0.03/0.08 c
0.03/0.08 c # number of nodes added to the contingent of the total nodes
0.03/0.08 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.03/0.08 c heuristics/crossover/nodesofs = 750
0.03/0.08 c
0.03/0.08 c # number of nodes without incumbent change that heuristic should wait
0.03/0.08 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.03/0.08 c heuristics/crossover/nwaitingnodes = 100
0.03/0.08 c
0.03/0.08 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.03/0.08 c # [type: real, range: [0,1], default: 0.1]
0.03/0.08 c heuristics/crossover/nodesquot = 0.15
0.03/0.08 c
0.03/0.08 c # minimum percentage of integer variables that have to be fixed
0.03/0.08 c # [type: real, range: [0,1], default: 0.666]
0.03/0.08 c heuristics/crossover/minfixingrate = 0.5
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 20]
0.03/0.08 c heuristics/feaspump/freq = -1
0.03/0.08 c
0.03/0.08 c # additional number of allowed LP iterations
0.03/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.08 c heuristics/feaspump/maxlpiterofs = 2000
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.08 c heuristics/fracdiving/freq = -1
0.03/0.08 c
0.03/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.08 c heuristics/fracdiving/maxlpiterquot = 0.075
0.03/0.08 c
0.03/0.08 c # additional number of allowed LP iterations
0.03/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.08 c heuristics/fracdiving/maxlpiterofs = 1500
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.08 c heuristics/guideddiving/freq = -1
0.03/0.08 c
0.03/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.08 c heuristics/guideddiving/maxlpiterquot = 0.075
0.03/0.08 c
0.03/0.08 c # additional number of allowed LP iterations
0.03/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.08 c heuristics/guideddiving/maxlpiterofs = 1500
0.03/0.08 c
0.03/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.08 c heuristics/intdiving/maxlpiterquot = 0.075
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.08 c heuristics/intshifting/freq = -1
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.08 c heuristics/linesearchdiving/freq = -1
0.03/0.08 c
0.03/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.08 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.03/0.08 c
0.03/0.08 c # additional number of allowed LP iterations
0.03/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.08 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 20]
0.03/0.08 c heuristics/objpscostdiving/freq = -1
0.03/0.08 c
0.03/0.08 c # maximal fraction of diving LP iterations compared to total iteration number
0.03/0.08 c # [type: real, range: [0,1], default: 0.01]
0.03/0.08 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.03/0.08 c
0.03/0.08 c # additional number of allowed LP iterations
0.03/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.08 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.08 c heuristics/oneopt/freq = -1
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.08 c heuristics/pscostdiving/freq = -1
0.03/0.08 c
0.03/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.08 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.03/0.08 c
0.03/0.08 c # additional number of allowed LP iterations
0.03/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.08 c heuristics/pscostdiving/maxlpiterofs = 1500
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.08 c heuristics/rens/freq = -1
0.03/0.08 c
0.03/0.08 c # minimum percentage of integer variables that have to be fixable
0.03/0.08 c # [type: real, range: [0,1], default: 0.5]
0.03/0.08 c heuristics/rens/minfixingrate = 0.3
0.03/0.08 c
0.03/0.08 c # number of nodes added to the contingent of the total nodes
0.03/0.08 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.03/0.08 c heuristics/rens/nodesofs = 2000
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 20]
0.03/0.08 c heuristics/rootsoldiving/freq = -1
0.03/0.08 c
0.03/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.03/0.08 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.03/0.08 c
0.03/0.08 c # additional number of allowed LP iterations
0.03/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.08 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.08 c heuristics/rounding/freq = -1
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.08 c heuristics/shiftandpropagate/freq = -1
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.08 c heuristics/shifting/freq = -1
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.08 c heuristics/simplerounding/freq = -1
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.08 c heuristics/subnlp/freq = -1
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.08 c heuristics/trivial/freq = -1
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.08 c heuristics/trysol/freq = -1
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.08 c heuristics/undercover/freq = -1
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.03/0.08 c heuristics/veclendiving/freq = -1
0.03/0.08 c
0.03/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.03/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.03/0.08 c heuristics/veclendiving/maxlpiterquot = 0.075
0.03/0.08 c
0.03/0.08 c # additional number of allowed LP iterations
0.03/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.03/0.08 c heuristics/veclendiving/maxlpiterofs = 1500
0.03/0.08 c
0.03/0.08 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.08 c heuristics/zirounding/freq = -1
0.03/0.08 c
0.03/0.08 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.08 c separating/cmir/freq = -1
0.03/0.08 c
0.03/0.08 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.08 c separating/flowcover/freq = -1
0.03/0.08 c
0.03/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.03/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.08 c separating/rapidlearning/freq = 0
0.03/0.08 c
0.03/0.08 c -----------------------------------------------------------------------------------------------
0.03/0.08 c start solving
0.03/0.08 c
0.09/0.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.13 c 0.1s| 1 | 0 | 814 | - |8230k| 0 | 173 |1838 |1330 |1838 |1330 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.41 c 0.4s| 1 | 0 | 1118 | - |9042k| 0 | 185 |1838 |1363 |1838 |1341 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.61 c 0.6s| 1 | 0 | 1317 | - |9998k| 0 | 222 |1838 |1363 |1838 |1353 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.96 c 1.0s| 1 | 0 | 2531 | - | 11M| 0 | 248 |1838 |1363 |1838 |1367 | 37 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.07 c 1.1s| 1 | 0 | 2876 | - | 11M| 0 | 246 |1838 |1363 |1838 |1379 | 49 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.27 c 1.3s| 1 | 0 | 3757 | - | 12M| 0 | 291 |1838 |1363 |1838 |1400 | 70 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.52 c 1.5s| 1 | 2 | 3757 | - | 12M| 0 | 291 |1838 |1363 |1838 |1400 | 70 | 0 | 16 | 0.000000e+00 | -- | Inf
39.09/39.18 c 39.2s| 10000 | 119 |142400 | 13.9 | 15M| 83 | - |1838 |3929 |1838 |1355 | 70 |7979 |3867 | 0.000000e+00 | -- | Inf
63.39/63.43 c 63.4s| 20000 | 124 |283017 | 14.0 | 15M| 90 | 50 |1838 |4686 |1838 |1355 | 70 | 12k|4935 | 0.000000e+00 | -- | Inf
86.59/86.64 c 86.6s| 30000 | 119 |429532 | 14.2 | 16M| 90 | - |1838 |6428 |1838 |1355 | 70 | 18k|5458 | 0.000000e+00 | -- | Inf
109.00/109.04 c 109s| 40000 | 129 |574504 | 14.3 | 18M| 90 | 52 |1838 |9164 |1838 |1355 | 70 | 26k|5575 | 0.000000e+00 | -- | Inf
134.29/134.38 c 134s| 50000 | 129 |722048 | 14.4 | 18M| 90 | - |1838 |7529 |1838 |1355 | 70 | 34k|6690 | 0.000000e+00 | -- | Inf
156.50/156.50 c 157s| 60000 | 131 |847285 | 14.1 | 18M| 90 | - |1838 |8188 |1838 |1355 | 70 | 44k|7540 | 0.000000e+00 | -- | Inf
177.60/177.60 c 178s| 70000 | 131 |969506 | 13.8 | 26M| 90 | - |1838 | 15k|1838 |1355 | 70 | 60k|7997 | 0.000000e+00 | -- | Inf
198.70/198.70 c 199s| 80000 | 132 | 1083k| 13.5 | 24M| 90 | - |1838 | 14k|1838 |1355 | 70 | 72k|8323 | 0.000000e+00 | -- | Inf
221.29/221.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
221.29/221.34 c 221s| 90000 | 125 | 1213k| 13.4 | 21M| 90 | - |1838 | 10k|1838 |1355 | 70 | 80k|8968 | 0.000000e+00 | -- | Inf
243.50/243.58 c 244s|100000 | 135 | 1340k| 13.4 | 19M| 90 | 43 |1838 |8792 |1838 |1355 | 70 | 86k|9553 | 0.000000e+00 | -- | Inf
266.90/266.93 c 267s|110000 | 125 | 1480k| 13.4 | 20M| 90 | 55 |1838 | 10k|1838 |1355 | 70 | 93k| 10k| 0.000000e+00 | -- | Inf
290.31/290.33 c 290s|120000 | 128 | 1620k| 13.5 | 22M| 90 | - |1838 | 12k|1838 |1355 | 70 | 100k| 10k| 0.000000e+00 | -- | Inf
313.60/313.67 c 314s|130000 | 126 | 1752k| 13.5 | 19M| 90 | 42 |1838 |7950 |1838 |1355 | 70 | 107k| 11k| 0.000000e+00 | -- | Inf
336.80/336.84 c 337s|140000 | 123 | 1888k| 13.5 | 18M| 90 | - |1838 |6710 |1838 |1355 | 70 | 112k| 11k| 0.000000e+00 | -- | Inf
360.11/360.18 c 360s|150000 | 124 | 2025k| 13.5 | 20M| 90 | - |1838 |8683 |1838 |1355 | 70 | 118k| 12k| 0.000000e+00 | -- | Inf
384.31/384.32 c 384s|160000 | 122 | 2174k| 13.6 | 22M| 90 | - |1838 | 11k|1838 |1355 | 70 | 126k| 12k| 0.000000e+00 | -- | Inf
409.31/409.31 c 409s|170000 | 125 | 2322k| 13.6 | 26M| 90 | 57 |1838 | 17k|1838 |1355 | 70 | 135k| 13k| 0.000000e+00 | -- | Inf
432.90/432.94 c 433s|180000 | 122 | 2454k| 13.6 | 25M| 90 | - |1838 | 15k|1838 |1355 | 70 | 142k| 13k| 0.000000e+00 | -- | Inf
457.00/457.01 c 457s|190000 | 123 | 2586k| 13.6 | 27M| 90 | - |1838 | 18k|1838 |1355 | 70 | 150k| 14k| 0.000000e+00 | -- | Inf
481.20/481.23 c 481s|200000 | 121 | 2724k| 13.6 | 27M| 90 | - |1838 | 18k|1838 |1355 | 70 | 157k| 14k| 0.000000e+00 | -- | Inf
505.81/505.84 c 506s|210000 | 135 | 2861k| 13.6 | 28M| 90 | - |1838 | 20k|1838 |1355 | 70 | 165k| 14k| 0.000000e+00 | -- | Inf
531.00/531.01 c 531s|220000 | 136 | 3007k| 13.7 | 29M| 92 | - |1838 | 22k|1838 |1355 | 70 | 173k| 15k| 0.000000e+00 | -- | Inf
555.81/555.82 c 556s|230000 | 143 | 3145k| 13.7 | 32M| 92 | - |1838 | 25k|1838 |1355 | 70 | 181k| 15k| 0.000000e+00 | -- | Inf
580.82/580.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
580.82/580.88 c 581s|240000 | 132 | 3276k| 13.6 | 31M| 92 | - |1838 | 23k|1838 |1355 | 70 | 188k| 16k| 0.000000e+00 | -- | Inf
605.61/605.65 c 606s|250000 | 125 | 3404k| 13.6 | 34M| 94 | 52 |1838 | 27k|1838 |1355 | 70 | 195k| 16k| 0.000000e+00 | -- | Inf
630.51/630.57 c 631s|260000 | 117 | 3534k| 13.6 | 30M| 94 | - |1838 | 22k|1838 |1355 | 70 | 202k| 16k| 0.000000e+00 | -- | Inf
657.72/657.71 c 658s|270000 | 124 | 3662k| 13.6 | 27M| 94 | - |1838 | 17k|1838 |1355 | 70 | 210k| 18k| 0.000000e+00 | -- | Inf
681.92/682.01 c 682s|280000 | 121 | 3806k| 13.6 | 28M| 94 | - |1838 | 19k|1838 |1355 | 70 | 217k| 18k| 0.000000e+00 | -- | Inf
707.02/707.07 c 707s|290000 | 121 | 3958k| 13.6 | 28M| 94 | - |1838 | 18k|1838 |1355 | 70 | 226k| 18k| 0.000000e+00 | -- | Inf
732.53/732.55 c 733s|300000 | 127 | 4108k| 13.7 | 30M| 94 | - |1838 | 21k|1838 |1355 | 70 | 234k| 18k| 0.000000e+00 | -- | Inf
758.12/758.19 c 758s|310000 | 125 | 4257k| 13.7 | 32M| 94 | - |1838 | 25k|1838 |1355 | 70 | 242k| 19k| 0.000000e+00 | -- | Inf
783.71/783.78 c 784s|320000 | 125 | 4399k| 13.7 | 33M| 94 | 41 |1838 | 26k|1838 |1355 | 70 | 249k| 19k| 0.000000e+00 | -- | Inf
809.11/809.19 c 809s|330000 | 124 | 4543k| 13.8 | 36M| 94 | 59 |1838 | 30k|1838 |1355 | 70 | 259k| 19k| 0.000000e+00 | -- | Inf
834.42/834.49 c 834s|340000 | 130 | 4685k| 13.8 | 35M| 94 | - |1838 | 29k|1838 |1355 | 70 | 268k| 20k| 0.000000e+00 | -- | Inf
861.62/861.66 c 862s|350000 | 120 | 4836k| 13.8 | 35M| 94 | - |1838 | 30k|1838 |1355 | 70 | 275k| 20k| 0.000000e+00 | -- | Inf
888.52/888.57 c 889s|360000 | 119 | 4987k| 13.8 | 38M| 94 | - |1838 | 34k|1838 |1355 | 70 | 282k| 21k| 0.000000e+00 | -- | Inf
916.52/916.56 c 917s|370000 | 126 | 5131k| 13.9 | 41M| 94 | 48 |1838 | 37k|1838 |1355 | 70 | 290k| 21k| 0.000000e+00 | -- | Inf
944.12/944.14 c 944s|380000 | 133 | 5274k| 13.9 | 32M| 94 | - |1838 | 24k|1838 |1355 | 70 | 297k| 21k| 0.000000e+00 | -- | Inf
970.43/970.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
970.43/970.40 c 970s|390000 | 136 | 5422k| 13.9 | 34M| 94 | 54 |1838 | 27k|1838 |1355 | 70 | 305k| 22k| 0.000000e+00 | -- | Inf
996.82/996.80 c 997s|400000 | 130 | 5576k| 13.9 | 34M| 94 | 52 |1838 | 27k|1838 |1355 | 70 | 314k| 22k| 0.000000e+00 | -- | Inf
1022.02/1022.03 c 1022s|410000 | 135 | 5728k| 14.0 | 36M| 94 | 50 |1838 | 30k|1838 |1355 | 70 | 324k| 22k| 0.000000e+00 | -- | Inf
1048.03/1048.04 c 1048s|420000 | 133 | 5877k| 14.0 | 38M| 94 | - |1838 | 33k|1838 |1355 | 70 | 333k| 23k| 0.000000e+00 | -- | Inf
1074.92/1074.97 c 1075s|430000 | 130 | 6023k| 14.0 | 39M| 94 | - |1838 | 34k|1838 |1355 | 70 | 340k| 23k| 0.000000e+00 | -- | Inf
1102.14/1102.14 c 1102s|440000 | 126 | 6169k| 14.0 | 40M| 94 | - |1838 | 36k|1838 |1355 | 70 | 348k| 23k| 0.000000e+00 | -- | Inf
1126.82/1126.83 c 1127s|450000 | 133 | 6304k| 14.0 | 43M| 94 | - |1838 | 40k|1838 |1355 | 70 | 359k| 24k| 0.000000e+00 | -- | Inf
1151.92/1151.91 c 1152s|460000 | 129 | 6449k| 14.0 | 46M| 94 | - |1838 | 43k|1838 |1355 | 70 | 369k| 24k| 0.000000e+00 | -- | Inf
1175.84/1175.88 c 1176s|470000 | 137 | 6592k| 14.0 | 47M| 94 | - |1838 | 45k|1838 |1355 | 70 | 379k| 24k| 0.000000e+00 | -- | Inf
1202.24/1202.22 c 1202s|480000 | 138 | 6734k| 14.0 | 47M| 94 | 44 |1838 | 44k|1838 |1355 | 70 | 387k| 25k| 0.000000e+00 | -- | Inf
1229.13/1229.16 c 1229s|490000 | 129 | 6879k| 14.0 | 46M| 94 | 57 |1838 | 43k|1838 |1355 | 70 | 394k| 25k| 0.000000e+00 | -- | Inf
1256.73/1256.79 c 1257s|500000 | 128 | 7027k| 14.0 | 46M| 94 | - |1838 | 43k|1838 |1355 | 70 | 402k| 25k| 0.000000e+00 | -- | Inf
1281.03/1281.04 c 1281s|510000 | 135 | 7164k| 14.0 | 45M| 94 | - |1838 | 42k|1838 |1355 | 70 | 413k| 25k| 0.000000e+00 | -- | Inf
1304.93/1304.96 c 1305s|520000 | 133 | 7296k| 14.0 | 47M| 94 | - |1838 | 44k|1838 |1355 | 70 | 422k| 26k| 0.000000e+00 | -- | Inf
1328.13/1328.11 c 1328s|530000 | 124 | 7426k| 14.0 | 48M| 94 | - |1838 | 45k|1838 |1355 | 70 | 432k| 26k| 0.000000e+00 | -- | Inf
1355.03/1355.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1355.03/1355.09 c 1355s|540000 | 130 | 7577k| 14.0 | 42M| 94 | 25 |1838 | 38k|1838 |1355 | 70 | 442k| 26k| 0.000000e+00 | -- | Inf
1380.84/1380.89 c 1381s|550000 | 141 | 7720k| 14.0 | 44M| 94 | - |1838 | 40k|1838 |1355 | 70 | 450k| 26k| 0.000000e+00 | -- | Inf
1405.14/1405.15 c 1405s|560000 | 126 | 7847k| 14.0 | 45M| 94 | - |1838 | 42k|1838 |1355 | 70 | 459k| 27k| 0.000000e+00 | -- | Inf
1428.85/1428.89 c 1429s|570000 | 121 | 7970k| 14.0 | 47M| 94 | - |1838 | 44k|1838 |1355 | 70 | 470k| 27k| 0.000000e+00 | -- | Inf
1456.14/1456.17 c 1456s|580000 | 124 | 8117k| 14.0 | 41M| 94 | 52 |1838 | 35k|1838 |1355 | 70 | 477k| 27k| 0.000000e+00 | -- | Inf
1483.64/1483.62 c 1484s|590000 | 130 | 8273k| 14.0 | 39M| 94 | 57 |1838 | 33k|1838 |1355 | 70 | 485k| 28k| 0.000000e+00 | -- | Inf
1509.44/1509.49 c 1509s|600000 | 120 | 8425k| 14.0 | 42M| 94 | 76 |1838 | 37k|1838 |1355 | 70 | 494k| 28k| 0.000000e+00 | -- | Inf
1535.65/1535.65 c 1536s|610000 | 127 | 8576k| 14.1 | 43M| 94 | 57 |1838 | 38k|1838 |1355 | 70 | 505k| 28k| 0.000000e+00 | -- | Inf
1560.54/1560.55 c 1561s|620000 | 120 | 8729k| 14.1 | 48M| 94 | 64 |1838 | 43k|1838 |1355 | 70 | 513k| 28k| 0.000000e+00 | -- | Inf
1586.85/1586.83 c 1587s|630000 | 125 | 8884k| 14.1 | 42M| 94 | - |1838 | 38k|1838 |1355 | 70 | 522k| 29k| 0.000000e+00 | -- | Inf
1612.84/1612.84 c 1613s|640000 | 138 | 9031k| 14.1 | 46M| 94 | - |1838 | 42k|1838 |1355 | 70 | 531k| 29k| 0.000000e+00 | -- | Inf
1637.74/1637.80 c 1638s|650000 | 137 | 9174k| 14.1 | 45M| 94 | 48 |1838 | 41k|1838 |1355 | 70 | 540k| 29k| 0.000000e+00 | -- | Inf
1663.55/1663.55 c 1664s|660000 | 126 | 9321k| 14.1 | 46M| 94 | - |1838 | 43k|1838 |1355 | 70 | 550k| 30k| 0.000000e+00 | -- | Inf
1690.04/1690.02 c 1690s|670000 | 124 | 9466k| 14.1 | 49M| 94 | 52 |1838 | 46k|1838 |1355 | 70 | 560k| 30k| 0.000000e+00 | -- | Inf
1716.95/1716.94 c 1717s|680000 | 132 | 9618k| 14.1 | 49M| 94 | - |1838 | 47k|1838 |1355 | 70 | 570k| 30k| 0.000000e+00 | -- | Inf
1744.84/1744.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1744.84/1744.85 c 1745s|690000 | 137 | 9769k| 14.2 | 51M| 94 | 64 |1838 | 49k|1838 |1355 | 70 | 580k| 30k| 0.000000e+00 | -- | Inf
1771.24/1771.23 c 1771s|700000 | 134 | 9910k| 14.2 | 51M| 94 | - |1838 | 49k|1838 |1355 | 70 | 590k| 31k| 0.000000e+00 | -- | Inf
1798.74/1798.72 c 1799s|710000 | 140 | 10054k| 14.2 | 52M| 94 | 51 |1838 | 52k|1838 |1355 | 70 | 600k| 31k| 0.000000e+00 | -- | Inf
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Solving Time (sec) : 1800.00
1800.04/1800.00 c Solving Nodes : 710503
1800.04/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 s UNKNOWN
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Total Time : 1800.00
1800.04/1800.00 c solving : 1800.00
1800.04/1800.00 c presolving : 0.04 (included in solving)
1800.04/1800.00 c reading : 0.03 (included in solving)
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-3451363-1307071716.opb
1800.04/1800.00 c Variables : 1838 (1838 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 1330 initial, 1330 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-3451363-1307071716.opb
1800.04/1800.00 c Variables : 1838 (1838 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 1330 initial, 53430 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.02 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c logicor : 0.02 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 361068 0 1 0 481 3295 0 0 715166
1800.04/1800.00 c setppc : 70 5 2432980 0 1 0 68165982 65 8700464 0 0 0
1800.04/1800.00 c linear : 0+ 5 43 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c logicor : 1260+ 5 625018 0 1 0 1297709 2224 423471 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.00 c integral : 86.55 0.00 0.00 86.55 0.00 0.00 0.00
1800.04/1800.00 c setppc : 27.52 0.00 11.82 0.00 0.00 0.00 15.70
1800.04/1800.00 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c logicor : 101.81 0.00 98.45 0.00 0.00 0.00 3.36
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.00 c vbounds : 0 0 0 0
1800.04/1800.00 c rootredcost : 0 0 0 0
1800.04/1800.00 c pseudoobj : 0 0 0 0
1800.04/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.00 c vbounds : 0.32 0.32 0.00
1800.04/1800.00 c rootredcost : 0.36 0.36 0.00
1800.04/1800.00 c pseudoobj : 0.23 0.23 0.00
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 0.09 2289 2265 7793 61.1 2 48.5 -
1800.04/1800.00 c infeasible LP : 266.15 350444 278623 5970949 176.8 595 46.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 601305 84.0 - - -
1800.04/1800.00 c applied locally : - - - 0 0.0 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 4 - - 0 - (maximal pool size: 274)
1800.04/1800.00 c redcost : 9.08 358221 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 5 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.19 5 0 0 2219 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.47 5 0 0 2475 0
1800.04/1800.00 c cmir : 0.00 0 0 0 0 0
1800.04/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.00 c clique : 0.01 5 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 1 0 0 0 0
1800.04/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.06 1 0 0 0 33
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 86.27 361068 481 3295 0 0 715166
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c trivial : 0.00 1 0
1800.04/1800.00 c shiftandpropagate: 0.00 0 0
1800.04/1800.00 c simplerounding : 0.00 0 0
1800.04/1800.00 c zirounding : 0.00 0 0
1800.04/1800.00 c rounding : 0.00 0 0
1800.04/1800.00 c shifting : 0.00 0 0
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c oneopt : 0.00 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c feaspump : 0.00 0 0
1800.04/1800.00 c clique : 0.00 0 0
1800.04/1800.00 c coefdiving : 0.00 0 0
1800.04/1800.00 c pscostdiving : 0.00 0 0
1800.04/1800.00 c fracdiving : 0.00 0 0
1800.04/1800.00 c veclendiving : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c objpscostdiving : 0.00 0 0
1800.04/1800.00 c rootsoldiving : 0.00 0 0
1800.04/1800.00 c linesearchdiving : 0.00 0 0
1800.04/1800.00 c guideddiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.00 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c crossover : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c vbounds : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c subnlp : 0.00 0 0
1800.04/1800.00 c trysol : 0.00 0 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 1094.93 711059 10061086 14.15 9188.76
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.00 c strong branching : 78.49 31478 507637 16.13 6467.69
1800.04/1800.00 c (at root node) : - 16 1727 107.94 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 710503
1800.04/1800.00 c nodes (total) : 710503
1800.04/1800.00 c nodes left : 142
1800.04/1800.00 c max depth : 94
1800.04/1800.00 c max depth (total): 94
1800.04/1800.00 c backtracks : 62741 (8.8%)
1800.04/1800.00 c delayed cutoffs : 4524
1800.04/1800.00 c repropagations : 1071684 (707910 domain reductions, 295 cutoffs)
1800.04/1800.00 c avg switch length: 4.65
1800.04/1800.00 c switching time : 90.09
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 0 (0 improvements)
1800.04/1800.00 c Primal Bound : -
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 3757
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-3451363-1307071716/watcher-3451363-1307071716 -o /tmp/evaluation-result-3451363-1307071716/solver-3451363-1307071716 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451363-1307071716.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.02 1.98 2/327 17298
/proc/meminfo: memFree=18436840/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=14264 CPUtime=0 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 2541 0 0 0 0 0 0 0 25 0 1 0 897402230 14606336 2495 33554432000 4194304 9163163 140737116455568 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17298/statm: 3566 2495 392 1214 0 2348 0
[startup+0.0414721 s]
/proc/loadavg: 2.01 2.02 1.98 2/327 17298
/proc/meminfo: memFree=18436840/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=26240 CPUtime=0.03 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 5293 0 0 0 3 0 0 0 25 0 1 0 897402230 26869760 5246 33554432000 4194304 9163163 140737116455568 18446744073709551615 5164736 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 6560 5259 488 1214 0 5342 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 26240
[startup+0.100431 s]
/proc/loadavg: 2.01 2.02 1.98 2/327 17298
/proc/meminfo: memFree=18436840/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=35548 CPUtime=0.09 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 7981 0 0 0 8 1 0 0 18 0 1 0 897402230 36401152 7642 33554432000 4194304 9163163 140737116455568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 8887 7642 621 1214 0 7669 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35548
[startup+0.30039 s]
/proc/loadavg: 2.01 2.02 1.98 2/327 17298
/proc/meminfo: memFree=18436840/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=38608 CPUtime=0.29 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 9029 0 0 0 28 1 0 0 18 0 1 0 897402230 39534592 8559 33554432000 4194304 9163163 140737116455568 18446744073709551615 4311903 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 9652 8559 635 1214 0 8434 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38608
[startup+0.700331 s]
/proc/loadavg: 2.01 2.02 1.98 2/327 17298
/proc/meminfo: memFree=18436840/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=59636 CPUtime=0.69 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 14940 0 0 0 67 2 0 0 18 0 1 0 897402230 61067264 13744 33554432000 4194304 9163163 140737116455568 18446744073709551615 6606895 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 14909 13744 683 1214 0 13691 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59636
[startup+1.50017 s]
/proc/loadavg: 2.01 2.02 1.98 3/328 17299
/proc/meminfo: memFree=18383404/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=59636 CPUtime=1.49 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 15141 0 0 0 142 7 0 0 20 0 1 0 897402230 61067264 13945 33554432000 4194304 9163163 140737116455568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 14909 13945 803 1214 0 13691 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59636
[startup+3.10088 s]
/proc/loadavg: 2.01 2.02 1.98 3/328 17299
/proc/meminfo: memFree=18382532/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=59636 CPUtime=3.09 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 15143 0 0 0 297 12 0 0 25 0 1 0 897402230 61067264 13947 33554432000 4194304 9163163 140737116455568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 14909 13947 805 1214 0 13691 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59636
[startup+6.30029 s]
/proc/loadavg: 2.01 2.02 1.98 3/328 17300
/proc/meminfo: memFree=18358600/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=59636 CPUtime=6.29 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 15143 0 0 0 604 25 0 0 25 0 1 0 897402230 61067264 13947 33554432000 4194304 9163163 140737116455568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 14909 13947 805 1214 0 13691 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59636
[startup+12.7001 s]
/proc/loadavg: 2.01 2.02 1.98 3/328 17300
/proc/meminfo: memFree=18358464/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=59636 CPUtime=12.69 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 15143 0 0 0 1216 53 0 0 25 0 1 0 897402230 61067264 13947 33554432000 4194304 9163163 140737116455568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 14909 13947 805 1214 0 13691 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59636
[startup+25.5008 s]
/proc/loadavg: 2.01 2.01 1.98 3/328 17300
/proc/meminfo: memFree=18358604/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=60080 CPUtime=25.49 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 15355 0 0 0 2433 116 0 0 25 0 1 0 897402230 61521920 14041 33554432000 4194304 9163163 140737116455568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 15020 14041 688 1214 0 13802 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 60080
[startup+51.1011 s]
/proc/loadavg: 2.00 2.01 1.98 3/328 17301
/proc/meminfo: memFree=18324744/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=61832 CPUtime=51.1 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 15793 0 0 0 4874 236 0 0 25 0 1 0 897402230 63315968 14479 33554432000 4194304 9163163 140737116455568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 15458 14479 688 1214 0 14240 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 61832
[startup+102.313 s]
/proc/loadavg: 2.00 2.01 1.98 3/328 17302
/proc/meminfo: memFree=18332948/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=65608 CPUtime=102.3 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 16747 0 0 0 9760 470 0 0 25 0 1 0 897402230 67182592 15433 33554432000 4194304 9163163 140737116455568 18446744073709551615 6501023 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 16402 15433 688 1214 0 15184 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 65608
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/328 17304
/proc/meminfo: memFree=18333016/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=69044 CPUtime=162.3 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 17594 0 0 0 15482 748 0 0 25 0 1 0 897402230 70701056 16280 33554432000 4194304 9163163 140737116455568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 17261 16280 688 1214 0 16043 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 69044
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/328 17305
/proc/meminfo: memFree=18322664/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=81900 CPUtime=222.3 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 20823 0 0 0 21218 1012 0 0 25 0 1 0 897402230 83865600 19496 33554432000 4194304 9163163 140737116455568 18446744073709551615 7196784 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 20475 19496 688 1214 0 19257 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 81900
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/328 17307
/proc/meminfo: memFree=18358580/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=81900 CPUtime=282.31 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 20828 0 0 0 26941 1290 0 0 25 0 1 0 897402230 83865600 19501 33554432000 4194304 9163163 140737116455568 18446744073709551615 6480391 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 20475 19501 688 1214 0 19257 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 81900
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/328 17309
/proc/meminfo: memFree=18350096/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=82188 CPUtime=342.3 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 20912 0 0 0 32652 1578 0 0 25 0 1 0 897402230 84160512 19585 33554432000 4194304 9163163 140737116455568 18446744073709551615 5275439 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 20547 19585 688 1214 0 19329 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 82188
[startup+402.301 s]
/proc/loadavg: 2.11 2.03 1.99 3/328 17310
/proc/meminfo: memFree=18364056/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=82524 CPUtime=402.3 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 21002 0 0 0 38373 1857 0 0 25 0 1 0 897402230 84504576 19675 33554432000 4194304 9163163 140737116455568 18446744073709551615 6499616 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 20631 19675 688 1214 0 19413 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 82524
[startup+462.301 s]
/proc/loadavg: 2.15 2.05 2.00 3/328 17312
/proc/meminfo: memFree=18294192/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=83800 CPUtime=462.3 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 21247 0 0 0 44113 2117 0 0 25 0 1 0 897402230 85811200 19920 33554432000 4194304 9163163 140737116455568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 20950 19920 688 1214 0 19732 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 83800
[startup+522.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/328 17341
/proc/meminfo: memFree=24075484/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=85976 CPUtime=522.31 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 21758 0 0 0 49872 2359 0 0 25 0 1 0 897402230 88039424 20423 33554432000 4194304 9163163 140737116455568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 21494 20423 688 1214 0 20276 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 85976
[startup+582.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/328 17343
/proc/meminfo: memFree=24071516/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=89716 CPUtime=582.31 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 22768 0 0 0 55722 2509 0 0 25 0 1 0 897402230 91869184 21425 33554432000 4194304 9163163 140737116455568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 22429 21425 688 1214 0 21211 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 89716
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/328 17352
/proc/meminfo: memFree=24065528/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=94804 CPUtime=822.32 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 24034 0 0 0 79143 3089 0 0 25 0 1 0 897402230 97079296 22687 33554432000 4194304 9163163 140737116455568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 23701 22687 688 1214 0 22483 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 94804
[startup+882.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/328 17354
/proc/meminfo: memFree=24063504/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=96472 CPUtime=882.32 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 24468 0 0 0 85003 3229 0 0 25 0 1 0 897402230 98787328 23121 33554432000 4194304 9163163 140737116455568 18446744073709551615 5263704 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 24118 23121 688 1214 0 22900 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 96472
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 17356
/proc/meminfo: memFree=24059256/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=101540 CPUtime=942.32 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 25602 0 0 0 90865 3367 0 0 25 0 1 0 897402230 103976960 24251 33554432000 4194304 9163163 140737116455568 18446744073709551615 6500984 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 25385 24251 688 1214 0 24167 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 101540
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 17357
/proc/meminfo: memFree=24058484/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=102228 CPUtime=1002.32 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 25765 0 0 0 96716 3516 0 0 25 0 1 0 897402230 104681472 24414 33554432000 4194304 9163163 140737116455568 18446744073709551615 7376033 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 25557 24414 688 1214 0 24339 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 102228
[startup+1062.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/328 17359
/proc/meminfo: memFree=24057684/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=102712 CPUtime=1062.33 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 25915 0 0 0 102572 3661 0 0 25 0 1 0 897402230 105177088 24564 33554432000 4194304 9163163 140737116455568 18446744073709551615 6501014 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 25678 24564 688 1214 0 24460 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 102712
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/328 17360
/proc/meminfo: memFree=24056764/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=103692 CPUtime=1122.32 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 26155 0 0 0 108429 3803 0 0 25 0 1 0 897402230 106180608 24804 33554432000 4194304 9163163 140737116455568 18446744073709551615 7375680 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 25923 24804 688 1214 0 24705 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 103692
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 17362
/proc/meminfo: memFree=24050508/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=110184 CPUtime=1182.33 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 27682 0 0 0 114278 3955 0 0 25 0 1 0 897402230 112828416 26331 33554432000 4194304 9163163 140737116455568 18446744073709551615 4553200 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 27546 26331 688 1214 0 26328 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 110184
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/328 17364
/proc/meminfo: memFree=24050320/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=110360 CPUtime=1242.33 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 27758 0 0 0 120139 4094 0 0 25 0 1 0 897402230 113008640 26407 33554432000 4194304 9163163 140737116455568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 27590 26407 688 1214 0 26372 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 110360
[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/328 17365
/proc/meminfo: memFree=24048796/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=111004 CPUtime=1302.34 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 27920 0 0 0 125994 4240 0 0 25 0 1 0 897402230 113668096 26569 33554432000 4194304 9163163 140737116455568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 27751 26569 688 1214 0 26533 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 111004
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/328 17367
/proc/meminfo: memFree=24047880/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=112660 CPUtime=1362.34 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 28321 0 0 0 131840 4394 0 0 25 0 1 0 897402230 115363840 26969 33554432000 4194304 9163163 140737116455568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 28165 26969 688 1214 0 26947 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 112660
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/328 17368
/proc/meminfo: memFree=24047704/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=112816 CPUtime=1422.35 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 28331 0 0 0 137700 4535 0 0 25 0 1 0 897402230 115523584 26979 33554432000 4194304 9163163 140737116455568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 28204 26979 688 1214 0 26986 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 112816
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17370
/proc/meminfo: memFree=24047776/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=113152 CPUtime=1482.34 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 28381 0 0 0 143555 4679 0 0 25 0 1 0 897402230 115867648 27029 33554432000 4194304 9163163 140737116455568 18446744073709551615 6501027 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 28288 27029 688 1214 0 27070 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 113152
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17372
/proc/meminfo: memFree=24047476/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=113152 CPUtime=1542.34 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 28424 0 0 0 149406 4828 0 0 25 0 1 0 897402230 115867648 27072 33554432000 4194304 9163163 140737116455568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 28288 27072 688 1214 0 27070 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 113152
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/328 17373
/proc/meminfo: memFree=24047304/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=113352 CPUtime=1602.34 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 28457 0 0 0 155249 4985 0 0 25 0 1 0 897402230 116072448 27105 33554432000 4194304 9163163 140737116455568 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 28338 27105 688 1214 0 27120 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 113352
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/328 17375
/proc/meminfo: memFree=24046772/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=113496 CPUtime=1662.35 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 28564 0 0 0 161094 5141 0 0 25 0 1 0 897402230 116219904 27212 33554432000 4194304 9163163 140737116455568 18446744073709551615 6889680 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 28374 27212 688 1214 0 27156 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 113496
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17376
/proc/meminfo: memFree=24044008/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=116624 CPUtime=1722.34 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 29265 0 0 0 166948 5286 0 0 25 0 1 0 897402230 119422976 27905 33554432000 4194304 9163163 140737116455568 18446744073709551615 6501220 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 29156 27905 690 1214 0 27938 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 116624
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17378
/proc/meminfo: memFree=24041488/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=118388 CPUtime=1782.34 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 29704 0 0 0 172808 5426 0 0 25 0 1 0 897402230 121229312 28331 33554432000 4194304 9163163 140737116455568 18446744073709551615 5275400 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/17298/statm: 29597 28331 688 1214 0 28379 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 118388
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17378
/proc/meminfo: memFree=24041112/32951124 swapFree=67056304/67111528
[pid=17298] ppid=17296 vsize=118576 CPUtime=1800.05 cores=1,3,5,7
/proc/17298/stat : 17298 (scip-2.0.1.4b.l) R 17296 17298 15734 0 -1 4202496 29786 0 0 0 174538 5467 0 0 25 0 1 0 897402230 121421824 28413 33554432000 4194304 9163163 140737116455568 18446744073709551615 6555935 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17298/statm: 29644 28413 691 1214 0 28426 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 118576
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1745.39
CPU system time (s): 54.6847
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 118576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.39
system time used= 54.6847
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29786
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= 7
involuntary context switches= 2412
runsolver used 5.2342 second user time and 12.91 second system time
The end