0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 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-3733531-1338697786.opb>
0.00/0.00 c original problem has 70 variables (70 bin, 0 int, 0 impl, 0 cont) and 2 constraints
0.00/0.00 c problem read
0.00/0.00 c No objective function, only one solution is needed.
0.00/0.00 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01 c presolving (2 rounds):
0.00/0.01 c 0 deleted vars, 1 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 70 variables (70 bin, 0 int, 0 impl, 0 cont) and 1 constraints
0.00/0.01 c 1 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.3
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1790
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 13950
0.00/0.01 c
0.00/0.01 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c limits/solutions = 1
0.00/0.01 c
0.00/0.01 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.01 c separating/maxrounds = 1
0.00/0.01 c
0.00/0.01 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/maxroundsroot = 5
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.01 c constraints/knapsack/disaggregation = FALSE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c presolving/probing/maxrounds = 0
0.00/0.01 c
0.00/0.01 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.01 c heuristics/coefdiving/freq = -1
0.00/0.01 c
0.00/0.01 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.01 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.01 c
0.00/0.01 c # additional number of allowed LP iterations
0.00/0.01 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.01 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.01 c
0.00/0.01 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.01 c heuristics/crossover/freq = -1
0.00/0.01 c
0.00/0.01 c # number of nodes added to the contingent of the total nodes
0.00/0.01 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.01 c heuristics/crossover/nodesofs = 750
0.00/0.01 c
0.00/0.01 c # number of nodes without incumbent change that heuristic should wait
0.00/0.01 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.01 c heuristics/crossover/nwaitingnodes = 100
0.00/0.01 c
0.00/0.01 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.01 c # [type: real, range: [0,1], default: 0.1]
0.00/0.01 c heuristics/crossover/nodesquot = 0.15
0.00/0.01 c
0.00/0.01 c # minimum percentage of integer variables that have to be fixed
0.00/0.01 c # [type: real, range: [0,1], default: 0.666]
0.00/0.01 c heuristics/crossover/minfixingrate = 0.5
0.00/0.01 c
0.00/0.01 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.01 c heuristics/feaspump/freq = -1
0.00/0.01 c
0.00/0.01 c # additional number of allowed LP iterations
0.00/0.01 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.01 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.01 c
0.00/0.01 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.01 c heuristics/fracdiving/freq = -1
0.00/0.01 c
0.00/0.01 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.01 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.01 c
0.00/0.01 c # additional number of allowed LP iterations
0.00/0.01 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.01 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.01 c
0.00/0.01 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.01 c heuristics/guideddiving/freq = -1
0.00/0.01 c
0.00/0.01 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.01 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.01 c
0.00/0.01 c # additional number of allowed LP iterations
0.00/0.01 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.01 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.01 c
0.00/0.01 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.01 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.01 c
0.00/0.01 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.01 c heuristics/intshifting/freq = -1
0.00/0.01 c
0.00/0.01 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.01 c heuristics/linesearchdiving/freq = -1
0.00/0.01 c
0.00/0.01 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.01 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.01 c
0.00/0.01 c # additional number of allowed LP iterations
0.00/0.01 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.01 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.01 c
0.00/0.01 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.01 c heuristics/nlp/freq = -1
0.00/0.01 c
0.00/0.01 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.01 c heuristics/objpscostdiving/freq = -1
0.00/0.01 c
0.00/0.01 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.01 c # [type: real, range: [0,1], default: 0.01]
0.00/0.01 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.01 c
0.00/0.01 c # additional number of allowed LP iterations
0.00/0.01 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.01 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.01 c
0.00/0.01 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.01 c heuristics/oneopt/freq = -1
0.00/0.01 c
0.00/0.01 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.01 c heuristics/pscostdiving/freq = -1
0.00/0.01 c
0.00/0.01 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.01 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.01 c
0.00/0.01 c # additional number of allowed LP iterations
0.00/0.01 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.01 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.01 c
0.00/0.01 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.01 c heuristics/rens/freq = -1
0.00/0.01 c
0.00/0.01 c # minimum percentage of integer variables that have to be fixable
0.00/0.01 c # [type: real, range: [0,1], default: 0.5]
0.00/0.01 c heuristics/rens/minfixingrate = 0.3
0.00/0.01 c
0.00/0.01 c # number of nodes added to the contingent of the total nodes
0.00/0.01 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.01 c heuristics/rens/nodesofs = 2000
0.00/0.01 c
0.00/0.01 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.01 c heuristics/rootsoldiving/freq = -1
0.00/0.01 c
0.00/0.01 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.01 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.01 c
0.00/0.01 c # additional number of allowed LP iterations
0.00/0.01 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.01 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.01 c
0.00/0.01 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.01 c heuristics/rounding/freq = -1
0.00/0.01 c
0.00/0.01 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.01 c heuristics/shifting/freq = -1
0.00/0.01 c
0.00/0.01 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.01 c heuristics/simplerounding/freq = -1
0.00/0.01 c
0.00/0.01 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.01 c heuristics/trivial/freq = -1
0.00/0.01 c
0.00/0.01 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.01 c heuristics/trysol/freq = -1
0.00/0.01 c
0.00/0.01 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.01 c heuristics/veclendiving/freq = -1
0.00/0.01 c
0.00/0.01 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.01 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.01 c
0.00/0.01 c # additional number of allowed LP iterations
0.00/0.01 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.01 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.01 c
0.00/0.01 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.01 c heuristics/zirounding/freq = -1
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.01 c separating/cmir/freq = -1
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.01 c separating/flowcover/freq = -1
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 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.01 c 0.0s| 1 | 0 | 2 | - | 240k| 0 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.02 c 0.0s| 1 | 2 | 2 | - | 240k| 0 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.56 c 0.6s| 10000 | 1243 | 7861 | 0.8 |1394k| 34 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.10 c 1.1s| 20000 | 2517 | 15784 | 0.8 |2441k| 36 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.59/1.65 c 1.6s| 30000 | 3757 | 23692 | 0.8 |3469k| 39 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.19/2.21 c 2.2s| 40000 | 4987 | 31532 | 0.8 |4475k| 40 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.68/2.77 c 2.8s| 50000 | 6085 | 39354 | 0.8 |5353k| 40 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.29/3.35 c 3.3s| 60000 | 7039 | 47048 | 0.8 |6086k| 41 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.89/3.92 c 3.9s| 70000 | 8097 | 54861 | 0.8 |6889k| 41 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
4.40/4.48 c 4.5s| 80000 | 9261 | 62682 | 0.8 |7813k| 44 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
4.99/5.06 c 5.1s| 90000 | 10409 | 70554 | 0.8 |8693k| 44 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
5.58/5.64 c 5.6s|100000 | 11425 | 78305 | 0.8 |9484k| 44 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
6.18/6.25 c 6.2s|110000 | 12491 | 86092 | 0.8 | 10M| 45 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
6.78/6.88 c 6.9s|120000 | 13521 | 93845 | 0.8 | 11M| 45 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
7.38/7.45 c 7.4s|130000 | 14583 |101618 | 0.8 | 12M| 45 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
7.98/8.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.98/8.02 c 8.0s|140000 | 15567 |109354 | 0.8 | 12M| 45 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
8.58/8.63 c 8.6s|150000 | 16641 |117158 | 0.8 | 13M| 47 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
9.18/9.22 c 9.2s|160000 | 17859 |125003 | 0.8 | 14M| 47 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
9.79/9.83 c 9.8s|170000 | 19043 |132891 | 0.8 | 15M| 47 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
10.39/10.46 c 10.5s|180000 | 20083 |140687 | 0.8 | 16M| 47 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
10.99/11.08 c 11.1s|190000 | 21167 |148538 | 0.8 | 17M| 49 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
11.69/11.72 c 11.7s|200000 | 22239 |156344 | 0.8 | 18M| 49 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
12.29/12.37 c 12.4s|210000 | 23187 |164076 | 0.8 | 18M| 49 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
12.88/12.98 c 13.0s|220000 | 24091 |171725 | 0.8 | 19M| 49 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
13.58/13.66 c 13.7s|230000 | 24931 |179326 | 0.8 | 20M| 49 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
14.29/14.31 c 14.3s|240000 | 25791 |186920 | 0.8 | 20M| 50 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
14.88/14.99 c 15.0s|250000 | 26739 |194593 | 0.8 | 21M| 50 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
15.58/15.67 c 15.7s|260000 | 27627 |202181 | 0.8 | 22M| 50 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
16.29/16.33 c 16.3s|270000 | 28507 |209804 | 0.8 | 22M| 50 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
16.98/17.01 c 17.0s|280000 | 29335 |217362 | 0.8 | 23M| 50 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
17.59/17.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.59/17.69 c 17.7s|290000 | 30227 |224942 | 0.8 | 24M| 51 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
18.29/18.34 c 18.3s|300000 | 31141 |232595 | 0.8 | 25M| 51 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
18.98/19.04 c 19.0s|310000 | 32139 |240307 | 0.8 | 25M| 51 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
19.70/19.70 c 19.7s|320000 | 33045 |247937 | 0.8 | 26M| 51 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
20.29/20.38 c 20.4s|330000 | 33919 |255575 | 0.8 | 27M| 51 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
20.99/21.06 c 21.1s|340000 | 34751 |263161 | 0.8 | 27M| 51 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
21.68/21.75 c 21.7s|350000 | 35595 |270762 | 0.8 | 28M| 51 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
22.39/22.45 c 22.4s|360000 | 36441 |278331 | 0.8 | 29M| 51 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
23.09/23.11 c 23.1s|370000 | 37379 |286000 | 0.8 | 29M| 51 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
23.69/23.77 c 23.8s|380000 | 38329 |293676 | 0.8 | 30M| 51 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
24.38/24.44 c 24.4s|390000 | 39199 |301285 | 0.8 | 31M| 51 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
25.08/25.16 c 25.2s|400000 | 40129 |308971 | 0.8 | 32M| 51 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
25.78/25.86 c 25.9s|410000 | 41029 |316586 | 0.8 | 32M| 51 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
26.49/26.54 c 26.5s|420000 | 42041 |324318 | 0.8 | 33M| 51 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
27.18/27.22 c 27.2s|430000 | 43027 |331964 | 0.8 | 34M| 51 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
27.88/27.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.88/27.97 c 28.0s|440000 | 43933 |339619 | 0.8 | 35M| 51 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
28.59/28.64 c 28.6s|450000 | 44735 |347166 | 0.8 | 35M| 51 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
29.28/29.34 c 29.3s|460000 | 45597 |354733 | 0.8 | 36M| 51 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
29.98/30.06 c 30.1s|470000 | 46507 |362360 | 0.8 | 37M| 51 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
30.79/30.81 c 30.8s|480000 | 47361 |369967 | 0.8 | 37M| 54 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
31.48/31.52 c 31.5s|490000 | 48299 |377587 | 0.8 | 38M| 54 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
32.18/32.27 c 32.3s|500000 | 49273 |385295 | 0.8 | 39M| 54 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
32.89/32.97 c 33.0s|510000 | 50171 |392941 | 0.8 | 39M| 54 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
33.59/33.69 c 33.7s|520000 | 51037 |400527 | 0.8 | 40M| 54 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
34.39/34.45 c 34.4s|530000 | 51909 |408121 | 0.8 | 41M| 54 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
35.09/35.20 c 35.2s|540000 | 52903 |415815 | 0.8 | 42M| 54 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
35.88/35.93 c 35.9s|550000 | 53857 |423446 | 0.8 | 42M| 54 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
36.58/36.67 c 36.7s|560000 | 54835 |431093 | 0.8 | 43M| 55 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
37.39/37.43 c 37.4s|570000 | 55851 |438805 | 0.8 | 44M| 55 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
38.08/38.17 c 38.2s|580000 | 56759 |446433 | 0.8 | 45M| 55 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
38.88/38.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.88/38.91 c 38.9s|590000 | 57643 |454032 | 0.8 | 45M| 55 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
39.59/39.65 c 39.6s|600000 | 58601 |461727 | 0.8 | 46M| 55 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
40.28/40.33 c 40.3s|610000 | 59509 |469339 | 0.8 | 47M| 55 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
40.98/41.07 c 41.1s|620000 | 60425 |476990 | 0.8 | 47M| 55 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
41.69/41.78 c 41.8s|630000 | 61459 |484687 | 0.8 | 48M| 55 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
42.49/42.53 c 42.5s|640000 | 62521 |492451 | 0.8 | 49M| 55 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
43.29/43.31 c 43.3s|650000 | 63449 |500099 | 0.8 | 50M| 55 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
43.99/44.05 c 44.0s|660000 | 64381 |507748 | 0.8 | 50M| 55 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
44.79/44.82 c 44.8s|670000 | 65365 |515434 | 0.8 | 51M| 55 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
45.48/45.56 c 45.6s|680000 | 66383 |523136 | 0.8 | 52M| 55 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
46.28/46.35 c 46.3s|690000 | 67401 |530783 | 0.8 | 53M| 58 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
46.98/47.08 c 47.1s|700000 | 68485 |538520 | 0.8 | 54M| 58 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
47.78/47.82 c 47.8s|710000 | 69421 |546177 | 0.8 | 54M| 58 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
48.58/48.61 c 48.6s|720000 | 70225 |553676 | 0.8 | 55M| 58 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
49.28/49.37 c 49.4s|730000 | 71303 |561436 | 0.8 | 56M| 58 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
50.08/50.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.08/50.14 c 50.1s|740000 | 72225 |569087 | 0.8 | 57M| 58 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
50.88/50.94 c 50.9s|750000 | 73195 |576686 | 0.8 | 57M| 58 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
51.68/51.71 c 51.7s|760000 | 74237 |584393 | 0.8 | 58M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
52.38/52.49 c 52.5s|770000 | 75137 |592001 | 0.8 | 59M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
53.18/53.26 c 53.3s|780000 | 76173 |599649 | 0.8 | 60M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
53.98/54.04 c 54.0s|790000 | 77135 |607305 | 0.8 | 60M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
54.78/54.83 c 54.8s|800000 | 78095 |614917 | 0.8 | 61M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
55.58/55.63 c 55.6s|810000 | 79047 |622501 | 0.8 | 62M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
56.28/56.38 c 56.4s|820000 | 79959 |630111 | 0.8 | 63M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
57.09/57.17 c 57.2s|830000 | 81005 |637806 | 0.8 | 64M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
57.87/57.97 c 58.0s|840000 | 81951 |645408 | 0.8 | 64M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
58.68/58.76 c 58.8s|850000 | 82865 |652967 | 0.8 | 65M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
59.48/59.56 c 59.6s|860000 | 83897 |660659 | 0.8 | 66M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
60.27/60.35 c 60.3s|870000 | 84775 |668212 | 0.8 | 66M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
61.08/61.14 c 61.1s|880000 | 85731 |675850 | 0.8 | 67M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
61.78/61.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.78/61.89 c 61.9s|890000 | 86649 |683426 | 0.8 | 68M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
62.58/62.70 c 62.7s|900000 | 87593 |691024 | 0.8 | 69M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
63.38/63.48 c 63.5s|910000 | 88521 |698623 | 0.8 | 69M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
64.17/64.29 c 64.3s|920000 | 89457 |706180 | 0.8 | 70M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
64.98/65.05 c 65.0s|930000 | 90425 |713843 | 0.8 | 71M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
65.78/65.81 c 65.8s|940000 | 91387 |721480 | 0.8 | 72M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
66.48/66.59 c 66.6s|950000 | 92287 |729063 | 0.8 | 72M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
67.28/67.37 c 67.4s|960000 | 93245 |736677 | 0.8 | 73M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
68.08/68.16 c 68.2s|970000 | 94197 |744230 | 0.8 | 74M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
68.88/68.93 c 68.9s|980000 | 95105 |751796 | 0.8 | 75M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
69.68/69.71 c 69.7s|990000 | 95969 |759320 | 0.8 | 75M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
70.47/70.52 c 70.5s| 1000k| 96895 |766890 | 0.8 | 76M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
71.27/71.31 c 71.3s| 1010k| 97849 |774521 | 0.8 | 77M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
71.98/72.09 c 72.1s| 1020k| 98783 |782161 | 0.8 | 78M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
72.77/72.88 c 72.9s| 1030k| 99671 |789723 | 0.8 | 78M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
73.58/73.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.58/73.68 c 73.7s| 1040k|100709 |797369 | 0.8 | 79M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
74.38/74.46 c 74.5s| 1050k|101821 |805056 | 0.8 | 80M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
75.18/75.25 c 75.2s| 1060k|102773 |812640 | 0.8 | 81M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
75.98/76.05 c 76.0s| 1070k|103609 |820226 | 0.8 | 81M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
76.77/76.82 c 76.8s| 1080k|104627 |827870 | 0.8 | 82M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
77.58/77.60 c 77.6s| 1090k|105625 |835542 | 0.8 | 83M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
78.27/78.39 c 78.4s| 1100k|106583 |843186 | 0.8 | 84M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
79.09/79.18 c 79.2s| 1110k|107593 |850842 | 0.8 | 84M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
79.88/79.98 c 80.0s| 1120k|108643 |858481 | 0.8 | 85M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
80.78/80.80 c 80.8s| 1130k|109623 |866089 | 0.8 | 86M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
81.47/81.58 c 81.6s| 1140k|110557 |873651 | 0.8 | 87M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
82.27/82.40 c 82.4s| 1150k|111513 |881267 | 0.8 | 87M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
83.17/83.20 c 83.2s| 1160k|112403 |888789 | 0.8 | 88M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
83.98/84.01 c 84.0s| 1170k|113367 |896426 | 0.8 | 89M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
84.78/84.81 c 84.8s| 1180k|114471 |904168 | 0.8 | 90M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
85.47/85.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.47/85.59 c 85.6s| 1190k|115465 |911905 | 0.8 | 90M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
86.27/86.37 c 86.4s| 1200k|116397 |919564 | 0.8 | 91M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
87.07/87.16 c 87.2s| 1210k|117423 |927284 | 0.8 | 92M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
87.88/87.94 c 87.9s| 1220k|118395 |934950 | 0.8 | 93M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
88.67/88.72 c 88.7s| 1230k|119433 |942725 | 0.8 | 93M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
89.47/89.50 c 89.5s| 1240k|120411 |950423 | 0.8 | 94M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
90.18/90.28 c 90.3s| 1250k|121455 |958104 | 0.8 | 95M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
90.97/91.08 c 91.1s| 1260k|122607 |965904 | 0.8 | 96M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
91.77/91.88 c 91.9s| 1270k|123681 |973604 | 0.8 | 97M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
92.57/92.68 c 92.7s| 1280k|124845 |981430 | 0.8 | 98M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
93.38/93.47 c 93.5s| 1290k|125761 |989096 | 0.8 | 98M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
94.17/94.26 c 94.3s| 1300k|126887 |996831 | 0.8 | 99M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
94.86/94.99 c 95.0s| 1310k|128013 | 1004k| 0.8 | 100M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
95.77/95.83 c 95.8s| 1320k|128943 | 1012k| 0.8 | 101M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
96.46/96.59 c 96.6s| 1330k|130061 | 1019k| 0.8 | 102M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
97.37/97.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.37/97.40 c 97.4s| 1340k|131193 | 1027k| 0.8 | 102M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
98.16/98.21 c 98.2s| 1350k|132201 | 1035k| 0.8 | 103M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
98.87/98.98 c 99.0s| 1360k|133283 | 1043k| 0.8 | 104M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
99.67/99.79 c 99.8s| 1370k|134297 | 1050k| 0.8 | 105M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
100.57/100.60 c 101s| 1380k|135347 | 1058k| 0.8 | 106M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
101.26/101.37 c 101s| 1390k|136473 | 1066k| 0.8 | 106M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
102.06/102.13 c 102s| 1400k|137529 | 1074k| 0.8 | 107M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
102.86/102.93 c 103s| 1410k|138685 | 1081k| 0.8 | 108M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
103.66/103.73 c 104s| 1420k|139763 | 1089k| 0.8 | 109M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
104.47/104.53 c 105s| 1430k|141101 | 1097k| 0.8 | 110M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
105.26/105.31 c 105s| 1440k|142249 | 1105k| 0.8 | 111M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
106.06/106.13 c 106s| 1450k|143321 | 1112k| 0.8 | 111M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
106.86/106.94 c 107s| 1460k|144275 | 1120k| 0.8 | 112M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
107.67/107.72 c 108s| 1470k|145387 | 1128k| 0.8 | 113M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
108.36/108.48 c 108s| 1480k|146395 | 1136k| 0.8 | 114M| 59 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
109.16/109.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
109.16/109.28 c 109s| 1490k|147525 | 1143k| 0.8 | 114M| 59 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
109.96/110.04 c 110s| 1500k|148601 | 1151k| 0.8 | 115M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
110.76/110.85 c 111s| 1510k|149559 | 1159k| 0.8 | 116M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
111.56/111.63 c 112s| 1520k|150659 | 1166k| 0.8 | 117M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
112.36/112.43 c 112s| 1530k|151573 | 1174k| 0.8 | 117M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
113.16/113.21 c 113s| 1540k|152457 | 1182k| 0.8 | 118M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
113.86/113.95 c 114s| 1550k|153545 | 1189k| 0.8 | 119M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
114.66/114.74 c 115s| 1560k|154483 | 1197k| 0.8 | 120M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
115.46/115.51 c 116s| 1570k|155601 | 1205k| 0.8 | 120M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
116.26/116.31 c 116s| 1580k|156609 | 1212k| 0.8 | 121M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
117.06/117.10 c 117s| 1590k|157725 | 1220k| 0.8 | 122M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
117.75/117.90 c 118s| 1600k|158557 | 1228k| 0.8 | 123M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
118.55/118.64 c 119s| 1610k|159563 | 1235k| 0.8 | 123M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
119.35/119.43 c 119s| 1620k|160691 | 1243k| 0.8 | 124M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
120.15/120.24 c 120s| 1630k|161747 | 1251k| 0.8 | 125M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
120.96/121.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.96/121.01 c 121s| 1640k|162591 | 1258k| 0.8 | 126M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
121.75/121.82 c 122s| 1650k|163561 | 1266k| 0.8 | 126M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
122.55/122.63 c 123s| 1660k|164617 | 1274k| 0.8 | 127M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
123.25/123.38 c 123s| 1670k|165701 | 1282k| 0.8 | 128M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
124.05/124.16 c 124s| 1680k|166741 | 1289k| 0.8 | 129M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
124.85/124.95 c 125s| 1690k|167903 | 1297k| 0.8 | 130M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
125.65/125.74 c 126s| 1700k|168985 | 1305k| 0.8 | 130M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
126.46/126.51 c 127s| 1710k|170157 | 1313k| 0.8 | 131M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
127.15/127.28 c 127s| 1720k|171053 | 1320k| 0.8 | 132M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
128.05/128.10 c 128s| 1730k|171945 | 1328k| 0.8 | 133M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
128.75/128.88 c 129s| 1740k|173073 | 1336k| 0.8 | 134M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
129.54/129.67 c 130s| 1750k|174159 | 1344k| 0.8 | 134M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
130.35/130.46 c 130s| 1760k|175153 | 1351k| 0.8 | 135M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
131.15/131.25 c 131s| 1770k|176189 | 1359k| 0.8 | 136M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
131.95/132.01 c 132s| 1780k|177249 | 1367k| 0.8 | 137M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
132.75/132.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.75/132.82 c 133s| 1790k|178103 | 1375k| 0.8 | 137M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
133.55/133.62 c 134s| 1800k|179053 | 1382k| 0.8 | 138M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
134.24/134.38 c 134s| 1810k|180031 | 1390k| 0.8 | 139M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
135.05/135.15 c 135s| 1820k|180953 | 1398k| 0.8 | 139M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
135.85/135.95 c 136s| 1830k|181747 | 1405k| 0.8 | 140M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
136.65/136.78 c 137s| 1840k|182733 | 1413k| 0.8 | 141M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
137.45/137.53 c 138s| 1850k|183749 | 1421k| 0.8 | 142M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
138.24/138.33 c 138s| 1860k|184751 | 1428k| 0.8 | 142M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
139.04/139.14 c 139s| 1870k|185573 | 1436k| 0.8 | 143M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
139.84/139.95 c 140s| 1880k|186493 | 1444k| 0.8 | 144M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
140.65/140.76 c 141s| 1890k|187341 | 1451k| 0.8 | 144M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
141.54/141.60 c 142s| 1900k|188385 | 1459k| 0.8 | 145M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
142.34/142.44 c 142s| 1910k|189241 | 1467k| 0.8 | 146M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
143.14/143.22 c 143s| 1920k|190045 | 1474k| 0.8 | 146M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
143.95/144.01 c 144s| 1930k|190755 | 1482k| 0.8 | 147M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
144.74/144.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.74/144.82 c 145s| 1940k|191799 | 1490k| 0.8 | 148M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
145.54/145.64 c 146s| 1950k|192671 | 1497k| 0.8 | 148M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
146.34/146.45 c 146s| 1960k|193495 | 1505k| 0.8 | 149M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
147.14/147.22 c 147s| 1970k|194681 | 1513k| 0.8 | 150M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
147.94/148.01 c 148s| 1980k|195719 | 1521k| 0.8 | 150M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
148.64/148.78 c 149s| 1990k|196597 | 1528k| 0.8 | 151M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
149.44/149.58 c 150s| 2000k|197531 | 1536k| 0.8 | 152M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
150.24/150.35 c 150s| 2010k|198479 | 1544k| 0.8 | 152M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
151.04/151.12 c 151s| 2020k|199491 | 1551k| 0.8 | 153M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
151.75/151.88 c 152s| 2030k|200365 | 1559k| 0.8 | 154M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
152.53/152.67 c 153s| 2040k|201261 | 1567k| 0.8 | 154M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
153.34/153.46 c 153s| 2050k|201965 | 1574k| 0.8 | 155M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
154.13/154.26 c 154s| 2060k|202829 | 1582k| 0.8 | 156M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
154.94/155.02 c 155s| 2070k|203677 | 1589k| 0.8 | 156M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
155.73/155.81 c 156s| 2080k|204703 | 1597k| 0.8 | 157M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
156.44/156.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.44/156.58 c 157s| 2090k|205501 | 1605k| 0.8 | 158M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
157.24/157.34 c 157s| 2100k|206541 | 1612k| 0.8 | 159M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
158.04/158.12 c 158s| 2110k|207463 | 1620k| 0.8 | 159M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
158.83/158.90 c 159s| 2120k|208483 | 1628k| 0.8 | 160M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
159.64/159.71 c 160s| 2130k|209419 | 1635k| 0.8 | 161M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
160.33/160.50 c 160s| 2140k|210217 | 1643k| 0.8 | 161M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
161.24/161.31 c 161s| 2150k|210993 | 1651k| 0.8 | 162M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
161.94/162.09 c 162s| 2160k|212061 | 1658k| 0.8 | 163M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
162.74/162.89 c 163s| 2170k|212947 | 1666k| 0.8 | 163M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
163.53/163.67 c 164s| 2180k|213895 | 1674k| 0.8 | 164M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
164.34/164.43 c 164s| 2190k|214945 | 1681k| 0.8 | 165M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
165.14/165.24 c 165s| 2200k|215913 | 1689k| 0.8 | 166M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
165.94/166.05 c 166s| 2210k|216873 | 1697k| 0.8 | 166M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
166.73/166.85 c 167s| 2220k|217761 | 1704k| 0.8 | 167M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
167.53/167.66 c 168s| 2230k|218713 | 1712k| 0.8 | 168M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
168.33/168.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
168.33/168.47 c 168s| 2240k|219669 | 1720k| 0.8 | 168M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
169.13/169.28 c 169s| 2250k|220613 | 1727k| 0.8 | 169M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
169.94/170.06 c 170s| 2260k|221633 | 1735k| 0.8 | 170M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
170.73/170.82 c 171s| 2270k|222699 | 1743k| 0.8 | 171M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
171.43/171.58 c 172s| 2280k|223585 | 1751k| 0.8 | 171M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
172.33/172.42 c 172s| 2290k|224661 | 1758k| 0.8 | 172M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
173.13/173.21 c 173s| 2300k|225715 | 1766k| 0.8 | 173M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
173.84/173.98 c 174s| 2310k|226763 | 1774k| 0.8 | 174M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
174.63/174.74 c 175s| 2320k|227975 | 1782k| 0.8 | 175M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
175.43/175.52 c 176s| 2330k|229173 | 1789k| 0.8 | 176M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
176.23/176.30 c 176s| 2340k|230449 | 1797k| 0.8 | 177M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
176.93/177.08 c 177s| 2350k|231349 | 1805k| 0.8 | 177M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
177.73/177.85 c 178s| 2360k|232255 | 1813k| 0.8 | 178M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
178.53/178.67 c 179s| 2370k|233541 | 1820k| 0.8 | 179M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
179.43/179.50 c 179s| 2380k|234657 | 1828k| 0.8 | 180M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
180.24/180.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.24/180.30 c 180s| 2390k|235609 | 1836k| 0.8 | 180M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
181.03/181.10 c 181s| 2400k|236719 | 1844k| 0.8 | 181M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
181.83/181.90 c 182s| 2410k|237949 | 1852k| 0.8 | 182M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
182.63/182.70 c 183s| 2420k|239029 | 1859k| 0.8 | 183M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
183.43/183.51 c 184s| 2430k|239913 | 1867k| 0.8 | 184M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
184.23/184.34 c 184s| 2440k|240761 | 1874k| 0.8 | 184M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
185.03/185.17 c 185s| 2450k|241767 | 1882k| 0.8 | 185M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
185.83/185.99 c 186s| 2460k|242625 | 1890k| 0.8 | 186M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
186.73/186.82 c 187s| 2470k|243651 | 1897k| 0.8 | 186M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
187.53/187.66 c 188s| 2480k|244589 | 1905k| 0.8 | 187M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
188.33/188.47 c 188s| 2490k|245709 | 1913k| 0.8 | 188M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
189.13/189.27 c 189s| 2500k|246593 | 1920k| 0.8 | 189M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
189.92/190.09 c 190s| 2510k|247527 | 1928k| 0.8 | 189M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
190.72/190.87 c 191s| 2520k|248503 | 1936k| 0.8 | 190M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
191.63/191.70 c 192s| 2530k|249421 | 1943k| 0.8 | 191M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
192.43/192.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
192.43/192.51 c 193s| 2540k|250261 | 1951k| 0.8 | 192M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
193.22/193.32 c 193s| 2550k|251323 | 1959k| 0.8 | 192M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
194.02/194.15 c 194s| 2560k|252331 | 1966k| 0.8 | 193M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
194.83/194.96 c 195s| 2570k|253547 | 1974k| 0.8 | 194M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
195.64/195.79 c 196s| 2580k|254511 | 1982k| 0.8 | 195M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
196.52/196.61 c 197s| 2590k|255515 | 1990k| 0.8 | 195M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
197.32/197.42 c 197s| 2600k|256413 | 1997k| 0.8 | 196M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
198.12/198.25 c 198s| 2610k|257343 | 2005k| 0.8 | 197M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
198.93/199.01 c 199s| 2620k|258425 | 2013k| 0.8 | 198M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
199.73/199.80 c 200s| 2630k|259483 | 2020k| 0.8 | 199M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
200.42/200.58 c 201s| 2640k|260429 | 2028k| 0.8 | 199M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
201.23/201.36 c 201s| 2650k|261551 | 2036k| 0.8 | 200M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
202.02/202.14 c 202s| 2660k|262453 | 2044k| 0.8 | 201M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
202.82/202.93 c 203s| 2670k|263289 | 2051k| 0.8 | 202M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
203.53/203.69 c 204s| 2680k|264439 | 2059k| 0.8 | 202M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
204.33/204.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
204.33/204.48 c 204s| 2690k|265551 | 2067k| 0.8 | 203M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
205.12/205.25 c 205s| 2700k|266425 | 2074k| 0.8 | 204M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
205.93/206.05 c 206s| 2710k|267351 | 2082k| 0.8 | 205M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
206.73/206.82 c 207s| 2720k|268409 | 2090k| 0.8 | 205M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
207.52/207.67 c 208s| 2730k|269291 | 2097k| 0.8 | 206M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
208.32/208.42 c 208s| 2740k|270249 | 2105k| 0.8 | 207M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
209.02/209.18 c 209s| 2750k|271313 | 2113k| 0.8 | 208M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
209.82/209.95 c 210s| 2760k|272305 | 2120k| 0.8 | 208M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
210.62/210.77 c 211s| 2770k|273207 | 2128k| 0.8 | 209M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
211.42/211.57 c 212s| 2780k|274175 | 2136k| 0.8 | 210M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
212.22/212.34 c 212s| 2790k|275221 | 2143k| 0.8 | 211M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
213.03/213.13 c 213s| 2800k|276119 | 2151k| 0.8 | 211M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
213.82/213.90 c 214s| 2810k|276895 | 2158k| 0.8 | 212M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
214.52/214.65 c 215s| 2820k|277797 | 2166k| 0.8 | 213M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
215.33/215.46 c 215s| 2830k|278619 | 2174k| 0.8 | 213M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
216.12/216.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
216.12/216.27 c 216s| 2840k|279343 | 2181k| 0.8 | 214M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
216.92/217.08 c 217s| 2850k|280103 | 2189k| 0.8 | 215M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
217.73/217.89 c 218s| 2860k|280821 | 2196k| 0.8 | 215M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
218.51/218.69 c 219s| 2870k|281511 | 2204k| 0.8 | 216M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
219.32/219.49 c 219s| 2880k|282209 | 2211k| 0.8 | 216M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
220.22/220.31 c 220s| 2890k|282977 | 2219k| 0.8 | 217M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
220.92/221.07 c 221s| 2900k|283715 | 2226k| 0.8 | 217M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
221.82/221.91 c 222s| 2910k|284399 | 2234k| 0.8 | 218M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
222.61/222.74 c 223s| 2920k|284995 | 2241k| 0.8 | 218M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
223.42/223.59 c 224s| 2930k|285639 | 2249k| 0.8 | 219M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
224.33/224.42 c 224s| 2940k|286287 | 2256k| 0.8 | 219M| 60 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
225.12/225.25 c 225s| 2950k|286863 | 2264k| 0.8 | 220M| 60 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
226.01/226.11 c 226s| 2960k|287469 | 2271k| 0.8 | 220M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
226.81/226.93 c 227s| 2970k|288045 | 2278k| 0.8 | 221M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
227.63/227.75 c 228s| 2980k|288599 | 2286k| 0.8 | 221M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
228.52/228.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
228.52/228.60 c 229s| 2990k|289281 | 2293k| 0.8 | 222M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
229.32/229.44 c 229s| 3000k|289969 | 2301k| 0.8 | 222M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
230.12/230.27 c 230s| 3010k|290569 | 2308k| 0.8 | 223M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
231.02/231.11 c 231s| 3020k|291167 | 2316k| 0.8 | 223M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
231.81/231.96 c 232s| 3030k|291801 | 2323k| 0.8 | 224M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
232.72/232.81 c 233s| 3040k|292515 | 2331k| 0.8 | 224M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
233.51/233.66 c 234s| 3050k|293115 | 2338k| 0.8 | 225M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
234.32/234.48 c 234s| 3060k|293707 | 2345k| 0.8 | 225M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
235.22/235.32 c 235s| 3070k|294361 | 2353k| 0.8 | 226M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
236.01/236.15 c 236s| 3080k|294919 | 2360k| 0.8 | 226M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
236.92/237.00 c 237s| 3090k|295597 | 2368k| 0.8 | 227M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
237.72/237.82 c 238s| 3100k|296305 | 2375k| 0.8 | 227M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
238.52/238.65 c 239s| 3110k|297123 | 2383k| 0.8 | 228M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
239.31/239.48 c 239s| 3120k|297697 | 2390k| 0.8 | 229M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
240.22/240.31 c 240s| 3130k|298457 | 2398k| 0.8 | 229M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
241.01/241.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.01/241.15 c 241s| 3140k|299133 | 2405k| 0.8 | 230M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
241.82/242.00 c 242s| 3150k|299789 | 2413k| 0.8 | 230M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
242.71/242.82 c 243s| 3160k|300531 | 2420k| 0.8 | 231M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
243.51/243.62 c 244s| 3170k|301219 | 2427k| 0.8 | 231M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
244.31/244.43 c 244s| 3180k|301991 | 2435k| 0.8 | 232M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
245.12/245.24 c 245s| 3190k|302865 | 2443k| 0.8 | 232M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
245.91/246.03 c 246s| 3200k|303593 | 2450k| 0.8 | 233M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
246.72/246.80 c 247s| 3210k|304433 | 2458k| 0.8 | 234M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
247.42/247.58 c 248s| 3220k|305319 | 2465k| 0.8 | 234M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
248.31/248.40 c 248s| 3230k|305949 | 2473k| 0.8 | 235M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
249.11/249.24 c 249s| 3240k|306687 | 2480k| 0.8 | 235M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
249.91/250.08 c 250s| 3250k|307345 | 2488k| 0.8 | 236M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
250.82/250.92 c 251s| 3260k|307983 | 2495k| 0.8 | 236M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
251.62/251.75 c 252s| 3270k|308649 | 2502k| 0.8 | 237M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
252.42/252.56 c 253s| 3280k|309293 | 2510k| 0.8 | 238M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
253.21/253.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
253.21/253.37 c 253s| 3290k|310055 | 2517k| 0.8 | 238M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
254.11/254.20 c 254s| 3300k|310723 | 2525k| 0.8 | 239M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
254.91/255.03 c 255s| 3310k|311353 | 2532k| 0.8 | 239M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
255.72/255.86 c 256s| 3320k|311975 | 2539k| 0.8 | 240M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
256.61/256.71 c 257s| 3330k|312667 | 2547k| 0.8 | 240M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
257.41/257.54 c 258s| 3340k|313391 | 2555k| 0.8 | 241M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
258.21/258.39 c 258s| 3350k|314037 | 2562k| 0.8 | 241M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
259.11/259.24 c 259s| 3360k|314739 | 2569k| 0.8 | 242M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
259.91/260.09 c 260s| 3370k|315263 | 2577k| 0.8 | 242M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
260.82/260.93 c 261s| 3380k|315975 | 2584k| 0.8 | 243M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
261.62/261.75 c 262s| 3390k|316565 | 2592k| 0.8 | 243M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
262.41/262.57 c 263s| 3400k|317157 | 2599k| 0.8 | 244M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
263.31/263.42 c 263s| 3410k|317761 | 2607k| 0.8 | 244M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
264.11/264.27 c 264s| 3420k|318455 | 2614k| 0.8 | 245M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
265.02/265.12 c 265s| 3430k|319033 | 2621k| 0.8 | 245M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
265.81/265.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
265.81/265.97 c 266s| 3440k|319787 | 2629k| 0.8 | 246M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
266.71/266.80 c 267s| 3450k|320473 | 2637k| 0.8 | 246M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
267.51/267.65 c 268s| 3460k|321059 | 2644k| 0.8 | 247M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
268.32/268.49 c 268s| 3470k|321743 | 2652k| 0.8 | 247M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
269.21/269.32 c 269s| 3480k|322487 | 2659k| 0.8 | 248M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
270.01/270.15 c 270s| 3490k|323243 | 2667k| 0.8 | 248M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
270.81/270.99 c 271s| 3500k|324043 | 2675k| 0.8 | 249M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
271.71/271.83 c 272s| 3510k|324673 | 2682k| 0.8 | 250M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
272.51/272.66 c 273s| 3520k|325407 | 2690k| 0.8 | 250M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
273.41/273.51 c 274s| 3530k|326143 | 2697k| 0.8 | 251M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
274.21/274.37 c 274s| 3540k|326917 | 2705k| 0.8 | 251M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
275.11/275.21 c 275s| 3550k|327611 | 2713k| 0.8 | 252M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
275.91/276.05 c 276s| 3560k|328367 | 2720k| 0.8 | 252M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
276.71/276.87 c 277s| 3570k|329097 | 2728k| 0.8 | 253M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
277.61/277.71 c 278s| 3580k|329883 | 2736k| 0.8 | 253M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
278.40/278.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
278.40/278.53 c 279s| 3590k|330669 | 2743k| 0.8 | 254M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
279.22/279.33 c 279s| 3600k|331389 | 2751k| 0.8 | 254M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
280.00/280.14 c 280s| 3610k|332001 | 2758k| 0.8 | 255M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
280.81/280.99 c 281s| 3620k|332733 | 2766k| 0.8 | 255M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
281.61/281.79 c 282s| 3630k|333429 | 2774k| 0.8 | 256M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
282.52/282.62 c 283s| 3640k|334169 | 2781k| 0.8 | 257M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
283.31/283.43 c 283s| 3650k|334815 | 2789k| 0.8 | 257M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
284.11/284.26 c 284s| 3660k|335581 | 2797k| 0.8 | 258M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
284.91/285.09 c 285s| 3670k|336375 | 2804k| 0.8 | 258M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
285.81/285.93 c 286s| 3680k|337143 | 2812k| 0.8 | 259M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
286.61/286.75 c 287s| 3690k|337761 | 2819k| 0.8 | 259M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
287.41/287.57 c 288s| 3700k|338407 | 2827k| 0.8 | 260M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
288.31/288.40 c 288s| 3710k|339231 | 2835k| 0.8 | 260M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
289.12/289.21 c 289s| 3720k|339881 | 2842k| 0.8 | 261M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
289.91/290.04 c 290s| 3730k|340671 | 2850k| 0.8 | 261M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
290.80/290.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
290.80/290.90 c 291s| 3740k|341431 | 2857k| 0.8 | 262M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
291.60/291.74 c 292s| 3750k|342203 | 2865k| 0.8 | 262M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
292.51/292.61 c 293s| 3760k|342985 | 2873k| 0.8 | 263M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
293.30/293.44 c 293s| 3770k|343713 | 2880k| 0.8 | 264M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
294.10/294.27 c 294s| 3780k|344399 | 2888k| 0.8 | 264M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
295.00/295.11 c 295s| 3790k|345193 | 2896k| 0.8 | 265M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
295.81/295.95 c 296s| 3800k|346077 | 2903k| 0.8 | 265M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
296.60/296.79 c 297s| 3810k|346813 | 2911k| 0.8 | 266M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
297.51/297.63 c 298s| 3820k|347599 | 2919k| 0.8 | 266M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
298.30/298.45 c 298s| 3830k|348347 | 2926k| 0.8 | 267M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
299.11/299.28 c 299s| 3840k|349111 | 2934k| 0.8 | 268M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
300.00/300.10 c 300s| 3850k|349853 | 2941k| 0.8 | 268M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
300.80/300.93 c 301s| 3860k|350537 | 2949k| 0.8 | 269M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
301.61/301.76 c 302s| 3870k|351357 | 2957k| 0.8 | 269M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
302.41/302.57 c 303s| 3880k|352133 | 2964k| 0.8 | 270M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
303.20/303.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
303.20/303.38 c 303s| 3890k|352849 | 2972k| 0.8 | 270M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
304.10/304.22 c 304s| 3900k|353627 | 2980k| 0.8 | 271M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
304.91/305.07 c 305s| 3910k|354339 | 2987k| 0.8 | 271M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
305.80/305.93 c 306s| 3920k|355153 | 2995k| 0.8 | 272M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
306.61/306.78 c 307s| 3930k|355965 | 3003k| 0.8 | 273M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
307.50/307.61 c 308s| 3940k|356769 | 3010k| 0.8 | 273M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
308.31/308.47 c 308s| 3950k|357487 | 3018k| 0.8 | 274M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
309.20/309.32 c 309s| 3960k|358275 | 3025k| 0.8 | 274M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
310.00/310.18 c 310s| 3970k|359039 | 3033k| 0.8 | 275M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
310.91/311.02 c 311s| 3980k|359857 | 3041k| 0.8 | 275M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
311.81/311.90 c 312s| 3990k|360669 | 3048k| 0.8 | 276M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
312.61/312.74 c 313s| 4000k|361361 | 3056k| 0.8 | 276M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
313.41/313.58 c 314s| 4010k|361999 | 3063k| 0.8 | 277M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
314.30/314.44 c 314s| 4020k|362671 | 3071k| 0.8 | 277M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
315.21/315.30 c 315s| 4030k|363489 | 3079k| 0.8 | 278M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
316.01/316.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
316.01/316.15 c 316s| 4040k|364119 | 3086k| 0.8 | 279M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
316.90/317.00 c 317s| 4050k|364843 | 3094k| 0.8 | 279M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
317.71/317.86 c 318s| 4060k|365621 | 3101k| 0.8 | 280M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
318.60/318.73 c 319s| 4070k|366403 | 3109k| 0.8 | 280M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
319.40/319.59 c 320s| 4080k|367145 | 3116k| 0.8 | 281M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
320.30/320.44 c 320s| 4090k|367913 | 3124k| 0.8 | 281M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
321.10/321.28 c 321s| 4100k|368647 | 3131k| 0.8 | 282M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
321.91/322.08 c 322s| 4110k|369299 | 3139k| 0.8 | 282M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
322.80/322.91 c 323s| 4120k|370045 | 3146k| 0.8 | 283M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
323.60/323.76 c 324s| 4130k|370731 | 3154k| 0.8 | 283M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
324.50/324.62 c 325s| 4140k|371473 | 3161k| 0.8 | 284M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
325.30/325.49 c 325s| 4150k|372119 | 3168k| 0.8 | 285M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
326.20/326.35 c 326s| 4160k|372767 | 3176k| 0.8 | 285M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
327.00/327.18 c 327s| 4170k|373483 | 3183k| 0.8 | 286M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
327.91/328.03 c 328s| 4180k|374035 | 3191k| 0.8 | 286M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
328.71/328.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
328.71/328.86 c 329s| 4190k|374643 | 3198k| 0.8 | 287M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
329.50/329.69 c 330s| 4200k|375343 | 3206k| 0.8 | 287M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
330.40/330.51 c 331s| 4210k|376017 | 3213k| 0.8 | 288M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
331.20/331.36 c 331s| 4220k|376709 | 3221k| 0.8 | 288M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
332.00/332.20 c 332s| 4230k|377387 | 3228k| 0.8 | 289M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
332.90/333.04 c 333s| 4240k|377995 | 3236k| 0.8 | 289M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
333.70/333.88 c 334s| 4250k|378731 | 3243k| 0.8 | 290M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
334.60/334.70 c 335s| 4260k|379631 | 3251k| 0.8 | 290M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
335.40/335.55 c 336s| 4270k|380323 | 3259k| 0.8 | 291M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
336.20/336.39 c 336s| 4280k|381001 | 3266k| 0.8 | 291M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
337.10/337.24 c 337s| 4290k|381721 | 3274k| 0.8 | 292M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
337.90/338.05 c 338s| 4300k|382429 | 3281k| 0.8 | 293M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
338.70/338.86 c 339s| 4310k|383101 | 3289k| 0.8 | 293M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
339.50/339.66 c 340s| 4320k|383811 | 3296k| 0.8 | 294M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
340.30/340.46 c 340s| 4330k|384453 | 3304k| 0.8 | 294M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
341.10/341.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
341.10/341.27 c 341s| 4340k|385211 | 3311k| 0.8 | 295M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
341.90/342.06 c 342s| 4350k|385883 | 3319k| 0.8 | 295M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
342.70/342.87 c 343s| 4360k|386555 | 3326k| 0.8 | 296M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
343.60/343.71 c 344s| 4370k|387339 | 3334k| 0.8 | 296M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
344.40/344.52 c 345s| 4380k|388095 | 3341k| 0.8 | 297M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
345.20/345.34 c 345s| 4390k|388769 | 3349k| 0.8 | 297M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
346.00/346.15 c 346s| 4400k|389435 | 3356k| 0.8 | 298M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
346.79/346.93 c 347s| 4410k|390017 | 3363k| 0.8 | 298M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
347.60/347.72 c 348s| 4420k|390659 | 3371k| 0.8 | 299M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
348.40/348.51 c 349s| 4430k|391357 | 3378k| 0.8 | 299M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
349.10/349.29 c 349s| 4440k|392049 | 3385k| 0.8 | 300M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
350.00/350.11 c 350s| 4450k|392761 | 3393k| 0.8 | 301M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
350.81/350.93 c 351s| 4460k|393635 | 3400k| 0.8 | 301M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
351.59/351.75 c 352s| 4470k|394369 | 3408k| 0.8 | 302M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
352.39/352.58 c 353s| 4480k|395237 | 3415k| 0.8 | 302M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
353.30/353.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.30/353.40 c 353s| 4490k|396087 | 3423k| 0.8 | 303M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
354.10/354.24 c 354s| 4500k|396861 | 3431k| 0.8 | 304M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
354.90/355.09 c 355s| 4510k|397745 | 3438k| 0.8 | 304M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
355.79/355.94 c 356s| 4520k|398531 | 3446k| 0.8 | 305M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
356.59/356.78 c 357s| 4530k|399361 | 3453k| 0.8 | 305M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
357.49/357.61 c 358s| 4540k|400127 | 3461k| 0.8 | 306M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
358.30/358.45 c 358s| 4550k|400943 | 3469k| 0.8 | 306M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
359.09/359.25 c 359s| 4560k|401707 | 3476k| 0.8 | 307M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
359.89/360.07 c 360s| 4570k|402441 | 3483k| 0.8 | 308M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
360.70/360.87 c 361s| 4580k|403371 | 3491k| 0.8 | 308M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
361.49/361.65 c 362s| 4590k|404423 | 3499k| 0.8 | 309M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
362.29/362.48 c 362s| 4600k|405167 | 3506k| 0.8 | 310M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
363.20/363.30 c 363s| 4610k|406025 | 3514k| 0.8 | 310M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
364.00/364.12 c 364s| 4620k|406851 | 3522k| 0.8 | 311M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
364.80/364.92 c 365s| 4630k|407759 | 3529k| 0.8 | 311M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
365.59/365.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
365.59/365.71 c 366s| 4640k|408599 | 3537k| 0.8 | 312M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
366.40/366.51 c 367s| 4650k|409469 | 3544k| 0.8 | 313M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
367.09/367.30 c 367s| 4660k|410287 | 3552k| 0.8 | 313M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
368.00/368.11 c 368s| 4670k|411187 | 3560k| 0.8 | 314M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
368.79/368.90 c 369s| 4680k|412121 | 3567k| 0.8 | 314M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
369.60/369.71 c 370s| 4690k|412939 | 3575k| 0.8 | 315M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
370.30/370.48 c 370s| 4700k|413807 | 3583k| 0.8 | 316M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
371.09/371.28 c 371s| 4710k|414571 | 3590k| 0.8 | 316M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
371.90/372.07 c 372s| 4720k|415419 | 3598k| 0.8 | 317M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
372.70/372.86 c 373s| 4730k|416311 | 3605k| 0.8 | 317M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
373.50/373.66 c 374s| 4740k|417143 | 3613k| 0.8 | 318M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
374.29/374.47 c 374s| 4750k|418047 | 3621k| 0.8 | 319M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
375.10/375.29 c 375s| 4760k|418811 | 3628k| 0.8 | 319M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
375.89/376.08 c 376s| 4770k|419697 | 3636k| 0.8 | 320M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
376.69/376.86 c 377s| 4780k|420627 | 3644k| 0.8 | 321M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
377.49/377.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
377.49/377.65 c 378s| 4790k|421511 | 3651k| 0.8 | 321M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
378.30/378.45 c 378s| 4800k|422453 | 3659k| 0.8 | 322M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
379.10/379.24 c 379s| 4810k|423239 | 3667k| 0.8 | 322M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
379.89/380.05 c 380s| 4820k|424085 | 3674k| 0.8 | 323M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
380.69/380.82 c 381s| 4830k|424993 | 3682k| 0.8 | 324M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
381.50/381.62 c 382s| 4840k|425847 | 3690k| 0.8 | 324M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
382.29/382.41 c 382s| 4850k|426631 | 3697k| 0.8 | 325M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
383.10/383.21 c 383s| 4860k|427599 | 3705k| 0.8 | 325M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
383.89/384.01 c 384s| 4870k|428433 | 3713k| 0.8 | 326M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
384.60/384.78 c 385s| 4880k|429279 | 3720k| 0.8 | 327M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
385.40/385.56 c 386s| 4890k|430103 | 3728k| 0.8 | 327M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
386.19/386.32 c 386s| 4900k|430913 | 3736k| 0.8 | 328M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
386.89/387.10 c 387s| 4910k|431711 | 3743k| 0.8 | 328M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
387.69/387.86 c 388s| 4920k|432587 | 3751k| 0.8 | 329M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
388.49/388.64 c 389s| 4930k|433505 | 3759k| 0.8 | 330M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
389.29/389.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
389.29/389.42 c 389s| 4940k|434315 | 3766k| 0.8 | 330M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
390.00/390.18 c 390s| 4950k|435147 | 3774k| 0.8 | 331M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
390.79/390.96 c 391s| 4960k|435983 | 3781k| 0.8 | 331M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
391.59/391.76 c 392s| 4970k|436869 | 3789k| 0.8 | 332M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
392.39/392.54 c 393s| 4980k|437717 | 3797k| 0.8 | 333M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
393.19/393.34 c 393s| 4990k|438409 | 3804k| 0.8 | 333M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
393.99/394.11 c 394s| 5000k|439155 | 3812k| 0.8 | 334M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
394.80/394.92 c 395s| 5010k|439797 | 3819k| 0.8 | 334M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
395.59/395.71 c 396s| 5020k|440531 | 3826k| 0.8 | 335M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
396.40/396.52 c 397s| 5030k|441269 | 3834k| 0.8 | 335M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
397.19/397.35 c 397s| 5040k|442091 | 3841k| 0.8 | 336M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
397.99/398.13 c 398s| 5050k|442867 | 3849k| 0.8 | 337M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
398.79/398.93 c 399s| 5060k|443791 | 3857k| 0.8 | 337M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
399.59/399.73 c 400s| 5070k|444581 | 3864k| 0.8 | 338M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
400.39/400.53 c 401s| 5080k|445259 | 3872k| 0.8 | 338M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
401.19/401.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
401.19/401.35 c 401s| 5090k|446211 | 3880k| 0.8 | 339M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
401.99/402.19 c 402s| 5100k|446957 | 3887k| 0.8 | 339M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
402.79/402.99 c 403s| 5110k|447823 | 3895k| 0.8 | 340M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
403.69/403.81 c 404s| 5120k|448645 | 3903k| 0.8 | 341M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
404.49/404.63 c 405s| 5130k|449429 | 3910k| 0.8 | 341M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
405.29/405.47 c 405s| 5140k|450379 | 3918k| 0.8 | 342M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
406.09/406.29 c 406s| 5150k|451237 | 3926k| 0.8 | 342M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
406.99/407.14 c 407s| 5160k|452155 | 3934k| 0.8 | 343M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
407.79/407.98 c 408s| 5170k|453075 | 3941k| 0.8 | 344M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
408.69/408.82 c 409s| 5180k|453981 | 3949k| 0.8 | 344M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
409.49/409.68 c 410s| 5190k|454873 | 3957k| 0.8 | 345M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
410.29/410.48 c 410s| 5200k|455913 | 3965k| 0.8 | 346M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
411.19/411.31 c 411s| 5210k|456779 | 3973k| 0.8 | 346M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
411.99/412.16 c 412s| 5220k|457685 | 3980k| 0.8 | 347M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
412.89/413.00 c 413s| 5230k|458615 | 3988k| 0.8 | 348M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
413.69/413.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
413.69/413.85 c 414s| 5240k|459611 | 3996k| 0.8 | 348M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
414.50/414.68 c 415s| 5250k|460675 | 4004k| 0.8 | 349M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
415.39/415.52 c 416s| 5260k|461613 | 4012k| 0.8 | 350M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
416.19/416.38 c 416s| 5270k|462439 | 4019k| 0.8 | 350M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
417.09/417.22 c 417s| 5280k|463565 | 4028k| 0.8 | 351M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
417.89/418.09 c 418s| 5290k|464549 | 4035k| 0.8 | 352M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
418.78/418.95 c 419s| 5300k|465561 | 4043k| 0.8 | 352M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
419.69/419.81 c 420s| 5310k|466707 | 4051k| 0.8 | 353M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
420.49/420.67 c 421s| 5320k|467785 | 4059k| 0.8 | 354M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
421.39/421.53 c 422s| 5330k|468709 | 4067k| 0.8 | 354M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
422.19/422.40 c 422s| 5340k|469693 | 4075k| 0.8 | 355M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
423.08/423.26 c 423s| 5350k|470581 | 4083k| 0.8 | 356M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
423.99/424.10 c 424s| 5360k|471509 | 4091k| 0.8 | 356M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
424.78/424.96 c 425s| 5370k|472505 | 4099k| 0.8 | 357M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
425.69/425.80 c 426s| 5380k|473489 | 4107k| 0.8 | 358M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
426.49/426.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
426.49/426.65 c 427s| 5390k|474339 | 4114k| 0.8 | 358M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
427.39/427.50 c 427s| 5400k|475337 | 4122k| 0.8 | 359M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
428.18/428.36 c 428s| 5410k|476329 | 4130k| 0.8 | 359M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
429.08/429.21 c 429s| 5420k|477229 | 4138k| 0.8 | 360M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
429.89/430.06 c 430s| 5430k|478155 | 4146k| 0.8 | 361M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
430.78/430.94 c 431s| 5440k|479105 | 4153k| 0.8 | 361M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
431.68/431.80 c 432s| 5450k|480125 | 4161k| 0.8 | 362M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
432.49/432.65 c 433s| 5460k|481227 | 4169k| 0.8 | 363M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
433.39/433.51 c 434s| 5470k|482125 | 4177k| 0.8 | 363M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
434.19/434.39 c 434s| 5480k|483033 | 4185k| 0.8 | 364M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
435.09/435.26 c 435s| 5490k|484083 | 4193k| 0.8 | 365M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
435.99/436.13 c 436s| 5500k|485055 | 4201k| 0.8 | 365M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
436.78/436.99 c 437s| 5510k|486029 | 4209k| 0.8 | 366M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
437.69/437.84 c 438s| 5520k|486945 | 4217k| 0.8 | 367M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
438.58/438.71 c 439s| 5530k|487827 | 4225k| 0.8 | 367M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
439.38/439.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
439.38/439.57 c 440s| 5540k|488719 | 4232k| 0.8 | 368M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
440.28/440.43 c 440s| 5550k|489593 | 4240k| 0.8 | 369M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
441.09/441.28 c 441s| 5560k|490317 | 4248k| 0.8 | 369M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
441.99/442.13 c 442s| 5570k|491137 | 4255k| 0.8 | 370M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
442.78/442.98 c 443s| 5580k|491915 | 4263k| 0.8 | 370M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
443.68/443.84 c 444s| 5590k|492747 | 4270k| 0.8 | 371M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
444.49/444.69 c 445s| 5600k|493491 | 4278k| 0.8 | 371M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
445.29/445.49 c 445s| 5610k|494269 | 4286k| 0.8 | 372M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
446.18/446.34 c 446s| 5620k|495057 | 4293k| 0.8 | 373M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
446.98/447.18 c 447s| 5630k|496025 | 4301k| 0.8 | 373M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
447.88/448.05 c 448s| 5640k|496847 | 4309k| 0.8 | 374M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
448.69/448.89 c 449s| 5650k|497651 | 4316k| 0.8 | 374M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
449.58/449.75 c 450s| 5660k|498413 | 4324k| 0.8 | 375M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
450.38/450.55 c 451s| 5670k|499037 | 4331k| 0.8 | 376M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
451.18/451.39 c 451s| 5680k|499695 | 4339k| 0.8 | 376M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
452.09/452.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
452.09/452.22 c 452s| 5690k|500445 | 4346k| 0.8 | 377M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
452.89/453.05 c 453s| 5700k|501109 | 4354k| 0.8 | 377M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
453.68/453.88 c 454s| 5710k|501801 | 4361k| 0.8 | 378M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
454.59/454.72 c 455s| 5720k|502587 | 4369k| 0.8 | 378M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
455.38/455.53 c 456s| 5730k|503307 | 4376k| 0.8 | 379M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
456.19/456.40 c 456s| 5740k|504193 | 4384k| 0.8 | 380M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
457.08/457.25 c 457s| 5750k|504993 | 4392k| 0.8 | 380M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
457.98/458.13 c 458s| 5760k|505875 | 4400k| 0.8 | 381M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
458.89/459.01 c 459s| 5770k|506817 | 4408k| 0.8 | 381M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
459.69/459.89 c 460s| 5780k|507687 | 4415k| 0.8 | 382M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
460.69/460.81 c 461s| 5790k|508761 | 4423k| 0.8 | 383M| 61 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
461.48/461.69 c 462s| 5800k|509723 | 4431k| 0.8 | 383M| 61 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
462.48/462.61 c 463s| 5810k|510743 | 4439k| 0.8 | 384M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
463.38/463.50 c 463s| 5820k|511615 | 4447k| 0.8 | 385M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
464.28/464.41 c 464s| 5830k|512519 | 4455k| 0.8 | 385M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
465.09/465.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
465.09/465.30 c 465s| 5840k|513371 | 4463k| 0.8 | 386M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
466.08/466.21 c 466s| 5850k|514333 | 4471k| 0.8 | 386M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
466.88/467.07 c 467s| 5860k|515247 | 4479k| 0.8 | 387M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
467.78/467.98 c 468s| 5870k|516265 | 4487k| 0.8 | 388M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
468.68/468.88 c 469s| 5880k|517145 | 4495k| 0.8 | 388M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
469.59/469.76 c 470s| 5890k|517981 | 4502k| 0.8 | 389M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
470.48/470.65 c 471s| 5900k|518851 | 4510k| 0.8 | 390M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
471.38/471.52 c 472s| 5910k|519783 | 4518k| 0.8 | 390M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
472.18/472.39 c 472s| 5920k|520679 | 4526k| 0.8 | 391M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
473.08/473.24 c 473s| 5930k|521483 | 4534k| 0.8 | 391M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
473.89/474.09 c 474s| 5940k|522337 | 4541k| 0.8 | 392M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
474.78/474.94 c 475s| 5950k|523201 | 4549k| 0.8 | 393M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
475.68/475.81 c 476s| 5960k|524149 | 4557k| 0.8 | 393M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
476.48/476.68 c 477s| 5970k|525175 | 4565k| 0.8 | 394M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
477.38/477.55 c 478s| 5980k|526097 | 4573k| 0.8 | 395M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
478.28/478.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
478.28/478.42 c 478s| 5990k|527107 | 4581k| 0.8 | 395M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
479.18/479.30 c 479s| 6000k|528159 | 4589k| 0.8 | 396M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
480.08/480.20 c 480s| 6010k|529055 | 4597k| 0.8 | 397M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
480.88/481.09 c 481s| 6020k|530221 | 4605k| 0.8 | 397M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
481.78/481.96 c 482s| 6030k|531115 | 4613k| 0.8 | 398M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
482.69/482.83 c 483s| 6040k|532129 | 4621k| 0.8 | 399M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
483.57/483.70 c 484s| 6050k|532987 | 4628k| 0.8 | 399M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
484.38/484.59 c 485s| 6060k|533863 | 4636k| 0.8 | 400M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
485.28/485.46 c 485s| 6070k|534695 | 4644k| 0.8 | 401M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
486.17/486.34 c 486s| 6080k|535697 | 4652k| 0.8 | 401M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
487.09/487.23 c 487s| 6090k|536597 | 4660k| 0.8 | 402M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
487.97/488.10 c 488s| 6100k|537393 | 4667k| 0.8 | 402M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
488.78/488.97 c 489s| 6110k|538099 | 4675k| 0.8 | 403M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
489.68/489.83 c 490s| 6120k|538877 | 4682k| 0.8 | 404M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
490.49/490.69 c 491s| 6130k|539635 | 4690k| 0.8 | 404M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
491.38/491.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
491.38/491.55 c 492s| 6140k|540377 | 4697k| 0.8 | 405M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
492.18/492.38 c 492s| 6150k|541077 | 4705k| 0.8 | 405M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
493.08/493.22 c 493s| 6160k|541789 | 4712k| 0.8 | 406M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
493.87/494.05 c 494s| 6170k|542563 | 4720k| 0.8 | 406M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
494.78/494.93 c 495s| 6180k|543327 | 4727k| 0.8 | 407M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
495.57/495.76 c 496s| 6190k|544037 | 4735k| 0.8 | 407M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
496.47/496.63 c 497s| 6200k|544863 | 4743k| 0.8 | 408M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
497.28/497.48 c 497s| 6210k|545649 | 4750k| 0.8 | 409M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
498.19/498.34 c 498s| 6220k|546431 | 4758k| 0.8 | 409M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
498.97/499.16 c 499s| 6230k|547131 | 4765k| 0.8 | 410M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
499.88/500.00 c 500s| 6240k|547837 | 4773k| 0.8 | 410M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
500.67/500.86 c 501s| 6250k|548525 | 4780k| 0.8 | 411M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
501.57/501.72 c 502s| 6260k|549171 | 4788k| 0.8 | 411M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
502.37/502.57 c 503s| 6270k|549831 | 4795k| 0.8 | 412M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
503.28/503.43 c 503s| 6280k|550469 | 4803k| 0.8 | 412M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
504.17/504.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
504.17/504.30 c 504s| 6290k|551201 | 4810k| 0.8 | 413M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
504.98/505.16 c 505s| 6300k|551843 | 4818k| 0.8 | 414M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
505.88/506.02 c 506s| 6310k|552499 | 4825k| 0.8 | 414M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
506.67/506.86 c 507s| 6320k|553127 | 4833k| 0.8 | 415M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
507.57/507.71 c 508s| 6330k|553771 | 4840k| 0.8 | 415M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
508.38/508.56 c 509s| 6340k|554499 | 4847k| 0.8 | 416M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
509.27/509.41 c 509s| 6350k|555231 | 4855k| 0.8 | 416M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
510.07/510.25 c 510s| 6360k|555753 | 4862k| 0.8 | 417M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
510.87/511.09 c 511s| 6370k|556401 | 4870k| 0.8 | 417M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
511.77/511.91 c 512s| 6380k|557101 | 4877k| 0.8 | 418M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
512.57/512.76 c 513s| 6390k|557601 | 4885k| 0.8 | 418M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
513.38/513.58 c 514s| 6400k|558267 | 4892k| 0.8 | 419M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
514.28/514.42 c 514s| 6410k|558729 | 4899k| 0.8 | 419M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
515.07/515.23 c 515s| 6420k|559291 | 4907k| 0.8 | 420M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
515.97/516.10 c 516s| 6430k|559693 | 4914k| 0.8 | 420M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
516.78/516.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
516.78/516.95 c 517s| 6440k|560045 | 4921k| 0.8 | 421M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
517.68/517.81 c 518s| 6450k|560495 | 4928k| 0.8 | 421M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
518.47/518.67 c 519s| 6460k|561085 | 4936k| 0.8 | 422M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
519.37/519.54 c 520s| 6470k|561619 | 4943k| 0.8 | 422M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
520.28/520.40 c 520s| 6480k|562043 | 4950k| 0.8 | 423M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
521.08/521.25 c 521s| 6490k|562515 | 4958k| 0.8 | 423M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
521.97/522.12 c 522s| 6500k|562883 | 4965k| 0.8 | 423M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
522.77/522.97 c 523s| 6510k|563335 | 4972k| 0.8 | 424M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
523.67/523.82 c 524s| 6520k|563735 | 4979k| 0.8 | 424M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
524.48/524.67 c 525s| 6530k|564053 | 4986k| 0.8 | 425M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
525.37/525.51 c 526s| 6540k|564483 | 4993k| 0.8 | 425M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
526.17/526.38 c 526s| 6550k|564929 | 5001k| 0.8 | 426M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
527.08/527.21 c 527s| 6560k|565415 | 5008k| 0.8 | 426M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
527.87/528.06 c 528s| 6570k|565979 | 5015k| 0.8 | 427M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
528.77/528.91 c 529s| 6580k|566427 | 5023k| 0.8 | 427M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
529.57/529.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
529.57/529.73 c 530s| 6590k|566889 | 5030k| 0.8 | 427M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
530.37/530.55 c 531s| 6600k|567283 | 5037k| 0.8 | 428M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
531.18/531.38 c 531s| 6610k|567683 | 5044k| 0.8 | 428M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
532.07/532.20 c 532s| 6620k|568025 | 5051k| 0.8 | 429M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
532.87/533.02 c 533s| 6630k|568353 | 5058k| 0.8 | 429M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
533.67/533.87 c 534s| 6640k|568731 | 5065k| 0.8 | 430M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
534.57/534.71 c 535s| 6650k|568973 | 5072k| 0.8 | 430M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
535.37/535.56 c 536s| 6660k|569289 | 5080k| 0.8 | 430M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
536.27/536.41 c 536s| 6670k|569521 | 5087k| 0.8 | 431M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
537.07/537.26 c 537s| 6680k|569695 | 5093k| 0.8 | 431M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
537.97/538.13 c 538s| 6690k|569887 | 5100k| 0.8 | 431M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
538.77/538.98 c 539s| 6700k|570075 | 5107k| 0.8 | 432M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
539.66/539.83 c 540s| 6710k|570339 | 5114k| 0.8 | 432M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
540.57/540.70 c 541s| 6720k|570555 | 5121k| 0.8 | 432M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
541.37/541.58 c 542s| 6730k|570755 | 5128k| 0.8 | 433M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
542.27/542.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
542.27/542.44 c 542s| 6740k|571021 | 5135k| 0.8 | 433M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
543.06/543.27 c 543s| 6750k|571213 | 5142k| 0.8 | 433M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
543.97/544.12 c 544s| 6760k|571489 | 5149k| 0.8 | 434M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
544.77/544.95 c 545s| 6770k|571751 | 5156k| 0.8 | 434M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
545.57/545.76 c 546s| 6780k|571997 | 5163k| 0.8 | 435M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
546.37/546.59 c 547s| 6790k|572315 | 5170k| 0.8 | 435M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
547.27/547.40 c 547s| 6800k|572649 | 5178k| 0.8 | 435M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
548.06/548.25 c 548s| 6810k|572895 | 5185k| 0.8 | 436M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
548.86/549.07 c 549s| 6820k|573247 | 5192k| 0.8 | 436M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
549.67/549.87 c 550s| 6830k|573705 | 5199k| 0.8 | 437M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
550.57/550.70 c 551s| 6840k|574017 | 5206k| 0.8 | 437M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
551.37/551.55 c 552s| 6850k|574361 | 5213k| 0.8 | 438M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
552.26/552.43 c 552s| 6860k|574663 | 5220k| 0.8 | 438M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
553.08/553.29 c 553s| 6870k|574915 | 5227k| 0.8 | 438M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
553.97/554.14 c 554s| 6880k|575239 | 5234k| 0.8 | 439M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
554.77/554.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
554.77/554.98 c 555s| 6890k|575533 | 5241k| 0.8 | 439M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
555.67/555.82 c 556s| 6900k|575823 | 5248k| 0.8 | 440M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
556.47/556.67 c 557s| 6910k|576137 | 5255k| 0.8 | 440M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
557.36/557.51 c 558s| 6920k|576397 | 5262k| 0.8 | 440M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
558.16/558.34 c 558s| 6930k|576675 | 5269k| 0.8 | 441M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
558.97/559.14 c 559s| 6940k|577425 | 5277k| 0.8 | 441M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
559.77/559.91 c 560s| 6950k|578245 | 5284k| 0.8 | 442M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
560.46/560.68 c 561s| 6960k|579147 | 5292k| 0.8 | 442M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
561.27/561.46 c 561s| 6970k|580059 | 5299k| 0.8 | 443M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
562.07/562.23 c 562s| 6980k|580851 | 5307k| 0.8 | 444M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
562.86/563.04 c 563s| 6990k|581569 | 5314k| 0.8 | 444M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
563.56/563.79 c 564s| 7000k|582335 | 5322k| 0.8 | 445M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
564.36/564.57 c 565s| 7010k|583191 | 5330k| 0.8 | 445M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
565.17/565.31 c 565s| 7020k|584193 | 5337k| 0.8 | 446M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
565.87/566.07 c 566s| 7030k|584941 | 5345k| 0.8 | 446M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
566.67/566.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.67/566.80 c 567s| 7040k|585641 | 5352k| 0.8 | 447M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
567.37/567.53 c 568s| 7050k|586487 | 5360k| 0.8 | 448M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
568.16/568.33 c 568s| 7060k|587375 | 5368k| 0.8 | 448M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
568.96/569.12 c 569s| 7070k|588213 | 5375k| 0.8 | 449M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
569.76/569.92 c 570s| 7080k|589149 | 5383k| 0.8 | 450M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
570.47/570.67 c 571s| 7090k|590183 | 5390k| 0.8 | 450M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
571.26/571.49 c 571s| 7100k|590893 | 5398k| 0.8 | 451M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
572.16/572.38 c 572s| 7110k|591651 | 5405k| 0.8 | 452M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
573.06/573.27 c 573s| 7120k|592393 | 5413k| 0.8 | 452M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
573.97/574.15 c 574s| 7130k|593117 | 5421k| 0.8 | 453M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
574.86/575.00 c 575s| 7140k|593901 | 5428k| 0.8 | 453M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
575.66/575.87 c 576s| 7150k|594607 | 5436k| 0.8 | 454M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
576.56/576.71 c 577s| 7160k|595321 | 5443k| 0.8 | 454M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
577.27/577.47 c 577s| 7170k|595753 | 5451k| 0.8 | 455M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
577.96/578.19 c 578s| 7180k|596125 | 5458k| 0.8 | 455M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
578.76/578.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
578.76/578.92 c 579s| 7190k|596449 | 5465k| 0.8 | 455M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
579.47/579.67 c 580s| 7200k|596859 | 5472k| 0.8 | 456M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
580.16/580.37 c 580s| 7210k|597481 | 5480k| 0.8 | 456M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
580.86/581.07 c 581s| 7220k|597845 | 5487k| 0.8 | 457M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
581.56/581.74 c 582s| 7230k|597849 | 5494k| 0.8 | 457M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
582.26/582.44 c 582s| 7240k|597937 | 5500k| 0.8 | 457M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
582.96/583.10 c 583s| 7250k|598615 | 5508k| 0.8 | 458M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
583.76/583.90 c 584s| 7260k|599431 | 5516k| 0.8 | 458M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
584.46/584.63 c 585s| 7270k|600261 | 5523k| 0.8 | 459M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
585.26/585.41 c 585s| 7280k|601059 | 5531k| 0.8 | 460M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
586.07/586.29 c 586s| 7290k|601855 | 5538k| 0.8 | 460M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
586.96/587.15 c 587s| 7300k|602653 | 5546k| 0.8 | 461M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
587.76/587.93 c 588s| 7310k|603481 | 5553k| 0.8 | 461M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
588.66/588.80 c 589s| 7320k|604341 | 5561k| 0.8 | 462M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
589.36/589.57 c 590s| 7330k|604661 | 5568k| 0.8 | 463M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
590.06/590.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
590.06/590.27 c 590s| 7340k|604827 | 5575k| 0.8 | 463M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
590.76/590.93 c 591s| 7350k|605259 | 5582k| 0.8 | 463M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
591.35/591.56 c 592s| 7360k|605551 | 5589k| 0.8 | 464M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
591.96/592.16 c 592s| 7370k|605903 | 5596k| 0.8 | 464M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
592.86/593.03 c 593s| 7380k|606727 | 5604k| 0.8 | 465M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
593.76/593.92 c 594s| 7390k|607533 | 5611k| 0.8 | 465M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
594.66/594.83 c 595s| 7400k|608349 | 5619k| 0.8 | 466M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
595.55/595.76 c 596s| 7410k|609195 | 5627k| 0.8 | 467M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
596.45/596.66 c 597s| 7420k|609911 | 5634k| 0.8 | 467M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
597.26/597.48 c 597s| 7430k|610289 | 5641k| 0.8 | 468M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
598.26/598.45 c 598s| 7440k|611113 | 5649k| 0.8 | 468M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
599.16/599.40 c 599s| 7450k|611929 | 5656k| 0.8 | 469M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
600.15/600.34 c 600s| 7460k|612745 | 5664k| 0.8 | 470M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
601.06/601.27 c 601s| 7470k|613575 | 5672k| 0.8 | 470M| 62 | 1 | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
602.06/602.20 c 602s| 7480k|614319 | 5679k| 0.8 | 471M| 62 | - | 70 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
603.96/604.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
603.96/604.18 c * 604s| 7482k| 0 | 5681k| 0.8 | 284k| 62 | - | 70 | 1 | 70 | 1 | 0 | 0 | 0 | 0.000000e+00 | 0.000000e+00 | 0.00%
603.96/604.18 c
603.96/604.18 c SCIP Status : problem is solved [optimal solution found]
603.96/604.18 c Solving Time (sec) : 604.17
603.96/604.18 c Solving Nodes : 7482792
603.96/604.18 c Primal Bound : +0.00000000000000e+00 (1 solutions)
603.96/604.18 c Dual Bound : +0.00000000000000e+00
603.96/604.18 c Gap : 0.00 %
603.96/604.18 s SATISFIABLE
603.96/604.18 v -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45
603.96/604.18 v -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 x22 x21 -x20
603.96/604.18 v -x19 -x18 x17 x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 x1
603.96/604.18 c SCIP Status : problem is solved [optimal solution found]
603.96/604.18 c Solving Time : 604.17
603.96/604.18 c Original Problem :
603.96/604.18 c Problem name : HOME/instance-3733531-1338697786.opb
603.96/604.18 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
603.96/604.18 c Constraints : 2 initial, 2 maximal
603.96/604.18 c Presolved Problem :
603.96/604.18 c Problem name : t_HOME/instance-3733531-1338697786.opb
603.96/604.18 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
603.96/604.18 c Constraints : 1 initial, 1 maximal
603.96/604.18 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
603.96/604.18 c trivial : 0.00 0 0 0 0 0 0 0 0
603.96/604.18 c dualfix : 0.00 0 0 0 0 0 0 0 0
603.96/604.18 c boundshift : 0.00 0 0 0 0 0 0 0 0
603.96/604.18 c inttobinary : 0.00 0 0 0 0 0 0 0 0
603.96/604.18 c implics : 0.00 0 0 0 0 0 0 0 0
603.96/604.18 c probing : 0.00 0 0 0 0 0 0 0 0
603.96/604.18 c linear : 0.00 0 0 0 0 0 1 0 0
603.96/604.18 c root node : - 0 - - 0 - - - -
603.96/604.18 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
603.96/604.18 c integral : 0 0 0 4048568 0 0 0 0 0 8097134
603.96/604.18 c linear : 1 1 8848187 0 0 3434224 17457325 0 0 0
603.96/604.18 c countsols : 0 0 0 1 0 0 0 0 0 0
603.96/604.18 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
603.96/604.18 c integral : 18.48 0.00 0.00 18.48 0.00
603.96/604.18 c linear : 257.60 0.00 257.60 0.00 0.00
603.96/604.18 c countsols : 0.00 0.00 0.00 0.00 0.00
603.96/604.18 c Propagators : Time Calls Cutoffs DomReds
603.96/604.18 c vbounds : 6.09 1 0 0
603.96/604.18 c rootredcost : 5.69 0 0 0
603.96/604.18 c pseudoobj : 5.75 0 0 0
603.96/604.18 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
603.96/604.18 c propagation : 185.96 2160683 0 0 0.0 0 0.0 -
603.96/604.18 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
603.96/604.18 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
603.96/604.18 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
603.96/604.18 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
603.96/604.18 c applied globally : - - - 0 0.0 - - -
603.96/604.18 c applied locally : - - - 0 0.0 - - -
603.96/604.18 c Separators : Time Calls Cutoffs DomReds Cuts Conss
603.96/604.18 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
603.96/604.18 c redcost : 8.11 4048568 0 0 0 0
603.96/604.18 c impliedbounds : 0.00 1 0 0 0 0
603.96/604.18 c intobj : 0.00 0 0 0 0 0
603.96/604.18 c cgmip : 0.00 0 0 0 0 0
603.96/604.18 c gomory : 0.00 1 0 0 0 0
603.96/604.18 c strongcg : 0.00 1 0 0 0 0
603.96/604.18 c cmir : 0.00 0 0 0 0 0
603.96/604.18 c flowcover : 0.00 0 0 0 0 0
603.96/604.18 c clique : 0.00 1 0 0 0 0
603.96/604.18 c zerohalf : 0.00 0 0 0 0 0
603.96/604.18 c mcf : 0.00 1 0 0 0 0
603.96/604.18 c rapidlearning : 0.01 1 0 0 0 0
603.96/604.18 c Pricers : Time Calls Vars
603.96/604.18 c problem variables: 0.00 0 0
603.96/604.18 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
603.96/604.18 c relpscost : 11.56 4048567 0 0 0 0 8097134
603.96/604.18 c pscost : 0.00 0 0 0 0 0 0
603.96/604.18 c inference : 0.00 0 0 0 0 0 0
603.96/604.18 c mostinf : 0.00 0 0 0 0 0 0
603.96/604.18 c leastinf : 0.00 0 0 0 0 0 0
603.96/604.18 c fullstrong : 0.00 0 0 0 0 0 0
603.96/604.18 c allfullstrong : 0.00 0 0 0 0 0 0
603.96/604.18 c random : 0.00 0 0 0 0 0 0
603.96/604.18 c Primal Heuristics : Time Calls Found
603.96/604.18 c LP solutions : 1.79 - 1
603.96/604.18 c pseudo solutions : 0.00 - 0
603.96/604.18 c trivial : 0.00 1 0
603.96/604.18 c simplerounding : 0.00 0 0
603.96/604.18 c zirounding : 0.00 0 0
603.96/604.18 c rounding : 0.00 0 0
603.96/604.18 c shifting : 0.00 0 0
603.96/604.18 c intshifting : 0.00 0 0
603.96/604.18 c oneopt : 0.00 0 0
603.96/604.18 c twoopt : 0.00 0 0
603.96/604.18 c fixandinfer : 0.00 0 0
603.96/604.18 c feaspump : 0.00 0 0
603.96/604.18 c coefdiving : 0.00 0 0
603.96/604.18 c pscostdiving : 0.00 0 0
603.96/604.18 c fracdiving : 0.00 0 0
603.96/604.18 c veclendiving : 0.00 0 0
603.96/604.18 c intdiving : 0.00 0 0
603.96/604.18 c actconsdiving : 0.00 0 0
603.96/604.18 c objpscostdiving : 0.00 0 0
603.96/604.18 c rootsoldiving : 0.00 0 0
603.96/604.18 c linesearchdiving : 0.00 0 0
603.96/604.18 c guideddiving : 0.00 0 0
603.96/604.18 c octane : 0.00 0 0
603.96/604.18 c rens : 0.00 0 0
603.96/604.18 c rins : 0.00 0 0
603.96/604.18 c localbranching : 0.00 0 0
603.96/604.18 c mutation : 0.00 0 0
603.96/604.18 c crossover : 0.00 0 0
603.96/604.18 c dins : 0.00 0 0
603.96/604.18 c undercover : 0.00 0 0
603.96/604.18 c nlp : 0.00 0 0
603.96/604.18 c trysol : 0.00 0 0
603.96/604.18 c LP : Time Calls Iterations Iter/call Iter/sec
603.96/604.18 c primal LP : 0.00 0 0 0.00 -
603.96/604.18 c dual LP : 85.89 4048567 5681629 1.40 66148.84
603.96/604.18 c lex dual LP : 0.00 0 0 0.00 -
603.96/604.18 c barrier LP : 0.00 0 0 0.00 -
603.96/604.18 c diving/probing LP: 0.00 0 0 0.00 -
603.96/604.18 c strong branching : 0.00 0 0 0.00 -
603.96/604.18 c (at root node) : - 0 0 0.00 -
603.96/604.18 c conflict analysis: 0.00 0 0 0.00 -
603.96/604.18 c B&B Tree :
603.96/604.18 c number of runs : 1
603.96/604.18 c nodes : 7482792
603.96/604.18 c nodes (total) : 7482792
603.96/604.18 c nodes left : 0
603.96/604.18 c max depth : 62
603.96/604.18 c max depth (total): 62
603.96/604.18 c backtracks : 1194724 (16.0%)
603.96/604.18 c delayed cutoffs : 0
603.96/604.18 c repropagations : 0 (0 domain reductions, 0 cutoffs)
603.96/604.18 c avg switch length: 4.53
603.96/604.18 c switching time : 64.30
603.96/604.18 c Solution :
603.96/604.18 c Solutions found : 1 (1 improvements)
603.96/604.18 c First Solution : +0.00000000000000e+00 (in run 1, after 7482792 nodes, 602.39 seconds, depth 22, found by <relaxation>)
603.96/604.18 c Primal Bound : +0.00000000000000e+00 (in run 1, after 7482792 nodes, 602.39 seconds, depth 22, found by <relaxation>)
603.96/604.18 c Dual Bound : +0.00000000000000e+00
603.96/604.18 c Gap : 0.00 %
603.96/604.18 c Root Dual Bound : +0.00000000000000e+00
603.96/604.18 c Root Iterations : 2
603.96/604.18 c Time complete: 604.04.
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-3733531-1338697786/watcher-3733531-1338697786 -o /tmp/evaluation-result-3733531-1338697786/solver-3733531-1338697786 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3733531-1338697786.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 23733
/proc/meminfo: memFree=26942944/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=7912 CPUtime=0 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 1130 0 0 0 0 0 0 0 20 0 1 0 335907195 8101888 1076 33554432000 4194304 8395647 140737480275728 140737142061608 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 1978 1083 365 1026 0 948 0
[startup+0.0498569 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23733
/proc/meminfo: memFree=26942944/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=21776 CPUtime=0.03 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 4592 0 0 0 3 0 0 0 20 0 1 0 335907195 22298624 4185 33554432000 4194304 8395647 140737480275728 140737142061608 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 5444 4185 585 1026 0 4414 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21776
[startup+0.100327 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23733
/proc/meminfo: memFree=26942944/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=21776 CPUtime=0.08 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 4592 0 0 0 8 0 0 0 20 0 1 0 335907195 22298624 4185 33554432000 4194304 8395647 140737480275728 140737142061608 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 5444 4185 585 1026 0 4414 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21776
[startup+0.300233 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23733
/proc/meminfo: memFree=26942944/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=21776 CPUtime=0.29 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 4595 0 0 0 27 2 0 0 20 0 1 0 335907195 22298624 4188 33554432000 4194304 8395647 140737480275728 140737142061608 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 5444 4188 585 1026 0 4414 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21776
[startup+0.700228 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23733
/proc/meminfo: memFree=26942944/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=21776 CPUtime=0.69 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 4597 0 0 0 65 4 0 0 20 0 1 0 335907195 22298624 4190 33554432000 4194304 8395647 140737480275728 140737142061608 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 5444 4190 585 1026 0 4414 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21776
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23734
/proc/meminfo: memFree=26928552/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=21776 CPUtime=1.48 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 4681 0 0 0 140 8 0 0 20 0 1 0 335907195 22298624 4274 33554432000 4194304 8395647 140737480275728 140737480270776 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 5444 4274 585 1026 0 4414 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 21776
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23734
/proc/meminfo: memFree=26927808/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=21776 CPUtime=3.09 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 4929 0 0 0 294 15 0 0 20 0 1 0 335907195 22298624 4522 33554432000 4194304 8395647 140737480275728 140737480271288 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 5444 4522 585 1026 0 4414 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21776
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23734
/proc/meminfo: memFree=26924336/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=25480 CPUtime=6.28 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 5885 0 0 0 600 28 0 0 20 0 1 0 335907195 26091520 5478 33554432000 4194304 8395647 140737480275728 140737480271240 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 6370 5478 585 1026 0 5340 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 25480
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23734
/proc/meminfo: memFree=26914432/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=34092 CPUtime=12.68 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 8078 0 0 0 1215 53 0 0 20 0 1 0 335907195 34910208 7671 33554432000 4194304 8395647 140737480275728 140737480271336 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 8523 7671 585 1026 0 7493 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34092
[startup+25.5002 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 23737
/proc/meminfo: memFree=26900124/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=49136 CPUtime=25.49 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 11907 0 0 0 2466 83 0 0 20 0 1 0 335907195 50315264 11500 33554432000 4194304 8395647 140737480275728 140737480271336 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 12284 11500 585 1026 0 11254 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49136
[startup+51.1002 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 23738
/proc/meminfo: memFree=26872760/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=76644 CPUtime=51.08 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 18517 0 0 0 4958 150 0 0 20 0 1 0 335907195 78483456 18110 33554432000 4194304 8395647 140737480275728 140737480271336 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 19161 18110 585 1026 0 18131 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 76644
[startup+102.306 s]
/proc/loadavg: 2.13 2.04 2.01 3/177 23738
/proc/meminfo: memFree=26819232/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=128056 CPUtime=102.27 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 31568 0 0 0 9957 270 0 0 20 0 1 0 335907195 131129344 31333 33554432000 4194304 8395647 140737480275728 140737480271336 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 32014 31333 585 1026 0 30984 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 128056
[startup+162.3 s]
/proc/loadavg: 2.20 2.08 2.02 3/177 23738
/proc/meminfo: memFree=26762532/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=188348 CPUtime=162.23 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 45869 0 0 0 15814 409 0 0 20 0 1 0 335907195 192868352 45614 33554432000 4194304 8395647 140737480275728 140737480271336 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 47087 45614 585 1026 0 46057 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 188348
[startup+222.3 s]
/proc/loadavg: 2.22 2.11 2.03 3/177 23738
/proc/meminfo: memFree=26706576/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=241268 CPUtime=222.22 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 59383 0 0 0 21705 517 0 0 20 0 1 0 335907195 247058432 59436 33554432000 4194304 8395647 140737480275728 140737480270856 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 60317 59436 585 1026 0 59287 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 241268
[startup+282.3 s]
/proc/loadavg: 2.08 2.08 2.02 3/176 23738
/proc/meminfo: memFree=26670500/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=279232 CPUtime=282.21 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 68922 0 0 0 27578 643 0 0 20 0 1 0 335907195 285933568 68975 33554432000 4194304 8395647 140737480275728 140737480271336 5024703 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 69808 68975 585 1026 0 68778 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 279232
[startup+342.3 s]
/proc/loadavg: 2.11 2.08 2.02 3/178 23741
/proc/meminfo: memFree=26631052/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=316168 CPUtime=342.2 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 78267 0 0 0 33443 777 0 0 20 0 1 0 335907195 323756032 78320 33554432000 4194304 8395647 140737480275728 140737480271336 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 79042 78320 585 1026 0 78012 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 316168
[startup+402.3 s]
/proc/loadavg: 2.04 2.06 2.02 3/177 23741
/proc/meminfo: memFree=26587224/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=359504 CPUtime=402.19 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 89279 0 0 0 39336 883 0 0 20 0 1 0 335907195 368132096 89332 33554432000 4194304 8395647 140737480275728 140737480271336 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 89876 89332 585 1026 0 88846 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 359504
[startup+462.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/177 23741
/proc/meminfo: memFree=26540592/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=410972 CPUtime=462.18 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 100291 0 0 0 45224 994 0 0 20 0 1 0 335907195 420835328 100855 33554432000 4194304 8395647 140737480275728 140737480271336 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 102743 100855 585 1026 0 101713 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 410972
[startup+522.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/177 23741
/proc/meminfo: memFree=26501560/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=450084 CPUtime=522.17 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 110171 0 0 0 51107 1110 0 0 20 0 1 0 335907195 460886016 110735 33554432000 4194304 8395647 140737480275728 140737480271192 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 112521 110735 585 1026 0 111491 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 450084
[startup+582.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 23741
/proc/meminfo: memFree=26468356/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=482412 CPUtime=582.16 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 118344 0 0 0 57000 1216 0 0 20 0 1 0 335907195 493989888 118901 33554432000 4194304 8395647 140737480275728 140737480271336 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 120603 118901 585 1026 0 119573 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 482412
Solver just ended. Dumping a history of the last processes samples
[startup+588.7 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 23741
/proc/meminfo: memFree=26464248/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=487300 CPUtime=588.56 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 119564 0 0 0 57624 1232 0 0 20 0 1 0 335907195 498995200 120121 33554432000 4194304 8395647 140737480275728 140737480271336 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 121825 120121 585 1026 0 120795 0
Current children cumulated CPU time (s) 588.56
Current children cumulated vsize (KiB) 487300
[startup+595.107 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 23741
/proc/meminfo: memFree=26459536/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=491012 CPUtime=594.97 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 120500 0 0 0 58254 1243 0 0 20 0 1 0 335907195 502796288 121057 33554432000 4194304 8395647 140737480275728 140737480271336 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 122753 121057 585 1026 0 121723 0
Current children cumulated CPU time (s) 594.97
Current children cumulated vsize (KiB) 491012
[startup+598.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 23741
/proc/meminfo: memFree=26457428/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=492996 CPUtime=598.16 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 121000 0 0 0 58569 1247 0 0 20 0 1 0 335907195 504827904 121557 33554432000 4194304 8395647 140737480275728 140737480271336 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 123249 121557 585 1026 0 122219 0
Current children cumulated CPU time (s) 598.16
Current children cumulated vsize (KiB) 492996
[startup+601.5 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 23817
/proc/meminfo: memFree=26582416/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=495876 CPUtime=601.36 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 121726 0 0 0 58886 1250 0 0 20 0 1 0 335907195 507777024 122283 33554432000 4194304 8395647 140737480275728 140737480271336 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 123969 122283 585 1026 0 122939 0
Current children cumulated CPU time (s) 601.36
Current children cumulated vsize (KiB) 495876
[startup+603.1 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 23817
/proc/meminfo: memFree=26580060/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=495876 CPUtime=602.96 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 121743 0 0 0 59045 1251 0 0 20 0 1 0 335907195 507777024 122300 33554432000 4194304 8395647 140737480275728 140737480271336 6345373 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 123969 122300 586 1026 0 122939 0
Current children cumulated CPU time (s) 602.96
Current children cumulated vsize (KiB) 495876
[startup+603.907 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 23817
/proc/meminfo: memFree=26578944/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=495876 CPUtime=603.76 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 121743 0 0 0 59125 1251 0 0 20 0 1 0 335907195 507777024 122300 33554432000 4194304 8395647 140737480275728 140737480271336 4221380 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 123969 122300 586 1026 0 122939 0
Current children cumulated CPU time (s) 603.76
Current children cumulated vsize (KiB) 495876
[startup+604.1 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 23817
/proc/meminfo: memFree=26578944/32873844 swapFree=7628/7628
[pid=23733] ppid=23731 vsize=495876 CPUtime=603.96 cores=1,3,5,7
/proc/23733/stat : 23733 (pbscip.linux.x8) R 23731 23733 20882 0 -1 4202496 121743 0 0 0 59145 1251 0 0 20 0 1 0 335907195 507777024 122300 33554432000 4194304 8395647 140737480275728 140737480271336 6345754 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/23733/statm: 123969 122300 586 1026 0 122939 0
Current children cumulated CPU time (s) 603.96
Current children cumulated vsize (KiB) 495876
Child status: 0
Real time (s): 604.19
CPU time (s): 604.056
CPU user time (s): 591.536
CPU system time (s): 12.5201
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 495876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 591.536
system time used= 12.5201
maximum resident set size= 489208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121748
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= 52
involuntary context switches= 617
runsolver used 0.892864 second user time and 2.43963 second system time
The end