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-3690381-1338016942.opb>
0.00/0.00 c original problem has 900 variables (900 bin, 0 int, 0 impl, 0 cont) and 673 constraints
0.00/0.00 c problem read in 0.01
0.00/0.00 c No objective function, only one solution is needed.
0.00/0.00 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.04 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 673 upgd conss, 0 impls, 49 clqs
0.00/0.04 c presolving (2 rounds):
0.00/0.04 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 0 implications, 49 cliques
0.00/0.04 c presolved problem has 900 variables (900 bin, 0 int, 0 impl, 0 cont) and 673 constraints
0.00/0.04 c 49 constraints of type <setppc>
0.00/0.04 c 624 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.04
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 2.1.1.4
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1797
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c limits/solutions = 1
0.00/0.04 c
0.00/0.04 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.04 c separating/maxrounds = 1
0.00/0.04 c
0.00/0.04 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/maxroundsroot = 5
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.04 c constraints/knapsack/disaggregation = FALSE
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/coefdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.04 c heuristics/crossover/freq = -1
0.00/0.04 c
0.00/0.04 c # number of nodes added to the contingent of the total nodes
0.00/0.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.04 c heuristics/crossover/nodesofs = 750
0.00/0.04 c
0.00/0.04 c # number of nodes without incumbent change that heuristic should wait
0.00/0.04 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.04 c heuristics/crossover/nwaitingnodes = 100
0.00/0.04 c
0.00/0.04 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.04 c # [type: real, range: [0,1], default: 0.1]
0.00/0.04 c heuristics/crossover/nodesquot = 0.15
0.00/0.04 c
0.00/0.04 c # minimum percentage of integer variables that have to be fixed
0.00/0.04 c # [type: real, range: [0,1], default: 0.666]
0.00/0.04 c heuristics/crossover/minfixingrate = 0.5
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.04 c heuristics/feaspump/freq = -1
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/fracdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/guideddiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/intshifting/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/linesearchdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.04 c heuristics/objpscostdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.04 c # [type: real, range: [0,1], default: 0.01]
0.00/0.04 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/oneopt/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/pscostdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c heuristics/rens/freq = -1
0.00/0.04 c
0.00/0.04 c # minimum percentage of integer variables that have to be fixable
0.00/0.04 c # [type: real, range: [0,1], default: 0.5]
0.00/0.04 c heuristics/rens/minfixingrate = 0.3
0.00/0.04 c
0.00/0.04 c # number of nodes added to the contingent of the total nodes
0.00/0.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.04 c heuristics/rens/nodesofs = 2000
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.04 c heuristics/rootsoldiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.04 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/rounding/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c heuristics/shiftandpropagate/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/shifting/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/simplerounding/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/subnlp/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c heuristics/trivial/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/trysol/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c heuristics/undercover/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/veclendiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/zirounding/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c propagating/probing/maxprerounds = 0
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c separating/cmir/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c separating/flowcover/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/indoneopt/freq = -1
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.05 c
0.00/0.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.06 c 0.1s| 1 | 0 | 285 | - |4120k| 0 | 132 | 900 | 673 | 900 | 673 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 c 0.2s| 1 | 0 | 471 | - |4573k| 0 | 141 | 900 | 677 | 900 | 685 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.39 c 0.4s| 1 | 0 | 1273 | - |4825k| 0 | 188 | 900 | 677 | 900 | 694 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.48 c 0.5s| 1 | 0 | 1903 | - |5374k| 0 | 154 | 900 | 677 | 900 | 710 | 37 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.59 c 0.6s| 1 | 0 | 2158 | - |6273k| 0 | 126 | 900 | 677 | 900 | 725 | 52 | 0 | 0 | 0.000000e+00 | -- | Inf
0.58/0.66 c 0.7s| 1 | 0 | 2293 | - |7066k| 0 | 126 | 900 | 677 | 900 | 738 | 65 | 0 | 0 | 0.000000e+00 | -- | Inf
0.68/0.75 c 0.8s| 1 | 2 | 2293 | - |7067k| 0 | 126 | 900 | 677 | 900 | 738 | 65 | 0 | 10 | 0.000000e+00 | -- | Inf
3.59/3.60 c 3.6s| 100 | 101 | 3381 | 11.0 |7262k| 25 | 113 | 900 | 677 | 900 | 697 | 65 | 0 |1007 | 0.000000e+00 | -- | Inf
6.19/6.24 c 6.2s| 200 | 201 | 4950 | 13.4 |7403k| 29 | 99 | 900 | 677 | 900 | 697 | 65 | 0 |2023 | 0.000000e+00 | -- | Inf
7.28/7.36 c 7.4s| 300 | 301 | 5923 | 12.1 |7524k| 32 | 130 | 900 | 677 | 900 | 697 | 65 | 0 |2496 | 0.000000e+00 | -- | Inf
7.69/7.77 c 7.8s| 400 | 401 | 6814 | 11.3 |7641k| 38 | 98 | 900 | 677 | 900 | 697 | 65 | 0 |2649 | 0.000000e+00 | -- | Inf
7.89/7.99 c 8.0s| 500 | 501 | 7600 | 10.6 |7752k| 38 | 91 | 900 | 677 | 900 | 697 | 65 | 0 |2724 | 0.000000e+00 | -- | Inf
8.08/8.16 c 8.2s| 600 | 601 | 8418 | 10.2 |7857k| 38 | 90 | 900 | 677 | 900 | 697 | 65 | 0 |2763 | 0.000000e+00 | -- | Inf
8.29/8.33 c 8.3s| 700 | 701 | 8928 | 9.5 |7952k| 65 | 60 | 900 | 677 | 900 | 697 | 65 | 0 |2830 | 0.000000e+00 | -- | Inf
8.39/8.44 c 8.4s| 800 | 801 | 9256 | 8.7 |8038k| 97 | 46 | 900 | 677 | 900 | 697 | 65 | 0 |2870 | 0.000000e+00 | -- | Inf
8.59/8.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.59/8.61 c 8.6s| 900 | 879 | 9783 | 8.3 |8150k| 111 | 78 | 900 | 695 | 900 | 697 | 65 | 18 |2932 | 0.000000e+00 | -- | Inf
8.69/8.73 c 8.7s| 1000 | 911 | 10448 | 8.2 |8253k| 115 | 23 | 900 | 771 | 900 | 697 | 65 | 94 |2949 | 0.000000e+00 | -- | Inf
8.79/8.84 c 8.8s| 1100 | 925 | 11226 | 8.1 |8360k| 117 | - | 900 | 884 | 900 | 697 | 65 | 207 |2957 | 0.000000e+00 | -- | Inf
8.89/8.94 c 8.9s| 1200 | 965 | 11904 | 8.0 |8462k| 120 | 60 | 900 | 970 | 900 | 697 | 65 | 293 |2970 | 0.000000e+00 | -- | Inf
8.98/9.04 c 9.0s| 1300 | 989 | 12613 | 7.9 |8552k| 140 | 58 | 900 |1059 | 900 | 697 | 65 | 382 |2980 | 0.000000e+00 | -- | Inf
9.08/9.15 c 9.1s| 1400 | 1023 | 13294 | 7.9 |8645k| 173 | 23 | 900 |1141 | 900 | 697 | 65 | 464 |2989 | 0.000000e+00 | -- | Inf
9.19/9.25 c 9.2s| 1500 | 1049 | 14113 | 7.9 |8729k| 206 | - | 900 |1211 | 900 | 697 | 65 | 534 |2993 | 0.000000e+00 | -- | Inf
9.29/9.34 c 9.3s| 1600 | 1045 | 14805 | 7.8 |8734k| 206 | 23 | 900 |1232 | 900 | 697 | 65 | 614 |2994 | 0.000000e+00 | -- | Inf
9.39/9.42 c 9.4s| 1700 | 1059 | 15294 | 7.7 |8664k| 206 | 18 | 900 |1110 | 900 | 697 | 65 | 669 |2995 | 0.000000e+00 | -- | Inf
9.48/9.52 c 9.5s| 1800 | 1067 | 15962 | 7.6 |8694k| 206 | - | 900 |1106 | 900 | 697 | 65 | 710 |3005 | 0.000000e+00 | -- | Inf
9.58/9.61 c 9.6s| 1900 | 1067 | 16845 | 7.7 |8702k| 206 | 20 | 900 |1082 | 900 | 697 | 65 | 758 |3006 | 0.000000e+00 | -- | Inf
9.68/9.71 c 9.7s| 2000 | 1075 | 17659 | 7.7 |8730k| 206 | 16 | 900 |1081 | 900 | 697 | 65 | 808 |3009 | 0.000000e+00 | -- | Inf
9.79/9.83 c 9.8s| 2100 | 1049 | 18445 | 7.7 |8662k| 206 | 8 | 900 |1011 | 900 | 697 | 65 | 871 |3033 | 0.000000e+00 | -- | Inf
9.89/9.94 c 9.9s| 2200 | 1056 | 18872 | 7.5 |8684k| 206 | - | 900 |1008 | 900 | 697 | 65 | 944 |3052 | 0.000000e+00 | -- | Inf
9.98/10.05 c 10.1s| 2300 | 1045 | 19485 | 7.5 |8711k| 206 | 20 | 900 |1054 | 900 | 697 | 65 |1073 |3063 | 0.000000e+00 | -- | Inf
10.09/10.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.09/10.17 c 10.2s| 2400 | 1044 | 20157 | 7.4 |8797k| 206 | - | 900 |1163 | 900 | 697 | 65 |1219 |3076 | 0.000000e+00 | -- | Inf
10.19/10.26 c 10.3s| 2500 | 1050 | 20767 | 7.4 |8863k| 206 | - | 900 |1235 | 900 | 697 | 65 |1305 |3077 | 0.000000e+00 | -- | Inf
10.29/10.36 c 10.4s| 2600 | 1050 | 21356 | 7.3 |8929k| 206 | - | 900 |1322 | 900 | 697 | 65 |1402 |3077 | 0.000000e+00 | -- | Inf
10.39/10.46 c 10.5s| 2700 | 1048 | 22021 | 7.3 |8933k| 206 | - | 900 |1335 | 900 | 697 | 65 |1468 |3081 | 0.000000e+00 | -- | Inf
10.48/10.56 c 10.6s| 2800 | 1052 | 22666 | 7.3 |9005k| 206 | 24 | 900 |1419 | 900 | 697 | 65 |1568 |3081 | 0.000000e+00 | -- | Inf
10.59/10.65 c 10.7s| 2900 | 1049 | 23379 | 7.3 |9061k| 206 | - | 900 |1495 | 900 | 697 | 65 |1672 |3081 | 0.000000e+00 | -- | Inf
10.68/10.75 c 10.8s| 3000 | 1053 | 24065 | 7.3 |9155k| 206 | 17 | 900 |1614 | 900 | 697 | 65 |1792 |3081 | 0.000000e+00 | -- | Inf
10.78/10.85 c 10.9s| 3100 | 1053 | 24826 | 7.3 |9245k| 206 | 16 | 900 |1730 | 900 | 697 | 65 |1911 |3081 | 0.000000e+00 | -- | Inf
10.89/10.96 c 11.0s| 3200 | 1048 | 25505 | 7.3 |9219k| 206 | - | 900 |1693 | 900 | 697 | 65 |2017 |3082 | 0.000000e+00 | -- | Inf
10.99/11.06 c 11.1s| 3300 | 1049 | 26326 | 7.3 |9080k| 206 | - | 900 |1482 | 900 | 697 | 65 |2086 |3083 | 0.000000e+00 | -- | Inf
11.09/11.16 c 11.2s| 3400 | 1055 | 27221 | 7.3 |9021k| 206 | - | 900 |1377 | 900 | 697 | 65 |2145 |3086 | 0.000000e+00 | -- | Inf
11.18/11.27 c 11.3s| 3500 | 1048 | 28410 | 7.5 |9017k| 206 | 22 | 900 |1395 | 900 | 697 | 65 |2194 |3087 | 0.000000e+00 | -- | Inf
11.28/11.36 c 11.4s| 3600 | 1045 | 29265 | 7.5 |9041k| 206 | - | 900 |1433 | 900 | 697 | 65 |2244 |3087 | 0.000000e+00 | -- | Inf
11.38/11.45 c 11.5s| 3700 | 1054 | 29934 | 7.5 |9047k| 206 | 18 | 900 |1417 | 900 | 697 | 65 |2279 |3089 | 0.000000e+00 | -- | Inf
11.49/11.55 c 11.6s| 3800 | 1063 | 30773 | 7.5 |9069k| 206 | - | 900 |1410 | 900 | 697 | 65 |2313 |3094 | 0.000000e+00 | -- | Inf
11.59/11.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.59/11.63 c 11.6s| 3900 | 1062 | 31356 | 7.5 |9088k| 206 | 16 | 900 |1440 | 900 | 697 | 65 |2350 |3095 | 0.000000e+00 | -- | Inf
11.69/11.71 c 11.7s| 4000 | 1067 | 32027 | 7.4 |9138k| 206 | - | 900 |1492 | 900 | 697 | 65 |2402 |3096 | 0.000000e+00 | -- | Inf
11.78/11.80 c 11.8s| 4100 | 1080 | 32719 | 7.4 |9169k| 206 | 17 | 900 |1518 | 900 | 697 | 65 |2443 |3096 | 0.000000e+00 | -- | Inf
11.78/11.88 c 11.9s| 4200 | 1084 | 33456 | 7.4 |9207k| 206 | - | 900 |1553 | 900 | 697 | 65 |2485 |3096 | 0.000000e+00 | -- | Inf
11.88/11.98 c 12.0s| 4300 | 1085 | 34234 | 7.4 |9240k| 206 | 20 | 900 |1594 | 900 | 697 | 65 |2548 |3096 | 0.000000e+00 | -- | Inf
11.99/12.07 c 12.1s| 4400 | 1082 | 35217 | 7.5 |9247k| 206 | - | 900 |1601 | 900 | 697 | 65 |2567 |3098 | 0.000000e+00 | -- | Inf
12.09/12.17 c 12.2s| 4500 | 1077 | 36105 | 7.5 |9271k| 206 | - | 900 |1641 | 900 | 697 | 65 |2633 |3098 | 0.000000e+00 | -- | Inf
12.18/12.27 c 12.3s| 4600 | 1071 | 36899 | 7.5 |9231k| 206 | 16 | 900 |1605 | 900 | 697 | 65 |2688 |3098 | 0.000000e+00 | -- | Inf
12.28/12.35 c 12.4s| 4700 | 1077 | 37584 | 7.5 |9272k| 206 | 18 | 900 |1645 | 900 | 697 | 65 |2734 |3098 | 0.000000e+00 | -- | Inf
12.38/12.45 c 12.4s| 4800 | 1079 | 38273 | 7.5 |9228k| 206 | 26 | 900 |1585 | 900 | 697 | 65 |2783 |3098 | 0.000000e+00 | -- | Inf
12.48/12.53 c 12.5s| 4900 | 1084 | 38954 | 7.5 |9260k| 206 | 16 | 900 |1617 | 900 | 697 | 65 |2816 |3098 | 0.000000e+00 | -- | Inf
12.58/12.62 c 12.6s| 5000 | 1087 | 39601 | 7.5 |9294k| 206 | 20 | 900 |1657 | 900 | 697 | 65 |2864 |3098 | 0.000000e+00 | -- | Inf
12.69/12.70 c 12.7s| 5100 | 1075 | 40220 | 7.4 |9285k| 206 | - | 900 |1675 | 900 | 697 | 65 |2924 |3098 | 0.000000e+00 | -- | Inf
12.78/12.81 c 12.8s| 5200 | 1077 | 41049 | 7.5 |9337k| 206 | 20 | 900 |1744 | 900 | 697 | 65 |3017 |3098 | 0.000000e+00 | -- | Inf
12.88/12.90 c 12.9s| 5300 | 1077 | 41877 | 7.5 |9341k| 206 | 14 | 900 |1754 | 900 | 697 | 65 |3080 |3098 | 0.000000e+00 | -- | Inf
12.88/12.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.88/12.98 c 13.0s| 5400 | 1077 | 42460 | 7.4 |9316k| 206 | - | 900 |1712 | 900 | 697 | 65 |3096 |3098 | 0.000000e+00 | -- | Inf
12.99/13.06 c 13.1s| 5500 | 1073 | 43080 | 7.4 |9304k| 206 | 17 | 900 |1705 | 900 | 697 | 65 |3099 |3098 | 0.000000e+00 | -- | Inf
13.09/13.14 c 13.1s| 5600 | 1078 | 43735 | 7.4 |9336k| 206 | 20 | 900 |1736 | 900 | 697 | 65 |3137 |3098 | 0.000000e+00 | -- | Inf
13.19/13.21 c 13.2s| 5700 | 1085 | 44228 | 7.4 |9355k| 206 | 17 | 900 |1742 | 900 | 697 | 65 |3155 |3099 | 0.000000e+00 | -- | Inf
13.19/13.30 c 13.3s| 5800 | 1084 | 44912 | 7.3 |9363k| 206 | 21 | 900 |1755 | 900 | 697 | 65 |3177 |3099 | 0.000000e+00 | -- | Inf
13.28/13.39 c 13.4s| 5900 | 1084 | 45557 | 7.3 |9364k| 206 | 18 | 900 |1756 | 900 | 697 | 65 |3191 |3116 | 0.000000e+00 | -- | Inf
13.38/13.48 c 13.5s| 6000 | 1082 | 46219 | 7.3 |9385k| 206 | - | 900 |1782 | 900 | 697 | 65 |3222 |3120 | 0.000000e+00 | -- | Inf
13.49/13.56 c 13.6s| 6100 | 1074 | 47052 | 7.3 |9390k| 206 | - | 900 |1807 | 900 | 697 | 65 |3262 |3122 | 0.000000e+00 | -- | Inf
13.58/13.65 c 13.7s| 6200 | 1080 | 47806 | 7.3 |9388k| 206 | - | 900 |1790 | 900 | 697 | 65 |3271 |3128 | 0.000000e+00 | -- | Inf
13.68/13.73 c 13.7s| 6300 | 1084 | 48429 | 7.3 |9403k| 206 | - | 900 |1799 | 900 | 697 | 65 |3285 |3130 | 0.000000e+00 | -- | Inf
13.78/13.82 c 13.8s| 6400 | 1084 | 49026 | 7.3 |9430k| 206 | 23 | 900 |1838 | 900 | 697 | 65 |3330 |3137 | 0.000000e+00 | -- | Inf
13.88/13.90 c 13.9s| 6500 | 1093 | 49548 | 7.3 |9472k| 206 | - | 900 |1875 | 900 | 697 | 65 |3373 |3138 | 0.000000e+00 | -- | Inf
13.88/13.98 c 14.0s| 6600 | 1093 | 50192 | 7.3 |9444k| 206 | - | 900 |1829 | 900 | 697 | 65 |3385 |3139 | 0.000000e+00 | -- | Inf
13.99/14.05 c 14.1s| 6700 | 1093 | 50778 | 7.2 |9451k| 206 | - | 900 |1837 | 0 | 0 | 65 |3405 |3139 | 0.000000e+00 | -- | Inf
14.09/14.13 c 14.1s| 6800 | 1097 | 51227 | 7.2 |9466k| 206 | 18 | 900 |1847 | 900 | 697 | 65 |3428 |3139 | 0.000000e+00 | -- | Inf
14.09/14.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.09/14.20 c 14.2s| 6900 | 1099 | 51716 | 7.2 |9488k| 206 | 18 | 900 |1867 | 900 | 697 | 65 |3458 |3139 | 0.000000e+00 | -- | Inf
14.19/14.27 c 14.3s| 7000 | 1099 | 52282 | 7.1 |9500k| 206 | - | 900 |1877 | 900 | 697 | 65 |3485 |3139 | 0.000000e+00 | -- | Inf
14.29/14.35 c 14.4s| 7100 | 1097 | 52960 | 7.1 |9502k| 206 | - | 900 |1883 | 900 | 697 | 65 |3499 |3139 | 0.000000e+00 | -- | Inf
14.38/14.43 c 14.4s| 7200 | 1099 | 53544 | 7.1 |9508k| 206 | - | 900 |1882 | 900 | 697 | 65 |3525 |3143 | 0.000000e+00 | -- | Inf
14.49/14.52 c 14.5s| 7300 | 1104 | 54262 | 7.1 |9513k| 206 | - | 900 |1871 | 900 | 697 | 65 |3547 |3146 | 0.000000e+00 | -- | Inf
14.58/14.61 c 14.6s| 7400 | 1103 | 54879 | 7.1 |9505k| 206 | - | 900 |1864 | 900 | 697 | 65 |3586 |3148 | 0.000000e+00 | -- | Inf
14.58/14.69 c 14.7s| 7500 | 1103 | 55525 | 7.1 |9511k| 206 | 21 | 900 |1874 | 900 | 697 | 65 |3619 |3149 | 0.000000e+00 | -- | Inf
14.69/14.78 c 14.8s| 7600 | 1101 | 56163 | 7.1 |9514k| 206 | - | 900 |1882 | 900 | 697 | 65 |3651 |3149 | 0.000000e+00 | -- | Inf
14.78/14.86 c 14.9s| 7700 | 1100 | 56821 | 7.1 |9525k| 206 | - | 900 |1906 | 900 | 697 | 65 |3691 |3149 | 0.000000e+00 | -- | Inf
14.88/14.97 c 15.0s| 7800 | 1092 | 57639 | 7.1 |9492k| 206 | - | 900 |1887 | 900 | 697 | 65 |3745 |3151 | 0.000000e+00 | -- | Inf
14.98/15.06 c 15.1s| 7900 | 1093 | 58730 | 7.1 |9443k| 206 | - | 900 |1811 | 900 | 697 | 65 |3748 |3151 | 0.000000e+00 | -- | Inf
15.08/15.15 c 15.2s| 8000 | 1091 | 59560 | 7.2 |9392k| 206 | 23 | 900 |1737 | 900 | 697 | 65 |3763 |3151 | 0.000000e+00 | -- | Inf
15.19/15.25 c 15.2s| 8100 | 1091 | 60452 | 7.2 |9359k| 206 | - | 900 |1684 | 900 | 697 | 65 |3774 |3154 | 0.000000e+00 | -- | Inf
15.29/15.34 c 15.3s| 8200 | 1095 | 61385 | 7.2 |9371k| 206 | 24 | 900 |1697 | 900 | 697 | 65 |3802 |3155 | 0.000000e+00 | -- | Inf
15.39/15.44 c 15.4s| 8300 | 1095 | 62329 | 7.2 |9387k| 206 | 24 | 900 |1717 | 900 | 697 | 65 |3836 |3155 | 0.000000e+00 | -- | Inf
15.48/15.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.48/15.53 c 15.5s| 8400 | 1107 | 63116 | 7.2 |9368k| 206 | 18 | 900 |1666 | 900 | 697 | 65 |3859 |3155 | 0.000000e+00 | -- | Inf
15.59/15.63 c 15.6s| 8500 | 1109 | 64043 | 7.3 |9359k| 206 | 17 | 900 |1647 | 900 | 697 | 65 |3902 |3156 | 0.000000e+00 | -- | Inf
15.68/15.73 c 15.7s| 8600 | 1112 | 64875 | 7.3 |9403k| 206 | 24 | 900 |1705 | 900 | 697 | 65 |3973 |3158 | 0.000000e+00 | -- | Inf
15.79/15.84 c 15.8s| 8700 | 1114 | 65770 | 7.3 |9444k| 206 | 19 | 900 |1762 | 900 | 697 | 65 |4034 |3159 | 0.000000e+00 | -- | Inf
15.88/15.95 c 15.9s| 8800 | 1112 | 66677 | 7.3 |9469k| 206 | 30 | 900 |1808 | 900 | 697 | 65 |4083 |3162 | 0.000000e+00 | -- | Inf
15.99/16.04 c 16.0s| 8900 | 1106 | 67712 | 7.4 |9470k| 206 | 18 | 900 |1824 | 900 | 697 | 65 |4109 |3162 | 0.000000e+00 | -- | Inf
16.09/16.14 c 16.1s| 9000 | 1107 | 68895 | 7.4 |9446k| 206 | 22 | 900 |1779 | 900 | 697 | 65 |4116 |3163 | 0.000000e+00 | -- | Inf
16.18/16.24 c 16.2s| 9100 | 1105 | 70098 | 7.5 |9431k| 206 | - | 900 |1756 | 900 | 697 | 65 |4118 |3163 | 0.000000e+00 | -- | Inf
16.29/16.34 c 16.3s| 9200 | 1103 | 71246 | 7.5 |9426k| 206 | - | 900 |1753 | 900 | 697 | 65 |4122 |3163 | 0.000000e+00 | -- | Inf
16.39/16.45 c 16.4s| 9300 | 1107 | 72398 | 7.5 |9429k| 206 | 22 | 900 |1754 | 900 | 697 | 65 |4127 |3174 | 0.000000e+00 | -- | Inf
16.49/16.55 c 16.6s| 9400 | 1101 | 73481 | 7.6 |9435k| 206 | 27 | 900 |1771 | 900 | 697 | 65 |4157 |3179 | 0.000000e+00 | -- | Inf
16.58/16.67 c 16.7s| 9500 | 1095 | 74264 | 7.6 |9404k| 206 | - | 900 |1732 | 900 | 697 | 65 |4219 |3192 | 0.000000e+00 | -- | Inf
16.68/16.79 c 16.8s| 9600 | 1101 | 75161 | 7.6 |9404k| 206 | - | 900 |1714 | 900 | 697 | 65 |4238 |3211 | 0.000000e+00 | -- | Inf
16.78/16.89 c 16.9s| 9700 | 1106 | 76013 | 7.6 |9405k| 206 | - | 900 |1704 | 900 | 697 | 65 |4263 |3222 | 0.000000e+00 | -- | Inf
16.88/16.99 c 17.0s| 9800 | 1109 | 76855 | 7.6 |9437k| 206 | - | 900 |1749 | 900 | 697 | 65 |4311 |3224 | 0.000000e+00 | -- | Inf
16.98/17.09 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.09 c 17.1s| 9900 | 1104 | 77716 | 7.6 |9470k| 206 | - | 900 |1810 | 900 | 697 | 65 |4372 |3224 | 0.000000e+00 | -- | Inf
17.09/17.19 c 17.2s| 10000 | 1108 | 78347 | 7.6 |9525k| 206 | 25 | 900 |1881 | 900 | 697 | 65 |4443 |3224 | 0.000000e+00 | -- | Inf
17.18/17.28 c 17.3s| 10100 | 1106 | 79133 | 7.6 |9553k| 206 | 21 | 900 |1926 | 900 | 697 | 65 |4491 |3224 | 0.000000e+00 | -- | Inf
17.29/17.39 c 17.4s| 10200 | 1104 | 80126 | 7.6 |9577k| 206 | - | 900 |1960 | 900 | 697 | 65 |4530 |3225 | 0.000000e+00 | -- | Inf
17.38/17.48 c 17.5s| 10300 | 1107 | 80880 | 7.6 |9590k| 206 | 18 | 900 |1984 | 900 | 697 | 65 |4558 |3225 | 0.000000e+00 | -- | Inf
17.49/17.57 c 17.6s| 10400 | 1105 | 81607 | 7.6 |9625k| 206 | - | 900 |2036 | 900 | 697 | 65 |4617 |3225 | 0.000000e+00 | -- | Inf
17.59/17.67 c 17.7s| 10500 | 1107 | 82520 | 7.6 |9644k| 206 | - | 900 |2058 | 900 | 697 | 65 |4653 |3225 | 0.000000e+00 | -- | Inf
17.69/17.78 c 17.8s| 10600 | 1105 | 83730 | 7.7 |9664k| 206 | - | 900 |2096 | 900 | 697 | 65 |4707 |3225 | 0.000000e+00 | -- | Inf
17.79/17.89 c 17.9s| 10700 | 1112 | 84665 | 7.7 |9564k| 206 | 16 | 900 |1952 | 900 | 697 | 65 |4749 |3230 | 0.000000e+00 | -- | Inf
17.98/18.00 c 18.0s| 10800 | 1114 | 85619 | 7.7 |9520k| 206 | 12 | 900 |1870 | 900 | 697 | 65 |4801 |3231 | 0.000000e+00 | -- | Inf
18.09/18.11 c 18.1s| 10900 | 1115 | 86580 | 7.7 |9488k| 206 | 16 | 900 |1816 | 900 | 697 | 65 |4844 |3232 | 0.000000e+00 | -- | Inf
18.19/18.21 c 18.2s| 11000 | 1116 | 87539 | 7.8 |9475k| 206 | 14 | 900 |1791 | 900 | 697 | 65 |4888 |3232 | 0.000000e+00 | -- | Inf
18.29/18.33 c 18.3s| 11100 | 1116 | 88525 | 7.8 |9438k| 206 | - | 900 |1719 | 900 | 697 | 65 |4930 |3232 | 0.000000e+00 | -- | Inf
18.37/18.42 c 18.4s| 11200 | 1114 | 89420 | 7.8 |9440k| 206 | - | 900 |1721 | 900 | 697 | 65 |4961 |3232 | 0.000000e+00 | -- | Inf
18.48/18.51 c 18.5s| 11300 | 1105 | 90132 | 7.8 |9400k| 206 | - | 900 |1686 | 900 | 697 | 65 |5000 |3234 | 0.000000e+00 | -- | Inf
18.58/18.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.58/18.61 c 18.6s| 11400 | 1104 | 91080 | 7.8 |9395k| 206 | 16 | 900 |1681 | 900 | 697 | 65 |5039 |3234 | 0.000000e+00 | -- | Inf
18.68/18.71 c 18.7s| 11500 | 1105 | 91991 | 7.8 |9362k| 206 | - | 900 |1632 | 900 | 697 | 65 |5060 |3236 | 0.000000e+00 | -- | Inf
18.68/18.79 c 18.8s| 11600 | 1111 | 93020 | 7.8 |9351k| 206 | 16 | 900 |1602 | 900 | 697 | 65 |5063 |3236 | 0.000000e+00 | -- | Inf
18.88/18.90 c 18.9s| 11700 | 1109 | 94539 | 7.9 |9352k| 206 | - | 900 |1603 | 900 | 697 | 65 |5068 |3236 | 0.000000e+00 | -- | Inf
18.88/18.99 c 19.0s| 11800 | 1105 | 95350 | 7.9 |9335k| 206 | 22 | 900 |1589 | 900 | 697 | 65 |5080 |3239 | 0.000000e+00 | -- | Inf
18.98/19.09 c 19.1s| 11900 | 1105 | 96475 | 7.9 |9343k| 206 | - | 900 |1594 | 900 | 697 | 65 |5089 |3240 | 0.000000e+00 | -- | Inf
19.07/19.18 c 19.2s| 12000 | 1107 | 97077 | 7.9 |9349k| 206 | - | 900 |1600 | 900 | 697 | 65 |5122 |3244 | 0.000000e+00 | -- | Inf
19.17/19.27 c 19.3s| 12100 | 1105 | 97844 | 7.9 |9344k| 206 | 18 | 900 |1598 | 900 | 697 | 65 |5163 |3244 | 0.000000e+00 | -- | Inf
19.28/19.37 c 19.4s| 12200 | 1098 | 98691 | 7.9 |9329k| 206 | - | 900 |1591 | 900 | 697 | 65 |5214 |3244 | 0.000000e+00 | -- | Inf
19.38/19.47 c 19.5s| 12300 | 1098 | 99931 | 7.9 |9316k| 206 | - | 900 |1566 | 900 | 697 | 65 |5222 |3244 | 0.000000e+00 | -- | Inf
19.47/19.57 c 19.6s| 12400 | 1098 |100938 | 8.0 |9301k| 206 | 21 | 900 |1553 | 900 | 697 | 65 |5224 |3258 | 0.000000e+00 | -- | Inf
19.57/19.67 c 19.7s| 12500 | 1100 |102194 | 8.0 |9312k| 206 | 14 | 900 |1563 | 900 | 697 | 65 |5236 |3261 | 0.000000e+00 | -- | Inf
19.69/19.77 c 19.8s| 12600 | 1102 |103398 | 8.0 |9320k| 206 | 22 | 900 |1569 | 900 | 697 | 65 |5242 |3264 | 0.000000e+00 | -- | Inf
19.78/19.89 c 19.9s| 12700 | 1112 |104337 | 8.0 |9316k| 206 | 20 | 900 |1537 | 900 | 697 | 65 |5269 |3276 | 0.000000e+00 | -- | Inf
19.98/20.02 c 20.0s| 12800 | 1103 |105312 | 8.0 |9314k| 206 | 22 | 900 |1556 | 900 | 697 | 65 |5324 |3299 | 0.000000e+00 | -- | Inf
20.08/20.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.08/20.12 c 20.1s| 12900 | 1101 |106399 | 8.1 |9326k| 206 | - | 900 |1573 | 900 | 697 | 65 |5346 |3299 | 0.000000e+00 | -- | Inf
20.17/20.23 c 20.2s| 13000 | 1100 |107431 | 8.1 |9328k| 206 | - | 900 |1597 | 900 | 697 | 65 |5386 |3304 | 0.000000e+00 | -- | Inf
20.28/20.33 c 20.3s| 13100 | 1101 |108495 | 8.1 |9311k| 206 | - | 900 |1567 | 900 | 697 | 65 |5398 |3309 | 0.000000e+00 | -- | Inf
20.37/20.43 c 20.4s| 13200 | 1101 |109253 | 8.1 |9316k| 206 | 24 | 900 |1573 | 900 | 697 | 65 |5434 |3317 | 0.000000e+00 | -- | Inf
20.48/20.54 c 20.5s| 13300 | 1102 |110124 | 8.1 |9343k| 206 | 18 | 900 |1606 | 900 | 697 | 65 |5483 |3322 | 0.000000e+00 | -- | Inf
20.57/20.62 c 20.6s| 13400 | 1099 |110793 | 8.1 |9355k| 206 | 21 | 900 |1627 | 900 | 697 | 65 |5508 |3325 | 0.000000e+00 | -- | Inf
20.68/20.71 c 20.7s| 13500 | 1107 |111476 | 8.1 |9362k| 206 | - | 900 |1623 | 900 | 697 | 65 |5520 |3328 | 0.000000e+00 | -- | Inf
20.68/20.80 c 20.8s| 13600 | 1105 |112205 | 8.1 |9362k| 206 | - | 900 |1624 | 900 | 697 | 65 |5541 |3331 | 0.000000e+00 | -- | Inf
20.89/20.90 c 20.9s| 13700 | 1102 |113030 | 8.1 |9381k| 206 | 21 | 900 |1670 | 900 | 697 | 65 |5592 |3336 | 0.000000e+00 | -- | Inf
20.89/20.99 c 21.0s| 13800 | 1099 |113612 | 8.1 |9336k| 206 | 21 | 900 |1621 | 900 | 697 | 65 |5601 |3345 | 0.000000e+00 | -- | Inf
20.97/21.08 c 21.1s| 13900 | 1098 |114537 | 8.1 |9325k| 206 | - | 900 |1606 | 900 | 697 | 65 |5604 |3345 | 0.000000e+00 | -- | Inf
21.07/21.17 c 21.2s| 14000 | 1102 |115552 | 8.1 |9328k| 206 | 18 | 900 |1605 | 900 | 697 | 65 |5608 |3345 | 0.000000e+00 | -- | Inf
21.17/21.26 c 21.3s| 14100 | 1096 |116299 | 8.1 |9338k| 206 | - | 900 |1620 | 900 | 697 | 65 |5644 |3346 | 0.000000e+00 | -- | Inf
21.27/21.35 c 21.3s| 14200 | 1094 |117110 | 8.1 |9332k| 206 | 21 | 900 |1620 | 900 | 697 | 65 |5654 |3346 | 0.000000e+00 | -- | Inf
21.38/21.44 c 21.4s| 14300 | 1096 |117931 | 8.1 |9344k| 206 | 18 | 900 |1631 | 900 | 697 | 65 |5678 |3346 | 0.000000e+00 | -- | Inf
21.48/21.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.48/21.53 c 21.5s| 14400 | 1090 |118825 | 8.1 |9305k| 206 | 20 | 900 |1602 | 900 | 697 | 65 |5719 |3348 | 0.000000e+00 | -- | Inf
21.57/21.63 c 21.6s| 14500 | 1100 |119547 | 8.1 |9328k| 206 | 16 | 900 |1609 | 900 | 697 | 65 |5773 |3355 | 0.000000e+00 | -- | Inf
21.68/21.73 c 21.7s| 14600 | 1094 |120277 | 8.1 |9363k| 206 | - | 900 |1660 | 900 | 697 | 65 |5830 |3355 | 0.000000e+00 | -- | Inf
21.78/21.82 c 21.8s| 14700 | 1096 |120880 | 8.1 |9413k| 206 | 16 | 900 |1720 | 900 | 697 | 65 |5913 |3355 | 0.000000e+00 | -- | Inf
21.88/21.92 c 21.9s| 14800 | 1091 |121517 | 8.1 |9439k| 206 | 18 | 900 |1776 | 900 | 697 | 65 |6009 |3356 | 0.000000e+00 | -- | Inf
21.98/22.03 c 22.0s| 14900 | 1091 |122306 | 8.1 |9354k| 206 | 23 | 900 |1654 | 900 | 697 | 65 |6042 |3365 | 0.000000e+00 | -- | Inf
22.08/22.13 c 22.1s| 15000 | 1085 |123233 | 8.1 |9326k| 206 | - | 900 |1632 | 900 | 697 | 65 |6059 |3369 | 0.000000e+00 | -- | Inf
22.17/22.22 c 22.2s| 15100 | 1084 |123904 | 8.1 |9249k| 206 | - | 900 |1518 | 900 | 697 | 65 |6075 |3374 | 0.000000e+00 | -- | Inf
22.27/22.31 c 22.3s| 15200 | 1083 |124724 | 8.1 |9252k| 206 | - | 900 |1521 | 900 | 697 | 65 |6110 |3377 | 0.000000e+00 | -- | Inf
22.27/22.39 c 22.4s| 15300 | 1086 |125495 | 8.1 |9253k| 206 | 21 | 900 |1517 | 900 | 697 | 65 |6119 |3377 | 0.000000e+00 | -- | Inf
22.37/22.49 c 22.5s| 15400 | 1088 |126260 | 8.1 |9287k| 206 | - | 900 |1556 | 900 | 697 | 65 |6163 |3383 | 0.000000e+00 | -- | Inf
22.48/22.58 c 22.6s| 15500 | 1086 |127085 | 8.1 |9317k| 206 | - | 900 |1603 | 0 | 0 | 65 |6214 |3384 | 0.000000e+00 | -- | Inf
22.57/22.67 c 22.7s| 15600 | 1090 |127751 | 8.0 |9330k| 206 | 18 | 900 |1612 | 900 | 697 | 65 |6260 |3384 | 0.000000e+00 | -- | Inf
22.67/22.77 c 22.8s| 15700 | 1087 |128308 | 8.0 |9382k| 206 | 22 | 900 |1692 | 900 | 697 | 65 |6350 |3384 | 0.000000e+00 | -- | Inf
22.77/22.86 c 22.9s| 15800 | 1081 |128950 | 8.0 |9402k| 206 | 23 | 900 |1743 | 900 | 697 | 65 |6435 |3384 | 0.000000e+00 | -- | Inf
22.87/22.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.87/22.95 c 23.0s| 15900 | 1085 |129690 | 8.0 |9372k| 206 | 22 | 900 |1691 | 900 | 697 | 65 |6464 |3384 | 0.000000e+00 | -- | Inf
22.98/23.04 c 23.0s| 16000 | 1086 |130422 | 8.0 |9376k| 206 | 18 | 900 |1692 | 900 | 697 | 65 |6492 |3384 | 0.000000e+00 | -- | Inf
23.08/23.13 c 23.1s| 16100 | 1086 |131129 | 8.0 |9416k| 206 | - | 900 |1745 | 900 | 697 | 65 |6547 |3384 | 0.000000e+00 | -- | Inf
23.17/23.25 c 23.2s| 16200 | 1088 |131877 | 8.0 |9434k| 206 | 25 | 900 |1770 | 900 | 697 | 65 |6592 |3404 | 0.000000e+00 | -- | Inf
23.28/23.35 c 23.4s| 16300 | 1087 |132499 | 8.0 |9457k| 206 | - | 900 |1802 | 0 | 0 | 65 |6636 |3416 | 0.000000e+00 | -- | Inf
23.37/23.46 c 23.5s| 16400 | 1084 |133307 | 8.0 |9487k| 206 | 22 | 900 |1855 | 900 | 697 | 65 |6697 |3431 | 0.000000e+00 | -- | Inf
23.47/23.58 c 23.6s| 16500 | 1088 |133946 | 8.0 |9531k| 206 | 22 | 900 |1905 | 900 | 697 | 65 |6755 |3451 | 0.000000e+00 | -- | Inf
23.57/23.68 c 23.7s| 16600 | 1084 |134573 | 8.0 |9573k| 206 | - | 900 |1972 | 900 | 697 | 65 |6828 |3454 | 0.000000e+00 | -- | Inf
23.78/23.80 c 23.8s| 16700 | 1081 |135264 | 8.0 |9593k| 206 | - | 900 |2005 | 900 | 697 | 65 |6894 |3465 | 0.000000e+00 | -- | Inf
23.88/23.90 c 23.9s| 16800 | 1081 |135952 | 8.0 |9505k| 206 | 21 | 900 |1891 | 900 | 697 | 65 |6936 |3475 | 0.000000e+00 | -- | Inf
23.97/24.01 c 24.0s| 16900 | 1082 |136851 | 8.0 |9501k| 206 | 23 | 900 |1879 | 900 | 697 | 65 |6972 |3480 | 0.000000e+00 | -- | Inf
24.08/24.11 c 24.1s| 17000 | 1080 |137992 | 8.0 |9458k| 206 | - | 900 |1807 | 900 | 697 | 65 |7001 |3483 | 0.000000e+00 | -- | Inf
24.18/24.22 c 24.2s| 17100 | 1081 |138795 | 8.0 |9372k| 206 | - | 900 |1683 | 900 | 697 | 65 |7043 |3484 | 0.000000e+00 | -- | Inf
24.27/24.31 c 24.3s| 17200 | 1081 |139388 | 8.0 |9369k| 206 | 18 | 900 |1675 | 900 | 697 | 65 |7078 |3485 | 0.000000e+00 | -- | Inf
24.38/24.40 c 24.4s| 17300 | 1079 |139945 | 8.0 |9386k| 206 | - | 900 |1701 | 900 | 697 | 65 |7107 |3487 | 0.000000e+00 | -- | Inf
24.38/24.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.38/24.49 c 24.5s| 17400 | 1079 |140409 | 7.9 |9383k| 206 | 24 | 900 |1704 | 900 | 697 | 65 |7144 |3488 | 0.000000e+00 | -- | Inf
24.47/24.59 c 24.6s| 17500 | 1081 |141047 | 7.9 |9393k| 206 | - | 900 |1704 | 900 | 697 | 65 |7201 |3493 | 0.000000e+00 | -- | Inf
24.57/24.69 c 24.7s| 17600 | 1081 |141790 | 7.9 |9427k| 206 | - | 900 |1746 | 900 | 697 | 65 |7310 |3493 | 0.000000e+00 | -- | Inf
24.68/24.79 c 24.8s| 17700 | 1078 |142572 | 7.9 |9451k| 206 | - | 900 |1777 | 900 | 697 | 65 |7398 |3494 | 0.000000e+00 | -- | Inf
24.77/24.88 c 24.9s| 17800 | 1080 |143287 | 7.9 |9429k| 206 | - | 900 |1747 | 900 | 697 | 65 |7428 |3496 | 0.000000e+00 | -- | Inf
24.88/24.98 c 25.0s| 17900 | 1078 |143967 | 7.9 |9397k| 206 | 18 | 900 |1710 | 900 | 697 | 65 |7461 |3497 | 0.000000e+00 | -- | Inf
24.98/25.07 c 25.1s| 18000 | 1082 |144970 | 7.9 |9354k| 206 | - | 900 |1626 | 900 | 697 | 65 |7471 |3502 | 0.000000e+00 | -- | Inf
25.07/25.16 c 25.2s| 18100 | 1086 |145699 | 7.9 |9326k| 206 | 16 | 900 |1580 | 900 | 697 | 65 |7483 |3505 | 0.000000e+00 | -- | Inf
25.19/25.25 c 25.2s| 18200 | 1083 |146455 | 7.9 |9337k| 206 | 25 | 900 |1602 | 900 | 697 | 65 |7513 |3505 | 0.000000e+00 | -- | Inf
25.28/25.34 c 25.3s| 18300 | 1083 |146956 | 7.9 |9326k| 206 | 21 | 900 |1586 | 900 | 697 | 65 |7517 |3520 | 0.000000e+00 | -- | Inf
25.38/25.42 c 25.4s| 18400 | 1085 |147505 | 7.9 |9334k| 206 | - | 900 |1586 | 900 | 697 | 65 |7520 |3524 | 0.000000e+00 | -- | Inf
25.47/25.50 c 25.5s| 18500 | 1083 |148048 | 7.9 |9340k| 206 | 18 | 900 |1600 | 900 | 697 | 65 |7534 |3524 | 0.000000e+00 | -- | Inf
25.47/25.59 c 25.6s| 18600 | 1082 |148921 | 7.9 |9266k| 206 | 22 | 900 |1496 | 900 | 697 | 65 |7554 |3530 | 0.000000e+00 | -- | Inf
25.57/25.68 c 25.7s| 18700 | 1089 |149480 | 7.9 |9292k| 206 | 20 | 900 |1517 | 900 | 697 | 65 |7587 |3531 | 0.000000e+00 | -- | Inf
25.67/25.76 c 25.8s| 18800 | 1086 |150152 | 7.9 |9308k| 206 | 22 | 900 |1542 | 900 | 697 | 65 |7614 |3531 | 0.000000e+00 | -- | Inf
25.77/25.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.77/25.85 c 25.9s| 18900 | 1079 |150745 | 7.9 |9320k| 206 | - | 900 |1570 | 900 | 697 | 65 |7672 |3533 | 0.000000e+00 | -- | Inf
25.87/25.94 c 25.9s| 19000 | 1083 |151583 | 7.9 |9298k| 206 | 16 | 900 |1531 | 900 | 697 | 65 |7677 |3533 | 0.000000e+00 | -- | Inf
25.98/26.01 c 26.0s| 19100 | 1089 |152214 | 7.8 |9310k| 206 | 10 | 900 |1532 | 900 | 697 | 65 |7680 |3533 | 0.000000e+00 | -- | Inf
25.98/26.08 c 26.1s| 19200 | 1087 |152686 | 7.8 |9311k| 206 | 16 | 900 |1536 | 900 | 697 | 65 |7684 |3533 | 0.000000e+00 | -- | Inf
26.07/26.16 c 26.2s| 19300 | 1083 |153210 | 7.8 |9305k| 206 | - | 900 |1533 | 900 | 697 | 65 |7695 |3534 | 0.000000e+00 | -- | Inf
26.17/26.24 c 26.2s| 19400 | 1077 |153776 | 7.8 |9293k| 206 | - | 900 |1532 | 900 | 697 | 65 |7704 |3534 | 0.000000e+00 | -- | Inf
26.28/26.33 c 26.3s| 19500 | 1079 |154339 | 7.8 |9304k| 206 | - | 900 |1543 | 900 | 697 | 65 |7744 |3538 | 0.000000e+00 | -- | Inf
26.38/26.41 c 26.4s| 19600 | 1087 |154895 | 7.8 |9313k| 206 | 12 | 900 |1539 | 900 | 697 | 65 |7774 |3540 | 0.000000e+00 | -- | Inf
26.38/26.49 c 26.5s| 19700 | 1085 |155443 | 7.8 |9319k| 206 | 10 | 900 |1552 | 900 | 697 | 65 |7817 |3541 | 0.000000e+00 | -- | Inf
26.48/26.58 c 26.6s| 19800 | 1083 |156003 | 7.8 |9397k| 206 | 22 | 900 |1659 | 900 | 697 | 65 |7941 |3541 | 0.000000e+00 | -- | Inf
26.58/26.67 c 26.7s| 19900 | 1086 |156779 | 7.8 |9412k| 206 | 19 | 900 |1679 | 900 | 697 | 65 |8003 |3542 | 0.000000e+00 | -- | Inf
26.68/26.78 c 26.8s| 20000 | 1082 |157715 | 7.8 |9397k| 206 | 22 | 900 |1669 | 900 | 697 | 65 |8037 |3558 | 0.000000e+00 | -- | Inf
26.77/26.89 c 26.9s| 20100 | 1088 |158593 | 7.8 |9410k| 206 | 24 | 900 |1674 | 900 | 697 | 65 |8048 |3567 | 0.000000e+00 | -- | Inf
26.87/26.98 c 27.0s| 20200 | 1084 |159526 | 7.8 |9411k| 206 | 24 | 900 |1685 | 900 | 697 | 65 |8061 |3567 | 0.000000e+00 | -- | Inf
26.98/27.06 c 27.1s| 20300 | 1084 |160267 | 7.8 |9408k| 206 | 25 | 900 |1678 | 900 | 697 | 65 |8096 |3567 | 0.000000e+00 | -- | Inf
27.07/27.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.07/27.15 c 27.2s| 20400 | 1084 |161192 | 7.8 |9404k| 206 | - | 900 |1669 | 900 | 697 | 65 |8113 |3567 | 0.000000e+00 | -- | Inf
27.18/27.24 c 27.2s| 20500 | 1094 |161620 | 7.8 |9414k| 206 | - | 900 |1660 | 900 | 697 | 65 |8116 |3584 | 0.000000e+00 | -- | Inf
27.28/27.33 c 27.3s| 20600 | 1094 |162049 | 7.8 |9420k| 206 | - | 900 |1666 | 900 | 697 | 65 |8130 |3594 | 0.000000e+00 | -- | Inf
27.39/27.41 c 27.4s| 20700 | 1088 |162498 | 7.7 |9421k| 206 | - | 900 |1677 | 900 | 697 | 65 |8147 |3598 | 0.000000e+00 | -- | Inf
27.39/27.48 c 27.5s| 20800 | 1090 |163023 | 7.7 |9424k| 206 | - | 900 |1680 | 900 | 697 | 65 |8155 |3598 | 0.000000e+00 | -- | Inf
27.49/27.56 c 27.6s| 20900 | 1088 |163618 | 7.7 |9447k| 206 | 20 | 900 |1715 | 900 | 697 | 65 |8195 |3599 | 0.000000e+00 | -- | Inf
27.57/27.64 c 27.6s| 21000 | 1096 |164210 | 7.7 |9459k| 206 | 22 | 900 |1717 | 900 | 697 | 65 |8200 |3599 | 0.000000e+00 | -- | Inf
27.68/27.71 c 27.7s| 21100 | 1096 |164891 | 7.7 |9462k| 206 | - | 900 |1715 | 900 | 697 | 65 |8205 |3600 | 0.000000e+00 | -- | Inf
27.68/27.78 c 27.8s| 21200 | 1100 |165452 | 7.7 |9462k| 206 | - | 900 |1707 | 900 | 697 | 65 |8206 |3600 | 0.000000e+00 | -- | Inf
27.77/27.86 c 27.9s| 21300 | 1094 |166015 | 7.7 |9448k| 206 | 16 | 900 |1702 | 900 | 697 | 65 |8206 |3601 | 0.000000e+00 | -- | Inf
27.88/27.94 c 27.9s| 21400 | 1094 |166667 | 7.7 |9455k| 206 | - | 900 |1706 | 900 | 697 | 65 |8214 |3601 | 0.000000e+00 | -- | Inf
27.97/28.01 c 28.0s| 21500 | 1090 |167285 | 7.7 |9446k| 206 | 18 | 900 |1712 | 900 | 697 | 65 |8220 |3601 | 0.000000e+00 | -- | Inf
27.97/28.09 c 28.1s| 21600 | 1100 |167807 | 7.7 |9462k| 206 | - | 900 |1708 | 900 | 697 | 65 |8229 |3607 | 0.000000e+00 | -- | Inf
28.07/28.17 c 28.2s| 21700 | 1096 |168389 | 7.7 |9471k| 206 | - | 900 |1727 | 900 | 697 | 65 |8256 |3607 | 0.000000e+00 | -- | Inf
28.17/28.25 c 28.3s| 21800 | 1085 |169070 | 7.7 |9432k| 206 | - | 900 |1702 | 900 | 697 | 65 |8272 |3608 | 0.000000e+00 | -- | Inf
28.27/28.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.27/28.34 c 28.3s| 21900 | 1083 |169682 | 7.6 |9426k| 206 | - | 900 |1694 | 900 | 697 | 65 |8281 |3608 | 0.000000e+00 | -- | Inf
28.37/28.43 c 28.4s| 22000 | 1077 |170589 | 7.7 |9377k| 206 | 22 | 900 |1657 | 900 | 697 | 65 |8308 |3608 | 0.000000e+00 | -- | Inf
28.47/28.52 c 28.5s| 22100 | 1079 |171410 | 7.7 |9339k| 206 | - | 900 |1597 | 900 | 697 | 65 |8318 |3611 | 0.000000e+00 | -- | Inf
28.58/28.62 c 28.6s| 22200 | 1075 |172277 | 7.7 |9285k| 206 | 23 | 900 |1524 | 900 | 697 | 65 |8328 |3616 | 0.000000e+00 | -- | Inf
28.58/28.69 c 28.7s| 22300 | 1075 |172750 | 7.6 |9265k| 206 | - | 900 |1482 | 900 | 697 | 65 |8335 |3619 | 0.000000e+00 | -- | Inf
28.68/28.77 c 28.8s| 22400 | 1079 |173228 | 7.6 |9238k| 206 | 20 | 900 |1435 | 900 | 697 | 65 |8351 |3623 | 0.000000e+00 | -- | Inf
28.77/28.85 c 28.8s| 22500 | 1079 |173769 | 7.6 |9230k| 206 | - | 900 |1420 | 900 | 697 | 65 |8362 |3628 | 0.000000e+00 | -- | Inf
28.87/28.93 c 28.9s| 22600 | 1076 |174495 | 7.6 |9201k| 206 | - | 900 |1406 | 900 | 697 | 65 |8366 |3632 | 0.000000e+00 | -- | Inf
28.98/29.02 c 29.0s| 22700 | 1082 |175299 | 7.6 |9202k| 206 | 22 | 900 |1388 | 900 | 697 | 65 |8375 |3638 | 0.000000e+00 | -- | Inf
29.07/29.12 c 29.1s| 22800 | 1088 |176004 | 7.6 |9219k| 206 | 20 | 900 |1399 | 900 | 697 | 65 |8395 |3647 | 0.000000e+00 | -- | Inf
29.17/29.21 c 29.2s| 22900 | 1084 |176489 | 7.6 |9212k| 206 | 22 | 900 |1396 | 900 | 697 | 65 |8398 |3666 | 0.000000e+00 | -- | Inf
29.27/29.31 c 29.3s| 23000 | 1074 |177127 | 7.6 |9201k| 206 | 18 | 900 |1407 | 900 | 697 | 65 |8414 |3684 | 0.000000e+00 | -- | Inf
29.37/29.40 c 29.4s| 23100 | 1086 |177715 | 7.6 |9233k| 206 | - | 900 |1420 | 900 | 697 | 65 |8437 |3698 | 0.000000e+00 | -- | Inf
29.47/29.50 c 29.5s| 23200 | 1088 |178275 | 7.6 |9241k| 206 | 22 | 900 |1428 | 900 | 697 | 65 |8461 |3712 | 0.000000e+00 | -- | Inf
29.47/29.60 c 29.6s| 23300 | 1086 |178815 | 7.6 |9256k| 206 | 22 | 900 |1446 | 900 | 697 | 65 |8482 |3734 | 0.000000e+00 | -- | Inf
29.58/29.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.58/29.69 c 29.7s| 23400 | 1079 |179374 | 7.6 |9250k| 206 | - | 900 |1450 | 900 | 697 | 65 |8503 |3740 | 0.000000e+00 | -- | Inf
29.77/29.81 c 29.8s| 23500 | 1069 |180001 | 7.6 |9226k| 206 | 20 | 900 |1461 | 900 | 697 | 65 |8530 |3773 | 0.000000e+00 | -- | Inf
29.88/29.93 c 29.9s| 23600 | 1069 |180732 | 7.6 |9242k| 206 | - | 900 |1478 | 900 | 697 | 65 |8556 |3800 | 0.000000e+00 | -- | Inf
29.97/30.03 c 30.0s| 23700 | 1072 |181530 | 7.6 |9189k| 206 | - | 900 |1386 | 900 | 697 | 65 |8574 |3812 | 0.000000e+00 | -- | Inf
30.07/30.13 c 30.1s| 23800 | 1077 |182297 | 7.6 |9218k| 206 | 23 | 900 |1410 | 900 | 697 | 65 |8643 |3813 | 0.000000e+00 | -- | Inf
30.17/30.22 c 30.2s| 23900 | 1071 |183467 | 7.6 |9197k| 206 | 27 | 900 |1391 | 900 | 697 | 65 |8652 |3813 | 0.000000e+00 | -- | Inf
30.27/30.31 c 30.3s| 24000 | 1075 |184580 | 7.6 |9208k| 206 | 23 | 900 |1396 | 900 | 697 | 65 |8673 |3813 | 0.000000e+00 | -- | Inf
30.38/30.41 c 30.4s| 24100 | 1073 |185568 | 7.6 |9227k| 206 | 20 | 900 |1431 | 900 | 697 | 65 |8710 |3813 | 0.000000e+00 | -- | Inf
30.38/30.49 c 30.5s| 24200 | 1071 |186339 | 7.6 |9243k| 206 | - | 900 |1451 | 900 | 697 | 65 |8745 |3813 | 0.000000e+00 | -- | Inf
30.47/30.58 c 30.6s| 24300 | 1071 |187137 | 7.6 |9246k| 206 | - | 900 |1458 | 900 | 697 | 65 |8776 |3813 | 0.000000e+00 | -- | Inf
30.57/30.68 c 30.7s| 24400 | 1067 |187888 | 7.6 |9251k| 206 | - | 900 |1483 | 900 | 697 | 65 |8834 |3813 | 0.000000e+00 | -- | Inf
30.68/30.77 c 30.8s| 24500 | 1065 |188759 | 7.6 |9225k| 206 | - | 900 |1447 | 900 | 697 | 65 |8838 |3817 | 0.000000e+00 | -- | Inf
30.78/30.85 c 30.9s| 24600 | 1070 |189426 | 7.6 |9222k| 206 | 25 | 900 |1438 | 900 | 697 | 65 |8868 |3817 | 0.000000e+00 | -- | Inf
30.88/30.95 c 31.0s| 24700 | 1068 |190501 | 7.6 |9225k| 206 | 21 | 900 |1446 | 900 | 697 | 65 |8885 |3818 | 0.000000e+00 | -- | Inf
30.98/31.05 c 31.1s| 24800 | 1068 |191288 | 7.6 |9150k| 206 | 26 | 900 |1365 | 900 | 697 | 65 |8932 |3819 | 0.000000e+00 | -- | Inf
31.08/31.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.08/31.16 c 31.2s| 24900 | 1079 |192350 | 7.6 |9061k| 206 | 21 | 900 |1197 | 900 | 697 | 65 |9006 |3823 | 0.000000e+00 | -- | Inf
31.17/31.27 c 31.3s| 25000 | 1074 |193564 | 7.7 |9036k| 206 | - | 900 |1159 | 900 | 697 | 65 |9069 |3825 | 0.000000e+00 | -- | Inf
31.27/31.39 c 31.4s| 25100 | 1073 |194641 | 7.7 |9062k| 206 | - | 900 |1192 | 900 | 697 | 65 |9155 |3827 | 0.000000e+00 | -- | Inf
31.47/31.51 c 31.5s| 25200 | 1074 |195818 | 7.7 |9128k| 206 | - | 900 |1281 | 900 | 697 | 65 |9269 |3827 | 0.000000e+00 | -- | Inf
31.58/31.63 c 31.6s| 25300 | 1072 |197000 | 7.7 |9177k| 206 | - | 900 |1364 | 900 | 697 | 65 |9368 |3828 | 0.000000e+00 | -- | Inf
31.67/31.74 c 31.7s| 25400 | 1067 |198022 | 7.7 |9106k| 206 | 26 | 900 |1276 | 900 | 697 | 65 |9431 |3832 | 0.000000e+00 | -- | Inf
31.78/31.85 c 31.9s| 25500 | 1073 |198969 | 7.7 |9044k| 206 | 22 | 900 |1167 | 900 | 697 | 65 |9532 |3836 | 0.000000e+00 | -- | Inf
31.87/31.97 c 32.0s| 25600 | 1074 |200068 | 7.7 |9067k| 206 | 23 | 900 |1189 | 900 | 697 | 65 |9619 |3836 | 0.000000e+00 | -- | Inf
31.97/32.08 c 32.1s| 25700 | 1072 |200850 | 7.7 |9080k| 206 | - | 900 |1198 | 900 | 697 | 65 |9718 |3843 | 0.000000e+00 | -- | Inf
32.17/32.20 c 32.2s| 25800 | 1067 |202048 | 7.7 |9098k| 206 | - | 900 |1237 | 900 | 697 | 65 |9825 |3849 | 0.000000e+00 | -- | Inf
32.27/32.32 c 32.3s| 25900 | 1068 |203267 | 7.8 |9156k| 206 | - | 900 |1325 | 900 | 697 | 65 |9917 |3854 | 0.000000e+00 | -- | Inf
32.37/32.42 c 32.4s| 26000 | 1066 |204149 | 7.8 |9187k| 206 | - | 900 |1382 | 900 | 697 | 65 |9977 |3857 | 0.000000e+00 | -- | Inf
32.47/32.52 c 32.5s| 26100 | 1066 |204931 | 7.8 |9209k| 206 | - | 900 |1416 | 900 | 697 | 65 | 10k|3857 | 0.000000e+00 | -- | Inf
32.57/32.62 c 32.6s| 26200 | 1064 |206036 | 7.8 |9223k| 206 | - | 900 |1443 | 900 | 697 | 65 | 10k|3857 | 0.000000e+00 | -- | Inf
32.68/32.73 c 32.7s| 26300 | 1066 |207202 | 7.8 |8988k| 206 | 20 | 900 |1097 | 900 | 697 | 65 | 10k|3858 | 0.000000e+00 | -- | Inf
32.77/32.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.77/32.82 c 32.8s| 26400 | 1065 |208044 | 7.8 |8965k| 206 | 18 | 900 |1086 | 900 | 697 | 65 | 10k|3858 | 0.000000e+00 | -- | Inf
32.87/32.92 c 32.9s| 26500 | 1061 |208830 | 7.8 |8990k| 206 | 23 | 900 |1128 | 900 | 697 | 65 | 10k|3860 | 0.000000e+00 | -- | Inf
32.98/33.02 c 33.0s| 26600 | 1067 |209863 | 7.8 |8989k| 206 | - | 900 |1107 | 900 | 697 | 65 | 10k|3862 | 0.000000e+00 | -- | Inf
33.07/33.12 c 33.1s| 26700 | 1067 |210885 | 7.8 |8974k| 206 | 20 | 900 |1080 | 900 | 697 | 65 | 10k|3867 | 0.000000e+00 | -- | Inf
33.17/33.21 c 33.2s| 26800 | 1070 |211979 | 7.8 |8970k| 206 | 22 | 900 |1066 | 900 | 697 | 65 | 10k|3867 | 0.000000e+00 | -- | Inf
33.27/33.31 c 33.3s| 26900 | 1066 |213168 | 7.8 |8967k| 206 | 25 | 900 |1071 | 900 | 697 | 65 | 10k|3867 | 0.000000e+00 | -- | Inf
33.38/33.40 c 33.4s| 27000 | 1070 |214246 | 7.9 |9000k| 206 | - | 900 |1101 | 900 | 697 | 65 | 10k|3867 | 0.000000e+00 | -- | Inf
33.38/33.49 c 33.5s| 27100 | 1069 |215361 | 7.9 |8996k| 206 | 18 | 900 |1103 | 900 | 697 | 65 | 10k|3867 | 0.000000e+00 | -- | Inf
33.47/33.59 c 33.6s| 27200 | 1069 |216475 | 7.9 |9000k| 206 | 21 | 900 |1108 | 900 | 697 | 65 | 10k|3867 | 0.000000e+00 | -- | Inf
33.57/33.68 c 33.7s| 27300 | 1065 |217545 | 7.9 |8993k| 206 | 21 | 900 |1110 | 900 | 697 | 65 | 10k|3867 | 0.000000e+00 | -- | Inf
33.68/33.76 c 33.8s| 27400 | 1069 |218380 | 7.9 |9008k| 206 | 21 | 900 |1123 | 900 | 697 | 65 | 10k|3867 | 0.000000e+00 | -- | Inf
33.77/33.84 c 33.8s| 27500 | 1073 |219121 | 7.9 |9018k| 206 | 24 | 900 |1125 | 900 | 697 | 65 | 10k|3867 | 0.000000e+00 | -- | Inf
33.88/33.93 c 33.9s| 27600 | 1073 |220035 | 7.9 |9033k| 206 | - | 900 |1140 | 900 | 697 | 65 | 10k|3871 | 0.000000e+00 | -- | Inf
33.97/34.01 c 34.0s| 27700 | 1071 |220763 | 7.9 |9050k| 206 | - | 900 |1160 | 900 | 697 | 65 | 10k|3871 | 0.000000e+00 | -- | Inf
33.97/34.09 c 34.1s| 27800 | 1071 |221450 | 7.9 |9041k| 206 | 16 | 900 |1152 | 900 | 697 | 65 | 10k|3871 | 0.000000e+00 | -- | Inf
34.08/34.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.08/34.18 c 34.2s| 27900 | 1070 |222379 | 7.9 |9039k| 206 | - | 900 |1150 | 900 | 697 | 65 | 10k|3871 | 0.000000e+00 | -- | Inf
34.17/34.26 c 34.3s| 28000 | 1066 |223284 | 7.9 |9036k| 206 | - | 900 |1160 | 900 | 697 | 65 | 10k|3871 | 0.000000e+00 | -- | Inf
34.27/34.36 c 34.4s| 28100 | 1072 |224129 | 7.9 |9032k| 206 | 18 | 900 |1146 | 900 | 697 | 65 | 10k|3877 | 0.000000e+00 | -- | Inf
34.38/34.44 c 34.4s| 28200 | 1072 |224726 | 7.9 |9037k| 206 | - | 900 |1148 | 900 | 697 | 65 | 10k|3879 | 0.000000e+00 | -- | Inf
34.47/34.54 c 34.5s| 28300 | 1074 |225612 | 7.9 |9055k| 206 | - | 900 |1171 | 900 | 697 | 65 | 10k|3882 | 0.000000e+00 | -- | Inf
34.58/34.65 c 34.6s| 28400 | 1073 |226633 | 7.9 |9071k| 206 | 14 | 900 |1202 | 900 | 697 | 65 | 10k|3889 | 0.000000e+00 | -- | Inf
34.68/34.74 c 34.7s| 28500 | 1073 |227264 | 7.9 |9091k| 206 | - | 900 |1227 | 900 | 697 | 65 | 10k|3894 | 0.000000e+00 | -- | Inf
34.77/34.81 c 34.8s| 28600 | 1081 |227946 | 7.9 |9097k| 206 | - | 900 |1223 | 900 | 697 | 65 | 10k|3896 | 0.000000e+00 | -- | Inf
34.87/34.90 c 34.9s| 28700 | 1085 |228772 | 7.9 |9104k| 206 | 24 | 900 |1220 | 900 | 697 | 65 | 10k|3904 | 0.000000e+00 | -- | Inf
34.87/34.99 c 35.0s| 28800 | 1087 |229431 | 7.9 |9129k| 206 | - | 900 |1251 | 900 | 697 | 65 | 10k|3907 | 0.000000e+00 | -- | Inf
34.97/35.08 c 35.1s| 28900 | 1095 |230164 | 7.9 |9147k| 206 | - | 900 |1255 | 900 | 697 | 65 | 10k|3914 | 0.000000e+00 | -- | Inf
35.08/35.16 c 35.2s| 29000 | 1101 |230747 | 7.9 |9158k| 206 | - | 900 |1256 | 900 | 697 | 65 | 10k|3922 | 0.000000e+00 | -- | Inf
35.18/35.24 c 35.2s| 29100 | 1103 |231276 | 7.9 |9167k| 206 | 18 | 900 |1266 | 900 | 697 | 65 | 10k|3934 | 0.000000e+00 | -- | Inf
35.27/35.32 c 35.3s| 29200 | 1109 |231698 | 7.9 |9180k| 206 | 18 | 900 |1270 | 900 | 697 | 65 | 10k|3938 | 0.000000e+00 | -- | Inf
35.37/35.40 c 35.4s| 29300 | 1115 |232221 | 7.8 |9200k| 206 | 18 | 900 |1281 | 900 | 697 | 65 | 10k|3945 | 0.000000e+00 | -- | Inf
35.37/35.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.37/35.48 c 35.5s| 29400 | 1115 |232802 | 7.8 |9207k| 206 | 14 | 900 |1290 | 900 | 697 | 65 | 10k|3951 | 0.000000e+00 | -- | Inf
35.47/35.57 c 35.6s| 29500 | 1113 |233397 | 7.8 |9214k| 206 | 19 | 900 |1306 | 900 | 697 | 65 | 10k|3962 | 0.000000e+00 | -- | Inf
35.57/35.66 c 35.7s| 29600 | 1107 |234013 | 7.8 |9208k| 206 | 22 | 900 |1311 | 900 | 697 | 65 | 10k|3970 | 0.000000e+00 | -- | Inf
35.67/35.75 c 35.8s| 29700 | 1105 |234627 | 7.8 |9194k| 206 | 21 | 900 |1300 | 900 | 697 | 65 | 10k|3986 | 0.000000e+00 | -- | Inf
35.77/35.84 c 35.8s| 29800 | 1101 |235303 | 7.8 |9183k| 206 | 16 | 900 |1292 | 900 | 697 | 65 | 10k|3999 | 0.000000e+00 | -- | Inf
35.87/35.93 c 35.9s| 29900 | 1099 |235920 | 7.8 |9175k| 206 | 25 | 900 |1287 | 900 | 697 | 65 | 10k|4014 | 0.000000e+00 | -- | Inf
35.97/36.02 c 36.0s| 30000 | 1099 |236560 | 7.8 |9178k| 206 | 22 | 900 |1292 | 900 | 697 | 65 | 10k|4021 | 0.000000e+00 | -- | Inf
36.07/36.11 c 36.1s| 30100 | 1097 |237295 | 7.8 |9170k| 206 | - | 900 |1280 | 900 | 697 | 65 | 10k|4027 | 0.000000e+00 | -- | Inf
36.07/36.19 c 36.2s| 30200 | 1101 |238117 | 7.8 |9175k| 206 | - | 900 |1276 | 900 | 697 | 65 | 10k|4028 | 0.000000e+00 | -- | Inf
36.17/36.27 c 36.3s| 30300 | 1107 |238800 | 7.8 |9183k| 206 | - | 900 |1277 | 900 | 697 | 65 | 10k|4033 | 0.000000e+00 | -- | Inf
36.28/36.37 c 36.4s| 30400 | 1109 |239622 | 7.8 |9185k| 206 | - | 900 |1270 | 900 | 697 | 65 | 10k|4046 | 0.000000e+00 | -- | Inf
36.37/36.45 c 36.5s| 30500 | 1111 |240238 | 7.8 |9181k| 206 | - | 900 |1257 | 900 | 697 | 65 | 10k|4050 | 0.000000e+00 | -- | Inf
36.47/36.55 c 36.5s| 30600 | 1115 |241034 | 7.8 |9181k| 206 | 27 | 900 |1251 | 900 | 697 | 65 | 10k|4058 | 0.000000e+00 | -- | Inf
36.57/36.65 c 36.7s| 30700 | 1117 |242295 | 7.8 |9187k| 206 | - | 900 |1253 | 900 | 697 | 65 | 10k|4068 | 0.000000e+00 | -- | Inf
36.67/36.75 c 36.8s| 30800 | 1115 |242994 | 7.8 |9214k| 206 | - | 900 |1293 | 900 | 697 | 65 | 10k|4072 | 0.000000e+00 | -- | Inf
36.77/36.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.77/36.82 c 36.8s| 30900 | 1113 |243418 | 7.8 |9211k| 206 | - | 900 |1294 | 900 | 697 | 65 | 10k|4074 | 0.000000e+00 | -- | Inf
36.88/36.90 c 36.9s| 31000 | 1113 |243916 | 7.8 |9210k| 206 | 18 | 900 |1298 | 900 | 697 | 65 | 10k|4078 | 0.000000e+00 | -- | Inf
36.88/36.99 c 37.0s| 31100 | 1111 |244486 | 7.8 |9220k| 206 | - | 900 |1315 | 900 | 697 | 65 | 10k|4083 | 0.000000e+00 | -- | Inf
36.97/37.07 c 37.1s| 31200 | 1107 |245024 | 7.8 |9205k| 206 | 21 | 900 |1307 | 900 | 697 | 65 | 10k|4087 | 0.000000e+00 | -- | Inf
37.07/37.19 c 37.2s| 31300 | 1109 |246686 | 7.8 |9205k| 206 | - | 900 |1298 | 900 | 697 | 65 | 10k|4099 | 0.000000e+00 | -- | Inf
37.17/37.29 c 37.3s| 31400 | 1115 |247646 | 7.8 |9213k| 206 | - | 900 |1298 | 900 | 697 | 65 | 10k|4108 | 0.000000e+00 | -- | Inf
37.28/37.38 c 37.4s| 31500 | 1113 |248310 | 7.8 |9225k| 206 | 18 | 900 |1322 | 900 | 697 | 65 | 10k|4114 | 0.000000e+00 | -- | Inf
37.38/37.48 c 37.5s| 31600 | 1123 |249005 | 7.8 |9257k| 206 | 12 | 900 |1346 | 900 | 697 | 65 | 10k|4121 | 0.000000e+00 | -- | Inf
37.48/37.55 c 37.5s| 31700 | 1121 |249430 | 7.8 |9261k| 206 | - | 900 |1354 | 900 | 697 | 65 | 10k|4122 | 0.000000e+00 | -- | Inf
37.57/37.62 c 37.6s| 31800 | 1122 |249999 | 7.8 |9268k| 206 | 21 | 900 |1361 | 900 | 697 | 65 | 10k|4125 | 0.000000e+00 | -- | Inf
37.68/37.71 c 37.7s| 31900 | 1119 |250621 | 7.8 |9278k| 206 | 24 | 900 |1382 | 900 | 697 | 65 | 10k|4132 | 0.000000e+00 | -- | Inf
37.77/37.81 c 37.8s| 32000 | 1121 |251344 | 7.8 |9298k| 206 | 18 | 900 |1402 | 900 | 697 | 65 | 10k|4146 | 0.000000e+00 | -- | Inf
37.88/37.90 c 37.9s| 32100 | 1119 |252028 | 7.8 |9298k| 206 | 18 | 900 |1409 | 900 | 697 | 65 | 10k|4152 | 0.000000e+00 | -- | Inf
37.88/37.99 c 38.0s| 32200 | 1119 |252598 | 7.8 |9278k| 206 | 22 | 900 |1377 | 900 | 697 | 65 | 10k|4161 | 0.000000e+00 | -- | Inf
37.97/38.08 c 38.1s| 32300 | 1119 |253675 | 7.8 |9274k| 206 | 20 | 900 |1364 | 900 | 697 | 65 | 10k|4167 | 0.000000e+00 | -- | Inf
38.07/38.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.07/38.17 c 38.2s| 32400 | 1117 |254482 | 7.8 |9259k| 206 | 22 | 900 |1348 | 900 | 697 | 65 | 11k|4175 | 0.000000e+00 | -- | Inf
38.17/38.28 c 38.3s| 32500 | 1115 |255612 | 7.8 |9248k| 206 | 22 | 900 |1332 | 900 | 697 | 65 | 11k|4183 | 0.000000e+00 | -- | Inf
38.27/38.37 c 38.4s| 32600 | 1115 |256360 | 7.8 |9249k| 206 | 22 | 900 |1331 | 900 | 697 | 65 | 11k|4191 | 0.000000e+00 | -- | Inf
38.37/38.47 c 38.5s| 32700 | 1117 |256975 | 7.8 |9263k| 206 | - | 900 |1342 | 900 | 697 | 65 | 11k|4202 | 0.000000e+00 | -- | Inf
38.48/38.57 c 38.6s| 32800 | 1115 |257712 | 7.8 |9271k| 206 | 25 | 900 |1359 | 900 | 697 | 65 | 11k|4214 | 0.000000e+00 | -- | Inf
38.57/38.65 c 38.7s| 32900 | 1113 |258275 | 7.8 |9273k| 206 | - | 900 |1359 | 900 | 697 | 65 | 11k|4217 | 0.000000e+00 | -- | Inf
38.67/38.74 c 38.7s| 33000 | 1107 |258887 | 7.8 |9258k| 206 | 18 | 900 |1356 | 900 | 697 | 65 | 11k|4223 | 0.000000e+00 | -- | Inf
38.77/38.84 c 38.8s| 33100 | 1111 |259769 | 7.8 |9265k| 206 | - | 900 |1355 | 900 | 697 | 65 | 11k|4226 | 0.000000e+00 | -- | Inf
38.87/38.94 c 38.9s| 33200 | 1109 |260744 | 7.8 |9265k| 206 | - | 900 |1363 | 900 | 697 | 65 | 11k|4235 | 0.000000e+00 | -- | Inf
38.97/39.04 c 39.0s| 33300 | 1109 |261556 | 7.8 |9284k| 206 | - | 900 |1385 | 900 | 697 | 65 | 11k|4239 | 0.000000e+00 | -- | Inf
39.07/39.13 c 39.1s| 33400 | 1111 |262256 | 7.8 |9274k| 206 | - | 900 |1369 | 900 | 697 | 65 | 11k|4249 | 0.000000e+00 | -- | Inf
39.17/39.22 c 39.2s| 33500 | 1111 |262967 | 7.8 |9276k| 206 | - | 900 |1366 | 900 | 697 | 65 | 11k|4256 | 0.000000e+00 | -- | Inf
39.27/39.32 c 39.3s| 33600 | 1115 |263723 | 7.8 |9265k| 206 | - | 900 |1349 | 900 | 697 | 65 | 11k|4266 | 0.000000e+00 | -- | Inf
39.37/39.42 c 39.4s| 33700 | 1117 |264622 | 7.8 |9241k| 206 | 19 | 900 |1305 | 900 | 697 | 65 | 11k|4276 | 0.000000e+00 | -- | Inf
39.37/39.50 c 39.5s| 33800 | 1119 |265305 | 7.8 |9240k| 206 | 25 | 900 |1297 | 900 | 697 | 65 | 11k|4280 | 0.000000e+00 | -- | Inf
39.48/39.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.48/39.59 c 39.6s| 33900 | 1115 |266134 | 7.8 |9237k| 206 | 26 | 900 |1302 | 900 | 697 | 65 | 11k|4283 | 0.000000e+00 | -- | Inf
39.58/39.68 c 39.7s| 34000 | 1111 |266909 | 7.8 |9228k| 206 | - | 900 |1298 | 900 | 697 | 65 | 11k|4290 | 0.000000e+00 | -- | Inf
39.67/39.77 c 39.8s| 34100 | 1109 |267734 | 7.8 |9221k| 206 | 28 | 900 |1296 | 900 | 697 | 65 | 11k|4296 | 0.000000e+00 | -- | Inf
39.77/39.85 c 39.8s| 34200 | 1113 |268180 | 7.8 |9232k| 206 | - | 900 |1295 | 900 | 697 | 65 | 11k|4302 | 0.000000e+00 | -- | Inf
39.87/39.92 c 39.9s| 34300 | 1109 |268571 | 7.8 |9225k| 206 | - | 900 |1293 | 900 | 697 | 65 | 11k|4308 | 0.000000e+00 | -- | Inf
39.97/40.00 c 40.0s| 34400 | 1105 |269189 | 7.8 |9204k| 206 | 23 | 900 |1291 | 900 | 697 | 65 | 11k|4314 | 0.000000e+00 | -- | Inf
40.07/40.10 c 40.1s| 34500 | 1101 |270095 | 7.8 |9206k| 206 | - | 900 |1298 | 900 | 697 | 65 | 11k|4322 | 0.000000e+00 | -- | Inf
40.07/40.19 c 40.2s| 34600 | 1101 |270811 | 7.8 |9203k| 206 | - | 900 |1297 | 900 | 697 | 65 | 11k|4328 | 0.000000e+00 | -- | Inf
40.17/40.29 c 40.3s| 34700 | 1097 |271690 | 7.8 |9204k| 206 | 20 | 900 |1311 | 900 | 697 | 65 | 11k|4335 | 0.000000e+00 | -- | Inf
40.27/40.39 c 40.4s| 34800 | 1095 |272724 | 7.8 |9204k| 206 | - | 900 |1313 | 900 | 697 | 65 | 11k|4342 | 0.000000e+00 | -- | Inf
40.37/40.49 c 40.5s| 34900 | 1099 |273728 | 7.8 |9200k| 206 | 22 | 900 |1299 | 900 | 697 | 65 | 11k|4346 | 0.000000e+00 | -- | Inf
40.47/40.57 c 40.6s| 35000 | 1095 |274582 | 7.8 |9165k| 206 | 25 | 900 |1252 | 900 | 697 | 65 | 11k|4347 | 0.000000e+00 | -- | Inf
40.58/40.65 c 40.6s| 35100 | 1099 |275304 | 7.8 |9148k| 206 | 24 | 900 |1213 | 900 | 697 | 65 | 11k|4347 | 0.000000e+00 | -- | Inf
40.68/40.73 c 40.7s| 35200 | 1096 |276101 | 7.8 |9145k| 206 | 24 | 900 |1212 | 900 | 697 | 65 | 11k|4349 | 0.000000e+00 | -- | Inf
40.77/40.82 c 40.8s| 35300 | 1094 |276769 | 7.8 |9137k| 206 | 22 | 900 |1205 | 900 | 697 | 65 | 11k|4353 | 0.000000e+00 | -- | Inf
40.87/40.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.87/40.92 c 40.9s| 35400 | 1090 |277825 | 7.8 |9138k| 206 | 24 | 900 |1215 | 900 | 697 | 65 | 11k|4356 | 0.000000e+00 | -- | Inf
40.97/41.03 c 41.0s| 35500 | 1088 |279001 | 7.8 |9119k| 206 | 22 | 900 |1201 | 900 | 697 | 65 | 11k|4365 | 0.000000e+00 | -- | Inf
41.07/41.12 c 41.1s| 35600 | 1092 |279938 | 7.8 |9138k| 206 | - | 900 |1213 | 900 | 697 | 65 | 11k|4369 | 0.000000e+00 | -- | Inf
41.17/41.23 c 41.2s| 35700 | 1090 |280953 | 7.8 |9145k| 206 | - | 900 |1231 | 900 | 697 | 65 | 11k|4375 | 0.000000e+00 | -- | Inf
41.27/41.33 c 41.3s| 35800 | 1086 |281812 | 7.8 |9142k| 206 | - | 900 |1234 | 900 | 697 | 65 | 11k|4384 | 0.000000e+00 | -- | Inf
41.37/41.42 c 41.4s| 35900 | 1090 |282763 | 7.8 |9156k| 206 | - | 900 |1245 | 900 | 697 | 65 | 11k|4387 | 0.000000e+00 | -- | Inf
41.47/41.53 c 41.5s| 36000 | 1088 |283772 | 7.8 |9168k| 206 | 22 | 900 |1274 | 900 | 697 | 65 | 11k|4393 | 0.000000e+00 | -- | Inf
41.57/41.63 c 41.6s| 36100 | 1086 |284789 | 7.8 |9173k| 206 | - | 900 |1283 | 900 | 697 | 65 | 11k|4398 | 0.000000e+00 | -- | Inf
41.68/41.72 c 41.7s| 36200 | 1086 |285722 | 7.8 |9175k| 206 | 19 | 900 |1287 | 900 | 697 | 65 | 11k|4403 | 0.000000e+00 | -- | Inf
41.78/41.81 c 41.8s| 36300 | 1082 |286590 | 7.8 |9156k| 206 | 22 | 900 |1278 | 900 | 697 | 65 | 11k|4404 | 0.000000e+00 | -- | Inf
41.87/41.90 c 41.9s| 36400 | 1083 |287378 | 7.8 |9169k| 206 | - | 900 |1284 | 900 | 697 | 65 | 11k|4406 | 0.000000e+00 | -- | Inf
41.87/41.99 c 42.0s| 36500 | 1079 |288234 | 7.8 |9158k| 206 | 19 | 900 |1289 | 900 | 697 | 65 | 11k|4411 | 0.000000e+00 | -- | Inf
41.97/42.08 c 42.1s| 36600 | 1076 |289098 | 7.8 |9153k| 206 | - | 900 |1287 | 900 | 697 | 65 | 11k|4412 | 0.000000e+00 | -- | Inf
42.07/42.18 c 42.2s| 36700 | 1074 |289977 | 7.8 |9165k| 206 | - | 900 |1308 | 900 | 697 | 65 | 11k|4412 | 0.000000e+00 | -- | Inf
42.17/42.29 c 42.3s| 36800 | 1082 |290983 | 7.8 |9177k| 206 | 16 | 900 |1316 | 900 | 697 | 65 | 11k|4414 | 0.000000e+00 | -- | Inf
42.37/42.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.37/42.40 c 42.4s| 36900 | 1080 |292145 | 7.9 |9148k| 206 | 18 | 900 |1263 | 900 | 697 | 65 | 11k|4414 | 0.000000e+00 | -- | Inf
42.47/42.51 c 42.5s| 37000 | 1078 |293471 | 7.9 |9208k| 206 | - | 900 |1347 | 900 | 697 | 65 | 11k|4414 | 0.000000e+00 | -- | Inf
42.57/42.63 c 42.6s| 37100 | 1076 |294719 | 7.9 |9192k| 206 | - | 900 |1330 | 900 | 697 | 65 | 11k|4414 | 0.000000e+00 | -- | Inf
42.67/42.73 c 42.7s| 37200 | 1075 |295676 | 7.9 |9128k| 206 | 6 | 900 |1246 | 900 | 697 | 65 | 11k|4415 | 0.000000e+00 | -- | Inf
42.78/42.82 c 42.8s| 37300 | 1093 |296102 | 7.9 |9157k| 206 | 10 | 900 |1244 | 900 | 697 | 65 | 11k|4417 | 0.000000e+00 | -- | Inf
42.88/42.91 c 42.9s| 37400 | 1082 |296841 | 7.9 |9123k| 206 | 22 | 900 |1215 | 900 | 697 | 65 | 12k|4417 | 0.000000e+00 | -- | Inf
42.97/43.01 c 43.0s| 37500 | 1086 |297918 | 7.9 |9121k| 206 | - | 900 |1193 | 900 | 697 | 65 | 12k|4417 | 0.000000e+00 | -- | Inf
43.07/43.10 c 43.1s| 37600 | 1084 |298938 | 7.9 |9115k| 206 | - | 900 |1189 | 900 | 697 | 65 | 12k|4417 | 0.000000e+00 | -- | Inf
43.07/43.19 c 43.2s| 37700 | 1084 |299842 | 7.9 |9092k| 206 | 22 | 900 |1159 | 900 | 697 | 65 | 12k|4417 | 0.000000e+00 | -- | Inf
43.17/43.28 c 43.3s| 37800 | 1083 |300886 | 7.9 |9091k| 206 | - | 900 |1154 | 900 | 697 | 65 | 12k|4417 | 0.000000e+00 | -- | Inf
43.27/43.38 c 43.4s| 37900 | 1081 |302073 | 7.9 |9078k| 206 | 22 | 900 |1140 | 900 | 697 | 65 | 12k|4417 | 0.000000e+00 | -- | Inf
43.37/43.48 c 43.5s| 38000 | 1077 |303123 | 7.9 |9070k| 206 | 21 | 900 |1143 | 900 | 697 | 65 | 12k|4417 | 0.000000e+00 | -- | Inf
43.47/43.57 c 43.6s| 38100 | 1079 |304309 | 7.9 |9076k| 206 | - | 900 |1141 | 900 | 697 | 65 | 12k|4418 | 0.000000e+00 | -- | Inf
43.57/43.66 c 43.7s| 38200 | 1085 |305000 | 7.9 |9078k| 206 | - | 900 |1136 | 900 | 697 | 65 | 12k|4418 | 0.000000e+00 | -- | Inf
43.67/43.74 c 43.7s| 38300 | 1084 |305381 | 7.9 |9098k| 206 | - | 900 |1167 | 900 | 697 | 65 | 12k|4419 | 0.000000e+00 | -- | Inf
43.77/43.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.77/43.83 c 43.8s| 38400 | 1081 |306029 | 7.9 |9113k| 206 | - | 900 |1195 | 900 | 697 | 65 | 12k|4419 | 0.000000e+00 | -- | Inf
43.88/43.93 c 43.9s| 38500 | 1079 |306760 | 7.9 |9125k| 206 | 24 | 900 |1223 | 900 | 697 | 65 | 12k|4419 | 0.000000e+00 | -- | Inf
43.98/44.01 c 44.0s| 38600 | 1080 |307285 | 7.9 |9137k| 206 | - | 900 |1236 | 900 | 697 | 65 | 12k|4419 | 0.000000e+00 | -- | Inf
44.07/44.10 c 44.1s| 38700 | 1077 |307978 | 7.9 |9138k| 206 | 16 | 900 |1249 | 900 | 697 | 65 | 12k|4419 | 0.000000e+00 | -- | Inf
44.07/44.19 c 44.2s| 38800 | 1075 |308906 | 7.9 |9115k| 206 | 20 | 900 |1224 | 900 | 697 | 65 | 12k|4419 | 0.000000e+00 | -- | Inf
44.17/44.27 c 44.3s| 38900 | 1077 |309704 | 7.9 |9101k| 206 | 25 | 900 |1192 | 900 | 697 | 65 | 12k|4419 | 0.000000e+00 | -- | Inf
44.27/44.36 c 44.4s| 39000 | 1093 |310457 | 7.9 |9122k| 206 | 19 | 900 |1182 | 900 | 697 | 65 | 12k|4424 | 0.000000e+00 | -- | Inf
44.37/44.44 c 44.4s| 39100 | 1097 |311099 | 7.9 |9133k| 206 | 18 | 900 |1184 | 900 | 697 | 65 | 12k|4424 | 0.000000e+00 | -- | Inf
44.47/44.52 c 44.5s| 39200 | 1089 |311831 | 7.9 |9126k| 206 | - | 900 |1175 | 900 | 697 | 65 | 12k|4425 | 0.000000e+00 | -- | Inf
44.57/44.62 c 44.6s| 39300 | 1079 |312832 | 7.9 |9112k| 206 | - | 900 |1191 | 900 | 697 | 65 | 12k|4431 | 0.000000e+00 | -- | Inf
44.67/44.73 c 44.7s| 39400 | 1075 |313955 | 7.9 |9119k| 206 | - | 900 |1213 | 900 | 697 | 65 | 12k|4437 | 0.000000e+00 | -- | Inf
44.77/44.83 c 44.8s| 39500 | 1075 |314901 | 7.9 |9127k| 206 | - | 900 |1225 | 900 | 697 | 65 | 12k|4442 | 0.000000e+00 | -- | Inf
44.87/44.91 c 44.9s| 39600 | 1075 |315467 | 7.9 |9126k| 206 | - | 900 |1224 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
44.87/44.99 c 45.0s| 39700 | 1073 |316133 | 7.9 |9100k| 206 | - | 900 |1191 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
44.98/45.07 c 45.1s| 39800 | 1074 |316734 | 7.9 |9097k| 206 | 26 | 900 |1181 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
45.08/45.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.08/45.16 c 45.2s| 39900 | 1078 |317613 | 7.9 |9103k| 206 | - | 900 |1176 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
45.17/45.23 c 45.2s| 40000 | 1078 |318023 | 7.9 |9109k| 206 | - | 900 |1182 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
45.27/45.31 c 45.3s| 40100 | 1076 |318686 | 7.9 |9107k| 206 | - | 900 |1182 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
45.27/45.38 c 45.4s| 40200 | 1080 |319161 | 7.9 |9123k| 206 | 18 | 900 |1196 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
45.37/45.46 c 45.5s| 40300 | 1078 |319568 | 7.9 |9133k| 206 | 21 | 900 |1216 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
45.47/45.54 c 45.5s| 40400 | 1078 |320200 | 7.9 |9153k| 206 | 21 | 900 |1246 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
45.57/45.62 c 45.6s| 40500 | 1076 |320854 | 7.9 |9158k| 206 | - | 900 |1255 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
45.67/45.70 c 45.7s| 40600 | 1076 |321760 | 7.9 |9158k| 206 | - | 900 |1255 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
45.67/45.78 c 45.8s| 40700 | 1074 |322292 | 7.9 |9163k| 206 | - | 900 |1268 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
45.77/45.86 c 45.9s| 40800 | 1070 |323019 | 7.9 |9157k| 206 | - | 900 |1270 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
45.87/45.94 c 45.9s| 40900 | 1071 |323758 | 7.9 |9136k| 206 | - | 900 |1244 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
45.97/46.03 c 46.0s| 41000 | 1069 |324561 | 7.9 |9087k| 206 | 22 | 900 |1185 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
46.07/46.12 c 46.1s| 41100 | 1079 |325529 | 7.9 |9066k| 206 | 21 | 900 |1127 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
46.17/46.22 c 46.2s| 41200 | 1075 |326556 | 7.9 |9037k| 206 | 29 | 900 |1093 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
46.27/46.32 c 46.3s| 41300 | 1077 |327667 | 7.9 |9045k| 206 | - | 900 |1093 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
46.37/46.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.37/46.42 c 46.4s| 41400 | 1077 |328714 | 7.9 |9055k| 206 | - | 900 |1111 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
46.47/46.52 c 46.5s| 41500 | 1077 |329936 | 7.9 |9069k| 206 | 31 | 900 |1134 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
46.57/46.63 c 46.6s| 41600 | 1077 |331117 | 7.9 |9079k| 206 | 20 | 900 |1152 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
46.67/46.73 c 46.7s| 41700 | 1073 |332203 | 7.9 |9082k| 206 | - | 900 |1167 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
46.77/46.83 c 46.8s| 41800 | 1073 |333439 | 7.9 |9090k| 206 | 28 | 900 |1184 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
46.87/46.93 c 46.9s| 41900 | 1075 |334525 | 7.9 |9107k| 206 | 19 | 900 |1209 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
46.97/47.04 c 47.0s| 42000 | 1077 |335434 | 7.9 |9115k| 206 | - | 900 |1208 | 900 | 697 | 65 | 13k|4450 | 0.000000e+00 | -- | Inf
47.07/47.16 c 47.2s| 42100 | 1075 |336694 | 7.9 |9093k| 206 | - | 900 |1175 | 900 | 697 | 65 | 13k|4459 | 0.000000e+00 | -- | Inf
47.18/47.27 c 47.3s| 42200 | 1077 |337797 | 8.0 |9113k| 206 | - | 900 |1202 | 900 | 697 | 65 | 13k|4464 | 0.000000e+00 | -- | Inf
47.28/47.38 c 47.4s| 42300 | 1077 |339013 | 8.0 |9121k| 206 | 18 | 900 |1221 | 900 | 697 | 65 | 13k|4469 | 0.000000e+00 | -- | Inf
47.47/47.50 c 47.5s| 42400 | 1077 |340103 | 8.0 |9137k| 206 | 29 | 900 |1249 | 900 | 697 | 65 | 13k|4480 | 0.000000e+00 | -- | Inf
47.47/47.59 c 47.6s| 42500 | 1079 |340997 | 8.0 |9148k| 206 | 20 | 900 |1257 | 900 | 697 | 65 | 13k|4482 | 0.000000e+00 | -- | Inf
47.57/47.69 c 47.7s| 42600 | 1081 |341932 | 8.0 |9159k| 206 | 29 | 900 |1274 | 900 | 697 | 65 | 13k|4482 | 0.000000e+00 | -- | Inf
47.67/47.79 c 47.8s| 42700 | 1083 |343131 | 8.0 |9175k| 206 | - | 900 |1287 | 900 | 697 | 65 | 13k|4483 | 0.000000e+00 | -- | Inf
47.77/47.88 c 47.9s| 42800 | 1083 |344147 | 8.0 |9177k| 206 | - | 900 |1289 | 900 | 697 | 65 | 13k|4483 | 0.000000e+00 | -- | Inf
47.87/47.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.87/47.99 c 48.0s| 42900 | 1081 |345211 | 8.0 |9182k| 206 | - | 900 |1301 | 900 | 697 | 65 | 13k|4488 | 0.000000e+00 | -- | Inf
47.97/48.09 c 48.1s| 43000 | 1081 |346223 | 8.0 |9201k| 206 | 20 | 900 |1337 | 900 | 697 | 65 | 13k|4492 | 0.000000e+00 | -- | Inf
48.07/48.18 c 48.2s| 43100 | 1079 |347174 | 8.0 |9202k| 206 | - | 900 |1341 | 900 | 697 | 65 | 13k|4493 | 0.000000e+00 | -- | Inf
48.17/48.28 c 48.3s| 43200 | 1077 |347976 | 8.0 |9171k| 206 | - | 900 |1295 | 900 | 697 | 65 | 13k|4495 | 0.000000e+00 | -- | Inf
48.28/48.37 c 48.4s| 43300 | 1081 |348957 | 8.0 |9033k| 206 | 20 | 900 |1057 | 900 | 697 | 65 | 13k|4496 | 0.000000e+00 | -- | Inf
48.37/48.45 c 48.5s| 43400 | 1081 |349752 | 8.0 |8998k| 206 | 26 | 900 | 995 | 900 | 697 | 65 | 13k|4497 | 0.000000e+00 | -- | Inf
48.47/48.55 c 48.6s| 43500 | 1078 |350704 | 8.0 |8974k| 206 | 26 | 900 | 969 | 900 | 697 | 65 | 13k|4498 | 0.000000e+00 | -- | Inf
48.57/48.65 c 48.7s| 43600 | 1080 |351655 | 8.0 |8951k| 206 | 23 | 900 | 926 | 900 | 697 | 65 | 13k|4505 | 0.000000e+00 | -- | Inf
48.67/48.74 c 48.7s| 43700 | 1080 |352469 | 8.0 |8949k| 206 | - | 900 | 916 | 900 | 697 | 65 | 13k|4508 | 0.000000e+00 | -- | Inf
48.77/48.85 c 48.8s| 43800 | 1080 |353272 | 8.0 |8964k| 206 | 26 | 900 | 946 | 900 | 697 | 65 | 13k|4517 | 0.000000e+00 | -- | Inf
48.87/48.95 c 49.0s| 43900 | 1082 |354205 | 8.0 |8985k| 206 | 30 | 900 | 974 | 900 | 697 | 65 | 13k|4522 | 0.000000e+00 | -- | Inf
48.97/49.06 c 49.1s| 44000 | 1086 |355428 | 8.0 |9015k| 206 | - | 900 |1004 | 900 | 697 | 65 | 13k|4523 | 0.000000e+00 | -- | Inf
49.07/49.15 c 49.2s| 44100 | 1088 |356373 | 8.0 |9021k| 206 | 24 | 900 |1011 | 900 | 697 | 65 | 13k|4523 | 0.000000e+00 | -- | Inf
49.17/49.24 c 49.2s| 44200 | 1084 |357080 | 8.0 |9008k| 206 | - | 900 | 985 | 900 | 697 | 65 | 13k|4528 | 0.000000e+00 | -- | Inf
49.27/49.34 c 49.3s| 44300 | 1086 |358088 | 8.0 |9000k| 206 | 16 | 900 | 973 | 900 | 697 | 65 | 13k|4533 | 0.000000e+00 | -- | Inf
49.38/49.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.38/49.45 c 49.5s| 44400 | 1084 |359184 | 8.0 |9022k| 206 | - | 900 |1009 | 900 | 697 | 65 | 13k|4539 | 0.000000e+00 | -- | Inf
49.48/49.54 c 49.5s| 44500 | 1086 |360007 | 8.0 |9048k| 206 | - | 900 |1038 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
49.57/49.63 c 49.6s| 44600 | 1087 |360692 | 8.0 |9050k| 206 | 28 | 900 |1046 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
49.67/49.71 c 49.7s| 44700 | 1095 |361522 | 8.0 |9063k| 206 | - | 900 |1037 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
49.77/49.80 c 49.8s| 44800 | 1101 |362363 | 8.0 |9070k| 206 | 15 | 900 |1032 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
49.77/49.89 c 49.9s| 44900 | 1103 |363281 | 8.0 |9084k| 206 | 18 | 900 |1046 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
49.86/49.97 c 50.0s| 45000 | 1099 |364174 | 8.0 |9083k| 206 | - | 900 |1048 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
49.97/50.06 c 50.1s| 45100 | 1099 |364976 | 8.0 |9085k| 206 | - | 900 |1048 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
50.07/50.14 c 50.1s| 45200 | 1095 |365920 | 8.0 |9072k| 206 | 24 | 900 |1047 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
50.17/50.23 c 50.2s| 45300 | 1093 |366848 | 8.0 |9065k| 206 | 16 | 900 |1044 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
50.27/50.31 c 50.3s| 45400 | 1097 |367599 | 8.0 |9091k| 206 | 10 | 900 |1067 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
50.27/50.39 c 50.4s| 45500 | 1097 |368332 | 8.0 |9074k| 206 | 26 | 900 |1045 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
50.37/50.48 c 50.5s| 45600 | 1095 |369209 | 8.0 |9067k| 206 | 22 | 900 |1039 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
50.48/50.56 c 50.6s| 45700 | 1107 |370042 | 8.0 |9091k| 206 | - | 900 |1043 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
50.58/50.65 c 50.6s| 45800 | 1109 |370911 | 8.0 |9103k| 206 | - | 900 |1050 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
50.67/50.73 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.73 c 50.7s| 45900 | 1117 |371815 | 8.1 |9119k| 206 | 25 | 900 |1056 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
50.77/50.82 c 50.8s| 46000 | 1111 |372812 | 8.1 |9113k| 206 | 20 | 900 |1064 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
50.87/50.91 c 50.9s| 46100 | 1109 |373801 | 8.1 |9104k| 206 | 20 | 900 |1056 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
50.97/51.00 c 51.0s| 46200 | 1108 |374692 | 8.1 |9112k| 206 | - | 900 |1067 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
50.97/51.09 c 51.1s| 46300 | 1106 |375547 | 8.1 |9118k| 206 | 24 | 900 |1087 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
51.07/51.18 c 51.2s| 46400 | 1105 |376523 | 8.1 |9132k| 206 | - | 900 |1108 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
51.17/51.27 c 51.3s| 46500 | 1103 |377214 | 8.1 |9151k| 206 | - | 900 |1144 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
51.27/51.35 c 51.4s| 46600 | 1109 |377973 | 8.1 |9164k| 206 | - | 900 |1143 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
51.36/51.44 c 51.4s| 46700 | 1111 |378906 | 8.1 |9164k| 206 | - | 900 |1141 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
51.47/51.52 c 51.5s| 46800 | 1111 |379795 | 8.1 |9165k| 206 | - | 900 |1141 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
51.57/51.61 c 51.6s| 46900 | 1111 |380813 | 8.1 |9164k| 206 | - | 900 |1141 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
51.57/51.70 c 51.7s| 47000 | 1111 |381682 | 8.1 |9166k| 206 | 15 | 900 |1147 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
51.68/51.78 c 51.8s| 47100 | 1111 |382427 | 8.1 |9172k| 206 | 22 | 900 |1156 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
51.77/51.87 c 51.9s| 47200 | 1109 |383322 | 8.1 |9176k| 206 | - | 900 |1162 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
51.87/51.96 c 52.0s| 47300 | 1111 |384230 | 8.1 |9186k| 206 | - | 900 |1175 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
51.97/52.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.97/52.05 c 52.0s| 47400 | 1113 |385169 | 8.1 |9198k| 206 | - | 900 |1188 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
52.07/52.13 c 52.1s| 47500 | 1111 |385957 | 8.1 |9215k| 206 | - | 900 |1212 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
52.16/52.24 c 52.2s| 47600 | 1109 |387111 | 8.1 |9221k| 206 | 18 | 900 |1242 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
52.27/52.34 c 52.3s| 47700 | 1110 |388058 | 8.1 |9220k| 206 | - | 900 |1237 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
52.37/52.43 c 52.4s| 47800 | 1110 |388980 | 8.1 |9218k| 206 | - | 900 |1229 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
52.47/52.51 c 52.5s| 47900 | 1108 |389730 | 8.1 |9192k| 206 | 24 | 900 |1200 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
52.57/52.61 c 52.6s| 48000 | 1112 |390786 | 8.1 |9209k| 206 | 10 | 900 |1219 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
52.67/52.71 c 52.7s| 48100 | 1107 |391656 | 8.1 |9244k| 206 | - | 900 |1270 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
52.78/52.81 c 52.8s| 48200 | 1109 |392721 | 8.1 |9249k| 206 | 22 | 900 |1279 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
52.87/52.90 c 52.9s| 48300 | 1105 |393681 | 8.1 |9237k| 206 | 27 | 900 |1271 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
52.87/52.99 c 53.0s| 48400 | 1103 |394717 | 8.1 |9229k| 206 | - | 900 |1260 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
52.97/53.09 c 53.1s| 48500 | 1099 |395804 | 8.1 |9241k| 206 | - | 900 |1290 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
53.17/53.20 c 53.2s| 48600 | 1101 |396837 | 8.1 |9263k| 206 | - | 900 |1319 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
53.27/53.30 c 53.3s| 48700 | 1101 |397936 | 8.1 |9258k| 206 | 15 | 900 |1314 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
53.27/53.39 c 53.4s| 48800 | 1103 |398820 | 8.1 |9290k| 206 | 10 | 900 |1358 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
53.47/53.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.47/53.51 c 53.5s| 48900 | 1100 |400051 | 8.1 |9296k| 206 | - | 900 |1366 | 900 | 697 | 65 | 14k|4549 | 0.000000e+00 | -- | Inf
53.57/53.61 c 53.6s| 49000 | 1100 |401218 | 8.1 |9278k| 206 | 22 | 900 |1335 | 900 | 697 | 65 | 14k|4549 | 0.000000e+00 | -- | Inf
53.66/53.72 c 53.7s| 49100 | 1098 |402344 | 8.1 |9274k| 206 | 18 | 900 |1336 | 900 | 697 | 65 | 14k|4549 | 0.000000e+00 | -- | Inf
53.77/53.82 c 53.8s| 49200 | 1096 |403530 | 8.2 |9279k| 206 | 22 | 900 |1349 | 900 | 697 | 65 | 14k|4549 | 0.000000e+00 | -- | Inf
53.88/53.91 c 53.9s| 49300 | 1094 |404366 | 8.2 |9275k| 206 | 20 | 900 |1344 | 900 | 697 | 65 | 14k|4549 | 0.000000e+00 | -- | Inf
53.97/54.03 c 54.0s| 49400 | 1092 |405797 | 8.2 |9262k| 206 | - | 900 |1338 | 900 | 697 | 65 | 14k|4549 | 0.000000e+00 | -- | Inf
54.07/54.14 c 54.1s| 49500 | 1088 |407110 | 8.2 |9242k| 206 | - | 900 |1318 | 900 | 697 | 65 | 14k|4549 | 0.000000e+00 | -- | Inf
54.17/54.24 c 54.2s| 49600 | 1088 |408216 | 8.2 |9205k| 206 | - | 900 |1251 | 900 | 697 | 65 | 14k|4549 | 0.000000e+00 | -- | Inf
54.27/54.34 c 54.3s| 49700 | 1088 |409480 | 8.2 |9190k| 206 | 19 | 900 |1227 | 900 | 697 | 65 | 14k|4549 | 0.000000e+00 | -- | Inf
54.37/54.45 c 54.5s| 49800 | 1086 |410754 | 8.2 |9162k| 206 | - | 900 |1189 | 900 | 697 | 65 | 14k|4551 | 0.000000e+00 | -- | Inf
54.46/54.56 c 54.6s| 49900 | 1084 |412041 | 8.2 |9154k| 206 | - | 900 |1181 | 900 | 697 | 65 | 14k|4551 | 0.000000e+00 | -- | Inf
54.56/54.66 c 54.7s| 50000 | 1088 |413192 | 8.2 |9146k| 206 | - | 900 |1170 | 900 | 697 | 65 | 14k|4551 | 0.000000e+00 | -- | Inf
54.67/54.79 c 54.8s| 50100 | 1089 |414987 | 8.2 |9151k| 206 | 23 | 900 |1181 | 900 | 697 | 65 | 14k|4551 | 0.000000e+00 | -- | Inf
54.87/54.92 c 54.9s| 50200 | 1089 |416778 | 8.3 |9170k| 206 | - | 900 |1202 | 0 | 0 | 65 | 14k|4551 | 0.000000e+00 | -- | Inf
54.97/55.06 c 55.1s| 50300 | 1089 |418545 | 8.3 |9197k| 206 | - | 900 |1245 | 900 | 697 | 65 | 14k|4551 | 0.000000e+00 | -- | Inf
55.07/55.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.07/55.18 c 55.2s| 50400 | 1096 |420046 | 8.3 |9222k| 206 | 26 | 900 |1274 | 900 | 697 | 65 | 14k|4551 | 0.000000e+00 | -- | Inf
55.27/55.30 c 55.3s| 50500 | 1104 |421521 | 8.3 |9257k| 206 | - | 900 |1308 | 900 | 697 | 65 | 14k|4551 | 0.000000e+00 | -- | Inf
55.37/55.43 c 55.4s| 50600 | 1104 |422964 | 8.3 |9283k| 206 | 24 | 900 |1353 | 900 | 697 | 65 | 14k|4562 | 0.000000e+00 | -- | Inf
55.46/55.57 c 55.6s| 50700 | 1100 |424750 | 8.3 |9293k| 206 | 16 | 900 |1376 | 900 | 697 | 65 | 15k|4572 | 0.000000e+00 | -- | Inf
55.67/55.70 c 55.7s| 50800 | 1099 |426319 | 8.3 |9317k| 206 | - | 900 |1406 | 900 | 697 | 65 | 15k|4574 | 0.000000e+00 | -- | Inf
55.77/55.81 c 55.8s| 50900 | 1101 |427500 | 8.4 |9351k| 206 | - | 900 |1453 | 900 | 697 | 65 | 15k|4575 | 0.000000e+00 | -- | Inf
55.86/55.92 c 55.9s| 51000 | 1107 |428783 | 8.4 |9379k| 206 | - | 900 |1480 | 900 | 697 | 65 | 15k|4578 | 0.000000e+00 | -- | Inf
55.98/56.04 c 56.0s| 51100 | 1105 |430029 | 8.4 |9393k| 206 | 26 | 900 |1512 | 900 | 697 | 65 | 15k|4578 | 0.000000e+00 | -- | Inf
56.08/56.17 c 56.2s| 51200 | 1107 |431756 | 8.4 |9390k| 206 | 22 | 900 |1501 | 900 | 697 | 65 | 15k|4579 | 0.000000e+00 | -- | Inf
56.17/56.28 c 56.3s| 51300 | 1107 |433126 | 8.4 |9411k| 206 | - | 900 |1526 | 900 | 697 | 65 | 15k|4584 | 0.000000e+00 | -- | Inf
56.37/56.40 c 56.4s| 51400 | 1107 |434635 | 8.4 |9433k| 206 | - | 900 |1561 | 900 | 697 | 65 | 15k|4584 | 0.000000e+00 | -- | Inf
56.47/56.52 c 56.5s| 51500 | 1107 |436115 | 8.4 |9444k| 206 | 28 | 900 |1580 | 900 | 697 | 65 | 15k|4585 | 0.000000e+00 | -- | Inf
56.57/56.63 c 56.6s| 51600 | 1125 |437304 | 8.4 |9497k| 206 | - | 900 |1618 | 900 | 697 | 65 | 15k|4585 | 0.000000e+00 | -- | Inf
56.67/56.75 c 56.8s| 51700 | 1127 |438671 | 8.4 |9531k| 206 | - | 900 |1666 | 900 | 697 | 65 | 15k|4588 | 0.000000e+00 | -- | Inf
56.77/56.87 c 56.9s| 51800 | 1133 |439954 | 8.4 |9567k| 206 | 14 | 900 |1711 | 900 | 697 | 65 | 15k|4588 | 0.000000e+00 | -- | Inf
56.87/56.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.87/56.98 c 57.0s| 51900 | 1129 |441133 | 8.5 |9596k| 206 | 19 | 900 |1763 | 900 | 697 | 65 | 15k|4588 | 0.000000e+00 | -- | Inf
56.97/57.09 c 57.1s| 52000 | 1127 |442331 | 8.5 |9641k| 206 | - | 900 |1828 | 900 | 697 | 65 | 15k|4588 | 0.000000e+00 | -- | Inf
57.17/57.21 c 57.2s| 52100 | 1123 |443592 | 8.5 |9678k| 206 | - | 900 |1889 | 900 | 697 | 65 | 15k|4588 | 0.000000e+00 | -- | Inf
57.27/57.33 c 57.3s| 52200 | 1123 |445028 | 8.5 |9686k| 206 | 19 | 900 |1897 | 900 | 697 | 65 | 15k|4588 | 0.000000e+00 | -- | Inf
57.37/57.44 c 57.4s| 52300 | 1121 |446098 | 8.5 |9703k| 206 | - | 900 |1921 | 900 | 697 | 65 | 15k|4588 | 0.000000e+00 | -- | Inf
57.47/57.55 c 57.6s| 52400 | 1121 |447250 | 8.5 |9725k| 206 | 16 | 900 |1956 | 900 | 697 | 65 | 15k|4588 | 0.000000e+00 | -- | Inf
57.56/57.67 c 57.7s| 52500 | 1118 |448389 | 8.5 |9676k| 206 | 15 | 900 |1896 | 900 | 697 | 65 | 15k|4589 | 0.000000e+00 | -- | Inf
57.67/57.79 c 57.8s| 52600 | 1115 |449887 | 8.5 |9593k| 206 | 25 | 900 |1764 | 900 | 697 | 65 | 15k|4590 | 0.000000e+00 | -- | Inf
57.86/57.91 c 57.9s| 52700 | 1110 |451259 | 8.5 |9587k| 206 | - | 900 |1766 | 900 | 697 | 65 | 16k|4592 | 0.000000e+00 | -- | Inf
57.97/58.04 c 58.0s| 52800 | 1114 |452619 | 8.5 |9536k| 206 | 8 | 900 |1666 | 900 | 697 | 65 | 16k|4598 | 0.000000e+00 | -- | Inf
58.06/58.14 c 58.1s| 52900 | 1113 |453481 | 8.5 |9443k| 206 | - | 900 |1501 | 900 | 697 | 65 | 16k|4602 | 0.000000e+00 | -- | Inf
58.17/58.24 c 58.2s| 53000 | 1115 |454511 | 8.5 |9386k| 206 | 21 | 900 |1404 | 900 | 697 | 65 | 16k|4604 | 0.000000e+00 | -- | Inf
58.28/58.38 c 58.4s| 53100 | 1112 |455853 | 8.5 |9337k| 206 | 22 | 900 |1328 | 900 | 697 | 65 | 16k|4622 | 0.000000e+00 | -- | Inf
58.47/58.51 c 58.5s| 53200 | 1114 |457017 | 8.5 |9293k| 206 | 26 | 900 |1259 | 900 | 697 | 65 | 16k|4644 | 0.000000e+00 | -- | Inf
58.56/58.64 c 58.6s| 53300 | 1114 |458162 | 8.6 |9299k| 206 | 28 | 900 |1264 | 900 | 697 | 65 | 16k|4662 | 0.000000e+00 | -- | Inf
58.67/58.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.67/58.75 c 58.7s| 53400 | 1118 |459054 | 8.6 |9270k| 206 | 16 | 900 |1203 | 900 | 697 | 65 | 16k|4674 | 0.000000e+00 | -- | Inf
58.77/58.84 c 58.8s| 53500 | 1116 |459893 | 8.6 |9267k| 206 | - | 900 |1197 | 900 | 697 | 65 | 16k|4680 | 0.000000e+00 | -- | Inf
58.87/58.93 c 58.9s| 53600 | 1114 |460616 | 8.6 |9264k| 206 | - | 900 |1192 | 900 | 697 | 65 | 16k|4681 | 0.000000e+00 | -- | Inf
58.97/59.03 c 59.0s| 53700 | 1116 |461643 | 8.6 |9245k| 206 | 24 | 900 |1161 | 900 | 697 | 65 | 16k|4684 | 0.000000e+00 | -- | Inf
59.07/59.12 c 59.1s| 53800 | 1112 |462391 | 8.6 |9220k| 206 | 20 | 900 |1133 | 900 | 697 | 65 | 16k|4687 | 0.000000e+00 | -- | Inf
59.17/59.23 c 59.2s| 53900 | 1108 |463562 | 8.6 |9198k| 206 | - | 900 |1117 | 900 | 697 | 65 | 16k|4689 | 0.000000e+00 | -- | Inf
59.17/59.28 c *59.3s| 53921 | 0 |463756 | 8.6 |8035k| 206 | - | 900 |1098 | 900 | 697 | 65 | 16k|4714 | 0.000000e+00 | 0.000000e+00 | 0.00%
59.17/59.28 c
59.17/59.28 c SCIP Status : problem is solved [optimal solution found]
59.17/59.28 c Solving Time (sec) : 59.28
59.17/59.28 c Solving Nodes : 53921
59.17/59.28 c Primal Bound : +0.00000000000000e+00 (1 solutions)
59.17/59.28 c Dual Bound : +0.00000000000000e+00
59.17/59.28 c Gap : 0.00 %
59.17/59.28 s SATISFIABLE
59.17/59.28 v -x204 -x212 -x317 -x312 -x304 -x17 x13 -x535 -x314 -x120 -x117 -x104 -x103 -x102 -x544 -x110 -x543 -x318 -x319 -x9 -x214 -x101
59.17/59.28 v -x548 -x213 -x310 -x203 -x118 -x20 x125 -x533 x305 -x123 -x25 -x534 -x109 -x303 -x308 -x302 -x8 -x216 -x531 -x530 x207 -x527
59.17/59.28 v -x499 -x498 -x494 -x493 -x492 -x489 -x487 -x482 -x480 -x479 -x478 -x476 -x323 -x496 -x119 -x200 -x199 -x198 -x195 -x189 -x187
59.17/59.28 v -x185 -x184 -x183 -x249 x247 -x245 -x244 -x243 -x241 -x226 -x222 -x542 -x320 -x182 -x218 -x7 -x14 -x227 -x497 -x239 -x547 -x211
59.17/59.28 v -x307 -x124 -x107 -x273 -x272 -x267 -x264 -x262 -x261 -x258 -x253 -x251 -x21 -x473 -x472 -x470 -x463 -x459 -x458 -x457 -x454
59.17/59.28 v x451 -x324 -x467 -x5 -x194 x259 -x112 -x549 -x315 -x246 -x3 -x111 -x186 -x114 -x268 -x464 -x306 -x248 -x529 -x179 -x228 -x234
59.17/59.28 v -x11 -x209 -x115 -x188 -x484 -x180 -x255 -x491 -x274 -x108 -x18 -x232 -x250 -x316 -x177 -x495 -x263 -x270 -x375 x374 -x372
59.17/59.28 v -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x471 -x181 -x550
59.17/59.28 v -x238 -x106 -x206 -x196 -x537 -x322 -x223 x486 -x116 -x22 -x539 -x526 -x4 -x475 -x219 -x75 -x74 -x73 -x69 -x67 -x66 -x65
59.17/59.28 v -x64 -x60 -x58 -x57 -x55 -x54 -x51 -x229 -x208 -x465 -x481 -x321 -x215 -x540 -x485 -x257 -x121 -x52 -x68 -x205 -x210 -x231 -x525
59.17/59.28 v -x524 -x523 -x521 -x519 -x518 -x517 -x515 -x512 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x59 -x225 -x309 -x191 -x453
59.17/59.28 v -x397 -x396 -x395 -x390 -x388 -x386 -x385 -x384 -x382 x381 -x378 -x377 -x376 -x61 -x269 -x599 -x598 -x597 x596 -x594 -x592
59.17/59.28 v -x590 -x588 -x586 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x24 -x230 -x501 -x387 -x2 -x456 -x311 -x536 -x1 -x380 -x266 -x450
59.17/59.28 v -x447 -x446 -x442 x440 -x439 -x437 -x436 -x435 -x434 -x432 -x430 -x429 -x428 -x427 -x426 -x122 -x313 -x240 -x242 -x593 -x359
59.17/59.28 v -x373 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x91 -x90 -x89 -x88 -x86 -x85 -x84 -x83 -x82 -x78 -x76 -x105 -x16 -x53 -x233
59.17/59.28 v -x56 -x92 -x15 x193 -x202 -x585 -x371 -x513 -x275 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x141 -x140 -x139 -x138 -x136
59.17/59.28 v x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x126 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 x697
59.17/59.28 v -x600 -x520 -x23 -x461 -x591 -x142 -x455 -x393 -x12 -x541 -x398 -x137 -x431 x70 -x522 -x483 -x178 -x511 -x235 -x300 -x299
59.17/59.28 v x298 -x297 -x296 -x295 -x294 -x293 -x291 -x290 -x289 -x287 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x276 -x466 -x477 -x220
59.17/59.28 v -x224 -x576 -x79 -x490 -x449 -x510 -x546 -x292 -x443 -x575 -x574 -x572 -x571 -x570 -x569 x567 -x566 -x565 -x563 -x562 -x561
59.17/59.28 v -x560 -x559 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x252 -x452 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 x627
59.17/59.28 v -x626 -x625 x528 -x288 -x221 -x10 -x532 -x445 -x77 -x558 -x277 -x217 -x325 -x468 -x391 -x448 -x425 -x423 -x422 -x420 -x419 -x418
59.17/59.28 v -x417 -x416 -x415 x414 -x413 -x412 -x410 -x409 -x408 -x406 -x405 -x404 -x403 -x402 -x401 -x256 -x190 -x424 -x589 -x81 -x564
59.17/59.28 v -x488 -x816 -x815 -x814 -x813 x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x568 -x474 -x389 -x660 -x659 -x658 -x657 -x656
59.17/59.28 v -x655 -x654 -x653 -x652 -x651 x650 -x649 -x80 -x197 -x399 -x175 -x174 -x173 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164
59.17/59.28 v -x163 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x151 -x152 -x545 -x441 -x516 -x438 -x421 -x350 -x348 -x347 -x346
59.17/59.28 v -x345 -x344 -x343 -x342 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x460 -x237
59.17/59.28 v -x444 -x63 -x394 -x768 -x767 -x766 -x765 -x764 -x763 x762 -x761 -x760 -x759 -x758 -x757 -x514 -x176 -x192 -x500 -x379 -x577
59.17/59.28 v -x71 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 x829 -x595 -x285 -x236 -x852 -x851 -x850 -x849 -x848
59.17/59.28 v -x847 -x846 -x845 -x844 x843 -x842 -x841 -x271 -x19 -x411 -x648 -x647 x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637
59.17/59.28 v -x254 -x113 -x876 -x875 -x874 -x873 -x872 x871 -x870 -x869 -x868 -x867 -x866 -x865 -x573 -x888 -x887 -x886 -x885 -x884 -x883
59.17/59.28 v -x882 -x881 -x880 -x879 x878 -x877 -x349 -x162 -x732 -x731 -x730 -x729 -x728 -x727 -x726 x725 -x724 -x723 -x722 -x721 -x286
59.17/59.28 v -x383 x87 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x469 -x624 -x623 -x622 -x621 -x620 -x619
59.17/59.28 v -x618 -x617 x616 -x615 -x614 -x613 -x127 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34
59.17/59.28 v -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x358 -x792 -x791 -x790 -x789 -x788 -x787 -x786 x785 -x784 -x783 -x782 -x781 x341
59.17/59.28 v -x72 -x720 -x719 -x718 -x717 -x716 -x715 x714 -x713 -x712 -x711 -x710 -x709 -x260 -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677
59.17/59.28 v -x676 -x675 -x674 -x673 -x407 -x201 -x672 -x671 -x670 x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x6 -x62 -x462
59.17/59.28 v -x756 -x755 -x754 x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x538 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893
59.17/59.28 v x892 -x891 -x890 -x889 -x400 -x696 -x695 -x694 -x693 -x692 x691 -x690 -x689 -x688 -x687 -x686 -x685 -x433 -x864 -x863 x862 -x861
59.17/59.28 v -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x172 x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793
59.17/59.28 v -x392 -x612 x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x301 -x780 x779 -x778 -x777 -x776 -x775 -x774
59.17/59.28 v -x773 -x772 -x771 -x770 -x769 -x265 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x587
59.17/59.28 c SCIP Status : problem is solved [optimal solution found]
59.17/59.28 c Total Time : 59.28
59.17/59.28 c solving : 59.28
59.17/59.28 c presolving : 0.04 (included in solving)
59.17/59.28 c reading : 0.01 (included in solving)
59.17/59.28 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
59.17/59.28 c Original Problem :
59.17/59.28 c Problem name : HOME/instance-3690381-1338016942.opb
59.17/59.28 c Variables : 900 (900 binary, 0 integer, 0 implicit integer, 0 continuous)
59.17/59.28 c Constraints : 673 initial, 673 maximal
59.17/59.28 c Objective sense : minimize
59.17/59.28 c Presolved Problem :
59.17/59.28 c Problem name : t_HOME/instance-3690381-1338016942.opb
59.17/59.28 c Variables : 900 (900 binary, 0 integer, 0 implicit integer, 0 continuous)
59.17/59.28 c Constraints : 673 initial, 2113 maximal
59.17/59.28 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
59.17/59.28 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
59.17/59.28 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
59.17/59.28 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
59.17/59.28 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
59.17/59.28 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
59.17/59.28 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
59.17/59.28 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
59.17/59.28 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
59.17/59.28 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
59.17/59.28 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
59.17/59.28 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
59.17/59.28 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
59.17/59.28 c linear : 0.02 0.00 0 0 0 0 0 0 0 0 0
59.17/59.28 c logicor : 0.01 0.00 0 0 0 0 0 0 0 0 0
59.17/59.28 c root node : - - 0 - - 0 - - - - -
59.17/59.28 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
59.17/59.28 c integral : 0 0 0 0 28829 0 3 0 587 554 0 0 55396
59.17/59.28 c setppc : 49 49 5 136694 1 0 0 1191365 78 360059 0 0 0
59.17/59.28 c linear : 0+ 4 5 88 0 0 0 0 0 0 0 0 0
59.17/59.28 c logicor : 624+ 2060 5 64280 1 0 0 78794 341 88061 0 0 0
59.17/59.28 c countsols : 0 0 0 0 1 0 2 0 0 0 0 0 0
59.17/59.28 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
59.17/59.28 c integral : 9.34 0.00 0.00 0.00 9.34 0.00 0.00 0.00
59.17/59.28 c setppc : 1.56 0.00 0.00 0.41 0.00 0.00 0.00 1.15
59.17/59.28 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
59.17/59.28 c logicor : 0.69 0.00 0.00 0.52 0.00 0.00 0.00 0.16
59.17/59.28 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
59.17/59.28 c Propagators : #Propagate #ResProp Cutoffs DomReds
59.17/59.28 c rootredcost : 0 0 0 0
59.17/59.28 c pseudoobj : 0 0 0 0
59.17/59.28 c vbounds : 0 0 0 0
59.17/59.28 c redcost : 28834 0 0 0
59.17/59.28 c probing : 0 0 0 0
59.17/59.28 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
59.17/59.28 c rootredcost : 0.12 0.00 0.00 0.12 0.00
59.17/59.28 c pseudoobj : 0.13 0.00 0.00 0.13 0.00
59.17/59.28 c vbounds : 0.11 0.00 0.00 0.11 0.00
59.17/59.28 c redcost : 0.40 0.00 0.00 0.40 0.00
59.17/59.28 c probing : 0.00 0.00 0.00 0.00 0.00
59.17/59.28 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
59.17/59.28 c propagation : 0.04 419 419 1969 69.5 9 73.0 -
59.17/59.28 c infeasible LP : 7.57 25321 10120 182806 110.9 219 70.4 0
59.17/59.28 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
59.17/59.28 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
59.17/59.28 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
59.17/59.28 c applied globally : - - - 16305 60.4 - - -
59.17/59.28 c applied locally : - - - 0 0.0 - - -
59.17/59.28 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
59.17/59.28 c cut pool : 0.00 4 - - 1 - (maximal pool size: 383)
59.17/59.28 c closecuts : 0.00 0.00 0 0 0 0 0
59.17/59.28 c impliedbounds : 0.00 0.00 5 0 0 0 0
59.17/59.28 c intobj : 0.00 0.00 0 0 0 0 0
59.17/59.28 c gomory : 0.05 0.00 5 0 0 250 0
59.17/59.28 c cgmip : 0.00 0.00 0 0 0 0 0
59.17/59.28 c strongcg : 0.25 0.00 5 0 0 2268 0
59.17/59.28 c cmir : 0.00 0.00 0 0 0 0 0
59.17/59.28 c flowcover : 0.00 0.00 0 0 0 0 0
59.17/59.28 c clique : 0.00 0.00 5 0 0 0 0
59.17/59.28 c zerohalf : 0.00 0.00 0 0 0 0 0
59.17/59.28 c mcf : 0.00 0.00 1 0 0 0 0
59.17/59.28 c oddcycle : 0.00 0.00 0 0 0 0 0
59.17/59.28 c rapidlearning : 0.12 0.00 1 0 0 0 4
59.17/59.28 c Pricers : ExecTime SetupTime Calls Vars
59.17/59.28 c problem variables: 0.00 - 0 0
59.17/59.28 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
59.17/59.28 c relpscost : 9.28 0.00 28828 587 554 0 0 55396
59.17/59.28 c pscost : 0.00 0.00 0 0 0 0 0 0
59.17/59.28 c inference : 0.00 0.00 0 0 0 0 0 0
59.17/59.28 c mostinf : 0.00 0.00 0 0 0 0 0 0
59.17/59.28 c leastinf : 0.00 0.00 0 0 0 0 0 0
59.17/59.28 c fullstrong : 0.00 0.00 0 0 0 0 0 0
59.17/59.28 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
59.17/59.28 c random : 0.00 0.00 0 0 0 0 0 0
59.17/59.28 c Primal Heuristics : ExecTime SetupTime Calls Found
59.17/59.28 c LP solutions : 0.00 - - 1
59.17/59.28 c pseudo solutions : 0.00 - - 0
59.17/59.28 c smallcard : 0.00 0.00 0 0
59.17/59.28 c trivial : 0.00 0.00 1 0
59.17/59.28 c shiftandpropagate: 0.00 0.00 0 0
59.17/59.28 c simplerounding : 0.00 0.00 0 0
59.17/59.28 c zirounding : 0.00 0.00 0 0
59.17/59.28 c rounding : 0.00 0.00 0 0
59.17/59.28 c shifting : 0.00 0.00 0 0
59.17/59.28 c intshifting : 0.00 0.00 0 0
59.17/59.28 c oneopt : 0.00 0.00 0 0
59.17/59.28 c twoopt : 0.00 0.00 0 0
59.17/59.28 c indtwoopt : 0.00 0.00 0 0
59.17/59.28 c indoneopt : 0.00 0.00 0 0
59.17/59.28 c fixandinfer : 0.00 0.00 0 0
59.17/59.28 c feaspump : 0.00 0.00 0 0
59.17/59.28 c clique : 0.00 0.00 0 0
59.17/59.28 c indrounding : 0.00 0.00 0 0
59.17/59.28 c indcoefdiving : 0.00 0.00 0 0
59.17/59.28 c coefdiving : 0.00 0.00 0 0
59.17/59.28 c pscostdiving : 0.00 0.00 0 0
59.17/59.28 c nlpdiving : 0.00 0.00 0 0
59.17/59.28 c fracdiving : 0.00 0.00 0 0
59.17/59.28 c veclendiving : 0.00 0.00 0 0
59.17/59.28 c intdiving : 0.00 0.00 0 0
59.17/59.28 c actconsdiving : 0.00 0.00 0 0
59.17/59.28 c objpscostdiving : 0.00 0.00 0 0
59.17/59.28 c rootsoldiving : 0.00 0.00 0 0
59.17/59.28 c linesearchdiving : 0.00 0.00 0 0
59.17/59.28 c guideddiving : 0.00 0.00 0 0
59.17/59.28 c octane : 0.00 0.00 0 0
59.17/59.28 c rens : 0.00 0.00 0 0
59.17/59.28 c rins : 0.00 0.00 0 0
59.17/59.28 c localbranching : 0.00 0.00 0 0
59.17/59.28 c mutation : 0.00 0.00 0 0
59.17/59.28 c crossover : 0.00 0.00 0 0
59.17/59.28 c dins : 0.00 0.00 0 0
59.17/59.28 c vbounds : 0.00 0.00 0 0
59.17/59.28 c undercover : 0.00 0.00 0 0
59.17/59.28 c subnlp : 0.00 0.00 0 0
59.17/59.28 c trysol : 0.00 0.00 0 0
59.17/59.28 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
59.17/59.28 c primal LP : 0.00 1 0 0.00 - 0.00 1
59.17/59.28 c dual LP : 32.11 54155 463756 8.59 14443.05 0.04 155
59.17/59.28 c lex dual LP : 0.00 0 0 0.00 -
59.17/59.28 c barrier LP : 0.00 0 0 0.00 - 0.00 0
59.17/59.28 c diving/probing LP: 0.00 0 0 0.00 -
59.17/59.28 c strong branching : 8.89 4714 107316 22.77 12072.73
59.17/59.28 c (at root node) : - 10 1072 107.20 -
59.17/59.28 c conflict analysis: 0.00 0 0 0.00 -
59.17/59.28 c B&B Tree :
59.17/59.28 c number of runs : 1
59.17/59.28 c nodes : 53921
59.17/59.28 c nodes (total) : 53921
59.17/59.28 c nodes left : 0
59.17/59.28 c max depth : 206
59.17/59.28 c max depth (total): 206
59.17/59.28 c backtracks : 7304 (13.5%)
59.17/59.28 c delayed cutoffs : 365
59.17/59.28 c repropagations : 32841 (52842 domain reductions, 216 cutoffs)
59.17/59.28 c avg switch length: 3.61
59.17/59.28 c switching time : 1.41
59.17/59.28 c Solution :
59.17/59.28 c Solutions found : 1 (1 improvements)
59.17/59.28 c First Solution : +0.00000000000000e+00 (in run 1, after 53921 nodes, 59.28 seconds, depth 74, found by <relaxation>)
59.17/59.28 c Primal Bound : +0.00000000000000e+00 (in run 1, after 53921 nodes, 59.28 seconds, depth 74, found by <relaxation>)
59.17/59.28 c Dual Bound : +0.00000000000000e+00
59.17/59.28 c Gap : 0.00 %
59.17/59.28 c Root Dual Bound : +0.00000000000000e+00
59.17/59.28 c Root Iterations : 2293
59.17/59.29 c Time complete: 59.26.
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-3690381-1338016942/watcher-3690381-1338016942 -o /tmp/evaluation-result-3690381-1338016942/solver-3690381-1338016942 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690381-1338016942.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: 0.60 0.35 0.84 3/178 32233
/proc/meminfo: memFree=29035244/32873844 swapFree=7124/7124
[pid=32233] ppid=32231 vsize=10652 CPUtime=0 cores=1,3,5,7
/proc/32233/stat : 32233 (scip-2.1.1.4fix) R 32231 32233 32151 0 -1 4202496 1397 0 0 0 0 0 0 0 20 0 1 0 267819613 10907648 1352 33554432000 4194304 10173063 140733944765808 140736873943736 8727379 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32233/statm: 2663 1352 413 1460 0 1194 0
[startup+0.0961909 s]
/proc/loadavg: 0.60 0.35 0.84 3/178 32233
/proc/meminfo: memFree=29035244/32873844 swapFree=7124/7124
[pid=32233] ppid=32231 vsize=29464 CPUtime=0.08 cores=1,3,5,7
/proc/32233/stat : 32233 (scip-2.1.1.4fix) R 32231 32233 32151 0 -1 4202496 6587 0 0 0 7 1 0 0 20 0 1 0 267819613 30171136 6162 33554432000 4194304 10173063 140733944765808 140736873943736 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32233/statm: 7366 6162 745 1460 0 5897 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29464
[startup+0.100299 s]
/proc/loadavg: 0.60 0.35 0.84 3/178 32233
/proc/meminfo: memFree=29035244/32873844 swapFree=7124/7124
[pid=32233] ppid=32231 vsize=29464 CPUtime=0.09 cores=1,3,5,7
/proc/32233/stat : 32233 (scip-2.1.1.4fix) R 32231 32233 32151 0 -1 4202496 6609 0 0 0 8 1 0 0 20 0 1 0 267819613 30171136 6184 33554432000 4194304 10173063 140733944765808 140736873943736 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32233/statm: 7366 6184 745 1460 0 5897 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29464
[startup+0.300288 s]
/proc/loadavg: 0.60 0.35 0.84 3/178 32233
/proc/meminfo: memFree=29035244/32873844 swapFree=7124/7124
[pid=32233] ppid=32231 vsize=48208 CPUtime=0.29 cores=1,3,5,7
/proc/32233/stat : 32233 (scip-2.1.1.4fix) R 32231 32233 32151 0 -1 4202496 11032 0 0 0 24 5 0 0 20 0 1 0 267819613 49364992 10607 33554432000 4194304 10173063 140733944765808 140736873943736 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32233/statm: 12052 10607 799 1460 0 10583 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48208
[startup+0.700287 s]
/proc/loadavg: 0.60 0.35 0.84 3/178 32233
/proc/meminfo: memFree=29035244/32873844 swapFree=7124/7124
[pid=32233] ppid=32231 vsize=48208 CPUtime=0.68 cores=1,3,5,7
/proc/32233/stat : 32233 (scip-2.1.1.4fix) R 32231 32233 32151 0 -1 4202496 11113 0 0 0 63 5 0 0 20 0 1 0 267819613 49364992 10688 33554432000 4194304 10173063 140733944765808 140733944760696 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32233/statm: 12052 10688 802 1460 0 10583 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 48208
[startup+1.50021 s]
/proc/loadavg: 0.60 0.35 0.84 3/179 32234
/proc/meminfo: memFree=28996184/32873844 swapFree=7124/7124
[pid=32233] ppid=32231 vsize=48208 CPUtime=1.49 cores=1,3,5,7
/proc/32233/stat : 32233 (scip-2.1.1.4fix) R 32231 32233 32151 0 -1 4202496 11117 0 0 0 142 7 0 0 20 0 1 0 267819613 49364992 10692 33554432000 4194304 10173063 140733944765808 140733944760696 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32233/statm: 12052 10692 806 1460 0 10583 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 48208
[startup+3.10019 s]
/proc/loadavg: 0.60 0.35 0.84 3/179 32234
/proc/meminfo: memFree=28995440/32873844 swapFree=7124/7124
[pid=32233] ppid=32231 vsize=48208 CPUtime=3.09 cores=1,3,5,7
/proc/32233/stat : 32233 (scip-2.1.1.4fix) R 32231 32233 32151 0 -1 4202496 11117 0 0 0 300 9 0 0 20 0 1 0 267819613 49364992 10692 33554432000 4194304 10173063 140733944765808 140733944759720 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32233/statm: 12052 10692 806 1460 0 10583 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48208
[startup+6.30021 s]
/proc/loadavg: 0.72 0.37 0.85 3/179 32234
/proc/meminfo: memFree=28995440/32873844 swapFree=7124/7124
[pid=32233] ppid=32231 vsize=48208 CPUtime=6.29 cores=1,3,5,7
/proc/32233/stat : 32233 (scip-2.1.1.4fix) R 32231 32233 32151 0 -1 4202496 11117 0 0 0 616 13 0 0 20 0 1 0 267819613 49364992 10692 33554432000 4194304 10173063 140733944765808 140733944759640 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32233/statm: 12052 10692 806 1460 0 10583 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48208
[startup+12.7002 s]
/proc/loadavg: 0.82 0.40 0.85 3/179 32234
/proc/meminfo: memFree=28992272/32873844 swapFree=7124/7124
[pid=32233] ppid=32231 vsize=48208 CPUtime=12.69 cores=1,3,5,7
/proc/32233/stat : 32233 (scip-2.1.1.4fix) R 32231 32233 32151 0 -1 4202496 11382 0 0 0 1208 61 0 0 20 0 1 0 267819613 49364992 11060 33554432000 4194304 10173063 140733944765808 140733944758424 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32233/statm: 12052 11060 808 1460 0 10583 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48208
[startup+25.5002 s]
/proc/loadavg: 1.08 0.48 0.87 3/179 32234
/proc/meminfo: memFree=28992380/32873844 swapFree=7124/7124
[pid=32233] ppid=32231 vsize=48208 CPUtime=25.47 cores=1,3,5,7
/proc/32233/stat : 32233 (scip-2.1.1.4fix) R 32231 32233 32151 0 -1 4202496 11390 0 0 0 2369 178 0 0 20 0 1 0 267819613 49364992 11062 33554432000 4194304 10173063 140733944765808 140733944759448 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32233/statm: 12052 11062 808 1460 0 10583 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 48208
[startup+51.1002 s]
/proc/loadavg: 1.39 0.60 0.90 3/179 32234
/proc/meminfo: memFree=28991440/32873844 swapFree=7124/7124
[pid=32233] ppid=32231 vsize=48208 CPUtime=51.07 cores=1,3,5,7
/proc/32233/stat : 32233 (scip-2.1.1.4fix) R 32231 32233 32151 0 -1 4202496 11393 0 0 0 4728 379 0 0 20 0 1 0 267819613 49364992 11315 33554432000 4194304 10173063 140733944765808 140733944758424 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32233/statm: 12052 11315 808 1460 0 10583 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 48208
Solver just ended. Dumping a history of the last processes samples
[startup+54.3002 s]
/proc/loadavg: 1.39 0.60 0.90 3/179 32234
/proc/meminfo: memFree=28991440/32873844 swapFree=7124/7124
[pid=32233] ppid=32231 vsize=48208 CPUtime=54.27 cores=1,3,5,7
/proc/32233/stat : 32233 (scip-2.1.1.4fix) R 32231 32233 32151 0 -1 4202496 11393 0 0 0 5024 403 0 0 20 0 1 0 267819613 49364992 11315 33554432000 4194304 10173063 140733944765808 140733944759448 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32233/statm: 12052 11315 808 1460 0 10583 0
Current children cumulated CPU time (s) 54.27
Current children cumulated vsize (KiB) 48208
[startup+57.5002 s]
/proc/loadavg: 1.44 0.62 0.91 3/179 32234
/proc/meminfo: memFree=28991440/32873844 swapFree=7124/7124
[pid=32233] ppid=32231 vsize=48208 CPUtime=57.47 cores=1,3,5,7
/proc/32233/stat : 32233 (scip-2.1.1.4fix) R 32231 32233 32151 0 -1 4202496 11393 0 0 0 5309 438 0 0 20 0 1 0 267819613 49364992 11315 33554432000 4194304 10173063 140733944765808 140733944762392 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32233/statm: 12052 11315 808 1460 0 10583 0
Current children cumulated CPU time (s) 57.47
Current children cumulated vsize (KiB) 48208
[startup+58.3066 s]
/proc/loadavg: 1.44 0.62 0.91 3/179 32234
/proc/meminfo: memFree=28991440/32873844 swapFree=7124/7124
[pid=32233] ppid=32231 vsize=48208 CPUtime=58.28 cores=1,3,5,7
/proc/32233/stat : 32233 (scip-2.1.1.4fix) R 32231 32233 32151 0 -1 4202496 11393 0 0 0 5381 447 0 0 20 0 1 0 267819613 49364992 11315 33554432000 4194304 10173063 140733944765808 140733944762392 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32233/statm: 12052 11315 808 1460 0 10583 0
Current children cumulated CPU time (s) 58.28
Current children cumulated vsize (KiB) 48208
[startup+58.7002 s]
/proc/loadavg: 1.44 0.62 0.91 3/179 32234
/proc/meminfo: memFree=28991440/32873844 swapFree=7124/7124
[pid=32233] ppid=32231 vsize=48208 CPUtime=58.67 cores=1,3,5,7
/proc/32233/stat : 32233 (scip-2.1.1.4fix) R 32231 32233 32151 0 -1 4202496 11393 0 0 0 5418 449 0 0 20 0 1 0 267819613 49364992 11315 33554432000 4194304 10173063 140733944765808 140733944761176 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32233/statm: 12052 11315 808 1460 0 10583 0
Current children cumulated CPU time (s) 58.67
Current children cumulated vsize (KiB) 48208
[startup+59.1002 s]
/proc/loadavg: 1.44 0.62 0.91 3/179 32234
/proc/meminfo: memFree=28991440/32873844 swapFree=7124/7124
[pid=32233] ppid=32231 vsize=48208 CPUtime=59.07 cores=1,3,5,7
/proc/32233/stat : 32233 (scip-2.1.1.4fix) R 32231 32233 32151 0 -1 4202496 11393 0 0 0 5455 452 0 0 20 0 1 0 267819613 49364992 11315 33554432000 4194304 10173063 140733944765808 140733944761176 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32233/statm: 12052 11315 808 1460 0 10583 0
Current children cumulated CPU time (s) 59.07
Current children cumulated vsize (KiB) 48208
[startup+59.2002 s]
/proc/loadavg: 1.44 0.62 0.91 3/179 32234
/proc/meminfo: memFree=28991440/32873844 swapFree=7124/7124
[pid=32233] ppid=32231 vsize=48208 CPUtime=59.17 cores=1,3,5,7
/proc/32233/stat : 32233 (scip-2.1.1.4fix) R 32231 32233 32151 0 -1 4202496 11393 0 0 0 5464 453 0 0 20 0 1 0 267819613 49364992 11315 33554432000 4194304 10173063 140733944765808 140733944761176 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32233/statm: 12052 11315 808 1460 0 10583 0
Current children cumulated CPU time (s) 59.17
Current children cumulated vsize (KiB) 48208
Child status: 0
Real time (s): 59.294
CPU time (s): 59.272
CPU user time (s): 54.7297
CPU system time (s): 4.54231
CPU usage (%): 99.9629
Max. virtual memory (cumulated for all children) (KiB): 48208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.7297
system time used= 4.54231
maximum resident set size= 45276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11399
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= 16
involuntary context switches= 60
runsolver used 0.098984 second user time and 0.304953 second system time
The end