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: a3bf3a4-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-3690418-1338016933.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.01/0.02 c presolving:
0.01/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.01/0.05 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.01/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.01/0.06 c presolving (4 rounds):
0.01/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.01/0.06 c 242 implications, 22 cliques
0.01/0.06 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.01/0.06 c 1 constraints of type <knapsack>
0.01/0.06 c 22 constraints of type <setppc>
0.01/0.06 c 2420 constraints of type <logicor>
0.01/0.06 c transformed objective value is always integral (scale: 1)
0.01/0.06 c Presolving Time: 0.05
0.01/0.06 c - non default parameters ----------------------------------------------------------------------
0.01/0.06 c # SCIP version 2.1.1.4
0.01/0.06 c
0.01/0.06 c # maximal time in seconds to run
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.06 c limits/time = 1797
0.01/0.06 c
0.01/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.06 c limits/memory = 13950
0.01/0.06 c
0.01/0.06 c # solving stops, if the given number of solutions were found (-1: no limit)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.06 c limits/solutions = 1
0.01/0.06 c
0.01/0.06 c # maximal number of separation rounds per node (-1: unlimited)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 5]
0.01/0.06 c separating/maxrounds = 1
0.01/0.06 c
0.01/0.06 c # maximal number of separation rounds in the root node (-1: unlimited)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.06 c separating/maxroundsroot = 5
0.01/0.06 c
0.01/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.06 c # [type: int, range: [1,2], default: 1]
0.01/0.06 c timing/clocktype = 2
0.01/0.06 c
0.01/0.06 c # belongs reading time to solving time?
0.01/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.06 c timing/reading = TRUE
0.01/0.06 c
0.01/0.06 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.01/0.06 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.01/0.06 c constraints/knapsack/disaggregation = FALSE
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.06 c heuristics/coefdiving/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.06 c heuristics/coefdiving/maxlpiterquot = 0.075
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/coefdiving/maxlpiterofs = 1500
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 30]
0.01/0.06 c heuristics/crossover/freq = -1
0.01/0.06 c
0.01/0.06 c # number of nodes added to the contingent of the total nodes
0.01/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.01/0.06 c heuristics/crossover/nodesofs = 750
0.01/0.06 c
0.01/0.06 c # number of nodes without incumbent change that heuristic should wait
0.01/0.06 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.01/0.06 c heuristics/crossover/nwaitingnodes = 100
0.01/0.06 c
0.01/0.06 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.01/0.06 c # [type: real, range: [0,1], default: 0.1]
0.01/0.06 c heuristics/crossover/nodesquot = 0.15
0.01/0.06 c
0.01/0.06 c # minimum percentage of integer variables that have to be fixed
0.01/0.06 c # [type: real, range: [0,1], default: 0.666]
0.01/0.06 c heuristics/crossover/minfixingrate = 0.5
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.06 c heuristics/feaspump/freq = -1
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/feaspump/maxlpiterofs = 2000
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.06 c heuristics/fracdiving/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.06 c heuristics/fracdiving/maxlpiterquot = 0.075
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/fracdiving/maxlpiterofs = 1500
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.06 c heuristics/guideddiving/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.06 c heuristics/guideddiving/maxlpiterquot = 0.075
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/guideddiving/maxlpiterofs = 1500
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.06 c heuristics/intdiving/maxlpiterquot = 0.075
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.06 c heuristics/intshifting/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.06 c heuristics/linesearchdiving/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.06 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.06 c heuristics/objpscostdiving/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to total iteration number
0.01/0.06 c # [type: real, range: [0,1], default: 0.01]
0.01/0.06 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.06 c heuristics/oneopt/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.06 c heuristics/pscostdiving/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.06 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/pscostdiving/maxlpiterofs = 1500
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.06 c heuristics/rens/freq = -1
0.01/0.06 c
0.01/0.06 c # minimum percentage of integer variables that have to be fixable
0.01/0.06 c # [type: real, range: [0,1], default: 0.5]
0.01/0.06 c heuristics/rens/minfixingrate = 0.3
0.01/0.06 c
0.01/0.06 c # number of nodes added to the contingent of the total nodes
0.01/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.01/0.06 c heuristics/rens/nodesofs = 2000
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.06 c heuristics/rootsoldiving/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.01/0.06 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.06 c heuristics/rounding/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.06 c heuristics/shiftandpropagate/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.06 c heuristics/shifting/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.06 c heuristics/simplerounding/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.06 c heuristics/subnlp/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.06 c heuristics/trivial/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.06 c heuristics/trysol/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.06 c heuristics/undercover/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.06 c heuristics/veclendiving/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.06 c heuristics/veclendiving/maxlpiterquot = 0.075
0.01/0.06 c
0.01/0.06 c # additional number of allowed LP iterations
0.01/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.06 c heuristics/veclendiving/maxlpiterofs = 1500
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.06 c heuristics/zirounding/freq = -1
0.01/0.06 c
0.01/0.06 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.06 c propagating/probing/maxprerounds = 0
0.01/0.06 c
0.01/0.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.06 c separating/cmir/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.06 c separating/flowcover/freq = -1
0.01/0.06 c
0.01/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.06 c separating/rapidlearning/freq = 0
0.01/0.06 c
0.01/0.06 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.01/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.06 c heuristics/indoneopt/freq = -1
0.01/0.06 c
0.01/0.06 c -----------------------------------------------------------------------------------------------
0.01/0.06 c start solving
0.01/0.06 c
0.01/0.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.08 c 0.1s| 1 | 0 | 76 | - |3909k| 0 | 36 | 231 |2443 | 231 |2443 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.18/0.21 c 0.2s| 1 | 0 | 90 | - |4367k| 0 | 39 | 231 |2747 | 231 |2450 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.18/0.24 c 0.2s| 1 | 0 | 105 | - |4696k| 0 | 45 | 231 |2747 | 231 |2454 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.18/0.28 c 0.3s| 1 | 0 | 120 | - |5139k| 0 | 46 | 231 |2747 | 231 |2455 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.33 c 0.3s| 1 | 0 | 139 | - |5582k| 0 | 47 | 231 |2747 | 231 |2457 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.49 c 0.5s| 1 | 0 | 146 | - |5927k| 0 | 51 | 231 |2747 | 231 |2460 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.58/0.67 c 0.7s| 1 | 2 | 146 | - |5927k| 0 | 51 | 231 |2747 | 231 |2460 | 17 | 0 | 10 | 0.000000e+00 | -- | Inf
9.39/9.40 c 9.4s| 100 | 10 | 4614 | 45.1 |6067k| 23 | 37 | 231 |2769 | 231 |2453 | 17 | 25 |1640 | 0.000000e+00 | -- | Inf
10.48/10.55 c 10.6s| 200 | 22 | 6711 | 33.0 |6123k| 27 | 39 | 231 |2811 | 231 |2453 | 17 | 67 |1844 | 0.000000e+00 | -- | Inf
10.89/10.97 c 11.0s| 300 | 27 | 8422 | 27.7 |6163k| 27 | - | 231 |2865 | 231 |2453 | 17 | 121 |1887 | 0.000000e+00 | -- | Inf
11.28/11.38 c 11.4s| 400 | 33 | 10307 | 25.5 |6190k| 27 | 26 | 231 |2918 | 231 |2453 | 17 | 174 |1927 | 0.000000e+00 | -- | Inf
11.58/11.64 c 11.6s| 500 | 38 | 11895 | 23.5 |6227k| 27 | - | 231 |2974 | 231 |2453 | 17 | 231 |1938 | 0.000000e+00 | -- | Inf
11.78/11.87 c 11.9s| 600 | 42 | 13448 | 22.2 |6249k| 27 | 26 | 231 |3020 | 231 |2453 | 17 | 277 |1941 | 0.000000e+00 | -- | Inf
11.99/12.08 c 12.1s| 700 | 42 | 14871 | 21.1 |6279k| 29 | - | 231 |3087 | 231 |2453 | 17 | 345 |1944 | 0.000000e+00 | -- | Inf
12.28/12.30 c 12.3s| 800 | 42 | 16110 | 20.0 |6296k| 32 | 32 | 231 |3139 | 231 |2453 | 17 | 397 |1954 | 0.000000e+00 | -- | Inf
12.49/12.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.49/12.55 c 12.6s| 900 | 44 | 17794 | 19.6 |6323k| 32 | - | 231 |3191 | 231 |2453 | 17 | 449 |1959 | 0.000000e+00 | -- | Inf
12.68/12.76 c 12.8s| 1000 | 44 | 19374 | 19.2 |6350k| 32 | - | 231 |3251 | 0 | 0 | 17 | 509 |1960 | 0.000000e+00 | -- | Inf
12.88/12.99 c 13.0s| 1100 | 44 | 20978 | 19.0 |6377k| 32 | - | 231 |3305 | 231 |2453 | 17 | 563 |1962 | 0.000000e+00 | -- | Inf
13.19/13.29 c 13.3s| 1200 | 43 | 22692 | 18.8 |6396k| 32 | 35 | 231 |3358 | 231 |2453 | 17 | 618 |1976 | 0.000000e+00 | -- | Inf
13.48/13.59 c 13.6s| 1300 | 43 | 24296 | 18.6 |6419k| 32 | 32 | 231 |3417 | 231 |2453 | 17 | 679 |1995 | 0.000000e+00 | -- | Inf
13.78/13.89 c 13.9s| 1400 | 38 | 26027 | 18.5 |6425k| 32 | - | 231 |3466 | 231 |2453 | 17 | 731 |2009 | 0.000000e+00 | -- | Inf
14.08/14.18 c 14.2s| 1500 | 38 | 27612 | 18.3 |6451k| 32 | - | 231 |3516 | 231 |2453 | 17 | 784 |2024 | 0.000000e+00 | -- | Inf
14.38/14.46 c 14.5s| 1600 | 42 | 29131 | 18.1 |6477k| 32 | 30 | 231 |3566 | 231 |2453 | 17 | 836 |2040 | 0.000000e+00 | -- | Inf
14.69/14.71 c 14.7s| 1700 | 40 | 30724 | 18.0 |6502k| 33 | - | 231 |3631 | 231 |2453 | 17 | 901 |2047 | 0.000000e+00 | -- | Inf
14.98/15.00 c 15.0s| 1800 | 42 | 32475 | 18.0 |6525k| 33 | - | 231 |3689 | 231 |2453 | 17 | 962 |2058 | 0.000000e+00 | -- | Inf
15.19/15.23 c 15.2s| 1900 | 42 | 33950 | 17.8 |6546k| 33 | 31 | 231 |3741 | 231 |2453 | 17 |1017 |2066 | 0.000000e+00 | -- | Inf
15.48/15.50 c 15.5s| 2000 | 49 | 35727 | 17.8 |6591k| 33 | - | 231 |3799 | 231 |2453 | 17 |1084 |2073 | 0.000000e+00 | -- | Inf
15.68/15.74 c 15.7s| 2100 | 48 | 37394 | 17.7 |6605k| 33 | 23 | 231 |3857 | 231 |2453 | 17 |1148 |2076 | 0.000000e+00 | -- | Inf
15.88/15.99 c 16.0s| 2200 | 51 | 39308 | 17.8 |6632k| 33 | 41 | 231 |3909 | 231 |2453 | 17 |1205 |2078 | 0.000000e+00 | -- | Inf
16.18/16.24 c 16.2s| 2300 | 50 | 41114 | 17.8 |6652k| 33 | 33 | 231 |3971 | 231 |2453 | 17 |1269 |2079 | 0.000000e+00 | -- | Inf
16.39/16.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.39/16.50 c 16.5s| 2400 | 45 | 43044 | 17.9 |6664k| 33 | - | 231 |4025 | 231 |2453 | 17 |1327 |2080 | 0.000000e+00 | -- | Inf
16.68/16.77 c 16.8s| 2500 | 43 | 45124 | 18.0 |6679k| 33 | - | 231 |4080 | 231 |2453 | 17 |1387 |2080 | 0.000000e+00 | -- | Inf
16.99/17.04 c 17.0s| 2600 | 43 | 47137 | 18.1 |6702k| 33 | 37 | 231 |4129 | 231 |2453 | 17 |1445 |2080 | 0.000000e+00 | -- | Inf
17.28/17.33 c 17.3s| 2700 | 47 | 49194 | 18.2 |6733k| 33 | - | 231 |4183 | 231 |2453 | 17 |1508 |2081 | 0.000000e+00 | -- | Inf
17.49/17.58 c 17.6s| 2800 | 47 | 51110 | 18.2 |6761k| 33 | - | 231 |4232 | 231 |2453 | 17 |1561 |2081 | 0.000000e+00 | -- | Inf
17.78/17.84 c 17.8s| 2900 | 47 | 53081 | 18.3 |6781k| 33 | - | 231 |4289 | 231 |2453 | 17 |1626 |2081 | 0.000000e+00 | -- | Inf
17.98/18.09 c 18.1s| 3000 | 55 | 54873 | 18.2 |6817k| 33 | 25 | 231 |4340 | 231 |2453 | 17 |1684 |2081 | 0.000000e+00 | -- | Inf
18.28/18.36 c 18.4s| 3100 | 54 | 56524 | 18.2 |6833k| 33 | 36 | 231 |4391 | 231 |2453 | 17 |1739 |2093 | 0.000000e+00 | -- | Inf
18.59/18.68 c 18.7s| 3200 | 62 | 58333 | 18.2 |6876k| 33 | 32 | 231 |4444 | 231 |2453 | 17 |1796 |2112 | 0.000000e+00 | -- | Inf
18.88/18.94 c 18.9s| 3300 | 58 | 59794 | 18.1 |6887k| 33 | - | 231 |4499 | 231 |2453 | 17 |1856 |2124 | 0.000000e+00 | -- | Inf
19.18/19.27 c 19.3s| 3400 | 58 | 61565 | 18.1 |6907k| 33 | - | 231 |4514 | 231 |2453 | 17 |1908 |2146 | 0.000000e+00 | -- | Inf
19.48/19.56 c 19.6s| 3500 | 56 | 63302 | 18.0 |6927k| 33 | - | 231 |4586 | 231 |2453 | 17 |1982 |2160 | 0.000000e+00 | -- | Inf
19.79/19.86 c 19.9s| 3600 | 58 | 64903 | 18.0 |6951k| 33 | - | 231 |4618 | 231 |2453 | 17 |2039 |2177 | 0.000000e+00 | -- | Inf
20.08/20.18 c 20.2s| 3700 | 56 | 66741 | 18.0 |6967k| 33 | 42 | 231 |4677 | 231 |2453 | 17 |2098 |2194 | 0.000000e+00 | -- | Inf
20.38/20.47 c 20.5s| 3800 | 58 | 68340 | 18.0 |6993k| 33 | 20 | 231 |4732 | 231 |2453 | 17 |2153 |2210 | 0.000000e+00 | -- | Inf
20.68/20.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.68/20.79 c 20.8s| 3900 | 54 | 70090 | 17.9 |7015k| 33 | - | 231 |4787 | 231 |2453 | 17 |2219 |2229 | 0.000000e+00 | -- | Inf
20.97/21.07 c 21.1s| 4000 | 55 | 71579 | 17.9 |7030k| 34 | 32 | 231 |4809 | 231 |2453 | 17 |2272 |2247 | 0.000000e+00 | -- | Inf
21.28/21.35 c 21.4s| 4100 | 59 | 73204 | 17.8 |7064k| 34 | 32 | 231 |4840 | 231 |2453 | 17 |2330 |2258 | 0.000000e+00 | -- | Inf
21.58/21.62 c 21.6s| 4200 | 57 | 74956 | 17.8 |7085k| 34 | 27 | 231 |4883 | 231 |2453 | 17 |2390 |2264 | 0.000000e+00 | -- | Inf
21.78/21.88 c 21.9s| 4300 | 55 | 76729 | 17.8 |7100k| 34 | - | 231 |4912 | 231 |2453 | 17 |2442 |2268 | 0.000000e+00 | -- | Inf
22.08/22.13 c 22.1s| 4400 | 59 | 78557 | 17.8 |7129k| 34 | - | 231 |4951 | 231 |2453 | 17 |2499 |2268 | 0.000000e+00 | -- | Inf
22.38/22.41 c 22.4s| 4500 | 61 | 80576 | 17.9 |7150k| 34 | - | 231 |4989 | 231 |2453 | 17 |2558 |2273 | 0.000000e+00 | -- | Inf
22.58/22.66 c 22.7s| 4600 | 55 | 82371 | 17.9 |7151k| 34 | - | 231 |5039 | 231 |2453 | 17 |2621 |2274 | 0.000000e+00 | -- | Inf
22.88/22.94 c 22.9s| 4700 | 59 | 84378 | 17.9 |7180k| 36 | - | 231 |5085 | 231 |2453 | 17 |2684 |2277 | 0.000000e+00 | -- | Inf
23.09/23.19 c 23.2s| 4800 | 59 | 86214 | 17.9 |7201k| 36 | 32 | 231 |5140 | 231 |2453 | 17 |2749 |2277 | 0.000000e+00 | -- | Inf
23.38/23.45 c 23.5s| 4900 | 57 | 88105 | 18.0 |7229k| 36 | - | 231 |5198 | 231 |2453 | 17 |2822 |2279 | 0.000000e+00 | -- | Inf
23.67/23.71 c 23.7s| 5000 | 57 | 90023 | 18.0 |7248k| 36 | - | 231 |5234 | 0 | 0 | 17 |2891 |2279 | 0.000000e+00 | -- | Inf
23.88/23.94 c 23.9s| 5100 | 54 | 91705 | 18.0 |7266k| 36 | - | 231 |5283 | 231 |2453 | 17 |2954 |2280 | 0.000000e+00 | -- | Inf
24.08/24.19 c 24.2s| 5200 | 53 | 93431 | 17.9 |7266k| 36 | 37 | 231 |5309 | 231 |2453 | 17 |3027 |2280 | 0.000000e+00 | -- | Inf
24.38/24.46 c 24.5s| 5300 | 53 | 95404 | 18.0 |7276k| 36 | 38 | 231 |5335 | 231 |2453 | 17 |3080 |2281 | 0.000000e+00 | -- | Inf
24.67/24.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.67/24.73 c 24.7s| 5400 | 53 | 97455 | 18.0 |7293k| 36 | 41 | 231 |5378 | 231 |2453 | 17 |3141 |2281 | 0.000000e+00 | -- | Inf
24.98/25.01 c 25.0s| 5500 | 53 | 99620 | 18.1 |7307k| 36 | 36 | 231 |5409 | 231 |2453 | 17 |3200 |2281 | 0.000000e+00 | -- | Inf
25.29/25.37 c 25.4s| 5600 | 55 |101673 | 18.1 |7330k| 36 | - | 231 |5451 | 231 |2453 | 17 |3263 |2299 | 0.000000e+00 | -- | Inf
25.58/25.64 c 25.6s| 5700 | 59 |103402 | 18.1 |7356k| 36 | 35 | 231 |5507 | 231 |2453 | 17 |3332 |2308 | 0.000000e+00 | -- | Inf
25.88/25.98 c 26.0s| 5800 | 56 |105179 | 18.1 |7375k| 36 | 33 | 231 |5576 | 231 |2453 | 17 |3401 |2332 | 0.000000e+00 | -- | Inf
26.17/26.26 c 26.3s| 5900 | 52 |106877 | 18.1 |7383k| 36 | - | 231 |5624 | 231 |2453 | 17 |3464 |2341 | 0.000000e+00 | -- | Inf
26.48/26.53 c 26.5s| 6000 | 51 |108285 | 18.0 |7390k| 36 | 36 | 231 |5652 | 231 |2453 | 17 |3529 |2355 | 0.000000e+00 | -- | Inf
26.78/26.84 c 26.8s| 6100 | 49 |110093 | 18.0 |7411k| 36 | 30 | 231 |5687 | 231 |2453 | 17 |3593 |2369 | 0.000000e+00 | -- | Inf
27.08/27.17 c 27.2s| 6200 | 51 |112027 | 18.0 |7422k| 36 | - | 231 |5704 | 231 |2453 | 17 |3649 |2383 | 0.000000e+00 | -- | Inf
27.38/27.49 c 27.5s| 6300 | 53 |113826 | 18.0 |7440k| 36 | 41 | 231 |5739 | 231 |2453 | 17 |3704 |2399 | 0.000000e+00 | -- | Inf
27.77/27.82 c 27.8s| 6400 | 57 |115614 | 18.0 |7474k| 36 | 31 | 231 |5780 | 231 |2453 | 17 |3765 |2416 | 0.000000e+00 | -- | Inf
28.08/28.13 c 28.1s| 6500 | 51 |117564 | 18.1 |7481k| 36 | - | 231 |5833 | 231 |2453 | 17 |3825 |2427 | 0.000000e+00 | -- | Inf
28.37/28.49 c 28.5s| 6600 | 50 |119522 | 18.1 |7503k| 36 | - | 231 |5877 | 231 |2453 | 17 |3892 |2450 | 0.000000e+00 | -- | Inf
28.68/28.79 c 28.8s| 6700 | 50 |121419 | 18.1 |7511k| 36 | 34 | 231 |5906 | 231 |2453 | 17 |3946 |2459 | 0.000000e+00 | -- | Inf
28.97/29.06 c 29.1s| 6800 | 52 |123212 | 18.1 |7527k| 36 | 38 | 231 |5936 | 231 |2453 | 17 |4003 |2464 | 0.000000e+00 | -- | Inf
29.28/29.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.28/29.31 c 29.3s| 6900 | 51 |124964 | 18.1 |7549k| 36 | - | 231 |5995 | 231 |2453 | 17 |4068 |2467 | 0.000000e+00 | -- | Inf
29.48/29.56 c 29.6s| 7000 | 51 |126716 | 18.1 |7564k| 36 | - | 231 |6044 | 231 |2453 | 17 |4132 |2468 | 0.000000e+00 | -- | Inf
29.68/29.79 c 29.8s| 7100 | 52 |128350 | 18.1 |7576k| 36 | 38 | 231 |6088 | 231 |2453 | 17 |4208 |2469 | 0.000000e+00 | -- | Inf
29.98/30.06 c 30.1s| 7200 | 52 |130265 | 18.1 |7608k| 36 | - | 231 |6162 | 231 |2453 | 17 |4290 |2471 | 0.000000e+00 | -- | Inf
30.28/30.33 c 30.3s| 7300 | 50 |132226 | 18.1 |7621k| 36 | 38 | 231 |6226 | 231 |2453 | 17 |4366 |2471 | 0.000000e+00 | -- | Inf
30.47/30.58 c 30.6s| 7400 | 52 |134003 | 18.1 |7627k| 36 | 38 | 231 |6254 | 231 |2453 | 17 |4423 |2472 | 0.000000e+00 | -- | Inf
30.78/30.82 c 30.8s| 7500 | 55 |135748 | 18.1 |7648k| 36 | 24 | 231 |6288 | 231 |2453 | 17 |4476 |2475 | 0.000000e+00 | -- | Inf
30.97/31.08 c 31.1s| 7600 | 59 |137545 | 18.1 |7682k| 36 | - | 231 |6335 | 231 |2453 | 17 |4530 |2477 | 0.000000e+00 | -- | Inf
31.27/31.35 c 31.4s| 7700 | 63 |139674 | 18.1 |7706k| 36 | 36 | 231 |6376 | 231 |2453 | 17 |4590 |2477 | 0.000000e+00 | -- | Inf
31.58/31.62 c 31.6s| 7800 | 61 |141530 | 18.1 |7722k| 36 | 39 | 231 |6419 | 231 |2453 | 17 |4645 |2477 | 0.000000e+00 | -- | Inf
31.78/31.86 c 31.9s| 7900 | 57 |143331 | 18.1 |7736k| 36 | - | 231 |6470 | 231 |2453 | 17 |4704 |2477 | 0.000000e+00 | -- | Inf
31.98/32.09 c 32.1s| 8000 | 59 |144901 | 18.1 |7759k| 36 | 29 | 231 |6513 | 231 |2453 | 17 |4760 |2477 | 0.000000e+00 | -- | Inf
32.27/32.35 c 32.4s| 8100 | 59 |146987 | 18.1 |7766k| 36 | 30 | 231 |6538 | 231 |2453 | 17 |4823 |2477 | 0.000000e+00 | -- | Inf
32.58/32.60 c 32.6s| 8200 | 65 |149051 | 18.2 |7790k| 36 | - | 231 |6540 | 231 |2453 | 17 |4880 |2477 | 0.000000e+00 | -- | Inf
32.78/32.83 c 32.8s| 8300 | 67 |150554 | 18.1 |7810k| 36 | 24 | 231 |6597 | 231 |2453 | 17 |4948 |2486 | 0.000000e+00 | -- | Inf
32.98/33.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.98/33.09 c 33.1s| 8400 | 69 |152175 | 18.1 |7838k| 36 | - | 231 |6648 | 231 |2453 | 17 |5004 |2498 | 0.000000e+00 | -- | Inf
33.38/33.43 c 33.4s| 8500 | 65 |154165 | 18.1 |7840k| 36 | - | 231 |6677 | 231 |2453 | 17 |5060 |2521 | 0.000000e+00 | -- | Inf
33.67/33.71 c 33.7s| 8600 | 67 |156096 | 18.1 |7863k| 36 | - | 231 |6722 | 0 | 0 | 17 |5112 |2531 | 0.000000e+00 | -- | Inf
33.88/33.91 c 33.9s| 8700 | 69 |157332 | 18.1 |7888k| 36 | - | 231 |6773 | 0 | 0 | 17 |5170 |2535 | 0.000000e+00 | -- | Inf
34.17/34.20 c 34.2s| 8800 | 72 |159092 | 18.1 |7911k| 36 | 30 | 231 |6828 | 231 |2453 | 17 |5230 |2554 | 0.000000e+00 | -- | Inf
34.37/34.47 c 34.5s| 8900 | 70 |160816 | 18.1 |7922k| 36 | 35 | 231 |6880 | 231 |2453 | 17 |5283 |2568 | 0.000000e+00 | -- | Inf
34.67/34.77 c 34.8s| 9000 | 64 |162688 | 18.1 |7937k| 36 | - | 231 |6926 | 231 |2453 | 17 |5334 |2581 | 0.000000e+00 | -- | Inf
34.97/35.09 c 35.1s| 9100 | 66 |164693 | 18.1 |7954k| 36 | 25 | 231 |6958 | 231 |2453 | 17 |5391 |2598 | 0.000000e+00 | -- | Inf
35.27/35.39 c 35.4s| 9200 | 68 |166768 | 18.1 |7980k| 36 | 27 | 231 |6981 | 231 |2453 | 17 |5449 |2614 | 0.000000e+00 | -- | Inf
35.67/35.71 c 35.7s| 9300 | 66 |168731 | 18.1 |7997k| 36 | - | 231 |7038 | 231 |2453 | 17 |5518 |2632 | 0.000000e+00 | -- | Inf
35.97/36.00 c 36.0s| 9400 | 64 |170829 | 18.2 |8009k| 36 | - | 231 |7087 | 231 |2453 | 17 |5580 |2642 | 0.000000e+00 | -- | Inf
36.28/36.33 c 36.3s| 9500 | 62 |173063 | 18.2 |8023k| 36 | - | 231 |7136 | 231 |2453 | 17 |5647 |2655 | 0.000000e+00 | -- | Inf
36.57/36.61 c 36.6s| 9600 | 62 |175114 | 18.2 |8048k| 36 | 35 | 231 |7187 | 231 |2453 | 17 |5720 |2661 | 0.000000e+00 | -- | Inf
36.87/36.92 c 36.9s| 9700 | 70 |177069 | 18.2 |8092k| 36 | - | 231 |7231 | 231 |2453 | 17 |5783 |2677 | 0.000000e+00 | -- | Inf
37.08/37.17 c 37.2s| 9800 | 72 |178986 | 18.3 |8110k| 36 | - | 231 |7261 | 231 |2453 | 17 |5835 |2678 | 0.000000e+00 | -- | Inf
37.38/37.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.38/37.41 c 37.4s| 9900 | 71 |180933 | 18.3 |8131k| 36 | - | 231 |7319 | 231 |2453 | 17 |5899 |2678 | 0.000000e+00 | -- | Inf
37.57/37.64 c 37.6s| 10000 | 71 |182718 | 18.3 |8149k| 36 | 33 | 231 |7368 | 231 |2453 | 17 |5958 |2678 | 0.000000e+00 | -- | Inf
37.77/37.85 c 37.8s| 10100 | 70 |184294 | 18.2 |8167k| 36 | - | 231 |7417 | 231 |2453 | 17 |6014 |2678 | 0.000000e+00 | -- | Inf
37.97/38.06 c 38.1s| 10200 | 71 |185921 | 18.2 |8193k| 36 | - | 231 |7464 | 231 |2453 | 17 |6069 |2678 | 0.000000e+00 | -- | Inf
38.28/38.30 c 38.3s| 10300 | 72 |187781 | 18.2 |8216k| 36 | 43 | 231 |7521 | 231 |2453 | 17 |6140 |2678 | 0.000000e+00 | -- | Inf
38.48/38.53 c 38.5s| 10400 | 74 |189530 | 18.2 |8250k| 36 | - | 231 |7578 | 231 |2453 | 17 |6204 |2678 | 0.000000e+00 | -- | Inf
38.67/38.77 c 38.8s| 10500 | 74 |191437 | 18.2 |8281k| 36 | - | 231 |7643 | 231 |2453 | 17 |6275 |2678 | 0.000000e+00 | -- | Inf
38.97/39.01 c 39.0s| 10600 | 73 |193247 | 18.2 |8304k| 36 | - | 231 |7698 | 231 |2453 | 17 |6337 |2679 | 0.000000e+00 | -- | Inf
39.18/39.24 c 39.2s| 10700 | 75 |195015 | 18.2 |8326k| 38 | 43 | 231 |7744 | 231 |2453 | 17 |6392 |2679 | 0.000000e+00 | -- | Inf
39.37/39.48 c 39.5s| 10800 | 81 |196957 | 18.2 |8373k| 38 | - | 231 |7804 | 231 |2453 | 17 |6456 |2679 | 0.000000e+00 | -- | Inf
39.67/39.72 c 39.7s| 10900 | 85 |198730 | 18.2 |8409k| 38 | 41 | 231 |7866 | 231 |2453 | 17 |6523 |2680 | 0.000000e+00 | -- | Inf
39.88/39.96 c 40.0s| 11000 | 82 |200561 | 18.2 |8431k| 38 | - | 231 |7922 | 231 |2453 | 17 |6580 |2681 | 0.000000e+00 | -- | Inf
40.07/40.19 c 40.2s| 11100 | 85 |202365 | 18.2 |8463k| 39 | - | 231 |7983 | 231 |2453 | 17 |6644 |2682 | 0.000000e+00 | -- | Inf
40.37/40.43 c 40.4s| 11200 | 84 |204161 | 18.2 |8483k| 39 | 28 | 231 |8042 | 231 |2453 | 17 |6709 |2683 | 0.000000e+00 | -- | Inf
40.58/40.67 c 40.7s| 11300 | 84 |205989 | 18.2 |8521k| 39 | - | 231 |8071 | 231 |2453 | 17 |6769 |2684 | 0.000000e+00 | -- | Inf
40.87/40.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.87/40.93 c 40.9s| 11400 | 84 |207913 | 18.2 |8541k| 39 | - | 231 |8057 | 231 |2453 | 17 |6825 |2686 | 0.000000e+00 | -- | Inf
41.07/41.18 c 41.2s| 11500 | 87 |209899 | 18.2 |8535k| 39 | 26 | 231 |8018 | 231 |2453 | 17 |6885 |2686 | 0.000000e+00 | -- | Inf
41.37/41.46 c 41.5s| 11600 | 85 |212100 | 18.3 |8537k| 39 | 41 | 231 |8034 | 231 |2453 | 17 |6939 |2686 | 0.000000e+00 | -- | Inf
41.57/41.68 c 41.7s| 11700 | 85 |213721 | 18.3 |8555k| 39 | - | 231 |8067 | 231 |2453 | 17 |6999 |2686 | 0.000000e+00 | -- | Inf
41.87/41.92 c 41.9s| 11800 | 85 |215483 | 18.3 |8554k| 39 | 27 | 231 |8058 | 231 |2453 | 17 |7065 |2687 | 0.000000e+00 | -- | Inf
42.08/42.15 c 42.2s| 11900 | 85 |217230 | 18.2 |8547k| 39 | - | 231 |8076 | 231 |2453 | 17 |7139 |2687 | 0.000000e+00 | -- | Inf
42.27/42.38 c 42.4s| 12000 | 83 |218928 | 18.2 |8538k| 39 | 29 | 231 |8067 | 231 |2453 | 17 |7201 |2687 | 0.000000e+00 | -- | Inf
42.57/42.61 c 42.6s| 12100 | 82 |220709 | 18.2 |8527k| 39 | - | 231 |8034 | 231 |2453 | 17 |7258 |2687 | 0.000000e+00 | -- | Inf
42.78/42.90 c 42.9s| 12200 | 81 |223074 | 18.3 |8491k| 39 | 41 | 231 |7940 | 231 |2453 | 17 |7320 |2687 | 0.000000e+00 | -- | Inf
43.07/43.14 c 43.1s| 12300 | 83 |224953 | 18.3 |8479k| 39 | - | 231 |7871 | 231 |2453 | 17 |7393 |2687 | 0.000000e+00 | -- | Inf
43.27/43.35 c 43.4s| 12400 | 83 |226459 | 18.3 |8487k| 39 | - | 231 |7889 | 231 |2453 | 17 |7462 |2687 | 0.000000e+00 | -- | Inf
43.47/43.58 c 43.6s| 12500 | 85 |228231 | 18.2 |8508k| 41 | 34 | 231 |7928 | 231 |2453 | 17 |7518 |2687 | 0.000000e+00 | -- | Inf
43.77/43.80 c 43.8s| 12600 | 81 |229840 | 18.2 |8507k| 41 | - | 231 |7955 | 231 |2453 | 17 |7584 |2687 | 0.000000e+00 | -- | Inf
43.98/44.02 c 44.0s| 12700 | 82 |231368 | 18.2 |8509k| 41 | 27 | 231 |7962 | 231 |2453 | 17 |7646 |2687 | 0.000000e+00 | -- | Inf
44.17/44.24 c 44.2s| 12800 | 80 |233070 | 18.2 |8516k| 41 | 28 | 231 |7993 | 231 |2453 | 17 |7707 |2687 | 0.000000e+00 | -- | Inf
44.37/44.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.37/44.49 c 44.5s| 12900 | 75 |235042 | 18.2 |8499k| 41 | 29 | 231 |7988 | 231 |2453 | 17 |7780 |2687 | 0.000000e+00 | -- | Inf
44.67/44.74 c 44.7s| 13000 | 75 |236987 | 18.2 |8497k| 41 | 30 | 231 |7957 | 231 |2453 | 17 |7844 |2687 | 0.000000e+00 | -- | Inf
44.87/44.98 c 45.0s| 13100 | 79 |238797 | 18.2 |8512k| 41 | 27 | 231 |7934 | 231 |2453 | 17 |7909 |2687 | 0.000000e+00 | -- | Inf
45.08/45.19 c 45.2s| 13200 | 79 |240369 | 18.2 |8522k| 41 | 35 | 231 |7959 | 231 |2453 | 17 |7967 |2687 | 0.000000e+00 | -- | Inf
45.37/45.42 c 45.4s| 13300 | 79 |242246 | 18.2 |8536k| 41 | - | 231 |7990 | 231 |2453 | 17 |8015 |2687 | 0.000000e+00 | -- | Inf
45.67/45.70 c 45.7s| 13400 | 75 |244566 | 18.2 |8537k| 41 | - | 231 |8013 | 231 |2453 | 17 |8072 |2687 | 0.000000e+00 | -- | Inf
45.87/45.95 c 46.0s| 13500 | 77 |246598 | 18.3 |8541k| 41 | - | 231 |8013 | 231 |2453 | 17 |8126 |2687 | 0.000000e+00 | -- | Inf
46.18/46.21 c 46.2s| 13600 | 79 |248680 | 18.3 |8562k| 41 | 27 | 231 |8058 | 231 |2453 | 17 |8187 |2687 | 0.000000e+00 | -- | Inf
46.37/46.47 c 46.5s| 13700 | 75 |250766 | 18.3 |8575k| 41 | - | 231 |8110 | 231 |2453 | 17 |8241 |2687 | 0.000000e+00 | -- | Inf
46.67/46.73 c 46.7s| 13800 | 75 |252920 | 18.3 |8590k| 41 | - | 231 |8154 | 231 |2453 | 17 |8304 |2687 | 0.000000e+00 | -- | Inf
46.87/46.98 c 47.0s| 13900 | 76 |254916 | 18.3 |8609k| 41 | 38 | 231 |8207 | 231 |2453 | 17 |8381 |2687 | 0.000000e+00 | -- | Inf
47.17/47.21 c 47.2s| 14000 | 75 |256636 | 18.3 |8619k| 41 | 30 | 231 |8227 | 231 |2453 | 17 |8459 |2687 | 0.000000e+00 | -- | Inf
47.37/47.42 c 47.4s| 14100 | 75 |258174 | 18.3 |8615k| 41 | - | 231 |8185 | 231 |2453 | 17 |8519 |2687 | 0.000000e+00 | -- | Inf
47.57/47.64 c 47.6s| 14200 | 74 |259828 | 18.3 |8628k| 41 | - | 231 |8216 | 231 |2453 | 17 |8596 |2687 | 0.000000e+00 | -- | Inf
47.77/47.87 c 47.9s| 14300 | 76 |261583 | 18.3 |8623k| 41 | 20 | 231 |8191 | 231 |2453 | 17 |8662 |2687 | 0.000000e+00 | -- | Inf
47.97/48.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.97/48.08 c 48.1s| 14400 | 76 |263182 | 18.3 |8636k| 41 | 26 | 231 |8242 | 231 |2453 | 17 |8741 |2687 | 0.000000e+00 | -- | Inf
48.16/48.26 c 48.3s| 14500 | 77 |264512 | 18.2 |8668k| 41 | - | 231 |8311 | 0 | 0 | 17 |8818 |2687 | 0.000000e+00 | -- | Inf
48.37/48.49 c 48.5s| 14600 | 75 |266438 | 18.2 |8679k| 41 | 36 | 231 |8364 | 231 |2453 | 17 |8887 |2687 | 0.000000e+00 | -- | Inf
48.67/48.74 c 48.7s| 14700 | 72 |268383 | 18.2 |8689k| 41 | 35 | 231 |8395 | 231 |2453 | 17 |8956 |2687 | 0.000000e+00 | -- | Inf
48.86/48.97 c 49.0s| 14800 | 71 |270109 | 18.2 |8696k| 41 | - | 231 |8413 | 231 |2453 | 17 |9009 |2687 | 0.000000e+00 | -- | Inf
49.17/49.22 c 49.2s| 14900 | 68 |272121 | 18.3 |8688k| 41 | 38 | 231 |8427 | 231 |2453 | 17 |9070 |2687 | 0.000000e+00 | -- | Inf
49.37/49.45 c 49.5s| 15000 | 70 |273817 | 18.2 |8693k| 41 | 28 | 231 |8400 | 231 |2453 | 17 |9135 |2687 | 0.000000e+00 | -- | Inf
49.56/49.68 c 49.7s| 15100 | 68 |275504 | 18.2 |8700k| 41 | - | 231 |8411 | 231 |2453 | 17 |9202 |2687 | 0.000000e+00 | -- | Inf
49.87/49.92 c 49.9s| 15200 | 68 |277264 | 18.2 |8714k| 41 | - | 231 |8448 | 231 |2453 | 17 |9280 |2687 | 0.000000e+00 | -- | Inf
50.06/50.15 c 50.2s| 15300 | 70 |279054 | 18.2 |8731k| 41 | 35 | 231 |8454 | 231 |2453 | 17 |9337 |2687 | 0.000000e+00 | -- | Inf
50.27/50.38 c 50.4s| 15400 | 72 |280812 | 18.2 |8743k| 41 | 31 | 231 |8483 | 231 |2453 | 17 |9396 |2687 | 0.000000e+00 | -- | Inf
50.57/50.64 c 50.6s| 15500 | 64 |282821 | 18.2 |8739k| 41 | - | 231 |8513 | 231 |2453 | 17 |9464 |2687 | 0.000000e+00 | -- | Inf
50.87/50.90 c 50.9s| 15600 | 64 |284743 | 18.2 |8739k| 41 | - | 231 |8511 | 231 |2453 | 17 |9534 |2687 | 0.000000e+00 | -- | Inf
51.07/51.16 c 51.2s| 15700 | 65 |286780 | 18.3 |8740k| 41 | 37 | 231 |8508 | 231 |2453 | 17 |9596 |2687 | 0.000000e+00 | -- | Inf
51.36/51.40 c 51.4s| 15800 | 61 |288557 | 18.3 |8720k| 41 | 37 | 231 |8503 | 231 |2453 | 17 |9662 |2687 | 0.000000e+00 | -- | Inf
51.57/51.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.57/51.64 c 51.6s| 15900 | 63 |290297 | 18.2 |8711k| 41 | 33 | 231 |8460 | 231 |2453 | 17 |9729 |2687 | 0.000000e+00 | -- | Inf
51.87/51.90 c 51.9s| 16000 | 59 |292267 | 18.3 |8718k| 41 | - | 231 |8474 | 231 |2453 | 17 |9796 |2687 | 0.000000e+00 | -- | Inf
52.07/52.14 c 52.1s| 16100 | 59 |294068 | 18.3 |8716k| 41 | 44 | 231 |8476 | 231 |2453 | 17 |9874 |2687 | 0.000000e+00 | -- | Inf
52.27/52.39 c 52.4s| 16200 | 59 |296009 | 18.3 |8730k| 41 | 32 | 231 |8520 | 231 |2453 | 17 |9954 |2687 | 0.000000e+00 | -- | Inf
52.57/52.64 c 52.6s| 16300 | 57 |297984 | 18.3 |8732k| 41 | 37 | 231 |8540 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
52.86/52.90 c 52.9s| 16400 | 55 |299965 | 18.3 |8711k| 41 | 36 | 231 |8518 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
53.07/53.15 c 53.2s| 16500 | 50 |301822 | 18.3 |8711k| 41 | - | 231 |8546 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
53.27/53.38 c 53.4s| 16600 | 48 |303467 | 18.3 |8708k| 41 | 34 | 231 |8575 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
53.47/53.57 c 53.6s| 16700 | 46 |304786 | 18.2 |8707k| 41 | 24 | 231 |8600 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
53.66/53.79 c 53.8s| 16800 | 44 |306459 | 18.2 |8663k| 41 | 37 | 231 |8578 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
53.96/54.03 c 54.0s| 16900 | 46 |308230 | 18.2 |8644k| 41 | - | 231 |8498 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
54.16/54.27 c 54.3s| 17000 | 45 |310113 | 18.2 |8639k| 41 | 33 | 231 |8484 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
54.36/54.48 c 54.5s| 17100 | 45 |311634 | 18.2 |8651k| 41 | 36 | 231 |8511 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
54.67/54.73 c 54.7s| 17200 | 49 |313596 | 18.2 |8663k| 41 | - | 231 |8469 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
54.87/54.96 c 55.0s| 17300 | 51 |315427 | 18.2 |8672k| 41 | 14 | 231 |8504 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
55.07/55.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.07/55.19 c 55.2s| 17400 | 50 |317327 | 18.2 |8683k| 41 | 32 | 231 |8548 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
55.37/55.44 c 55.4s| 17500 | 53 |319236 | 18.2 |8706k| 41 | 18 | 231 |8586 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
55.56/55.66 c 55.7s| 17600 | 56 |320941 | 18.2 |8733k| 41 | - | 231 |8631 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
55.77/55.87 c 55.9s| 17700 | 54 |322611 | 18.2 |8748k| 41 | - | 231 |8684 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
56.07/56.12 c 56.1s| 17800 | 50 |324493 | 18.2 |8757k| 41 | 37 | 231 |8740 | 231 |2453 | 17 | 10k|2687 | 0.000000e+00 | -- | Inf
56.26/56.38 c 56.4s| 17900 | 48 |326603 | 18.2 |8762k| 41 | 29 | 231 |8787 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
56.56/56.61 c 56.6s| 18000 | 44 |328304 | 18.2 |8768k| 41 | 40 | 231 |8838 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
56.77/56.84 c 56.8s| 18100 | 52 |330055 | 18.2 |8807k| 41 | - | 231 |8886 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
56.96/57.04 c 57.0s| 18200 | 51 |331520 | 18.2 |8821k| 41 | 36 | 231 |8940 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
57.26/57.30 c 57.3s| 18300 | 59 |333588 | 18.2 |8844k| 41 | 39 | 231 |8912 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
57.47/57.55 c 57.6s| 18400 | 55 |335584 | 18.2 |8829k| 41 | 26 | 231 |8887 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
57.76/57.81 c 57.8s| 18500 | 55 |337617 | 18.2 |8826k| 41 | - | 231 |8874 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
57.96/58.05 c 58.1s| 18600 | 55 |339444 | 18.2 |8837k| 41 | - | 231 |8906 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
58.17/58.28 c 58.3s| 18700 | 54 |341191 | 18.2 |8850k| 41 | - | 231 |8958 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
58.46/58.51 c 58.5s| 18800 | 54 |342974 | 18.2 |8873k| 41 | - | 231 |9020 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
58.66/58.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.66/58.76 c 58.8s| 18900 | 54 |344919 | 18.2 |8891k| 41 | - | 231 |9067 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
58.96/59.01 c 59.0s| 19000 | 53 |346862 | 18.2 |8902k| 41 | - | 231 |9093 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
59.16/59.25 c 59.3s| 19100 | 54 |348728 | 18.3 |8920k| 41 | 39 | 231 |9146 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
59.46/59.52 c 59.5s| 19200 | 52 |350802 | 18.3 |8937k| 41 | - | 231 |9185 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
59.66/59.77 c 59.8s| 19300 | 51 |352743 | 18.3 |8940k| 41 | 20 | 231 |9224 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
59.97/60.06 c 60.1s| 19400 | 49 |355120 | 18.3 |8960k| 41 | - | 231 |9279 | 231 |2453 | 17 | 11k|2687 | 0.000000e+00 | -- | Inf
60.26/60.34 c 60.3s| 19500 | 53 |357328 | 18.3 |8986k| 41 | 41 | 231 |9327 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
60.57/60.61 c 60.6s| 19600 | 54 |359547 | 18.3 |9002k| 41 | 42 | 231 |9368 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
60.76/60.89 c 60.9s| 19700 | 56 |361807 | 18.4 |9032k| 41 | - | 231 |9425 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
61.06/61.16 c 61.2s| 19800 | 54 |364024 | 18.4 |9051k| 41 | - | 231 |9492 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
61.37/61.43 c 61.4s| 19900 | 58 |366156 | 18.4 |9075k| 41 | 37 | 231 |9556 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
61.66/61.70 c 61.7s| 20000 | 58 |368343 | 18.4 |9102k| 41 | 32 | 231 |9629 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
61.86/61.99 c 62.0s| 20100 | 59 |370777 | 18.4 |9127k| 41 | 25 | 231 |9700 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
62.16/62.27 c 62.3s| 20200 | 57 |373065 | 18.5 |9145k| 41 | 38 | 231 |9758 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
62.46/62.56 c 62.6s| 20300 | 58 |375455 | 18.5 |9177k| 41 | - | 231 |9823 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
62.67/62.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.67/62.79 c 62.8s| 20400 | 60 |377157 | 18.5 |9198k| 41 | 29 | 231 |9876 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
62.97/63.08 c 63.1s| 20500 | 57 |379513 | 18.5 |9217k| 41 | - | 231 |9922 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
63.26/63.38 c 63.4s| 20600 | 57 |381946 | 18.5 |9238k| 41 | - | 231 |9973 | 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
63.57/63.67 c 63.7s| 20700 | 50 |384310 | 18.6 |9234k| 41 | - | 231 | 10k| 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
63.86/63.93 c 63.9s| 20800 | 52 |386254 | 18.6 |9256k| 41 | 37 | 231 | 10k| 231 |2453 | 17 | 12k|2687 | 0.000000e+00 | -- | Inf
64.17/64.20 c 64.2s| 20900 | 51 |388478 | 18.6 |9264k| 41 | 35 | 231 | 10k| 231 |2453 | 17 | 13k|2687 | 0.000000e+00 | -- | Inf
64.36/64.46 c 64.5s| 21000 | 54 |390476 | 18.6 |9293k| 41 | 35 | 231 | 10k| 231 |2453 | 17 | 13k|2687 | 0.000000e+00 | -- | Inf
64.66/64.74 c 64.7s| 21100 | 54 |392795 | 18.6 |9310k| 41 | 30 | 231 | 10k| 231 |2453 | 17 | 13k|2687 | 0.000000e+00 | -- | Inf
64.96/65.00 c 65.0s| 21200 | 52 |394783 | 18.6 |9312k| 41 | 36 | 231 | 10k| 231 |2453 | 17 | 13k|2687 | 0.000000e+00 | -- | Inf
65.16/65.27 c 65.3s| 21300 | 58 |397005 | 18.6 |9344k| 41 | 28 | 231 | 10k| 231 |2453 | 17 | 13k|2687 | 0.000000e+00 | -- | Inf
65.46/65.54 c 65.5s| 21400 | 56 |399147 | 18.6 |9356k| 41 | 38 | 231 | 10k| 231 |2453 | 17 | 13k|2687 | 0.000000e+00 | -- | Inf
65.76/65.82 c 65.8s| 21500 | 58 |401350 | 18.7 |9395k| 41 | - | 231 | 10k| 231 |2453 | 17 | 13k|2687 | 0.000000e+00 | -- | Inf
66.06/66.12 c 66.1s| 21600 | 60 |403829 | 18.7 |9427k| 41 | - | 231 | 10k| 231 |2453 | 17 | 13k|2687 | 0.000000e+00 | -- | Inf
66.37/66.40 c 66.4s| 21700 | 59 |406184 | 18.7 |9447k| 41 | - | 231 | 10k| 231 |2453 | 17 | 13k|2687 | 0.000000e+00 | -- | Inf
66.66/66.75 c 66.8s| 21800 | 58 |408755 | 18.7 |9468k| 41 | - | 231 | 10k| 231 |2453 | 17 | 13k|2697 | 0.000000e+00 | -- | Inf
67.06/67.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.06/67.14 c 67.1s| 21900 | 56 |411141 | 18.8 |9484k| 41 | 38 | 231 | 10k| 231 |2453 | 17 | 13k|2717 | 0.000000e+00 | -- | Inf
67.36/67.45 c 67.5s| 22000 | 54 |413308 | 18.8 |9500k| 41 | 35 | 231 | 10k| 231 |2453 | 17 | 13k|2729 | 0.000000e+00 | -- | Inf
67.66/67.76 c 67.8s| 22100 | 56 |415329 | 18.8 |9514k| 41 | - | 231 | 10k| 231 |2453 | 17 | 13k|2738 | 0.000000e+00 | -- | Inf
67.96/68.08 c 68.1s| 22200 | 57 |417306 | 18.8 |9518k| 41 | - | 231 | 10k| 231 |2453 | 17 | 13k|2755 | 0.000000e+00 | -- | Inf
68.26/68.30 c 68.3s| 22300 | 58 |418802 | 18.8 |9512k| 41 | 30 | 231 | 10k| 231 |2453 | 17 | 13k|2760 | 0.000000e+00 | -- | Inf
68.46/68.57 c 68.6s| 22400 | 58 |420512 | 18.8 |9521k| 41 | - | 231 | 10k| 231 |2453 | 17 | 13k|2770 | 0.000000e+00 | -- | Inf
68.76/68.85 c 68.9s| 22500 | 62 |422386 | 18.8 |9535k| 41 | 34 | 231 | 10k| 231 |2453 | 17 | 14k|2781 | 0.000000e+00 | -- | Inf
69.06/69.18 c 69.2s| 22600 | 60 |424372 | 18.8 |9545k| 41 | 39 | 231 | 10k| 231 |2453 | 17 | 14k|2800 | 0.000000e+00 | -- | Inf
69.36/69.46 c 69.5s| 22700 | 57 |426288 | 18.8 |9549k| 41 | - | 231 | 10k| 231 |2453 | 17 | 14k|2809 | 0.000000e+00 | -- | Inf
69.66/69.76 c 69.8s| 22800 | 61 |428141 | 18.8 |9555k| 41 | 31 | 231 | 10k| 231 |2453 | 17 | 14k|2824 | 0.000000e+00 | -- | Inf
69.96/70.06 c 70.1s| 22900 | 61 |429957 | 18.8 |9569k| 41 | - | 231 | 10k| 231 |2453 | 17 | 14k|2837 | 0.000000e+00 | -- | Inf
70.27/70.34 c 70.3s| 23000 | 64 |431672 | 18.8 |9593k| 41 | - | 231 | 10k| 231 |2453 | 17 | 14k|2849 | 0.000000e+00 | -- | Inf
70.56/70.63 c 70.6s| 23100 | 62 |433476 | 18.8 |9614k| 41 | - | 231 | 10k| 231 |2453 | 17 | 14k|2863 | 0.000000e+00 | -- | Inf
70.86/70.91 c 70.9s| 23200 | 58 |435229 | 18.8 |9634k| 41 | - | 231 | 10k| 231 |2453 | 17 | 14k|2876 | 0.000000e+00 | -- | Inf
71.16/71.27 c 71.3s| 23300 | 58 |437406 | 18.8 |9652k| 41 | - | 231 | 10k| 231 |2453 | 17 | 14k|2893 | 0.000000e+00 | -- | Inf
71.46/71.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.46/71.50 c 71.5s| 23400 | 62 |438926 | 18.8 |9672k| 41 | - | 231 | 10k| 231 |2453 | 17 | 14k|2898 | 0.000000e+00 | -- | Inf
71.66/71.76 c 71.8s| 23500 | 66 |440800 | 18.8 |9695k| 41 | - | 231 | 10k| 231 |2453 | 17 | 14k|2902 | 0.000000e+00 | -- | Inf
71.96/72.03 c 72.0s| 23600 | 69 |442613 | 18.7 |9714k| 41 | 33 | 231 | 10k| 231 |2453 | 17 | 14k|2909 | 0.000000e+00 | -- | Inf
72.15/72.29 c 72.3s| 23700 | 73 |444595 | 18.8 |9736k| 41 | 41 | 231 | 11k| 231 |2453 | 17 | 14k|2911 | 0.000000e+00 | -- | Inf
72.47/72.51 c 72.5s| 23800 | 75 |446319 | 18.7 |9761k| 41 | - | 231 | 11k| 231 |2453 | 17 | 14k|2912 | 0.000000e+00 | -- | Inf
72.66/72.75 c 72.7s| 23900 | 77 |448112 | 18.7 |9781k| 41 | - | 231 | 11k| 231 |2453 | 17 | 14k|2914 | 0.000000e+00 | -- | Inf
72.86/72.99 c 73.0s| 24000 | 76 |449984 | 18.7 |9797k| 41 | - | 231 | 11k| 231 |2453 | 17 | 14k|2914 | 0.000000e+00 | -- | Inf
73.16/73.21 c 73.2s| 24100 | 76 |451544 | 18.7 |9822k| 41 | - | 231 | 11k| 231 |2453 | 17 | 14k|2915 | 0.000000e+00 | -- | Inf
73.36/73.44 c 73.4s| 24200 | 76 |453248 | 18.7 |9830k| 41 | 37 | 231 | 11k| 231 |2453 | 17 | 15k|2916 | 0.000000e+00 | -- | Inf
73.56/73.66 c 73.7s| 24300 | 76 |454851 | 18.7 |9854k| 41 | - | 231 | 11k| 231 |2453 | 17 | 15k|2916 | 0.000000e+00 | -- | Inf
73.86/73.91 c 73.9s| 24400 | 80 |456759 | 18.7 |9879k| 41 | - | 231 | 11k| 231 |2453 | 17 | 15k|2918 | 0.000000e+00 | -- | Inf
74.06/74.18 c 74.2s| 24500 | 90 |458863 | 18.7 |9927k| 41 | - | 231 | 11k| 231 |2453 | 17 | 15k|2919 | 0.000000e+00 | -- | Inf
74.36/74.42 c 74.4s| 24600 | 92 |460641 | 18.7 |9946k| 41 | - | 231 | 11k| 231 |2453 | 17 | 15k|2921 | 0.000000e+00 | -- | Inf
74.56/74.69 c 74.7s| 24700 | 100 |462825 | 18.7 |9978k| 41 | 33 | 231 | 11k| 231 |2453 | 17 | 15k|2922 | 0.000000e+00 | -- | Inf
74.86/74.96 c 75.0s| 24800 | 100 |465073 | 18.7 |9994k| 41 | 25 | 231 | 11k| 231 |2453 | 17 | 15k|2922 | 0.000000e+00 | -- | Inf
75.15/75.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.15/75.22 c 75.2s| 24900 | 95 |467033 | 18.8 | 10M| 41 | 35 | 231 | 11k| 231 |2453 | 17 | 15k|2922 | 0.000000e+00 | -- | Inf
75.36/75.47 c 75.5s| 25000 | 93 |468940 | 18.8 | 10M| 41 | 40 | 231 | 11k| 231 |2453 | 17 | 15k|2922 | 0.000000e+00 | -- | Inf
75.65/75.72 c 75.7s| 25100 | 91 |470930 | 18.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 15k|2922 | 0.000000e+00 | -- | Inf
75.96/76.03 c 76.0s| 25200 | 88 |472902 | 18.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 15k|2936 | 0.000000e+00 | -- | Inf
76.25/76.38 c 76.4s| 25300 | 88 |475155 | 18.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 15k|2952 | 0.000000e+00 | -- | Inf
76.56/76.68 c 76.7s| 25400 | 88 |477107 | 18.8 | 10M| 41 | 34 | 231 | 11k| 231 |2453 | 17 | 15k|2965 | 0.000000e+00 | -- | Inf
76.87/76.98 c 77.0s| 25500 | 83 |479012 | 18.8 | 10M| 41 | 40 | 231 | 11k| 231 |2453 | 17 | 15k|2977 | 0.000000e+00 | -- | Inf
77.16/77.28 c 77.3s| 25600 | 81 |480884 | 18.8 | 10M| 41 | 39 | 231 | 11k| 231 |2453 | 17 | 15k|2992 | 0.000000e+00 | -- | Inf
77.46/77.56 c 77.6s| 25700 | 83 |482649 | 18.8 | 10M| 41 | 32 | 231 | 11k| 231 |2453 | 17 | 15k|3004 | 0.000000e+00 | -- | Inf
77.75/77.87 c 77.9s| 25800 | 77 |484783 | 18.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 15k|3014 | 0.000000e+00 | -- | Inf
78.07/78.18 c 78.2s| 25900 | 83 |486801 | 18.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 16k|3025 | 0.000000e+00 | -- | Inf
78.45/78.50 c 78.5s| 26000 | 90 |488815 | 18.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 16k|3042 | 0.000000e+00 | -- | Inf
78.66/78.76 c 78.8s| 26100 | 94 |490473 | 18.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 16k|3051 | 0.000000e+00 | -- | Inf
78.86/78.99 c 79.0s| 26200 | 93 |491891 | 18.8 | 10M| 41 | - | 231 | 11k| 231 |2453 | 17 | 16k|3057 | 0.000000e+00 | -- | Inf
79.16/79.28 c 79.3s| 26300 | 91 |493632 | 18.8 | 10M| 41 | 36 | 231 | 12k| 231 |2453 | 17 | 16k|3070 | 0.000000e+00 | -- | Inf
79.56/79.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.56/79.61 c 79.6s| 26400 | 90 |495769 | 18.8 | 10M| 41 | - | 231 | 12k| 231 |2453 | 17 | 16k|3087 | 0.000000e+00 | -- | Inf
79.86/79.90 c 79.9s| 26500 | 90 |497698 | 18.8 | 10M| 41 | - | 231 | 12k| 231 |2453 | 17 | 16k|3096 | 0.000000e+00 | -- | Inf
80.06/80.17 c 80.2s| 26600 | 90 |499348 | 18.8 | 10M| 41 | - | 231 | 12k| 231 |2453 | 17 | 16k|3109 | 0.000000e+00 | -- | Inf
80.36/80.48 c 80.5s| 26700 | 88 |501257 | 18.8 | 10M| 41 | - | 231 | 12k| 231 |2453 | 17 | 16k|3123 | 0.000000e+00 | -- | Inf
80.65/80.79 c 80.8s| 26800 | 94 |503295 | 18.8 | 10M| 41 | 17 | 231 | 12k| 231 |2453 | 17 | 16k|3138 | 0.000000e+00 | -- | Inf
80.96/81.08 c 81.1s| 26900 | 96 |505202 | 18.8 | 10M| 41 | 30 | 231 | 12k| 231 |2453 | 17 | 16k|3150 | 0.000000e+00 | -- | Inf
81.26/81.37 c 81.4s| 27000 | 94 |507108 | 18.8 | 10M| 41 | - | 231 | 12k| 231 |2453 | 17 | 16k|3162 | 0.000000e+00 | -- | Inf
81.55/81.66 c 81.7s| 27100 | 91 |509247 | 18.8 | 10M| 41 | 32 | 231 | 12k| 231 |2453 | 17 | 16k|3167 | 0.000000e+00 | -- | Inf
81.85/81.97 c 82.0s| 27200 | 91 |511245 | 18.8 | 10M| 41 | 35 | 231 | 12k| 231 |2453 | 17 | 16k|3180 | 0.000000e+00 | -- | Inf
82.15/82.22 c 82.2s| 27300 | 88 |512852 | 18.8 | 10M| 41 | 41 | 231 | 12k| 231 |2453 | 17 | 16k|3189 | 0.000000e+00 | -- | Inf
82.46/82.50 c 82.5s| 27400 | 87 |514692 | 18.8 | 10M| 41 | - | 231 | 12k| 231 |2453 | 17 | 16k|3197 | 0.000000e+00 | -- | Inf
82.66/82.78 c 82.8s| 27500 | 82 |516706 | 18.8 | 10M| 41 | 38 | 231 | 12k| 231 |2453 | 17 | 16k|3200 | 0.000000e+00 | -- | Inf
82.95/83.02 c 83.0s| 27600 | 85 |518478 | 18.8 | 10M| 41 | - | 231 | 12k| 231 |2453 | 17 | 17k|3202 | 0.000000e+00 | -- | Inf
83.15/83.26 c 83.3s| 27700 | 81 |520352 | 18.8 | 10M| 41 | - | 231 | 12k| 231 |2453 | 17 | 17k|3202 | 0.000000e+00 | -- | Inf
83.47/83.51 c 83.5s| 27800 | 80 |522440 | 18.8 | 10M| 41 | - | 231 | 12k| 231 |2453 | 17 | 17k|3202 | 0.000000e+00 | -- | Inf
83.66/83.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.66/83.78 c 83.8s| 27900 | 80 |524408 | 18.8 | 10M| 41 | - | 231 | 12k| 231 |2453 | 17 | 17k|3202 | 0.000000e+00 | -- | Inf
83.96/84.05 c 84.1s| 28000 | 86 |526575 | 18.8 | 10M| 41 | - | 231 | 12k| 231 |2453 | 17 | 17k|3203 | 0.000000e+00 | -- | Inf
84.16/84.29 c 84.3s| 28100 | 90 |528323 | 18.8 | 10M| 41 | - | 231 | 12k| 231 |2453 | 17 | 17k|3203 | 0.000000e+00 | -- | Inf
84.46/84.53 c 84.5s| 28200 | 93 |530125 | 18.8 | 10M| 41 | 26 | 231 | 12k| 231 |2453 | 17 | 17k|3203 | 0.000000e+00 | -- | Inf
84.66/84.74 c 84.7s| 28300 | 93 |531715 | 18.8 | 10M| 41 | - | 231 | 12k| 231 |2453 | 17 | 17k|3203 | 0.000000e+00 | -- | Inf
84.86/84.98 c 85.0s| 28400 | 92 |533470 | 18.8 | 10M| 41 | - | 231 | 12k| 231 |2453 | 17 | 17k|3203 | 0.000000e+00 | -- | Inf
85.15/85.21 c 85.2s| 28500 | 93 |535193 | 18.8 | 10M| 41 | - | 231 | 12k| 231 |2453 | 17 | 17k|3203 | 0.000000e+00 | -- | Inf
85.36/85.46 c 85.5s| 28600 | 97 |537072 | 18.8 | 10M| 41 | - | 231 | 12k| 0 | 0 | 17 | 17k|3203 | 0.000000e+00 | -- | Inf
85.67/85.70 c 85.7s| 28700 | 98 |538982 | 18.8 | 10M| 41 | - | 231 | 12k| 231 |2453 | 17 | 17k|3203 | 0.000000e+00 | -- | Inf
85.86/85.97 c 86.0s| 28800 | 102 |541024 | 18.8 | 10M| 41 | 44 | 231 | 13k| 231 |2453 | 17 | 17k|3203 | 0.000000e+00 | -- | Inf
86.15/86.25 c 86.2s| 28900 | 102 |543370 | 18.8 | 10M| 41 | 38 | 231 | 13k| 231 |2453 | 17 | 17k|3203 | 0.000000e+00 | -- | Inf
86.46/86.50 c 86.5s| 29000 | 100 |545243 | 18.8 | 10M| 42 | - | 231 | 13k| 231 |2453 | 17 | 17k|3203 | 0.000000e+00 | -- | Inf
86.77/86.81 c 86.8s| 29100 | 97 |547350 | 18.8 | 10M| 42 | - | 231 | 13k| 231 |2453 | 17 | 17k|3212 | 0.000000e+00 | -- | Inf
87.06/87.16 c 87.2s| 29200 | 93 |549495 | 18.8 | 10M| 42 | 41 | 231 | 13k| 231 |2453 | 17 | 18k|3230 | 0.000000e+00 | -- | Inf
87.45/87.51 c 87.5s| 29300 | 93 |551714 | 18.8 | 10M| 42 | - | 231 | 13k| 0 | 0 | 17 | 18k|3244 | 0.000000e+00 | -- | Inf
87.65/87.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.65/87.71 c 87.7s| 29400 | 92 |553104 | 18.8 | 10M| 42 | - | 231 | 13k| 231 |2453 | 17 | 18k|3244 | 0.000000e+00 | -- | Inf
87.96/88.04 c 88.0s| 29500 | 92 |554986 | 18.8 | 10M| 42 | - | 231 | 13k| 231 |2453 | 17 | 18k|3261 | 0.000000e+00 | -- | Inf
88.25/88.33 c 88.3s| 29600 | 91 |557053 | 18.8 | 10M| 42 | - | 231 | 13k| 231 |2453 | 17 | 18k|3266 | 0.000000e+00 | -- | Inf
88.56/88.61 c 88.6s| 29700 | 91 |558695 | 18.8 | 10M| 42 | 41 | 231 | 13k| 231 |2453 | 17 | 18k|3278 | 0.000000e+00 | -- | Inf
88.85/88.94 c 88.9s| 29800 | 91 |560797 | 18.8 | 10M| 42 | 36 | 231 | 13k| 231 |2453 | 17 | 18k|3293 | 0.000000e+00 | -- | Inf
89.15/89.26 c 89.3s| 29900 | 91 |562803 | 18.8 | 10M| 42 | 23 | 231 | 13k| 231 |2453 | 17 | 18k|3307 | 0.000000e+00 | -- | Inf
89.46/89.52 c 89.5s| 30000 | 88 |564594 | 18.8 | 10M| 42 | - | 231 | 13k| 231 |2453 | 17 | 18k|3317 | 0.000000e+00 | -- | Inf
89.66/89.79 c 89.8s| 30100 | 87 |566372 | 18.8 | 10M| 42 | - | 231 | 13k| 231 |2453 | 17 | 18k|3328 | 0.000000e+00 | -- | Inf
90.07/90.12 c 90.1s| 30200 | 87 |568391 | 18.8 | 10M| 42 | - | 231 | 13k| 231 |2453 | 17 | 18k|3347 | 0.000000e+00 | -- | Inf
90.36/90.41 c 90.4s| 30300 | 87 |570344 | 18.8 | 10M| 42 | 38 | 231 | 13k| 231 |2453 | 17 | 18k|3353 | 0.000000e+00 | -- | Inf
90.65/90.78 c 90.8s| 30400 | 85 |572795 | 18.8 | 10M| 42 | - | 231 | 13k| 231 |2453 | 17 | 18k|3371 | 0.000000e+00 | -- | Inf
90.96/91.09 c 91.1s| 30500 | 89 |574830 | 18.8 | 10M| 42 | 35 | 231 | 13k| 231 |2453 | 17 | 18k|3381 | 0.000000e+00 | -- | Inf
91.35/91.42 c 91.4s| 30600 | 93 |577085 | 18.9 | 10M| 42 | 41 | 231 | 13k| 231 |2453 | 17 | 18k|3393 | 0.000000e+00 | -- | Inf
91.66/91.70 c 91.7s| 30700 | 91 |578946 | 18.9 | 10M| 42 | - | 231 | 13k| 231 |2453 | 17 | 19k|3404 | 0.000000e+00 | -- | Inf
91.96/92.02 c 92.0s| 30800 | 91 |581080 | 18.9 | 11M| 42 | - | 231 | 13k| 231 |2453 | 17 | 19k|3418 | 0.000000e+00 | -- | Inf
92.15/92.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
92.15/92.25 c 92.2s| 30900 | 91 |582430 | 18.8 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 19k|3429 | 0.000000e+00 | -- | Inf
92.46/92.56 c 92.6s| 31000 | 85 |584420 | 18.8 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 19k|3443 | 0.000000e+00 | -- | Inf
92.76/92.83 c 92.8s| 31100 | 84 |586202 | 18.8 | 11M| 45 | 40 | 231 | 13k| 231 |2453 | 17 | 19k|3447 | 0.000000e+00 | -- | Inf
92.96/93.09 c 93.1s| 31200 | 86 |588161 | 18.8 | 11M| 45 | 30 | 231 | 13k| 231 |2453 | 17 | 19k|3450 | 0.000000e+00 | -- | Inf
93.26/93.35 c 93.3s| 31300 | 86 |590042 | 18.8 | 11M| 45 | 38 | 231 | 13k| 231 |2453 | 17 | 19k|3452 | 0.000000e+00 | -- | Inf
93.46/93.59 c 93.6s| 31400 | 84 |591746 | 18.8 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 19k|3452 | 0.000000e+00 | -- | Inf
93.76/93.85 c 93.8s| 31500 | 83 |593494 | 18.8 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 19k|3454 | 0.000000e+00 | -- | Inf
94.06/94.11 c 94.1s| 31600 | 87 |595371 | 18.8 | 10M| 45 | 41 | 231 | 13k| 231 |2453 | 17 | 19k|3454 | 0.000000e+00 | -- | Inf
94.25/94.36 c 94.4s| 31700 | 87 |597244 | 18.8 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 19k|3454 | 0.000000e+00 | -- | Inf
94.56/94.62 c 94.6s| 31800 | 87 |599121 | 18.8 | 10M| 45 | 38 | 231 | 13k| 231 |2453 | 17 | 19k|3454 | 0.000000e+00 | -- | Inf
94.86/94.90 c 94.9s| 31900 | 87 |601256 | 18.8 | 10M| 45 | 38 | 231 | 13k| 231 |2453 | 17 | 19k|3454 | 0.000000e+00 | -- | Inf
95.05/95.12 c 95.1s| 32000 | 88 |602981 | 18.8 | 10M| 45 | 24 | 231 | 13k| 231 |2453 | 17 | 19k|3454 | 0.000000e+00 | -- | Inf
95.26/95.35 c 95.3s| 32100 | 85 |604638 | 18.8 | 10M| 45 | 40 | 231 | 13k| 231 |2453 | 17 | 19k|3454 | 0.000000e+00 | -- | Inf
95.46/95.59 c 95.6s| 32200 | 89 |606467 | 18.8 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 20k|3454 | 0.000000e+00 | -- | Inf
95.75/95.82 c 95.8s| 32300 | 93 |608196 | 18.8 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 20k|3454 | 0.000000e+00 | -- | Inf
95.96/96.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.96/96.07 c 96.1s| 32400 | 91 |610114 | 18.8 | 10M| 45 | 32 | 231 | 13k| 231 |2453 | 17 | 20k|3454 | 0.000000e+00 | -- | Inf
96.25/96.33 c 96.3s| 32500 | 90 |612082 | 18.8 | 10M| 45 | 36 | 231 | 13k| 231 |2453 | 17 | 20k|3454 | 0.000000e+00 | -- | Inf
96.46/96.58 c 96.6s| 32600 | 88 |613977 | 18.8 | 10M| 45 | - | 231 | 13k| 0 | 0 | 17 | 20k|3454 | 0.000000e+00 | -- | Inf
96.76/96.83 c 96.8s| 32700 | 92 |615898 | 18.8 | 10M| 45 | 37 | 231 | 13k| 231 |2453 | 17 | 20k|3454 | 0.000000e+00 | -- | Inf
96.95/97.08 c 97.1s| 32800 | 90 |617830 | 18.8 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 20k|3454 | 0.000000e+00 | -- | Inf
97.26/97.33 c 97.3s| 32900 | 88 |619750 | 18.8 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 20k|3454 | 0.000000e+00 | -- | Inf
97.56/97.62 c 97.6s| 33000 | 90 |621820 | 18.8 | 10M| 45 | 38 | 231 | 13k| 231 |2453 | 17 | 20k|3463 | 0.000000e+00 | -- | Inf
97.86/97.93 c 97.9s| 33100 | 88 |623965 | 18.8 | 11M| 45 | 37 | 231 | 13k| 231 |2453 | 17 | 20k|3471 | 0.000000e+00 | -- | Inf
98.16/98.29 c 98.3s| 33200 | 86 |626132 | 18.9 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 20k|3492 | 0.000000e+00 | -- | Inf
98.46/98.54 c 98.5s| 33300 | 86 |627966 | 18.9 | 11M| 45 | 38 | 231 | 13k| 231 |2453 | 17 | 20k|3492 | 0.000000e+00 | -- | Inf
98.75/98.83 c 98.8s| 33400 | 87 |629636 | 18.8 | 11M| 45 | - | 231 | 13k| 0 | 0 | 17 | 20k|3502 | 0.000000e+00 | -- | Inf
99.05/99.16 c 99.2s| 33500 | 86 |631615 | 18.9 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 20k|3520 | 0.000000e+00 | -- | Inf
99.35/99.43 c 99.4s| 33600 | 84 |633349 | 18.8 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 20k|3527 | 0.000000e+00 | -- | Inf
99.65/99.77 c 99.8s| 33700 | 80 |635366 | 18.8 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 20k|3541 | 0.000000e+00 | -- | Inf
99.96/100.03 c 100s| 33800 | 81 |636972 | 18.8 | 10M| 45 | 25 | 231 | 13k| 231 |2453 | 17 | 21k|3547 | 0.000000e+00 | -- | Inf
100.25/100.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.25/100.33 c 100s| 33900 | 83 |638946 | 18.8 | 10M| 45 | 27 | 231 | 13k| 231 |2453 | 17 | 21k|3556 | 0.000000e+00 | -- | Inf
100.55/100.64 c 101s| 34000 | 83 |640712 | 18.8 | 10M| 45 | 22 | 231 | 13k| 231 |2453 | 17 | 21k|3576 | 0.000000e+00 | -- | Inf
100.75/100.82 c 101s| 34100 | 81 |642033 | 18.8 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 21k|3576 | 0.000000e+00 | -- | Inf
100.95/101.02 c 101s| 34200 | 83 |643281 | 18.8 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 21k|3584 | 0.000000e+00 | -- | Inf
101.16/101.28 c 101s| 34300 | 85 |644865 | 18.8 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 21k|3595 | 0.000000e+00 | -- | Inf
101.45/101.56 c 102s| 34400 | 85 |646507 | 18.8 | 10M| 45 | 26 | 231 | 13k| 231 |2453 | 17 | 21k|3610 | 0.000000e+00 | -- | Inf
101.65/101.77 c 102s| 34500 | 89 |647838 | 18.8 | 10M| 45 | 38 | 231 | 13k| 231 |2453 | 17 | 21k|3616 | 0.000000e+00 | -- | Inf
101.95/102.03 c 102s| 34600 | 92 |649491 | 18.8 | 10M| 45 | 30 | 231 | 13k| 231 |2453 | 17 | 21k|3628 | 0.000000e+00 | -- | Inf
102.15/102.30 c 102s| 34700 | 91 |651137 | 18.8 | 10M| 45 | 38 | 231 | 13k| 231 |2453 | 17 | 21k|3639 | 0.000000e+00 | -- | Inf
102.45/102.59 c 103s| 34800 | 92 |652925 | 18.8 | 11M| 45 | 28 | 231 | 13k| 231 |2453 | 17 | 21k|3654 | 0.000000e+00 | -- | Inf
102.75/102.87 c 103s| 34900 | 88 |654829 | 18.8 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 21k|3666 | 0.000000e+00 | -- | Inf
103.05/103.14 c 103s| 35000 | 87 |656520 | 18.8 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 21k|3677 | 0.000000e+00 | -- | Inf
103.35/103.41 c 103s| 35100 | 83 |658253 | 18.8 | 11M| 45 | - | 231 | 13k| 0 | 0 | 17 | 21k|3687 | 0.000000e+00 | -- | Inf
103.65/103.71 c 104s| 35200 | 83 |660125 | 18.7 | 11M| 45 | 40 | 231 | 13k| 231 |2453 | 17 | 21k|3698 | 0.000000e+00 | -- | Inf
103.85/103.98 c 104s| 35300 | 87 |661918 | 18.7 | 11M| 45 | 33 | 231 | 13k| 231 |2453 | 17 | 21k|3708 | 0.000000e+00 | -- | Inf
104.15/104.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
104.15/104.24 c 104s| 35400 | 89 |663957 | 18.8 | 11M| 45 | 32 | 231 | 13k| 231 |2453 | 17 | 22k|3709 | 0.000000e+00 | -- | Inf
104.35/104.50 c 105s| 35500 | 89 |665941 | 18.8 | 11M| 45 | 32 | 231 | 13k| 231 |2453 | 17 | 22k|3711 | 0.000000e+00 | -- | Inf
104.65/104.79 c 105s| 35600 | 87 |668267 | 18.8 | 11M| 45 | 33 | 231 | 13k| 231 |2453 | 17 | 22k|3712 | 0.000000e+00 | -- | Inf
104.95/105.01 c 105s| 35700 | 87 |669908 | 18.8 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 22k|3714 | 0.000000e+00 | -- | Inf
105.15/105.26 c 105s| 35800 | 87 |671718 | 18.8 | 11M| 45 | 22 | 231 | 13k| 231 |2453 | 17 | 22k|3717 | 0.000000e+00 | -- | Inf
105.35/105.49 c 105s| 35900 | 88 |673390 | 18.8 | 11M| 45 | 38 | 231 | 13k| 231 |2453 | 17 | 22k|3719 | 0.000000e+00 | -- | Inf
105.66/105.73 c 106s| 36000 | 86 |675181 | 18.8 | 11M| 45 | 29 | 231 | 13k| 231 |2453 | 17 | 22k|3721 | 0.000000e+00 | -- | Inf
105.85/105.97 c 106s| 36100 | 84 |676975 | 18.7 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 22k|3721 | 0.000000e+00 | -- | Inf
106.16/106.23 c 106s| 36200 | 82 |678843 | 18.7 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 22k|3724 | 0.000000e+00 | -- | Inf
106.35/106.46 c 106s| 36300 | 82 |680479 | 18.7 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 22k|3724 | 0.000000e+00 | -- | Inf
106.56/106.70 c 107s| 36400 | 81 |682221 | 18.7 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 22k|3724 | 0.000000e+00 | -- | Inf
106.85/106.93 c 107s| 36500 | 80 |683867 | 18.7 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 22k|3724 | 0.000000e+00 | -- | Inf
107.05/107.19 c 107s| 36600 | 78 |685755 | 18.7 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 22k|3724 | 0.000000e+00 | -- | Inf
107.35/107.42 c 107s| 36700 | 79 |687478 | 18.7 | 11M| 45 | 38 | 231 | 13k| 231 |2453 | 17 | 22k|3724 | 0.000000e+00 | -- | Inf
107.55/107.68 c 108s| 36800 | 79 |689372 | 18.7 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 22k|3724 | 0.000000e+00 | -- | Inf
107.85/107.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.85/107.91 c 108s| 36900 | 79 |691073 | 18.7 | 10M| 45 | 45 | 231 | 13k| 231 |2453 | 17 | 22k|3724 | 0.000000e+00 | -- | Inf
108.05/108.17 c 108s| 37000 | 80 |693073 | 18.7 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 22k|3724 | 0.000000e+00 | -- | Inf
108.25/108.39 c 108s| 37100 | 79 |694583 | 18.7 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 23k|3724 | 0.000000e+00 | -- | Inf
108.55/108.61 c 109s| 37200 | 79 |696221 | 18.7 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 23k|3724 | 0.000000e+00 | -- | Inf
108.75/108.85 c 109s| 37300 | 80 |698046 | 18.7 | 10M| 45 | 25 | 231 | 12k| 231 |2453 | 17 | 23k|3724 | 0.000000e+00 | -- | Inf
109.04/109.11 c 109s| 37400 | 83 |699987 | 18.7 | 10M| 45 | - | 231 | 13k| 0 | 0 | 17 | 23k|3724 | 0.000000e+00 | -- | Inf
109.25/109.31 c 109s| 37500 | 80 |701547 | 18.7 | 10M| 45 | 24 | 231 | 13k| 231 |2453 | 17 | 23k|3724 | 0.000000e+00 | -- | Inf
109.44/109.60 c 110s| 37600 | 80 |703455 | 18.7 | 10M| 45 | 31 | 231 | 13k| 231 |2453 | 17 | 23k|3733 | 0.000000e+00 | -- | Inf
109.85/109.93 c 110s| 37700 | 76 |705457 | 18.7 | 10M| 45 | 38 | 231 | 12k| 231 |2453 | 17 | 23k|3746 | 0.000000e+00 | -- | Inf
110.15/110.22 c 110s| 37800 | 81 |707393 | 18.7 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 23k|3756 | 0.000000e+00 | -- | Inf
110.45/110.52 c 111s| 37900 | 81 |709119 | 18.7 | 10M| 45 | 33 | 231 | 12k| 231 |2453 | 17 | 23k|3771 | 0.000000e+00 | -- | Inf
110.75/110.83 c 111s| 38000 | 77 |711372 | 18.7 | 10M| 45 | 33 | 231 | 12k| 231 |2453 | 17 | 23k|3779 | 0.000000e+00 | -- | Inf
111.06/111.13 c 111s| 38100 | 74 |713197 | 18.7 | 10M| 45 | 39 | 231 | 12k| 231 |2453 | 17 | 23k|3789 | 0.000000e+00 | -- | Inf
111.35/111.41 c 111s| 38200 | 76 |714901 | 18.7 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 23k|3797 | 0.000000e+00 | -- | Inf
111.65/111.70 c 112s| 38300 | 74 |716855 | 18.7 | 10M| 45 | 33 | 231 | 12k| 231 |2453 | 17 | 23k|3806 | 0.000000e+00 | -- | Inf
111.85/111.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.85/111.98 c 112s| 38400 | 76 |718628 | 18.7 | 10M| 45 | 30 | 231 | 12k| 231 |2453 | 17 | 23k|3817 | 0.000000e+00 | -- | Inf
112.15/112.23 c 112s| 38500 | 76 |720224 | 18.7 | 10M| 45 | 41 | 231 | 12k| 231 |2453 | 17 | 23k|3824 | 0.000000e+00 | -- | Inf
112.45/112.51 c 113s| 38600 | 76 |721989 | 18.7 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 24k|3836 | 0.000000e+00 | -- | Inf
112.75/112.80 c 113s| 38700 | 80 |723857 | 18.7 | 10M| 45 | 34 | 231 | 12k| 231 |2453 | 17 | 24k|3847 | 0.000000e+00 | -- | Inf
112.95/113.02 c 113s| 38800 | 80 |725223 | 18.7 | 10M| 45 | 35 | 231 | 12k| 231 |2453 | 17 | 24k|3851 | 0.000000e+00 | -- | Inf
113.16/113.28 c 113s| 38900 | 80 |726915 | 18.7 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 24k|3860 | 0.000000e+00 | -- | Inf
113.45/113.54 c 114s| 39000 | 78 |728502 | 18.7 | 10M| 45 | 38 | 231 | 12k| 231 |2453 | 17 | 24k|3871 | 0.000000e+00 | -- | Inf
113.74/113.82 c 114s| 39100 | 80 |730368 | 18.7 | 10M| 45 | 30 | 231 | 12k| 231 |2453 | 17 | 24k|3883 | 0.000000e+00 | -- | Inf
114.05/114.10 c 114s| 39200 | 80 |732178 | 18.7 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 24k|3894 | 0.000000e+00 | -- | Inf
114.25/114.39 c 114s| 39300 | 80 |734094 | 18.7 | 10M| 45 | 26 | 231 | 12k| 231 |2453 | 17 | 24k|3907 | 0.000000e+00 | -- | Inf
114.54/114.67 c 115s| 39400 | 79 |735846 | 18.7 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 24k|3918 | 0.000000e+00 | -- | Inf
114.85/114.94 c 115s| 39500 | 81 |737584 | 18.7 | 10M| 45 | 30 | 231 | 13k| 231 |2453 | 17 | 24k|3929 | 0.000000e+00 | -- | Inf
115.15/115.22 c 115s| 39600 | 81 |739454 | 18.7 | 10M| 45 | 34 | 231 | 13k| 231 |2453 | 17 | 24k|3938 | 0.000000e+00 | -- | Inf
115.45/115.50 c 116s| 39700 | 84 |741487 | 18.7 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 24k|3944 | 0.000000e+00 | -- | Inf
115.65/115.75 c 116s| 39800 | 82 |743076 | 18.7 | 10M| 45 | 42 | 231 | 13k| 231 |2453 | 17 | 24k|3952 | 0.000000e+00 | -- | Inf
115.95/116.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.95/116.02 c 116s| 39900 | 82 |745033 | 18.7 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 24k|3957 | 0.000000e+00 | -- | Inf
116.25/116.34 c 116s| 40000 | 82 |747404 | 18.7 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 24k|3964 | 0.000000e+00 | -- | Inf
116.55/116.61 c 117s| 40100 | 78 |749330 | 18.7 | 10M| 45 | 39 | 231 | 13k| 231 |2453 | 17 | 24k|3970 | 0.000000e+00 | -- | Inf
116.75/116.81 c 117s| 40200 | 78 |750725 | 18.7 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 24k|3971 | 0.000000e+00 | -- | Inf
116.95/117.07 c 117s| 40300 | 78 |752656 | 18.7 | 10M| 45 | 34 | 231 | 13k| 231 |2453 | 17 | 24k|3973 | 0.000000e+00 | -- | Inf
117.15/117.29 c 117s| 40400 | 79 |754348 | 18.7 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 25k|3973 | 0.000000e+00 | -- | Inf
117.44/117.52 c 118s| 40500 | 77 |756120 | 18.7 | 10M| 45 | 39 | 231 | 13k| 231 |2453 | 17 | 25k|3974 | 0.000000e+00 | -- | Inf
117.66/117.75 c 118s| 40600 | 84 |757886 | 18.7 | 10M| 45 | 28 | 231 | 13k| 231 |2453 | 17 | 25k|3975 | 0.000000e+00 | -- | Inf
117.85/117.99 c 118s| 40700 | 86 |759751 | 18.7 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 25k|3976 | 0.000000e+00 | -- | Inf
118.15/118.24 c 118s| 40800 | 88 |761661 | 18.7 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 25k|3977 | 0.000000e+00 | -- | Inf
118.34/118.45 c 118s| 40900 | 90 |763224 | 18.7 | 11M| 45 | 32 | 231 | 13k| 231 |2453 | 17 | 25k|3977 | 0.000000e+00 | -- | Inf
118.55/118.67 c 119s| 41000 | 84 |764977 | 18.7 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 25k|3977 | 0.000000e+00 | -- | Inf
118.84/118.91 c 119s| 41100 | 84 |766766 | 18.7 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 25k|3977 | 0.000000e+00 | -- | Inf
119.05/119.16 c 119s| 41200 | 80 |768758 | 18.7 | 11M| 45 | 25 | 231 | 13k| 231 |2453 | 17 | 25k|3977 | 0.000000e+00 | -- | Inf
119.25/119.38 c 119s| 41300 | 79 |770408 | 18.7 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 25k|3977 | 0.000000e+00 | -- | Inf
119.45/119.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.45/119.58 c 120s| 41400 | 83 |771900 | 18.6 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 25k|3977 | 0.000000e+00 | -- | Inf
119.75/119.82 c 120s| 41500 | 83 |773740 | 18.6 | 11M| 45 | 24 | 231 | 13k| 231 |2453 | 17 | 25k|3977 | 0.000000e+00 | -- | Inf
119.95/120.06 c 120s| 41600 | 86 |775571 | 18.6 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 25k|3978 | 0.000000e+00 | -- | Inf
120.15/120.28 c 120s| 41700 | 88 |777226 | 18.6 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 25k|3978 | 0.000000e+00 | -- | Inf
120.45/120.51 c 121s| 41800 | 86 |778945 | 18.6 | 11M| 45 | 36 | 231 | 13k| 231 |2453 | 17 | 25k|3978 | 0.000000e+00 | -- | Inf
120.65/120.75 c 121s| 41900 | 83 |780751 | 18.6 | 11M| 45 | 35 | 231 | 13k| 231 |2453 | 17 | 25k|3978 | 0.000000e+00 | -- | Inf
120.96/121.01 c 121s| 42000 | 77 |782725 | 18.6 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 25k|3978 | 0.000000e+00 | -- | Inf
121.15/121.27 c 121s| 42100 | 79 |784603 | 18.6 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 26k|3979 | 0.000000e+00 | -- | Inf
121.35/121.50 c 121s| 42200 | 77 |786289 | 18.6 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 26k|3979 | 0.000000e+00 | -- | Inf
121.64/121.78 c 122s| 42300 | 81 |788103 | 18.6 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 26k|3990 | 0.000000e+00 | -- | Inf
121.95/122.08 c 122s| 42400 | 81 |789942 | 18.6 | 11M| 45 | 22 | 231 | 13k| 231 |2453 | 17 | 26k|4004 | 0.000000e+00 | -- | Inf
122.24/122.34 c 122s| 42500 | 79 |791536 | 18.6 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 26k|4016 | 0.000000e+00 | -- | Inf
122.55/122.63 c 123s| 42600 | 79 |793545 | 18.6 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 26k|4026 | 0.000000e+00 | -- | Inf
122.85/122.92 c 123s| 42700 | 77 |795473 | 18.6 | 11M| 45 | 34 | 231 | 13k| 231 |2453 | 17 | 26k|4035 | 0.000000e+00 | -- | Inf
123.15/123.26 c 123s| 42800 | 70 |797574 | 18.6 | 11M| 45 | 33 | 231 | 13k| 231 |2453 | 17 | 26k|4046 | 0.000000e+00 | -- | Inf
123.45/123.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.45/123.55 c 124s| 42900 | 68 |799618 | 18.6 | 11M| 45 | - | 231 | 13k| 231 |2453 | 17 | 26k|4054 | 0.000000e+00 | -- | Inf
123.74/123.86 c 124s| 43000 | 67 |801562 | 18.6 | 11M| 45 | 47 | 231 | 13k| 231 |2453 | 17 | 26k|4065 | 0.000000e+00 | -- | Inf
124.05/124.14 c 124s| 43100 | 63 |803584 | 18.6 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 26k|4067 | 0.000000e+00 | -- | Inf
124.34/124.43 c 124s| 43200 | 59 |805365 | 18.6 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 26k|4077 | 0.000000e+00 | -- | Inf
124.65/124.71 c 125s| 43300 | 58 |807055 | 18.6 | 10M| 45 | 39 | 231 | 12k| 231 |2453 | 17 | 26k|4087 | 0.000000e+00 | -- | Inf
124.85/124.97 c 125s| 43400 | 56 |808674 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 26k|4093 | 0.000000e+00 | -- | Inf
125.14/125.24 c 125s| 43500 | 53 |810455 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 26k|4100 | 0.000000e+00 | -- | Inf
125.45/125.51 c 126s| 43600 | 53 |812232 | 18.6 | 10M| 45 | - | 231 | 12k| 0 | 0 | 17 | 26k|4107 | 0.000000e+00 | -- | Inf
125.74/125.81 c 126s| 43700 | 50 |814046 | 18.6 | 10M| 45 | 42 | 231 | 12k| 231 |2453 | 17 | 27k|4119 | 0.000000e+00 | -- | Inf
125.94/126.09 c 126s| 43800 | 50 |816064 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 27k|4125 | 0.000000e+00 | -- | Inf
126.25/126.39 c 126s| 43900 | 52 |818122 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 27k|4136 | 0.000000e+00 | -- | Inf
126.64/126.70 c 127s| 44000 | 48 |819998 | 18.6 | 10M| 45 | 43 | 231 | 12k| 231 |2453 | 17 | 27k|4151 | 0.000000e+00 | -- | Inf
126.84/126.98 c 127s| 44100 | 47 |821911 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 27k|4161 | 0.000000e+00 | -- | Inf
127.14/127.27 c 127s| 44200 | 51 |823669 | 18.6 | 10M| 45 | 23 | 231 | 12k| 231 |2453 | 17 | 27k|4175 | 0.000000e+00 | -- | Inf
127.45/127.53 c 128s| 44300 | 49 |825555 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 27k|4182 | 0.000000e+00 | -- | Inf
127.64/127.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
127.64/127.74 c 128s| 44400 | 53 |826904 | 18.6 | 10M| 45 | 17 | 231 | 12k| 231 |2453 | 17 | 27k|4188 | 0.000000e+00 | -- | Inf
127.85/127.94 c 128s| 44500 | 50 |828265 | 18.6 | 10M| 45 | 46 | 231 | 12k| 231 |2453 | 17 | 27k|4189 | 0.000000e+00 | -- | Inf
128.15/128.22 c 128s| 44600 | 54 |830179 | 18.6 | 10M| 45 | 14 | 231 | 12k| 231 |2453 | 17 | 27k|4193 | 0.000000e+00 | -- | Inf
128.34/128.47 c 128s| 44700 | 53 |831979 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 27k|4194 | 0.000000e+00 | -- | Inf
128.65/128.70 c 129s| 44800 | 53 |833605 | 18.6 | 10M| 45 | 33 | 231 | 12k| 231 |2453 | 17 | 27k|4196 | 0.000000e+00 | -- | Inf
128.84/128.95 c 129s| 44900 | 55 |835444 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 27k|4197 | 0.000000e+00 | -- | Inf
129.14/129.20 c 129s| 45000 | 59 |837243 | 18.6 | 10M| 45 | 26 | 231 | 12k| 231 |2453 | 17 | 27k|4199 | 0.000000e+00 | -- | Inf
129.34/129.44 c 129s| 45100 | 56 |839049 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 27k|4200 | 0.000000e+00 | -- | Inf
129.54/129.66 c 130s| 45200 | 54 |840551 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 27k|4202 | 0.000000e+00 | -- | Inf
129.75/129.89 c 130s| 45300 | 55 |842245 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 28k|4204 | 0.000000e+00 | -- | Inf
130.04/130.11 c 130s| 45400 | 57 |843889 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 28k|4205 | 0.000000e+00 | -- | Inf
130.24/130.34 c 130s| 45500 | 58 |845703 | 18.6 | 10M| 45 | 23 | 231 | 12k| 231 |2453 | 17 | 28k|4205 | 0.000000e+00 | -- | Inf
130.45/130.55 c 131s| 45600 | 58 |847373 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 28k|4205 | 0.000000e+00 | -- | Inf
130.64/130.80 c 131s| 45700 | 57 |849319 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 28k|4205 | 0.000000e+00 | -- | Inf
130.95/131.06 c 131s| 45800 | 54 |851405 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 28k|4205 | 0.000000e+00 | -- | Inf
131.14/131.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.14/131.28 c 131s| 45900 | 54 |853065 | 18.6 | 10M| 45 | 32 | 231 | 12k| 231 |2453 | 17 | 28k|4205 | 0.000000e+00 | -- | Inf
131.44/131.53 c 132s| 46000 | 53 |854957 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 28k|4205 | 0.000000e+00 | -- | Inf
131.65/131.77 c 132s| 46100 | 48 |856707 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 28k|4205 | 0.000000e+00 | -- | Inf
131.95/132.03 c 132s| 46200 | 52 |858645 | 18.6 | 10M| 45 | 30 | 231 | 12k| 231 |2453 | 17 | 28k|4207 | 0.000000e+00 | -- | Inf
132.15/132.28 c 132s| 46300 | 51 |860583 | 18.6 | 10M| 45 | 38 | 231 | 12k| 231 |2453 | 17 | 28k|4207 | 0.000000e+00 | -- | Inf
132.45/132.56 c 133s| 46400 | 51 |862759 | 18.6 | 10M| 45 | 38 | 231 | 12k| 231 |2453 | 17 | 28k|4207 | 0.000000e+00 | -- | Inf
132.74/132.82 c 133s| 46500 | 51 |864836 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 28k|4207 | 0.000000e+00 | -- | Inf
132.95/133.06 c 133s| 46600 | 51 |866563 | 18.6 | 10M| 45 | 35 | 231 | 12k| 231 |2453 | 17 | 28k|4207 | 0.000000e+00 | -- | Inf
133.25/133.31 c 133s| 46700 | 49 |868407 | 18.6 | 10M| 45 | 45 | 231 | 12k| 231 |2453 | 17 | 28k|4207 | 0.000000e+00 | -- | Inf
133.45/133.52 c 134s| 46800 | 49 |869871 | 18.6 | 10M| 45 | 34 | 231 | 12k| 231 |2453 | 17 | 28k|4207 | 0.000000e+00 | -- | Inf
133.64/133.77 c 134s| 46900 | 48 |871745 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 28k|4207 | 0.000000e+00 | -- | Inf
133.95/134.06 c 134s| 47000 | 48 |873706 | 18.6 | 10M| 45 | 34 | 231 | 12k| 231 |2453 | 17 | 29k|4217 | 0.000000e+00 | -- | Inf
134.25/134.33 c 134s| 47100 | 46 |875522 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 29k|4228 | 0.000000e+00 | -- | Inf
134.54/134.64 c 135s| 47200 | 46 |877618 | 18.6 | 10M| 45 | 39 | 231 | 12k| 231 |2453 | 17 | 29k|4238 | 0.000000e+00 | -- | Inf
134.84/134.93 c 135s| 47300 | 46 |879564 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 29k|4247 | 0.000000e+00 | -- | Inf
135.15/135.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.15/135.21 c 135s| 47400 | 48 |881521 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 29k|4256 | 0.000000e+00 | -- | Inf
135.34/135.47 c 135s| 47500 | 45 |883382 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 29k|4267 | 0.000000e+00 | -- | Inf
135.64/135.77 c 136s| 47600 | 45 |885266 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 29k|4280 | 0.000000e+00 | -- | Inf
135.94/136.06 c 136s| 47700 | 47 |887123 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 29k|4290 | 0.000000e+00 | -- | Inf
136.24/136.34 c 136s| 47800 | 49 |889088 | 18.6 | 10M| 45 | - | 231 | 12k| 0 | 0 | 17 | 29k|4298 | 0.000000e+00 | -- | Inf
136.54/136.65 c 137s| 47900 | 48 |891153 | 18.6 | 10M| 45 | 34 | 231 | 12k| 231 |2453 | 17 | 29k|4312 | 0.000000e+00 | -- | Inf
136.84/136.92 c 137s| 48000 | 48 |893067 | 18.6 | 10M| 45 | 38 | 231 | 12k| 231 |2453 | 17 | 29k|4317 | 0.000000e+00 | -- | Inf
137.14/137.21 c 137s| 48100 | 47 |895076 | 18.6 | 10M| 45 | 38 | 231 | 12k| 231 |2453 | 17 | 29k|4325 | 0.000000e+00 | -- | Inf
137.45/137.51 c 138s| 48200 | 49 |897157 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 29k|4337 | 0.000000e+00 | -- | Inf
137.74/137.82 c 138s| 48300 | 49 |899274 | 18.6 | 10M| 45 | 30 | 231 | 12k| 231 |2453 | 17 | 29k|4346 | 0.000000e+00 | -- | Inf
138.04/138.14 c 138s| 48400 | 47 |901419 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 29k|4358 | 0.000000e+00 | -- | Inf
138.34/138.48 c 138s| 48500 | 51 |903824 | 18.6 | 10M| 45 | 32 | 231 | 12k| 231 |2453 | 17 | 29k|4370 | 0.000000e+00 | -- | Inf
138.64/138.79 c 139s| 48600 | 47 |906326 | 18.6 | 10M| 45 | 38 | 231 | 12k| 231 |2453 | 17 | 29k|4375 | 0.000000e+00 | -- | Inf
139.05/139.12 c 139s| 48700 | 43 |908508 | 18.7 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 30k|4387 | 0.000000e+00 | -- | Inf
139.34/139.43 c 139s| 48800 | 41 |910521 | 18.7 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 30k|4397 | 0.000000e+00 | -- | Inf
139.64/139.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
139.64/139.71 c 140s| 48900 | 41 |912577 | 18.7 | 10M| 45 | 46 | 231 | 12k| 231 |2453 | 17 | 30k|4400 | 0.000000e+00 | -- | Inf
139.84/139.98 c 140s| 49000 | 37 |914688 | 18.7 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 30k|4401 | 0.000000e+00 | -- | Inf
140.14/140.26 c 140s| 49100 | 45 |916872 | 18.7 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 30k|4403 | 0.000000e+00 | -- | Inf
140.34/140.46 c 140s| 49200 | 44 |918361 | 18.7 | 10M| 45 | 18 | 231 | 12k| 231 |2453 | 17 | 30k|4404 | 0.000000e+00 | -- | Inf
140.55/140.69 c 141s| 49300 | 43 |920002 | 18.7 | 10M| 45 | 35 | 231 | 12k| 231 |2453 | 17 | 30k|4405 | 0.000000e+00 | -- | Inf
140.84/140.90 c 141s| 49400 | 45 |921576 | 18.7 | 10M| 45 | - | 231 | 12k| 0 | 0 | 17 | 30k|4405 | 0.000000e+00 | -- | Inf
141.04/141.13 c 141s| 49500 | 48 |923341 | 18.7 | 10M| 45 | 22 | 231 | 12k| 231 |2453 | 17 | 30k|4409 | 0.000000e+00 | -- | Inf
141.24/141.37 c 141s| 49600 | 48 |925168 | 18.7 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 30k|4409 | 0.000000e+00 | -- | Inf
141.54/141.60 c 142s| 49700 | 45 |926835 | 18.6 | 10M| 45 | 36 | 231 | 12k| 231 |2453 | 17 | 30k|4410 | 0.000000e+00 | -- | Inf
141.74/141.85 c 142s| 49800 | 41 |928813 | 18.6 | 10M| 45 | 42 | 231 | 13k| 231 |2453 | 17 | 30k|4411 | 0.000000e+00 | -- | Inf
141.94/142.08 c 142s| 49900 | 38 |930447 | 18.6 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 31k|4414 | 0.000000e+00 | -- | Inf
142.24/142.33 c 142s| 50000 | 38 |932372 | 18.6 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 31k|4414 | 0.000000e+00 | -- | Inf
142.44/142.59 c 143s| 50100 | 38 |934424 | 18.6 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 31k|4416 | 0.000000e+00 | -- | Inf
142.74/142.82 c 143s| 50200 | 40 |936180 | 18.6 | 10M| 45 | 30 | 231 | 13k| 231 |2453 | 17 | 31k|4418 | 0.000000e+00 | -- | Inf
142.94/143.05 c 143s| 50300 | 40 |937853 | 18.6 | 10M| 45 | 31 | 231 | 13k| 231 |2453 | 17 | 31k|4418 | 0.000000e+00 | -- | Inf
143.14/143.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
143.14/143.27 c 143s| 50400 | 38 |939498 | 18.6 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 31k|4418 | 0.000000e+00 | -- | Inf
143.44/143.51 c 144s| 50500 | 36 |941271 | 18.6 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 31k|4418 | 0.000000e+00 | -- | Inf
143.64/143.75 c 144s| 50600 | 34 |943081 | 18.6 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 31k|4419 | 0.000000e+00 | -- | Inf
143.84/143.99 c 144s| 50700 | 36 |944877 | 18.6 | 10M| 45 | 41 | 231 | 13k| 231 |2453 | 17 | 31k|4420 | 0.000000e+00 | -- | Inf
144.14/144.24 c 144s| 50800 | 34 |946683 | 18.6 | 10M| 45 | 38 | 231 | 13k| 231 |2453 | 17 | 31k|4420 | 0.000000e+00 | -- | Inf
144.34/144.45 c 144s| 50900 | 34 |948183 | 18.6 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 31k|4420 | 0.000000e+00 | -- | Inf
144.64/144.70 c 145s| 51000 | 32 |950047 | 18.6 | 10M| 45 | 43 | 231 | 13k| 231 |2453 | 17 | 31k|4420 | 0.000000e+00 | -- | Inf
144.84/144.96 c 145s| 51100 | 32 |952045 | 18.6 | 10M| 45 | 43 | 231 | 13k| 231 |2453 | 17 | 31k|4420 | 0.000000e+00 | -- | Inf
145.15/145.23 c 145s| 51200 | 29 |954026 | 18.6 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 31k|4420 | 0.000000e+00 | -- | Inf
145.34/145.49 c 145s| 51300 | 27 |956074 | 18.6 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 31k|4420 | 0.000000e+00 | -- | Inf
145.64/145.72 c 146s| 51400 | 25 |957751 | 18.6 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 31k|4420 | 0.000000e+00 | -- | Inf
145.94/146.01 c 146s| 51500 | 23 |959659 | 18.6 | 10M| 45 | - | 231 | 13k| 231 |2453 | 17 | 32k|4428 | 0.000000e+00 | -- | Inf
146.15/146.30 c 146s| 51600 | 22 |961448 | 18.6 | 10M| 45 | 43 | 231 | 12k| 231 |2453 | 17 | 32k|4438 | 0.000000e+00 | -- | Inf
146.55/146.61 c 147s| 51700 | 26 |963550 | 18.6 | 10M| 45 | 21 | 231 | 12k| 231 |2453 | 17 | 32k|4448 | 0.000000e+00 | -- | Inf
146.74/146.89 c 147s| 51800 | 29 |965525 | 18.6 | 10M| 45 | 29 | 231 | 12k| 231 |2453 | 17 | 32k|4458 | 0.000000e+00 | -- | Inf
146.94/147.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.94/147.08 c 147s| 51900 | 28 |966748 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 32k|4463 | 0.000000e+00 | -- | Inf
147.25/147.30 c 147s| 52000 | 31 |968167 | 18.6 | 10M| 45 | 35 | 231 | 12k| 231 |2453 | 17 | 32k|4470 | 0.000000e+00 | -- | Inf
147.44/147.57 c 148s| 52100 | 30 |969674 | 18.6 | 10M| 45 | - | 231 | 12k| 231 |2453 | 17 | 32k|4487 | 0.000000e+00 | -- | Inf
147.64/147.79 c 148s| 52200 | 34 |971311 | 18.6 | 10M| 45 | 23 | 231 | 12k| 231 |2453 | 17 | 32k|4487 | 0.000000e+00 | -- | Inf
147.94/148.05 c 148s| 52300 | 27 |972986 | 18.6 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 32k|4496 | 0.000000e+00 | -- | Inf
148.24/148.32 c 148s| 52400 | 35 |974801 | 18.6 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 32k|4507 | 0.000000e+00 | -- | Inf
148.45/148.59 c 149s| 52500 | 34 |976433 | 18.6 | 10M| 46 | 31 | 231 | 12k| 231 |2453 | 17 | 32k|4523 | 0.000000e+00 | -- | Inf
148.73/148.87 c 149s| 52600 | 33 |978421 | 18.6 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 32k|4530 | 0.000000e+00 | -- | Inf
149.04/149.17 c 149s| 52700 | 32 |980439 | 18.6 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 32k|4542 | 0.000000e+00 | -- | Inf
149.34/149.45 c 149s| 52800 | 31 |982420 | 18.6 | 10M| 47 | 25 | 231 | 12k| 231 |2453 | 17 | 32k|4552 | 0.000000e+00 | -- | Inf
149.64/149.74 c 150s| 52900 | 27 |984287 | 18.6 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 32k|4566 | 0.000000e+00 | -- | Inf
149.94/150.04 c 150s| 53000 | 23 |986132 | 18.6 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 32k|4577 | 0.000000e+00 | -- | Inf
150.14/150.29 c 150s| 53100 | 25 |987862 | 18.6 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 32k|4582 | 0.000000e+00 | -- | Inf
150.44/150.57 c 151s| 53200 | 26 |989731 | 18.6 | 10M| 47 | 36 | 231 | 12k| 231 |2453 | 17 | 33k|4590 | 0.000000e+00 | -- | Inf
150.74/150.85 c 151s| 53300 | 26 |991644 | 18.6 | 10M| 47 | 33 | 231 | 12k| 231 |2453 | 17 | 33k|4599 | 0.000000e+00 | -- | Inf
151.04/151.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.04/151.15 c 151s| 53400 | 30 |993746 | 18.6 | 10M| 47 | 30 | 231 | 12k| 231 |2453 | 17 | 33k|4609 | 0.000000e+00 | -- | Inf
151.34/151.47 c 151s| 53500 | 31 |995953 | 18.6 | 10M| 47 | - | 231 | 12k| 231 |2453 | 17 | 33k|4620 | 0.000000e+00 | -- | Inf
151.74/151.80 c 152s| 53600 | 30 |998298 | 18.6 | 10M| 47 | - | 231 | 13k| 231 |2453 | 17 | 33k|4631 | 0.000000e+00 | -- | Inf
152.04/152.11 c 152s| 53700 | 28 | 1000k| 18.6 | 10M| 47 | 47 | 231 | 13k| 231 |2453 | 17 | 33k|4636 | 0.000000e+00 | -- | Inf
152.34/152.40 c 152s| 53800 | 24 | 1002k| 18.6 | 10M| 47 | - | 231 | 13k| 231 |2453 | 17 | 33k|4644 | 0.000000e+00 | -- | Inf
152.54/152.61 c 153s| 53900 | 32 | 1004k| 18.6 | 10M| 47 | 19 | 231 | 13k| 231 |2453 | 17 | 33k|4646 | 0.000000e+00 | -- | Inf
152.75/152.81 c 153s| 54000 | 30 | 1005k| 18.6 | 10M| 47 | 36 | 231 | 13k| 231 |2453 | 17 | 33k|4652 | 0.000000e+00 | -- | Inf
152.94/153.05 c 153s| 54100 | 32 | 1006k| 18.6 | 10M| 47 | - | 231 | 13k| 231 |2453 | 17 | 33k|4660 | 0.000000e+00 | -- | Inf
153.14/153.26 c 153s| 54200 | 31 | 1008k| 18.6 | 10M| 47 | - | 231 | 13k| 231 |2453 | 17 | 33k|4665 | 0.000000e+00 | -- | Inf
153.34/153.49 c 153s| 54300 | 38 | 1010k| 18.6 | 10M| 47 | 34 | 231 | 13k| 231 |2453 | 17 | 33k|4668 | 0.000000e+00 | -- | Inf
153.64/153.70 c 154s| 54400 | 34 | 1011k| 18.6 | 10M| 47 | - | 231 | 13k| 231 |2453 | 17 | 33k|4669 | 0.000000e+00 | -- | Inf
153.84/153.93 c 154s| 54500 | 32 | 1013k| 18.6 | 10M| 47 | - | 231 | 13k| 231 |2453 | 17 | 33k|4671 | 0.000000e+00 | -- | Inf
154.04/154.12 c 154s| 54600 | 32 | 1014k| 18.6 | 10M| 47 | 43 | 231 | 13k| 231 |2453 | 17 | 33k|4671 | 0.000000e+00 | -- | Inf
154.23/154.39 c 154s| 54700 | 34 | 1016k| 18.6 | 10M| 47 | - | 231 | 13k| 231 |2453 | 17 | 33k|4671 | 0.000000e+00 | -- | Inf
154.54/154.63 c 155s| 54800 | 38 | 1018k| 18.6 | 10M| 47 | - | 231 | 13k| 231 |2453 | 17 | 33k|4672 | 0.000000e+00 | -- | Inf
154.74/154.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.74/154.86 c 155s| 54900 | 35 | 1020k| 18.6 | 10M| 47 | - | 231 | 13k| 231 |2453 | 17 | 34k|4673 | 0.000000e+00 | -- | Inf
154.94/155.07 c 155s| 55000 | 36 | 1021k| 18.6 | 10M| 49 | 29 | 231 | 13k| 231 |2453 | 17 | 34k|4673 | 0.000000e+00 | -- | Inf
155.24/155.32 c 155s| 55100 | 36 | 1024k| 18.6 | 10M| 49 | - | 231 | 13k| 231 |2453 | 17 | 34k|4673 | 0.000000e+00 | -- | Inf
155.44/155.56 c 156s| 55200 | 36 | 1025k| 18.6 | 10M| 49 | 46 | 231 | 13k| 231 |2453 | 17 | 34k|4674 | 0.000000e+00 | -- | Inf
155.74/155.81 c 156s| 55300 | 41 | 1027k| 18.6 | 10M| 49 | - | 231 | 13k| 231 |2453 | 17 | 34k|4675 | 0.000000e+00 | -- | Inf
155.94/156.05 c 156s| 55400 | 35 | 1029k| 18.6 | 10M| 49 | 40 | 231 | 13k| 231 |2453 | 17 | 34k|4675 | 0.000000e+00 | -- | Inf
156.14/156.29 c 156s| 55500 | 40 | 1031k| 18.6 | 10M| 49 | 40 | 231 | 13k| 231 |2453 | 17 | 34k|4676 | 0.000000e+00 | -- | Inf
156.44/156.54 c 157s| 55600 | 45 | 1033k| 18.6 | 10M| 49 | 35 | 231 | 13k| 231 |2453 | 17 | 34k|4676 | 0.000000e+00 | -- | Inf
156.64/156.79 c 157s| 55700 | 44 | 1035k| 18.6 | 10M| 49 | - | 231 | 13k| 231 |2453 | 17 | 34k|4676 | 0.000000e+00 | -- | Inf
156.94/157.03 c 157s| 55800 | 40 | 1036k| 18.6 | 10M| 49 | 41 | 231 | 13k| 231 |2453 | 17 | 34k|4676 | 0.000000e+00 | -- | Inf
157.15/157.26 c 157s| 55900 | 36 | 1038k| 18.6 | 10M| 49 | - | 231 | 13k| 231 |2453 | 17 | 34k|4676 | 0.000000e+00 | -- | Inf
157.43/157.51 c 158s| 56000 | 36 | 1040k| 18.6 | 11M| 49 | - | 231 | 13k| 231 |2453 | 17 | 34k|4676 | 0.000000e+00 | -- | Inf
157.64/157.77 c 158s| 56100 | 38 | 1042k| 18.6 | 11M| 49 | 42 | 231 | 13k| 231 |2453 | 17 | 34k|4676 | 0.000000e+00 | -- | Inf
157.94/158.02 c 158s| 56200 | 40 | 1044k| 18.6 | 11M| 49 | 26 | 231 | 13k| 231 |2453 | 17 | 34k|4676 | 0.000000e+00 | -- | Inf
158.14/158.25 c 158s| 56300 | 36 | 1046k| 18.6 | 11M| 50 | - | 231 | 13k| 231 |2453 | 17 | 34k|4676 | 0.000000e+00 | -- | Inf
158.44/158.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
158.44/158.53 c 159s| 56400 | 38 | 1048k| 18.6 | 11M| 50 | 24 | 231 | 13k| 231 |2453 | 17 | 34k|4676 | 0.000000e+00 | -- | Inf
158.64/158.77 c 159s| 56500 | 37 | 1050k| 18.6 | 11M| 50 | 42 | 231 | 13k| 231 |2453 | 17 | 34k|4676 | 0.000000e+00 | -- | Inf
158.94/159.02 c 159s| 56600 | 43 | 1052k| 18.6 | 11M| 50 | - | 231 | 13k| 231 |2453 | 17 | 35k|4676 | 0.000000e+00 | -- | Inf
159.14/159.28 c 159s| 56700 | 45 | 1054k| 18.6 | 11M| 50 | - | 231 | 13k| 231 |2453 | 17 | 35k|4681 | 0.000000e+00 | -- | Inf
159.44/159.52 c 160s| 56800 | 43 | 1055k| 18.6 | 11M| 50 | 41 | 231 | 14k| 231 |2453 | 17 | 35k|4692 | 0.000000e+00 | -- | Inf
159.73/159.85 c 160s| 56900 | 41 | 1058k| 18.6 | 11M| 50 | - | 231 | 14k| 231 |2453 | 17 | 35k|4701 | 0.000000e+00 | -- | Inf
159.94/160.08 c 160s| 57000 | 41 | 1059k| 18.6 | 11M| 50 | 30 | 231 | 14k| 231 |2453 | 17 | 35k|4708 | 0.000000e+00 | -- | Inf
160.24/160.38 c 160s| 57100 | 43 | 1061k| 18.6 | 11M| 50 | 32 | 231 | 14k| 231 |2453 | 17 | 35k|4717 | 0.000000e+00 | -- | Inf
160.44/160.59 c 161s| 57200 | 44 | 1063k| 18.6 | 11M| 50 | 37 | 231 | 14k| 231 |2453 | 17 | 35k|4717 | 0.000000e+00 | -- | Inf
160.74/160.88 c 161s| 57300 | 50 | 1065k| 18.6 | 11M| 50 | - | 231 | 14k| 231 |2453 | 17 | 35k|4733 | 0.000000e+00 | -- | Inf
160.93/161.09 c 161s| 57400 | 53 | 1066k| 18.6 | 11M| 50 | 29 | 231 | 14k| 231 |2453 | 17 | 35k|4733 | 0.000000e+00 | -- | Inf
161.24/161.39 c 161s| 57500 | 48 | 1068k| 18.6 | 11M| 50 | 38 | 231 | 14k| 231 |2453 | 17 | 35k|4749 | 0.000000e+00 | -- | Inf
161.54/161.64 c 162s| 57600 | 54 | 1070k| 18.6 | 11M| 50 | 25 | 231 | 14k| 231 |2453 | 17 | 35k|4749 | 0.000000e+00 | -- | Inf
161.84/161.92 c 162s| 57700 | 50 | 1072k| 18.6 | 11M| 50 | 40 | 231 | 14k| 231 |2453 | 17 | 35k|4755 | 0.000000e+00 | -- | Inf
162.14/162.24 c 162s| 57800 | 52 | 1074k| 18.6 | 11M| 50 | - | 231 | 14k| 231 |2453 | 17 | 35k|4773 | 0.000000e+00 | -- | Inf
162.43/162.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.43/162.52 c 163s| 57900 | 54 | 1076k| 18.6 | 11M| 50 | 22 | 231 | 14k| 231 |2453 | 17 | 35k|4779 | 0.000000e+00 | -- | Inf
162.65/162.80 c 163s| 58000 | 55 | 1078k| 18.6 | 11M| 50 | - | 231 | 14k| 231 |2453 | 17 | 35k|4786 | 0.000000e+00 | -- | Inf
162.94/163.08 c 163s| 58100 | 55 | 1080k| 18.6 | 11M| 50 | 40 | 231 | 14k| 231 |2453 | 17 | 35k|4795 | 0.000000e+00 | -- | Inf
163.24/163.34 c 163s| 58200 | 59 | 1082k| 18.6 | 11M| 50 | - | 231 | 14k| 231 |2453 | 17 | 35k|4804 | 0.000000e+00 | -- | Inf
163.54/163.63 c 164s| 58300 | 63 | 1084k| 18.6 | 11M| 50 | - | 231 | 14k| 231 |2453 | 17 | 35k|4813 | 0.000000e+00 | -- | Inf
163.84/163.92 c 164s| 58400 | 71 | 1086k| 18.6 | 11M| 50 | - | 231 | 14k| 231 |2453 | 17 | 36k|4823 | 0.000000e+00 | -- | Inf
164.13/164.21 c 164s| 58500 | 76 | 1088k| 18.6 | 11M| 50 | 32 | 231 | 14k| 231 |2453 | 17 | 36k|4834 | 0.000000e+00 | -- | Inf
164.33/164.46 c 164s| 58600 | 77 | 1089k| 18.6 | 11M| 50 | 46 | 231 | 14k| 231 |2453 | 17 | 36k|4844 | 0.000000e+00 | -- | Inf
164.64/164.72 c 165s| 58700 | 81 | 1091k| 18.6 | 11M| 50 | - | 231 | 14k| 231 |2453 | 17 | 36k|4852 | 0.000000e+00 | -- | Inf
164.94/165.02 c 165s| 58800 | 81 | 1093k| 18.6 | 11M| 50 | 18 | 231 | 14k| 231 |2453 | 17 | 36k|4862 | 0.000000e+00 | -- | Inf
165.14/165.28 c 165s| 58900 | 78 | 1095k| 18.6 | 11M| 51 | - | 231 | 14k| 231 |2453 | 17 | 36k|4872 | 0.000000e+00 | -- | Inf
165.44/165.58 c 166s| 59000 | 74 | 1097k| 18.6 | 11M| 53 | - | 231 | 14k| 231 |2453 | 17 | 36k|4882 | 0.000000e+00 | -- | Inf
165.74/165.87 c 166s| 59100 | 82 | 1099k| 18.6 | 11M| 53 | 48 | 231 | 14k| 231 |2453 | 17 | 36k|4888 | 0.000000e+00 | -- | Inf
166.05/166.14 c 166s| 59200 | 81 | 1102k| 18.6 | 11M| 53 | - | 231 | 14k| 231 |2453 | 17 | 36k|4890 | 0.000000e+00 | -- | Inf
166.34/166.41 c 166s| 59300 | 82 | 1104k| 18.6 | 11M| 53 | 33 | 231 | 14k| 231 |2453 | 17 | 36k|4892 | 0.000000e+00 | -- | Inf
166.54/166.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.54/166.69 c 167s| 59400 | 85 | 1106k| 18.6 | 11M| 53 | - | 231 | 14k| 231 |2453 | 17 | 36k|4893 | 0.000000e+00 | -- | Inf
166.84/166.96 c 167s| 59500 | 79 | 1108k| 18.6 | 11M| 53 | 45 | 231 | 14k| 231 |2453 | 17 | 36k|4894 | 0.000000e+00 | -- | Inf
167.14/167.22 c 167s| 59600 | 79 | 1110k| 18.6 | 11M| 53 | 21 | 231 | 14k| 231 |2453 | 17 | 36k|4897 | 0.000000e+00 | -- | Inf
167.33/167.46 c 167s| 59700 | 79 | 1112k| 18.6 | 11M| 53 | - | 231 | 14k| 231 |2453 | 17 | 36k|4898 | 0.000000e+00 | -- | Inf
167.64/167.73 c 168s| 59800 | 82 | 1114k| 18.6 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 36k|4899 | 0.000000e+00 | -- | Inf
167.84/167.99 c 168s| 59900 | 82 | 1116k| 18.6 | 11M| 54 | - | 231 | 14k| 0 | 0 | 17 | 36k|4900 | 0.000000e+00 | -- | Inf
168.14/168.27 c 168s| 60000 | 76 | 1119k| 18.6 | 11M| 54 | - | 231 | 14k| 231 |2453 | 17 | 36k|4901 | 0.000000e+00 | -- | Inf
168.43/168.54 c 169s| 60100 | 74 | 1121k| 18.7 | 11M| 54 | 42 | 231 | 14k| 231 |2453 | 17 | 36k|4902 | 0.000000e+00 | -- | Inf
168.74/168.81 c 169s| 60200 | 74 | 1123k| 18.7 | 11M| 54 | 40 | 231 | 14k| 231 |2453 | 17 | 37k|4903 | 0.000000e+00 | -- | Inf
169.04/169.10 c 169s| 60300 | 75 | 1125k| 18.7 | 11M| 56 | 34 | 231 | 14k| 231 |2453 | 17 | 37k|4905 | 0.000000e+00 | -- | Inf
169.24/169.35 c 169s| 60400 | 75 | 1127k| 18.7 | 11M| 56 | 34 | 231 | 14k| 231 |2453 | 17 | 37k|4906 | 0.000000e+00 | -- | Inf
169.53/169.60 c 170s| 60500 | 75 | 1129k| 18.7 | 11M| 56 | 29 | 231 | 14k| 231 |2453 | 17 | 37k|4907 | 0.000000e+00 | -- | Inf
169.73/169.83 c 170s| 60600 | 73 | 1131k| 18.7 | 11M| 56 | 34 | 231 | 14k| 231 |2453 | 17 | 37k|4907 | 0.000000e+00 | -- | Inf
169.94/170.06 c 170s| 60700 | 69 | 1132k| 18.7 | 11M| 56 | 25 | 231 | 14k| 231 |2453 | 17 | 37k|4907 | 0.000000e+00 | -- | Inf
170.14/170.29 c 170s| 60800 | 68 | 1134k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 37k|4907 | 0.000000e+00 | -- | Inf
170.45/170.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.45/170.52 c 171s| 60900 | 64 | 1136k| 18.7 | 11M| 56 | 37 | 231 | 14k| 231 |2453 | 17 | 37k|4907 | 0.000000e+00 | -- | Inf
170.64/170.77 c 171s| 61000 | 60 | 1138k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 37k|4907 | 0.000000e+00 | -- | Inf
170.94/171.03 c 171s| 61100 | 62 | 1140k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 37k|4907 | 0.000000e+00 | -- | Inf
171.14/171.27 c 171s| 61200 | 56 | 1142k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 37k|4907 | 0.000000e+00 | -- | Inf
171.34/171.50 c 171s| 61300 | 61 | 1143k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 37k|4907 | 0.000000e+00 | -- | Inf
171.64/171.74 c 172s| 61400 | 56 | 1145k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 37k|4907 | 0.000000e+00 | -- | Inf
171.83/171.99 c 172s| 61500 | 57 | 1147k| 18.7 | 11M| 56 | 35 | 231 | 14k| 231 |2453 | 17 | 37k|4907 | 0.000000e+00 | -- | Inf
172.14/172.24 c 172s| 61600 | 53 | 1149k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 37k|4907 | 0.000000e+00 | -- | Inf
172.34/172.49 c 172s| 61700 | 52 | 1151k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 37k|4918 | 0.000000e+00 | -- | Inf
172.64/172.71 c 173s| 61800 | 50 | 1153k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 37k|4918 | 0.000000e+00 | -- | Inf
172.93/173.00 c 173s| 61900 | 50 | 1155k| 18.7 | 11M| 56 | 27 | 231 | 14k| 231 |2453 | 17 | 38k|4928 | 0.000000e+00 | -- | Inf
173.24/173.34 c 173s| 62000 | 46 | 1157k| 18.7 | 11M| 56 | 37 | 231 | 14k| 231 |2453 | 17 | 38k|4940 | 0.000000e+00 | -- | Inf
173.44/173.59 c 174s| 62100 | 46 | 1158k| 18.7 | 11M| 56 | 36 | 231 | 14k| 231 |2453 | 17 | 38k|4949 | 0.000000e+00 | -- | Inf
173.74/173.83 c 174s| 62200 | 46 | 1160k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 38k|4954 | 0.000000e+00 | -- | Inf
174.04/174.10 c 174s| 62300 | 46 | 1162k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 38k|4963 | 0.000000e+00 | -- | Inf
174.24/174.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
174.24/174.37 c 174s| 62400 | 46 | 1164k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 38k|4970 | 0.000000e+00 | -- | Inf
174.53/174.64 c 175s| 62500 | 42 | 1166k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 38k|4982 | 0.000000e+00 | -- | Inf
174.84/174.95 c 175s| 62600 | 44 | 1168k| 18.7 | 11M| 56 | 30 | 231 | 14k| 231 |2453 | 17 | 38k|4996 | 0.000000e+00 | -- | Inf
175.04/175.17 c 175s| 62700 | 40 | 1169k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 38k|4996 | 0.000000e+00 | -- | Inf
175.33/175.44 c 175s| 62800 | 43 | 1171k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 38k|5003 | 0.000000e+00 | -- | Inf
175.63/175.71 c 176s| 62900 | 47 | 1173k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 38k|5012 | 0.000000e+00 | -- | Inf
175.84/175.98 c 176s| 63000 | 45 | 1175k| 18.7 | 11M| 56 | 36 | 231 | 14k| 231 |2453 | 17 | 38k|5022 | 0.000000e+00 | -- | Inf
176.13/176.27 c 176s| 63100 | 45 | 1177k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 38k|5035 | 0.000000e+00 | -- | Inf
176.44/176.57 c 177s| 63200 | 39 | 1179k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 38k|5045 | 0.000000e+00 | -- | Inf
176.73/176.86 c 177s| 63300 | 39 | 1181k| 18.7 | 11M| 56 | 34 | 231 | 14k| 231 |2453 | 17 | 38k|5051 | 0.000000e+00 | -- | Inf
177.04/177.16 c 177s| 63400 | 37 | 1183k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 38k|5061 | 0.000000e+00 | -- | Inf
177.33/177.44 c 177s| 63500 | 41 | 1185k| 18.7 | 11M| 56 | - | 231 | 14k| 0 | 0 | 17 | 38k|5073 | 0.000000e+00 | -- | Inf
177.64/177.71 c 178s| 63600 | 43 | 1187k| 18.7 | 11M| 56 | 38 | 231 | 14k| 231 |2453 | 17 | 38k|5082 | 0.000000e+00 | -- | Inf
177.93/178.01 c 178s| 63700 | 42 | 1189k| 18.7 | 11M| 56 | 39 | 231 | 14k| 231 |2453 | 17 | 39k|5091 | 0.000000e+00 | -- | Inf
178.23/178.30 c 178s| 63800 | 36 | 1191k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 39k|5100 | 0.000000e+00 | -- | Inf
178.54/178.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.54/178.60 c 179s| 63900 | 34 | 1193k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 39k|5109 | 0.000000e+00 | -- | Inf
178.74/178.88 c 179s| 64000 | 36 | 1195k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 39k|5119 | 0.000000e+00 | -- | Inf
179.03/179.14 c 179s| 64100 | 37 | 1197k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 39k|5123 | 0.000000e+00 | -- | Inf
179.24/179.36 c 179s| 64200 | 36 | 1199k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 39k|5123 | 0.000000e+00 | -- | Inf
179.53/179.60 c 180s| 64300 | 32 | 1200k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 39k|5123 | 0.000000e+00 | -- | Inf
179.74/179.83 c 180s| 64400 | 27 | 1202k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 39k|5123 | 0.000000e+00 | -- | Inf
179.93/180.09 c 180s| 64500 | 29 | 1204k| 18.7 | 11M| 56 | 35 | 231 | 14k| 231 |2453 | 17 | 39k|5128 | 0.000000e+00 | -- | Inf
180.24/180.34 c 180s| 64600 | 28 | 1206k| 18.7 | 11M| 56 | 30 | 231 | 14k| 231 |2453 | 17 | 39k|5129 | 0.000000e+00 | -- | Inf
180.43/180.57 c 181s| 64700 | 28 | 1208k| 18.7 | 11M| 56 | - | 231 | 14k| 0 | 0 | 17 | 39k|5129 | 0.000000e+00 | -- | Inf
180.73/180.81 c 181s| 64800 | 25 | 1210k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 39k|5129 | 0.000000e+00 | -- | Inf
180.94/181.07 c 181s| 64900 | 23 | 1212k| 18.7 | 11M| 56 | 50 | 231 | 14k| 231 |2453 | 17 | 39k|5132 | 0.000000e+00 | -- | Inf
181.23/181.35 c 181s| 65000 | 27 | 1214k| 18.7 | 11M| 56 | 38 | 231 | 14k| 231 |2453 | 17 | 39k|5135 | 0.000000e+00 | -- | Inf
181.44/181.59 c 182s| 65100 | 27 | 1216k| 18.7 | 11M| 56 | 47 | 231 | 14k| 231 |2453 | 17 | 39k|5135 | 0.000000e+00 | -- | Inf
181.73/181.82 c 182s| 65200 | 31 | 1217k| 18.7 | 11M| 56 | 36 | 231 | 14k| 231 |2453 | 17 | 39k|5135 | 0.000000e+00 | -- | Inf
181.93/182.07 c 182s| 65300 | 30 | 1219k| 18.7 | 11M| 56 | 30 | 231 | 14k| 231 |2453 | 17 | 39k|5135 | 0.000000e+00 | -- | Inf
182.23/182.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.23/182.35 c 182s| 65400 | 26 | 1222k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 39k|5135 | 0.000000e+00 | -- | Inf
182.54/182.61 c 183s| 65500 | 22 | 1224k| 18.7 | 11M| 56 | - | 231 | 14k| 0 | 0 | 17 | 40k|5135 | 0.000000e+00 | -- | Inf
182.74/182.87 c 183s| 65600 | 20 | 1226k| 18.7 | 11M| 56 | - | 231 | 14k| 0 | 0 | 17 | 40k|5136 | 0.000000e+00 | -- | Inf
183.03/183.11 c 183s| 65700 | 18 | 1227k| 18.7 | 11M| 56 | 40 | 231 | 14k| 231 |2453 | 17 | 40k|5136 | 0.000000e+00 | -- | Inf
183.23/183.35 c 183s| 65800 | 17 | 1229k| 18.7 | 11M| 56 | - | 231 | 14k| 0 | 0 | 17 | 40k|5136 | 0.000000e+00 | -- | Inf
183.54/183.61 c 184s| 65900 | 16 | 1231k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 40k|5136 | 0.000000e+00 | -- | Inf
183.73/183.88 c 184s| 66000 | 12 | 1233k| 18.7 | 11M| 56 | - | 231 | 14k| 0 | 0 | 17 | 40k|5136 | 0.000000e+00 | -- | Inf
184.03/184.11 c 184s| 66100 | 12 | 1235k| 18.7 | 11M| 56 | 28 | 231 | 14k| 231 |2453 | 17 | 40k|5136 | 0.000000e+00 | -- | Inf
184.24/184.35 c 184s| 66200 | 11 | 1237k| 18.7 | 11M| 56 | 24 | 231 | 14k| 231 |2453 | 17 | 40k|5136 | 0.000000e+00 | -- | Inf
184.43/184.58 c 185s| 66300 | 7 | 1238k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 40k|5136 | 0.000000e+00 | -- | Inf
184.73/184.82 c 185s| 66400 | 7 | 1240k| 18.7 | 11M| 56 | 24 | 231 | 14k| 231 |2453 | 17 | 40k|5136 | 0.000000e+00 | -- | Inf
184.93/185.05 c 185s| 66500 | 7 | 1242k| 18.7 | 11M| 56 | - | 231 | 14k| 231 |2453 | 17 | 40k|5136 | 0.000000e+00 | -- | Inf
185.23/185.31 c 185s| 66600 | 6 | 1244k| 18.7 | 11M| 56 | 26 | 231 | 13k| 231 |2453 | 17 | 40k|5136 | 0.000000e+00 | -- | Inf
185.43/185.55 c 186s| 66700 | 3 | 1246k| 18.7 | 11M| 56 | - | 231 | 13k| 0 | 0 | 17 | 40k|5136 | 0.000000e+00 | -- | Inf
185.64/185.73 c
185.64/185.73 c SCIP Status : problem is solved [infeasible]
185.64/185.73 c Solving Time (sec) : 185.73
185.64/185.73 c Solving Nodes : 66771
185.64/185.73 c Primal Bound : +1.00000000000000e+20 (0 solutions)
185.64/185.73 c Dual Bound : +1.00000000000000e+20
185.64/185.73 c Gap : 0.00 %
185.64/185.73 s UNSATISFIABLE
185.64/185.73 c SCIP Status : problem is solved [infeasible]
185.64/185.73 c Total Time : 185.73
185.64/185.73 c solving : 185.73
185.64/185.73 c presolving : 0.05 (included in solving)
185.64/185.73 c reading : 0.01 (included in solving)
185.64/185.73 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
185.64/185.73 c Original Problem :
185.64/185.73 c Problem name : HOME/instance-3690418-1338016933.opb
185.64/185.73 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
185.64/185.73 c Constraints : 2707 initial, 2707 maximal
185.64/185.73 c Objective sense : minimize
185.64/185.73 c Presolved Problem :
185.64/185.73 c Problem name : t_HOME/instance-3690418-1338016933.opb
185.64/185.73 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
185.64/185.73 c Constraints : 2443 initial, 14875 maximal
185.64/185.73 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
185.64/185.73 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
185.64/185.73 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
185.64/185.73 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
185.64/185.73 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
185.64/185.73 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
185.64/185.73 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
185.64/185.73 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
185.64/185.73 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
185.64/185.73 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
185.64/185.73 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
185.64/185.73 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
185.64/185.73 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
185.64/185.73 c setppc : 0.00 0.00 0 0 0 0 0 121 0 0 0
185.64/185.73 c linear : 0.02 0.00 0 0 0 0 0 143 0 0 0
185.64/185.73 c logicor : 0.02 0.00 0 0 0 0 0 0 0 0 0
185.64/185.73 c root node : - - 3 - - 3 - - - - -
185.64/185.73 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
185.64/185.73 c integral : 0 0 0 0 34722 0 1 0 141 2058 0 0 67150
185.64/185.73 c knapsack : 1 1 5 262240 0 0 0 16401 320 109971 0 0 0
185.64/185.73 c setppc : 22 22 5 262089 0 0 0 725804 1212 360852 0 0 0
185.64/185.73 c linear : 0+ 304 5 179973 0 0 0 145 0 3123 0 0 0
185.64/185.73 c logicor : 2420+ 14853 5 124557 0 0 0 230876 320 417622 0 0 0
185.64/185.73 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
185.64/185.73 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
185.64/185.73 c integral : 22.40 0.00 0.00 0.00 22.40 0.00 0.00 0.00
185.64/185.73 c knapsack : 0.28 0.00 0.00 0.26 0.00 0.00 0.00 0.02
185.64/185.73 c setppc : 1.13 0.00 0.00 0.91 0.00 0.00 0.00 0.22
185.64/185.73 c linear : 0.25 0.00 0.00 0.25 0.00 0.00 0.00 0.00
185.64/185.73 c logicor : 5.15 0.00 0.00 4.96 0.00 0.00 0.00 0.19
185.64/185.73 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
185.64/185.73 c Propagators : #Propagate #ResProp Cutoffs DomReds
185.64/185.73 c rootredcost : 0 0 0 0
185.64/185.73 c pseudoobj : 0 0 0 0
185.64/185.73 c vbounds : 0 0 0 0
185.64/185.73 c redcost : 34727 0 0 0
185.64/185.73 c probing : 0 0 0 0
185.64/185.73 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
185.64/185.73 c rootredcost : 0.07 0.00 0.00 0.07 0.00
185.64/185.73 c pseudoobj : 0.07 0.00 0.00 0.07 0.00
185.64/185.73 c vbounds : 0.06 0.00 0.00 0.06 0.00
185.64/185.73 c redcost : 0.15 0.00 0.00 0.15 0.00
185.64/185.73 c probing : 0.00 0.00 0.00 0.00 0.00
185.64/185.73 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
185.64/185.73 c propagation : 0.07 1852 1848 9403 21.8 26 24.4 -
185.64/185.73 c infeasible LP : 2.70 31578 31165 182092 33.0 101 22.2 0
185.64/185.73 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
185.64/185.73 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
185.64/185.73 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
185.64/185.73 c applied globally : - - - 38095 19.1 - - -
185.64/185.73 c applied locally : - - - 2808 34.8 - - -
185.64/185.73 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
185.64/185.73 c cut pool : 0.00 4 - - 307 - (maximal pool size: 517)
185.64/185.73 c closecuts : 0.00 0.00 0 0 0 0 0
185.64/185.73 c impliedbounds : 0.00 0.00 5 0 0 0 0
185.64/185.73 c intobj : 0.00 0.00 0 0 0 0 0
185.64/185.73 c gomory : 0.10 0.00 5 0 0 200 0
185.64/185.73 c cgmip : 0.00 0.00 0 0 0 0 0
185.64/185.73 c strongcg : 0.19 0.00 5 0 0 2500 0
185.64/185.73 c cmir : 0.00 0.00 0 0 0 0 0
185.64/185.73 c flowcover : 0.00 0.00 0 0 0 0 0
185.64/185.73 c clique : 0.00 0.00 5 0 0 0 0
185.64/185.73 c zerohalf : 0.00 0.00 0 0 0 0 0
185.64/185.73 c mcf : 0.00 0.00 1 0 0 0 0
185.64/185.73 c oddcycle : 0.00 0.00 0 0 0 0 0
185.64/185.73 c rapidlearning : 0.10 0.00 1 0 0 0 304
185.64/185.73 c Pricers : ExecTime SetupTime Calls Vars
185.64/185.73 c problem variables: 0.00 - 0 0
185.64/185.73 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
185.64/185.73 c relpscost : 22.37 0.00 34722 141 2058 0 0 67150
185.64/185.73 c pscost : 0.00 0.00 0 0 0 0 0 0
185.64/185.73 c inference : 0.00 0.00 0 0 0 0 0 0
185.64/185.73 c mostinf : 0.00 0.00 0 0 0 0 0 0
185.64/185.73 c leastinf : 0.00 0.00 0 0 0 0 0 0
185.64/185.73 c fullstrong : 0.00 0.00 0 0 0 0 0 0
185.64/185.73 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
185.64/185.73 c random : 0.00 0.00 0 0 0 0 0 0
185.64/185.73 c Primal Heuristics : ExecTime SetupTime Calls Found
185.64/185.73 c LP solutions : 0.00 - - 0
185.64/185.73 c pseudo solutions : 0.00 - - 0
185.64/185.73 c smallcard : 0.00 0.00 0 0
185.64/185.73 c trivial : 0.00 0.00 1 0
185.64/185.73 c shiftandpropagate: 0.00 0.00 0 0
185.64/185.73 c simplerounding : 0.00 0.00 0 0
185.64/185.73 c zirounding : 0.00 0.00 0 0
185.64/185.73 c rounding : 0.00 0.00 0 0
185.64/185.73 c shifting : 0.00 0.00 0 0
185.64/185.73 c intshifting : 0.00 0.00 0 0
185.64/185.73 c oneopt : 0.00 0.00 0 0
185.64/185.73 c twoopt : 0.00 0.00 0 0
185.64/185.73 c indtwoopt : 0.00 0.00 0 0
185.64/185.73 c indoneopt : 0.00 0.00 0 0
185.64/185.73 c fixandinfer : 0.00 0.00 0 0
185.64/185.73 c feaspump : 0.00 0.00 0 0
185.64/185.73 c clique : 0.00 0.00 0 0
185.64/185.73 c indrounding : 0.00 0.00 0 0
185.64/185.73 c indcoefdiving : 0.00 0.00 0 0
185.64/185.73 c coefdiving : 0.00 0.00 0 0
185.64/185.73 c pscostdiving : 0.00 0.00 0 0
185.64/185.73 c nlpdiving : 0.00 0.00 0 0
185.64/185.73 c fracdiving : 0.00 0.00 0 0
185.64/185.73 c veclendiving : 0.00 0.00 0 0
185.64/185.73 c intdiving : 0.00 0.00 0 0
185.64/185.73 c actconsdiving : 0.00 0.00 0 0
185.64/185.73 c objpscostdiving : 0.00 0.00 0 0
185.64/185.73 c rootsoldiving : 0.00 0.00 0 0
185.64/185.73 c linesearchdiving : 0.00 0.00 0 0
185.64/185.73 c guideddiving : 0.00 0.00 0 0
185.64/185.73 c octane : 0.00 0.00 0 0
185.64/185.73 c rens : 0.00 0.00 0 0
185.64/185.73 c rins : 0.00 0.00 0 0
185.64/185.73 c localbranching : 0.00 0.00 0 0
185.64/185.73 c mutation : 0.00 0.00 0 0
185.64/185.73 c crossover : 0.00 0.00 0 0
185.64/185.73 c dins : 0.00 0.00 0 0
185.64/185.73 c vbounds : 0.00 0.00 0 0
185.64/185.73 c undercover : 0.00 0.00 0 0
185.64/185.73 c subnlp : 0.00 0.00 0 0
185.64/185.73 c trysol : 0.00 0.00 0 0
185.64/185.73 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
185.64/185.73 c primal LP : 0.00 1 0 0.00 - 0.00 1
185.64/185.73 c dual LP : 136.69 66305 1247382 18.86 9125.42 0.06 161
185.64/185.73 c lex dual LP : 0.00 0 0 0.00 -
185.64/185.73 c barrier LP : 0.00 0 0 0.00 - 0.00 0
185.64/185.73 c diving/probing LP: 0.00 0 0 0.00 -
185.64/185.73 c strong branching : 21.82 5136 182360 35.51 8358.19
185.64/185.73 c (at root node) : - 10 1731 173.10 -
185.64/185.73 c conflict analysis: 0.00 0 0 0.00 -
185.64/185.73 c B&B Tree :
185.64/185.73 c number of runs : 1
185.64/185.73 c nodes : 66771
185.64/185.73 c nodes (total) : 66771
185.64/185.73 c nodes left : 0
185.64/185.73 c max depth : 56
185.64/185.73 c max depth (total): 56
185.64/185.73 c backtracks : 8127 (12.2%)
185.64/185.73 c delayed cutoffs : 380
185.64/185.73 c repropagations : 111081 (140762 domain reductions, 380 cutoffs)
185.64/185.73 c avg switch length: 4.96
185.64/185.73 c switching time : 5.85
185.64/185.73 c Solution :
185.64/185.73 c Solutions found : 0 (0 improvements)
185.64/185.73 c Primal Bound : infeasible
185.64/185.73 c Dual Bound : -
185.64/185.73 c Gap : 0.00 %
185.64/185.73 c Root Dual Bound : +0.00000000000000e+00
185.64/185.73 c Root Iterations : 146
185.64/185.74 c Time complete: 185.68.
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-3690418-1338016933/watcher-3690418-1338016933 -o /tmp/evaluation-result-3690418-1338016933/solver-3690418-1338016933 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690418-1338016933.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
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: 0.01 0.23 0.82 1/171 6660
/proc/meminfo: memFree=28358528/32873844 swapFree=7616/7616
[pid=6660] ppid=6658 vsize=10128 CPUtime=0 cores=0,2,4,6
/proc/6660/stat : 6660 (scip-2.1.1.4fix) R 6658 6660 6477 0 -1 4202496 1284 0 0 0 0 0 0 0 20 0 1 0 267817718 10371072 1239 33554432000 4194304 10173063 140733895095024 140737393595880 8800002 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6660/statm: 2532 1239 413 1460 0 1063 0
[startup+0.0177821 s]
/proc/loadavg: 0.01 0.23 0.82 1/171 6660
/proc/meminfo: memFree=28358528/32873844 swapFree=7616/7616
[pid=6660] ppid=6658 vsize=18200 CPUtime=0.01 cores=0,2,4,6
/proc/6660/stat : 6660 (scip-2.1.1.4fix) R 6658 6660 6477 0 -1 4202496 3057 0 0 0 1 0 0 0 20 0 1 0 267817718 18636800 3012 33554432000 4194304 10173063 140733895095024 140737393595880 8800002 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6660/statm: 4550 3012 510 1460 0 3081 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18200
[startup+0.100225 s]
/proc/loadavg: 0.01 0.23 0.82 1/171 6660
/proc/meminfo: memFree=28358528/32873844 swapFree=7616/7616
[pid=6660] ppid=6658 vsize=29500 CPUtime=0.09 cores=0,2,4,6
/proc/6660/stat : 6660 (scip-2.1.1.4fix) R 6658 6660 6477 0 -1 4202496 6535 0 0 0 8 1 0 0 20 0 1 0 267817718 30208000 6193 33554432000 4194304 10173063 140733895095024 140737393595880 8631877 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6660/statm: 7375 6193 770 1460 0 5906 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29500
[startup+0.300217 s]
/proc/loadavg: 0.01 0.23 0.82 1/171 6660
/proc/meminfo: memFree=28358528/32873844 swapFree=7616/7616
[pid=6660] ppid=6658 vsize=47096 CPUtime=0.29 cores=0,2,4,6
/proc/6660/stat : 6660 (scip-2.1.1.4fix) R 6658 6660 6477 0 -1 4202496 10672 0 0 0 26 3 0 0 20 0 1 0 267817718 48226304 10328 33554432000 4194304 10173063 140733895095024 140737393595880 5107494 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6660/statm: 11774 10328 827 1460 0 10305 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47096
[startup+0.700175 s]
/proc/loadavg: 0.01 0.23 0.82 1/171 6660
/proc/meminfo: memFree=28358528/32873844 swapFree=7616/7616
[pid=6660] ppid=6658 vsize=47264 CPUtime=0.68 cores=0,2,4,6
/proc/6660/stat : 6660 (scip-2.1.1.4fix) R 6658 6660 6477 0 -1 4202496 10792 0 0 0 65 3 0 0 20 0 1 0 267817718 48398336 10448 33554432000 4194304 10173063 140733895095024 140733895088472 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6660/statm: 11816 10448 832 1460 0 10347 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 47264
[startup+1.50018 s]
/proc/loadavg: 0.01 0.23 0.82 2/172 6661
/proc/meminfo: memFree=28320072/32873844 swapFree=7616/7616
[pid=6660] ppid=6658 vsize=47264 CPUtime=1.49 cores=0,2,4,6
/proc/6660/stat : 6660 (scip-2.1.1.4fix) R 6658 6660 6477 0 -1 4202496 10792 0 0 0 145 4 0 0 20 0 1 0 267817718 48398336 10448 33554432000 4194304 10173063 140733895095024 140733895088200 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6660/statm: 11816 10448 832 1460 0 10347 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47264
[startup+3.10017 s]
/proc/loadavg: 0.01 0.23 0.82 2/172 6661
/proc/meminfo: memFree=28319568/32873844 swapFree=7616/7616
[pid=6660] ppid=6658 vsize=47264 CPUtime=3.08 cores=0,2,4,6
/proc/6660/stat : 6660 (scip-2.1.1.4fix) R 6658 6660 6477 0 -1 4202496 10794 0 0 0 304 4 0 0 20 0 1 0 267817718 48398336 10450 33554432000 4194304 10173063 140733895095024 140733895088152 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6660/statm: 11816 10450 834 1460 0 10347 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 47264
[startup+6.30018 s]
/proc/loadavg: 0.09 0.24 0.82 2/172 6661
/proc/meminfo: memFree=28319780/32873844 swapFree=7616/7616
[pid=6660] ppid=6658 vsize=47264 CPUtime=6.29 cores=0,2,4,6
/proc/6660/stat : 6660 (scip-2.1.1.4fix) R 6658 6660 6477 0 -1 4202496 10795 0 0 0 620 9 0 0 20 0 1 0 267817718 48398336 10451 33554432000 4194304 10173063 140733895095024 140733895088936 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6660/statm: 11816 10451 835 1460 0 10347 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47264
[startup+12.7002 s]
/proc/loadavg: 0.16 0.25 0.82 2/172 6699
/proc/meminfo: memFree=28318028/32873844 swapFree=7616/7616
[pid=6660] ppid=6658 vsize=47264 CPUtime=12.68 cores=0,2,4,6
/proc/6660/stat : 6660 (scip-2.1.1.4fix) R 6658 6660 6477 0 -1 4202496 10801 0 0 0 1252 16 0 0 20 0 1 0 267817718 48398336 10603 33554432000 4194304 10173063 140733895095024 140733895088280 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6660/statm: 11816 10603 836 1460 0 10347 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 47264
[startup+25.5002 s]
/proc/loadavg: 0.50 0.32 0.83 3/177 6751
/proc/meminfo: memFree=28048140/32873844 swapFree=7616/7616
[pid=6660] ppid=6658 vsize=47264 CPUtime=25.48 cores=0,2,4,6
/proc/6660/stat : 6660 (scip-2.1.1.4fix) R 6658 6660 6477 0 -1 4202496 10805 0 0 0 2512 36 0 0 20 0 1 0 267817718 48398336 11112 33554432000 4194304 10173063 140733895095024 140733895088280 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6660/statm: 11816 11112 836 1460 0 10347 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47264
[startup+51.1003 s]
/proc/loadavg: 1.01 0.46 0.86 3/177 6751
/proc/meminfo: memFree=28023816/32873844 swapFree=7616/7616
[pid=6660] ppid=6658 vsize=47264 CPUtime=51.07 cores=0,2,4,6
/proc/6660/stat : 6660 (scip-2.1.1.4fix) R 6658 6660 6477 0 -1 4202496 10806 0 0 0 5028 79 0 0 20 0 1 0 267817718 48398336 11114 33554432000 4194304 10173063 140733895095024 140733895090824 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6660/statm: 11816 11114 836 1460 0 10347 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 47264
[startup+102.306 s]
/proc/loadavg: 1.57 0.69 0.92 3/177 6751
/proc/meminfo: memFree=28022744/32873844 swapFree=7616/7616
[pid=6660] ppid=6658 vsize=47264 CPUtime=102.26 cores=0,2,4,6
/proc/6660/stat : 6660 (scip-2.1.1.4fix) R 6658 6660 6477 0 -1 4202496 10806 0 0 0 10069 157 0 0 20 0 1 0 267817718 48398336 11114 33554432000 4194304 10173063 140733895095024 140733895090824 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6660/statm: 11816 11114 836 1460 0 10347 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 47264
[startup+162.3 s]
/proc/loadavg: 1.84 0.93 0.99 3/177 6751
/proc/meminfo: memFree=28021116/32873844 swapFree=7616/7616
[pid=6660] ppid=6658 vsize=47264 CPUtime=162.24 cores=0,2,4,6
/proc/6660/stat : 6660 (scip-2.1.1.4fix) R 6658 6660 6477 0 -1 4202496 10808 0 0 0 15976 248 0 0 20 0 1 0 267817718 48398336 11116 33554432000 4194304 10173063 140733895095024 140733895090824 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6660/statm: 11816 11116 838 1460 0 10347 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 47264
Solver just ended. Dumping a history of the last processes samples
[startup+166.3 s]
/proc/loadavg: 1.85 0.95 0.99 4/177 6751
/proc/meminfo: memFree=28021116/32873844 swapFree=7616/7616
[pid=6660] ppid=6658 vsize=47264 CPUtime=166.24 cores=0,2,4,6
/proc/6660/stat : 6660 (scip-2.1.1.4fix) R 6658 6660 6477 0 -1 4202496 10808 0 0 0 16371 253 0 0 20 0 1 0 267817718 48398336 11116 33554432000 4194304 10173063 140733895095024 140733895090824 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6660/statm: 11816 11116 838 1460 0 10347 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 47264
[startup+179.1 s]
/proc/loadavg: 1.87 0.98 1.00 3/177 6751
/proc/meminfo: memFree=28020728/32873844 swapFree=7616/7616
[pid=6660] ppid=6658 vsize=47264 CPUtime=179.03 cores=0,2,4,6
/proc/6660/stat : 6660 (scip-2.1.1.4fix) R 6658 6660 6477 0 -1 4202496 10808 0 0 0 17635 268 0 0 20 0 1 0 267817718 48398336 11116 33554432000 4194304 10173063 140733895095024 140733895090824 8063648 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6660/statm: 11816 11116 838 1460 0 10347 0
Current children cumulated CPU time (s) 179.03
Current children cumulated vsize (KiB) 47264
[startup+182.3 s]
/proc/loadavg: 1.88 1.00 1.01 3/177 6751
/proc/meminfo: memFree=28020788/32873844 swapFree=7616/7616
[pid=6660] ppid=6658 vsize=47264 CPUtime=182.23 cores=0,2,4,6
/proc/6660/stat : 6660 (scip-2.1.1.4fix) R 6658 6660 6477 0 -1 4202496 10808 0 0 0 17951 272 0 0 20 0 1 0 267817718 48398336 11116 33554432000 4194304 10173063 140733895095024 140733895090824 7650033 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6660/statm: 11816 11116 838 1460 0 10347 0
Current children cumulated CPU time (s) 182.23
Current children cumulated vsize (KiB) 47264
[startup+183.9 s]
/proc/loadavg: 1.89 1.01 1.01 3/177 6751
/proc/meminfo: memFree=28020788/32873844 swapFree=7616/7616
[pid=6660] ppid=6658 vsize=47264 CPUtime=183.83 cores=0,2,4,6
/proc/6660/stat : 6660 (scip-2.1.1.4fix) R 6658 6660 6477 0 -1 4202496 10808 0 0 0 18108 275 0 0 20 0 1 0 267817718 48398336 11116 33554432000 4194304 10173063 140733895095024 140733895090824 8012584 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6660/statm: 11816 11116 838 1460 0 10347 0
Current children cumulated CPU time (s) 183.83
Current children cumulated vsize (KiB) 47264
[startup+184.7 s]
/proc/loadavg: 1.89 1.01 1.01 3/177 6751
/proc/meminfo: memFree=28020788/32873844 swapFree=7616/7616
[pid=6660] ppid=6658 vsize=47264 CPUtime=184.64 cores=0,2,4,6
/proc/6660/stat : 6660 (scip-2.1.1.4fix) R 6658 6660 6477 0 -1 4202496 10808 0 0 0 18188 276 0 0 20 0 1 0 267817718 48398336 11116 33554432000 4194304 10173063 140733895095024 140733895090824 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6660/statm: 11816 11116 838 1460 0 10347 0
Current children cumulated CPU time (s) 184.64
Current children cumulated vsize (KiB) 47264
[startup+185.5 s]
/proc/loadavg: 1.89 1.01 1.01 3/177 6751
/proc/meminfo: memFree=28020788/32873844 swapFree=7616/7616
[pid=6660] ppid=6658 vsize=47264 CPUtime=185.43 cores=0,2,4,6
/proc/6660/stat : 6660 (scip-2.1.1.4fix) R 6658 6660 6477 0 -1 4202496 10808 0 0 0 18266 277 0 0 20 0 1 0 267817718 48398336 11116 33554432000 4194304 10173063 140733895095024 140733895090824 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6660/statm: 11816 11116 838 1460 0 10347 0
Current children cumulated CPU time (s) 185.43
Current children cumulated vsize (KiB) 47264
[startup+185.7 s]
/proc/loadavg: 1.89 1.01 1.01 3/177 6751
/proc/meminfo: memFree=28020788/32873844 swapFree=7616/7616
[pid=6660] ppid=6658 vsize=47264 CPUtime=185.64 cores=0,2,4,6
/proc/6660/stat : 6660 (scip-2.1.1.4fix) R 6658 6660 6477 0 -1 4202496 10808 0 0 0 18286 278 0 0 20 0 1 0 267817718 48398336 11116 33554432000 4194304 10173063 140733895095024 140733895090824 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6660/statm: 11816 11116 838 1460 0 10347 0
Current children cumulated CPU time (s) 185.64
Current children cumulated vsize (KiB) 47264
Child status: 0
Real time (s): 185.748
CPU time (s): 185.689
CPU user time (s): 182.907
CPU system time (s): 2.78158
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 47264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 182.907
system time used= 2.78158
maximum resident set size= 44476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10813
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= 895
runsolver used 0.281957 second user time and 0.900863 second system time
The end