0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3738058-1338731762.opb>
0.00/0.01 c original problem has 718 variables (718 bin, 0 int, 0 impl, 0 cont) and 870 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.01/0.03 c (round 1) 0 del vars, 818 del conss, 100 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 51 upgd conss, 5044 impls, 99 clqs
0.01/0.04 c (round 2) 618 del vars, 818 del conss, 100 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 151 upgd conss, 5044 impls, 0 clqs
0.01/0.04 c presolving (3 rounds):
0.01/0.04 c 618 deleted vars, 818 deleted constraints, 100 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.04 c 5044 implications, 0 cliques
0.01/0.04 c presolved problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 152 constraints
0.01/0.04 c 101 constraints of type <knapsack>
0.01/0.04 c 50 constraints of type <setppc>
0.01/0.04 c 1 constraints of type <linear>
0.01/0.04 c transformed objective value is always integral (scale: 1)
0.01/0.04 c Presolving Time: 0.03
0.01/0.04 c - non default parameters ----------------------------------------------------------------------
0.01/0.04 c # SCIP version 2.0.1.5
0.01/0.04 c
0.01/0.04 c # frequency for displaying node information lines
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.04 c display/freq = 10000
0.01/0.04 c
0.01/0.04 c # maximal time in seconds to run
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.04 c limits/time = 1797
0.01/0.04 c
0.01/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.04 c limits/memory = 13950
0.01/0.04 c
0.01/0.04 c # solving stops, if the given number of solutions were found (-1: no limit)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.04 c limits/solutions = 1
0.01/0.04 c
0.01/0.04 c # maximal number of separation rounds per node (-1: unlimited)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 5]
0.01/0.04 c separating/maxrounds = 1
0.01/0.04 c
0.01/0.04 c # maximal number of separation rounds in the root node (-1: unlimited)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.04 c separating/maxroundsroot = 5
0.01/0.04 c
0.01/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.04 c # [type: int, range: [1,2], default: 1]
0.01/0.04 c timing/clocktype = 2
0.01/0.04 c
0.01/0.04 c # belongs reading time to solving time?
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c timing/reading = TRUE
0.01/0.04 c
0.01/0.04 c # should presolving try to simplify inequalities
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/linear/simplifyinequalities = TRUE
0.01/0.04 c
0.01/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/indicator/addCouplingCons = TRUE
0.01/0.04 c
0.01/0.04 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.01/0.04 c constraints/knapsack/disaggregation = FALSE
0.01/0.04 c
0.01/0.04 c # should presolving try to simplify knapsacks
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.04 c
0.01/0.04 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.04 c presolving/probing/maxrounds = 0
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.04 c heuristics/coefdiving/freq = -1
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.04 c heuristics/coefdiving/maxlpiterquot = 0.075
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/coefdiving/maxlpiterofs = 1500
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 30]
0.01/0.04 c heuristics/crossover/freq = -1
0.01/0.04 c
0.01/0.04 c # number of nodes added to the contingent of the total nodes
0.01/0.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.01/0.04 c heuristics/crossover/nodesofs = 750
0.01/0.04 c
0.01/0.04 c # number of nodes without incumbent change that heuristic should wait
0.01/0.04 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.01/0.04 c heuristics/crossover/nwaitingnodes = 100
0.01/0.04 c
0.01/0.04 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.01/0.04 c # [type: real, range: [0,1], default: 0.1]
0.01/0.04 c heuristics/crossover/nodesquot = 0.15
0.01/0.04 c
0.01/0.04 c # minimum percentage of integer variables that have to be fixed
0.01/0.04 c # [type: real, range: [0,1], default: 0.666]
0.01/0.04 c heuristics/crossover/minfixingrate = 0.5
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.04 c heuristics/feaspump/freq = -1
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/feaspump/maxlpiterofs = 2000
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.04 c heuristics/fracdiving/freq = -1
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.04 c heuristics/fracdiving/maxlpiterquot = 0.075
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/fracdiving/maxlpiterofs = 1500
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.04 c heuristics/guideddiving/freq = -1
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.04 c heuristics/guideddiving/maxlpiterquot = 0.075
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/guideddiving/maxlpiterofs = 1500
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.04 c heuristics/intdiving/maxlpiterquot = 0.075
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.04 c heuristics/intshifting/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.04 c heuristics/linesearchdiving/freq = -1
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.04 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.04 c heuristics/objpscostdiving/freq = -1
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to total iteration number
0.01/0.04 c # [type: real, range: [0,1], default: 0.01]
0.01/0.04 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.04 c heuristics/oneopt/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.04 c heuristics/pscostdiving/freq = -1
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.04 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/pscostdiving/maxlpiterofs = 1500
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.04 c heuristics/rens/freq = -1
0.01/0.04 c
0.01/0.04 c # minimum percentage of integer variables that have to be fixable
0.01/0.04 c # [type: real, range: [0,1], default: 0.5]
0.01/0.04 c heuristics/rens/minfixingrate = 0.3
0.01/0.04 c
0.01/0.04 c # number of nodes added to the contingent of the total nodes
0.01/0.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.01/0.04 c heuristics/rens/nodesofs = 2000
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.04 c heuristics/rootsoldiving/freq = -1
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.01/0.04 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.04 c heuristics/rounding/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.04 c heuristics/shiftandpropagate/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.04 c heuristics/shifting/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.04 c heuristics/simplerounding/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.04 c heuristics/subnlp/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.04 c heuristics/trivial/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.04 c heuristics/trysol/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.04 c heuristics/undercover/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.04 c heuristics/veclendiving/freq = -1
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.04 c heuristics/veclendiving/maxlpiterquot = 0.075
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/veclendiving/maxlpiterofs = 1500
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.04 c heuristics/zirounding/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.04 c separating/cmir/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.04 c separating/flowcover/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.04 c separating/rapidlearning/freq = 0
0.01/0.04 c
0.01/0.04 c -----------------------------------------------------------------------------------------------
0.01/0.04 c start solving
0.01/0.04 c
0.01/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.01/0.04 c 0.0s| 1 | 0 | 76 | - |2095k| 0 | 46 | 100 | 152 | 100 | 152 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.08 c 0.1s| 1 | 0 | 131 | - |2380k| 0 | 74 | 100 | 158 | 100 | 179 | 27 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.09 c 0.1s| 1 | 0 | 142 | - |2754k| 0 | 78 | 100 | 158 | 100 | 189 | 37 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 c 0.1s| 1 | 0 | 150 | - |3079k| 0 | 79 | 100 | 158 | 100 | 191 | 39 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 155 | - |3349k| 0 | 81 | 100 | 158 | 100 | 193 | 41 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 160 | - |3451k| 0 | 81 | 100 | 158 | 100 | 194 | 42 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 c 0.2s| 1 | 2 | 160 | - |3452k| 0 | 81 | 100 | 158 | 100 | 194 | 42 | 0 | 10 | 0.000000e+00 | -- | Inf
7.79/7.82 c 7.8s| 10000 | 54 |152039 | 15.2 |5984k| 33 | 34 | 100 |5559 | 100 | 190 | 42 |9567 |1059 | 0.000000e+00 | -- | Inf
14.48/14.50 c 14.5s| 20000 | 57 |293798 | 14.7 |7346k| 34 | - | 100 |8387 | 100 | 190 | 42 | 18k|1470 | 0.000000e+00 | -- | Inf
21.59/21.65 c 21.6s| 30000 | 58 |445831 | 14.9 |8143k| 35 | 23 | 100 |9497 | 100 | 190 | 42 | 28k|1783 | 0.000000e+00 | -- | Inf
28.49/28.60 c 28.6s| 40000 | 56 |600251 | 15.0 |9768k| 35 | - | 100 | 13k| 100 | 190 | 42 | 38k|2030 | 0.000000e+00 | -- | Inf
35.98/36.05 c 36.0s| 50000 | 62 |759379 | 15.2 | 10M| 35 | - | 100 | 14k| 100 | 190 | 42 | 48k|2260 | 0.000000e+00 | -- | Inf
43.08/43.17 c 43.2s| 60000 | 58 |904820 | 15.1 | 11M| 37 | - | 100 | 16k| 100 | 190 | 42 | 58k|2416 | 0.000000e+00 | -- | Inf
50.68/50.72 c 50.7s| 70000 | 54 | 1053k| 15.1 | 12M| 37 | 38 | 100 | 16k| 100 | 190 | 42 | 67k|2592 | 0.000000e+00 | -- | Inf
58.48/58.50 c 58.5s| 80000 | 57 | 1208k| 15.1 | 13M| 37 | - | 100 | 18k| 100 | 190 | 42 | 77k|2698 | 0.000000e+00 | -- | Inf
66.38/66.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.38/66.40 c 66.4s| 90000 | 56 | 1362k| 15.1 | 14M| 37 | - | 100 | 20k| 100 | 190 | 42 | 87k|2836 | 0.000000e+00 | -- | Inf
74.17/74.23 c 74.2s|100000 | 52 | 1519k| 15.2 | 13M| 37 | - | 100 | 16k| 100 | 190 | 42 | 97k|2962 | 0.000000e+00 | -- | Inf
81.28/81.39 c 81.4s|110000 | 58 | 1658k| 15.1 | 14M| 38 | - | 100 | 21k| 100 | 190 | 42 | 106k|3038 | 0.000000e+00 | -- | Inf
89.08/89.14 c 89.1s|120000 | 52 | 1807k| 15.1 | 14M| 40 | 32 | 100 | 19k| 100 | 190 | 42 | 116k|3126 | 0.000000e+00 | -- | Inf
97.07/97.10 c 97.1s|130000 | 57 | 1966k| 15.1 | 15M| 40 | 28 | 100 | 22k| 100 | 190 | 42 | 126k|3197 | 0.000000e+00 | -- | Inf
104.96/105.09 c 105s|140000 | 57 | 2118k| 15.1 | 14M| 40 | 35 | 100 | 18k| 100 | 190 | 42 | 136k|3297 | 0.000000e+00 | -- | Inf
113.06/113.16 c 113s|150000 | 56 | 2269k| 15.1 | 15M| 40 | - | 100 | 20k| 100 | 190 | 42 | 146k|3347 | 0.000000e+00 | -- | Inf
120.97/121.02 c 121s|160000 | 55 | 2407k| 15.0 | 16M| 40 | 34 | 100 | 22k| 100 | 190 | 42 | 155k|3384 | 0.000000e+00 | -- | Inf
129.06/129.18 c 129s|170000 | 54 | 2563k| 15.1 | 15M| 40 | - | 100 | 17k| 0 | 0 | 42 | 164k|3436 | 0.000000e+00 | -- | Inf
136.86/136.97 c 137s|180000 | 60 | 2716k| 15.1 | 14M| 40 | 35 | 100 | 13k| 100 | 190 | 42 | 174k|3486 | 0.000000e+00 | -- | Inf
144.16/144.28 c 144s|190000 | 59 | 2863k| 15.1 | 14M| 40 | - | 100 | 13k| 100 | 190 | 42 | 184k|3533 | 0.000000e+00 | -- | Inf
151.26/151.38 c 151s|200000 | 61 | 3011k| 15.1 | 15M| 40 | - | 100 | 17k| 100 | 190 | 42 | 194k|3545 | 0.000000e+00 | -- | Inf
158.56/158.67 c 159s|210000 | 73 | 3149k| 15.0 | 15M| 40 | 30 | 100 | 16k| 100 | 190 | 42 | 203k|3565 | 0.000000e+00 | -- | Inf
166.06/166.13 c 166s|220000 | 65 | 3290k| 15.0 | 15M| 40 | 32 | 100 | 17k| 100 | 190 | 42 | 212k|3578 | 0.000000e+00 | -- | Inf
173.66/173.72 c 174s|230000 | 69 | 3439k| 15.0 | 16M| 40 | 38 | 100 | 19k| 100 | 190 | 42 | 222k|3592 | 0.000000e+00 | -- | Inf
181.95/182.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.95/182.00 c 182s|240000 | 67 | 3590k| 15.0 | 17M| 40 | 26 | 100 | 21k| 100 | 190 | 42 | 232k|3630 | 0.000000e+00 | -- | Inf
190.55/190.62 c 191s|250000 | 63 | 3750k| 15.0 | 17M| 40 | 38 | 100 | 21k| 100 | 190 | 42 | 242k|3646 | 0.000000e+00 | -- | Inf
198.55/198.63 c 199s|260000 | 64 | 3902k| 15.0 | 16M| 40 | 35 | 100 | 18k| 100 | 190 | 42 | 252k|3677 | 0.000000e+00 | -- | Inf
206.85/206.99 c 207s|270000 | 73 | 4072k| 15.1 | 17M| 40 | 34 | 100 | 20k| 100 | 190 | 42 | 263k|3700 | 0.000000e+00 | -- | Inf
215.56/215.62 c 216s|280000 | 70 | 4250k| 15.2 | 17M| 40 | - | 100 | 20k| 100 | 190 | 42 | 273k|3736 | 0.000000e+00 | -- | Inf
223.05/223.13 c 223s|290000 | 74 | 4399k| 15.2 | 17M| 40 | 33 | 100 | 19k| 100 | 190 | 42 | 283k|3760 | 0.000000e+00 | -- | Inf
231.55/231.62 c 232s|300000 | 75 | 4573k| 15.2 | 19M| 40 | - | 100 | 23k| 100 | 190 | 42 | 293k|3792 | 0.000000e+00 | -- | Inf
240.64/240.70 c 241s|310000 | 64 | 4747k| 15.3 | 18M| 40 | - | 100 | 21k| 100 | 190 | 42 | 304k|3848 | 0.000000e+00 | -- | Inf
249.24/249.38 c 249s|320000 | 65 | 4912k| 15.4 | 17M| 40 | - | 100 | 18k| 100 | 190 | 42 | 314k|3904 | 0.000000e+00 | -- | Inf
257.54/257.65 c 258s|330000 | 58 | 5075k| 15.4 | 18M| 40 | 40 | 100 | 20k| 100 | 190 | 42 | 324k|3912 | 0.000000e+00 | -- | Inf
266.24/266.38 c 266s|340000 | 62 | 5235k| 15.4 | 19M| 40 | - | 100 | 23k| 100 | 190 | 42 | 334k|3926 | 0.000000e+00 | -- | Inf
274.85/274.95 c 275s|350000 | 62 | 5386k| 15.4 | 21M| 40 | 37 | 100 | 28k| 100 | 190 | 42 | 344k|3985 | 0.000000e+00 | -- | Inf
283.44/283.51 c 284s|360000 | 61 | 5530k| 15.4 | 20M| 40 | 33 | 100 | 24k| 100 | 190 | 42 | 354k|4014 | 0.000000e+00 | -- | Inf
292.55/292.67 c 293s|370000 | 64 | 5697k| 15.4 | 20M| 40 | - | 100 | 24k| 100 | 190 | 42 | 364k|4027 | 0.000000e+00 | -- | Inf
301.04/301.15 c 301s|380000 | 66 | 5840k| 15.4 | 20M| 40 | 35 | 100 | 25k| 100 | 190 | 42 | 373k|4039 | 0.000000e+00 | -- | Inf
310.93/311.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
310.93/311.09 c 311s|390000 | 67 | 6012k| 15.4 | 19M| 40 | 33 | 100 | 22k| 100 | 190 | 42 | 384k|4074 | 0.000000e+00 | -- | Inf
319.13/319.25 c 319s|400000 | 69 | 6161k| 15.4 | 20M| 40 | 34 | 100 | 24k| 100 | 190 | 42 | 393k|4085 | 0.000000e+00 | -- | Inf
328.13/328.28 c 328s|410000 | 67 | 6315k| 15.4 | 21M| 40 | 35 | 100 | 26k| 100 | 190 | 42 | 402k|4102 | 0.000000e+00 | -- | Inf
337.73/337.89 c 338s|420000 | 69 | 6481k| 15.4 | 22M| 40 | 37 | 100 | 28k| 100 | 190 | 42 | 412k|4126 | 0.000000e+00 | -- | Inf
347.93/348.00 c 348s|430000 | 69 | 6645k| 15.5 | 22M| 40 | 39 | 100 | 28k| 100 | 190 | 42 | 422k|4159 | 0.000000e+00 | -- | Inf
357.83/357.94 c 358s|440000 | 65 | 6800k| 15.5 | 20M| 46 | - | 100 | 22k| 100 | 190 | 42 | 432k|4172 | 0.000000e+00 | -- | Inf
367.52/367.66 c 368s|450000 | 72 | 6992k| 15.5 | 21M| 46 | 27 | 100 | 25k| 100 | 190 | 42 | 442k|4192 | 0.000000e+00 | -- | Inf
376.13/376.22 c 376s|460000 | 69 | 7139k| 15.5 | 21M| 46 | 29 | 100 | 23k| 100 | 190 | 42 | 452k|4201 | 0.000000e+00 | -- | Inf
384.72/384.87 c 385s|470000 | 63 | 7286k| 15.5 | 21M| 46 | 32 | 100 | 23k| 100 | 190 | 42 | 461k|4208 | 0.000000e+00 | -- | Inf
393.72/393.82 c 394s|480000 | 64 | 7447k| 15.5 | 20M| 46 | 35 | 100 | 19k| 100 | 190 | 42 | 471k|4220 | 0.000000e+00 | -- | Inf
402.72/402.88 c 403s|490000 | 63 | 7606k| 15.5 | 21M| 46 | 42 | 100 | 23k| 100 | 190 | 42 | 481k|4234 | 0.000000e+00 | -- | Inf
412.52/412.62 c 413s|500000 | 66 | 7777k| 15.6 | 22M| 46 | - | 100 | 28k| 100 | 190 | 42 | 491k|4251 | 0.000000e+00 | -- | Inf
423.02/423.18 c 423s|510000 | 62 | 7951k| 15.6 | 24M| 46 | - | 100 | 32k| 100 | 190 | 42 | 502k|4278 | 0.000000e+00 | -- | Inf
433.51/433.66 c 434s|520000 | 55 | 8141k| 15.7 | 23M| 46 | - | 100 | 28k| 100 | 190 | 42 | 513k|4295 | 0.000000e+00 | -- | Inf
441.92/442.10 c 442s|530000 | 55 | 8300k| 15.7 | 20M| 46 | 31 | 100 | 19k| 100 | 190 | 42 | 523k|4309 | 0.000000e+00 | -- | Inf
449.61/449.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
449.61/449.70 c 450s|540000 | 54 | 8428k| 15.6 | 21M| 46 | - | 100 | 22k| 0 | 0 | 42 | 531k|4315 | 0.000000e+00 | -- | Inf
457.90/458.02 c 458s|550000 | 57 | 8564k| 15.6 | 22M| 46 | 33 | 100 | 25k| 100 | 190 | 42 | 541k|4322 | 0.000000e+00 | -- | Inf
467.11/467.24 c 467s|560000 | 56 | 8724k| 15.6 | 19M| 46 | - | 100 | 17k| 100 | 190 | 42 | 551k|4328 | 0.000000e+00 | -- | Inf
474.71/474.83 c 475s|570000 | 59 | 8866k| 15.6 | 20M| 46 | - | 100 | 20k| 100 | 190 | 42 | 560k|4335 | 0.000000e+00 | -- | Inf
483.00/483.12 c 483s|580000 | 56 | 9022k| 15.6 | 22M| 46 | - | 100 | 24k| 100 | 190 | 42 | 569k|4359 | 0.000000e+00 | -- | Inf
491.71/491.87 c 492s|590000 | 55 | 9169k| 15.5 | 23M| 46 | - | 100 | 27k| 100 | 190 | 42 | 579k|4364 | 0.000000e+00 | -- | Inf
500.60/500.79 c 501s|600000 | 58 | 9314k| 15.5 | 24M| 46 | 32 | 100 | 30k| 100 | 190 | 42 | 588k|4373 | 0.000000e+00 | -- | Inf
510.90/511.03 c 511s|610000 | 59 | 9450k| 15.5 | 25M| 46 | 43 | 100 | 33k| 100 | 190 | 42 | 597k|4380 | 0.000000e+00 | -- | Inf
520.40/520.52 c 521s|620000 | 60 | 9599k| 15.5 | 22M| 46 | 30 | 100 | 23k| 100 | 190 | 42 | 606k|4389 | 0.000000e+00 | -- | Inf
528.50/528.68 c 529s|630000 | 52 | 9724k| 15.4 | 22M| 46 | 35 | 100 | 24k| 100 | 190 | 42 | 613k|4400 | 0.000000e+00 | -- | Inf
537.00/537.19 c 537s|640000 | 47 | 9863k| 15.4 | 22M| 46 | - | 100 | 23k| 100 | 190 | 42 | 622k|4414 | 0.000000e+00 | -- | Inf
545.59/545.71 c 546s|650000 | 48 | 10004k| 15.4 | 22M| 46 | - | 100 | 22k| 100 | 190 | 42 | 632k|4418 | 0.000000e+00 | -- | Inf
554.80/554.91 c 555s|660000 | 48 | 10171k| 15.4 | 21M| 46 | - | 100 | 19k| 100 | 190 | 42 | 642k|4431 | 0.000000e+00 | -- | Inf
564.10/564.23 c 564s|670000 | 46 | 10344k| 15.4 | 20M| 46 | - | 100 | 18k| 100 | 190 | 42 | 653k|4431 | 0.000000e+00 | -- | Inf
571.09/571.24 c 571s|680000 | 57 | 10466k| 15.4 | 21M| 46 | - | 100 | 20k| 100 | 190 | 42 | 661k|4443 | 0.000000e+00 | -- | Inf
578.99/579.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
578.99/579.13 c 579s|690000 | 46 | 10589k| 15.3 | 22M| 46 | 34 | 100 | 23k| 100 | 190 | 42 | 669k|4450 | 0.000000e+00 | -- | Inf
587.79/587.93 c 588s|700000 | 45 | 10739k| 15.3 | 23M| 46 | - | 100 | 26k| 100 | 190 | 42 | 678k|4461 | 0.000000e+00 | -- | Inf
597.79/597.98 c 598s|710000 | 48 | 10899k| 15.4 | 22M| 46 | 32 | 100 | 21k| 100 | 190 | 42 | 688k|4469 | 0.000000e+00 | -- | Inf
607.28/607.42 c 607s|720000 | 44 | 11070k| 15.4 | 22M| 46 | - | 100 | 21k| 100 | 190 | 42 | 698k|4482 | 0.000000e+00 | -- | Inf
616.48/616.63 c 617s|730000 | 51 | 11241k| 15.4 | 22M| 46 | 35 | 100 | 21k| 100 | 190 | 42 | 708k|4493 | 0.000000e+00 | -- | Inf
625.88/626.05 c 626s|740000 | 43 | 11406k| 15.4 | 23M| 46 | 36 | 100 | 24k| 100 | 190 | 42 | 719k|4502 | 0.000000e+00 | -- | Inf
635.48/635.67 c 636s|750000 | 37 | 11572k| 15.4 | 23M| 46 | - | 100 | 24k| 100 | 190 | 42 | 729k|4505 | 0.000000e+00 | -- | Inf
644.19/644.39 c 644s|760000 | 45 | 11714k| 15.4 | 22M| 46 | 35 | 100 | 21k| 100 | 190 | 42 | 737k|4506 | 0.000000e+00 | -- | Inf
652.88/653.07 c 653s|770000 | 47 | 11871k| 15.4 | 21M| 46 | 31 | 100 | 17k| 100 | 190 | 42 | 747k|4506 | 0.000000e+00 | -- | Inf
661.28/661.47 c 661s|780000 | 39 | 12029k| 15.4 | 22M| 46 | - | 100 | 20k| 100 | 190 | 42 | 757k|4506 | 0.000000e+00 | -- | Inf
670.88/671.03 c 671s|790000 | 47 | 12207k| 15.5 | 21M| 46 | - | 100 | 18k| 0 | 0 | 42 | 767k|4506 | 0.000000e+00 | -- | Inf
679.68/679.83 c 680s|800000 | 43 | 12369k| 15.5 | 21M| 46 | 30 | 100 | 17k| 100 | 190 | 42 | 777k|4510 | 0.000000e+00 | -- | Inf
687.88/688.01 c 688s|810000 | 43 | 12516k| 15.5 | 22M| 46 | 31 | 100 | 19k| 100 | 190 | 42 | 786k|4514 | 0.000000e+00 | -- | Inf
696.58/696.73 c 697s|820000 | 41 | 12677k| 15.5 | 23M| 46 | 40 | 100 | 23k| 100 | 190 | 42 | 795k|4517 | 0.000000e+00 | -- | Inf
706.77/706.97 c 707s|830000 | 39 | 12863k| 15.5 | 24M| 46 | 38 | 100 | 25k| 100 | 190 | 42 | 805k|4525 | 0.000000e+00 | -- | Inf
716.77/716.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
716.77/716.91 c 717s|840000 | 38 | 13031k| 15.5 | 23M| 46 | 36 | 100 | 21k| 100 | 190 | 42 | 815k|4539 | 0.000000e+00 | -- | Inf
725.07/725.28 c 725s|850000 | 41 | 13184k| 15.5 | 22M| 46 | 27 | 100 | 19k| 100 | 190 | 42 | 824k|4552 | 0.000000e+00 | -- | Inf
733.07/733.20 c 733s|860000 | 37 | 13313k| 15.5 | 24M| 46 | - | 100 | 24k| 100 | 190 | 42 | 833k|4563 | 0.000000e+00 | -- | Inf
742.06/742.20 c 742s|870000 | 33 | 13461k| 15.5 | 21M| 46 | - | 100 | 15k| 100 | 190 | 42 | 843k|4567 | 0.000000e+00 | -- | Inf
749.77/749.97 c 750s|880000 | 35 | 13590k| 15.4 | 23M| 46 | - | 100 | 21k| 100 | 190 | 42 | 851k|4575 | 0.000000e+00 | -- | Inf
757.96/758.13 c 758s|890000 | 40 | 13725k| 15.4 | 22M| 46 | 30 | 100 | 19k| 100 | 190 | 42 | 860k|4580 | 0.000000e+00 | -- | Inf
765.76/765.93 c 766s|900000 | 37 | 13850k| 15.4 | 24M| 46 | 33 | 100 | 23k| 100 | 190 | 42 | 867k|4585 | 0.000000e+00 | -- | Inf
774.96/775.19 c 775s|910000 | 33 | 13996k| 15.4 | 25M| 46 | - | 100 | 28k| 100 | 190 | 42 | 877k|4590 | 0.000000e+00 | -- | Inf
785.36/785.59 c 786s|920000 | 34 | 14153k| 15.4 | 27M| 46 | - | 100 | 31k| 100 | 190 | 42 | 886k|4603 | 0.000000e+00 | -- | Inf
795.46/795.61 c 796s|930000 | 35 | 14327k| 15.4 | 24M| 46 | 33 | 100 | 23k| 100 | 190 | 42 | 896k|4614 | 0.000000e+00 | -- | Inf
804.85/805.09 c 805s|940000 | 31 | 14503k| 15.4 | 25M| 46 | - | 100 | 25k| 100 | 190 | 42 | 906k|4621 | 0.000000e+00 | -- | Inf
814.76/814.99 c 815s|950000 | 27 | 14675k| 15.4 | 23M| 46 | - | 100 | 20k| 100 | 190 | 42 | 916k|4628 | 0.000000e+00 | -- | Inf
824.45/824.68 c 825s|960000 | 32 | 14852k| 15.5 | 24M| 46 | 24 | 100 | 21k| 100 | 190 | 42 | 927k|4638 | 0.000000e+00 | -- | Inf
833.45/833.66 c 834s|970000 | 26 | 15010k| 15.5 | 23M| 46 | 37 | 100 | 19k| 100 | 190 | 42 | 936k|4646 | 0.000000e+00 | -- | Inf
842.15/842.35 c 842s|980000 | 29 | 15158k| 15.5 | 24M| 46 | 37 | 100 | 21k| 100 | 190 | 42 | 946k|4655 | 0.000000e+00 | -- | Inf
852.36/852.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
852.36/852.54 c 853s|990000 | 26 | 15327k| 15.5 | 24M| 46 | - | 100 | 23k| 100 | 190 | 42 | 956k|4659 | 0.000000e+00 | -- | Inf
861.35/861.53 c 862s| 1000k| 24 | 15477k| 15.5 | 24M| 46 | 33 | 100 | 23k| 100 | 190 | 42 | 965k|4662 | 0.000000e+00 | -- | Inf
870.55/870.70 c 871s| 1010k| 30 | 15616k| 15.5 | 24M| 46 | 36 | 100 | 23k| 100 | 190 | 42 | 973k|4666 | 0.000000e+00 | -- | Inf
879.75/879.96 c 880s| 1020k| 27 | 15763k| 15.5 | 25M| 46 | - | 100 | 26k| 100 | 190 | 42 | 982k|4668 | 0.000000e+00 | -- | Inf
890.04/890.27 c 890s| 1030k| 32 | 15915k| 15.5 | 27M| 46 | 41 | 100 | 30k| 100 | 190 | 42 | 992k|4668 | 0.000000e+00 | -- | Inf
901.24/901.49 c 901s| 1040k| 29 | 16063k| 15.4 | 27M| 46 | 35 | 100 | 32k| 100 | 190 | 42 |1001k|4669 | 0.000000e+00 | -- | Inf
911.04/911.20 c 911s| 1050k| 32 | 16205k| 15.4 | 27M| 46 | - | 100 | 30k| 100 | 190 | 42 |1010k|4671 | 0.000000e+00 | -- | Inf
921.74/921.99 c 922s| 1060k| 32 | 16346k| 15.4 | 28M| 46 | 31 | 100 | 34k| 100 | 190 | 42 |1020k|4674 | 0.000000e+00 | -- | Inf
933.94/934.19 c 934s| 1070k| 33 | 16513k| 15.4 | 29M| 46 | - | 100 | 36k| 100 | 190 | 42 |1030k|4674 | 0.000000e+00 | -- | Inf
945.53/945.73 c 946s| 1080k| 35 | 16658k| 15.4 | 30M| 46 | 23 | 100 | 38k| 100 | 190 | 42 |1039k|4674 | 0.000000e+00 | -- | Inf
957.84/958.02 c 958s| 1090k| 29 | 16811k| 15.4 | 29M| 46 | 34 | 100 | 36k| 100 | 190 | 42 |1049k|4674 | 0.000000e+00 | -- | Inf
969.03/969.23 c 969s| 1100k| 33 | 16955k| 15.4 | 30M| 46 | 32 | 100 | 39k| 100 | 190 | 42 |1059k|4674 | 0.000000e+00 | -- | Inf
981.13/981.37 c 981s| 1110k| 32 | 17099k| 15.4 | 30M| 46 | - | 100 | 38k| 100 | 190 | 42 |1068k|4674 | 0.000000e+00 | -- | Inf
993.83/994.05 c 994s| 1120k| 42 | 17267k| 15.4 | 29M| 46 | 31 | 100 | 34k| 100 | 190 | 42 |1079k|4674 | 0.000000e+00 | -- | Inf
1006.12/1006.40 c 1006s| 1130k| 34 | 17433k| 15.4 | 30M| 46 | 37 | 100 | 38k| 100 | 190 | 42 |1089k|4674 | 0.000000e+00 | -- | Inf
1018.23/1018.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1018.23/1018.45 c 1018s| 1140k| 37 | 17576k| 15.4 | 32M| 46 | - | 100 | 42k| 100 | 190 | 42 |1098k|4674 | 0.000000e+00 | -- | Inf
1031.12/1031.38 c 1031s| 1150k| 35 | 17726k| 15.4 | 33M| 46 | 34 | 100 | 46k| 100 | 190 | 42 |1108k|4674 | 0.000000e+00 | -- | Inf
1044.92/1045.14 c 1045s| 1160k| 37 | 17872k| 15.4 | 34M| 46 | 35 | 100 | 48k| 100 | 190 | 42 |1117k|4674 | 0.000000e+00 | -- | Inf
1056.02/1056.23 c 1056s| 1170k| 37 | 17990k| 15.4 | 30M| 46 | - | 100 | 36k| 100 | 190 | 42 |1125k|4674 | 0.000000e+00 | -- | Inf
1067.61/1067.85 c 1068s| 1180k| 39 | 18122k| 15.4 | 31M| 46 | - | 100 | 39k| 100 | 190 | 42 |1134k|4674 | 0.000000e+00 | -- | Inf
1079.71/1079.99 c 1080s| 1190k| 34 | 18260k| 15.3 | 33M| 46 | 31 | 100 | 43k| 100 | 190 | 42 |1143k|4674 | 0.000000e+00 | -- | Inf
1093.01/1093.27 c 1093s| 1200k| 35 | 18399k| 15.3 | 33M| 46 | 31 | 100 | 45k| 100 | 190 | 42 |1152k|4674 | 0.000000e+00 | -- | Inf
1107.01/1107.20 c 1107s| 1210k| 39 | 18564k| 15.3 | 33M| 46 | 26 | 100 | 43k| 100 | 190 | 42 |1162k|4674 | 0.000000e+00 | -- | Inf
1119.51/1119.80 c 1120s| 1220k| 36 | 18707k| 15.3 | 34M| 46 | - | 100 | 46k| 100 | 190 | 42 |1171k|4674 | 0.000000e+00 | -- | Inf
1135.01/1135.20 c 1135s| 1230k| 34 | 18885k| 15.4 | 35M| 46 | 35 | 100 | 49k| 100 | 190 | 42 |1181k|4674 | 0.000000e+00 | -- | Inf
1149.21/1149.48 c 1149s| 1240k| 28 | 19079k| 15.4 | 32M| 46 | 34 | 100 | 39k| 100 | 190 | 42 |1191k|4674 | 0.000000e+00 | -- | Inf
1163.00/1163.26 c 1163s| 1250k| 34 | 19241k| 15.4 | 33M| 46 | - | 100 | 42k| 100 | 190 | 42 |1202k|4674 | 0.000000e+00 | -- | Inf
1176.90/1177.10 c 1177s| 1260k| 29 | 19398k| 15.4 | 34M| 46 | - | 100 | 45k| 100 | 190 | 42 |1211k|4674 | 0.000000e+00 | -- | Inf
1191.39/1191.66 c 1192s| 1270k| 44 | 19585k| 15.4 | 36M| 46 | 40 | 100 | 49k| 100 | 190 | 42 |1222k|4674 | 0.000000e+00 | -- | Inf
1206.69/1206.95 c 1207s| 1280k| 26 | 19773k| 15.4 | 33M| 46 | - | 100 | 39k| 100 | 190 | 42 |1232k|4674 | 0.000000e+00 | -- | Inf
1220.99/1221.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1220.99/1221.25 c 1221s| 1290k| 26 | 19943k| 15.5 | 34M| 46 | - | 100 | 44k| 0 | 0 | 42 |1243k|4674 | 0.000000e+00 | -- | Inf
1232.79/1233.09 c 1233s| 1300k| 30 | 20100k| 15.5 | 30M| 46 | 30 | 100 | 30k| 100 | 190 | 42 |1253k|4674 | 0.000000e+00 | -- | Inf
1244.29/1244.55 c 1245s| 1310k| 46 | 20250k| 15.5 | 31M| 46 | 37 | 100 | 34k| 100 | 190 | 42 |1263k|4674 | 0.000000e+00 | -- | Inf
1257.18/1257.47 c 1257s| 1320k| 31 | 20424k| 15.5 | 32M| 46 | 36 | 100 | 36k| 100 | 190 | 42 |1274k|4674 | 0.000000e+00 | -- | Inf
1270.29/1270.53 c 1271s| 1330k| 33 | 20612k| 15.5 | 32M| 46 | - | 100 | 36k| 100 | 190 | 42 |1284k|4674 | 0.000000e+00 | -- | Inf
1282.48/1282.77 c 1283s| 1340k| 33 | 20771k| 15.5 | 31M| 46 | 37 | 100 | 34k| 100 | 190 | 42 |1294k|4674 | 0.000000e+00 | -- | Inf
1294.28/1294.50 c 1294s| 1350k| 31 | 20924k| 15.5 | 33M| 46 | 37 | 100 | 39k| 100 | 190 | 42 |1304k|4674 | 0.000000e+00 | -- | Inf
1305.78/1306.01 c 1306s| 1360k| 35 | 21053k| 15.5 | 34M| 46 | - | 100 | 42k| 100 | 190 | 42 |1313k|4674 | 0.000000e+00 | -- | Inf
1319.47/1319.71 c 1320s| 1370k| 34 | 21204k| 15.5 | 36M| 46 | 37 | 100 | 47k| 100 | 190 | 42 |1323k|4674 | 0.000000e+00 | -- | Inf
1335.07/1335.35 c 1335s| 1380k| 38 | 21388k| 15.5 | 37M| 46 | 42 | 100 | 50k| 100 | 190 | 42 |1334k|4674 | 0.000000e+00 | -- | Inf
1351.47/1351.77 c 1352s| 1390k| 41 | 21564k| 15.5 | 38M| 46 | 34 | 100 | 54k| 100 | 190 | 42 |1345k|4674 | 0.000000e+00 | -- | Inf
1368.57/1368.87 c 1369s| 1400k| 39 | 21749k| 15.5 | 40M| 46 | 35 | 100 | 57k| 100 | 190 | 42 |1356k|4674 | 0.000000e+00 | -- | Inf
1386.66/1386.98 c 1387s| 1410k| 43 | 21921k| 15.5 | 40M| 46 | - | 100 | 58k| 100 | 190 | 42 |1366k|4674 | 0.000000e+00 | -- | Inf
1402.96/1403.25 c 1403s| 1420k| 44 | 22079k| 15.5 | 40M| 46 | - | 100 | 58k| 100 | 190 | 42 |1377k|4674 | 0.000000e+00 | -- | Inf
1419.46/1419.77 c 1420s| 1430k| 54 | 22240k| 15.6 | 42M| 46 | 39 | 100 | 62k| 100 | 190 | 42 |1386k|4674 | 0.000000e+00 | -- | Inf
1436.45/1436.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1436.45/1436.71 c 1437s| 1440k| 51 | 22388k| 15.5 | 43M| 46 | - | 100 | 64k| 100 | 190 | 42 |1395k|4674 | 0.000000e+00 | -- | Inf
1453.16/1453.48 c 1453s| 1450k| 47 | 22540k| 15.5 | 43M| 46 | 34 | 100 | 65k| 100 | 190 | 42 |1405k|4674 | 0.000000e+00 | -- | Inf
1470.95/1471.29 c 1471s| 1460k| 49 | 22699k| 15.5 | 44M| 46 | 31 | 100 | 66k| 100 | 190 | 42 |1414k|4674 | 0.000000e+00 | -- | Inf
1486.74/1487.05 c 1487s| 1470k| 49 | 22846k| 15.5 | 41M| 48 | - | 100 | 58k| 100 | 190 | 42 |1423k|4674 | 0.000000e+00 | -- | Inf
1502.95/1503.22 c 1503s| 1480k| 46 | 23001k| 15.5 | 42M| 48 | - | 100 | 60k| 100 | 190 | 42 |1432k|4674 | 0.000000e+00 | -- | Inf
1519.15/1519.44 c 1519s| 1490k| 43 | 23157k| 15.5 | 41M| 48 | - | 100 | 58k| 100 | 190 | 42 |1441k|4674 | 0.000000e+00 | -- | Inf
1534.74/1535.08 c 1535s| 1500k| 50 | 23309k| 15.5 | 41M| 48 | 39 | 100 | 57k| 100 | 190 | 42 |1450k|4674 | 0.000000e+00 | -- | Inf
1549.83/1550.15 c 1550s| 1510k| 43 | 23469k| 15.5 | 40M| 48 | 39 | 100 | 54k| 100 | 190 | 42 |1460k|4674 | 0.000000e+00 | -- | Inf
1564.63/1564.95 c 1565s| 1520k| 48 | 23618k| 15.5 | 38M| 48 | - | 100 | 50k| 100 | 190 | 42 |1469k|4674 | 0.000000e+00 | -- | Inf
1578.93/1579.29 c 1579s| 1530k| 39 | 23765k| 15.5 | 38M| 48 | - | 100 | 49k| 100 | 190 | 42 |1478k|4674 | 0.000000e+00 | -- | Inf
1593.64/1593.92 c 1594s| 1540k| 44 | 23916k| 15.5 | 39M| 48 | - | 100 | 52k| 100 | 190 | 42 |1488k|4674 | 0.000000e+00 | -- | Inf
1609.13/1609.48 c 1609s| 1550k| 43 | 24070k| 15.5 | 40M| 48 | - | 100 | 55k| 0 | 0 | 42 |1498k|4674 | 0.000000e+00 | -- | Inf
1625.93/1626.20 c 1626s| 1560k| 41 | 24226k| 15.5 | 41M| 48 | 33 | 100 | 56k| 100 | 190 | 42 |1507k|4674 | 0.000000e+00 | -- | Inf
1641.73/1642.09 c 1642s| 1570k| 38 | 24380k| 15.5 | 40M| 48 | 37 | 100 | 54k| 100 | 190 | 42 |1517k|4674 | 0.000000e+00 | -- | Inf
1657.82/1658.14 c 1658s| 1580k| 37 | 24540k| 15.5 | 39M| 48 | 35 | 100 | 52k| 100 | 190 | 42 |1527k|4674 | 0.000000e+00 | -- | Inf
1673.52/1673.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1673.52/1673.86 c 1674s| 1590k| 33 | 24694k| 15.5 | 40M| 48 | 36 | 100 | 55k| 100 | 190 | 42 |1537k|4674 | 0.000000e+00 | -- | Inf
1688.52/1688.83 c 1689s| 1600k| 35 | 24851k| 15.5 | 40M| 48 | - | 100 | 53k| 100 | 190 | 42 |1547k|4674 | 0.000000e+00 | -- | Inf
1704.62/1704.96 c 1705s| 1610k| 35 | 25011k| 15.5 | 41M| 48 | - | 100 | 58k| 100 | 190 | 42 |1557k|4674 | 0.000000e+00 | -- | Inf
1722.51/1722.83 c 1723s| 1620k| 38 | 25184k| 15.5 | 41M| 48 | 31 | 100 | 57k| 100 | 190 | 42 |1567k|4674 | 0.000000e+00 | -- | Inf
1736.71/1737.00 c 1737s| 1630k| 50 | 25314k| 15.5 | 43M| 48 | - | 100 | 60k| 100 | 190 | 42 |1576k|4674 | 0.000000e+00 | -- | Inf
1751.41/1751.73 c 1752s| 1640k| 42 | 25436k| 15.5 | 43M| 48 | 31 | 100 | 62k| 100 | 190 | 42 |1584k|4674 | 0.000000e+00 | -- | Inf
1768.21/1768.56 c 1769s| 1650k| 43 | 25574k| 15.5 | 44M| 48 | - | 100 | 65k| 0 | 0 | 42 |1593k|4674 | 0.000000e+00 | -- | Inf
1785.01/1785.39 c 1785s| 1660k| 40 | 25718k| 15.5 | 45M| 48 | - | 100 | 66k| 100 | 190 | 42 |1602k|4674 | 0.000000e+00 | -- | Inf
1796.70/1797.00 c
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Solving Time (sec) : 1797.00
1796.70/1797.00 c Solving Nodes : 1667340
1796.70/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.70/1797.00 c Dual Bound : +0.00000000000000e+00
1796.70/1797.00 c Gap : infinite
1796.70/1797.00 s UNKNOWN
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Total Time : 1797.00
1796.70/1797.00 c solving : 1797.00
1796.70/1797.00 c presolving : 0.03 (included in solving)
1796.70/1797.00 c reading : 0.01 (included in solving)
1796.70/1797.00 c Original Problem :
1796.70/1797.00 c Problem name : HOME/instance-3738058-1338731762.opb
1796.70/1797.00 c Variables : 718 (718 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 870 initial, 870 maximal
1796.70/1797.00 c Presolved Problem :
1796.70/1797.00 c Problem name : t_HOME/instance-3738058-1338731762.opb
1796.70/1797.00 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 152 initial, 69991 maximal
1796.70/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c dualfix : 0.00 618 0 0 0 0 0 0 0 0
1796.70/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c linear : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c pseudoboolean : 0.00 0 0 0 0 0 818 100 0 0
1796.70/1797.00 c root node : - 0 - - 0 - - - - -
1796.70/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c integral : 0 0 0 838315 0 1 0 190 1406 0 0 1674104
1796.70/1797.00 c knapsack : 101 5 6217711 0 0 0 8607177 13945 5365184 118 0 0
1796.70/1797.00 c setppc : 50 5 6201125 0 0 0 3211238 780 540680 0 0 0
1796.70/1797.00 c linear : 1+ 6 6202986 0 0 0 569 4012 3765 0 0 0
1796.70/1797.00 c logicor : 0+ 0 2068987 0 0 0 5735121 22508 1416645 0 0 0
1796.70/1797.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.70/1797.00 c integral : 15.45 0.00 0.00 15.45 0.00 0.00 0.00
1796.70/1797.00 c knapsack : 64.63 0.00 61.39 0.00 0.00 0.00 3.24
1796.70/1797.00 c setppc : 7.37 0.00 6.75 0.00 0.00 0.00 0.61
1796.70/1797.00 c linear : 3.35 0.00 3.35 0.00 0.00 0.00 0.00
1796.70/1797.00 c logicor : 364.58 0.00 359.39 0.00 0.00 0.00 5.20
1796.70/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.70/1797.00 c vbounds : 0 0 0 0
1796.70/1797.00 c rootredcost : 0 0 0 0
1796.70/1797.00 c pseudoobj : 0 0 0 0
1796.70/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1796.70/1797.00 c vbounds : 0.70 0.70 0.00
1796.70/1797.00 c rootredcost : 0.79 0.79 0.00
1796.70/1797.00 c pseudoobj : 0.50 0.50 0.00
1796.70/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.00 c propagation : 1.50 41245 41005 294023 26.0 352 21.8 -
1796.70/1797.00 c infeasible LP : 45.33 793674 792763 6242550 24.9 3361 20.3 0
1796.70/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.00 c applied globally : - - - 1608325 19.9 - - -
1796.70/1797.00 c applied locally : - - - 269 34.2 - - -
1796.70/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.70/1797.00 c cut pool : 0.00 4 - - 45 - (maximal pool size: 447)
1796.70/1797.00 c redcost : 1.66 837308 0 0 0 0
1796.70/1797.00 c impliedbounds : 0.00 5 0 0 0 0
1796.70/1797.00 c intobj : 0.00 0 0 0 0 0
1796.70/1797.00 c gomory : 0.03 5 0 0 0 0
1796.70/1797.00 c cgmip : 0.00 0 0 0 0 0
1796.70/1797.00 c closecuts : 0.00 0 0 0 0 0
1796.70/1797.00 c strongcg : 0.03 5 0 0 447 0
1796.70/1797.00 c cmir : 0.00 0 0 0 0 0
1796.70/1797.00 c flowcover : 0.00 0 0 0 0 0
1796.70/1797.00 c clique : 0.00 1 0 0 0 0
1796.70/1797.00 c zerohalf : 0.00 0 0 0 0 0
1796.70/1797.00 c mcf : 0.00 1 0 0 0 0
1796.70/1797.00 c oddcycle : 0.00 0 0 0 0 0
1796.70/1797.00 c rapidlearning : 0.02 1 0 0 0 6
1796.70/1797.00 c Pricers : Time Calls Vars
1796.70/1797.00 c problem variables: 0.00 0 0
1796.70/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c relpscost : 14.98 838315 190 1406 0 0 1674104
1796.70/1797.00 c pscost : 0.00 0 0 0 0 0 0
1796.70/1797.00 c inference : 0.00 0 0 0 0 0 0
1796.70/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1796.70/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1796.70/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1796.70/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1796.70/1797.00 c random : 0.00 0 0 0 0 0 0
1796.70/1797.00 c Primal Heuristics : Time Calls Found
1796.70/1797.00 c LP solutions : 0.00 - 0
1796.70/1797.00 c pseudo solutions : 0.00 - 0
1796.70/1797.00 c trivial : 0.00 1 0
1796.70/1797.00 c shiftandpropagate: 0.00 0 0
1796.70/1797.00 c simplerounding : 0.00 0 0
1796.70/1797.00 c zirounding : 0.00 0 0
1796.70/1797.00 c rounding : 0.00 0 0
1796.70/1797.00 c shifting : 0.00 0 0
1796.70/1797.00 c intshifting : 0.00 0 0
1796.70/1797.00 c oneopt : 0.00 0 0
1796.70/1797.00 c twoopt : 0.00 0 0
1796.70/1797.00 c fixandinfer : 0.00 0 0
1796.70/1797.00 c feaspump : 0.00 0 0
1796.70/1797.00 c clique : 0.00 0 0
1796.70/1797.00 c coefdiving : 0.00 0 0
1796.70/1797.00 c pscostdiving : 0.00 0 0
1796.70/1797.00 c fracdiving : 0.00 0 0
1796.70/1797.00 c veclendiving : 0.00 0 0
1796.70/1797.00 c intdiving : 0.00 0 0
1796.70/1797.00 c actconsdiving : 0.00 0 0
1796.70/1797.00 c objpscostdiving : 0.00 0 0
1796.70/1797.00 c rootsoldiving : 0.00 0 0
1796.70/1797.00 c linesearchdiving : 0.00 0 0
1796.70/1797.00 c guideddiving : 0.00 0 0
1796.70/1797.00 c octane : 0.00 0 0
1796.70/1797.00 c rens : 0.00 0 0
1796.70/1797.00 c rins : 0.00 0 0
1796.70/1797.00 c localbranching : 0.00 0 0
1796.70/1797.00 c mutation : 0.00 0 0
1796.70/1797.00 c crossover : 0.00 0 0
1796.70/1797.00 c dins : 0.00 0 0
1796.70/1797.00 c vbounds : 0.00 0 0
1796.70/1797.00 c undercover : 0.00 0 0
1796.70/1797.00 c subnlp : 0.00 0 0
1796.70/1797.00 c trysol : 0.00 0 0
1796.70/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1796.70/1797.00 c primal LP : 0.00 0 0 0.00 -
1796.70/1797.00 c dual LP : 835.93 1631311 25815237 15.82 30882.09
1796.70/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.00 c barrier LP : 0.00 0 0 0.00 -
1796.70/1797.00 c diving/probing LP: 0.00 0 0 0.00 -
1796.70/1797.00 c strong branching : 4.97 4674 141535 30.28 28486.76
1796.70/1797.00 c (at root node) : - 10 627 62.70 -
1796.70/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.00 c B&B Tree :
1796.70/1797.00 c number of runs : 1
1796.70/1797.00 c nodes : 1667340
1796.70/1797.00 c nodes (total) : 1667340
1796.70/1797.00 c nodes left : 45
1796.70/1797.00 c max depth : 48
1796.70/1797.00 c max depth (total): 48
1796.70/1797.00 c backtracks : 254577 (15.3%)
1796.70/1797.00 c delayed cutoffs : 6720
1796.70/1797.00 c repropagations : 2719386 (1404378 domain reductions, 4821 cutoffs)
1796.70/1797.00 c avg switch length: 4.61
1796.70/1797.00 c switching time : 314.54
1796.70/1797.00 c Solution :
1796.70/1797.00 c Solutions found : 0 (0 improvements)
1796.70/1797.00 c Primal Bound : -
1796.70/1797.00 c Dual Bound : +0.00000000000000e+00
1796.70/1797.00 c Gap : infinite
1796.70/1797.00 c Root Dual Bound : +0.00000000000000e+00
1796.70/1797.00 c Root Iterations : 160
1796.70/1797.09 c Time complete: 1796.8.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3738058-1338731762/watcher-3738058-1338731762 -o /tmp/evaluation-result-3738058-1338731762/solver-3738058-1338731762 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3738058-1338731762.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.00 2.00 2.00 3/176 30638
/proc/meminfo: memFree=27530424/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=9588 CPUtime=0 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 1544 0 0 0 0 0 0 0 20 0 1 0 339302334 9818112 1499 33554432000 4194304 9016284 140736541197296 140735128024440 8082752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 2398 1502 326 1178 0 1216 0
[startup+0.0249659 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30638
/proc/meminfo: memFree=27530424/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=19984 CPUtime=0.01 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 4005 0 0 0 1 0 0 0 20 0 1 0 339302334 20463616 3703 33554432000 4194304 9016284 140736541197296 140735128024440 18446744073699066188 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 4996 3703 479 1178 0 3814 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 19984
[startup+0.100242 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30638
/proc/meminfo: memFree=27530424/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=30496 CPUtime=0.09 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 7263 0 0 0 8 1 0 0 20 0 1 0 339302334 31227904 6255 33554432000 4194304 9016284 140736541197296 140735128024440 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 7624 6255 686 1178 0 6442 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30496
[startup+0.300164 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30638
/proc/meminfo: memFree=27530424/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=30524 CPUtime=0.29 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 7292 0 0 0 27 2 0 0 20 0 1 0 339302334 31256576 6284 33554432000 4194304 9016284 140736541197296 140735128024440 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 7631 6284 691 1178 0 6449 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30524
[startup+0.700179 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30638
/proc/meminfo: memFree=27530424/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=30524 CPUtime=0.69 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 7294 0 0 0 66 3 0 0 20 0 1 0 339302334 31256576 6286 33554432000 4194304 9016284 140736541197296 140736541191464 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 7631 6286 693 1178 0 6449 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30524
[startup+1.50017 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30639
/proc/meminfo: memFree=27508096/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=30524 CPUtime=1.49 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 7294 0 0 0 144 5 0 0 20 0 1 0 339302334 31256576 6286 33554432000 4194304 9016284 140736541197296 140736541191160 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 7631 6286 693 1178 0 6449 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30524
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30639
/proc/meminfo: memFree=27507724/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=30524 CPUtime=3.09 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 7294 0 0 0 300 9 0 0 20 0 1 0 339302334 31256576 6286 33554432000 4194304 9016284 140736541197296 140736541191160 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 7631 6286 693 1178 0 6449 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30524
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30639
/proc/meminfo: memFree=27506360/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=30524 CPUtime=6.29 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 7367 0 0 0 612 17 0 0 20 0 1 0 339302334 31256576 6359 33554432000 4194304 9016284 140736541197296 140736541191208 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 7631 6359 693 1178 0 6449 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30524
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30639
/proc/meminfo: memFree=27504680/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=30524 CPUtime=12.69 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 7375 0 0 0 1234 35 0 0 20 0 1 0 339302334 31256576 6699 33554432000 4194304 9016284 140736541197296 140736541191624 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 7631 6699 693 1178 0 6449 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30524
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30639
/proc/meminfo: memFree=27502888/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=32852 CPUtime=25.48 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 7888 0 0 0 2480 68 0 0 20 0 1 0 339302334 33640448 7211 33554432000 4194304 9016284 140736541197296 140736541190664 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 8213 7211 693 1178 0 7031 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32852
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30639
/proc/meminfo: memFree=27497616/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=38500 CPUtime=51.08 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 9094 0 0 0 4980 128 0 0 20 0 1 0 339302334 39424000 8417 33554432000 4194304 9016284 140736541197296 140736541191256 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 9625 8417 693 1178 0 8443 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 38500
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30639
/proc/meminfo: memFree=27490784/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=44996 CPUtime=102.27 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 10546 0 0 0 9989 238 0 0 20 0 1 0 339302334 46075904 10059 33554432000 4194304 9016284 140736541197296 140736541191624 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 11249 10059 693 1178 0 10067 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 44996
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30639
/proc/meminfo: memFree=27487308/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=47932 CPUtime=162.25 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 10993 0 0 0 15860 365 0 0 20 0 1 0 339302334 49082368 10719 33554432000 4194304 9016284 140736541197296 140736541191160 7189230 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 11983 10719 693 1178 0 10801 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 47932
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30640
/proc/meminfo: memFree=27479612/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=52056 CPUtime=222.25 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 11467 0 0 0 21737 488 0 0 20 0 1 0 339302334 53305344 11282 33554432000 4194304 9016284 140736541197296 140736541191160 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 13014 11282 693 1178 0 11832 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 52056
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30643
/proc/meminfo: memFree=27476872/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=53428 CPUtime=282.24 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 11689 0 0 0 27619 605 0 0 20 0 1 0 339302334 54710272 11974 33554432000 4194304 9016284 140736541197296 140736541191464 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 13357 11974 693 1178 0 12175 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 53428
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30665
/proc/meminfo: memFree=27473396/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=55440 CPUtime=342.23 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 12009 0 0 0 33511 712 0 0 20 0 1 0 339302334 56770560 12693 33554432000 4194304 9016284 140736541197296 140736541191160 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 13860 12693 693 1178 0 12678 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 55440
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 30665
/proc/meminfo: memFree=27472164/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=57840 CPUtime=402.22 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 12249 0 0 0 39395 827 0 0 20 0 1 0 339302334 59228160 12933 33554432000 4194304 9016284 140736541197296 140736541191160 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 14460 12933 693 1178 0 13278 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 57840
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 30665
/proc/meminfo: memFree=27467136/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=60252 CPUtime=462.21 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 12990 0 0 0 45279 942 0 0 20 0 1 0 339302334 61698048 14247 33554432000 4194304 9016284 140736541197296 140736541191624 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 15063 14247 815 1178 0 13881 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 60252
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30666
/proc/meminfo: memFree=27464104/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=61652 CPUtime=522.2 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 13259 0 0 0 51167 1053 0 0 20 0 1 0 339302334 63131648 14516 33554432000 4194304 9016284 140736541197296 140736541191624 4349796 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 15413 14516 815 1178 0 14231 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 61652
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30666
/proc/meminfo: memFree=27462668/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=61868 CPUtime=582.19 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 13326 0 0 0 57055 1164 0 0 20 0 1 0 339302334 63352832 14583 33554432000 4194304 9016284 140736541197296 140736541191624 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 15467 14583 815 1178 0 14285 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 61868
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27384728/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=74884 CPUtime=1122.1 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 15236 0 0 0 110174 2036 0 0 20 0 1 0 339302334 76681216 17452 33554432000 4194304 9016284 140736541197296 140736541191208 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 18721 17452 815 1178 0 17539 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 74884
[startup+1182.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 30709
/proc/meminfo: memFree=27386768/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=74884 CPUtime=1182.1 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 15282 0 0 0 116092 2118 0 0 20 0 1 0 339302334 76681216 17498 33554432000 4194304 9016284 140736541197296 140736541191624 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 18721 17498 815 1178 0 17539 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 74884
[startup+1242.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/177 30709
/proc/meminfo: memFree=27385280/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=77572 CPUtime=1242.09 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 15634 0 0 0 122009 2200 0 0 20 0 1 0 339302334 79433728 17850 33554432000 4194304 9016284 140736541197296 140736541191256 5325537 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 19393 17850 815 1178 0 18211 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 77572
[startup+1302.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 30709
/proc/meminfo: memFree=27380500/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=79104 CPUtime=1302.08 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 15753 0 0 0 127922 2286 0 0 20 0 1 0 339302334 81002496 18891 33554432000 4194304 9016284 140736541197296 140736541190664 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 19776 18891 815 1178 0 18594 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 79104
[startup+1362.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 30709
/proc/meminfo: memFree=27377276/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=82080 CPUtime=1362.07 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 16532 0 0 0 133853 2354 0 0 20 0 1 0 339302334 84049920 19670 33554432000 4194304 9016284 140736541197296 140736541191624 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 20520 19670 815 1178 0 19338 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 82080
[startup+1422.31 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 30709
/proc/meminfo: memFree=27375288/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=84508 CPUtime=1422.07 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 17092 0 0 0 139784 2423 0 0 20 0 1 0 339302334 86536192 20238 33554432000 4194304 9016284 140736541197296 140736541191624 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 21127 20238 815 1178 0 19945 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 84508
[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/178 30713
/proc/meminfo: memFree=27371684/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=89196 CPUtime=1482.05 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 17994 0 0 0 145722 2483 0 0 20 0 1 0 339302334 91336704 21140 33554432000 4194304 9016284 140736541197296 140736541191624 4347730 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 22299 21140 815 1178 0 21117 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 89196
[startup+1542.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/177 30713
/proc/meminfo: memFree=27371440/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=89196 CPUtime=1542.04 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 17996 0 0 0 151658 2546 0 0 20 0 1 0 339302334 91336704 21155 33554432000 4194304 9016284 140736541197296 140736541191624 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 22299 21155 815 1178 0 21117 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 89196
[startup+1602.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 30713
/proc/meminfo: memFree=27374788/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=89196 CPUtime=1602.03 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 17997 0 0 0 157589 2614 0 0 20 0 1 0 339302334 91336704 21156 33554432000 4194304 9016284 140736541197296 140736541190344 5325519 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 22299 21156 815 1178 0 21117 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 89196
[startup+1662.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/177 30713
/proc/meminfo: memFree=27370756/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=89196 CPUtime=1662.02 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 17997 0 0 0 163528 2674 0 0 20 0 1 0 339302334 91336704 21156 33554432000 4194304 9016284 140736541197296 140736541191160 5325537 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 22299 21156 815 1178 0 21117 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 89196
[startup+1722.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/177 30713
/proc/meminfo: memFree=27371124/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=91940 CPUtime=1722.01 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 18183 0 0 0 169462 2739 0 0 20 0 1 0 339302334 94146560 21342 33554432000 4194304 9016284 140736541197296 140736541191624 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 22985 21342 815 1178 0 21803 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 91940
[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 30714
/proc/meminfo: memFree=27366100/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=92852 CPUtime=1782 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 18409 0 0 0 175400 2800 0 0 20 0 1 0 339302334 95080448 22183 33554432000 4194304 9016284 140736541197296 140736541191624 5325537 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 23213 22183 815 1178 0 22031 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 92852
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 30714
/proc/meminfo: memFree=27366100/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=92852 CPUtime=1785.2 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 18409 0 0 0 175717 2803 0 0 20 0 1 0 339302334 95080448 22183 33554432000 4194304 9016284 140736541197296 140736541191624 4347574 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 23213 22183 815 1178 0 22031 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 92852
[startup+1791.91 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 30714
/proc/meminfo: memFree=27366100/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=92852 CPUtime=1791.61 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 18409 0 0 0 176351 2810 0 0 20 0 1 0 339302334 95080448 22183 33554432000 4194304 9016284 140736541197296 140736541191528 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 23213 22183 815 1178 0 22031 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 92852
[startup+1795.1 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 30714
/proc/meminfo: memFree=27365976/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=92852 CPUtime=1794.8 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 18412 0 0 0 176667 2813 0 0 20 0 1 0 339302334 95080448 22186 33554432000 4194304 9016284 140736541197296 140736541191576 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 23213 22186 815 1178 0 22031 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 92852
[startup+1795.9 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 30714
/proc/meminfo: memFree=27365976/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=92852 CPUtime=1795.6 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 18412 0 0 0 176746 2814 0 0 20 0 1 0 339302334 95080448 22186 33554432000 4194304 9016284 140736541197296 140736541190712 7199020 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 23213 22186 815 1178 0 22031 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 92852
[startup+1796.7 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 30714
/proc/meminfo: memFree=27365852/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=92852 CPUtime=1796.4 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 18420 0 0 0 176825 2815 0 0 20 0 1 0 339302334 95080448 22194 33554432000 4194304 9016284 140736541197296 140736541191624 4347574 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 23213 22194 815 1178 0 22031 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 92852
[startup+1796.9 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 30714
/proc/meminfo: memFree=27365852/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=92852 CPUtime=1796.6 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 18420 0 0 0 176845 2815 0 0 20 0 1 0 339302334 95080448 22194 33554432000 4194304 9016284 140736541197296 140736541191624 4795070 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 23213 22194 815 1178 0 22031 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (KiB) 92852
[startup+1797 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 30714
/proc/meminfo: memFree=27365852/32873844 swapFree=7372/7372
[pid=30638] ppid=30636 vsize=92852 CPUtime=1796.7 cores=1,3,5,7
/proc/30638/stat : 30638 (scip-2.0.1.4b_2) R 30636 30638 26510 0 -1 4202496 18420 0 0 0 176855 2815 0 0 20 0 1 0 339302334 95080448 22194 33554432000 4194304 9016284 140736541197296 140736541191624 6469440 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30638/statm: 23213 22194 815 1178 0 22031 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 92852
Child status: 0
Real time (s): 1797.1
CPU time (s): 1796.8
CPU user time (s): 1768.64
CPU system time (s): 28.1607
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 92852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.64
system time used= 28.1607
maximum resident set size= 90520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18860
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= 31
involuntary context switches= 1845
runsolver used 5.9111 second user time and 13.444 second system time
The end