0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3453023-1307071576.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.03/0.04 c presolving:
0.03/0.07 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.08 c presolving (2 rounds):
0.03/0.08 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.08 c 0 implications, 70 cliques
0.03/0.08 c presolved problem has 1838 variables (1838 bin, 0 int, 0 impl, 0 cont) and 1330 constraints
0.03/0.08 c 70 constraints of type <setppc>
0.03/0.08 c 1260 constraints of type <logicor>
0.03/0.08 c transformed objective value is always integral (scale: 1)
0.03/0.08 c Presolving Time: 0.05
0.03/0.08 c - non default parameters ----------------------------------------------------------------------
0.03/0.08 c # SCIP version 2.0.1.4
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.14 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.14 c 0.1s| 1 | 0 | 814 | - |8133k| 0 | 173 |1838 |1330 |1838 |1330 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.41 c 0.4s| 1 | 0 | 1118 | - |8945k| 0 | 185 |1838 |1363 |1838 |1341 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.61 c 0.6s| 1 | 0 | 1317 | - |9901k| 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.53 c 1.5s| 1 | 2 | 3757 | - | 12M| 0 | 291 |1838 |1363 |1838 |1400 | 70 | 0 | 16 | 0.000000e+00 | -- | Inf
39.39/39.43 c 39.4s| 10000 | 119 |142400 | 13.9 | 15M| 83 | - |1838 |3929 |1838 |1355 | 70 |7979 |3867 | 0.000000e+00 | -- | Inf
63.81/63.88 c 63.9s| 20000 | 124 |283017 | 14.0 | 15M| 90 | 50 |1838 |4686 |1838 |1355 | 70 | 12k|4935 | 0.000000e+00 | -- | Inf
87.29/87.31 c 87.3s| 30000 | 119 |429532 | 14.2 | 16M| 90 | - |1838 |6428 |1838 |1355 | 70 | 18k|5458 | 0.000000e+00 | -- | Inf
109.80/109.90 c 110s| 40000 | 129 |574504 | 14.3 | 18M| 90 | 52 |1838 |9164 |1838 |1355 | 70 | 26k|5575 | 0.000000e+00 | -- | Inf
135.50/135.50 c 135s| 50000 | 129 |722048 | 14.4 | 18M| 90 | - |1838 |7529 |1838 |1355 | 70 | 34k|6690 | 0.000000e+00 | -- | Inf
157.80/157.81 c 158s| 60000 | 131 |847285 | 14.1 | 18M| 90 | - |1838 |8188 |1838 |1355 | 70 | 44k|7540 | 0.000000e+00 | -- | Inf
179.10/179.11 c 179s| 70000 | 131 |969506 | 13.8 | 26M| 90 | - |1838 | 15k|1838 |1355 | 70 | 60k|7997 | 0.000000e+00 | -- | Inf
200.30/200.37 c 200s| 80000 | 132 | 1083k| 13.5 | 24M| 90 | - |1838 | 14k|1838 |1355 | 70 | 72k|8323 | 0.000000e+00 | -- | Inf
223.21/223.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
223.21/223.22 c 223s| 90000 | 125 | 1213k| 13.4 | 21M| 90 | - |1838 | 10k|1838 |1355 | 70 | 80k|8968 | 0.000000e+00 | -- | Inf
245.60/245.69 c 246s|100000 | 135 | 1340k| 13.4 | 19M| 90 | 43 |1838 |8792 |1838 |1355 | 70 | 86k|9553 | 0.000000e+00 | -- | Inf
269.20/269.25 c 269s|110000 | 125 | 1480k| 13.4 | 20M| 90 | 55 |1838 | 10k|1838 |1355 | 70 | 93k| 10k| 0.000000e+00 | -- | Inf
292.80/292.85 c 293s|120000 | 128 | 1620k| 13.5 | 22M| 90 | - |1838 | 12k|1838 |1355 | 70 | 100k| 10k| 0.000000e+00 | -- | Inf
316.40/316.42 c 316s|130000 | 126 | 1752k| 13.5 | 19M| 90 | 42 |1838 |7950 |1838 |1355 | 70 | 107k| 11k| 0.000000e+00 | -- | Inf
339.81/339.82 c 340s|140000 | 123 | 1888k| 13.5 | 18M| 90 | - |1838 |6710 |1838 |1355 | 70 | 112k| 11k| 0.000000e+00 | -- | Inf
363.41/363.46 c 363s|150000 | 124 | 2025k| 13.5 | 20M| 90 | - |1838 |8683 |1838 |1355 | 70 | 118k| 12k| 0.000000e+00 | -- | Inf
387.91/387.91 c 388s|160000 | 122 | 2174k| 13.6 | 22M| 90 | - |1838 | 11k|1838 |1355 | 70 | 126k| 12k| 0.000000e+00 | -- | Inf
413.21/413.22 c 413s|170000 | 125 | 2322k| 13.6 | 26M| 90 | 57 |1838 | 17k|1838 |1355 | 70 | 135k| 13k| 0.000000e+00 | -- | Inf
437.11/437.19 c 437s|180000 | 122 | 2454k| 13.6 | 25M| 90 | - |1838 | 15k|1838 |1355 | 70 | 142k| 13k| 0.000000e+00 | -- | Inf
461.61/461.60 c 462s|190000 | 123 | 2586k| 13.6 | 27M| 90 | - |1838 | 18k|1838 |1355 | 70 | 150k| 14k| 0.000000e+00 | -- | Inf
486.01/486.02 c 486s|200000 | 121 | 2724k| 13.6 | 26M| 90 | - |1838 | 18k|1838 |1355 | 70 | 157k| 14k| 0.000000e+00 | -- | Inf
510.91/510.90 c 511s|210000 | 135 | 2861k| 13.6 | 28M| 90 | - |1838 | 20k|1838 |1355 | 70 | 165k| 14k| 0.000000e+00 | -- | Inf
536.31/536.36 c 536s|220000 | 136 | 3007k| 13.7 | 29M| 92 | - |1838 | 22k|1838 |1355 | 70 | 173k| 15k| 0.000000e+00 | -- | Inf
561.42/561.47 c 561s|230000 | 143 | 3145k| 13.7 | 32M| 92 | - |1838 | 25k|1838 |1355 | 70 | 181k| 15k| 0.000000e+00 | -- | Inf
586.81/586.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
586.81/586.81 c 587s|240000 | 132 | 3276k| 13.6 | 30M| 92 | - |1838 | 23k|1838 |1355 | 70 | 188k| 16k| 0.000000e+00 | -- | Inf
611.81/611.85 c 612s|250000 | 125 | 3404k| 13.6 | 34M| 94 | 52 |1838 | 27k|1838 |1355 | 70 | 195k| 16k| 0.000000e+00 | -- | Inf
636.93/636.95 c 637s|260000 | 117 | 3534k| 13.6 | 30M| 94 | - |1838 | 22k|1838 |1355 | 70 | 202k| 16k| 0.000000e+00 | -- | Inf
664.22/664.29 c 664s|270000 | 124 | 3662k| 13.6 | 27M| 94 | - |1838 | 17k|1838 |1355 | 70 | 210k| 18k| 0.000000e+00 | -- | Inf
688.71/688.73 c 689s|280000 | 121 | 3806k| 13.6 | 28M| 94 | - |1838 | 19k|1838 |1355 | 70 | 217k| 18k| 0.000000e+00 | -- | Inf
713.93/713.96 c 714s|290000 | 121 | 3958k| 13.6 | 28M| 94 | - |1838 | 18k|1838 |1355 | 70 | 226k| 18k| 0.000000e+00 | -- | Inf
739.62/739.68 c 740s|300000 | 127 | 4108k| 13.7 | 30M| 94 | - |1838 | 21k|1838 |1355 | 70 | 234k| 18k| 0.000000e+00 | -- | Inf
765.42/765.44 c 765s|310000 | 125 | 4257k| 13.7 | 32M| 94 | - |1838 | 25k|1838 |1355 | 70 | 242k| 19k| 0.000000e+00 | -- | Inf
791.32/791.37 c 791s|320000 | 125 | 4399k| 13.7 | 32M| 94 | 41 |1838 | 26k|1838 |1355 | 70 | 249k| 19k| 0.000000e+00 | -- | Inf
817.02/817.08 c 817s|330000 | 124 | 4543k| 13.8 | 36M| 94 | 59 |1838 | 30k|1838 |1355 | 70 | 259k| 19k| 0.000000e+00 | -- | Inf
842.64/842.62 c 843s|340000 | 130 | 4685k| 13.8 | 34M| 94 | - |1838 | 29k|1838 |1355 | 70 | 268k| 20k| 0.000000e+00 | -- | Inf
870.14/870.12 c 870s|350000 | 120 | 4836k| 13.8 | 35M| 94 | - |1838 | 30k|1838 |1355 | 70 | 275k| 20k| 0.000000e+00 | -- | Inf
897.32/897.32 c 897s|360000 | 119 | 4987k| 13.8 | 38M| 94 | - |1838 | 34k|1838 |1355 | 70 | 282k| 21k| 0.000000e+00 | -- | Inf
925.53/925.54 c 926s|370000 | 126 | 5131k| 13.9 | 41M| 94 | 48 |1838 | 37k|1838 |1355 | 70 | 290k| 21k| 0.000000e+00 | -- | Inf
953.33/953.37 c 953s|380000 | 133 | 5274k| 13.9 | 32M| 94 | - |1838 | 24k|1838 |1355 | 70 | 297k| 21k| 0.000000e+00 | -- | Inf
979.93/979.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
979.93/979.93 c 980s|390000 | 136 | 5422k| 13.9 | 34M| 94 | 54 |1838 | 27k|1838 |1355 | 70 | 305k| 22k| 0.000000e+00 | -- | Inf
1006.63/1006.68 c 1007s|400000 | 130 | 5576k| 13.9 | 34M| 94 | 52 |1838 | 27k|1838 |1355 | 70 | 314k| 22k| 0.000000e+00 | -- | Inf
1032.13/1032.14 c 1032s|410000 | 135 | 5728k| 14.0 | 35M| 94 | 50 |1838 | 30k|1838 |1355 | 70 | 324k| 22k| 0.000000e+00 | -- | Inf
1058.33/1058.37 c 1058s|420000 | 133 | 5877k| 14.0 | 38M| 94 | - |1838 | 33k|1838 |1355 | 70 | 333k| 23k| 0.000000e+00 | -- | Inf
1085.53/1085.56 c 1086s|430000 | 130 | 6023k| 14.0 | 39M| 94 | - |1838 | 34k|1838 |1355 | 70 | 340k| 23k| 0.000000e+00 | -- | Inf
1113.03/1113.00 c 1113s|440000 | 126 | 6169k| 14.0 | 40M| 94 | - |1838 | 36k|1838 |1355 | 70 | 348k| 23k| 0.000000e+00 | -- | Inf
1137.94/1137.92 c 1138s|450000 | 133 | 6304k| 14.0 | 43M| 94 | - |1838 | 40k|1838 |1355 | 70 | 359k| 24k| 0.000000e+00 | -- | Inf
1163.24/1163.22 c 1163s|460000 | 129 | 6449k| 14.0 | 46M| 94 | - |1838 | 43k|1838 |1355 | 70 | 369k| 24k| 0.000000e+00 | -- | Inf
1187.34/1187.39 c 1187s|470000 | 137 | 6592k| 14.0 | 47M| 94 | - |1838 | 45k|1838 |1355 | 70 | 379k| 24k| 0.000000e+00 | -- | Inf
1214.04/1214.04 c 1214s|480000 | 138 | 6734k| 14.0 | 47M| 94 | 44 |1838 | 44k|1838 |1355 | 70 | 387k| 25k| 0.000000e+00 | -- | Inf
1241.24/1241.23 c 1241s|490000 | 129 | 6879k| 14.0 | 46M| 94 | 57 |1838 | 43k|1838 |1355 | 70 | 394k| 25k| 0.000000e+00 | -- | Inf
1269.24/1269.22 c 1269s|500000 | 128 | 7027k| 14.0 | 46M| 94 | - |1838 | 43k|1838 |1355 | 70 | 402k| 25k| 0.000000e+00 | -- | Inf
1293.66/1293.66 c 1294s|510000 | 135 | 7164k| 14.0 | 45M| 94 | - |1838 | 42k|1838 |1355 | 70 | 413k| 25k| 0.000000e+00 | -- | Inf
1317.76/1317.75 c 1318s|520000 | 133 | 7296k| 14.0 | 47M| 94 | - |1838 | 44k|1838 |1355 | 70 | 422k| 26k| 0.000000e+00 | -- | Inf
1341.14/1341.10 c 1341s|530000 | 124 | 7426k| 14.0 | 48M| 94 | - |1838 | 45k|1838 |1355 | 70 | 432k| 26k| 0.000000e+00 | -- | Inf
1368.35/1368.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1368.35/1368.36 c 1368s|540000 | 130 | 7577k| 14.0 | 42M| 94 | 25 |1838 | 38k|1838 |1355 | 70 | 442k| 26k| 0.000000e+00 | -- | Inf
1394.44/1394.44 c 1394s|550000 | 141 | 7720k| 14.0 | 44M| 94 | - |1838 | 40k|1838 |1355 | 70 | 450k| 26k| 0.000000e+00 | -- | Inf
1418.95/1418.96 c 1419s|560000 | 126 | 7847k| 14.0 | 45M| 94 | - |1838 | 42k|1838 |1355 | 70 | 459k| 27k| 0.000000e+00 | -- | Inf
1442.95/1442.94 c 1443s|570000 | 121 | 7970k| 14.0 | 47M| 94 | - |1838 | 44k|1838 |1355 | 70 | 470k| 27k| 0.000000e+00 | -- | Inf
1470.55/1470.55 c 1471s|580000 | 124 | 8117k| 14.0 | 41M| 94 | 52 |1838 | 35k|1838 |1355 | 70 | 477k| 27k| 0.000000e+00 | -- | Inf
1498.35/1498.34 c 1498s|590000 | 130 | 8273k| 14.0 | 39M| 94 | 57 |1838 | 33k|1838 |1355 | 70 | 485k| 28k| 0.000000e+00 | -- | Inf
1524.45/1524.51 c 1525s|600000 | 120 | 8425k| 14.0 | 42M| 94 | 76 |1838 | 37k|1838 |1355 | 70 | 494k| 28k| 0.000000e+00 | -- | Inf
1550.97/1550.99 c 1551s|610000 | 127 | 8576k| 14.1 | 43M| 94 | 57 |1838 | 38k|1838 |1355 | 70 | 505k| 28k| 0.000000e+00 | -- | Inf
1576.15/1576.18 c 1576s|620000 | 120 | 8729k| 14.1 | 47M| 94 | 64 |1838 | 43k|1838 |1355 | 70 | 513k| 28k| 0.000000e+00 | -- | Inf
1602.77/1602.73 c 1603s|630000 | 125 | 8884k| 14.1 | 42M| 94 | - |1838 | 38k|1838 |1355 | 70 | 522k| 29k| 0.000000e+00 | -- | Inf
1629.06/1629.07 c 1629s|640000 | 138 | 9031k| 14.1 | 46M| 94 | - |1838 | 42k|1838 |1355 | 70 | 531k| 29k| 0.000000e+00 | -- | Inf
1654.37/1654.34 c 1654s|650000 | 137 | 9174k| 14.1 | 45M| 94 | 48 |1838 | 41k|1838 |1355 | 70 | 540k| 29k| 0.000000e+00 | -- | Inf
1680.45/1680.44 c 1680s|660000 | 126 | 9321k| 14.1 | 46M| 94 | - |1838 | 43k|1838 |1355 | 70 | 550k| 30k| 0.000000e+00 | -- | Inf
1707.27/1707.25 c 1707s|670000 | 124 | 9466k| 14.1 | 49M| 94 | 52 |1838 | 46k|1838 |1355 | 70 | 560k| 30k| 0.000000e+00 | -- | Inf
1734.56/1734.54 c 1735s|680000 | 132 | 9618k| 14.1 | 49M| 94 | - |1838 | 47k|1838 |1355 | 70 | 570k| 30k| 0.000000e+00 | -- | Inf
1762.86/1762.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1762.86/1762.85 c 1763s|690000 | 137 | 9769k| 14.2 | 51M| 94 | 64 |1838 | 49k|1838 |1355 | 70 | 580k| 30k| 0.000000e+00 | -- | Inf
1789.56/1789.59 c 1790s|700000 | 134 | 9910k| 14.2 | 51M| 94 | - |1838 | 49k|1838 |1355 | 70 | 590k| 31k| 0.000000e+00 | -- | Inf
1800.06/1800.00 c
1800.06/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.06/1800.00 c Solving Time (sec) : 1800.00
1800.06/1800.00 c Solving Nodes : 703585
1800.06/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.06/1800.00 c Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Gap : infinite
1800.06/1800.00 s UNKNOWN
1800.06/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.06/1800.00 c Total Time : 1800.00
1800.06/1800.00 c solving : 1800.00
1800.06/1800.00 c presolving : 0.05 (included in solving)
1800.06/1800.00 c reading : 0.03 (included in solving)
1800.06/1800.00 c Original Problem :
1800.06/1800.00 c Problem name : HOME/instance-3453023-1307071576.opb
1800.06/1800.00 c Variables : 1838 (1838 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.00 c Constraints : 1330 initial, 1330 maximal
1800.06/1800.00 c Presolved Problem :
1800.06/1800.00 c Problem name : t_HOME/instance-3453023-1307071576.opb
1800.06/1800.00 c Variables : 1838 (1838 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.00 c Constraints : 1330 initial, 52060 maximal
1800.06/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.06/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.06/1800.00 c linear : 0.02 0 0 0 0 0 0 0 0 0
1800.06/1800.00 c logicor : 0.02 0 0 0 0 0 0 0 0 0
1800.06/1800.00 c root node : - 0 - - 0 - - - - -
1800.06/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.06/1800.00 c integral : 0 0 0 357578 0 1 0 481 3280 0 0 708216
1800.06/1800.00 c setppc : 70 5 2409020 0 0 0 67484103 64 8624088 0 0 0
1800.06/1800.00 c linear : 0+ 5 43 0 0 0 0 0 0 0 0 0
1800.06/1800.00 c logicor : 1260+ 5 618367 0 0 0 1287853 2207 420013 0 0 0
1800.06/1800.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.06/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.06/1800.00 c integral : 86.40 0.00 0.00 86.40 0.00 0.00 0.00
1800.06/1800.00 c setppc : 27.79 0.00 12.39 0.00 0.00 0.00 15.40
1800.06/1800.00 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.06/1800.00 c logicor : 103.62 0.00 100.18 0.00 0.00 0.00 3.44
1800.06/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.06/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.06/1800.00 c vbounds : 0 0 0 0
1800.06/1800.00 c rootredcost : 0 0 0 0
1800.06/1800.00 c pseudoobj : 0 0 0 0
1800.06/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.06/1800.00 c vbounds : 0.33 0.33 0.00
1800.06/1800.00 c rootredcost : 0.34 0.34 0.00
1800.06/1800.00 c pseudoobj : 0.25 0.25 0.00
1800.06/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.00 c propagation : 0.09 2271 2247 7738 61.2 2 48.5 -
1800.06/1800.00 c infeasible LP : 265.60 347018 275920 5914098 176.8 585 46.0 0
1800.06/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.00 c applied globally : - - - 594285 84.0 - - -
1800.06/1800.00 c applied locally : - - - 0 0.0 - - -
1800.06/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.00 c cut pool : 0.00 4 - - 0 - (maximal pool size: 274)
1800.06/1800.00 c redcost : 8.88 354746 0 0 0 0
1800.06/1800.00 c impliedbounds : 0.00 5 0 0 0 0
1800.06/1800.00 c intobj : 0.00 0 0 0 0 0
1800.06/1800.00 c gomory : 0.19 5 0 0 2219 0
1800.06/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.06/1800.00 c strongcg : 0.47 5 0 0 2475 0
1800.06/1800.00 c cmir : 0.00 0 0 0 0 0
1800.06/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.00 c clique : 0.01 5 0 0 0 0
1800.06/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.00 c mcf : 0.00 1 0 0 0 0
1800.06/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.06/1800.00 c rapidlearning : 0.06 1 0 0 0 33
1800.06/1800.00 c Pricers : Time Calls Vars
1800.06/1800.00 c problem variables: 0.00 0 0
1800.06/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.00 c relpscost : 86.14 357578 481 3280 0 0 708216
1800.06/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.00 c inference : 0.00 0 0 0 0 0 0
1800.06/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.00 c random : 0.00 0 0 0 0 0 0
1800.06/1800.00 c Primal Heuristics : Time Calls Found
1800.06/1800.00 c LP solutions : 0.00 - 0
1800.06/1800.00 c pseudo solutions : 0.00 - 0
1800.06/1800.00 c trivial : 0.00 1 0
1800.06/1800.00 c shiftandpropagate: 0.00 0 0
1800.06/1800.00 c simplerounding : 0.00 0 0
1800.06/1800.00 c zirounding : 0.00 0 0
1800.06/1800.00 c rounding : 0.00 0 0
1800.06/1800.00 c shifting : 0.00 0 0
1800.06/1800.00 c intshifting : 0.00 0 0
1800.06/1800.00 c oneopt : 0.00 0 0
1800.06/1800.00 c twoopt : 0.00 0 0
1800.06/1800.00 c fixandinfer : 0.00 0 0
1800.06/1800.00 c feaspump : 0.00 0 0
1800.06/1800.00 c clique : 0.00 0 0
1800.06/1800.00 c coefdiving : 0.00 0 0
1800.06/1800.00 c pscostdiving : 0.00 0 0
1800.06/1800.00 c fracdiving : 0.00 0 0
1800.06/1800.00 c veclendiving : 0.00 0 0
1800.06/1800.00 c intdiving : 0.00 0 0
1800.06/1800.00 c actconsdiving : 0.00 0 0
1800.06/1800.00 c objpscostdiving : 0.00 0 0
1800.06/1800.00 c rootsoldiving : 0.00 0 0
1800.06/1800.00 c linesearchdiving : 0.00 0 0
1800.06/1800.00 c guideddiving : 0.00 0 0
1800.06/1800.00 c octane : 0.00 0 0
1800.06/1800.00 c rens : 0.00 0 0
1800.06/1800.00 c rins : 0.00 0 0
1800.06/1800.00 c localbranching : 0.00 0 0
1800.06/1800.00 c mutation : 0.00 0 0
1800.06/1800.00 c crossover : 0.00 0 0
1800.06/1800.00 c dins : 0.00 0 0
1800.06/1800.00 c vbounds : 0.00 0 0
1800.06/1800.00 c undercover : 0.00 0 0
1800.06/1800.00 c subnlp : 0.00 0 0
1800.06/1800.00 c trysol : 0.00 0 0
1800.06/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.00 c dual LP : 1094.46 704142 9964372 14.15 9104.37
1800.06/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.00 c strong branching : 78.32 31272 505258 16.16 6450.81
1800.06/1800.00 c (at root node) : - 16 1727 107.94 -
1800.06/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.00 c B&B Tree :
1800.06/1800.00 c number of runs : 1
1800.06/1800.00 c nodes : 703585
1800.06/1800.00 c nodes (total) : 703585
1800.06/1800.00 c nodes left : 136
1800.06/1800.00 c max depth : 94
1800.06/1800.00 c max depth (total): 94
1800.06/1800.00 c backtracks : 62188 (8.8%)
1800.06/1800.00 c delayed cutoffs : 4496
1800.06/1800.00 c repropagations : 1061139 (699867 domain reductions, 293 cutoffs)
1800.06/1800.00 c avg switch length: 4.65
1800.06/1800.00 c switching time : 88.81
1800.06/1800.00 c Solution :
1800.06/1800.00 c Solutions found : 0 (0 improvements)
1800.06/1800.00 c Primal Bound : -
1800.06/1800.00 c Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Gap : infinite
1800.06/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.06/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-3453023-1307071576/watcher-3453023-1307071576 -o /tmp/evaluation-result-3453023-1307071576/solver-3453023-1307071576 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453023-1307071576.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.13 2.04 1.93 2/481 5423
/proc/meminfo: memFree=21527352/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=11416 CPUtime=0 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 1854 0 0 0 0 0 0 0 25 0 1 0 818757285 11689984 1807 33554432000 4194304 9128323 140734165926448 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5423/statm: 2854 1807 397 1205 0 1645 0
[startup+0.0380301 s]
/proc/loadavg: 2.13 2.04 1.93 2/481 5423
/proc/meminfo: memFree=21527352/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=21696 CPUtime=0.03 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 4167 0 0 0 3 0 0 0 25 0 1 0 818757285 22216704 4119 33554432000 4194304 9128323 140734165926448 18446744073709551615 8012251 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 5424 4119 465 1205 0 4215 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21696
[startup+0.100989 s]
/proc/loadavg: 2.13 2.04 1.93 2/481 5423
/proc/meminfo: memFree=21527352/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=34368 CPUtime=0.09 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 7691 0 0 0 9 0 0 0 25 0 1 0 818757285 35192832 7351 33554432000 4194304 9128323 140734165926448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 8592 7351 620 1205 0 7383 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34368
[startup+0.30095 s]
/proc/loadavg: 2.13 2.04 1.93 2/481 5423
/proc/meminfo: memFree=21527352/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=37428 CPUtime=0.29 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 8711 0 0 0 28 1 0 0 25 0 1 0 818757285 38326272 8240 33554432000 4194304 9128323 140734165926448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 9357 8240 635 1205 0 8148 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37428
[startup+0.700876 s]
/proc/loadavg: 2.13 2.04 1.93 2/481 5423
/proc/meminfo: memFree=21527352/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=58444 CPUtime=0.69 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 14285 0 0 0 67 2 0 0 25 0 1 0 818757285 59846656 13442 33554432000 4194304 9128323 140734165926448 18446744073709551615 6643911 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 14611 13442 691 1205 0 13402 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 58444
[startup+1.50072 s]
/proc/loadavg: 2.12 2.04 1.93 3/482 5424
/proc/meminfo: memFree=21475156/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=58444 CPUtime=1.49 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 14468 0 0 0 144 5 0 0 25 0 1 0 818757285 59846656 13609 33554432000 4194304 9128323 140734165926448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 14611 13609 797 1205 0 13402 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58444
[startup+3.10041 s]
/proc/loadavg: 2.12 2.04 1.93 3/482 5424
/proc/meminfo: memFree=21473420/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=58444 CPUtime=3.09 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 14563 0 0 0 296 13 0 0 25 0 1 0 818757285 59846656 13611 33554432000 4194304 9128323 140734165926448 18446744073709551615 7025629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 14611 13611 706 1205 0 13402 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58444
[startup+6.3008 s]
/proc/loadavg: 2.12 2.04 1.93 3/482 5424
/proc/meminfo: memFree=21473204/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=58444 CPUtime=6.3 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 14573 0 0 0 603 27 0 0 25 0 1 0 818757285 59846656 13611 33554432000 4194304 9128323 140734165926448 18446744073709551615 7286019 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 14611 13611 696 1205 0 13402 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 58444
[startup+12.7006 s]
/proc/loadavg: 2.10 2.04 1.93 3/482 5424
/proc/meminfo: memFree=21472688/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=58444 CPUtime=12.69 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 14573 0 0 0 1212 57 0 0 25 0 1 0 818757285 59846656 13611 33554432000 4194304 9128323 140734165926448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 14611 13611 696 1205 0 13402 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58444
[startup+25.5001 s]
/proc/loadavg: 2.08 2.04 1.93 3/482 5425
/proc/meminfo: memFree=21472716/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=58936 CPUtime=25.49 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 14682 0 0 0 2428 121 0 0 25 0 1 0 818757285 60350464 13720 33554432000 4194304 9128323 140734165926448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 14734 13720 696 1205 0 13525 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58936
[startup+51.1003 s]
/proc/loadavg: 2.11 2.05 1.94 3/482 5425
/proc/meminfo: memFree=21891728/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=60664 CPUtime=51.09 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 15110 0 0 0 4872 237 0 0 25 0 1 0 818757285 62119936 14148 33554432000 4194304 9128323 140734165926448 18446744073709551615 7097372 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 15166 14148 696 1205 0 13957 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 60664
[startup+102.318 s]
/proc/loadavg: 2.05 2.04 1.94 3/482 5427
/proc/meminfo: memFree=21773248/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=64408 CPUtime=102.31 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 16043 0 0 0 9764 467 0 0 25 0 1 0 818757285 65953792 15079 33554432000 4194304 9128323 140734165926448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 16102 15079 696 1205 0 14893 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 64408
[startup+162.301 s]
/proc/loadavg: 2.05 2.04 1.94 3/482 5428
/proc/meminfo: memFree=21753248/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=67628 CPUtime=162.3 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 16873 0 0 0 15494 736 0 0 25 0 1 0 818757285 69251072 15909 33554432000 4194304 9128323 140734165926448 18446744073709551615 7192230 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 16907 15909 696 1205 0 15698 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 67628
[startup+222.301 s]
/proc/loadavg: 2.02 2.03 1.94 3/482 5430
/proc/meminfo: memFree=21722300/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=80588 CPUtime=222.3 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 20125 0 0 0 21263 967 0 0 25 0 1 0 818757285 82522112 19137 33554432000 4194304 9128323 140734165926448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 20147 19137 703 1205 0 18938 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 80588
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 1.94 3/482 5432
/proc/meminfo: memFree=21676736/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=80588 CPUtime=282.31 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 20136 0 0 0 27010 1221 0 0 25 0 1 0 818757285 82522112 19148 33554432000 4194304 9128323 140734165926448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 20147 19148 703 1205 0 18938 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 80588
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 1.94 3/482 5433
/proc/meminfo: memFree=21682528/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=81028 CPUtime=342.3 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 20228 0 0 0 32719 1511 0 0 25 0 1 0 818757285 82972672 19240 33554432000 4194304 9128323 140734165926448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 20257 19240 703 1205 0 19048 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 81028
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/482 5435
/proc/meminfo: memFree=21681960/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=81324 CPUtime=402.3 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 20306 0 0 0 38474 1756 0 0 25 0 1 0 818757285 83275776 19318 33554432000 4194304 9128323 140734165926448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 20331 19318 703 1205 0 19122 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 81324
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 1.94 3/482 5436
/proc/meminfo: memFree=21681664/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=81884 CPUtime=462.3 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 20468 0 0 0 44242 1988 0 0 25 0 1 0 818757285 83849216 19480 33554432000 4194304 9128323 140734165926448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 20471 19480 703 1205 0 19262 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 81884
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/482 5438
/proc/meminfo: memFree=21678752/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=84688 CPUtime=522.31 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 21150 0 0 0 50008 2223 0 0 25 0 1 0 818757285 86720512 20153 33554432000 4194304 9128323 140734165926448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 21172 20153 703 1205 0 19963 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 84688
[startup+582.301 s]
/proc/loadavg: 2.04 2.01 1.95 3/482 5440
/proc/meminfo: memFree=21668016/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=88516 CPUtime=582.32 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 22107 0 0 0 55777 2455 0 0 25 0 1 0 818757285 90640384 21110 33554432000 4194304 9128323 140734165926448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 22129 21110 703 1205 0 20920 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 88516
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/482 5446
/proc/meminfo: memFree=21606288/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=93408 CPUtime=822.32 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 23299 0 0 0 78753 3479 0 0 25 0 1 0 818757285 95649792 22295 33554432000 4194304 9128323 140734165926448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 23352 22295 696 1205 0 22143 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 93408
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 1.96 3/482 5448
/proc/meminfo: memFree=21605616/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=94708 CPUtime=882.32 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 23621 0 0 0 84511 3721 0 0 25 0 1 0 818757285 96980992 22614 33554432000 4194304 9128323 140734165926448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 23677 22614 696 1205 0 22468 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 94708
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/482 5449
/proc/meminfo: memFree=21600992/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=99188 CPUtime=942.32 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 24719 0 0 0 90265 3967 0 0 25 0 1 0 818757285 101568512 23699 33554432000 4194304 9128323 140734165926448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 24797 23699 696 1205 0 23588 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 99188
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/482 5451
/proc/meminfo: memFree=21599708/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=101108 CPUtime=1002.33 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 25018 0 0 0 96018 4215 0 0 25 0 1 0 818757285 103534592 23998 33554432000 4194304 9128323 140734165926448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 25277 23998 696 1205 0 24068 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 101108
[startup+1062.3 s]
/proc/loadavg: 2.12 2.03 1.97 3/482 5452
/proc/meminfo: memFree=21598424/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=101616 CPUtime=1062.33 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 25189 0 0 0 101763 4470 0 0 25 0 1 0 818757285 104054784 24169 33554432000 4194304 9128323 140734165926448 18446744073709551615 6505929 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 25404 24169 696 1205 0 24195 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 101616
[startup+1122.3 s]
/proc/loadavg: 2.10 2.04 1.98 3/482 5454
/proc/meminfo: memFree=21562564/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=101616 CPUtime=1122.34 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 25203 0 0 0 107519 4715 0 0 25 0 1 0 818757285 104054784 24183 33554432000 4194304 9128323 140734165926448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 25404 24183 696 1205 0 24195 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 101616
[startup+1182.3 s]
/proc/loadavg: 2.18 2.07 2.00 3/482 5456
/proc/meminfo: memFree=21545924/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=108072 CPUtime=1182.34 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 26738 0 0 0 113234 5000 0 0 25 0 1 0 818757285 110665728 25718 33554432000 4194304 9128323 140734165926448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 27018 25718 696 1205 0 25809 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 108072
[startup+1242.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/482 5457
/proc/meminfo: memFree=21543172/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=108952 CPUtime=1242.34 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 27024 0 0 0 119015 5219 0 0 25 0 1 0 818757285 111566848 26000 33554432000 4194304 9128323 140734165926448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 27238 26000 696 1205 0 26029 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 108952
[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/482 5459
/proc/meminfo: memFree=21521304/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=109452 CPUtime=1302.35 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 27082 0 0 0 124765 5470 0 0 25 0 1 0 818757285 112078848 26058 33554432000 4194304 9128323 140734165926448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 27363 26058 696 1205 0 26154 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 109452
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 5460
/proc/meminfo: memFree=21520412/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=110784 CPUtime=1362.35 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 27478 0 0 0 130523 5712 0 0 25 0 1 0 818757285 113442816 26454 33554432000 4194304 9128323 140734165926448 18446744073709551615 6527937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 27696 26454 696 1205 0 26487 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 110784
[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/482 5462
/proc/meminfo: memFree=21592044/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=110784 CPUtime=1422.36 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 27478 0 0 0 136300 5936 0 0 25 0 1 0 818757285 113442816 26454 33554432000 4194304 9128323 140734165926448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 27696 26454 696 1205 0 26487 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 110784
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 5464
/proc/meminfo: memFree=21576136/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=111860 CPUtime=1482.34 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 27681 0 0 0 142076 6158 0 0 25 0 1 0 818757285 114544640 26657 33554432000 4194304 9128323 140734165926448 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 27965 26657 696 1205 0 26756 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 111860
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 5465
/proc/meminfo: memFree=21582308/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=111860 CPUtime=1542.35 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 27695 0 0 0 147852 6383 0 0 25 0 1 0 818757285 114544640 26671 33554432000 4194304 9128323 140734165926448 18446744073709551615 4240086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 27965 26671 696 1205 0 26756 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 111860
[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/482 5495
/proc/meminfo: memFree=27259620/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=111860 CPUtime=1602.36 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 27746 0 0 0 153618 6618 0 0 25 0 1 0 818757285 114544640 26722 33554432000 4194304 9128323 140734165926448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 27965 26722 696 1205 0 26756 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 111860
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/482 5496
/proc/meminfo: memFree=27250596/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=112208 CPUtime=1662.36 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 27834 0 0 0 159465 6771 0 0 25 0 1 0 818757285 114900992 26810 33554432000 4194304 9128323 140734165926448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 28052 26810 696 1205 0 26843 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 112208
[startup+1722.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/482 5606
/proc/meminfo: memFree=27174008/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=112576 CPUtime=1722.36 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 27901 0 0 0 165308 6928 0 0 25 0 1 0 818757285 115277824 26877 33554432000 4194304 9128323 140734165926448 18446744073709551615 6526614 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 28144 26877 696 1205 0 26935 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 112576
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/482 5608
/proc/meminfo: memFree=27168540/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=115760 CPUtime=1782.36 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 28624 0 0 0 171150 7086 0 0 25 0 1 0 818757285 118538240 27600 33554432000 4194304 9128323 140734165926448 18446744073709551615 6890097 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5423/statm: 28940 27600 696 1205 0 27731 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 115760
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.04 2.00 3/482 5608
/proc/meminfo: memFree=27167392/32950928 swapFree=39617324/67111528
[pid=5423] ppid=5421 vsize=117012 CPUtime=1800.07 cores=1,3,5,7
/proc/5423/stat : 5423 (scip-2.0.1.4.li) R 5421 5423 4028 0 -1 4202496 28900 0 0 0 172877 7130 0 0 18 0 1 0 818757285 119820288 27876 33554432000 4194304 9128323 140734165926448 18446744073709551615 4240086 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5423/statm: 29253 27877 698 1205 0 28044 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 117012
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.03
CPU time (s): 1800.09
CPU user time (s): 1728.78
CPU system time (s): 71.3142
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 117012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1728.78
system time used= 71.3142
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29086
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= 6
involuntary context switches= 4949
runsolver used 7.95679 second user time and 21.3038 second system time
The end