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-3729079-1338680836.opb>
0.00/0.01 c original problem has 370 variables (370 bin, 0 int, 0 impl, 0 cont) and 557 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.02 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 557 upgd conss, 402 impls, 0 clqs
0.00/0.03 c (round 2) 8 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 557 upgd conss, 12226 impls, 0 clqs
0.00/0.03 c (round 3) 8 del vars, 8 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 557 upgd conss, 12226 impls, 0 clqs
0.00/0.03 c (round 4) 8 del vars, 12 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 557 upgd conss, 12226 impls, 0 clqs
0.00/0.03 c presolving (5 rounds):
0.00/0.03 c 8 deleted vars, 12 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 12226 implications, 0 cliques
0.00/0.03 c presolved problem has 362 variables (362 bin, 0 int, 0 impl, 0 cont) and 545 constraints
0.00/0.03 c 244 constraints of type <knapsack>
0.00/0.03 c 181 constraints of type <setppc>
0.00/0.03 c 120 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.0.1.5
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1797
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c limits/solutions = 1
0.00/0.03 c
0.00/0.03 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.03 c separating/maxrounds = 1
0.00/0.03 c
0.00/0.03 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/maxroundsroot = 5
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = TRUE
0.00/0.03 c
0.00/0.03 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.03 c constraints/knapsack/disaggregation = FALSE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c presolving/probing/maxrounds = 0
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/coefdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.03 c heuristics/crossover/freq = -1
0.00/0.03 c
0.00/0.03 c # number of nodes added to the contingent of the total nodes
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.03 c heuristics/crossover/nodesofs = 750
0.00/0.03 c
0.00/0.03 c # number of nodes without incumbent change that heuristic should wait
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.03 c heuristics/crossover/nwaitingnodes = 100
0.00/0.03 c
0.00/0.03 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.03 c # [type: real, range: [0,1], default: 0.1]
0.00/0.03 c heuristics/crossover/nodesquot = 0.15
0.00/0.03 c
0.00/0.03 c # minimum percentage of integer variables that have to be fixed
0.00/0.03 c # [type: real, range: [0,1], default: 0.666]
0.00/0.03 c heuristics/crossover/minfixingrate = 0.5
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/feaspump/freq = -1
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/fracdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/guideddiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/intshifting/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/linesearchdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/objpscostdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.03 c # [type: real, range: [0,1], default: 0.01]
0.00/0.03 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/oneopt/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/pscostdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/rens/freq = -1
0.00/0.03 c
0.00/0.03 c # minimum percentage of integer variables that have to be fixable
0.00/0.03 c # [type: real, range: [0,1], default: 0.5]
0.00/0.03 c heuristics/rens/minfixingrate = 0.3
0.00/0.03 c
0.00/0.03 c # number of nodes added to the contingent of the total nodes
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.03 c heuristics/rens/nodesofs = 2000
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/rootsoldiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.03 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/rounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/shiftandpropagate/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/shifting/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/simplerounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/subnlp/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/trivial/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/trysol/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/undercover/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/veclendiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/zirounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c separating/cmir/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c separating/flowcover/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 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 | 166 | - |2360k| 0 | 86 | 362 | 545 | 362 | 545 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 672 | - |2994k| 0 | 152 | 362 | 545 | 362 | 804 | 259 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.26 c 0.3s| 1 | 0 | 1038 | - |4654k| 0 | 189 | 362 | 545 | 362 |1045 | 500 | 0 | 0 | 0.000000e+00 | -- | Inf
0.38/0.42 c 0.4s| 1 | 0 | 1185 | - |7368k| 0 | 196 | 362 | 545 | 362 |1123 | 578 | 0 | 0 | 0.000000e+00 | -- | Inf
0.48/0.53 c 0.5s| 1 | 0 | 1219 | - |9781k| 0 | 199 | 362 | 545 | 362 |1143 | 598 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.66 c 0.7s| 1 | 0 | 1270 | - | 11M| 0 | 200 | 362 | 545 | 362 |1146 | 601 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.97 c 1.0s| 1 | 2 | 1270 | - | 11M| 0 | 200 | 362 | 545 | 362 |1146 | 601 | 0 | 10 | 0.000000e+00 | -- | Inf
10.08/10.18 c 10.2s| 10000 | 91 | 81852 | 8.1 | 12M| 37 | - | 362 | 866 | 362 | 683 | 601 | 475 |2265 | 0.000000e+00 | -- | Inf
16.39/16.48 c 16.5s| 20000 | 105 |167211 | 8.3 | 12M| 37 | 40 | 362 | 974 | 362 | 683 | 601 |1011 |2322 | 0.000000e+00 | -- | Inf
23.28/23.31 c 23.3s| 30000 | 111 |253593 | 8.4 | 12M| 37 | 34 | 362 |1129 | 362 | 683 | 601 |1510 |2705 | 0.000000e+00 | -- | Inf
29.48/29.56 c 29.6s| 40000 | 112 |327579 | 8.2 | 12M| 37 | 29 | 362 |1332 | 362 | 683 | 601 |1990 |3242 | 0.000000e+00 | -- | Inf
35.58/35.68 c 35.7s| 50000 | 121 |402027 | 8.0 | 12M| 40 | 19 | 362 |1637 | 362 | 683 | 601 |2593 |3651 | 0.000000e+00 | -- | Inf
41.88/41.99 c 42.0s| 60000 | 121 |480137 | 8.0 | 12M| 40 | 25 | 362 |1730 | 362 | 683 | 601 |3093 |4077 | 0.000000e+00 | -- | Inf
48.38/48.40 c 48.4s| 70000 | 127 |559252 | 8.0 | 12M| 40 | 23 | 362 |1659 | 362 | 683 | 601 |3603 |4486 | 0.000000e+00 | -- | Inf
55.27/55.36 c 55.4s| 80000 | 125 |645823 | 8.1 | 12M| 41 | - | 362 |1491 | 362 | 683 | 601 |4097 |5004 | 0.000000e+00 | -- | Inf
62.27/62.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.27/62.37 c 62.4s| 90000 | 138 |740015 | 8.2 | 12M| 41 | 38 | 362 |1543 | 362 | 683 | 601 |4524 |5286 | 0.000000e+00 | -- | Inf
69.57/69.69 c 69.7s|100000 | 178 |829332 | 8.3 | 13M| 44 | - | 362 |1580 | 0 | 0 | 601 |5003 |5961 | 0.000000e+00 | -- | Inf
76.47/76.57 c 76.6s|110000 | 168 |922232 | 8.4 | 13M| 44 | - | 362 |1656 | 362 | 683 | 601 |5374 |6208 | 0.000000e+00 | -- | Inf
82.96/83.02 c 83.0s|120000 | 158 | 1006k| 8.4 | 13M| 44 | - | 362 |1808 | 362 | 683 | 601 |5823 |6502 | 0.000000e+00 | -- | Inf
88.87/88.91 c 88.9s|130000 | 170 | 1083k| 8.3 | 13M| 49 | 30 | 362 |1978 | 362 | 683 | 601 |6349 |6642 | 0.000000e+00 | -- | Inf
95.17/95.28 c 95.3s|140000 | 155 | 1164k| 8.3 | 13M| 49 | 28 | 362 |1849 | 362 | 683 | 601 |6856 |6990 | 0.000000e+00 | -- | Inf
101.66/101.78 c 102s|150000 | 161 | 1250k| 8.3 | 13M| 49 | - | 362 |2033 | 0 | 0 | 601 |7299 |7205 | 0.000000e+00 | -- | Inf
108.26/108.31 c 108s|160000 | 152 | 1337k| 8.4 | 13M| 52 | 39 | 362 |2171 | 362 | 683 | 601 |7721 |7354 | 0.000000e+00 | -- | Inf
115.16/115.21 c 115s|170000 | 147 | 1426k| 8.4 | 13M| 52 | 41 | 362 |2022 | 362 | 683 | 601 |8175 |7721 | 0.000000e+00 | -- | Inf
121.87/121.93 c 122s|180000 | 153 | 1515k| 8.4 | 13M| 52 | 36 | 362 |1971 | 362 | 683 | 601 |8688 |7942 | 0.000000e+00 | -- | Inf
128.26/128.39 c 128s|190000 | 169 | 1602k| 8.4 | 13M| 52 | 22 | 362 |2121 | 362 | 683 | 601 |9122 |8088 | 0.000000e+00 | -- | Inf
134.26/134.35 c 134s|200000 | 162 | 1678k| 8.4 | 13M| 52 | 26 | 362 |2308 | 362 | 683 | 601 |9696 |8232 | 0.000000e+00 | -- | Inf
140.86/140.92 c 141s|210000 | 166 | 1764k| 8.4 | 13M| 52 | 22 | 362 |2406 | 362 | 683 | 601 | 10k|8462 | 0.000000e+00 | -- | Inf
146.95/147.09 c 147s|220000 | 156 | 1845k| 8.4 | 13M| 52 | 55 | 362 |2555 | 362 | 683 | 601 | 10k|8565 | 0.000000e+00 | -- | Inf
154.06/154.14 c 154s|230000 | 163 | 1938k| 8.4 | 13M| 53 | - | 362 |2345 | 0 | 0 | 601 | 11k|8844 | 0.000000e+00 | -- | Inf
160.56/160.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.56/160.69 c 161s|240000 | 164 | 2027k| 8.4 | 13M| 53 | - | 362 |2330 | 0 | 0 | 601 | 11k|8973 | 0.000000e+00 | -- | Inf
167.26/167.31 c 167s|250000 | 165 | 2112k| 8.4 | 13M| 53 | 16 | 362 |2124 | 362 | 683 | 601 | 11k|9272 | 0.000000e+00 | -- | Inf
173.35/173.43 c 173s|260000 | 185 | 2195k| 8.4 | 13M| 53 | - | 362 |2320 | 362 | 683 | 601 | 12k|9396 | 0.000000e+00 | -- | Inf
180.15/180.20 c 180s|270000 | 173 | 2282k| 8.5 | 13M| 53 | - | 362 |2174 | 0 | 0 | 601 | 12k|9749 | 0.000000e+00 | -- | Inf
187.15/187.20 c 187s|280000 | 185 | 2378k| 8.5 | 13M| 53 | 38 | 362 |2259 | 362 | 683 | 601 | 13k|9906 | 0.000000e+00 | -- | Inf
193.85/193.98 c 194s|290000 | 205 | 2470k| 8.5 | 13M| 53 | 27 | 362 |2198 | 362 | 683 | 601 | 13k| 10k| 0.000000e+00 | -- | Inf
200.75/200.87 c 201s|300000 | 194 | 2561k| 8.5 | 13M| 53 | - | 362 |2057 | 0 | 0 | 601 | 13k| 10k| 0.000000e+00 | -- | Inf
207.15/207.28 c 207s|310000 | 184 | 2647k| 8.5 | 13M| 53 | - | 362 |2052 | 362 | 683 | 601 | 14k| 10k| 0.000000e+00 | -- | Inf
213.75/213.85 c 214s|320000 | 183 | 2735k| 8.5 | 13M| 53 | 22 | 362 |2071 | 362 | 683 | 601 | 14k| 10k| 0.000000e+00 | -- | Inf
220.65/220.77 c 221s|330000 | 177 | 2826k| 8.6 | 13M| 53 | - | 362 |2012 | 0 | 0 | 601 | 15k| 10k| 0.000000e+00 | -- | Inf
226.95/227.08 c 227s|340000 | 168 | 2913k| 8.6 | 13M| 53 | - | 362 |2184 | 0 | 0 | 601 | 15k| 10k| 0.000000e+00 | -- | Inf
233.85/233.91 c 234s|350000 | 197 | 3005k| 8.6 | 13M| 53 | - | 362 |2358 | 0 | 0 | 601 | 16k| 11k| 0.000000e+00 | -- | Inf
240.64/240.80 c 241s|360000 | 186 | 3101k| 8.6 | 13M| 53 | - | 362 |2399 | 362 | 683 | 601 | 16k| 11k| 0.000000e+00 | -- | Inf
247.74/247.87 c 248s|370000 | 162 | 3197k| 8.6 | 13M| 53 | - | 362 |2349 | 0 | 0 | 601 | 16k| 11k| 0.000000e+00 | -- | Inf
254.75/254.86 c 255s|380000 | 161 | 3289k| 8.7 | 13M| 53 | - | 362 |2137 | 0 | 0 | 601 | 17k| 11k| 0.000000e+00 | -- | Inf
261.14/261.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
261.14/261.21 c 261s|390000 | 148 | 3374k| 8.7 | 13M| 53 | 26 | 362 |2036 | 362 | 683 | 601 | 17k| 11k| 0.000000e+00 | -- | Inf
267.64/267.74 c 268s|400000 | 156 | 3463k| 8.7 | 13M| 54 | - | 362 |2216 | 0 | 0 | 601 | 18k| 11k| 0.000000e+00 | -- | Inf
274.95/275.01 c 275s|410000 | 194 | 3560k| 8.7 | 13M| 54 | - | 362 |2172 | 0 | 0 | 601 | 18k| 12k| 0.000000e+00 | -- | Inf
281.14/281.22 c 281s|420000 | 197 | 3644k| 8.7 | 13M| 54 | - | 362 |2247 | 0 | 0 | 601 | 18k| 12k| 0.000000e+00 | -- | Inf
287.43/287.52 c 288s|430000 | 199 | 3729k| 8.7 | 13M| 54 | 34 | 362 |2228 | 362 | 683 | 601 | 19k| 12k| 0.000000e+00 | -- | Inf
293.93/294.08 c 294s|440000 | 196 | 3819k| 8.7 | 13M| 54 | - | 362 |2243 | 0 | 0 | 601 | 19k| 12k| 0.000000e+00 | -- | Inf
300.53/300.67 c 301s|450000 | 198 | 3911k| 8.7 | 13M| 54 | 48 | 362 |2316 | 362 | 683 | 601 | 20k| 12k| 0.000000e+00 | -- | Inf
307.24/307.31 c 307s|460000 | 178 | 4003k| 8.7 | 13M| 54 | 47 | 362 |2300 | 362 | 683 | 601 | 20k| 12k| 0.000000e+00 | -- | Inf
314.14/314.25 c 314s|470000 | 175 | 4095k| 8.7 | 13M| 54 | 38 | 362 |2285 | 362 | 683 | 601 | 20k| 12k| 0.000000e+00 | -- | Inf
320.43/320.57 c 321s|480000 | 174 | 4175k| 8.7 | 13M| 54 | - | 362 |2360 | 0 | 0 | 601 | 21k| 13k| 0.000000e+00 | -- | Inf
326.54/326.64 c 327s|490000 | 173 | 4255k| 8.7 | 13M| 54 | 30 | 362 |2412 | 362 | 683 | 601 | 21k| 13k| 0.000000e+00 | -- | Inf
332.83/332.93 c 333s|500000 | 170 | 4338k| 8.7 | 13M| 54 | - | 362 |2443 | 362 | 683 | 601 | 22k| 13k| 0.000000e+00 | -- | Inf
339.43/339.51 c 340s|510000 | 181 | 4425k| 8.7 | 13M| 54 | - | 362 |2400 | 362 | 683 | 601 | 22k| 13k| 0.000000e+00 | -- | Inf
346.53/346.65 c 347s|520000 | 186 | 4524k| 8.7 | 13M| 54 | - | 362 |2423 | 0 | 0 | 601 | 23k| 13k| 0.000000e+00 | -- | Inf
353.13/353.27 c 353s|530000 | 199 | 4613k| 8.7 | 13M| 54 | - | 362 |2760 | 0 | 0 | 601 | 23k| 13k| 0.000000e+00 | -- | Inf
359.83/359.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
359.83/359.98 c 360s|540000 | 207 | 4703k| 8.7 | 13M| 54 | 32 | 362 |3026 | 362 | 683 | 601 | 24k| 13k| 0.000000e+00 | -- | Inf
367.63/367.72 c 368s|550000 | 204 | 4811k| 8.7 | 14M| 54 | - | 362 |3059 | 362 | 683 | 601 | 24k| 13k| 0.000000e+00 | -- | Inf
375.03/375.12 c 375s|560000 | 178 | 4908k| 8.8 | 13M| 56 | 29 | 362 |2473 | 362 | 683 | 601 | 25k| 14k| 0.000000e+00 | -- | Inf
381.22/381.30 c 381s|570000 | 178 | 4990k| 8.8 | 13M| 56 | - | 362 |2449 | 362 | 683 | 601 | 25k| 14k| 0.000000e+00 | -- | Inf
387.52/387.63 c 388s|580000 | 173 | 5076k| 8.8 | 13M| 56 | - | 362 |2617 | 0 | 0 | 601 | 26k| 14k| 0.000000e+00 | -- | Inf
394.52/394.67 c 395s|590000 | 177 | 5173k| 8.8 | 13M| 56 | - | 362 |2616 | 0 | 0 | 601 | 26k| 14k| 0.000000e+00 | -- | Inf
401.72/401.84 c 402s|600000 | 180 | 5275k| 8.8 | 13M| 56 | 40 | 362 |2699 | 362 | 683 | 601 | 27k| 14k| 0.000000e+00 | -- | Inf
408.92/409.03 c 409s|610000 | 173 | 5374k| 8.8 | 13M| 56 | 19 | 362 |2505 | 362 | 683 | 601 | 27k| 14k| 0.000000e+00 | -- | Inf
414.92/415.00 c 415s|620000 | 179 | 5454k| 8.8 | 13M| 56 | - | 362 |2745 | 0 | 0 | 601 | 27k| 14k| 0.000000e+00 | -- | Inf
421.22/421.36 c 421s|630000 | 177 | 5538k| 8.8 | 13M| 56 | 41 | 362 |2849 | 362 | 683 | 601 | 28k| 14k| 0.000000e+00 | -- | Inf
427.41/427.53 c 428s|640000 | 202 | 5617k| 8.8 | 13M| 56 | 30 | 362 |2825 | 362 | 683 | 601 | 28k| 14k| 0.000000e+00 | -- | Inf
433.51/433.62 c 434s|650000 | 201 | 5697k| 8.8 | 14M| 56 | - | 362 |2919 | 0 | 0 | 601 | 29k| 15k| 0.000000e+00 | -- | Inf
439.71/439.83 c 440s|660000 | 198 | 5778k| 8.8 | 14M| 56 | 25 | 362 |2985 | 362 | 683 | 601 | 29k| 15k| 0.000000e+00 | -- | Inf
445.61/445.71 c 446s|670000 | 204 | 5853k| 8.7 | 14M| 56 | 32 | 362 |2972 | 362 | 683 | 601 | 30k| 15k| 0.000000e+00 | -- | Inf
451.11/451.28 c 451s|680000 | 198 | 5922k| 8.7 | 14M| 56 | - | 362 |3242 | 0 | 0 | 601 | 30k| 15k| 0.000000e+00 | -- | Inf
457.42/457.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
457.42/457.57 c 458s|690000 | 180 | 6005k| 8.7 | 14M| 56 | 26 | 362 |3011 | 362 | 683 | 601 | 31k| 15k| 0.000000e+00 | -- | Inf
463.51/463.61 c 464s|700000 | 188 | 6080k| 8.7 | 13M| 56 | 33 | 362 |2853 | 362 | 683 | 601 | 31k| 15k| 0.000000e+00 | -- | Inf
469.40/469.54 c 470s|710000 | 187 | 6157k| 8.7 | 14M| 56 | 30 | 362 |3153 | 362 | 683 | 601 | 32k| 15k| 0.000000e+00 | -- | Inf
475.31/475.47 c 475s|720000 | 177 | 6233k| 8.7 | 14M| 56 | - | 362 |3230 | 362 | 683 | 601 | 33k| 15k| 0.000000e+00 | -- | Inf
482.20/482.35 c 482s|730000 | 183 | 6324k| 8.7 | 14M| 56 | 28 | 362 |3133 | 362 | 683 | 601 | 33k| 15k| 0.000000e+00 | -- | Inf
489.31/489.50 c 489s|740000 | 177 | 6420k| 8.7 | 13M| 56 | 45 | 362 |2844 | 362 | 683 | 601 | 33k| 15k| 0.000000e+00 | -- | Inf
495.40/495.57 c 496s|750000 | 179 | 6500k| 8.7 | 14M| 56 | - | 362 |3055 | 0 | 0 | 601 | 34k| 15k| 0.000000e+00 | -- | Inf
501.20/501.31 c 501s|760000 | 181 | 6572k| 8.6 | 14M| 56 | 33 | 362 |3289 | 362 | 683 | 601 | 34k| 16k| 0.000000e+00 | -- | Inf
506.70/506.82 c 507s|770000 | 188 | 6641k| 8.6 | 14M| 56 | 15 | 362 |3384 | 362 | 683 | 601 | 35k| 16k| 0.000000e+00 | -- | Inf
512.51/512.63 c 513s|780000 | 184 | 6715k| 8.6 | 14M| 56 | - | 362 |3424 | 0 | 0 | 601 | 36k| 16k| 0.000000e+00 | -- | Inf
518.40/518.53 c 519s|790000 | 194 | 6792k| 8.6 | 14M| 56 | 31 | 362 |3562 | 362 | 683 | 601 | 36k| 16k| 0.000000e+00 | -- | Inf
524.40/524.59 c 525s|800000 | 185 | 6871k| 8.6 | 14M| 56 | 20 | 362 |3759 | 362 | 683 | 601 | 37k| 16k| 0.000000e+00 | -- | Inf
530.70/530.84 c 531s|810000 | 189 | 6953k| 8.6 | 14M| 56 | 37 | 362 |3633 | 362 | 683 | 601 | 37k| 16k| 0.000000e+00 | -- | Inf
537.71/537.88 c 538s|820000 | 169 | 7044k| 8.6 | 14M| 56 | 26 | 362 |3119 | 362 | 683 | 601 | 37k| 16k| 0.000000e+00 | -- | Inf
544.10/544.28 c 544s|830000 | 179 | 7128k| 8.6 | 14M| 56 | - | 362 |3032 | 0 | 0 | 601 | 38k| 16k| 0.000000e+00 | -- | Inf
550.59/550.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
550.59/550.73 c 551s|840000 | 174 | 7216k| 8.6 | 14M| 56 | 29 | 362 |3087 | 362 | 683 | 601 | 38k| 16k| 0.000000e+00 | -- | Inf
556.90/557.01 c 557s|850000 | 173 | 7299k| 8.6 | 14M| 56 | 31 | 362 |3157 | 362 | 683 | 601 | 39k| 16k| 0.000000e+00 | -- | Inf
563.69/563.81 c 564s|860000 | 170 | 7393k| 8.6 | 14M| 56 | 23 | 362 |3006 | 362 | 683 | 601 | 39k| 16k| 0.000000e+00 | -- | Inf
569.89/570.08 c 570s|870000 | 168 | 7477k| 8.6 | 14M| 56 | 30 | 362 |3023 | 362 | 683 | 601 | 40k| 17k| 0.000000e+00 | -- | Inf
576.49/576.66 c 577s|880000 | 187 | 7567k| 8.6 | 14M| 56 | - | 362 |3069 | 0 | 0 | 601 | 40k| 17k| 0.000000e+00 | -- | Inf
583.39/583.52 c 584s|890000 | 220 | 7663k| 8.6 | 14M| 60 | 35 | 362 |3144 | 362 | 683 | 601 | 40k| 17k| 0.000000e+00 | -- | Inf
590.39/590.60 c 591s|900000 | 185 | 7764k| 8.6 | 14M| 62 | - | 362 |3161 | 0 | 0 | 601 | 41k| 17k| 0.000000e+00 | -- | Inf
596.99/597.13 c 597s|910000 | 194 | 7850k| 8.6 | 14M| 62 | - | 362 |2672 | 0 | 0 | 601 | 41k| 17k| 0.000000e+00 | -- | Inf
603.29/603.42 c 603s|920000 | 186 | 7932k| 8.6 | 14M| 62 | 33 | 362 |2754 | 362 | 683 | 601 | 42k| 17k| 0.000000e+00 | -- | Inf
610.09/610.22 c 610s|930000 | 182 | 8024k| 8.6 | 14M| 62 | 35 | 362 |2819 | 362 | 683 | 601 | 42k| 17k| 0.000000e+00 | -- | Inf
616.38/616.58 c 617s|940000 | 184 | 8108k| 8.6 | 14M| 62 | 31 | 362 |3216 | 362 | 683 | 601 | 43k| 17k| 0.000000e+00 | -- | Inf
622.78/622.97 c 623s|950000 | 192 | 8193k| 8.6 | 14M| 62 | - | 362 |3207 | 362 | 683 | 601 | 44k| 17k| 0.000000e+00 | -- | Inf
630.28/630.41 c 630s|960000 | 211 | 8297k| 8.6 | 14M| 62 | - | 362 |3543 | 0 | 0 | 601 | 44k| 17k| 0.000000e+00 | -- | Inf
637.38/637.56 c 638s|970000 | 190 | 8394k| 8.7 | 14M| 62 | - | 362 |3374 | 0 | 0 | 601 | 45k| 17k| 0.000000e+00 | -- | Inf
644.09/644.24 c 644s|980000 | 180 | 8482k| 8.7 | 14M| 62 | 18 | 362 |2988 | 362 | 683 | 601 | 45k| 17k| 0.000000e+00 | -- | Inf
650.58/650.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
650.58/650.79 c 651s|990000 | 180 | 8571k| 8.7 | 14M| 62 | 30 | 362 |2764 | 362 | 683 | 601 | 46k| 18k| 0.000000e+00 | -- | Inf
656.78/656.96 c 657s| 1000k| 180 | 8651k| 8.7 | 14M| 62 | - | 362 |2691 | 0 | 0 | 601 | 46k| 18k| 0.000000e+00 | -- | Inf
662.27/662.40 c 662s| 1010k| 194 | 8719k| 8.6 | 14M| 62 | 33 | 362 |2883 | 362 | 683 | 601 | 47k| 18k| 0.000000e+00 | -- | Inf
667.68/667.89 c 668s| 1020k| 184 | 8787k| 8.6 | 14M| 62 | 38 | 362 |2947 | 362 | 683 | 601 | 48k| 18k| 0.000000e+00 | -- | Inf
673.67/673.84 c 674s| 1030k| 186 | 8866k| 8.6 | 14M| 62 | 21 | 362 |2740 | 362 | 683 | 601 | 48k| 18k| 0.000000e+00 | -- | Inf
679.58/679.75 c 680s| 1040k| 191 | 8943k| 8.6 | 14M| 62 | - | 362 |3012 | 0 | 0 | 601 | 49k| 18k| 0.000000e+00 | -- | Inf
685.67/685.80 c 686s| 1050k| 188 | 9023k| 8.6 | 14M| 62 | - | 362 |2951 | 0 | 0 | 601 | 49k| 18k| 0.000000e+00 | -- | Inf
691.48/691.64 c 692s| 1060k| 188 | 9100k| 8.6 | 14M| 62 | - | 362 |3225 | 0 | 0 | 601 | 50k| 18k| 0.000000e+00 | -- | Inf
697.57/697.70 c 698s| 1070k| 183 | 9179k| 8.6 | 14M| 62 | 46 | 362 |3102 | 362 | 683 | 601 | 50k| 18k| 0.000000e+00 | -- | Inf
703.67/703.80 c 704s| 1080k| 183 | 9261k| 8.6 | 14M| 62 | - | 362 |3028 | 0 | 0 | 601 | 51k| 18k| 0.000000e+00 | -- | Inf
710.37/710.54 c 711s| 1090k| 185 | 9351k| 8.6 | 14M| 62 | - | 362 |3057 | 0 | 0 | 601 | 51k| 18k| 0.000000e+00 | -- | Inf
716.47/716.61 c 717s| 1100k| 190 | 9432k| 8.6 | 14M| 62 | - | 362 |3066 | 0 | 0 | 601 | 52k| 18k| 0.000000e+00 | -- | Inf
722.17/722.33 c 722s| 1110k| 175 | 9504k| 8.6 | 14M| 62 | - | 362 |3225 | 0 | 0 | 601 | 52k| 18k| 0.000000e+00 | -- | Inf
727.87/728.09 c 728s| 1120k| 177 | 9577k| 8.6 | 14M| 62 | - | 362 |3141 | 0 | 0 | 601 | 53k| 19k| 0.000000e+00 | -- | Inf
734.37/734.51 c 735s| 1130k| 185 | 9665k| 8.6 | 14M| 62 | 31 | 362 |3338 | 362 | 683 | 601 | 53k| 19k| 0.000000e+00 | -- | Inf
741.18/741.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
741.18/741.36 c 741s| 1140k| 182 | 9757k| 8.6 | 14M| 62 | 33 | 362 |3318 | 362 | 683 | 601 | 54k| 19k| 0.000000e+00 | -- | Inf
747.66/747.82 c 748s| 1150k| 186 | 9847k| 8.6 | 14M| 62 | - | 362 |3540 | 362 | 683 | 601 | 54k| 19k| 0.000000e+00 | -- | Inf
754.27/754.48 c 754s| 1160k| 189 | 9940k| 8.6 | 14M| 62 | 35 | 362 |3435 | 362 | 683 | 601 | 55k| 19k| 0.000000e+00 | -- | Inf
760.86/761.04 c 761s| 1170k| 193 | 10031k| 8.6 | 14M| 62 | 30 | 362 |3200 | 362 | 683 | 601 | 55k| 19k| 0.000000e+00 | -- | Inf
768.76/768.97 c 769s| 1180k| 208 | 10124k| 8.6 | 14M| 62 | - | 362 |2939 | 0 | 0 | 601 | 56k| 20k| 0.000000e+00 | -- | Inf
775.07/775.20 c 775s| 1190k| 237 | 10207k| 8.6 | 14M| 62 | 40 | 362 |3302 | 362 | 683 | 601 | 56k| 20k| 0.000000e+00 | -- | Inf
781.07/781.22 c 781s| 1200k| 235 | 10286k| 8.6 | 14M| 62 | - | 362 |3286 | 0 | 0 | 601 | 57k| 20k| 0.000000e+00 | -- | Inf
787.37/787.59 c 788s| 1210k| 218 | 10373k| 8.6 | 14M| 62 | 17 | 362 |3419 | 362 | 683 | 601 | 58k| 20k| 0.000000e+00 | -- | Inf
793.46/793.66 c 794s| 1220k| 227 | 10452k| 8.6 | 14M| 62 | - | 362 |3778 | 0 | 0 | 601 | 58k| 20k| 0.000000e+00 | -- | Inf
799.66/799.88 c 800s| 1230k| 229 | 10535k| 8.6 | 14M| 62 | - | 362 |3954 | 0 | 0 | 601 | 59k| 20k| 0.000000e+00 | -- | Inf
806.26/806.40 c 806s| 1240k| 236 | 10623k| 8.6 | 14M| 62 | - | 362 |4062 | 0 | 0 | 601 | 60k| 20k| 0.000000e+00 | -- | Inf
813.05/813.23 c 813s| 1250k| 234 | 10716k| 8.6 | 14M| 62 | - | 362 |4094 | 362 | 683 | 601 | 61k| 20k| 0.000000e+00 | -- | Inf
819.26/819.49 c 819s| 1260k| 251 | 10797k| 8.6 | 15M| 62 | - | 362 |4194 | 0 | 0 | 601 | 61k| 20k| 0.000000e+00 | -- | Inf
825.56/825.77 c 826s| 1270k| 258 | 10879k| 8.6 | 15M| 62 | 14 | 362 |4183 | 362 | 683 | 601 | 62k| 20k| 0.000000e+00 | -- | Inf
832.05/832.24 c 832s| 1280k| 260 | 10964k| 8.6 | 15M| 62 | - | 362 |4355 | 362 | 683 | 601 | 62k| 20k| 0.000000e+00 | -- | Inf
838.86/839.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
838.86/839.07 c 839s| 1290k| 273 | 11057k| 8.6 | 15M| 62 | - | 362 |4334 | 0 | 0 | 601 | 63k| 20k| 0.000000e+00 | -- | Inf
845.95/846.14 c 846s| 1300k| 282 | 11153k| 8.6 | 15M| 62 | - | 362 |4124 | 362 | 683 | 601 | 64k| 20k| 0.000000e+00 | -- | Inf
852.55/852.75 c 853s| 1310k| 300 | 11242k| 8.6 | 15M| 62 | 37 | 362 |4327 | 362 | 683 | 601 | 64k| 20k| 0.000000e+00 | -- | Inf
859.85/860.01 c 860s| 1320k| 299 | 11344k| 8.6 | 15M| 62 | 37 | 362 |4199 | 362 | 683 | 601 | 64k| 20k| 0.000000e+00 | -- | Inf
866.04/866.27 c 866s| 1330k| 308 | 11424k| 8.6 | 15M| 62 | - | 362 |4277 | 0 | 0 | 601 | 65k| 20k| 0.000000e+00 | -- | Inf
872.54/872.76 c 873s| 1340k| 295 | 11509k| 8.6 | 15M| 62 | - | 362 |4357 | 0 | 0 | 601 | 66k| 21k| 0.000000e+00 | -- | Inf
879.05/879.20 c 879s| 1350k| 311 | 11595k| 8.6 | 15M| 62 | 45 | 362 |4315 | 362 | 683 | 601 | 66k| 21k| 0.000000e+00 | -- | Inf
886.14/886.35 c 886s| 1360k| 308 | 11691k| 8.6 | 15M| 62 | - | 362 |4070 | 0 | 0 | 601 | 67k| 21k| 0.000000e+00 | -- | Inf
892.94/893.17 c 893s| 1370k| 322 | 11785k| 8.6 | 15M| 62 | 42 | 362 |4407 | 362 | 683 | 601 | 67k| 21k| 0.000000e+00 | -- | Inf
899.74/899.95 c 900s| 1380k| 322 | 11876k| 8.6 | 15M| 62 | 44 | 362 |4387 | 362 | 683 | 601 | 68k| 21k| 0.000000e+00 | -- | Inf
906.44/906.62 c 907s| 1390k| 323 | 11966k| 8.6 | 15M| 62 | - | 362 |3912 | 0 | 0 | 601 | 68k| 21k| 0.000000e+00 | -- | Inf
913.34/913.51 c 914s| 1400k| 299 | 12059k| 8.6 | 15M| 62 | - | 362 |3904 | 362 | 683 | 601 | 69k| 21k| 0.000000e+00 | -- | Inf
919.94/920.14 c 920s| 1410k| 318 | 12148k| 8.6 | 15M| 62 | - | 362 |3961 | 0 | 0 | 601 | 70k| 21k| 0.000000e+00 | -- | Inf
926.83/927.00 c 927s| 1420k| 318 | 12240k| 8.6 | 15M| 62 | - | 362 |3939 | 0 | 0 | 601 | 70k| 21k| 0.000000e+00 | -- | Inf
933.75/933.93 c 934s| 1430k| 319 | 12333k| 8.6 | 15M| 62 | - | 362 |4058 | 0 | 0 | 601 | 70k| 21k| 0.000000e+00 | -- | Inf
940.73/940.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
940.73/940.91 c 941s| 1440k| 313 | 12429k| 8.6 | 15M| 62 | 50 | 362 |3903 | 362 | 683 | 601 | 71k| 21k| 0.000000e+00 | -- | Inf
947.63/947.88 c 948s| 1450k| 311 | 12524k| 8.6 | 15M| 62 | 20 | 362 |3654 | 362 | 683 | 601 | 71k| 21k| 0.000000e+00 | -- | Inf
954.23/954.47 c 954s| 1460k| 312 | 12614k| 8.6 | 15M| 62 | 13 | 362 |3790 | 362 | 683 | 601 | 72k| 21k| 0.000000e+00 | -- | Inf
960.83/961.02 c 961s| 1470k| 313 | 12702k| 8.6 | 15M| 62 | - | 362 |4129 | 362 | 683 | 601 | 73k| 21k| 0.000000e+00 | -- | Inf
967.34/967.59 c 968s| 1480k| 316 | 12791k| 8.6 | 15M| 62 | 38 | 362 |4250 | 362 | 683 | 601 | 73k| 21k| 0.000000e+00 | -- | Inf
974.13/974.35 c 974s| 1490k| 315 | 12881k| 8.6 | 15M| 62 | 50 | 362 |4002 | 362 | 683 | 601 | 74k| 21k| 0.000000e+00 | -- | Inf
981.33/981.59 c 982s| 1500k| 354 | 12982k| 8.7 | 15M| 62 | 38 | 362 |4229 | 362 | 683 | 601 | 75k| 21k| 0.000000e+00 | -- | Inf
988.64/988.82 c 989s| 1510k| 331 | 13083k| 8.7 | 15M| 62 | 26 | 362 |4164 | 362 | 683 | 601 | 75k| 21k| 0.000000e+00 | -- | Inf
995.24/995.43 c 995s| 1520k| 327 | 13169k| 8.7 | 15M| 62 | - | 362 |4197 | 362 | 683 | 601 | 75k| 22k| 0.000000e+00 | -- | Inf
1002.23/1002.45 c 1002s| 1530k| 319 | 13264k| 8.7 | 15M| 62 | - | 362 |4107 | 0 | 0 | 601 | 76k| 22k| 0.000000e+00 | -- | Inf
1009.22/1009.47 c 1009s| 1540k| 318 | 13361k| 8.7 | 15M| 62 | - | 362 |4140 | 0 | 0 | 601 | 76k| 22k| 0.000000e+00 | -- | Inf
1015.93/1016.11 c 1016s| 1550k| 321 | 13448k| 8.7 | 15M| 62 | - | 362 |4342 | 0 | 0 | 601 | 77k| 22k| 0.000000e+00 | -- | Inf
1022.92/1023.12 c 1023s| 1560k| 334 | 13544k| 8.7 | 15M| 62 | 30 | 362 |4245 | 362 | 683 | 601 | 77k| 22k| 0.000000e+00 | -- | Inf
1029.53/1029.73 c 1030s| 1570k| 326 | 13632k| 8.7 | 15M| 62 | - | 362 |4053 | 0 | 0 | 601 | 78k| 22k| 0.000000e+00 | -- | Inf
1036.53/1036.72 c 1037s| 1580k| 319 | 13730k| 8.7 | 15M| 62 | 34 | 362 |3995 | 362 | 683 | 601 | 79k| 22k| 0.000000e+00 | -- | Inf
1043.72/1043.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1043.72/1043.91 c 1044s| 1590k| 317 | 13818k| 8.7 | 15M| 62 | - | 362 |3934 | 362 | 683 | 601 | 79k| 22k| 0.000000e+00 | -- | Inf
1050.92/1051.12 c 1051s| 1600k| 321 | 13914k| 8.7 | 15M| 62 | - | 362 |3678 | 0 | 0 | 601 | 80k| 23k| 0.000000e+00 | -- | Inf
1057.32/1057.59 c 1058s| 1610k| 319 | 14000k| 8.7 | 15M| 62 | - | 362 |4103 | 0 | 0 | 601 | 81k| 23k| 0.000000e+00 | -- | Inf
1064.21/1064.41 c 1064s| 1620k| 320 | 14093k| 8.7 | 15M| 62 | - | 362 |4141 | 362 | 683 | 601 | 81k| 23k| 0.000000e+00 | -- | Inf
1070.72/1070.91 c 1071s| 1630k| 343 | 14182k| 8.7 | 15M| 62 | - | 362 |4354 | 0 | 0 | 601 | 82k| 23k| 0.000000e+00 | -- | Inf
1077.52/1077.74 c 1078s| 1640k| 329 | 14274k| 8.7 | 15M| 62 | 23 | 362 |4389 | 362 | 683 | 601 | 83k| 23k| 0.000000e+00 | -- | Inf
1084.72/1084.94 c 1085s| 1650k| 307 | 14370k| 8.7 | 15M| 62 | 38 | 362 |3899 | 362 | 683 | 601 | 83k| 23k| 0.000000e+00 | -- | Inf
1090.71/1090.94 c 1091s| 1660k| 305 | 14451k| 8.7 | 15M| 62 | 26 | 362 |3886 | 362 | 683 | 601 | 84k| 23k| 0.000000e+00 | -- | Inf
1097.21/1097.49 c 1097s| 1670k| 294 | 14540k| 8.7 | 15M| 62 | 36 | 362 |3560 | 362 | 683 | 601 | 84k| 23k| 0.000000e+00 | -- | Inf
1104.12/1104.33 c 1104s| 1680k| 289 | 14631k| 8.7 | 15M| 65 | 39 | 362 |3454 | 362 | 683 | 601 | 85k| 23k| 0.000000e+00 | -- | Inf
1111.61/1111.80 c 1112s| 1690k| 295 | 14732k| 8.7 | 15M| 65 | 31 | 362 |3459 | 362 | 683 | 601 | 85k| 23k| 0.000000e+00 | -- | Inf
1118.01/1118.28 c 1118s| 1700k| 294 | 14820k| 8.7 | 15M| 65 | 27 | 362 |3265 | 362 | 683 | 601 | 86k| 23k| 0.000000e+00 | -- | Inf
1124.90/1125.11 c 1125s| 1710k| 294 | 14914k| 8.7 | 15M| 65 | 43 | 362 |3262 | 362 | 683 | 601 | 86k| 23k| 0.000000e+00 | -- | Inf
1132.51/1132.70 c 1133s| 1720k| 297 | 15024k| 8.7 | 15M| 65 | - | 362 |3282 | 362 | 683 | 601 | 86k| 23k| 0.000000e+00 | -- | Inf
1139.21/1139.43 c 1139s| 1730k| 291 | 15118k| 8.7 | 15M| 65 | 26 | 362 |3428 | 362 | 683 | 601 | 87k| 23k| 0.000000e+00 | -- | Inf
1145.10/1145.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1145.10/1145.34 c 1145s| 1740k| 290 | 15194k| 8.7 | 15M| 65 | 34 | 362 |3581 | 362 | 683 | 601 | 88k| 23k| 0.000000e+00 | -- | Inf
1151.30/1151.60 c 1152s| 1750k| 282 | 15277k| 8.7 | 15M| 65 | - | 362 |3617 | 0 | 0 | 601 | 88k| 24k| 0.000000e+00 | -- | Inf
1158.80/1159.07 c 1159s| 1760k| 275 | 15374k| 8.7 | 15M| 65 | - | 362 |3231 | 0 | 0 | 601 | 89k| 24k| 0.000000e+00 | -- | Inf
1166.00/1166.22 c 1166s| 1770k| 252 | 15467k| 8.7 | 14M| 65 | - | 362 |2821 | 0 | 0 | 601 | 89k| 24k| 0.000000e+00 | -- | Inf
1172.50/1172.78 c 1173s| 1780k| 256 | 15558k| 8.7 | 14M| 65 | - | 362 |2991 | 0 | 0 | 601 | 90k| 24k| 0.000000e+00 | -- | Inf
1179.01/1179.23 c 1179s| 1790k| 259 | 15647k| 8.7 | 14M| 65 | - | 362 |3147 | 362 | 683 | 601 | 91k| 24k| 0.000000e+00 | -- | Inf
1185.30/1185.52 c 1186s| 1800k| 286 | 15732k| 8.7 | 15M| 65 | - | 362 |3448 | 0 | 0 | 601 | 91k| 24k| 0.000000e+00 | -- | Inf
1191.60/1191.88 c 1192s| 1810k| 302 | 15818k| 8.7 | 15M| 65 | 34 | 362 |3617 | 362 | 683 | 601 | 92k| 24k| 0.000000e+00 | -- | Inf
1198.40/1198.69 c 1199s| 1820k| 306 | 15912k| 8.7 | 15M| 65 | - | 362 |3718 | 0 | 0 | 601 | 92k| 24k| 0.000000e+00 | -- | Inf
1205.59/1205.82 c 1206s| 1830k| 278 | 16011k| 8.7 | 15M| 65 | - | 362 |3589 | 0 | 0 | 601 | 93k| 24k| 0.000000e+00 | -- | Inf
1212.59/1212.86 c 1213s| 1840k| 248 | 16106k| 8.8 | 14M| 65 | 39 | 362 |3052 | 362 | 683 | 601 | 93k| 24k| 0.000000e+00 | -- | Inf
1219.50/1219.78 c 1220s| 1850k| 246 | 16201k| 8.8 | 14M| 65 | - | 362 |3075 | 0 | 0 | 601 | 94k| 24k| 0.000000e+00 | -- | Inf
1226.30/1226.55 c 1227s| 1860k| 246 | 16294k| 8.8 | 14M| 65 | 25 | 362 |3314 | 362 | 683 | 601 | 95k| 24k| 0.000000e+00 | -- | Inf
1232.90/1233.12 c 1233s| 1870k| 249 | 16384k| 8.8 | 14M| 65 | 38 | 362 |3420 | 362 | 683 | 601 | 95k| 25k| 0.000000e+00 | -- | Inf
1239.79/1240.09 c 1240s| 1880k| 251 | 16480k| 8.8 | 15M| 65 | - | 362 |3525 | 362 | 683 | 601 | 96k| 25k| 0.000000e+00 | -- | Inf
1248.09/1248.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1248.09/1248.32 c 1248s| 1890k| 255 | 16577k| 8.8 | 15M| 65 | 32 | 362 |3492 | 362 | 683 | 601 | 96k| 25k| 0.000000e+00 | -- | Inf
1254.59/1254.80 c 1255s| 1900k| 264 | 16664k| 8.8 | 15M| 65 | 22 | 362 |3742 | 362 | 683 | 601 | 97k| 25k| 0.000000e+00 | -- | Inf
1260.89/1261.18 c 1261s| 1910k| 271 | 16749k| 8.8 | 15M| 65 | 47 | 362 |3928 | 362 | 683 | 601 | 97k| 25k| 0.000000e+00 | -- | Inf
1267.48/1267.75 c 1268s| 1920k| 267 | 16837k| 8.8 | 15M| 65 | - | 362 |3987 | 362 | 683 | 601 | 97k| 25k| 0.000000e+00 | -- | Inf
1273.99/1274.24 c 1274s| 1930k| 287 | 16924k| 8.8 | 15M| 65 | 41 | 362 |4150 | 362 | 683 | 601 | 98k| 25k| 0.000000e+00 | -- | Inf
1280.79/1281.03 c 1281s| 1940k| 258 | 17016k| 8.8 | 15M| 65 | 52 | 362 |3856 | 362 | 683 | 601 | 98k| 25k| 0.000000e+00 | -- | Inf
1287.08/1287.30 c 1287s| 1950k| 257 | 17099k| 8.8 | 14M| 65 | 26 | 362 |3131 | 362 | 683 | 601 | 99k| 25k| 0.000000e+00 | -- | Inf
1293.29/1293.57 c 1294s| 1960k| 252 | 17183k| 8.8 | 14M| 65 | - | 362 |2969 | 0 | 0 | 601 | 99k| 25k| 0.000000e+00 | -- | Inf
1299.89/1300.11 c 1300s| 1970k| 258 | 17272k| 8.8 | 14M| 65 | 30 | 362 |2858 | 362 | 683 | 601 | 99k| 25k| 0.000000e+00 | -- | Inf
1305.88/1306.16 c 1306s| 1980k| 262 | 17352k| 8.8 | 14M| 65 | - | 362 |2808 | 0 | 0 | 601 | 100k| 25k| 0.000000e+00 | -- | Inf
1312.28/1312.52 c 1313s| 1990k| 261 | 17436k| 8.8 | 14M| 65 | 28 | 362 |2856 | 362 | 683 | 601 | 100k| 25k| 0.000000e+00 | -- | Inf
1318.58/1318.81 c 1319s| 2000k| 260 | 17519k| 8.8 | 14M| 65 | 35 | 362 |2884 | 362 | 683 | 601 | 101k| 25k| 0.000000e+00 | -- | Inf
1324.57/1324.81 c 1325s| 2010k| 260 | 17601k| 8.8 | 14M| 65 | - | 362 |3014 | 0 | 0 | 601 | 101k| 25k| 0.000000e+00 | -- | Inf
1330.58/1330.83 c 1331s| 2020k| 260 | 17682k| 8.8 | 14M| 65 | - | 362 |3250 | 0 | 0 | 601 | 102k| 26k| 0.000000e+00 | -- | Inf
1337.38/1337.61 c 1338s| 2030k| 270 | 17779k| 8.8 | 15M| 65 | - | 362 |3213 | 0 | 0 | 601 | 102k| 26k| 0.000000e+00 | -- | Inf
1344.38/1344.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1344.38/1344.68 c 1345s| 2040k| 257 | 17879k| 8.8 | 14M| 65 | - | 362 |3199 | 362 | 683 | 601 | 103k| 26k| 0.000000e+00 | -- | Inf
1350.48/1350.76 c 1351s| 2050k| 260 | 17963k| 8.8 | 15M| 65 | - | 362 |3403 | 0 | 0 | 601 | 103k| 26k| 0.000000e+00 | -- | Inf
1356.77/1357.02 c 1357s| 2060k| 256 | 18048k| 8.8 | 15M| 65 | - | 362 |3417 | 0 | 0 | 601 | 104k| 26k| 0.000000e+00 | -- | Inf
1363.57/1363.88 c 1364s| 2070k| 254 | 18144k| 8.8 | 14M| 65 | 27 | 362 |3041 | 362 | 683 | 601 | 104k| 26k| 0.000000e+00 | -- | Inf
1369.67/1369.92 c 1370s| 2080k| 250 | 18223k| 8.8 | 14M| 65 | - | 362 |3173 | 0 | 0 | 601 | 104k| 26k| 0.000000e+00 | -- | Inf
1375.67/1375.98 c 1376s| 2090k| 256 | 18303k| 8.8 | 15M| 65 | - | 362 |3301 | 0 | 0 | 601 | 105k| 26k| 0.000000e+00 | -- | Inf
1381.97/1382.23 c 1382s| 2100k| 270 | 18387k| 8.8 | 15M| 65 | - | 362 |3474 | 0 | 0 | 601 | 105k| 26k| 0.000000e+00 | -- | Inf
1388.57/1388.80 c 1389s| 2110k| 281 | 18477k| 8.8 | 15M| 65 | - | 362 |3511 | 362 | 683 | 601 | 106k| 26k| 0.000000e+00 | -- | Inf
1395.27/1395.57 c 1396s| 2120k| 256 | 18570k| 8.8 | 15M| 65 | - | 362 |3443 | 0 | 0 | 601 | 106k| 26k| 0.000000e+00 | -- | Inf
1401.86/1402.10 c 1402s| 2130k| 257 | 18657k| 8.8 | 14M| 65 | - | 362 |3025 | 362 | 683 | 601 | 107k| 26k| 0.000000e+00 | -- | Inf
1408.67/1409.00 c 1409s| 2140k| 260 | 18751k| 8.8 | 14M| 65 | 43 | 362 |3032 | 362 | 683 | 601 | 107k| 26k| 0.000000e+00 | -- | Inf
1414.76/1415.06 c 1415s| 2150k| 263 | 18830k| 8.8 | 15M| 65 | - | 362 |3253 | 0 | 0 | 601 | 108k| 26k| 0.000000e+00 | -- | Inf
1420.96/1421.22 c 1421s| 2160k| 265 | 18911k| 8.8 | 15M| 65 | - | 362 |3430 | 0 | 0 | 601 | 108k| 26k| 0.000000e+00 | -- | Inf
1427.47/1427.74 c 1428s| 2170k| 271 | 18999k| 8.8 | 15M| 65 | - | 362 |3492 | 362 | 683 | 601 | 109k| 26k| 0.000000e+00 | -- | Inf
1434.37/1434.61 c 1435s| 2180k| 271 | 19092k| 8.8 | 15M| 65 | - | 362 |3514 | 0 | 0 | 601 | 109k| 26k| 0.000000e+00 | -- | Inf
1441.16/1441.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1441.16/1441.46 c 1441s| 2190k| 275 | 19185k| 8.8 | 15M| 65 | - | 362 |3540 | 0 | 0 | 601 | 110k| 26k| 0.000000e+00 | -- | Inf
1447.76/1448.04 c 1448s| 2200k| 268 | 19275k| 8.8 | 15M| 65 | - | 362 |3638 | 362 | 683 | 601 | 110k| 26k| 0.000000e+00 | -- | Inf
1454.96/1455.25 c 1455s| 2210k| 288 | 19374k| 8.8 | 15M| 70 | 28 | 362 |3587 | 362 | 683 | 601 | 110k| 26k| 0.000000e+00 | -- | Inf
1462.36/1462.62 c 1463s| 2220k| 266 | 19474k| 8.8 | 15M| 70 | 27 | 362 |3418 | 362 | 683 | 601 | 111k| 27k| 0.000000e+00 | -- | Inf
1468.85/1469.18 c 1469s| 2230k| 264 | 19562k| 8.8 | 15M| 70 | 27 | 362 |3386 | 362 | 683 | 601 | 111k| 27k| 0.000000e+00 | -- | Inf
1474.46/1474.72 c 1475s| 2240k| 269 | 19633k| 8.8 | 15M| 70 | - | 362 |3572 | 0 | 0 | 601 | 112k| 27k| 0.000000e+00 | -- | Inf
1480.26/1480.50 c 1481s| 2250k| 264 | 19706k| 8.8 | 15M| 70 | 48 | 362 |3595 | 362 | 683 | 601 | 113k| 27k| 0.000000e+00 | -- | Inf
1485.96/1486.29 c 1486s| 2260k| 270 | 19781k| 8.8 | 15M| 70 | 28 | 362 |3717 | 362 | 683 | 601 | 113k| 27k| 0.000000e+00 | -- | Inf
1492.25/1492.57 c 1493s| 2270k| 271 | 19867k| 8.8 | 15M| 70 | - | 362 |3906 | 362 | 683 | 601 | 114k| 27k| 0.000000e+00 | -- | Inf
1498.15/1498.49 c 1498s| 2280k| 281 | 19945k| 8.7 | 15M| 70 | - | 362 |4139 | 0 | 0 | 601 | 114k| 27k| 0.000000e+00 | -- | Inf
1503.85/1504.17 c 1504s| 2290k| 300 | 20020k| 8.7 | 15M| 70 | 26 | 362 |4388 | 362 | 683 | 601 | 115k| 27k| 0.000000e+00 | -- | Inf
1509.65/1509.99 c 1510s| 2300k| 290 | 20096k| 8.7 | 15M| 70 | 35 | 362 |4374 | 362 | 683 | 601 | 115k| 27k| 0.000000e+00 | -- | Inf
1515.45/1515.77 c 1516s| 2310k| 294 | 20171k| 8.7 | 15M| 70 | - | 362 |4623 | 0 | 0 | 601 | 116k| 27k| 0.000000e+00 | -- | Inf
1521.45/1521.76 c 1522s| 2320k| 291 | 20249k| 8.7 | 15M| 70 | - | 362 |4616 | 362 | 683 | 601 | 116k| 27k| 0.000000e+00 | -- | Inf
1528.15/1528.44 c 1528s| 2330k| 312 | 20341k| 8.7 | 15M| 70 | - | 362 |4809 | 0 | 0 | 601 | 117k| 27k| 0.000000e+00 | -- | Inf
1534.75/1535.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1534.75/1535.04 c 1535s| 2340k| 311 | 20432k| 8.7 | 15M| 70 | 29 | 362 |4887 | 362 | 683 | 601 | 117k| 27k| 0.000000e+00 | -- | Inf
1541.34/1541.68 c 1542s| 2350k| 312 | 20521k| 8.7 | 15M| 70 | - | 362 |4801 | 0 | 0 | 601 | 118k| 27k| 0.000000e+00 | -- | Inf
1547.55/1547.80 c 1548s| 2360k| 310 | 20604k| 8.7 | 15M| 70 | 36 | 362 |4785 | 362 | 683 | 601 | 118k| 27k| 0.000000e+00 | -- | Inf
1553.84/1554.16 c 1554s| 2370k| 324 | 20688k| 8.7 | 15M| 70 | 27 | 362 |4739 | 362 | 683 | 601 | 119k| 27k| 0.000000e+00 | -- | Inf
1559.64/1559.93 c 1560s| 2380k| 342 | 20761k| 8.7 | 15M| 70 | - | 362 |4851 | 0 | 0 | 601 | 119k| 27k| 0.000000e+00 | -- | Inf
1565.34/1565.63 c 1566s| 2390k| 337 | 20833k| 8.7 | 15M| 70 | 23 | 362 |4959 | 362 | 683 | 601 | 120k| 27k| 0.000000e+00 | -- | Inf
1571.24/1571.52 c 1572s| 2400k| 338 | 20910k| 8.7 | 15M| 70 | - | 362 |4991 | 0 | 0 | 601 | 120k| 27k| 0.000000e+00 | -- | Inf
1577.15/1577.47 c 1577s| 2410k| 326 | 20986k| 8.7 | 15M| 70 | 24 | 362 |4969 | 362 | 683 | 601 | 121k| 27k| 0.000000e+00 | -- | Inf
1583.74/1584.04 c 1584s| 2420k| 308 | 21074k| 8.7 | 15M| 70 | 44 | 362 |4649 | 362 | 683 | 601 | 121k| 27k| 0.000000e+00 | -- | Inf
1589.84/1590.10 c 1590s| 2430k| 321 | 21156k| 8.7 | 15M| 70 | 17 | 362 |4688 | 362 | 683 | 601 | 122k| 27k| 0.000000e+00 | -- | Inf
1595.94/1596.25 c 1596s| 2440k| 311 | 21237k| 8.7 | 15M| 70 | - | 362 |4729 | 362 | 683 | 601 | 122k| 28k| 0.000000e+00 | -- | Inf
1601.54/1601.85 c 1602s| 2450k| 310 | 21308k| 8.7 | 15M| 70 | - | 362 |4855 | 0 | 0 | 601 | 123k| 28k| 0.000000e+00 | -- | Inf
1606.93/1607.29 c 1607s| 2460k| 340 | 21376k| 8.7 | 16M| 70 | - | 362 |5032 | 0 | 0 | 601 | 123k| 28k| 0.000000e+00 | -- | Inf
1612.53/1612.86 c 1613s| 2470k| 317 | 21445k| 8.7 | 15M| 70 | 37 | 362 |4920 | 362 | 683 | 601 | 124k| 28k| 0.000000e+00 | -- | Inf
1618.23/1618.56 c 1619s| 2480k| 317 | 21518k| 8.7 | 15M| 70 | - | 362 |4996 | 0 | 0 | 601 | 124k| 28k| 0.000000e+00 | -- | Inf
1624.74/1625.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1624.74/1625.04 c 1625s| 2490k| 304 | 21604k| 8.7 | 15M| 70 | - | 362 |4745 | 362 | 683 | 601 | 125k| 28k| 0.000000e+00 | -- | Inf
1630.73/1631.08 c 1631s| 2500k| 313 | 21684k| 8.7 | 15M| 70 | 26 | 362 |4748 | 362 | 683 | 601 | 125k| 28k| 0.000000e+00 | -- | Inf
1637.23/1637.51 c 1638s| 2510k| 318 | 21770k| 8.7 | 15M| 70 | 38 | 362 |4816 | 362 | 683 | 601 | 126k| 28k| 0.000000e+00 | -- | Inf
1643.33/1643.61 c 1644s| 2520k| 314 | 21850k| 8.7 | 15M| 70 | - | 362 |4577 | 0 | 0 | 601 | 126k| 28k| 0.000000e+00 | -- | Inf
1649.63/1649.99 c 1650s| 2530k| 316 | 21936k| 8.7 | 15M| 70 | 33 | 362 |4623 | 362 | 683 | 601 | 127k| 28k| 0.000000e+00 | -- | Inf
1656.03/1656.35 c 1656s| 2540k| 365 | 22021k| 8.7 | 16M| 70 | - | 362 |4715 | 362 | 683 | 601 | 127k| 28k| 0.000000e+00 | -- | Inf
1662.53/1662.89 c 1663s| 2550k| 327 | 22108k| 8.7 | 15M| 70 | 22 | 362 |4746 | 362 | 683 | 601 | 128k| 28k| 0.000000e+00 | -- | Inf
1669.23/1669.57 c 1670s| 2560k| 325 | 22199k| 8.7 | 15M| 70 | 37 | 362 |4663 | 362 | 683 | 601 | 128k| 28k| 0.000000e+00 | -- | Inf
1676.03/1676.35 c 1676s| 2570k| 349 | 22291k| 8.7 | 16M| 70 | 31 | 362 |4773 | 362 | 683 | 601 | 128k| 28k| 0.000000e+00 | -- | Inf
1682.43/1682.76 c 1683s| 2580k| 354 | 22376k| 8.7 | 16M| 70 | 26 | 362 |4769 | 362 | 683 | 601 | 129k| 28k| 0.000000e+00 | -- | Inf
1688.82/1689.12 c 1689s| 2590k| 342 | 22458k| 8.7 | 16M| 70 | 41 | 362 |4801 | 362 | 683 | 601 | 129k| 28k| 0.000000e+00 | -- | Inf
1695.32/1695.67 c 1696s| 2600k| 347 | 22547k| 8.7 | 15M| 70 | 36 | 362 |4633 | 362 | 683 | 601 | 130k| 28k| 0.000000e+00 | -- | Inf
1702.32/1702.60 c 1703s| 2610k| 353 | 22643k| 8.7 | 15M| 70 | - | 362 |4234 | 0 | 0 | 601 | 130k| 28k| 0.000000e+00 | -- | Inf
1709.12/1709.47 c 1709s| 2620k| 358 | 22738k| 8.7 | 15M| 70 | 22 | 362 |4341 | 362 | 683 | 601 | 130k| 28k| 0.000000e+00 | -- | Inf
1715.91/1716.21 c 1716s| 2630k| 334 | 22830k| 8.7 | 15M| 70 | - | 362 |4299 | 0 | 0 | 601 | 131k| 28k| 0.000000e+00 | -- | Inf
1722.32/1722.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1722.32/1722.61 c 1723s| 2640k| 337 | 22917k| 8.7 | 15M| 70 | - | 362 |4334 | 362 | 683 | 601 | 131k| 28k| 0.000000e+00 | -- | Inf
1728.42/1728.71 c 1729s| 2650k| 338 | 22998k| 8.7 | 15M| 70 | - | 362 |4404 | 0 | 0 | 601 | 132k| 28k| 0.000000e+00 | -- | Inf
1735.31/1735.65 c 1736s| 2660k| 308 | 23093k| 8.7 | 15M| 70 | - | 362 |4228 | 0 | 0 | 601 | 132k| 28k| 0.000000e+00 | -- | Inf
1741.91/1742.23 c 1742s| 2670k| 310 | 23183k| 8.7 | 15M| 70 | 25 | 362 |4311 | 362 | 683 | 601 | 133k| 28k| 0.000000e+00 | -- | Inf
1747.92/1748.28 c 1748s| 2680k| 314 | 23263k| 8.7 | 15M| 70 | - | 362 |4427 | 0 | 0 | 601 | 133k| 28k| 0.000000e+00 | -- | Inf
1754.42/1754.71 c 1755s| 2690k| 312 | 23351k| 8.7 | 15M| 70 | - | 362 |4502 | 0 | 0 | 601 | 134k| 28k| 0.000000e+00 | -- | Inf
1760.61/1760.96 c 1761s| 2700k| 324 | 23434k| 8.7 | 15M| 70 | 29 | 362 |4554 | 362 | 683 | 601 | 134k| 29k| 0.000000e+00 | -- | Inf
1767.11/1767.43 c 1767s| 2710k| 324 | 23522k| 8.7 | 15M| 70 | - | 362 |4565 | 362 | 683 | 601 | 135k| 29k| 0.000000e+00 | -- | Inf
1773.61/1773.95 c 1774s| 2720k| 332 | 23610k| 8.7 | 15M| 70 | 30 | 362 |4671 | 362 | 683 | 601 | 135k| 29k| 0.000000e+00 | -- | Inf
1780.21/1780.54 c 1781s| 2730k| 342 | 23697k| 8.7 | 16M| 70 | - | 362 |4783 | 0 | 0 | 601 | 135k| 29k| 0.000000e+00 | -- | Inf
1786.81/1787.15 c 1787s| 2740k| 349 | 23787k| 8.7 | 16M| 70 | 38 | 362 |4827 | 362 | 683 | 601 | 136k| 29k| 0.000000e+00 | -- | Inf
1793.40/1793.73 c 1794s| 2750k| 343 | 23874k| 8.7 | 16M| 70 | - | 362 |4862 | 362 | 683 | 601 | 136k| 29k| 0.000000e+00 | -- | Inf
1796.71/1797.00 c
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Solving Time (sec) : 1797.00
1796.71/1797.00 c Solving Nodes : 2754900
1796.71/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.71/1797.00 c Dual Bound : +0.00000000000000e+00
1796.71/1797.00 c Gap : infinite
1796.71/1797.00 s UNKNOWN
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Total Time : 1797.00
1796.71/1797.00 c solving : 1797.00
1796.71/1797.00 c presolving : 0.02 (included in solving)
1796.71/1797.00 c reading : 0.01 (included in solving)
1796.71/1797.00 c Original Problem :
1796.71/1797.00 c Problem name : HOME/instance-3729079-1338680836.opb
1796.71/1797.00 c Variables : 370 (370 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 557 initial, 557 maximal
1796.71/1797.00 c Presolved Problem :
1796.71/1797.00 c Problem name : t_HOME/instance-3729079-1338680836.opb
1796.71/1797.00 c Variables : 362 (362 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 545 initial, 5105 maximal
1796.71/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c implics : 0.00 0 8 0 0 0 0 0 0 0
1796.71/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c setppc : 0.00 0 0 0 0 0 12 0 0 0
1796.71/1797.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c root node : - 0 - - 0 - - - - -
1796.71/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c integral : 0 0 0 1387714 0 1 0 1032 5049 0 0 2765634
1796.71/1797.00 c knapsack : 244 5 6926728 0 0 0 17906476 930755 26942987 528 0 0
1796.71/1797.00 c setppc : 181 5 5902938 0 0 0 3508640 3935 7657766 0 0 0
1796.71/1797.00 c logicor : 120+ 5 4554095 0 0 0 91272 19370 4355548 0 0 0
1796.71/1797.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.71/1797.00 c integral : 52.75 0.00 0.00 52.75 0.00 0.00 0.00
1796.71/1797.00 c knapsack : 103.03 0.01 87.41 0.00 0.00 0.00 15.61
1796.71/1797.00 c setppc : 18.01 0.00 15.49 0.00 0.00 0.00 2.52
1796.71/1797.00 c logicor : 34.84 0.00 34.68 0.00 0.00 0.00 0.16
1796.71/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.71/1797.00 c vbounds : 0 0 0 0
1796.71/1797.00 c rootredcost : 0 0 0 0
1796.71/1797.00 c pseudoobj : 0 0 0 0
1796.71/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1796.71/1797.00 c vbounds : 4.61 4.61 0.00
1796.71/1797.00 c rootredcost : 4.55 4.55 0.00
1796.71/1797.00 c pseudoobj : 4.40 4.40 0.00
1796.71/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.00 c propagation : 43.12 144334 128140 949342 81.6 1522 81.7 -
1796.71/1797.00 c infeasible LP : 33.60 426967 0 0 0.0 0 0.0 0
1796.71/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.00 c applied globally : - - - 132557 19.1 - - -
1796.71/1797.00 c applied locally : - - - 4498 42.9 - - -
1796.71/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.71/1797.00 c cut pool : 0.00 4 - - 294 - (maximal pool size: 2215)
1796.71/1797.00 c redcost : 9.72 1385754 0 0 0 0
1796.71/1797.00 c impliedbounds : 0.00 5 0 0 969 0
1796.71/1797.00 c intobj : 0.00 0 0 0 0 0
1796.71/1797.00 c gomory : 0.21 5 0 0 226 0
1796.71/1797.00 c cgmip : 0.00 0 0 0 0 0
1796.71/1797.00 c closecuts : 0.00 0 0 0 0 0
1796.71/1797.00 c strongcg : 0.21 5 0 0 2218 0
1796.71/1797.00 c cmir : 0.00 0 0 0 0 0
1796.71/1797.00 c flowcover : 0.00 0 0 0 0 0
1796.71/1797.00 c clique : 0.01 1 0 0 0 0
1796.71/1797.00 c zerohalf : 0.00 0 0 0 0 0
1796.71/1797.00 c mcf : 0.00 1 0 0 0 0
1796.71/1797.00 c oddcycle : 0.00 0 0 0 0 0
1796.71/1797.00 c rapidlearning : 0.04 1 0 0 0 0
1796.71/1797.00 c Pricers : Time Calls Vars
1796.71/1797.00 c problem variables: 0.00 0 0
1796.71/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c relpscost : 49.68 1387714 1032 5049 0 0 2765634
1796.71/1797.00 c pscost : 0.00 0 0 0 0 0 0
1796.71/1797.00 c inference : 0.00 0 0 0 0 0 0
1796.71/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1796.71/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1796.71/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1796.71/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1796.71/1797.00 c random : 0.00 0 0 0 0 0 0
1796.71/1797.00 c Primal Heuristics : Time Calls Found
1796.71/1797.00 c LP solutions : 0.00 - 0
1796.71/1797.00 c pseudo solutions : 0.00 - 0
1796.71/1797.00 c trivial : 0.00 1 0
1796.71/1797.00 c shiftandpropagate: 0.00 0 0
1796.71/1797.00 c simplerounding : 0.00 0 0
1796.71/1797.00 c zirounding : 0.00 0 0
1796.71/1797.00 c rounding : 0.00 0 0
1796.71/1797.00 c shifting : 0.00 0 0
1796.71/1797.00 c intshifting : 0.00 0 0
1796.71/1797.00 c oneopt : 0.00 0 0
1796.71/1797.00 c twoopt : 0.00 0 0
1796.71/1797.00 c fixandinfer : 0.00 0 0
1796.71/1797.00 c feaspump : 0.00 0 0
1796.71/1797.00 c clique : 0.00 0 0
1796.71/1797.00 c coefdiving : 0.00 0 0
1796.71/1797.00 c pscostdiving : 0.00 0 0
1796.71/1797.00 c fracdiving : 0.00 0 0
1796.71/1797.00 c veclendiving : 0.00 0 0
1796.71/1797.00 c intdiving : 0.00 0 0
1796.71/1797.00 c actconsdiving : 0.00 0 0
1796.71/1797.00 c objpscostdiving : 0.00 0 0
1796.71/1797.00 c rootsoldiving : 0.00 0 0
1796.71/1797.00 c linesearchdiving : 0.00 0 0
1796.71/1797.00 c guideddiving : 0.00 0 0
1796.71/1797.00 c octane : 0.00 0 0
1796.71/1797.00 c rens : 0.00 0 0
1796.71/1797.00 c rins : 0.00 0 0
1796.71/1797.00 c localbranching : 0.00 0 0
1796.71/1797.00 c mutation : 0.00 0 0
1796.71/1797.00 c crossover : 0.00 0 0
1796.71/1797.00 c dins : 0.00 0 0
1796.71/1797.00 c vbounds : 0.00 0 0
1796.71/1797.00 c undercover : 0.00 0 0
1796.71/1797.00 c subnlp : 0.00 0 0
1796.71/1797.00 c trysol : 0.00 0 0
1796.71/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1796.71/1797.00 c primal LP : 0.00 0 0 0.00 -
1796.71/1797.00 c dual LP : 1251.58 1812741 23918740 13.19 19110.81
1796.71/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.00 c barrier LP : 0.00 0 0 0.00 -
1796.71/1797.00 c diving/probing LP: 0.00 0 0 0.00 -
1796.71/1797.00 c strong branching : 33.55 29255 458710 15.68 13672.18
1796.71/1797.00 c (at root node) : - 10 2799 279.90 -
1796.71/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.00 c B&B Tree :
1796.71/1797.00 c number of runs : 1
1796.71/1797.00 c nodes : 2754900
1796.71/1797.00 c nodes (total) : 2754900
1796.71/1797.00 c nodes left : 347
1796.71/1797.00 c max depth : 70
1796.71/1797.00 c max depth (total): 70
1796.71/1797.00 c backtracks : 381844 (13.9%)
1796.71/1797.00 c delayed cutoffs : 10388
1796.71/1797.00 c repropagations : 279450 (740760 domain reductions, 9976 cutoffs)
1796.71/1797.00 c avg switch length: 2.78
1796.71/1797.00 c switching time : 89.85
1796.71/1797.00 c Solution :
1796.71/1797.00 c Solutions found : 0 (0 improvements)
1796.71/1797.00 c Primal Bound : -
1796.71/1797.00 c Dual Bound : +0.00000000000000e+00
1796.71/1797.00 c Gap : infinite
1796.71/1797.00 c Root Dual Bound : +0.00000000000000e+00
1796.71/1797.00 c Root Iterations : 1270
1796.71/1797.02 c Time complete: 1796.73.
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-3729079-1338680836/watcher-3729079-1338680836 -o /tmp/evaluation-result-3729079-1338680836/solver-3729079-1338680836 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3729079-1338680836.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.00 1.66 3/176 1925
/proc/meminfo: memFree=27754068/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=10952 CPUtime=0 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 1637 0 0 0 0 0 0 0 20 0 1 0 334150590 11214848 1591 33554432000 4194304 9016284 140735606687440 140735606686376 7870589 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 2738 1600 340 1178 0 1556 0
[startup+0.0897769 s]
/proc/loadavg: 2.01 2.00 1.66 3/176 1925
/proc/meminfo: memFree=27754068/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=37424 CPUtime=0.08 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 8264 0 0 0 7 1 0 0 20 0 1 0 334150590 38322176 7961 33554432000 4194304 9016284 140735606687440 140735606686376 4919543 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 9356 7961 666 1178 0 8174 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 37424
[startup+0.100358 s]
/proc/loadavg: 2.01 2.00 1.66 3/176 1925
/proc/meminfo: memFree=27754068/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=38080 CPUtime=0.09 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 8456 0 0 0 8 1 0 0 20 0 1 0 334150590 38993920 8153 33554432000 4194304 9016284 140735606687440 140735606686376 4991007 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 9520 8153 674 1178 0 8338 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38080
[startup+0.300287 s]
/proc/loadavg: 2.01 2.00 1.66 3/176 1925
/proc/meminfo: memFree=27754068/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=27500 CPUtime=0.29 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 9433 0 0 0 28 1 0 0 20 0 1 0 334150590 28160000 5780 33554432000 4194304 9016284 140735606687440 140735606686376 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 6875 5780 682 1178 0 5693 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27500
[startup+0.70029 s]
/proc/loadavg: 2.01 2.00 1.66 3/176 1925
/proc/meminfo: memFree=27754068/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=36808 CPUtime=0.69 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 11798 0 0 0 67 2 0 0 20 0 1 0 334150590 37691392 8137 33554432000 4194304 9016284 140735606687440 140735606686376 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 9202 8137 683 1178 0 8020 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36808
[startup+1.50023 s]
/proc/loadavg: 2.01 2.00 1.66 3/177 1926
/proc/meminfo: memFree=27724192/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=36976 CPUtime=1.49 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 11891 0 0 0 146 3 0 0 20 0 1 0 334150590 37863424 8228 33554432000 4194304 9016284 140735606687440 140735606681192 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 9244 8228 687 1178 0 8062 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36976
[startup+3.10023 s]
/proc/loadavg: 2.01 2.00 1.66 3/177 1926
/proc/meminfo: memFree=27723820/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=36976 CPUtime=3.08 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 11891 0 0 0 303 5 0 0 20 0 1 0 334150590 37863424 8228 33554432000 4194304 9016284 140735606687440 140735606681192 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 9244 8228 687 1178 0 8062 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 36976
[startup+6.30023 s]
/proc/loadavg: 2.01 2.00 1.66 3/177 1926
/proc/meminfo: memFree=27723332/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=36976 CPUtime=6.28 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 11891 0 0 0 618 10 0 0 20 0 1 0 334150590 37863424 8228 33554432000 4194304 9016284 140735606687440 140735606680488 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 9244 8228 687 1178 0 8062 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 36976
[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 1.67 3/177 1926
/proc/meminfo: memFree=27723332/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=36976 CPUtime=12.69 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 11891 0 0 0 1248 21 0 0 20 0 1 0 334150590 37863424 8228 33554432000 4194304 9016284 140735606687440 140735606681304 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 9244 8228 687 1178 0 8062 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36976
[startup+25.5002 s]
/proc/loadavg: 2.01 2.00 1.67 3/177 1926
/proc/meminfo: memFree=27722772/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=36976 CPUtime=25.48 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 11916 0 0 0 2507 41 0 0 20 0 1 0 334150590 37863424 8415 33554432000 4194304 9016284 140735606687440 140735606681768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 9244 8415 687 1178 0 8062 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36976
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.68 3/177 1926
/proc/meminfo: memFree=27721764/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=37676 CPUtime=51.08 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 12111 0 0 0 5026 82 0 0 20 0 1 0 334150590 38580224 8751 33554432000 4194304 9016284 140735606687440 140735606681304 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 9419 8751 687 1178 0 8237 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 37676
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.69 3/177 1926
/proc/meminfo: memFree=27718540/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=37960 CPUtime=102.27 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 12160 0 0 0 10068 159 0 0 20 0 1 0 334150590 38871040 8800 33554432000 4194304 9016284 140735606687440 140735606681304 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 9490 8800 687 1178 0 8308 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 37960
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.71 3/177 1926
/proc/meminfo: memFree=27717048/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=38836 CPUtime=162.26 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 12390 0 0 0 15971 255 0 0 20 0 1 0 334150590 39768064 9030 33554432000 4194304 9016284 140735606687440 140735606681768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 9709 9030 687 1178 0 8527 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 38836
[startup+222.3 s]
/proc/loadavg: 1.96 1.98 1.72 3/178 1968
/proc/meminfo: memFree=27845076/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=38836 CPUtime=222.25 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 12399 0 0 0 21875 350 0 0 20 0 1 0 334150590 39768064 9038 33554432000 4194304 9016284 140735606687440 140735606681768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 9709 9038 687 1178 0 8527 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 38836
[startup+282.3 s]
/proc/loadavg: 1.98 1.98 1.74 3/177 1968
/proc/meminfo: memFree=27844088/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=39196 CPUtime=282.23 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 12460 0 0 0 27781 442 0 0 20 0 1 0 334150590 40136704 9099 33554432000 4194304 9016284 140735606687440 140735606681304 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 9799 9099 687 1178 0 8617 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 39196
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.75 3/177 1968
/proc/meminfo: memFree=27843220/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=39196 CPUtime=342.23 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 12474 0 0 0 33694 529 0 0 20 0 1 0 334150590 40136704 9113 33554432000 4194304 9016284 140735606687440 140735606681768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 9799 9113 687 1178 0 8617 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 39196
[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.76 3/177 1968
/proc/meminfo: memFree=27841856/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=39780 CPUtime=402.22 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 12638 0 0 0 39603 619 0 0 20 0 1 0 334150590 40734720 9277 33554432000 4194304 9016284 140735606687440 140735606681768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 9945 9277 687 1178 0 8763 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 39780
[startup+462.3 s]
/proc/loadavg: 2.12 2.02 1.78 3/177 1968
/proc/meminfo: memFree=27841484/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=40072 CPUtime=462.21 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 12679 0 0 0 45512 709 0 0 20 0 1 0 334150590 41033728 9318 33554432000 4194304 9016284 140735606687440 140735606681720 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 10018 9318 687 1178 0 8836 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 40072
[startup+522.3 s]
/proc/loadavg: 2.04 2.01 1.79 3/177 1969
/proc/meminfo: memFree=27841420/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=40224 CPUtime=522.2 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 12722 0 0 0 51426 794 0 0 20 0 1 0 334150590 41189376 9361 33554432000 4194304 9016284 140735606687440 140735606680488 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 10056 9361 687 1178 0 8874 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 40224
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 1.81 3/177 1969
/proc/meminfo: memFree=27841172/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=40396 CPUtime=582.19 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 12760 0 0 0 57339 880 0 0 20 0 1 0 334150590 41365504 9399 33554432000 4194304 9016284 140735606687440 140735606681768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 10099 9399 687 1178 0 8917 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 40396
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27837580/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=41808 CPUtime=1122.11 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 13115 0 0 0 110502 1709 0 0 20 0 1 0 334150590 42811392 9753 33554432000 4194304 9016284 140735606687440 140735606681400 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 10452 9753 687 1178 0 9270 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 41808
[startup+1182.3 s]
/proc/loadavg: 2.18 2.05 1.90 3/177 1997
/proc/meminfo: memFree=27837448/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=41808 CPUtime=1182.1 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 13117 0 0 0 116407 1803 0 0 20 0 1 0 334150590 42811392 9755 33554432000 4194304 9016284 140735606687440 140735606681768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 10452 9755 687 1178 0 9270 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 41808
[startup+1242.3 s]
/proc/loadavg: 2.06 2.04 1.91 3/177 1997
/proc/meminfo: memFree=27837200/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=41808 CPUtime=1242.09 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 13123 0 0 0 122314 1895 0 0 20 0 1 0 334150590 42811392 9761 33554432000 4194304 9016284 140735606687440 140735606681768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 10452 9761 687 1178 0 9270 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 41808
[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 1.91 3/177 1997
/proc/meminfo: memFree=27837200/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=41808 CPUtime=1302.09 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 13131 0 0 0 128220 1989 0 0 20 0 1 0 334150590 42811392 9769 33554432000 4194304 9016284 140735606687440 140735606681768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 10452 9769 687 1178 0 9270 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 41808
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.91 3/177 1997
/proc/meminfo: memFree=27836952/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=41808 CPUtime=1362.07 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 13131 0 0 0 134124 2083 0 0 20 0 1 0 334150590 42811392 9769 33554432000 4194304 9016284 140735606687440 140735606681608 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 10452 9769 687 1178 0 9270 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 41808
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 1.91 3/178 2000
/proc/meminfo: memFree=27836448/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=41808 CPUtime=1422.07 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 13131 0 0 0 140035 2172 0 0 20 0 1 0 334150590 42811392 9769 33554432000 4194304 9016284 140735606687440 140735606681608 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 10452 9769 687 1178 0 9270 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 41808
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 2001
/proc/meminfo: memFree=27835216/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=41808 CPUtime=1482.05 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 13131 0 0 0 145941 2264 0 0 20 0 1 0 334150590 42811392 9769 33554432000 4194304 9016284 140735606687440 140735606681768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 10452 9769 687 1178 0 9270 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 41808
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 2001
/proc/meminfo: memFree=27835152/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=41808 CPUtime=1542.04 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 13144 0 0 0 151850 2354 0 0 20 0 1 0 334150590 42811392 9782 33554432000 4194304 9016284 140735606687440 140735606681768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 10452 9782 687 1178 0 9270 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 41808
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 2001
/proc/meminfo: memFree=27835028/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=41808 CPUtime=1602.04 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 13144 0 0 0 157759 2445 0 0 20 0 1 0 334150590 42811392 9782 33554432000 4194304 9016284 140735606687440 140735606681768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 10452 9782 687 1178 0 9270 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 41808
[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 1.91 3/177 2001
/proc/meminfo: memFree=27834780/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=42096 CPUtime=1662.02 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 13187 0 0 0 163667 2535 0 0 20 0 1 0 334150590 43106304 9825 33554432000 4194304 9016284 140735606687440 140735606681768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 10524 9825 687 1178 0 9342 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 42096
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/177 2001
/proc/meminfo: memFree=27834780/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=42096 CPUtime=1722.02 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 13196 0 0 0 169575 2627 0 0 20 0 1 0 334150590 43106304 9834 33554432000 4194304 9016284 140735606687440 140735606681768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 10524 9834 687 1178 0 9342 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 42096
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 2002
/proc/meminfo: memFree=27834408/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=42096 CPUtime=1782.01 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 13197 0 0 0 175483 2718 0 0 20 0 1 0 334150590 43106304 9835 33554432000 4194304 9016284 140735606687440 140735606681608 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 10524 9835 687 1178 0 9342 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 42096
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 2002
/proc/meminfo: memFree=27834532/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=42096 CPUtime=1785.21 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 13197 0 0 0 175798 2723 0 0 20 0 1 0 334150590 43106304 9835 33554432000 4194304 9016284 140735606687440 140735606681768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 10524 9835 687 1178 0 9342 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 42096
[startup+1791.91 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 2002
/proc/meminfo: memFree=27834532/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=42096 CPUtime=1791.61 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 13197 0 0 0 176428 2733 0 0 20 0 1 0 334150590 43106304 9835 33554432000 4194304 9016284 140735606687440 140735606681352 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 10524 9835 687 1178 0 9342 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 42096
[startup+1795.1 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 2002
/proc/meminfo: memFree=27834656/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=42096 CPUtime=1794.81 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 13197 0 0 0 176742 2739 0 0 20 0 1 0 334150590 43106304 9835 33554432000 4194304 9016284 140735606687440 140735606681768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 10524 9835 687 1178 0 9342 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 42096
[startup+1795.9 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 2002
/proc/meminfo: memFree=27834656/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=42096 CPUtime=1795.6 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 13197 0 0 0 176820 2740 0 0 20 0 1 0 334150590 43106304 9835 33554432000 4194304 9016284 140735606687440 140735606681768 6817720 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 10524 9835 687 1178 0 9342 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 42096
[startup+1796.7 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 2002
/proc/meminfo: memFree=27834656/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=42096 CPUtime=1796.4 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 13197 0 0 0 176899 2741 0 0 20 0 1 0 334150590 43106304 9835 33554432000 4194304 9016284 140735606687440 140735606681768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 10524 9835 687 1178 0 9342 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 42096
[startup+1796.9 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 2002
/proc/meminfo: memFree=27834656/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=42096 CPUtime=1796.61 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 13197 0 0 0 176919 2742 0 0 20 0 1 0 334150590 43106304 9835 33554432000 4194304 9016284 140735606687440 140735606681768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 10524 9835 687 1178 0 9342 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 42096
[startup+1797 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 2002
/proc/meminfo: memFree=27834656/32873844 swapFree=7128/7128
[pid=1925] ppid=1923 vsize=42096 CPUtime=1796.71 cores=1,3,5,7
/proc/1925/stat : 1925 (scip-2.0.1.4b_2) R 1923 1925 25330 0 -1 4202496 13197 0 0 0 176929 2742 0 0 20 0 1 0 334150590 43106304 9835 33554432000 4194304 9016284 140735606687440 140735606681768 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1925/statm: 10524 9835 687 1178 0 9342 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 42096
Child status: 0
Real time (s): 1797.02
CPU time (s): 1796.74
CPU user time (s): 1769.31
CPU system time (s): 27.4228
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 42096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.31
system time used= 27.4228
maximum resident set size= 39348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13204
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= 14
involuntary context switches= 1850
runsolver used 2.66459 second user time and 7.15191 second system time
The end