0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3691577-1338021149.opb>
0.00/0.01 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.01 c problem read in 0.01
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.04 c (round 1) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.04/0.04 c (round 2) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.04/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.04/0.06 c presolving (4 rounds):
0.04/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.04/0.06 c 242 implications, 22 cliques
0.04/0.06 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.04/0.06 c 1 constraints of type <knapsack>
0.04/0.06 c 22 constraints of type <setppc>
0.04/0.06 c 2420 constraints of type <logicor>
0.04/0.06 c transformed objective value is always integral (scale: 1)
0.04/0.06 c Presolving Time: 0.05
0.04/0.06 c - non default parameters ----------------------------------------------------------------------
0.04/0.06 c # SCIP version 2.1.1.4
0.04/0.06 c
0.04/0.06 c # maximal time in seconds to run
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.06 c limits/time = 1797
0.04/0.06 c
0.04/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.06 c limits/memory = 13950
0.04/0.06 c
0.04/0.06 c # solving stops, if the given number of solutions were found (-1: no limit)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.06 c limits/solutions = 1
0.04/0.06 c
0.04/0.06 c # maximal number of separation rounds per node (-1: unlimited)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 5]
0.04/0.06 c separating/maxrounds = 1
0.04/0.06 c
0.04/0.06 c # maximal number of separation rounds in the root node (-1: unlimited)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.06 c separating/maxroundsroot = 5
0.04/0.06 c
0.04/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.04/0.06 c # [type: int, range: [1,2], default: 1]
0.04/0.06 c timing/clocktype = 2
0.04/0.06 c
0.04/0.06 c # belongs reading time to solving time?
0.04/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.06 c timing/reading = TRUE
0.04/0.06 c
0.04/0.06 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.04/0.06 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.04/0.06 c constraints/knapsack/disaggregation = FALSE
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.06 c heuristics/coefdiving/freq = -1
0.04/0.06 c
0.04/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.06 c heuristics/coefdiving/maxlpiterquot = 0.075
0.04/0.06 c
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/coefdiving/maxlpiterofs = 1500
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 30]
0.04/0.06 c heuristics/crossover/freq = -1
0.04/0.06 c
0.04/0.06 c # number of nodes added to the contingent of the total nodes
0.04/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.04/0.06 c heuristics/crossover/nodesofs = 750
0.04/0.06 c
0.04/0.06 c # number of nodes without incumbent change that heuristic should wait
0.04/0.06 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.04/0.06 c heuristics/crossover/nwaitingnodes = 100
0.04/0.06 c
0.04/0.06 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.04/0.06 c # [type: real, range: [0,1], default: 0.1]
0.04/0.06 c heuristics/crossover/nodesquot = 0.15
0.04/0.06 c
0.04/0.06 c # minimum percentage of integer variables that have to be fixed
0.04/0.06 c # [type: real, range: [0,1], default: 0.666]
0.04/0.06 c heuristics/crossover/minfixingrate = 0.5
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.04/0.06 c heuristics/feaspump/freq = -1
0.04/0.06 c
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/feaspump/maxlpiterofs = 2000
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.06 c heuristics/fracdiving/freq = -1
0.04/0.06 c
0.04/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.06 c heuristics/fracdiving/maxlpiterquot = 0.075
0.04/0.06 c
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/fracdiving/maxlpiterofs = 1500
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.06 c heuristics/guideddiving/freq = -1
0.04/0.06 c
0.04/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.06 c heuristics/guideddiving/maxlpiterquot = 0.075
0.04/0.06 c
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/guideddiving/maxlpiterofs = 1500
0.04/0.06 c
0.04/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.06 c heuristics/intdiving/maxlpiterquot = 0.075
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.06 c heuristics/intshifting/freq = -1
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.06 c heuristics/linesearchdiving/freq = -1
0.04/0.06 c
0.04/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.06 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.04/0.06 c
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.04/0.06 c heuristics/objpscostdiving/freq = -1
0.04/0.06 c
0.04/0.06 c # maximal fraction of diving LP iterations compared to total iteration number
0.04/0.06 c # [type: real, range: [0,1], default: 0.01]
0.04/0.06 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.04/0.06 c
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.06 c heuristics/oneopt/freq = -1
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.06 c heuristics/pscostdiving/freq = -1
0.04/0.06 c
0.04/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.06 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.04/0.06 c
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/pscostdiving/maxlpiterofs = 1500
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.06 c heuristics/rens/freq = -1
0.04/0.06 c
0.04/0.06 c # minimum percentage of integer variables that have to be fixable
0.04/0.06 c # [type: real, range: [0,1], default: 0.5]
0.04/0.06 c heuristics/rens/minfixingrate = 0.3
0.04/0.06 c
0.04/0.06 c # number of nodes added to the contingent of the total nodes
0.04/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.04/0.06 c heuristics/rens/nodesofs = 2000
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.04/0.06 c heuristics/rootsoldiving/freq = -1
0.04/0.06 c
0.04/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.04/0.06 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.04/0.06 c
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.06 c heuristics/rounding/freq = -1
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.06 c heuristics/shiftandpropagate/freq = -1
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.06 c heuristics/shifting/freq = -1
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.06 c heuristics/simplerounding/freq = -1
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.06 c heuristics/subnlp/freq = -1
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.06 c heuristics/trivial/freq = -1
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.06 c heuristics/trysol/freq = -1
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.06 c heuristics/undercover/freq = -1
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.04/0.06 c heuristics/veclendiving/freq = -1
0.04/0.06 c
0.04/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.04/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.04/0.06 c heuristics/veclendiving/maxlpiterquot = 0.075
0.04/0.06 c
0.04/0.06 c # additional number of allowed LP iterations
0.04/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.04/0.06 c heuristics/veclendiving/maxlpiterofs = 1500
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.06 c heuristics/zirounding/freq = -1
0.04/0.06 c
0.04/0.06 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.06 c propagating/probing/maxprerounds = 0
0.04/0.06 c
0.04/0.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.06 c separating/cmir/freq = -1
0.04/0.06 c
0.04/0.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.06 c separating/flowcover/freq = -1
0.04/0.06 c
0.04/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.06 c separating/rapidlearning/freq = 0
0.04/0.06 c
0.04/0.06 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.04/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.06 c heuristics/indoneopt/freq = -1
0.04/0.06 c
0.04/0.06 c -----------------------------------------------------------------------------------------------
0.04/0.06 c start solving
0.04/0.06 c
0.04/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.04/0.07 c 0.1s| 1 | 0 | 76 | - |4259k| 0 | 36 | 231 |2443 | 231 |2443 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.18/0.20 c 0.2s| 1 | 0 | 90 | - |4714k| 0 | 39 | 231 |2737 | 231 |2450 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.18/0.24 c 0.2s| 1 | 0 | 105 | - |5036k| 0 | 45 | 231 |2737 | 231 |2454 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.18/0.28 c 0.3s| 1 | 0 | 120 | - |5479k| 0 | 46 | 231 |2737 | 231 |2455 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.28/0.32 c 0.3s| 1 | 0 | 139 | - |5923k| 0 | 47 | 231 |2737 | 231 |2457 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.38/0.48 c 0.5s| 1 | 0 | 146 | - |6264k| 0 | 51 | 231 |2737 | 231 |2460 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.66 c 0.7s| 1 | 2 | 146 | - |6264k| 0 | 51 | 231 |2737 | 231 |2460 | 17 | 0 | 10 | 0.000000e+00 | -- | Inf
9.29/9.36 c 9.4s| 100 | 13 | 5008 | 49.1 |6411k| 18 | 33 | 231 |2768 | 231 |2453 | 17 | 32 |1506 | 0.000000e+00 | -- | Inf
9.99/10.08 c 10.1s| 200 | 18 | 7103 | 35.0 |6453k| 22 | 31 | 231 |2826 | 231 |2453 | 17 | 90 |1615 | 0.000000e+00 | -- | Inf
10.49/10.52 c 10.5s| 300 | 21 | 8778 | 28.9 |6494k| 28 | 25 | 231 |2899 | 231 |2453 | 17 | 163 |1672 | 0.000000e+00 | -- | Inf
10.68/10.78 c 10.8s| 400 | 22 | 10173 | 25.1 |6523k| 28 | - | 231 |2957 | 231 |2453 | 17 | 221 |1693 | 0.000000e+00 | -- | Inf
11.09/11.10 c 11.1s| 500 | 24 | 11674 | 23.1 |6567k| 28 | - | 231 |3034 | 0 | 0 | 17 | 298 |1724 | 0.000000e+00 | -- | Inf
11.38/11.46 c 11.5s| 600 | 22 | 13645 | 22.5 |6590k| 29 | - | 231 |3102 | 231 |2453 | 17 | 371 |1754 | 0.000000e+00 | -- | Inf
11.68/11.74 c 11.7s| 700 | 25 | 15294 | 21.7 |6614k| 31 | 35 | 231 |3162 | 231 |2453 | 17 | 432 |1768 | 0.000000e+00 | -- | Inf
11.98/12.04 c 12.0s| 800 | 23 | 17463 | 21.7 |6632k| 31 | 29 | 231 |3232 | 231 |2453 | 17 | 502 |1781 | 0.000000e+00 | -- | Inf
12.28/12.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.28/12.30 c 12.3s| 900 | 23 | 19470 | 21.5 |6659k| 31 | 33 | 231 |3303 | 231 |2453 | 17 | 574 |1785 | 0.000000e+00 | -- | Inf
12.48/12.56 c 12.6s| 1000 | 23 | 21411 | 21.3 |6679k| 31 | 36 | 231 |3362 | 231 |2453 | 17 | 639 |1791 | 0.000000e+00 | -- | Inf
12.78/12.82 c 12.8s| 1100 | 21 | 23361 | 21.1 |6716k| 31 | - | 231 |3455 | 231 |2453 | 17 | 735 |1795 | 0.000000e+00 | -- | Inf
12.98/13.04 c 13.0s| 1200 | 19 | 25023 | 20.7 |6745k| 31 | - | 231 |3541 | 231 |2453 | 17 | 822 |1799 | 0.000000e+00 | -- | Inf
13.28/13.31 c 13.3s| 1300 | 23 | 27146 | 20.8 |6784k| 31 | 32 | 231 |3612 | 231 |2453 | 17 | 895 |1803 | 0.000000e+00 | -- | Inf
13.48/13.57 c 13.6s| 1400 | 26 | 29176 | 20.8 |6816k| 31 | - | 231 |3677 | 231 |2453 | 17 | 966 |1803 | 0.000000e+00 | -- | Inf
13.78/13.85 c 13.9s| 1500 | 26 | 31584 | 21.0 |6845k| 31 | 35 | 231 |3764 | 231 |2453 | 17 |1056 |1803 | 0.000000e+00 | -- | Inf
14.08/14.10 c 14.1s| 1600 | 22 | 33498 | 20.9 |6864k| 31 | 34 | 231 |3838 | 231 |2453 | 17 |1135 |1804 | 0.000000e+00 | -- | Inf
14.28/14.39 c 14.4s| 1700 | 22 | 35558 | 20.8 |6890k| 33 | - | 231 |3895 | 231 |2453 | 17 |1197 |1813 | 0.000000e+00 | -- | Inf
14.68/14.71 c 14.7s| 1800 | 26 | 37532 | 20.8 |6930k| 33 | - | 231 |3969 | 231 |2453 | 17 |1276 |1831 | 0.000000e+00 | -- | Inf
14.98/15.07 c 15.1s| 1900 | 28 | 39609 | 20.8 |6958k| 33 | 25 | 231 |4036 | 231 |2453 | 17 |1348 |1854 | 0.000000e+00 | -- | Inf
15.39/15.41 c 15.4s| 2000 | 26 | 41810 | 20.8 |6977k| 33 | 42 | 231 |4104 | 231 |2453 | 17 |1422 |1867 | 0.000000e+00 | -- | Inf
15.68/15.72 c 15.7s| 2100 | 28 | 43705 | 20.8 |7020k| 33 | - | 231 |4184 | 231 |2453 | 17 |1515 |1882 | 0.000000e+00 | -- | Inf
15.98/16.09 c 16.1s| 2200 | 30 | 45970 | 20.8 |7049k| 33 | 42 | 231 |4252 | 231 |2453 | 17 |1591 |1903 | 0.000000e+00 | -- | Inf
16.39/16.42 c 16.4s| 2300 | 34 | 48386 | 21.0 |7079k| 33 | - | 231 |4285 | 231 |2453 | 17 |1665 |1913 | 0.000000e+00 | -- | Inf
16.68/16.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.68/16.70 c 16.7s| 2400 | 37 | 50481 | 21.0 |7113k| 33 | 22 | 231 |4357 | 231 |2453 | 17 |1746 |1919 | 0.000000e+00 | -- | Inf
16.88/16.99 c 17.0s| 2500 | 36 | 52486 | 20.9 |7135k| 33 | 41 | 231 |4431 | 231 |2453 | 17 |1824 |1930 | 0.000000e+00 | -- | Inf
17.18/17.27 c 17.3s| 2600 | 34 | 54539 | 20.9 |7173k| 33 | - | 231 |4495 | 231 |2453 | 17 |1898 |1937 | 0.000000e+00 | -- | Inf
17.49/17.53 c 17.5s| 2700 | 38 | 56382 | 20.8 |7202k| 33 | - | 231 |4536 | 0 | 0 | 17 |1963 |1942 | 0.000000e+00 | -- | Inf
17.68/17.76 c 17.8s| 2800 | 32 | 58219 | 20.7 |7207k| 33 | - | 231 |4579 | 231 |2453 | 17 |2022 |1943 | 0.000000e+00 | -- | Inf
17.88/17.99 c 18.0s| 2900 | 33 | 59982 | 20.6 |7229k| 33 | 29 | 231 |4632 | 231 |2453 | 17 |2099 |1944 | 0.000000e+00 | -- | Inf
18.18/18.25 c 18.3s| 3000 | 36 | 62047 | 20.6 |7259k| 33 | 22 | 231 |4694 | 231 |2453 | 17 |2176 |1946 | 0.000000e+00 | -- | Inf
18.38/18.49 c 18.5s| 3100 | 31 | 63969 | 20.6 |7275k| 33 | - | 231 |4757 | 231 |2453 | 17 |2249 |1946 | 0.000000e+00 | -- | Inf
18.68/18.73 c 18.7s| 3200 | 31 | 65905 | 20.6 |7293k| 33 | - | 231 |4810 | 231 |2453 | 17 |2309 |1946 | 0.000000e+00 | -- | Inf
18.88/18.99 c 19.0s| 3300 | 35 | 67879 | 20.5 |7325k| 33 | - | 231 |4856 | 231 |2453 | 17 |2371 |1948 | 0.000000e+00 | -- | Inf
19.18/19.21 c 19.2s| 3400 | 34 | 69625 | 20.4 |7348k| 33 | - | 231 |4923 | 231 |2453 | 17 |2461 |1948 | 0.000000e+00 | -- | Inf
19.38/19.46 c 19.5s| 3500 | 36 | 71602 | 20.4 |7379k| 33 | 27 | 231 |4990 | 231 |2453 | 17 |2550 |1948 | 0.000000e+00 | -- | Inf
19.58/19.69 c 19.7s| 3600 | 34 | 73393 | 20.4 |7400k| 33 | - | 231 |5054 | 231 |2453 | 17 |2635 |1948 | 0.000000e+00 | -- | Inf
19.88/19.92 c 19.9s| 3700 | 36 | 75129 | 20.3 |7422k| 33 | 36 | 231 |5106 | 231 |2453 | 17 |2701 |1948 | 0.000000e+00 | -- | Inf
20.28/20.30 c 20.3s| 3800 | 36 | 77395 | 20.3 |7434k| 33 | 26 | 231 |5135 | 231 |2453 | 17 |2768 |1968 | 0.000000e+00 | -- | Inf
20.48/20.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.48/20.59 c 20.6s| 3900 | 32 | 79309 | 20.3 |7443k| 33 | - | 231 |5191 | 231 |2453 | 17 |2842 |1979 | 0.000000e+00 | -- | Inf
20.88/20.95 c 20.9s| 4000 | 28 | 81315 | 20.3 |7427k| 33 | 31 | 231 |5219 | 231 |2453 | 17 |2914 |2002 | 0.000000e+00 | -- | Inf
21.18/21.23 c 21.2s| 4100 | 26 | 83219 | 20.3 |7447k| 33 | - | 231 |5265 | 231 |2453 | 17 |2982 |2012 | 0.000000e+00 | -- | Inf
21.48/21.57 c 21.6s| 4200 | 28 | 85327 | 20.3 |7470k| 33 | - | 231 |5316 | 231 |2453 | 17 |3058 |2028 | 0.000000e+00 | -- | Inf
21.77/21.87 c 21.9s| 4300 | 30 | 87112 | 20.2 |7487k| 33 | 36 | 231 |5349 | 231 |2453 | 17 |3134 |2042 | 0.000000e+00 | -- | Inf
22.07/22.19 c 22.2s| 4400 | 29 | 88921 | 20.2 |7499k| 33 | 34 | 231 |5375 | 231 |2453 | 17 |3197 |2059 | 0.000000e+00 | -- | Inf
22.37/22.46 c 22.5s| 4500 | 29 | 90561 | 20.1 |7504k| 33 | 25 | 231 |5360 | 231 |2453 | 17 |3249 |2077 | 0.000000e+00 | -- | Inf
22.68/22.75 c 22.7s| 4600 | 29 | 92216 | 20.0 |7511k| 33 | - | 231 |5344 | 231 |2453 | 17 |3306 |2096 | 0.000000e+00 | -- | Inf
22.98/23.09 c 23.1s| 4700 | 27 | 94165 | 20.0 |7495k| 33 | 31 | 231 |5352 | 231 |2453 | 17 |3368 |2119 | 0.000000e+00 | -- | Inf
23.37/23.40 c 23.4s| 4800 | 25 | 96049 | 20.0 |7516k| 33 | - | 231 |5396 | 231 |2453 | 17 |3451 |2135 | 0.000000e+00 | -- | Inf
23.67/23.70 c 23.7s| 4900 | 27 | 98086 | 20.0 |7520k| 33 | - | 231 |5394 | 231 |2453 | 17 |3527 |2147 | 0.000000e+00 | -- | Inf
23.87/23.95 c 23.9s| 5000 | 28 | 99969 | 20.0 |7530k| 33 | 34 | 231 |5432 | 231 |2453 | 17 |3608 |2151 | 0.000000e+00 | -- | Inf
24.08/24.20 c 24.2s| 5100 | 36 |101773 | 19.9 |7556k| 33 | - | 231 |5406 | 231 |2453 | 17 |3658 |2155 | 0.000000e+00 | -- | Inf
24.37/24.46 c 24.5s| 5200 | 41 |103899 | 20.0 |7580k| 33 | - | 231 |5412 | 231 |2453 | 17 |3729 |2157 | 0.000000e+00 | -- | Inf
24.67/24.72 c 24.7s| 5300 | 42 |106031 | 20.0 |7591k| 33 | - | 231 |5433 | 231 |2453 | 17 |3786 |2158 | 0.000000e+00 | -- | Inf
24.88/24.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.88/24.90 c 24.9s| 5400 | 48 |107308 | 19.8 |7620k| 33 | 16 | 231 |5489 | 231 |2453 | 17 |3860 |2160 | 0.000000e+00 | -- | Inf
24.98/25.08 c 25.1s| 5500 | 45 |108630 | 19.7 |7633k| 33 | - | 231 |5528 | 231 |2453 | 17 |3920 |2161 | 0.000000e+00 | -- | Inf
25.28/25.31 c 25.3s| 5600 | 47 |110414 | 19.7 |7653k| 33 | - | 231 |5557 | 231 |2453 | 17 |3976 |2162 | 0.000000e+00 | -- | Inf
25.48/25.55 c 25.5s| 5700 | 48 |112344 | 19.7 |7669k| 33 | 32 | 231 |5599 | 231 |2453 | 17 |4033 |2162 | 0.000000e+00 | -- | Inf
25.67/25.77 c 25.8s| 5800 | 48 |114100 | 19.7 |7685k| 33 | 37 | 231 |5647 | 231 |2453 | 17 |4086 |2162 | 0.000000e+00 | -- | Inf
25.88/25.99 c 26.0s| 5900 | 52 |115914 | 19.6 |7713k| 33 | - | 231 |5690 | 231 |2453 | 17 |4137 |2162 | 0.000000e+00 | -- | Inf
26.17/26.20 c 26.2s| 6000 | 52 |117587 | 19.6 |7735k| 33 | - | 231 |5749 | 231 |2453 | 17 |4197 |2162 | 0.000000e+00 | -- | Inf
26.38/26.43 c 26.4s| 6100 | 56 |119487 | 19.6 |7766k| 35 | - | 231 |5796 | 231 |2453 | 17 |4251 |2162 | 0.000000e+00 | -- | Inf
26.57/26.66 c 26.7s| 6200 | 54 |121362 | 19.6 |7779k| 36 | 36 | 231 |5849 | 231 |2453 | 17 |4306 |2162 | 0.000000e+00 | -- | Inf
26.88/26.90 c 26.9s| 6300 | 51 |123284 | 19.5 |7797k| 36 | - | 231 |5913 | 231 |2453 | 17 |4376 |2162 | 0.000000e+00 | -- | Inf
27.07/27.12 c 27.1s| 6400 | 57 |124968 | 19.5 |7834k| 36 | - | 231 |5963 | 231 |2453 | 17 |4433 |2162 | 0.000000e+00 | -- | Inf
27.27/27.37 c 27.4s| 6500 | 56 |126633 | 19.5 |7850k| 36 | - | 231 |6023 | 231 |2453 | 17 |4497 |2171 | 0.000000e+00 | -- | Inf
27.58/27.62 c 27.6s| 6600 | 55 |128241 | 19.4 |7864k| 36 | 35 | 231 |6084 | 231 |2453 | 17 |4561 |2179 | 0.000000e+00 | -- | Inf
27.87/27.98 c 28.0s| 6700 | 53 |130350 | 19.4 |7887k| 36 | - | 231 |6133 | 231 |2453 | 17 |4622 |2204 | 0.000000e+00 | -- | Inf
28.17/28.22 c 28.2s| 6800 | 57 |131932 | 19.4 |7912k| 36 | - | 231 |6164 | 231 |2453 | 17 |4698 |2211 | 0.000000e+00 | -- | Inf
28.48/28.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.48/28.53 c 28.5s| 6900 | 61 |133923 | 19.4 |7939k| 36 | - | 231 |6188 | 231 |2453 | 17 |4760 |2225 | 0.000000e+00 | -- | Inf
28.77/28.82 c 28.8s| 7000 | 63 |135765 | 19.4 |7969k| 36 | - | 231 |6245 | 231 |2453 | 17 |4835 |2239 | 0.000000e+00 | -- | Inf
29.07/29.14 c 29.1s| 7100 | 63 |137770 | 19.4 |7992k| 36 | - | 231 |6307 | 231 |2453 | 17 |4911 |2255 | 0.000000e+00 | -- | Inf
29.37/29.49 c 29.5s| 7200 | 63 |140062 | 19.4 |8012k| 36 | 29 | 231 |6371 | 231 |2453 | 17 |4993 |2273 | 0.000000e+00 | -- | Inf
29.68/29.79 c 29.8s| 7300 | 65 |141921 | 19.4 |8044k| 36 | 21 | 231 |6432 | 231 |2453 | 17 |5076 |2289 | 0.000000e+00 | -- | Inf
29.97/30.07 c 30.1s| 7400 | 66 |143684 | 19.4 |8067k| 36 | - | 231 |6484 | 231 |2453 | 17 |5138 |2309 | 0.000000e+00 | -- | Inf
30.27/30.35 c 30.4s| 7500 | 64 |145711 | 19.4 |8082k| 36 | 32 | 231 |6535 | 231 |2453 | 17 |5207 |2317 | 0.000000e+00 | -- | Inf
30.47/30.59 c 30.6s| 7600 | 64 |147234 | 19.4 |8105k| 36 | 38 | 231 |6611 | 231 |2453 | 17 |5294 |2327 | 0.000000e+00 | -- | Inf
30.78/30.89 c 30.9s| 7700 | 62 |148789 | 19.3 |8135k| 36 | 30 | 231 |6663 | 231 |2453 | 17 |5356 |2350 | 0.000000e+00 | -- | Inf
31.07/31.15 c 31.2s| 7800 | 62 |150663 | 19.3 |8159k| 36 | - | 231 |6719 | 231 |2453 | 17 |5424 |2357 | 0.000000e+00 | -- | Inf
31.37/31.42 c 31.4s| 7900 | 62 |152705 | 19.3 |8184k| 36 | 37 | 231 |6785 | 231 |2453 | 17 |5503 |2362 | 0.000000e+00 | -- | Inf
31.57/31.64 c 31.6s| 8000 | 59 |154425 | 19.3 |8207k| 36 | - | 231 |6845 | 0 | 0 | 17 |5578 |2362 | 0.000000e+00 | -- | Inf
31.88/31.92 c 31.9s| 8100 | 60 |156363 | 19.3 |8225k| 36 | - | 231 |6891 | 231 |2453 | 17 |5633 |2371 | 0.000000e+00 | -- | Inf
32.07/32.19 c 32.2s| 8200 | 60 |158397 | 19.3 |8244k| 37 | 35 | 231 |6936 | 231 |2453 | 17 |5690 |2377 | 0.000000e+00 | -- | Inf
32.37/32.44 c 32.4s| 8300 | 58 |160034 | 19.3 |8258k| 37 | 22 | 231 |6968 | 231 |2453 | 17 |5746 |2387 | 0.000000e+00 | -- | Inf
32.57/32.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.57/32.68 c 32.7s| 8400 | 57 |161801 | 19.2 |8281k| 37 | - | 231 |7008 | 231 |2453 | 17 |5806 |2388 | 0.000000e+00 | -- | Inf
32.88/32.92 c 32.9s| 8500 | 54 |163606 | 19.2 |8293k| 37 | - | 231 |7058 | 231 |2453 | 17 |5865 |2391 | 0.000000e+00 | -- | Inf
33.08/33.16 c 33.2s| 8600 | 60 |165521 | 19.2 |8307k| 37 | 25 | 231 |7068 | 231 |2453 | 17 |5911 |2393 | 0.000000e+00 | -- | Inf
33.28/33.38 c 33.4s| 8700 | 62 |167235 | 19.2 |8325k| 37 | - | 231 |7091 | 231 |2453 | 17 |5959 |2393 | 0.000000e+00 | -- | Inf
33.57/33.61 c 33.6s| 8800 | 63 |169128 | 19.2 |8344k| 37 | - | 231 |7124 | 231 |2453 | 17 |6017 |2393 | 0.000000e+00 | -- | Inf
33.77/33.83 c 33.8s| 8900 | 60 |170929 | 19.2 |8350k| 37 | - | 231 |7160 | 231 |2453 | 17 |6077 |2393 | 0.000000e+00 | -- | Inf
33.98/34.06 c 34.1s| 9000 | 61 |172770 | 19.2 |8362k| 37 | 36 | 231 |7204 | 231 |2453 | 17 |6138 |2393 | 0.000000e+00 | -- | Inf
34.27/34.31 c 34.3s| 9100 | 60 |174762 | 19.2 |8387k| 37 | - | 231 |7267 | 231 |2453 | 17 |6211 |2393 | 0.000000e+00 | -- | Inf
34.47/34.57 c 34.6s| 9200 | 66 |176940 | 19.2 |8419k| 37 | 29 | 231 |7301 | 231 |2453 | 17 |6266 |2393 | 0.000000e+00 | -- | Inf
34.68/34.79 c 34.8s| 9300 | 73 |178700 | 19.2 |8463k| 37 | 16 | 231 |7352 | 231 |2453 | 17 |6329 |2393 | 0.000000e+00 | -- | Inf
34.97/35.04 c 35.0s| 9400 | 68 |180784 | 19.2 |8470k| 37 | - | 231 |7395 | 231 |2453 | 17 |6387 |2393 | 0.000000e+00 | -- | Inf
35.28/35.32 c 35.3s| 9500 | 67 |182661 | 19.2 |8495k| 37 | - | 231 |7438 | 0 | 0 | 17 |6444 |2405 | 0.000000e+00 | -- | Inf
35.47/35.58 c 35.6s| 9600 | 62 |184252 | 19.2 |8493k| 40 | - | 231 |7486 | 231 |2453 | 17 |6508 |2417 | 0.000000e+00 | -- | Inf
35.77/35.89 c 35.9s| 9700 | 60 |186211 | 19.2 |8504k| 40 | - | 231 |7529 | 231 |2453 | 17 |6565 |2434 | 0.000000e+00 | -- | Inf
36.18/36.22 c 36.2s| 9800 | 64 |188167 | 19.2 |8534k| 40 | 38 | 231 |7553 | 231 |2453 | 17 |6615 |2453 | 0.000000e+00 | -- | Inf
36.48/36.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.48/36.50 c 36.5s| 9900 | 64 |190135 | 19.2 |8547k| 40 | 39 | 231 |7583 | 231 |2453 | 17 |6699 |2463 | 0.000000e+00 | -- | Inf
36.67/36.76 c 36.8s| 10000 | 62 |191783 | 19.2 |8560k| 40 | 42 | 231 |7608 | 231 |2453 | 17 |6779 |2471 | 0.000000e+00 | -- | Inf
37.07/37.12 c 37.1s| 10100 | 60 |194039 | 19.2 |8569k| 40 | - | 231 |7627 | 231 |2453 | 17 |6846 |2491 | 0.000000e+00 | -- | Inf
37.28/37.38 c 37.4s| 10200 | 66 |195759 | 19.2 |8590k| 40 | - | 231 |7630 | 231 |2453 | 17 |6911 |2501 | 0.000000e+00 | -- | Inf
37.57/37.64 c 37.6s| 10300 | 66 |197312 | 19.1 |8609k| 40 | 36 | 231 |7687 | 231 |2453 | 17 |6992 |2518 | 0.000000e+00 | -- | Inf
37.87/37.94 c 37.9s| 10400 | 65 |199348 | 19.2 |8626k| 40 | - | 231 |7717 | 231 |2453 | 17 |7047 |2531 | 0.000000e+00 | -- | Inf
38.28/38.30 c 38.3s| 10500 | 70 |201748 | 19.2 |8618k| 40 | 29 | 231 |7654 | 231 |2453 | 17 |7100 |2548 | 0.000000e+00 | -- | Inf
38.57/38.61 c 38.6s| 10600 | 66 |203635 | 19.2 |8615k| 40 | - | 231 |7664 | 231 |2453 | 17 |7152 |2564 | 0.000000e+00 | -- | Inf
38.87/38.90 c 38.9s| 10700 | 66 |205509 | 19.2 |8618k| 40 | - | 231 |7677 | 231 |2453 | 17 |7211 |2578 | 0.000000e+00 | -- | Inf
39.17/39.21 c 39.2s| 10800 | 66 |207413 | 19.2 |8608k| 40 | 34 | 231 |7672 | 231 |2453 | 17 |7279 |2595 | 0.000000e+00 | -- | Inf
39.48/39.54 c 39.5s| 10900 | 66 |209613 | 19.2 |8603k| 40 | 31 | 231 |7644 | 231 |2453 | 17 |7341 |2608 | 0.000000e+00 | -- | Inf
39.78/39.81 c 39.8s| 11000 | 67 |211444 | 19.2 |8610k| 40 | 38 | 231 |7651 | 231 |2453 | 17 |7413 |2618 | 0.000000e+00 | -- | Inf
40.07/40.11 c 40.1s| 11100 | 69 |213738 | 19.2 |8615k| 40 | 27 | 231 |7631 | 231 |2453 | 17 |7481 |2625 | 0.000000e+00 | -- | Inf
40.27/40.32 c 40.3s| 11200 | 69 |215358 | 19.2 |8629k| 40 | - | 231 |7655 | 231 |2453 | 17 |7553 |2625 | 0.000000e+00 | -- | Inf
40.47/40.51 c 40.5s| 11300 | 68 |216886 | 19.2 |8650k| 40 | - | 231 |7719 | 0 | 0 | 17 |7628 |2625 | 0.000000e+00 | -- | Inf
40.67/40.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.67/40.73 c 40.7s| 11400 | 68 |218448 | 19.2 |8669k| 40 | - | 231 |7767 | 231 |2453 | 17 |7692 |2628 | 0.000000e+00 | -- | Inf
40.87/40.94 c 40.9s| 11500 | 69 |219944 | 19.1 |8696k| 40 | 32 | 231 |7834 | 231 |2453 | 17 |7769 |2630 | 0.000000e+00 | -- | Inf
41.07/41.19 c 41.2s| 11600 | 73 |221932 | 19.1 |8726k| 40 | 29 | 231 |7878 | 231 |2453 | 17 |7837 |2634 | 0.000000e+00 | -- | Inf
41.37/41.41 c 41.4s| 11700 | 74 |223499 | 19.1 |8751k| 40 | - | 231 |7921 | 231 |2453 | 17 |7893 |2637 | 0.000000e+00 | -- | Inf
41.57/41.61 c 41.6s| 11800 | 76 |224898 | 19.0 |8773k| 40 | - | 231 |7968 | 231 |2453 | 17 |7957 |2638 | 0.000000e+00 | -- | Inf
41.78/41.84 c 41.8s| 11900 | 79 |226604 | 19.0 |8805k| 40 | - | 231 |8020 | 231 |2453 | 17 |8023 |2640 | 0.000000e+00 | -- | Inf
41.97/42.08 c 42.1s| 12000 | 80 |228467 | 19.0 |8826k| 40 | - | 231 |8067 | 231 |2453 | 17 |8080 |2641 | 0.000000e+00 | -- | Inf
42.27/42.31 c 42.3s| 12100 | 82 |230237 | 19.0 |8856k| 40 | - | 231 |8118 | 231 |2453 | 17 |8151 |2642 | 0.000000e+00 | -- | Inf
42.47/42.54 c 42.5s| 12200 | 86 |232009 | 19.0 |8879k| 40 | 37 | 231 |8160 | 231 |2453 | 17 |8207 |2643 | 0.000000e+00 | -- | Inf
42.67/42.74 c 42.7s| 12300 | 84 |233471 | 19.0 |8892k| 40 | 34 | 231 |8210 | 231 |2453 | 17 |8264 |2643 | 0.000000e+00 | -- | Inf
42.88/42.96 c 43.0s| 12400 | 81 |235104 | 18.9 |8913k| 40 | - | 231 |8276 | 231 |2453 | 17 |8332 |2643 | 0.000000e+00 | -- | Inf
43.07/43.19 c 43.2s| 12500 | 82 |236837 | 18.9 |8934k| 40 | - | 231 |8329 | 231 |2453 | 17 |8389 |2644 | 0.000000e+00 | -- | Inf
43.37/43.44 c 43.4s| 12600 | 84 |238729 | 18.9 |8923k| 40 | - | 231 |8242 | 231 |2453 | 17 |8447 |2645 | 0.000000e+00 | -- | Inf
43.57/43.66 c 43.7s| 12700 | 90 |240466 | 18.9 |8939k| 40 | 25 | 231 |8242 | 231 |2453 | 17 |8507 |2645 | 0.000000e+00 | -- | Inf
43.77/43.89 c 43.9s| 12800 | 86 |242272 | 18.9 |8929k| 40 | 25 | 231 |8236 | 231 |2453 | 17 |8574 |2645 | 0.000000e+00 | -- | Inf
44.07/44.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.07/44.11 c 44.1s| 12900 | 86 |244053 | 18.9 |8932k| 40 | - | 231 |8231 | 231 |2453 | 17 |8641 |2645 | 0.000000e+00 | -- | Inf
44.27/44.34 c 44.3s| 13000 | 83 |245765 | 18.9 |8940k| 40 | - | 231 |8271 | 231 |2453 | 17 |8701 |2645 | 0.000000e+00 | -- | Inf
44.47/44.57 c 44.6s| 13100 | 85 |247606 | 18.9 |8949k| 40 | - | 231 |8281 | 231 |2453 | 17 |8753 |2645 | 0.000000e+00 | -- | Inf
44.67/44.79 c 44.8s| 13200 | 83 |249320 | 18.9 |8959k| 40 | - | 231 |8313 | 231 |2453 | 17 |8808 |2645 | 0.000000e+00 | -- | Inf
44.98/45.03 c 45.0s| 13300 | 86 |251148 | 18.9 |8955k| 40 | 28 | 231 |8258 | 231 |2453 | 17 |8875 |2645 | 0.000000e+00 | -- | Inf
45.17/45.26 c 45.3s| 13400 | 84 |252871 | 18.9 |8937k| 40 | - | 231 |8196 | 231 |2453 | 17 |8936 |2645 | 0.000000e+00 | -- | Inf
45.47/45.52 c 45.5s| 13500 | 84 |254917 | 18.9 |8935k| 40 | - | 231 |8146 | 231 |2453 | 17 |9011 |2645 | 0.000000e+00 | -- | Inf
45.67/45.75 c 45.7s| 13600 | 88 |256676 | 18.9 |8936k| 42 | 20 | 231 |8093 | 231 |2453 | 17 |9072 |2645 | 0.000000e+00 | -- | Inf
45.87/45.96 c 46.0s| 13700 | 96 |258364 | 18.8 |8934k| 42 | 23 | 231 |8009 | 231 |2453 | 17 |9119 |2645 | 0.000000e+00 | -- | Inf
46.08/46.19 c 46.2s| 13800 | 94 |260247 | 18.8 |8936k| 42 | - | 231 |8013 | 231 |2453 | 17 |9189 |2645 | 0.000000e+00 | -- | Inf
46.38/46.41 c 46.4s| 13900 | 96 |261962 | 18.8 |8945k| 42 | 33 | 231 |8025 | 231 |2453 | 17 |9252 |2645 | 0.000000e+00 | -- | Inf
46.58/46.63 c 46.6s| 14000 | 93 |263674 | 18.8 |8947k| 42 | - | 231 |8030 | 231 |2453 | 17 |9310 |2645 | 0.000000e+00 | -- | Inf
46.77/46.83 c 46.8s| 14100 | 97 |265282 | 18.8 |8969k| 42 | - | 231 |8069 | 231 |2453 | 17 |9367 |2645 | 0.000000e+00 | -- | Inf
46.97/47.07 c 47.1s| 14200 | 103 |267294 | 18.8 |8998k| 42 | 27 | 231 |8110 | 231 |2453 | 17 |9425 |2645 | 0.000000e+00 | -- | Inf
47.18/47.29 c 47.3s| 14300 | 96 |268934 | 18.8 |9004k| 42 | 34 | 231 |8168 | 231 |2453 | 17 |9490 |2645 | 0.000000e+00 | -- | Inf
47.47/47.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.47/47.55 c 47.5s| 14400 | 102 |271105 | 18.8 |9031k| 42 | 36 | 231 |8187 | 231 |2453 | 17 |9556 |2645 | 0.000000e+00 | -- | Inf
47.67/47.79 c 47.8s| 14500 | 104 |273037 | 18.8 |9054k| 42 | 25 | 231 |8230 | 231 |2453 | 17 |9627 |2645 | 0.000000e+00 | -- | Inf
47.97/48.02 c 48.0s| 14600 | 99 |274871 | 18.8 |9067k| 42 | - | 231 |8281 | 231 |2453 | 17 |9692 |2645 | 0.000000e+00 | -- | Inf
48.17/48.26 c 48.3s| 14700 | 100 |276805 | 18.8 |9085k| 42 | 29 | 231 |8327 | 231 |2453 | 17 |9754 |2645 | 0.000000e+00 | -- | Inf
48.37/48.48 c 48.5s| 14800 | 96 |278578 | 18.8 |9098k| 42 | - | 231 |8386 | 231 |2453 | 17 |9823 |2645 | 0.000000e+00 | -- | Inf
48.67/48.72 c 48.7s| 14900 | 97 |280424 | 18.8 |9125k| 42 | - | 231 |8435 | 231 |2453 | 17 |9896 |2645 | 0.000000e+00 | -- | Inf
48.87/48.99 c 49.0s| 15000 | 99 |282653 | 18.8 |9147k| 42 | 32 | 231 |8483 | 231 |2453 | 17 |9954 |2645 | 0.000000e+00 | -- | Inf
49.17/49.23 c 49.2s| 15100 | 96 |284565 | 18.8 |9144k| 42 | 37 | 231 |8455 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
49.38/49.49 c 49.5s| 15200 | 98 |286476 | 18.8 |9123k| 42 | 41 | 231 |8292 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
49.67/49.72 c 49.7s| 15300 | 98 |288317 | 18.8 |9123k| 43 | 45 | 231 |8276 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
49.87/49.97 c 50.0s| 15400 | 96 |290227 | 18.8 |9081k| 43 | - | 231 |8136 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
50.17/50.24 c 50.2s| 15500 | 96 |292349 | 18.9 |9061k| 43 | - | 231 |8068 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
50.37/50.48 c 50.5s| 15600 | 102 |294201 | 18.9 |9039k| 43 | - | 231 |7931 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
50.67/50.73 c 50.7s| 15700 | 106 |296223 | 18.9 |9023k| 43 | 39 | 231 |7850 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
50.87/50.97 c 51.0s| 15800 | 105 |298128 | 18.9 |9044k| 43 | - | 231 |7878 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
51.17/51.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.17/51.23 c 51.2s| 15900 | 101 |300109 | 18.9 |9036k| 43 | 40 | 231 |7883 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
51.37/51.46 c 51.5s| 16000 | 103 |302051 | 18.9 |9064k| 43 | - | 231 |7935 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
51.68/51.70 c 51.7s| 16100 | 95 |303834 | 18.9 |9046k| 43 | 41 | 231 |7927 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
51.87/51.95 c 52.0s| 16200 | 97 |305775 | 18.9 |9047k| 43 | - | 231 |7847 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
52.17/52.23 c 52.2s| 16300 | 107 |308020 | 18.9 |9052k| 43 | 43 | 231 |7799 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
52.37/52.48 c 52.5s| 16400 | 111 |310066 | 18.9 |9073k| 43 | 36 | 231 |7827 | 231 |2453 | 17 | 10k|2645 | 0.000000e+00 | -- | Inf
52.68/52.76 c 52.8s| 16500 | 113 |312485 | 18.9 |9098k| 43 | - | 231 |7854 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
52.97/53.02 c 53.0s| 16600 | 121 |314660 | 18.9 |9139k| 43 | 28 | 231 |7911 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
53.17/53.28 c 53.3s| 16700 | 117 |316739 | 19.0 |9144k| 43 | 34 | 231 |7937 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
53.37/53.49 c 53.5s| 16800 | 116 |318474 | 18.9 |9164k| 43 | 41 | 231 |8005 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
53.67/53.78 c 53.8s| 16900 | 114 |320820 | 19.0 |9188k| 43 | - | 231 |8056 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
53.97/54.04 c 54.0s| 17000 | 116 |322863 | 19.0 |9194k| 43 | 24 | 231 |8065 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
54.27/54.31 c 54.3s| 17100 | 120 |325034 | 19.0 |9219k| 43 | 42 | 231 |8109 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
54.47/54.57 c 54.6s| 17200 | 120 |327094 | 19.0 |9218k| 43 | 35 | 231 |8113 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
54.67/54.79 c 54.8s| 17300 | 120 |328817 | 19.0 |9242k| 43 | - | 231 |8149 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
54.98/55.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.98/55.04 c 55.0s| 17400 | 120 |330728 | 19.0 |9245k| 43 | 37 | 231 |8173 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
55.17/55.29 c 55.3s| 17500 | 122 |332643 | 19.0 |9227k| 43 | - | 231 |8080 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
55.37/55.50 c 55.5s| 17600 | 121 |334193 | 19.0 |9235k| 43 | - | 231 |8099 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
55.67/55.71 c 55.7s| 17700 | 119 |335836 | 19.0 |9238k| 43 | - | 231 |8138 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
55.87/55.92 c 55.9s| 17800 | 126 |337306 | 18.9 |9262k| 43 | - | 231 |8163 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
56.07/56.16 c 56.2s| 17900 | 121 |339155 | 18.9 |9268k| 43 | - | 231 |8199 | 231 |2453 | 17 | 11k|2645 | 0.000000e+00 | -- | Inf
56.37/56.42 c 56.4s| 18000 | 120 |341210 | 18.9 |9283k| 43 | - | 231 |8239 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
56.57/56.67 c 56.7s| 18100 | 120 |343175 | 19.0 |9255k| 43 | - | 231 |8157 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
56.77/56.89 c 56.9s| 18200 | 122 |344839 | 18.9 |9269k| 43 | 45 | 231 |8177 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
57.08/57.12 c 57.1s| 18300 | 124 |346546 | 18.9 |9283k| 43 | - | 231 |8179 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
57.27/57.33 c 57.3s| 18400 | 120 |348032 | 18.9 |9271k| 43 | - | 231 |8176 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
57.47/57.59 c 57.6s| 18500 | 122 |350121 | 18.9 |9219k| 43 | - | 231 |7980 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
57.77/57.84 c 57.8s| 18600 | 122 |351957 | 18.9 |9189k| 43 | - | 231 |7863 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
57.97/58.10 c 58.1s| 18700 | 125 |353926 | 18.9 |9153k| 43 | 39 | 231 |7742 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
58.27/58.34 c 58.3s| 18800 | 123 |355866 | 18.9 |9132k| 43 | 22 | 231 |7672 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
58.47/58.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.47/58.55 c 58.6s| 18900 | 123 |357414 | 18.9 |9128k| 43 | 26 | 231 |7666 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
58.66/58.79 c 58.8s| 19000 | 124 |359322 | 18.9 |9143k| 43 | 17 | 231 |7700 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
58.97/59.04 c 59.0s| 19100 | 123 |361202 | 18.9 |9110k| 43 | - | 231 |7568 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
59.17/59.28 c 59.3s| 19200 | 125 |363125 | 18.9 |9091k| 43 | - | 231 |7486 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
59.47/59.53 c 59.5s| 19300 | 124 |365027 | 18.9 |9069k| 43 | 37 | 231 |7432 | 231 |2453 | 17 | 12k|2645 | 0.000000e+00 | -- | Inf
59.66/59.79 c 59.8s| 19400 | 122 |367022 | 18.9 |9061k| 43 | - | 231 |7393 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
59.97/60.05 c 60.0s| 19500 | 123 |369112 | 18.9 |9016k| 43 | 32 | 231 |7241 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
60.27/60.32 c 60.3s| 19600 | 119 |371169 | 18.9 |8963k| 43 | - | 231 |7081 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
60.48/60.56 c 60.6s| 19700 | 122 |373067 | 18.9 |8950k| 43 | 32 | 231 |7041 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
60.76/60.82 c 60.8s| 19800 | 127 |375200 | 18.9 |8965k| 43 | 33 | 231 |7052 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
60.97/61.07 c 61.1s| 19900 | 125 |377223 | 18.9 |8978k| 43 | - | 231 |7078 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
61.27/61.31 c 61.3s| 20000 | 125 |379164 | 19.0 |9005k| 43 | - | 231 |7139 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
61.47/61.55 c 61.5s| 20100 | 125 |381011 | 18.9 |9026k| 43 | - | 231 |7191 | 0 | 0 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
61.67/61.79 c 61.8s| 20200 | 122 |382849 | 18.9 |9007k| 43 | 32 | 231 |7147 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
61.97/62.06 c 62.1s| 20300 | 120 |385063 | 19.0 |8986k| 43 | 36 | 231 |7086 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
62.27/62.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.27/62.33 c 62.3s| 20400 | 120 |387123 | 19.0 |8953k| 43 | 29 | 231 |6965 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
62.47/62.56 c 62.6s| 20500 | 118 |389005 | 19.0 |8936k| 43 | - | 231 |6913 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
62.77/62.81 c 62.8s| 20600 | 117 |390878 | 19.0 |8902k| 43 | - | 231 |6827 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
62.97/63.06 c 63.1s| 20700 | 119 |392805 | 19.0 |8879k| 43 | - | 231 |6737 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
63.27/63.30 c 63.3s| 20800 | 121 |394716 | 19.0 |8873k| 43 | 39 | 231 |6731 | 231 |2453 | 17 | 13k|2645 | 0.000000e+00 | -- | Inf
63.47/63.55 c 63.6s| 20900 | 121 |396748 | 19.0 |8884k| 43 | - | 231 |6746 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
63.78/63.81 c 63.8s| 21000 | 119 |398846 | 19.0 |8893k| 43 | - | 231 |6779 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
63.97/64.07 c 64.1s| 21100 | 119 |400902 | 19.0 |8899k| 43 | 38 | 231 |6824 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
64.27/64.34 c 64.3s| 21200 | 123 |403074 | 19.0 |8906k| 43 | 34 | 231 |6812 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
64.47/64.55 c 64.6s| 21300 | 121 |404575 | 19.0 |8909k| 43 | 39 | 231 |6828 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
64.67/64.78 c 64.8s| 21400 | 123 |406382 | 19.0 |8926k| 43 | 23 | 231 |6857 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
64.97/65.01 c 65.0s| 21500 | 123 |408168 | 19.0 |8937k| 43 | 32 | 231 |6880 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
65.17/65.24 c 65.2s| 21600 | 125 |409947 | 19.0 |8928k| 43 | - | 231 |6830 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
65.37/65.44 c 65.4s| 21700 | 125 |411297 | 18.9 |8911k| 43 | - | 231 |6779 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
65.57/65.65 c 65.7s| 21800 | 125 |412798 | 18.9 |8890k| 43 | - | 231 |6726 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
65.77/65.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.77/65.86 c 65.9s| 21900 | 129 |414246 | 18.9 |8884k| 43 | 27 | 231 |6687 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
65.97/66.07 c 66.1s| 22000 | 127 |415834 | 18.9 |8888k| 43 | - | 231 |6699 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
66.26/66.31 c 66.3s| 22100 | 125 |417667 | 18.9 |8885k| 43 | 43 | 231 |6705 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
66.47/66.57 c 66.6s| 22200 | 123 |419631 | 18.9 |8870k| 43 | - | 231 |6662 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
66.77/66.83 c 66.8s| 22300 | 131 |421776 | 18.9 |8904k| 43 | - | 231 |6697 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
66.97/67.07 c 67.1s| 22400 | 134 |423741 | 18.9 |8916k| 43 | 38 | 231 |6709 | 231 |2453 | 17 | 14k|2645 | 0.000000e+00 | -- | Inf
67.27/67.31 c 67.3s| 22500 | 132 |425617 | 18.9 |8931k| 43 | 34 | 231 |6749 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
67.47/67.55 c 67.5s| 22600 | 130 |427419 | 18.9 |8933k| 43 | - | 231 |6743 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
67.77/67.80 c 67.8s| 22700 | 133 |429504 | 18.9 |8947k| 43 | - | 231 |6754 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
67.97/68.03 c 68.0s| 22800 | 126 |431290 | 18.9 |8931k| 43 | - | 231 |6774 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
68.18/68.26 c 68.3s| 22900 | 130 |433155 | 18.9 |8944k| 43 | 39 | 231 |6781 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
68.37/68.48 c 68.5s| 23000 | 128 |434858 | 18.9 |8948k| 43 | - | 231 |6788 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
68.66/68.75 c 68.7s| 23100 | 123 |436949 | 18.9 |8929k| 43 | - | 231 |6774 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
68.87/68.97 c 69.0s| 23200 | 128 |438834 | 18.9 |8955k| 43 | 30 | 231 |6813 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
69.17/69.22 c 69.2s| 23300 | 128 |440862 | 18.9 |8968k| 45 | - | 231 |6839 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
69.37/69.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.37/69.47 c 69.5s| 23400 | 133 |442962 | 18.9 |8995k| 45 | 36 | 231 |6891 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
69.67/69.75 c 69.7s| 23500 | 137 |445254 | 18.9 |9024k| 45 | 41 | 231 |6930 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
69.97/70.04 c 70.0s| 23600 | 137 |447753 | 19.0 |9047k| 45 | 41 | 231 |6974 | 231 |2453 | 17 | 15k|2645 | 0.000000e+00 | -- | Inf
70.28/70.40 c 70.4s| 23700 | 135 |450098 | 19.0 |9060k| 45 | - | 231 |6996 | 231 |2453 | 17 | 15k|2663 | 0.000000e+00 | -- | Inf
70.67/70.73 c 70.7s| 23800 | 137 |452545 | 19.0 |9072k| 45 | 37 | 231 |7027 | 231 |2453 | 17 | 15k|2672 | 0.000000e+00 | -- | Inf
71.07/71.10 c 71.1s| 23900 | 141 |455229 | 19.0 |9094k| 45 | 37 | 231 |7049 | 231 |2453 | 17 | 15k|2689 | 0.000000e+00 | -- | Inf
71.37/71.45 c 71.5s| 24000 | 137 |457634 | 19.1 |9093k| 45 | - | 231 |7059 | 231 |2453 | 17 | 16k|2704 | 0.000000e+00 | -- | Inf
71.76/71.81 c 71.8s| 24100 | 137 |460050 | 19.1 |9098k| 45 | 28 | 231 |7086 | 231 |2453 | 17 | 16k|2717 | 0.000000e+00 | -- | Inf
72.07/72.19 c 72.2s| 24200 | 137 |462466 | 19.1 |9114k| 45 | 43 | 231 |7100 | 231 |2453 | 17 | 16k|2739 | 0.000000e+00 | -- | Inf
72.36/72.48 c 72.5s| 24300 | 137 |464450 | 19.1 |9115k| 45 | 30 | 231 |7068 | 231 |2453 | 17 | 16k|2747 | 0.000000e+00 | -- | Inf
72.77/72.80 c 72.8s| 24400 | 141 |466505 | 19.1 |9127k| 45 | - | 231 |7044 | 0 | 0 | 17 | 16k|2763 | 0.000000e+00 | -- | Inf
73.07/73.12 c 73.1s| 24500 | 139 |468618 | 19.1 |9120k| 45 | - | 231 |7042 | 231 |2453 | 17 | 16k|2777 | 0.000000e+00 | -- | Inf
73.36/73.47 c 73.5s| 24600 | 138 |470874 | 19.1 |9104k| 45 | - | 231 |7013 | 231 |2453 | 17 | 16k|2793 | 0.000000e+00 | -- | Inf
73.57/73.70 c 73.7s| 24700 | 138 |472455 | 19.1 |9107k| 45 | 34 | 231 |7030 | 231 |2453 | 17 | 16k|2796 | 0.000000e+00 | -- | Inf
73.97/74.02 c 74.0s| 24800 | 138 |474685 | 19.1 |9103k| 45 | - | 231 |7010 | 0 | 0 | 17 | 16k|2808 | 0.000000e+00 | -- | Inf
74.26/74.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.26/74.30 c 74.3s| 24900 | 139 |476644 | 19.1 |9113k| 45 | - | 231 |7037 | 231 |2453 | 17 | 16k|2814 | 0.000000e+00 | -- | Inf
74.47/74.53 c 74.5s| 25000 | 140 |478412 | 19.1 |9127k| 45 | - | 231 |7064 | 231 |2453 | 17 | 16k|2816 | 0.000000e+00 | -- | Inf
74.67/74.75 c 74.7s| 25100 | 141 |479927 | 19.1 |9140k| 45 | 31 | 231 |7109 | 231 |2453 | 17 | 16k|2817 | 0.000000e+00 | -- | Inf
74.96/75.01 c 75.0s| 25200 | 138 |481815 | 19.1 |9158k| 45 | - | 231 |7157 | 231 |2453 | 17 | 16k|2823 | 0.000000e+00 | -- | Inf
75.17/75.26 c 75.3s| 25300 | 138 |483746 | 19.1 |9164k| 45 | 34 | 231 |7200 | 231 |2453 | 17 | 16k|2823 | 0.000000e+00 | -- | Inf
75.46/75.52 c 75.5s| 25400 | 136 |485712 | 19.1 |9174k| 45 | 38 | 231 |7237 | 231 |2453 | 17 | 17k|2827 | 0.000000e+00 | -- | Inf
75.67/75.79 c 75.8s| 25500 | 140 |487883 | 19.1 |9209k| 45 | - | 231 |7289 | 231 |2453 | 17 | 17k|2829 | 0.000000e+00 | -- | Inf
75.97/76.00 c 76.0s| 25600 | 140 |489569 | 19.1 |9226k| 45 | 35 | 231 |7346 | 231 |2453 | 17 | 17k|2830 | 0.000000e+00 | -- | Inf
76.17/76.26 c 76.3s| 25700 | 140 |491682 | 19.1 |9248k| 45 | 39 | 231 |7411 | 231 |2453 | 17 | 17k|2830 | 0.000000e+00 | -- | Inf
76.46/76.53 c 76.5s| 25800 | 136 |493819 | 19.1 |9249k| 45 | 41 | 231 |7437 | 231 |2453 | 17 | 17k|2830 | 0.000000e+00 | -- | Inf
76.67/76.76 c 76.8s| 25900 | 139 |495524 | 19.1 |9257k| 45 | - | 231 |7406 | 0 | 0 | 17 | 17k|2830 | 0.000000e+00 | -- | Inf
76.87/76.98 c 77.0s| 26000 | 137 |497149 | 19.1 |9240k| 45 | 32 | 231 |7379 | 231 |2453 | 17 | 17k|2830 | 0.000000e+00 | -- | Inf
77.16/77.21 c 77.2s| 26100 | 134 |498860 | 19.1 |9224k| 45 | 28 | 231 |7362 | 231 |2453 | 17 | 17k|2830 | 0.000000e+00 | -- | Inf
77.36/77.46 c 77.5s| 26200 | 134 |500790 | 19.1 |9205k| 45 | 44 | 231 |7312 | 231 |2453 | 17 | 17k|2830 | 0.000000e+00 | -- | Inf
77.67/77.72 c 77.7s| 26300 | 136 |502870 | 19.1 |9199k| 45 | - | 231 |7274 | 231 |2453 | 17 | 17k|2830 | 0.000000e+00 | -- | Inf
77.86/77.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.86/77.98 c 78.0s| 26400 | 134 |504941 | 19.1 |9181k| 45 | - | 231 |7236 | 231 |2453 | 17 | 17k|2830 | 0.000000e+00 | -- | Inf
78.16/78.24 c 78.2s| 26500 | 137 |506979 | 19.1 |9179k| 45 | - | 231 |7185 | 231 |2453 | 17 | 17k|2830 | 0.000000e+00 | -- | Inf
78.47/78.50 c 78.5s| 26600 | 139 |508997 | 19.1 |9165k| 45 | 41 | 231 |7120 | 231 |2453 | 17 | 17k|2830 | 0.000000e+00 | -- | Inf
78.77/78.81 c 78.8s| 26700 | 143 |510915 | 19.1 |9178k| 45 | - | 231 |7112 | 231 |2453 | 17 | 17k|2847 | 0.000000e+00 | -- | Inf
79.07/79.14 c 79.1s| 26800 | 144 |513052 | 19.1 |9188k| 45 | - | 231 |7136 | 231 |2453 | 17 | 17k|2859 | 0.000000e+00 | -- | Inf
79.37/79.44 c 79.4s| 26900 | 144 |515075 | 19.1 |9207k| 45 | - | 231 |7160 | 0 | 0 | 17 | 18k|2868 | 0.000000e+00 | -- | Inf
79.67/79.74 c 79.7s| 27000 | 143 |517159 | 19.1 |9189k| 45 | 32 | 231 |7152 | 231 |2453 | 17 | 18k|2879 | 0.000000e+00 | -- | Inf
79.96/80.06 c 80.1s| 27100 | 141 |519219 | 19.2 |9194k| 45 | 43 | 231 |7184 | 231 |2453 | 17 | 18k|2894 | 0.000000e+00 | -- | Inf
80.27/80.38 c 80.4s| 27200 | 143 |521255 | 19.2 |9217k| 45 | - | 231 |7215 | 231 |2453 | 17 | 18k|2909 | 0.000000e+00 | -- | Inf
80.56/80.68 c 80.7s| 27300 | 140 |523278 | 19.2 |9214k| 45 | - | 231 |7226 | 231 |2453 | 17 | 18k|2919 | 0.000000e+00 | -- | Inf
80.97/81.01 c 81.0s| 27400 | 140 |525350 | 19.2 |9195k| 45 | - | 231 |7175 | 231 |2453 | 17 | 18k|2936 | 0.000000e+00 | -- | Inf
81.16/81.29 c 81.3s| 27500 | 140 |527172 | 19.2 |9195k| 45 | 42 | 231 |7178 | 231 |2453 | 17 | 18k|2946 | 0.000000e+00 | -- | Inf
81.57/81.60 c 81.6s| 27600 | 139 |529136 | 19.2 |9209k| 45 | - | 231 |7210 | 231 |2453 | 17 | 18k|2958 | 0.000000e+00 | -- | Inf
81.87/81.91 c 81.9s| 27700 | 138 |531180 | 19.2 |9204k| 45 | 42 | 231 |7206 | 231 |2453 | 17 | 18k|2971 | 0.000000e+00 | -- | Inf
82.16/82.22 c 82.2s| 27800 | 136 |533085 | 19.2 |9191k| 45 | 42 | 231 |7189 | 231 |2453 | 17 | 18k|2986 | 0.000000e+00 | -- | Inf
82.37/82.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.37/82.50 c 82.5s| 27900 | 136 |535009 | 19.2 |9195k| 45 | - | 231 |7160 | 0 | 0 | 17 | 18k|2994 | 0.000000e+00 | -- | Inf
82.67/82.78 c 82.8s| 28000 | 141 |536755 | 19.2 |9203k| 45 | 33 | 231 |7181 | 231 |2453 | 17 | 18k|3004 | 0.000000e+00 | -- | Inf
82.96/83.07 c 83.1s| 28100 | 141 |538784 | 19.2 |9214k| 45 | 37 | 231 |7214 | 231 |2453 | 17 | 18k|3013 | 0.000000e+00 | -- | Inf
83.27/83.32 c 83.3s| 28200 | 138 |540823 | 19.2 |9229k| 45 | 33 | 231 |7279 | 231 |2453 | 17 | 18k|3013 | 0.000000e+00 | -- | Inf
83.47/83.59 c 83.6s| 28300 | 139 |542832 | 19.2 |9238k| 46 | 35 | 231 |7285 | 231 |2453 | 17 | 19k|3018 | 0.000000e+00 | -- | Inf
83.77/83.84 c 83.8s| 28400 | 139 |544749 | 19.2 |9240k| 46 | - | 231 |7271 | 231 |2453 | 17 | 19k|3018 | 0.000000e+00 | -- | Inf
84.06/84.11 c 84.1s| 28500 | 149 |546920 | 19.2 |9237k| 46 | 32 | 231 |7202 | 231 |2453 | 17 | 19k|3019 | 0.000000e+00 | -- | Inf
84.37/84.40 c 84.4s| 28600 | 151 |549280 | 19.2 |9266k| 46 | 43 | 231 |7262 | 231 |2453 | 17 | 19k|3019 | 0.000000e+00 | -- | Inf
84.57/84.66 c 84.7s| 28700 | 150 |551438 | 19.2 |9289k| 46 | - | 231 |7320 | 231 |2453 | 17 | 19k|3019 | 0.000000e+00 | -- | Inf
84.87/84.94 c 84.9s| 28800 | 150 |553797 | 19.2 |9317k| 46 | - | 231 |7400 | 231 |2453 | 17 | 19k|3019 | 0.000000e+00 | -- | Inf
85.06/85.19 c 85.2s| 28900 | 152 |555692 | 19.2 |9354k| 46 | - | 231 |7485 | 0 | 0 | 17 | 19k|3019 | 0.000000e+00 | -- | Inf
85.37/85.47 c 85.5s| 29000 | 154 |557948 | 19.2 |9380k| 46 | 32 | 231 |7555 | 231 |2453 | 17 | 19k|3019 | 0.000000e+00 | -- | Inf
85.67/85.75 c 85.8s| 29100 | 158 |560343 | 19.3 |9404k| 46 | 37 | 231 |7570 | 231 |2453 | 17 | 19k|3019 | 0.000000e+00 | -- | Inf
85.96/86.04 c 86.0s| 29200 | 155 |562780 | 19.3 |9415k| 46 | 32 | 231 |7610 | 231 |2453 | 17 | 19k|3019 | 0.000000e+00 | -- | Inf
86.27/86.35 c 86.3s| 29300 | 151 |565396 | 19.3 |9419k| 46 | - | 231 |7631 | 231 |2453 | 17 | 19k|3019 | 0.000000e+00 | -- | Inf
86.46/86.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.46/86.59 c 86.6s| 29400 | 152 |567327 | 19.3 |9427k| 46 | - | 231 |7623 | 231 |2453 | 17 | 19k|3019 | 0.000000e+00 | -- | Inf
86.77/86.83 c 86.8s| 29500 | 152 |569128 | 19.3 |9445k| 46 | - | 231 |7653 | 0 | 0 | 17 | 19k|3019 | 0.000000e+00 | -- | Inf
86.96/87.09 c 87.1s| 29600 | 154 |571300 | 19.3 |9451k| 46 | 42 | 231 |7676 | 231 |2453 | 17 | 19k|3019 | 0.000000e+00 | -- | Inf
87.27/87.36 c 87.4s| 29700 | 151 |573496 | 19.3 |9460k| 46 | - | 231 |7688 | 231 |2453 | 17 | 20k|3021 | 0.000000e+00 | -- | Inf
87.66/87.70 c 87.7s| 29800 | 151 |575662 | 19.3 |9453k| 46 | 33 | 231 |7695 | 231 |2453 | 17 | 20k|3039 | 0.000000e+00 | -- | Inf
87.97/88.02 c 88.0s| 29900 | 151 |577602 | 19.3 |9462k| 46 | 30 | 231 |7712 | 231 |2453 | 17 | 20k|3052 | 0.000000e+00 | -- | Inf
88.27/88.33 c 88.3s| 30000 | 143 |579739 | 19.3 |9441k| 46 | - | 231 |7710 | 231 |2453 | 17 | 20k|3061 | 0.000000e+00 | -- | Inf
88.56/88.61 c 88.6s| 30100 | 143 |581378 | 19.3 |9429k| 46 | - | 231 |7683 | 231 |2453 | 17 | 20k|3070 | 0.000000e+00 | -- | Inf
88.86/88.92 c 88.9s| 30200 | 145 |583447 | 19.3 |9409k| 46 | 40 | 231 |7616 | 231 |2453 | 17 | 20k|3080 | 0.000000e+00 | -- | Inf
89.17/89.22 c 89.2s| 30300 | 147 |585649 | 19.3 |9415k| 46 | 28 | 231 |7610 | 231 |2453 | 17 | 20k|3090 | 0.000000e+00 | -- | Inf
89.47/89.51 c 89.5s| 30400 | 149 |587476 | 19.3 |9425k| 46 | - | 231 |7601 | 231 |2453 | 17 | 20k|3100 | 0.000000e+00 | -- | Inf
89.76/89.84 c 89.8s| 30500 | 150 |589445 | 19.3 |9394k| 46 | 29 | 231 |7537 | 231 |2453 | 17 | 20k|3115 | 0.000000e+00 | -- | Inf
89.96/90.09 c 90.1s| 30600 | 154 |591104 | 19.3 |9407k| 46 | 33 | 231 |7532 | 231 |2453 | 17 | 20k|3123 | 0.000000e+00 | -- | Inf
90.27/90.36 c 90.4s| 30700 | 156 |592909 | 19.3 |9407k| 46 | 26 | 231 |7525 | 231 |2453 | 17 | 20k|3134 | 0.000000e+00 | -- | Inf
90.56/90.65 c 90.6s| 30800 | 152 |594774 | 19.3 |9414k| 46 | - | 231 |7564 | 231 |2453 | 17 | 20k|3147 | 0.000000e+00 | -- | Inf
90.86/90.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.86/90.93 c 90.9s| 30900 | 155 |596522 | 19.3 |9414k| 46 | - | 231 |7540 | 231 |2453 | 17 | 20k|3161 | 0.000000e+00 | -- | Inf
91.17/91.26 c 91.3s| 31000 | 159 |598504 | 19.3 |9409k| 46 | 26 | 231 |7497 | 231 |2453 | 17 | 20k|3177 | 0.000000e+00 | -- | Inf
91.36/91.49 c 91.5s| 31100 | 163 |600111 | 19.3 |9418k| 46 | 41 | 231 |7492 | 231 |2453 | 17 | 20k|3182 | 0.000000e+00 | -- | Inf
91.67/91.79 c 91.8s| 31200 | 165 |602012 | 19.3 |9419k| 46 | 45 | 231 |7479 | 231 |2453 | 17 | 20k|3194 | 0.000000e+00 | -- | Inf
92.07/92.10 c 92.1s| 31300 | 173 |604068 | 19.3 |9456k| 46 | - | 231 |7518 | 231 |2453 | 17 | 21k|3208 | 0.000000e+00 | -- | Inf
92.37/92.43 c 92.4s| 31400 | 175 |606101 | 19.3 |9477k| 46 | 31 | 231 |7568 | 231 |2453 | 17 | 21k|3225 | 0.000000e+00 | -- | Inf
92.66/92.73 c 92.7s| 31500 | 172 |608138 | 19.3 |9489k| 46 | 43 | 231 |7621 | 231 |2453 | 17 | 21k|3236 | 0.000000e+00 | -- | Inf
92.97/93.06 c 93.1s| 31600 | 171 |610159 | 19.3 |9508k| 46 | - | 231 |7674 | 231 |2453 | 17 | 21k|3252 | 0.000000e+00 | -- | Inf
93.27/93.36 c 93.4s| 31700 | 173 |612286 | 19.3 |9520k| 46 | 37 | 231 |7692 | 231 |2453 | 17 | 21k|3261 | 0.000000e+00 | -- | Inf
93.56/93.66 c 93.7s| 31800 | 173 |614690 | 19.3 |9538k| 46 | 36 | 231 |7729 | 231 |2453 | 17 | 21k|3263 | 0.000000e+00 | -- | Inf
93.87/93.94 c 93.9s| 31900 | 172 |616867 | 19.3 |9553k| 46 | - | 231 |7764 | 231 |2453 | 17 | 21k|3264 | 0.000000e+00 | -- | Inf
94.17/94.22 c 94.2s| 32000 | 170 |618912 | 19.3 |9567k| 46 | - | 231 |7812 | 231 |2453 | 17 | 21k|3270 | 0.000000e+00 | -- | Inf
94.36/94.50 c 94.5s| 32100 | 171 |621101 | 19.3 |9579k| 46 | 36 | 231 |7845 | 231 |2453 | 17 | 21k|3273 | 0.000000e+00 | -- | Inf
94.67/94.75 c 94.7s| 32200 | 174 |623166 | 19.3 |9597k| 46 | - | 231 |7855 | 231 |2453 | 17 | 21k|3273 | 0.000000e+00 | -- | Inf
94.86/94.99 c 95.0s| 32300 | 174 |625170 | 19.4 |9595k| 46 | 28 | 231 |7843 | 231 |2453 | 17 | 21k|3273 | 0.000000e+00 | -- | Inf
95.16/95.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.16/95.25 c 95.2s| 32400 | 168 |627255 | 19.4 |9590k| 46 | 38 | 231 |7862 | 231 |2453 | 17 | 21k|3273 | 0.000000e+00 | -- | Inf
95.47/95.53 c 95.5s| 32500 | 165 |629519 | 19.4 |9601k| 49 | 45 | 231 |7912 | 231 |2453 | 17 | 21k|3274 | 0.000000e+00 | -- | Inf
95.67/95.78 c 95.8s| 32600 | 167 |631428 | 19.4 |9610k| 49 | 26 | 231 |7911 | 231 |2453 | 17 | 21k|3275 | 0.000000e+00 | -- | Inf
95.86/95.98 c 96.0s| 32700 | 166 |632988 | 19.4 |9626k| 49 | - | 231 |7964 | 231 |2453 | 17 | 21k|3275 | 0.000000e+00 | -- | Inf
96.17/96.22 c 96.2s| 32800 | 166 |634771 | 19.3 |9639k| 49 | - | 231 |8006 | 231 |2453 | 17 | 21k|3276 | 0.000000e+00 | -- | Inf
96.36/96.48 c 96.5s| 32900 | 167 |636845 | 19.4 |9646k| 49 | - | 231 |8033 | 231 |2453 | 17 | 22k|3276 | 0.000000e+00 | -- | Inf
96.67/96.75 c 96.7s| 33000 | 166 |638939 | 19.4 |9643k| 49 | 43 | 231 |8042 | 231 |2453 | 17 | 22k|3277 | 0.000000e+00 | -- | Inf
96.87/96.99 c 97.0s| 33100 | 167 |640763 | 19.4 |9637k| 49 | 28 | 231 |8004 | 231 |2453 | 17 | 22k|3277 | 0.000000e+00 | -- | Inf
97.16/97.23 c 97.2s| 33200 | 163 |642585 | 19.4 |9614k| 49 | 42 | 231 |7974 | 231 |2453 | 17 | 22k|3277 | 0.000000e+00 | -- | Inf
97.36/97.46 c 97.5s| 33300 | 163 |644334 | 19.3 |9625k| 49 | - | 231 |7990 | 231 |2453 | 17 | 22k|3278 | 0.000000e+00 | -- | Inf
97.66/97.73 c 97.7s| 33400 | 165 |646531 | 19.4 |9650k| 49 | - | 231 |8044 | 231 |2453 | 17 | 22k|3278 | 0.000000e+00 | -- | Inf
97.87/97.99 c 98.0s| 33500 | 167 |648647 | 19.4 |9645k| 49 | 38 | 231 |8008 | 231 |2453 | 17 | 22k|3278 | 0.000000e+00 | -- | Inf
98.16/98.28 c 98.3s| 33600 | 169 |650982 | 19.4 |9639k| 49 | - | 231 |7969 | 231 |2453 | 17 | 22k|3278 | 0.000000e+00 | -- | Inf
98.56/98.64 c 98.6s| 33700 | 169 |653638 | 19.4 |9574k| 49 | - | 231 |7784 | 231 |2453 | 17 | 22k|3287 | 0.000000e+00 | -- | Inf
98.97/99.06 c 99.1s| 33800 | 171 |656542 | 19.4 |9552k| 49 | 39 | 231 |7700 | 231 |2453 | 17 | 22k|3302 | 0.000000e+00 | -- | Inf
99.36/99.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.36/99.41 c 99.4s| 33900 | 170 |659074 | 19.4 |9540k| 49 | 45 | 231 |7660 | 231 |2453 | 17 | 22k|3311 | 0.000000e+00 | -- | Inf
99.66/99.77 c 99.8s| 34000 | 165 |661473 | 19.5 |9521k| 49 | 38 | 231 |7638 | 231 |2453 | 17 | 22k|3325 | 0.000000e+00 | -- | Inf
99.96/100.08 c 100s| 34100 | 165 |663564 | 19.5 |9497k| 49 | 44 | 231 |7554 | 231 |2453 | 17 | 23k|3335 | 0.000000e+00 | -- | Inf
100.26/100.36 c 100s| 34200 | 163 |665373 | 19.5 |9484k| 49 | 39 | 231 |7526 | 231 |2453 | 17 | 23k|3347 | 0.000000e+00 | -- | Inf
100.56/100.66 c 101s| 34300 | 162 |667337 | 19.5 |9482k| 49 | 39 | 231 |7524 | 231 |2453 | 17 | 23k|3357 | 0.000000e+00 | -- | Inf
100.96/101.00 c 101s| 34400 | 158 |669537 | 19.5 |9490k| 49 | - | 231 |7555 | 0 | 0 | 17 | 23k|3373 | 0.000000e+00 | -- | Inf
101.17/101.27 c 101s| 34500 | 158 |671278 | 19.5 |9482k| 49 | 32 | 231 |7543 | 231 |2453 | 17 | 23k|3382 | 0.000000e+00 | -- | Inf
101.47/101.54 c 102s| 34600 | 155 |673050 | 19.4 |9467k| 49 | 42 | 231 |7531 | 231 |2453 | 17 | 23k|3388 | 0.000000e+00 | -- | Inf
101.76/101.84 c 102s| 34700 | 155 |674973 | 19.4 |9476k| 49 | - | 231 |7537 | 231 |2453 | 17 | 23k|3403 | 0.000000e+00 | -- | Inf
102.06/102.18 c 102s| 34800 | 160 |677371 | 19.5 |9486k| 49 | - | 231 |7528 | 231 |2453 | 17 | 23k|3412 | 0.000000e+00 | -- | Inf
102.46/102.52 c 103s| 34900 | 163 |679764 | 19.5 |9503k| 49 | 36 | 231 |7539 | 231 |2453 | 17 | 23k|3426 | 0.000000e+00 | -- | Inf
102.76/102.83 c 103s| 35000 | 159 |681807 | 19.5 |9498k| 49 | - | 231 |7541 | 231 |2453 | 17 | 23k|3437 | 0.000000e+00 | -- | Inf
103.07/103.13 c 103s| 35100 | 157 |683838 | 19.5 |9492k| 49 | 30 | 231 |7545 | 231 |2453 | 17 | 23k|3447 | 0.000000e+00 | -- | Inf
103.37/103.49 c 103s| 35200 | 153 |686144 | 19.5 |9499k| 49 | - | 231 |7588 | 231 |2453 | 17 | 23k|3463 | 0.000000e+00 | -- | Inf
103.67/103.74 c 104s| 35300 | 151 |687902 | 19.5 |9399k| 49 | - | 231 |7483 | 231 |2453 | 17 | 23k|3467 | 0.000000e+00 | -- | Inf
103.86/103.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.86/103.98 c 104s| 35400 | 155 |689634 | 19.5 |9398k| 49 | 31 | 231 |7464 | 231 |2453 | 17 | 23k|3471 | 0.000000e+00 | -- | Inf
104.16/104.22 c 104s| 35500 | 152 |691344 | 19.5 |9401k| 49 | - | 231 |7483 | 231 |2453 | 17 | 23k|3473 | 0.000000e+00 | -- | Inf
104.37/104.49 c 104s| 35600 | 152 |693307 | 19.5 |9395k| 49 | - | 231 |7457 | 231 |2453 | 17 | 24k|3476 | 0.000000e+00 | -- | Inf
104.66/104.72 c 105s| 35700 | 152 |695016 | 19.5 |9402k| 49 | 30 | 231 |7483 | 231 |2453 | 17 | 24k|3477 | 0.000000e+00 | -- | Inf
104.86/104.96 c 105s| 35800 | 152 |696791 | 19.5 |9411k| 49 | 33 | 231 |7516 | 231 |2453 | 17 | 24k|3478 | 0.000000e+00 | -- | Inf
105.16/105.22 c 105s| 35900 | 150 |698819 | 19.5 |9405k| 49 | 33 | 231 |7553 | 231 |2453 | 17 | 24k|3478 | 0.000000e+00 | -- | Inf
105.36/105.45 c 105s| 36000 | 149 |700626 | 19.5 |9407k| 49 | - | 231 |7545 | 231 |2453 | 17 | 24k|3479 | 0.000000e+00 | -- | Inf
105.57/105.69 c 106s| 36100 | 149 |702444 | 19.5 |9406k| 49 | - | 231 |7542 | 231 |2453 | 17 | 24k|3481 | 0.000000e+00 | -- | Inf
105.86/105.93 c 106s| 36200 | 149 |704225 | 19.5 |9417k| 49 | - | 231 |7569 | 231 |2453 | 17 | 24k|3482 | 0.000000e+00 | -- | Inf
106.06/106.19 c 106s| 36300 | 144 |706381 | 19.5 |9409k| 49 | 48 | 231 |7600 | 231 |2453 | 17 | 24k|3482 | 0.000000e+00 | -- | Inf
106.36/106.43 c 106s| 36400 | 145 |708198 | 19.5 |9420k| 49 | 16 | 231 |7607 | 231 |2453 | 17 | 24k|3483 | 0.000000e+00 | -- | Inf
106.57/106.66 c 107s| 36500 | 145 |709974 | 19.4 |9433k| 49 | 27 | 231 |7646 | 231 |2453 | 17 | 24k|3485 | 0.000000e+00 | -- | Inf
106.87/106.92 c 107s| 36600 | 140 |711908 | 19.4 |9408k| 49 | 36 | 231 |7653 | 231 |2453 | 17 | 24k|3486 | 0.000000e+00 | -- | Inf
107.06/107.16 c 107s| 36700 | 142 |713908 | 19.4 |9434k| 49 | - | 231 |7690 | 231 |2453 | 17 | 24k|3486 | 0.000000e+00 | -- | Inf
107.36/107.42 c 107s| 36800 | 145 |716113 | 19.5 |9447k| 49 | 32 | 231 |7717 | 231 |2453 | 17 | 24k|3487 | 0.000000e+00 | -- | Inf
107.56/107.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.56/107.66 c 108s| 36900 | 146 |718068 | 19.5 |9460k| 49 | - | 231 |7729 | 231 |2453 | 17 | 24k|3487 | 0.000000e+00 | -- | Inf
107.86/107.93 c 108s| 37000 | 149 |720271 | 19.5 |9475k| 49 | 39 | 231 |7756 | 231 |2453 | 17 | 24k|3487 | 0.000000e+00 | -- | Inf
108.16/108.20 c 108s| 37100 | 152 |722706 | 19.5 |9503k| 49 | - | 231 |7793 | 231 |2453 | 17 | 24k|3487 | 0.000000e+00 | -- | Inf
108.36/108.49 c 108s| 37200 | 153 |725191 | 19.5 |9508k| 49 | 26 | 231 |7790 | 231 |2453 | 17 | 25k|3487 | 0.000000e+00 | -- | Inf
108.66/108.77 c 109s| 37300 | 157 |727689 | 19.5 |9523k| 49 | 34 | 231 |7799 | 231 |2453 | 17 | 25k|3487 | 0.000000e+00 | -- | Inf
108.96/109.08 c 109s| 37400 | 161 |730500 | 19.5 |9546k| 49 | 24 | 231 |7816 | 231 |2453 | 17 | 25k|3487 | 0.000000e+00 | -- | Inf
109.36/109.45 c 109s| 37500 | 154 |733145 | 19.5 |9544k| 49 | - | 231 |7835 | 231 |2453 | 17 | 25k|3502 | 0.000000e+00 | -- | Inf
109.66/109.78 c 110s| 37600 | 153 |735583 | 19.6 |9544k| 49 | - | 231 |7849 | 231 |2453 | 17 | 25k|3512 | 0.000000e+00 | -- | Inf
110.07/110.14 c 110s| 37700 | 155 |737747 | 19.6 |9560k| 49 | - | 231 |7862 | 231 |2453 | 17 | 25k|3531 | 0.000000e+00 | -- | Inf
110.36/110.41 c 110s| 37800 | 153 |739940 | 19.6 |9553k| 51 | - | 231 |7852 | 231 |2453 | 17 | 25k|3531 | 0.000000e+00 | -- | Inf
110.66/110.72 c 111s| 37900 | 150 |741742 | 19.6 |9552k| 51 | - | 231 |7872 | 231 |2453 | 17 | 25k|3547 | 0.000000e+00 | -- | Inf
110.97/111.01 c 111s| 38000 | 150 |743708 | 19.6 |9537k| 51 | - | 231 |7832 | 231 |2453 | 17 | 25k|3556 | 0.000000e+00 | -- | Inf
111.26/111.32 c 111s| 38100 | 152 |745571 | 19.6 |9525k| 51 | 41 | 231 |7785 | 231 |2453 | 17 | 25k|3569 | 0.000000e+00 | -- | Inf
111.46/111.54 c 112s| 38200 | 150 |747181 | 19.6 |9539k| 51 | - | 231 |7827 | 231 |2453 | 17 | 25k|3569 | 0.000000e+00 | -- | Inf
111.76/111.83 c 112s| 38300 | 148 |749117 | 19.6 |9541k| 51 | 44 | 231 |7851 | 231 |2453 | 17 | 25k|3579 | 0.000000e+00 | -- | Inf
112.06/112.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.06/112.15 c 112s| 38400 | 148 |751134 | 19.6 |9524k| 51 | - | 231 |7789 | 0 | 0 | 17 | 25k|3591 | 0.000000e+00 | -- | Inf
112.36/112.43 c 112s| 38500 | 148 |752991 | 19.6 |9517k| 51 | - | 231 |7787 | 231 |2453 | 17 | 25k|3601 | 0.000000e+00 | -- | Inf
112.67/112.73 c 113s| 38600 | 152 |755013 | 19.6 |9538k| 51 | 27 | 231 |7825 | 231 |2453 | 17 | 25k|3614 | 0.000000e+00 | -- | Inf
112.96/113.05 c 113s| 38700 | 155 |757266 | 19.6 |9565k| 51 | 31 | 231 |7880 | 231 |2453 | 17 | 26k|3627 | 0.000000e+00 | -- | Inf
113.27/113.37 c 113s| 38800 | 155 |759380 | 19.6 |9593k| 51 | - | 231 |7936 | 231 |2453 | 17 | 26k|3640 | 0.000000e+00 | -- | Inf
113.56/113.68 c 114s| 38900 | 152 |761406 | 19.6 |9590k| 51 | - | 231 |7951 | 231 |2453 | 17 | 26k|3652 | 0.000000e+00 | -- | Inf
113.86/113.98 c 114s| 39000 | 152 |763285 | 19.6 |9588k| 51 | - | 231 |7938 | 231 |2453 | 17 | 26k|3666 | 0.000000e+00 | -- | Inf
114.16/114.26 c 114s| 39100 | 151 |765200 | 19.6 |9596k| 51 | - | 231 |7963 | 231 |2453 | 17 | 26k|3673 | 0.000000e+00 | -- | Inf
114.46/114.53 c 115s| 39200 | 151 |767103 | 19.6 |9602k| 51 | 41 | 231 |7990 | 231 |2453 | 17 | 26k|3681 | 0.000000e+00 | -- | Inf
114.76/114.85 c 115s| 39300 | 155 |769370 | 19.6 |9575k| 51 | - | 231 |7882 | 231 |2453 | 17 | 26k|3690 | 0.000000e+00 | -- | Inf
115.06/115.13 c 115s| 39400 | 157 |771535 | 19.6 |9567k| 51 | 28 | 231 |7865 | 231 |2453 | 17 | 26k|3694 | 0.000000e+00 | -- | Inf
115.26/115.37 c 115s| 39500 | 161 |773341 | 19.6 |9583k| 51 | - | 231 |7874 | 231 |2453 | 17 | 26k|3697 | 0.000000e+00 | -- | Inf
115.56/115.64 c 116s| 39600 | 163 |775497 | 19.6 |9604k| 51 | - | 231 |7913 | 231 |2453 | 17 | 26k|3698 | 0.000000e+00 | -- | Inf
115.86/115.94 c 116s| 39700 | 161 |778105 | 19.6 |9620k| 51 | - | 231 |7959 | 231 |2453 | 17 | 26k|3699 | 0.000000e+00 | -- | Inf
116.16/116.21 c 116s| 39800 | 159 |780291 | 19.6 |9640k| 51 | - | 231 |8020 | 231 |2453 | 17 | 26k|3699 | 0.000000e+00 | -- | Inf
116.47/116.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.47/116.51 c 117s| 39900 | 159 |782726 | 19.6 |9659k| 51 | - | 231 |8072 | 231 |2453 | 17 | 26k|3700 | 0.000000e+00 | -- | Inf
116.66/116.79 c 117s| 40000 | 159 |784880 | 19.6 |9672k| 51 | 39 | 231 |8119 | 231 |2453 | 17 | 26k|3701 | 0.000000e+00 | -- | Inf
116.96/117.06 c 117s| 40100 | 157 |786991 | 19.6 |9688k| 51 | - | 231 |8169 | 231 |2453 | 17 | 26k|3702 | 0.000000e+00 | -- | Inf
117.26/117.35 c 117s| 40200 | 153 |789422 | 19.6 |9696k| 51 | - | 231 |8214 | 0 | 0 | 17 | 26k|3702 | 0.000000e+00 | -- | Inf
117.57/117.61 c 118s| 40300 | 151 |791451 | 19.6 |9714k| 51 | 41 | 231 |8261 | 231 |2453 | 17 | 27k|3702 | 0.000000e+00 | -- | Inf
117.76/117.88 c 118s| 40400 | 152 |793566 | 19.6 |9722k| 51 | 43 | 231 |8278 | 231 |2453 | 17 | 27k|3702 | 0.000000e+00 | -- | Inf
118.06/118.14 c 118s| 40500 | 150 |795575 | 19.6 |9706k| 51 | 43 | 231 |8242 | 231 |2453 | 17 | 27k|3703 | 0.000000e+00 | -- | Inf
118.26/118.36 c 118s| 40600 | 149 |797315 | 19.6 |9730k| 51 | - | 231 |8291 | 231 |2453 | 17 | 27k|3703 | 0.000000e+00 | -- | Inf
118.56/118.64 c 119s| 40700 | 151 |799658 | 19.6 |9742k| 51 | 32 | 231 |8330 | 231 |2453 | 17 | 27k|3703 | 0.000000e+00 | -- | Inf
118.86/118.91 c 119s| 40800 | 149 |801982 | 19.7 |9765k| 51 | - | 231 |8390 | 231 |2453 | 17 | 27k|3703 | 0.000000e+00 | -- | Inf
119.06/119.15 c 119s| 40900 | 147 |803830 | 19.7 |9751k| 51 | 32 | 231 |8356 | 231 |2453 | 17 | 27k|3703 | 0.000000e+00 | -- | Inf
119.26/119.37 c 119s| 41000 | 149 |805490 | 19.6 |9772k| 51 | - | 231 |8385 | 231 |2453 | 17 | 27k|3703 | 0.000000e+00 | -- | Inf
119.46/119.58 c 120s| 41100 | 146 |807050 | 19.6 |9761k| 51 | 27 | 231 |8399 | 231 |2453 | 17 | 27k|3703 | 0.000000e+00 | -- | Inf
119.76/119.80 c 120s| 41200 | 142 |808607 | 19.6 |9729k| 51 | - | 231 |8351 | 231 |2453 | 17 | 27k|3703 | 0.000000e+00 | -- | Inf
119.96/120.05 c 120s| 41300 | 140 |810562 | 19.6 |9721k| 51 | 43 | 231 |8362 | 231 |2453 | 17 | 27k|3703 | 0.000000e+00 | -- | Inf
120.26/120.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.26/120.30 c 120s| 41400 | 141 |812409 | 19.6 |9731k| 51 | - | 231 |8364 | 231 |2453 | 17 | 27k|3703 | 0.000000e+00 | -- | Inf
120.56/120.60 c 121s| 41500 | 142 |814410 | 19.6 |9728k| 51 | 27 | 231 |8365 | 231 |2453 | 17 | 27k|3716 | 0.000000e+00 | -- | Inf
120.87/120.92 c 121s| 41600 | 142 |816519 | 19.6 |9744k| 51 | 36 | 231 |8413 | 231 |2453 | 17 | 27k|3728 | 0.000000e+00 | -- | Inf
121.06/121.19 c 121s| 41700 | 144 |818414 | 19.6 |9770k| 51 | - | 231 |8463 | 231 |2453 | 17 | 27k|3737 | 0.000000e+00 | -- | Inf
121.36/121.47 c 121s| 41800 | 142 |820257 | 19.6 |9782k| 51 | 43 | 231 |8513 | 231 |2453 | 17 | 28k|3746 | 0.000000e+00 | -- | Inf
121.75/121.81 c 122s| 41900 | 141 |822372 | 19.6 |9798k| 51 | - | 231 |8553 | 231 |2453 | 17 | 28k|3763 | 0.000000e+00 | -- | Inf
121.97/122.09 c 122s| 42000 | 139 |824618 | 19.6 |9780k| 51 | - | 231 |8539 | 231 |2453 | 17 | 28k|3763 | 0.000000e+00 | -- | Inf
122.26/122.34 c 122s| 42100 | 137 |826198 | 19.6 |9787k| 51 | - | 231 |8556 | 231 |2453 | 17 | 28k|3773 | 0.000000e+00 | -- | Inf
122.65/122.73 c 123s| 42200 | 141 |828679 | 19.6 |9797k| 51 | - | 231 |8563 | 0 | 0 | 17 | 28k|3790 | 0.000000e+00 | -- | Inf
122.86/122.98 c 123s| 42300 | 138 |830666 | 19.6 |9794k| 51 | - | 231 |8567 | 231 |2453 | 17 | 28k|3790 | 0.000000e+00 | -- | Inf
123.26/123.32 c 123s| 42400 | 138 |832897 | 19.6 |9784k| 51 | - | 231 |8588 | 231 |2453 | 17 | 28k|3802 | 0.000000e+00 | -- | Inf
123.46/123.59 c 124s| 42500 | 138 |834746 | 19.6 |9806k| 51 | - | 231 |8638 | 231 |2453 | 17 | 28k|3810 | 0.000000e+00 | -- | Inf
123.76/123.89 c 124s| 42600 | 136 |836697 | 19.6 |9817k| 51 | - | 231 |8673 | 231 |2453 | 17 | 28k|3820 | 0.000000e+00 | -- | Inf
124.06/124.17 c 124s| 42700 | 134 |838462 | 19.6 |9774k| 51 | - | 231 |8590 | 231 |2453 | 17 | 28k|3830 | 0.000000e+00 | -- | Inf
124.36/124.43 c 124s| 42800 | 134 |840178 | 19.6 |9774k| 51 | - | 231 |8577 | 231 |2453 | 17 | 28k|3837 | 0.000000e+00 | -- | Inf
124.66/124.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.66/124.70 c 125s| 42900 | 134 |841901 | 19.6 |9742k| 51 | 29 | 231 |8522 | 231 |2453 | 17 | 28k|3846 | 0.000000e+00 | -- | Inf
124.86/124.97 c 125s| 43000 | 132 |843788 | 19.6 |9722k| 51 | 24 | 231 |8488 | 231 |2453 | 17 | 28k|3852 | 0.000000e+00 | -- | Inf
125.16/125.26 c 125s| 43100 | 128 |845614 | 19.6 |9690k| 51 | 39 | 231 |8455 | 231 |2453 | 17 | 28k|3860 | 0.000000e+00 | -- | Inf
125.46/125.53 c 126s| 43200 | 129 |847411 | 19.6 |9663k| 51 | 33 | 231 |8366 | 231 |2453 | 17 | 28k|3866 | 0.000000e+00 | -- | Inf
125.75/125.82 c 126s| 43300 | 129 |849243 | 19.6 |9628k| 51 | 44 | 231 |8265 | 231 |2453 | 17 | 28k|3875 | 0.000000e+00 | -- | Inf
126.06/126.13 c 126s| 43400 | 125 |851160 | 19.6 |9607k| 51 | - | 231 |8224 | 231 |2453 | 17 | 29k|3888 | 0.000000e+00 | -- | Inf
126.37/126.43 c 126s| 43500 | 126 |853269 | 19.6 |9587k| 51 | 49 | 231 |8173 | 231 |2453 | 17 | 29k|3896 | 0.000000e+00 | -- | Inf
126.66/126.77 c 127s| 43600 | 124 |855378 | 19.6 |9586k| 51 | 40 | 231 |8188 | 231 |2453 | 17 | 29k|3913 | 0.000000e+00 | -- | Inf
126.95/127.07 c 127s| 43700 | 122 |857430 | 19.6 |9573k| 51 | 42 | 231 |8170 | 231 |2453 | 17 | 29k|3922 | 0.000000e+00 | -- | Inf
127.26/127.35 c 127s| 43800 | 118 |859335 | 19.6 |9556k| 51 | - | 231 |8153 | 231 |2453 | 17 | 29k|3932 | 0.000000e+00 | -- | Inf
127.56/127.64 c 128s| 43900 | 120 |861395 | 19.6 |9536k| 51 | 29 | 231 |8089 | 231 |2453 | 17 | 29k|3939 | 0.000000e+00 | -- | Inf
127.86/127.91 c 128s| 44000 | 118 |863443 | 19.6 |9535k| 51 | 42 | 231 |8094 | 231 |2453 | 17 | 29k|3941 | 0.000000e+00 | -- | Inf
128.06/128.18 c 128s| 44100 | 117 |865619 | 19.6 |9530k| 51 | - | 231 |8067 | 231 |2453 | 17 | 29k|3942 | 0.000000e+00 | -- | Inf
128.36/128.44 c 128s| 44200 | 117 |867736 | 19.6 |9526k| 51 | - | 231 |8043 | 0 | 0 | 17 | 29k|3942 | 0.000000e+00 | -- | Inf
128.56/128.69 c 129s| 44300 | 119 |869697 | 19.6 |9540k| 51 | - | 231 |8073 | 231 |2453 | 17 | 29k|3942 | 0.000000e+00 | -- | Inf
128.86/128.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.86/128.93 c 129s| 44400 | 113 |871648 | 19.6 |9543k| 51 | - | 231 |8107 | 231 |2453 | 17 | 29k|3942 | 0.000000e+00 | -- | Inf
129.06/129.19 c 129s| 44500 | 115 |873618 | 19.6 |9547k| 51 | 36 | 231 |8121 | 231 |2453 | 17 | 29k|3943 | 0.000000e+00 | -- | Inf
129.36/129.44 c 129s| 44600 | 111 |875504 | 19.6 |9530k| 51 | - | 231 |8095 | 231 |2453 | 17 | 29k|3944 | 0.000000e+00 | -- | Inf
129.56/129.68 c 130s| 44700 | 112 |877359 | 19.6 |9529k| 51 | - | 231 |8094 | 231 |2453 | 17 | 29k|3944 | 0.000000e+00 | -- | Inf
129.86/129.90 c 130s| 44800 | 112 |878953 | 19.6 |9521k| 51 | - | 231 |8079 | 231 |2453 | 17 | 29k|3944 | 0.000000e+00 | -- | Inf
130.06/130.18 c 130s| 44900 | 111 |881273 | 19.6 |9523k| 51 | - | 231 |8110 | 231 |2453 | 17 | 30k|3944 | 0.000000e+00 | -- | Inf
130.35/130.43 c 130s| 45000 | 115 |883367 | 19.6 |9552k| 51 | - | 231 |8161 | 231 |2453 | 17 | 30k|3944 | 0.000000e+00 | -- | Inf
130.66/130.71 c 131s| 45100 | 114 |885635 | 19.6 |9578k| 51 | - | 231 |8221 | 231 |2453 | 17 | 30k|3944 | 0.000000e+00 | -- | Inf
130.86/130.98 c 131s| 45200 | 111 |887807 | 19.6 |9586k| 51 | 35 | 231 |8271 | 231 |2453 | 17 | 30k|3944 | 0.000000e+00 | -- | Inf
131.16/131.23 c 131s| 45300 | 109 |889836 | 19.6 |9587k| 51 | - | 231 |8274 | 231 |2453 | 17 | 30k|3944 | 0.000000e+00 | -- | Inf
131.36/131.49 c 131s| 45400 | 112 |892021 | 19.6 |9612k| 51 | - | 231 |8294 | 0 | 0 | 17 | 30k|3944 | 0.000000e+00 | -- | Inf
131.65/131.79 c 132s| 45500 | 112 |894509 | 19.7 |9616k| 51 | 42 | 231 |8318 | 231 |2453 | 17 | 30k|3944 | 0.000000e+00 | -- | Inf
131.96/132.07 c 132s| 45600 | 111 |896883 | 19.7 |9628k| 51 | - | 231 |8343 | 231 |2453 | 17 | 30k|3944 | 0.000000e+00 | -- | Inf
132.26/132.37 c 132s| 45700 | 105 |899280 | 19.7 |9620k| 51 | - | 231 |8374 | 231 |2453 | 17 | 30k|3944 | 0.000000e+00 | -- | Inf
132.56/132.64 c 133s| 45800 | 103 |901496 | 19.7 |9606k| 51 | 37 | 231 |8377 | 231 |2453 | 17 | 30k|3944 | 0.000000e+00 | -- | Inf
132.85/132.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
132.85/132.90 c 133s| 45900 | 100 |903513 | 19.7 |9592k| 51 | - | 231 |8364 | 231 |2453 | 17 | 30k|3944 | 0.000000e+00 | -- | Inf
133.07/133.16 c 133s| 46000 | 100 |905482 | 19.7 |9598k| 51 | 39 | 231 |8389 | 231 |2453 | 17 | 30k|3944 | 0.000000e+00 | -- | Inf
133.36/133.46 c 133s| 46100 | 100 |907501 | 19.7 |9602k| 51 | - | 231 |8406 | 231 |2453 | 17 | 30k|3957 | 0.000000e+00 | -- | Inf
133.66/133.75 c 134s| 46200 | 96 |909596 | 19.7 |9602k| 51 | - | 231 |8429 | 231 |2453 | 17 | 30k|3965 | 0.000000e+00 | -- | Inf
133.96/134.03 c 134s| 46300 | 95 |911452 | 19.7 |9588k| 51 | - | 231 |8419 | 231 |2453 | 17 | 30k|3973 | 0.000000e+00 | -- | Inf
134.26/134.34 c 134s| 46400 | 93 |913729 | 19.7 |9610k| 51 | - | 231 |8490 | 231 |2453 | 17 | 31k|3982 | 0.000000e+00 | -- | Inf
134.56/134.67 c 135s| 46500 | 95 |915771 | 19.7 |9628k| 51 | - | 231 |8535 | 231 |2453 | 17 | 31k|3993 | 0.000000e+00 | -- | Inf
134.85/134.99 c 135s| 46600 | 95 |917963 | 19.7 |9643k| 51 | 39 | 231 |8583 | 231 |2453 | 17 | 31k|4004 | 0.000000e+00 | -- | Inf
135.16/135.27 c 135s| 46700 | 94 |919861 | 19.7 |9658k| 51 | - | 231 |8631 | 231 |2453 | 17 | 31k|4013 | 0.000000e+00 | -- | Inf
135.46/135.59 c 136s| 46800 | 94 |922090 | 19.7 |9660k| 51 | 24 | 231 |8649 | 231 |2453 | 17 | 31k|4022 | 0.000000e+00 | -- | Inf
135.85/135.90 c 136s| 46900 | 94 |924327 | 19.7 |9669k| 51 | - | 231 |8661 | 231 |2453 | 17 | 31k|4031 | 0.000000e+00 | -- | Inf
136.16/136.21 c 136s| 47000 | 95 |926425 | 19.7 |9673k| 51 | - | 231 |8675 | 231 |2453 | 17 | 31k|4042 | 0.000000e+00 | -- | Inf
136.45/136.56 c 137s| 47100 | 95 |928924 | 19.7 |9688k| 51 | 43 | 231 |8726 | 231 |2453 | 17 | 31k|4054 | 0.000000e+00 | -- | Inf
136.76/136.87 c 137s| 47200 | 94 |931270 | 19.7 |9701k| 51 | - | 231 |8749 | 231 |2453 | 17 | 31k|4060 | 0.000000e+00 | -- | Inf
137.05/137.14 c 137s| 47300 | 93 |933015 | 19.7 |9706k| 51 | 36 | 231 |8764 | 231 |2453 | 17 | 31k|4070 | 0.000000e+00 | -- | Inf
137.37/137.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
137.37/137.41 c 137s| 47400 | 94 |934787 | 19.7 |9719k| 51 | 43 | 231 |8793 | 231 |2453 | 17 | 31k|4079 | 0.000000e+00 | -- | Inf
137.56/137.68 c 138s| 47500 | 91 |936541 | 19.7 |9732k| 51 | 22 | 231 |8850 | 231 |2453 | 17 | 31k|4088 | 0.000000e+00 | -- | Inf
137.86/137.96 c 138s| 47600 | 87 |938468 | 19.7 |9736k| 51 | - | 231 |8876 | 231 |2453 | 17 | 31k|4096 | 0.000000e+00 | -- | Inf
138.16/138.23 c 138s| 47700 | 88 |940180 | 19.7 |9716k| 51 | 34 | 231 |8821 | 231 |2453 | 17 | 31k|4105 | 0.000000e+00 | -- | Inf
138.46/138.52 c 139s| 47800 | 88 |942190 | 19.7 |9725k| 51 | 36 | 231 |8842 | 231 |2453 | 17 | 32k|4115 | 0.000000e+00 | -- | Inf
138.76/138.84 c 139s| 47900 | 90 |944423 | 19.7 |9714k| 51 | 27 | 231 |8798 | 231 |2453 | 17 | 32k|4124 | 0.000000e+00 | -- | Inf
139.06/139.14 c 139s| 48000 | 84 |946297 | 19.7 |9688k| 51 | 35 | 231 |8760 | 231 |2453 | 17 | 32k|4136 | 0.000000e+00 | -- | Inf
139.35/139.40 c 139s| 48100 | 83 |948232 | 19.7 |9687k| 51 | 31 | 231 |8753 | 231 |2453 | 17 | 32k|4139 | 0.000000e+00 | -- | Inf
139.57/139.69 c 140s| 48200 | 85 |950266 | 19.7 |9691k| 51 | - | 231 |8732 | 231 |2453 | 17 | 32k|4148 | 0.000000e+00 | -- | Inf
139.95/140.01 c 140s| 48300 | 81 |952728 | 19.7 |9684k| 51 | - | 231 |8769 | 231 |2453 | 17 | 32k|4153 | 0.000000e+00 | -- | Inf
140.16/140.28 c 140s| 48400 | 77 |954754 | 19.7 |9657k| 51 | - | 231 |8757 | 231 |2453 | 17 | 32k|4156 | 0.000000e+00 | -- | Inf
140.46/140.54 c 141s| 48500 | 79 |956675 | 19.7 |9654k| 51 | - | 231 |8732 | 231 |2453 | 17 | 32k|4157 | 0.000000e+00 | -- | Inf
140.66/140.79 c 141s| 48600 | 77 |958563 | 19.7 |9651k| 51 | 52 | 231 |8751 | 231 |2453 | 17 | 32k|4157 | 0.000000e+00 | -- | Inf
140.96/141.03 c 141s| 48700 | 76 |960478 | 19.7 |9664k| 51 | - | 231 |8784 | 231 |2453 | 17 | 32k|4157 | 0.000000e+00 | -- | Inf
141.16/141.29 c 141s| 48800 | 72 |962470 | 19.7 |9632k| 51 | - | 231 |8730 | 231 |2453 | 17 | 32k|4157 | 0.000000e+00 | -- | Inf
141.45/141.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.45/141.52 c 142s| 48900 | 70 |964234 | 19.7 |9594k| 51 | - | 231 |8646 | 231 |2453 | 17 | 32k|4157 | 0.000000e+00 | -- | Inf
141.66/141.78 c 142s| 49000 | 68 |966209 | 19.7 |9564k| 51 | 48 | 231 |8617 | 231 |2453 | 17 | 32k|4157 | 0.000000e+00 | -- | Inf
141.95/142.03 c 142s| 49100 | 70 |968102 | 19.7 |9582k| 51 | 43 | 231 |8646 | 231 |2453 | 17 | 32k|4157 | 0.000000e+00 | -- | Inf
142.16/142.30 c 142s| 49200 | 67 |970207 | 19.7 |9576k| 51 | - | 231 |8672 | 231 |2453 | 17 | 32k|4158 | 0.000000e+00 | -- | Inf
142.46/142.58 c 143s| 49300 | 65 |972523 | 19.7 |9594k| 51 | - | 231 |8734 | 231 |2453 | 17 | 33k|4158 | 0.000000e+00 | -- | Inf
142.76/142.87 c 143s| 49400 | 67 |975011 | 19.7 |9598k| 51 | 41 | 231 |8733 | 231 |2453 | 17 | 33k|4158 | 0.000000e+00 | -- | Inf
143.06/143.13 c 143s| 49500 | 65 |976971 | 19.7 |9584k| 51 | - | 231 |8687 | 231 |2453 | 17 | 33k|4158 | 0.000000e+00 | -- | Inf
143.26/143.37 c 143s| 49600 | 70 |978986 | 19.7 |9588k| 51 | - | 231 |8683 | 231 |2453 | 17 | 33k|4158 | 0.000000e+00 | -- | Inf
143.56/143.65 c 144s| 49700 | 69 |981279 | 19.7 |9596k| 51 | - | 231 |8696 | 231 |2453 | 17 | 33k|4158 | 0.000000e+00 | -- | Inf
143.86/143.93 c 144s| 49800 | 73 |983551 | 19.7 |9584k| 51 | 32 | 231 |8669 | 231 |2453 | 17 | 33k|4158 | 0.000000e+00 | -- | Inf
144.16/144.20 c 144s| 49900 | 73 |985739 | 19.8 |9608k| 51 | 33 | 231 |8721 | 231 |2453 | 17 | 33k|4158 | 0.000000e+00 | -- | Inf
144.36/144.47 c 144s| 50000 | 69 |987904 | 19.8 |9623k| 51 | - | 231 |8779 | 231 |2453 | 17 | 33k|4158 | 0.000000e+00 | -- | Inf
144.65/144.72 c 145s| 50100 | 67 |989849 | 19.8 |9624k| 51 | - | 231 |8797 | 231 |2453 | 17 | 33k|4158 | 0.000000e+00 | -- | Inf
144.86/144.98 c 145s| 50200 | 66 |991971 | 19.8 |9644k| 51 | - | 231 |8843 | 231 |2453 | 17 | 33k|4158 | 0.000000e+00 | -- | Inf
145.16/145.23 c 145s| 50300 | 68 |994034 | 19.8 |9666k| 51 | 43 | 231 |8898 | 231 |2453 | 17 | 33k|4158 | 0.000000e+00 | -- | Inf
145.36/145.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.36/145.49 c 145s| 50400 | 68 |996213 | 19.8 |9684k| 51 | - | 231 |8938 | 231 |2453 | 17 | 33k|4159 | 0.000000e+00 | -- | Inf
145.65/145.79 c 146s| 50500 | 65 |998401 | 19.8 |9690k| 51 | - | 231 |8965 | 231 |2453 | 17 | 33k|4168 | 0.000000e+00 | -- | Inf
145.95/146.05 c 146s| 50600 | 63 | 1000k| 19.8 |9653k| 51 | - | 231 |8904 | 231 |2453 | 17 | 33k|4168 | 0.000000e+00 | -- | Inf
146.26/146.38 c 146s| 50700 | 61 | 1002k| 19.8 |9629k| 51 | - | 231 |8855 | 231 |2453 | 17 | 33k|4182 | 0.000000e+00 | -- | Inf
146.65/146.73 c 147s| 50800 | 57 | 1004k| 19.8 |9612k| 51 | - | 231 |8852 | 231 |2453 | 17 | 34k|4196 | 0.000000e+00 | -- | Inf
146.95/147.02 c 147s| 50900 | 54 | 1006k| 19.8 |9591k| 51 | - | 231 |8846 | 231 |2453 | 17 | 34k|4205 | 0.000000e+00 | -- | Inf
147.15/147.27 c 147s| 51000 | 53 | 1008k| 19.8 |9571k| 51 | 38 | 231 |8811 | 231 |2453 | 17 | 34k|4205 | 0.000000e+00 | -- | Inf
147.56/147.62 c 148s| 51100 | 51 | 1010k| 19.8 |9571k| 51 | 33 | 231 |8834 | 231 |2453 | 17 | 34k|4222 | 0.000000e+00 | -- | Inf
147.75/147.86 c 148s| 51200 | 47 | 1012k| 19.8 |9544k| 51 | 48 | 231 |8799 | 231 |2453 | 17 | 34k|4222 | 0.000000e+00 | -- | Inf
148.06/148.18 c 148s| 51300 | 48 | 1014k| 19.8 |9559k| 51 | 39 | 231 |8832 | 231 |2453 | 17 | 34k|4231 | 0.000000e+00 | -- | Inf
148.46/148.53 c 149s| 51400 | 45 | 1016k| 19.8 |9549k| 51 | 45 | 231 |8814 | 231 |2453 | 17 | 34k|4251 | 0.000000e+00 | -- | Inf
148.66/148.76 c 149s| 51500 | 44 | 1018k| 19.8 |9536k| 51 | - | 231 |8766 | 231 |2453 | 17 | 34k|4251 | 0.000000e+00 | -- | Inf
149.06/149.10 c 149s| 51600 | 44 | 1020k| 19.8 |9515k| 51 | 38 | 231 |8720 | 231 |2453 | 17 | 34k|4267 | 0.000000e+00 | -- | Inf
149.26/149.37 c 149s| 51700 | 38 | 1022k| 19.8 |9415k| 51 | - | 231 |8739 | 231 |2453 | 17 | 34k|4267 | 0.000000e+00 | -- | Inf
149.56/149.62 c 150s| 51800 | 40 | 1024k| 19.8 |9357k| 51 | 32 | 231 |8572 | 231 |2453 | 17 | 34k|4274 | 0.000000e+00 | -- | Inf
149.75/149.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
149.75/149.87 c 150s| 51900 | 38 | 1026k| 19.8 |9346k| 51 | 31 | 231 |8549 | 231 |2453 | 17 | 34k|4284 | 0.000000e+00 | -- | Inf
150.16/150.22 c 150s| 52000 | 32 | 1028k| 19.8 |9285k| 51 | 36 | 231 |8493 | 231 |2453 | 17 | 34k|4299 | 0.000000e+00 | -- | Inf
150.45/150.52 c 151s| 52100 | 31 | 1030k| 19.8 |9203k| 51 | 33 | 231 |8272 | 231 |2453 | 17 | 34k|4307 | 0.000000e+00 | -- | Inf
150.67/150.75 c 151s| 52200 | 31 | 1031k| 19.8 |9204k| 51 | 39 | 231 |8280 | 231 |2453 | 17 | 34k|4313 | 0.000000e+00 | -- | Inf
150.96/151.01 c 151s| 52300 | 31 | 1033k| 19.8 |9194k| 51 | 33 | 231 |8259 | 231 |2453 | 17 | 35k|4320 | 0.000000e+00 | -- | Inf
151.26/151.30 c 151s| 52400 | 30 | 1035k| 19.8 |9191k| 51 | 27 | 231 |8294 | 231 |2453 | 17 | 35k|4330 | 0.000000e+00 | -- | Inf
151.56/151.60 c 152s| 52500 | 26 | 1037k| 19.8 |9178k| 51 | 24 | 231 |8284 | 231 |2453 | 17 | 35k|4338 | 0.000000e+00 | -- | Inf
151.76/151.89 c 152s| 52600 | 23 | 1039k| 19.8 |9154k| 51 | 34 | 231 |8286 | 231 |2453 | 17 | 35k|4345 | 0.000000e+00 | -- | Inf
152.06/152.16 c 152s| 52700 | 23 | 1041k| 19.8 |9127k| 51 | - | 231 |8237 | 231 |2453 | 17 | 35k|4350 | 0.000000e+00 | -- | Inf
152.26/152.40 c 152s| 52800 | 20 | 1043k| 19.8 |9107k| 51 | 47 | 231 |8239 | 231 |2453 | 17 | 35k|4351 | 0.000000e+00 | -- | Inf
152.55/152.65 c 153s| 52900 | 18 | 1045k| 19.8 |9098k| 51 | 41 | 231 |8252 | 231 |2453 | 17 | 35k|4354 | 0.000000e+00 | -- | Inf
152.86/152.91 c 153s| 53000 | 18 | 1047k| 19.8 |9105k| 51 | 35 | 231 |8266 | 231 |2453 | 17 | 35k|4358 | 0.000000e+00 | -- | Inf
153.05/153.19 c 153s| 53100 | 14 | 1049k| 19.8 |9106k| 51 | - | 231 |8288 | 231 |2453 | 17 | 35k|4361 | 0.000000e+00 | -- | Inf
153.35/153.46 c 153s| 53200 | 13 | 1051k| 19.8 |9083k| 51 | 31 | 231 |8252 | 231 |2453 | 17 | 35k|4364 | 0.000000e+00 | -- | Inf
153.66/153.72 c 154s| 53300 | 11 | 1053k| 19.8 |9078k| 51 | 30 | 231 |8255 | 231 |2453 | 17 | 35k|4364 | 0.000000e+00 | -- | Inf
153.86/153.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
153.86/153.97 c 154s| 53400 | 7 | 1055k| 19.8 |9057k| 51 | - | 231 |8253 | 231 |2453 | 17 | 35k|4364 | 0.000000e+00 | -- | Inf
154.15/154.22 c 154s| 53500 | 8 | 1057k| 19.8 |9063k| 51 | 45 | 231 |8264 | 231 |2453 | 17 | 35k|4365 | 0.000000e+00 | -- | Inf
154.45/154.50 c 154s| 53600 | 6 | 1059k| 19.8 |9043k| 51 | - | 231 |8273 | 231 |2453 | 17 | 35k|4365 | 0.000000e+00 | -- | Inf
154.76/154.80 c 155s| 53700 | 4 | 1062k| 19.8 |9072k| 51 | - | 231 |8360 | 231 |2453 | 17 | 36k|4365 | 0.000000e+00 | -- | Inf
154.96/155.07 c 155s| 53800 | 4 | 1064k| 19.8 |9063k| 51 | 43 | 231 |8376 | 231 |2453 | 17 | 36k|4369 | 0.000000e+00 | -- | Inf
155.15/155.24 c
155.15/155.24 c SCIP Status : problem is solved [infeasible]
155.15/155.24 c Solving Time (sec) : 155.24
155.15/155.24 c Solving Nodes : 53860
155.15/155.24 c Primal Bound : +1.00000000000000e+20 (0 solutions)
155.15/155.24 c Dual Bound : +1.00000000000000e+20
155.15/155.24 c Gap : 0.00 %
155.15/155.24 s UNSATISFIABLE
155.15/155.24 c SCIP Status : problem is solved [infeasible]
155.15/155.24 c Total Time : 155.24
155.15/155.24 c solving : 155.24
155.15/155.24 c presolving : 0.05 (included in solving)
155.15/155.24 c reading : 0.01 (included in solving)
155.15/155.24 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
155.15/155.24 c Original Problem :
155.15/155.24 c Problem name : HOME/instance-3691577-1338021149.opb
155.15/155.24 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
155.15/155.24 c Constraints : 2707 initial, 2707 maximal
155.15/155.24 c Objective sense : minimize
155.15/155.24 c Presolved Problem :
155.15/155.24 c Problem name : t_HOME/instance-3691577-1338021149.opb
155.15/155.24 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
155.15/155.24 c Constraints : 2443 initial, 8976 maximal
155.15/155.24 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
155.15/155.24 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
155.15/155.24 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
155.15/155.24 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
155.15/155.24 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
155.15/155.24 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
155.15/155.24 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
155.15/155.24 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
155.15/155.24 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
155.15/155.24 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
155.15/155.24 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
155.15/155.24 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
155.15/155.24 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
155.15/155.24 c setppc : 0.00 0.00 0 0 0 0 0 121 0 0 0
155.15/155.24 c linear : 0.02 0.00 0 0 0 0 0 143 0 0 0
155.15/155.24 c logicor : 0.02 0.00 0 0 0 0 0 0 0 0 0
155.15/155.24 c root node : - - 1 - - 1 - - - - -
155.15/155.24 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
155.15/155.24 c integral : 0 0 0 0 28024 0 1 0 108 1642 0 0 54150
155.15/155.24 c knapsack : 1 1 5 219163 0 0 0 16217 332 106744 0 0 0
155.15/155.24 c setppc : 22 22 5 219028 0 0 0 557956 1204 299562 0 0 0
155.15/155.24 c linear : 0+ 294 5 171451 0 0 0 325 1 3367 0 0 0
155.15/155.24 c logicor : 2420+ 8952 5 98279 0 0 0 216886 275 324002 0 0 0
155.15/155.24 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
155.15/155.24 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
155.15/155.24 c integral : 20.29 0.00 0.00 0.00 20.29 0.00 0.00 0.00
155.15/155.24 c knapsack : 0.26 0.00 0.00 0.24 0.00 0.00 0.00 0.02
155.15/155.24 c setppc : 0.98 0.00 0.00 0.82 0.00 0.00 0.00 0.17
155.15/155.24 c linear : 0.27 0.00 0.00 0.27 0.00 0.00 0.00 0.00
155.15/155.24 c logicor : 3.53 0.00 0.00 3.36 0.00 0.00 0.00 0.16
155.15/155.24 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
155.15/155.24 c Propagators : #Propagate #ResProp Cutoffs DomReds
155.15/155.24 c rootredcost : 0 0 0 0
155.15/155.24 c pseudoobj : 0 0 0 0
155.15/155.24 c vbounds : 0 0 0 0
155.15/155.24 c redcost : 28029 0 0 0
155.15/155.24 c probing : 0 0 0 0
155.15/155.24 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
155.15/155.24 c rootredcost : 0.06 0.00 0.00 0.06 0.00
155.15/155.24 c pseudoobj : 0.05 0.00 0.00 0.05 0.00
155.15/155.24 c vbounds : 0.05 0.00 0.00 0.05 0.00
155.15/155.24 c redcost : 0.12 0.00 0.00 0.12 0.00
155.15/155.24 c probing : 0.00 0.00 0.00 0.00 0.00
155.15/155.24 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
155.15/155.24 c propagation : 0.07 1812 1804 8734 19.5 38 17.4 -
155.15/155.24 c infeasible LP : 2.12 25149 24818 144809 31.7 78 18.6 0
155.15/155.24 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
155.15/155.24 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
155.15/155.24 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
155.15/155.24 c applied globally : - - - 34980 19.1 - - -
155.15/155.24 c applied locally : - - - 1121 33.5 - - -
155.15/155.24 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
155.15/155.24 c cut pool : 0.00 4 - - 302 - (maximal pool size: 514)
155.15/155.24 c closecuts : 0.00 0.00 0 0 0 0 0
155.15/155.24 c impliedbounds : 0.00 0.00 5 0 0 0 0
155.15/155.24 c intobj : 0.00 0.00 0 0 0 0 0
155.15/155.24 c gomory : 0.10 0.00 5 0 0 200 0
155.15/155.24 c cgmip : 0.00 0.00 0 0 0 0 0
155.15/155.24 c strongcg : 0.19 0.00 5 0 0 2500 0
155.15/155.24 c cmir : 0.00 0.00 0 0 0 0 0
155.15/155.24 c flowcover : 0.00 0.00 0 0 0 0 0
155.15/155.24 c clique : 0.00 0.00 5 0 0 0 0
155.15/155.24 c zerohalf : 0.00 0.00 0 0 0 0 0
155.15/155.24 c mcf : 0.00 0.00 1 0 0 0 0
155.15/155.24 c oddcycle : 0.00 0.00 0 0 0 0 0
155.15/155.24 c rapidlearning : 0.10 0.00 1 0 0 0 294
155.15/155.24 c Pricers : ExecTime SetupTime Calls Vars
155.15/155.24 c problem variables: 0.00 - 0 0
155.15/155.24 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
155.15/155.24 c relpscost : 20.26 0.00 28024 108 1642 0 0 54150
155.15/155.24 c pscost : 0.00 0.00 0 0 0 0 0 0
155.15/155.24 c inference : 0.00 0.00 0 0 0 0 0 0
155.15/155.24 c mostinf : 0.00 0.00 0 0 0 0 0 0
155.15/155.24 c leastinf : 0.00 0.00 0 0 0 0 0 0
155.15/155.24 c fullstrong : 0.00 0.00 0 0 0 0 0 0
155.15/155.24 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
155.15/155.24 c random : 0.00 0.00 0 0 0 0 0 0
155.15/155.24 c Primal Heuristics : ExecTime SetupTime Calls Found
155.15/155.24 c LP solutions : 0.00 - - 0
155.15/155.24 c pseudo solutions : 0.00 - - 0
155.15/155.24 c smallcard : 0.00 0.00 0 0
155.15/155.24 c trivial : 0.00 0.00 1 0
155.15/155.24 c shiftandpropagate: 0.00 0.00 0 0
155.15/155.24 c simplerounding : 0.00 0.00 0 0
155.15/155.24 c zirounding : 0.00 0.00 0 0
155.15/155.24 c rounding : 0.00 0.00 0 0
155.15/155.24 c shifting : 0.00 0.00 0 0
155.15/155.24 c intshifting : 0.00 0.00 0 0
155.15/155.24 c oneopt : 0.00 0.00 0 0
155.15/155.24 c twoopt : 0.00 0.00 0 0
155.15/155.24 c indtwoopt : 0.00 0.00 0 0
155.15/155.24 c indoneopt : 0.00 0.00 0 0
155.15/155.24 c fixandinfer : 0.00 0.00 0 0
155.15/155.24 c feaspump : 0.00 0.00 0 0
155.15/155.24 c clique : 0.00 0.00 0 0
155.15/155.24 c indrounding : 0.00 0.00 0 0
155.15/155.24 c indcoefdiving : 0.00 0.00 0 0
155.15/155.24 c coefdiving : 0.00 0.00 0 0
155.15/155.24 c pscostdiving : 0.00 0.00 0 0
155.15/155.24 c nlpdiving : 0.00 0.00 0 0
155.15/155.24 c fracdiving : 0.00 0.00 0 0
155.15/155.24 c veclendiving : 0.00 0.00 0 0
155.15/155.24 c intdiving : 0.00 0.00 0 0
155.15/155.24 c actconsdiving : 0.00 0.00 0 0
155.15/155.24 c objpscostdiving : 0.00 0.00 0 0
155.15/155.24 c rootsoldiving : 0.00 0.00 0 0
155.15/155.24 c linesearchdiving : 0.00 0.00 0 0
155.15/155.24 c guideddiving : 0.00 0.00 0 0
155.15/155.24 c octane : 0.00 0.00 0 0
155.15/155.24 c rens : 0.00 0.00 0 0
155.15/155.24 c rins : 0.00 0.00 0 0
155.15/155.24 c localbranching : 0.00 0.00 0 0
155.15/155.24 c mutation : 0.00 0.00 0 0
155.15/155.24 c crossover : 0.00 0.00 0 0
155.15/155.24 c dins : 0.00 0.00 0 0
155.15/155.24 c vbounds : 0.00 0.00 0 0
155.15/155.24 c undercover : 0.00 0.00 0 0
155.15/155.24 c subnlp : 0.00 0.00 0 0
155.15/155.24 c trysol : 0.00 0.00 0 0
155.15/155.24 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
155.15/155.24 c primal LP : 0.00 1 0 0.00 - 0.00 1
155.15/155.24 c dual LP : 114.31 53178 1065382 20.08 9319.89 0.04 111
155.15/155.24 c lex dual LP : 0.00 0 0 0.00 -
155.15/155.24 c barrier LP : 0.00 0 0 0.00 - 0.00 0
155.15/155.24 c diving/probing LP: 0.00 0 0 0.00 -
155.15/155.24 c strong branching : 19.81 4370 173884 39.79 8778.95
155.15/155.24 c (at root node) : - 10 1907 190.70 -
155.15/155.24 c conflict analysis: 0.00 0 0 0.00 -
155.15/155.24 c B&B Tree :
155.15/155.24 c number of runs : 1
155.15/155.24 c nodes : 53860
155.15/155.24 c nodes (total) : 53860
155.15/155.24 c nodes left : 0
155.15/155.24 c max depth : 51
155.15/155.24 c max depth (total): 51
155.15/155.24 c backtracks : 5722 (10.6%)
155.15/155.24 c delayed cutoffs : 291
155.15/155.24 c repropagations : 98149 (100789 domain reductions, 291 cutoffs)
155.15/155.24 c avg switch length: 5.42
155.15/155.24 c switching time : 4.51
155.15/155.24 c Solution :
155.15/155.24 c Solutions found : 0 (0 improvements)
155.15/155.24 c Primal Bound : infeasible
155.15/155.24 c Dual Bound : -
155.15/155.24 c Gap : 0.00 %
155.15/155.24 c Root Dual Bound : +0.00000000000000e+00
155.15/155.24 c Root Iterations : 146
155.15/155.26 c Time complete: 155.22.
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-3691577-1338021149/watcher-3691577-1338021149 -o /tmp/evaluation-result-3691577-1338021149/solver-3691577-1338021149 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691577-1338021149.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 2502
/proc/meminfo: memFree=29508032/32873852 swapFree=7616/7616
[pid=2502] ppid=2500 vsize=12556 CPUtime=0 cores=1,3,5,7
/proc/2502/stat : 2502 (scip-2.1.1.4exp) R 2500 2502 403 0 -1 4202496 1892 0 0 0 0 0 0 0 20 0 1 0 268240405 12857344 1847 33554432000 4194304 10219143 140736424341776 140736424340648 4994016 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2502/statm: 3139 1850 419 1471 0 1659 0
[startup+0.0490951 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 2502
/proc/meminfo: memFree=29508032/32873852 swapFree=7616/7616
[pid=2502] ppid=2500 vsize=23656 CPUtime=0.04 cores=1,3,5,7
/proc/2502/stat : 2502 (scip-2.1.1.4exp) R 2500 2502 403 0 -1 4202496 4734 0 0 0 4 0 0 0 20 0 1 0 268240405 24223744 4432 33554432000 4194304 10219143 140736424341776 140736424340648 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2502/statm: 5914 4432 585 1471 0 4434 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23656
[startup+0.100309 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 2502
/proc/meminfo: memFree=29508032/32873852 swapFree=7616/7616
[pid=2502] ppid=2500 vsize=30608 CPUtime=0.08 cores=1,3,5,7
/proc/2502/stat : 2502 (scip-2.1.1.4exp) R 2500 2502 403 0 -1 4202496 6799 0 0 0 8 0 0 0 20 0 1 0 268240405 31342592 6452 33554432000 4194304 10219143 140736424341776 140736424340648 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2502/statm: 7652 6452 761 1471 0 6172 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30608
[startup+0.300313 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 2502
/proc/meminfo: memFree=29508032/32873852 swapFree=7616/7616
[pid=2502] ppid=2500 vsize=48328 CPUtime=0.28 cores=1,3,5,7
/proc/2502/stat : 2502 (scip-2.1.1.4exp) R 2500 2502 403 0 -1 4202496 11679 0 0 0 26 2 0 0 20 0 1 0 268240405 49487872 10624 33554432000 4194304 10219143 140736424341776 140736424340648 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2502/statm: 12082 10624 814 1471 0 10602 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 48328
[startup+0.700222 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 2502
/proc/meminfo: memFree=29508032/32873852 swapFree=7616/7616
[pid=2502] ppid=2500 vsize=48496 CPUtime=0.69 cores=1,3,5,7
/proc/2502/stat : 2502 (scip-2.1.1.4exp) R 2500 2502 403 0 -1 4202496 11798 0 0 0 66 3 0 0 20 0 1 0 268240405 49659904 10743 33554432000 4194304 10219143 140736424341776 140736424335224 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2502/statm: 12124 10743 818 1471 0 10644 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48496
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2503
/proc/meminfo: memFree=29468468/32873852 swapFree=7616/7616
[pid=2502] ppid=2500 vsize=48496 CPUtime=1.49 cores=1,3,5,7
/proc/2502/stat : 2502 (scip-2.1.1.4exp) R 2500 2502 403 0 -1 4202496 11802 0 0 0 145 4 0 0 20 0 1 0 268240405 49659904 10747 33554432000 4194304 10219143 140736424341776 140736424335224 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2502/statm: 12124 10747 822 1471 0 10644 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48496
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2503
/proc/meminfo: memFree=29468204/32873852 swapFree=7616/7616
[pid=2502] ppid=2500 vsize=48496 CPUtime=3.08 cores=1,3,5,7
/proc/2502/stat : 2502 (scip-2.1.1.4exp) R 2500 2502 403 0 -1 4202496 11803 0 0 0 302 6 0 0 20 0 1 0 268240405 49659904 10748 33554432000 4194304 10219143 140736424341776 140736424335224 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2502/statm: 12124 10748 823 1471 0 10644 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 48496
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2503
/proc/meminfo: memFree=29468204/32873852 swapFree=7616/7616
[pid=2502] ppid=2500 vsize=48496 CPUtime=6.29 cores=1,3,5,7
/proc/2502/stat : 2502 (scip-2.1.1.4exp) R 2500 2502 403 0 -1 4202496 11803 0 0 0 619 10 0 0 20 0 1 0 268240405 49659904 10748 33554432000 4194304 10219143 140736424341776 140736424335416 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2502/statm: 12124 10748 823 1471 0 10644 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48496
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 2503
/proc/meminfo: memFree=29467268/32873852 swapFree=7616/7616
[pid=2502] ppid=2500 vsize=48496 CPUtime=12.68 cores=1,3,5,7
/proc/2502/stat : 2502 (scip-2.1.1.4exp) R 2500 2502 403 0 -1 4202496 11810 0 0 0 1250 18 0 0 20 0 1 0 268240405 49659904 10900 33554432000 4194304 10219143 140736424341776 140736424335416 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2502/statm: 12124 10900 824 1471 0 10644 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 48496
[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 2503
/proc/meminfo: memFree=29466516/32873852 swapFree=7616/7616
[pid=2502] ppid=2500 vsize=48496 CPUtime=25.48 cores=1,3,5,7
/proc/2502/stat : 2502 (scip-2.1.1.4exp) R 2500 2502 403 0 -1 4202496 11815 0 0 0 2510 38 0 0 20 0 1 0 268240405 49659904 11155 33554432000 4194304 10219143 140736424341776 140736424334392 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2502/statm: 12124 11155 824 1471 0 10644 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48496
[startup+51.1003 s]
/proc/loadavg: 2.11 2.03 2.01 3/175 2503
/proc/meminfo: memFree=29466328/32873852 swapFree=7616/7616
[pid=2502] ppid=2500 vsize=48496 CPUtime=51.07 cores=1,3,5,7
/proc/2502/stat : 2502 (scip-2.1.1.4exp) R 2500 2502 403 0 -1 4202496 11815 0 0 0 5024 83 0 0 20 0 1 0 268240405 49659904 11155 33554432000 4194304 10219143 140736424341776 140736424335032 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2502/statm: 12124 11155 824 1471 0 10644 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 48496
[startup+102.307 s]
/proc/loadavg: 2.05 2.02 2.00 3/175 2580
/proc/meminfo: memFree=29464464/32873852 swapFree=7616/7616
[pid=2502] ppid=2500 vsize=48496 CPUtime=102.27 cores=1,3,5,7
/proc/2502/stat : 2502 (scip-2.1.1.4exp) R 2500 2502 403 0 -1 4202496 11815 0 0 0 10070 157 0 0 20 0 1 0 268240405 49659904 11155 33554432000 4194304 10219143 140736424341776 140736424335032 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2502/statm: 12124 11155 824 1471 0 10644 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 48496
Solver just ended. Dumping a history of the last processes samples
[startup+127.9 s]
/proc/loadavg: 2.03 2.02 2.00 3/175 2580
/proc/meminfo: memFree=29464588/32873852 swapFree=7616/7616
[pid=2502] ppid=2500 vsize=48496 CPUtime=127.86 cores=1,3,5,7
/proc/2502/stat : 2502 (scip-2.1.1.4exp) R 2500 2502 403 0 -1 4202496 11815 0 0 0 12592 194 0 0 20 0 1 0 268240405 49659904 11155 33554432000 4194304 10219143 140736424341776 140736424335416 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2502/statm: 12124 11155 824 1471 0 10644 0
Current children cumulated CPU time (s) 127.86
Current children cumulated vsize (KiB) 48496
[startup+140.7 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 2580
/proc/meminfo: memFree=29464216/32873852 swapFree=7616/7616
[pid=2502] ppid=2500 vsize=48496 CPUtime=140.66 cores=1,3,5,7
/proc/2502/stat : 2502 (scip-2.1.1.4exp) R 2500 2502 403 0 -1 4202496 11815 0 0 0 13853 213 0 0 20 0 1 0 268240405 49659904 11155 33554432000 4194304 10219143 140736424341776 140736424334760 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2502/statm: 12124 11155 824 1471 0 10644 0
Current children cumulated CPU time (s) 140.66
Current children cumulated vsize (KiB) 48496
[startup+147.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 2580
/proc/meminfo: memFree=29464216/32873852 swapFree=7616/7616
[pid=2502] ppid=2500 vsize=48496 CPUtime=147.05 cores=1,3,5,7
/proc/2502/stat : 2502 (scip-2.1.1.4exp) R 2500 2502 403 0 -1 4202496 11815 0 0 0 14482 223 0 0 20 0 1 0 268240405 49659904 11155 33554432000 4194304 10219143 140736424341776 140736424339144 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2502/statm: 12124 11155 824 1471 0 10644 0
Current children cumulated CPU time (s) 147.05
Current children cumulated vsize (KiB) 48496
[startup+150.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 2580
/proc/meminfo: memFree=29464216/32873852 swapFree=7616/7616
[pid=2502] ppid=2500 vsize=48496 CPUtime=150.26 cores=1,3,5,7
/proc/2502/stat : 2502 (scip-2.1.1.4exp) R 2500 2502 403 0 -1 4202496 11815 0 0 0 14798 228 0 0 20 0 1 0 268240405 49659904 11155 33554432000 4194304 10219143 140736424341776 140736424335032 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2502/statm: 12124 11155 824 1471 0 10644 0
Current children cumulated CPU time (s) 150.26
Current children cumulated vsize (KiB) 48496
[startup+153.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 2580
/proc/meminfo: memFree=29464092/32873852 swapFree=7616/7616
[pid=2502] ppid=2500 vsize=48496 CPUtime=153.45 cores=1,3,5,7
/proc/2502/stat : 2502 (scip-2.1.1.4exp) R 2500 2502 403 0 -1 4202496 11816 0 0 0 15113 232 0 0 20 0 1 0 268240405 49659904 11156 33554432000 4194304 10219143 140736424341776 140736424335032 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2502/statm: 12124 11156 825 1471 0 10644 0
Current children cumulated CPU time (s) 153.45
Current children cumulated vsize (KiB) 48496
[startup+154.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 2580
/proc/meminfo: memFree=29464216/32873852 swapFree=7616/7616
[pid=2502] ppid=2500 vsize=48496 CPUtime=154.25 cores=1,3,5,7
/proc/2502/stat : 2502 (scip-2.1.1.4exp) R 2500 2502 403 0 -1 4202496 11816 0 0 0 15192 233 0 0 20 0 1 0 268240405 49659904 11156 33554432000 4194304 10219143 140736424341776 140736424335080 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2502/statm: 12124 11156 825 1471 0 10644 0
Current children cumulated CPU time (s) 154.25
Current children cumulated vsize (KiB) 48496
[startup+154.7 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 2580
/proc/meminfo: memFree=29464216/32873852 swapFree=7616/7616
[pid=2502] ppid=2500 vsize=48496 CPUtime=154.66 cores=1,3,5,7
/proc/2502/stat : 2502 (scip-2.1.1.4exp) R 2500 2502 403 0 -1 4202496 11816 0 0 0 15231 235 0 0 20 0 1 0 268240405 49659904 11156 33554432000 4194304 10219143 140736424341776 140736424335416 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2502/statm: 12124 11156 825 1471 0 10644 0
Current children cumulated CPU time (s) 154.66
Current children cumulated vsize (KiB) 48496
[startup+155.107 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 2580
/proc/meminfo: memFree=29464216/32873852 swapFree=7616/7616
[pid=2502] ppid=2500 vsize=48496 CPUtime=155.06 cores=1,3,5,7
/proc/2502/stat : 2502 (scip-2.1.1.4exp) R 2500 2502 403 0 -1 4202496 11816 0 0 0 15271 235 0 0 20 0 1 0 268240405 49659904 11156 33554432000 4194304 10219143 140736424341776 140736424335416 8029188 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2502/statm: 12124 11156 825 1471 0 10644 0
Current children cumulated CPU time (s) 155.06
Current children cumulated vsize (KiB) 48496
[startup+155.2 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 2580
/proc/meminfo: memFree=29464216/32873852 swapFree=7616/7616
[pid=2502] ppid=2500 vsize=48496 CPUtime=155.15 cores=1,3,5,7
/proc/2502/stat : 2502 (scip-2.1.1.4exp) R 2500 2502 403 0 -1 4202496 11816 0 0 0 15280 235 0 0 20 0 1 0 268240405 49659904 11156 33554432000 4194304 10219143 140736424341776 140736424335416 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2502/statm: 12124 11156 825 1471 0 10644 0
Current children cumulated CPU time (s) 155.15
Current children cumulated vsize (KiB) 48496
Child status: 0
Real time (s): 155.266
CPU time (s): 155.23
CPU user time (s): 152.87
CPU system time (s): 2.36064
CPU usage (%): 99.9768
Max. virtual memory (cumulated for all children) (KiB): 50920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 152.87
system time used= 2.36064
maximum resident set size= 44956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11821
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 161
runsolver used 0.295955 second user time and 0.755885 second system time
The end