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-3733543-1338697973.opb>
0.00/0.00 c original problem has 96 variables (96 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.00 c presolving:
0.00/0.00 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.00 c presolving (2 rounds):
0.00/0.00 c 0 deleted vars, 1 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.00 c 0 implications, 0 cliques
0.00/0.00 c presolved problem has 96 variables (96 bin, 0 int, 0 impl, 0 cont) and 1 constraints
0.00/0.00 c 1 constraints of type <linear>
0.00/0.00 c transformed objective value is always integral (scale: 1)
0.00/0.00 c Presolving Time: 0.00
0.00/0.00 c - non default parameters ----------------------------------------------------------------------
0.00/0.00 c # SCIP version 1.2.1.3
0.00/0.00 c
0.00/0.00 c # frequency for displaying node information lines
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.00 c display/freq = 10000
0.00/0.00 c
0.00/0.00 c # maximal time in seconds to run
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.00 c limits/time = 1790
0.00/0.00 c
0.00/0.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.00 c limits/memory = 13950
0.00/0.00 c
0.00/0.00 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.00 c limits/solutions = 1
0.00/0.00 c
0.00/0.00 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.00 c separating/maxrounds = 1
0.00/0.00 c
0.00/0.00 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.00 c separating/maxroundsroot = 5
0.00/0.00 c
0.00/0.00 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.00 c # [type: int, range: [1,2], default: 1]
0.00/0.00 c timing/clocktype = 2
0.00/0.00 c
0.00/0.00 c # should presolving try to simplify inequalities
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/linear/simplifyinequalities = TRUE
0.00/0.00 c
0.00/0.00 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/indicator/addCouplingCons = TRUE
0.00/0.00 c
0.00/0.00 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.00 c constraints/knapsack/disaggregation = FALSE
0.00/0.00 c
0.00/0.00 c # should presolving try to simplify knapsacks
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.00 c
0.00/0.00 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.00 c presolving/probing/maxrounds = 0
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.00 c heuristics/coefdiving/freq = -1
0.00/0.00 c
0.00/0.00 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.00 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.00 c
0.00/0.00 c # additional number of allowed LP iterations
0.00/0.00 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.00 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.00 c heuristics/crossover/freq = -1
0.00/0.00 c
0.00/0.00 c # number of nodes added to the contingent of the total nodes
0.00/0.00 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.00 c heuristics/crossover/nodesofs = 750
0.00/0.00 c
0.00/0.00 c # number of nodes without incumbent change that heuristic should wait
0.00/0.00 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.00 c heuristics/crossover/nwaitingnodes = 100
0.00/0.00 c
0.00/0.00 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.00 c # [type: real, range: [0,1], default: 0.1]
0.00/0.00 c heuristics/crossover/nodesquot = 0.15
0.00/0.00 c
0.00/0.00 c # minimum percentage of integer variables that have to be fixed
0.00/0.00 c # [type: real, range: [0,1], default: 0.666]
0.00/0.00 c heuristics/crossover/minfixingrate = 0.5
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.00 c heuristics/feaspump/freq = -1
0.00/0.00 c
0.00/0.00 c # additional number of allowed LP iterations
0.00/0.00 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.00 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.00 c heuristics/fracdiving/freq = -1
0.00/0.00 c
0.00/0.00 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.00 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.00 c
0.00/0.00 c # additional number of allowed LP iterations
0.00/0.00 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.00 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.00 c heuristics/guideddiving/freq = -1
0.00/0.00 c
0.00/0.00 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.00 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.00 c
0.00/0.00 c # additional number of allowed LP iterations
0.00/0.00 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.00 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.00 c
0.00/0.00 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.00 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.00 c heuristics/intshifting/freq = -1
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.00 c heuristics/linesearchdiving/freq = -1
0.00/0.00 c
0.00/0.00 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.00 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.00 c
0.00/0.00 c # additional number of allowed LP iterations
0.00/0.00 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.00 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.00 c heuristics/nlp/freq = -1
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.00 c heuristics/objpscostdiving/freq = -1
0.00/0.00 c
0.00/0.00 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.00 c # [type: real, range: [0,1], default: 0.01]
0.00/0.00 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.00 c
0.00/0.00 c # additional number of allowed LP iterations
0.00/0.00 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.00 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.00 c heuristics/oneopt/freq = -1
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.00 c heuristics/pscostdiving/freq = -1
0.00/0.00 c
0.00/0.00 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.00 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.00 c
0.00/0.00 c # additional number of allowed LP iterations
0.00/0.00 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.00 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.00 c heuristics/rens/freq = -1
0.00/0.00 c
0.00/0.00 c # minimum percentage of integer variables that have to be fixable
0.00/0.00 c # [type: real, range: [0,1], default: 0.5]
0.00/0.00 c heuristics/rens/minfixingrate = 0.3
0.00/0.00 c
0.00/0.00 c # number of nodes added to the contingent of the total nodes
0.00/0.00 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.00 c heuristics/rens/nodesofs = 2000
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.00 c heuristics/rootsoldiving/freq = -1
0.00/0.00 c
0.00/0.00 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.00 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.00 c
0.00/0.00 c # additional number of allowed LP iterations
0.00/0.00 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.00 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.00 c heuristics/rounding/freq = -1
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.00 c heuristics/shifting/freq = -1
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.00 c heuristics/simplerounding/freq = -1
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.00 c heuristics/trivial/freq = -1
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.00 c heuristics/trysol/freq = -1
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.00 c heuristics/veclendiving/freq = -1
0.00/0.00 c
0.00/0.00 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.00 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.00 c
0.00/0.00 c # additional number of allowed LP iterations
0.00/0.00 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.00 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.00 c heuristics/zirounding/freq = -1
0.00/0.00 c
0.00/0.00 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.00 c separating/cmir/freq = -1
0.00/0.00 c
0.00/0.00 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.00 c separating/flowcover/freq = -1
0.00/0.00 c
0.00/0.00 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.00 c separating/rapidlearning/freq = 0
0.00/0.00 c
0.00/0.00 c -----------------------------------------------------------------------------------------------
0.00/0.00 c start solving
0.00/0.00 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 | - | 292k| 0 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.01 c 0.0s| 1 | 2 | 2 | - | 293k| 0 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.47 c 0.5s| 10000 | 1195 | 7547 | 0.8 |1417k| 71 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.92 c 0.9s| 20000 | 2095 | 14633 | 0.7 |2180k| 72 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.36 c 1.4s| 30000 | 3015 | 21760 | 0.7 |2953k| 78 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.79/1.80 c 1.8s| 40000 | 3793 | 28730 | 0.7 |3590k| 79 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.19/2.25 c 2.2s| 50000 | 4811 | 35802 | 0.7 |4323k| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.59/2.69 c 2.7s| 60000 | 5557 | 42774 | 0.7 |4982k| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.09/3.13 c 3.1s| 70000 | 6225 | 49644 | 0.7 |5607k| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.49/3.57 c 3.6s| 80000 | 7003 | 56622 | 0.7 |6255k| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.99/4.00 c 4.0s| 90000 | 7743 | 63504 | 0.7 |6872k| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
4.39/4.44 c 4.4s|100000 | 8413 | 70312 | 0.7 |7474k| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
4.79/4.88 c 4.9s|110000 | 9067 | 77221 | 0.7 |8042k| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
5.29/5.31 c 5.3s|120000 | 9751 | 84090 | 0.7 |8607k| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
5.68/5.75 c 5.7s|130000 | 10425 | 90992 | 0.7 |9131k| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
6.08/6.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.08/6.19 c 6.2s|140000 | 11185 | 97882 | 0.7 |9740k| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
6.59/6.63 c 6.6s|150000 | 11921 |104834 | 0.7 | 10M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
6.99/7.06 c 7.1s|160000 | 12605 |111771 | 0.7 | 10M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
7.49/7.50 c 7.5s|170000 | 13331 |118600 | 0.7 | 11M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
7.88/7.94 c 7.9s|180000 | 14055 |125585 | 0.7 | 12M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
8.29/8.37 c 8.4s|190000 | 14745 |132446 | 0.7 | 12M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
8.80/8.81 c 8.8s|200000 | 15409 |139307 | 0.7 | 13M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
9.18/9.25 c 9.3s|210000 | 16225 |146319 | 0.7 | 13M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
9.59/9.69 c 9.7s|220000 | 16933 |153268 | 0.7 | 14M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
10.09/10.13 c 10.1s|230000 | 17737 |160292 | 0.7 | 15M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
10.49/10.56 c 10.6s|240000 | 18483 |167238 | 0.7 | 15M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
10.90/11.00 c 11.0s|250000 | 19197 |174161 | 0.7 | 16M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
11.39/11.44 c 11.4s|260000 | 20003 |181104 | 0.7 | 16M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
11.79/11.87 c 11.9s|270000 | 20745 |188052 | 0.7 | 17M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
12.29/12.31 c 12.3s|280000 | 21371 |194866 | 0.7 | 18M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
12.68/12.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.68/12.75 c 12.7s|290000 | 22175 |201942 | 0.7 | 18M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
13.09/13.18 c 13.2s|300000 | 22789 |208802 | 0.7 | 19M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
13.59/13.62 c 13.6s|310000 | 23453 |215652 | 0.7 | 19M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
13.99/14.06 c 14.1s|320000 | 24067 |222438 | 0.7 | 20M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
14.49/14.50 c 14.5s|330000 | 24663 |229203 | 0.7 | 20M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
14.89/14.93 c 14.9s|340000 | 25275 |235985 | 0.7 | 21M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
15.29/15.37 c 15.4s|350000 | 25839 |242712 | 0.7 | 21M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
15.79/15.80 c 15.8s|360000 | 26557 |249639 | 0.7 | 22M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
16.19/16.24 c 16.2s|370000 | 27301 |256560 | 0.7 | 22M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
16.58/16.68 c 16.7s|380000 | 27959 |263395 | 0.7 | 23M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
17.09/17.12 c 17.1s|390000 | 28637 |270325 | 0.7 | 23M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
17.49/17.56 c 17.6s|400000 | 29587 |277451 | 0.7 | 24M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
17.99/18.00 c 18.0s|410000 | 30279 |284339 | 0.7 | 25M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
18.39/18.44 c 18.4s|420000 | 30933 |291141 | 0.7 | 25M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
18.78/18.88 c 18.9s|430000 | 31619 |298000 | 0.7 | 26M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
19.29/19.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.29/19.32 c 19.3s|440000 | 32361 |304914 | 0.7 | 26M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
19.69/19.76 c 19.8s|450000 | 33215 |311987 | 0.7 | 27M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
20.08/20.19 c 20.2s|460000 | 33909 |318881 | 0.7 | 28M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
20.59/20.63 c 20.6s|470000 | 34633 |325821 | 0.7 | 28M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
20.99/21.07 c 21.1s|480000 | 35341 |332702 | 0.7 | 29M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
21.48/21.51 c 21.5s|490000 | 35875 |339400 | 0.7 | 29M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
21.90/21.94 c 21.9s|500000 | 36479 |346172 | 0.7 | 30M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
22.29/22.39 c 22.4s|510000 | 37211 |353158 | 0.7 | 30M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
22.79/22.83 c 22.8s|520000 | 38085 |360252 | 0.7 | 31M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
23.18/23.27 c 23.3s|530000 | 38847 |367184 | 0.7 | 31M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
23.69/23.70 c 23.7s|540000 | 39473 |373958 | 0.7 | 32M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
24.09/24.15 c 24.1s|550000 | 40249 |380866 | 0.7 | 32M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
24.49/24.59 c 24.6s|560000 | 40945 |387792 | 0.7 | 33M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
24.99/25.03 c 25.0s|570000 | 41645 |394619 | 0.7 | 33M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
25.38/25.46 c 25.5s|580000 | 42259 |401429 | 0.7 | 34M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
25.89/25.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.89/25.91 c 25.9s|590000 | 43083 |408456 | 0.7 | 35M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
26.29/26.35 c 26.3s|600000 | 43813 |415384 | 0.7 | 35M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
26.68/26.78 c 26.8s|610000 | 44415 |422197 | 0.7 | 36M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
27.19/27.22 c 27.2s|620000 | 45213 |429101 | 0.7 | 36M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
27.58/27.66 c 27.7s|630000 | 45949 |436098 | 0.7 | 37M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
28.09/28.10 c 28.1s|640000 | 46605 |442912 | 0.7 | 37M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
28.49/28.53 c 28.5s|650000 | 47291 |449772 | 0.7 | 38M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
28.88/28.97 c 29.0s|660000 | 47955 |456623 | 0.7 | 38M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
29.38/29.41 c 29.4s|670000 | 48633 |463535 | 0.7 | 39M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
29.78/29.84 c 29.8s|680000 | 49421 |470492 | 0.7 | 40M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
30.18/30.29 c 30.3s|690000 | 50141 |477365 | 0.7 | 40M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
30.69/30.73 c 30.7s|700000 | 51005 |484349 | 0.7 | 41M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
31.08/31.17 c 31.2s|710000 | 51603 |491106 | 0.7 | 41M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
31.58/31.61 c 31.6s|720000 | 52255 |497903 | 0.7 | 42M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
31.99/32.05 c 32.0s|730000 | 52727 |504555 | 0.7 | 42M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
32.38/32.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.38/32.48 c 32.5s|740000 | 53229 |511292 | 0.7 | 43M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
32.89/32.92 c 32.9s|750000 | 53939 |518136 | 0.7 | 43M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
33.29/33.36 c 33.4s|760000 | 54809 |525126 | 0.7 | 44M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
33.79/33.80 c 33.8s|770000 | 55661 |532135 | 0.7 | 44M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
34.19/34.24 c 34.2s|780000 | 56307 |538977 | 0.7 | 45M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
34.58/34.68 c 34.7s|790000 | 56931 |545795 | 0.7 | 46M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
35.09/35.12 c 35.1s|800000 | 57625 |552722 | 0.7 | 46M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
35.48/35.55 c 35.6s|810000 | 58383 |559565 | 0.7 | 47M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
35.88/35.99 c 36.0s|820000 | 59111 |566447 | 0.7 | 47M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
36.38/36.43 c 36.4s|830000 | 59885 |573352 | 0.7 | 48M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
36.79/36.87 c 36.9s|840000 | 60365 |580001 | 0.7 | 48M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
37.29/37.30 c 37.3s|850000 | 61009 |586858 | 0.7 | 49M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
37.68/37.74 c 37.7s|860000 | 61693 |593733 | 0.7 | 49M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
38.08/38.18 c 38.2s|870000 | 62367 |600522 | 0.7 | 50M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
38.59/38.61 c 38.6s|880000 | 62837 |607145 | 0.7 | 50M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
38.98/39.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.98/39.05 c 39.1s|890000 | 63537 |614062 | 0.7 | 51M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
39.38/39.49 c 39.5s|900000 | 64369 |621023 | 0.7 | 51M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
39.88/39.92 c 39.9s|910000 | 64887 |627741 | 0.7 | 52M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
40.28/40.36 c 40.4s|920000 | 65635 |634704 | 0.7 | 52M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
40.78/40.81 c 40.8s|930000 | 66555 |641757 | 0.7 | 53M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
41.18/41.25 c 41.2s|940000 | 67159 |648553 | 0.7 | 53M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
41.58/41.69 c 41.7s|950000 | 67829 |655459 | 0.7 | 54M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
42.08/42.13 c 42.1s|960000 | 68403 |662218 | 0.7 | 54M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
42.48/42.57 c 42.6s|970000 | 69021 |669028 | 0.7 | 55M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
42.98/43.01 c 43.0s|980000 | 69841 |676005 | 0.7 | 56M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
43.38/43.45 c 43.4s|990000 | 70553 |682841 | 0.7 | 56M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
43.78/43.89 c 43.9s| 1000k| 71223 |689709 | 0.7 | 57M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
44.28/44.32 c 44.3s| 1010k| 71839 |696503 | 0.7 | 57M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
44.69/44.76 c 44.8s| 1020k| 72571 |703403 | 0.7 | 58M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
45.18/45.20 c 45.2s| 1030k| 73197 |710201 | 0.7 | 58M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
45.58/45.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.58/45.63 c 45.6s| 1040k| 73839 |717085 | 0.7 | 59M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
45.98/46.07 c 46.1s| 1050k| 74553 |723874 | 0.7 | 59M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
46.48/46.51 c 46.5s| 1060k| 75173 |730666 | 0.7 | 60M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
46.88/46.95 c 46.9s| 1070k| 75829 |737453 | 0.7 | 60M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
47.29/47.38 c 47.4s| 1080k| 76467 |744228 | 0.7 | 61M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
47.78/47.82 c 47.8s| 1090k| 77069 |751015 | 0.7 | 61M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
48.18/48.26 c 48.3s| 1100k| 77689 |757849 | 0.7 | 62M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
48.68/48.70 c 48.7s| 1110k| 78399 |764796 | 0.7 | 62M| 84 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
49.09/49.13 c 49.1s| 1120k| 79017 |771607 | 0.7 | 63M| 84 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
49.49/49.57 c 49.6s| 1130k| 79631 |778423 | 0.7 | 64M| 85 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
49.99/50.01 c 50.0s| 1140k| 80379 |785320 | 0.7 | 64M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
50.38/50.44 c 50.4s| 1150k| 80923 |792079 | 0.7 | 65M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
50.78/50.89 c 50.9s| 1160k| 81853 |799192 | 0.7 | 65M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
51.29/51.32 c 51.3s| 1170k| 82493 |805960 | 0.7 | 66M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
51.68/51.76 c 51.8s| 1180k| 83185 |812816 | 0.7 | 66M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
52.18/52.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.18/52.20 c 52.2s| 1190k| 83701 |819511 | 0.7 | 67M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
52.58/52.64 c 52.6s| 1200k| 84419 |826417 | 0.7 | 67M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
52.98/53.08 c 53.1s| 1210k| 85207 |833410 | 0.7 | 68M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
53.49/53.52 c 53.5s| 1220k| 85883 |840264 | 0.7 | 68M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
53.88/53.96 c 54.0s| 1230k| 86603 |847177 | 0.7 | 69M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
54.38/54.40 c 54.4s| 1240k| 87215 |853979 | 0.7 | 69M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
54.78/54.84 c 54.8s| 1250k| 87729 |860723 | 0.7 | 70M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
55.18/55.28 c 55.3s| 1260k| 88307 |867485 | 0.7 | 70M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
55.68/55.72 c 55.7s| 1270k| 88941 |874276 | 0.7 | 71M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
56.09/56.15 c 56.1s| 1280k| 89585 |881109 | 0.7 | 71M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
56.48/56.59 c 56.6s| 1290k| 90217 |887951 | 0.7 | 72M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
56.98/57.02 c 57.0s| 1300k| 90801 |894696 | 0.7 | 72M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
57.38/57.47 c 57.5s| 1310k| 91607 |901622 | 0.7 | 73M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
57.88/57.91 c 57.9s| 1320k| 92313 |908509 | 0.7 | 73M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
58.29/58.34 c 58.3s| 1330k| 92839 |915228 | 0.7 | 74M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
58.68/58.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.68/58.78 c 58.8s| 1340k| 93541 |922101 | 0.7 | 74M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
59.18/59.22 c 59.2s| 1350k| 94273 |929071 | 0.7 | 75M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
59.58/59.66 c 59.7s| 1360k| 94861 |935787 | 0.7 | 75M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
59.98/60.09 c 60.1s| 1370k| 95571 |942685 | 0.7 | 76M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
60.48/60.53 c 60.5s| 1380k| 96321 |949538 | 0.7 | 76M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
60.88/60.97 c 61.0s| 1390k| 96951 |956313 | 0.7 | 77M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
61.38/61.41 c 61.4s| 1400k| 97625 |963119 | 0.7 | 77M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
61.78/61.85 c 61.8s| 1410k| 98267 |969910 | 0.7 | 78M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
62.18/62.29 c 62.3s| 1420k| 98771 |976614 | 0.7 | 78M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
62.69/62.73 c 62.7s| 1430k| 99575 |983603 | 0.7 | 79M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
63.08/63.17 c 63.2s| 1440k|100381 |990437 | 0.7 | 80M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
63.58/63.61 c 63.6s| 1450k|101045 |997185 | 0.7 | 80M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
63.98/64.05 c 64.0s| 1460k|101753 | 1004k| 0.7 | 81M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
64.38/64.49 c 64.5s| 1470k|102299 | 1010k| 0.7 | 81M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
64.89/64.93 c 64.9s| 1480k|103127 | 1017k| 0.7 | 82M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
65.28/65.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.28/65.37 c 65.4s| 1490k|103867 | 1024k| 0.7 | 82M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
65.78/65.81 c 65.8s| 1500k|104539 | 1031k| 0.7 | 83M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
66.18/66.25 c 66.2s| 1510k|105141 | 1038k| 0.7 | 83M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
66.58/66.69 c 66.7s| 1520k|105615 | 1044k| 0.7 | 84M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
67.08/67.13 c 67.1s| 1530k|106275 | 1051k| 0.7 | 84M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
67.48/67.57 c 67.6s| 1540k|106765 | 1058k| 0.7 | 85M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
67.98/68.02 c 68.0s| 1550k|107275 | 1065k| 0.7 | 85M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
68.37/68.46 c 68.5s| 1560k|107969 | 1071k| 0.7 | 86M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
68.87/68.90 c 68.9s| 1570k|108593 | 1078k| 0.7 | 86M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
69.28/69.33 c 69.3s| 1580k|109317 | 1085k| 0.7 | 87M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
69.67/69.78 c 69.8s| 1590k|109969 | 1092k| 0.7 | 87M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
70.18/70.22 c 70.2s| 1600k|110441 | 1099k| 0.7 | 87M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
70.57/70.66 c 70.7s| 1610k|111221 | 1105k| 0.7 | 88M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
71.08/71.10 c 71.1s| 1620k|112197 | 1113k| 0.7 | 89M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
71.48/71.55 c 71.5s| 1630k|112981 | 1120k| 0.7 | 90M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
71.88/71.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.88/71.99 c 72.0s| 1640k|113831 | 1127k| 0.7 | 90M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
72.37/72.43 c 72.4s| 1650k|114833 | 1134k| 0.7 | 91M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
72.78/72.88 c 72.9s| 1660k|115671 | 1141k| 0.7 | 92M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
73.27/73.32 c 73.3s| 1670k|116793 | 1148k| 0.7 | 92M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
73.68/73.77 c 73.8s| 1680k|117735 | 1155k| 0.7 | 93M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
74.17/74.20 c 74.2s| 1690k|118297 | 1162k| 0.7 | 94M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
74.57/74.64 c 74.6s| 1700k|119217 | 1169k| 0.7 | 94M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
74.98/75.08 c 75.1s| 1710k|119923 | 1176k| 0.7 | 95M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
75.47/75.52 c 75.5s| 1720k|120767 | 1183k| 0.7 | 96M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
75.88/75.96 c 76.0s| 1730k|121671 | 1190k| 0.7 | 96M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
76.37/76.41 c 76.4s| 1740k|122489 | 1197k| 0.7 | 97M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
76.77/76.85 c 76.9s| 1750k|123251 | 1204k| 0.7 | 97M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
77.27/77.30 c 77.3s| 1760k|124069 | 1211k| 0.7 | 98M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
77.67/77.74 c 77.7s| 1770k|124839 | 1218k| 0.7 | 99M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
78.08/78.18 c 78.2s| 1780k|125557 | 1225k| 0.7 | 99M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
78.57/78.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.57/78.62 c 78.6s| 1790k|126201 | 1232k| 0.7 | 100M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
78.97/79.06 c 79.1s| 1800k|126937 | 1239k| 0.7 | 100M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
79.47/79.51 c 79.5s| 1810k|127703 | 1246k| 0.7 | 101M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
79.87/79.95 c 79.9s| 1820k|128375 | 1253k| 0.7 | 101M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
80.27/80.39 c 80.4s| 1830k|129147 | 1260k| 0.7 | 102M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
80.77/80.83 c 80.8s| 1840k|129885 | 1266k| 0.7 | 102M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
81.17/81.27 c 81.3s| 1850k|130629 | 1273k| 0.7 | 103M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
81.67/81.71 c 81.7s| 1860k|131393 | 1280k| 0.7 | 103M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
82.07/82.15 c 82.1s| 1870k|132233 | 1287k| 0.7 | 104M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
82.48/82.59 c 82.6s| 1880k|133085 | 1294k| 0.7 | 105M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
82.97/83.03 c 83.0s| 1890k|133857 | 1301k| 0.7 | 105M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
83.38/83.47 c 83.5s| 1900k|134589 | 1308k| 0.7 | 106M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
83.87/83.91 c 83.9s| 1910k|135157 | 1315k| 0.7 | 106M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
84.27/84.35 c 84.3s| 1920k|135749 | 1321k| 0.7 | 107M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
84.68/84.79 c 84.8s| 1930k|136407 | 1328k| 0.7 | 107M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
85.17/85.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.17/85.23 c 85.2s| 1940k|136989 | 1335k| 0.7 | 108M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
85.57/85.67 c 85.7s| 1950k|137561 | 1342k| 0.7 | 108M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
86.07/86.11 c 86.1s| 1960k|138079 | 1348k| 0.7 | 109M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
86.47/86.55 c 86.5s| 1970k|138737 | 1355k| 0.7 | 109M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
86.88/86.99 c 87.0s| 1980k|139665 | 1362k| 0.7 | 110M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
87.37/87.43 c 87.4s| 1990k|140431 | 1369k| 0.7 | 110M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
87.77/87.87 c 87.9s| 2000k|140987 | 1376k| 0.7 | 111M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
88.27/88.30 c 88.3s| 2010k|141641 | 1383k| 0.7 | 111M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
88.67/88.74 c 88.7s| 2020k|142269 | 1389k| 0.7 | 112M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
89.08/89.18 c 89.2s| 2030k|142891 | 1396k| 0.7 | 112M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
89.57/89.62 c 89.6s| 2040k|143569 | 1403k| 0.7 | 113M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
89.97/90.06 c 90.1s| 2050k|144241 | 1410k| 0.7 | 113M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
90.46/90.50 c 90.5s| 2060k|145059 | 1417k| 0.7 | 114M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
90.87/90.94 c 90.9s| 2070k|145647 | 1424k| 0.7 | 114M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
91.27/91.38 c 91.4s| 2080k|146387 | 1430k| 0.7 | 115M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
91.77/91.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
91.77/91.81 c 91.8s| 2090k|147211 | 1437k| 0.7 | 116M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
92.17/92.25 c 92.3s| 2100k|147839 | 1444k| 0.7 | 116M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
92.56/92.69 c 92.7s| 2110k|148575 | 1451k| 0.7 | 117M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
93.06/93.13 c 93.1s| 2120k|149397 | 1458k| 0.7 | 117M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
93.48/93.57 c 93.6s| 2130k|150019 | 1465k| 0.7 | 118M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
93.96/94.01 c 94.0s| 2140k|150767 | 1472k| 0.7 | 118M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
94.37/94.45 c 94.5s| 2150k|151577 | 1479k| 0.7 | 119M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
94.87/94.90 c 94.9s| 2160k|152051 | 1486k| 0.7 | 119M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
95.27/95.34 c 95.3s| 2170k|152615 | 1492k| 0.7 | 119M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
95.67/95.78 c 95.8s| 2180k|153167 | 1499k| 0.7 | 120M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
96.17/96.22 c 96.2s| 2190k|153755 | 1506k| 0.7 | 120M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
96.56/96.66 c 96.7s| 2200k|154511 | 1513k| 0.7 | 121M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
97.07/97.10 c 97.1s| 2210k|155173 | 1520k| 0.7 | 121M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
97.46/97.54 c 97.5s| 2220k|155915 | 1527k| 0.7 | 122M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
97.87/97.98 c 98.0s| 2230k|156507 | 1533k| 0.7 | 122M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
98.36/98.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.36/98.42 c 98.4s| 2240k|157051 | 1540k| 0.7 | 123M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
98.76/98.87 c 98.9s| 2250k|157763 | 1547k| 0.7 | 123M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
99.26/99.31 c 99.3s| 2260k|158609 | 1554k| 0.7 | 124M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
99.66/99.76 c 99.8s| 2270k|159625 | 1561k| 0.7 | 125M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
100.16/100.20 c 100s| 2280k|160377 | 1568k| 0.7 | 125M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
100.56/100.64 c 101s| 2290k|161055 | 1575k| 0.7 | 126M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
100.96/101.07 c 101s| 2300k|161679 | 1582k| 0.7 | 126M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
101.47/101.51 c 102s| 2310k|162209 | 1589k| 0.7 | 127M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
101.86/101.95 c 102s| 2320k|162741 | 1595k| 0.7 | 127M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
102.27/102.39 c 102s| 2330k|163459 | 1602k| 0.7 | 128M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
102.77/102.83 c 103s| 2340k|164053 | 1609k| 0.7 | 128M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
103.16/103.28 c 103s| 2350k|164675 | 1616k| 0.7 | 128M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
103.66/103.72 c 104s| 2360k|165283 | 1623k| 0.7 | 129M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
104.06/104.17 c 104s| 2370k|165727 | 1629k| 0.7 | 129M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
104.56/104.61 c 105s| 2380k|166389 | 1636k| 0.7 | 130M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
104.96/105.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.96/105.05 c 105s| 2390k|166901 | 1643k| 0.7 | 130M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
105.36/105.49 c 105s| 2400k|167455 | 1650k| 0.7 | 130M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
105.87/105.94 c 106s| 2410k|167951 | 1656k| 0.7 | 131M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
106.27/106.37 c 106s| 2420k|168589 | 1663k| 0.7 | 131M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
106.76/106.82 c 107s| 2430k|169397 | 1670k| 0.7 | 132M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
107.16/107.25 c 107s| 2440k|170087 | 1677k| 0.7 | 133M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
107.56/107.69 c 108s| 2450k|170669 | 1684k| 0.7 | 133M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
108.06/108.14 c 108s| 2460k|171343 | 1690k| 0.7 | 134M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
108.46/108.58 c 109s| 2470k|172119 | 1697k| 0.7 | 134M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
108.96/109.01 c 109s| 2480k|172829 | 1704k| 0.7 | 135M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
109.36/109.46 c 109s| 2490k|173497 | 1711k| 0.7 | 135M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
109.76/109.90 c 110s| 2500k|174163 | 1718k| 0.7 | 136M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
110.26/110.34 c 110s| 2510k|174831 | 1725k| 0.7 | 137M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
110.66/110.78 c 111s| 2520k|175491 | 1732k| 0.7 | 137M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
111.15/111.22 c 111s| 2530k|176111 | 1739k| 0.7 | 138M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
111.55/111.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.55/111.66 c 112s| 2540k|176767 | 1745k| 0.7 | 138M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
112.07/112.10 c 112s| 2550k|177373 | 1752k| 0.7 | 138M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
112.46/112.54 c 113s| 2560k|177935 | 1759k| 0.7 | 139M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
112.86/112.98 c 113s| 2570k|178473 | 1766k| 0.7 | 139M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
113.36/113.41 c 113s| 2580k|178989 | 1772k| 0.7 | 140M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
113.75/113.85 c 114s| 2590k|179551 | 1779k| 0.7 | 140M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
114.16/114.29 c 114s| 2600k|180073 | 1786k| 0.7 | 141M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
114.66/114.73 c 115s| 2610k|180607 | 1792k| 0.7 | 141M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
115.06/115.17 c 115s| 2620k|181071 | 1799k| 0.7 | 141M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
115.56/115.61 c 116s| 2630k|181551 | 1806k| 0.7 | 142M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
115.96/116.05 c 116s| 2640k|182103 | 1812k| 0.7 | 142M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
116.36/116.49 c 116s| 2650k|182665 | 1819k| 0.7 | 143M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
116.86/116.93 c 117s| 2660k|183327 | 1826k| 0.7 | 143M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
117.26/117.37 c 117s| 2670k|184107 | 1833k| 0.7 | 144M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
117.76/117.82 c 118s| 2680k|184523 | 1839k| 0.7 | 144M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
118.15/118.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.15/118.26 c 118s| 2690k|185379 | 1847k| 0.7 | 145M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
118.55/118.70 c 119s| 2700k|185999 | 1853k| 0.7 | 145M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
119.05/119.13 c 119s| 2710k|186623 | 1860k| 0.7 | 146M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
119.45/119.58 c 120s| 2720k|187147 | 1867k| 0.7 | 146M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
119.95/120.02 c 120s| 2730k|187601 | 1873k| 0.7 | 147M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
120.36/120.47 c 120s| 2740k|188125 | 1880k| 0.7 | 147M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
120.86/120.91 c 121s| 2750k|188947 | 1887k| 0.7 | 148M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
121.25/121.35 c 121s| 2760k|189499 | 1894k| 0.7 | 148M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
121.75/121.80 c 122s| 2770k|190197 | 1901k| 0.7 | 148M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
122.15/122.24 c 122s| 2780k|190859 | 1908k| 0.7 | 149M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
122.56/122.68 c 123s| 2790k|191715 | 1915k| 0.7 | 150M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
123.06/123.12 c 123s| 2800k|192439 | 1921k| 0.7 | 150M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
123.45/123.56 c 124s| 2810k|193165 | 1928k| 0.7 | 151M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
123.95/124.00 c 124s| 2820k|193827 | 1935k| 0.7 | 151M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
124.35/124.44 c 124s| 2830k|194289 | 1942k| 0.7 | 152M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
124.75/124.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.75/124.88 c 125s| 2840k|194755 | 1949k| 0.7 | 152M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
125.26/125.32 c 125s| 2850k|195287 | 1955k| 0.7 | 152M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
125.65/125.76 c 126s| 2860k|195823 | 1962k| 0.7 | 153M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
126.15/126.20 c 126s| 2870k|196407 | 1969k| 0.7 | 153M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
126.55/126.65 c 127s| 2880k|197055 | 1975k| 0.7 | 154M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
126.96/127.09 c 127s| 2890k|197471 | 1982k| 0.7 | 154M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
127.46/127.53 c 128s| 2900k|197937 | 1989k| 0.7 | 154M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
127.85/127.98 c 128s| 2910k|198469 | 1995k| 0.7 | 155M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
128.35/128.42 c 128s| 2920k|198921 | 2002k| 0.7 | 155M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
128.75/128.87 c 129s| 2930k|199673 | 2009k| 0.7 | 156M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
129.26/129.31 c 129s| 2940k|200267 | 2016k| 0.7 | 156M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
129.66/129.74 c 130s| 2950k|200787 | 2022k| 0.7 | 156M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
130.06/130.19 c 130s| 2960k|201711 | 2029k| 0.7 | 157M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
130.55/130.63 c 131s| 2970k|202325 | 2036k| 0.7 | 158M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
130.95/131.06 c 131s| 2980k|202921 | 2043k| 0.7 | 158M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
131.45/131.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.45/131.51 c 132s| 2990k|203365 | 2050k| 0.7 | 158M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
131.85/131.96 c 132s| 3000k|204091 | 2056k| 0.7 | 159M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
132.35/132.40 c 132s| 3010k|204769 | 2063k| 0.7 | 159M| 86 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
132.75/132.84 c 133s| 3020k|205309 | 2070k| 0.7 | 160M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
133.16/133.28 c 133s| 3030k|205781 | 2077k| 0.7 | 160M| 86 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
133.65/133.72 c 134s| 3040k|206543 | 2083k| 0.7 | 161M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
134.06/134.16 c 134s| 3050k|207189 | 2090k| 0.7 | 161M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
134.55/134.60 c 135s| 3060k|207805 | 2097k| 0.7 | 162M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
134.95/135.04 c 135s| 3070k|208383 | 2104k| 0.7 | 162M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
135.35/135.48 c 135s| 3080k|208957 | 2111k| 0.7 | 163M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
135.85/135.92 c 136s| 3090k|209539 | 2117k| 0.7 | 163M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
136.25/136.36 c 136s| 3100k|210143 | 2124k| 0.7 | 164M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
136.75/136.80 c 137s| 3110k|210769 | 2131k| 0.7 | 164M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
137.15/137.24 c 137s| 3120k|211311 | 2138k| 0.7 | 165M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
137.55/137.68 c 138s| 3130k|211749 | 2144k| 0.7 | 165M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
138.05/138.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.05/138.13 c 138s| 3140k|212345 | 2151k| 0.7 | 166M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
138.45/138.58 c 139s| 3150k|213517 | 2158k| 0.7 | 166M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
138.95/139.02 c 139s| 3160k|214355 | 2165k| 0.7 | 167M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
139.35/139.46 c 139s| 3170k|215075 | 2172k| 0.7 | 168M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
139.85/139.90 c 140s| 3180k|215717 | 2179k| 0.7 | 168M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
140.24/140.34 c 140s| 3190k|216401 | 2186k| 0.7 | 169M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
140.65/140.78 c 141s| 3200k|217211 | 2193k| 0.7 | 169M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
141.15/141.22 c 141s| 3210k|217941 | 2200k| 0.7 | 170M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
141.55/141.66 c 142s| 3220k|218447 | 2206k| 0.7 | 170M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
142.04/142.10 c 142s| 3230k|218927 | 2213k| 0.7 | 171M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
142.45/142.54 c 143s| 3240k|219509 | 2220k| 0.7 | 171M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
142.85/142.98 c 143s| 3250k|220005 | 2227k| 0.7 | 171M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
143.35/143.42 c 143s| 3260k|220487 | 2233k| 0.7 | 172M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
143.75/143.85 c 144s| 3270k|220987 | 2240k| 0.7 | 172M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
144.25/144.30 c 144s| 3280k|221337 | 2246k| 0.7 | 173M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
144.64/144.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.64/144.74 c 145s| 3290k|222117 | 2253k| 0.7 | 173M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
145.06/145.18 c 145s| 3300k|222923 | 2260k| 0.7 | 174M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
145.54/145.62 c 146s| 3310k|223599 | 2267k| 0.7 | 174M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
145.95/146.07 c 146s| 3320k|224313 | 2274k| 0.7 | 175M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
146.45/146.51 c 147s| 3330k|224961 | 2281k| 0.7 | 175M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
146.85/146.95 c 147s| 3340k|225589 | 2288k| 0.7 | 176M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
147.25/147.39 c 147s| 3350k|226147 | 2295k| 0.7 | 176M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
147.74/147.83 c 148s| 3360k|226709 | 2301k| 0.7 | 177M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
148.14/148.27 c 148s| 3370k|227461 | 2308k| 0.7 | 177M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
148.64/148.72 c 149s| 3380k|228525 | 2315k| 0.7 | 178M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
149.04/149.16 c 149s| 3390k|228883 | 2322k| 0.7 | 178M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
149.55/149.61 c 150s| 3400k|229433 | 2328k| 0.7 | 179M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
149.94/150.06 c 150s| 3410k|230107 | 2335k| 0.7 | 179M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
150.44/150.50 c 150s| 3420k|230589 | 2342k| 0.7 | 179M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
150.84/150.94 c 151s| 3430k|231167 | 2349k| 0.7 | 180M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
151.24/151.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.24/151.38 c 151s| 3440k|231673 | 2355k| 0.7 | 180M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
151.74/151.82 c 152s| 3450k|232285 | 2362k| 0.7 | 181M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
152.15/152.26 c 152s| 3460k|232839 | 2369k| 0.7 | 181M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
152.64/152.71 c 153s| 3470k|233537 | 2376k| 0.7 | 182M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
153.04/153.15 c 153s| 3480k|234171 | 2382k| 0.7 | 182M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
153.44/153.59 c 154s| 3490k|234745 | 2389k| 0.7 | 183M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
153.95/154.03 c 154s| 3500k|235381 | 2396k| 0.7 | 183M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
154.34/154.47 c 154s| 3510k|235889 | 2403k| 0.7 | 184M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
154.84/154.91 c 155s| 3520k|236845 | 2410k| 0.7 | 184M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
155.25/155.36 c 155s| 3530k|237319 | 2416k| 0.7 | 185M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
155.74/155.80 c 156s| 3540k|238175 | 2423k| 0.7 | 185M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
156.15/156.24 c 156s| 3550k|238685 | 2430k| 0.7 | 186M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
156.54/156.69 c 157s| 3560k|239431 | 2437k| 0.7 | 186M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
157.04/157.14 c 157s| 3570k|240173 | 2444k| 0.7 | 187M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
157.44/157.58 c 158s| 3580k|240765 | 2451k| 0.7 | 187M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
157.95/158.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
157.95/158.03 c 158s| 3590k|241281 | 2457k| 0.7 | 187M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
158.35/158.48 c 158s| 3600k|242129 | 2464k| 0.7 | 188M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
158.84/158.92 c 159s| 3610k|242773 | 2471k| 0.7 | 188M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
159.24/159.36 c 159s| 3620k|243585 | 2478k| 0.7 | 189M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
159.74/159.80 c 160s| 3630k|244027 | 2485k| 0.7 | 189M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
160.14/160.25 c 160s| 3640k|244645 | 2491k| 0.7 | 190M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
160.55/160.69 c 161s| 3650k|245229 | 2498k| 0.7 | 190M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
161.04/161.14 c 161s| 3660k|245735 | 2505k| 0.7 | 191M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
161.44/161.57 c 162s| 3670k|246369 | 2512k| 0.7 | 191M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
161.94/162.01 c 162s| 3680k|246999 | 2518k| 0.7 | 192M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
162.34/162.45 c 162s| 3690k|247591 | 2525k| 0.7 | 192M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
162.84/162.90 c 163s| 3700k|248153 | 2532k| 0.7 | 193M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
163.24/163.34 c 163s| 3710k|248743 | 2539k| 0.7 | 193M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
163.64/163.78 c 164s| 3720k|249221 | 2545k| 0.7 | 194M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
164.14/164.22 c 164s| 3730k|249735 | 2552k| 0.7 | 194M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
164.54/164.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.54/164.68 c 165s| 3740k|250215 | 2559k| 0.7 | 194M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
165.04/165.12 c 165s| 3750k|250821 | 2565k| 0.7 | 195M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
165.44/165.57 c 166s| 3760k|251559 | 2572k| 0.7 | 195M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
165.95/166.01 c 166s| 3770k|252155 | 2579k| 0.7 | 196M| 87 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
166.34/166.45 c 166s| 3780k|252609 | 2586k| 0.7 | 196M| 87 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
166.84/166.90 c 167s| 3790k|253359 | 2593k| 0.7 | 197M| 88 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
167.24/167.34 c 167s| 3800k|253937 | 2599k| 0.7 | 197M| 88 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
167.64/167.78 c 168s| 3810k|254473 | 2606k| 0.7 | 198M| 88 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
168.14/168.22 c 168s| 3820k|255167 | 2613k| 0.7 | 198M| 88 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
168.54/168.66 c 169s| 3830k|255725 | 2620k| 0.7 | 199M| 88 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
169.03/169.10 c 169s| 3840k|256241 | 2626k| 0.7 | 199M| 88 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
169.44/169.54 c 170s| 3850k|256861 | 2633k| 0.7 | 200M| 88 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
169.84/169.98 c 170s| 3860k|257443 | 2640k| 0.7 | 200M| 88 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
170.35/170.42 c 170s| 3870k|258199 | 2647k| 0.7 | 201M| 88 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
170.74/170.86 c 171s| 3880k|258773 | 2654k| 0.7 | 201M| 88 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
171.24/171.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
171.24/171.31 c 171s| 3890k|259361 | 2661k| 0.7 | 202M| 88 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
171.64/171.75 c 172s| 3900k|260045 | 2668k| 0.7 | 203M| 88 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
172.04/172.19 c 172s| 3910k|260679 | 2674k| 0.7 | 203M| 88 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
172.54/172.63 c 173s| 3920k|261277 | 2681k| 0.7 | 204M| 88 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
172.93/173.08 c 173s| 3930k|261989 | 2688k| 0.7 | 204M| 88 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
173.44/173.52 c 174s| 3940k|262463 | 2695k| 0.7 | 204M| 88 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
173.84/173.96 c 174s| 3950k|262983 | 2701k| 0.7 | 205M| 88 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
174.34/174.40 c 174s| 3960k|263615 | 2708k| 0.7 | 205M| 88 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
174.75/174.84 c 175s| 3970k|264107 | 2715k| 0.7 | 206M| 88 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
175.14/175.27 c 175s| 3980k|264629 | 2722k| 0.7 | 206M| 88 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
175.63/175.72 c 176s| 3990k|265193 | 2728k| 0.7 | 207M| 88 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
176.04/176.16 c 176s| 4000k|265651 | 2735k| 0.7 | 207M| 88 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
176.53/176.61 c 177s| 4010k|266199 | 2742k| 0.7 | 207M| 88 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
176.94/177.06 c 177s| 4020k|266801 | 2748k| 0.7 | 208M| 88 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
177.44/177.50 c 177s| 4030k|267517 | 2755k| 0.7 | 208M| 88 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
177.83/177.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
177.83/177.94 c 178s| 4040k|267981 | 2762k| 0.7 | 209M| 88 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
178.23/178.39 c 178s| 4050k|268635 | 2769k| 0.7 | 209M| 88 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
178.73/178.84 c 179s| 4060k|269447 | 2776k| 0.7 | 210M| 88 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
179.14/179.29 c 179s| 4070k|269951 | 2782k| 0.7 | 210M| 88 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
179.63/179.74 c 180s| 4080k|270591 | 2789k| 0.7 | 210M| 88 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
180.04/180.18 c 180s| 4090k|271239 | 2796k| 0.7 | 211M| 88 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
180.53/180.63 c 181s| 4100k|271775 | 2802k| 0.7 | 211M| 88 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
180.93/181.08 c 181s| 4110k|272267 | 2809k| 0.7 | 212M| 88 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
181.44/181.52 c 182s| 4120k|272791 | 2816k| 0.7 | 212M| 88 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
181.83/181.96 c 182s| 4130k|273331 | 2823k| 0.7 | 213M| 88 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
182.34/182.41 c 182s| 4140k|274091 | 2829k| 0.7 | 213M| 88 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
182.74/182.86 c 183s| 4150k|274641 | 2836k| 0.7 | 213M| 88 | 1 | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
183.23/183.30 c 183s| 4160k|275337 | 2843k| 0.7 | 214M| 88 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
183.64/183.75 c 184s| 4170k|276225 | 2850k| 0.7 | 214M| 88 | - | 96 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
184.43/184.57 c * 185s| 4173k| 0 | 2852k| 0.7 | 355k| 88 | - | 96 | 1 | 96 | 1 | 0 | 0 | 0 | 0.000000e+00 | 0.000000e+00 | 0.00%
184.43/184.57 c
184.43/184.57 c SCIP Status : problem is solved [optimal solution found]
184.43/184.57 c Solving Time (sec) : 184.56
184.43/184.57 c Solving Nodes : 4173363
184.43/184.57 c Primal Bound : +0.00000000000000e+00 (1 solutions)
184.43/184.57 c Dual Bound : +0.00000000000000e+00
184.43/184.57 c Gap : 0.00 %
184.43/184.57 s SATISFIABLE
184.43/184.57 v -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
184.43/184.57 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
184.43/184.57 v -x45 -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
184.43/184.57 v -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 x9 x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
184.43/184.57 c SCIP Status : problem is solved [optimal solution found]
184.43/184.57 c Solving Time : 184.56
184.43/184.57 c Original Problem :
184.43/184.57 c Problem name : HOME/instance-3733543-1338697973.opb
184.43/184.57 c Variables : 96 (96 binary, 0 integer, 0 implicit integer, 0 continuous)
184.43/184.57 c Constraints : 2 initial, 2 maximal
184.43/184.57 c Presolved Problem :
184.43/184.57 c Problem name : t_HOME/instance-3733543-1338697973.opb
184.43/184.57 c Variables : 96 (96 binary, 0 integer, 0 implicit integer, 0 continuous)
184.43/184.57 c Constraints : 1 initial, 1 maximal
184.43/184.57 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
184.43/184.57 c trivial : 0.00 0 0 0 0 0 0 0 0
184.43/184.57 c dualfix : 0.00 0 0 0 0 0 0 0 0
184.43/184.57 c boundshift : 0.00 0 0 0 0 0 0 0 0
184.43/184.57 c inttobinary : 0.00 0 0 0 0 0 0 0 0
184.43/184.57 c implics : 0.00 0 0 0 0 0 0 0 0
184.43/184.57 c probing : 0.00 0 0 0 0 0 0 0 0
184.43/184.57 c linear : 0.00 0 0 0 0 0 1 0 0
184.43/184.57 c root node : - 0 - - 0 - - - -
184.43/184.57 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
184.43/184.57 c integral : 0 0 0 2224894 0 0 0 0 0 4449786
184.43/184.57 c linear : 1 1 4706665 1 0 1948469 12146649 0 0 0
184.43/184.57 c countsols : 0 0 0 1 0 0 0 0 0 0
184.43/184.57 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
184.43/184.57 c integral : 6.06 0.00 0.00 6.06 0.00
184.43/184.57 c linear : 42.70 0.00 42.70 0.00 0.00
184.43/184.57 c countsols : 0.00 0.00 0.00 0.00 0.00
184.43/184.57 c Propagators : Time Calls Cutoffs DomReds
184.43/184.57 c vbounds : 0.61 1 0 0
184.43/184.57 c rootredcost : 0.58 0 0 0
184.43/184.57 c pseudoobj : 0.47 0 0 0
184.43/184.57 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
184.43/184.57 c propagation : 0.00 3 0 0 0.0 0 0.0 -
184.43/184.57 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
184.43/184.57 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
184.43/184.57 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
184.43/184.57 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
184.43/184.57 c applied globally : - - - 0 0.0 - - -
184.43/184.57 c applied locally : - - - 0 0.0 - - -
184.43/184.57 c Separators : Time Calls Cutoffs DomReds Cuts Conss
184.43/184.57 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
184.43/184.57 c redcost : 2.94 2224894 0 0 0 0
184.43/184.57 c impliedbounds : 0.00 1 0 0 0 0
184.43/184.57 c intobj : 0.00 0 0 0 0 0
184.43/184.57 c cgmip : 0.00 0 0 0 0 0
184.43/184.57 c gomory : 0.00 1 0 0 0 0
184.43/184.57 c strongcg : 0.00 1 0 0 0 0
184.43/184.57 c cmir : 0.00 0 0 0 0 0
184.43/184.57 c flowcover : 0.00 0 0 0 0 0
184.43/184.57 c clique : 0.00 1 0 0 0 0
184.43/184.57 c zerohalf : 0.00 0 0 0 0 0
184.43/184.57 c mcf : 0.00 1 0 0 0 0
184.43/184.57 c rapidlearning : 0.01 1 0 0 0 0
184.43/184.57 c Pricers : Time Calls Vars
184.43/184.57 c problem variables: 0.00 0 0
184.43/184.57 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
184.43/184.57 c relpscost : 5.13 2224893 0 0 0 0 4449786
184.43/184.57 c pscost : 0.00 0 0 0 0 0 0
184.43/184.57 c inference : 0.00 0 0 0 0 0 0
184.43/184.57 c mostinf : 0.00 0 0 0 0 0 0
184.43/184.57 c leastinf : 0.00 0 0 0 0 0 0
184.43/184.57 c fullstrong : 0.00 0 0 0 0 0 0
184.43/184.57 c allfullstrong : 0.00 0 0 0 0 0 0
184.43/184.57 c random : 0.00 0 0 0 0 0 0
184.43/184.57 c Primal Heuristics : Time Calls Found
184.43/184.57 c LP solutions : 0.67 - 1
184.43/184.57 c pseudo solutions : 0.00 - 0
184.43/184.57 c trivial : 0.00 1 0
184.43/184.57 c simplerounding : 0.00 0 0
184.43/184.57 c zirounding : 0.00 0 0
184.43/184.57 c rounding : 0.00 0 0
184.43/184.57 c shifting : 0.00 0 0
184.43/184.57 c intshifting : 0.00 0 0
184.43/184.57 c oneopt : 0.00 0 0
184.43/184.57 c twoopt : 0.00 0 0
184.43/184.57 c fixandinfer : 0.00 0 0
184.43/184.57 c feaspump : 0.00 0 0
184.43/184.57 c coefdiving : 0.00 0 0
184.43/184.57 c pscostdiving : 0.00 0 0
184.43/184.57 c fracdiving : 0.00 0 0
184.43/184.57 c veclendiving : 0.00 0 0
184.43/184.57 c intdiving : 0.00 0 0
184.43/184.57 c actconsdiving : 0.00 0 0
184.43/184.57 c objpscostdiving : 0.00 0 0
184.43/184.57 c rootsoldiving : 0.00 0 0
184.43/184.57 c linesearchdiving : 0.00 0 0
184.43/184.57 c guideddiving : 0.00 0 0
184.43/184.57 c octane : 0.00 0 0
184.43/184.57 c rens : 0.00 0 0
184.43/184.57 c rins : 0.00 0 0
184.43/184.57 c localbranching : 0.00 0 0
184.43/184.57 c mutation : 0.00 0 0
184.43/184.57 c crossover : 0.00 0 0
184.43/184.57 c dins : 0.00 0 0
184.43/184.57 c undercover : 0.00 0 0
184.43/184.57 c nlp : 0.00 0 0
184.43/184.57 c trysol : 0.00 0 0
184.43/184.57 c LP : Time Calls Iterations Iter/call Iter/sec
184.43/184.57 c primal LP : 0.00 0 0 0.00 -
184.43/184.57 c dual LP : 50.19 2224894 2852618 1.28 56836.77
184.43/184.57 c lex dual LP : 0.00 0 0 0.00 -
184.43/184.57 c barrier LP : 0.00 0 0 0.00 -
184.43/184.57 c diving/probing LP: 0.00 0 0 0.00 -
184.43/184.57 c strong branching : 0.00 0 0 0.00 -
184.43/184.57 c (at root node) : - 0 0 0.00 -
184.43/184.57 c conflict analysis: 0.00 0 0 0.00 -
184.43/184.57 c B&B Tree :
184.43/184.57 c number of runs : 1
184.43/184.57 c nodes : 4173363
184.43/184.57 c nodes (total) : 4173363
184.43/184.57 c nodes left : 0
184.43/184.57 c max depth : 88
184.43/184.57 c max depth (total): 88
184.43/184.57 c backtracks : 437018 (10.5%)
184.43/184.57 c delayed cutoffs : 0
184.43/184.57 c repropagations : 0 (0 domain reductions, 0 cutoffs)
184.43/184.57 c avg switch length: 4.43
184.43/184.57 c switching time : 24.05
184.43/184.57 c Solution :
184.43/184.57 c Solutions found : 1 (1 improvements)
184.43/184.57 c First Solution : +0.00000000000000e+00 (in run 1, after 4173363 nodes, 183.90 seconds, depth 52, found by <relaxation>)
184.43/184.57 c Primal Bound : +0.00000000000000e+00 (in run 1, after 4173363 nodes, 183.90 seconds, depth 52, found by <relaxation>)
184.43/184.57 c Dual Bound : +0.00000000000000e+00
184.43/184.57 c Gap : 0.00 %
184.43/184.57 c Root Dual Bound : +0.00000000000000e+00
184.43/184.57 c Root Iterations : 2
184.43/184.57 c Time complete: 184.51.
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-3733543-1338697973/watcher-3733543-1338697973 -o /tmp/evaluation-result-3733543-1338697973/solver-3733543-1338697973 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3733543-1338697973.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.25 2.07 2.02 3/177 24028
/proc/meminfo: memFree=28382352/32873648 swapFree=7388/7388
[pid=24028] ppid=24026 vsize=10024 CPUtime=0 cores=1,3,5,7
/proc/24028/stat : 24028 (pbscip.linux.x8) R 24026 24028 21664 0 -1 4202496 1771 0 0 0 0 0 0 0 20 0 1 0 335921790 10264576 1718 33554432000 4194304 8395647 140734980091968 140734980023800 5756997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24028/statm: 2506 1720 376 1026 0 1476 0
[startup+0.08637 s]
/proc/loadavg: 2.25 2.07 2.02 3/177 24028
/proc/meminfo: memFree=28382352/32873648 swapFree=7388/7388
[pid=24028] ppid=24026 vsize=21820 CPUtime=0.07 cores=1,3,5,7
/proc/24028/stat : 24028 (pbscip.linux.x8) R 24026 24028 21664 0 -1 4202496 4606 0 0 0 7 0 0 0 20 0 1 0 335921790 22343680 4200 33554432000 4194304 8395647 140734980091968 140734980023800 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24028/statm: 5455 4200 583 1026 0 4425 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 21820
[startup+0.100299 s]
/proc/loadavg: 2.25 2.07 2.02 3/177 24028
/proc/meminfo: memFree=28382352/32873648 swapFree=7388/7388
[pid=24028] ppid=24026 vsize=21820 CPUtime=0.09 cores=1,3,5,7
/proc/24028/stat : 24028 (pbscip.linux.x8) R 24026 24028 21664 0 -1 4202496 4606 0 0 0 9 0 0 0 20 0 1 0 335921790 22343680 4200 33554432000 4194304 8395647 140734980091968 140734980023800 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24028/statm: 5455 4200 583 1026 0 4425 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21820
[startup+0.300224 s]
/proc/loadavg: 2.25 2.07 2.02 3/177 24028
/proc/meminfo: memFree=28382352/32873648 swapFree=7388/7388
[pid=24028] ppid=24026 vsize=21820 CPUtime=0.29 cores=1,3,5,7
/proc/24028/stat : 24028 (pbscip.linux.x8) R 24026 24028 21664 0 -1 4202496 4610 0 0 0 28 1 0 0 20 0 1 0 335921790 22343680 4204 33554432000 4194304 8395647 140734980091968 140734980023800 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24028/statm: 5455 4204 583 1026 0 4425 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21820
[startup+0.700228 s]
/proc/loadavg: 2.25 2.07 2.02 3/177 24028
/proc/meminfo: memFree=28382352/32873648 swapFree=7388/7388
[pid=24028] ppid=24026 vsize=21820 CPUtime=0.69 cores=1,3,5,7
/proc/24028/stat : 24028 (pbscip.linux.x8) R 24026 24028 21664 0 -1 4202496 4613 0 0 0 66 3 0 0 20 0 1 0 335921790 22343680 4207 33554432000 4194304 8395647 140734980091968 140734980023800 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24028/statm: 5455 4207 583 1026 0 4425 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21820
[startup+1.50022 s]
/proc/loadavg: 2.25 2.07 2.02 3/178 24029
/proc/meminfo: memFree=28367564/32873648 swapFree=7388/7388
[pid=24028] ppid=24026 vsize=21820 CPUtime=1.48 cores=1,3,5,7
/proc/24028/stat : 24028 (pbscip.linux.x8) R 24026 24028 21664 0 -1 4202496 4618 0 0 0 143 5 0 0 20 0 1 0 335921790 22343680 4212 33554432000 4194304 8395647 140734980091968 140734980087576 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24028/statm: 5455 4212 583 1026 0 4425 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 21820
[startup+3.10022 s]
/proc/loadavg: 2.25 2.07 2.02 3/178 24029
/proc/meminfo: memFree=28366820/32873648 swapFree=7388/7388
[pid=24028] ppid=24026 vsize=21820 CPUtime=3.09 cores=1,3,5,7
/proc/24028/stat : 24028 (pbscip.linux.x8) R 24026 24028 21664 0 -1 4202496 4903 0 0 0 298 11 0 0 20 0 1 0 335921790 22343680 4497 33554432000 4194304 8395647 140734980091968 140734980087576 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24028/statm: 5455 4497 585 1026 0 4425 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21820
[startup+6.30022 s]
/proc/loadavg: 2.23 2.07 2.02 3/177 24029
/proc/meminfo: memFree=28364604/32873648 swapFree=7388/7388
[pid=24028] ppid=24026 vsize=24300 CPUtime=6.29 cores=1,3,5,7
/proc/24028/stat : 24028 (pbscip.linux.x8) R 24026 24028 21664 0 -1 4202496 5606 0 0 0 608 21 0 0 20 0 1 0 335921790 24883200 5200 33554432000 4194304 8395647 140734980091968 140734980087576 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24028/statm: 6075 5200 585 1026 0 5045 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24300
[startup+12.7002 s]
/proc/loadavg: 2.21 2.07 2.01 3/177 24029
/proc/meminfo: memFree=28356244/32873648 swapFree=7388/7388
[pid=24028] ppid=24026 vsize=33868 CPUtime=12.68 cores=1,3,5,7
/proc/24028/stat : 24028 (pbscip.linux.x8) R 24026 24028 21664 0 -1 4202496 8016 0 0 0 1223 45 0 0 20 0 1 0 335921790 34680832 7610 33554432000 4194304 8395647 140734980091968 140734980087576 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24028/statm: 8467 7610 585 1026 0 7437 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 33868
[startup+25.5002 s]
/proc/loadavg: 2.16 2.06 2.01 3/177 24029
/proc/meminfo: memFree=28336648/32873648 swapFree=7388/7388
[pid=24028] ppid=24026 vsize=49716 CPUtime=25.49 cores=1,3,5,7
/proc/24028/stat : 24028 (pbscip.linux.x8) R 24026 24028 21664 0 -1 4202496 12056 0 0 0 2459 90 0 0 20 0 1 0 335921790 50909184 11650 33554432000 4194304 8395647 140734980091968 140734980087576 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24028/statm: 12429 11650 585 1026 0 11399 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49716
[startup+51.1002 s]
/proc/loadavg: 2.11 2.06 2.01 3/177 24029
/proc/meminfo: memFree=28297808/32873648 swapFree=7388/7388
[pid=24028] ppid=24026 vsize=84648 CPUtime=51.08 cores=1,3,5,7
/proc/24028/stat : 24028 (pbscip.linux.x8) R 24026 24028 21664 0 -1 4202496 20542 0 0 0 4922 186 0 0 20 0 1 0 335921790 86679552 20136 33554432000 4194304 8395647 140734980091968 140734980087576 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24028/statm: 21162 20136 585 1026 0 20132 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84648
[startup+102.307 s]
/proc/loadavg: 2.12 2.08 2.02 3/177 24029
/proc/meminfo: memFree=28219552/32873648 swapFree=7388/7388
[pid=24028] ppid=24026 vsize=147140 CPUtime=102.27 cores=1,3,5,7
/proc/24028/stat : 24028 (pbscip.linux.x8) R 24026 24028 21664 0 -1 4202496 36406 0 0 0 9858 369 0 0 20 0 1 0 335921790 150671360 36028 33554432000 4194304 8395647 140734980091968 140734980087528 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24028/statm: 36785 36028 585 1026 0 35755 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 147140
[startup+162.3 s]
/proc/loadavg: 2.16 2.09 2.02 3/177 24030
/proc/meminfo: memFree=28144684/32873648 swapFree=7388/7388
[pid=24028] ppid=24026 vsize=215440 CPUtime=162.24 cores=1,3,5,7
/proc/24028/stat : 24028 (pbscip.linux.x8) R 24026 24028 21664 0 -1 4202496 52733 0 0 0 15641 583 0 0 20 0 1 0 335921790 220610560 52342 33554432000 4194304 8395647 140734980091968 140734980087576 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24028/statm: 53860 52342 585 1026 0 52830 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 215440
Solver just ended. Dumping a history of the last processes samples
[startup+166.3 s]
/proc/loadavg: 2.15 2.09 2.02 3/177 24030
/proc/meminfo: memFree=28138980/32873648 swapFree=7388/7388
[pid=24028] ppid=24026 vsize=219472 CPUtime=166.24 cores=1,3,5,7
/proc/24028/stat : 24028 (pbscip.linux.x8) R 24026 24028 21664 0 -1 4202496 53760 0 0 0 16026 598 0 0 20 0 1 0 335921790 224739328 53369 33554432000 4194304 8395647 140734980091968 140734980087576 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24028/statm: 54868 53369 585 1026 0 53838 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 219472
[startup+172.706 s]
/proc/loadavg: 2.13 2.09 2.02 3/177 24030
/proc/meminfo: memFree=28130284/32873648 swapFree=7388/7388
[pid=24028] ppid=24026 vsize=227932 CPUtime=172.64 cores=1,3,5,7
/proc/24028/stat : 24028 (pbscip.linux.x8) R 24026 24028 21664 0 -1 4202496 55913 0 0 0 16642 622 0 0 20 0 1 0 335921790 233402368 55520 33554432000 4194304 8395647 140734980091968 140734980087576 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24028/statm: 56983 55520 585 1026 0 55953 0
Current children cumulated CPU time (s) 172.64
Current children cumulated vsize (KiB) 227932
[startup+179.1 s]
/proc/loadavg: 2.12 2.09 2.02 3/177 24030
/proc/meminfo: memFree=28123696/32873648 swapFree=7388/7388
[pid=24028] ppid=24026 vsize=234600 CPUtime=179.03 cores=1,3,5,7
/proc/24028/stat : 24028 (pbscip.linux.x8) R 24026 24028 21664 0 -1 4202496 57615 0 0 0 17258 645 0 0 20 0 1 0 335921790 240230400 57219 33554432000 4194304 8395647 140734980091968 140734980087528 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24028/statm: 58650 57219 585 1026 0 57620 0
Current children cumulated CPU time (s) 179.03
Current children cumulated vsize (KiB) 234600
[startup+182.3 s]
/proc/loadavg: 2.11 2.08 2.02 3/177 24030
/proc/meminfo: memFree=28119728/32873648 swapFree=7388/7388
[pid=24028] ppid=24026 vsize=237224 CPUtime=182.23 cores=1,3,5,7
/proc/24028/stat : 24028 (pbscip.linux.x8) R 24026 24028 21664 0 -1 4202496 58287 0 0 0 17568 655 0 0 20 0 1 0 335921790 242917376 57891 33554432000 4194304 8395647 140734980091968 140734980087576 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24028/statm: 59306 57891 585 1026 0 58276 0
Current children cumulated CPU time (s) 182.23
Current children cumulated vsize (KiB) 237224
[startup+183.9 s]
/proc/loadavg: 2.11 2.08 2.02 3/177 24030
/proc/meminfo: memFree=28118364/32873648 swapFree=7388/7388
[pid=24028] ppid=24026 vsize=238760 CPUtime=183.84 cores=1,3,5,7
/proc/24028/stat : 24028 (pbscip.linux.x8) R 24026 24028 21664 0 -1 4202496 58680 0 0 0 17723 661 0 0 20 0 1 0 335921790 244490240 58284 33554432000 4194304 8395647 140734980091968 140734980087576 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24028/statm: 59690 58284 585 1026 0 58660 0
Current children cumulated CPU time (s) 183.84
Current children cumulated vsize (KiB) 238760
[startup+184.3 s]
/proc/loadavg: 2.11 2.08 2.02 3/177 24030
/proc/meminfo: memFree=28118364/32873648 swapFree=7388/7388
[pid=24028] ppid=24026 vsize=238760 CPUtime=184.23 cores=1,3,5,7
/proc/24028/stat : 24028 (pbscip.linux.x8) R 24026 24028 21664 0 -1 4202496 58681 0 0 0 17762 661 0 0 20 0 1 0 335921790 244490240 58285 33554432000 4194304 8395647 140734980091968 140734980087576 6260807 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24028/statm: 59690 58285 586 1026 0 58660 0
Current children cumulated CPU time (s) 184.23
Current children cumulated vsize (KiB) 238760
[startup+184.5 s]
/proc/loadavg: 2.11 2.08 2.02 3/177 24030
/proc/meminfo: memFree=28118364/32873648 swapFree=7388/7388
[pid=24028] ppid=24026 vsize=238760 CPUtime=184.43 cores=1,3,5,7
/proc/24028/stat : 24028 (pbscip.linux.x8) R 24026 24028 21664 0 -1 4202496 58681 0 0 0 17782 661 0 0 20 0 1 0 335921790 244490240 58285 33554432000 4194304 8395647 140734980091968 140734980087576 4723491 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24028/statm: 59690 58285 586 1026 0 58660 0
Current children cumulated CPU time (s) 184.43
Current children cumulated vsize (KiB) 238760
Child status: 0
Real time (s): 184.576
CPU time (s): 184.52
CPU user time (s): 177.902
CPU system time (s): 6.61799
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 238760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 177.902
system time used= 6.61799
maximum resident set size= 233148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58686
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= 37
involuntary context switches= 189
runsolver used 0.271958 second user time and 0.756884 second system time
The end