0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3691594-1338021319.opb>
0.00/0.01 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.01 c problem read in 0.01
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.04 c (round 1) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.00/0.04 c (round 2) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.00/0.05 c (round 3) 0 del vars, 264 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.00/0.06 c presolving (4 rounds):
0.00/0.06 c 0 deleted vars, 264 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 242 implications, 22 cliques
0.00/0.06 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.00/0.06 c 1 constraints of type <knapsack>
0.00/0.06 c 22 constraints of type <setppc>
0.00/0.06 c 2420 constraints of type <logicor>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.05
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 2.1.1.4
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1797
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 13950
0.00/0.06 c
0.00/0.06 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c limits/solutions = 1
0.00/0.06 c
0.00/0.06 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.06 c separating/maxrounds = 1
0.00/0.06 c
0.00/0.06 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/maxroundsroot = 5
0.00/0.06 c
0.00/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.06 c # [type: int, range: [1,2], default: 1]
0.00/0.06 c timing/clocktype = 2
0.00/0.06 c
0.00/0.06 c # belongs reading time to solving time?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c timing/reading = TRUE
0.00/0.06 c
0.00/0.06 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06 c constraints/knapsack/disaggregation = FALSE
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/coefdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.06 c heuristics/crossover/freq = -1
0.00/0.06 c
0.00/0.06 c # number of nodes added to the contingent of the total nodes
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.06 c heuristics/crossover/nodesofs = 750
0.00/0.06 c
0.00/0.06 c # number of nodes without incumbent change that heuristic should wait
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.06 c heuristics/crossover/nwaitingnodes = 100
0.00/0.06 c
0.00/0.06 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.06 c # [type: real, range: [0,1], default: 0.1]
0.00/0.06 c heuristics/crossover/nodesquot = 0.15
0.00/0.06 c
0.00/0.06 c # minimum percentage of integer variables that have to be fixed
0.00/0.06 c # [type: real, range: [0,1], default: 0.666]
0.00/0.06 c heuristics/crossover/minfixingrate = 0.5
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/feaspump/freq = -1
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/fracdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/guideddiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/intshifting/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/linesearchdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/objpscostdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.06 c # [type: real, range: [0,1], default: 0.01]
0.00/0.06 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/oneopt/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/pscostdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/rens/freq = -1
0.00/0.06 c
0.00/0.06 c # minimum percentage of integer variables that have to be fixable
0.00/0.06 c # [type: real, range: [0,1], default: 0.5]
0.00/0.06 c heuristics/rens/minfixingrate = 0.3
0.00/0.06 c
0.00/0.06 c # number of nodes added to the contingent of the total nodes
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.06 c heuristics/rens/nodesofs = 2000
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/rootsoldiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.06 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/rounding/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/shiftandpropagate/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/shifting/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/simplerounding/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/subnlp/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/trivial/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/trysol/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/undercover/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/veclendiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/zirounding/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c propagating/probing/maxprerounds = 0
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c separating/cmir/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c separating/flowcover/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.06/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.06 c heuristics/indoneopt/freq = -1
0.06/0.06 c
0.06/0.06 c -----------------------------------------------------------------------------------------------
0.06/0.06 c start solving
0.06/0.06 c
0.06/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.06/0.07 c 0.1s| 1 | 0 | 76 | - |4259k| 0 | 36 | 231 |2443 | 231 |2443 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 c 0.2s| 1 | 0 | 90 | - |4669k| 0 | 39 | 231 |2711 | 231 |2450 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 c 0.2s| 1 | 0 | 105 | - |4997k| 0 | 45 | 231 |2711 | 231 |2454 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.29 c 0.3s| 1 | 0 | 120 | - |5440k| 0 | 46 | 231 |2711 | 231 |2455 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.28/0.33 c 0.3s| 1 | 0 | 139 | - |5884k| 0 | 47 | 231 |2711 | 231 |2457 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.49 c 0.5s| 1 | 0 | 146 | - |6228k| 0 | 51 | 231 |2711 | 231 |2460 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.58/0.67 c 0.7s| 1 | 2 | 146 | - |6228k| 0 | 51 | 231 |2711 | 231 |2460 | 17 | 0 | 10 | 0.000000e+00 | -- | Inf
8.39/8.40 c 8.4s| 100 | 13 | 4882 | 47.8 |6367k| 13 | 33 | 231 |2726 | 231 |2453 | 17 | 15 |1536 | 0.000000e+00 | -- | Inf
9.79/9.84 c 9.8s| 200 | 17 | 6937 | 34.1 |6409k| 20 | - | 231 |2782 | 231 |2453 | 17 | 72 |1807 | 0.000000e+00 | -- | Inf
10.19/10.29 c 10.3s| 300 | 19 | 8720 | 28.7 |6433k| 21 | 34 | 231 |2839 | 231 |2453 | 17 | 129 |1859 | 0.000000e+00 | -- | Inf
10.58/10.64 c 10.6s| 400 | 26 | 10308 | 25.5 |6489k| 23 | 32 | 231 |2922 | 231 |2453 | 17 | 212 |1899 | 0.000000e+00 | -- | Inf
10.79/10.85 c 10.8s| 500 | 26 | 11589 | 22.9 |6518k| 33 | 31 | 231 |2992 | 231 |2453 | 17 | 284 |1907 | 0.000000e+00 | -- | Inf
11.08/11.12 c 11.1s| 600 | 26 | 13735 | 22.7 |6540k| 33 | 35 | 231 |3058 | 231 |2453 | 17 | 351 |1912 | 0.000000e+00 | -- | Inf
11.38/11.41 c 11.4s| 700 | 27 | 15729 | 22.3 |6573k| 33 | - | 231 |3126 | 231 |2453 | 17 | 419 |1923 | 0.000000e+00 | -- | Inf
11.59/11.65 c 11.6s| 800 | 29 | 17508 | 21.7 |6602k| 33 | - | 231 |3198 | 231 |2453 | 17 | 494 |1929 | 0.000000e+00 | -- | Inf
11.88/11.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.88/11.98 c 12.0s| 900 | 29 | 19375 | 21.4 |6631k| 33 | - | 231 |3265 | 231 |2453 | 17 | 567 |1951 | 0.000000e+00 | -- | Inf
12.18/12.22 c 12.2s| 1000 | 35 | 21146 | 21.0 |6671k| 33 | 36 | 231 |3336 | 231 |2453 | 17 | 640 |1955 | 0.000000e+00 | -- | Inf
12.38/12.44 c 12.4s| 1100 | 33 | 22853 | 20.7 |6698k| 33 | 40 | 231 |3406 | 231 |2453 | 17 | 712 |1956 | 0.000000e+00 | -- | Inf
12.68/12.74 c 12.7s| 1200 | 29 | 24651 | 20.4 |6716k| 33 | - | 231 |3471 | 231 |2453 | 17 | 781 |1975 | 0.000000e+00 | -- | Inf
12.98/13.04 c 13.0s| 1300 | 32 | 26355 | 20.2 |6741k| 33 | 29 | 231 |3521 | 231 |2453 | 17 | 838 |1993 | 0.000000e+00 | -- | Inf
13.28/13.33 c 13.3s| 1400 | 32 | 28159 | 20.0 |6758k| 33 | 33 | 231 |3572 | 231 |2453 | 17 | 898 |2010 | 0.000000e+00 | -- | Inf
13.58/13.63 c 13.6s| 1500 | 32 | 29852 | 19.8 |6784k| 33 | - | 231 |3631 | 231 |2453 | 17 | 960 |2032 | 0.000000e+00 | -- | Inf
13.88/13.94 c 13.9s| 1600 | 32 | 31741 | 19.8 |6814k| 33 | - | 231 |3699 | 231 |2453 | 17 |1037 |2051 | 0.000000e+00 | -- | Inf
14.08/14.19 c 14.2s| 1700 | 34 | 33603 | 19.7 |6842k| 33 | 38 | 231 |3751 | 231 |2453 | 17 |1098 |2058 | 0.000000e+00 | -- | Inf
14.38/14.44 c 14.4s| 1800 | 30 | 35381 | 19.6 |6849k| 33 | 46 | 231 |3812 | 231 |2453 | 17 |1169 |2065 | 0.000000e+00 | -- | Inf
14.58/14.68 c 14.7s| 1900 | 30 | 37265 | 19.5 |6875k| 33 | - | 231 |3881 | 231 |2453 | 17 |1244 |2066 | 0.000000e+00 | -- | Inf
14.88/14.91 c 14.9s| 2000 | 30 | 38834 | 19.4 |6891k| 33 | 38 | 231 |3939 | 231 |2453 | 17 |1306 |2072 | 0.000000e+00 | -- | Inf
15.08/15.16 c 15.2s| 2100 | 30 | 40823 | 19.4 |6926k| 33 | - | 231 |3995 | 231 |2453 | 17 |1368 |2076 | 0.000000e+00 | -- | Inf
15.39/15.42 c 15.4s| 2200 | 30 | 42879 | 19.4 |6953k| 33 | - | 231 |4067 | 231 |2453 | 17 |1446 |2077 | 0.000000e+00 | -- | Inf
15.57/15.66 c 15.7s| 2300 | 30 | 44802 | 19.4 |6971k| 33 | 35 | 231 |4135 | 231 |2453 | 17 |1519 |2078 | 0.000000e+00 | -- | Inf
15.78/15.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.78/15.87 c 15.9s| 2400 | 30 | 46445 | 19.3 |7002k| 33 | 35 | 231 |4193 | 231 |2453 | 17 |1585 |2078 | 0.000000e+00 | -- | Inf
15.98/16.09 c 16.1s| 2500 | 30 | 48227 | 19.2 |7021k| 33 | - | 231 |4237 | 231 |2453 | 17 |1639 |2078 | 0.000000e+00 | -- | Inf
16.28/16.31 c 16.3s| 2600 | 36 | 49960 | 19.2 |7054k| 33 | - | 231 |4278 | 231 |2453 | 17 |1694 |2078 | 0.000000e+00 | -- | Inf
16.48/16.54 c 16.5s| 2700 | 36 | 51710 | 19.1 |7067k| 33 | 37 | 231 |4334 | 231 |2453 | 17 |1751 |2082 | 0.000000e+00 | -- | Inf
16.68/16.77 c 16.8s| 2800 | 31 | 53502 | 19.1 |7085k| 33 | 24 | 231 |4386 | 231 |2453 | 17 |1813 |2083 | 0.000000e+00 | -- | Inf
16.98/17.01 c 17.0s| 2900 | 30 | 55326 | 19.0 |7106k| 33 | 38 | 231 |4444 | 231 |2453 | 17 |1886 |2085 | 0.000000e+00 | -- | Inf
17.18/17.22 c 17.2s| 3000 | 26 | 56920 | 18.9 |7112k| 33 | 34 | 231 |4507 | 231 |2453 | 17 |1956 |2085 | 0.000000e+00 | -- | Inf
17.38/17.50 c 17.5s| 3100 | 21 | 58764 | 18.9 |7122k| 33 | - | 231 |4548 | 231 |2453 | 17 |2021 |2096 | 0.000000e+00 | -- | Inf
17.68/17.76 c 17.8s| 3200 | 23 | 60336 | 18.8 |7148k| 33 | 29 | 231 |4610 | 231 |2453 | 17 |2087 |2109 | 0.000000e+00 | -- | Inf
17.97/18.04 c 18.0s| 3300 | 22 | 62183 | 18.8 |7169k| 33 | - | 231 |4663 | 231 |2453 | 17 |2143 |2122 | 0.000000e+00 | -- | Inf
18.28/18.35 c 18.4s| 3400 | 21 | 64191 | 18.8 |7181k| 33 | 33 | 231 |4721 | 231 |2453 | 17 |2207 |2138 | 0.000000e+00 | -- | Inf
18.68/18.72 c 18.7s| 3500 | 21 | 66535 | 19.0 |7202k| 33 | 41 | 231 |4771 | 231 |2453 | 17 |2267 |2159 | 0.000000e+00 | -- | Inf
18.97/19.03 c 19.0s| 3600 | 21 | 68381 | 19.0 |7229k| 33 | 34 | 231 |4807 | 231 |2453 | 17 |2327 |2179 | 0.000000e+00 | -- | Inf
19.28/19.38 c 19.4s| 3700 | 23 | 70712 | 19.1 |7246k| 33 | 27 | 231 |4828 | 231 |2453 | 17 |2402 |2197 | 0.000000e+00 | -- | Inf
19.58/19.66 c 19.7s| 3800 | 23 | 72646 | 19.1 |7268k| 33 | 16 | 231 |4886 | 231 |2453 | 17 |2475 |2210 | 0.000000e+00 | -- | Inf
19.88/19.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.88/19.93 c 19.9s| 3900 | 25 | 74623 | 19.1 |7291k| 33 | 24 | 231 |4926 | 231 |2453 | 17 |2536 |2217 | 0.000000e+00 | -- | Inf
20.07/20.18 c 20.2s| 4000 | 25 | 76557 | 19.1 |7314k| 33 | - | 231 |4979 | 231 |2453 | 17 |2604 |2221 | 0.000000e+00 | -- | Inf
20.38/20.44 c 20.4s| 4100 | 26 | 78449 | 19.1 |7326k| 33 | 36 | 231 |5023 | 231 |2453 | 17 |2667 |2224 | 0.000000e+00 | -- | Inf
20.58/20.66 c 20.7s| 4200 | 25 | 80245 | 19.1 |7346k| 34 | - | 231 |5077 | 231 |2453 | 17 |2730 |2225 | 0.000000e+00 | -- | Inf
20.88/20.92 c 20.9s| 4300 | 26 | 82227 | 19.1 |7373k| 34 | 29 | 231 |5124 | 231 |2453 | 17 |2792 |2229 | 0.000000e+00 | -- | Inf
21.08/21.19 c 21.2s| 4400 | 24 | 84333 | 19.1 |7385k| 34 | 37 | 231 |5169 | 231 |2453 | 17 |2862 |2232 | 0.000000e+00 | -- | Inf
21.38/21.45 c 21.5s| 4500 | 28 | 86446 | 19.2 |7417k| 34 | - | 231 |5206 | 231 |2453 | 17 |2939 |2235 | 0.000000e+00 | -- | Inf
21.68/21.70 c 21.7s| 4600 | 28 | 88489 | 19.2 |7435k| 34 | - | 231 |5259 | 231 |2453 | 17 |3018 |2235 | 0.000000e+00 | -- | Inf
21.88/21.97 c 22.0s| 4700 | 32 | 90872 | 19.3 |7478k| 34 | - | 231 |5320 | 231 |2453 | 17 |3093 |2235 | 0.000000e+00 | -- | Inf
22.08/22.18 c 22.2s| 4800 | 32 | 92544 | 19.3 |7494k| 39 | 32 | 231 |5382 | 231 |2453 | 17 |3163 |2235 | 0.000000e+00 | -- | Inf
22.37/22.43 c 22.4s| 4900 | 27 | 94659 | 19.3 |7512k| 39 | 33 | 231 |5462 | 231 |2453 | 17 |3248 |2235 | 0.000000e+00 | -- | Inf
22.68/22.71 c 22.7s| 5000 | 23 | 96978 | 19.4 |7519k| 39 | - | 231 |5523 | 231 |2453 | 17 |3335 |2235 | 0.000000e+00 | -- | Inf
22.88/22.97 c 23.0s| 5100 | 26 | 99089 | 19.4 |7539k| 39 | 27 | 231 |5547 | 231 |2453 | 17 |3405 |2235 | 0.000000e+00 | -- | Inf
23.28/23.34 c 23.3s| 5200 | 28 |101378 | 19.5 |7567k| 39 | - | 231 |5594 | 231 |2453 | 17 |3461 |2255 | 0.000000e+00 | -- | Inf
23.57/23.69 c 23.7s| 5300 | 29 |103677 | 19.5 |7588k| 39 | 38 | 231 |5658 | 231 |2453 | 17 |3532 |2270 | 0.000000e+00 | -- | Inf
23.98/24.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.98/24.07 c 24.1s| 5400 | 30 |106165 | 19.6 |7625k| 39 | - | 231 |5707 | 231 |2453 | 17 |3604 |2292 | 0.000000e+00 | -- | Inf
24.38/24.43 c 24.4s| 5500 | 36 |108610 | 19.7 |7656k| 39 | 26 | 231 |5758 | 231 |2453 | 17 |3674 |2306 | 0.000000e+00 | -- | Inf
24.68/24.79 c 24.8s| 5600 | 35 |110995 | 19.8 |7682k| 39 | 21 | 231 |5813 | 231 |2453 | 17 |3749 |2323 | 0.000000e+00 | -- | Inf
25.08/25.13 c 25.1s| 5700 | 33 |113469 | 19.9 |7709k| 39 | - | 231 |5883 | 231 |2453 | 17 |3834 |2333 | 0.000000e+00 | -- | Inf
25.38/25.46 c 25.5s| 5800 | 34 |116020 | 20.0 |7739k| 39 | - | 231 |5961 | 231 |2453 | 17 |3920 |2340 | 0.000000e+00 | -- | Inf
25.77/25.80 c 25.8s| 5900 | 37 |118242 | 20.0 |7787k| 39 | - | 231 |5999 | 231 |2453 | 17 |3979 |2355 | 0.000000e+00 | -- | Inf
25.98/26.08 c 26.1s| 6000 | 39 |120462 | 20.1 |7809k| 39 | - | 231 |6056 | 231 |2453 | 17 |4041 |2358 | 0.000000e+00 | -- | Inf
26.29/26.37 c 26.4s| 6100 | 38 |122846 | 20.1 |7824k| 39 | 31 | 231 |6125 | 231 |2453 | 17 |4111 |2362 | 0.000000e+00 | -- | Inf
26.58/26.66 c 26.7s| 6200 | 34 |124919 | 20.1 |7852k| 39 | - | 231 |6199 | 231 |2453 | 17 |4194 |2370 | 0.000000e+00 | -- | Inf
26.87/26.93 c 26.9s| 6300 | 34 |126923 | 20.1 |7863k| 39 | - | 231 |6259 | 231 |2453 | 17 |4269 |2375 | 0.000000e+00 | -- | Inf
27.18/27.24 c 27.2s| 6400 | 34 |129270 | 20.2 |7886k| 39 | - | 231 |6281 | 231 |2453 | 17 |4327 |2379 | 0.000000e+00 | -- | Inf
27.49/27.51 c 27.5s| 6500 | 36 |131351 | 20.2 |7879k| 39 | - | 231 |6240 | 231 |2453 | 17 |4378 |2379 | 0.000000e+00 | -- | Inf
27.67/27.77 c 27.8s| 6600 | 34 |133425 | 20.2 |7872k| 39 | - | 231 |6205 | 231 |2453 | 17 |4443 |2379 | 0.000000e+00 | -- | Inf
27.98/28.06 c 28.1s| 6700 | 36 |135888 | 20.3 |7890k| 39 | - | 231 |6242 | 231 |2453 | 17 |4514 |2379 | 0.000000e+00 | -- | Inf
28.27/28.31 c 28.3s| 6800 | 38 |137898 | 20.3 |7913k| 39 | - | 231 |6275 | 0 | 0 | 17 |4583 |2381 | 0.000000e+00 | -- | Inf
28.48/28.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.48/28.55 c 28.6s| 6900 | 38 |139810 | 20.2 |7924k| 39 | - | 231 |6323 | 231 |2453 | 17 |4636 |2384 | 0.000000e+00 | -- | Inf
28.68/28.79 c 28.8s| 7000 | 34 |141622 | 20.2 |7939k| 39 | - | 231 |6389 | 231 |2453 | 17 |4705 |2385 | 0.000000e+00 | -- | Inf
28.97/29.09 c 29.1s| 7100 | 35 |144159 | 20.3 |7952k| 39 | - | 231 |6427 | 231 |2453 | 17 |4770 |2385 | 0.000000e+00 | -- | Inf
29.38/29.42 c 29.4s| 7200 | 39 |146521 | 20.3 |7981k| 39 | - | 231 |6487 | 231 |2453 | 17 |4853 |2396 | 0.000000e+00 | -- | Inf
29.68/29.78 c 29.8s| 7300 | 43 |148844 | 20.4 |8006k| 39 | 34 | 231 |6529 | 231 |2453 | 17 |4926 |2415 | 0.000000e+00 | -- | Inf
29.98/30.09 c 30.1s| 7400 | 44 |151132 | 20.4 |8035k| 39 | - | 231 |6598 | 231 |2453 | 17 |5000 |2424 | 0.000000e+00 | -- | Inf
30.37/30.41 c 30.4s| 7500 | 46 |152954 | 20.4 |8060k| 39 | - | 231 |6649 | 231 |2453 | 17 |5068 |2443 | 0.000000e+00 | -- | Inf
30.68/30.71 c 30.7s| 7600 | 50 |155218 | 20.4 |8088k| 39 | - | 231 |6703 | 231 |2453 | 17 |5123 |2451 | 0.000000e+00 | -- | Inf
30.98/31.06 c 31.1s| 7700 | 49 |157625 | 20.5 |8111k| 39 | - | 231 |6772 | 231 |2453 | 17 |5194 |2470 | 0.000000e+00 | -- | Inf
31.37/31.45 c 31.5s| 7800 | 49 |160245 | 20.5 |8138k| 39 | 43 | 231 |6836 | 231 |2453 | 17 |5273 |2492 | 0.000000e+00 | -- | Inf
31.78/31.81 c 31.8s| 7900 | 47 |162539 | 20.6 |8156k| 39 | 38 | 231 |6850 | 231 |2453 | 17 |5349 |2509 | 0.000000e+00 | -- | Inf
32.08/32.11 c 32.1s| 8000 | 45 |164465 | 20.5 |8166k| 39 | - | 231 |6868 | 231 |2453 | 17 |5419 |2523 | 0.000000e+00 | -- | Inf
32.38/32.47 c 32.5s| 8100 | 45 |166617 | 20.6 |8182k| 39 | - | 231 |6889 | 231 |2453 | 17 |5499 |2543 | 0.000000e+00 | -- | Inf
32.67/32.74 c 32.7s| 8200 | 46 |168419 | 20.5 |8191k| 39 | - | 231 |6908 | 231 |2453 | 17 |5566 |2552 | 0.000000e+00 | -- | Inf
32.98/33.02 c 33.0s| 8300 | 50 |170362 | 20.5 |8207k| 39 | - | 231 |6908 | 231 |2453 | 17 |5626 |2559 | 0.000000e+00 | -- | Inf
33.17/33.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.17/33.28 c 33.3s| 8400 | 50 |172290 | 20.5 |8217k| 39 | - | 231 |6937 | 231 |2453 | 17 |5692 |2564 | 0.000000e+00 | -- | Inf
33.47/33.52 c 33.5s| 8500 | 52 |174153 | 20.5 |8232k| 39 | - | 231 |6960 | 231 |2453 | 17 |5748 |2565 | 0.000000e+00 | -- | Inf
33.68/33.75 c 33.7s| 8600 | 50 |175984 | 20.4 |8248k| 39 | - | 231 |7009 | 0 | 0 | 17 |5814 |2565 | 0.000000e+00 | -- | Inf
33.88/33.99 c 34.0s| 8700 | 50 |177988 | 20.4 |8259k| 39 | 38 | 231 |7064 | 231 |2453 | 17 |5887 |2565 | 0.000000e+00 | -- | Inf
34.18/34.26 c 34.3s| 8800 | 54 |180161 | 20.5 |8282k| 39 | 37 | 231 |7099 | 231 |2453 | 17 |5953 |2565 | 0.000000e+00 | -- | Inf
34.47/34.51 c 34.5s| 8900 | 52 |182060 | 20.4 |8303k| 39 | - | 231 |7162 | 0 | 0 | 17 |6037 |2567 | 0.000000e+00 | -- | Inf
34.77/34.81 c 34.8s| 9000 | 55 |184530 | 20.5 |8342k| 39 | - | 231 |7210 | 231 |2453 | 17 |6111 |2567 | 0.000000e+00 | -- | Inf
34.98/35.06 c 35.1s| 9100 | 53 |186646 | 20.5 |8357k| 39 | - | 231 |7275 | 231 |2453 | 17 |6189 |2568 | 0.000000e+00 | -- | Inf
35.28/35.35 c 35.3s| 9200 | 53 |188912 | 20.5 |8377k| 39 | - | 231 |7264 | 231 |2453 | 17 |6272 |2569 | 0.000000e+00 | -- | Inf
35.48/35.59 c 35.6s| 9300 | 54 |190735 | 20.5 |8368k| 39 | 40 | 231 |7227 | 231 |2453 | 17 |6336 |2569 | 0.000000e+00 | -- | Inf
35.77/35.80 c 35.8s| 9400 | 55 |192415 | 20.5 |8381k| 39 | - | 231 |7245 | 231 |2453 | 17 |6415 |2569 | 0.000000e+00 | -- | Inf
35.98/36.09 c 36.1s| 9500 | 54 |194789 | 20.5 |8389k| 39 | - | 231 |7268 | 231 |2453 | 17 |6493 |2569 | 0.000000e+00 | -- | Inf
36.28/36.35 c 36.4s| 9600 | 54 |196886 | 20.5 |8406k| 39 | - | 231 |7315 | 231 |2453 | 17 |6569 |2569 | 0.000000e+00 | -- | Inf
36.48/36.59 c 36.6s| 9700 | 55 |198727 | 20.5 |8422k| 39 | - | 231 |7348 | 231 |2453 | 17 |6634 |2569 | 0.000000e+00 | -- | Inf
36.68/36.79 c 36.8s| 9800 | 59 |200283 | 20.4 |8445k| 39 | - | 231 |7384 | 231 |2453 | 17 |6689 |2569 | 0.000000e+00 | -- | Inf
36.88/36.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.88/36.99 c 37.0s| 9900 | 57 |201674 | 20.4 |8454k| 39 | 35 | 231 |7435 | 231 |2453 | 17 |6750 |2569 | 0.000000e+00 | -- | Inf
37.17/37.23 c 37.2s| 10000 | 65 |203639 | 20.4 |8495k| 39 | 20 | 231 |7484 | 231 |2453 | 17 |6816 |2569 | 0.000000e+00 | -- | Inf
37.38/37.48 c 37.5s| 10100 | 60 |205664 | 20.4 |8512k| 39 | 35 | 231 |7545 | 231 |2453 | 17 |6882 |2569 | 0.000000e+00 | -- | Inf
37.57/37.69 c 37.7s| 10200 | 57 |207207 | 20.3 |8521k| 39 | 41 | 231 |7606 | 231 |2453 | 17 |6952 |2569 | 0.000000e+00 | -- | Inf
37.87/37.95 c 38.0s| 10300 | 59 |209302 | 20.3 |8551k| 39 | 19 | 231 |7672 | 231 |2453 | 17 |7029 |2569 | 0.000000e+00 | -- | Inf
38.18/38.21 c 38.2s| 10400 | 59 |211377 | 20.3 |8580k| 39 | 37 | 231 |7739 | 231 |2453 | 17 |7105 |2569 | 0.000000e+00 | -- | Inf
38.38/38.45 c 38.4s| 10500 | 56 |213242 | 20.3 |8592k| 39 | 38 | 231 |7797 | 231 |2453 | 17 |7172 |2569 | 0.000000e+00 | -- | Inf
38.57/38.69 c 38.7s| 10600 | 56 |215218 | 20.3 |8613k| 39 | - | 231 |7827 | 231 |2453 | 17 |7230 |2569 | 0.000000e+00 | -- | Inf
38.88/38.96 c 39.0s| 10700 | 62 |217419 | 20.3 |8633k| 39 | - | 231 |7847 | 231 |2453 | 17 |7292 |2569 | 0.000000e+00 | -- | Inf
39.17/39.20 c 39.2s| 10800 | 64 |219242 | 20.3 |8653k| 39 | 44 | 231 |7893 | 231 |2453 | 17 |7356 |2569 | 0.000000e+00 | -- | Inf
39.37/39.45 c 39.4s| 10900 | 70 |221322 | 20.3 |8688k| 39 | - | 231 |7939 | 231 |2453 | 17 |7410 |2569 | 0.000000e+00 | -- | Inf
39.68/39.71 c 39.7s| 11000 | 72 |223601 | 20.3 |8716k| 39 | - | 231 |8003 | 231 |2453 | 17 |7478 |2569 | 0.000000e+00 | -- | Inf
39.88/39.98 c 40.0s| 11100 | 73 |225766 | 20.3 |8736k| 39 | 40 | 231 |8058 | 231 |2453 | 17 |7538 |2569 | 0.000000e+00 | -- | Inf
40.18/40.23 c 40.2s| 11200 | 69 |227840 | 20.3 |8760k| 39 | - | 231 |8123 | 231 |2453 | 17 |7610 |2569 | 0.000000e+00 | -- | Inf
40.47/40.50 c 40.5s| 11300 | 69 |230066 | 20.3 |8772k| 39 | 38 | 231 |8166 | 231 |2453 | 17 |7695 |2569 | 0.000000e+00 | -- | Inf
40.68/40.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.68/40.78 c 40.8s| 11400 | 69 |232391 | 20.4 |8788k| 39 | 36 | 231 |8201 | 231 |2453 | 17 |7760 |2569 | 0.000000e+00 | -- | Inf
40.97/41.02 c 41.0s| 11500 | 69 |234418 | 20.4 |8808k| 39 | 47 | 231 |8243 | 231 |2453 | 17 |7828 |2569 | 0.000000e+00 | -- | Inf
41.18/41.29 c 41.3s| 11600 | 75 |236665 | 20.4 |8849k| 39 | 23 | 231 |8306 | 231 |2453 | 17 |7913 |2569 | 0.000000e+00 | -- | Inf
41.37/41.48 c 41.5s| 11700 | 76 |238158 | 20.3 |8883k| 39 | 22 | 231 |8382 | 231 |2453 | 17 |7998 |2569 | 0.000000e+00 | -- | Inf
41.68/41.71 c 41.7s| 11800 | 72 |239953 | 20.3 |8899k| 39 | 35 | 231 |8447 | 231 |2453 | 17 |8077 |2569 | 0.000000e+00 | -- | Inf
41.87/41.92 c 41.9s| 11900 | 78 |241566 | 20.3 |8936k| 39 | 25 | 231 |8501 | 231 |2453 | 17 |8135 |2569 | 0.000000e+00 | -- | Inf
42.08/42.16 c 42.2s| 12000 | 78 |243413 | 20.3 |8965k| 39 | - | 231 |8553 | 231 |2453 | 17 |8194 |2569 | 0.000000e+00 | -- | Inf
42.37/42.41 c 42.4s| 12100 | 74 |245384 | 20.3 |8976k| 39 | - | 231 |8610 | 231 |2453 | 17 |8256 |2569 | 0.000000e+00 | -- | Inf
42.58/42.68 c 42.7s| 12200 | 72 |247631 | 20.3 |8994k| 39 | - | 231 |8676 | 231 |2453 | 17 |8337 |2569 | 0.000000e+00 | -- | Inf
42.88/42.96 c 43.0s| 12300 | 72 |250065 | 20.3 |9011k| 39 | 37 | 231 |8727 | 231 |2453 | 17 |8403 |2569 | 0.000000e+00 | -- | Inf
43.18/43.22 c 43.2s| 12400 | 75 |252194 | 20.3 |9042k| 39 | 32 | 231 |8784 | 231 |2453 | 17 |8472 |2569 | 0.000000e+00 | -- | Inf
43.48/43.53 c 43.5s| 12500 | 75 |254854 | 20.4 |9070k| 39 | - | 231 |8844 | 231 |2453 | 17 |8541 |2569 | 0.000000e+00 | -- | Inf
43.77/43.83 c 43.8s| 12600 | 71 |257418 | 20.4 |9092k| 39 | 35 | 231 |8908 | 231 |2453 | 17 |8626 |2569 | 0.000000e+00 | -- | Inf
44.07/44.12 c 44.1s| 12700 | 70 |259894 | 20.5 |9130k| 39 | - | 231 |8974 | 0 | 0 | 17 |8711 |2569 | 0.000000e+00 | -- | Inf
44.37/44.43 c 44.4s| 12800 | 70 |262416 | 20.5 |9151k| 39 | - | 231 |9021 | 231 |2453 | 17 |8780 |2569 | 0.000000e+00 | -- | Inf
44.58/44.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.58/44.69 c 44.7s| 12900 | 68 |264565 | 20.5 |9161k| 39 | 45 | 231 |9057 | 231 |2453 | 17 |8845 |2569 | 0.000000e+00 | -- | Inf
44.87/44.97 c 45.0s| 13000 | 64 |266843 | 20.5 |9172k| 39 | - | 231 |9087 | 231 |2453 | 17 |8922 |2569 | 0.000000e+00 | -- | Inf
45.17/45.22 c 45.2s| 13100 | 64 |268732 | 20.5 |9177k| 39 | 43 | 231 |9089 | 231 |2453 | 17 |9001 |2569 | 0.000000e+00 | -- | Inf
45.37/45.47 c 45.5s| 13200 | 68 |270677 | 20.5 |9223k| 39 | - | 231 |9092 | 231 |2453 | 17 |9089 |2569 | 0.000000e+00 | -- | Inf
45.68/45.72 c 45.7s| 13300 | 66 |272503 | 20.5 |9224k| 39 | - | 231 |9044 | 231 |2453 | 17 |9169 |2569 | 0.000000e+00 | -- | Inf
45.87/45.98 c 46.0s| 13400 | 66 |274632 | 20.5 |9212k| 40 | 30 | 231 |9014 | 231 |2453 | 17 |9232 |2569 | 0.000000e+00 | -- | Inf
46.18/46.25 c 46.2s| 13500 | 64 |276767 | 20.5 |9204k| 40 | - | 231 |8990 | 231 |2453 | 17 |9286 |2569 | 0.000000e+00 | -- | Inf
46.38/46.49 c 46.5s| 13600 | 64 |278778 | 20.5 |9200k| 40 | 27 | 231 |8981 | 231 |2453 | 17 |9342 |2569 | 0.000000e+00 | -- | Inf
46.67/46.78 c 46.8s| 13700 | 62 |281173 | 20.5 |9179k| 40 | - | 231 |8933 | 231 |2453 | 17 |9411 |2569 | 0.000000e+00 | -- | Inf
46.97/47.06 c 47.1s| 13800 | 62 |283487 | 20.5 |9174k| 40 | 35 | 231 |8921 | 231 |2453 | 17 |9485 |2569 | 0.000000e+00 | -- | Inf
47.28/47.30 c 47.3s| 13900 | 62 |285516 | 20.5 |9179k| 40 | 39 | 231 |8933 | 231 |2453 | 17 |9560 |2569 | 0.000000e+00 | -- | Inf
47.47/47.56 c 47.6s| 14000 | 61 |287658 | 20.5 |9199k| 40 | 37 | 231 |8989 | 231 |2453 | 17 |9656 |2569 | 0.000000e+00 | -- | Inf
47.78/47.83 c 47.8s| 14100 | 59 |289894 | 20.6 |9204k| 40 | - | 231 |9009 | 231 |2453 | 17 |9738 |2569 | 0.000000e+00 | -- | Inf
48.07/48.10 c 48.1s| 14200 | 61 |292058 | 20.6 |9208k| 40 | - | 231 |8996 | 231 |2453 | 17 |9818 |2569 | 0.000000e+00 | -- | Inf
48.28/48.40 c 48.4s| 14300 | 64 |294507 | 20.6 |9214k| 40 | 37 | 231 |9000 | 231 |2453 | 17 |9884 |2569 | 0.000000e+00 | -- | Inf
48.57/48.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.57/48.67 c 48.7s| 14400 | 66 |296734 | 20.6 |9224k| 40 | 32 | 231 |9017 | 231 |2453 | 17 |9951 |2569 | 0.000000e+00 | -- | Inf
48.87/48.96 c 49.0s| 14500 | 66 |299203 | 20.6 |9246k| 40 | 46 | 231 |9064 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
49.17/49.25 c 49.2s| 14600 | 72 |301579 | 20.6 |9276k| 40 | - | 231 |9090 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
49.48/49.52 c 49.5s| 14700 | 74 |303816 | 20.7 |9296k| 40 | - | 231 |9138 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
49.77/49.80 c 49.8s| 14800 | 72 |306234 | 20.7 |9311k| 40 | - | 231 |9188 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
49.97/50.07 c 50.1s| 14900 | 76 |308450 | 20.7 |9347k| 40 | 27 | 231 |9251 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
50.27/50.30 c 50.3s| 15000 | 76 |310355 | 20.7 |9378k| 40 | - | 231 |9318 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
50.48/50.53 c 50.5s| 15100 | 76 |312220 | 20.7 |9406k| 40 | 37 | 231 |9397 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
50.67/50.79 c 50.8s| 15200 | 76 |314322 | 20.7 |9435k| 41 | 35 | 231 |9464 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
50.97/51.01 c 51.0s| 15300 | 74 |316089 | 20.7 |9469k| 47 | - | 231 |9555 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
51.18/51.28 c 51.3s| 15400 | 78 |318333 | 20.7 |9508k| 47 | - | 231 |9630 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
51.47/51.57 c 51.6s| 15500 | 77 |320757 | 20.7 |9532k| 47 | 30 | 231 |9696 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
51.68/51.74 c 51.7s| 15600 | 77 |321983 | 20.6 |9574k| 47 | - | 231 |9792 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
51.87/51.93 c 51.9s| 15700 | 81 |323416 | 20.6 |9606k| 47 | 33 | 231 |9867 | 231 |2453 | 17 | 10k|2569 | 0.000000e+00 | -- | Inf
52.08/52.18 c 52.2s| 15800 | 80 |325434 | 20.6 |9638k| 47 | 29 | 231 |9943 | 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
52.37/52.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.37/52.41 c 52.4s| 15900 | 77 |327258 | 20.6 |9661k| 47 | - | 231 | 10k| 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
52.58/52.63 c 52.6s| 16000 | 79 |329003 | 20.6 |9694k| 47 | 38 | 231 | 10k| 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
52.78/52.87 c 52.9s| 16100 | 81 |330935 | 20.5 |9723k| 47 | 31 | 231 | 10k| 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
53.07/53.12 c 53.1s| 16200 | 77 |332909 | 20.5 |9738k| 47 | - | 231 | 10k| 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
53.27/53.36 c 53.4s| 16300 | 80 |334701 | 20.5 |9782k| 47 | - | 231 | 10k| 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
53.57/53.61 c 53.6s| 16400 | 82 |336708 | 20.5 |9821k| 47 | - | 231 | 10k| 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
53.78/53.89 c 53.9s| 16500 | 85 |339030 | 20.5 |9856k| 47 | 35 | 231 | 10k| 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
54.07/54.16 c 54.2s| 16600 | 87 |341266 | 20.6 |9889k| 47 | 36 | 231 | 10k| 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
54.37/54.40 c 54.4s| 16700 | 88 |343286 | 20.5 |9927k| 47 | - | 231 | 10k| 0 | 0 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
54.57/54.62 c 54.6s| 16800 | 84 |344914 | 20.5 |9945k| 47 | 42 | 231 | 10k| 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
54.77/54.86 c 54.9s| 16900 | 86 |346899 | 20.5 |9985k| 47 | 28 | 231 | 10k| 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
55.07/55.11 c 55.1s| 17000 | 84 |348881 | 20.5 | 10M| 47 | 43 | 231 | 10k| 231 |2453 | 17 | 11k|2569 | 0.000000e+00 | -- | Inf
55.38/55.40 c 55.4s| 17100 | 83 |351360 | 20.5 | 10M| 47 | - | 231 | 10k| 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
55.57/55.67 c 55.7s| 17200 | 85 |353577 | 20.5 | 10M| 47 | 34 | 231 | 10k| 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
55.87/55.95 c 55.9s| 17300 | 84 |355918 | 20.6 | 10M| 47 | - | 231 | 10k| 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
56.18/56.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.18/56.20 c 56.2s| 17400 | 84 |357896 | 20.6 | 10M| 47 | 33 | 231 | 10k| 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
56.37/56.43 c 56.4s| 17500 | 84 |359743 | 20.5 | 10M| 48 | - | 231 | 11k| 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
56.67/56.70 c 56.7s| 17600 | 84 |362046 | 20.6 | 10M| 48 | 36 | 231 | 11k| 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
56.87/56.97 c 57.0s| 17700 | 84 |364203 | 20.6 | 10M| 48 | 42 | 231 | 11k| 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
57.18/57.24 c 57.2s| 17800 | 80 |366359 | 20.6 | 10M| 48 | 25 | 231 | 11k| 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
57.37/57.47 c 57.5s| 17900 | 76 |368185 | 20.6 | 10M| 48 | - | 231 | 11k| 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
57.67/57.72 c 57.7s| 18000 | 77 |370039 | 20.6 | 10M| 48 | 32 | 231 | 11k| 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
57.87/57.93 c 57.9s| 18100 | 76 |371785 | 20.5 | 10M| 48 | - | 231 | 11k| 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
58.07/58.18 c 58.2s| 18200 | 80 |373664 | 20.5 | 10M| 48 | 30 | 231 | 11k| 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
58.37/58.41 c 58.4s| 18300 | 80 |375389 | 20.5 | 10M| 48 | 33 | 231 | 10k| 231 |2453 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
58.57/58.64 c 58.6s| 18400 | 80 |377070 | 20.5 | 10M| 48 | - | 231 | 10k| 0 | 0 | 17 | 12k|2569 | 0.000000e+00 | -- | Inf
58.77/58.85 c 58.9s| 18500 | 77 |378678 | 20.5 | 10M| 48 | 37 | 231 | 10k| 231 |2453 | 17 | 13k|2569 | 0.000000e+00 | -- | Inf
59.07/59.11 c 59.1s| 18600 | 77 |380685 | 20.5 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 13k|2569 | 0.000000e+00 | -- | Inf
59.28/59.34 c 59.3s| 18700 | 75 |382435 | 20.4 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 13k|2569 | 0.000000e+00 | -- | Inf
59.47/59.57 c 59.6s| 18800 | 79 |384206 | 20.4 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 13k|2569 | 0.000000e+00 | -- | Inf
59.77/59.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.77/59.80 c 59.8s| 18900 | 79 |386115 | 20.4 | 10M| 48 | 32 | 231 | 10k| 231 |2453 | 17 | 13k|2569 | 0.000000e+00 | -- | Inf
59.98/60.07 c 60.1s| 19000 | 77 |388320 | 20.4 | 10M| 48 | 33 | 231 | 10k| 231 |2453 | 17 | 13k|2569 | 0.000000e+00 | -- | Inf
60.17/60.27 c 60.3s| 19100 | 77 |389877 | 20.4 | 10M| 48 | 30 | 231 | 10k| 231 |2453 | 17 | 13k|2569 | 0.000000e+00 | -- | Inf
60.37/60.47 c 60.5s| 19200 | 75 |391372 | 20.4 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 13k|2569 | 0.000000e+00 | -- | Inf
60.67/60.71 c 60.7s| 19300 | 77 |393106 | 20.4 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 13k|2569 | 0.000000e+00 | -- | Inf
60.87/60.95 c 61.0s| 19400 | 77 |394999 | 20.4 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 13k|2569 | 0.000000e+00 | -- | Inf
61.17/61.20 c 61.2s| 19500 | 79 |397029 | 20.4 | 10M| 48 | 33 | 231 | 10k| 231 |2453 | 17 | 13k|2569 | 0.000000e+00 | -- | Inf
61.37/61.45 c 61.4s| 19600 | 76 |398908 | 20.3 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 13k|2569 | 0.000000e+00 | -- | Inf
61.68/61.71 c 61.7s| 19700 | 78 |400819 | 20.3 | 10M| 48 | 34 | 231 | 10k| 231 |2453 | 17 | 13k|2569 | 0.000000e+00 | -- | Inf
61.87/61.97 c 62.0s| 19800 | 77 |402583 | 20.3 | 10M| 48 | 40 | 231 | 10k| 231 |2453 | 17 | 13k|2576 | 0.000000e+00 | -- | Inf
62.27/62.31 c 62.3s| 19900 | 79 |404638 | 20.3 | 10M| 48 | 26 | 231 | 10k| 231 |2453 | 17 | 14k|2592 | 0.000000e+00 | -- | Inf
62.57/62.65 c 62.6s| 20000 | 80 |406690 | 20.3 | 10M| 48 | 18 | 231 | 10k| 231 |2453 | 17 | 14k|2609 | 0.000000e+00 | -- | Inf
62.78/62.87 c 62.9s| 20100 | 81 |408284 | 20.3 |9984k| 48 | 24 | 231 | 10k| 231 |2453 | 17 | 14k|2613 | 0.000000e+00 | -- | Inf
63.17/63.24 c 63.2s| 20200 | 81 |410560 | 20.3 |9983k| 48 | 34 | 231 | 10k| 231 |2453 | 17 | 14k|2633 | 0.000000e+00 | -- | Inf
63.47/63.53 c 63.5s| 20300 | 77 |412533 | 20.3 |9988k| 48 | - | 231 | 10k| 0 | 0 | 17 | 14k|2643 | 0.000000e+00 | -- | Inf
63.78/63.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.78/63.84 c 63.8s| 20400 | 80 |414697 | 20.3 | 10M| 48 | 23 | 231 | 10k| 231 |2453 | 17 | 14k|2655 | 0.000000e+00 | -- | Inf
64.17/64.22 c 64.2s| 20500 | 78 |417158 | 20.3 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 14k|2672 | 0.000000e+00 | -- | Inf
64.47/64.54 c 64.5s| 20600 | 81 |419182 | 20.3 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 14k|2686 | 0.000000e+00 | -- | Inf
64.77/64.87 c 64.9s| 20700 | 79 |421240 | 20.3 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 14k|2699 | 0.000000e+00 | -- | Inf
65.17/65.20 c 65.2s| 20800 | 79 |423493 | 20.4 | 10M| 48 | 38 | 231 | 10k| 231 |2453 | 17 | 14k|2710 | 0.000000e+00 | -- | Inf
65.47/65.55 c 65.6s| 20900 | 83 |425908 | 20.4 | 10M| 48 | 29 | 231 | 10k| 231 |2453 | 17 | 14k|2725 | 0.000000e+00 | -- | Inf
65.78/65.88 c 65.9s| 21000 | 83 |428024 | 20.4 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 14k|2737 | 0.000000e+00 | -- | Inf
66.07/66.15 c 66.2s| 21100 | 87 |430025 | 20.4 | 10M| 48 | 40 | 231 | 10k| 231 |2453 | 17 | 14k|2742 | 0.000000e+00 | -- | Inf
66.37/66.41 c 66.4s| 21200 | 85 |432030 | 20.4 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 15k|2745 | 0.000000e+00 | -- | Inf
66.57/66.67 c 66.7s| 21300 | 85 |434084 | 20.4 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 15k|2746 | 0.000000e+00 | -- | Inf
66.87/66.95 c 67.0s| 21400 | 85 |436267 | 20.4 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 15k|2748 | 0.000000e+00 | -- | Inf
67.18/67.20 c 67.2s| 21500 | 89 |438167 | 20.4 | 10M| 48 | 29 | 231 | 10k| 231 |2453 | 17 | 15k|2750 | 0.000000e+00 | -- | Inf
67.37/67.47 c 67.5s| 21600 | 88 |440231 | 20.4 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 15k|2753 | 0.000000e+00 | -- | Inf
67.68/67.73 c 67.7s| 21700 | 87 |442361 | 20.4 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 15k|2753 | 0.000000e+00 | -- | Inf
67.97/68.00 c 68.0s| 21800 | 90 |444428 | 20.4 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 15k|2755 | 0.000000e+00 | -- | Inf
68.18/68.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.18/68.28 c 68.3s| 21900 | 92 |446728 | 20.4 | 10M| 48 | 41 | 231 | 10k| 231 |2453 | 17 | 15k|2755 | 0.000000e+00 | -- | Inf
68.47/68.56 c 68.6s| 22000 | 90 |448967 | 20.4 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 15k|2755 | 0.000000e+00 | -- | Inf
68.77/68.83 c 68.8s| 22100 | 90 |451022 | 20.4 | 10M| 48 | 44 | 231 | 10k| 231 |2453 | 17 | 15k|2756 | 0.000000e+00 | -- | Inf
68.97/69.09 c 69.1s| 22200 | 89 |452966 | 20.4 | 10M| 48 | 32 | 231 | 10k| 231 |2453 | 17 | 15k|2756 | 0.000000e+00 | -- | Inf
69.28/69.33 c 69.3s| 22300 | 87 |454915 | 20.4 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 15k|2756 | 0.000000e+00 | -- | Inf
69.57/69.63 c 69.6s| 22400 | 93 |457564 | 20.4 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 15k|2756 | 0.000000e+00 | -- | Inf
69.77/69.89 c 69.9s| 22500 | 95 |459684 | 20.4 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 15k|2756 | 0.000000e+00 | -- | Inf
70.17/70.21 c 70.2s| 22600 | 95 |461890 | 20.4 | 10M| 48 | 41 | 231 | 10k| 231 |2453 | 17 | 16k|2768 | 0.000000e+00 | -- | Inf
70.47/70.53 c 70.5s| 22700 | 96 |464022 | 20.4 | 10M| 48 | 27 | 231 | 10k| 231 |2453 | 17 | 16k|2783 | 0.000000e+00 | -- | Inf
70.77/70.84 c 70.8s| 22800 | 98 |466157 | 20.4 | 10M| 48 | 39 | 231 | 10k| 231 |2453 | 17 | 16k|2794 | 0.000000e+00 | -- | Inf
71.07/71.19 c 71.2s| 22900 | 96 |468381 | 20.4 | 10M| 48 | 22 | 231 | 10k| 231 |2453 | 17 | 16k|2808 | 0.000000e+00 | -- | Inf
71.47/71.53 c 71.5s| 23000 | 94 |470658 | 20.5 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 16k|2821 | 0.000000e+00 | -- | Inf
71.77/71.82 c 71.8s| 23100 | 92 |472440 | 20.4 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 16k|2834 | 0.000000e+00 | -- | Inf
72.08/72.15 c 72.1s| 23200 | 92 |474492 | 20.4 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 16k|2850 | 0.000000e+00 | -- | Inf
72.37/72.49 c 72.5s| 23300 | 92 |476846 | 20.5 | 10M| 48 | 39 | 231 | 10k| 231 |2453 | 17 | 16k|2862 | 0.000000e+00 | -- | Inf
72.77/72.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.77/72.84 c 72.8s| 23400 | 92 |479254 | 20.5 | 10M| 48 | 42 | 231 | 10k| 231 |2453 | 17 | 16k|2877 | 0.000000e+00 | -- | Inf
73.07/73.16 c 73.2s| 23500 | 96 |481453 | 20.5 | 10M| 48 | 36 | 231 | 10k| 231 |2453 | 17 | 16k|2889 | 0.000000e+00 | -- | Inf
73.47/73.51 c 73.5s| 23600 | 94 |483687 | 20.5 | 10M| 48 | 25 | 231 | 10k| 231 |2453 | 17 | 16k|2908 | 0.000000e+00 | -- | Inf
73.77/73.84 c 73.8s| 23700 | 93 |485818 | 20.5 | 10M| 48 | 35 | 231 | 10k| 231 |2453 | 17 | 16k|2924 | 0.000000e+00 | -- | Inf
74.07/74.18 c 74.2s| 23800 | 93 |488027 | 20.5 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 16k|2937 | 0.000000e+00 | -- | Inf
74.37/74.49 c 74.5s| 23900 | 94 |489997 | 20.5 | 10M| 48 | 50 | 231 | 10k| 231 |2453 | 17 | 16k|2951 | 0.000000e+00 | -- | Inf
74.67/74.77 c 74.8s| 24000 | 92 |492021 | 20.5 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 17k|2956 | 0.000000e+00 | -- | Inf
74.97/75.01 c 75.0s| 24100 | 94 |493714 | 20.5 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 17k|2961 | 0.000000e+00 | -- | Inf
75.17/75.28 c 75.3s| 24200 | 94 |495610 | 20.5 | 10M| 48 | - | 231 | 10k| 0 | 0 | 17 | 17k|2965 | 0.000000e+00 | -- | Inf
75.47/75.52 c 75.5s| 24300 | 95 |497271 | 20.5 | 10M| 48 | 27 | 231 | 10k| 231 |2453 | 17 | 17k|2967 | 0.000000e+00 | -- | Inf
75.67/75.74 c 75.7s| 24400 | 96 |499017 | 20.4 | 10M| 48 | 34 | 231 | 10k| 231 |2453 | 17 | 17k|2968 | 0.000000e+00 | -- | Inf
75.87/75.99 c 76.0s| 24500 | 95 |500915 | 20.4 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 17k|2971 | 0.000000e+00 | -- | Inf
76.17/76.27 c 76.3s| 24600 | 91 |502982 | 20.4 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 17k|2973 | 0.000000e+00 | -- | Inf
76.47/76.55 c 76.6s| 24700 | 93 |505169 | 20.4 | 10M| 48 | 26 | 231 | 10k| 231 |2453 | 17 | 17k|2974 | 0.000000e+00 | -- | Inf
76.77/76.80 c 76.8s| 24800 | 93 |507052 | 20.4 | 10M| 48 | 40 | 231 | 10k| 231 |2453 | 17 | 17k|2975 | 0.000000e+00 | -- | Inf
76.98/77.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.98/77.07 c 77.1s| 24900 | 90 |509141 | 20.4 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 17k|2976 | 0.000000e+00 | -- | Inf
77.27/77.37 c 77.4s| 25000 | 92 |511455 | 20.5 | 10M| 48 | 36 | 231 | 10k| 231 |2453 | 17 | 17k|2979 | 0.000000e+00 | -- | Inf
77.57/77.65 c 77.6s| 25100 | 92 |513680 | 20.5 | 10M| 48 | 33 | 231 | 10k| 231 |2453 | 17 | 17k|2980 | 0.000000e+00 | -- | Inf
77.87/77.91 c 77.9s| 25200 | 94 |515833 | 20.5 | 10M| 48 | 46 | 231 | 10k| 231 |2453 | 17 | 17k|2980 | 0.000000e+00 | -- | Inf
78.17/78.21 c 78.2s| 25300 | 93 |518174 | 20.5 | 10M| 48 | 47 | 231 | 10k| 231 |2453 | 17 | 17k|2981 | 0.000000e+00 | -- | Inf
78.47/78.52 c 78.5s| 25400 | 95 |520810 | 20.5 | 10M| 48 | 38 | 231 | 10k| 231 |2453 | 17 | 18k|2981 | 0.000000e+00 | -- | Inf
78.67/78.77 c 78.8s| 25500 | 95 |522899 | 20.5 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 18k|2981 | 0.000000e+00 | -- | Inf
78.97/79.02 c 79.0s| 25600 | 95 |524872 | 20.5 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 18k|2981 | 0.000000e+00 | -- | Inf
79.17/79.29 c 79.3s| 25700 | 93 |526941 | 20.5 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 18k|2981 | 0.000000e+00 | -- | Inf
79.47/79.55 c 79.6s| 25800 | 92 |528607 | 20.5 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 18k|2992 | 0.000000e+00 | -- | Inf
79.87/79.92 c 79.9s| 25900 | 93 |530915 | 20.5 | 10M| 48 | - | 231 | 10k| 231 |2453 | 17 | 18k|3009 | 0.000000e+00 | -- | Inf
80.17/80.21 c 80.2s| 26000 | 99 |532902 | 20.5 | 10M| 51 | 27 | 231 | 10k| 231 |2453 | 17 | 18k|3018 | 0.000000e+00 | -- | Inf
80.36/80.47 c 80.5s| 26100 | 99 |534852 | 20.5 | 10M| 51 | 29 | 231 | 10k| 231 |2453 | 17 | 18k|3026 | 0.000000e+00 | -- | Inf
80.67/80.79 c 80.8s| 26200 | 101 |537124 | 20.5 | 10M| 51 | - | 231 | 10k| 231 |2453 | 17 | 18k|3035 | 0.000000e+00 | -- | Inf
80.96/81.09 c 81.1s| 26300 | 102 |539042 | 20.5 | 10M| 51 | - | 231 | 10k| 231 |2453 | 17 | 18k|3052 | 0.000000e+00 | -- | Inf
81.27/81.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.27/81.37 c 81.4s| 26400 | 101 |541184 | 20.5 | 10M| 51 | 29 | 231 | 10k| 231 |2453 | 17 | 18k|3058 | 0.000000e+00 | -- | Inf
81.66/81.72 c 81.7s| 26500 | 101 |543553 | 20.5 | 10M| 51 | - | 231 | 10k| 231 |2453 | 17 | 18k|3072 | 0.000000e+00 | -- | Inf
81.97/82.01 c 82.0s| 26600 | 102 |545462 | 20.5 | 10M| 51 | - | 231 | 10k| 231 |2453 | 17 | 18k|3085 | 0.000000e+00 | -- | Inf
82.26/82.34 c 82.3s| 26700 | 104 |547773 | 20.5 | 10M| 51 | - | 231 | 10k| 231 |2453 | 17 | 18k|3097 | 0.000000e+00 | -- | Inf
82.67/82.72 c 82.7s| 26800 | 104 |550329 | 20.5 | 10M| 51 | - | 231 | 10k| 231 |2453 | 17 | 18k|3116 | 0.000000e+00 | -- | Inf
82.97/83.00 c 83.0s| 26900 | 104 |552243 | 20.5 | 10M| 53 | 26 | 231 | 10k| 231 |2453 | 17 | 18k|3129 | 0.000000e+00 | -- | Inf
83.26/83.32 c 83.3s| 27000 | 102 |554587 | 20.5 | 10M| 53 | - | 231 | 10k| 231 |2453 | 17 | 19k|3140 | 0.000000e+00 | -- | Inf
83.57/83.67 c 83.7s| 27100 | 98 |557145 | 20.6 | 10M| 53 | 38 | 231 | 10k| 231 |2453 | 17 | 19k|3153 | 0.000000e+00 | -- | Inf
83.87/83.94 c 83.9s| 27200 | 96 |559151 | 20.6 | 10M| 66 | 46 | 231 | 10k| 231 |2453 | 17 | 19k|3158 | 0.000000e+00 | -- | Inf
84.17/84.27 c 84.3s| 27300 | 98 |561454 | 20.6 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 19k|3168 | 0.000000e+00 | -- | Inf
84.47/84.54 c 84.5s| 27400 | 98 |563617 | 20.6 | 10M| 66 | 44 | 231 | 10k| 231 |2453 | 17 | 19k|3171 | 0.000000e+00 | -- | Inf
84.77/84.81 c 84.8s| 27500 | 95 |565678 | 20.6 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 19k|3175 | 0.000000e+00 | -- | Inf
84.97/85.07 c 85.1s| 27600 | 95 |567613 | 20.6 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 19k|3176 | 0.000000e+00 | -- | Inf
85.27/85.32 c 85.3s| 27700 | 97 |569650 | 20.6 | 10M| 66 | 30 | 231 | 10k| 231 |2453 | 17 | 19k|3176 | 0.000000e+00 | -- | Inf
85.57/85.60 c 85.6s| 27800 | 98 |571895 | 20.6 | 10M| 66 | 37 | 231 | 10k| 231 |2453 | 17 | 19k|3177 | 0.000000e+00 | -- | Inf
85.78/85.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.78/85.88 c 85.9s| 27900 | 96 |574096 | 20.6 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 19k|3178 | 0.000000e+00 | -- | Inf
86.07/86.17 c 86.2s| 28000 | 98 |576358 | 20.6 | 10M| 66 | 37 | 231 | 10k| 231 |2453 | 17 | 19k|3181 | 0.000000e+00 | -- | Inf
86.37/86.43 c 86.4s| 28100 | 98 |578425 | 20.6 | 10M| 66 | 37 | 231 | 10k| 231 |2453 | 17 | 19k|3181 | 0.000000e+00 | -- | Inf
86.56/86.68 c 86.7s| 28200 | 97 |580302 | 20.6 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 19k|3181 | 0.000000e+00 | -- | Inf
86.87/86.95 c 87.0s| 28300 | 94 |582529 | 20.6 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 19k|3181 | 0.000000e+00 | -- | Inf
87.06/87.18 c 87.2s| 28400 | 94 |584252 | 20.6 | 10M| 66 | 40 | 231 | 10k| 231 |2453 | 17 | 19k|3181 | 0.000000e+00 | -- | Inf
87.37/87.44 c 87.4s| 28500 | 94 |586325 | 20.6 | 10M| 66 | 34 | 231 | 10k| 231 |2453 | 17 | 20k|3181 | 0.000000e+00 | -- | Inf
87.57/87.67 c 87.7s| 28600 | 94 |588267 | 20.6 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 20k|3181 | 0.000000e+00 | -- | Inf
87.87/87.94 c 87.9s| 28700 | 92 |590485 | 20.6 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 20k|3181 | 0.000000e+00 | -- | Inf
88.06/88.17 c 88.2s| 28800 | 94 |592378 | 20.6 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 20k|3181 | 0.000000e+00 | -- | Inf
88.37/88.42 c 88.4s| 28900 | 92 |594416 | 20.6 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 20k|3181 | 0.000000e+00 | -- | Inf
88.66/88.74 c 88.7s| 29000 | 94 |596718 | 20.6 | 10M| 66 | 39 | 231 | 10k| 231 |2453 | 17 | 20k|3190 | 0.000000e+00 | -- | Inf
89.08/89.10 c 89.1s| 29100 | 90 |599024 | 20.6 | 10M| 66 | 37 | 231 | 10k| 231 |2453 | 17 | 20k|3212 | 0.000000e+00 | -- | Inf
89.37/89.41 c 89.4s| 29200 | 90 |601032 | 20.6 | 10M| 66 | 29 | 231 | 10k| 231 |2453 | 17 | 20k|3221 | 0.000000e+00 | -- | Inf
89.57/89.69 c 89.7s| 29300 | 91 |602817 | 20.6 | 10M| 66 | 37 | 231 | 10k| 231 |2453 | 17 | 20k|3233 | 0.000000e+00 | -- | Inf
89.87/89.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
89.87/89.98 c 90.0s| 29400 | 89 |604707 | 20.6 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 20k|3245 | 0.000000e+00 | -- | Inf
90.17/90.25 c 90.3s| 29500 | 93 |606538 | 20.6 | 10M| 66 | - | 231 | 10k| 0 | 0 | 17 | 20k|3250 | 0.000000e+00 | -- | Inf
90.46/90.57 c 90.6s| 29600 | 93 |608437 | 20.6 | 10M| 66 | 37 | 231 | 10k| 231 |2453 | 17 | 20k|3267 | 0.000000e+00 | -- | Inf
90.77/90.88 c 90.9s| 29700 | 94 |610268 | 20.5 | 10M| 66 | 40 | 231 | 10k| 231 |2453 | 17 | 20k|3283 | 0.000000e+00 | -- | Inf
91.06/91.18 c 91.2s| 29800 | 92 |612388 | 20.5 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 20k|3291 | 0.000000e+00 | -- | Inf
91.37/91.48 c 91.5s| 29900 | 94 |614609 | 20.6 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 20k|3299 | 0.000000e+00 | -- | Inf
91.66/91.78 c 91.8s| 30000 | 90 |616507 | 20.5 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 21k|3312 | 0.000000e+00 | -- | Inf
91.97/92.09 c 92.1s| 30100 | 88 |618588 | 20.5 | 10M| 66 | 36 | 231 | 10k| 231 |2453 | 17 | 21k|3322 | 0.000000e+00 | -- | Inf
92.27/92.35 c 92.3s| 30200 | 88 |620264 | 20.5 | 10M| 66 | 43 | 231 | 10k| 231 |2453 | 17 | 21k|3331 | 0.000000e+00 | -- | Inf
92.57/92.68 c 92.7s| 30300 | 86 |622484 | 20.5 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 21k|3345 | 0.000000e+00 | -- | Inf
92.87/92.98 c 93.0s| 30400 | 90 |624381 | 20.5 | 10M| 66 | 34 | 231 | 10k| 231 |2453 | 17 | 21k|3354 | 0.000000e+00 | -- | Inf
93.17/93.27 c 93.3s| 30500 | 88 |626325 | 20.5 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 21k|3365 | 0.000000e+00 | -- | Inf
93.47/93.56 c 93.6s| 30600 | 89 |628415 | 20.5 | 10M| 66 | 32 | 231 | 10k| 231 |2453 | 17 | 21k|3373 | 0.000000e+00 | -- | Inf
93.76/93.88 c 93.9s| 30700 | 87 |630670 | 20.5 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 21k|3384 | 0.000000e+00 | -- | Inf
94.07/94.16 c 94.2s| 30800 | 87 |632834 | 20.5 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 21k|3387 | 0.000000e+00 | -- | Inf
94.36/94.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.36/94.45 c 94.4s| 30900 | 87 |634975 | 20.5 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 21k|3392 | 0.000000e+00 | -- | Inf
94.58/94.69 c 94.7s| 31000 | 87 |636643 | 20.5 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 21k|3394 | 0.000000e+00 | -- | Inf
94.87/94.98 c 95.0s| 31100 | 89 |638866 | 20.5 | 10M| 66 | 41 | 231 | 10k| 231 |2453 | 17 | 21k|3395 | 0.000000e+00 | -- | Inf
95.16/95.24 c 95.2s| 31200 | 91 |641016 | 20.5 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 21k|3395 | 0.000000e+00 | -- | Inf
95.37/95.47 c 95.5s| 31300 | 89 |642800 | 20.5 | 10M| 66 | 50 | 231 | 10k| 231 |2453 | 17 | 21k|3395 | 0.000000e+00 | -- | Inf
95.67/95.72 c 95.7s| 31400 | 91 |644738 | 20.5 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 21k|3395 | 0.000000e+00 | -- | Inf
95.87/95.98 c 96.0s| 31500 | 90 |646809 | 20.5 | 10M| 66 | 47 | 231 | 10k| 231 |2453 | 17 | 22k|3395 | 0.000000e+00 | -- | Inf
96.17/96.23 c 96.2s| 31600 | 88 |648675 | 20.5 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 22k|3396 | 0.000000e+00 | -- | Inf
96.36/96.49 c 96.5s| 31700 | 89 |650750 | 20.5 | 10M| 66 | 30 | 231 | 10k| 231 |2453 | 17 | 22k|3397 | 0.000000e+00 | -- | Inf
96.67/96.77 c 96.8s| 31800 | 87 |652909 | 20.5 | 10M| 66 | 28 | 231 | 10k| 231 |2453 | 17 | 22k|3397 | 0.000000e+00 | -- | Inf
96.96/97.04 c 97.0s| 31900 | 84 |655031 | 20.5 | 10M| 66 | 31 | 231 | 10k| 231 |2453 | 17 | 22k|3397 | 0.000000e+00 | -- | Inf
97.16/97.29 c 97.3s| 32000 | 82 |657102 | 20.5 | 10M| 66 | 48 | 231 | 10k| 231 |2453 | 17 | 22k|3397 | 0.000000e+00 | -- | Inf
97.47/97.56 c 97.6s| 32100 | 86 |659284 | 20.5 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 22k|3397 | 0.000000e+00 | -- | Inf
97.77/97.83 c 97.8s| 32200 | 85 |661390 | 20.5 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 22k|3397 | 0.000000e+00 | -- | Inf
97.96/98.09 c 98.1s| 32300 | 87 |663548 | 20.5 | 10M| 66 | 33 | 231 | 10k| 231 |2453 | 17 | 22k|3397 | 0.000000e+00 | -- | Inf
98.27/98.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.27/98.37 c 98.4s| 32400 | 81 |665789 | 20.5 | 10M| 66 | 32 | 231 | 10k| 231 |2453 | 17 | 22k|3397 | 0.000000e+00 | -- | Inf
98.57/98.61 c 98.6s| 32500 | 81 |667667 | 20.5 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 22k|3397 | 0.000000e+00 | -- | Inf
98.88/98.94 c 98.9s| 32600 | 83 |669796 | 20.5 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 22k|3407 | 0.000000e+00 | -- | Inf
99.17/99.27 c 99.3s| 32700 | 82 |672065 | 20.5 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 22k|3417 | 0.000000e+00 | -- | Inf
99.56/99.62 c 99.6s| 32800 | 81 |674188 | 20.6 | 10M| 66 | 52 | 231 | 10k| 231 |2453 | 17 | 22k|3428 | 0.000000e+00 | -- | Inf
99.77/99.89 c 99.9s| 32900 | 80 |676302 | 20.6 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 22k|3428 | 0.000000e+00 | -- | Inf
100.16/100.22 c 100s| 33000 | 81 |678497 | 20.6 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 22k|3440 | 0.000000e+00 | -- | Inf
100.47/100.53 c 101s| 33100 | 81 |680598 | 20.6 | 10M| 66 | 35 | 231 | 10k| 231 |2453 | 17 | 23k|3449 | 0.000000e+00 | -- | Inf
100.77/100.82 c 101s| 33200 | 84 |682616 | 20.6 | 10M| 66 | 36 | 231 | 10k| 231 |2453 | 17 | 23k|3456 | 0.000000e+00 | -- | Inf
101.08/101.12 c 101s| 33300 | 78 |684672 | 20.6 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 23k|3466 | 0.000000e+00 | -- | Inf
101.36/101.45 c 101s| 33400 | 78 |686659 | 20.6 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 23k|3485 | 0.000000e+00 | -- | Inf
101.66/101.74 c 102s| 33500 | 76 |688633 | 20.6 | 10M| 66 | 46 | 231 | 10k| 231 |2453 | 17 | 23k|3492 | 0.000000e+00 | -- | Inf
101.96/102.03 c 102s| 33600 | 77 |690621 | 20.6 | 10M| 66 | 25 | 231 | 10k| 231 |2453 | 17 | 23k|3501 | 0.000000e+00 | -- | Inf
102.28/102.33 c 102s| 33700 | 75 |692642 | 20.5 | 10M| 66 | 34 | 231 | 10k| 231 |2453 | 17 | 23k|3510 | 0.000000e+00 | -- | Inf
102.57/102.62 c 103s| 33800 | 73 |694417 | 20.5 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 23k|3520 | 0.000000e+00 | -- | Inf
102.86/102.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.86/102.91 c 103s| 33900 | 71 |696209 | 20.5 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 23k|3530 | 0.000000e+00 | -- | Inf
103.17/103.22 c 103s| 34000 | 73 |698261 | 20.5 | 10M| 66 | - | 231 | 10k| 0 | 0 | 17 | 23k|3542 | 0.000000e+00 | -- | Inf
103.46/103.52 c 104s| 34100 | 71 |700230 | 20.5 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 23k|3555 | 0.000000e+00 | -- | Inf
103.77/103.83 c 104s| 34200 | 69 |702245 | 20.5 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 23k|3568 | 0.000000e+00 | -- | Inf
104.07/104.13 c 104s| 34300 | 70 |704168 | 20.5 | 10M| 66 | - | 231 | 10k| 231 |2453 | 17 | 23k|3578 | 0.000000e+00 | -- | Inf
104.26/104.40 c 104s| 34400 | 70 |706097 | 20.5 | 10M| 66 | 26 | 231 | 10k| 231 |2453 | 17 | 23k|3582 | 0.000000e+00 | -- | Inf
104.57/104.69 c 105s| 34500 | 68 |708263 | 20.5 | 10M| 66 | 43 | 231 | 10k| 231 |2453 | 17 | 23k|3586 | 0.000000e+00 | -- | Inf
104.86/104.96 c 105s| 34600 | 65 |710407 | 20.5 | 10M| 66 | 39 | 231 | 10k| 231 |2453 | 17 | 24k|3587 | 0.000000e+00 | -- | Inf
105.16/105.23 c 105s| 34700 | 59 |712390 | 20.5 | 10M| 66 | - | 231 |9998 | 231 |2453 | 17 | 24k|3587 | 0.000000e+00 | -- | Inf
105.48/105.53 c 106s| 34800 | 57 |714684 | 20.5 | 10M| 66 | 36 | 231 |9970 | 231 |2453 | 17 | 24k|3589 | 0.000000e+00 | -- | Inf
105.76/105.83 c 106s| 34900 | 55 |717091 | 20.5 | 10M| 66 | 36 | 231 |9977 | 231 |2453 | 17 | 24k|3591 | 0.000000e+00 | -- | Inf
105.96/106.06 c 106s| 35000 | 53 |718753 | 20.5 |9992k| 66 | 41 | 231 |9928 | 231 |2453 | 17 | 24k|3591 | 0.000000e+00 | -- | Inf
106.26/106.32 c 106s| 35100 | 53 |720729 | 20.5 |9973k| 66 | 44 | 231 |9879 | 231 |2453 | 17 | 24k|3592 | 0.000000e+00 | -- | Inf
106.57/106.61 c 107s| 35200 | 50 |723107 | 20.5 |9959k| 66 | - | 231 |9837 | 231 |2453 | 17 | 24k|3592 | 0.000000e+00 | -- | Inf
106.76/106.85 c 107s| 35300 | 49 |725028 | 20.5 |9955k| 66 | - | 231 |9843 | 231 |2453 | 17 | 24k|3592 | 0.000000e+00 | -- | Inf
107.07/107.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.07/107.11 c 107s| 35400 | 50 |726963 | 20.5 |9935k| 66 | 29 | 231 |9800 | 231 |2453 | 17 | 24k|3592 | 0.000000e+00 | -- | Inf
107.27/107.34 c 107s| 35500 | 48 |728752 | 20.5 |9938k| 66 | - | 231 |9821 | 231 |2453 | 17 | 24k|3592 | 0.000000e+00 | -- | Inf
107.56/107.62 c 108s| 35600 | 47 |731012 | 20.5 |9888k| 66 | 43 | 231 |9822 | 231 |2453 | 17 | 24k|3592 | 0.000000e+00 | -- | Inf
107.77/107.88 c 108s| 35700 | 45 |733021 | 20.5 |9878k| 66 | - | 231 |9825 | 231 |2453 | 17 | 24k|3592 | 0.000000e+00 | -- | Inf
108.07/108.12 c 108s| 35800 | 43 |734914 | 20.5 |9877k| 66 | - | 231 |9851 | 231 |2453 | 17 | 24k|3592 | 0.000000e+00 | -- | Inf
108.27/108.38 c 108s| 35900 | 43 |736959 | 20.5 |9886k| 66 | - | 231 |9895 | 231 |2453 | 17 | 25k|3592 | 0.000000e+00 | -- | Inf
108.56/108.66 c 109s| 36000 | 39 |739204 | 20.5 |9875k| 66 | 43 | 231 |9903 | 231 |2453 | 17 | 25k|3592 | 0.000000e+00 | -- | Inf
108.88/108.92 c 109s| 36100 | 36 |741251 | 20.5 |9883k| 66 | - | 231 |9941 | 231 |2453 | 17 | 25k|3592 | 0.000000e+00 | -- | Inf
109.17/109.21 c 109s| 36200 | 32 |743524 | 20.5 |9834k| 66 | - | 231 |9872 | 231 |2453 | 17 | 25k|3592 | 0.000000e+00 | -- | Inf
109.36/109.47 c 109s| 36300 | 35 |745517 | 20.5 |9851k| 66 | 33 | 231 |9902 | 231 |2453 | 17 | 25k|3593 | 0.000000e+00 | -- | Inf
109.67/109.78 c 110s| 36400 | 32 |747673 | 20.5 |9860k| 66 | - | 231 |9950 | 231 |2453 | 17 | 25k|3604 | 0.000000e+00 | -- | Inf
109.97/110.07 c 110s| 36500 | 32 |749608 | 20.5 |9856k| 66 | 26 | 231 |9949 | 231 |2453 | 17 | 25k|3613 | 0.000000e+00 | -- | Inf
110.26/110.36 c 110s| 36600 | 32 |751492 | 20.5 |9871k| 66 | 34 | 231 |9996 | 231 |2453 | 17 | 25k|3623 | 0.000000e+00 | -- | Inf
110.56/110.65 c 111s| 36700 | 30 |753477 | 20.5 |9863k| 66 | - | 231 |9977 | 231 |2453 | 17 | 25k|3632 | 0.000000e+00 | -- | Inf
110.86/110.99 c 111s| 36800 | 32 |755857 | 20.5 |9890k| 66 | - | 231 | 10k| 231 |2453 | 17 | 25k|3641 | 0.000000e+00 | -- | Inf
111.27/111.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.27/111.35 c 111s| 36900 | 33 |758380 | 20.5 |9910k| 66 | 39 | 231 | 10k| 231 |2453 | 17 | 25k|3654 | 0.000000e+00 | -- | Inf
111.57/111.66 c 112s| 37000 | 32 |760571 | 20.6 |9928k| 66 | 44 | 231 | 10k| 231 |2453 | 17 | 25k|3663 | 0.000000e+00 | -- | Inf
111.86/111.99 c 112s| 37100 | 32 |762889 | 20.6 |9954k| 66 | - | 231 | 10k| 231 |2453 | 17 | 25k|3672 | 0.000000e+00 | -- | Inf
112.27/112.36 c 112s| 37200 | 33 |765215 | 20.6 |9935k| 66 | 46 | 231 | 10k| 231 |2453 | 17 | 25k|3687 | 0.000000e+00 | -- | Inf
112.56/112.67 c 113s| 37300 | 31 |767333 | 20.6 |9929k| 66 | 35 | 231 | 10k| 231 |2453 | 17 | 25k|3695 | 0.000000e+00 | -- | Inf
112.86/112.98 c 113s| 37400 | 28 |769492 | 20.6 |9922k| 66 | 28 | 231 | 10k| 231 |2453 | 17 | 26k|3702 | 0.000000e+00 | -- | Inf
113.17/113.25 c 113s| 37500 | 28 |771420 | 20.6 |9942k| 66 | 43 | 231 | 10k| 231 |2453 | 17 | 26k|3708 | 0.000000e+00 | -- | Inf
113.47/113.56 c 114s| 37600 | 25 |773399 | 20.6 |9913k| 66 | 45 | 231 | 10k| 231 |2453 | 17 | 26k|3718 | 0.000000e+00 | -- | Inf
113.77/113.85 c 114s| 37700 | 23 |775421 | 20.6 |9899k| 66 | - | 231 | 10k| 231 |2453 | 17 | 26k|3727 | 0.000000e+00 | -- | Inf
114.06/114.18 c 114s| 37800 | 21 |777591 | 20.6 |9864k| 66 | 45 | 231 | 10k| 231 |2453 | 17 | 26k|3738 | 0.000000e+00 | -- | Inf
114.37/114.47 c 114s| 37900 | 21 |779638 | 20.6 |9867k| 66 | - | 231 | 10k| 231 |2453 | 17 | 26k|3744 | 0.000000e+00 | -- | Inf
114.67/114.74 c 115s| 38000 | 20 |781762 | 20.6 |9876k| 66 | 42 | 231 | 10k| 231 |2453 | 17 | 26k|3746 | 0.000000e+00 | -- | Inf
114.96/115.06 c 115s| 38100 | 22 |784080 | 20.6 |9866k| 66 | - | 231 | 10k| 231 |2453 | 17 | 26k|3754 | 0.000000e+00 | -- | Inf
115.27/115.34 c 115s| 38200 | 22 |786257 | 20.6 |9880k| 66 | - | 231 | 10k| 231 |2453 | 17 | 26k|3757 | 0.000000e+00 | -- | Inf
115.56/115.63 c 116s| 38300 | 20 |788639 | 20.6 |9894k| 66 | - | 231 | 10k| 231 |2453 | 17 | 26k|3757 | 0.000000e+00 | -- | Inf
115.86/115.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.86/115.92 c 116s| 38400 | 22 |790972 | 20.6 |9875k| 66 | - | 231 | 10k| 231 |2453 | 17 | 26k|3759 | 0.000000e+00 | -- | Inf
116.16/116.20 c 116s| 38500 | 20 |793270 | 20.6 |9885k| 66 | - | 231 | 10k| 231 |2453 | 17 | 26k|3759 | 0.000000e+00 | -- | Inf
116.36/116.46 c 116s| 38600 | 18 |795313 | 20.6 |9857k| 66 | - | 231 | 10k| 231 |2453 | 17 | 27k|3759 | 0.000000e+00 | -- | Inf
116.67/116.74 c 117s| 38700 | 18 |797449 | 20.6 |9859k| 66 | - | 231 | 10k| 231 |2453 | 17 | 27k|3760 | 0.000000e+00 | -- | Inf
116.86/116.99 c 117s| 38800 | 18 |799413 | 20.6 |9851k| 66 | - | 231 | 10k| 231 |2453 | 17 | 27k|3760 | 0.000000e+00 | -- | Inf
117.17/117.24 c 117s| 38900 | 16 |801279 | 20.6 |9830k| 66 | 44 | 231 | 10k| 231 |2453 | 17 | 27k|3762 | 0.000000e+00 | -- | Inf
117.46/117.50 c 118s| 39000 | 12 |803343 | 20.6 |9808k| 66 | - | 231 | 10k| 231 |2453 | 17 | 27k|3762 | 0.000000e+00 | -- | Inf
117.67/117.76 c 118s| 39100 | 12 |805268 | 20.6 |9805k| 66 | - | 231 | 10k| 231 |2453 | 17 | 27k|3762 | 0.000000e+00 | -- | Inf
117.96/118.02 c 118s| 39200 | 12 |807315 | 20.6 |9799k| 66 | 32 | 231 | 10k| 231 |2453 | 17 | 27k|3762 | 0.000000e+00 | -- | Inf
118.26/118.30 c 118s| 39300 | 9 |809614 | 20.6 |9816k| 66 | - | 231 | 10k| 231 |2453 | 17 | 27k|3762 | 0.000000e+00 | -- | Inf
118.46/118.55 c 119s| 39400 | 10 |811519 | 20.6 |9804k| 66 | 37 | 231 | 10k| 231 |2453 | 17 | 27k|3762 | 0.000000e+00 | -- | Inf
118.77/118.83 c 119s| 39500 | 8 |813772 | 20.6 |9812k| 66 | 43 | 231 | 10k| 231 |2453 | 17 | 27k|3762 | 0.000000e+00 | -- | Inf
119.07/119.12 c 119s| 39600 | 9 |816243 | 20.6 |9810k| 66 | 37 | 231 | 10k| 231 |2453 | 17 | 27k|3762 | 0.000000e+00 | -- | Inf
119.36/119.42 c 119s| 39700 | 8 |818802 | 20.6 |9825k| 66 | 39 | 231 | 10k| 231 |2453 | 17 | 27k|3762 | 0.000000e+00 | -- | Inf
119.66/119.71 c 120s| 39800 | 8 |821293 | 20.6 |9855k| 66 | 36 | 231 | 10k| 231 |2453 | 17 | 27k|3762 | 0.000000e+00 | -- | Inf
119.97/120.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.97/120.02 c 120s| 39900 | 6 |823648 | 20.6 |9847k| 66 | - | 231 | 10k| 231 |2453 | 17 | 27k|3767 | 0.000000e+00 | -- | Inf
120.26/120.35 c 120s| 40000 | 6 |825862 | 20.6 |9853k| 66 | - | 231 | 10k| 231 |2453 | 17 | 28k|3779 | 0.000000e+00 | -- | Inf
120.56/120.69 c 121s| 40100 | 6 |828293 | 20.7 |9865k| 66 | 54 | 231 | 10k| 231 |2453 | 17 | 28k|3786 | 0.000000e+00 | -- | Inf
120.96/121.01 c 121s| 40200 | 6 |830602 | 20.7 |9875k| 66 | - | 231 | 10k| 231 |2453 | 17 | 28k|3795 | 0.000000e+00 | -- | Inf
121.26/121.38 c 121s| 40300 | 6 |833102 | 20.7 |9904k| 66 | - | 231 | 10k| 231 |2453 | 17 | 28k|3810 | 0.000000e+00 | -- | Inf
121.66/121.70 c 122s| 40400 | 8 |835398 | 20.7 |9924k| 66 | 28 | 231 | 10k| 231 |2453 | 17 | 28k|3819 | 0.000000e+00 | -- | Inf
121.96/122.06 c 122s| 40500 | 4 |837844 | 20.7 |9949k| 66 | - | 231 | 10k| 231 |2453 | 17 | 28k|3830 | 0.000000e+00 | -- | Inf
122.26/122.38 c 122s| 40600 | 4 |840057 | 20.7 |9955k| 66 | 30 | 231 | 10k| 231 |2453 | 17 | 28k|3840 | 0.000000e+00 | -- | Inf
122.47/122.51 c
122.47/122.51 c SCIP Status : problem is solved [infeasible]
122.47/122.51 c Solving Time (sec) : 122.51
122.47/122.51 c Solving Nodes : 40642
122.47/122.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
122.47/122.51 c Dual Bound : +1.00000000000000e+20
122.47/122.51 c Gap : 0.00 %
122.47/122.51 s UNSATISFIABLE
122.47/122.51 c SCIP Status : problem is solved [infeasible]
122.47/122.51 c Total Time : 122.51
122.47/122.51 c solving : 122.51
122.47/122.51 c presolving : 0.05 (included in solving)
122.47/122.51 c reading : 0.01 (included in solving)
122.47/122.51 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
122.47/122.51 c Original Problem :
122.47/122.51 c Problem name : HOME/instance-3691594-1338021319.opb
122.47/122.51 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
122.47/122.51 c Constraints : 2707 initial, 2707 maximal
122.47/122.51 c Objective sense : minimize
122.47/122.51 c Presolved Problem :
122.47/122.51 c Problem name : t_HOME/instance-3691594-1338021319.opb
122.47/122.51 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
122.47/122.51 c Constraints : 2443 initial, 11187 maximal
122.47/122.51 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
122.47/122.51 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
122.47/122.51 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
122.47/122.51 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
122.47/122.51 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
122.47/122.51 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
122.47/122.51 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
122.47/122.51 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
122.47/122.51 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
122.47/122.51 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
122.47/122.51 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
122.47/122.51 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
122.47/122.51 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
122.47/122.51 c setppc : 0.00 0.00 0 0 0 0 0 121 0 0 0
122.47/122.51 c linear : 0.02 0.00 0 0 0 0 0 143 0 0 0
122.47/122.51 c logicor : 0.02 0.00 0 0 0 0 0 0 0 0 0
122.47/122.51 c root node : - - 2 - - 2 - - - - -
122.47/122.51 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
122.47/122.51 c integral : 0 0 0 0 21170 0 1 0 90 1366 0 0 40846
122.47/122.51 c knapsack : 1 1 5 166957 0 0 0 10450 186 65440 0 0 0
122.47/122.51 c setppc : 22 22 5 166883 0 0 0 402557 714 226004 0 0 0
122.47/122.51 c linear : 0+ 268 5 135311 0 0 0 650 1 7409 0 0 0
122.47/122.51 c logicor : 2420+ 11075 5 74712 0 0 0 162039 226 236397 0 0 0
122.47/122.51 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
122.47/122.51 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
122.47/122.51 c integral : 17.12 0.00 0.00 0.00 17.12 0.00 0.00 0.00
122.47/122.51 c knapsack : 0.17 0.00 0.00 0.16 0.00 0.00 0.00 0.01
122.47/122.51 c setppc : 0.70 0.00 0.00 0.58 0.00 0.00 0.00 0.12
122.47/122.51 c linear : 0.27 0.00 0.00 0.27 0.00 0.00 0.00 0.00
122.47/122.51 c logicor : 2.96 0.00 0.00 2.83 0.00 0.00 0.00 0.13
122.47/122.51 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
122.47/122.51 c Propagators : #Propagate #ResProp Cutoffs DomReds
122.47/122.51 c rootredcost : 0 0 0 0
122.47/122.51 c pseudoobj : 0 0 0 0
122.47/122.51 c vbounds : 0 0 0 0
122.47/122.51 c redcost : 21175 0 0 0
122.47/122.51 c probing : 0 0 0 0
122.47/122.51 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
122.47/122.51 c rootredcost : 0.04 0.00 0.00 0.04 0.00
122.47/122.51 c pseudoobj : 0.04 0.00 0.00 0.04 0.00
122.47/122.51 c vbounds : 0.04 0.00 0.00 0.04 0.00
122.47/122.51 c redcost : 0.09 0.00 0.00 0.09 0.00
122.47/122.51 c probing : 0.00 0.00 0.00 0.00 0.00
122.47/122.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
122.47/122.51 c propagation : 0.04 1127 1122 5526 20.6 22 18.5 -
122.47/122.51 c infeasible LP : 1.62 19206 19119 111164 30.0 63 20.8 0
122.47/122.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
122.47/122.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
122.47/122.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
122.47/122.51 c applied globally : - - - 27696 18.8 - - -
122.47/122.51 c applied locally : - - - 921 34.4 - - -
122.47/122.51 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
122.47/122.51 c cut pool : 0.00 4 - - 309 - (maximal pool size: 516)
122.47/122.51 c closecuts : 0.00 0.00 0 0 0 0 0
122.47/122.51 c impliedbounds : 0.00 0.00 5 0 0 0 0
122.47/122.51 c intobj : 0.00 0.00 0 0 0 0 0
122.47/122.51 c gomory : 0.10 0.00 5 0 0 200 0
122.47/122.51 c cgmip : 0.00 0.00 0 0 0 0 0
122.47/122.51 c strongcg : 0.19 0.00 5 0 0 2500 0
122.47/122.51 c cmir : 0.00 0.00 0 0 0 0 0
122.47/122.51 c flowcover : 0.00 0.00 0 0 0 0 0
122.47/122.51 c clique : 0.00 0.00 5 0 0 0 0
122.47/122.51 c zerohalf : 0.00 0.00 0 0 0 0 0
122.47/122.51 c mcf : 0.00 0.00 1 0 0 0 0
122.47/122.51 c oddcycle : 0.00 0.00 0 0 0 0 0
122.47/122.51 c rapidlearning : 0.11 0.00 1 0 0 0 268
122.47/122.51 c Pricers : ExecTime SetupTime Calls Vars
122.47/122.51 c problem variables: 0.00 - 0 0
122.47/122.51 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
122.47/122.51 c relpscost : 17.10 0.00 21170 90 1366 0 0 40846
122.47/122.51 c pscost : 0.00 0.00 0 0 0 0 0 0
122.47/122.51 c inference : 0.00 0.00 0 0 0 0 0 0
122.47/122.51 c mostinf : 0.00 0.00 0 0 0 0 0 0
122.47/122.51 c leastinf : 0.00 0.00 0 0 0 0 0 0
122.47/122.51 c fullstrong : 0.00 0.00 0 0 0 0 0 0
122.47/122.51 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
122.47/122.51 c random : 0.00 0.00 0 0 0 0 0 0
122.47/122.51 c Primal Heuristics : ExecTime SetupTime Calls Found
122.47/122.51 c LP solutions : 0.00 - - 0
122.47/122.51 c pseudo solutions : 0.00 - - 0
122.47/122.51 c smallcard : 0.00 0.00 0 0
122.47/122.51 c trivial : 0.00 0.00 1 0
122.47/122.51 c shiftandpropagate: 0.00 0.00 0 0
122.47/122.51 c simplerounding : 0.00 0.00 0 0
122.47/122.51 c zirounding : 0.00 0.00 0 0
122.47/122.51 c rounding : 0.00 0.00 0 0
122.47/122.51 c shifting : 0.00 0.00 0 0
122.47/122.51 c intshifting : 0.00 0.00 0 0
122.47/122.51 c oneopt : 0.00 0.00 0 0
122.47/122.51 c twoopt : 0.00 0.00 0 0
122.47/122.51 c indtwoopt : 0.00 0.00 0 0
122.47/122.51 c indoneopt : 0.00 0.00 0 0
122.47/122.51 c fixandinfer : 0.00 0.00 0 0
122.47/122.51 c feaspump : 0.00 0.00 0 0
122.47/122.51 c clique : 0.00 0.00 0 0
122.47/122.51 c indrounding : 0.00 0.00 0 0
122.47/122.51 c indcoefdiving : 0.00 0.00 0 0
122.47/122.51 c coefdiving : 0.00 0.00 0 0
122.47/122.51 c pscostdiving : 0.00 0.00 0 0
122.47/122.51 c nlpdiving : 0.00 0.00 0 0
122.47/122.51 c fracdiving : 0.00 0.00 0 0
122.47/122.51 c veclendiving : 0.00 0.00 0 0
122.47/122.51 c intdiving : 0.00 0.00 0 0
122.47/122.51 c actconsdiving : 0.00 0.00 0 0
122.47/122.51 c objpscostdiving : 0.00 0.00 0 0
122.47/122.51 c rootsoldiving : 0.00 0.00 0 0
122.47/122.51 c linesearchdiving : 0.00 0.00 0 0
122.47/122.51 c guideddiving : 0.00 0.00 0 0
122.47/122.51 c octane : 0.00 0.00 0 0
122.47/122.51 c rens : 0.00 0.00 0 0
122.47/122.51 c rins : 0.00 0.00 0 0
122.47/122.51 c localbranching : 0.00 0.00 0 0
122.47/122.51 c mutation : 0.00 0.00 0 0
122.47/122.51 c crossover : 0.00 0.00 0 0
122.47/122.51 c dins : 0.00 0.00 0 0
122.47/122.51 c vbounds : 0.00 0.00 0 0
122.47/122.51 c undercover : 0.00 0.00 0 0
122.47/122.51 c subnlp : 0.00 0.00 0 0
122.47/122.51 c trysol : 0.00 0.00 0 0
122.47/122.51 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
122.47/122.51 c primal LP : 0.00 1 0 0.00 - 0.00 1
122.47/122.51 c dual LP : 89.18 40381 841050 20.87 9430.94 0.03 81
122.47/122.51 c lex dual LP : 0.00 0 0 0.00 -
122.47/122.51 c barrier LP : 0.00 0 0 0.00 - 0.00 0
122.47/122.51 c diving/probing LP: 0.00 0 0 0.00 -
122.47/122.51 c strong branching : 16.75 3840 147221 38.34 8791.92
122.47/122.51 c (at root node) : - 10 1794 179.40 -
122.47/122.51 c conflict analysis: 0.00 0 0 0.00 -
122.47/122.51 c B&B Tree :
122.47/122.51 c number of runs : 1
122.47/122.51 c nodes : 40642
122.47/122.51 c nodes (total) : 40642
122.47/122.51 c nodes left : 0
122.47/122.51 c max depth : 66
122.47/122.51 c max depth (total): 66
122.47/122.51 c backtracks : 4406 (10.8%)
122.47/122.51 c delayed cutoffs : 205
122.47/122.51 c repropagations : 75380 (81595 domain reductions, 205 cutoffs)
122.47/122.51 c avg switch length: 5.36
122.47/122.51 c switching time : 3.52
122.47/122.51 c Solution :
122.47/122.51 c Solutions found : 0 (0 improvements)
122.47/122.51 c Primal Bound : infeasible
122.47/122.51 c Dual Bound : -
122.47/122.51 c Gap : 0.00 %
122.47/122.51 c Root Dual Bound : +0.00000000000000e+00
122.47/122.51 c Root Iterations : 146
122.47/122.53 c Time complete: 122.5.
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-3691594-1338021319/watcher-3691594-1338021319 -o /tmp/evaluation-result-3691594-1338021319/solver-3691594-1338021319 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691594-1338021319.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.02 2.00 3/174 2693
/proc/meminfo: memFree=29505436/32873852 swapFree=7616/7616
[pid=2693] ppid=2691 vsize=12032 CPUtime=0 cores=1,3,5,7
/proc/2693/stat : 2693 (scip-2.1.1.4exp) R 2691 2693 403 0 -1 4202496 1814 0 0 0 0 0 0 0 20 0 1 0 268257377 12320768 1769 33554432000 4194304 10219143 140737315015872 140734484839032 8891101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2693/statm: 3008 1776 398 1471 0 1528 0
[startup+0.0653349 s]
/proc/loadavg: 2.01 2.02 2.00 3/174 2693
/proc/meminfo: memFree=29505436/32873852 swapFree=7616/7616
[pid=2693] ppid=2691 vsize=26732 CPUtime=0.06 cores=1,3,5,7
/proc/2693/stat : 2693 (scip-2.1.1.4exp) R 2691 2693 403 0 -1 4202496 5411 0 0 0 5 1 0 0 20 0 1 0 268257377 27373568 5109 33554432000 4194304 10219143 140737315015872 140734484839032 8891091 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2693/statm: 6683 5130 605 1471 0 5203 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 26732
[startup+0.100368 s]
/proc/loadavg: 2.01 2.02 2.00 3/174 2693
/proc/meminfo: memFree=29505436/32873852 swapFree=7616/7616
[pid=2693] ppid=2691 vsize=30612 CPUtime=0.09 cores=1,3,5,7
/proc/2693/stat : 2693 (scip-2.1.1.4exp) R 2691 2693 403 0 -1 4202496 6801 0 0 0 8 1 0 0 20 0 1 0 268257377 31346688 6453 33554432000 4194304 10219143 140737315015872 140734484839032 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2693/statm: 7653 6453 761 1471 0 6173 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30612
[startup+0.300331 s]
/proc/loadavg: 2.01 2.02 2.00 3/174 2693
/proc/meminfo: memFree=29505436/32873852 swapFree=7616/7616
[pid=2693] ppid=2691 vsize=48504 CPUtime=0.28 cores=1,3,5,7
/proc/2693/stat : 2693 (scip-2.1.1.4exp) R 2691 2693 403 0 -1 4202496 11706 0 0 0 26 2 0 0 20 0 1 0 268257377 49668096 10650 33554432000 4194304 10219143 140737315015872 140734484839032 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2693/statm: 12126 10650 814 1471 0 10646 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 48504
[startup+0.700222 s]
/proc/loadavg: 2.01 2.02 2.00 3/174 2693
/proc/meminfo: memFree=29505436/32873852 swapFree=7616/7616
[pid=2693] ppid=2691 vsize=48672 CPUtime=0.68 cores=1,3,5,7
/proc/2693/stat : 2693 (scip-2.1.1.4exp) R 2691 2693 403 0 -1 4202496 11825 0 0 0 65 3 0 0 20 0 1 0 268257377 49840128 10769 33554432000 4194304 10219143 140737315015872 140734484839032 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2693/statm: 12168 10769 818 1471 0 10688 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 48672
[startup+1.50023 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 2694
/proc/meminfo: memFree=29465376/32873852 swapFree=7616/7616
[pid=2693] ppid=2691 vsize=48672 CPUtime=1.49 cores=1,3,5,7
/proc/2693/stat : 2693 (scip-2.1.1.4exp) R 2691 2693 403 0 -1 4202496 11830 0 0 0 144 5 0 0 20 0 1 0 268257377 49840128 10774 33554432000 4194304 10219143 140737315015872 140737315009320 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2693/statm: 12168 10774 823 1471 0 10688 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48672
[startup+3.10022 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 2694
/proc/meminfo: memFree=29464892/32873852 swapFree=7616/7616
[pid=2693] ppid=2691 vsize=48672 CPUtime=3.09 cores=1,3,5,7
/proc/2693/stat : 2693 (scip-2.1.1.4exp) R 2691 2693 403 0 -1 4202496 11832 0 0 0 303 6 0 0 20 0 1 0 268257377 49840128 10774 33554432000 4194304 10219143 140737315015872 140737315009128 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2693/statm: 12168 10774 823 1471 0 10688 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48672
[startup+6.30023 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 2694
/proc/meminfo: memFree=29465388/32873852 swapFree=7616/7616
[pid=2693] ppid=2691 vsize=48672 CPUtime=6.29 cores=1,3,5,7
/proc/2693/stat : 2693 (scip-2.1.1.4exp) R 2691 2693 403 0 -1 4202496 11832 0 0 0 620 9 0 0 20 0 1 0 268257377 49840128 10774 33554432000 4194304 10219143 140737315015872 140737315009416 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2693/statm: 12168 10774 823 1471 0 10688 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48672
[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 2694
/proc/meminfo: memFree=29464900/32873852 swapFree=7616/7616
[pid=2693] ppid=2691 vsize=48672 CPUtime=12.68 cores=1,3,5,7
/proc/2693/stat : 2693 (scip-2.1.1.4exp) R 2691 2693 403 0 -1 4202496 11840 0 0 0 1250 18 0 0 20 0 1 0 268257377 49840128 10776 33554432000 4194304 10219143 140737315015872 140737315009512 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2693/statm: 12168 10776 824 1471 0 10688 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 48672
[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 2694
/proc/meminfo: memFree=29464328/32873852 swapFree=7616/7616
[pid=2693] ppid=2691 vsize=48672 CPUtime=25.47 cores=1,3,5,7
/proc/2693/stat : 2693 (scip-2.1.1.4exp) R 2691 2693 403 0 -1 4202496 11841 0 0 0 2513 34 0 0 20 0 1 0 268257377 49840128 11031 33554432000 4194304 10219143 140737315015872 140737315009128 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2693/statm: 12168 11031 824 1471 0 10688 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 48672
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 2694
/proc/meminfo: memFree=29464576/32873852 swapFree=7616/7616
[pid=2693] ppid=2691 vsize=48672 CPUtime=51.08 cores=1,3,5,7
/proc/2693/stat : 2693 (scip-2.1.1.4exp) R 2691 2693 403 0 -1 4202496 11841 0 0 0 5032 76 0 0 20 0 1 0 268257377 49840128 11031 33554432000 4194304 10219143 140737315015872 140737315009128 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2693/statm: 12168 11031 824 1471 0 10688 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 48672
[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 2694
/proc/meminfo: memFree=29464700/32873852 swapFree=7616/7616
[pid=2693] ppid=2691 vsize=48672 CPUtime=102.28 cores=1,3,5,7
/proc/2693/stat : 2693 (scip-2.1.1.4exp) R 2691 2693 403 0 -1 4202496 11841 0 0 0 10074 154 0 0 20 0 1 0 268257377 49840128 11031 33554432000 4194304 10219143 140737315015872 140737315009128 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2693/statm: 12168 11031 824 1471 0 10688 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 48672
Solver just ended. Dumping a history of the last processes samples
[startup+115.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 2694
/proc/meminfo: memFree=29464700/32873852 swapFree=7616/7616
[pid=2693] ppid=2691 vsize=48672 CPUtime=115.06 cores=1,3,5,7
/proc/2693/stat : 2693 (scip-2.1.1.4exp) R 2691 2693 403 0 -1 4202496 11841 0 0 0 11335 171 0 0 20 0 1 0 268257377 49840128 11031 33554432000 4194304 10219143 140737315015872 140737315011240 7940517 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2693/statm: 12168 11031 824 1471 0 10688 0
Current children cumulated CPU time (s) 115.06
Current children cumulated vsize (KiB) 48672
[startup+118.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 2694
/proc/meminfo: memFree=29464700/32873852 swapFree=7616/7616
[pid=2693] ppid=2691 vsize=48672 CPUtime=118.26 cores=1,3,5,7
/proc/2693/stat : 2693 (scip-2.1.1.4exp) R 2691 2693 403 0 -1 4202496 11842 0 0 0 11649 177 0 0 20 0 1 0 268257377 49840128 11032 33554432000 4194304 10219143 140737315015872 140737315009176 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2693/statm: 12168 11032 825 1471 0 10688 0
Current children cumulated CPU time (s) 118.26
Current children cumulated vsize (KiB) 48672
[startup+119.907 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 2694
/proc/meminfo: memFree=29464700/32873852 swapFree=7616/7616
[pid=2693] ppid=2691 vsize=48672 CPUtime=119.87 cores=1,3,5,7
/proc/2693/stat : 2693 (scip-2.1.1.4exp) R 2691 2693 403 0 -1 4202496 11842 0 0 0 11807 180 0 0 20 0 1 0 268257377 49840128 11032 33554432000 4194304 10219143 140737315015872 140737315013240 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2693/statm: 12168 11032 825 1471 0 10688 0
Current children cumulated CPU time (s) 119.87
Current children cumulated vsize (KiB) 48672
[startup+121.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 2694
/proc/meminfo: memFree=29464700/32873852 swapFree=7616/7616
[pid=2693] ppid=2691 vsize=48672 CPUtime=121.46 cores=1,3,5,7
/proc/2693/stat : 2693 (scip-2.1.1.4exp) R 2691 2693 403 0 -1 4202496 11842 0 0 0 11964 182 0 0 20 0 1 0 268257377 49840128 11032 33554432000 4194304 10219143 140737315015872 140737315009128 8077160 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2693/statm: 12168 11032 825 1471 0 10688 0
Current children cumulated CPU time (s) 121.46
Current children cumulated vsize (KiB) 48672
[startup+122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 2694
/proc/meminfo: memFree=29464700/32873852 swapFree=7616/7616
[pid=2693] ppid=2691 vsize=48672 CPUtime=122.26 cores=1,3,5,7
/proc/2693/stat : 2693 (scip-2.1.1.4exp) R 2691 2693 403 0 -1 4202496 11842 0 0 0 12043 183 0 0 20 0 1 0 268257377 49840128 11032 33554432000 4194304 10219143 140737315015872 140737315009320 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2693/statm: 12168 11032 825 1471 0 10688 0
Current children cumulated CPU time (s) 122.26
Current children cumulated vsize (KiB) 48672
[startup+122.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 2694
/proc/meminfo: memFree=29464700/32873852 swapFree=7616/7616
[pid=2693] ppid=2691 vsize=48672 CPUtime=122.47 cores=1,3,5,7
/proc/2693/stat : 2693 (scip-2.1.1.4exp) R 2691 2693 403 0 -1 4202496 11842 0 0 0 12063 184 0 0 20 0 1 0 268257377 49840128 11032 33554432000 4194304 10219143 140737315015872 140737315009320 7631572 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2693/statm: 12168 11032 825 1471 0 10688 0
Current children cumulated CPU time (s) 122.47
Current children cumulated vsize (KiB) 48672
Child status: 0
Real time (s): 122.535
CPU time (s): 122.507
CPU user time (s): 120.663
CPU system time (s): 1.84472
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 50704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 120.663
system time used= 1.84472
maximum resident set size= 45060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11847
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= 12
involuntary context switches= 126
runsolver used 0.406938 second user time and 0.847871 second system time
The end