0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3451386-1307072226.opb>
0.00/0.01 c original problem has 540 variables (540 bin, 0 int, 0 impl, 0 cont) and 416 constraints
0.00/0.01 c problem read
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.02 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 416 upgd conss, 0 impls, 38 clqs
0.00/0.02 c presolving (2 rounds):
0.00/0.02 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.02 c 0 implications, 38 cliques
0.00/0.02 c presolved problem has 540 variables (540 bin, 0 int, 0 impl, 0 cont) and 416 constraints
0.00/0.02 c 38 constraints of type <setppc>
0.00/0.02 c 378 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 2.0.1.5
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 13950
0.00/0.02 c
0.00/0.02 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c limits/solutions = 1
0.00/0.02 c
0.00/0.02 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.02 c separating/maxrounds = 1
0.00/0.02 c
0.00/0.02 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/maxroundsroot = 5
0.00/0.02 c
0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
0.00/0.02 c
0.00/0.02 c # belongs reading time to solving time?
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c timing/reading = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = TRUE
0.00/0.02 c
0.00/0.02 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.02 c constraints/knapsack/disaggregation = FALSE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c presolving/probing/maxrounds = 0
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/coefdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.02 c heuristics/crossover/freq = -1
0.00/0.02 c
0.00/0.02 c # number of nodes added to the contingent of the total nodes
0.00/0.02 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.02 c heuristics/crossover/nodesofs = 750
0.00/0.02 c
0.00/0.02 c # number of nodes without incumbent change that heuristic should wait
0.00/0.02 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.02 c heuristics/crossover/nwaitingnodes = 100
0.00/0.02 c
0.00/0.02 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.02 c # [type: real, range: [0,1], default: 0.1]
0.00/0.02 c heuristics/crossover/nodesquot = 0.15
0.00/0.02 c
0.00/0.02 c # minimum percentage of integer variables that have to be fixed
0.00/0.02 c # [type: real, range: [0,1], default: 0.666]
0.00/0.02 c heuristics/crossover/minfixingrate = 0.5
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.02 c heuristics/feaspump/freq = -1
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/fracdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/guideddiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/intshifting/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/linesearchdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.02 c heuristics/objpscostdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.02 c # [type: real, range: [0,1], default: 0.01]
0.00/0.02 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/oneopt/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/pscostdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c heuristics/rens/freq = -1
0.00/0.02 c
0.00/0.02 c # minimum percentage of integer variables that have to be fixable
0.00/0.02 c # [type: real, range: [0,1], default: 0.5]
0.00/0.02 c heuristics/rens/minfixingrate = 0.3
0.00/0.02 c
0.00/0.02 c # number of nodes added to the contingent of the total nodes
0.00/0.02 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.02 c heuristics/rens/nodesofs = 2000
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.02 c heuristics/rootsoldiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.02 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/rounding/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c heuristics/shiftandpropagate/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/shifting/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/simplerounding/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/subnlp/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c heuristics/trivial/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/trysol/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c heuristics/undercover/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/veclendiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/zirounding/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c separating/cmir/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c separating/flowcover/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.03 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.03 c 0.0s| 1 | 0 | 139 | - |2215k| 0 | 91 | 540 | 416 | 540 | 416 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 463 | - |2650k| 0 | 96 | 540 | 420 | 540 | 426 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.2s| 1 | 0 | 871 | - |3334k| 0 | 138 | 540 | 420 | 540 | 437 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.26 c 0.3s| 1 | 0 | 929 | - |3898k| 0 | 136 | 540 | 420 | 540 | 442 | 26 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.34 c 0.3s| 1 | 0 | 1195 | - |4473k| 0 | 105 | 540 | 420 | 540 | 452 | 36 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.41 c 0.4s| 1 | 0 | 1330 | - |5092k| 0 | 105 | 540 | 420 | 540 | 463 | 47 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.44 c 0.4s| 1 | 2 | 1330 | - |5093k| 0 | 105 | 540 | 420 | 540 | 463 | 47 | 0 | 16 | 0.000000e+00 | -- | Inf
8.59/8.67 c 8.7s| 10000 | 52 | 62330 | 6.1 |5981k| 51 | - | 540 |1474 | 540 | 438 | 47 |3046 |2567 | 0.000000e+00 | -- | Inf
14.30/14.32 c 14.3s| 20000 | 68 |131831 | 6.5 |6397k| 52 | - | 540 |2147 | 540 | 438 | 47 |5114 |2606 | 0.000000e+00 | -- | Inf
19.70/19.74 c 19.7s| 30000 | 63 |184684 | 6.1 |6817k| 55 | - | 540 |2945 | 540 | 438 | 47 |8460 |2699 | 0.000000e+00 | -- | Inf
25.50/25.51 c 25.5s| 40000 | 68 |244551 | 6.1 |7556k| 55 | 20 | 540 |4313 | 540 | 438 | 47 | 16k|2834 | 0.000000e+00 | -- | Inf
31.80/31.83 c 31.8s| 50000 | 85 |314445 | 6.3 |7615k| 55 | - | 540 |4242 | 540 | 438 | 47 | 20k|3115 | 0.000000e+00 | -- | Inf
37.30/37.33 c 37.3s| 60000 | 72 |364629 | 6.1 |7861k| 60 | 19 | 540 |4756 | 540 | 438 | 47 | 23k|3253 | 0.000000e+00 | -- | Inf
42.81/42.86 c 42.9s| 70000 | 67 |414641 | 5.9 |7927k| 60 | 20 | 540 |4873 | 540 | 438 | 47 | 26k|3361 | 0.000000e+00 | -- | Inf
49.29/49.33 c 49.3s| 80000 | 69 |494759 | 6.2 |7332k| 61 | 30 | 540 |3438 | 540 | 438 | 47 | 27k|3713 | 0.000000e+00 | -- | Inf
55.59/55.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.59/55.61 c 55.6s| 90000 | 108 |576040 | 6.4 |7809k| 61 | 18 | 540 |4259 | 540 | 438 | 47 | 30k|4006 | 0.000000e+00 | -- | Inf
60.89/60.90 c 60.9s|100000 | 125 |621867 | 6.2 |8566k| 61 | 12 | 540 |5709 | 540 | 438 | 47 | 37k|4091 | 0.000000e+00 | -- | Inf
66.59/66.66 c 66.7s|110000 | 182 |673547 | 6.1 |8789k| 61 | 14 | 540 |5951 | 540 | 438 | 47 | 42k|4211 | 0.000000e+00 | -- | Inf
72.30/72.37 c 72.4s|120000 | 95 |727282 | 6.0 |8120k| 65 | 20 | 540 |4750 | 540 | 438 | 47 | 46k|4294 | 0.000000e+00 | -- | Inf
78.01/78.10 c 78.1s|130000 | 135 |781578 | 6.0 |8664k| 65 | 14 | 540 |5742 | 540 | 438 | 47 | 51k|4406 | 0.000000e+00 | -- | Inf
83.61/83.67 c 83.7s|140000 | 201 |836530 | 6.0 |8264k| 65 | - | 540 |4580 | 540 | 438 | 47 | 55k|4480 | 0.000000e+00 | -- | Inf
89.20/89.25 c 89.2s|150000 | 218 |889073 | 5.9 |8518k| 65 | - | 540 |5040 | 540 | 438 | 47 | 60k|4583 | 0.000000e+00 | -- | Inf
94.99/95.08 c 95.1s|160000 | 141 |947799 | 5.9 |8085k| 65 | 25 | 540 |4309 | 540 | 438 | 47 | 64k|4710 | 0.000000e+00 | -- | Inf
101.11/101.13 c 101s|170000 | 86 | 1015k| 6.0 |7634k| 65 | - | 540 |3625 | 540 | 438 | 47 | 64k|5161 | 0.000000e+00 | -- | Inf
106.61/106.61 c 107s|180000 | 76 | 1078k| 6.0 |7620k| 65 | 29 | 540 |3624 | 540 | 438 | 47 | 64k|5293 | 0.000000e+00 | -- | Inf
113.10/113.20 c 113s|190000 | 68 | 1177k| 6.2 |7634k| 65 | 36 | 540 |3678 | 540 | 438 | 47 | 65k|5462 | 0.000000e+00 | -- | Inf
119.99/120.05 c 120s|200000 | 82 | 1283k| 6.4 |7671k| 65 | 30 | 540 |3715 | 540 | 438 | 47 | 65k|5605 | 0.000000e+00 | -- | Inf
126.89/126.94 c 127s|210000 | 66 | 1390k| 6.6 |7624k| 65 | - | 540 |3652 | 540 | 438 | 47 | 65k|5800 | 0.000000e+00 | -- | Inf
133.79/133.83 c 134s|220000 | 66 | 1499k| 6.8 |7590k| 65 | - | 540 |3564 | 540 | 438 | 47 | 65k|5949 | 0.000000e+00 | -- | Inf
140.59/140.69 c 141s|230000 | 86 | 1607k| 7.0 |7631k| 65 | - | 540 |3574 | 540 | 438 | 47 | 65k|6091 | 0.000000e+00 | -- | Inf
147.50/147.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
147.50/147.54 c 148s|240000 | 80 | 1714k| 7.1 |7626k| 65 | 36 | 540 |3575 | 540 | 438 | 47 | 65k|6228 | 0.000000e+00 | -- | Inf
154.50/154.50 c 154s|250000 | 82 | 1828k| 7.3 |7636k| 65 | 31 | 540 |3606 | 540 | 438 | 47 | 65k|6366 | 0.000000e+00 | -- | Inf
162.00/162.08 c 162s|260000 | 65 | 1937k| 7.4 |7598k| 65 | - | 540 |3468 | 540 | 438 | 47 | 65k|7391 | 0.000000e+00 | -- | Inf
169.00/169.02 c 169s|270000 | 64 | 2020k| 7.5 |7859k| 65 | - | 540 |4071 | 540 | 438 | 47 | 67k|8373 | 0.000000e+00 | -- | Inf
175.40/175.42 c 175s|280000 | 64 | 2109k| 7.5 |8137k| 65 | - | 540 |4802 | 540 | 438 | 47 | 68k|8693 | 0.000000e+00 | -- | Inf
181.51/181.54 c 182s|290000 | 73 | 2192k| 7.6 |8295k| 65 | - | 540 |5150 | 540 | 438 | 47 | 69k|8852 | 0.000000e+00 | -- | Inf
187.50/187.58 c 188s|300000 | 75 | 2279k| 7.6 |8288k| 65 | 14 | 540 |5095 | 540 | 438 | 47 | 69k|9044 | 0.000000e+00 | -- | Inf
192.99/193.01 c 193s|310000 | 68 | 2339k| 7.5 |7710k| 65 | - | 540 |3516 | 540 | 438 | 47 | 69k|9170 | 0.000000e+00 | -- | Inf
198.39/198.42 c 198s|320000 | 78 | 2399k| 7.5 |7701k| 65 | - | 540 |3417 | 540 | 438 | 47 | 70k|9197 | 0.000000e+00 | -- | Inf
203.99/204.00 c 204s|330000 | 130 | 2461k| 7.5 |7978k| 65 | 12 | 540 |3838 | 540 | 438 | 47 | 72k|9201 | 0.000000e+00 | -- | Inf
209.60/209.67 c 210s|340000 | 90 | 2523k| 7.4 |8110k| 65 | - | 540 |4440 | 540 | 438 | 47 | 74k|9332 | 0.000000e+00 | -- | Inf
215.61/215.61 c 216s|350000 | 82 | 2586k| 7.4 |8832k| 65 | - | 540 |6261 | 540 | 438 | 47 | 77k|9424 | 0.000000e+00 | -- | Inf
221.29/221.32 c 221s|360000 | 89 | 2662k| 7.4 |8549k| 65 | - | 540 |5421 | 540 | 438 | 47 | 77k|9535 | 0.000000e+00 | -- | Inf
226.80/226.89 c 227s|370000 | 97 | 2742k| 7.4 |8561k| 65 | 28 | 540 |5421 | 540 | 438 | 47 | 77k|9622 | 0.000000e+00 | -- | Inf
232.50/232.54 c 233s|380000 | 93 | 2817k| 7.4 |8554k| 67 | 29 | 540 |5420 | 540 | 438 | 47 | 77k|9676 | 0.000000e+00 | -- | Inf
238.00/238.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
238.00/238.09 c 238s|390000 | 93 | 2891k| 7.4 |8266k| 67 | - | 540 |4609 | 540 | 438 | 47 | 77k|9749 | 0.000000e+00 | -- | Inf
243.70/243.72 c 244s|400000 | 91 | 2968k| 7.4 |8094k| 67 | - | 540 |4139 | 540 | 438 | 47 | 77k|9855 | 0.000000e+00 | -- | Inf
248.70/248.76 c 249s|410000 | 99 | 3029k| 7.4 |8128k| 67 | - | 540 |4171 | 540 | 438 | 47 | 78k|9922 | 0.000000e+00 | -- | Inf
253.60/253.65 c 254s|420000 | 111 | 3075k| 7.3 |8151k| 67 | - | 540 |4169 | 540 | 438 | 47 | 78k|9968 | 0.000000e+00 | -- | Inf
258.30/258.31 c 258s|430000 | 107 | 3113k| 7.2 |8131k| 67 | 17 | 540 |4137 | 540 | 438 | 47 | 78k|9994 | 0.000000e+00 | -- | Inf
263.10/263.15 c 263s|440000 | 91 | 3156k| 7.2 |8108k| 67 | - | 540 |4150 | 540 | 438 | 47 | 78k| 10k| 0.000000e+00 | -- | Inf
268.10/268.18 c 268s|450000 | 95 | 3203k| 7.1 |8122k| 67 | 17 | 540 |4180 | 540 | 438 | 47 | 78k| 10k| 0.000000e+00 | -- | Inf
272.90/272.98 c 273s|460000 | 120 | 3243k| 7.0 |8195k| 67 | - | 540 |4265 | 540 | 438 | 47 | 79k| 10k| 0.000000e+00 | -- | Inf
277.70/277.73 c 278s|470000 | 105 | 3282k| 7.0 |8188k| 67 | 13 | 540 |4285 | 540 | 438 | 47 | 79k| 10k| 0.000000e+00 | -- | Inf
282.61/282.69 c 283s|480000 | 108 | 3323k| 6.9 |8252k| 67 | - | 540 |4407 | 540 | 438 | 47 | 80k| 10k| 0.000000e+00 | -- | Inf
287.60/287.61 c 288s|490000 | 98 | 3366k| 6.9 |8214k| 67 | 15 | 540 |4355 | 540 | 438 | 47 | 80k| 10k| 0.000000e+00 | -- | Inf
292.61/292.68 c 293s|500000 | 90 | 3412k| 6.8 |8173k| 67 | - | 540 |4291 | 540 | 438 | 47 | 81k| 10k| 0.000000e+00 | -- | Inf
297.50/297.55 c 298s|510000 | 95 | 3454k| 6.8 |8181k| 68 | - | 540 |4284 | 540 | 438 | 47 | 81k| 10k| 0.000000e+00 | -- | Inf
302.51/302.56 c 303s|520000 | 123 | 3510k| 6.7 |8198k| 68 | - | 540 |4241 | 540 | 438 | 47 | 81k| 10k| 0.000000e+00 | -- | Inf
307.60/307.67 c 308s|530000 | 93 | 3582k| 6.8 |8151k| 70 | 22 | 540 |4234 | 540 | 438 | 47 | 81k| 10k| 0.000000e+00 | -- | Inf
313.00/313.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
313.00/313.08 c 313s|540000 | 91 | 3660k| 6.8 |8121k| 70 | 29 | 540 |4177 | 540 | 438 | 47 | 81k| 10k| 0.000000e+00 | -- | Inf
319.01/319.04 c 319s|550000 | 87 | 3754k| 6.8 |8120k| 70 | - | 540 |4176 | 540 | 438 | 47 | 81k| 10k| 0.000000e+00 | -- | Inf
325.40/325.41 c 325s|560000 | 79 | 3852k| 6.9 |8012k| 70 | - | 540 |3965 | 540 | 438 | 47 | 81k| 10k| 0.000000e+00 | -- | Inf
331.31/331.31 c 331s|570000 | 71 | 3939k| 6.9 |7971k| 70 | - | 540 |3888 | 540 | 438 | 47 | 81k| 11k| 0.000000e+00 | -- | Inf
336.70/336.74 c 337s|580000 | 83 | 4012k| 6.9 |7988k| 70 | 22 | 540 |3887 | 540 | 438 | 47 | 81k| 11k| 0.000000e+00 | -- | Inf
342.40/342.46 c 342s|590000 | 83 | 4091k| 6.9 |7998k| 73 | 26 | 540 |3891 | 540 | 438 | 47 | 81k| 11k| 0.000000e+00 | -- | Inf
348.01/348.08 c 348s|600000 | 91 | 4167k| 6.9 |8007k| 73 | - | 540 |3905 | 540 | 438 | 47 | 81k| 11k| 0.000000e+00 | -- | Inf
354.01/354.07 c 354s|610000 | 73 | 4252k| 7.0 |7999k| 75 | 30 | 540 |3967 | 540 | 438 | 47 | 82k| 11k| 0.000000e+00 | -- | Inf
360.00/360.06 c 360s|620000 | 79 | 4341k| 7.0 |7991k| 75 | 28 | 540 |3913 | 540 | 438 | 47 | 82k| 11k| 0.000000e+00 | -- | Inf
365.80/365.82 c 366s|630000 | 89 | 4422k| 7.0 |8013k| 75 | 34 | 540 |3931 | 540 | 438 | 47 | 82k| 11k| 0.000000e+00 | -- | Inf
371.41/371.49 c 371s|640000 | 75 | 4500k| 7.0 |8020k| 75 | - | 540 |3966 | 540 | 438 | 47 | 82k| 11k| 0.000000e+00 | -- | Inf
377.80/377.86 c 378s|650000 | 89 | 4607k| 7.1 |8038k| 75 | 31 | 540 |3946 | 540 | 438 | 47 | 82k| 11k| 0.000000e+00 | -- | Inf
383.92/383.96 c 384s|660000 | 67 | 4692k| 7.1 |7773k| 75 | 12 | 540 |3449 | 540 | 438 | 47 | 82k| 11k| 0.000000e+00 | -- | Inf
389.42/389.44 c 389s|670000 | 53 | 4759k| 7.1 |7733k| 75 | 30 | 540 |3388 | 540 | 438 | 47 | 82k| 11k| 0.000000e+00 | -- | Inf
395.92/395.99 c 396s|680000 | 59 | 4846k| 7.1 |7640k| 75 | 23 | 540 |3115 | 540 | 438 | 47 | 82k| 12k| 0.000000e+00 | -- | Inf
401.31/401.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
401.31/401.39 c 401s|690000 | 60 | 4917k| 7.1 |7792k| 75 | 20 | 540 |3377 | 540 | 438 | 47 | 84k| 12k| 0.000000e+00 | -- | Inf
407.30/407.31 c 407s|700000 | 52 | 4994k| 7.1 |7843k| 75 | 20 | 540 |3453 | 540 | 438 | 47 | 87k| 12k| 0.000000e+00 | -- | Inf
413.20/413.20 c 413s|710000 | 56 | 5072k| 7.1 |8108k| 75 | - | 540 |4107 | 540 | 438 | 47 | 88k| 13k| 0.000000e+00 | -- | Inf
419.11/419.15 c 419s|720000 | 74 | 5148k| 7.1 |7427k| 75 | - | 540 |2221 | 540 | 438 | 47 | 89k| 13k| 0.000000e+00 | -- | Inf
424.51/424.58 c 425s|730000 | 64 | 5219k| 7.1 |7400k| 75 | - | 540 |2192 | 540 | 438 | 47 | 90k| 13k| 0.000000e+00 | -- | Inf
430.01/430.04 c 430s|740000 | 90 | 5298k| 7.2 |7403k| 75 | 16 | 540 |2091 | 540 | 438 | 47 | 90k| 13k| 0.000000e+00 | -- | Inf
435.61/435.66 c 436s|750000 | 86 | 5383k| 7.2 |7396k| 75 | 20 | 540 |2091 | 540 | 438 | 47 | 90k| 13k| 0.000000e+00 | -- | Inf
440.80/440.86 c 441s|760000 | 82 | 5459k| 7.2 |7404k| 75 | - | 540 |2112 | 540 | 438 | 47 | 90k| 13k| 0.000000e+00 | -- | Inf
446.11/446.13 c 446s|770000 | 72 | 5531k| 7.2 |7326k| 75 | 21 | 540 |1965 | 540 | 438 | 47 | 91k| 13k| 0.000000e+00 | -- | Inf
451.90/451.90 c 452s|780000 | 58 | 5611k| 7.2 |7398k| 75 | 22 | 540 |2209 | 540 | 438 | 47 | 91k| 13k| 0.000000e+00 | -- | Inf
457.41/457.41 c 457s|790000 | 62 | 5684k| 7.2 |7391k| 75 | 13 | 540 |2156 | 540 | 438 | 47 | 92k| 13k| 0.000000e+00 | -- | Inf
462.51/462.50 c 463s|800000 | 72 | 5751k| 7.2 |7403k| 75 | 20 | 540 |2148 | 540 | 438 | 47 | 92k| 13k| 0.000000e+00 | -- | Inf
467.42/467.46 c 467s|810000 | 60 | 5816k| 7.2 |7412k| 75 | - | 540 |2204 | 540 | 438 | 47 | 92k| 13k| 0.000000e+00 | -- | Inf
472.61/472.64 c 473s|820000 | 54 | 5885k| 7.2 |7401k| 75 | - | 540 |2200 | 540 | 438 | 47 | 92k| 14k| 0.000000e+00 | -- | Inf
478.20/478.26 c 478s|830000 | 64 | 5968k| 7.2 |7322k| 75 | - | 540 |1964 | 540 | 438 | 47 | 92k| 14k| 0.000000e+00 | -- | Inf
484.20/484.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
484.20/484.27 c 484s|840000 | 84 | 6066k| 7.2 |7353k| 75 | 25 | 540 |1965 | 540 | 438 | 47 | 92k| 14k| 0.000000e+00 | -- | Inf
490.30/490.39 c 490s|850000 | 90 | 6168k| 7.3 |7359k| 75 | 20 | 540 |1965 | 540 | 438 | 47 | 92k| 14k| 0.000000e+00 | -- | Inf
496.41/496.45 c 496s|860000 | 80 | 6267k| 7.3 |7355k| 75 | 22 | 540 |1965 | 540 | 438 | 47 | 92k| 14k| 0.000000e+00 | -- | Inf
502.51/502.50 c 503s|870000 | 58 | 6365k| 7.3 |7313k| 75 | 29 | 540 |1971 | 540 | 438 | 47 | 92k| 14k| 0.000000e+00 | -- | Inf
507.81/507.83 c 508s|880000 | 64 | 6440k| 7.3 |7271k| 75 | - | 540 |1855 | 540 | 438 | 47 | 92k| 14k| 0.000000e+00 | -- | Inf
513.81/513.89 c 514s|890000 | 74 | 6534k| 7.3 |7193k| 75 | - | 540 |1587 | 540 | 438 | 47 | 92k| 14k| 0.000000e+00 | -- | Inf
519.51/519.57 c 520s|900000 | 79 | 6616k| 7.3 |7284k| 75 | - | 540 |1791 | 540 | 438 | 47 | 93k| 14k| 0.000000e+00 | -- | Inf
524.62/524.69 c 525s|910000 | 78 | 6686k| 7.3 |7287k| 75 | - | 540 |1831 | 540 | 438 | 47 | 93k| 14k| 0.000000e+00 | -- | Inf
529.81/529.86 c 530s|920000 | 86 | 6758k| 7.3 |7295k| 75 | 29 | 540 |1829 | 540 | 438 | 47 | 93k| 15k| 0.000000e+00 | -- | Inf
535.40/535.42 c 535s|930000 | 62 | 6837k| 7.4 |7270k| 75 | 20 | 540 |1850 | 540 | 438 | 47 | 93k| 15k| 0.000000e+00 | -- | Inf
541.31/541.37 c 541s|940000 | 75 | 6929k| 7.4 |7389k| 75 | 20 | 540 |2094 | 540 | 438 | 47 | 94k| 15k| 0.000000e+00 | -- | Inf
547.01/547.03 c 547s|950000 | 77 | 7016k| 7.4 |7423k| 75 | 20 | 540 |2164 | 540 | 438 | 47 | 94k| 15k| 0.000000e+00 | -- | Inf
552.80/552.82 c 553s|960000 | 62 | 7106k| 7.4 |7326k| 75 | 13 | 540 |2011 | 540 | 438 | 47 | 94k| 15k| 0.000000e+00 | -- | Inf
557.91/557.93 c 558s|970000 | 64 | 7178k| 7.4 |7337k| 75 | - | 540 |2025 | 540 | 438 | 47 | 94k| 15k| 0.000000e+00 | -- | Inf
563.22/563.27 c 563s|980000 | 72 | 7247k| 7.4 |7353k| 75 | - | 540 |2024 | 540 | 438 | 47 | 94k| 15k| 0.000000e+00 | -- | Inf
568.81/568.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
568.81/568.81 c 569s|990000 | 70 | 7313k| 7.4 |7339k| 75 | 37 | 540 |2004 | 540 | 438 | 47 | 95k| 16k| 0.000000e+00 | -- | Inf
573.91/573.92 c 574s| 1000k| 80 | 7366k| 7.4 |7455k| 75 | - | 540 |2214 | 540 | 438 | 47 | 95k| 16k| 0.000000e+00 | -- | Inf
578.91/578.97 c 579s| 1010k| 70 | 7417k| 7.3 |7440k| 75 | 12 | 540 |2211 | 540 | 438 | 47 | 96k| 16k| 0.000000e+00 | -- | Inf
584.02/584.08 c 584s| 1020k| 84 | 7470k| 7.3 |7506k| 75 | - | 540 |2333 | 540 | 438 | 47 | 97k| 16k| 0.000000e+00 | -- | Inf
589.21/589.28 c 589s| 1030k| 82 | 7526k| 7.3 |7566k| 75 | 17 | 540 |2457 | 540 | 438 | 47 | 98k| 16k| 0.000000e+00 | -- | Inf
594.71/594.70 c 595s| 1040k| 62 | 7590k| 7.3 |7413k| 75 | - | 540 |2227 | 540 | 438 | 47 | 99k| 16k| 0.000000e+00 | -- | Inf
600.01/600.07 c 600s| 1050k| 65 | 7640k| 7.3 |8268k| 75 | 36 | 540 |4322 | 540 | 438 | 47 | 101k| 16k| 0.000000e+00 | -- | Inf
605.41/605.41 c 605s| 1060k| 59 | 7690k| 7.3 |8477k| 75 | - | 540 |4706 | 540 | 438 | 47 | 103k| 16k| 0.000000e+00 | -- | Inf
610.81/610.87 c 611s| 1070k| 70 | 7762k| 7.3 |8089k| 75 | 20 | 540 |3621 | 540 | 438 | 47 | 104k| 16k| 0.000000e+00 | -- | Inf
616.11/616.19 c 616s| 1080k| 91 | 7835k| 7.3 |8130k| 75 | - | 540 |3632 | 540 | 438 | 47 | 104k| 16k| 0.000000e+00 | -- | Inf
621.91/621.99 c 622s| 1090k| 79 | 7919k| 7.3 |8108k| 75 | 24 | 540 |3624 | 540 | 438 | 47 | 104k| 16k| 0.000000e+00 | -- | Inf
628.13/628.11 c 628s| 1100k| 87 | 8020k| 7.3 |8126k| 75 | - | 540 |3637 | 540 | 438 | 47 | 104k| 16k| 0.000000e+00 | -- | Inf
634.01/634.00 c 634s| 1110k| 69 | 8109k| 7.3 |7910k| 75 | 14 | 540 |3150 | 540 | 438 | 47 | 104k| 16k| 0.000000e+00 | -- | Inf
639.02/639.04 c 639s| 1120k| 95 | 8161k| 7.3 |7938k| 75 | - | 540 |3088 | 540 | 438 | 47 | 104k| 16k| 0.000000e+00 | -- | Inf
644.52/644.58 c 645s| 1130k| 63 | 8236k| 7.3 |7897k| 75 | - | 540 |3102 | 540 | 438 | 47 | 104k| 16k| 0.000000e+00 | -- | Inf
650.12/650.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
650.12/650.19 c 650s| 1140k| 65 | 8316k| 7.3 |7908k| 75 | 18 | 540 |3128 | 540 | 438 | 47 | 105k| 16k| 0.000000e+00 | -- | Inf
655.41/655.48 c 655s| 1150k| 135 | 8376k| 7.3 |8107k| 75 | 23 | 540 |3340 | 540 | 438 | 47 | 106k| 17k| 0.000000e+00 | -- | Inf
660.61/660.63 c 661s| 1160k| 153 | 8425k| 7.3 |8202k| 75 | 24 | 540 |3432 | 540 | 438 | 47 | 107k| 17k| 0.000000e+00 | -- | Inf
665.71/665.79 c 666s| 1170k| 145 | 8473k| 7.2 |8181k| 75 | - | 540 |3387 | 540 | 438 | 47 | 108k| 17k| 0.000000e+00 | -- | Inf
670.93/670.98 c 671s| 1180k| 77 | 8523k| 7.2 |8029k| 75 | 16 | 540 |3355 | 540 | 438 | 47 | 109k| 17k| 0.000000e+00 | -- | Inf
676.22/676.25 c 676s| 1190k| 79 | 8576k| 7.2 |8104k| 75 | - | 540 |3518 | 540 | 438 | 47 | 110k| 17k| 0.000000e+00 | -- | Inf
681.32/681.39 c 681s| 1200k| 110 | 8629k| 7.2 |8160k| 75 | 22 | 540 |3510 | 540 | 438 | 47 | 111k| 17k| 0.000000e+00 | -- | Inf
686.51/686.59 c 687s| 1210k| 110 | 8680k| 7.2 |8234k| 75 | - | 540 |3678 | 540 | 438 | 47 | 113k| 17k| 0.000000e+00 | -- | Inf
691.82/691.84 c 692s| 1220k| 102 | 8732k| 7.2 |8216k| 75 | - | 540 |3687 | 540 | 438 | 47 | 114k| 17k| 0.000000e+00 | -- | Inf
697.01/697.00 c 697s| 1230k| 136 | 8784k| 7.1 |8267k| 75 | - | 540 |3725 | 540 | 438 | 47 | 115k| 17k| 0.000000e+00 | -- | Inf
702.12/702.17 c 702s| 1240k| 75 | 8836k| 7.1 |8194k| 75 | 12 | 540 |3744 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
707.82/707.85 c 708s| 1250k| 74 | 8909k| 7.1 |7988k| 75 | - | 540 |3264 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
713.41/713.41 c 713s| 1260k| 86 | 8988k| 7.1 |8007k| 75 | 19 | 540 |3270 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
718.91/718.95 c 719s| 1270k| 80 | 9065k| 7.1 |7997k| 75 | - | 540 |3271 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
724.51/724.59 c 725s| 1280k| 74 | 9145k| 7.1 |7982k| 75 | 18 | 540 |3271 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
730.11/730.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
730.11/730.18 c 730s| 1290k| 68 | 9225k| 7.2 |7985k| 75 | - | 540 |3273 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
735.61/735.61 c 736s| 1300k| 74 | 9299k| 7.2 |7997k| 75 | - | 540 |3274 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
741.12/741.11 c 741s| 1310k| 74 | 9371k| 7.2 |7988k| 75 | 25 | 540 |3274 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
746.62/746.62 c 747s| 1320k| 80 | 9442k| 7.2 |7998k| 75 | 24 | 540 |3274 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
752.12/752.14 c 752s| 1330k| 76 | 9518k| 7.2 |7992k| 75 | 20 | 540 |3274 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
757.72/757.72 c 758s| 1340k| 66 | 9600k| 7.2 |7979k| 75 | - | 540 |3274 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
763.33/763.37 c 763s| 1350k| 60 | 9682k| 7.2 |7991k| 75 | - | 540 |3326 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
768.83/768.82 c 769s| 1360k| 69 | 9748k| 7.2 |7740k| 75 | 20 | 540 |2667 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
773.51/773.54 c 774s| 1370k| 117 | 9799k| 7.2 |7835k| 75 | 14 | 540 |2684 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
777.73/777.78 c 778s| 1380k| 115 | 9827k| 7.1 |7860k| 75 | 18 | 540 |2690 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
782.03/782.01 c 782s| 1390k| 105 | 9854k| 7.1 |7843k| 75 | - | 540 |2690 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
786.43/786.49 c 786s| 1400k| 107 | 9892k| 7.1 |7825k| 75 | 20 | 540 |2691 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
790.82/790.88 c 791s| 1410k| 113 | 9927k| 7.0 |7835k| 75 | 14 | 540 |2685 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
795.12/795.20 c 795s| 1420k| 127 | 9960k| 7.0 |7855k| 75 | 16 | 540 |2685 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
799.51/799.53 c 800s| 1430k| 137 | 9994k| 7.0 |7892k| 75 | 14 | 540 |2685 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
803.91/803.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
803.91/803.95 c 804s| 1440k| 173 | 10029k| 7.0 |7965k| 75 | 16 | 540 |2685 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
808.21/808.26 c 808s| 1450k| 129 | 10062k| 6.9 |7889k| 76 | 19 | 540 |2685 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
812.52/812.55 c 813s| 1460k| 99 | 10096k| 6.9 |7822k| 79 | 14 | 540 |2685 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
816.91/816.94 c 817s| 1470k| 121 | 10130k| 6.9 |7823k| 79 | 17 | 540 |2685 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
821.63/821.66 c 822s| 1480k| 80 | 10180k| 6.9 |7820k| 79 | 20 | 540 |2748 | 540 | 438 | 47 | 118k| 18k| 0.000000e+00 | -- | Inf
826.42/826.43 c 826s| 1490k| 77 | 10234k| 6.9 |7803k| 79 | - | 540 |2742 | 540 | 438 | 47 | 119k| 18k| 0.000000e+00 | -- | Inf
831.21/831.25 c 831s| 1500k| 89 | 10287k| 6.9 |7836k| 79 | - | 540 |2773 | 540 | 438 | 47 | 120k| 18k| 0.000000e+00 | -- | Inf
836.71/836.74 c 837s| 1510k| 57 | 10355k| 6.9 |7570k| 79 | 14 | 540 |2236 | 540 | 438 | 47 | 120k| 18k| 0.000000e+00 | -- | Inf
842.52/842.58 c 843s| 1520k| 60 | 10436k| 6.9 |7458k| 79 | - | 540 |1924 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
848.22/848.21 c 848s| 1530k| 62 | 10512k| 6.9 |7389k| 79 | 29 | 540 |1740 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
854.63/854.66 c 855s| 1540k| 78 | 10617k| 6.9 |7384k| 79 | - | 540 |1686 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
860.42/860.46 c 860s| 1550k| 80 | 10701k| 6.9 |7412k| 79 | 21 | 540 |1719 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
866.41/866.41 c 866s| 1560k| 82 | 10792k| 6.9 |7416k| 79 | - | 540 |1719 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
871.92/871.98 c 872s| 1570k| 86 | 10873k| 6.9 |7422k| 79 | 23 | 540 |1719 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
877.62/877.68 c 878s| 1580k| 76 | 10956k| 6.9 |7406k| 79 | - | 540 |1720 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
883.11/883.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.11/883.11 c 883s| 1590k| 76 | 11033k| 6.9 |7410k| 79 | 21 | 540 |1727 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
888.62/888.61 c 889s| 1600k| 78 | 11109k| 6.9 |7415k| 79 | - | 540 |1729 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
894.12/894.16 c 894s| 1610k| 80 | 11186k| 6.9 |7417k| 79 | 28 | 540 |1734 | 540 | 438 | 47 | 121k| 19k| 0.000000e+00 | -- | Inf
899.62/899.64 c 900s| 1620k| 82 | 11257k| 6.9 |7452k| 79 | - | 540 |1799 | 540 | 438 | 47 | 121k| 19k| 0.000000e+00 | -- | Inf
905.52/905.57 c 906s| 1630k| 80 | 11349k| 7.0 |7445k| 79 | 29 | 540 |1798 | 540 | 438 | 47 | 121k| 19k| 0.000000e+00 | -- | Inf
911.32/911.35 c 911s| 1640k| 80 | 11436k| 7.0 |7454k| 79 | - | 540 |1798 | 540 | 438 | 47 | 121k| 19k| 0.000000e+00 | -- | Inf
917.02/917.03 c 917s| 1650k| 69 | 11511k| 7.0 |7450k| 79 | - | 540 |1837 | 540 | 438 | 47 | 121k| 19k| 0.000000e+00 | -- | Inf
922.52/922.51 c 923s| 1660k| 83 | 11579k| 7.0 |7545k| 79 | 34 | 540 |2031 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
927.72/927.80 c 928s| 1670k| 97 | 11643k| 7.0 |7573k| 79 | - | 540 |2032 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
933.12/933.17 c 933s| 1680k| 87 | 11708k| 7.0 |7567k| 79 | 23 | 540 |2073 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
937.92/937.99 c 938s| 1690k| 91 | 11750k| 7.0 |7587k| 79 | - | 540 |2085 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
942.63/942.70 c 943s| 1700k| 105 | 11789k| 6.9 |7611k| 79 | - | 540 |2086 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
947.42/947.46 c 947s| 1710k| 109 | 11830k| 6.9 |7611k| 79 | - | 540 |2086 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
952.12/952.19 c 952s| 1720k| 99 | 11872k| 6.9 |7609k| 81 | 27 | 540 |2093 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
956.72/956.70 c 957s| 1730k| 99 | 11910k| 6.9 |7611k| 81 | 23 | 540 |2091 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
961.33/961.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
961.33/961.37 c 961s| 1740k| 90 | 11951k| 6.9 |7602k| 83 | 21 | 540 |2116 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
966.72/966.79 c 967s| 1750k| 75 | 12018k| 6.9 |7501k| 83 | 30 | 540 |1915 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
972.33/972.39 c 972s| 1760k| 82 | 12095k| 6.9 |7498k| 83 | - | 540 |1915 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
978.13/978.12 c 978s| 1770k| 78 | 12178k| 6.9 |7493k| 83 | - | 540 |1915 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
983.82/983.86 c 984s| 1780k| 76 | 12263k| 6.9 |7490k| 83 | 17 | 540 |1915 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
989.52/989.53 c 990s| 1790k| 73 | 12337k| 6.9 |7571k| 83 | 24 | 540 |2143 | 540 | 438 | 47 | 123k| 19k| 0.000000e+00 | -- | Inf
995.12/995.16 c 995s| 1800k| 53 | 12409k| 6.9 |7469k| 83 | 45 | 540 |1977 | 540 | 438 | 47 | 123k| 19k| 0.000000e+00 | -- | Inf
1004.42/1004.47 c 1004s| 1810k| 61 | 12463k| 6.9 |7277k| 83 | 24 | 540 |1434 | 540 | 438 | 47 | 123k| 25k| 0.000000e+00 | -- | Inf
1009.83/1009.82 c 1010s| 1820k| 81 | 12514k| 6.9 |7315k| 83 | - | 540 |1434 | 540 | 438 | 47 | 123k| 25k| 0.000000e+00 | -- | Inf
1015.03/1015.06 c 1015s| 1830k| 63 | 12564k| 6.9 |7289k| 83 | - | 540 |1434 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1020.33/1020.32 c 1020s| 1840k| 73 | 12613k| 6.9 |7271k| 83 | - | 540 |1337 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1025.03/1025.03 c 1025s| 1850k| 69 | 12658k| 6.8 |7260k| 83 | 15 | 540 |1332 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1029.73/1029.77 c 1030s| 1860k| 83 | 12706k| 6.8 |7279k| 83 | - | 540 |1332 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1034.43/1034.43 c 1034s| 1870k| 71 | 12752k| 6.8 |7271k| 83 | - | 540 |1332 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1039.02/1039.04 c 1039s| 1880k| 71 | 12794k| 6.8 |7264k| 83 | - | 540 |1332 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1043.73/1043.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1043.73/1043.76 c 1044s| 1890k| 67 | 12841k| 6.8 |7247k| 83 | 20 | 540 |1321 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1048.52/1048.51 c 1049s| 1900k| 69 | 12887k| 6.8 |7261k| 83 | - | 540 |1327 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1053.13/1053.20 c 1053s| 1910k| 69 | 12933k| 6.8 |7255k| 83 | 20 | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1057.83/1057.80 c 1058s| 1920k| 83 | 12978k| 6.8 |7280k| 83 | - | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1062.32/1062.39 c 1062s| 1930k| 89 | 13023k| 6.7 |7293k| 83 | 20 | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1067.03/1067.06 c 1067s| 1940k| 83 | 13069k| 6.7 |7282k| 83 | 21 | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1071.73/1071.76 c 1072s| 1950k| 89 | 13116k| 6.7 |7286k| 83 | 20 | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1076.32/1076.38 c 1076s| 1960k| 77 | 13161k| 6.7 |7270k| 83 | 19 | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1081.02/1081.01 c 1081s| 1970k| 69 | 13205k| 6.7 |7261k| 83 | - | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1085.64/1085.67 c 1086s| 1980k| 69 | 13250k| 6.7 |7262k| 83 | - | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1090.33/1090.33 c 1090s| 1990k| 61 | 13295k| 6.7 |7251k| 83 | - | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1095.32/1095.33 c 1095s| 2000k| 73 | 13347k| 6.7 |7262k| 83 | - | 540 |1326 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1100.12/1100.18 c 1100s| 2010k| 69 | 13395k| 6.7 |7258k| 83 | 14 | 540 |1326 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1105.12/1105.18 c 1105s| 2020k| 83 | 13444k| 6.7 |7275k| 83 | - | 540 |1310 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1110.02/1110.04 c 1110s| 2030k| 85 | 13494k| 6.6 |7276k| 83 | - | 540 |1305 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1114.93/1114.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1114.93/1114.90 c 1115s| 2040k| 83 | 13543k| 6.6 |7280k| 83 | 21 | 540 |1304 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1119.73/1119.73 c 1120s| 2050k| 83 | 13590k| 6.6 |7280k| 83 | 24 | 540 |1314 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1124.52/1124.50 c 1124s| 2060k| 95 | 13636k| 6.6 |7299k| 83 | 16 | 540 |1319 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1129.23/1129.29 c 1129s| 2070k| 83 | 13681k| 6.6 |7289k| 83 | - | 540 |1320 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1134.53/1134.52 c 1135s| 2080k| 87 | 13734k| 6.6 |7297k| 83 | 22 | 540 |1327 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1139.42/1139.41 c 1139s| 2090k| 119 | 13786k| 6.6 |7355k| 83 | - | 540 |1327 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1144.23/1144.22 c 1144s| 2100k| 109 | 13833k| 6.6 |7331k| 83 | 20 | 540 |1327 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1148.93/1148.97 c 1149s| 2110k| 117 | 13879k| 6.6 |7343k| 83 | 22 | 540 |1327 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1153.73/1153.79 c 1154s| 2120k| 107 | 13928k| 6.6 |7344k| 83 | - | 540 |1343 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1158.83/1158.81 c 1159s| 2130k| 113 | 13989k| 6.6 |7369k| 83 | 24 | 540 |1367 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1163.74/1163.72 c 1164s| 2140k| 115 | 14040k| 6.6 |7361k| 83 | 18 | 540 |1345 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1168.62/1168.64 c 1169s| 2150k| 125 | 14093k| 6.6 |7374k| 83 | - | 540 |1328 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1173.52/1173.56 c 1174s| 2160k| 129 | 14146k| 6.5 |7396k| 83 | - | 540 |1335 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1178.43/1178.43 c 1178s| 2170k| 149 | 14195k| 6.5 |7424k| 83 | 19 | 540 |1335 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1183.43/1183.40 c 1183s| 2180k| 133 | 14254k| 6.5 |7412k| 83 | - | 540 |1351 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1188.23/1188.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1188.23/1188.27 c 1188s| 2190k| 99 | 14305k| 6.5 |7364k| 83 | 14 | 540 |1371 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1193.12/1193.14 c 1193s| 2200k| 99 | 14354k| 6.5 |7345k| 83 | 26 | 540 |1350 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1198.03/1198.05 c 1198s| 2210k| 117 | 14405k| 6.5 |7376k| 83 | 29 | 540 |1355 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1202.93/1202.95 c 1203s| 2220k| 101 | 14457k| 6.5 |7361k| 83 | 32 | 540 |1358 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1207.84/1207.83 c 1208s| 2230k| 101 | 14509k| 6.5 |7367k| 83 | 19 | 540 |1359 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1212.73/1212.72 c 1213s| 2240k| 113 | 14561k| 6.5 |7376k| 83 | - | 540 |1338 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1217.53/1217.59 c 1218s| 2250k| 151 | 14609k| 6.5 |7419k| 83 | - | 540 |1314 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1222.43/1222.49 c 1222s| 2260k| 123 | 14658k| 6.5 |7382k| 83 | - | 540 |1314 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1227.23/1227.24 c 1227s| 2270k| 147 | 14701k| 6.5 |7411k| 83 | 20 | 540 |1299 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1231.94/1231.98 c 1232s| 2280k| 137 | 14745k| 6.5 |7397k| 83 | - | 540 |1299 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1236.73/1236.78 c 1237s| 2290k| 151 | 14790k| 6.5 |7420k| 83 | 23 | 540 |1298 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1241.63/1241.63 c 1242s| 2300k| 181 | 14839k| 6.5 |7462k| 83 | - | 540 |1297 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1246.43/1246.46 c 1246s| 2310k| 167 | 14885k| 6.4 |7447k| 83 | - | 540 |1297 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1251.23/1251.26 c 1251s| 2320k| 149 | 14931k| 6.4 |7421k| 83 | - | 540 |1297 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1256.14/1256.12 c 1256s| 2330k| 135 | 14977k| 6.4 |7400k| 83 | - | 540 |1297 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1260.93/1260.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1260.93/1260.92 c 1261s| 2340k| 137 | 15023k| 6.4 |7396k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1265.63/1265.66 c 1266s| 2350k| 183 | 15070k| 6.4 |7458k| 83 | 14 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1270.44/1270.50 c 1271s| 2360k| 189 | 15119k| 6.4 |7463k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1275.23/1275.22 c 1275s| 2370k| 219 | 15161k| 6.4 |7514k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1279.93/1279.95 c 1280s| 2380k| 235 | 15205k| 6.4 |7551k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1284.74/1284.76 c 1285s| 2390k| 211 | 15252k| 6.4 |7510k| 83 | 18 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1289.53/1289.54 c 1290s| 2400k| 167 | 15297k| 6.4 |7450k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1294.23/1294.29 c 1294s| 2410k| 159 | 15343k| 6.4 |7423k| 83 | 15 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1299.05/1299.07 c 1299s| 2420k| 167 | 15387k| 6.4 |7439k| 83 | 20 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1303.73/1303.79 c 1304s| 2430k| 211 | 15430k| 6.3 |7505k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1308.63/1308.63 c 1309s| 2440k| 229 | 15477k| 6.3 |7542k| 83 | 12 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1313.53/1313.56 c 1314s| 2450k| 193 | 15528k| 6.3 |7489k| 83 | 12 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1318.44/1318.46 c 1318s| 2460k| 185 | 15578k| 6.3 |7475k| 83 | 22 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1323.24/1323.28 c 1323s| 2470k| 179 | 15626k| 6.3 |7451k| 83 | 20 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1328.14/1328.17 c 1328s| 2480k| 209 | 15679k| 6.3 |7491k| 83 | 21 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1332.93/1332.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1332.93/1332.94 c 1333s| 2490k| 219 | 15723k| 6.3 |7516k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1337.73/1337.71 c 1338s| 2500k| 227 | 15767k| 6.3 |7513k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1342.63/1342.60 c 1343s| 2510k| 225 | 15815k| 6.3 |7513k| 83 | 23 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1347.45/1347.48 c 1347s| 2520k| 235 | 15864k| 6.3 |7532k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1352.24/1352.24 c 1352s| 2530k| 263 | 15912k| 6.3 |7572k| 83 | 16 | 540 |1297 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1357.04/1357.06 c 1357s| 2540k| 241 | 15964k| 6.3 |7544k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1361.94/1361.90 c 1362s| 2550k| 243 | 16019k| 6.3 |7556k| 83 | 28 | 540 |1305 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1366.63/1366.69 c 1367s| 2560k| 249 | 16070k| 6.3 |7568k| 83 | - | 540 |1297 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1371.44/1371.45 c 1371s| 2570k| 241 | 16120k| 6.3 |7547k| 83 | - | 540 |1292 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1376.23/1376.25 c 1376s| 2580k| 239 | 16171k| 6.3 |7551k| 83 | - | 540 |1290 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1381.03/1381.09 c 1381s| 2590k| 251 | 16221k| 6.3 |7569k| 83 | - | 540 |1291 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1385.94/1385.92 c 1386s| 2600k| 259 | 16270k| 6.3 |7595k| 83 | - | 540 |1296 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1390.84/1390.82 c 1391s| 2610k| 261 | 16319k| 6.3 |7605k| 83 | 19 | 540 |1296 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1395.74/1395.71 c 1396s| 2620k| 263 | 16369k| 6.2 |7603k| 83 | - | 540 |1301 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1400.53/1400.57 c 1401s| 2630k| 281 | 16420k| 6.2 |7643k| 83 | 38 | 540 |1324 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1405.44/1405.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1405.44/1405.43 c 1405s| 2640k| 285 | 16474k| 6.2 |7662k| 83 | - | 540 |1321 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1410.15/1410.20 c 1410s| 2650k| 317 | 16522k| 6.2 |7715k| 83 | 29 | 540 |1335 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1415.03/1415.02 c 1415s| 2660k| 311 | 16572k| 6.2 |7708k| 83 | 23 | 540 |1337 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1419.93/1419.91 c 1420s| 2670k| 315 | 16622k| 6.2 |7724k| 83 | - | 540 |1333 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1424.73/1424.73 c 1425s| 2680k| 317 | 16672k| 6.2 |7731k| 83 | - | 540 |1339 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1429.64/1429.65 c 1430s| 2690k| 323 | 16723k| 6.2 |7751k| 83 | - | 540 |1364 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1434.54/1434.53 c 1435s| 2700k| 319 | 16772k| 6.2 |7751k| 83 | 16 | 540 |1384 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1439.34/1439.36 c 1439s| 2710k| 313 | 16825k| 6.2 |7751k| 83 | 36 | 540 |1384 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1444.25/1444.30 c 1444s| 2720k| 279 | 16881k| 6.2 |7667k| 83 | 19 | 540 |1329 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1449.14/1449.15 c 1449s| 2730k| 289 | 16933k| 6.2 |7685k| 83 | - | 540 |1319 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1454.04/1454.02 c 1454s| 2740k| 293 | 16985k| 6.2 |7687k| 83 | 23 | 540 |1316 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1458.74/1458.77 c 1459s| 2750k| 305 | 17029k| 6.2 |7707k| 83 | 19 | 540 |1316 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1463.54/1463.52 c 1464s| 2760k| 315 | 17076k| 6.2 |7720k| 83 | - | 540 |1316 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1468.23/1468.29 c 1468s| 2770k| 321 | 17127k| 6.2 |7736k| 83 | 21 | 540 |1322 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1473.13/1473.10 c 1473s| 2780k| 329 | 17176k| 6.2 |7754k| 83 | 16 | 540 |1332 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1477.93/1477.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1477.93/1477.92 c 1478s| 2790k| 335 | 17226k| 6.2 |7781k| 83 | - | 540 |1338 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1482.64/1482.68 c 1483s| 2800k| 345 | 17275k| 6.2 |7792k| 83 | - | 540 |1335 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1487.53/1487.52 c 1488s| 2810k| 331 | 17329k| 6.2 |7772k| 83 | 31 | 540 |1331 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1492.24/1492.27 c 1492s| 2820k| 321 | 17380k| 6.2 |7761k| 83 | 29 | 540 |1341 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1497.05/1497.08 c 1497s| 2830k| 301 | 17434k| 6.2 |7724k| 83 | 37 | 540 |1326 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1501.83/1501.80 c 1502s| 2840k| 315 | 17481k| 6.2 |7745k| 83 | - | 540 |1324 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1506.43/1506.49 c 1506s| 2850k| 323 | 17532k| 6.2 |7784k| 83 | 18 | 540 |1361 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1511.14/1511.19 c 1511s| 2860k| 321 | 17584k| 6.1 |7782k| 83 | 20 | 540 |1337 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1515.85/1515.82 c 1516s| 2870k| 331 | 17633k| 6.1 |7796k| 83 | 21 | 540 |1337 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1520.64/1520.60 c 1521s| 2880k| 339 | 17682k| 6.1 |7801k| 83 | - | 540 |1332 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1525.44/1525.42 c 1525s| 2890k| 327 | 17730k| 6.1 |7772k| 83 | - | 540 |1316 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1530.24/1530.25 c 1530s| 2900k| 329 | 17785k| 6.1 |7777k| 83 | 28 | 540 |1326 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1535.14/1535.15 c 1535s| 2910k| 329 | 17845k| 6.1 |7781k| 83 | - | 540 |1332 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1539.95/1539.91 c 1540s| 2920k| 323 | 17896k| 6.1 |7779k| 83 | 30 | 540 |1347 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1544.84/1544.80 c 1545s| 2930k| 327 | 17949k| 6.1 |7780k| 83 | - | 540 |1328 | 540 | 438 | 47 | 124k| 28k| 0.000000e+00 | -- | Inf
1549.44/1549.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1549.44/1549.46 c 1549s| 2940k| 323 | 17998k| 6.1 |7774k| 83 | 25 | 540 |1332 | 540 | 438 | 47 | 124k| 28k| 0.000000e+00 | -- | Inf
1554.35/1554.37 c 1554s| 2950k| 337 | 18052k| 6.1 |7800k| 83 | 25 | 540 |1323 | 540 | 438 | 47 | 124k| 28k| 0.000000e+00 | -- | Inf
1559.34/1559.32 c 1559s| 2960k| 318 | 18108k| 6.1 |7765k| 83 | - | 540 |1304 | 540 | 438 | 47 | 124k| 28k| 0.000000e+00 | -- | Inf
1564.25/1564.28 c 1564s| 2970k| 302 | 18163k| 6.1 |7756k| 83 | 19 | 540 |1326 | 540 | 438 | 47 | 124k| 28k| 0.000000e+00 | -- | Inf
1569.14/1569.15 c 1569s| 2980k| 295 | 18214k| 6.1 |7759k| 83 | 34 | 540 |1352 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1573.94/1573.99 c 1574s| 2990k| 305 | 18263k| 6.1 |7783k| 83 | - | 540 |1354 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1578.74/1578.71 c 1579s| 3000k| 309 | 18313k| 6.1 |7792k| 83 | - | 540 |1354 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1583.34/1583.39 c 1583s| 3010k| 325 | 18362k| 6.1 |7803k| 83 | 33 | 540 |1338 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1588.14/1588.10 c 1588s| 3020k| 326 | 18412k| 6.1 |7822k| 83 | - | 540 |1356 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1592.94/1592.91 c 1593s| 3030k| 330 | 18459k| 6.1 |7821k| 83 | - | 540 |1333 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1597.64/1597.67 c 1598s| 3040k| 346 | 18504k| 6.1 |7839k| 83 | 19 | 540 |1332 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1602.54/1602.51 c 1603s| 3050k| 348 | 18552k| 6.1 |7853k| 83 | - | 540 |1327 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1607.35/1607.34 c 1607s| 3060k| 364 | 18598k| 6.1 |7880k| 83 | 22 | 540 |1329 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1612.14/1612.12 c 1612s| 3070k| 378 | 18648k| 6.1 |7896k| 83 | - | 540 |1330 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1616.84/1616.80 c 1617s| 3080k| 362 | 18701k| 6.1 |7886k| 83 | - | 540 |1346 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1621.45/1621.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1621.45/1621.49 c 1621s| 3090k| 368 | 18755k| 6.1 |7894k| 83 | 24 | 540 |1352 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1626.35/1626.31 c 1626s| 3100k| 372 | 18804k| 6.1 |7918k| 83 | - | 540 |1387 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1631.14/1631.18 c 1631s| 3110k| 354 | 18859k| 6.1 |7895k| 83 | - | 540 |1385 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1636.04/1636.06 c 1636s| 3120k| 340 | 18913k| 6.1 |7859k| 83 | - | 540 |1354 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1640.95/1640.95 c 1641s| 3130k| 334 | 18965k| 6.1 |7849k| 83 | 28 | 540 |1361 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1645.94/1645.91 c 1646s| 3140k| 320 | 19017k| 6.1 |7810k| 83 | 17 | 540 |1324 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1650.84/1650.81 c 1651s| 3150k| 320 | 19066k| 6.1 |7816k| 83 | - | 540 |1318 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1655.64/1655.66 c 1656s| 3160k| 328 | 19115k| 6.0 |7826k| 83 | 16 | 540 |1330 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1660.34/1660.38 c 1660s| 3170k| 326 | 19161k| 6.0 |7829k| 83 | - | 540 |1323 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1665.14/1665.15 c 1665s| 3180k| 334 | 19208k| 6.0 |7854k| 83 | - | 540 |1354 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1669.94/1669.93 c 1670s| 3190k| 332 | 19252k| 6.0 |7859k| 83 | - | 540 |1364 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1674.74/1674.72 c 1675s| 3200k| 348 | 19301k| 6.0 |7887k| 83 | 21 | 540 |1375 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1679.55/1679.54 c 1680s| 3210k| 348 | 19353k| 6.0 |7892k| 83 | 26 | 540 |1380 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1684.35/1684.37 c 1684s| 3220k| 358 | 19404k| 6.0 |7922k| 83 | 16 | 540 |1387 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1689.15/1689.16 c 1689s| 3230k| 362 | 19449k| 6.0 |7923k| 83 | 22 | 540 |1382 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1693.84/1693.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1693.84/1693.90 c 1694s| 3240k| 370 | 19499k| 6.0 |7944k| 83 | 29 | 540 |1379 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1698.74/1698.71 c 1699s| 3250k| 370 | 19551k| 6.0 |7964k| 83 | - | 540 |1415 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1703.55/1703.55 c 1704s| 3260k| 364 | 19605k| 6.0 |7936k| 83 | - | 540 |1383 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1708.36/1708.37 c 1708s| 3270k| 360 | 19651k| 6.0 |7921k| 83 | - | 540 |1352 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1713.14/1713.19 c 1713s| 3280k| 348 | 19703k| 6.0 |7898k| 83 | 25 | 540 |1336 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1718.05/1718.02 c 1718s| 3290k| 358 | 19751k| 6.0 |7913k| 83 | 22 | 540 |1332 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1722.95/1722.90 c 1723s| 3300k| 356 | 19799k| 6.0 |7914k| 83 | - | 540 |1331 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1727.75/1727.76 c 1728s| 3310k| 354 | 19846k| 6.0 |7903k| 83 | 24 | 540 |1330 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1732.55/1732.53 c 1733s| 3320k| 400 | 19902k| 6.0 |7975k| 83 | 22 | 540 |1345 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1737.35/1737.30 c 1737s| 3330k| 416 | 19957k| 6.0 |8003k| 83 | - | 540 |1344 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1742.24/1742.26 c 1742s| 3340k| 456 | 20008k| 6.0 |8066k| 83 | - | 540 |1332 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1747.25/1747.25 c 1747s| 3350k| 420 | 20060k| 6.0 |8012k| 83 | - | 540 |1332 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1752.14/1752.13 c 1752s| 3360k| 438 | 20109k| 6.0 |8039k| 83 | - | 540 |1332 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1757.05/1757.05 c 1757s| 3370k| 456 | 20165k| 6.0 |8052k| 83 | 21 | 540 |1333 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1761.84/1761.84 c 1762s| 3380k| 446 | 20214k| 6.0 |8051k| 83 | 29 | 540 |1333 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1766.75/1766.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1766.75/1766.71 c 1767s| 3390k| 436 | 20266k| 6.0 |8045k| 83 | 18 | 540 |1349 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1771.55/1771.54 c 1772s| 3400k| 426 | 20319k| 6.0 |8036k| 83 | 33 | 540 |1354 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1776.56/1776.53 c 1777s| 3410k| 388 | 20373k| 6.0 |7986k| 83 | - | 540 |1346 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1781.45/1781.41 c 1781s| 3420k| 392 | 20425k| 6.0 |7997k| 83 | - | 540 |1343 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1786.35/1786.39 c 1786s| 3430k| 419 | 20481k| 6.0 |8051k| 83 | 25 | 540 |1381 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1791.14/1791.13 c 1791s| 3440k| 437 | 20525k| 6.0 |8070k| 83 | - | 540 |1365 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1795.94/1795.94 c 1796s| 3450k| 401 | 20574k| 6.0 |8030k| 83 | - | 540 |1366 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Solving Time (sec) : 1800.00
1800.05/1800.00 c Solving Nodes : 3458396
1800.05/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 s UNKNOWN
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Total Time : 1800.00
1800.05/1800.00 c solving : 1800.00
1800.05/1800.00 c presolving : 0.01 (included in solving)
1800.05/1800.00 c reading : 0.01 (included in solving)
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-3451386-1307072226.opb
1800.05/1800.00 c Variables : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 416 initial, 416 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-3451386-1307072226.opb
1800.05/1800.00 c Variables : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 416 initial, 6445 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 1738266 0 1 0 2004 5528 0 0 3463312
1800.05/1800.00 c setppc : 38 5 6724206 0 1 0 3068669 15582 16744075 0 0 0
1800.05/1800.00 c linear : 0+ 5 7 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c logicor : 378+ 5 3801486 0 1 0 165156 7229 19253780 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.00 c integral : 40.40 0.00 0.00 40.40 0.00 0.00 0.00
1800.05/1800.00 c setppc : 20.22 0.00 19.57 0.00 0.00 0.00 0.65
1800.05/1800.00 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c logicor : 44.11 0.00 43.81 0.00 0.00 0.00 0.30
1800.05/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.00 c vbounds : 0 0 0 0
1800.05/1800.00 c rootredcost : 0 0 0 0
1800.05/1800.00 c pseudoobj : 0 0 0 0
1800.05/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.00 c vbounds : 1.15 1.15 0.00
1800.05/1800.00 c rootredcost : 1.32 1.32 0.00
1800.05/1800.00 c pseudoobj : 0.78 0.78 0.00
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 0.90 22811 22793 141928 41.0 146 39.6 -
1800.05/1800.00 c infeasible LP : 134.42 1706077 32513 480157 63.8 294 36.6 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 126275 32.6 - - -
1800.05/1800.00 c applied locally : - - - 0 0.0 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 4 - - 3 - (maximal pool size: 445)
1800.05/1800.00 c redcost : 14.03 1734504 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 5 0 0 0 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.12 5 0 0 1156 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.14 5 0 0 1787 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 5 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 1 0 0 0 0
1800.05/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.03 1 0 0 0 4
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 39.27 1738266 2004 5528 0 0 3463312
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 0
1800.05/1800.00 c trivial : 0.00 1 0
1800.05/1800.00 c shiftandpropagate: 0.00 0 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c oneopt : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c clique : 0.00 0 0
1800.05/1800.00 c coefdiving : 0.00 0 0
1800.05/1800.00 c pscostdiving : 0.00 0 0
1800.05/1800.00 c fracdiving : 0.00 0 0
1800.05/1800.00 c veclendiving : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c objpscostdiving : 0.00 0 0
1800.05/1800.00 c rootsoldiving : 0.00 0 0
1800.05/1800.00 c linesearchdiving : 0.00 0 0
1800.05/1800.00 c guideddiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.00 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c crossover : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c vbounds : 0.00 0 0
1800.05/1800.00 c undercover : 0.00 0 0
1800.05/1800.00 c subnlp : 0.00 0 0
1800.05/1800.00 c trysol : 0.00 0 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.00 c dual LP : 1197.54 3410586 20615203 6.04 17214.61
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.00 c strong branching : 22.13 29340 327971 11.18 14822.22
1800.05/1800.00 c (at root node) : - 16 420 26.25 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 3458396
1800.05/1800.00 c nodes (total) : 3458396
1800.05/1800.00 c nodes left : 397
1800.05/1800.00 c max depth : 83
1800.05/1800.00 c max depth (total): 83
1800.05/1800.00 c backtracks : 673139 (19.5%)
1800.05/1800.00 c delayed cutoffs : 4522
1800.05/1800.00 c repropagations : 112295 (320998 domain reductions, 4153 cutoffs)
1800.05/1800.00 c avg switch length: 2.96
1800.05/1800.00 c switching time : 94.11
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 0 (0 improvements)
1800.05/1800.00 c Primal Bound : -
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Root Iterations : 1330
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3451386-1307072226/watcher-3451386-1307072226 -o /tmp/evaluation-result-3451386-1307072226/solver-3451386-1307072226 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451386-1307072226.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: 2.07 2.04 2.00 2/327 17340
/proc/meminfo: memFree=24106740/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=13616 CPUtime=0 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 2398 0 0 0 0 0 0 0 25 0 1 0 897453225 13942784 2352 33554432000 4194304 9163163 140737296876656 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/17340/statm: 3404 2352 392 1214 0 2186 0
[startup+0.0865559 s]
/proc/loadavg: 2.07 2.04 2.00 2/327 17340
/proc/meminfo: memFree=24106740/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=39276 CPUtime=0.07 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 8706 0 0 0 7 0 0 0 25 0 1 0 897453225 40218624 8402 33554432000 4194304 9163163 140737296876656 18446744073709551615 8041955 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9819 8402 659 1214 0 8601 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 39276
[startup+0.100544 s]
/proc/loadavg: 2.07 2.04 2.00 2/327 17340
/proc/meminfo: memFree=24106740/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=36480 CPUtime=0.09 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 8744 0 0 0 9 0 0 0 25 0 1 0 897453225 37355520 7734 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9120 7734 683 1214 0 7902 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36480
[startup+0.300528 s]
/proc/loadavg: 2.07 2.04 2.00 2/327 17340
/proc/meminfo: memFree=24106740/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=36632 CPUtime=0.29 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9033 0 0 0 29 0 0 0 25 0 1 0 897453225 37511168 8023 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9158 8023 683 1214 0 7940 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36632
[startup+0.700451 s]
/proc/loadavg: 2.07 2.04 2.00 2/327 17340
/proc/meminfo: memFree=24106740/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=36828 CPUtime=0.69 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9152 0 0 0 68 1 0 0 25 0 1 0 897453225 37711872 8142 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9207 8142 687 1214 0 7989 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36828
[startup+1.5003 s]
/proc/loadavg: 2.07 2.04 2.00 3/328 17341
/proc/meminfo: memFree=24076476/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=36828 CPUtime=1.49 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9152 0 0 0 147 2 0 0 25 0 1 0 897453225 37711872 8142 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9207 8142 687 1214 0 7989 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36828
[startup+3.10101 s]
/proc/loadavg: 2.07 2.04 2.00 3/328 17341
/proc/meminfo: memFree=24075860/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=36828 CPUtime=3.09 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9155 0 0 0 304 5 0 0 25 0 1 0 897453225 37711872 8145 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9207 8145 688 1214 0 7989 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36828
[startup+6.30042 s]
/proc/loadavg: 2.06 2.04 2.00 3/328 17341
/proc/meminfo: memFree=24075956/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=36828 CPUtime=6.29 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9155 0 0 0 619 10 0 0 25 0 1 0 897453225 37711872 8145 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9207 8145 688 1214 0 7989 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36828
[startup+12.7003 s]
/proc/loadavg: 2.06 2.04 2.00 3/328 17341
/proc/meminfo: memFree=24075484/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=36828 CPUtime=12.69 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9155 0 0 0 1248 21 0 0 25 0 1 0 897453225 37711872 8145 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9207 8145 688 1214 0 7989 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36828
[startup+25.5009 s]
/proc/loadavg: 2.04 2.04 2.00 3/328 17342
/proc/meminfo: memFree=24075248/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=36828 CPUtime=25.5 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9155 0 0 0 2508 42 0 0 25 0 1 0 897453225 37711872 8145 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9207 8145 688 1214 0 7989 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 36828
[startup+51.1002 s]
/proc/loadavg: 2.03 2.03 2.00 3/328 17342
/proc/meminfo: memFree=24072776/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=36828 CPUtime=51.09 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9155 0 0 0 5024 85 0 0 25 0 1 0 897453225 37711872 8145 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9207 8145 688 1214 0 7989 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 36828
[startup+102.312 s]
/proc/loadavg: 2.01 2.03 2.00 3/328 17346
/proc/meminfo: memFree=24069800/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=36828 CPUtime=102.3 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9155 0 0 0 10065 165 0 0 25 0 1 0 897453225 37711872 8145 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9207 8145 688 1214 0 7989 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 36828
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 17348
/proc/meminfo: memFree=24068248/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=36828 CPUtime=162.29 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9155 0 0 0 15942 287 0 0 25 0 1 0 897453225 37711872 8145 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9207 8145 688 1214 0 7989 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 36828
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 17350
/proc/meminfo: memFree=24067448/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=37632 CPUtime=222.3 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9347 0 0 0 21829 401 0 0 25 0 1 0 897453225 38535168 8337 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9408 8337 688 1214 0 8190 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 37632
[startup+282.301 s]
/proc/loadavg: 2.06 2.04 2.01 3/328 17352
/proc/meminfo: memFree=24066292/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=37632 CPUtime=282.3 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9350 0 0 0 27728 502 0 0 25 0 1 0 897453225 38535168 8340 33554432000 4194304 9163163 140737296876656 18446744073709551615 4241255 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9408 8340 688 1214 0 8190 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 37632
[startup+342.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/328 17353
/proc/meminfo: memFree=24065260/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=37632 CPUtime=342.3 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9350 0 0 0 33613 617 0 0 25 0 1 0 897453225 38535168 8340 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9408 8340 688 1214 0 8190 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 37632
[startup+402.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/328 17355
/proc/meminfo: memFree=24060872/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=37632 CPUtime=402.3 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9351 0 0 0 39498 732 0 0 25 0 1 0 897453225 38535168 8341 33554432000 4194304 9163163 140737296876656 18446744073709551615 4709506 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9408 8341 688 1214 0 8190 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 37632
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/328 17356
/proc/meminfo: memFree=24059116/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=37632 CPUtime=462.3 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9353 0 0 0 45378 852 0 0 25 0 1 0 897453225 38535168 8343 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9408 8343 688 1214 0 8190 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 37632
[startup+522.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/328 17358
/proc/meminfo: memFree=24057712/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=37632 CPUtime=522.3 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9354 0 0 0 51262 968 0 0 25 0 1 0 897453225 38535168 8344 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9408 8344 688 1214 0 8190 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 37632
[startup+582.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/328 17360
/proc/meminfo: memFree=24057772/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=37632 CPUtime=582.31 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9354 0 0 0 57148 1083 0 0 25 0 1 0 897453225 38535168 8344 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9408 8344 688 1214 0 8190 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 37632
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/328 17366
/proc/meminfo: memFree=24048644/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=37768 CPUtime=822.32 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9395 0 0 0 80719 1513 0 0 25 0 1 0 897453225 38674432 8385 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9442 8385 688 1214 0 8224 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 37768
[startup+882.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/328 17368
/proc/meminfo: memFree=24047724/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=37768 CPUtime=882.32 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9401 0 0 0 86600 1632 0 0 25 0 1 0 897453225 38674432 8391 33554432000 4194304 9163163 140737296876656 18446744073709551615 6687250 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9442 8391 688 1214 0 8224 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 37768
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17369
/proc/meminfo: memFree=24047552/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=37768 CPUtime=942.33 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9402 0 0 0 92483 1750 0 0 25 0 1 0 897453225 38674432 8392 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9442 8392 688 1214 0 8224 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 37768
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17371
/proc/meminfo: memFree=24047624/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=37768 CPUtime=1002.33 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9402 0 0 0 98375 1858 0 0 25 0 1 0 897453225 38674432 8392 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9442 8392 688 1214 0 8224 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 37768
[startup+1062.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/328 17372
/proc/meminfo: memFree=24047456/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=37768 CPUtime=1062.32 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9402 0 0 0 104278 1954 0 0 25 0 1 0 897453225 38674432 8392 33554432000 4194304 9163163 140737296876656 18446744073709551615 4809345 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9442 8392 688 1214 0 8224 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 37768
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/328 17374
/proc/meminfo: memFree=24047028/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=37768 CPUtime=1122.33 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9402 0 0 0 110176 2057 0 0 25 0 1 0 897453225 38674432 8392 33554432000 4194304 9163163 140737296876656 18446744073709551615 7249814 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9442 8392 688 1214 0 8224 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 37768
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/328 17375
/proc/meminfo: memFree=24046260/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=37768 CPUtime=1182.33 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9402 0 0 0 116069 2164 0 0 25 0 1 0 897453225 38674432 8392 33554432000 4194304 9163163 140737296876656 18446744073709551615 6499152 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9442 8392 688 1214 0 8224 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 37768
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17377
/proc/meminfo: memFree=24043236/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=37768 CPUtime=1242.33 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9402 0 0 0 121966 2267 0 0 25 0 1 0 897453225 38674432 8392 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9442 8392 688 1214 0 8224 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 37768
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17488
/proc/meminfo: memFree=23167132/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=37768 CPUtime=1302.34 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9402 0 0 0 127870 2364 0 0 25 0 1 0 897453225 38674432 8392 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9442 8392 688 1214 0 8224 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 37768
[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/328 17489
/proc/meminfo: memFree=23096484/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=37768 CPUtime=1362.33 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9402 0 0 0 133766 2467 0 0 25 0 1 0 897453225 38674432 8392 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9442 8392 688 1214 0 8224 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 37768
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/328 17491
/proc/meminfo: memFree=23075840/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=38136 CPUtime=1422.35 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9464 0 0 0 139669 2566 0 0 25 0 1 0 897453225 39051264 8454 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9534 8454 688 1214 0 8316 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 38136
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/328 17502
/proc/meminfo: memFree=23066468/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=38136 CPUtime=1482.34 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9464 0 0 0 145560 2674 0 0 25 0 1 0 897453225 39051264 8454 33554432000 4194304 9163163 140737296876656 18446744073709551615 7225123 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9534 8454 688 1214 0 8316 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 38136
[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/328 17503
/proc/meminfo: memFree=23065956/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=38136 CPUtime=1542.34 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9465 0 0 0 151449 2785 0 0 25 0 1 0 897453225 39051264 8455 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9534 8455 688 1214 0 8316 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 38136
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/328 17505
/proc/meminfo: memFree=23065940/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=38308 CPUtime=1602.34 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9493 0 0 0 157347 2887 0 0 25 0 1 0 897453225 39227392 8483 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9577 8483 688 1214 0 8359 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 38308
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/328 17506
/proc/meminfo: memFree=23065888/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=38308 CPUtime=1662.34 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9499 0 0 0 163240 2994 0 0 25 0 1 0 897453225 39227392 8489 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9577 8489 688 1214 0 8359 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 38308
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17508
/proc/meminfo: memFree=23061872/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=38308 CPUtime=1722.34 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9501 0 0 0 169133 3101 0 0 25 0 1 0 897453225 39227392 8491 33554432000 4194304 9163163 140737296876656 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9577 8491 688 1214 0 8359 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 38308
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17510
/proc/meminfo: memFree=23060968/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=38308 CPUtime=1782.35 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9541 0 0 0 175023 3212 0 0 25 0 1 0 897453225 39227392 8531 33554432000 4194304 9163163 140737296876656 18446744073709551615 7375476 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17340/statm: 9577 8531 688 1214 0 8359 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 38308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 17510
/proc/meminfo: memFree=23060964/32951124 swapFree=67056304/67111528
[pid=17340] ppid=17338 vsize=38308 CPUtime=1800.06 cores=0,2,4,6
/proc/17340/stat : 17340 (scip-2.0.1.4b.l) R 17338 17340 15734 0 -1 4202496 9545 0 0 0 176765 3241 0 0 18 0 1 0 897453225 39227392 8535 33554432000 4194304 9163163 140737296876656 18446744073709551615 6923036 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/17340/statm: 9577 8535 692 1214 0 8359 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 38308
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.01
CPU time (s): 1800.07
CPU user time (s): 1767.66
CPU system time (s): 32.4121
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 39276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.66
system time used= 32.4121
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9545
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= 7
involuntary context switches= 3973
runsolver used 6.05408 second user time and 11.9792 second system time
The end