0.00/0.01 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3450320-1307112883.opb>
0.00/0.01 c original problem has 706 variables (706 bin, 0 int, 0 impl, 0 cont) and 858 constraints
0.00/0.01 c problem read
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.03 c (round 1) 0 del vars, 706 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 51 upgd conss, 4948 impls, 99 clqs
0.00/0.03 c (round 2) 606 del vars, 706 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 151 upgd conss, 4948 impls, 0 clqs
0.00/0.04 c presolving (3 rounds):
0.00/0.04 c 606 deleted vars, 706 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 4948 implications, 0 cliques
0.00/0.04 c presolved problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 152 constraints
0.00/0.04 c 101 constraints of type <knapsack>
0.00/0.04 c 50 constraints of type <setppc>
0.00/0.04 c 1 constraints of type <linear>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.03
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 2.0.1.5
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1800
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c limits/solutions = 1
0.00/0.04 c
0.00/0.04 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.04 c separating/maxrounds = 1
0.00/0.04 c
0.00/0.04 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/maxroundsroot = 5
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/indicator/addCouplingCons = TRUE
0.00/0.04 c
0.00/0.04 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.04 c constraints/knapsack/disaggregation = FALSE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c presolving/probing/maxrounds = 0
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/coefdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.04 c heuristics/crossover/freq = -1
0.00/0.04 c
0.00/0.04 c # number of nodes added to the contingent of the total nodes
0.00/0.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.04 c heuristics/crossover/nodesofs = 750
0.00/0.04 c
0.00/0.04 c # number of nodes without incumbent change that heuristic should wait
0.00/0.04 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.04 c heuristics/crossover/nwaitingnodes = 100
0.00/0.04 c
0.00/0.04 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.04 c # [type: real, range: [0,1], default: 0.1]
0.00/0.04 c heuristics/crossover/nodesquot = 0.15
0.00/0.04 c
0.00/0.04 c # minimum percentage of integer variables that have to be fixed
0.00/0.04 c # [type: real, range: [0,1], default: 0.666]
0.00/0.04 c heuristics/crossover/minfixingrate = 0.5
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.04 c heuristics/feaspump/freq = -1
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/fracdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/guideddiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/intshifting/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/linesearchdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.04 c heuristics/objpscostdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.04 c # [type: real, range: [0,1], default: 0.01]
0.00/0.04 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/oneopt/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/pscostdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c heuristics/rens/freq = -1
0.00/0.04 c
0.00/0.04 c # minimum percentage of integer variables that have to be fixable
0.00/0.04 c # [type: real, range: [0,1], default: 0.5]
0.00/0.04 c heuristics/rens/minfixingrate = 0.3
0.00/0.04 c
0.00/0.04 c # number of nodes added to the contingent of the total nodes
0.00/0.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.04 c heuristics/rens/nodesofs = 2000
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.04 c heuristics/rootsoldiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.04 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/rounding/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c heuristics/shiftandpropagate/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/shifting/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/simplerounding/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/subnlp/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c heuristics/trivial/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/trysol/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c heuristics/undercover/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/veclendiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/zirounding/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c separating/cmir/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c separating/flowcover/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.04 c 0.0s| 1 | 0 | 81 | - |2063k| 0 | 47 | 100 | 152 | 100 | 152 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.07 c 0.1s| 1 | 0 | 134 | - |2345k| 0 | 78 | 100 | 161 | 100 | 172 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.03/0.08 c 0.1s| 1 | 0 | 143 | - |2691k| 0 | 83 | 100 | 161 | 100 | 180 | 28 | 0 | 0 | 0.000000e+00 | -- | Inf
0.08/0.10 c 0.1s| 1 | 0 | 145 | - |2942k| 0 | 83 | 100 | 161 | 100 | 181 | 29 | 0 | 0 | 0.000000e+00 | -- | Inf
0.08/0.11 c 0.1s| 1 | 0 | 158 | - |3072k| 0 | 84 | 100 | 161 | 100 | 182 | 30 | 0 | 0 | 0.000000e+00 | -- | Inf
0.08/0.12 c 0.1s| 1 | 0 | 163 | - |3131k| 0 | 85 | 100 | 161 | 100 | 185 | 33 | 0 | 0 | 0.000000e+00 | -- | Inf
0.08/0.17 c 0.2s| 1 | 2 | 163 | - |3131k| 0 | 85 | 100 | 161 | 100 | 185 | 33 | 0 | 11 | 0.000000e+00 | -- | Inf
7.09/7.10 c 7.1s| 10000 | 45 |134877 | 13.5 |5862k| 32 | 29 | 100 |6099 | 100 | 182 | 33 |8948 |1021 | 0.000000e+00 | -- | Inf
14.09/14.16 c 14.2s| 20000 | 37 |287732 | 14.4 |7205k| 32 | - | 100 |8492 | 100 | 182 | 33 | 18k|1518 | 0.000000e+00 | -- | Inf
21.59/21.67 c 21.7s| 30000 | 33 |451977 | 15.1 |8553k| 33 | 43 | 100 | 11k| 100 | 182 | 33 | 29k|1883 | 0.000000e+00 | -- | Inf
29.49/29.60 c 29.6s| 40000 | 48 |626585 | 15.7 | 10M| 33 | 34 | 100 | 14k| 100 | 182 | 33 | 39k|2198 | 0.000000e+00 | -- | Inf
38.09/38.11 c 38.1s| 50000 | 53 |811466 | 16.2 | 10M| 33 | 39 | 100 | 13k| 100 | 182 | 33 | 50k|2486 | 0.000000e+00 | -- | Inf
45.19/45.23 c 45.2s| 60000 | 55 |959929 | 16.0 | 12M| 35 | - | 100 | 18k| 100 | 182 | 33 | 59k|2648 | 0.000000e+00 | -- | Inf
52.29/52.38 c 52.4s| 70000 | 73 | 1104k| 15.8 | 13M| 39 | 26 | 100 | 22k| 100 | 182 | 33 | 68k|2809 | 0.000000e+00 | -- | Inf
60.19/60.23 c 60.2s| 80000 | 63 | 1254k| 15.7 | 12M| 39 | - | 100 | 16k| 100 | 182 | 33 | 78k|2952 | 0.000000e+00 | -- | Inf
67.39/67.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.39/67.47 c 67.5s| 90000 | 68 | 1392k| 15.5 | 14M| 39 | 34 | 100 | 22k| 100 | 182 | 33 | 87k|3047 | 0.000000e+00 | -- | Inf
75.59/75.63 c 75.6s|100000 | 65 | 1555k| 15.5 | 13M| 39 | 38 | 100 | 20k| 100 | 182 | 33 | 98k|3161 | 0.000000e+00 | -- | Inf
84.19/84.22 c 84.2s|110000 | 76 | 1734k| 15.8 | 14M| 39 | - | 100 | 22k| 100 | 182 | 33 | 109k|3244 | 0.000000e+00 | -- | Inf
93.19/93.21 c 93.2s|120000 | 81 | 1909k| 15.9 | 14M| 39 | 28 | 100 | 20k| 100 | 182 | 33 | 120k|3368 | 0.000000e+00 | -- | Inf
101.21/101.23 c 101s|130000 | 72 | 2058k| 15.8 | 14M| 39 | 31 | 100 | 20k| 100 | 182 | 33 | 130k|3426 | 0.000000e+00 | -- | Inf
109.29/109.39 c 109s|140000 | 78 | 2216k| 15.8 | 15M| 39 | - | 100 | 23k| 100 | 182 | 33 | 139k|3484 | 0.000000e+00 | -- | Inf
118.09/118.18 c 118s|150000 | 72 | 2383k| 15.9 | 14M| 39 | 34 | 100 | 19k| 100 | 182 | 33 | 150k|3567 | 0.000000e+00 | -- | Inf
126.29/126.40 c 126s|160000 | 80 | 2557k| 16.0 | 14M| 39 | - | 100 | 18k| 100 | 182 | 33 | 160k|3631 | 0.000000e+00 | -- | Inf
134.79/134.85 c 135s|170000 | 73 | 2735k| 16.1 | 14M| 39 | 38 | 100 | 16k| 100 | 182 | 33 | 170k|3721 | 0.000000e+00 | -- | Inf
143.70/143.73 c 144s|180000 | 72 | 2925k| 16.3 | 14M| 43 | - | 100 | 18k| 100 | 182 | 33 | 181k|3788 | 0.000000e+00 | -- | Inf
152.59/152.62 c 153s|190000 | 83 | 3105k| 16.3 | 15M| 43 | 38 | 100 | 18k| 100 | 182 | 33 | 191k|3863 | 0.000000e+00 | -- | Inf
161.09/161.15 c 161s|200000 | 64 | 3275k| 16.4 | 13M| 43 | - | 100 | 13k| 100 | 182 | 33 | 202k|3938 | 0.000000e+00 | -- | Inf
168.39/168.46 c 168s|210000 | 62 | 3421k| 16.3 | 14M| 43 | 39 | 100 | 17k| 100 | 182 | 33 | 211k|4008 | 0.000000e+00 | -- | Inf
176.39/176.49 c 176s|220000 | 65 | 3580k| 16.3 | 16M| 43 | - | 100 | 21k| 100 | 182 | 33 | 221k|4068 | 0.000000e+00 | -- | Inf
184.29/184.35 c 184s|230000 | 63 | 3724k| 16.2 | 17M| 43 | 28 | 100 | 24k| 100 | 182 | 33 | 230k|4125 | 0.000000e+00 | -- | Inf
192.69/192.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.69/192.78 c 193s|240000 | 59 | 3877k| 16.2 | 18M| 43 | 39 | 100 | 27k| 100 | 182 | 33 | 240k|4165 | 0.000000e+00 | -- | Inf
202.19/202.28 c 202s|250000 | 64 | 4041k| 16.2 | 20M| 43 | 35 | 100 | 30k| 100 | 182 | 33 | 249k|4202 | 0.000000e+00 | -- | Inf
212.90/212.94 c 213s|260000 | 59 | 4226k| 16.3 | 20M| 43 | - | 100 | 28k| 100 | 182 | 33 | 260k|4255 | 0.000000e+00 | -- | Inf
221.59/221.66 c 222s|270000 | 53 | 4375k| 16.2 | 18M| 43 | 38 | 100 | 23k| 100 | 182 | 33 | 270k|4288 | 0.000000e+00 | -- | Inf
230.59/230.60 c 231s|280000 | 52 | 4551k| 16.3 | 19M| 43 | - | 100 | 25k| 100 | 182 | 33 | 281k|4317 | 0.000000e+00 | -- | Inf
239.29/239.30 c 239s|290000 | 46 | 4717k| 16.3 | 17M| 43 | 38 | 100 | 20k| 100 | 182 | 33 | 291k|4356 | 0.000000e+00 | -- | Inf
247.60/247.65 c 248s|300000 | 48 | 4867k| 16.2 | 19M| 43 | - | 100 | 24k| 100 | 182 | 33 | 301k|4382 | 0.000000e+00 | -- | Inf
256.00/256.00 c 256s|310000 | 51 | 5012k| 16.2 | 17M| 43 | - | 100 | 19k| 100 | 182 | 33 | 310k|4414 | 0.000000e+00 | -- | Inf
263.59/263.68 c 264s|320000 | 53 | 5148k| 16.1 | 18M| 43 | 30 | 100 | 20k| 100 | 182 | 33 | 319k|4435 | 0.000000e+00 | -- | Inf
272.10/272.16 c 272s|330000 | 45 | 5302k| 16.1 | 18M| 43 | - | 100 | 21k| 100 | 182 | 33 | 328k|4456 | 0.000000e+00 | -- | Inf
280.00/280.09 c 280s|340000 | 45 | 5441k| 16.0 | 18M| 43 | - | 100 | 21k| 100 | 182 | 33 | 337k|4485 | 0.000000e+00 | -- | Inf
288.79/288.82 c 289s|350000 | 45 | 5608k| 16.0 | 18M| 43 | 39 | 100 | 21k| 100 | 182 | 33 | 347k|4524 | 0.000000e+00 | -- | Inf
296.91/296.93 c 297s|360000 | 47 | 5751k| 16.0 | 19M| 43 | - | 100 | 23k| 100 | 182 | 33 | 356k|4548 | 0.000000e+00 | -- | Inf
306.00/306.03 c 306s|370000 | 43 | 5922k| 16.0 | 19M| 43 | - | 100 | 22k| 100 | 182 | 33 | 366k|4604 | 0.000000e+00 | -- | Inf
314.30/314.37 c 314s|380000 | 48 | 6073k| 16.0 | 17M| 43 | - | 100 | 17k| 100 | 182 | 33 | 376k|4620 | 0.000000e+00 | -- | Inf
322.89/322.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
322.89/322.96 c 323s|390000 | 42 | 6235k| 16.0 | 18M| 43 | - | 100 | 20k| 100 | 182 | 33 | 386k|4645 | 0.000000e+00 | -- | Inf
331.12/331.18 c 331s|400000 | 46 | 6390k| 16.0 | 19M| 43 | 30 | 100 | 23k| 100 | 182 | 33 | 396k|4668 | 0.000000e+00 | -- | Inf
339.60/339.64 c 340s|410000 | 40 | 6534k| 15.9 | 20M| 43 | - | 100 | 26k| 100 | 182 | 33 | 406k|4693 | 0.000000e+00 | -- | Inf
348.09/348.15 c 348s|420000 | 45 | 6677k| 15.9 | 22M| 43 | - | 100 | 32k| 100 | 182 | 33 | 415k|4700 | 0.000000e+00 | -- | Inf
357.19/357.29 c 357s|430000 | 45 | 6803k| 15.8 | 23M| 43 | 29 | 100 | 34k| 100 | 182 | 33 | 424k|4707 | 0.000000e+00 | -- | Inf
366.80/366.80 c 367s|440000 | 40 | 6942k| 15.8 | 23M| 43 | 37 | 100 | 34k| 100 | 182 | 33 | 434k|4714 | 0.000000e+00 | -- | Inf
375.90/375.96 c 376s|450000 | 48 | 7075k| 15.7 | 24M| 43 | 30 | 100 | 35k| 100 | 182 | 33 | 442k|4726 | 0.000000e+00 | -- | Inf
385.70/385.72 c 386s|460000 | 44 | 7208k| 15.7 | 24M| 43 | 36 | 100 | 37k| 100 | 182 | 33 | 451k|4734 | 0.000000e+00 | -- | Inf
395.30/395.35 c 395s|470000 | 52 | 7336k| 15.6 | 26M| 43 | - | 100 | 41k| 100 | 182 | 33 | 459k|4737 | 0.000000e+00 | -- | Inf
406.09/406.18 c 406s|480000 | 44 | 7468k| 15.6 | 24M| 43 | 30 | 100 | 35k| 100 | 182 | 33 | 468k|4746 | 0.000000e+00 | -- | Inf
415.90/415.91 c 416s|490000 | 46 | 7610k| 15.5 | 24M| 43 | 34 | 100 | 32k| 100 | 182 | 33 | 478k|4746 | 0.000000e+00 | -- | Inf
426.72/426.80 c 427s|500000 | 41 | 7788k| 15.6 | 24M| 43 | 37 | 100 | 35k| 100 | 182 | 33 | 489k|4747 | 0.000000e+00 | -- | Inf
437.60/437.65 c 438s|510000 | 46 | 7962k| 15.6 | 23M| 43 | - | 100 | 29k| 100 | 182 | 33 | 499k|4807 | 0.000000e+00 | -- | Inf
446.20/446.26 c 446s|520000 | 53 | 8090k| 15.6 | 24M| 43 | 30 | 100 | 33k| 100 | 182 | 33 | 507k|4813 | 0.000000e+00 | -- | Inf
455.90/455.98 c 456s|530000 | 43 | 8238k| 15.5 | 24M| 43 | - | 100 | 33k| 100 | 182 | 33 | 516k|4835 | 0.000000e+00 | -- | Inf
466.00/466.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
466.00/466.02 c 466s|540000 | 46 | 8397k| 15.6 | 25M| 43 | - | 100 | 36k| 100 | 182 | 33 | 527k|4864 | 0.000000e+00 | -- | Inf
476.21/476.28 c 476s|550000 | 52 | 8542k| 15.5 | 26M| 43 | - | 100 | 38k| 0 | 0 | 33 | 537k|4880 | 0.000000e+00 | -- | Inf
486.00/486.07 c 486s|560000 | 50 | 8663k| 15.5 | 27M| 43 | - | 100 | 41k| 100 | 182 | 33 | 545k|4904 | 0.000000e+00 | -- | Inf
495.70/495.71 c 496s|570000 | 53 | 8777k| 15.4 | 27M| 43 | - | 100 | 39k| 100 | 182 | 33 | 552k|4923 | 0.000000e+00 | -- | Inf
505.92/505.94 c 506s|580000 | 61 | 8903k| 15.4 | 28M| 43 | - | 100 | 42k| 100 | 182 | 33 | 560k|4935 | 0.000000e+00 | -- | Inf
516.70/516.77 c 517s|590000 | 59 | 9022k| 15.3 | 30M| 43 | 22 | 100 | 47k| 100 | 182 | 33 | 567k|4957 | 0.000000e+00 | -- | Inf
527.61/527.63 c 528s|600000 | 57 | 9137k| 15.2 | 29M| 43 | 26 | 100 | 43k| 100 | 182 | 33 | 575k|4979 | 0.000000e+00 | -- | Inf
538.70/538.70 c 539s|610000 | 51 | 9266k| 15.2 | 27M| 43 | - | 100 | 37k| 100 | 182 | 33 | 583k|4992 | 0.000000e+00 | -- | Inf
548.81/548.85 c 549s|620000 | 50 | 9407k| 15.2 | 25M| 43 | - | 100 | 32k| 100 | 182 | 33 | 591k|5016 | 0.000000e+00 | -- | Inf
558.00/558.07 c 558s|630000 | 50 | 9541k| 15.1 | 26M| 43 | - | 100 | 34k| 100 | 182 | 33 | 600k|5040 | 0.000000e+00 | -- | Inf
568.30/568.30 c 568s|640000 | 57 | 9689k| 15.1 | 27M| 43 | 24 | 100 | 38k| 100 | 182 | 33 | 609k|5053 | 0.000000e+00 | -- | Inf
579.20/579.25 c 579s|650000 | 53 | 9847k| 15.2 | 29M| 43 | 39 | 100 | 41k| 100 | 182 | 33 | 619k|5073 | 0.000000e+00 | -- | Inf
590.61/590.64 c 591s|660000 | 60 | 9998k| 15.1 | 30M| 43 | 31 | 100 | 46k| 100 | 182 | 33 | 628k|5107 | 0.000000e+00 | -- | Inf
602.60/602.65 c 603s|670000 | 46 | 10154k| 15.2 | 25M| 43 | - | 100 | 29k| 100 | 182 | 33 | 637k|5186 | 0.000000e+00 | -- | Inf
611.30/611.35 c 611s|680000 | 45 | 10304k| 15.2 | 22M| 43 | - | 100 | 22k| 100 | 182 | 33 | 647k|5193 | 0.000000e+00 | -- | Inf
619.80/619.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
619.80/619.80 c 620s|690000 | 45 | 10450k| 15.1 | 24M| 43 | 33 | 100 | 26k| 100 | 182 | 33 | 656k|5206 | 0.000000e+00 | -- | Inf
628.50/628.52 c 629s|700000 | 48 | 10586k| 15.1 | 22M| 43 | 28 | 100 | 21k| 100 | 182 | 33 | 664k|5241 | 0.000000e+00 | -- | Inf
636.70/636.76 c 637s|710000 | 50 | 10725k| 15.1 | 24M| 43 | 25 | 100 | 26k| 100 | 182 | 33 | 673k|5251 | 0.000000e+00 | -- | Inf
645.01/645.07 c 645s|720000 | 44 | 10856k| 15.1 | 24M| 43 | 35 | 100 | 27k| 100 | 182 | 33 | 681k|5262 | 0.000000e+00 | -- | Inf
653.81/653.84 c 654s|730000 | 41 | 10987k| 15.1 | 25M| 43 | - | 100 | 29k| 100 | 182 | 33 | 689k|5279 | 0.000000e+00 | -- | Inf
663.70/663.72 c 664s|740000 | 42 | 11143k| 15.1 | 25M| 43 | - | 100 | 27k| 100 | 182 | 33 | 699k|5293 | 0.000000e+00 | -- | Inf
671.90/671.98 c 672s|750000 | 43 | 11269k| 15.0 | 24M| 43 | - | 100 | 25k| 100 | 182 | 33 | 707k|5299 | 0.000000e+00 | -- | Inf
680.11/680.18 c 680s|760000 | 44 | 11397k| 15.0 | 24M| 43 | - | 100 | 27k| 100 | 182 | 33 | 714k|5305 | 0.000000e+00 | -- | Inf
689.41/689.40 c 689s|770000 | 46 | 11535k| 15.0 | 22M| 43 | 38 | 100 | 21k| 100 | 182 | 33 | 721k|5345 | 0.000000e+00 | -- | Inf
698.60/698.62 c 699s|780000 | 42 | 11698k| 15.0 | 24M| 43 | 39 | 100 | 25k| 100 | 182 | 33 | 731k|5370 | 0.000000e+00 | -- | Inf
707.00/707.06 c 707s|790000 | 53 | 11836k| 15.0 | 23M| 43 | - | 100 | 23k| 100 | 182 | 33 | 740k|5374 | 0.000000e+00 | -- | Inf
716.90/716.90 c 717s|800000 | 52 | 12002k| 15.0 | 24M| 43 | - | 100 | 25k| 0 | 0 | 33 | 751k|5401 | 0.000000e+00 | -- | Inf
726.70/726.78 c 727s|810000 | 51 | 12159k| 15.0 | 24M| 43 | - | 100 | 25k| 100 | 182 | 33 | 761k|5404 | 0.000000e+00 | -- | Inf
736.10/736.12 c 736s|820000 | 51 | 12313k| 15.0 | 24M| 43 | - | 100 | 26k| 100 | 182 | 33 | 771k|5405 | 0.000000e+00 | -- | Inf
744.90/745.00 c 745s|830000 | 58 | 12454k| 15.0 | 25M| 43 | 38 | 100 | 27k| 100 | 182 | 33 | 780k|5414 | 0.000000e+00 | -- | Inf
754.90/754.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
754.90/754.98 c 755s|840000 | 68 | 12609k| 15.0 | 26M| 43 | - | 100 | 30k| 100 | 182 | 33 | 791k|5421 | 0.000000e+00 | -- | Inf
765.00/765.09 c 765s|850000 | 59 | 12771k| 15.0 | 27M| 43 | 31 | 100 | 34k| 100 | 182 | 33 | 801k|5423 | 0.000000e+00 | -- | Inf
774.50/774.54 c 775s|860000 | 60 | 12899k| 15.0 | 29M| 43 | 27 | 100 | 38k| 100 | 182 | 33 | 810k|5423 | 0.000000e+00 | -- | Inf
784.60/784.65 c 785s|870000 | 59 | 13032k| 15.0 | 30M| 43 | - | 100 | 40k| 100 | 182 | 33 | 818k|5423 | 0.000000e+00 | -- | Inf
795.22/795.22 c 795s|880000 | 61 | 13172k| 15.0 | 30M| 43 | 40 | 100 | 42k| 100 | 182 | 33 | 828k|5423 | 0.000000e+00 | -- | Inf
806.40/806.40 c 806s|890000 | 63 | 13325k| 15.0 | 32M| 43 | 35 | 100 | 46k| 100 | 182 | 33 | 837k|5423 | 0.000000e+00 | -- | Inf
819.11/819.18 c 819s|900000 | 65 | 13505k| 15.0 | 29M| 43 | - | 100 | 36k| 0 | 0 | 33 | 848k|5449 | 0.000000e+00 | -- | Inf
830.31/830.37 c 830s|910000 | 59 | 13665k| 15.0 | 30M| 43 | - | 100 | 40k| 100 | 182 | 33 | 858k|5452 | 0.000000e+00 | -- | Inf
841.70/841.71 c 842s|920000 | 63 | 13822k| 15.0 | 32M| 43 | - | 100 | 44k| 100 | 182 | 33 | 869k|5462 | 0.000000e+00 | -- | Inf
853.41/853.49 c 853s|930000 | 60 | 13974k| 15.0 | 33M| 45 | 43 | 100 | 49k| 100 | 182 | 33 | 879k|5474 | 0.000000e+00 | -- | Inf
866.30/866.32 c 866s|940000 | 69 | 14149k| 15.1 | 32M| 45 | 46 | 100 | 46k| 100 | 182 | 33 | 890k|5483 | 0.000000e+00 | -- | Inf
878.70/878.71 c 879s|950000 | 61 | 14309k| 15.1 | 34M| 45 | - | 100 | 50k| 100 | 182 | 33 | 899k|5498 | 0.000000e+00 | -- | Inf
891.21/891.26 c 891s|960000 | 64 | 14462k| 15.1 | 34M| 45 | - | 100 | 49k| 100 | 182 | 33 | 908k|5505 | 0.000000e+00 | -- | Inf
903.71/903.70 c 904s|970000 | 66 | 14636k| 15.1 | 31M| 45 | 40 | 100 | 41k| 100 | 182 | 33 | 918k|5518 | 0.000000e+00 | -- | Inf
915.41/915.45 c 915s|980000 | 60 | 14788k| 15.1 | 31M| 45 | - | 100 | 40k| 100 | 182 | 33 | 928k|5536 | 0.000000e+00 | -- | Inf
926.61/926.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
926.61/926.62 c 927s|990000 | 57 | 14949k| 15.1 | 30M| 45 | - | 100 | 37k| 0 | 0 | 33 | 938k|5559 | 0.000000e+00 | -- | Inf
937.91/937.91 c 938s| 1000k| 57 | 15119k| 15.1 | 27M| 45 | 28 | 100 | 28k| 100 | 182 | 33 | 948k|5570 | 0.000000e+00 | -- | Inf
947.40/947.47 c 947s| 1010k| 59 | 15259k| 15.1 | 28M| 45 | 37 | 100 | 33k| 100 | 182 | 33 | 958k|5571 | 0.000000e+00 | -- | Inf
957.71/957.79 c 958s| 1020k| 47 | 15410k| 15.1 | 29M| 45 | 37 | 100 | 34k| 100 | 182 | 33 | 967k|5583 | 0.000000e+00 | -- | Inf
967.01/967.04 c 967s| 1030k| 50 | 15548k| 15.1 | 28M| 45 | - | 100 | 33k| 100 | 182 | 33 | 977k|5593 | 0.000000e+00 | -- | Inf
977.82/977.82 c 978s| 1040k| 48 | 15719k| 15.1 | 25M| 45 | - | 100 | 22k| 100 | 182 | 33 | 987k|5690 | 0.000000e+00 | -- | Inf
987.61/987.65 c 988s| 1050k| 51 | 15885k| 15.1 | 26M| 45 | - | 100 | 26k| 100 | 182 | 33 | 998k|5692 | 0.000000e+00 | -- | Inf
998.72/998.74 c 999s| 1060k| 43 | 16065k| 15.2 | 26M| 45 | - | 100 | 26k| 100 | 182 | 33 |1009k|5706 | 0.000000e+00 | -- | Inf
1008.81/1008.81 c 1009s| 1070k| 44 | 16232k| 15.2 | 25M| 45 | - | 100 | 24k| 100 | 182 | 33 |1019k|5712 | 0.000000e+00 | -- | Inf
1017.31/1017.35 c 1017s| 1080k| 41 | 16375k| 15.2 | 26M| 45 | - | 100 | 24k| 100 | 182 | 33 |1028k|5715 | 0.000000e+00 | -- | Inf
1026.33/1026.32 c 1026s| 1090k| 43 | 16534k| 15.2 | 24M| 45 | 28 | 100 | 20k| 100 | 182 | 33 |1037k|5727 | 0.000000e+00 | -- | Inf
1035.71/1035.76 c 1036s| 1100k| 40 | 16710k| 15.2 | 24M| 45 | 38 | 100 | 18k| 100 | 182 | 33 |1047k|5737 | 0.000000e+00 | -- | Inf
1044.01/1044.09 c 1044s| 1110k| 41 | 16852k| 15.2 | 25M| 45 | 32 | 100 | 21k| 100 | 182 | 33 |1056k|5745 | 0.000000e+00 | -- | Inf
1052.32/1052.31 c 1052s| 1120k| 41 | 16989k| 15.2 | 26M| 45 | - | 100 | 24k| 100 | 182 | 33 |1065k|5749 | 0.000000e+00 | -- | Inf
1061.72/1061.70 c 1062s| 1130k| 38 | 17141k| 15.2 | 27M| 45 | 31 | 100 | 27k| 100 | 182 | 33 |1074k|5756 | 0.000000e+00 | -- | Inf
1070.12/1070.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1070.12/1070.18 c 1070s| 1140k| 36 | 17274k| 15.2 | 25M| 45 | - | 100 | 22k| 100 | 182 | 33 |1083k|5762 | 0.000000e+00 | -- | Inf
1078.61/1078.65 c 1079s| 1150k| 40 | 17407k| 15.1 | 23M| 45 | 34 | 100 | 16k| 100 | 182 | 33 |1091k|5776 | 0.000000e+00 | -- | Inf
1087.11/1087.11 c 1087s| 1160k| 43 | 17566k| 15.1 | 24M| 45 | 33 | 100 | 17k| 100 | 182 | 33 |1101k|5785 | 0.000000e+00 | -- | Inf
1095.91/1095.93 c 1096s| 1170k| 39 | 17721k| 15.1 | 24M| 45 | - | 100 | 19k| 0 | 0 | 33 |1111k|5799 | 0.000000e+00 | -- | Inf
1104.81/1104.82 c 1105s| 1180k| 42 | 17877k| 15.2 | 25M| 45 | 38 | 100 | 22k| 100 | 182 | 33 |1121k|5817 | 0.000000e+00 | -- | Inf
1113.42/1113.47 c 1113s| 1190k| 34 | 18032k| 15.2 | 24M| 45 | 38 | 100 | 18k| 100 | 182 | 33 |1131k|5829 | 0.000000e+00 | -- | Inf
1122.92/1122.95 c 1123s| 1200k| 35 | 18209k| 15.2 | 25M| 45 | - | 100 | 23k| 100 | 182 | 33 |1142k|5842 | 0.000000e+00 | -- | Inf
1132.01/1132.07 c 1132s| 1210k| 39 | 18367k| 15.2 | 27M| 45 | - | 100 | 28k| 0 | 0 | 33 |1152k|5842 | 0.000000e+00 | -- | Inf
1142.51/1142.51 c 1143s| 1220k| 33 | 18536k| 15.2 | 26M| 45 | - | 100 | 26k| 100 | 182 | 33 |1163k|5855 | 0.000000e+00 | -- | Inf
1152.41/1152.48 c 1152s| 1230k| 31 | 18698k| 15.2 | 26M| 45 | 42 | 100 | 26k| 100 | 182 | 33 |1174k|5858 | 0.000000e+00 | -- | Inf
1163.21/1163.26 c 1163s| 1240k| 31 | 18879k| 15.2 | 27M| 45 | - | 100 | 27k| 100 | 182 | 33 |1185k|5868 | 0.000000e+00 | -- | Inf
1173.42/1173.42 c 1173s| 1250k| 32 | 19042k| 15.2 | 28M| 45 | - | 100 | 32k| 100 | 182 | 33 |1195k|5871 | 0.000000e+00 | -- | Inf
1184.91/1184.95 c 1185s| 1260k| 41 | 19207k| 15.2 | 30M| 45 | 25 | 100 | 36k| 100 | 182 | 33 |1205k|5872 | 0.000000e+00 | -- | Inf
1197.42/1197.41 c 1197s| 1270k| 34 | 19383k| 15.3 | 32M| 45 | 32 | 100 | 40k| 100 | 182 | 33 |1215k|5877 | 0.000000e+00 | -- | Inf
1208.93/1208.95 c 1209s| 1280k| 29 | 19537k| 15.3 | 30M| 45 | - | 100 | 35k| 100 | 182 | 33 |1225k|5880 | 0.000000e+00 | -- | Inf
1218.62/1218.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1218.62/1218.70 c 1219s| 1290k| 30 | 19674k| 15.3 | 29M| 45 | 38 | 100 | 32k| 100 | 182 | 33 |1232k|5882 | 0.000000e+00 | -- | Inf
1228.73/1228.78 c 1229s| 1300k| 33 | 19822k| 15.2 | 24M| 45 | 33 | 100 | 18k| 100 | 182 | 33 |1242k|5892 | 0.000000e+00 | -- | Inf
1237.53/1237.56 c 1238s| 1310k| 33 | 19983k| 15.3 | 24M| 45 | - | 100 | 18k| 100 | 182 | 33 |1252k|5893 | 0.000000e+00 | -- | Inf
1246.51/1246.54 c 1247s| 1320k| 25 | 20149k| 15.3 | 24M| 45 | - | 100 | 16k| 100 | 182 | 33 |1262k|5903 | 0.000000e+00 | -- | Inf
1254.92/1254.92 c 1255s| 1330k| 26 | 20298k| 15.3 | 25M| 45 | 39 | 100 | 21k| 100 | 182 | 33 |1272k|5903 | 0.000000e+00 | -- | Inf
1263.94/1263.92 c 1264s| 1340k| 29 | 20448k| 15.3 | 27M| 45 | - | 100 | 24k| 100 | 182 | 33 |1282k|5903 | 0.000000e+00 | -- | Inf
1273.42/1273.44 c 1273s| 1350k| 28 | 20602k| 15.3 | 27M| 45 | - | 100 | 25k| 100 | 182 | 33 |1292k|5903 | 0.000000e+00 | -- | Inf
1284.01/1284.03 c 1284s| 1360k| 27 | 20775k| 15.3 | 27M| 45 | 34 | 100 | 26k| 100 | 182 | 33 |1302k|5906 | 0.000000e+00 | -- | Inf
1293.91/1293.91 c 1294s| 1370k| 24 | 20928k| 15.3 | 26M| 45 | 38 | 100 | 22k| 100 | 182 | 33 |1312k|5910 | 0.000000e+00 | -- | Inf
1303.53/1303.59 c 1304s| 1380k| 21 | 21096k| 15.3 | 28M| 45 | - | 100 | 26k| 100 | 182 | 33 |1323k|5916 | 0.000000e+00 | -- | Inf
1313.92/1313.94 c 1314s| 1390k| 28 | 21276k| 15.3 | 27M| 45 | 30 | 100 | 25k| 100 | 182 | 33 |1334k|5924 | 0.000000e+00 | -- | Inf
1325.12/1325.11 c 1325s| 1400k| 27 | 21470k| 15.3 | 29M| 45 | - | 100 | 31k| 100 | 182 | 33 |1345k|5932 | 0.000000e+00 | -- | Inf
1335.44/1335.44 c 1335s| 1410k| 43 | 21623k| 15.3 | 31M| 45 | 31 | 100 | 36k| 100 | 182 | 33 |1354k|5938 | 0.000000e+00 | -- | Inf
1346.72/1346.78 c 1347s| 1420k| 30 | 21775k| 15.3 | 32M| 45 | 36 | 100 | 38k| 100 | 182 | 33 |1363k|5952 | 0.000000e+00 | -- | Inf
1359.12/1359.17 c 1359s| 1430k| 22 | 21952k| 15.4 | 30M| 45 | - | 100 | 33k| 100 | 182 | 33 |1373k|5957 | 0.000000e+00 | -- | Inf
1371.22/1371.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1371.22/1371.20 c 1371s| 1440k| 24 | 22137k| 15.4 | 32M| 45 | - | 100 | 38k| 100 | 182 | 33 |1385k|5961 | 0.000000e+00 | -- | Inf
1383.83/1383.89 c 1384s| 1450k| 24 | 22335k| 15.4 | 32M| 45 | - | 100 | 37k| 100 | 182 | 33 |1395k|5965 | 0.000000e+00 | -- | Inf
1395.62/1395.60 c 1396s| 1460k| 32 | 22511k| 15.4 | 33M| 45 | - | 100 | 41k| 0 | 0 | 33 |1405k|5971 | 0.000000e+00 | -- | Inf
1408.42/1408.42 c 1408s| 1470k| 31 | 22681k| 15.4 | 35M| 45 | - | 100 | 46k| 100 | 182 | 33 |1415k|5975 | 0.000000e+00 | -- | Inf
1420.61/1420.65 c 1421s| 1480k| 29 | 22842k| 15.4 | 35M| 45 | 39 | 100 | 46k| 100 | 182 | 33 |1424k|5981 | 0.000000e+00 | -- | Inf
1430.92/1430.93 c 1431s| 1490k| 30 | 22995k| 15.4 | 28M| 45 | 37 | 100 | 25k| 100 | 182 | 33 |1434k|5986 | 0.000000e+00 | -- | Inf
1440.41/1440.48 c 1440s| 1500k| 20 | 23154k| 15.4 | 29M| 45 | - | 100 | 27k| 0 | 0 | 33 |1443k|5992 | 0.000000e+00 | -- | Inf
1450.72/1450.76 c 1451s| 1510k| 26 | 23321k| 15.4 | 30M| 45 | - | 100 | 29k| 100 | 182 | 33 |1451k|5996 | 0.000000e+00 | -- | Inf
1461.22/1461.27 c 1461s| 1520k| 25 | 23493k| 15.5 | 27M| 45 | 36 | 100 | 20k| 100 | 182 | 33 |1461k|6002 | 0.000000e+00 | -- | Inf
1470.32/1470.39 c 1470s| 1530k| 30 | 23648k| 15.5 | 29M| 45 | 33 | 100 | 24k| 100 | 182 | 33 |1471k|6006 | 0.000000e+00 | -- | Inf
1479.72/1479.79 c 1480s| 1540k| 26 | 23806k| 15.5 | 29M| 45 | - | 100 | 24k| 100 | 182 | 33 |1480k|6007 | 0.000000e+00 | -- | Inf
1489.12/1489.20 c 1489s| 1550k| 23 | 23969k| 15.5 | 29M| 45 | 34 | 100 | 27k| 100 | 182 | 33 |1490k|6007 | 0.000000e+00 | -- | Inf
1499.12/1499.17 c 1499s| 1560k| 22 | 24136k| 15.5 | 29M| 45 | 39 | 100 | 27k| 100 | 182 | 33 |1499k|6007 | 0.000000e+00 | -- | Inf
1509.52/1509.52 c 1510s| 1570k| 21 | 24304k| 15.5 | 28M| 45 | 37 | 100 | 23k| 100 | 182 | 33 |1508k|6007 | 0.000000e+00 | -- | Inf
1518.92/1518.91 c 1519s| 1580k| 26 | 24449k| 15.5 | 26M| 45 | - | 100 | 18k| 100 | 182 | 33 |1518k|6143 | 0.000000e+00 | -- | Inf
1528.62/1528.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1528.62/1528.65 c 1529s| 1590k| 25 | 24611k| 15.5 | 28M| 45 | - | 100 | 22k| 100 | 182 | 33 |1528k|6143 | 0.000000e+00 | -- | Inf
1539.42/1539.45 c 1539s| 1600k| 30 | 24798k| 15.5 | 29M| 45 | 35 | 100 | 27k| 100 | 182 | 33 |1539k|6291 | 0.000000e+00 | -- | Inf
1549.32/1549.40 c 1549s| 1610k| 33 | 24960k| 15.5 | 31M| 45 | - | 100 | 30k| 100 | 182 | 33 |1549k|6291 | 0.000000e+00 | -- | Inf
1560.42/1560.46 c 1560s| 1620k| 35 | 25129k| 15.5 | 31M| 45 | 38 | 100 | 32k| 100 | 182 | 33 |1559k|6291 | 0.000000e+00 | -- | Inf
1570.74/1570.79 c 1571s| 1630k| 31 | 25275k| 15.5 | 33M| 45 | 33 | 100 | 36k| 100 | 182 | 33 |1569k|6291 | 0.000000e+00 | -- | Inf
1581.73/1581.72 c 1582s| 1640k| 36 | 25425k| 15.5 | 35M| 45 | - | 100 | 41k| 100 | 182 | 33 |1578k|6291 | 0.000000e+00 | -- | Inf
1592.84/1592.87 c 1593s| 1650k| 33 | 25557k| 15.5 | 35M| 45 | - | 100 | 42k| 100 | 182 | 33 |1587k|6291 | 0.000000e+00 | -- | Inf
1604.52/1604.56 c 1605s| 1660k| 27 | 25703k| 15.5 | 36M| 45 | 37 | 100 | 45k| 100 | 182 | 33 |1597k|6291 | 0.000000e+00 | -- | Inf
1617.12/1617.18 c 1617s| 1670k| 34 | 25844k| 15.5 | 36M| 45 | 30 | 100 | 45k| 100 | 182 | 33 |1607k|6291 | 0.000000e+00 | -- | Inf
1629.82/1629.83 c 1630s| 1680k| 25 | 25986k| 15.5 | 36M| 45 | 41 | 100 | 45k| 100 | 182 | 33 |1616k|6291 | 0.000000e+00 | -- | Inf
1641.62/1641.63 c 1642s| 1690k| 29 | 26131k| 15.5 | 38M| 45 | 42 | 100 | 49k| 100 | 182 | 33 |1625k|6291 | 0.000000e+00 | -- | Inf
1654.52/1654.51 c 1655s| 1700k| 34 | 26284k| 15.5 | 36M| 45 | 32 | 100 | 44k| 100 | 182 | 33 |1635k|6291 | 0.000000e+00 | -- | Inf
1666.43/1666.42 c 1666s| 1710k| 30 | 26449k| 15.5 | 33M| 45 | 33 | 100 | 34k| 100 | 182 | 33 |1645k|6291 | 0.000000e+00 | -- | Inf
1677.54/1677.52 c 1678s| 1720k| 29 | 26599k| 15.5 | 34M| 45 | 35 | 100 | 36k| 100 | 182 | 33 |1655k|6291 | 0.000000e+00 | -- | Inf
1688.92/1688.93 c 1689s| 1730k| 37 | 26747k| 15.5 | 35M| 45 | 24 | 100 | 39k| 100 | 182 | 33 |1665k|6291 | 0.000000e+00 | -- | Inf
1699.72/1699.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1699.72/1699.79 c 1700s| 1740k| 40 | 26896k| 15.5 | 34M| 45 | - | 100 | 37k| 100 | 182 | 33 |1675k|6291 | 0.000000e+00 | -- | Inf
1710.63/1710.61 c 1711s| 1750k| 44 | 27040k| 15.5 | 36M| 45 | 42 | 100 | 42k| 100 | 182 | 33 |1684k|6291 | 0.000000e+00 | -- | Inf
1722.23/1722.26 c 1722s| 1760k| 38 | 27179k| 15.4 | 37M| 45 | - | 100 | 44k| 100 | 182 | 33 |1693k|6291 | 0.000000e+00 | -- | Inf
1735.93/1735.90 c 1736s| 1770k| 38 | 27351k| 15.5 | 37M| 45 | - | 100 | 46k| 100 | 182 | 33 |1703k|6291 | 0.000000e+00 | -- | Inf
1748.13/1748.17 c 1748s| 1780k| 43 | 27491k| 15.4 | 39M| 45 | - | 100 | 49k| 100 | 182 | 33 |1713k|6291 | 0.000000e+00 | -- | Inf
1759.94/1759.98 c 1760s| 1790k| 48 | 27619k| 15.4 | 40M| 45 | 28 | 100 | 53k| 100 | 182 | 33 |1721k|6291 | 0.000000e+00 | -- | Inf
1773.73/1773.70 c 1774s| 1800k| 40 | 27773k| 15.4 | 41M| 45 | 31 | 100 | 55k| 100 | 182 | 33 |1732k|6291 | 0.000000e+00 | -- | Inf
1786.12/1786.10 c 1786s| 1810k| 53 | 27898k| 15.4 | 42M| 45 | 28 | 100 | 59k| 100 | 182 | 33 |1740k|6291 | 0.000000e+00 | -- | Inf
1799.13/1799.10 c 1799s| 1820k| 39 | 28012k| 15.4 | 43M| 45 | - | 100 | 62k| 100 | 182 | 33 |1748k|6291 | 0.000000e+00 | -- | Inf
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Solving Time (sec) : 1800.00
1800.03/1800.00 c Solving Nodes : 1820667
1800.03/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 s UNKNOWN
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Total Time : 1800.00
1800.03/1800.00 c solving : 1800.00
1800.03/1800.00 c presolving : 0.03 (included in solving)
1800.03/1800.00 c reading : 0.00 (included in solving)
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-3450320-1307112883.opb
1800.03/1800.00 c Variables : 706 (706 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 858 initial, 858 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-3450320-1307112883.opb
1800.03/1800.00 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 152 initial, 62482 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 606 0 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c linear : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c pseudoboolean : 0.00 0 0 0 0 0 706 0 0 0
1800.03/1800.00 c root node : - 0 - - 0 - - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 916056 0 1 0 274 1968 0 0 1828640
1800.03/1800.00 c knapsack : 101 5 6692601 0 0 0 9636992 16173 5802066 96 0 0
1800.03/1800.00 c setppc : 50 5 6673284 0 0 0 3446318 921 586290 0 0 0
1800.03/1800.00 c linear : 1+ 6 6675507 0 0 0 698 4768 4339 0 0 0
1800.03/1800.00 c logicor : 0+ 0 2279311 0 0 0 5890742 24551 1570768 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.03/1800.00 c integral : 17.78 0.00 0.00 17.78 0.00 0.00 0.00
1800.03/1800.00 c knapsack : 62.80 0.00 59.14 0.00 0.00 0.00 3.66
1800.03/1800.00 c setppc : 7.13 0.00 6.39 0.00 0.00 0.00 0.74
1800.03/1800.00 c linear : 3.99 0.00 3.98 0.00 0.00 0.00 0.01
1800.03/1800.00 c logicor : 329.95 0.00 324.20 0.00 0.00 0.00 5.75
1800.03/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.03/1800.00 c vbounds : 0 0 0 0
1800.03/1800.00 c rootredcost : 0 0 0 0
1800.03/1800.00 c pseudoobj : 0 0 0 0
1800.03/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.03/1800.00 c vbounds : 0.96 0.96 0.00
1800.03/1800.00 c rootredcost : 1.08 1.08 0.00
1800.03/1800.00 c pseudoobj : 0.64 0.64 0.00
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 1.70 46413 45976 325576 26.9 424 21.6 -
1800.03/1800.00 c infeasible LP : 47.44 865334 864178 6700287 25.4 4058 20.3 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.00 c applied globally : - - - 1748912 20.1 - - -
1800.03/1800.00 c applied locally : - - - 198 37.2 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 4 - - 49 - (maximal pool size: 348)
1800.03/1800.00 c redcost : 1.83 914666 0 0 0 0
1800.03/1800.00 c impliedbounds : 0.00 5 0 0 0 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.03 5 0 0 0 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.03 5 0 0 348 0
1800.03/1800.00 c cmir : 0.00 0 0 0 0 0
1800.03/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.00 c clique : 0.00 1 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 1 0 0 0 0
1800.03/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.02 1 0 0 0 9
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 17.22 916056 274 1968 0 0 1828640
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 0.00 0 0 0 0 0 0
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.00 - 0
1800.03/1800.00 c trivial : 0.00 1 0
1800.03/1800.00 c shiftandpropagate: 0.00 0 0
1800.03/1800.00 c simplerounding : 0.00 0 0
1800.03/1800.00 c zirounding : 0.00 0 0
1800.03/1800.00 c rounding : 0.00 0 0
1800.03/1800.00 c shifting : 0.00 0 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c oneopt : 0.00 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c feaspump : 0.00 0 0
1800.03/1800.00 c clique : 0.00 0 0
1800.03/1800.00 c coefdiving : 0.00 0 0
1800.03/1800.00 c pscostdiving : 0.00 0 0
1800.03/1800.00 c fracdiving : 0.00 0 0
1800.03/1800.00 c veclendiving : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c objpscostdiving : 0.00 0 0
1800.03/1800.00 c rootsoldiving : 0.00 0 0
1800.03/1800.00 c linesearchdiving : 0.00 0 0
1800.03/1800.00 c guideddiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.00 0 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c crossover : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c vbounds : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c subnlp : 0.00 0 0
1800.03/1800.00 c trysol : 0.00 0 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 891.10 1780631 28020131 15.74 31444.26
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.00 c strong branching : 6.56 6291 190657 30.31 29058.75
1800.03/1800.00 c (at root node) : - 11 790 71.82 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 1820667
1800.03/1800.00 c nodes (total) : 1820667
1800.03/1800.00 c nodes left : 42
1800.03/1800.00 c max depth : 45
1800.03/1800.00 c max depth (total): 45
1800.03/1800.00 c backtracks : 285347 (15.7%)
1800.03/1800.00 c delayed cutoffs : 7932
1800.03/1800.00 c repropagations : 2859277 (1571942 domain reductions, 5674 cutoffs)
1800.03/1800.00 c avg switch length: 4.50
1800.03/1800.00 c switching time : 291.30
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 0 (0 improvements)
1800.03/1800.00 c Primal Bound : -
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Root Iterations : 163
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-3450320-1307112883/watcher-3450320-1307112883 -o /tmp/evaluation-result-3450320-1307112883/solver-3450320-1307112883 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450320-1307112883.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 1.98 1.99 3/473 26370
/proc/meminfo: memFree=20269012/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=18728 CPUtime=0 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 3686 0 0 0 0 0 0 0 25 0 1 0 822887961 19177472 3383 33554432000 4194304 9163163 140734773608640 18446744073709551615 8095719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 4682 3388 496 1214 0 3464 0
[startup+0.0458011 s]
/proc/loadavg: 1.99 1.98 1.99 3/473 26370
/proc/meminfo: memFree=20269012/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=21320 CPUtime=0.03 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 4519 0 0 0 3 0 0 0 25 0 1 0 822887961 21831680 4216 33554432000 4194304 9163163 140734773608640 18446744073709551615 6668722 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 5330 4216 674 1214 0 4112 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21320
[startup+0.100794 s]
/proc/loadavg: 1.99 1.98 1.99 3/473 26370
/proc/meminfo: memFree=20269012/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=30616 CPUtime=0.08 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 7287 0 0 0 8 0 0 0 25 0 1 0 822887961 31350784 6278 33554432000 4194304 9163163 140734773608640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 7654 6278 712 1214 0 6436 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30616
[startup+0.300823 s]
/proc/loadavg: 1.99 1.98 1.99 3/473 26370
/proc/meminfo: memFree=20269012/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=30644 CPUtime=0.28 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 7308 0 0 0 27 1 0 0 25 0 1 0 822887961 31379456 6299 33554432000 4194304 9163163 140734773608640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 7661 6299 716 1214 0 6443 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 30644
[startup+0.700748 s]
/proc/loadavg: 1.99 1.98 1.99 3/473 26370
/proc/meminfo: memFree=20269012/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=30644 CPUtime=0.69 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 7309 0 0 0 63 6 0 0 25 0 1 0 822887961 31379456 6300 33554432000 4194304 9163163 140734773608640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 7661 6300 717 1214 0 6443 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30644
[startup+1.5006 s]
/proc/loadavg: 1.99 1.98 1.99 3/474 26371
/proc/meminfo: memFree=20245956/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=30644 CPUtime=1.49 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 7309 0 0 0 133 16 0 0 25 0 1 0 822887961 31379456 6300 33554432000 4194304 9163163 140734773608640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 7661 6300 717 1214 0 6443 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30644
[startup+3.10032 s]
/proc/loadavg: 1.99 1.98 1.99 3/474 26371
/proc/meminfo: memFree=20244960/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=30644 CPUtime=3.09 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 7310 0 0 0 272 37 0 0 25 0 1 0 822887961 31379456 6301 33554432000 4194304 9163163 140734773608640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 7661 6301 717 1214 0 6443 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30644
[startup+6.30076 s]
/proc/loadavg: 1.99 1.98 1.99 3/474 26371
/proc/meminfo: memFree=20244256/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=30644 CPUtime=6.29 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 7386 0 0 0 561 68 0 0 25 0 1 0 822887961 31379456 6377 33554432000 4194304 9163163 140734773608640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 7661 6377 717 1214 0 6443 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30644
[startup+12.7006 s]
/proc/loadavg: 1.99 1.98 1.99 3/474 26371
/proc/meminfo: memFree=20242656/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=30644 CPUtime=12.69 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 7634 0 0 0 1128 141 0 0 25 0 1 0 822887961 31379456 6625 33554432000 4194304 9163163 140734773608640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 7661 6625 717 1214 0 6443 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30644
[startup+25.5004 s]
/proc/loadavg: 1.99 1.98 1.99 3/474 26372
/proc/meminfo: memFree=20240852/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=34096 CPUtime=25.49 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 8274 0 0 0 2269 280 0 0 25 0 1 0 822887961 34914304 7264 33554432000 4194304 9163163 140734773608640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 8524 7264 717 1214 0 7306 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 34096
[startup+51.1009 s]
/proc/loadavg: 1.99 1.98 1.99 3/474 26372
/proc/meminfo: memFree=20235520/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=39376 CPUtime=51.09 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 9603 0 0 0 4571 538 0 0 25 0 1 0 822887961 40321024 8593 33554432000 4194304 9163163 140734773608640 18446744073709551615 5275400 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 9844 8593 717 1214 0 8626 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 39376
[startup+102.318 s]
/proc/loadavg: 1.99 1.98 1.99 3/474 26374
/proc/meminfo: memFree=20229656/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=44720 CPUtime=102.3 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 10794 0 0 0 9218 1012 0 0 25 0 1 0 822887961 45793280 9784 33554432000 4194304 9163163 140734773608640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 11180 9784 717 1214 0 9962 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 44720
[startup+162.3 s]
/proc/loadavg: 2.03 1.99 1.99 3/474 26375
/proc/meminfo: memFree=20227532/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=46856 CPUtime=162.29 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 11271 0 0 0 14654 1575 0 0 25 0 1 0 822887961 47980544 10255 33554432000 4194304 9163163 140734773608640 18446744073709551615 4793682 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 11714 10255 717 1214 0 10496 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 46856
[startup+222.301 s]
/proc/loadavg: 2.11 2.02 2.00 3/474 26377
/proc/meminfo: memFree=20220420/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=55216 CPUtime=222.29 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 13121 0 0 0 20164 2065 0 0 25 0 1 0 822887961 56541184 12102 33554432000 4194304 9163163 140734773608640 18446744073709551615 4909396 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 13804 12102 717 1214 0 12586 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 55216
[startup+282.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/474 26379
/proc/meminfo: memFree=20219280/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=57744 CPUtime=282.29 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 13383 0 0 0 25674 2555 0 0 25 0 1 0 822887961 59129856 12364 33554432000 4194304 9163163 140734773608640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 14436 12364 717 1214 0 13218 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 57744
[startup+342.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/474 26407
/proc/meminfo: memFree=20138120/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=58404 CPUtime=342.3 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 13486 0 0 0 31161 3069 0 0 25 0 1 0 822887961 59805696 12467 33554432000 4194304 9163163 140734773608640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 14601 12467 717 1214 0 13383 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 58404
[startup+402.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/474 26418
/proc/meminfo: memFree=20132608/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=62888 CPUtime=402.3 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 14551 0 0 0 36756 3474 0 0 25 0 1 0 822887961 64397312 13532 33554432000 4194304 9163163 140734773608640 18446744073709551615 5275463 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 15722 13532 717 1214 0 14504 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 62888
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 26419
/proc/meminfo: memFree=20131588/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=65896 CPUtime=462.3 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 15020 0 0 0 42341 3889 0 0 25 0 1 0 822887961 67477504 14001 33554432000 4194304 9163163 140734773608640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 16474 14001 717 1214 0 15256 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 65896
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 26475
/proc/meminfo: memFree=20142232/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=71252 CPUtime=522.3 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 16421 0 0 0 48003 4227 0 0 25 0 1 0 822887961 72962048 15402 33554432000 4194304 9163163 140734773608640 18446744073709551615 5275439 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 17813 15402 838 1214 0 16595 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 71252
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 26480
/proc/meminfo: memFree=20127868/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=71752 CPUtime=582.3 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 16701 0 0 0 53623 4607 0 0 25 0 1 0 822887961 73474048 15682 33554432000 4194304 9163163 140734773608640 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 17938 15682 838 1214 0 16720 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 71752
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/474 26486
/proc/meminfo: memFree=20123868/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=75868 CPUtime=822.31 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 17372 0 0 0 75954 6277 0 0 25 0 1 0 822887961 77688832 16353 33554432000 4194304 9163163 140734773608640 18446744073709551615 4209138 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 18967 16353 838 1214 0 17749 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 75868
[startup+882.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/474 26488
/proc/meminfo: memFree=20122700/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=76440 CPUtime=882.3 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 17591 0 0 0 81586 6644 0 0 25 0 1 0 822887961 78274560 16572 33554432000 4194304 9163163 140734773608640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 19110 16572 838 1214 0 17892 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 76440
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 26489
/proc/meminfo: memFree=20121548/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=78560 CPUtime=942.31 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 17923 0 0 0 87204 7027 0 0 25 0 1 0 822887961 80445440 16904 33554432000 4194304 9163163 140734773608640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 19640 16904 838 1214 0 18422 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 78560
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 26518
/proc/meminfo: memFree=20097952/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=78560 CPUtime=1002.31 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 17957 0 0 0 92857 7374 0 0 25 0 1 0 822887961 80445440 16938 33554432000 4194304 9163163 140734773608640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 19640 16938 838 1214 0 18422 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 78560
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 26519
/proc/meminfo: memFree=20097068/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=78560 CPUtime=1062.31 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 18008 0 0 0 98475 7756 0 0 25 0 1 0 822887961 80445440 16989 33554432000 4194304 9163163 140734773608640 18446744073709551615 5275400 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 19640 16989 838 1214 0 18422 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 78560
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 26521
/proc/meminfo: memFree=20104568/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=78560 CPUtime=1122.31 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 18054 0 0 0 104083 8148 0 0 25 0 1 0 822887961 80445440 17035 33554432000 4194304 9163163 140734773608640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 19640 17035 838 1214 0 18422 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 78560
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 26523
/proc/meminfo: memFree=20086188/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=78560 CPUtime=1182.31 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 18085 0 0 0 109666 8565 0 0 25 0 1 0 822887961 80445440 17066 33554432000 4194304 9163163 140734773608640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 19640 17066 838 1214 0 18422 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 78560
[startup+1242.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/474 26524
/proc/meminfo: memFree=20099400/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=80104 CPUtime=1242.31 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 18284 0 0 0 115273 8958 0 0 25 0 1 0 822887961 82026496 17265 33554432000 4194304 9163163 140734773608640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 20026 17265 838 1214 0 18808 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 80104
[startup+1302.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/474 26526
/proc/meminfo: memFree=20098376/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=80104 CPUtime=1302.33 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 18416 0 0 0 120809 9424 0 0 25 0 1 0 822887961 82026496 17397 33554432000 4194304 9163163 140734773608640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 20026 17397 838 1214 0 18808 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 80104
[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/474 26527
/proc/meminfo: memFree=20092012/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=81612 CPUtime=1362.32 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 18647 0 0 0 126466 9766 0 0 25 0 1 0 822887961 83570688 17628 33554432000 4194304 9163163 140734773608640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 20403 17628 838 1214 0 19185 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 81612
[startup+1422.32 s]
/proc/loadavg: 2.16 2.07 2.01 3/474 26529
/proc/meminfo: memFree=20088620/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=82116 CPUtime=1422.33 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 19020 0 0 0 132089 10144 0 0 25 0 1 0 822887961 84086784 18001 33554432000 4194304 9163163 140734773608640 18446744073709551615 7375921 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 20529 18001 838 1214 0 19311 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 82116
[startup+1482.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/474 26531
/proc/meminfo: memFree=20087964/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=82116 CPUtime=1482.31 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 19063 0 0 0 137625 10606 0 0 25 0 1 0 822887961 84086784 18044 33554432000 4194304 9163163 140734773608640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 20529 18044 838 1214 0 19311 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 82116
[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/474 26532
/proc/meminfo: memFree=20084164/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=82288 CPUtime=1542.32 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 19157 0 0 0 143260 10972 0 0 25 0 1 0 822887961 84262912 18138 33554432000 4194304 9163163 140734773608640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 20572 18138 838 1214 0 19354 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 82288
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/474 26534
/proc/meminfo: memFree=20082992/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=84004 CPUtime=1602.32 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 19270 0 0 0 148871 11361 0 0 25 0 1 0 822887961 86020096 18251 33554432000 4194304 9163163 140734773608640 18446744073709551615 5275476 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 21001 18251 838 1214 0 19783 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 84004
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 26535
/proc/meminfo: memFree=20080968/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=84912 CPUtime=1662.32 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 19708 0 0 0 154541 11691 0 0 25 0 1 0 822887961 86949888 18689 33554432000 4194304 9163163 140734773608640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 21228 18689 838 1214 0 20010 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 84912
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/474 26537
/proc/meminfo: memFree=20073360/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=84912 CPUtime=1722.32 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 19754 0 0 0 160204 12028 0 0 25 0 1 0 822887961 86949888 18735 33554432000 4194304 9163163 140734773608640 18446744073709551615 7376236 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 21228 18735 838 1214 0 20010 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 84912
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/474 26539
/proc/meminfo: memFree=20060676/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=87784 CPUtime=1782.33 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 20311 0 0 0 165908 12325 0 0 25 0 1 0 822887961 89890816 19292 33554432000 4194304 9163163 140734773608640 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26370/statm: 21946 19292 838 1214 0 20728 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 87784
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.16 2.04 2.01 3/474 26539
/proc/meminfo: memFree=20060916/32950928 swapFree=61858088/67111528
[pid=26370] ppid=26368 vsize=88860 CPUtime=1800.04 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.4b.l) R 26368 26370 24628 0 -1 4202496 20656 0 0 0 167605 12399 0 0 18 0 1 0 822887961 90992640 19638 33554432000 4194304 9163163 140734773608640 18446744073709551615 4208081 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26370/statm: 22215 19638 840 1214 0 20997 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 88860
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.06
CPU user time (s): 1676.06
CPU system time (s): 123.996
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 88860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1676.06
system time used= 123.996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20675
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= 2735
runsolver used 8.00278 second user time and 19.883 second system time
The end