0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3691581-1338021856.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.00/0.04 c (round 1) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2542 upgd conss, 242 impls, 22 clqs
0.00/0.05 c (round 2) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.00/0.05 c (round 3) 0 del vars, 264 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2564 upgd conss, 242 impls, 22 clqs
0.00/0.06 c presolving (4 rounds):
0.00/0.06 c 0 deleted vars, 264 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 242 implications, 22 cliques
0.00/0.06 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.00/0.06 c 1 constraints of type <knapsack>
0.00/0.06 c 22 constraints of type <setppc>
0.00/0.06 c 2420 constraints of type <logicor>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.05
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 2.1.1.4
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1797
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 13950
0.00/0.06 c
0.00/0.06 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c limits/solutions = 1
0.00/0.06 c
0.00/0.06 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.06 c separating/maxrounds = 1
0.00/0.06 c
0.00/0.06 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/maxroundsroot = 5
0.00/0.06 c
0.00/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.06 c # [type: int, range: [1,2], default: 1]
0.00/0.06 c timing/clocktype = 2
0.00/0.06 c
0.00/0.06 c # belongs reading time to solving time?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c timing/reading = TRUE
0.00/0.06 c
0.00/0.06 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06 c constraints/knapsack/disaggregation = FALSE
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/coefdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.06 c heuristics/crossover/freq = -1
0.00/0.06 c
0.00/0.06 c # number of nodes added to the contingent of the total nodes
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.06 c heuristics/crossover/nodesofs = 750
0.00/0.06 c
0.00/0.06 c # number of nodes without incumbent change that heuristic should wait
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.06 c heuristics/crossover/nwaitingnodes = 100
0.00/0.06 c
0.00/0.06 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.06 c # [type: real, range: [0,1], default: 0.1]
0.00/0.06 c heuristics/crossover/nodesquot = 0.15
0.00/0.06 c
0.00/0.06 c # minimum percentage of integer variables that have to be fixed
0.00/0.06 c # [type: real, range: [0,1], default: 0.666]
0.00/0.06 c heuristics/crossover/minfixingrate = 0.5
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/feaspump/freq = -1
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/fracdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/guideddiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/intshifting/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/linesearchdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/objpscostdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.06 c # [type: real, range: [0,1], default: 0.01]
0.00/0.06 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/oneopt/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/pscostdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/rens/freq = -1
0.00/0.06 c
0.00/0.06 c # minimum percentage of integer variables that have to be fixable
0.00/0.06 c # [type: real, range: [0,1], default: 0.5]
0.00/0.06 c heuristics/rens/minfixingrate = 0.3
0.00/0.06 c
0.00/0.06 c # number of nodes added to the contingent of the total nodes
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.06 c heuristics/rens/nodesofs = 2000
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/rootsoldiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.06 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/rounding/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/shiftandpropagate/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/shifting/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/simplerounding/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/subnlp/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/trivial/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/trysol/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/undercover/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/veclendiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/zirounding/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c propagating/probing/maxprerounds = 0
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c separating/cmir/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c separating/flowcover/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/indoneopt/freq = -1
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.06/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.06/0.07 c 0.1s| 1 | 0 | 76 | - |4259k| 0 | 36 | 231 |2443 | 231 |2443 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.18/0.21 c 0.2s| 1 | 0 | 90 | - |4675k| 0 | 39 | 231 |2723 | 231 |2451 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
0.18/0.25 c 0.2s| 1 | 0 | 106 | - |5004k| 0 | 46 | 231 |2723 | 231 |2455 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.18/0.29 c 0.3s| 1 | 0 | 121 | - |5464k| 0 | 46 | 231 |2723 | 231 |2456 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.33 c 0.3s| 1 | 0 | 144 | - |5905k| 0 | 50 | 231 |2723 | 231 |2459 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.49 c 0.5s| 1 | 0 | 161 | - |6376k| 0 | 50 | 231 |2723 | 231 |2460 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.78/0.82 c 0.8s| 1 | 2 | 161 | - |6377k| 0 | 50 | 231 |2723 | 231 |2460 | 17 | 0 | 10 | 0.000000e+00 | -- | Inf
9.28/9.31 c 9.3s| 100 | 15 | 5159 | 50.5 |6530k| 16 | 29 | 231 |2749 | 231 |2454 | 17 | 26 |1534 | 0.000000e+00 | -- | Inf
10.08/10.10 c 10.1s| 200 | 14 | 7583 | 37.3 |6557k| 19 | - | 231 |2814 | 231 |2454 | 17 | 91 |1656 | 0.000000e+00 | -- | Inf
10.58/10.65 c 10.6s| 300 | 16 | 10085 | 33.2 |6589k| 22 | - | 231 |2885 | 231 |2454 | 17 | 162 |1714 | 0.000000e+00 | -- | Inf
10.98/11.03 c 11.0s| 400 | 18 | 12137 | 30.0 |6630k| 22 | - | 231 |2969 | 231 |2454 | 17 | 246 |1743 | 0.000000e+00 | -- | Inf
11.28/11.34 c 11.3s| 500 | 18 | 14236 | 28.2 |6654k| 23 | - | 231 |3041 | 231 |2454 | 17 | 318 |1759 | 0.000000e+00 | -- | Inf
11.58/11.62 c 11.6s| 600 | 16 | 16196 | 26.8 |6673k| 23 | 28 | 231 |3124 | 231 |2454 | 17 | 404 |1769 | 0.000000e+00 | -- | Inf
11.88/11.92 c 11.9s| 700 | 16 | 18480 | 26.2 |6694k| 23 | 25 | 231 |3191 | 231 |2454 | 17 | 476 |1776 | 0.000000e+00 | -- | Inf
12.08/12.19 c 12.2s| 800 | 16 | 20551 | 25.5 |6731k| 23 | 25 | 231 |3269 | 231 |2454 | 17 | 554 |1782 | 0.000000e+00 | -- | Inf
12.38/12.45 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.45 c 12.4s| 900 | 15 | 22397 | 24.7 |6758k| 23 | 40 | 231 |3346 | 231 |2454 | 17 | 632 |1788 | 0.000000e+00 | -- | Inf
12.68/12.70 c 12.7s| 1000 | 13 | 24473 | 24.3 |6780k| 25 | 41 | 231 |3433 | 231 |2454 | 17 | 722 |1789 | 0.000000e+00 | -- | Inf
12.88/12.99 c 13.0s| 1100 | 12 | 26745 | 24.2 |6807k| 25 | - | 231 |3506 | 231 |2454 | 17 | 799 |1792 | 0.000000e+00 | -- | Inf
13.19/13.24 c 13.2s| 1200 | 14 | 28735 | 23.8 |6833k| 25 | 39 | 231 |3572 | 231 |2454 | 17 | 866 |1795 | 0.000000e+00 | -- | Inf
13.48/13.55 c 13.5s| 1300 | 13 | 30973 | 23.7 |6862k| 25 | - | 231 |3651 | 231 |2454 | 17 | 950 |1804 | 0.000000e+00 | -- | Inf
13.78/13.89 c 13.9s| 1400 | 13 | 33138 | 23.6 |6896k| 25 | - | 231 |3735 | 231 |2454 | 17 |1037 |1822 | 0.000000e+00 | -- | Inf
14.08/14.18 c 14.2s| 1500 | 12 | 34917 | 23.2 |6929k| 27 | - | 231 |3825 | 231 |2454 | 17 |1134 |1839 | 0.000000e+00 | -- | Inf
14.48/14.50 c 14.5s| 1600 | 14 | 36975 | 23.0 |6961k| 27 | - | 231 |3906 | 231 |2454 | 17 |1220 |1857 | 0.000000e+00 | -- | Inf
14.77/14.88 c 14.9s| 1700 | 13 | 39364 | 23.1 |6992k| 27 | 35 | 231 |4009 | 231 |2454 | 17 |1327 |1877 | 0.000000e+00 | -- | Inf
15.18/15.24 c 15.2s| 1800 | 11 | 41559 | 23.0 |7028k| 27 | - | 231 |4099 | 231 |2454 | 17 |1423 |1900 | 0.000000e+00 | -- | Inf
15.48/15.54 c 15.5s| 1900 | 13 | 43429 | 22.8 |7060k| 27 | - | 231 |4185 | 231 |2454 | 17 |1514 |1916 | 0.000000e+00 | -- | Inf
15.77/15.86 c 15.9s| 2000 | 12 | 45850 | 22.9 |7086k| 27 | - | 231 |4273 | 231 |2454 | 17 |1607 |1926 | 0.000000e+00 | -- | Inf
16.17/16.20 c 16.2s| 2100 | 16 | 48206 | 22.9 |7121k| 27 | 34 | 231 |4338 | 231 |2454 | 17 |1681 |1942 | 0.000000e+00 | -- | Inf
16.38/16.48 c 16.5s| 2200 | 21 | 50477 | 22.9 |7165k| 27 | 22 | 231 |4419 | 231 |2454 | 17 |1767 |1945 | 0.000000e+00 | -- | Inf
16.58/16.69 c 16.7s| 2300 | 18 | 52137 | 22.6 |7193k| 27 | 38 | 231 |4515 | 231 |2454 | 17 |1870 |1946 | 0.000000e+00 | -- | Inf
16.88/16.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.88/16.96 c 17.0s| 2400 | 24 | 54227 | 22.5 |7240k| 27 | - | 231 |4582 | 231 |2454 | 17 |1946 |1949 | 0.000000e+00 | -- | Inf
17.17/17.22 c 17.2s| 2500 | 22 | 56421 | 22.5 |7264k| 27 | 32 | 231 |4663 | 231 |2454 | 17 |2034 |1949 | 0.000000e+00 | -- | Inf
17.48/17.50 c 17.5s| 2600 | 22 | 58802 | 22.6 |7292k| 27 | - | 231 |4726 | 0 | 0 | 17 |2106 |1950 | 0.000000e+00 | -- | Inf
17.67/17.76 c 17.8s| 2700 | 23 | 60954 | 22.5 |7324k| 29 | 31 | 231 |4809 | 231 |2454 | 17 |2194 |1950 | 0.000000e+00 | -- | Inf
17.98/18.02 c 18.0s| 2800 | 23 | 63184 | 22.5 |7357k| 30 | - | 231 |4874 | 231 |2454 | 17 |2266 |1950 | 0.000000e+00 | -- | Inf
18.18/18.25 c 18.2s| 2900 | 23 | 64891 | 22.3 |7405k| 30 | - | 231 |4963 | 0 | 0 | 17 |2358 |1951 | 0.000000e+00 | -- | Inf
18.48/18.50 c 18.5s| 3000 | 31 | 67016 | 22.3 |7439k| 30 | - | 231 |5027 | 231 |2454 | 17 |2433 |1951 | 0.000000e+00 | -- | Inf
18.68/18.76 c 18.8s| 3100 | 35 | 69248 | 22.3 |7482k| 30 | - | 231 |5091 | 231 |2454 | 17 |2502 |1951 | 0.000000e+00 | -- | Inf
18.98/19.02 c 19.0s| 3200 | 28 | 71329 | 22.2 |7487k| 30 | 45 | 231 |5165 | 231 |2454 | 17 |2586 |1951 | 0.000000e+00 | -- | Inf
19.28/19.37 c 19.4s| 3300 | 30 | 73602 | 22.3 |7521k| 30 | - | 231 |5237 | 231 |2454 | 17 |2668 |1971 | 0.000000e+00 | -- | Inf
19.69/19.73 c 19.7s| 3400 | 29 | 75876 | 22.3 |7553k| 30 | 33 | 231 |5323 | 231 |2454 | 17 |2761 |1990 | 0.000000e+00 | -- | Inf
19.97/20.02 c 20.0s| 3500 | 30 | 77520 | 22.1 |7591k| 33 | 32 | 231 |5418 | 231 |2454 | 17 |2860 |2006 | 0.000000e+00 | -- | Inf
20.18/20.25 c 20.3s| 3600 | 33 | 78888 | 21.9 |7639k| 40 | 26 | 231 |5502 | 231 |2454 | 17 |2954 |2015 | 0.000000e+00 | -- | Inf
20.48/20.53 c 20.5s| 3700 | 30 | 80655 | 21.8 |7664k| 40 | - | 231 |5579 | 231 |2454 | 17 |3037 |2027 | 0.000000e+00 | -- | Inf
20.78/20.81 c 20.8s| 3800 | 33 | 82608 | 21.7 |7708k| 40 | - | 231 |5667 | 231 |2454 | 17 |3130 |2039 | 0.000000e+00 | -- | Inf
21.07/21.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.07/21.15 c 21.2s| 3900 | 33 | 84802 | 21.7 |7739k| 40 | 25 | 231 |5755 | 231 |2454 | 17 |3230 |2057 | 0.000000e+00 | -- | Inf
21.37/21.49 c 21.5s| 4000 | 41 | 86977 | 21.7 |7790k| 40 | 30 | 231 |5835 | 231 |2454 | 17 |3321 |2075 | 0.000000e+00 | -- | Inf
21.77/21.81 c 21.8s| 4100 | 42 | 88977 | 21.7 |7828k| 40 | 30 | 231 |5904 | 231 |2454 | 17 |3405 |2094 | 0.000000e+00 | -- | Inf
22.08/22.12 c 22.1s| 4200 | 38 | 90928 | 21.6 |7858k| 40 | - | 231 |5981 | 231 |2454 | 17 |3492 |2111 | 0.000000e+00 | -- | Inf
22.37/22.44 c 22.4s| 4300 | 33 | 92935 | 21.6 |7878k| 40 | - | 231 |6069 | 231 |2454 | 17 |3585 |2129 | 0.000000e+00 | -- | Inf
22.67/22.77 c 22.8s| 4400 | 30 | 94944 | 21.5 |7897k| 40 | - | 231 |6133 | 231 |2454 | 17 |3654 |2149 | 0.000000e+00 | -- | Inf
22.99/23.04 c 23.0s| 4500 | 34 | 96532 | 21.4 |7932k| 40 | - | 231 |6181 | 231 |2454 | 17 |3708 |2162 | 0.000000e+00 | -- | Inf
23.17/23.29 c 23.3s| 4600 | 33 | 98137 | 21.3 |7954k| 40 | - | 231 |6229 | 0 | 0 | 17 |3777 |2174 | 0.000000e+00 | -- | Inf
23.48/23.57 c 23.6s| 4700 | 33 | 99987 | 21.2 |7961k| 40 | 29 | 231 |6264 | 231 |2454 | 17 |3833 |2186 | 0.000000e+00 | -- | Inf
23.77/23.84 c 23.8s| 4800 | 34 |101985 | 21.2 |7972k| 40 | 23 | 231 |6286 | 231 |2454 | 17 |3886 |2192 | 0.000000e+00 | -- | Inf
23.97/24.09 c 24.1s| 4900 | 34 |103758 | 21.1 |7996k| 40 | 32 | 231 |6328 | 231 |2454 | 17 |3946 |2196 | 0.000000e+00 | -- | Inf
24.27/24.38 c 24.4s| 5000 | 34 |105788 | 21.1 |8025k| 40 | - | 231 |6384 | 231 |2454 | 17 |4033 |2205 | 0.000000e+00 | -- | Inf
24.57/24.65 c 24.6s| 5100 | 34 |107962 | 21.1 |8045k| 40 | 28 | 231 |6440 | 231 |2454 | 17 |4115 |2205 | 0.000000e+00 | -- | Inf
24.87/24.93 c 24.9s| 5200 | 36 |110308 | 21.2 |8081k| 40 | - | 231 |6498 | 231 |2454 | 17 |4192 |2205 | 0.000000e+00 | -- | Inf
25.18/25.22 c 25.2s| 5300 | 39 |112716 | 21.2 |8117k| 40 | - | 231 |6572 | 231 |2454 | 17 |4284 |2205 | 0.000000e+00 | -- | Inf
25.38/25.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.38/25.44 c 25.4s| 5400 | 41 |114459 | 21.2 |8151k| 40 | - | 231 |6628 | 231 |2454 | 17 |4362 |2206 | 0.000000e+00 | -- | Inf
25.68/25.72 c 25.7s| 5500 | 39 |116528 | 21.2 |8180k| 40 | 42 | 231 |6684 | 231 |2454 | 17 |4455 |2208 | 0.000000e+00 | -- | Inf
25.97/26.01 c 26.0s| 5600 | 35 |118856 | 21.2 |8181k| 40 | 47 | 231 |6693 | 231 |2454 | 17 |4532 |2210 | 0.000000e+00 | -- | Inf
26.17/26.25 c 26.3s| 5700 | 37 |120790 | 21.2 |8212k| 40 | - | 231 |6737 | 231 |2454 | 17 |4596 |2210 | 0.000000e+00 | -- | Inf
26.38/26.49 c 26.5s| 5800 | 37 |122644 | 21.1 |8224k| 40 | - | 231 |6765 | 231 |2454 | 17 |4671 |2211 | 0.000000e+00 | -- | Inf
26.67/26.78 c 26.8s| 5900 | 38 |124915 | 21.1 |8229k| 40 | - | 231 |6777 | 231 |2454 | 17 |4729 |2212 | 0.000000e+00 | -- | Inf
26.97/27.05 c 27.1s| 6000 | 42 |127073 | 21.2 |8247k| 40 | 29 | 231 |6801 | 231 |2454 | 17 |4802 |2212 | 0.000000e+00 | -- | Inf
27.28/27.30 c 27.3s| 6100 | 41 |129163 | 21.2 |8271k| 40 | - | 231 |6859 | 231 |2454 | 17 |4885 |2212 | 0.000000e+00 | -- | Inf
27.48/27.60 c 27.6s| 6200 | 42 |130954 | 21.1 |8299k| 40 | - | 231 |6902 | 231 |2454 | 17 |4982 |2226 | 0.000000e+00 | -- | Inf
27.87/27.91 c 27.9s| 6300 | 42 |132935 | 21.1 |8321k| 40 | 40 | 231 |6966 | 231 |2454 | 17 |5082 |2241 | 0.000000e+00 | -- | Inf
28.18/28.21 c 28.2s| 6400 | 40 |134596 | 21.0 |8353k| 40 | - | 231 |7032 | 231 |2454 | 17 |5161 |2258 | 0.000000e+00 | -- | Inf
28.37/28.50 c 28.5s| 6500 | 41 |136329 | 21.0 |8367k| 40 | 43 | 231 |7061 | 231 |2454 | 17 |5241 |2273 | 0.000000e+00 | -- | Inf
28.77/28.85 c 28.8s| 6600 | 47 |138598 | 21.0 |8395k| 40 | 42 | 231 |7090 | 231 |2454 | 17 |5315 |2290 | 0.000000e+00 | -- | Inf
29.07/29.16 c 29.2s| 6700 | 49 |140820 | 21.0 |8422k| 40 | - | 231 |7130 | 231 |2454 | 17 |5387 |2299 | 0.000000e+00 | -- | Inf
29.48/29.53 c 29.5s| 6800 | 53 |143171 | 21.0 |8436k| 40 | 38 | 231 |7135 | 231 |2454 | 17 |5442 |2317 | 0.000000e+00 | -- | Inf
29.87/29.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.87/29.90 c 29.9s| 6900 | 52 |145485 | 21.1 |8447k| 40 | 36 | 231 |7160 | 231 |2454 | 17 |5512 |2337 | 0.000000e+00 | -- | Inf
30.17/30.23 c 30.2s| 7000 | 52 |147611 | 21.1 |8477k| 40 | - | 231 |7212 | 231 |2454 | 17 |5594 |2354 | 0.000000e+00 | -- | Inf
30.47/30.59 c 30.6s| 7100 | 55 |150001 | 21.1 |8501k| 40 | 37 | 231 |7261 | 231 |2454 | 17 |5666 |2369 | 0.000000e+00 | -- | Inf
30.87/30.91 c 30.9s| 7200 | 53 |151887 | 21.1 |8525k| 44 | 39 | 231 |7321 | 231 |2454 | 17 |5735 |2390 | 0.000000e+00 | -- | Inf
31.18/31.22 c 31.2s| 7300 | 51 |153949 | 21.1 |8556k| 49 | - | 231 |7393 | 0 | 0 | 17 |5808 |2402 | 0.000000e+00 | -- | Inf
31.47/31.55 c 31.5s| 7400 | 52 |156054 | 21.1 |8590k| 49 | - | 231 |7454 | 231 |2454 | 17 |5890 |2418 | 0.000000e+00 | -- | Inf
31.78/31.86 c 31.9s| 7500 | 48 |158352 | 21.1 |8602k| 49 | - | 231 |7492 | 231 |2454 | 17 |5967 |2425 | 0.000000e+00 | -- | Inf
32.07/32.11 c 32.1s| 7600 | 46 |160379 | 21.1 |8613k| 49 | 43 | 231 |7529 | 231 |2454 | 17 |6035 |2425 | 0.000000e+00 | -- | Inf
32.28/32.38 c 32.4s| 7700 | 46 |162399 | 21.1 |8626k| 49 | 40 | 231 |7566 | 231 |2454 | 17 |6125 |2431 | 0.000000e+00 | -- | Inf
32.57/32.66 c 32.7s| 7800 | 46 |164574 | 21.1 |8639k| 49 | 30 | 231 |7581 | 231 |2454 | 17 |6201 |2434 | 0.000000e+00 | -- | Inf
32.89/32.93 c 32.9s| 7900 | 44 |166548 | 21.1 |8638k| 49 | - | 231 |7573 | 231 |2454 | 17 |6269 |2439 | 0.000000e+00 | -- | Inf
33.17/33.22 c 33.2s| 8000 | 46 |168716 | 21.1 |8660k| 49 | - | 231 |7614 | 231 |2454 | 17 |6359 |2442 | 0.000000e+00 | -- | Inf
33.47/33.50 c 33.5s| 8100 | 46 |170982 | 21.1 |8664k| 49 | 42 | 231 |7625 | 231 |2454 | 17 |6437 |2444 | 0.000000e+00 | -- | Inf
33.68/33.76 c 33.8s| 8200 | 52 |173059 | 21.1 |8686k| 49 | 31 | 231 |7631 | 231 |2454 | 17 |6502 |2444 | 0.000000e+00 | -- | Inf
33.98/34.04 c 34.0s| 8300 | 50 |175398 | 21.1 |8707k| 49 | - | 231 |7690 | 231 |2454 | 17 |6589 |2444 | 0.000000e+00 | -- | Inf
34.27/34.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.27/34.34 c 34.3s| 8400 | 53 |177982 | 21.2 |8725k| 49 | - | 231 |7716 | 231 |2454 | 17 |6660 |2445 | 0.000000e+00 | -- | Inf
34.47/34.59 c 34.6s| 8500 | 56 |179952 | 21.2 |8746k| 49 | 36 | 231 |7750 | 231 |2454 | 17 |6728 |2445 | 0.000000e+00 | -- | Inf
34.77/34.86 c 34.9s| 8600 | 56 |182295 | 21.2 |8764k| 49 | 35 | 231 |7782 | 231 |2454 | 17 |6791 |2445 | 0.000000e+00 | -- | Inf
35.08/35.14 c 35.1s| 8700 | 62 |184561 | 21.2 |8806k| 49 | - | 231 |7829 | 231 |2454 | 17 |6863 |2445 | 0.000000e+00 | -- | Inf
35.27/35.34 c 35.3s| 8800 | 62 |186148 | 21.1 |8836k| 49 | 25 | 231 |7887 | 231 |2454 | 17 |6935 |2445 | 0.000000e+00 | -- | Inf
35.48/35.53 c 35.5s| 8900 | 64 |187637 | 21.1 |8864k| 49 | 32 | 231 |7955 | 231 |2454 | 17 |7007 |2445 | 0.000000e+00 | -- | Inf
35.77/35.81 c 35.8s| 9000 | 65 |189404 | 21.0 |8896k| 49 | 26 | 231 |8028 | 231 |2454 | 17 |7088 |2458 | 0.000000e+00 | -- | Inf
35.97/36.00 c 36.0s| 9100 | 63 |190880 | 21.0 |8932k| 49 | - | 231 |8109 | 231 |2454 | 17 |7172 |2458 | 0.000000e+00 | -- | Inf
36.28/36.33 c 36.3s| 9200 | 64 |193079 | 21.0 |8960k| 49 | - | 231 |8178 | 231 |2454 | 17 |7242 |2470 | 0.000000e+00 | -- | Inf
36.58/36.65 c 36.7s| 9300 | 66 |195021 | 21.0 |8990k| 49 | 38 | 231 |8239 | 231 |2454 | 17 |7312 |2490 | 0.000000e+00 | -- | Inf
36.87/36.95 c 37.0s| 9400 | 72 |197124 | 21.0 |9044k| 49 | - | 231 |8285 | 0 | 0 | 17 |7380 |2500 | 0.000000e+00 | -- | Inf
37.17/37.24 c 37.2s| 9500 | 73 |198919 | 20.9 |9070k| 49 | - | 231 |8345 | 231 |2454 | 17 |7452 |2514 | 0.000000e+00 | -- | Inf
37.47/37.57 c 37.6s| 9600 | 71 |201005 | 20.9 |9087k| 49 | 32 | 231 |8397 | 231 |2454 | 17 |7514 |2530 | 0.000000e+00 | -- | Inf
37.77/37.81 c 37.8s| 9700 | 71 |202637 | 20.9 |9120k| 49 | - | 231 |8462 | 231 |2454 | 17 |7589 |2538 | 0.000000e+00 | -- | Inf
38.07/38.12 c 38.1s| 9800 | 69 |204570 | 20.9 |9136k| 49 | 34 | 231 |8518 | 231 |2454 | 17 |7669 |2553 | 0.000000e+00 | -- | Inf
38.38/38.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.38/38.41 c 38.4s| 9900 | 68 |206368 | 20.8 |9155k| 49 | 38 | 231 |8561 | 231 |2454 | 17 |7733 |2565 | 0.000000e+00 | -- | Inf
38.67/38.74 c 38.7s| 10000 | 70 |208342 | 20.8 |9186k| 49 | 34 | 231 |8606 | 231 |2454 | 17 |7802 |2582 | 0.000000e+00 | -- | Inf
38.98/39.08 c 39.1s| 10100 | 69 |210573 | 20.8 |9209k| 49 | - | 231 |8646 | 231 |2454 | 17 |7866 |2598 | 0.000000e+00 | -- | Inf
39.37/39.45 c 39.4s| 10200 | 78 |213092 | 20.9 |9251k| 49 | - | 231 |8695 | 231 |2454 | 17 |7932 |2614 | 0.000000e+00 | -- | Inf
39.68/39.77 c 39.8s| 10300 | 77 |214984 | 20.9 |9277k| 49 | - | 231 |8747 | 231 |2454 | 17 |8003 |2632 | 0.000000e+00 | -- | Inf
39.97/40.10 c 40.1s| 10400 | 80 |217099 | 20.9 |9304k| 49 | 26 | 231 |8801 | 231 |2454 | 17 |8070 |2649 | 0.000000e+00 | -- | Inf
40.27/40.39 c 40.4s| 10500 | 80 |219068 | 20.9 |9328k| 49 | 32 | 231 |8857 | 231 |2454 | 17 |8138 |2663 | 0.000000e+00 | -- | Inf
40.68/40.70 c 40.7s| 10600 | 80 |221036 | 20.8 |9359k| 49 | - | 231 |8908 | 231 |2454 | 17 |8216 |2679 | 0.000000e+00 | -- | Inf
40.97/41.02 c 41.0s| 10700 | 81 |223352 | 20.9 |9380k| 49 | 30 | 231 |8961 | 231 |2454 | 17 |8284 |2687 | 0.000000e+00 | -- | Inf
41.28/41.32 c 41.3s| 10800 | 81 |225487 | 20.9 |9410k| 49 | - | 231 |9032 | 231 |2454 | 17 |8368 |2698 | 0.000000e+00 | -- | Inf
41.47/41.59 c 41.6s| 10900 | 77 |227669 | 20.9 |9427k| 49 | - | 231 |9093 | 231 |2454 | 17 |8446 |2700 | 0.000000e+00 | -- | Inf
41.78/41.86 c 41.9s| 11000 | 77 |229650 | 20.9 |9447k| 49 | 29 | 231 |9148 | 231 |2454 | 17 |8515 |2705 | 0.000000e+00 | -- | Inf
42.07/42.16 c 42.2s| 11100 | 83 |231967 | 20.9 |9475k| 49 | 43 | 231 |9181 | 231 |2454 | 17 |8565 |2709 | 0.000000e+00 | -- | Inf
42.37/42.43 c 42.4s| 11200 | 82 |234115 | 20.9 |9509k| 49 | - | 231 |9244 | 231 |2454 | 17 |8662 |2710 | 0.000000e+00 | -- | Inf
42.67/42.72 c 42.7s| 11300 | 86 |236381 | 20.9 |9540k| 49 | - | 231 |9267 | 231 |2454 | 17 |8748 |2711 | 0.000000e+00 | -- | Inf
42.97/43.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.97/43.02 c 43.0s| 11400 | 88 |238721 | 20.9 |9559k| 49 | 34 | 231 |9296 | 231 |2454 | 17 |8818 |2715 | 0.000000e+00 | -- | Inf
43.17/43.23 c 43.2s| 11500 | 84 |240356 | 20.9 |9573k| 49 | - | 231 |9350 | 231 |2454 | 17 |8903 |2715 | 0.000000e+00 | -- | Inf
43.47/43.53 c 43.5s| 11600 | 86 |242742 | 20.9 |9580k| 49 | 36 | 231 |9343 | 231 |2454 | 17 |8971 |2717 | 0.000000e+00 | -- | Inf
43.67/43.79 c 43.8s| 11700 | 83 |244920 | 20.9 |9602k| 49 | - | 231 |9393 | 231 |2454 | 17 |9053 |2717 | 0.000000e+00 | -- | Inf
43.98/44.06 c 44.1s| 11800 | 80 |247095 | 20.9 |9620k| 49 | - | 231 |9442 | 231 |2454 | 17 |9147 |2719 | 0.000000e+00 | -- | Inf
44.28/44.31 c 44.3s| 11900 | 83 |249021 | 20.9 |9640k| 49 | - | 231 |9467 | 231 |2454 | 17 |9214 |2720 | 0.000000e+00 | -- | Inf
44.47/44.50 c 44.5s| 12000 | 85 |250424 | 20.9 |9663k| 49 | 26 | 231 |9510 | 231 |2454 | 17 |9286 |2721 | 0.000000e+00 | -- | Inf
44.67/44.74 c 44.7s| 12100 | 84 |252339 | 20.8 |9678k| 49 | 36 | 231 |9552 | 231 |2454 | 17 |9356 |2722 | 0.000000e+00 | -- | Inf
44.98/45.01 c 45.0s| 12200 | 82 |254528 | 20.9 |9701k| 49 | 39 | 231 |9599 | 231 |2454 | 17 |9435 |2724 | 0.000000e+00 | -- | Inf
45.17/45.29 c 45.3s| 12300 | 81 |256715 | 20.9 |9720k| 49 | - | 231 |9634 | 231 |2454 | 17 |9526 |2725 | 0.000000e+00 | -- | Inf
45.48/45.58 c 45.6s| 12400 | 86 |258971 | 20.9 |9736k| 49 | 35 | 231 |9619 | 231 |2454 | 17 |9598 |2727 | 0.000000e+00 | -- | Inf
45.77/45.86 c 45.9s| 12500 | 84 |261278 | 20.9 |9758k| 49 | - | 231 |9670 | 231 |2454 | 17 |9671 |2727 | 0.000000e+00 | -- | Inf
46.08/46.11 c 46.1s| 12600 | 84 |263243 | 20.9 |9779k| 49 | 34 | 231 |9703 | 231 |2454 | 17 |9748 |2728 | 0.000000e+00 | -- | Inf
46.27/46.34 c 46.3s| 12700 | 82 |265111 | 20.9 |9800k| 49 | - | 231 |9741 | 231 |2454 | 17 |9833 |2729 | 0.000000e+00 | -- | Inf
46.58/46.62 c 46.6s| 12800 | 80 |267358 | 20.9 |9788k| 49 | 42 | 231 |9719 | 231 |2454 | 17 |9907 |2729 | 0.000000e+00 | -- | Inf
46.77/46.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.77/46.88 c 46.9s| 12900 | 83 |269378 | 20.9 |9765k| 49 | 16 | 231 |9597 | 231 |2454 | 17 |9987 |2729 | 0.000000e+00 | -- | Inf
47.07/47.16 c 47.2s| 13000 | 84 |271655 | 20.9 |9762k| 49 | 26 | 231 |9548 | 231 |2454 | 17 | 10k|2729 | 0.000000e+00 | -- | Inf
47.37/47.45 c 47.5s| 13100 | 85 |273910 | 20.9 |9764k| 49 | - | 231 |9534 | 231 |2454 | 17 | 10k|2731 | 0.000000e+00 | -- | Inf
47.57/47.69 c 47.7s| 13200 | 85 |275836 | 20.9 |9787k| 49 | - | 231 |9587 | 231 |2454 | 17 | 10k|2731 | 0.000000e+00 | -- | Inf
47.88/47.96 c 48.0s| 13300 | 85 |278019 | 20.9 |9813k| 49 | - | 231 |9646 | 0 | 0 | 17 | 10k|2732 | 0.000000e+00 | -- | Inf
48.17/48.21 c 48.2s| 13400 | 82 |279923 | 20.9 |9819k| 49 | - | 231 |9669 | 231 |2454 | 17 | 10k|2733 | 0.000000e+00 | -- | Inf
48.38/48.45 c 48.5s| 13500 | 82 |281801 | 20.9 |9827k| 49 | 43 | 231 |9687 | 231 |2454 | 17 | 10k|2733 | 0.000000e+00 | -- | Inf
48.67/48.71 c 48.7s| 13600 | 81 |283699 | 20.8 |9821k| 49 | - | 231 |9619 | 0 | 0 | 17 | 10k|2734 | 0.000000e+00 | -- | Inf
48.87/48.94 c 48.9s| 13700 | 83 |285497 | 20.8 |9793k| 49 | 25 | 231 |9526 | 231 |2454 | 17 | 10k|2734 | 0.000000e+00 | -- | Inf
49.17/49.22 c 49.2s| 13800 | 84 |287633 | 20.8 |9778k| 49 | 33 | 231 |9479 | 231 |2454 | 17 | 10k|2735 | 0.000000e+00 | -- | Inf
49.38/49.46 c 49.5s| 13900 | 78 |289580 | 20.8 |9770k| 49 | - | 231 |9500 | 231 |2454 | 17 | 10k|2735 | 0.000000e+00 | -- | Inf
49.67/49.77 c 49.8s| 14000 | 85 |292065 | 20.9 |9775k| 49 | 32 | 231 |9469 | 231 |2454 | 17 | 10k|2735 | 0.000000e+00 | -- | Inf
49.97/50.01 c 50.0s| 14100 | 83 |294078 | 20.8 |9793k| 49 | - | 231 |9527 | 231 |2454 | 17 | 10k|2735 | 0.000000e+00 | -- | Inf
50.17/50.28 c 50.3s| 14200 | 81 |296275 | 20.9 |9776k| 49 | 42 | 231 |9516 | 231 |2454 | 17 | 11k|2735 | 0.000000e+00 | -- | Inf
50.48/50.52 c 50.5s| 14300 | 83 |298245 | 20.8 |9803k| 49 | 32 | 231 |9572 | 231 |2454 | 17 | 11k|2735 | 0.000000e+00 | -- | Inf
50.67/50.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.67/50.79 c 50.8s| 14400 | 79 |300418 | 20.9 |9819k| 49 | - | 231 |9632 | 231 |2454 | 17 | 11k|2735 | 0.000000e+00 | -- | Inf
50.97/51.05 c 51.0s| 14500 | 77 |302341 | 20.8 |9815k| 49 | 44 | 231 |9643 | 231 |2454 | 17 | 11k|2737 | 0.000000e+00 | -- | Inf
51.27/51.31 c 51.3s| 14600 | 77 |304474 | 20.8 |9826k| 49 | 23 | 231 |9671 | 231 |2454 | 17 | 11k|2737 | 0.000000e+00 | -- | Inf
51.47/51.58 c 51.6s| 14700 | 79 |306685 | 20.9 |9849k| 49 | 34 | 231 |9722 | 231 |2454 | 17 | 11k|2737 | 0.000000e+00 | -- | Inf
51.78/51.81 c 51.8s| 14800 | 75 |308512 | 20.8 |9844k| 49 | - | 231 |9724 | 231 |2454 | 17 | 11k|2737 | 0.000000e+00 | -- | Inf
51.97/52.08 c 52.1s| 14900 | 76 |310725 | 20.8 |9828k| 49 | 30 | 231 |9698 | 231 |2454 | 17 | 11k|2737 | 0.000000e+00 | -- | Inf
52.27/52.31 c 52.3s| 15000 | 78 |312582 | 20.8 |9844k| 49 | 26 | 231 |9709 | 231 |2454 | 17 | 11k|2738 | 0.000000e+00 | -- | Inf
52.57/52.62 c 52.6s| 15100 | 78 |315202 | 20.9 |9838k| 49 | 31 | 231 |9705 | 231 |2454 | 17 | 11k|2739 | 0.000000e+00 | -- | Inf
52.87/52.93 c 52.9s| 15200 | 76 |317889 | 20.9 |9834k| 49 | 31 | 231 |9681 | 231 |2454 | 17 | 11k|2739 | 0.000000e+00 | -- | Inf
53.07/53.17 c 53.2s| 15300 | 74 |319761 | 20.9 |9797k| 49 | 36 | 231 |9565 | 231 |2454 | 17 | 11k|2739 | 0.000000e+00 | -- | Inf
53.37/53.40 c 53.4s| 15400 | 75 |321555 | 20.9 |9774k| 49 | 39 | 231 |9503 | 231 |2454 | 17 | 11k|2739 | 0.000000e+00 | -- | Inf
53.57/53.68 c 53.7s| 15500 | 75 |323787 | 20.9 |9790k| 49 | 33 | 231 |9471 | 231 |2454 | 17 | 11k|2739 | 0.000000e+00 | -- | Inf
53.88/53.93 c 53.9s| 15600 | 73 |325672 | 20.9 |9766k| 49 | 38 | 231 |9424 | 231 |2454 | 17 | 12k|2739 | 0.000000e+00 | -- | Inf
54.17/54.21 c 54.2s| 15700 | 73 |327968 | 20.9 |9775k| 49 | - | 231 |9436 | 231 |2454 | 17 | 12k|2739 | 0.000000e+00 | -- | Inf
54.37/54.47 c 54.5s| 15800 | 74 |330121 | 20.9 |9767k| 52 | 47 | 231 |9416 | 231 |2454 | 17 | 12k|2739 | 0.000000e+00 | -- | Inf
54.67/54.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.67/54.74 c 54.7s| 15900 | 73 |332284 | 20.9 |9766k| 52 | 38 | 231 |9412 | 231 |2454 | 17 | 12k|2739 | 0.000000e+00 | -- | Inf
54.88/54.97 c 55.0s| 16000 | 74 |334010 | 20.9 |9747k| 52 | - | 231 |9330 | 231 |2454 | 17 | 12k|2739 | 0.000000e+00 | -- | Inf
55.17/55.26 c 55.3s| 16100 | 72 |336259 | 20.9 |9713k| 52 | - | 231 |9234 | 231 |2454 | 17 | 12k|2739 | 0.000000e+00 | -- | Inf
55.47/55.51 c 55.5s| 16200 | 73 |338229 | 20.9 |9738k| 52 | - | 231 |9292 | 231 |2454 | 17 | 12k|2739 | 0.000000e+00 | -- | Inf
55.67/55.77 c 55.8s| 16300 | 74 |340359 | 20.9 |9738k| 52 | 32 | 231 |9293 | 231 |2454 | 17 | 12k|2739 | 0.000000e+00 | -- | Inf
55.98/56.02 c 56.0s| 16400 | 75 |342503 | 20.9 |9753k| 52 | 20 | 231 |9321 | 231 |2454 | 17 | 12k|2739 | 0.000000e+00 | -- | Inf
56.17/56.27 c 56.3s| 16500 | 73 |344443 | 20.9 |9766k| 52 | - | 231 |9376 | 231 |2454 | 17 | 12k|2739 | 0.000000e+00 | -- | Inf
56.47/56.56 c 56.6s| 16600 | 73 |346814 | 20.9 |9759k| 52 | - | 231 |9367 | 231 |2454 | 17 | 12k|2739 | 0.000000e+00 | -- | Inf
56.77/56.85 c 56.9s| 16700 | 71 |349291 | 20.9 |9774k| 52 | 42 | 231 |9415 | 231 |2454 | 17 | 12k|2739 | 0.000000e+00 | -- | Inf
57.07/57.13 c 57.1s| 16800 | 71 |351430 | 20.9 |9737k| 52 | - | 231 |9313 | 231 |2454 | 17 | 13k|2739 | 0.000000e+00 | -- | Inf
57.27/57.38 c 57.4s| 16900 | 70 |353303 | 20.9 |9702k| 52 | - | 231 |9237 | 231 |2454 | 17 | 13k|2739 | 0.000000e+00 | -- | Inf
57.57/57.62 c 57.6s| 17000 | 72 |355208 | 20.9 |9687k| 52 | 40 | 231 |9191 | 231 |2454 | 17 | 13k|2739 | 0.000000e+00 | -- | Inf
57.77/57.88 c 57.9s| 17100 | 71 |357195 | 20.9 |9704k| 52 | - | 231 |9232 | 231 |2454 | 17 | 13k|2739 | 0.000000e+00 | -- | Inf
58.07/58.12 c 58.1s| 17200 | 70 |359053 | 20.9 |9728k| 52 | - | 231 |9300 | 231 |2454 | 17 | 13k|2739 | 0.000000e+00 | -- | Inf
58.28/58.38 c 58.4s| 17300 | 69 |361113 | 20.9 |9708k| 52 | 28 | 231 |9245 | 231 |2454 | 17 | 13k|2739 | 0.000000e+00 | -- | Inf
58.57/58.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.57/58.61 c 58.6s| 17400 | 71 |363000 | 20.9 |9728k| 52 | 21 | 231 |9289 | 231 |2454 | 17 | 13k|2739 | 0.000000e+00 | -- | Inf
58.77/58.85 c 58.9s| 17500 | 68 |364987 | 20.8 |9714k| 52 | - | 231 |9250 | 231 |2454 | 17 | 13k|2739 | 0.000000e+00 | -- | Inf
59.07/59.16 c 59.2s| 17600 | 66 |367448 | 20.9 |9699k| 52 | - | 231 |9225 | 231 |2454 | 17 | 13k|2739 | 0.000000e+00 | -- | Inf
59.37/59.44 c 59.4s| 17700 | 65 |369835 | 20.9 |9681k| 52 | - | 231 |9188 | 231 |2454 | 17 | 13k|2739 | 0.000000e+00 | -- | Inf
59.67/59.73 c 59.7s| 17800 | 66 |372191 | 20.9 |9698k| 52 | 31 | 231 |9238 | 231 |2454 | 17 | 13k|2739 | 0.000000e+00 | -- | Inf
59.87/59.99 c 60.0s| 17900 | 63 |374369 | 20.9 |9693k| 52 | - | 231 |9280 | 231 |2454 | 17 | 13k|2739 | 0.000000e+00 | -- | Inf
60.17/60.25 c 60.2s| 18000 | 65 |376448 | 20.9 |9709k| 52 | 27 | 231 |9309 | 231 |2454 | 17 | 13k|2739 | 0.000000e+00 | -- | Inf
60.38/60.49 c 60.5s| 18100 | 65 |378372 | 20.9 |9721k| 52 | 34 | 231 |9336 | 231 |2454 | 17 | 14k|2739 | 0.000000e+00 | -- | Inf
60.67/60.73 c 60.7s| 18200 | 62 |380183 | 20.9 |9706k| 52 | - | 231 |9287 | 231 |2454 | 17 | 14k|2739 | 0.000000e+00 | -- | Inf
60.97/61.02 c 61.0s| 18300 | 61 |382580 | 20.9 |9706k| 52 | - | 231 |9298 | 231 |2454 | 17 | 14k|2739 | 0.000000e+00 | -- | Inf
61.17/61.28 c 61.3s| 18400 | 63 |384733 | 20.9 |9723k| 52 | - | 231 |9322 | 231 |2454 | 17 | 14k|2739 | 0.000000e+00 | -- | Inf
61.47/61.54 c 61.5s| 18500 | 62 |386817 | 20.9 |9698k| 52 | - | 231 |9262 | 231 |2454 | 17 | 14k|2739 | 0.000000e+00 | -- | Inf
61.67/61.79 c 61.8s| 18600 | 64 |388720 | 20.9 |9680k| 52 | 35 | 231 |9182 | 231 |2454 | 17 | 14k|2739 | 0.000000e+00 | -- | Inf
61.97/62.07 c 62.1s| 18700 | 67 |390919 | 20.9 |9669k| 52 | 41 | 231 |9151 | 231 |2454 | 17 | 14k|2739 | 0.000000e+00 | -- | Inf
62.27/62.31 c 62.3s| 18800 | 67 |392785 | 20.9 |9678k| 52 | - | 231 |9170 | 231 |2454 | 17 | 14k|2739 | 0.000000e+00 | -- | Inf
62.46/62.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.46/62.56 c 62.6s| 18900 | 67 |394775 | 20.9 |9700k| 52 | - | 231 |9240 | 231 |2454 | 17 | 14k|2739 | 0.000000e+00 | -- | Inf
62.68/62.78 c 62.8s| 19000 | 69 |396451 | 20.9 |9724k| 52 | 31 | 231 |9303 | 231 |2454 | 17 | 14k|2739 | 0.000000e+00 | -- | Inf
62.97/63.01 c 63.0s| 19100 | 68 |398164 | 20.8 |9741k| 52 | 38 | 231 |9359 | 231 |2454 | 17 | 14k|2739 | 0.000000e+00 | -- | Inf
63.17/63.22 c 63.2s| 19200 | 73 |399750 | 20.8 |9769k| 52 | 33 | 231 |9415 | 231 |2454 | 17 | 14k|2739 | 0.000000e+00 | -- | Inf
63.37/63.46 c 63.5s| 19300 | 67 |401811 | 20.8 |9785k| 52 | - | 231 |9484 | 231 |2454 | 17 | 14k|2739 | 0.000000e+00 | -- | Inf
63.57/63.69 c 63.7s| 19400 | 66 |403659 | 20.8 |9807k| 52 | 33 | 231 |9575 | 231 |2454 | 17 | 15k|2739 | 0.000000e+00 | -- | Inf
63.87/63.90 c 63.9s| 19500 | 66 |405212 | 20.8 |9827k| 52 | 40 | 231 |9650 | 231 |2454 | 17 | 15k|2739 | 0.000000e+00 | -- | Inf
64.07/64.14 c 64.1s| 19600 | 66 |406989 | 20.8 |9853k| 52 | 38 | 231 |9730 | 231 |2454 | 17 | 15k|2739 | 0.000000e+00 | -- | Inf
64.27/64.37 c 64.4s| 19700 | 64 |408819 | 20.7 |9880k| 52 | - | 231 |9810 | 231 |2454 | 17 | 15k|2739 | 0.000000e+00 | -- | Inf
64.47/64.59 c 64.6s| 19800 | 68 |410573 | 20.7 |9911k| 52 | 37 | 231 |9891 | 231 |2454 | 17 | 15k|2739 | 0.000000e+00 | -- | Inf
64.77/64.85 c 64.9s| 19900 | 65 |412720 | 20.7 |9934k| 52 | - | 231 |9975 | 231 |2454 | 17 | 15k|2739 | 0.000000e+00 | -- | Inf
65.07/65.13 c 65.1s| 20000 | 64 |415061 | 20.7 |9956k| 52 | - | 231 | 10k| 231 |2454 | 17 | 15k|2739 | 0.000000e+00 | -- | Inf
65.27/65.36 c 65.4s| 20100 | 65 |416960 | 20.7 |9991k| 52 | - | 231 | 10k| 231 |2454 | 17 | 15k|2739 | 0.000000e+00 | -- | Inf
65.57/65.64 c 65.6s| 20200 | 61 |419220 | 20.7 |9934k| 52 | 45 | 231 | 10k| 231 |2454 | 17 | 15k|2739 | 0.000000e+00 | -- | Inf
65.77/65.87 c 65.9s| 20300 | 63 |421019 | 20.7 |9961k| 52 | - | 231 | 10k| 231 |2454 | 17 | 15k|2739 | 0.000000e+00 | -- | Inf
65.97/66.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.97/66.09 c 66.1s| 20400 | 61 |422543 | 20.7 |9973k| 52 | 33 | 231 | 10k| 231 |2454 | 17 | 15k|2739 | 0.000000e+00 | -- | Inf
66.27/66.33 c 66.3s| 20500 | 61 |424274 | 20.7 |9970k| 52 | 35 | 231 | 10k| 231 |2454 | 17 | 15k|2739 | 0.000000e+00 | -- | Inf
66.57/66.60 c 66.6s| 20600 | 63 |426544 | 20.7 | 10M| 52 | - | 231 | 10k| 231 |2454 | 17 | 16k|2739 | 0.000000e+00 | -- | Inf
66.77/66.84 c 66.8s| 20700 | 62 |428510 | 20.7 | 10M| 52 | - | 231 | 10k| 231 |2454 | 17 | 16k|2739 | 0.000000e+00 | -- | Inf
66.98/67.07 c 67.1s| 20800 | 60 |430326 | 20.7 | 10M| 52 | 30 | 231 | 10k| 231 |2454 | 17 | 16k|2739 | 0.000000e+00 | -- | Inf
67.27/67.31 c 67.3s| 20900 | 60 |432171 | 20.7 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 16k|2739 | 0.000000e+00 | -- | Inf
67.57/67.60 c 67.6s| 21000 | 62 |434469 | 20.7 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 16k|2739 | 0.000000e+00 | -- | Inf
67.77/67.89 c 67.9s| 21100 | 57 |436868 | 20.7 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 16k|2739 | 0.000000e+00 | -- | Inf
68.08/68.12 c 68.1s| 21200 | 60 |438761 | 20.7 | 10M| 54 | 27 | 231 | 10k| 231 |2454 | 17 | 16k|2739 | 0.000000e+00 | -- | Inf
68.27/68.35 c 68.3s| 21300 | 59 |440590 | 20.7 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 16k|2739 | 0.000000e+00 | -- | Inf
68.47/68.59 c 68.6s| 21400 | 58 |442675 | 20.7 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 16k|2739 | 0.000000e+00 | -- | Inf
68.77/68.82 c 68.8s| 21500 | 58 |444533 | 20.7 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 16k|2739 | 0.000000e+00 | -- | Inf
69.06/69.10 c 69.1s| 21600 | 60 |446876 | 20.7 | 10M| 54 | 29 | 231 | 10k| 231 |2454 | 17 | 16k|2739 | 0.000000e+00 | -- | Inf
69.37/69.41 c 69.4s| 21700 | 58 |449511 | 20.7 | 10M| 54 | 46 | 231 | 10k| 231 |2454 | 17 | 16k|2739 | 0.000000e+00 | -- | Inf
69.66/69.71 c 69.7s| 21800 | 57 |452056 | 20.7 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 16k|2739 | 0.000000e+00 | -- | Inf
69.87/69.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.87/69.97 c 70.0s| 21900 | 57 |454145 | 20.7 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 17k|2739 | 0.000000e+00 | -- | Inf
70.17/70.24 c 70.2s| 22000 | 57 |456321 | 20.7 | 10M| 54 | 33 | 231 | 10k| 231 |2454 | 17 | 17k|2739 | 0.000000e+00 | -- | Inf
70.37/70.47 c 70.5s| 22100 | 57 |458220 | 20.7 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 17k|2739 | 0.000000e+00 | -- | Inf
70.67/70.74 c 70.7s| 22200 | 56 |460441 | 20.7 | 10M| 54 | 20 | 231 | 10k| 231 |2454 | 17 | 17k|2739 | 0.000000e+00 | -- | Inf
70.96/71.00 c 71.0s| 22300 | 54 |462359 | 20.7 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 17k|2739 | 0.000000e+00 | -- | Inf
71.17/71.27 c 71.3s| 22400 | 52 |464527 | 20.7 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 17k|2739 | 0.000000e+00 | -- | Inf
71.47/71.53 c 71.5s| 22500 | 52 |466497 | 20.7 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 17k|2739 | 0.000000e+00 | -- | Inf
71.77/71.85 c 71.9s| 22600 | 53 |468635 | 20.7 | 10M| 54 | 42 | 231 | 10k| 231 |2454 | 17 | 17k|2750 | 0.000000e+00 | -- | Inf
72.07/72.11 c 72.1s| 22700 | 54 |470560 | 20.7 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 17k|2755 | 0.000000e+00 | -- | Inf
72.37/72.41 c 72.4s| 22800 | 52 |472492 | 20.7 | 10M| 54 | 38 | 231 | 10k| 231 |2454 | 17 | 17k|2768 | 0.000000e+00 | -- | Inf
72.67/72.70 c 72.7s| 22900 | 52 |474389 | 20.7 | 10M| 54 | 38 | 231 | 10k| 231 |2454 | 17 | 17k|2781 | 0.000000e+00 | -- | Inf
72.96/73.01 c 73.0s| 23000 | 52 |476494 | 20.7 | 10M| 54 | 36 | 231 | 10k| 231 |2454 | 17 | 17k|2794 | 0.000000e+00 | -- | Inf
73.27/73.35 c 73.3s| 23100 | 52 |478735 | 20.7 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 17k|2806 | 0.000000e+00 | -- | Inf
73.68/73.70 c 73.7s| 23200 | 52 |481014 | 20.7 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 17k|2820 | 0.000000e+00 | -- | Inf
73.97/74.04 c 74.0s| 23300 | 52 |483184 | 20.7 | 10M| 54 | 39 | 231 | 10k| 231 |2454 | 17 | 18k|2835 | 0.000000e+00 | -- | Inf
74.37/74.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
74.37/74.44 c 74.4s| 23400 | 49 |485748 | 20.8 | 10M| 54 | 24 | 231 | 10k| 231 |2454 | 17 | 18k|2856 | 0.000000e+00 | -- | Inf
74.67/74.77 c 74.8s| 23500 | 45 |487800 | 20.8 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 18k|2870 | 0.000000e+00 | -- | Inf
74.96/75.07 c 75.1s| 23600 | 44 |489841 | 20.8 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 18k|2878 | 0.000000e+00 | -- | Inf
75.37/75.45 c 75.4s| 23700 | 39 |492370 | 20.8 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 18k|2893 | 0.000000e+00 | -- | Inf
75.66/75.76 c 75.8s| 23800 | 41 |494432 | 20.8 | 10M| 54 | 28 | 231 | 10k| 231 |2454 | 17 | 18k|2903 | 0.000000e+00 | -- | Inf
75.97/76.08 c 76.1s| 23900 | 39 |496383 | 20.8 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 18k|2919 | 0.000000e+00 | -- | Inf
76.27/76.39 c 76.4s| 24000 | 40 |498338 | 20.8 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 18k|2933 | 0.000000e+00 | -- | Inf
76.67/76.74 c 76.7s| 24100 | 40 |500636 | 20.8 | 10M| 54 | 40 | 231 | 10k| 231 |2454 | 17 | 18k|2948 | 0.000000e+00 | -- | Inf
76.98/77.07 c 77.1s| 24200 | 38 |502846 | 20.8 | 10M| 54 | 41 | 231 | 10k| 231 |2454 | 17 | 18k|2964 | 0.000000e+00 | -- | Inf
77.27/77.38 c 77.4s| 24300 | 39 |505023 | 20.8 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 18k|2977 | 0.000000e+00 | -- | Inf
77.67/77.73 c 77.7s| 24400 | 38 |507485 | 20.8 | 10M| 54 | 37 | 231 | 10k| 231 |2454 | 17 | 18k|2988 | 0.000000e+00 | -- | Inf
77.97/78.03 c 78.0s| 24500 | 36 |509502 | 20.8 | 10M| 54 | 30 | 231 | 10k| 231 |2454 | 17 | 18k|2998 | 0.000000e+00 | -- | Inf
78.27/78.31 c 78.3s| 24600 | 34 |511524 | 20.8 | 10M| 54 | 39 | 231 | 10k| 231 |2454 | 17 | 19k|3005 | 0.000000e+00 | -- | Inf
78.56/78.67 c 78.7s| 24700 | 34 |513843 | 20.8 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 19k|3019 | 0.000000e+00 | -- | Inf
78.87/78.97 c 79.0s| 24800 | 32 |516292 | 20.8 | 10M| 54 | 33 | 231 | 10k| 231 |2454 | 17 | 19k|3022 | 0.000000e+00 | -- | Inf
79.17/79.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.17/79.28 c 79.3s| 24900 | 30 |518772 | 20.8 | 10M| 54 | 35 | 231 | 10k| 231 |2454 | 17 | 19k|3023 | 0.000000e+00 | -- | Inf
79.47/79.56 c 79.6s| 25000 | 28 |521056 | 20.8 |9997k| 54 | 33 | 231 | 10k| 231 |2454 | 17 | 19k|3023 | 0.000000e+00 | -- | Inf
79.77/79.80 c 79.8s| 25100 | 28 |522968 | 20.8 |9981k| 54 | 36 | 231 | 10k| 231 |2454 | 17 | 19k|3024 | 0.000000e+00 | -- | Inf
79.96/80.07 c 80.1s| 25200 | 24 |525064 | 20.8 |9989k| 54 | - | 231 | 10k| 231 |2454 | 17 | 19k|3025 | 0.000000e+00 | -- | Inf
80.28/80.37 c 80.4s| 25300 | 25 |527651 | 20.9 |9994k| 54 | 42 | 231 | 10k| 231 |2454 | 17 | 19k|3026 | 0.000000e+00 | -- | Inf
80.57/80.65 c 80.6s| 25400 | 25 |529869 | 20.9 | 10M| 54 | 41 | 231 | 10k| 231 |2454 | 17 | 19k|3027 | 0.000000e+00 | -- | Inf
80.76/80.89 c 80.9s| 25500 | 23 |531742 | 20.8 | 10M| 54 | 34 | 231 | 10k| 231 |2454 | 17 | 19k|3029 | 0.000000e+00 | -- | Inf
81.06/81.16 c 81.2s| 25600 | 21 |533962 | 20.9 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 19k|3029 | 0.000000e+00 | -- | Inf
81.37/81.45 c 81.5s| 25700 | 23 |536340 | 20.9 | 10M| 54 | 48 | 231 | 10k| 231 |2454 | 17 | 19k|3032 | 0.000000e+00 | -- | Inf
81.66/81.71 c 81.7s| 25800 | 19 |538404 | 20.9 | 10M| 54 | 38 | 231 | 10k| 231 |2454 | 17 | 19k|3033 | 0.000000e+00 | -- | Inf
81.96/82.01 c 82.0s| 25900 | 19 |540769 | 20.9 | 10M| 54 | 41 | 231 | 10k| 231 |2454 | 17 | 20k|3035 | 0.000000e+00 | -- | Inf
82.16/82.28 c 82.3s| 26000 | 19 |543041 | 20.9 | 10M| 54 | 25 | 231 | 10k| 231 |2454 | 17 | 20k|3036 | 0.000000e+00 | -- | Inf
82.47/82.55 c 82.5s| 26100 | 17 |545213 | 20.9 | 10M| 54 | 36 | 231 | 10k| 231 |2454 | 17 | 20k|3036 | 0.000000e+00 | -- | Inf
82.76/82.81 c 82.8s| 26200 | 15 |547316 | 20.9 |9995k| 54 | - | 231 | 10k| 231 |2454 | 17 | 20k|3036 | 0.000000e+00 | -- | Inf
83.07/83.13 c 83.1s| 26300 | 14 |549571 | 20.9 |9980k| 54 | - | 231 | 10k| 231 |2454 | 17 | 20k|3043 | 0.000000e+00 | -- | Inf
83.36/83.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
83.36/83.47 c 83.5s| 26400 | 14 |551798 | 20.9 |9984k| 54 | 31 | 231 | 10k| 231 |2454 | 17 | 20k|3058 | 0.000000e+00 | -- | Inf
83.77/83.80 c 83.8s| 26500 | 12 |554077 | 20.9 |9994k| 54 | - | 231 | 10k| 231 |2454 | 17 | 20k|3069 | 0.000000e+00 | -- | Inf
84.07/84.13 c 84.1s| 26600 | 10 |556156 | 20.9 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 20k|3081 | 0.000000e+00 | -- | Inf
84.37/84.42 c 84.4s| 26700 | 12 |558198 | 20.9 |9978k| 54 | 35 | 231 | 10k| 231 |2454 | 17 | 20k|3088 | 0.000000e+00 | -- | Inf
84.67/84.73 c 84.7s| 26800 | 13 |560143 | 20.9 |9956k| 54 | 38 | 231 | 10k| 231 |2454 | 17 | 20k|3100 | 0.000000e+00 | -- | Inf
84.97/85.02 c 85.0s| 26900 | 13 |562187 | 20.9 |9901k| 54 | - | 231 | 10k| 231 |2454 | 17 | 20k|3105 | 0.000000e+00 | -- | Inf
85.27/85.35 c 85.3s| 27000 | 10 |564350 | 20.9 |9875k| 54 | - | 231 | 10k| 231 |2454 | 17 | 20k|3115 | 0.000000e+00 | -- | Inf
85.56/85.70 c 85.7s| 27100 | 13 |566713 | 20.9 |9867k| 54 | 21 | 231 | 10k| 231 |2454 | 17 | 21k|3129 | 0.000000e+00 | -- | Inf
85.97/86.02 c 86.0s| 27200 | 10 |568839 | 20.9 |9849k| 54 | 41 | 231 | 10k| 231 |2454 | 17 | 21k|3141 | 0.000000e+00 | -- | Inf
86.17/86.29 c 86.3s| 27300 | 12 |570606 | 20.9 |9888k| 54 | 28 | 231 | 10k| 231 |2454 | 17 | 21k|3153 | 0.000000e+00 | -- | Inf
86.47/86.53 c 86.5s| 27400 | 9 |572294 | 20.9 |9911k| 54 | - | 231 | 10k| 231 |2454 | 17 | 21k|3162 | 0.000000e+00 | -- | Inf
86.77/86.83 c 86.8s| 27500 | 10 |574216 | 20.9 |9922k| 54 | 36 | 231 | 10k| 231 |2454 | 17 | 21k|3179 | 0.000000e+00 | -- | Inf
87.07/87.14 c 87.1s| 27600 | 13 |576357 | 20.9 |9942k| 54 | - | 231 | 10k| 231 |2454 | 17 | 21k|3191 | 0.000000e+00 | -- | Inf
87.36/87.46 c 87.5s| 27700 | 15 |578369 | 20.9 |9955k| 54 | 19 | 231 | 10k| 231 |2454 | 17 | 21k|3206 | 0.000000e+00 | -- | Inf
87.66/87.77 c 87.8s| 27800 | 9 |580534 | 20.9 |9957k| 54 | 43 | 231 | 10k| 231 |2454 | 17 | 21k|3218 | 0.000000e+00 | -- | Inf
88.07/88.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
88.07/88.11 c 88.1s| 27900 | 8 |582815 | 20.9 |9978k| 54 | - | 231 | 10k| 231 |2454 | 17 | 21k|3232 | 0.000000e+00 | -- | Inf
88.36/88.42 c 88.4s| 28000 | 6 |584897 | 20.9 |9992k| 54 | - | 231 | 10k| 0 | 0 | 17 | 21k|3244 | 0.000000e+00 | -- | Inf
88.66/88.75 c 88.7s| 28100 | 6 |587163 | 20.9 |9985k| 54 | - | 231 | 10k| 231 |2454 | 17 | 21k|3255 | 0.000000e+00 | -- | Inf
88.98/89.07 c 89.1s| 28200 | 4 |589343 | 20.9 | 10M| 54 | - | 231 | 10k| 231 |2454 | 17 | 21k|3268 | 0.000000e+00 | -- | Inf
89.36/89.40 c 89.4s| 28300 | 2 |591768 | 20.9 |9972k| 54 | - | 231 | 10k| 231 |2454 | 17 | 21k|3277 | 0.000000e+00 | -- | Inf
89.36/89.42 c
89.36/89.42 c SCIP Status : problem is solved [infeasible]
89.36/89.42 c Solving Time (sec) : 89.42
89.36/89.42 c Solving Nodes : 28306
89.36/89.42 c Primal Bound : +1.00000000000000e+20 (0 solutions)
89.36/89.42 c Dual Bound : +1.00000000000000e+20
89.36/89.42 c Gap : 0.00 %
89.36/89.42 s UNSATISFIABLE
89.36/89.42 c SCIP Status : problem is solved [infeasible]
89.36/89.42 c Total Time : 89.42
89.36/89.42 c solving : 89.42
89.36/89.42 c presolving : 0.05 (included in solving)
89.36/89.42 c reading : 0.01 (included in solving)
89.36/89.42 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
89.36/89.42 c Original Problem :
89.36/89.42 c Problem name : HOME/instance-3691581-1338021856.opb
89.36/89.42 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
89.36/89.42 c Constraints : 2707 initial, 2707 maximal
89.36/89.42 c Objective sense : minimize
89.36/89.42 c Presolved Problem :
89.36/89.42 c Problem name : t_HOME/instance-3691581-1338021856.opb
89.36/89.42 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
89.36/89.42 c Constraints : 2443 initial, 10874 maximal
89.36/89.42 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
89.36/89.42 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
89.36/89.42 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
89.36/89.42 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
89.36/89.42 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
89.36/89.42 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
89.36/89.42 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
89.36/89.42 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
89.36/89.42 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
89.36/89.42 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
89.36/89.42 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
89.36/89.42 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
89.36/89.42 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0
89.36/89.42 c setppc : 0.00 0.00 0 0 0 0 0 121 0 0 0
89.36/89.42 c linear : 0.02 0.00 0 0 0 0 0 143 0 0 0
89.36/89.42 c logicor : 0.02 0.00 0 0 0 0 0 0 0 0 0
89.36/89.42 c root node : - - 22 - - 22 - - - - -
89.36/89.42 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
89.36/89.42 c integral : 0 0 0 0 15055 0 1 0 67 1451 0 0 28574
89.36/89.42 c knapsack : 1 1 5 114262 0 0 0 13203 188 74235 0 0 0
89.36/89.42 c setppc : 22 22 5 114211 0 0 0 254052 889 166017 0 0 0
89.36/89.42 c linear : 0+ 280 5 108610 0 0 0 591 4 7005 1 0 0
89.36/89.42 c logicor : 2420+ 10820 5 53716 0 0 0 111666 234 177438 0 0 0
89.36/89.42 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
89.36/89.42 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
89.36/89.42 c integral : 15.63 0.00 0.00 0.00 15.63 0.00 0.00 0.00
89.36/89.42 c knapsack : 0.16 0.00 0.00 0.15 0.00 0.00 0.00 0.01
89.36/89.42 c setppc : 0.53 0.00 0.00 0.45 0.00 0.00 0.00 0.08
89.36/89.42 c linear : 0.23 0.00 0.00 0.23 0.00 0.00 0.00 0.00
89.36/89.42 c logicor : 2.07 0.00 0.00 1.98 0.00 0.00 0.00 0.09
89.36/89.42 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
89.36/89.42 c Propagators : #Propagate #ResProp Cutoffs DomReds
89.36/89.42 c rootredcost : 0 0 0 0
89.36/89.42 c pseudoobj : 0 0 0 0
89.36/89.42 c vbounds : 0 0 0 0
89.36/89.42 c redcost : 15060 0 0 0
89.36/89.42 c probing : 0 0 0 0
89.36/89.42 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
89.36/89.42 c rootredcost : 0.03 0.00 0.00 0.03 0.00
89.36/89.42 c pseudoobj : 0.03 0.00 0.00 0.03 0.00
89.36/89.42 c vbounds : 0.03 0.00 0.00 0.03 0.00
89.36/89.42 c redcost : 0.07 0.00 0.00 0.07 0.00
89.36/89.42 c probing : 0.00 0.00 0.00 0.00 0.00
89.36/89.42 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
89.36/89.42 c propagation : 0.05 1315 1313 6208 19.6 24 21.4 -
89.36/89.42 c infeasible LP : 1.06 12902 12864 71486 28.5 68 17.7 0
89.36/89.42 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
89.36/89.42 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
89.36/89.42 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
89.36/89.42 c applied globally : - - - 21413 19.1 - - -
89.36/89.42 c applied locally : - - - 593 34.0 - - -
89.36/89.42 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
89.36/89.42 c cut pool : 0.00 4 - - 235 - (maximal pool size: 535)
89.36/89.42 c closecuts : 0.00 0.00 0 0 0 0 0
89.36/89.42 c impliedbounds : 0.00 0.00 5 0 0 0 0
89.36/89.42 c intobj : 0.00 0.00 0 0 0 0 0
89.36/89.42 c gomory : 0.11 0.00 5 0 0 200 0
89.36/89.42 c cgmip : 0.00 0.00 0 0 0 0 0
89.36/89.42 c strongcg : 0.18 0.00 5 0 0 2500 0
89.36/89.42 c cmir : 0.00 0.00 0 0 0 0 0
89.36/89.42 c flowcover : 0.00 0.00 0 0 0 0 0
89.36/89.42 c clique : 0.00 0.00 5 0 0 0 0
89.36/89.42 c zerohalf : 0.00 0.00 0 0 0 0 0
89.36/89.42 c mcf : 0.00 0.00 1 0 0 0 0
89.36/89.42 c oddcycle : 0.00 0.00 0 0 0 0 0
89.36/89.42 c rapidlearning : 0.11 0.00 1 0 0 0 280
89.36/89.42 c Pricers : ExecTime SetupTime Calls Vars
89.36/89.42 c problem variables: 0.00 - 0 0
89.36/89.42 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
89.36/89.42 c relpscost : 15.62 0.00 15055 67 1451 0 0 28574
89.36/89.42 c pscost : 0.00 0.00 0 0 0 0 0 0
89.36/89.42 c inference : 0.00 0.00 0 0 0 0 0 0
89.36/89.42 c mostinf : 0.00 0.00 0 0 0 0 0 0
89.36/89.42 c leastinf : 0.00 0.00 0 0 0 0 0 0
89.36/89.42 c fullstrong : 0.00 0.00 0 0 0 0 0 0
89.36/89.42 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
89.36/89.42 c random : 0.00 0.00 0 0 0 0 0 0
89.36/89.42 c Primal Heuristics : ExecTime SetupTime Calls Found
89.36/89.42 c LP solutions : 0.00 - - 0
89.36/89.42 c pseudo solutions : 0.00 - - 0
89.36/89.42 c smallcard : 0.00 0.00 0 0
89.36/89.42 c trivial : 0.00 0.00 1 0
89.36/89.42 c shiftandpropagate: 0.00 0.00 0 0
89.36/89.42 c simplerounding : 0.00 0.00 0 0
89.36/89.42 c zirounding : 0.00 0.00 0 0
89.36/89.42 c rounding : 0.00 0.00 0 0
89.36/89.42 c shifting : 0.00 0.00 0 0
89.36/89.42 c intshifting : 0.00 0.00 0 0
89.36/89.42 c oneopt : 0.00 0.00 0 0
89.36/89.42 c twoopt : 0.00 0.00 0 0
89.36/89.42 c indtwoopt : 0.00 0.00 0 0
89.36/89.42 c indoneopt : 0.00 0.00 0 0
89.36/89.42 c fixandinfer : 0.00 0.00 0 0
89.36/89.42 c feaspump : 0.00 0.00 0 0
89.36/89.42 c clique : 0.00 0.00 0 0
89.36/89.42 c indrounding : 0.00 0.00 0 0
89.36/89.42 c indcoefdiving : 0.00 0.00 0 0
89.36/89.42 c coefdiving : 0.00 0.00 0 0
89.36/89.42 c pscostdiving : 0.00 0.00 0 0
89.36/89.42 c nlpdiving : 0.00 0.00 0 0
89.36/89.42 c fracdiving : 0.00 0.00 0 0
89.36/89.42 c veclendiving : 0.00 0.00 0 0
89.36/89.42 c intdiving : 0.00 0.00 0 0
89.36/89.42 c actconsdiving : 0.00 0.00 0 0
89.36/89.42 c objpscostdiving : 0.00 0.00 0 0
89.36/89.42 c rootsoldiving : 0.00 0.00 0 0
89.36/89.42 c linesearchdiving : 0.00 0.00 0 0
89.36/89.42 c guideddiving : 0.00 0.00 0 0
89.36/89.42 c octane : 0.00 0.00 0 0
89.36/89.42 c rens : 0.00 0.00 0 0
89.36/89.42 c rins : 0.00 0.00 0 0
89.36/89.42 c localbranching : 0.00 0.00 0 0
89.36/89.42 c mutation : 0.00 0.00 0 0
89.36/89.42 c crossover : 0.00 0.00 0 0
89.36/89.42 c dins : 0.00 0.00 0 0
89.36/89.42 c vbounds : 0.00 0.00 0 0
89.36/89.42 c undercover : 0.00 0.00 0 0
89.36/89.42 c subnlp : 0.00 0.00 0 0
89.36/89.42 c trysol : 0.00 0.00 0 0
89.36/89.42 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
89.36/89.42 c primal LP : 0.00 1 0 0.00 - 0.00 1
89.36/89.42 c dual LP : 62.26 27962 591950 21.23 9507.51 0.03 74
89.36/89.42 c lex dual LP : 0.00 0 0 0.00 -
89.36/89.42 c barrier LP : 0.00 0 0 0.00 - 0.00 0
89.36/89.42 c diving/probing LP: 0.00 0 0 0.00 -
89.36/89.42 c strong branching : 15.35 3277 137701 42.02 8970.28
89.36/89.42 c (at root node) : - 10 3373 337.30 -
89.36/89.42 c conflict analysis: 0.00 0 0 0.00 -
89.36/89.42 c B&B Tree :
89.36/89.42 c number of runs : 1
89.36/89.42 c nodes : 28306
89.36/89.42 c nodes (total) : 28306
89.36/89.42 c nodes left : 0
89.36/89.42 c max depth : 54
89.36/89.42 c max depth (total): 54
89.36/89.42 c backtracks : 3343 (11.8%)
89.36/89.42 c delayed cutoffs : 269
89.36/89.42 c repropagations : 48792 (69234 domain reductions, 268 cutoffs)
89.36/89.42 c avg switch length: 5.15
89.36/89.42 c switching time : 2.47
89.36/89.42 c Solution :
89.36/89.42 c Solutions found : 0 (0 improvements)
89.36/89.42 c Primal Bound : infeasible
89.36/89.42 c Dual Bound : -
89.36/89.42 c Gap : 0.00 %
89.36/89.42 c Root Dual Bound : +0.00000000000000e+00
89.36/89.42 c Root Iterations : 161
89.36/89.44 c Time complete: 89.42.
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-3691581-1338021856/watcher-3691581-1338021856 -o /tmp/evaluation-result-3691581-1338021856/solver-3691581-1338021856 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691581-1338021856.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 2926
/proc/meminfo: memFree=29502444/32873852 swapFree=7616/7616
[pid=2926] ppid=2924 vsize=12028 CPUtime=0 cores=1,3,5,7
/proc/2926/stat : 2926 (scip-2.1.1.4exp) R 2924 2926 403 0 -1 4202496 1732 0 0 0 0 0 0 0 20 0 1 0 268311108 12316672 1686 33554432000 4194304 10219143 140734275579600 140734275578504 8891101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2926/statm: 3007 1692 398 1471 0 1527 0
[startup+0.0755329 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 2926
/proc/meminfo: memFree=29502444/32873852 swapFree=7616/7616
[pid=2926] ppid=2924 vsize=29860 CPUtime=0.06 cores=1,3,5,7
/proc/2926/stat : 2926 (scip-2.1.1.4exp) R 2924 2926 403 0 -1 4202496 6527 0 0 0 5 1 0 0 20 0 1 0 268311108 30576640 6181 33554432000 4194304 10219143 140734275579600 140734275578504 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2926/statm: 7465 6181 734 1471 0 5985 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 29860
[startup+0.100277 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 2926
/proc/meminfo: memFree=29502444/32873852 swapFree=7616/7616
[pid=2926] ppid=2924 vsize=30608 CPUtime=0.09 cores=1,3,5,7
/proc/2926/stat : 2926 (scip-2.1.1.4exp) R 2924 2926 403 0 -1 4202496 6800 0 0 0 8 1 0 0 20 0 1 0 268311108 31342592 6452 33554432000 4194304 10219143 140734275579600 140734275578504 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2926/statm: 7652 6452 761 1471 0 6172 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30608
[startup+0.300281 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 2926
/proc/meminfo: memFree=29502444/32873852 swapFree=7616/7616
[pid=2926] ppid=2924 vsize=48412 CPUtime=0.29 cores=1,3,5,7
/proc/2926/stat : 2926 (scip-2.1.1.4exp) R 2924 2926 403 0 -1 4202496 11682 0 0 0 26 3 0 0 20 0 1 0 268311108 49573888 10626 33554432000 4194304 10219143 140734275579600 140734275578504 7701855 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2926/statm: 12103 10626 814 1471 0 10623 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48412
[startup+0.70023 s]
/proc/loadavg: 2.02 2.01 2.00 3/174 2926
/proc/meminfo: memFree=29502444/32873852 swapFree=7616/7616
[pid=2926] ppid=2924 vsize=48580 CPUtime=0.69 cores=1,3,5,7
/proc/2926/stat : 2926 (scip-2.1.1.4exp) R 2924 2926 403 0 -1 4202496 11803 0 0 0 66 3 0 0 20 0 1 0 268311108 49745920 10746 33554432000 4194304 10219143 140734275579600 140734275573048 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2926/statm: 12145 10746 817 1471 0 10665 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48580
[startup+1.50023 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 2927
/proc/meminfo: memFree=29462748/32873852 swapFree=7616/7616
[pid=2926] ppid=2924 vsize=48580 CPUtime=1.49 cores=1,3,5,7
/proc/2926/stat : 2926 (scip-2.1.1.4exp) R 2924 2926 403 0 -1 4202496 11809 0 0 0 144 5 0 0 20 0 1 0 268311108 49745920 10752 33554432000 4194304 10219143 140734275579600 140734275573048 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2926/statm: 12145 10752 823 1471 0 10665 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48580
[startup+3.10023 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 2927
/proc/meminfo: memFree=29462376/32873852 swapFree=7616/7616
[pid=2926] ppid=2924 vsize=48580 CPUtime=3.08 cores=1,3,5,7
/proc/2926/stat : 2926 (scip-2.1.1.4exp) R 2924 2926 403 0 -1 4202496 11809 0 0 0 302 6 0 0 20 0 1 0 268311108 49745920 10752 33554432000 4194304 10219143 140734275579600 140734275572728 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2926/statm: 12145 10752 823 1471 0 10665 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 48580
[startup+6.30026 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 2927
/proc/meminfo: memFree=29461616/32873852 swapFree=7616/7616
[pid=2926] ppid=2924 vsize=48580 CPUtime=6.28 cores=1,3,5,7
/proc/2926/stat : 2926 (scip-2.1.1.4exp) R 2924 2926 403 0 -1 4202496 11816 0 0 0 619 9 0 0 20 0 1 0 268311108 49745920 10903 33554432000 4194304 10219143 140734275579600 140734275573432 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2926/statm: 12145 10903 823 1471 0 10665 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 48580
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 2927
/proc/meminfo: memFree=29461632/32873852 swapFree=7616/7616
[pid=2926] ppid=2924 vsize=48580 CPUtime=12.68 cores=1,3,5,7
/proc/2926/stat : 2926 (scip-2.1.1.4exp) R 2924 2926 403 0 -1 4202496 11817 0 0 0 1251 17 0 0 20 0 1 0 268311108 49745920 10904 33554432000 4194304 10219143 140734275579600 140734275572856 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2926/statm: 12145 10904 824 1471 0 10665 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 48580
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 2927
/proc/meminfo: memFree=29460996/32873852 swapFree=7616/7616
[pid=2926] ppid=2924 vsize=48580 CPUtime=25.47 cores=1,3,5,7
/proc/2926/stat : 2926 (scip-2.1.1.4exp) R 2924 2926 403 0 -1 4202496 11819 0 0 0 2507 40 0 0 20 0 1 0 268311108 49745920 11159 33554432000 4194304 10219143 140734275579600 140734275572904 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2926/statm: 12145 11159 824 1471 0 10665 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 48580
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 2927
/proc/meminfo: memFree=29461244/32873852 swapFree=7616/7616
[pid=2926] ppid=2924 vsize=48580 CPUtime=51.07 cores=1,3,5,7
/proc/2926/stat : 2926 (scip-2.1.1.4exp) R 2924 2926 403 0 -1 4202496 11819 0 0 0 5028 79 0 0 20 0 1 0 268311108 49745920 11159 33554432000 4194304 10219143 140734275579600 140734275573320 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2926/statm: 12145 11159 824 1471 0 10665 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 48580
Solver just ended. Dumping a history of the last processes samples
[startup+76.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 2927
/proc/meminfo: memFree=29461244/32873852 swapFree=7616/7616
[pid=2926] ppid=2924 vsize=48580 CPUtime=76.67 cores=1,3,5,7
/proc/2926/stat : 2926 (scip-2.1.1.4exp) R 2924 2926 403 0 -1 4202496 11819 0 0 0 7549 118 0 0 20 0 1 0 268311108 49745920 11159 33554432000 4194304 10219143 140734275579600 140734275573240 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2926/statm: 12145 11159 824 1471 0 10665 0
Current children cumulated CPU time (s) 76.67
Current children cumulated vsize (KiB) 48580
[startup+83.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 2927
/proc/meminfo: memFree=29460748/32873852 swapFree=7616/7616
[pid=2926] ppid=2924 vsize=48580 CPUtime=83.07 cores=1,3,5,7
/proc/2926/stat : 2926 (scip-2.1.1.4exp) R 2924 2926 403 0 -1 4202496 11820 0 0 0 8179 128 0 0 20 0 1 0 268311108 49745920 11160 33554432000 4194304 10219143 140734275579600 140734275572856 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2926/statm: 12145 11160 825 1471 0 10665 0
Current children cumulated CPU time (s) 83.07
Current children cumulated vsize (KiB) 48580
[startup+86.3002 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 2927
/proc/meminfo: memFree=29460500/32873852 swapFree=7616/7616
[pid=2926] ppid=2924 vsize=48580 CPUtime=86.26 cores=1,3,5,7
/proc/2926/stat : 2926 (scip-2.1.1.4exp) R 2924 2926 403 0 -1 4202496 11820 0 0 0 8493 133 0 0 20 0 1 0 268311108 49745920 11160 33554432000 4194304 10219143 140734275579600 140734275576184 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2926/statm: 12145 11160 825 1471 0 10665 0
Current children cumulated CPU time (s) 86.26
Current children cumulated vsize (KiB) 48580
[startup+87.9003 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 2927
/proc/meminfo: memFree=29460500/32873852 swapFree=7616/7616
[pid=2926] ppid=2924 vsize=48580 CPUtime=87.88 cores=1,3,5,7
/proc/2926/stat : 2926 (scip-2.1.1.4exp) R 2924 2926 403 0 -1 4202496 11820 0 0 0 8652 136 0 0 20 0 1 0 268311108 49745920 11160 33554432000 4194304 10219143 140734275579600 140734275572536 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2926/statm: 12145 11160 825 1471 0 10665 0
Current children cumulated CPU time (s) 87.88
Current children cumulated vsize (KiB) 48580
[startup+88.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 2927
/proc/meminfo: memFree=29460500/32873852 swapFree=7616/7616
[pid=2926] ppid=2924 vsize=48580 CPUtime=88.66 cores=1,3,5,7
/proc/2926/stat : 2926 (scip-2.1.1.4exp) R 2924 2926 403 0 -1 4202496 11820 0 0 0 8730 136 0 0 20 0 1 0 268311108 49745920 11160 33554432000 4194304 10219143 140734275579600 140734275572856 8082632 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2926/statm: 12145 11160 825 1471 0 10665 0
Current children cumulated CPU time (s) 88.66
Current children cumulated vsize (KiB) 48580
[startup+89.1068 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 2927
/proc/meminfo: memFree=29460376/32873852 swapFree=7616/7616
[pid=2926] ppid=2924 vsize=48580 CPUtime=89.07 cores=1,3,5,7
/proc/2926/stat : 2926 (scip-2.1.1.4exp) R 2924 2926 403 0 -1 4202496 11820 0 0 0 8770 137 0 0 20 0 1 0 268311108 49745920 11160 33554432000 4194304 10219143 140734275579600 140734275572856 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2926/statm: 12145 11160 825 1471 0 10665 0
Current children cumulated CPU time (s) 89.07
Current children cumulated vsize (KiB) 48580
[startup+89.3003 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 2927
/proc/meminfo: memFree=29460376/32873852 swapFree=7616/7616
[pid=2926] ppid=2924 vsize=48580 CPUtime=89.26 cores=1,3,5,7
/proc/2926/stat : 2926 (scip-2.1.1.4exp) R 2924 2926 403 0 -1 4202496 11820 0 0 0 8789 137 0 0 20 0 1 0 268311108 49745920 11160 33554432000 4194304 10219143 140734275579600 140734275572856 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2926/statm: 12145 11160 825 1471 0 10665 0
Current children cumulated CPU time (s) 89.26
Current children cumulated vsize (KiB) 48580
[startup+89.4004 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 2927
/proc/meminfo: memFree=29460376/32873852 swapFree=7616/7616
[pid=2926] ppid=2924 vsize=48580 CPUtime=89.36 cores=1,3,5,7
/proc/2926/stat : 2926 (scip-2.1.1.4exp) R 2924 2926 403 0 -1 4202496 11820 0 0 0 8799 137 0 0 20 0 1 0 268311108 49745920 11160 33554432000 4194304 10219143 140734275579600 140734275572856 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2926/statm: 12145 11160 825 1471 0 10665 0
Current children cumulated CPU time (s) 89.36
Current children cumulated vsize (KiB) 48580
Child status: 0
Real time (s): 89.4487
CPU time (s): 89.4244
CPU user time (s): 88.0426
CPU system time (s): 1.38179
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 50584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 88.0426
system time used= 1.38179
maximum resident set size= 44968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11825
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 93
runsolver used 0.236963 second user time and 0.608907 second system time
The end