0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3690439-1338016935.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.02 c presolving:
0.02/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.02/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.02/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.02/0.06 c presolving (4 rounds):
0.02/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.02/0.06 c 242 implications, 22 cliques
0.02/0.06 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.02/0.06 c 1 constraints of type <knapsack>
0.02/0.06 c 22 constraints of type <setppc>
0.02/0.06 c 2420 constraints of type <logicor>
0.02/0.06 c transformed objective value is always integral (scale: 1)
0.02/0.06 c Presolving Time: 0.05
0.02/0.06 c - non default parameters ----------------------------------------------------------------------
0.02/0.06 c # SCIP version 2.1.1.4
0.02/0.06 c
0.02/0.06 c # maximal time in seconds to run
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/time = 1797
0.02/0.06 c
0.02/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/memory = 13950
0.02/0.06 c
0.02/0.06 c # solving stops, if the given number of solutions were found (-1: no limit)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.06 c limits/solutions = 1
0.02/0.06 c
0.02/0.06 c # maximal number of separation rounds per node (-1: unlimited)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 5]
0.02/0.06 c separating/maxrounds = 1
0.02/0.06 c
0.02/0.06 c # maximal number of separation rounds in the root node (-1: unlimited)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.06 c separating/maxroundsroot = 5
0.02/0.06 c
0.02/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.06 c # [type: int, range: [1,2], default: 1]
0.02/0.06 c timing/clocktype = 2
0.02/0.06 c
0.02/0.06 c # belongs reading time to solving time?
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c timing/reading = TRUE
0.02/0.06 c
0.02/0.06 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.02/0.06 c constraints/knapsack/disaggregation = FALSE
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.06 c heuristics/coefdiving/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.06 c heuristics/coefdiving/maxlpiterquot = 0.075
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/coefdiving/maxlpiterofs = 1500
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 30]
0.02/0.06 c heuristics/crossover/freq = -1
0.02/0.06 c
0.02/0.06 c # number of nodes added to the contingent of the total nodes
0.02/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.02/0.06 c heuristics/crossover/nodesofs = 750
0.02/0.06 c
0.02/0.06 c # number of nodes without incumbent change that heuristic should wait
0.02/0.06 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.02/0.06 c heuristics/crossover/nwaitingnodes = 100
0.02/0.06 c
0.02/0.06 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.02/0.06 c # [type: real, range: [0,1], default: 0.1]
0.02/0.06 c heuristics/crossover/nodesquot = 0.15
0.02/0.06 c
0.02/0.06 c # minimum percentage of integer variables that have to be fixed
0.02/0.06 c # [type: real, range: [0,1], default: 0.666]
0.02/0.06 c heuristics/crossover/minfixingrate = 0.5
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.02/0.06 c heuristics/feaspump/freq = -1
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/feaspump/maxlpiterofs = 2000
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.06 c heuristics/fracdiving/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.06 c heuristics/fracdiving/maxlpiterquot = 0.075
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/fracdiving/maxlpiterofs = 1500
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.06 c heuristics/guideddiving/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.06 c heuristics/guideddiving/maxlpiterquot = 0.075
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/guideddiving/maxlpiterofs = 1500
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.06 c heuristics/intdiving/maxlpiterquot = 0.075
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.06 c heuristics/intshifting/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.06 c heuristics/linesearchdiving/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.06 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.02/0.06 c heuristics/objpscostdiving/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to total iteration number
0.02/0.06 c # [type: real, range: [0,1], default: 0.01]
0.02/0.06 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.06 c heuristics/oneopt/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.06 c heuristics/pscostdiving/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.06 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/pscostdiving/maxlpiterofs = 1500
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.06 c heuristics/rens/freq = -1
0.02/0.06 c
0.02/0.06 c # minimum percentage of integer variables that have to be fixable
0.02/0.06 c # [type: real, range: [0,1], default: 0.5]
0.02/0.06 c heuristics/rens/minfixingrate = 0.3
0.02/0.06 c
0.02/0.06 c # number of nodes added to the contingent of the total nodes
0.02/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.02/0.06 c heuristics/rens/nodesofs = 2000
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.02/0.06 c heuristics/rootsoldiving/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.02/0.06 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.06 c heuristics/rounding/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.06 c heuristics/shiftandpropagate/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.06 c heuristics/shifting/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.06 c heuristics/simplerounding/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.06 c heuristics/subnlp/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.06 c heuristics/trivial/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.06 c heuristics/trysol/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.06 c heuristics/undercover/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.06 c heuristics/veclendiving/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.06 c heuristics/veclendiving/maxlpiterquot = 0.075
0.02/0.06 c
0.02/0.06 c # additional number of allowed LP iterations
0.02/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.06 c heuristics/veclendiving/maxlpiterofs = 1500
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.06 c heuristics/zirounding/freq = -1
0.02/0.06 c
0.02/0.06 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.06 c propagating/probing/maxprerounds = 0
0.02/0.06 c
0.02/0.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.06 c separating/cmir/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.06 c separating/flowcover/freq = -1
0.02/0.06 c
0.02/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.06 c separating/rapidlearning/freq = 0
0.02/0.06 c
0.02/0.06 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.06 c heuristics/indoneopt/freq = -1
0.02/0.06 c
0.02/0.06 c -----------------------------------------------------------------------------------------------
0.02/0.06 c start solving
0.02/0.06 c
0.02/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.02/0.07 c 0.1s| 1 | 0 | 76 | - |3909k| 0 | 36 | 231 |2443 | 231 |2443 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.2s| 1 | 0 | 90 | - |4396k| 0 | 39 | 231 |2778 | 231 |2450 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 105 | - |4724k| 0 | 45 | 231 |2778 | 231 |2454 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.26 c 0.3s| 1 | 0 | 120 | - |5163k| 0 | 46 | 231 |2778 | 231 |2455 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.30 c 0.3s| 1 | 0 | 139 | - |5606k| 0 | 47 | 231 |2778 | 231 |2457 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.46 c 0.5s| 1 | 0 | 146 | - |5947k| 0 | 51 | 231 |2778 | 231 |2460 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.65 c 0.6s| 1 | 2 | 146 | - |5947k| 0 | 51 | 231 |2778 | 231 |2460 | 17 | 0 | 9 | 0.000000e+00 | -- | Inf
8.88/8.91 c 8.9s| 100 | 9 | 5466 | 53.7 |6074k| 19 | 37 | 231 |2804 | 231 |2453 | 17 | 27 |1232 | 0.000000e+00 | -- | Inf
9.99/10.03 c 10.0s| 200 | 16 | 8094 | 39.9 |6128k| 19 | 37 | 231 |2877 | 231 |2453 | 17 | 100 |1392 | 0.000000e+00 | -- | Inf
10.47/10.55 c 10.6s| 300 | 20 | 9844 | 32.4 |6170k| 19 | 29 | 231 |2955 | 231 |2453 | 17 | 178 |1456 | 0.000000e+00 | -- | Inf
10.78/10.88 c 10.9s| 400 | 21 | 11600 | 28.7 |6200k| 19 | 37 | 231 |3026 | 231 |2453 | 17 | 249 |1480 | 0.000000e+00 | -- | Inf
11.18/11.26 c 11.3s| 500 | 19 | 13704 | 27.2 |6219k| 23 | 40 | 231 |3103 | 231 |2453 | 17 | 326 |1506 | 0.000000e+00 | -- | Inf
11.48/11.56 c 11.6s| 600 | 19 | 15897 | 26.3 |6249k| 23 | 35 | 231 |3175 | 231 |2453 | 17 | 398 |1511 | 0.000000e+00 | -- | Inf
11.78/11.86 c 11.9s| 700 | 23 | 18009 | 25.6 |6285k| 23 | 30 | 231 |3240 | 231 |2453 | 17 | 464 |1520 | 0.000000e+00 | -- | Inf
12.09/12.12 c 12.1s| 800 | 21 | 19781 | 24.6 |6311k| 24 | - | 231 |3316 | 231 |2453 | 17 | 540 |1528 | 0.000000e+00 | -- | Inf
12.38/12.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.38/12.42 c 12.4s| 900 | 20 | 21970 | 24.3 |6343k| 24 | 39 | 231 |3404 | 231 |2453 | 17 | 628 |1533 | 0.000000e+00 | -- | Inf
12.68/12.73 c 12.7s| 1000 | 24 | 24305 | 24.2 |6383k| 24 | - | 231 |3472 | 231 |2453 | 17 | 696 |1538 | 0.000000e+00 | -- | Inf
12.88/12.98 c 13.0s| 1100 | 28 | 26296 | 23.8 |6417k| 24 | 34 | 231 |3548 | 231 |2453 | 17 | 774 |1539 | 0.000000e+00 | -- | Inf
13.19/13.29 c 13.3s| 1200 | 28 | 28614 | 23.7 |6456k| 28 | 28 | 231 |3633 | 231 |2453 | 17 | 862 |1544 | 0.000000e+00 | -- | Inf
13.48/13.58 c 13.6s| 1300 | 26 | 30498 | 23.4 |6490k| 28 | - | 231 |3720 | 231 |2453 | 17 | 951 |1553 | 0.000000e+00 | -- | Inf
13.88/13.92 c 13.9s| 1400 | 30 | 32621 | 23.2 |6524k| 28 | 34 | 231 |3787 | 231 |2453 | 17 |1022 |1573 | 0.000000e+00 | -- | Inf
14.18/14.23 c 14.2s| 1500 | 29 | 34574 | 23.0 |6559k| 28 | - | 231 |3867 | 231 |2453 | 17 |1107 |1590 | 0.000000e+00 | -- | Inf
14.48/14.59 c 14.6s| 1600 | 29 | 36720 | 22.9 |6584k| 28 | 42 | 231 |3946 | 231 |2453 | 17 |1189 |1617 | 0.000000e+00 | -- | Inf
14.88/14.91 c 14.9s| 1700 | 33 | 38523 | 22.6 |6618k| 28 | 33 | 231 |4005 | 231 |2453 | 17 |1251 |1635 | 0.000000e+00 | -- | Inf
15.18/15.27 c 15.3s| 1800 | 34 | 40716 | 22.6 |6647k| 28 | 31 | 231 |4074 | 231 |2453 | 17 |1322 |1655 | 0.000000e+00 | -- | Inf
15.48/15.56 c 15.6s| 1900 | 32 | 42841 | 22.5 |6667k| 28 | 34 | 231 |4142 | 231 |2453 | 17 |1398 |1660 | 0.000000e+00 | -- | Inf
15.78/15.86 c 15.9s| 2000 | 37 | 44855 | 22.4 |6707k| 28 | - | 231 |4200 | 231 |2453 | 17 |1460 |1671 | 0.000000e+00 | -- | Inf
16.08/16.15 c 16.2s| 2100 | 37 | 47164 | 22.4 |6737k| 28 | - | 231 |4274 | 231 |2453 | 17 |1535 |1675 | 0.000000e+00 | -- | Inf
16.38/16.45 c 16.5s| 2200 | 40 | 49481 | 22.4 |6766k| 30 | 35 | 231 |4335 | 231 |2453 | 17 |1601 |1679 | 0.000000e+00 | -- | Inf
16.68/16.74 c 16.7s| 2300 | 38 | 51693 | 22.4 |6801k| 31 | - | 231 |4411 | 231 |2453 | 17 |1680 |1682 | 0.000000e+00 | -- | Inf
16.98/17.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.98/17.05 c 17.1s| 2400 | 36 | 54298 | 22.6 |6824k| 31 | 40 | 231 |4487 | 231 |2453 | 17 |1761 |1682 | 0.000000e+00 | -- | Inf
17.28/17.36 c 17.4s| 2500 | 34 | 56712 | 22.6 |6848k| 33 | 36 | 231 |4559 | 231 |2453 | 17 |1838 |1684 | 0.000000e+00 | -- | Inf
17.58/17.64 c 17.6s| 2600 | 34 | 58812 | 22.6 |6881k| 33 | 42 | 231 |4636 | 231 |2453 | 17 |1930 |1688 | 0.000000e+00 | -- | Inf
17.88/17.91 c 17.9s| 2700 | 34 | 60894 | 22.5 |6886k| 33 | 31 | 231 |4666 | 231 |2453 | 17 |1997 |1688 | 0.000000e+00 | -- | Inf
18.08/18.17 c 18.2s| 2800 | 39 | 62997 | 22.5 |6932k| 33 | 30 | 231 |4741 | 231 |2453 | 17 |2088 |1689 | 0.000000e+00 | -- | Inf
18.38/18.43 c 18.4s| 2900 | 37 | 65013 | 22.4 |6921k| 33 | 34 | 231 |4746 | 231 |2453 | 17 |2162 |1689 | 0.000000e+00 | -- | Inf
18.57/18.70 c 18.7s| 3000 | 34 | 67035 | 22.3 |6942k| 33 | 22 | 231 |4818 | 231 |2453 | 17 |2240 |1689 | 0.000000e+00 | -- | Inf
18.98/19.06 c 19.1s| 3100 | 33 | 69434 | 22.4 |6976k| 33 | - | 231 |4895 | 231 |2453 | 17 |2333 |1703 | 0.000000e+00 | -- | Inf
19.27/19.39 c 19.4s| 3200 | 33 | 71759 | 22.4 |6990k| 33 | - | 231 |4951 | 231 |2453 | 17 |2424 |1713 | 0.000000e+00 | -- | Inf
19.68/19.78 c 19.8s| 3300 | 33 | 74184 | 22.4 |7006k| 33 | 42 | 231 |5014 | 231 |2453 | 17 |2516 |1732 | 0.000000e+00 | -- | Inf
20.08/20.12 c 20.1s| 3400 | 33 | 76524 | 22.5 |7035k| 33 | - | 231 |5081 | 231 |2453 | 17 |2589 |1747 | 0.000000e+00 | -- | Inf
20.37/20.42 c 20.4s| 3500 | 39 | 78396 | 22.4 |7066k| 33 | 29 | 231 |5135 | 231 |2453 | 17 |2651 |1761 | 0.000000e+00 | -- | Inf
20.78/20.82 c 20.8s| 3600 | 34 | 80931 | 22.4 |7091k| 33 | - | 231 |5214 | 231 |2453 | 17 |2735 |1786 | 0.000000e+00 | -- | Inf
21.18/21.24 c 21.2s| 3700 | 28 | 83532 | 22.5 |7112k| 33 | - | 231 |5299 | 231 |2453 | 17 |2835 |1809 | 0.000000e+00 | -- | Inf
21.48/21.59 c 21.6s| 3800 | 31 | 85523 | 22.5 |7148k| 33 | - | 231 |5328 | 231 |2453 | 17 |2907 |1826 | 0.000000e+00 | -- | Inf
21.78/21.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.78/21.86 c 21.9s| 3900 | 33 | 87253 | 22.3 |7167k| 33 | 32 | 231 |5371 | 231 |2453 | 17 |2978 |1838 | 0.000000e+00 | -- | Inf
22.08/22.16 c 22.2s| 4000 | 32 | 88988 | 22.2 |7183k| 33 | 30 | 231 |5421 | 231 |2453 | 17 |3038 |1854 | 0.000000e+00 | -- | Inf
22.48/22.52 c 22.5s| 4100 | 34 | 91183 | 22.2 |7196k| 33 | 35 | 231 |5460 | 231 |2453 | 17 |3103 |1876 | 0.000000e+00 | -- | Inf
22.78/22.89 c 22.9s| 4200 | 38 | 93483 | 22.2 |7218k| 33 | 34 | 231 |5485 | 231 |2453 | 17 |3178 |1894 | 0.000000e+00 | -- | Inf
23.19/23.21 c 23.2s| 4300 | 45 | 95815 | 22.3 |7249k| 33 | - | 231 |5485 | 231 |2453 | 17 |3256 |1899 | 0.000000e+00 | -- | Inf
23.47/23.50 c 23.5s| 4400 | 46 | 98032 | 22.3 |7261k| 33 | - | 231 |5507 | 231 |2453 | 17 |3328 |1901 | 0.000000e+00 | -- | Inf
23.67/23.74 c 23.7s| 4500 | 45 | 99861 | 22.2 |7285k| 33 | - | 231 |5541 | 231 |2453 | 17 |3402 |1902 | 0.000000e+00 | -- | Inf
23.97/24.02 c 24.0s| 4600 | 43 |101927 | 22.1 |7291k| 33 | 44 | 231 |5579 | 231 |2453 | 17 |3469 |1905 | 0.000000e+00 | -- | Inf
24.18/24.29 c 24.3s| 4700 | 41 |103991 | 22.1 |7297k| 33 | - | 231 |5583 | 231 |2453 | 17 |3540 |1906 | 0.000000e+00 | -- | Inf
24.47/24.56 c 24.6s| 4800 | 41 |106127 | 22.1 |7295k| 33 | 35 | 231 |5599 | 231 |2453 | 17 |3617 |1907 | 0.000000e+00 | -- | Inf
24.77/24.81 c 24.8s| 4900 | 40 |108010 | 22.0 |7310k| 33 | - | 231 |5639 | 231 |2453 | 17 |3696 |1909 | 0.000000e+00 | -- | Inf
24.97/25.06 c 25.1s| 5000 | 40 |109834 | 21.9 |7336k| 33 | - | 231 |5704 | 231 |2453 | 17 |3776 |1911 | 0.000000e+00 | -- | Inf
25.28/25.34 c 25.3s| 5100 | 41 |111986 | 21.9 |7362k| 33 | 28 | 231 |5782 | 231 |2453 | 17 |3869 |1913 | 0.000000e+00 | -- | Inf
25.47/25.56 c 25.6s| 5200 | 43 |113847 | 21.9 |7394k| 33 | 22 | 231 |5856 | 231 |2453 | 17 |3950 |1913 | 0.000000e+00 | -- | Inf
25.78/25.81 c 25.8s| 5300 | 46 |115855 | 21.8 |7428k| 33 | - | 231 |5918 | 231 |2453 | 17 |4019 |1915 | 0.000000e+00 | -- | Inf
25.98/26.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.98/26.03 c 26.0s| 5400 | 44 |117589 | 21.8 |7445k| 33 | 33 | 231 |5979 | 231 |2453 | 17 |4083 |1915 | 0.000000e+00 | -- | Inf
26.17/26.27 c 26.3s| 5500 | 48 |119311 | 21.7 |7471k| 33 | 29 | 231 |6026 | 231 |2453 | 17 |4149 |1917 | 0.000000e+00 | -- | Inf
26.37/26.47 c 26.5s| 5600 | 49 |120767 | 21.5 |7489k| 33 | 34 | 231 |6073 | 231 |2453 | 17 |4201 |1918 | 0.000000e+00 | -- | Inf
26.58/26.65 c 26.7s| 5700 | 49 |122064 | 21.4 |7518k| 33 | - | 231 |6137 | 231 |2453 | 17 |4274 |1918 | 0.000000e+00 | -- | Inf
26.77/26.89 c 26.9s| 5800 | 54 |123609 | 21.3 |7547k| 33 | 31 | 231 |6188 | 231 |2453 | 17 |4334 |1928 | 0.000000e+00 | -- | Inf
27.07/27.15 c 27.1s| 5900 | 49 |125081 | 21.2 |7563k| 33 | 33 | 231 |6251 | 231 |2453 | 17 |4399 |1942 | 0.000000e+00 | -- | Inf
27.37/27.43 c 27.4s| 6000 | 45 |126754 | 21.1 |7570k| 33 | 25 | 231 |6306 | 231 |2453 | 17 |4461 |1958 | 0.000000e+00 | -- | Inf
27.67/27.78 c 27.8s| 6100 | 47 |128854 | 21.1 |7603k| 33 | 40 | 231 |6361 | 231 |2453 | 17 |4527 |1976 | 0.000000e+00 | -- | Inf
27.97/28.06 c 28.1s| 6200 | 44 |130586 | 21.0 |7613k| 34 | 37 | 231 |6408 | 231 |2453 | 17 |4586 |1988 | 0.000000e+00 | -- | Inf
28.27/28.36 c 28.4s| 6300 | 44 |132466 | 21.0 |7629k| 34 | 24 | 231 |6441 | 231 |2453 | 17 |4644 |2003 | 0.000000e+00 | -- | Inf
28.57/28.64 c 28.6s| 6400 | 41 |134290 | 21.0 |7657k| 34 | 41 | 231 |6527 | 231 |2453 | 17 |4743 |2009 | 0.000000e+00 | -- | Inf
28.88/28.96 c 29.0s| 6500 | 38 |136162 | 20.9 |7674k| 34 | 35 | 231 |6591 | 231 |2453 | 17 |4828 |2026 | 0.000000e+00 | -- | Inf
29.17/29.24 c 29.2s| 6600 | 40 |137867 | 20.9 |7706k| 34 | 24 | 231 |6644 | 231 |2453 | 17 |4897 |2039 | 0.000000e+00 | -- | Inf
29.47/29.54 c 29.5s| 6700 | 36 |139533 | 20.8 |7712k| 34 | 42 | 231 |6690 | 231 |2453 | 17 |4970 |2056 | 0.000000e+00 | -- | Inf
29.77/29.84 c 29.8s| 6800 | 36 |141293 | 20.8 |7743k| 34 | 40 | 231 |6740 | 231 |2453 | 17 |5060 |2070 | 0.000000e+00 | -- | Inf
30.07/30.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.07/30.16 c 30.2s| 6900 | 38 |143358 | 20.8 |7772k| 34 | - | 231 |6774 | 231 |2453 | 17 |5151 |2083 | 0.000000e+00 | -- | Inf
30.37/30.45 c 30.5s| 7000 | 38 |145099 | 20.7 |7777k| 34 | - | 231 |6759 | 231 |2453 | 17 |5224 |2097 | 0.000000e+00 | -- | Inf
30.67/30.78 c 30.8s| 7100 | 38 |147094 | 20.7 |7797k| 34 | - | 231 |6814 | 231 |2453 | 17 |5299 |2115 | 0.000000e+00 | -- | Inf
31.07/31.15 c 31.2s| 7200 | 38 |149209 | 20.7 |7797k| 34 | 28 | 231 |6756 | 231 |2453 | 17 |5367 |2137 | 0.000000e+00 | -- | Inf
31.37/31.49 c 31.5s| 7300 | 39 |151517 | 20.7 |7779k| 34 | 40 | 231 |6714 | 231 |2453 | 17 |5450 |2148 | 0.000000e+00 | -- | Inf
31.77/31.84 c 31.8s| 7400 | 45 |153800 | 20.8 |7820k| 34 | - | 231 |6759 | 231 |2453 | 17 |5533 |2165 | 0.000000e+00 | -- | Inf
32.07/32.18 c 32.2s| 7500 | 47 |156381 | 20.8 |7839k| 34 | 36 | 231 |6802 | 231 |2453 | 17 |5607 |2170 | 0.000000e+00 | -- | Inf
32.37/32.45 c 32.4s| 7600 | 46 |158477 | 20.8 |7858k| 34 | 41 | 231 |6866 | 231 |2453 | 17 |5686 |2173 | 0.000000e+00 | -- | Inf
32.67/32.75 c 32.8s| 7700 | 49 |160925 | 20.9 |7892k| 34 | 31 | 231 |6933 | 231 |2453 | 17 |5765 |2175 | 0.000000e+00 | -- | Inf
32.97/33.07 c 33.1s| 7800 | 46 |163544 | 21.0 |7913k| 34 | - | 231 |7005 | 231 |2453 | 17 |5849 |2176 | 0.000000e+00 | -- | Inf
33.27/33.36 c 33.4s| 7900 | 47 |165963 | 21.0 |7939k| 34 | 39 | 231 |7075 | 231 |2453 | 17 |5926 |2176 | 0.000000e+00 | -- | Inf
33.57/33.66 c 33.7s| 8000 | 45 |168363 | 21.0 |7963k| 40 | - | 231 |7136 | 0 | 0 | 17 |5992 |2177 | 0.000000e+00 | -- | Inf
33.87/33.92 c 33.9s| 8100 | 45 |170413 | 21.0 |7984k| 40 | - | 231 |7163 | 231 |2453 | 17 |6061 |2177 | 0.000000e+00 | -- | Inf
34.07/34.18 c 34.2s| 8200 | 44 |172444 | 21.0 |8002k| 40 | - | 231 |7222 | 231 |2453 | 17 |6164 |2178 | 0.000000e+00 | -- | Inf
34.36/34.43 c 34.4s| 8300 | 42 |174324 | 21.0 |8005k| 40 | 25 | 231 |7246 | 231 |2453 | 17 |6238 |2178 | 0.000000e+00 | -- | Inf
34.67/34.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.67/34.72 c 34.7s| 8400 | 40 |176700 | 21.0 |8011k| 40 | - | 231 |7243 | 231 |2453 | 17 |6335 |2178 | 0.000000e+00 | -- | Inf
34.87/34.98 c 35.0s| 8500 | 47 |178821 | 21.0 |8027k| 40 | 38 | 231 |7257 | 231 |2453 | 17 |6400 |2178 | 0.000000e+00 | -- | Inf
35.17/35.25 c 35.2s| 8600 | 51 |180981 | 21.0 |8064k| 40 | 38 | 231 |7316 | 231 |2453 | 17 |6492 |2178 | 0.000000e+00 | -- | Inf
35.47/35.50 c 35.5s| 8700 | 48 |182961 | 21.0 |8078k| 40 | 33 | 231 |7370 | 231 |2453 | 17 |6586 |2178 | 0.000000e+00 | -- | Inf
35.67/35.78 c 35.8s| 8800 | 50 |184753 | 21.0 |8103k| 40 | 37 | 231 |7425 | 231 |2453 | 17 |6661 |2192 | 0.000000e+00 | -- | Inf
35.87/35.95 c 36.0s| 8900 | 52 |185991 | 20.9 |8136k| 40 | - | 231 |7491 | 231 |2453 | 17 |6737 |2193 | 0.000000e+00 | -- | Inf
36.06/36.16 c 36.2s| 9000 | 56 |187261 | 20.8 |8166k| 40 | 30 | 231 |7555 | 231 |2453 | 17 |6809 |2202 | 0.000000e+00 | -- | Inf
36.27/36.38 c 36.4s| 9100 | 53 |188452 | 20.7 |8181k| 40 | 30 | 231 |7626 | 231 |2453 | 17 |6886 |2217 | 0.000000e+00 | -- | Inf
36.57/36.65 c 36.6s| 9200 | 51 |190270 | 20.7 |8202k| 40 | - | 231 |7676 | 231 |2453 | 17 |6954 |2228 | 0.000000e+00 | -- | Inf
36.86/36.92 c 36.9s| 9300 | 53 |191821 | 20.6 |8231k| 40 | - | 231 |7738 | 231 |2453 | 17 |7026 |2244 | 0.000000e+00 | -- | Inf
37.06/37.17 c 37.2s| 9400 | 58 |193432 | 20.6 |8264k| 40 | 40 | 231 |7794 | 231 |2453 | 17 |7089 |2254 | 0.000000e+00 | -- | Inf
37.37/37.46 c 37.5s| 9500 | 60 |195309 | 20.5 |8297k| 40 | 38 | 231 |7857 | 231 |2453 | 17 |7158 |2265 | 0.000000e+00 | -- | Inf
37.67/37.78 c 37.8s| 9600 | 60 |197397 | 20.5 |8327k| 46 | 40 | 231 |7927 | 231 |2453 | 17 |7233 |2280 | 0.000000e+00 | -- | Inf
37.96/38.02 c 38.0s| 9700 | 60 |198781 | 20.5 |8360k| 46 | 30 | 231 |8006 | 231 |2453 | 17 |7318 |2292 | 0.000000e+00 | -- | Inf
38.27/38.37 c 38.4s| 9800 | 57 |200777 | 20.5 |8392k| 46 | 35 | 231 |8086 | 231 |2453 | 17 |7410 |2316 | 0.000000e+00 | -- | Inf
38.57/38.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.57/38.66 c 38.7s| 9900 | 54 |202616 | 20.5 |8423k| 46 | 47 | 231 |8160 | 231 |2453 | 17 |7490 |2328 | 0.000000e+00 | -- | Inf
38.86/38.97 c 39.0s| 10000 | 54 |204664 | 20.5 |8448k| 46 | 26 | 231 |8185 | 231 |2453 | 17 |7572 |2340 | 0.000000e+00 | -- | Inf
39.16/39.27 c 39.3s| 10100 | 51 |206458 | 20.4 |8464k| 46 | - | 231 |8222 | 231 |2453 | 17 |7649 |2356 | 0.000000e+00 | -- | Inf
39.57/39.61 c 39.6s| 10200 | 53 |208597 | 20.4 |8482k| 46 | - | 231 |8244 | 231 |2453 | 17 |7732 |2371 | 0.000000e+00 | -- | Inf
39.87/39.96 c 40.0s| 10300 | 53 |210746 | 20.4 |8492k| 46 | 35 | 231 |8270 | 231 |2453 | 17 |7801 |2387 | 0.000000e+00 | -- | Inf
40.26/40.30 c 40.3s| 10400 | 52 |213019 | 20.5 |8491k| 46 | 41 | 231 |8259 | 231 |2453 | 17 |7867 |2401 | 0.000000e+00 | -- | Inf
40.56/40.61 c 40.6s| 10500 | 52 |215418 | 20.5 |8512k| 46 | - | 231 |8297 | 231 |2453 | 17 |7951 |2405 | 0.000000e+00 | -- | Inf
40.87/40.90 c 40.9s| 10600 | 50 |217489 | 20.5 |8517k| 46 | - | 231 |8326 | 231 |2453 | 17 |8015 |2412 | 0.000000e+00 | -- | Inf
41.16/41.20 c 41.2s| 10700 | 52 |219680 | 20.5 |8540k| 46 | - | 231 |8377 | 231 |2453 | 17 |8089 |2419 | 0.000000e+00 | -- | Inf
41.46/41.50 c 41.5s| 10800 | 54 |221730 | 20.5 |8563k| 46 | 33 | 231 |8423 | 231 |2453 | 17 |8164 |2429 | 0.000000e+00 | -- | Inf
41.66/41.78 c 41.8s| 10900 | 60 |223830 | 20.5 |8588k| 46 | 29 | 231 |8416 | 231 |2453 | 17 |8241 |2432 | 0.000000e+00 | -- | Inf
41.97/42.06 c 42.1s| 11000 | 56 |225860 | 20.5 |8598k| 46 | - | 231 |8451 | 231 |2453 | 17 |8321 |2439 | 0.000000e+00 | -- | Inf
42.26/42.32 c 42.3s| 11100 | 58 |227927 | 20.5 |8620k| 46 | - | 231 |8500 | 231 |2453 | 17 |8392 |2440 | 0.000000e+00 | -- | Inf
42.47/42.58 c 42.6s| 11200 | 61 |230067 | 20.5 |8653k| 46 | - | 231 |8570 | 231 |2453 | 17 |8470 |2441 | 0.000000e+00 | -- | Inf
42.76/42.86 c 42.9s| 11300 | 57 |232421 | 20.6 |8674k| 46 | - | 231 |8645 | 231 |2453 | 17 |8559 |2441 | 0.000000e+00 | -- | Inf
43.06/43.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.06/43.16 c 43.2s| 11400 | 55 |234752 | 20.6 |8699k| 46 | 43 | 231 |8730 | 231 |2453 | 17 |8648 |2442 | 0.000000e+00 | -- | Inf
43.37/43.42 c 43.4s| 11500 | 56 |236737 | 20.6 |8721k| 46 | 33 | 231 |8778 | 231 |2453 | 17 |8706 |2446 | 0.000000e+00 | -- | Inf
43.56/43.68 c 43.7s| 11600 | 51 |238696 | 20.6 |8731k| 46 | - | 231 |8809 | 231 |2453 | 17 |8778 |2447 | 0.000000e+00 | -- | Inf
43.86/43.94 c 43.9s| 11700 | 50 |240695 | 20.6 |8725k| 46 | - | 231 |8769 | 231 |2453 | 17 |8873 |2449 | 0.000000e+00 | -- | Inf
44.07/44.18 c 44.2s| 11800 | 54 |242496 | 20.5 |8740k| 46 | 36 | 231 |8767 | 231 |2453 | 17 |8934 |2450 | 0.000000e+00 | -- | Inf
44.36/44.43 c 44.4s| 11900 | 51 |244321 | 20.5 |8745k| 46 | - | 231 |8789 | 231 |2453 | 17 |8992 |2451 | 0.000000e+00 | -- | Inf
44.56/44.69 c 44.7s| 12000 | 52 |246402 | 20.5 |8758k| 46 | - | 231 |8810 | 231 |2453 | 17 |9057 |2451 | 0.000000e+00 | -- | Inf
44.87/44.95 c 45.0s| 12100 | 57 |248433 | 20.5 |8774k| 46 | - | 231 |8822 | 231 |2453 | 17 |9125 |2451 | 0.000000e+00 | -- | Inf
45.17/45.22 c 45.2s| 12200 | 61 |250620 | 20.5 |8791k| 46 | 27 | 231 |8860 | 231 |2453 | 17 |9186 |2451 | 0.000000e+00 | -- | Inf
45.36/45.46 c 45.5s| 12300 | 53 |252434 | 20.5 |8794k| 46 | 39 | 231 |8915 | 231 |2453 | 17 |9253 |2451 | 0.000000e+00 | -- | Inf
45.67/45.73 c 45.7s| 12400 | 48 |254462 | 20.5 |8780k| 46 | - | 231 |8918 | 231 |2453 | 17 |9313 |2451 | 0.000000e+00 | -- | Inf
45.86/45.97 c 46.0s| 12500 | 53 |256353 | 20.5 |8807k| 46 | - | 231 |8917 | 231 |2453 | 17 |9372 |2451 | 0.000000e+00 | -- | Inf
46.17/46.24 c 46.2s| 12600 | 55 |258467 | 20.5 |8825k| 46 | - | 231 |8953 | 231 |2453 | 17 |9436 |2452 | 0.000000e+00 | -- | Inf
46.37/46.49 c 46.5s| 12700 | 48 |260426 | 20.5 |8818k| 46 | 38 | 231 |8988 | 231 |2453 | 17 |9496 |2452 | 0.000000e+00 | -- | Inf
46.67/46.72 c 46.7s| 12800 | 46 |262153 | 20.5 |8817k| 46 | 35 | 231 |8993 | 231 |2453 | 17 |9562 |2452 | 0.000000e+00 | -- | Inf
46.86/46.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.86/46.96 c 47.0s| 12900 | 46 |264013 | 20.5 |8816k| 46 | - | 231 |8958 | 231 |2453 | 17 |9639 |2452 | 0.000000e+00 | -- | Inf
47.16/47.22 c 47.2s| 13000 | 48 |265927 | 20.4 |8826k| 46 | - | 231 |8956 | 231 |2453 | 17 |9710 |2452 | 0.000000e+00 | -- | Inf
47.37/47.47 c 47.5s| 13100 | 52 |268027 | 20.5 |8843k| 46 | 33 | 231 |8992 | 231 |2453 | 17 |9778 |2452 | 0.000000e+00 | -- | Inf
47.66/47.76 c 47.8s| 13200 | 50 |270233 | 20.5 |8828k| 46 | 26 | 231 |8966 | 231 |2453 | 17 |9848 |2453 | 0.000000e+00 | -- | Inf
47.96/48.02 c 48.0s| 13300 | 50 |272283 | 20.5 |8830k| 46 | - | 231 |8959 | 231 |2453 | 17 |9915 |2453 | 0.000000e+00 | -- | Inf
48.16/48.27 c 48.3s| 13400 | 48 |274347 | 20.5 |8840k| 46 | - | 231 |8995 | 231 |2453 | 17 |9975 |2453 | 0.000000e+00 | -- | Inf
48.47/48.52 c 48.5s| 13500 | 50 |276171 | 20.4 |8849k| 46 | 35 | 231 |9014 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
48.66/48.77 c 48.8s| 13600 | 51 |277994 | 20.4 |8874k| 46 | - | 231 |9062 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
48.96/49.01 c 49.0s| 13700 | 47 |279873 | 20.4 |8879k| 46 | - | 231 |9106 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
49.16/49.24 c 49.2s| 13800 | 49 |281711 | 20.4 |8893k| 46 | 36 | 231 |9159 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
49.36/49.49 c 49.5s| 13900 | 48 |283731 | 20.4 |8906k| 46 | 37 | 231 |9218 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
49.66/49.72 c 49.7s| 14000 | 48 |285492 | 20.4 |8921k| 46 | - | 231 |9262 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
49.86/49.95 c 50.0s| 14100 | 50 |287150 | 20.4 |8892k| 46 | 45 | 231 |9175 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
50.16/50.22 c 50.2s| 14200 | 50 |289228 | 20.4 |8906k| 46 | - | 231 |9187 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
50.36/50.49 c 50.5s| 14300 | 49 |291280 | 20.4 |8861k| 46 | - | 231 |9090 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
50.77/50.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.77/50.80 c 50.8s| 14400 | 49 |293857 | 20.4 |8861k| 46 | 40 | 231 |9096 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
50.96/51.08 c 51.1s| 14500 | 48 |296110 | 20.4 |8874k| 46 | 37 | 231 |9116 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
51.26/51.35 c 51.4s| 14600 | 45 |298199 | 20.4 |8828k| 46 | - | 231 |9020 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
51.57/51.60 c 51.6s| 14700 | 48 |300038 | 20.4 |8822k| 46 | 41 | 231 |8976 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
51.77/51.88 c 51.9s| 14800 | 52 |302239 | 20.4 |8840k| 46 | 33 | 231 |8984 | 231 |2453 | 17 | 10k|2453 | 0.000000e+00 | -- | Inf
52.06/52.14 c 52.1s| 14900 | 52 |304244 | 20.4 |8853k| 46 | 28 | 231 |9008 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
52.26/52.36 c 52.4s| 15000 | 52 |305861 | 20.4 |8870k| 46 | 43 | 231 |9061 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
52.56/52.64 c 52.6s| 15100 | 51 |308120 | 20.4 |8892k| 46 | - | 231 |9110 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
52.86/52.93 c 52.9s| 15200 | 51 |310501 | 20.4 |8909k| 46 | 34 | 231 |9171 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
53.06/53.18 c 53.2s| 15300 | 55 |312391 | 20.4 |8942k| 46 | 36 | 231 |9234 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
53.36/53.48 c 53.5s| 15400 | 53 |314786 | 20.4 |8969k| 46 | - | 231 |9305 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
53.66/53.78 c 53.8s| 15500 | 50 |317119 | 20.5 |8989k| 46 | 44 | 231 |9373 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
53.97/54.04 c 54.0s| 15600 | 52 |319137 | 20.4 |9017k| 46 | 32 | 231 |9433 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
54.27/54.36 c 54.4s| 15700 | 54 |321608 | 20.5 |9027k| 46 | 24 | 231 |9438 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
54.56/54.63 c 54.6s| 15800 | 54 |323774 | 20.5 |9036k| 46 | - | 231 |9431 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
54.76/54.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.76/54.84 c 54.8s| 15900 | 55 |325440 | 20.5 |9047k| 46 | - | 231 |9453 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
54.97/55.08 c 55.1s| 16000 | 57 |327319 | 20.4 |9061k| 46 | 33 | 231 |9483 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
55.26/55.33 c 55.3s| 16100 | 53 |329334 | 20.4 |9070k| 46 | 31 | 231 |9529 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
55.56/55.60 c 55.6s| 16200 | 52 |331364 | 20.4 |9036k| 46 | 32 | 231 |9451 | 231 |2453 | 17 | 11k|2453 | 0.000000e+00 | -- | Inf
55.76/55.86 c 55.9s| 16300 | 54 |333346 | 20.4 |9052k| 46 | 22 | 231 |9466 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
55.96/56.10 c 56.1s| 16400 | 56 |335154 | 20.4 |9075k| 46 | - | 231 |9500 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
56.26/56.33 c 56.3s| 16500 | 52 |336899 | 20.4 |9089k| 46 | - | 231 |9554 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
56.56/56.60 c 56.6s| 16600 | 50 |338904 | 20.4 |9092k| 46 | 29 | 231 |9583 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
56.76/56.86 c 56.9s| 16700 | 49 |340933 | 20.4 |9094k| 46 | 41 | 231 |9599 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
57.06/57.11 c 57.1s| 16800 | 50 |342976 | 20.4 |9115k| 46 | - | 231 |9639 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
57.26/57.38 c 57.4s| 16900 | 48 |345049 | 20.4 |9108k| 46 | - | 231 |9649 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
57.56/57.61 c 57.6s| 17000 | 51 |346749 | 20.4 |9125k| 46 | - | 231 |9650 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
57.76/57.87 c 57.9s| 17100 | 50 |348667 | 20.4 |9130k| 46 | - | 231 |9678 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
58.06/58.14 c 58.1s| 17200 | 52 |350873 | 20.4 |9148k| 46 | 34 | 231 |9727 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
58.37/58.40 c 58.4s| 17300 | 49 |352988 | 20.4 |9158k| 46 | 38 | 231 |9770 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
58.56/58.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.56/58.66 c 58.7s| 17400 | 48 |355044 | 20.4 |9155k| 46 | 42 | 231 |9775 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
58.86/58.94 c 58.9s| 17500 | 47 |357180 | 20.4 |9175k| 46 | - | 231 |9780 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
59.16/59.23 c 59.2s| 17600 | 45 |359415 | 20.4 |9147k| 46 | - | 231 |9704 | 231 |2453 | 17 | 12k|2453 | 0.000000e+00 | -- | Inf
59.37/59.49 c 59.5s| 17700 | 39 |361315 | 20.4 |9098k| 46 | 46 | 231 |9611 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
59.66/59.75 c 59.8s| 17800 | 40 |363180 | 20.4 |9063k| 46 | - | 231 |9480 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
59.96/60.01 c 60.0s| 17900 | 40 |365258 | 20.4 |9045k| 46 | 36 | 231 |9429 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
60.16/60.25 c 60.3s| 18000 | 37 |367059 | 20.4 |9051k| 46 | - | 231 |9450 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
60.47/60.55 c 60.6s| 18100 | 41 |369466 | 20.4 |9070k| 46 | 32 | 231 |9468 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
60.76/60.82 c 60.8s| 18200 | 41 |371641 | 20.4 |9096k| 46 | - | 231 |9523 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
60.96/61.07 c 61.1s| 18300 | 36 |373575 | 20.4 |9085k| 46 | - | 231 |9536 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
61.26/61.36 c 61.4s| 18400 | 38 |375926 | 20.4 |9107k| 46 | 27 | 231 |9588 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
61.57/61.64 c 61.6s| 18500 | 36 |378158 | 20.4 |9079k| 46 | 44 | 231 |9562 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
61.86/61.92 c 61.9s| 18600 | 35 |380373 | 20.4 |9079k| 46 | 43 | 231 |9572 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
62.16/62.20 c 62.2s| 18700 | 29 |382460 | 20.4 |9014k| 46 | 47 | 231 |9529 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
62.36/62.45 c 62.5s| 18800 | 32 |384444 | 20.4 |9033k| 46 | - | 231 |9543 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
62.67/62.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.67/62.72 c 62.7s| 18900 | 30 |386625 | 20.4 |9035k| 46 | 38 | 231 |9572 | 231 |2453 | 17 | 13k|2453 | 0.000000e+00 | -- | Inf
62.86/62.98 c 63.0s| 19000 | 30 |388633 | 20.4 |9045k| 46 | 34 | 231 |9606 | 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
63.16/63.22 c 63.2s| 19100 | 32 |390633 | 20.4 |9075k| 46 | 35 | 231 |9678 | 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
63.46/63.51 c 63.5s| 19200 | 32 |392955 | 20.5 |9104k| 46 | 42 | 231 |9751 | 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
63.66/63.74 c 63.7s| 19300 | 38 |394830 | 20.5 |9144k| 46 | - | 231 |9810 | 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
63.86/63.99 c 64.0s| 19400 | 35 |396912 | 20.5 |9150k| 46 | 41 | 231 |9863 | 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
64.16/64.29 c 64.3s| 19500 | 33 |399348 | 20.5 |9170k| 46 | 32 | 231 |9934 | 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
64.46/64.55 c 64.6s| 19600 | 33 |401569 | 20.5 |9199k| 46 | 39 | 231 | 10k| 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
64.76/64.82 c 64.8s| 19700 | 31 |403751 | 20.5 |9224k| 46 | - | 231 | 10k| 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
64.97/65.09 c 65.1s| 19800 | 33 |406061 | 20.5 |9261k| 46 | - | 231 | 10k| 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
65.26/65.37 c 65.4s| 19900 | 31 |408292 | 20.5 |9288k| 46 | - | 231 | 10k| 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
65.56/65.62 c 65.6s| 20000 | 29 |410343 | 20.5 |9309k| 46 | 43 | 231 | 10k| 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
65.86/65.92 c 65.9s| 20100 | 31 |412692 | 20.5 |9315k| 46 | 26 | 231 | 10k| 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
66.06/66.18 c 66.2s| 20200 | 34 |414734 | 20.5 |9335k| 46 | - | 231 | 10k| 231 |2453 | 17 | 14k|2453 | 0.000000e+00 | -- | Inf
66.36/66.42 c 66.4s| 20300 | 30 |416547 | 20.5 |9346k| 46 | - | 231 | 10k| 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
66.56/66.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.56/66.65 c 66.7s| 20400 | 34 |418468 | 20.5 |9373k| 46 | - | 231 | 10k| 0 | 0 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
66.86/66.91 c 66.9s| 20500 | 37 |420646 | 20.5 |9383k| 46 | 20 | 231 | 10k| 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
67.06/67.13 c 67.1s| 20600 | 37 |422430 | 20.5 |9407k| 46 | 25 | 231 | 10k| 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
67.26/67.39 c 67.4s| 20700 | 40 |424501 | 20.5 |9432k| 46 | - | 231 | 10k| 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
67.56/67.65 c 67.6s| 20800 | 40 |426569 | 20.5 |9452k| 46 | 41 | 231 | 10k| 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
67.86/67.94 c 67.9s| 20900 | 40 |428982 | 20.5 |9480k| 46 | - | 231 | 10k| 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
68.17/68.22 c 68.2s| 21000 | 34 |431249 | 20.5 |9485k| 46 | 47 | 231 | 10k| 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
68.36/68.46 c 68.5s| 21100 | 37 |433109 | 20.5 |9526k| 46 | - | 231 | 10k| 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
68.56/68.69 c 68.7s| 21200 | 37 |434873 | 20.5 |9541k| 46 | 41 | 231 | 10k| 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
68.86/68.96 c 69.0s| 21300 | 37 |436989 | 20.5 |9562k| 46 | 38 | 231 | 10k| 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
69.15/69.21 c 69.2s| 21400 | 41 |438880 | 20.5 |9578k| 46 | 31 | 231 | 10k| 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
69.37/69.47 c 69.5s| 21500 | 49 |440945 | 20.5 |9619k| 46 | - | 231 | 10k| 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
69.66/69.72 c 69.7s| 21600 | 59 |442885 | 20.5 |9657k| 46 | 26 | 231 | 10k| 231 |2453 | 17 | 15k|2453 | 0.000000e+00 | -- | Inf
69.86/69.97 c 70.0s| 21700 | 53 |444780 | 20.5 |9662k| 46 | 26 | 231 | 11k| 231 |2453 | 17 | 16k|2453 | 0.000000e+00 | -- | Inf
70.16/70.23 c 70.2s| 21800 | 48 |446753 | 20.5 |9683k| 46 | - | 231 | 11k| 231 |2453 | 17 | 16k|2453 | 0.000000e+00 | -- | Inf
70.36/70.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.36/70.47 c 70.5s| 21900 | 48 |448555 | 20.5 |9708k| 46 | - | 231 | 11k| 231 |2453 | 17 | 16k|2453 | 0.000000e+00 | -- | Inf
70.66/70.74 c 70.7s| 22000 | 47 |450612 | 20.5 |9731k| 46 | - | 231 | 11k| 231 |2453 | 17 | 16k|2453 | 0.000000e+00 | -- | Inf
70.86/70.98 c 71.0s| 22100 | 47 |452416 | 20.5 |9753k| 46 | 35 | 231 | 11k| 231 |2453 | 17 | 16k|2453 | 0.000000e+00 | -- | Inf
71.15/71.23 c 71.2s| 22200 | 50 |454321 | 20.5 |9782k| 46 | - | 231 | 11k| 231 |2453 | 17 | 16k|2453 | 0.000000e+00 | -- | Inf
71.47/71.55 c 71.6s| 22300 | 54 |456129 | 20.4 |9815k| 46 | - | 231 | 11k| 231 |2453 | 17 | 16k|2471 | 0.000000e+00 | -- | Inf
71.76/71.88 c 71.9s| 22400 | 53 |458090 | 20.4 |9842k| 46 | - | 231 | 11k| 231 |2453 | 17 | 16k|2490 | 0.000000e+00 | -- | Inf
72.06/72.19 c 72.2s| 22500 | 53 |459999 | 20.4 |9864k| 46 | 36 | 231 | 11k| 231 |2453 | 17 | 16k|2504 | 0.000000e+00 | -- | Inf
72.36/72.48 c 72.5s| 22600 | 51 |461949 | 20.4 |9888k| 46 | - | 231 | 11k| 231 |2453 | 17 | 16k|2513 | 0.000000e+00 | -- | Inf
72.66/72.79 c 72.8s| 22700 | 55 |463845 | 20.4 |9915k| 46 | - | 231 | 11k| 231 |2453 | 17 | 16k|2528 | 0.000000e+00 | -- | Inf
73.06/73.14 c 73.1s| 22800 | 54 |466090 | 20.4 |9933k| 46 | 35 | 231 | 11k| 231 |2453 | 17 | 16k|2543 | 0.000000e+00 | -- | Inf
73.36/73.47 c 73.5s| 22900 | 50 |468181 | 20.4 |9945k| 46 | - | 231 | 11k| 231 |2453 | 17 | 16k|2556 | 0.000000e+00 | -- | Inf
73.66/73.80 c 73.8s| 23000 | 50 |470140 | 20.4 |9970k| 46 | - | 231 | 11k| 231 |2453 | 17 | 16k|2572 | 0.000000e+00 | -- | Inf
74.06/74.16 c 74.2s| 23100 | 51 |472598 | 20.5 |9984k| 46 | 27 | 231 | 11k| 231 |2453 | 17 | 16k|2586 | 0.000000e+00 | -- | Inf
74.45/74.53 c 74.5s| 23200 | 45 |474822 | 20.5 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 17k|2606 | 0.000000e+00 | -- | Inf
74.77/74.87 c 74.9s| 23300 | 49 |477094 | 20.5 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 17k|2622 | 0.000000e+00 | -- | Inf
75.06/75.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.06/75.18 c 75.2s| 23400 | 47 |479248 | 20.5 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 17k|2633 | 0.000000e+00 | -- | Inf
75.46/75.53 c 75.5s| 23500 | 51 |481470 | 20.5 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 17k|2647 | 0.000000e+00 | -- | Inf
75.76/75.83 c 75.8s| 23600 | 56 |483619 | 20.5 | 10M| 46 | 42 | 231 | 11k| 231 |2453 | 17 | 17k|2653 | 0.000000e+00 | -- | Inf
76.06/76.13 c 76.1s| 23700 | 55 |485976 | 20.5 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 17k|2654 | 0.000000e+00 | -- | Inf
76.36/76.43 c 76.4s| 23800 | 55 |488341 | 20.5 | 10M| 46 | 45 | 231 | 12k| 231 |2453 | 17 | 17k|2656 | 0.000000e+00 | -- | Inf
76.66/76.74 c 76.7s| 23900 | 53 |490642 | 20.5 | 10M| 46 | 37 | 231 | 12k| 231 |2453 | 17 | 17k|2658 | 0.000000e+00 | -- | Inf
76.97/77.03 c 77.0s| 24000 | 55 |492864 | 20.5 | 10M| 46 | 28 | 231 | 12k| 231 |2453 | 17 | 17k|2658 | 0.000000e+00 | -- | Inf
77.25/77.30 c 77.3s| 24100 | 55 |494903 | 20.5 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 17k|2661 | 0.000000e+00 | -- | Inf
77.46/77.57 c 77.6s| 24200 | 55 |497013 | 20.5 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 17k|2661 | 0.000000e+00 | -- | Inf
77.76/77.87 c 77.9s| 24300 | 51 |499213 | 20.5 | 10M| 46 | 31 | 231 | 12k| 231 |2453 | 17 | 17k|2662 | 0.000000e+00 | -- | Inf
78.07/78.17 c 78.2s| 24400 | 52 |501531 | 20.5 | 10M| 46 | 36 | 231 | 12k| 231 |2453 | 17 | 17k|2662 | 0.000000e+00 | -- | Inf
78.36/78.48 c 78.5s| 24500 | 50 |503943 | 20.6 | 10M| 46 | 36 | 231 | 12k| 231 |2453 | 17 | 17k|2662 | 0.000000e+00 | -- | Inf
78.66/78.79 c 78.8s| 24600 | 48 |506454 | 20.6 | 10M| 46 | 38 | 231 | 12k| 231 |2453 | 17 | 18k|2662 | 0.000000e+00 | -- | Inf
78.96/79.00 c 79.0s| 24700 | 53 |508025 | 20.6 | 10M| 46 | - | 231 | 12k| 0 | 0 | 17 | 18k|2662 | 0.000000e+00 | -- | Inf
79.16/79.23 c 79.2s| 24800 | 53 |509716 | 20.5 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 18k|2664 | 0.000000e+00 | -- | Inf
79.46/79.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.46/79.52 c 79.5s| 24900 | 54 |512012 | 20.6 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 18k|2666 | 0.000000e+00 | -- | Inf
79.66/79.78 c 79.8s| 25000 | 54 |514182 | 20.6 | 10M| 46 | 44 | 231 | 12k| 231 |2453 | 17 | 18k|2668 | 0.000000e+00 | -- | Inf
80.05/80.10 c 80.1s| 25100 | 55 |516764 | 20.6 | 10M| 46 | 27 | 231 | 12k| 231 |2453 | 17 | 18k|2668 | 0.000000e+00 | -- | Inf
80.37/80.44 c 80.4s| 25200 | 56 |518897 | 20.6 | 10M| 46 | 35 | 231 | 12k| 231 |2453 | 17 | 18k|2683 | 0.000000e+00 | -- | Inf
80.75/80.80 c 80.8s| 25300 | 60 |521116 | 20.6 | 10M| 46 | 37 | 231 | 12k| 231 |2453 | 17 | 18k|2702 | 0.000000e+00 | -- | Inf
80.96/81.09 c 81.1s| 25400 | 58 |523154 | 20.6 | 10M| 46 | 40 | 231 | 12k| 231 |2453 | 17 | 18k|2710 | 0.000000e+00 | -- | Inf
81.36/81.43 c 81.4s| 25500 | 58 |525254 | 20.6 | 10M| 46 | - | 231 | 12k| 0 | 0 | 17 | 18k|2726 | 0.000000e+00 | -- | Inf
81.65/81.78 c 81.8s| 25600 | 58 |527637 | 20.6 | 10M| 46 | - | 231 | 13k| 231 |2453 | 17 | 18k|2738 | 0.000000e+00 | -- | Inf
82.06/82.14 c 82.1s| 25700 | 59 |530058 | 20.6 | 10M| 46 | - | 231 | 13k| 231 |2453 | 17 | 18k|2751 | 0.000000e+00 | -- | Inf
82.46/82.53 c 82.5s| 25800 | 63 |532569 | 20.6 | 10M| 46 | - | 231 | 13k| 231 |2453 | 17 | 18k|2769 | 0.000000e+00 | -- | Inf
82.76/82.89 c 82.9s| 25900 | 63 |534869 | 20.6 | 10M| 46 | 44 | 231 | 13k| 231 |2453 | 17 | 18k|2780 | 0.000000e+00 | -- | Inf
83.16/83.24 c 83.2s| 26000 | 60 |537059 | 20.7 | 10M| 46 | - | 231 | 13k| 231 |2453 | 17 | 18k|2796 | 0.000000e+00 | -- | Inf
83.46/83.58 c 83.6s| 26100 | 60 |539199 | 20.7 | 10M| 46 | 32 | 231 | 13k| 231 |2453 | 17 | 18k|2807 | 0.000000e+00 | -- | Inf
83.86/83.91 c 83.9s| 26200 | 60 |541243 | 20.7 | 10M| 46 | 32 | 231 | 13k| 231 |2453 | 17 | 19k|2819 | 0.000000e+00 | -- | Inf
84.15/84.23 c 84.2s| 26300 | 60 |543352 | 20.7 | 10M| 46 | 23 | 231 | 12k| 231 |2453 | 17 | 19k|2831 | 0.000000e+00 | -- | Inf
84.46/84.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
84.46/84.59 c 84.6s| 26400 | 58 |545748 | 20.7 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 19k|2841 | 0.000000e+00 | -- | Inf
84.86/84.90 c 84.9s| 26500 | 57 |547729 | 20.7 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 19k|2849 | 0.000000e+00 | -- | Inf
85.16/85.21 c 85.2s| 26600 | 59 |549584 | 20.7 | 10M| 46 | 27 | 231 | 12k| 231 |2453 | 17 | 19k|2861 | 0.000000e+00 | -- | Inf
85.36/85.48 c 85.5s| 26700 | 56 |551701 | 20.7 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 19k|2864 | 0.000000e+00 | -- | Inf
85.65/85.75 c 85.8s| 26800 | 58 |553665 | 20.7 | 10M| 46 | - | 231 | 12k| 231 |2453 | 17 | 19k|2866 | 0.000000e+00 | -- | Inf
85.96/86.03 c 86.0s| 26900 | 60 |555543 | 20.6 | 10M| 46 | 30 | 231 | 11k| 231 |2453 | 17 | 19k|2871 | 0.000000e+00 | -- | Inf
86.26/86.33 c 86.3s| 27000 | 61 |557706 | 20.7 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 19k|2874 | 0.000000e+00 | -- | Inf
86.55/86.62 c 86.6s| 27100 | 62 |560020 | 20.7 | 10M| 46 | 41 | 231 | 11k| 231 |2453 | 17 | 19k|2874 | 0.000000e+00 | -- | Inf
86.87/86.91 c 86.9s| 27200 | 65 |562360 | 20.7 |9996k| 46 | - | 231 | 11k| 231 |2453 | 17 | 19k|2874 | 0.000000e+00 | -- | Inf
87.15/87.21 c 87.2s| 27300 | 65 |564670 | 20.7 |9944k| 46 | 33 | 231 | 10k| 231 |2453 | 17 | 19k|2874 | 0.000000e+00 | -- | Inf
87.36/87.49 c 87.5s| 27400 | 64 |566954 | 20.7 |9941k| 46 | 36 | 231 | 10k| 231 |2453 | 17 | 19k|2874 | 0.000000e+00 | -- | Inf
87.66/87.78 c 87.8s| 27500 | 62 |569294 | 20.7 |9916k| 46 | 35 | 231 | 10k| 231 |2453 | 17 | 19k|2874 | 0.000000e+00 | -- | Inf
87.96/88.04 c 88.0s| 27600 | 60 |571219 | 20.7 |9881k| 46 | - | 231 | 10k| 231 |2453 | 17 | 20k|2875 | 0.000000e+00 | -- | Inf
88.15/88.26 c 88.3s| 27700 | 62 |572953 | 20.7 |9900k| 46 | - | 231 | 10k| 0 | 0 | 17 | 20k|2875 | 0.000000e+00 | -- | Inf
88.46/88.55 c 88.5s| 27800 | 62 |575252 | 20.7 |9881k| 46 | - | 231 | 10k| 231 |2453 | 17 | 20k|2875 | 0.000000e+00 | -- | Inf
88.75/88.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.75/88.82 c 88.8s| 27900 | 62 |577379 | 20.7 |9859k| 46 | 39 | 231 | 10k| 231 |2453 | 17 | 20k|2875 | 0.000000e+00 | -- | Inf
88.95/89.08 c 89.1s| 28000 | 66 |579436 | 20.7 |9834k| 46 | - | 231 | 10k| 231 |2453 | 17 | 20k|2875 | 0.000000e+00 | -- | Inf
89.25/89.33 c 89.3s| 28100 | 70 |581534 | 20.7 |9855k| 46 | 38 | 231 | 10k| 231 |2453 | 17 | 20k|2875 | 0.000000e+00 | -- | Inf
89.45/89.57 c 89.6s| 28200 | 73 |583461 | 20.7 |9890k| 46 | 33 | 231 | 10k| 231 |2453 | 17 | 20k|2875 | 0.000000e+00 | -- | Inf
89.75/89.88 c 89.9s| 28300 | 71 |585555 | 20.7 |9915k| 46 | 31 | 231 | 10k| 231 |2453 | 17 | 20k|2885 | 0.000000e+00 | -- | Inf
90.05/90.17 c 90.2s| 28400 | 65 |587615 | 20.7 |9909k| 46 | 42 | 231 | 10k| 231 |2453 | 17 | 20k|2894 | 0.000000e+00 | -- | Inf
90.46/90.52 c 90.5s| 28500 | 68 |589876 | 20.7 |9868k| 46 | - | 231 | 10k| 231 |2453 | 17 | 20k|2905 | 0.000000e+00 | -- | Inf
90.75/90.86 c 90.9s| 28600 | 73 |592063 | 20.7 |9841k| 46 | 32 | 231 | 10k| 231 |2453 | 17 | 20k|2914 | 0.000000e+00 | -- | Inf
91.06/91.19 c 91.2s| 28700 | 73 |594208 | 20.7 |9852k| 46 | - | 231 | 10k| 231 |2453 | 17 | 20k|2927 | 0.000000e+00 | -- | Inf
91.37/91.47 c 91.5s| 28800 | 73 |596006 | 20.7 |9866k| 46 | - | 231 | 10k| 231 |2453 | 17 | 20k|2936 | 0.000000e+00 | -- | Inf
91.76/91.86 c 91.9s| 28900 | 73 |598561 | 20.7 |9876k| 46 | - | 231 | 10k| 231 |2453 | 17 | 20k|2952 | 0.000000e+00 | -- | Inf
92.15/92.22 c 92.2s| 29000 | 74 |601062 | 20.7 |9894k| 46 | 37 | 231 | 10k| 231 |2453 | 17 | 20k|2963 | 0.000000e+00 | -- | Inf
92.56/92.60 c 92.6s| 29100 | 76 |603641 | 20.7 |9925k| 46 | - | 231 | 10k| 231 |2453 | 17 | 21k|2976 | 0.000000e+00 | -- | Inf
92.85/92.96 c 93.0s| 29200 | 76 |605976 | 20.7 |9934k| 46 | 44 | 231 | 10k| 231 |2453 | 17 | 21k|2991 | 0.000000e+00 | -- | Inf
93.25/93.33 c 93.3s| 29300 | 74 |608303 | 20.8 |9909k| 46 | - | 231 | 10k| 231 |2453 | 17 | 21k|3003 | 0.000000e+00 | -- | Inf
93.56/93.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.56/93.64 c 93.6s| 29400 | 73 |610240 | 20.8 |9886k| 46 | - | 231 | 10k| 0 | 0 | 17 | 21k|3016 | 0.000000e+00 | -- | Inf
93.86/93.98 c 94.0s| 29500 | 72 |612426 | 20.8 |9879k| 46 | - | 231 | 10k| 231 |2453 | 17 | 21k|3031 | 0.000000e+00 | -- | Inf
94.25/94.32 c 94.3s| 29600 | 72 |614552 | 20.8 |9862k| 46 | 31 | 231 | 10k| 231 |2453 | 17 | 21k|3043 | 0.000000e+00 | -- | Inf
94.56/94.67 c 94.7s| 29700 | 71 |616788 | 20.8 |9821k| 46 | - | 231 | 10k| 231 |2453 | 17 | 21k|3055 | 0.000000e+00 | -- | Inf
94.86/94.96 c 95.0s| 29800 | 72 |618819 | 20.8 |9797k| 46 | - | 231 | 10k| 231 |2453 | 17 | 21k|3063 | 0.000000e+00 | -- | Inf
95.15/95.22 c 95.2s| 29900 | 71 |620674 | 20.8 |9806k| 46 | 38 | 231 | 10k| 231 |2453 | 17 | 21k|3065 | 0.000000e+00 | -- | Inf
95.45/95.50 c 95.5s| 30000 | 73 |622701 | 20.8 |9784k| 46 | - | 231 | 10k| 231 |2453 | 17 | 21k|3068 | 0.000000e+00 | -- | Inf
95.66/95.78 c 95.8s| 30100 | 73 |624883 | 20.8 |9750k| 46 | - | 231 | 10k| 231 |2453 | 17 | 21k|3069 | 0.000000e+00 | -- | Inf
95.95/96.02 c 96.0s| 30200 | 73 |626664 | 20.7 |9746k| 46 | 29 | 231 | 10k| 231 |2453 | 17 | 21k|3069 | 0.000000e+00 | -- | Inf
96.25/96.30 c 96.3s| 30300 | 71 |628756 | 20.7 |9719k| 46 | 37 | 231 | 10k| 231 |2453 | 17 | 21k|3069 | 0.000000e+00 | -- | Inf
96.56/96.60 c 96.6s| 30400 | 69 |631010 | 20.8 |9651k| 46 | 50 | 231 |9921 | 231 |2453 | 17 | 21k|3069 | 0.000000e+00 | -- | Inf
96.76/96.84 c 96.8s| 30500 | 71 |632733 | 20.7 |9639k| 46 | - | 231 |9863 | 231 |2453 | 17 | 21k|3069 | 0.000000e+00 | -- | Inf
96.96/97.06 c 97.1s| 30600 | 73 |634352 | 20.7 |9649k| 46 | 37 | 231 |9889 | 231 |2453 | 17 | 22k|3069 | 0.000000e+00 | -- | Inf
97.25/97.32 c 97.3s| 30700 | 73 |636224 | 20.7 |9687k| 46 | - | 231 |9978 | 231 |2453 | 17 | 22k|3072 | 0.000000e+00 | -- | Inf
97.45/97.59 c 97.6s| 30800 | 70 |638182 | 20.7 |9690k| 46 | 23 | 231 | 10k| 231 |2453 | 17 | 22k|3074 | 0.000000e+00 | -- | Inf
97.76/97.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
97.76/97.81 c 97.8s| 30900 | 72 |639731 | 20.7 |9712k| 46 | 28 | 231 | 10k| 231 |2453 | 17 | 22k|3075 | 0.000000e+00 | -- | Inf
97.96/98.04 c 98.0s| 31000 | 72 |641345 | 20.7 |9722k| 46 | 17 | 231 | 10k| 231 |2453 | 17 | 22k|3076 | 0.000000e+00 | -- | Inf
98.15/98.29 c 98.3s| 31100 | 73 |643301 | 20.7 |9751k| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3076 | 0.000000e+00 | -- | Inf
98.45/98.51 c 98.5s| 31200 | 71 |644955 | 20.7 |9764k| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3077 | 0.000000e+00 | -- | Inf
98.66/98.75 c 98.7s| 31300 | 73 |646654 | 20.7 |9787k| 46 | 25 | 231 | 10k| 231 |2453 | 17 | 22k|3077 | 0.000000e+00 | -- | Inf
98.96/99.04 c 99.0s| 31400 | 74 |648988 | 20.7 |9817k| 46 | 27 | 231 | 10k| 231 |2453 | 17 | 22k|3077 | 0.000000e+00 | -- | Inf
99.16/99.28 c 99.3s| 31500 | 74 |650932 | 20.7 |9841k| 46 | 25 | 231 | 10k| 231 |2453 | 17 | 22k|3077 | 0.000000e+00 | -- | Inf
99.45/99.54 c 99.5s| 31600 | 72 |652947 | 20.7 |9867k| 46 | - | 231 | 10k| 231 |2453 | 17 | 22k|3077 | 0.000000e+00 | -- | Inf
99.65/99.79 c 99.8s| 31700 | 78 |654903 | 20.7 |9905k| 46 | 18 | 231 | 10k| 231 |2453 | 17 | 22k|3077 | 0.000000e+00 | -- | Inf
99.96/100.05 c 100s| 31800 | 75 |656946 | 20.7 |9930k| 46 | 34 | 231 | 10k| 231 |2453 | 17 | 23k|3077 | 0.000000e+00 | -- | Inf
100.26/100.37 c 100s| 31900 | 72 |659107 | 20.7 |9958k| 46 | - | 231 | 10k| 231 |2453 | 17 | 23k|3087 | 0.000000e+00 | -- | Inf
100.66/100.71 c 101s| 32000 | 74 |661401 | 20.7 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 23k|3100 | 0.000000e+00 | -- | Inf
100.86/100.97 c 101s| 32100 | 73 |663517 | 20.7 | 10M| 46 | 41 | 231 | 11k| 231 |2453 | 17 | 23k|3100 | 0.000000e+00 | -- | Inf
101.16/101.29 c 101s| 32200 | 78 |665464 | 20.7 | 10M| 46 | 39 | 231 | 11k| 231 |2453 | 17 | 23k|3117 | 0.000000e+00 | -- | Inf
101.56/101.62 c 102s| 32300 | 73 |667637 | 20.7 | 10M| 46 | 25 | 231 | 11k| 231 |2453 | 17 | 23k|3129 | 0.000000e+00 | -- | Inf
101.85/101.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.85/101.91 c 102s| 32400 | 68 |669595 | 20.7 | 10M| 46 | 44 | 231 | 11k| 231 |2453 | 17 | 23k|3137 | 0.000000e+00 | -- | Inf
102.16/102.23 c 102s| 32500 | 70 |671565 | 20.7 | 10M| 46 | - | 231 | 11k| 0 | 0 | 17 | 23k|3148 | 0.000000e+00 | -- | Inf
102.45/102.51 c 103s| 32600 | 70 |673314 | 20.6 | 10M| 46 | 40 | 231 | 11k| 231 |2453 | 17 | 23k|3157 | 0.000000e+00 | -- | Inf
102.75/102.85 c 103s| 32700 | 71 |675439 | 20.7 | 10M| 46 | 40 | 231 | 11k| 231 |2453 | 17 | 23k|3172 | 0.000000e+00 | -- | Inf
103.05/103.18 c 103s| 32800 | 70 |677592 | 20.7 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 23k|3182 | 0.000000e+00 | -- | Inf
103.46/103.54 c 104s| 32900 | 71 |680050 | 20.7 | 10M| 46 | 37 | 231 | 11k| 231 |2453 | 17 | 24k|3194 | 0.000000e+00 | -- | Inf
103.85/103.91 c 104s| 33000 | 69 |682330 | 20.7 | 10M| 46 | 35 | 231 | 11k| 231 |2453 | 17 | 24k|3209 | 0.000000e+00 | -- | Inf
104.15/104.23 c 104s| 33100 | 68 |684390 | 20.7 | 10M| 46 | 40 | 231 | 11k| 231 |2453 | 17 | 24k|3221 | 0.000000e+00 | -- | Inf
104.46/104.53 c 105s| 33200 | 67 |686474 | 20.7 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 24k|3225 | 0.000000e+00 | -- | Inf
104.86/104.91 c 105s| 33300 | 64 |688978 | 20.7 | 10M| 46 | 49 | 231 | 10k| 231 |2453 | 17 | 24k|3240 | 0.000000e+00 | -- | Inf
105.06/105.18 c 105s| 33400 | 63 |690707 | 20.7 | 10M| 46 | 32 | 231 | 10k| 231 |2453 | 17 | 24k|3252 | 0.000000e+00 | -- | Inf
105.35/105.47 c 105s| 33500 | 66 |692508 | 20.7 | 10M| 46 | 40 | 231 | 10k| 231 |2453 | 17 | 24k|3262 | 0.000000e+00 | -- | Inf
105.75/105.84 c 106s| 33600 | 63 |695011 | 20.7 |9988k| 46 | 40 | 231 | 10k| 231 |2453 | 17 | 24k|3274 | 0.000000e+00 | -- | Inf
106.05/106.16 c 106s| 33700 | 64 |697384 | 20.7 |9994k| 46 | - | 231 | 10k| 231 |2453 | 17 | 24k|3279 | 0.000000e+00 | -- | Inf
106.46/106.52 c 107s| 33800 | 63 |700165 | 20.7 |9993k| 46 | - | 231 | 10k| 231 |2453 | 17 | 24k|3283 | 0.000000e+00 | -- | Inf
106.76/106.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
106.76/106.84 c 107s| 33900 | 63 |702511 | 20.7 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 24k|3291 | 0.000000e+00 | -- | Inf
107.05/107.13 c 107s| 34000 | 65 |704714 | 20.7 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 24k|3292 | 0.000000e+00 | -- | Inf
107.36/107.45 c 107s| 34100 | 59 |707411 | 20.7 | 10M| 46 | 50 | 231 | 10k| 231 |2453 | 17 | 24k|3293 | 0.000000e+00 | -- | Inf
107.65/107.76 c 108s| 34200 | 59 |709548 | 20.7 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 24k|3297 | 0.000000e+00 | -- | Inf
107.95/108.06 c 108s| 34300 | 60 |711912 | 20.8 | 10M| 46 | 36 | 231 | 10k| 231 |2453 | 17 | 25k|3299 | 0.000000e+00 | -- | Inf
108.26/108.34 c 108s| 34400 | 58 |714102 | 20.8 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 25k|3301 | 0.000000e+00 | -- | Inf
108.56/108.65 c 109s| 34500 | 54 |716473 | 20.8 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 25k|3302 | 0.000000e+00 | -- | Inf
108.86/108.92 c 109s| 34600 | 52 |718614 | 20.8 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 25k|3303 | 0.000000e+00 | -- | Inf
109.05/109.18 c 109s| 34700 | 52 |720508 | 20.8 | 10M| 46 | 23 | 231 | 10k| 231 |2453 | 17 | 25k|3303 | 0.000000e+00 | -- | Inf
109.36/109.43 c 109s| 34800 | 50 |722306 | 20.8 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 25k|3303 | 0.000000e+00 | -- | Inf
109.65/109.73 c 110s| 34900 | 49 |724738 | 20.8 | 10M| 46 | - | 231 | 10k| 231 |2453 | 17 | 25k|3303 | 0.000000e+00 | -- | Inf
109.96/110.04 c 110s| 35000 | 49 |727077 | 20.8 | 10M| 46 | 49 | 231 | 10k| 231 |2453 | 17 | 25k|3303 | 0.000000e+00 | -- | Inf
110.25/110.31 c 110s| 35100 | 48 |729171 | 20.8 |9948k| 46 | 35 | 231 | 10k| 231 |2453 | 17 | 25k|3303 | 0.000000e+00 | -- | Inf
110.45/110.57 c 111s| 35200 | 48 |731159 | 20.8 |9945k| 46 | 40 | 231 | 10k| 231 |2453 | 17 | 25k|3303 | 0.000000e+00 | -- | Inf
110.76/110.83 c 111s| 35300 | 45 |733205 | 20.8 |9934k| 46 | - | 231 | 10k| 231 |2453 | 17 | 25k|3303 | 0.000000e+00 | -- | Inf
111.06/111.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.06/111.11 c 111s| 35400 | 44 |735325 | 20.8 |9898k| 46 | 43 | 231 | 10k| 231 |2453 | 17 | 25k|3303 | 0.000000e+00 | -- | Inf
111.36/111.40 c 111s| 35500 | 44 |737644 | 20.8 |9859k| 46 | - | 231 | 10k| 231 |2453 | 17 | 25k|3303 | 0.000000e+00 | -- | Inf
111.56/111.68 c 112s| 35600 | 47 |739923 | 20.8 |9873k| 46 | - | 231 | 10k| 231 |2453 | 17 | 25k|3303 | 0.000000e+00 | -- | Inf
111.96/112.01 c 112s| 35700 | 51 |742160 | 20.8 |9906k| 46 | - | 231 | 10k| 0 | 0 | 17 | 26k|3316 | 0.000000e+00 | -- | Inf
112.26/112.32 c 112s| 35800 | 51 |744273 | 20.8 |9925k| 46 | - | 231 | 10k| 231 |2453 | 17 | 26k|3325 | 0.000000e+00 | -- | Inf
112.56/112.63 c 113s| 35900 | 51 |746256 | 20.8 |9958k| 46 | - | 231 | 10k| 231 |2453 | 17 | 26k|3337 | 0.000000e+00 | -- | Inf
112.86/112.97 c 113s| 36000 | 49 |748651 | 20.8 |9974k| 46 | - | 231 | 10k| 231 |2453 | 17 | 26k|3346 | 0.000000e+00 | -- | Inf
113.26/113.30 c 113s| 36100 | 48 |751001 | 20.8 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 26k|3358 | 0.000000e+00 | -- | Inf
113.55/113.62 c 114s| 36200 | 48 |753245 | 20.8 | 10M| 46 | 49 | 231 | 11k| 231 |2453 | 17 | 26k|3367 | 0.000000e+00 | -- | Inf
113.85/113.98 c 114s| 36300 | 50 |755635 | 20.8 | 10M| 46 | 43 | 231 | 11k| 231 |2453 | 17 | 26k|3380 | 0.000000e+00 | -- | Inf
114.25/114.35 c 114s| 36400 | 49 |758362 | 20.8 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 26k|3389 | 0.000000e+00 | -- | Inf
114.66/114.72 c 115s| 36500 | 49 |760919 | 20.8 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 26k|3401 | 0.000000e+00 | -- | Inf
115.05/115.10 c 115s| 36600 | 49 |763688 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 26k|3415 | 0.000000e+00 | -- | Inf
115.35/115.47 c 115s| 36700 | 51 |766150 | 20.9 | 10M| 46 | - | 231 | 11k| 0 | 0 | 17 | 26k|3428 | 0.000000e+00 | -- | Inf
115.76/115.80 c 116s| 36800 | 57 |768473 | 20.9 | 10M| 46 | 31 | 231 | 11k| 231 |2453 | 17 | 26k|3440 | 0.000000e+00 | -- | Inf
116.05/116.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
116.05/116.19 c 116s| 36900 | 50 |770950 | 20.9 | 10M| 46 | 44 | 231 | 11k| 231 |2453 | 17 | 26k|3457 | 0.000000e+00 | -- | Inf
116.45/116.53 c 117s| 37000 | 49 |773407 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 27k|3465 | 0.000000e+00 | -- | Inf
116.75/116.88 c 117s| 37100 | 52 |776069 | 20.9 | 10M| 46 | 26 | 231 | 11k| 231 |2453 | 17 | 27k|3469 | 0.000000e+00 | -- | Inf
117.05/117.15 c 117s| 37200 | 52 |778149 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 27k|3475 | 0.000000e+00 | -- | Inf
117.35/117.47 c 117s| 37300 | 54 |780535 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 27k|3479 | 0.000000e+00 | -- | Inf
117.66/117.78 c 118s| 37400 | 52 |782761 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 27k|3483 | 0.000000e+00 | -- | Inf
117.95/118.06 c 118s| 37500 | 50 |784833 | 20.9 | 10M| 46 | 17 | 231 | 11k| 231 |2453 | 17 | 27k|3485 | 0.000000e+00 | -- | Inf
118.25/118.34 c 118s| 37600 | 48 |787086 | 20.9 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 27k|3485 | 0.000000e+00 | -- | Inf
118.55/118.62 c 119s| 37700 | 50 |789501 | 20.9 | 10M| 46 | 33 | 231 | 11k| 231 |2453 | 17 | 27k|3485 | 0.000000e+00 | -- | Inf
118.86/118.92 c 119s| 37800 | 50 |791940 | 20.9 | 10M| 46 | 27 | 231 | 11k| 231 |2453 | 17 | 27k|3485 | 0.000000e+00 | -- | Inf
119.25/119.31 c 119s| 37900 | 52 |795214 | 21.0 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 27k|3486 | 0.000000e+00 | -- | Inf
119.55/119.61 c 120s| 38000 | 50 |797769 | 21.0 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 27k|3486 | 0.000000e+00 | -- | Inf
119.86/119.95 c 120s| 38100 | 47 |800498 | 21.0 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 27k|3489 | 0.000000e+00 | -- | Inf
120.15/120.23 c 120s| 38200 | 47 |802428 | 21.0 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 27k|3493 | 0.000000e+00 | -- | Inf
120.45/120.50 c 121s| 38300 | 45 |804545 | 21.0 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 27k|3493 | 0.000000e+00 | -- | Inf
120.65/120.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.65/120.78 c 121s| 38400 | 49 |806538 | 21.0 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 28k|3496 | 0.000000e+00 | -- | Inf
120.96/121.08 c 121s| 38500 | 44 |808935 | 21.0 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 28k|3498 | 0.000000e+00 | -- | Inf
121.35/121.41 c 121s| 38600 | 44 |811490 | 21.0 | 10M| 46 | 50 | 231 | 10k| 231 |2453 | 17 | 28k|3499 | 0.000000e+00 | -- | Inf
121.55/121.64 c 122s| 38700 | 44 |813321 | 21.0 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 28k|3500 | 0.000000e+00 | -- | Inf
121.85/121.93 c 122s| 38800 | 44 |815659 | 21.0 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 28k|3500 | 0.000000e+00 | -- | Inf
122.05/122.16 c 122s| 38900 | 49 |817560 | 21.0 | 10M| 46 | - | 231 | 11k| 0 | 0 | 17 | 28k|3500 | 0.000000e+00 | -- | Inf
122.35/122.42 c 122s| 39000 | 44 |819665 | 21.0 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 28k|3500 | 0.000000e+00 | -- | Inf
122.65/122.72 c 123s| 39100 | 46 |821725 | 21.0 | 10M| 46 | 42 | 231 | 11k| 231 |2453 | 17 | 28k|3510 | 0.000000e+00 | -- | Inf
123.05/123.10 c 123s| 39200 | 43 |824513 | 21.0 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 28k|3522 | 0.000000e+00 | -- | Inf
123.35/123.48 c 123s| 39300 | 43 |827272 | 21.0 | 10M| 46 | 38 | 231 | 11k| 231 |2453 | 17 | 28k|3532 | 0.000000e+00 | -- | Inf
123.65/123.74 c 124s| 39400 | 45 |828933 | 21.0 | 10M| 46 | - | 231 | 11k| 231 |2453 | 17 | 28k|3542 | 0.000000e+00 | -- | Inf
123.95/124.02 c 124s| 39500 | 48 |830737 | 21.0 | 10M| 46 | 40 | 231 | 11k| 231 |2453 | 17 | 28k|3554 | 0.000000e+00 | -- | Inf
124.26/124.36 c 124s| 39600 | 45 |833119 | 21.0 | 10M| 49 | - | 231 | 11k| 231 |2453 | 17 | 28k|3562 | 0.000000e+00 | -- | Inf
124.55/124.68 c 125s| 39700 | 45 |835596 | 21.0 | 10M| 49 | - | 231 | 11k| 231 |2453 | 17 | 28k|3567 | 0.000000e+00 | -- | Inf
124.95/125.02 c 125s| 39800 | 44 |837906 | 21.0 | 10M| 49 | - | 231 | 11k| 231 |2453 | 17 | 29k|3579 | 0.000000e+00 | -- | Inf
125.25/125.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.25/125.34 c 125s| 39900 | 42 |840106 | 21.1 | 10M| 49 | 47 | 231 | 11k| 231 |2453 | 17 | 29k|3590 | 0.000000e+00 | -- | Inf
125.65/125.70 c 126s| 40000 | 42 |842666 | 21.1 | 10M| 49 | - | 231 | 11k| 231 |2453 | 17 | 29k|3601 | 0.000000e+00 | -- | Inf
126.05/126.11 c 126s| 40100 | 42 |845488 | 21.1 | 10M| 49 | 48 | 231 | 11k| 231 |2453 | 17 | 29k|3615 | 0.000000e+00 | -- | Inf
126.35/126.48 c 126s| 40200 | 40 |848014 | 21.1 | 10M| 49 | - | 231 | 11k| 231 |2453 | 17 | 29k|3626 | 0.000000e+00 | -- | Inf
126.76/126.80 c 127s| 40300 | 42 |850015 | 21.1 | 10M| 49 | 42 | 231 | 11k| 231 |2453 | 17 | 29k|3637 | 0.000000e+00 | -- | Inf
127.05/127.11 c 127s| 40400 | 39 |851954 | 21.1 | 10M| 49 | 44 | 231 | 11k| 231 |2453 | 17 | 29k|3648 | 0.000000e+00 | -- | Inf
127.35/127.45 c 127s| 40500 | 39 |854212 | 21.1 | 10M| 49 | 30 | 231 | 11k| 231 |2453 | 17 | 29k|3659 | 0.000000e+00 | -- | Inf
127.65/127.78 c 128s| 40600 | 37 |856620 | 21.1 | 10M| 49 | - | 231 | 11k| 231 |2453 | 17 | 29k|3669 | 0.000000e+00 | -- | Inf
127.94/128.08 c 128s| 40700 | 36 |858741 | 21.1 |9973k| 49 | - | 231 | 10k| 231 |2453 | 17 | 29k|3673 | 0.000000e+00 | -- | Inf
128.25/128.39 c 128s| 40800 | 35 |861127 | 21.1 |9922k| 49 | - | 231 | 10k| 231 |2453 | 17 | 29k|3676 | 0.000000e+00 | -- | Inf
128.54/128.65 c 129s| 40900 | 35 |863117 | 21.1 |9888k| 49 | 32 | 231 | 10k| 231 |2453 | 17 | 29k|3677 | 0.000000e+00 | -- | Inf
128.85/128.94 c 129s| 41000 | 36 |865509 | 21.1 |9901k| 49 | - | 231 | 10k| 231 |2453 | 17 | 29k|3677 | 0.000000e+00 | -- | Inf
129.15/129.21 c 129s| 41100 | 33 |867645 | 21.1 |9893k| 49 | - | 231 | 10k| 231 |2453 | 17 | 29k|3679 | 0.000000e+00 | -- | Inf
129.45/129.53 c 130s| 41200 | 33 |870317 | 21.1 |9884k| 49 | - | 231 | 10k| 231 |2453 | 17 | 30k|3679 | 0.000000e+00 | -- | Inf
129.76/129.88 c 130s| 41300 | 29 |873125 | 21.1 |9837k| 49 | 23 | 231 | 10k| 231 |2453 | 17 | 30k|3680 | 0.000000e+00 | -- | Inf
130.15/130.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.15/130.23 c 130s| 41400 | 25 |875921 | 21.2 |9811k| 49 | 49 | 231 | 10k| 231 |2453 | 17 | 30k|3680 | 0.000000e+00 | -- | Inf
130.45/130.54 c 131s| 41500 | 24 |878383 | 21.2 |9822k| 49 | - | 231 | 10k| 0 | 0 | 17 | 30k|3681 | 0.000000e+00 | -- | Inf
130.75/130.84 c 131s| 41600 | 21 |880591 | 21.2 |9767k| 49 | 49 | 231 | 10k| 231 |2453 | 17 | 30k|3681 | 0.000000e+00 | -- | Inf
131.05/131.15 c 131s| 41700 | 15 |882976 | 21.2 |9655k| 49 | - | 231 | 10k| 231 |2453 | 17 | 30k|3681 | 0.000000e+00 | -- | Inf
131.44/131.50 c 131s| 41800 | 13 |885775 | 21.2 |9649k| 49 | - | 231 | 10k| 231 |2453 | 17 | 30k|3682 | 0.000000e+00 | -- | Inf
131.65/131.75 c 132s| 41900 | 10 |887763 | 21.2 |9620k| 49 | - | 231 | 10k| 231 |2453 | 17 | 30k|3682 | 0.000000e+00 | -- | Inf
131.96/132.01 c 132s| 42000 | 12 |889899 | 21.2 |9636k| 49 | - | 231 | 10k| 231 |2453 | 17 | 30k|3682 | 0.000000e+00 | -- | Inf
132.15/132.22 c 132s| 42100 | 14 |891351 | 21.2 |9636k| 49 | 20 | 231 | 10k| 231 |2453 | 17 | 30k|3682 | 0.000000e+00 | -- | Inf
132.34/132.43 c 132s| 42200 | 10 |892949 | 21.2 |9636k| 49 | - | 231 | 10k| 231 |2453 | 17 | 30k|3682 | 0.000000e+00 | -- | Inf
132.55/132.67 c 133s| 42300 | 10 |894743 | 21.1 |9649k| 49 | - | 231 | 10k| 231 |2453 | 17 | 30k|3682 | 0.000000e+00 | -- | Inf
132.85/132.90 c 133s| 42400 | 12 |896560 | 21.1 |9663k| 49 | 24 | 231 | 10k| 231 |2453 | 17 | 30k|3682 | 0.000000e+00 | -- | Inf
133.05/133.13 c 133s| 42500 | 9 |898264 | 21.1 |9656k| 49 | - | 231 | 10k| 231 |2453 | 17 | 31k|3682 | 0.000000e+00 | -- | Inf
133.25/133.35 c 133s| 42600 | 7 |899776 | 21.1 |9660k| 49 | 40 | 231 | 10k| 231 |2453 | 17 | 31k|3682 | 0.000000e+00 | -- | Inf
133.55/133.64 c 134s| 42700 | 6 |902103 | 21.1 |9676k| 49 | - | 231 | 10k| 231 |2453 | 17 | 31k|3682 | 0.000000e+00 | -- | Inf
133.84/133.99 c 134s| 42800 | 3 |904647 | 21.1 |9657k| 49 | - | 231 | 10k| 231 |2453 | 17 | 31k|3691 | 0.000000e+00 | -- | Inf
134.16/134.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.16/134.29 c 134s| 42900 | 3 |906496 | 21.1 |9619k| 49 | 20 | 231 | 10k| 231 |2453 | 17 | 31k|3700 | 0.000000e+00 | -- | Inf
134.26/134.31 c
134.26/134.31 c SCIP Status : problem is solved [infeasible]
134.26/134.31 c Solving Time (sec) : 134.31
134.26/134.31 c Solving Nodes : 42907
134.26/134.31 c Primal Bound : +1.00000000000000e+20 (0 solutions)
134.26/134.31 c Dual Bound : +1.00000000000000e+20
134.26/134.31 c Gap : 0.00 %
134.26/134.31 s UNSATISFIABLE
134.26/134.31 c SCIP Status : problem is solved [infeasible]
134.26/134.31 c Total Time : 134.31
134.26/134.31 c solving : 134.31
134.26/134.31 c presolving : 0.05 (included in solving)
134.26/134.31 c reading : 0.01 (included in solving)
134.26/134.31 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
134.26/134.31 c Original Problem :
134.26/134.31 c Problem name : HOME/instance-3690439-1338016935.opb
134.26/134.31 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
134.26/134.31 c Constraints : 2707 initial, 2707 maximal
134.26/134.31 c Objective sense : minimize
134.26/134.31 c Presolved Problem :
134.26/134.31 c Problem name : t_HOME/instance-3690439-1338016935.opb
134.26/134.31 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
134.26/134.31 c Constraints : 2443 initial, 13233 maximal
134.26/134.31 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
134.26/134.31 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
134.26/134.31 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
134.26/134.31 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
134.26/134.31 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
134.26/134.31 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
134.26/134.31 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
134.26/134.31 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
134.26/134.31 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
134.26/134.31 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
134.26/134.31 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
134.26/134.31 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
134.26/134.31 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
134.26/134.31 c setppc : 0.00 0.00 0 0 0 0 0 121 0 0 0
134.26/134.31 c linear : 0.02 0.00 0 0 0 0 0 143 0 0 0
134.26/134.31 c logicor : 0.02 0.00 0 0 0 0 0 0 0 0 0
134.26/134.31 c root node : - - 1 - - 1 - - - - -
134.26/134.31 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
134.26/134.31 c integral : 0 0 0 0 22473 0 1 0 86 1288 0 0 43334
134.26/134.31 c knapsack : 1 1 5 169698 0 0 0 15896 300 91036 0 0 0
134.26/134.31 c setppc : 22 22 5 169607 0 0 0 451433 1136 258175 0 0 0
134.26/134.31 c linear : 0+ 335 5 143090 0 0 0 704 0 6222 0 0 0
134.26/134.31 c logicor : 2420+ 13193 5 83199 0 0 0 188855 352 280536 0 0 0
134.26/134.31 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
134.26/134.31 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
134.26/134.31 c integral : 18.57 0.00 0.00 0.00 18.57 0.00 0.00 0.00
134.26/134.31 c knapsack : 0.22 0.00 0.00 0.20 0.00 0.00 0.00 0.02
134.26/134.31 c setppc : 0.85 0.00 0.00 0.72 0.00 0.00 0.00 0.13
134.26/134.31 c linear : 0.28 0.00 0.00 0.28 0.00 0.00 0.00 0.00
134.26/134.31 c logicor : 3.78 0.00 0.00 3.65 0.00 0.00 0.00 0.13
134.26/134.31 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
134.26/134.31 c Propagators : #Propagate #ResProp Cutoffs DomReds
134.26/134.31 c rootredcost : 0 0 0 0
134.26/134.31 c pseudoobj : 0 0 0 0
134.26/134.31 c vbounds : 0 0 0 0
134.26/134.31 c redcost : 22478 0 0 0
134.26/134.31 c probing : 0 0 0 0
134.26/134.31 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
134.26/134.31 c rootredcost : 0.04 0.00 0.00 0.04 0.00
134.26/134.31 c pseudoobj : 0.04 0.00 0.00 0.04 0.00
134.26/134.31 c vbounds : 0.04 0.00 0.00 0.04 0.00
134.26/134.31 c redcost : 0.10 0.00 0.00 0.10 0.00
134.26/134.31 c probing : 0.00 0.00 0.00 0.00 0.00
134.26/134.31 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
134.26/134.31 c propagation : 0.07 1788 1784 8991 19.3 42 18.6 -
134.26/134.31 c infeasible LP : 1.72 19780 19674 118069 29.6 57 14.4 0
134.26/134.31 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
134.26/134.31 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
134.26/134.31 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
134.26/134.31 c applied globally : - - - 30952 18.6 - - -
134.26/134.31 c applied locally : - - - 405 32.4 - - -
134.26/134.31 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
134.26/134.31 c cut pool : 0.00 4 - - 306 - (maximal pool size: 515)
134.26/134.31 c closecuts : 0.00 0.00 0 0 0 0 0
134.26/134.31 c impliedbounds : 0.00 0.00 5 0 0 0 0
134.26/134.31 c intobj : 0.00 0.00 0 0 0 0 0
134.26/134.31 c gomory : 0.10 0.00 5 0 0 200 0
134.26/134.31 c cgmip : 0.00 0.00 0 0 0 0 0
134.26/134.31 c strongcg : 0.18 0.00 5 0 0 2500 0
134.26/134.31 c cmir : 0.00 0.00 0 0 0 0 0
134.26/134.31 c flowcover : 0.00 0.00 0 0 0 0 0
134.26/134.31 c clique : 0.00 0.00 5 0 0 0 0
134.26/134.31 c zerohalf : 0.00 0.00 0 0 0 0 0
134.26/134.31 c mcf : 0.00 0.00 1 0 0 0 0
134.26/134.31 c oddcycle : 0.00 0.00 0 0 0 0 0
134.26/134.31 c rapidlearning : 0.09 0.00 1 0 0 0 335
134.26/134.31 c Pricers : ExecTime SetupTime Calls Vars
134.26/134.31 c problem variables: 0.00 - 0 0
134.26/134.31 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
134.26/134.31 c relpscost : 18.55 0.00 22473 86 1288 0 0 43334
134.26/134.31 c pscost : 0.00 0.00 0 0 0 0 0 0
134.26/134.31 c inference : 0.00 0.00 0 0 0 0 0 0
134.26/134.31 c mostinf : 0.00 0.00 0 0 0 0 0 0
134.26/134.31 c leastinf : 0.00 0.00 0 0 0 0 0 0
134.26/134.31 c fullstrong : 0.00 0.00 0 0 0 0 0 0
134.26/134.31 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
134.26/134.31 c random : 0.00 0.00 0 0 0 0 0 0
134.26/134.31 c Primal Heuristics : ExecTime SetupTime Calls Found
134.26/134.31 c LP solutions : 0.00 - - 0
134.26/134.31 c pseudo solutions : 0.00 - - 0
134.26/134.31 c smallcard : 0.00 0.00 0 0
134.26/134.31 c trivial : 0.00 0.00 1 0
134.26/134.31 c shiftandpropagate: 0.00 0.00 0 0
134.26/134.31 c simplerounding : 0.00 0.00 0 0
134.26/134.31 c zirounding : 0.00 0.00 0 0
134.26/134.31 c rounding : 0.00 0.00 0 0
134.26/134.31 c shifting : 0.00 0.00 0 0
134.26/134.31 c intshifting : 0.00 0.00 0 0
134.26/134.31 c oneopt : 0.00 0.00 0 0
134.26/134.31 c twoopt : 0.00 0.00 0 0
134.26/134.31 c indtwoopt : 0.00 0.00 0 0
134.26/134.31 c indoneopt : 0.00 0.00 0 0
134.26/134.31 c fixandinfer : 0.00 0.00 0 0
134.26/134.31 c feaspump : 0.00 0.00 0 0
134.26/134.31 c clique : 0.00 0.00 0 0
134.26/134.31 c indrounding : 0.00 0.00 0 0
134.26/134.31 c indcoefdiving : 0.00 0.00 0 0
134.26/134.31 c coefdiving : 0.00 0.00 0 0
134.26/134.31 c pscostdiving : 0.00 0.00 0 0
134.26/134.31 c nlpdiving : 0.00 0.00 0 0
134.26/134.31 c fracdiving : 0.00 0.00 0 0
134.26/134.31 c veclendiving : 0.00 0.00 0 0
134.26/134.31 c intdiving : 0.00 0.00 0 0
134.26/134.31 c actconsdiving : 0.00 0.00 0 0
134.26/134.31 c objpscostdiving : 0.00 0.00 0 0
134.26/134.31 c rootsoldiving : 0.00 0.00 0 0
134.26/134.31 c linesearchdiving : 0.00 0.00 0 0
134.26/134.31 c guideddiving : 0.00 0.00 0 0
134.26/134.31 c octane : 0.00 0.00 0 0
134.26/134.31 c rens : 0.00 0.00 0 0
134.26/134.31 c rins : 0.00 0.00 0 0
134.26/134.31 c localbranching : 0.00 0.00 0 0
134.26/134.31 c mutation : 0.00 0.00 0 0
134.26/134.31 c crossover : 0.00 0.00 0 0
134.26/134.31 c dins : 0.00 0.00 0 0
134.26/134.31 c vbounds : 0.00 0.00 0 0
134.26/134.31 c undercover : 0.00 0.00 0 0
134.26/134.31 c subnlp : 0.00 0.00 0 0
134.26/134.31 c trysol : 0.00 0.00 0 0
134.26/134.31 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
134.26/134.31 c primal LP : 0.00 1 0 0.00 - 0.00 1
134.26/134.31 c dual LP : 97.24 42258 906634 21.49 9323.21 0.03 74
134.26/134.31 c lex dual LP : 0.00 0 0 0.00 -
134.26/134.31 c barrier LP : 0.00 0 0 0.00 - 0.00 0
134.26/134.31 c diving/probing LP: 0.00 0 0 0.00 -
134.26/134.31 c strong branching : 18.17 3700 158957 42.96 8748.14
134.26/134.31 c (at root node) : - 9 1965 218.33 -
134.26/134.31 c conflict analysis: 0.00 0 0 0.00 -
134.26/134.31 c B&B Tree :
134.26/134.31 c number of runs : 1
134.26/134.31 c nodes : 42907
134.26/134.31 c nodes (total) : 42907
134.26/134.31 c nodes left : 0
134.26/134.31 c max depth : 49
134.26/134.31 c max depth (total): 49
134.26/134.31 c backtracks : 5430 (12.7%)
134.26/134.31 c delayed cutoffs : 428
134.26/134.31 c repropagations : 68949 (110900 domain reductions, 424 cutoffs)
134.26/134.31 c avg switch length: 4.82
134.26/134.31 c switching time : 4.15
134.26/134.31 c Solution :
134.26/134.31 c Solutions found : 0 (0 improvements)
134.26/134.31 c Primal Bound : infeasible
134.26/134.31 c Dual Bound : -
134.26/134.31 c Gap : 0.00 %
134.26/134.31 c Root Dual Bound : +0.00000000000000e+00
134.26/134.31 c Root Iterations : 146
134.26/134.33 c Time complete: 134.29.
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-3690439-1338016935/watcher-3690439-1338016935 -o /tmp/evaluation-result-3690439-1338016935/solver-3690439-1338016935 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690439-1338016935.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 7250
/proc/meminfo: memFree=28997112/32873648 swapFree=6856/6856
[pid=7250] ppid=7248 vsize=10296 CPUtime=0 cores=0,2,4,6
/proc/7250/stat : 7250 (scip-2.1.1.4fix) R 7248 7250 7220 0 -1 4202496 1325 0 0 0 0 0 0 0 20 0 1 0 267819013 10543104 1280 33554432000 4194304 10173063 140734894052416 140735787439752 5284995 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7250/statm: 2574 1280 413 1460 0 1105 0
[startup+0.0308921 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 7250
/proc/meminfo: memFree=28997112/32873648 swapFree=6856/6856
[pid=7250] ppid=7248 vsize=20180 CPUtime=0.02 cores=0,2,4,6
/proc/7250/stat : 7250 (scip-2.1.1.4fix) R 7248 7250 7220 0 -1 4202496 3841 0 0 0 2 0 0 0 20 0 1 0 267819013 20664320 3539 33554432000 4194304 10173063 140734894052416 140735787439752 8963895 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7250/statm: 5045 3539 555 1460 0 3576 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20180
[startup+0.100183 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 7250
/proc/meminfo: memFree=28997112/32873648 swapFree=6856/6856
[pid=7250] ppid=7248 vsize=29640 CPUtime=0.09 cores=0,2,4,6
/proc/7250/stat : 7250 (scip-2.1.1.4fix) R 7248 7250 7220 0 -1 4202496 6564 0 0 0 9 0 0 0 20 0 1 0 267819013 30351360 6222 33554432000 4194304 10173063 140734894052416 140735787439752 8800002 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7250/statm: 7410 6233 781 1460 0 5941 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29640
[startup+0.300155 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 7250
/proc/meminfo: memFree=28997112/32873648 swapFree=6856/6856
[pid=7250] ppid=7248 vsize=47040 CPUtime=0.29 cores=0,2,4,6
/proc/7250/stat : 7250 (scip-2.1.1.4fix) R 7248 7250 7220 0 -1 4202496 10673 0 0 0 27 2 0 0 20 0 1 0 267819013 48168960 10329 33554432000 4194304 10173063 140734894052416 140735787439752 7661732 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7250/statm: 11760 10329 827 1460 0 10291 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47040
[startup+0.700121 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 7250
/proc/meminfo: memFree=28997112/32873648 swapFree=6856/6856
[pid=7250] ppid=7248 vsize=47132 CPUtime=0.69 cores=0,2,4,6
/proc/7250/stat : 7250 (scip-2.1.1.4fix) R 7248 7250 7220 0 -1 4202496 10699 0 0 0 67 2 0 0 20 0 1 0 267819013 48263168 10355 33554432000 4194304 10173063 140734894052416 140734894045864 7971264 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7250/statm: 11783 10355 832 1460 0 10314 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47132
[startup+1.5001 s]
/proc/loadavg: 0.16 0.03 0.01 3/177 7265
/proc/meminfo: memFree=28905372/32873648 swapFree=6856/6856
[pid=7250] ppid=7248 vsize=47132 CPUtime=1.48 cores=0,2,4,6
/proc/7250/stat : 7250 (scip-2.1.1.4fix) R 7248 7250 7220 0 -1 4202496 10700 0 0 0 146 2 0 0 20 0 1 0 267819013 48263168 10356 33554432000 4194304 10173063 140734894052416 140734894045864 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7250/statm: 11783 10356 832 1460 0 10314 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 47132
[startup+3.1001 s]
/proc/loadavg: 0.16 0.03 0.01 3/177 7265
/proc/meminfo: memFree=28904008/32873648 swapFree=6856/6856
[pid=7250] ppid=7248 vsize=47132 CPUtime=3.09 cores=0,2,4,6
/proc/7250/stat : 7250 (scip-2.1.1.4fix) R 7248 7250 7220 0 -1 4202496 10703 0 0 0 305 4 0 0 20 0 1 0 267819013 48263168 10359 33554432000 4194304 10173063 140734894052416 140734894045864 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7250/statm: 11783 10359 835 1460 0 10314 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47132
[startup+6.30017 s]
/proc/loadavg: 0.23 0.05 0.02 2/172 7289
/proc/meminfo: memFree=28957528/32873648 swapFree=6856/6856
[pid=7250] ppid=7248 vsize=47132 CPUtime=6.28 cores=0,2,4,6
/proc/7250/stat : 7250 (scip-2.1.1.4fix) R 7248 7250 7220 0 -1 4202496 10704 0 0 0 621 7 0 0 20 0 1 0 267819013 48263168 10360 33554432000 4194304 10173063 140734894052416 140734894045864 8982074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7250/statm: 11783 10360 836 1460 0 10314 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 47132
[startup+12.7002 s]
/proc/loadavg: 0.37 0.08 0.03 3/177 7303
/proc/meminfo: memFree=28435620/32873648 swapFree=6856/6856
[pid=7250] ppid=7248 vsize=47132 CPUtime=12.68 cores=0,2,4,6
/proc/7250/stat : 7250 (scip-2.1.1.4fix) R 7248 7250 7220 0 -1 4202496 10705 0 0 0 1253 15 0 0 20 0 1 0 267819013 48263168 10361 33554432000 4194304 10173063 140734894052416 140734894046056 8047619 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7250/statm: 11783 10361 837 1460 0 10314 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 47132
[startup+25.5003 s]
/proc/loadavg: 0.62 0.14 0.05 3/177 7303
/proc/meminfo: memFree=27780976/32873648 swapFree=6856/6856
[pid=7250] ppid=7248 vsize=47132 CPUtime=25.47 cores=0,2,4,6
/proc/7250/stat : 7250 (scip-2.1.1.4fix) R 7248 7250 7220 0 -1 4202496 10710 0 0 0 2515 32 0 0 20 0 1 0 267819013 48263168 10587 33554432000 4194304 10173063 140734894052416 140734894048216 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7250/statm: 11783 10587 837 1460 0 10314 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 47132
[startup+51.1003 s]
/proc/loadavg: 1.16 0.32 0.11 3/177 7303
/proc/meminfo: memFree=27580976/32873648 swapFree=6856/6856
[pid=7250] ppid=7248 vsize=47132 CPUtime=51.06 cores=0,2,4,6
/proc/7250/stat : 7250 (scip-2.1.1.4fix) R 7248 7250 7220 0 -1 4202496 10714 0 0 0 5038 68 0 0 20 0 1 0 267819013 48263168 11098 33554432000 4194304 10173063 140734894052416 140734894046088 8046671 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7250/statm: 11783 11098 837 1460 0 10314 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 47132
[startup+102.3 s]
/proc/loadavg: 1.63 0.58 0.20 3/177 7304
/proc/meminfo: memFree=27577420/32873648 swapFree=6856/6856
[pid=7250] ppid=7248 vsize=47132 CPUtime=102.26 cores=0,2,4,6
/proc/7250/stat : 7250 (scip-2.1.1.4fix) R 7248 7250 7220 0 -1 4202496 10714 0 0 0 10083 143 0 0 20 0 1 0 267819013 48263168 11098 33554432000 4194304 10173063 140734894052416 140734894049784 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7250/statm: 11783 11098 837 1460 0 10314 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 47132
Solver just ended. Dumping a history of the last processes samples
[startup+102.407 s]
/proc/loadavg: 1.63 0.58 0.20 3/177 7304
/proc/meminfo: memFree=27577420/32873648 swapFree=6856/6856
[pid=7250] ppid=7248 vsize=47132 CPUtime=102.36 cores=0,2,4,6
/proc/7250/stat : 7250 (scip-2.1.1.4fix) R 7248 7250 7220 0 -1 4202496 10714 0 0 0 10093 143 0 0 20 0 1 0 267819013 48263168 11098 33554432000 4194304 10173063 140734894052416 140734894049784 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7250/statm: 11783 11098 837 1460 0 10314 0
Current children cumulated CPU time (s) 102.36
Current children cumulated vsize (KiB) 47132
[startup+115.2 s]
/proc/loadavg: 1.69 0.62 0.22 3/177 7304
/proc/meminfo: memFree=26939820/32873648 swapFree=6856/6856
[pid=7250] ppid=7248 vsize=47132 CPUtime=115.15 cores=0,2,4,6
/proc/7250/stat : 7250 (scip-2.1.1.4fix) R 7248 7250 7220 0 -1 4202496 10714 0 0 0 11353 162 0 0 20 0 1 0 267819013 48263168 11098 33554432000 4194304 10173063 140734894052416 140734894045400 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7250/statm: 11783 11098 837 1460 0 10314 0
Current children cumulated CPU time (s) 115.15
Current children cumulated vsize (KiB) 47132
[startup+128 s]
/proc/loadavg: 1.76 0.69 0.25 3/177 7304
/proc/meminfo: memFree=26901472/32873648 swapFree=6856/6856
[pid=7250] ppid=7248 vsize=47132 CPUtime=127.94 cores=0,2,4,6
/proc/7250/stat : 7250 (scip-2.1.1.4fix) R 7248 7250 7220 0 -1 4202496 10714 0 0 0 12614 180 0 0 20 0 1 0 267819013 48263168 11098 33554432000 4194304 10173063 140734894052416 140734894045272 7587422 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7250/statm: 11783 11098 837 1460 0 10314 0
Current children cumulated CPU time (s) 127.94
Current children cumulated vsize (KiB) 47132
[startup+131.2 s]
/proc/loadavg: 1.78 0.71 0.26 3/177 7304
/proc/meminfo: memFree=26900480/32873648 swapFree=6856/6856
[pid=7250] ppid=7248 vsize=47132 CPUtime=131.15 cores=0,2,4,6
/proc/7250/stat : 7250 (scip-2.1.1.4fix) R 7248 7250 7220 0 -1 4202496 10714 0 0 0 12930 185 0 0 20 0 1 0 267819013 48263168 11098 33554432000 4194304 10173063 140734894052416 140734894046056 8012071 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7250/statm: 11783 11098 837 1460 0 10314 0
Current children cumulated CPU time (s) 131.15
Current children cumulated vsize (KiB) 47132
[startup+132.8 s]
/proc/loadavg: 1.78 0.71 0.26 3/177 7304
/proc/meminfo: memFree=26900480/32873648 swapFree=6856/6856
[pid=7250] ppid=7248 vsize=47132 CPUtime=132.74 cores=0,2,4,6
/proc/7250/stat : 7250 (scip-2.1.1.4fix) R 7248 7250 7220 0 -1 4202496 10714 0 0 0 13087 187 0 0 20 0 1 0 267819013 48263168 11098 33554432000 4194304 10173063 140734894052416 140734894045352 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7250/statm: 11783 11098 837 1460 0 10314 0
Current children cumulated CPU time (s) 132.74
Current children cumulated vsize (KiB) 47132
[startup+133.6 s]
/proc/loadavg: 1.78 0.71 0.26 3/177 7304
/proc/meminfo: memFree=26900092/32873648 swapFree=6856/6856
[pid=7250] ppid=7248 vsize=47132 CPUtime=133.55 cores=0,2,4,6
/proc/7250/stat : 7250 (scip-2.1.1.4fix) R 7248 7250 7220 0 -1 4202496 10714 0 0 0 13166 189 0 0 20 0 1 0 267819013 48263168 11098 33554432000 4194304 10173063 140734894052416 140734894046056 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7250/statm: 11783 11098 837 1460 0 10314 0
Current children cumulated CPU time (s) 133.55
Current children cumulated vsize (KiB) 47132
[startup+134 s]
/proc/loadavg: 1.78 0.71 0.26 3/177 7304
/proc/meminfo: memFree=26900092/32873648 swapFree=6856/6856
[pid=7250] ppid=7248 vsize=47132 CPUtime=133.94 cores=0,2,4,6
/proc/7250/stat : 7250 (scip-2.1.1.4fix) R 7248 7250 7220 0 -1 4202496 10714 0 0 0 13205 189 0 0 20 0 1 0 267819013 48263168 11098 33554432000 4194304 10173063 140734894052416 140734894046056 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7250/statm: 11783 11098 837 1460 0 10314 0
Current children cumulated CPU time (s) 133.94
Current children cumulated vsize (KiB) 47132
[startup+134.2 s]
/proc/loadavg: 1.78 0.71 0.26 3/177 7304
/proc/meminfo: memFree=26900216/32873648 swapFree=6856/6856
[pid=7250] ppid=7248 vsize=47132 CPUtime=134.16 cores=0,2,4,6
/proc/7250/stat : 7250 (scip-2.1.1.4fix) R 7248 7250 7220 0 -1 4202496 10716 0 0 0 13226 190 0 0 20 0 1 0 267819013 48263168 11100 33554432000 4194304 10173063 140734894052416 140734894046056 8982074 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7250/statm: 11783 11100 839 1460 0 10314 0
Current children cumulated CPU time (s) 134.16
Current children cumulated vsize (KiB) 47132
[startup+134.307 s]
/proc/loadavg: 1.78 0.71 0.26 3/177 7304
/proc/meminfo: memFree=26900216/32873648 swapFree=6856/6856
[pid=7250] ppid=7248 vsize=47132 CPUtime=134.26 cores=0,2,4,6
/proc/7250/stat : 7250 (scip-2.1.1.4fix) R 7248 7250 7220 0 -1 4202496 10716 0 0 0 13236 190 0 0 20 0 1 0 267819013 48263168 11100 33554432000 4194304 10173063 140734894052416 140734894046056 8963895 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/7250/statm: 11783 11100 839 1460 0 10314 0
Current children cumulated CPU time (s) 134.26
Current children cumulated vsize (KiB) 47132
Child status: 0
Real time (s): 134.335
CPU time (s): 134.294
CPU user time (s): 132.391
CPU system time (s): 1.90271
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 47132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 132.391
system time used= 1.90271
maximum resident set size= 44412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10721
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= 11
involuntary context switches= 267
runsolver used 0.354946 second user time and 0.897863 second system time
The end