0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3691547-1338028547.opb>
0.00/0.01 c original problem has 900 variables (900 bin, 0 int, 0 impl, 0 cont) and 673 constraints
0.00/0.01 c problem read in 0.01
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.03 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.03
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.04 c
0.00/0.05 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.05 c 0.1s| 1 | 0 | 285 | - |4207k| 0 | 132 | 900 | 673 | 900 | 673 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 0 | 471 | - |4660k| 0 | 141 | 900 | 677 | 900 | 685 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.34 c 0.3s| 1 | 0 | 1273 | - |4912k| 0 | 188 | 900 | 677 | 900 | 694 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.44 c 0.4s| 1 | 0 | 1903 | - |5461k| 0 | 154 | 900 | 677 | 900 | 710 | 37 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.54 c 0.5s| 1 | 0 | 2158 | - |6360k| 0 | 126 | 900 | 677 | 900 | 725 | 52 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.62 c 0.6s| 1 | 0 | 2293 | - |7153k| 0 | 126 | 900 | 677 | 900 | 738 | 65 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.70 c 0.7s| 1 | 2 | 2293 | - |7154k| 0 | 126 | 900 | 677 | 900 | 738 | 65 | 0 | 10 | 0.000000e+00 | -- | Inf
3.49/3.54 c 3.5s| 100 | 101 | 3381 | 11.0 |7349k| 25 | 113 | 900 | 677 | 900 | 697 | 65 | 0 |1007 | 0.000000e+00 | -- | Inf
6.09/6.18 c 6.2s| 200 | 201 | 4950 | 13.4 |7490k| 29 | 99 | 900 | 677 | 900 | 697 | 65 | 0 |2023 | 0.000000e+00 | -- | Inf
7.28/7.30 c 7.3s| 300 | 301 | 5923 | 12.1 |7611k| 32 | 130 | 900 | 677 | 900 | 697 | 65 | 0 |2496 | 0.000000e+00 | -- | Inf
7.59/7.70 c 7.7s| 400 | 401 | 6814 | 11.3 |7728k| 38 | 98 | 900 | 677 | 900 | 697 | 65 | 0 |2649 | 0.000000e+00 | -- | Inf
7.88/7.91 c 7.9s| 500 | 501 | 7600 | 10.6 |7839k| 38 | 91 | 900 | 677 | 900 | 697 | 65 | 0 |2724 | 0.000000e+00 | -- | Inf
7.99/8.08 c 8.1s| 600 | 601 | 8418 | 10.2 |7944k| 38 | 90 | 900 | 677 | 900 | 697 | 65 | 0 |2763 | 0.000000e+00 | -- | Inf
8.18/8.25 c 8.2s| 700 | 701 | 8928 | 9.5 |8039k| 65 | 60 | 900 | 677 | 900 | 697 | 65 | 0 |2830 | 0.000000e+00 | -- | Inf
8.28/8.35 c 8.4s| 800 | 801 | 9256 | 8.7 |8125k| 97 | 46 | 900 | 677 | 900 | 697 | 65 | 0 |2870 | 0.000000e+00 | -- | Inf
8.49/8.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.49/8.51 c 8.5s| 900 | 879 | 9783 | 8.3 |8237k| 111 | 78 | 900 | 695 | 900 | 697 | 65 | 18 |2932 | 0.000000e+00 | -- | Inf
8.58/8.62 c 8.6s| 1000 | 911 | 10448 | 8.2 |8340k| 115 | 23 | 900 | 771 | 900 | 697 | 65 | 94 |2949 | 0.000000e+00 | -- | Inf
8.69/8.72 c 8.7s| 1100 | 925 | 11226 | 8.1 |8447k| 117 | - | 900 | 884 | 900 | 697 | 65 | 207 |2957 | 0.000000e+00 | -- | Inf
8.79/8.82 c 8.8s| 1200 | 965 | 11904 | 8.0 |8549k| 120 | 60 | 900 | 970 | 900 | 697 | 65 | 293 |2970 | 0.000000e+00 | -- | Inf
8.89/8.91 c 8.9s| 1300 | 989 | 12613 | 7.9 |8639k| 140 | 58 | 900 |1059 | 900 | 697 | 65 | 382 |2980 | 0.000000e+00 | -- | Inf
8.98/9.00 c 9.0s| 1400 | 1023 | 13294 | 7.9 |8732k| 173 | 23 | 900 |1141 | 900 | 697 | 65 | 464 |2989 | 0.000000e+00 | -- | Inf
9.09/9.10 c 9.1s| 1500 | 1049 | 14113 | 7.9 |8816k| 206 | - | 900 |1211 | 900 | 697 | 65 | 534 |2993 | 0.000000e+00 | -- | Inf
9.09/9.18 c 9.2s| 1600 | 1045 | 14805 | 7.8 |8821k| 206 | 23 | 900 |1232 | 900 | 697 | 65 | 614 |2994 | 0.000000e+00 | -- | Inf
9.18/9.25 c 9.3s| 1700 | 1059 | 15294 | 7.7 |8751k| 206 | 18 | 900 |1110 | 900 | 697 | 65 | 669 |2995 | 0.000000e+00 | -- | Inf
9.28/9.34 c 9.3s| 1800 | 1067 | 15962 | 7.6 |8781k| 206 | - | 900 |1106 | 900 | 697 | 65 | 710 |3005 | 0.000000e+00 | -- | Inf
9.39/9.43 c 9.4s| 1900 | 1067 | 16845 | 7.7 |8788k| 206 | 20 | 900 |1082 | 900 | 697 | 65 | 758 |3006 | 0.000000e+00 | -- | Inf
9.49/9.52 c 9.5s| 2000 | 1075 | 17659 | 7.7 |8817k| 206 | 16 | 900 |1081 | 900 | 697 | 65 | 808 |3009 | 0.000000e+00 | -- | Inf
9.58/9.63 c 9.6s| 2100 | 1049 | 18445 | 7.7 |8749k| 206 | 8 | 900 |1011 | 900 | 697 | 65 | 871 |3033 | 0.000000e+00 | -- | Inf
9.68/9.73 c 9.7s| 2200 | 1056 | 18872 | 7.5 |8770k| 206 | - | 900 |1008 | 900 | 697 | 65 | 944 |3052 | 0.000000e+00 | -- | Inf
9.79/9.83 c 9.8s| 2300 | 1045 | 19485 | 7.5 |8798k| 206 | 20 | 900 |1054 | 900 | 697 | 65 |1073 |3063 | 0.000000e+00 | -- | Inf
9.89/9.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.89/9.93 c 9.9s| 2400 | 1044 | 20157 | 7.4 |8883k| 206 | - | 900 |1163 | 900 | 697 | 65 |1219 |3076 | 0.000000e+00 | -- | Inf
9.99/10.02 c 10.0s| 2500 | 1050 | 20767 | 7.4 |8950k| 206 | - | 900 |1235 | 900 | 697 | 65 |1305 |3077 | 0.000000e+00 | -- | Inf
10.09/10.10 c 10.1s| 2600 | 1050 | 21356 | 7.3 |9016k| 206 | - | 900 |1322 | 900 | 697 | 65 |1402 |3077 | 0.000000e+00 | -- | Inf
10.09/10.19 c 10.2s| 2700 | 1048 | 22021 | 7.3 |9020k| 206 | - | 900 |1335 | 900 | 697 | 65 |1468 |3081 | 0.000000e+00 | -- | Inf
10.19/10.28 c 10.3s| 2800 | 1052 | 22666 | 7.3 |9091k| 206 | 24 | 900 |1419 | 900 | 697 | 65 |1568 |3081 | 0.000000e+00 | -- | Inf
10.28/10.36 c 10.4s| 2900 | 1049 | 23379 | 7.3 |9147k| 206 | - | 900 |1495 | 900 | 697 | 65 |1672 |3081 | 0.000000e+00 | -- | Inf
10.39/10.45 c 10.4s| 3000 | 1053 | 24065 | 7.3 |9242k| 206 | 17 | 900 |1614 | 900 | 697 | 65 |1792 |3081 | 0.000000e+00 | -- | Inf
10.48/10.54 c 10.5s| 3100 | 1053 | 24826 | 7.3 |9331k| 206 | 16 | 900 |1730 | 900 | 697 | 65 |1911 |3081 | 0.000000e+00 | -- | Inf
10.58/10.63 c 10.6s| 3200 | 1048 | 25505 | 7.3 |9306k| 206 | - | 900 |1693 | 900 | 697 | 65 |2017 |3082 | 0.000000e+00 | -- | Inf
10.68/10.72 c 10.7s| 3300 | 1049 | 26326 | 7.3 |9167k| 206 | - | 900 |1482 | 900 | 697 | 65 |2086 |3083 | 0.000000e+00 | -- | Inf
10.78/10.81 c 10.8s| 3400 | 1055 | 27221 | 7.3 |9107k| 206 | - | 900 |1377 | 900 | 697 | 65 |2145 |3086 | 0.000000e+00 | -- | Inf
10.89/10.91 c 10.9s| 3500 | 1048 | 28410 | 7.5 |9104k| 206 | 22 | 900 |1395 | 900 | 697 | 65 |2194 |3087 | 0.000000e+00 | -- | Inf
10.89/11.00 c 11.0s| 3600 | 1045 | 29265 | 7.5 |9128k| 206 | - | 900 |1433 | 900 | 697 | 65 |2244 |3087 | 0.000000e+00 | -- | Inf
10.99/11.08 c 11.1s| 3700 | 1054 | 29934 | 7.5 |9134k| 206 | 18 | 900 |1417 | 900 | 697 | 65 |2279 |3089 | 0.000000e+00 | -- | Inf
11.09/11.17 c 11.2s| 3800 | 1063 | 30773 | 7.5 |9156k| 206 | - | 900 |1410 | 900 | 697 | 65 |2313 |3094 | 0.000000e+00 | -- | Inf
11.18/11.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.18/11.25 c 11.2s| 3900 | 1062 | 31356 | 7.5 |9175k| 206 | 16 | 900 |1440 | 900 | 697 | 65 |2350 |3095 | 0.000000e+00 | -- | Inf
11.28/11.32 c 11.3s| 4000 | 1067 | 32027 | 7.4 |9225k| 206 | - | 900 |1492 | 900 | 697 | 65 |2402 |3096 | 0.000000e+00 | -- | Inf
11.39/11.40 c 11.4s| 4100 | 1080 | 32719 | 7.4 |9255k| 206 | 17 | 900 |1518 | 900 | 697 | 65 |2443 |3096 | 0.000000e+00 | -- | Inf
11.39/11.48 c 11.5s| 4200 | 1084 | 33456 | 7.4 |9294k| 206 | - | 900 |1553 | 900 | 697 | 65 |2485 |3096 | 0.000000e+00 | -- | Inf
11.49/11.57 c 11.6s| 4300 | 1085 | 34234 | 7.4 |9327k| 206 | 20 | 900 |1594 | 900 | 697 | 65 |2548 |3096 | 0.000000e+00 | -- | Inf
11.58/11.66 c 11.7s| 4400 | 1082 | 35217 | 7.5 |9334k| 206 | - | 900 |1601 | 900 | 697 | 65 |2567 |3098 | 0.000000e+00 | -- | Inf
11.69/11.74 c 11.7s| 4500 | 1077 | 36105 | 7.5 |9357k| 206 | - | 900 |1641 | 900 | 697 | 65 |2633 |3098 | 0.000000e+00 | -- | Inf
11.78/11.83 c 11.8s| 4600 | 1071 | 36899 | 7.5 |9318k| 206 | 16 | 900 |1605 | 900 | 697 | 65 |2688 |3098 | 0.000000e+00 | -- | Inf
11.88/11.91 c 11.9s| 4700 | 1077 | 37584 | 7.5 |9358k| 206 | 18 | 900 |1645 | 900 | 697 | 65 |2734 |3098 | 0.000000e+00 | -- | Inf
11.88/12.00 c 12.0s| 4800 | 1079 | 38273 | 7.5 |9315k| 206 | 26 | 900 |1585 | 900 | 697 | 65 |2783 |3098 | 0.000000e+00 | -- | Inf
11.99/12.07 c 12.1s| 4900 | 1084 | 38954 | 7.5 |9347k| 206 | 16 | 900 |1617 | 900 | 697 | 65 |2816 |3098 | 0.000000e+00 | -- | Inf
12.09/12.15 c 12.2s| 5000 | 1087 | 39601 | 7.5 |9381k| 206 | 20 | 900 |1657 | 900 | 697 | 65 |2864 |3098 | 0.000000e+00 | -- | Inf
12.19/12.23 c 12.2s| 5100 | 1075 | 40220 | 7.4 |9372k| 206 | - | 900 |1675 | 900 | 697 | 65 |2924 |3098 | 0.000000e+00 | -- | Inf
12.28/12.32 c 12.3s| 5200 | 1077 | 41049 | 7.5 |9424k| 206 | 20 | 900 |1744 | 900 | 697 | 65 |3017 |3098 | 0.000000e+00 | -- | Inf
12.38/12.41 c 12.4s| 5300 | 1077 | 41877 | 7.5 |9428k| 206 | 14 | 900 |1754 | 900 | 697 | 65 |3080 |3098 | 0.000000e+00 | -- | Inf
12.38/12.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.38/12.48 c 12.5s| 5400 | 1077 | 42460 | 7.4 |9403k| 206 | - | 900 |1712 | 900 | 697 | 65 |3096 |3098 | 0.000000e+00 | -- | Inf
12.48/12.56 c 12.6s| 5500 | 1073 | 43080 | 7.4 |9391k| 206 | 17 | 900 |1705 | 900 | 697 | 65 |3099 |3098 | 0.000000e+00 | -- | Inf
12.59/12.63 c 12.6s| 5600 | 1078 | 43735 | 7.4 |9423k| 206 | 20 | 900 |1736 | 900 | 697 | 65 |3137 |3098 | 0.000000e+00 | -- | Inf
12.68/12.70 c 12.7s| 5700 | 1085 | 44228 | 7.4 |9441k| 206 | 17 | 900 |1742 | 900 | 697 | 65 |3155 |3099 | 0.000000e+00 | -- | Inf
12.68/12.78 c 12.8s| 5800 | 1084 | 44912 | 7.3 |9450k| 206 | 21 | 900 |1755 | 900 | 697 | 65 |3177 |3099 | 0.000000e+00 | -- | Inf
12.78/12.87 c 12.9s| 5900 | 1084 | 45557 | 7.3 |9451k| 206 | 18 | 900 |1756 | 900 | 697 | 65 |3191 |3116 | 0.000000e+00 | -- | Inf
12.88/12.95 c 12.9s| 6000 | 1082 | 46219 | 7.3 |9472k| 206 | - | 900 |1782 | 900 | 697 | 65 |3222 |3120 | 0.000000e+00 | -- | Inf
12.99/13.03 c 13.0s| 6100 | 1074 | 47052 | 7.3 |9477k| 206 | - | 900 |1807 | 900 | 697 | 65 |3262 |3122 | 0.000000e+00 | -- | Inf
13.09/13.11 c 13.1s| 6200 | 1080 | 47806 | 7.3 |9475k| 206 | - | 900 |1790 | 900 | 697 | 65 |3271 |3128 | 0.000000e+00 | -- | Inf
13.09/13.19 c 13.2s| 6300 | 1084 | 48429 | 7.3 |9490k| 206 | - | 900 |1799 | 900 | 697 | 65 |3285 |3130 | 0.000000e+00 | -- | Inf
13.19/13.27 c 13.3s| 6400 | 1084 | 49026 | 7.3 |9517k| 206 | 23 | 900 |1838 | 900 | 697 | 65 |3330 |3137 | 0.000000e+00 | -- | Inf
13.28/13.34 c 13.3s| 6500 | 1093 | 49548 | 7.3 |9559k| 206 | - | 900 |1875 | 900 | 697 | 65 |3373 |3138 | 0.000000e+00 | -- | Inf
13.38/13.42 c 13.4s| 6600 | 1093 | 50192 | 7.3 |9531k| 206 | - | 900 |1829 | 900 | 697 | 65 |3385 |3139 | 0.000000e+00 | -- | Inf
13.38/13.49 c 13.5s| 6700 | 1093 | 50778 | 7.2 |9538k| 206 | - | 900 |1837 | 0 | 0 | 65 |3405 |3139 | 0.000000e+00 | -- | Inf
13.48/13.56 c 13.6s| 6800 | 1097 | 51227 | 7.2 |9553k| 206 | 18 | 900 |1847 | 900 | 697 | 65 |3428 |3139 | 0.000000e+00 | -- | Inf
13.58/13.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.58/13.63 c 13.6s| 6900 | 1099 | 51716 | 7.2 |9575k| 206 | 18 | 900 |1867 | 900 | 697 | 65 |3458 |3139 | 0.000000e+00 | -- | Inf
13.69/13.70 c 13.7s| 7000 | 1099 | 52282 | 7.1 |9587k| 206 | - | 900 |1877 | 900 | 697 | 65 |3485 |3139 | 0.000000e+00 | -- | Inf
13.69/13.77 c 13.8s| 7100 | 1097 | 52960 | 7.1 |9589k| 206 | - | 900 |1883 | 900 | 697 | 65 |3499 |3139 | 0.000000e+00 | -- | Inf
13.78/13.85 c 13.8s| 7200 | 1099 | 53544 | 7.1 |9594k| 206 | - | 900 |1882 | 900 | 697 | 65 |3525 |3143 | 0.000000e+00 | -- | Inf
13.88/13.93 c 13.9s| 7300 | 1104 | 54262 | 7.1 |9600k| 206 | - | 900 |1871 | 900 | 697 | 65 |3547 |3146 | 0.000000e+00 | -- | Inf
13.98/14.01 c 14.0s| 7400 | 1103 | 54879 | 7.1 |9592k| 206 | - | 900 |1864 | 900 | 697 | 65 |3586 |3148 | 0.000000e+00 | -- | Inf
13.98/14.09 c 14.1s| 7500 | 1103 | 55525 | 7.1 |9598k| 206 | 21 | 900 |1874 | 900 | 697 | 65 |3619 |3149 | 0.000000e+00 | -- | Inf
14.08/14.16 c 14.2s| 7600 | 1101 | 56163 | 7.1 |9601k| 206 | - | 900 |1882 | 900 | 697 | 65 |3651 |3149 | 0.000000e+00 | -- | Inf
14.19/14.24 c 14.2s| 7700 | 1100 | 56821 | 7.1 |9612k| 206 | - | 900 |1906 | 900 | 697 | 65 |3691 |3149 | 0.000000e+00 | -- | Inf
14.29/14.34 c 14.3s| 7800 | 1092 | 57639 | 7.1 |9579k| 206 | - | 900 |1887 | 900 | 697 | 65 |3745 |3151 | 0.000000e+00 | -- | Inf
14.38/14.43 c 14.4s| 7900 | 1093 | 58730 | 7.1 |9530k| 206 | - | 900 |1811 | 900 | 697 | 65 |3748 |3151 | 0.000000e+00 | -- | Inf
14.48/14.51 c 14.5s| 8000 | 1091 | 59560 | 7.2 |9479k| 206 | 23 | 900 |1737 | 900 | 697 | 65 |3763 |3151 | 0.000000e+00 | -- | Inf
14.59/14.60 c 14.6s| 8100 | 1091 | 60452 | 7.2 |9446k| 206 | - | 900 |1684 | 900 | 697 | 65 |3774 |3154 | 0.000000e+00 | -- | Inf
14.59/14.69 c 14.7s| 8200 | 1095 | 61385 | 7.2 |9458k| 206 | 24 | 900 |1697 | 900 | 697 | 65 |3802 |3155 | 0.000000e+00 | -- | Inf
14.68/14.77 c 14.8s| 8300 | 1095 | 62329 | 7.2 |9474k| 206 | 24 | 900 |1717 | 900 | 697 | 65 |3836 |3155 | 0.000000e+00 | -- | Inf
14.78/14.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.78/14.86 c 14.9s| 8400 | 1107 | 63116 | 7.2 |9455k| 206 | 18 | 900 |1666 | 900 | 697 | 65 |3859 |3155 | 0.000000e+00 | -- | Inf
14.89/14.95 c 14.9s| 8500 | 1109 | 64043 | 7.3 |9446k| 206 | 17 | 900 |1647 | 900 | 697 | 65 |3902 |3156 | 0.000000e+00 | -- | Inf
14.98/15.04 c 15.0s| 8600 | 1112 | 64875 | 7.3 |9490k| 206 | 24 | 900 |1705 | 900 | 697 | 65 |3973 |3158 | 0.000000e+00 | -- | Inf
15.09/15.13 c 15.1s| 8700 | 1114 | 65770 | 7.3 |9530k| 206 | 19 | 900 |1762 | 900 | 697 | 65 |4034 |3159 | 0.000000e+00 | -- | Inf
15.18/15.23 c 15.2s| 8800 | 1112 | 66677 | 7.3 |9555k| 206 | 30 | 900 |1808 | 900 | 697 | 65 |4083 |3162 | 0.000000e+00 | -- | Inf
15.29/15.32 c 15.3s| 8900 | 1106 | 67712 | 7.4 |9557k| 206 | 18 | 900 |1824 | 900 | 697 | 65 |4109 |3162 | 0.000000e+00 | -- | Inf
15.39/15.41 c 15.4s| 9000 | 1107 | 68895 | 7.4 |9533k| 206 | 22 | 900 |1779 | 900 | 697 | 65 |4116 |3163 | 0.000000e+00 | -- | Inf
15.48/15.51 c 15.5s| 9100 | 1105 | 70098 | 7.5 |9518k| 206 | - | 900 |1756 | 900 | 697 | 65 |4118 |3163 | 0.000000e+00 | -- | Inf
15.58/15.60 c 15.6s| 9200 | 1103 | 71246 | 7.5 |9513k| 206 | - | 900 |1753 | 900 | 697 | 65 |4122 |3163 | 0.000000e+00 | -- | Inf
15.68/15.70 c 15.7s| 9300 | 1107 | 72398 | 7.5 |9516k| 206 | 22 | 900 |1754 | 900 | 697 | 65 |4127 |3174 | 0.000000e+00 | -- | Inf
15.79/15.80 c 15.8s| 9400 | 1101 | 73481 | 7.6 |9522k| 206 | 27 | 900 |1771 | 900 | 697 | 65 |4157 |3179 | 0.000000e+00 | -- | Inf
15.89/15.90 c 15.9s| 9500 | 1095 | 74264 | 7.6 |9491k| 206 | - | 900 |1732 | 900 | 697 | 65 |4219 |3192 | 0.000000e+00 | -- | Inf
15.98/16.01 c 16.0s| 9600 | 1101 | 75161 | 7.6 |9491k| 206 | - | 900 |1714 | 900 | 697 | 65 |4238 |3211 | 0.000000e+00 | -- | Inf
16.08/16.11 c 16.1s| 9700 | 1106 | 76013 | 7.6 |9492k| 206 | - | 900 |1704 | 900 | 697 | 65 |4263 |3222 | 0.000000e+00 | -- | Inf
16.18/16.20 c 16.2s| 9800 | 1109 | 76855 | 7.6 |9524k| 206 | - | 900 |1749 | 900 | 697 | 65 |4311 |3224 | 0.000000e+00 | -- | Inf
16.18/16.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.18/16.29 c 16.3s| 9900 | 1104 | 77716 | 7.6 |9556k| 206 | - | 900 |1810 | 900 | 697 | 65 |4372 |3224 | 0.000000e+00 | -- | Inf
16.29/16.37 c 16.4s| 10000 | 1108 | 78347 | 7.6 |9612k| 206 | 25 | 900 |1881 | 900 | 697 | 65 |4443 |3224 | 0.000000e+00 | -- | Inf
16.39/16.46 c 16.5s| 10100 | 1106 | 79133 | 7.6 |9639k| 206 | 21 | 900 |1926 | 900 | 697 | 65 |4491 |3224 | 0.000000e+00 | -- | Inf
16.49/16.55 c 16.6s| 10200 | 1104 | 80126 | 7.6 |9664k| 206 | - | 900 |1960 | 900 | 697 | 65 |4530 |3225 | 0.000000e+00 | -- | Inf
16.58/16.63 c 16.6s| 10300 | 1107 | 80880 | 7.6 |9677k| 206 | 18 | 900 |1984 | 900 | 697 | 65 |4558 |3225 | 0.000000e+00 | -- | Inf
16.69/16.72 c 16.7s| 10400 | 1105 | 81607 | 7.6 |9712k| 206 | - | 900 |2036 | 900 | 697 | 65 |4617 |3225 | 0.000000e+00 | -- | Inf
16.78/16.81 c 16.8s| 10500 | 1107 | 82520 | 7.6 |9731k| 206 | - | 900 |2058 | 900 | 697 | 65 |4653 |3225 | 0.000000e+00 | -- | Inf
16.88/16.91 c 16.9s| 10600 | 1105 | 83730 | 7.7 |9751k| 206 | - | 900 |2096 | 900 | 697 | 65 |4707 |3225 | 0.000000e+00 | -- | Inf
16.98/17.01 c 17.0s| 10700 | 1112 | 84665 | 7.7 |9651k| 206 | 16 | 900 |1952 | 900 | 697 | 65 |4749 |3230 | 0.000000e+00 | -- | Inf
17.08/17.11 c 17.1s| 10800 | 1114 | 85619 | 7.7 |9607k| 206 | 12 | 900 |1870 | 900 | 697 | 65 |4801 |3231 | 0.000000e+00 | -- | Inf
17.18/17.20 c 17.2s| 10900 | 1115 | 86580 | 7.7 |9575k| 206 | 16 | 900 |1816 | 900 | 697 | 65 |4844 |3232 | 0.000000e+00 | -- | Inf
17.28/17.30 c 17.3s| 11000 | 1116 | 87539 | 7.8 |9562k| 206 | 14 | 900 |1791 | 900 | 697 | 65 |4888 |3232 | 0.000000e+00 | -- | Inf
17.28/17.39 c 17.4s| 11100 | 1116 | 88525 | 7.8 |9525k| 206 | - | 900 |1719 | 900 | 697 | 65 |4930 |3232 | 0.000000e+00 | -- | Inf
17.38/17.48 c 17.5s| 11200 | 1114 | 89420 | 7.8 |9527k| 206 | - | 900 |1721 | 900 | 697 | 65 |4961 |3232 | 0.000000e+00 | -- | Inf
17.48/17.56 c 17.6s| 11300 | 1105 | 90132 | 7.8 |9487k| 206 | - | 900 |1686 | 900 | 697 | 65 |5000 |3234 | 0.000000e+00 | -- | Inf
17.59/17.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.59/17.65 c 17.6s| 11400 | 1104 | 91080 | 7.8 |9482k| 206 | 16 | 900 |1681 | 900 | 697 | 65 |5039 |3234 | 0.000000e+00 | -- | Inf
17.68/17.74 c 17.7s| 11500 | 1105 | 91991 | 7.8 |9449k| 206 | - | 900 |1632 | 900 | 697 | 65 |5060 |3236 | 0.000000e+00 | -- | Inf
17.78/17.82 c 17.8s| 11600 | 1111 | 93020 | 7.8 |9438k| 206 | 16 | 900 |1602 | 900 | 697 | 65 |5063 |3236 | 0.000000e+00 | -- | Inf
17.88/17.92 c 17.9s| 11700 | 1109 | 94539 | 7.9 |9439k| 206 | - | 900 |1603 | 900 | 697 | 65 |5068 |3236 | 0.000000e+00 | -- | Inf
17.99/18.01 c 18.0s| 11800 | 1105 | 95350 | 7.9 |9422k| 206 | 22 | 900 |1589 | 900 | 697 | 65 |5080 |3239 | 0.000000e+00 | -- | Inf
18.08/18.10 c 18.1s| 11900 | 1105 | 96475 | 7.9 |9429k| 206 | - | 900 |1594 | 900 | 697 | 65 |5089 |3240 | 0.000000e+00 | -- | Inf
18.08/18.18 c 18.2s| 12000 | 1107 | 97077 | 7.9 |9436k| 206 | - | 900 |1600 | 900 | 697 | 65 |5122 |3244 | 0.000000e+00 | -- | Inf
18.18/18.27 c 18.3s| 12100 | 1105 | 97844 | 7.9 |9430k| 206 | 18 | 900 |1598 | 900 | 697 | 65 |5163 |3244 | 0.000000e+00 | -- | Inf
18.29/18.36 c 18.4s| 12200 | 1098 | 98691 | 7.9 |9416k| 206 | - | 900 |1591 | 900 | 697 | 65 |5214 |3244 | 0.000000e+00 | -- | Inf
18.38/18.45 c 18.5s| 12300 | 1098 | 99931 | 7.9 |9403k| 206 | - | 900 |1566 | 900 | 697 | 65 |5222 |3244 | 0.000000e+00 | -- | Inf
18.48/18.55 c 18.6s| 12400 | 1098 |100938 | 8.0 |9388k| 206 | 21 | 900 |1553 | 900 | 697 | 65 |5224 |3258 | 0.000000e+00 | -- | Inf
18.59/18.65 c 18.6s| 12500 | 1100 |102194 | 8.0 |9399k| 206 | 14 | 900 |1563 | 900 | 697 | 65 |5236 |3261 | 0.000000e+00 | -- | Inf
18.69/18.74 c 18.7s| 12600 | 1102 |103398 | 8.0 |9406k| 206 | 22 | 900 |1569 | 900 | 697 | 65 |5242 |3264 | 0.000000e+00 | -- | Inf
18.78/18.85 c 18.8s| 12700 | 1112 |104337 | 8.0 |9403k| 206 | 20 | 900 |1537 | 900 | 697 | 65 |5269 |3276 | 0.000000e+00 | -- | Inf
18.88/18.97 c 19.0s| 12800 | 1103 |105312 | 8.0 |9401k| 206 | 22 | 900 |1556 | 900 | 697 | 65 |5324 |3299 | 0.000000e+00 | -- | Inf
18.98/19.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.98/19.06 c 19.1s| 12900 | 1101 |106399 | 8.1 |9413k| 206 | - | 900 |1573 | 900 | 697 | 65 |5346 |3299 | 0.000000e+00 | -- | Inf
19.08/19.16 c 19.2s| 13000 | 1100 |107431 | 8.1 |9415k| 206 | - | 900 |1597 | 900 | 697 | 65 |5386 |3304 | 0.000000e+00 | -- | Inf
19.18/19.26 c 19.3s| 13100 | 1101 |108495 | 8.1 |9398k| 206 | - | 900 |1567 | 900 | 697 | 65 |5398 |3309 | 0.000000e+00 | -- | Inf
19.28/19.35 c 19.4s| 13200 | 1101 |109253 | 8.1 |9403k| 206 | 24 | 900 |1573 | 900 | 697 | 65 |5434 |3317 | 0.000000e+00 | -- | Inf
19.38/19.45 c 19.4s| 13300 | 1102 |110124 | 8.1 |9430k| 206 | 18 | 900 |1606 | 900 | 697 | 65 |5483 |3322 | 0.000000e+00 | -- | Inf
19.48/19.53 c 19.5s| 13400 | 1099 |110793 | 8.1 |9442k| 206 | 21 | 900 |1627 | 900 | 697 | 65 |5508 |3325 | 0.000000e+00 | -- | Inf
19.58/19.61 c 19.6s| 13500 | 1107 |111476 | 8.1 |9449k| 206 | - | 900 |1623 | 900 | 697 | 65 |5520 |3328 | 0.000000e+00 | -- | Inf
19.58/19.69 c 19.7s| 13600 | 1105 |112205 | 8.1 |9449k| 206 | - | 900 |1624 | 900 | 697 | 65 |5541 |3331 | 0.000000e+00 | -- | Inf
19.69/19.79 c 19.8s| 13700 | 1102 |113030 | 8.1 |9468k| 206 | 21 | 900 |1670 | 900 | 697 | 65 |5592 |3336 | 0.000000e+00 | -- | Inf
19.78/19.87 c 19.9s| 13800 | 1099 |113612 | 8.1 |9423k| 206 | 21 | 900 |1621 | 900 | 697 | 65 |5601 |3345 | 0.000000e+00 | -- | Inf
19.88/19.96 c 20.0s| 13900 | 1098 |114537 | 8.1 |9412k| 206 | - | 900 |1606 | 900 | 697 | 65 |5604 |3345 | 0.000000e+00 | -- | Inf
19.98/20.04 c 20.0s| 14000 | 1102 |115552 | 8.1 |9415k| 206 | 18 | 900 |1605 | 900 | 697 | 65 |5608 |3345 | 0.000000e+00 | -- | Inf
20.08/20.13 c 20.1s| 14100 | 1096 |116299 | 8.1 |9424k| 206 | - | 900 |1620 | 900 | 697 | 65 |5644 |3346 | 0.000000e+00 | -- | Inf
20.18/20.21 c 20.2s| 14200 | 1094 |117110 | 8.1 |9419k| 206 | 21 | 900 |1620 | 900 | 697 | 65 |5654 |3346 | 0.000000e+00 | -- | Inf
20.18/20.29 c 20.3s| 14300 | 1096 |117931 | 8.1 |9431k| 206 | 18 | 900 |1631 | 900 | 697 | 65 |5678 |3346 | 0.000000e+00 | -- | Inf
20.28/20.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.28/20.38 c 20.4s| 14400 | 1090 |118825 | 8.1 |9392k| 206 | 20 | 900 |1602 | 900 | 697 | 65 |5719 |3348 | 0.000000e+00 | -- | Inf
20.38/20.47 c 20.5s| 14500 | 1100 |119547 | 8.1 |9415k| 206 | 16 | 900 |1609 | 900 | 697 | 65 |5773 |3355 | 0.000000e+00 | -- | Inf
20.48/20.56 c 20.6s| 14600 | 1094 |120277 | 8.1 |9450k| 206 | - | 900 |1660 | 900 | 697 | 65 |5830 |3355 | 0.000000e+00 | -- | Inf
20.58/20.64 c 20.6s| 14700 | 1096 |120880 | 8.1 |9500k| 206 | 16 | 900 |1720 | 900 | 697 | 65 |5913 |3355 | 0.000000e+00 | -- | Inf
20.68/20.73 c 20.7s| 14800 | 1091 |121517 | 8.1 |9526k| 206 | 18 | 900 |1776 | 900 | 697 | 65 |6009 |3356 | 0.000000e+00 | -- | Inf
20.78/20.83 c 20.8s| 14900 | 1091 |122306 | 8.1 |9441k| 206 | 23 | 900 |1654 | 900 | 697 | 65 |6042 |3365 | 0.000000e+00 | -- | Inf
20.88/20.92 c 20.9s| 15000 | 1085 |123233 | 8.1 |9413k| 206 | - | 900 |1632 | 900 | 697 | 65 |6059 |3369 | 0.000000e+00 | -- | Inf
20.98/21.01 c 21.0s| 15100 | 1084 |123904 | 8.1 |9336k| 206 | - | 900 |1518 | 900 | 697 | 65 |6075 |3374 | 0.000000e+00 | -- | Inf
20.98/21.09 c 21.1s| 15200 | 1083 |124724 | 8.1 |9339k| 206 | - | 900 |1521 | 900 | 697 | 65 |6110 |3377 | 0.000000e+00 | -- | Inf
21.08/21.17 c 21.2s| 15300 | 1086 |125495 | 8.1 |9340k| 206 | 21 | 900 |1517 | 900 | 697 | 65 |6119 |3377 | 0.000000e+00 | -- | Inf
21.18/21.26 c 21.3s| 15400 | 1088 |126260 | 8.1 |9374k| 206 | - | 900 |1556 | 900 | 697 | 65 |6163 |3383 | 0.000000e+00 | -- | Inf
21.28/21.34 c 21.3s| 15500 | 1086 |127085 | 8.1 |9404k| 206 | - | 900 |1603 | 0 | 0 | 65 |6214 |3384 | 0.000000e+00 | -- | Inf
21.38/21.42 c 21.4s| 15600 | 1090 |127751 | 8.0 |9417k| 206 | 18 | 900 |1612 | 900 | 697 | 65 |6260 |3384 | 0.000000e+00 | -- | Inf
21.48/21.51 c 21.5s| 15700 | 1087 |128308 | 8.0 |9469k| 206 | 22 | 900 |1692 | 900 | 697 | 65 |6350 |3384 | 0.000000e+00 | -- | Inf
21.48/21.59 c 21.6s| 15800 | 1081 |128950 | 8.0 |9489k| 206 | 23 | 900 |1743 | 900 | 697 | 65 |6435 |3384 | 0.000000e+00 | -- | Inf
21.58/21.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.58/21.67 c 21.7s| 15900 | 1085 |129690 | 8.0 |9459k| 206 | 22 | 900 |1691 | 900 | 697 | 65 |6464 |3384 | 0.000000e+00 | -- | Inf
21.68/21.75 c 21.8s| 16000 | 1086 |130422 | 8.0 |9463k| 206 | 18 | 900 |1692 | 900 | 697 | 65 |6492 |3384 | 0.000000e+00 | -- | Inf
21.78/21.84 c 21.8s| 16100 | 1086 |131129 | 8.0 |9503k| 206 | - | 900 |1745 | 900 | 697 | 65 |6547 |3384 | 0.000000e+00 | -- | Inf
21.88/21.95 c 21.9s| 16200 | 1088 |131877 | 8.0 |9521k| 206 | 25 | 900 |1770 | 900 | 697 | 65 |6592 |3404 | 0.000000e+00 | -- | Inf
21.99/22.04 c 22.0s| 16300 | 1087 |132499 | 8.0 |9544k| 206 | - | 900 |1802 | 0 | 0 | 65 |6636 |3416 | 0.000000e+00 | -- | Inf
22.08/22.15 c 22.1s| 16400 | 1084 |133307 | 8.0 |9573k| 206 | 22 | 900 |1855 | 900 | 697 | 65 |6697 |3431 | 0.000000e+00 | -- | Inf
22.18/22.25 c 22.3s| 16500 | 1088 |133946 | 8.0 |9618k| 206 | 22 | 900 |1905 | 900 | 697 | 65 |6755 |3451 | 0.000000e+00 | -- | Inf
22.28/22.34 c 22.3s| 16600 | 1084 |134573 | 8.0 |9660k| 206 | - | 900 |1972 | 900 | 697 | 65 |6828 |3454 | 0.000000e+00 | -- | Inf
22.38/22.45 c 22.4s| 16700 | 1081 |135264 | 8.0 |9680k| 206 | - | 900 |2005 | 900 | 697 | 65 |6894 |3465 | 0.000000e+00 | -- | Inf
22.48/22.54 c 22.5s| 16800 | 1081 |135952 | 8.0 |9592k| 206 | 21 | 900 |1891 | 900 | 697 | 65 |6936 |3475 | 0.000000e+00 | -- | Inf
22.58/22.64 c 22.6s| 16900 | 1082 |136851 | 8.0 |9587k| 206 | 23 | 900 |1879 | 900 | 697 | 65 |6972 |3480 | 0.000000e+00 | -- | Inf
22.68/22.74 c 22.7s| 17000 | 1080 |137992 | 8.0 |9544k| 206 | - | 900 |1807 | 900 | 697 | 65 |7001 |3483 | 0.000000e+00 | -- | Inf
22.78/22.83 c 22.8s| 17100 | 1081 |138795 | 8.0 |9459k| 206 | - | 900 |1683 | 900 | 697 | 65 |7043 |3484 | 0.000000e+00 | -- | Inf
22.88/22.91 c 22.9s| 17200 | 1081 |139388 | 8.0 |9456k| 206 | 18 | 900 |1675 | 900 | 697 | 65 |7078 |3485 | 0.000000e+00 | -- | Inf
22.88/22.99 c 23.0s| 17300 | 1079 |139945 | 8.0 |9473k| 206 | - | 900 |1701 | 900 | 697 | 65 |7107 |3487 | 0.000000e+00 | -- | Inf
22.99/23.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.99/23.07 c 23.1s| 17400 | 1079 |140409 | 7.9 |9469k| 206 | 24 | 900 |1704 | 900 | 697 | 65 |7144 |3488 | 0.000000e+00 | -- | Inf
23.08/23.16 c 23.2s| 17500 | 1081 |141047 | 7.9 |9480k| 206 | - | 900 |1704 | 900 | 697 | 65 |7201 |3493 | 0.000000e+00 | -- | Inf
23.18/23.25 c 23.3s| 17600 | 1081 |141790 | 7.9 |9514k| 206 | - | 900 |1746 | 900 | 697 | 65 |7310 |3493 | 0.000000e+00 | -- | Inf
23.28/23.34 c 23.3s| 17700 | 1078 |142572 | 7.9 |9538k| 206 | - | 900 |1777 | 900 | 697 | 65 |7398 |3494 | 0.000000e+00 | -- | Inf
23.38/23.43 c 23.4s| 17800 | 1080 |143287 | 7.9 |9516k| 206 | - | 900 |1747 | 900 | 697 | 65 |7428 |3496 | 0.000000e+00 | -- | Inf
23.48/23.51 c 23.5s| 17900 | 1078 |143967 | 7.9 |9484k| 206 | 18 | 900 |1710 | 900 | 697 | 65 |7461 |3497 | 0.000000e+00 | -- | Inf
23.58/23.61 c 23.6s| 18000 | 1082 |144970 | 7.9 |9441k| 206 | - | 900 |1626 | 900 | 697 | 65 |7471 |3502 | 0.000000e+00 | -- | Inf
23.58/23.69 c 23.7s| 18100 | 1086 |145699 | 7.9 |9413k| 206 | 16 | 900 |1580 | 900 | 697 | 65 |7483 |3505 | 0.000000e+00 | -- | Inf
23.68/23.77 c 23.8s| 18200 | 1083 |146455 | 7.9 |9424k| 206 | 25 | 900 |1602 | 900 | 697 | 65 |7513 |3505 | 0.000000e+00 | -- | Inf
23.78/23.86 c 23.9s| 18300 | 1083 |146956 | 7.9 |9413k| 206 | 21 | 900 |1586 | 900 | 697 | 65 |7517 |3520 | 0.000000e+00 | -- | Inf
23.88/23.94 c 23.9s| 18400 | 1085 |147505 | 7.9 |9421k| 206 | - | 900 |1586 | 900 | 697 | 65 |7520 |3524 | 0.000000e+00 | -- | Inf
23.98/24.01 c 24.0s| 18500 | 1083 |148048 | 7.9 |9427k| 206 | 18 | 900 |1600 | 900 | 697 | 65 |7534 |3524 | 0.000000e+00 | -- | Inf
23.98/24.10 c 24.1s| 18600 | 1082 |148921 | 7.9 |9353k| 206 | 22 | 900 |1496 | 900 | 697 | 65 |7554 |3530 | 0.000000e+00 | -- | Inf
24.08/24.18 c 24.2s| 18700 | 1089 |149480 | 7.9 |9379k| 206 | 20 | 900 |1517 | 900 | 697 | 65 |7587 |3531 | 0.000000e+00 | -- | Inf
24.18/24.25 c 24.3s| 18800 | 1086 |150152 | 7.9 |9395k| 206 | 22 | 900 |1542 | 900 | 697 | 65 |7614 |3531 | 0.000000e+00 | -- | Inf
24.28/24.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.28/24.34 c 24.3s| 18900 | 1079 |150745 | 7.9 |9406k| 206 | - | 900 |1570 | 900 | 697 | 65 |7672 |3533 | 0.000000e+00 | -- | Inf
24.38/24.42 c 24.4s| 19000 | 1083 |151583 | 7.9 |9385k| 206 | 16 | 900 |1531 | 900 | 697 | 65 |7677 |3533 | 0.000000e+00 | -- | Inf
24.38/24.49 c 24.5s| 19100 | 1089 |152214 | 7.8 |9397k| 206 | 10 | 900 |1532 | 900 | 697 | 65 |7680 |3533 | 0.000000e+00 | -- | Inf
24.48/24.56 c 24.6s| 19200 | 1087 |152686 | 7.8 |9397k| 206 | 16 | 900 |1536 | 900 | 697 | 65 |7684 |3533 | 0.000000e+00 | -- | Inf
24.58/24.63 c 24.6s| 19300 | 1083 |153210 | 7.8 |9392k| 206 | - | 900 |1533 | 900 | 697 | 65 |7695 |3534 | 0.000000e+00 | -- | Inf
24.68/24.70 c 24.7s| 19400 | 1077 |153776 | 7.8 |9380k| 206 | - | 900 |1532 | 900 | 697 | 65 |7704 |3534 | 0.000000e+00 | -- | Inf
24.68/24.79 c 24.8s| 19500 | 1079 |154339 | 7.8 |9391k| 206 | - | 900 |1543 | 900 | 697 | 65 |7744 |3538 | 0.000000e+00 | -- | Inf
24.78/24.86 c 24.9s| 19600 | 1087 |154895 | 7.8 |9400k| 206 | 12 | 900 |1539 | 900 | 697 | 65 |7774 |3540 | 0.000000e+00 | -- | Inf
24.88/24.94 c 24.9s| 19700 | 1085 |155443 | 7.8 |9406k| 206 | 10 | 900 |1552 | 900 | 697 | 65 |7817 |3541 | 0.000000e+00 | -- | Inf
24.98/25.01 c 25.0s| 19800 | 1083 |156003 | 7.8 |9484k| 206 | 22 | 900 |1659 | 900 | 697 | 65 |7941 |3541 | 0.000000e+00 | -- | Inf
25.08/25.10 c 25.1s| 19900 | 1086 |156779 | 7.8 |9499k| 206 | 19 | 900 |1679 | 900 | 697 | 65 |8003 |3542 | 0.000000e+00 | -- | Inf
25.19/25.21 c 25.2s| 20000 | 1082 |157715 | 7.8 |9484k| 206 | 22 | 900 |1669 | 900 | 697 | 65 |8037 |3558 | 0.000000e+00 | -- | Inf
25.28/25.30 c 25.3s| 20100 | 1088 |158593 | 7.8 |9497k| 206 | 24 | 900 |1674 | 900 | 697 | 65 |8048 |3567 | 0.000000e+00 | -- | Inf
25.28/25.39 c 25.4s| 20200 | 1084 |159526 | 7.8 |9498k| 206 | 24 | 900 |1685 | 900 | 697 | 65 |8061 |3567 | 0.000000e+00 | -- | Inf
25.38/25.47 c 25.5s| 20300 | 1084 |160267 | 7.8 |9495k| 206 | 25 | 900 |1678 | 900 | 697 | 65 |8096 |3567 | 0.000000e+00 | -- | Inf
25.48/25.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
25.48/25.55 c 25.6s| 20400 | 1084 |161192 | 7.8 |9491k| 206 | - | 900 |1669 | 900 | 697 | 65 |8113 |3567 | 0.000000e+00 | -- | Inf
25.58/25.64 c 25.6s| 20500 | 1094 |161620 | 7.8 |9501k| 206 | - | 900 |1660 | 900 | 697 | 65 |8116 |3584 | 0.000000e+00 | -- | Inf
25.68/25.72 c 25.7s| 20600 | 1094 |162049 | 7.8 |9507k| 206 | - | 900 |1666 | 900 | 697 | 65 |8130 |3594 | 0.000000e+00 | -- | Inf
25.68/25.79 c 25.8s| 20700 | 1088 |162498 | 7.7 |9508k| 206 | - | 900 |1677 | 900 | 697 | 65 |8147 |3598 | 0.000000e+00 | -- | Inf
25.78/25.86 c 25.9s| 20800 | 1090 |163023 | 7.7 |9511k| 206 | - | 900 |1680 | 900 | 697 | 65 |8155 |3598 | 0.000000e+00 | -- | Inf
25.88/25.94 c 25.9s| 20900 | 1088 |163618 | 7.7 |9534k| 206 | 20 | 900 |1715 | 900 | 697 | 65 |8195 |3599 | 0.000000e+00 | -- | Inf
25.98/26.01 c 26.0s| 21000 | 1096 |164210 | 7.7 |9546k| 206 | 22 | 900 |1717 | 900 | 697 | 65 |8200 |3599 | 0.000000e+00 | -- | Inf
25.98/26.08 c 26.1s| 21100 | 1096 |164891 | 7.7 |9549k| 206 | - | 900 |1715 | 900 | 697 | 65 |8205 |3600 | 0.000000e+00 | -- | Inf
26.08/26.15 c 26.2s| 21200 | 1100 |165452 | 7.7 |9548k| 206 | - | 900 |1707 | 900 | 697 | 65 |8206 |3600 | 0.000000e+00 | -- | Inf
26.18/26.22 c 26.2s| 21300 | 1094 |166015 | 7.7 |9535k| 206 | 16 | 900 |1702 | 900 | 697 | 65 |8206 |3601 | 0.000000e+00 | -- | Inf
26.18/26.29 c 26.3s| 21400 | 1094 |166667 | 7.7 |9542k| 206 | - | 900 |1706 | 900 | 697 | 65 |8214 |3601 | 0.000000e+00 | -- | Inf
26.29/26.37 c 26.4s| 21500 | 1090 |167285 | 7.7 |9533k| 206 | 18 | 900 |1712 | 900 | 697 | 65 |8220 |3601 | 0.000000e+00 | -- | Inf
26.39/26.44 c 26.4s| 21600 | 1100 |167807 | 7.7 |9549k| 206 | - | 900 |1708 | 900 | 697 | 65 |8229 |3607 | 0.000000e+00 | -- | Inf
26.48/26.51 c 26.5s| 21700 | 1096 |168389 | 7.7 |9558k| 206 | - | 900 |1727 | 900 | 697 | 65 |8256 |3607 | 0.000000e+00 | -- | Inf
26.48/26.59 c 26.6s| 21800 | 1085 |169070 | 7.7 |9519k| 206 | - | 900 |1702 | 900 | 697 | 65 |8272 |3608 | 0.000000e+00 | -- | Inf
26.58/26.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.58/26.67 c 26.7s| 21900 | 1083 |169682 | 7.6 |9512k| 206 | - | 900 |1694 | 900 | 697 | 65 |8281 |3608 | 0.000000e+00 | -- | Inf
26.68/26.75 c 26.8s| 22000 | 1077 |170589 | 7.7 |9464k| 206 | 22 | 900 |1657 | 900 | 697 | 65 |8308 |3608 | 0.000000e+00 | -- | Inf
26.78/26.84 c 26.8s| 22100 | 1079 |171410 | 7.7 |9426k| 206 | - | 900 |1597 | 900 | 697 | 65 |8318 |3611 | 0.000000e+00 | -- | Inf
26.88/26.93 c 26.9s| 22200 | 1075 |172277 | 7.7 |9372k| 206 | 23 | 900 |1524 | 900 | 697 | 65 |8328 |3616 | 0.000000e+00 | -- | Inf
26.98/27.00 c 27.0s| 22300 | 1075 |172750 | 7.6 |9352k| 206 | - | 900 |1482 | 900 | 697 | 65 |8335 |3619 | 0.000000e+00 | -- | Inf
26.98/27.07 c 27.1s| 22400 | 1079 |173228 | 7.6 |9325k| 206 | 20 | 900 |1435 | 900 | 697 | 65 |8351 |3623 | 0.000000e+00 | -- | Inf
27.08/27.15 c 27.2s| 22500 | 1079 |173769 | 7.6 |9317k| 206 | - | 900 |1420 | 900 | 697 | 65 |8362 |3628 | 0.000000e+00 | -- | Inf
27.18/27.23 c 27.2s| 22600 | 1076 |174495 | 7.6 |9288k| 206 | - | 900 |1406 | 900 | 697 | 65 |8366 |3632 | 0.000000e+00 | -- | Inf
27.27/27.32 c 27.3s| 22700 | 1082 |175299 | 7.6 |9289k| 206 | 22 | 900 |1388 | 900 | 697 | 65 |8375 |3638 | 0.000000e+00 | -- | Inf
27.39/27.40 c 27.4s| 22800 | 1088 |176004 | 7.6 |9306k| 206 | 20 | 900 |1399 | 900 | 697 | 65 |8395 |3647 | 0.000000e+00 | -- | Inf
27.39/27.49 c 27.5s| 22900 | 1084 |176489 | 7.6 |9299k| 206 | 22 | 900 |1396 | 900 | 697 | 65 |8398 |3666 | 0.000000e+00 | -- | Inf
27.49/27.59 c 27.6s| 23000 | 1074 |177127 | 7.6 |9288k| 206 | 18 | 900 |1407 | 900 | 697 | 65 |8414 |3684 | 0.000000e+00 | -- | Inf
27.58/27.68 c 27.7s| 23100 | 1086 |177715 | 7.6 |9320k| 206 | - | 900 |1420 | 900 | 697 | 65 |8437 |3698 | 0.000000e+00 | -- | Inf
27.68/27.77 c 27.8s| 23200 | 1088 |178275 | 7.6 |9328k| 206 | 22 | 900 |1428 | 900 | 697 | 65 |8461 |3712 | 0.000000e+00 | -- | Inf
27.78/27.87 c 27.9s| 23300 | 1086 |178815 | 7.6 |9343k| 206 | 22 | 900 |1446 | 900 | 697 | 65 |8482 |3734 | 0.000000e+00 | -- | Inf
27.88/27.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.88/27.95 c 27.9s| 23400 | 1079 |179374 | 7.6 |9337k| 206 | - | 900 |1450 | 900 | 697 | 65 |8503 |3740 | 0.000000e+00 | -- | Inf
27.98/28.06 c 28.1s| 23500 | 1069 |180001 | 7.6 |9313k| 206 | 20 | 900 |1461 | 900 | 697 | 65 |8530 |3773 | 0.000000e+00 | -- | Inf
28.08/28.18 c 28.2s| 23600 | 1069 |180732 | 7.6 |9329k| 206 | - | 900 |1478 | 900 | 697 | 65 |8556 |3800 | 0.000000e+00 | -- | Inf
28.18/28.27 c 28.3s| 23700 | 1072 |181530 | 7.6 |9276k| 206 | - | 900 |1386 | 900 | 697 | 65 |8574 |3812 | 0.000000e+00 | -- | Inf
28.28/28.36 c 28.4s| 23800 | 1077 |182297 | 7.6 |9305k| 206 | 23 | 900 |1410 | 900 | 697 | 65 |8643 |3813 | 0.000000e+00 | -- | Inf
28.38/28.45 c 28.4s| 23900 | 1071 |183467 | 7.6 |9284k| 206 | 27 | 900 |1391 | 900 | 697 | 65 |8652 |3813 | 0.000000e+00 | -- | Inf
28.48/28.54 c 28.5s| 24000 | 1075 |184580 | 7.6 |9295k| 206 | 23 | 900 |1396 | 900 | 697 | 65 |8673 |3813 | 0.000000e+00 | -- | Inf
28.58/28.63 c 28.6s| 24100 | 1073 |185568 | 7.6 |9314k| 206 | 20 | 900 |1431 | 900 | 697 | 65 |8710 |3813 | 0.000000e+00 | -- | Inf
28.68/28.70 c 28.7s| 24200 | 1071 |186339 | 7.6 |9330k| 206 | - | 900 |1451 | 900 | 697 | 65 |8745 |3813 | 0.000000e+00 | -- | Inf
28.68/28.79 c 28.8s| 24300 | 1071 |187137 | 7.6 |9333k| 206 | - | 900 |1458 | 900 | 697 | 65 |8776 |3813 | 0.000000e+00 | -- | Inf
28.78/28.87 c 28.9s| 24400 | 1067 |187888 | 7.6 |9337k| 206 | - | 900 |1483 | 900 | 697 | 65 |8834 |3813 | 0.000000e+00 | -- | Inf
28.88/28.96 c 29.0s| 24500 | 1065 |188759 | 7.6 |9311k| 206 | - | 900 |1447 | 900 | 697 | 65 |8838 |3817 | 0.000000e+00 | -- | Inf
28.97/29.04 c 29.0s| 24600 | 1070 |189426 | 7.6 |9309k| 206 | 25 | 900 |1438 | 900 | 697 | 65 |8868 |3817 | 0.000000e+00 | -- | Inf
29.08/29.13 c 29.1s| 24700 | 1068 |190501 | 7.6 |9312k| 206 | 21 | 900 |1446 | 900 | 697 | 65 |8885 |3818 | 0.000000e+00 | -- | Inf
29.18/29.22 c 29.2s| 24800 | 1068 |191288 | 7.6 |9237k| 206 | 26 | 900 |1365 | 900 | 697 | 65 |8932 |3819 | 0.000000e+00 | -- | Inf
29.28/29.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.28/29.32 c 29.3s| 24900 | 1079 |192350 | 7.6 |9148k| 206 | 21 | 900 |1197 | 900 | 697 | 65 |9006 |3823 | 0.000000e+00 | -- | Inf
29.38/29.42 c 29.4s| 25000 | 1074 |193564 | 7.7 |9122k| 206 | - | 900 |1159 | 900 | 697 | 65 |9069 |3825 | 0.000000e+00 | -- | Inf
29.48/29.53 c 29.5s| 25100 | 1073 |194641 | 7.7 |9148k| 206 | - | 900 |1192 | 900 | 697 | 65 |9155 |3827 | 0.000000e+00 | -- | Inf
29.59/29.63 c 29.6s| 25200 | 1074 |195818 | 7.7 |9215k| 206 | - | 900 |1281 | 900 | 697 | 65 |9269 |3827 | 0.000000e+00 | -- | Inf
29.68/29.74 c 29.7s| 25300 | 1072 |197000 | 7.7 |9264k| 206 | - | 900 |1364 | 900 | 697 | 65 |9368 |3828 | 0.000000e+00 | -- | Inf
29.77/29.84 c 29.8s| 25400 | 1067 |198022 | 7.7 |9193k| 206 | 26 | 900 |1276 | 900 | 697 | 65 |9431 |3832 | 0.000000e+00 | -- | Inf
29.88/29.95 c 29.9s| 25500 | 1073 |198969 | 7.7 |9131k| 206 | 22 | 900 |1167 | 900 | 697 | 65 |9532 |3836 | 0.000000e+00 | -- | Inf
29.98/30.05 c 30.1s| 25600 | 1074 |200068 | 7.7 |9154k| 206 | 23 | 900 |1189 | 900 | 697 | 65 |9619 |3836 | 0.000000e+00 | -- | Inf
30.08/30.15 c 30.1s| 25700 | 1072 |200850 | 7.7 |9167k| 206 | - | 900 |1198 | 900 | 697 | 65 |9718 |3843 | 0.000000e+00 | -- | Inf
30.17/30.26 c 30.3s| 25800 | 1067 |202048 | 7.7 |9185k| 206 | - | 900 |1237 | 900 | 697 | 65 |9825 |3849 | 0.000000e+00 | -- | Inf
30.28/30.37 c 30.4s| 25900 | 1068 |203267 | 7.8 |9242k| 206 | - | 900 |1325 | 900 | 697 | 65 |9917 |3854 | 0.000000e+00 | -- | Inf
30.38/30.46 c 30.5s| 26000 | 1066 |204149 | 7.8 |9274k| 206 | - | 900 |1382 | 900 | 697 | 65 |9977 |3857 | 0.000000e+00 | -- | Inf
30.48/30.55 c 30.5s| 26100 | 1066 |204931 | 7.8 |9296k| 206 | - | 900 |1416 | 900 | 697 | 65 | 10k|3857 | 0.000000e+00 | -- | Inf
30.57/30.64 c 30.6s| 26200 | 1064 |206036 | 7.8 |9310k| 206 | - | 900 |1443 | 900 | 697 | 65 | 10k|3857 | 0.000000e+00 | -- | Inf
30.69/30.74 c 30.7s| 26300 | 1066 |207202 | 7.8 |9075k| 206 | 20 | 900 |1097 | 900 | 697 | 65 | 10k|3858 | 0.000000e+00 | -- | Inf
30.79/30.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.79/30.83 c 30.8s| 26400 | 1065 |208044 | 7.8 |9052k| 206 | 18 | 900 |1086 | 900 | 697 | 65 | 10k|3858 | 0.000000e+00 | -- | Inf
30.88/30.91 c 30.9s| 26500 | 1061 |208830 | 7.8 |9077k| 206 | 23 | 900 |1128 | 900 | 697 | 65 | 10k|3860 | 0.000000e+00 | -- | Inf
30.98/31.01 c 31.0s| 26600 | 1067 |209863 | 7.8 |9075k| 206 | - | 900 |1107 | 900 | 697 | 65 | 10k|3862 | 0.000000e+00 | -- | Inf
31.08/31.10 c 31.1s| 26700 | 1067 |210885 | 7.8 |9061k| 206 | 20 | 900 |1080 | 900 | 697 | 65 | 10k|3867 | 0.000000e+00 | -- | Inf
31.08/31.19 c 31.2s| 26800 | 1070 |211979 | 7.8 |9057k| 206 | 22 | 900 |1066 | 900 | 697 | 65 | 10k|3867 | 0.000000e+00 | -- | Inf
31.18/31.28 c 31.3s| 26900 | 1066 |213168 | 7.8 |9054k| 206 | 25 | 900 |1071 | 900 | 697 | 65 | 10k|3867 | 0.000000e+00 | -- | Inf
31.28/31.37 c 31.4s| 27000 | 1070 |214246 | 7.9 |9087k| 206 | - | 900 |1101 | 900 | 697 | 65 | 10k|3867 | 0.000000e+00 | -- | Inf
31.37/31.46 c 31.5s| 27100 | 1069 |215361 | 7.9 |9083k| 206 | 18 | 900 |1103 | 900 | 697 | 65 | 10k|3867 | 0.000000e+00 | -- | Inf
31.48/31.55 c 31.5s| 27200 | 1069 |216475 | 7.9 |9087k| 206 | 21 | 900 |1108 | 900 | 697 | 65 | 10k|3867 | 0.000000e+00 | -- | Inf
31.58/31.64 c 31.6s| 27300 | 1065 |217545 | 7.9 |9080k| 206 | 21 | 900 |1110 | 900 | 697 | 65 | 10k|3867 | 0.000000e+00 | -- | Inf
31.68/31.72 c 31.7s| 27400 | 1069 |218380 | 7.9 |9095k| 206 | 21 | 900 |1123 | 900 | 697 | 65 | 10k|3867 | 0.000000e+00 | -- | Inf
31.68/31.79 c 31.8s| 27500 | 1073 |219121 | 7.9 |9105k| 206 | 24 | 900 |1125 | 900 | 697 | 65 | 10k|3867 | 0.000000e+00 | -- | Inf
31.78/31.88 c 31.9s| 27600 | 1073 |220035 | 7.9 |9120k| 206 | - | 900 |1140 | 900 | 697 | 65 | 10k|3871 | 0.000000e+00 | -- | Inf
31.89/31.95 c 32.0s| 27700 | 1071 |220763 | 7.9 |9137k| 206 | - | 900 |1160 | 900 | 697 | 65 | 10k|3871 | 0.000000e+00 | -- | Inf
31.98/32.03 c 32.0s| 27800 | 1071 |221450 | 7.9 |9128k| 206 | 16 | 900 |1152 | 900 | 697 | 65 | 10k|3871 | 0.000000e+00 | -- | Inf
32.08/32.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.08/32.11 c 32.1s| 27900 | 1070 |222379 | 7.9 |9126k| 206 | - | 900 |1150 | 900 | 697 | 65 | 10k|3871 | 0.000000e+00 | -- | Inf
32.08/32.19 c 32.2s| 28000 | 1066 |223284 | 7.9 |9123k| 206 | - | 900 |1160 | 900 | 697 | 65 | 10k|3871 | 0.000000e+00 | -- | Inf
32.18/32.28 c 32.3s| 28100 | 1072 |224129 | 7.9 |9119k| 206 | 18 | 900 |1146 | 900 | 697 | 65 | 10k|3877 | 0.000000e+00 | -- | Inf
32.28/32.36 c 32.4s| 28200 | 1072 |224726 | 7.9 |9123k| 206 | - | 900 |1148 | 900 | 697 | 65 | 10k|3879 | 0.000000e+00 | -- | Inf
32.38/32.45 c 32.4s| 28300 | 1074 |225612 | 7.9 |9142k| 206 | - | 900 |1171 | 900 | 697 | 65 | 10k|3882 | 0.000000e+00 | -- | Inf
32.47/32.55 c 32.5s| 28400 | 1073 |226633 | 7.9 |9158k| 206 | 14 | 900 |1202 | 900 | 697 | 65 | 10k|3889 | 0.000000e+00 | -- | Inf
32.58/32.63 c 32.6s| 28500 | 1073 |227264 | 7.9 |9178k| 206 | - | 900 |1227 | 900 | 697 | 65 | 10k|3894 | 0.000000e+00 | -- | Inf
32.68/32.70 c 32.7s| 28600 | 1081 |227946 | 7.9 |9184k| 206 | - | 900 |1223 | 900 | 697 | 65 | 10k|3896 | 0.000000e+00 | -- | Inf
32.68/32.79 c 32.8s| 28700 | 1085 |228772 | 7.9 |9191k| 206 | 24 | 900 |1220 | 900 | 697 | 65 | 10k|3904 | 0.000000e+00 | -- | Inf
32.78/32.87 c 32.9s| 28800 | 1087 |229431 | 7.9 |9216k| 206 | - | 900 |1251 | 900 | 697 | 65 | 10k|3907 | 0.000000e+00 | -- | Inf
32.89/32.95 c 33.0s| 28900 | 1095 |230164 | 7.9 |9234k| 206 | - | 900 |1255 | 900 | 697 | 65 | 10k|3914 | 0.000000e+00 | -- | Inf
32.99/33.03 c 33.0s| 29000 | 1101 |230747 | 7.9 |9245k| 206 | - | 900 |1256 | 900 | 697 | 65 | 10k|3922 | 0.000000e+00 | -- | Inf
33.07/33.11 c 33.1s| 29100 | 1103 |231276 | 7.9 |9254k| 206 | 18 | 900 |1266 | 900 | 697 | 65 | 10k|3934 | 0.000000e+00 | -- | Inf
33.07/33.18 c 33.2s| 29200 | 1109 |231698 | 7.9 |9267k| 206 | 18 | 900 |1270 | 900 | 697 | 65 | 10k|3938 | 0.000000e+00 | -- | Inf
33.18/33.26 c 33.3s| 29300 | 1115 |232221 | 7.8 |9287k| 206 | 18 | 900 |1281 | 900 | 697 | 65 | 10k|3945 | 0.000000e+00 | -- | Inf
33.28/33.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.28/33.33 c 33.3s| 29400 | 1115 |232802 | 7.8 |9294k| 206 | 14 | 900 |1290 | 900 | 697 | 65 | 10k|3951 | 0.000000e+00 | -- | Inf
33.37/33.42 c 33.4s| 29500 | 1113 |233397 | 7.8 |9301k| 206 | 19 | 900 |1306 | 900 | 697 | 65 | 10k|3962 | 0.000000e+00 | -- | Inf
33.48/33.50 c 33.5s| 29600 | 1107 |234013 | 7.8 |9294k| 206 | 22 | 900 |1311 | 900 | 697 | 65 | 10k|3970 | 0.000000e+00 | -- | Inf
33.48/33.59 c 33.6s| 29700 | 1105 |234627 | 7.8 |9281k| 206 | 21 | 900 |1300 | 900 | 697 | 65 | 10k|3986 | 0.000000e+00 | -- | Inf
33.58/33.68 c 33.7s| 29800 | 1101 |235303 | 7.8 |9270k| 206 | 16 | 900 |1292 | 900 | 697 | 65 | 10k|3999 | 0.000000e+00 | -- | Inf
33.68/33.76 c 33.8s| 29900 | 1099 |235920 | 7.8 |9262k| 206 | 25 | 900 |1287 | 900 | 697 | 65 | 10k|4014 | 0.000000e+00 | -- | Inf
33.77/33.85 c 33.8s| 30000 | 1099 |236560 | 7.8 |9265k| 206 | 22 | 900 |1292 | 900 | 697 | 65 | 10k|4021 | 0.000000e+00 | -- | Inf
33.87/33.93 c 33.9s| 30100 | 1097 |237295 | 7.8 |9257k| 206 | - | 900 |1280 | 900 | 697 | 65 | 10k|4027 | 0.000000e+00 | -- | Inf
33.99/34.01 c 34.0s| 30200 | 1101 |238117 | 7.8 |9261k| 206 | - | 900 |1276 | 900 | 697 | 65 | 10k|4028 | 0.000000e+00 | -- | Inf
33.99/34.09 c 34.1s| 30300 | 1107 |238800 | 7.8 |9270k| 206 | - | 900 |1277 | 900 | 697 | 65 | 10k|4033 | 0.000000e+00 | -- | Inf
34.08/34.19 c 34.2s| 30400 | 1109 |239622 | 7.8 |9272k| 206 | - | 900 |1270 | 900 | 697 | 65 | 10k|4046 | 0.000000e+00 | -- | Inf
34.17/34.26 c 34.3s| 30500 | 1111 |240238 | 7.8 |9268k| 206 | - | 900 |1257 | 900 | 697 | 65 | 10k|4050 | 0.000000e+00 | -- | Inf
34.28/34.35 c 34.4s| 30600 | 1115 |241034 | 7.8 |9268k| 206 | 27 | 900 |1251 | 900 | 697 | 65 | 10k|4058 | 0.000000e+00 | -- | Inf
34.38/34.45 c 34.5s| 30700 | 1117 |242295 | 7.8 |9274k| 206 | - | 900 |1253 | 900 | 697 | 65 | 10k|4068 | 0.000000e+00 | -- | Inf
34.47/34.54 c 34.5s| 30800 | 1115 |242994 | 7.8 |9301k| 206 | - | 900 |1293 | 900 | 697 | 65 | 10k|4072 | 0.000000e+00 | -- | Inf
34.58/34.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.58/34.61 c 34.6s| 30900 | 1113 |243418 | 7.8 |9297k| 206 | - | 900 |1294 | 900 | 697 | 65 | 10k|4074 | 0.000000e+00 | -- | Inf
34.58/34.68 c 34.7s| 31000 | 1113 |243916 | 7.8 |9297k| 206 | 18 | 900 |1298 | 900 | 697 | 65 | 10k|4078 | 0.000000e+00 | -- | Inf
34.68/34.76 c 34.8s| 31100 | 1111 |244486 | 7.8 |9306k| 206 | - | 900 |1315 | 900 | 697 | 65 | 10k|4083 | 0.000000e+00 | -- | Inf
34.77/34.83 c 34.8s| 31200 | 1107 |245024 | 7.8 |9292k| 206 | 21 | 900 |1307 | 900 | 697 | 65 | 10k|4087 | 0.000000e+00 | -- | Inf
34.88/34.96 c 35.0s| 31300 | 1109 |246686 | 7.8 |9291k| 206 | - | 900 |1298 | 900 | 697 | 65 | 10k|4099 | 0.000000e+00 | -- | Inf
34.98/35.05 c 35.1s| 31400 | 1115 |247646 | 7.8 |9300k| 206 | - | 900 |1298 | 900 | 697 | 65 | 10k|4108 | 0.000000e+00 | -- | Inf
35.09/35.14 c 35.1s| 31500 | 1113 |248310 | 7.8 |9312k| 206 | 18 | 900 |1322 | 900 | 697 | 65 | 10k|4114 | 0.000000e+00 | -- | Inf
35.18/35.22 c 35.2s| 31600 | 1123 |249005 | 7.8 |9343k| 206 | 12 | 900 |1346 | 900 | 697 | 65 | 10k|4121 | 0.000000e+00 | -- | Inf
35.18/35.29 c 35.3s| 31700 | 1121 |249430 | 7.8 |9348k| 206 | - | 900 |1354 | 900 | 697 | 65 | 10k|4122 | 0.000000e+00 | -- | Inf
35.27/35.36 c 35.4s| 31800 | 1122 |249999 | 7.8 |9354k| 206 | 21 | 900 |1361 | 900 | 697 | 65 | 10k|4125 | 0.000000e+00 | -- | Inf
35.37/35.44 c 35.4s| 31900 | 1119 |250621 | 7.8 |9365k| 206 | 24 | 900 |1382 | 900 | 697 | 65 | 10k|4132 | 0.000000e+00 | -- | Inf
35.48/35.53 c 35.5s| 32000 | 1121 |251344 | 7.8 |9384k| 206 | 18 | 900 |1402 | 900 | 697 | 65 | 10k|4146 | 0.000000e+00 | -- | Inf
35.58/35.62 c 35.6s| 32100 | 1119 |252028 | 7.8 |9385k| 206 | 18 | 900 |1409 | 900 | 697 | 65 | 10k|4152 | 0.000000e+00 | -- | Inf
35.68/35.70 c 35.7s| 32200 | 1119 |252598 | 7.8 |9365k| 206 | 22 | 900 |1377 | 900 | 697 | 65 | 10k|4161 | 0.000000e+00 | -- | Inf
35.68/35.79 c 35.8s| 32300 | 1119 |253675 | 7.8 |9361k| 206 | 20 | 900 |1364 | 900 | 697 | 65 | 10k|4167 | 0.000000e+00 | -- | Inf
35.77/35.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.77/35.88 c 35.9s| 32400 | 1117 |254482 | 7.8 |9346k| 206 | 22 | 900 |1348 | 900 | 697 | 65 | 11k|4175 | 0.000000e+00 | -- | Inf
35.87/35.98 c 36.0s| 32500 | 1115 |255612 | 7.8 |9334k| 206 | 22 | 900 |1332 | 900 | 697 | 65 | 11k|4183 | 0.000000e+00 | -- | Inf
35.98/36.07 c 36.1s| 32600 | 1115 |256360 | 7.8 |9336k| 206 | 22 | 900 |1331 | 900 | 697 | 65 | 11k|4191 | 0.000000e+00 | -- | Inf
36.08/36.16 c 36.2s| 32700 | 1117 |256975 | 7.8 |9350k| 206 | - | 900 |1342 | 900 | 697 | 65 | 11k|4202 | 0.000000e+00 | -- | Inf
36.18/36.25 c 36.3s| 32800 | 1115 |257712 | 7.8 |9358k| 206 | 25 | 900 |1359 | 900 | 697 | 65 | 11k|4214 | 0.000000e+00 | -- | Inf
36.28/36.33 c 36.3s| 32900 | 1113 |258275 | 7.8 |9360k| 206 | - | 900 |1359 | 900 | 697 | 65 | 11k|4217 | 0.000000e+00 | -- | Inf
36.38/36.41 c 36.4s| 33000 | 1107 |258887 | 7.8 |9345k| 206 | 18 | 900 |1356 | 900 | 697 | 65 | 11k|4223 | 0.000000e+00 | -- | Inf
36.48/36.50 c 36.5s| 33100 | 1111 |259769 | 7.8 |9352k| 206 | - | 900 |1355 | 900 | 697 | 65 | 11k|4226 | 0.000000e+00 | -- | Inf
36.58/36.60 c 36.6s| 33200 | 1109 |260744 | 7.8 |9352k| 206 | - | 900 |1363 | 900 | 697 | 65 | 11k|4235 | 0.000000e+00 | -- | Inf
36.58/36.69 c 36.7s| 33300 | 1109 |261556 | 7.8 |9371k| 206 | - | 900 |1385 | 900 | 697 | 65 | 11k|4239 | 0.000000e+00 | -- | Inf
36.68/36.78 c 36.8s| 33400 | 1111 |262256 | 7.8 |9361k| 206 | - | 900 |1369 | 900 | 697 | 65 | 11k|4249 | 0.000000e+00 | -- | Inf
36.78/36.86 c 36.9s| 33500 | 1111 |262967 | 7.8 |9363k| 206 | - | 900 |1366 | 900 | 697 | 65 | 11k|4256 | 0.000000e+00 | -- | Inf
36.88/36.95 c 37.0s| 33600 | 1115 |263723 | 7.8 |9352k| 206 | - | 900 |1349 | 900 | 697 | 65 | 11k|4266 | 0.000000e+00 | -- | Inf
36.98/37.05 c 37.1s| 33700 | 1117 |264622 | 7.8 |9328k| 206 | 19 | 900 |1305 | 900 | 697 | 65 | 11k|4276 | 0.000000e+00 | -- | Inf
37.07/37.13 c 37.1s| 33800 | 1119 |265305 | 7.8 |9327k| 206 | 25 | 900 |1297 | 900 | 697 | 65 | 11k|4280 | 0.000000e+00 | -- | Inf
37.18/37.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.18/37.21 c 37.2s| 33900 | 1115 |266134 | 7.8 |9324k| 206 | 26 | 900 |1302 | 900 | 697 | 65 | 11k|4283 | 0.000000e+00 | -- | Inf
37.18/37.30 c 37.3s| 34000 | 1111 |266909 | 7.8 |9315k| 206 | - | 900 |1298 | 900 | 697 | 65 | 11k|4290 | 0.000000e+00 | -- | Inf
37.29/37.39 c 37.4s| 34100 | 1109 |267734 | 7.8 |9308k| 206 | 28 | 900 |1296 | 900 | 697 | 65 | 11k|4296 | 0.000000e+00 | -- | Inf
37.38/37.46 c 37.5s| 34200 | 1113 |268180 | 7.8 |9319k| 206 | - | 900 |1295 | 900 | 697 | 65 | 11k|4302 | 0.000000e+00 | -- | Inf
37.47/37.53 c 37.5s| 34300 | 1109 |268571 | 7.8 |9312k| 206 | - | 900 |1293 | 900 | 697 | 65 | 11k|4308 | 0.000000e+00 | -- | Inf
37.57/37.61 c 37.6s| 34400 | 1105 |269189 | 7.8 |9291k| 206 | 23 | 900 |1291 | 900 | 697 | 65 | 11k|4314 | 0.000000e+00 | -- | Inf
37.68/37.70 c 37.7s| 34500 | 1101 |270095 | 7.8 |9293k| 206 | - | 900 |1298 | 900 | 697 | 65 | 11k|4322 | 0.000000e+00 | -- | Inf
37.68/37.79 c 37.8s| 34600 | 1101 |270811 | 7.8 |9289k| 206 | - | 900 |1297 | 900 | 697 | 65 | 11k|4328 | 0.000000e+00 | -- | Inf
37.78/37.88 c 37.9s| 34700 | 1097 |271690 | 7.8 |9291k| 206 | 20 | 900 |1311 | 900 | 697 | 65 | 11k|4335 | 0.000000e+00 | -- | Inf
37.88/37.98 c 38.0s| 34800 | 1095 |272724 | 7.8 |9291k| 206 | - | 900 |1313 | 900 | 697 | 65 | 11k|4342 | 0.000000e+00 | -- | Inf
37.98/38.07 c 38.1s| 34900 | 1099 |273728 | 7.8 |9287k| 206 | 22 | 900 |1299 | 900 | 697 | 65 | 11k|4346 | 0.000000e+00 | -- | Inf
38.08/38.15 c 38.1s| 35000 | 1095 |274582 | 7.8 |9251k| 206 | 25 | 900 |1252 | 900 | 697 | 65 | 11k|4347 | 0.000000e+00 | -- | Inf
38.18/38.22 c 38.2s| 35100 | 1099 |275304 | 7.8 |9235k| 206 | 24 | 900 |1213 | 900 | 697 | 65 | 11k|4347 | 0.000000e+00 | -- | Inf
38.27/38.30 c 38.3s| 35200 | 1096 |276101 | 7.8 |9232k| 206 | 24 | 900 |1212 | 900 | 697 | 65 | 11k|4349 | 0.000000e+00 | -- | Inf
38.27/38.38 c 38.4s| 35300 | 1094 |276769 | 7.8 |9224k| 206 | 22 | 900 |1205 | 900 | 697 | 65 | 11k|4353 | 0.000000e+00 | -- | Inf
38.39/38.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.39/38.48 c 38.5s| 35400 | 1090 |277825 | 7.8 |9225k| 206 | 24 | 900 |1215 | 900 | 697 | 65 | 11k|4356 | 0.000000e+00 | -- | Inf
38.49/38.58 c 38.6s| 35500 | 1088 |279001 | 7.8 |9206k| 206 | 22 | 900 |1201 | 900 | 697 | 65 | 11k|4365 | 0.000000e+00 | -- | Inf
38.57/38.67 c 38.7s| 35600 | 1092 |279938 | 7.8 |9225k| 206 | - | 900 |1213 | 900 | 697 | 65 | 11k|4369 | 0.000000e+00 | -- | Inf
38.68/38.77 c 38.8s| 35700 | 1090 |280953 | 7.8 |9232k| 206 | - | 900 |1231 | 900 | 697 | 65 | 11k|4375 | 0.000000e+00 | -- | Inf
38.78/38.86 c 38.9s| 35800 | 1086 |281812 | 7.8 |9229k| 206 | - | 900 |1234 | 900 | 697 | 65 | 11k|4384 | 0.000000e+00 | -- | Inf
38.88/38.95 c 39.0s| 35900 | 1090 |282763 | 7.8 |9243k| 206 | - | 900 |1245 | 900 | 697 | 65 | 11k|4387 | 0.000000e+00 | -- | Inf
38.98/39.05 c 39.1s| 36000 | 1088 |283772 | 7.8 |9254k| 206 | 22 | 900 |1274 | 900 | 697 | 65 | 11k|4393 | 0.000000e+00 | -- | Inf
39.07/39.15 c 39.1s| 36100 | 1086 |284789 | 7.8 |9259k| 206 | - | 900 |1283 | 900 | 697 | 65 | 11k|4398 | 0.000000e+00 | -- | Inf
39.17/39.23 c 39.2s| 36200 | 1086 |285722 | 7.8 |9262k| 206 | 19 | 900 |1287 | 900 | 697 | 65 | 11k|4403 | 0.000000e+00 | -- | Inf
39.28/39.32 c 39.3s| 36300 | 1082 |286590 | 7.8 |9243k| 206 | 22 | 900 |1278 | 900 | 697 | 65 | 11k|4404 | 0.000000e+00 | -- | Inf
39.38/39.40 c 39.4s| 36400 | 1083 |287378 | 7.8 |9256k| 206 | - | 900 |1284 | 900 | 697 | 65 | 11k|4406 | 0.000000e+00 | -- | Inf
39.38/39.49 c 39.5s| 36500 | 1079 |288234 | 7.8 |9245k| 206 | 19 | 900 |1289 | 900 | 697 | 65 | 11k|4411 | 0.000000e+00 | -- | Inf
39.48/39.57 c 39.6s| 36600 | 1076 |289098 | 7.8 |9240k| 206 | - | 900 |1287 | 900 | 697 | 65 | 11k|4412 | 0.000000e+00 | -- | Inf
39.58/39.66 c 39.7s| 36700 | 1074 |289977 | 7.8 |9252k| 206 | - | 900 |1308 | 900 | 697 | 65 | 11k|4412 | 0.000000e+00 | -- | Inf
39.67/39.76 c 39.8s| 36800 | 1082 |290983 | 7.8 |9264k| 206 | 16 | 900 |1316 | 900 | 697 | 65 | 11k|4414 | 0.000000e+00 | -- | Inf
39.78/39.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
39.78/39.86 c 39.9s| 36900 | 1080 |292145 | 7.9 |9235k| 206 | 18 | 900 |1263 | 900 | 697 | 65 | 11k|4414 | 0.000000e+00 | -- | Inf
39.87/39.97 c 40.0s| 37000 | 1078 |293471 | 7.9 |9295k| 206 | - | 900 |1347 | 900 | 697 | 65 | 11k|4414 | 0.000000e+00 | -- | Inf
39.97/40.07 c 40.1s| 37100 | 1076 |294719 | 7.9 |9278k| 206 | - | 900 |1330 | 900 | 697 | 65 | 11k|4414 | 0.000000e+00 | -- | Inf
40.08/40.17 c 40.2s| 37200 | 1075 |295676 | 7.9 |9215k| 206 | 6 | 900 |1246 | 900 | 697 | 65 | 11k|4415 | 0.000000e+00 | -- | Inf
40.18/40.24 c 40.2s| 37300 | 1093 |296102 | 7.9 |9244k| 206 | 10 | 900 |1244 | 900 | 697 | 65 | 11k|4417 | 0.000000e+00 | -- | Inf
40.28/40.33 c 40.3s| 37400 | 1082 |296841 | 7.9 |9210k| 206 | 22 | 900 |1215 | 900 | 697 | 65 | 12k|4417 | 0.000000e+00 | -- | Inf
40.38/40.42 c 40.4s| 37500 | 1086 |297918 | 7.9 |9208k| 206 | - | 900 |1193 | 900 | 697 | 65 | 12k|4417 | 0.000000e+00 | -- | Inf
40.47/40.51 c 40.5s| 37600 | 1084 |298938 | 7.9 |9202k| 206 | - | 900 |1189 | 900 | 697 | 65 | 12k|4417 | 0.000000e+00 | -- | Inf
40.47/40.59 c 40.6s| 37700 | 1084 |299842 | 7.9 |9179k| 206 | 22 | 900 |1159 | 900 | 697 | 65 | 12k|4417 | 0.000000e+00 | -- | Inf
40.58/40.68 c 40.7s| 37800 | 1083 |300886 | 7.9 |9178k| 206 | - | 900 |1154 | 900 | 697 | 65 | 12k|4417 | 0.000000e+00 | -- | Inf
40.68/40.77 c 40.8s| 37900 | 1081 |302073 | 7.9 |9165k| 206 | 22 | 900 |1140 | 900 | 697 | 65 | 12k|4417 | 0.000000e+00 | -- | Inf
40.78/40.86 c 40.9s| 38000 | 1077 |303123 | 7.9 |9157k| 206 | 21 | 900 |1143 | 900 | 697 | 65 | 12k|4417 | 0.000000e+00 | -- | Inf
40.87/40.96 c 41.0s| 38100 | 1079 |304309 | 7.9 |9163k| 206 | - | 900 |1141 | 900 | 697 | 65 | 12k|4418 | 0.000000e+00 | -- | Inf
40.97/41.04 c 41.0s| 38200 | 1085 |305000 | 7.9 |9165k| 206 | - | 900 |1136 | 900 | 697 | 65 | 12k|4418 | 0.000000e+00 | -- | Inf
41.08/41.11 c 41.1s| 38300 | 1084 |305381 | 7.9 |9185k| 206 | - | 900 |1167 | 900 | 697 | 65 | 12k|4419 | 0.000000e+00 | -- | Inf
41.08/41.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.08/41.19 c 41.2s| 38400 | 1081 |306029 | 7.9 |9200k| 206 | - | 900 |1195 | 900 | 697 | 65 | 12k|4419 | 0.000000e+00 | -- | Inf
41.17/41.27 c 41.3s| 38500 | 1079 |306760 | 7.9 |9212k| 206 | 24 | 900 |1223 | 900 | 697 | 65 | 12k|4419 | 0.000000e+00 | -- | Inf
41.27/41.35 c 41.3s| 38600 | 1080 |307285 | 7.9 |9224k| 206 | - | 900 |1236 | 900 | 697 | 65 | 12k|4419 | 0.000000e+00 | -- | Inf
41.38/41.43 c 41.4s| 38700 | 1077 |307978 | 7.9 |9224k| 206 | 16 | 900 |1249 | 900 | 697 | 65 | 12k|4419 | 0.000000e+00 | -- | Inf
41.47/41.52 c 41.5s| 38800 | 1075 |308906 | 7.9 |9202k| 206 | 20 | 900 |1224 | 900 | 697 | 65 | 12k|4419 | 0.000000e+00 | -- | Inf
41.47/41.59 c 41.6s| 38900 | 1077 |309704 | 7.9 |9188k| 206 | 25 | 900 |1192 | 900 | 697 | 65 | 12k|4419 | 0.000000e+00 | -- | Inf
41.58/41.67 c 41.7s| 39000 | 1093 |310457 | 7.9 |9208k| 206 | 19 | 900 |1182 | 900 | 697 | 65 | 12k|4424 | 0.000000e+00 | -- | Inf
41.68/41.75 c 41.7s| 39100 | 1097 |311099 | 7.9 |9220k| 206 | 18 | 900 |1184 | 900 | 697 | 65 | 12k|4424 | 0.000000e+00 | -- | Inf
41.78/41.82 c 41.8s| 39200 | 1089 |311831 | 7.9 |9213k| 206 | - | 900 |1175 | 900 | 697 | 65 | 12k|4425 | 0.000000e+00 | -- | Inf
41.87/41.92 c 41.9s| 39300 | 1079 |312832 | 7.9 |9199k| 206 | - | 900 |1191 | 900 | 697 | 65 | 12k|4431 | 0.000000e+00 | -- | Inf
41.98/42.02 c 42.0s| 39400 | 1075 |313955 | 7.9 |9206k| 206 | - | 900 |1213 | 900 | 697 | 65 | 12k|4437 | 0.000000e+00 | -- | Inf
42.08/42.11 c 42.1s| 39500 | 1075 |314901 | 7.9 |9214k| 206 | - | 900 |1225 | 900 | 697 | 65 | 12k|4442 | 0.000000e+00 | -- | Inf
42.08/42.18 c 42.2s| 39600 | 1075 |315467 | 7.9 |9213k| 206 | - | 900 |1224 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
42.17/42.26 c 42.3s| 39700 | 1073 |316133 | 7.9 |9187k| 206 | - | 900 |1191 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
42.27/42.34 c 42.3s| 39800 | 1074 |316734 | 7.9 |9184k| 206 | 26 | 900 |1181 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
42.38/42.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.38/42.42 c 42.4s| 39900 | 1078 |317613 | 7.9 |9190k| 206 | - | 900 |1176 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
42.38/42.49 c 42.5s| 40000 | 1078 |318023 | 7.9 |9195k| 206 | - | 900 |1182 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
42.48/42.56 c 42.6s| 40100 | 1076 |318686 | 7.9 |9194k| 206 | - | 900 |1182 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
42.58/42.63 c 42.6s| 40200 | 1080 |319161 | 7.9 |9210k| 206 | 18 | 900 |1196 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
42.67/42.70 c 42.7s| 40300 | 1078 |319568 | 7.9 |9220k| 206 | 21 | 900 |1216 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
42.67/42.77 c 42.8s| 40400 | 1078 |320200 | 7.9 |9240k| 206 | 21 | 900 |1246 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
42.79/42.85 c 42.8s| 40500 | 1076 |320854 | 7.9 |9245k| 206 | - | 900 |1255 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
42.88/42.93 c 42.9s| 40600 | 1076 |321760 | 7.9 |9245k| 206 | - | 900 |1255 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
42.98/43.00 c 43.0s| 40700 | 1074 |322292 | 7.9 |9250k| 206 | - | 900 |1268 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
42.98/43.07 c 43.1s| 40800 | 1070 |323019 | 7.9 |9244k| 206 | - | 900 |1270 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
43.07/43.15 c 43.2s| 40900 | 1071 |323758 | 7.9 |9223k| 206 | - | 900 |1244 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
43.18/43.23 c 43.2s| 41000 | 1069 |324561 | 7.9 |9174k| 206 | 22 | 900 |1185 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
43.27/43.32 c 43.3s| 41100 | 1079 |325529 | 7.9 |9152k| 206 | 21 | 900 |1127 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
43.38/43.41 c 43.4s| 41200 | 1075 |326556 | 7.9 |9124k| 206 | 29 | 900 |1093 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
43.48/43.50 c 43.5s| 41300 | 1077 |327667 | 7.9 |9132k| 206 | - | 900 |1093 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
43.48/43.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.48/43.59 c 43.6s| 41400 | 1077 |328714 | 7.9 |9142k| 206 | - | 900 |1111 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
43.57/43.69 c 43.7s| 41500 | 1077 |329936 | 7.9 |9156k| 206 | 31 | 900 |1134 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
43.67/43.79 c 43.8s| 41600 | 1077 |331117 | 7.9 |9166k| 206 | 20 | 900 |1152 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
43.78/43.88 c 43.9s| 41700 | 1073 |332203 | 7.9 |9169k| 206 | - | 900 |1167 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
43.88/43.98 c 44.0s| 41800 | 1073 |333439 | 7.9 |9177k| 206 | 28 | 900 |1184 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
43.98/44.07 c 44.1s| 41900 | 1075 |334525 | 7.9 |9194k| 206 | 19 | 900 |1209 | 900 | 697 | 65 | 12k|4443 | 0.000000e+00 | -- | Inf
44.08/44.17 c 44.2s| 42000 | 1077 |335434 | 7.9 |9202k| 206 | - | 900 |1208 | 900 | 697 | 65 | 13k|4450 | 0.000000e+00 | -- | Inf
44.18/44.28 c 44.3s| 42100 | 1075 |336694 | 7.9 |9180k| 206 | - | 900 |1175 | 900 | 697 | 65 | 13k|4459 | 0.000000e+00 | -- | Inf
44.28/44.38 c 44.4s| 42200 | 1077 |337797 | 8.0 |9200k| 206 | - | 900 |1202 | 900 | 697 | 65 | 13k|4464 | 0.000000e+00 | -- | Inf
44.37/44.48 c 44.5s| 42300 | 1077 |339013 | 8.0 |9208k| 206 | 18 | 900 |1221 | 900 | 697 | 65 | 13k|4469 | 0.000000e+00 | -- | Inf
44.47/44.59 c 44.6s| 42400 | 1077 |340103 | 8.0 |9224k| 206 | 29 | 900 |1249 | 900 | 697 | 65 | 13k|4480 | 0.000000e+00 | -- | Inf
44.58/44.68 c 44.7s| 42500 | 1079 |340997 | 8.0 |9235k| 206 | 20 | 900 |1257 | 900 | 697 | 65 | 13k|4482 | 0.000000e+00 | -- | Inf
44.68/44.77 c 44.8s| 42600 | 1081 |341932 | 8.0 |9246k| 206 | 29 | 900 |1274 | 900 | 697 | 65 | 13k|4482 | 0.000000e+00 | -- | Inf
44.78/44.87 c 44.9s| 42700 | 1083 |343131 | 8.0 |9262k| 206 | - | 900 |1287 | 900 | 697 | 65 | 13k|4483 | 0.000000e+00 | -- | Inf
44.88/44.95 c 45.0s| 42800 | 1083 |344147 | 8.0 |9264k| 206 | - | 900 |1289 | 900 | 697 | 65 | 13k|4483 | 0.000000e+00 | -- | Inf
44.98/45.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
44.98/45.05 c 45.1s| 42900 | 1081 |345211 | 8.0 |9269k| 206 | - | 900 |1301 | 900 | 697 | 65 | 13k|4488 | 0.000000e+00 | -- | Inf
45.08/45.15 c 45.1s| 43000 | 1081 |346223 | 8.0 |9288k| 206 | 20 | 900 |1337 | 900 | 697 | 65 | 13k|4492 | 0.000000e+00 | -- | Inf
45.18/45.23 c 45.2s| 43100 | 1079 |347174 | 8.0 |9289k| 206 | - | 900 |1341 | 900 | 697 | 65 | 13k|4493 | 0.000000e+00 | -- | Inf
45.28/45.32 c 45.3s| 43200 | 1077 |347976 | 8.0 |9258k| 206 | - | 900 |1295 | 900 | 697 | 65 | 13k|4495 | 0.000000e+00 | -- | Inf
45.38/45.41 c 45.4s| 43300 | 1081 |348957 | 8.0 |9120k| 206 | 20 | 900 |1057 | 900 | 697 | 65 | 13k|4496 | 0.000000e+00 | -- | Inf
45.38/45.49 c 45.5s| 43400 | 1081 |349752 | 8.0 |9085k| 206 | 26 | 900 | 995 | 900 | 697 | 65 | 13k|4497 | 0.000000e+00 | -- | Inf
45.48/45.58 c 45.6s| 43500 | 1078 |350704 | 8.0 |9061k| 206 | 26 | 900 | 969 | 900 | 697 | 65 | 13k|4498 | 0.000000e+00 | -- | Inf
45.57/45.67 c 45.7s| 43600 | 1080 |351655 | 8.0 |9038k| 206 | 23 | 900 | 926 | 900 | 697 | 65 | 13k|4505 | 0.000000e+00 | -- | Inf
45.68/45.76 c 45.8s| 43700 | 1080 |352469 | 8.0 |9036k| 206 | - | 900 | 916 | 900 | 697 | 65 | 13k|4508 | 0.000000e+00 | -- | Inf
45.78/45.85 c 45.8s| 43800 | 1080 |353272 | 8.0 |9051k| 206 | 26 | 900 | 946 | 900 | 697 | 65 | 13k|4517 | 0.000000e+00 | -- | Inf
45.87/45.94 c 45.9s| 43900 | 1082 |354205 | 8.0 |9072k| 206 | 30 | 900 | 974 | 900 | 697 | 65 | 13k|4522 | 0.000000e+00 | -- | Inf
45.98/46.04 c 46.0s| 44000 | 1086 |355428 | 8.0 |9101k| 206 | - | 900 |1004 | 900 | 697 | 65 | 13k|4523 | 0.000000e+00 | -- | Inf
46.08/46.13 c 46.1s| 44100 | 1088 |356373 | 8.0 |9108k| 206 | 24 | 900 |1011 | 900 | 697 | 65 | 13k|4523 | 0.000000e+00 | -- | Inf
46.18/46.21 c 46.2s| 44200 | 1084 |357080 | 8.0 |9094k| 206 | - | 900 | 985 | 900 | 697 | 65 | 13k|4528 | 0.000000e+00 | -- | Inf
46.28/46.31 c 46.3s| 44300 | 1086 |358088 | 8.0 |9087k| 206 | 16 | 900 | 973 | 900 | 697 | 65 | 13k|4533 | 0.000000e+00 | -- | Inf
46.38/46.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.38/46.41 c 46.4s| 44400 | 1084 |359184 | 8.0 |9108k| 206 | - | 900 |1009 | 900 | 697 | 65 | 13k|4539 | 0.000000e+00 | -- | Inf
46.38/46.49 c 46.5s| 44500 | 1086 |360007 | 8.0 |9135k| 206 | - | 900 |1038 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
46.47/46.57 c 46.6s| 44600 | 1087 |360692 | 8.0 |9137k| 206 | 28 | 900 |1046 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
46.58/46.65 c 46.7s| 44700 | 1095 |361522 | 8.0 |9150k| 206 | - | 900 |1037 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
46.68/46.73 c 46.7s| 44800 | 1101 |362363 | 8.0 |9157k| 206 | 15 | 900 |1032 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
46.77/46.82 c 46.8s| 44900 | 1103 |363281 | 8.0 |9171k| 206 | 18 | 900 |1046 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
46.88/46.90 c 46.9s| 45000 | 1099 |364174 | 8.0 |9170k| 206 | - | 900 |1048 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
46.88/46.98 c 47.0s| 45100 | 1099 |364976 | 8.0 |9172k| 206 | - | 900 |1048 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
46.98/47.07 c 47.1s| 45200 | 1095 |365920 | 8.0 |9159k| 206 | 24 | 900 |1047 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
47.08/47.15 c 47.1s| 45300 | 1093 |366848 | 8.0 |9152k| 206 | 16 | 900 |1044 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
47.18/47.23 c 47.2s| 45400 | 1097 |367599 | 8.0 |9178k| 206 | 10 | 900 |1067 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
47.29/47.30 c 47.3s| 45500 | 1097 |368332 | 8.0 |9160k| 206 | 26 | 900 |1045 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
47.29/47.39 c 47.4s| 45600 | 1095 |369209 | 8.0 |9154k| 206 | 22 | 900 |1039 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
47.38/47.46 c 47.5s| 45700 | 1107 |370042 | 8.0 |9178k| 206 | - | 900 |1043 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
47.48/47.55 c 47.5s| 45800 | 1109 |370911 | 8.0 |9190k| 206 | - | 900 |1050 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
47.58/47.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.58/47.63 c 47.6s| 45900 | 1117 |371815 | 8.1 |9206k| 206 | 25 | 900 |1056 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
47.67/47.71 c 47.7s| 46000 | 1111 |372812 | 8.1 |9200k| 206 | 20 | 900 |1064 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
47.77/47.80 c 47.8s| 46100 | 1109 |373801 | 8.1 |9191k| 206 | 20 | 900 |1056 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
47.77/47.88 c 47.9s| 46200 | 1108 |374692 | 8.1 |9199k| 206 | - | 900 |1067 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
47.88/47.96 c 48.0s| 46300 | 1106 |375547 | 8.1 |9205k| 206 | 24 | 900 |1087 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
47.98/48.05 c 48.1s| 46400 | 1105 |376523 | 8.1 |9219k| 206 | - | 900 |1108 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
48.08/48.13 c 48.1s| 46500 | 1103 |377214 | 8.1 |9238k| 206 | - | 900 |1144 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
48.18/48.21 c 48.2s| 46600 | 1109 |377973 | 8.1 |9251k| 206 | - | 900 |1143 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
48.18/48.30 c 48.3s| 46700 | 1111 |378906 | 8.1 |9251k| 206 | - | 900 |1141 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
48.28/48.38 c 48.4s| 46800 | 1111 |379795 | 8.1 |9252k| 206 | - | 900 |1141 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
48.38/48.46 c 48.5s| 46900 | 1111 |380813 | 8.1 |9251k| 206 | - | 900 |1141 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
48.47/48.54 c 48.5s| 47000 | 1111 |381682 | 8.1 |9253k| 206 | 15 | 900 |1147 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
48.57/48.62 c 48.6s| 47100 | 1111 |382427 | 8.1 |9259k| 206 | 22 | 900 |1156 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
48.67/48.71 c 48.7s| 47200 | 1109 |383322 | 8.1 |9263k| 206 | - | 900 |1162 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
48.67/48.79 c 48.8s| 47300 | 1111 |384230 | 8.1 |9273k| 206 | - | 900 |1175 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
48.77/48.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.77/48.87 c 48.9s| 47400 | 1113 |385169 | 8.1 |9285k| 206 | - | 900 |1188 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
48.88/48.96 c 49.0s| 47500 | 1111 |385957 | 8.1 |9302k| 206 | - | 900 |1212 | 900 | 697 | 65 | 13k|4540 | 0.000000e+00 | -- | Inf
48.98/49.05 c 49.1s| 47600 | 1109 |387111 | 8.1 |9308k| 206 | 18 | 900 |1242 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
49.07/49.14 c 49.1s| 47700 | 1110 |388058 | 8.1 |9307k| 206 | - | 900 |1237 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
49.18/49.23 c 49.2s| 47800 | 1110 |388980 | 8.1 |9305k| 206 | - | 900 |1229 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
49.27/49.31 c 49.3s| 47900 | 1108 |389730 | 8.1 |9278k| 206 | 24 | 900 |1200 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
49.27/49.40 c 49.4s| 48000 | 1112 |390786 | 8.1 |9296k| 206 | 10 | 900 |1219 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
49.39/49.49 c 49.5s| 48100 | 1107 |391656 | 8.1 |9331k| 206 | - | 900 |1270 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
49.48/49.58 c 49.6s| 48200 | 1109 |392721 | 8.1 |9336k| 206 | 22 | 900 |1279 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
49.57/49.67 c 49.7s| 48300 | 1105 |393681 | 8.1 |9324k| 206 | 27 | 900 |1271 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
49.67/49.76 c 49.8s| 48400 | 1103 |394717 | 8.1 |9315k| 206 | - | 900 |1260 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
49.78/49.85 c 49.9s| 48500 | 1099 |395804 | 8.1 |9328k| 206 | - | 900 |1290 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
49.87/49.94 c 49.9s| 48600 | 1101 |396837 | 8.1 |9350k| 206 | - | 900 |1319 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
49.98/50.04 c 50.0s| 48700 | 1101 |397936 | 8.1 |9345k| 206 | 15 | 900 |1314 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
50.07/50.13 c 50.1s| 48800 | 1103 |398820 | 8.1 |9377k| 206 | 10 | 900 |1358 | 900 | 697 | 65 | 14k|4540 | 0.000000e+00 | -- | Inf
50.17/50.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.17/50.24 c 50.2s| 48900 | 1100 |400051 | 8.1 |9383k| 206 | - | 900 |1366 | 900 | 697 | 65 | 14k|4549 | 0.000000e+00 | -- | Inf
50.27/50.33 c 50.3s| 49000 | 1100 |401218 | 8.1 |9365k| 206 | 22 | 900 |1335 | 900 | 697 | 65 | 14k|4549 | 0.000000e+00 | -- | Inf
50.37/50.43 c 50.4s| 49100 | 1098 |402344 | 8.1 |9361k| 206 | 18 | 900 |1336 | 900 | 697 | 65 | 14k|4549 | 0.000000e+00 | -- | Inf
50.49/50.53 c 50.5s| 49200 | 1096 |403530 | 8.2 |9366k| 206 | 22 | 900 |1349 | 900 | 697 | 65 | 14k|4549 | 0.000000e+00 | -- | Inf
50.58/50.61 c 50.6s| 49300 | 1094 |404366 | 8.2 |9362k| 206 | 20 | 900 |1344 | 900 | 697 | 65 | 14k|4549 | 0.000000e+00 | -- | Inf
50.68/50.71 c 50.7s| 49400 | 1092 |405797 | 8.2 |9349k| 206 | - | 900 |1338 | 900 | 697 | 65 | 14k|4549 | 0.000000e+00 | -- | Inf
50.78/50.82 c 50.8s| 49500 | 1088 |407110 | 8.2 |9329k| 206 | - | 900 |1318 | 900 | 697 | 65 | 14k|4549 | 0.000000e+00 | -- | Inf
50.87/50.91 c 50.9s| 49600 | 1088 |408216 | 8.2 |9292k| 206 | - | 900 |1251 | 900 | 697 | 65 | 14k|4549 | 0.000000e+00 | -- | Inf
50.97/51.01 c 51.0s| 49700 | 1088 |409480 | 8.2 |9277k| 206 | 19 | 900 |1227 | 900 | 697 | 65 | 14k|4549 | 0.000000e+00 | -- | Inf
51.08/51.11 c 51.1s| 49800 | 1086 |410754 | 8.2 |9248k| 206 | - | 900 |1189 | 900 | 697 | 65 | 14k|4551 | 0.000000e+00 | -- | Inf
51.18/51.21 c 51.2s| 49900 | 1084 |412041 | 8.2 |9241k| 206 | - | 900 |1181 | 900 | 697 | 65 | 14k|4551 | 0.000000e+00 | -- | Inf
51.27/51.30 c 51.3s| 50000 | 1088 |413192 | 8.2 |9233k| 206 | - | 900 |1170 | 900 | 697 | 65 | 14k|4551 | 0.000000e+00 | -- | Inf
51.38/51.42 c 51.4s| 50100 | 1089 |414987 | 8.2 |9238k| 206 | 23 | 900 |1181 | 900 | 697 | 65 | 14k|4551 | 0.000000e+00 | -- | Inf
51.48/51.54 c 51.5s| 50200 | 1089 |416778 | 8.3 |9257k| 206 | - | 900 |1202 | 0 | 0 | 65 | 14k|4551 | 0.000000e+00 | -- | Inf
51.58/51.67 c 51.7s| 50300 | 1089 |418545 | 8.3 |9284k| 206 | - | 900 |1245 | 900 | 697 | 65 | 14k|4551 | 0.000000e+00 | -- | Inf
51.68/51.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.68/51.77 c 51.8s| 50400 | 1096 |420046 | 8.3 |9308k| 206 | 26 | 900 |1274 | 900 | 697 | 65 | 14k|4551 | 0.000000e+00 | -- | Inf
51.78/51.88 c 51.9s| 50500 | 1104 |421521 | 8.3 |9343k| 206 | - | 900 |1308 | 900 | 697 | 65 | 14k|4551 | 0.000000e+00 | -- | Inf
51.98/52.00 c 52.0s| 50600 | 1104 |422964 | 8.3 |9370k| 206 | 24 | 900 |1353 | 900 | 697 | 65 | 14k|4562 | 0.000000e+00 | -- | Inf
52.08/52.13 c 52.1s| 50700 | 1100 |424750 | 8.3 |9380k| 206 | 16 | 900 |1376 | 900 | 697 | 65 | 15k|4572 | 0.000000e+00 | -- | Inf
52.17/52.25 c 52.2s| 50800 | 1099 |426319 | 8.3 |9404k| 206 | - | 900 |1406 | 900 | 697 | 65 | 15k|4574 | 0.000000e+00 | -- | Inf
52.27/52.35 c 52.3s| 50900 | 1101 |427500 | 8.4 |9438k| 206 | - | 900 |1453 | 900 | 697 | 65 | 15k|4575 | 0.000000e+00 | -- | Inf
52.37/52.45 c 52.5s| 51000 | 1107 |428783 | 8.4 |9466k| 206 | - | 900 |1480 | 900 | 697 | 65 | 15k|4578 | 0.000000e+00 | -- | Inf
52.47/52.55 c 52.6s| 51100 | 1105 |430029 | 8.4 |9479k| 206 | 26 | 900 |1512 | 900 | 697 | 65 | 15k|4578 | 0.000000e+00 | -- | Inf
52.58/52.67 c 52.7s| 51200 | 1107 |431756 | 8.4 |9477k| 206 | 22 | 900 |1501 | 900 | 697 | 65 | 15k|4579 | 0.000000e+00 | -- | Inf
52.68/52.78 c 52.8s| 51300 | 1107 |433126 | 8.4 |9498k| 206 | - | 900 |1526 | 900 | 697 | 65 | 15k|4584 | 0.000000e+00 | -- | Inf
52.79/52.89 c 52.9s| 51400 | 1107 |434635 | 8.4 |9520k| 206 | - | 900 |1561 | 900 | 697 | 65 | 15k|4584 | 0.000000e+00 | -- | Inf
52.97/53.00 c 53.0s| 51500 | 1107 |436115 | 8.4 |9531k| 206 | 28 | 900 |1580 | 900 | 697 | 65 | 15k|4585 | 0.000000e+00 | -- | Inf
52.97/53.09 c 53.1s| 51600 | 1125 |437304 | 8.4 |9584k| 206 | - | 900 |1618 | 900 | 697 | 65 | 15k|4585 | 0.000000e+00 | -- | Inf
53.18/53.20 c 53.2s| 51700 | 1127 |438671 | 8.4 |9617k| 206 | - | 900 |1666 | 900 | 697 | 65 | 15k|4588 | 0.000000e+00 | -- | Inf
53.28/53.31 c 53.3s| 51800 | 1133 |439954 | 8.4 |9654k| 206 | 14 | 900 |1711 | 900 | 697 | 65 | 15k|4588 | 0.000000e+00 | -- | Inf
53.37/53.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.37/53.41 c 53.4s| 51900 | 1129 |441133 | 8.5 |9683k| 206 | 19 | 900 |1763 | 900 | 697 | 65 | 15k|4588 | 0.000000e+00 | -- | Inf
53.47/53.51 c 53.5s| 52000 | 1127 |442331 | 8.5 |9727k| 206 | - | 900 |1828 | 900 | 697 | 65 | 15k|4588 | 0.000000e+00 | -- | Inf
53.58/53.61 c 53.6s| 52100 | 1123 |443592 | 8.5 |9765k| 206 | - | 900 |1889 | 900 | 697 | 65 | 15k|4588 | 0.000000e+00 | -- | Inf
53.68/53.72 c 53.7s| 52200 | 1123 |445028 | 8.5 |9773k| 206 | 19 | 900 |1897 | 900 | 697 | 65 | 15k|4588 | 0.000000e+00 | -- | Inf
53.78/53.82 c 53.8s| 52300 | 1121 |446098 | 8.5 |9790k| 206 | - | 900 |1921 | 900 | 697 | 65 | 15k|4588 | 0.000000e+00 | -- | Inf
53.88/53.92 c 53.9s| 52400 | 1121 |447250 | 8.5 |9812k| 206 | 16 | 900 |1956 | 900 | 697 | 65 | 15k|4588 | 0.000000e+00 | -- | Inf
53.98/54.02 c 54.0s| 52500 | 1118 |448389 | 8.5 |9763k| 206 | 15 | 900 |1896 | 900 | 697 | 65 | 15k|4589 | 0.000000e+00 | -- | Inf
54.07/54.13 c 54.1s| 52600 | 1115 |449887 | 8.5 |9680k| 206 | 25 | 900 |1764 | 900 | 697 | 65 | 15k|4590 | 0.000000e+00 | -- | Inf
54.18/54.24 c 54.2s| 52700 | 1110 |451259 | 8.5 |9674k| 206 | - | 900 |1766 | 900 | 697 | 65 | 16k|4592 | 0.000000e+00 | -- | Inf
54.28/54.36 c 54.4s| 52800 | 1114 |452619 | 8.5 |9623k| 206 | 8 | 900 |1666 | 900 | 697 | 65 | 16k|4598 | 0.000000e+00 | -- | Inf
54.37/54.45 c 54.4s| 52900 | 1113 |453481 | 8.5 |9530k| 206 | - | 900 |1501 | 900 | 697 | 65 | 16k|4602 | 0.000000e+00 | -- | Inf
54.48/54.54 c 54.5s| 53000 | 1115 |454511 | 8.5 |9473k| 206 | 21 | 900 |1404 | 900 | 697 | 65 | 16k|4604 | 0.000000e+00 | -- | Inf
54.58/54.67 c 54.7s| 53100 | 1112 |455853 | 8.5 |9424k| 206 | 22 | 900 |1328 | 900 | 697 | 65 | 16k|4622 | 0.000000e+00 | -- | Inf
54.67/54.79 c 54.8s| 53200 | 1114 |457017 | 8.5 |9380k| 206 | 26 | 900 |1259 | 900 | 697 | 65 | 16k|4644 | 0.000000e+00 | -- | Inf
54.88/54.92 c 54.9s| 53300 | 1114 |458162 | 8.6 |9386k| 206 | 28 | 900 |1264 | 900 | 697 | 65 | 16k|4662 | 0.000000e+00 | -- | Inf
54.98/55.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.98/55.02 c 55.0s| 53400 | 1118 |459054 | 8.6 |9357k| 206 | 16 | 900 |1203 | 900 | 697 | 65 | 16k|4674 | 0.000000e+00 | -- | Inf
55.07/55.11 c 55.1s| 53500 | 1116 |459893 | 8.6 |9354k| 206 | - | 900 |1197 | 900 | 697 | 65 | 16k|4680 | 0.000000e+00 | -- | Inf
55.07/55.19 c 55.2s| 53600 | 1114 |460616 | 8.6 |9350k| 206 | - | 900 |1192 | 900 | 697 | 65 | 16k|4681 | 0.000000e+00 | -- | Inf
55.17/55.28 c 55.3s| 53700 | 1116 |461643 | 8.6 |9332k| 206 | 24 | 900 |1161 | 900 | 697 | 65 | 16k|4684 | 0.000000e+00 | -- | Inf
55.27/55.37 c 55.4s| 53800 | 1112 |462391 | 8.6 |9307k| 206 | 20 | 900 |1133 | 900 | 697 | 65 | 16k|4687 | 0.000000e+00 | -- | Inf
55.38/55.47 c 55.5s| 53900 | 1108 |463562 | 8.6 |9285k| 206 | - | 900 |1117 | 900 | 697 | 65 | 16k|4689 | 0.000000e+00 | -- | Inf
55.47/55.52 c *55.5s| 53921 | 0 |463756 | 8.6 |8122k| 206 | - | 900 |1098 | 900 | 697 | 65 | 16k|4714 | 0.000000e+00 | 0.000000e+00 | 0.00%
55.47/55.52 c
55.47/55.52 c SCIP Status : problem is solved [optimal solution found]
55.47/55.52 c Solving Time (sec) : 55.52
55.47/55.52 c Solving Nodes : 53921
55.47/55.52 c Primal Bound : +0.00000000000000e+00 (1 solutions)
55.47/55.52 c Dual Bound : +0.00000000000000e+00
55.47/55.52 c Gap : 0.00 %
55.47/55.52 s SATISFIABLE
55.47/55.52 v -x204 -x212 -x317 -x312 -x304 -x17 x13 -x535 -x314 -x120 -x117 -x104 -x103 -x102 -x544 -x110 -x543 -x318 -x319 -x9 -x214 -x101
55.47/55.52 v -x548 -x213 -x310 -x203 -x118 -x20 x125 -x533 x305 -x123 -x25 -x534 -x109 -x303 -x308 -x302 -x8 -x216 -x531 -x530 x207 -x527
55.47/55.52 v -x499 -x498 -x494 -x493 -x492 -x489 -x487 -x482 -x480 -x479 -x478 -x476 -x323 -x496 -x119 -x200 -x199 -x198 -x195 -x189 -x187
55.47/55.52 v -x185 -x184 -x183 -x249 x247 -x245 -x244 -x243 -x241 -x226 -x222 -x542 -x320 -x182 -x218 -x7 -x14 -x227 -x497 -x239 -x547 -x211
55.47/55.52 v -x307 -x124 -x107 -x273 -x272 -x267 -x264 -x262 -x261 -x258 -x253 -x251 -x21 -x473 -x472 -x470 -x463 -x459 -x458 -x457 -x454
55.47/55.52 v x451 -x324 -x467 -x5 -x194 x259 -x112 -x549 -x315 -x246 -x3 -x111 -x186 -x114 -x268 -x464 -x306 -x248 -x529 -x179 -x228 -x234
55.47/55.52 v -x11 -x209 -x115 -x188 -x484 -x180 -x255 -x491 -x274 -x108 -x18 -x232 -x250 -x316 -x177 -x495 -x263 -x270 -x375 x374 -x372
55.47/55.52 v -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x471 -x181 -x550
55.47/55.52 v -x238 -x106 -x206 -x196 -x537 -x322 -x223 x486 -x116 -x22 -x539 -x526 -x4 -x475 -x219 -x75 -x74 -x73 -x69 -x67 -x66 -x65
55.47/55.52 v -x64 -x60 -x58 -x57 -x55 -x54 -x51 -x229 -x208 -x465 -x481 -x321 -x215 -x540 -x485 -x257 -x121 -x52 -x68 -x205 -x210 -x231 -x525
55.47/55.52 v -x524 -x523 -x521 -x519 -x518 -x517 -x515 -x512 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x59 -x225 -x309 -x191 -x453
55.47/55.52 v -x397 -x396 -x395 -x390 -x388 -x386 -x385 -x384 -x382 x381 -x378 -x377 -x376 -x61 -x269 -x599 -x598 -x597 x596 -x594 -x592
55.47/55.52 v -x590 -x588 -x586 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x24 -x230 -x501 -x387 -x2 -x456 -x311 -x536 -x1 -x380 -x266 -x450
55.47/55.52 v -x447 -x446 -x442 x440 -x439 -x437 -x436 -x435 -x434 -x432 -x430 -x429 -x428 -x427 -x426 -x122 -x313 -x240 -x242 -x593 -x359
55.47/55.52 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
55.47/55.52 v -x56 -x92 -x15 x193 -x202 -x585 -x371 -x513 -x275 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x141 -x140 -x139 -x138 -x136
55.47/55.52 v x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x126 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 x697
55.47/55.52 v -x600 -x520 -x23 -x461 -x591 -x142 -x455 -x393 -x12 -x541 -x398 -x137 -x431 x70 -x522 -x483 -x178 -x511 -x235 -x300 -x299
55.47/55.52 v x298 -x297 -x296 -x295 -x294 -x293 -x291 -x290 -x289 -x287 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x276 -x466 -x477 -x220
55.47/55.52 v -x224 -x576 -x79 -x490 -x449 -x510 -x546 -x292 -x443 -x575 -x574 -x572 -x571 -x570 -x569 x567 -x566 -x565 -x563 -x562 -x561
55.47/55.52 v -x560 -x559 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x252 -x452 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 x627
55.47/55.52 v -x626 -x625 x528 -x288 -x221 -x10 -x532 -x445 -x77 -x558 -x277 -x217 -x325 -x468 -x391 -x448 -x425 -x423 -x422 -x420 -x419 -x418
55.47/55.52 v -x417 -x416 -x415 x414 -x413 -x412 -x410 -x409 -x408 -x406 -x405 -x404 -x403 -x402 -x401 -x256 -x190 -x424 -x589 -x81 -x564
55.47/55.52 v -x488 -x816 -x815 -x814 -x813 x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x568 -x474 -x389 -x660 -x659 -x658 -x657 -x656
55.47/55.52 v -x655 -x654 -x653 -x652 -x651 x650 -x649 -x80 -x197 -x399 -x175 -x174 -x173 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164
55.47/55.52 v -x163 -x161 -x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x151 -x152 -x545 -x441 -x516 -x438 -x421 -x350 -x348 -x347 -x346
55.47/55.52 v -x345 -x344 -x343 -x342 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x460 -x237
55.47/55.52 v -x444 -x63 -x394 -x768 -x767 -x766 -x765 -x764 -x763 x762 -x761 -x760 -x759 -x758 -x757 -x514 -x176 -x192 -x500 -x379 -x577
55.47/55.52 v -x71 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 x829 -x595 -x285 -x236 -x852 -x851 -x850 -x849 -x848
55.47/55.52 v -x847 -x846 -x845 -x844 x843 -x842 -x841 -x271 -x19 -x411 -x648 -x647 x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637
55.47/55.52 v -x254 -x113 -x876 -x875 -x874 -x873 -x872 x871 -x870 -x869 -x868 -x867 -x866 -x865 -x573 -x888 -x887 -x886 -x885 -x884 -x883
55.47/55.52 v -x882 -x881 -x880 -x879 x878 -x877 -x349 -x162 -x732 -x731 -x730 -x729 -x728 -x727 -x726 x725 -x724 -x723 -x722 -x721 -x286
55.47/55.52 v -x383 x87 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x469 -x624 -x623 -x622 -x621 -x620 -x619
55.47/55.52 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
55.47/55.52 v -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x358 -x792 -x791 -x790 -x789 -x788 -x787 -x786 x785 -x784 -x783 -x782 -x781 x341
55.47/55.52 v -x72 -x720 -x719 -x718 -x717 -x716 -x715 x714 -x713 -x712 -x711 -x710 -x709 -x260 -x684 -x683 -x682 -x681 x680 -x679 -x678 -x677
55.47/55.52 v -x676 -x675 -x674 -x673 -x407 -x201 -x672 -x671 -x670 x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x6 -x62 -x462
55.47/55.52 v -x756 -x755 -x754 x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x538 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893
55.47/55.52 v x892 -x891 -x890 -x889 -x400 -x696 -x695 -x694 -x693 -x692 x691 -x690 -x689 -x688 -x687 -x686 -x685 -x433 -x864 -x863 x862 -x861
55.47/55.52 v -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x172 x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793
55.47/55.52 v -x392 -x612 x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x301 -x780 x779 -x778 -x777 -x776 -x775 -x774
55.47/55.52 v -x773 -x772 -x771 -x770 -x769 -x265 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x587
55.47/55.52 c SCIP Status : problem is solved [optimal solution found]
55.47/55.52 c Total Time : 55.52
55.47/55.52 c solving : 55.52
55.47/55.52 c presolving : 0.03 (included in solving)
55.47/55.52 c reading : 0.01 (included in solving)
55.47/55.52 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
55.47/55.52 c Original Problem :
55.47/55.52 c Problem name : HOME/instance-3691547-1338028547.opb
55.47/55.52 c Variables : 900 (900 binary, 0 integer, 0 implicit integer, 0 continuous)
55.47/55.52 c Constraints : 673 initial, 673 maximal
55.47/55.52 c Objective sense : minimize
55.47/55.52 c Presolved Problem :
55.47/55.52 c Problem name : t_HOME/instance-3691547-1338028547.opb
55.47/55.52 c Variables : 900 (900 binary, 0 integer, 0 implicit integer, 0 continuous)
55.47/55.52 c Constraints : 673 initial, 2113 maximal
55.47/55.52 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
55.47/55.52 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
55.47/55.52 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
55.47/55.52 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
55.47/55.52 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
55.47/55.52 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
55.47/55.52 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
55.47/55.52 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
55.47/55.52 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
55.47/55.52 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
55.47/55.52 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
55.47/55.52 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
55.47/55.52 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
55.47/55.52 c linear : 0.01 0.00 0 0 0 0 0 0 0 0 0
55.47/55.52 c logicor : 0.01 0.00 0 0 0 0 0 0 0 0 0
55.47/55.52 c root node : - - 0 - - 0 - - - - -
55.47/55.52 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
55.47/55.52 c integral : 0 0 0 0 28829 0 3 0 587 554 0 0 55396
55.47/55.52 c setppc : 49 49 5 136694 1 0 0 1191365 78 360059 0 0 0
55.47/55.52 c linear : 0+ 4 5 88 0 0 0 0 0 0 0 0 0
55.47/55.52 c logicor : 624+ 2060 5 64280 1 0 0 78794 341 88061 0 0 0
55.47/55.52 c countsols : 0 0 0 0 1 0 2 0 0 0 0 0 0
55.47/55.52 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
55.47/55.52 c integral : 9.25 0.00 0.00 0.00 9.25 0.00 0.00 0.00
55.47/55.52 c setppc : 0.73 0.00 0.00 0.32 0.00 0.00 0.00 0.40
55.47/55.52 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
55.47/55.52 c logicor : 0.57 0.00 0.00 0.46 0.00 0.00 0.00 0.11
55.47/55.52 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
55.47/55.52 c Propagators : #Propagate #ResProp Cutoffs DomReds
55.47/55.52 c rootredcost : 0 0 0 0
55.47/55.52 c pseudoobj : 0 0 0 0
55.47/55.52 c vbounds : 0 0 0 0
55.47/55.52 c redcost : 28834 0 0 0
55.47/55.52 c probing : 0 0 0 0
55.47/55.52 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
55.47/55.52 c rootredcost : 0.03 0.00 0.00 0.03 0.00
55.47/55.52 c pseudoobj : 0.04 0.00 0.00 0.04 0.00
55.47/55.52 c vbounds : 0.03 0.00 0.00 0.03 0.00
55.47/55.52 c redcost : 0.36 0.00 0.00 0.36 0.00
55.47/55.52 c probing : 0.00 0.00 0.00 0.00 0.00
55.47/55.52 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
55.47/55.52 c propagation : 0.02 419 419 1969 69.5 9 73.0 -
55.47/55.52 c infeasible LP : 5.93 25321 10120 182806 110.9 219 70.4 0
55.47/55.52 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
55.47/55.52 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
55.47/55.52 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
55.47/55.52 c applied globally : - - - 16305 60.4 - - -
55.47/55.52 c applied locally : - - - 0 0.0 - - -
55.47/55.52 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
55.47/55.52 c cut pool : 0.00 4 - - 1 - (maximal pool size: 383)
55.47/55.52 c closecuts : 0.00 0.00 0 0 0 0 0
55.47/55.52 c impliedbounds : 0.00 0.00 5 0 0 0 0
55.47/55.52 c intobj : 0.00 0.00 0 0 0 0 0
55.47/55.52 c gomory : 0.05 0.00 5 0 0 250 0
55.47/55.52 c cgmip : 0.00 0.00 0 0 0 0 0
55.47/55.52 c strongcg : 0.25 0.00 5 0 0 2268 0
55.47/55.52 c cmir : 0.00 0.00 0 0 0 0 0
55.47/55.52 c flowcover : 0.00 0.00 0 0 0 0 0
55.47/55.52 c clique : 0.00 0.00 5 0 0 0 0
55.47/55.52 c zerohalf : 0.00 0.00 0 0 0 0 0
55.47/55.52 c mcf : 0.00 0.00 1 0 0 0 0
55.47/55.52 c oddcycle : 0.00 0.00 0 0 0 0 0
55.47/55.52 c rapidlearning : 0.09 0.00 1 0 0 0 4
55.47/55.52 c Pricers : ExecTime SetupTime Calls Vars
55.47/55.52 c problem variables: 0.00 - 0 0
55.47/55.52 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
55.47/55.52 c relpscost : 9.22 0.00 28828 587 554 0 0 55396
55.47/55.52 c pscost : 0.00 0.00 0 0 0 0 0 0
55.47/55.52 c inference : 0.00 0.00 0 0 0 0 0 0
55.47/55.52 c mostinf : 0.00 0.00 0 0 0 0 0 0
55.47/55.52 c leastinf : 0.00 0.00 0 0 0 0 0 0
55.47/55.52 c fullstrong : 0.00 0.00 0 0 0 0 0 0
55.47/55.52 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
55.47/55.52 c random : 0.00 0.00 0 0 0 0 0 0
55.47/55.52 c Primal Heuristics : ExecTime SetupTime Calls Found
55.47/55.52 c LP solutions : 0.00 - - 1
55.47/55.52 c pseudo solutions : 0.00 - - 0
55.47/55.52 c smallcard : 0.00 0.00 0 0
55.47/55.52 c trivial : 0.00 0.00 1 0
55.47/55.52 c shiftandpropagate: 0.00 0.00 0 0
55.47/55.52 c simplerounding : 0.00 0.00 0 0
55.47/55.52 c zirounding : 0.00 0.00 0 0
55.47/55.52 c rounding : 0.00 0.00 0 0
55.47/55.52 c shifting : 0.00 0.00 0 0
55.47/55.52 c intshifting : 0.00 0.00 0 0
55.47/55.52 c oneopt : 0.00 0.00 0 0
55.47/55.52 c twoopt : 0.00 0.00 0 0
55.47/55.52 c indtwoopt : 0.00 0.00 0 0
55.47/55.52 c indoneopt : 0.00 0.00 0 0
55.47/55.52 c fixandinfer : 0.00 0.00 0 0
55.47/55.52 c feaspump : 0.00 0.00 0 0
55.47/55.52 c clique : 0.00 0.00 0 0
55.47/55.52 c indrounding : 0.00 0.00 0 0
55.47/55.52 c indcoefdiving : 0.00 0.00 0 0
55.47/55.52 c coefdiving : 0.00 0.00 0 0
55.47/55.52 c pscostdiving : 0.00 0.00 0 0
55.47/55.52 c nlpdiving : 0.00 0.00 0 0
55.47/55.52 c fracdiving : 0.00 0.00 0 0
55.47/55.52 c veclendiving : 0.00 0.00 0 0
55.47/55.52 c intdiving : 0.00 0.00 0 0
55.47/55.52 c actconsdiving : 0.00 0.00 0 0
55.47/55.52 c objpscostdiving : 0.00 0.00 0 0
55.47/55.52 c rootsoldiving : 0.00 0.00 0 0
55.47/55.52 c linesearchdiving : 0.00 0.00 0 0
55.47/55.52 c guideddiving : 0.00 0.00 0 0
55.47/55.52 c octane : 0.00 0.00 0 0
55.47/55.52 c rens : 0.00 0.00 0 0
55.47/55.52 c rins : 0.00 0.00 0 0
55.47/55.52 c localbranching : 0.00 0.00 0 0
55.47/55.52 c mutation : 0.00 0.00 0 0
55.47/55.52 c crossover : 0.00 0.00 0 0
55.47/55.52 c dins : 0.00 0.00 0 0
55.47/55.52 c vbounds : 0.00 0.00 0 0
55.47/55.52 c undercover : 0.00 0.00 0 0
55.47/55.52 c subnlp : 0.00 0.00 0 0
55.47/55.52 c trysol : 0.00 0.00 0 0
55.47/55.52 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
55.47/55.52 c primal LP : 0.00 1 0 0.00 - 0.00 1
55.47/55.52 c dual LP : 31.59 54155 463756 8.59 14679.77 0.04 155
55.47/55.52 c lex dual LP : 0.00 0 0 0.00 -
55.47/55.52 c barrier LP : 0.00 0 0 0.00 - 0.00 0
55.47/55.52 c diving/probing LP: 0.00 0 0 0.00 -
55.47/55.52 c strong branching : 8.86 4714 107316 22.77 12106.25
55.47/55.52 c (at root node) : - 10 1072 107.20 -
55.47/55.52 c conflict analysis: 0.00 0 0 0.00 -
55.47/55.52 c B&B Tree :
55.47/55.52 c number of runs : 1
55.47/55.52 c nodes : 53921
55.47/55.52 c nodes (total) : 53921
55.47/55.52 c nodes left : 0
55.47/55.52 c max depth : 206
55.47/55.52 c max depth (total): 206
55.47/55.52 c backtracks : 7304 (13.5%)
55.47/55.52 c delayed cutoffs : 365
55.47/55.52 c repropagations : 32841 (52842 domain reductions, 216 cutoffs)
55.47/55.52 c avg switch length: 3.61
55.47/55.52 c switching time : 1.35
55.47/55.52 c Solution :
55.47/55.52 c Solutions found : 1 (1 improvements)
55.47/55.52 c First Solution : +0.00000000000000e+00 (in run 1, after 53921 nodes, 55.52 seconds, depth 74, found by <relaxation>)
55.47/55.52 c Primal Bound : +0.00000000000000e+00 (in run 1, after 53921 nodes, 55.52 seconds, depth 74, found by <relaxation>)
55.47/55.52 c Dual Bound : +0.00000000000000e+00
55.47/55.52 c Gap : 0.00 %
55.47/55.52 c Root Dual Bound : +0.00000000000000e+00
55.47/55.52 c Root Iterations : 2293
55.47/55.53 c Time complete: 55.51.
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-3691547-1338028547/watcher-3691547-1338028547 -o /tmp/evaluation-result-3691547-1338028547/solver-3691547-1338028547 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691547-1338028547.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.32 1.68 3/172 30462
/proc/meminfo: memFree=29459712/32873844 swapFree=7100/7100
[pid=30462] ppid=30459 vsize=13400 CPUtime=0 cores=0,2,4,6
/proc/30462/stat : 30462 (scip-2.1.1.4exp) R 30459 30462 29021 0 -1 4202496 2090 0 0 0 0 0 0 0 20 0 1 0 268983284 13721600 2045 33554432000 4194304 10219143 140734425151584 140733794035000 7589947 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 3350 2045 419 1471 0 1870 0
[startup+0.081568 s]
/proc/loadavg: 1.00 1.32 1.68 3/172 30462
/proc/meminfo: memFree=29459712/32873844 swapFree=7100/7100
[pid=30462] ppid=30459 vsize=29948 CPUtime=0.07 cores=0,2,4,6
/proc/30462/stat : 30462 (scip-2.1.1.4exp) R 30459 30462 29021 0 -1 4202496 6717 0 0 0 6 1 0 0 20 0 1 0 268983284 30666752 6293 33554432000 4194304 10219143 140734425151584 140733794035000 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 7534 6311 740 1471 0 6054 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 29948
[startup+0.100289 s]
/proc/loadavg: 1.00 1.32 1.68 3/172 30462
/proc/meminfo: memFree=29459712/32873844 swapFree=7100/7100
[pid=30462] ppid=30459 vsize=34216 CPUtime=0.09 cores=0,2,4,6
/proc/30462/stat : 30462 (scip-2.1.1.4exp) R 30459 30462 29021 0 -1 4202496 7579 0 0 0 8 1 0 0 20 0 1 0 268983284 35037184 7156 33554432000 4194304 10219143 140734425151584 140733794035000 5347175 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 8554 7172 752 1471 0 7074 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34216
[startup+0.300263 s]
/proc/loadavg: 1.00 1.32 1.68 3/172 30462
/proc/meminfo: memFree=29459712/32873844 swapFree=7100/7100
[pid=30462] ppid=30459 vsize=49720 CPUtime=0.29 cores=0,2,4,6
/proc/30462/stat : 30462 (scip-2.1.1.4exp) R 30459 30462 29021 0 -1 4202496 12095 0 0 0 27 2 0 0 20 0 1 0 268983284 50913280 10965 33554432000 4194304 10219143 140734425151584 140733794035000 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 12430 10965 790 1471 0 10950 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49720
[startup+0.700252 s]
/proc/loadavg: 1.00 1.32 1.68 3/172 30462
/proc/meminfo: memFree=29459712/32873844 swapFree=7100/7100
[pid=30462] ppid=30459 vsize=49720 CPUtime=0.69 cores=0,2,4,6
/proc/30462/stat : 30462 (scip-2.1.1.4exp) R 30459 30462 29021 0 -1 4202496 12175 0 0 0 67 2 0 0 20 0 1 0 268983284 50913280 11045 33554432000 4194304 10219143 140734425151584 140733794035000 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 12430 11045 791 1471 0 10950 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 49720
[startup+1.50023 s]
/proc/loadavg: 1.00 1.31 1.68 3/177 30493
/proc/meminfo: memFree=29339848/32873844 swapFree=7100/7100
[pid=30462] ppid=30459 vsize=49720 CPUtime=1.49 cores=0,2,4,6
/proc/30462/stat : 30462 (scip-2.1.1.4exp) R 30459 30462 29021 0 -1 4202496 12178 0 0 0 145 4 0 0 20 0 1 0 268983284 50913280 11048 33554432000 4194304 10219143 140734425151584 140734425145032 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 12430 11048 794 1471 0 10950 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49720
[startup+3.10022 s]
/proc/loadavg: 1.00 1.31 1.68 3/177 30493
/proc/meminfo: memFree=29337476/32873844 swapFree=7100/7100
[pid=30462] ppid=30459 vsize=49720 CPUtime=3.09 cores=0,2,4,6
/proc/30462/stat : 30462 (scip-2.1.1.4exp) R 30459 30462 29021 0 -1 4202496 12178 0 0 0 302 7 0 0 20 0 1 0 268983284 50913280 11048 33554432000 4194304 10219143 140734425151584 140734425145128 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 12430 11048 794 1471 0 10950 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49720
[startup+6.30023 s]
/proc/loadavg: 1.08 1.32 1.68 3/177 30493
/proc/meminfo: memFree=29338840/32873844 swapFree=7100/7100
[pid=30462] ppid=30459 vsize=49720 CPUtime=6.29 cores=0,2,4,6
/proc/30462/stat : 30462 (scip-2.1.1.4exp) R 30459 30462 29021 0 -1 4202496 12178 0 0 0 616 13 0 0 20 0 1 0 268983284 50913280 11048 33554432000 4194304 10219143 140734425151584 140734425145416 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 12430 11048 794 1471 0 10950 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49720
[startup+12.7002 s]
/proc/loadavg: 1.16 1.33 1.68 3/177 30493
/proc/meminfo: memFree=29337456/32873844 swapFree=7100/7100
[pid=30462] ppid=30459 vsize=49720 CPUtime=12.68 cores=0,2,4,6
/proc/30462/stat : 30462 (scip-2.1.1.4exp) R 30459 30462 29021 0 -1 4202496 12445 0 0 0 1239 29 0 0 20 0 1 0 268983284 50913280 11459 33554432000 4194304 10219143 140734425151584 140734425144520 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 12430 11459 798 1471 0 10950 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49720
[startup+25.5002 s]
/proc/loadavg: 1.34 1.37 1.68 3/177 30493
/proc/meminfo: memFree=29338164/32873844 swapFree=7100/7100
[pid=30462] ppid=30459 vsize=49720 CPUtime=25.48 cores=0,2,4,6
/proc/30462/stat : 30462 (scip-2.1.1.4exp) R 30459 30462 29021 0 -1 4202496 12448 0 0 0 2479 69 0 0 20 0 1 0 268983284 50913280 11460 33554432000 4194304 10219143 140734425151584 140734425148168 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 12430 11460 798 1471 0 10950 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49720
[startup+51.1002 s]
/proc/loadavg: 1.57 1.42 1.69 3/177 30493
/proc/meminfo: memFree=29336568/32873844 swapFree=7100/7100
[pid=30462] ppid=30459 vsize=49720 CPUtime=51.08 cores=0,2,4,6
/proc/30462/stat : 30462 (scip-2.1.1.4exp) R 30459 30462 29021 0 -1 4202496 12449 0 0 0 4968 140 0 0 20 0 1 0 268983284 50913280 11498 33554432000 4194304 10219143 140734425151584 140734425145256 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 12430 11498 798 1471 0 10950 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49720
Solver just ended. Dumping a history of the last processes samples
[startup+52.7002 s]
/proc/loadavg: 1.57 1.42 1.69 3/177 30493
/proc/meminfo: memFree=29336568/32873844 swapFree=7100/7100
[pid=30462] ppid=30459 vsize=49720 CPUtime=52.68 cores=0,2,4,6
/proc/30462/stat : 30462 (scip-2.1.1.4exp) R 30459 30462 29021 0 -1 4202496 12449 0 0 0 5123 145 0 0 20 0 1 0 268983284 50913280 11498 33554432000 4194304 10219143 140734425151584 140734425144568 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 12430 11498 798 1471 0 10950 0
Current children cumulated CPU time (s) 52.68
Current children cumulated vsize (KiB) 49720
[startup+54.3002 s]
/proc/loadavg: 1.57 1.42 1.69 3/177 30493
/proc/meminfo: memFree=29336568/32873844 swapFree=7100/7100
[pid=30462] ppid=30459 vsize=49720 CPUtime=54.28 cores=0,2,4,6
/proc/30462/stat : 30462 (scip-2.1.1.4exp) R 30459 30462 29021 0 -1 4202496 12449 0 0 0 5278 150 0 0 20 0 1 0 268983284 50913280 11498 33554432000 4194304 10219143 140734425151584 140734425144936 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 12430 11498 798 1471 0 10950 0
Current children cumulated CPU time (s) 54.28
Current children cumulated vsize (KiB) 49720
[startup+55.1002 s]
/proc/loadavg: 1.57 1.42 1.69 3/177 30493
/proc/meminfo: memFree=29336444/32873844 swapFree=7100/7100
[pid=30462] ppid=30459 vsize=49720 CPUtime=55.07 cores=0,2,4,6
/proc/30462/stat : 30462 (scip-2.1.1.4exp) R 30459 30462 29021 0 -1 4202496 12449 0 0 0 5355 152 0 0 20 0 1 0 268983284 50913280 11498 33554432000 4194304 10219143 140734425151584 140734425145448 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 12430 11498 798 1471 0 10950 0
Current children cumulated CPU time (s) 55.07
Current children cumulated vsize (KiB) 49720
[startup+55.5002 s]
/proc/loadavg: 1.57 1.42 1.69 3/177 30493
/proc/meminfo: memFree=29336444/32873844 swapFree=7100/7100
[pid=30462] ppid=30459 vsize=49720 CPUtime=55.47 cores=0,2,4,6
/proc/30462/stat : 30462 (scip-2.1.1.4exp) R 30459 30462 29021 0 -1 4202496 12449 0 0 0 5394 153 0 0 20 0 1 0 268983284 50913280 11498 33554432000 4194304 10219143 140734425151584 140734425145448 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30462/statm: 12430 11498 798 1471 0 10950 0
Current children cumulated CPU time (s) 55.47
Current children cumulated vsize (KiB) 49720
Child status: 0
Real time (s): 55.5326
CPU time (s): 55.5166
CPU user time (s): 53.9748
CPU system time (s): 1.54177
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 49720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.9748
system time used= 1.54176
maximum resident set size= 46640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12455
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= 13
involuntary context switches= 56
runsolver used 0.090986 second user time and 0.235964 second system time
The end