0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 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-3733561-1338698386.opb>
0.00/0.00 c original problem has 86 variables (86 bin, 0 int, 0 impl, 0 cont) and 2 constraints
0.00/0.00 c problem read
0.00/0.00 c No objective function, only one solution is needed.
0.00/0.00 c presolving settings loaded
0.00/0.00 c presolving:
0.00/0.00 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c presolving (2 rounds):
0.00/0.00 c 0 deleted vars, 1 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.00 c 0 implications, 0 cliques
0.00/0.00 c presolved problem has 86 variables (86 bin, 0 int, 0 impl, 0 cont) and 1 constraints
0.00/0.00 c 1 constraints of type <linear>
0.00/0.00 c transformed objective value is always integral (scale: 1)
0.00/0.00 c Presolving Time: 0.00
0.00/0.00 c - non default parameters ----------------------------------------------------------------------
0.00/0.00 c # SCIP version 1.2.1.3
0.00/0.00 c
0.00/0.00 c # frequency for displaying node information lines
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.00 c display/freq = 10000
0.00/0.00 c
0.00/0.00 c # maximal time in seconds to run
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.00 c limits/time = 1790
0.00/0.00 c
0.00/0.00 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.00 c limits/memory = 13950
0.00/0.00 c
0.00/0.00 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.00 c limits/solutions = 1
0.00/0.00 c
0.00/0.00 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.00 c separating/maxrounds = 1
0.00/0.00 c
0.00/0.00 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.00 c separating/maxroundsroot = 5
0.00/0.00 c
0.00/0.00 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.00 c # [type: int, range: [1,2], default: 1]
0.00/0.00 c timing/clocktype = 2
0.00/0.00 c
0.00/0.00 c # should presolving try to simplify inequalities
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/linear/simplifyinequalities = TRUE
0.00/0.00 c
0.00/0.00 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/indicator/addCouplingCons = TRUE
0.00/0.00 c
0.00/0.00 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.00 c constraints/knapsack/disaggregation = FALSE
0.00/0.00 c
0.00/0.00 c # should presolving try to simplify knapsacks
0.00/0.00 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.00 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.00 c
0.00/0.00 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.00 c presolving/probing/maxrounds = 0
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.00 c heuristics/coefdiving/freq = -1
0.00/0.00 c
0.00/0.00 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.00 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.00 c
0.00/0.00 c # additional number of allowed LP iterations
0.00/0.00 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.00 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.00 c heuristics/crossover/freq = -1
0.00/0.00 c
0.00/0.00 c # number of nodes added to the contingent of the total nodes
0.00/0.00 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.00 c heuristics/crossover/nodesofs = 750
0.00/0.00 c
0.00/0.00 c # number of nodes without incumbent change that heuristic should wait
0.00/0.00 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.00 c heuristics/crossover/nwaitingnodes = 100
0.00/0.00 c
0.00/0.00 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.00 c # [type: real, range: [0,1], default: 0.1]
0.00/0.00 c heuristics/crossover/nodesquot = 0.15
0.00/0.00 c
0.00/0.00 c # minimum percentage of integer variables that have to be fixed
0.00/0.00 c # [type: real, range: [0,1], default: 0.666]
0.00/0.00 c heuristics/crossover/minfixingrate = 0.5
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.00 c heuristics/feaspump/freq = -1
0.00/0.00 c
0.00/0.00 c # additional number of allowed LP iterations
0.00/0.00 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.00 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.00 c heuristics/fracdiving/freq = -1
0.00/0.00 c
0.00/0.00 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.00 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.00 c
0.00/0.00 c # additional number of allowed LP iterations
0.00/0.00 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.00 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.00 c heuristics/guideddiving/freq = -1
0.00/0.00 c
0.00/0.00 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.00 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.00 c
0.00/0.00 c # additional number of allowed LP iterations
0.00/0.00 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.00 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.00 c
0.00/0.00 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.00 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.00 c heuristics/intshifting/freq = -1
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.00 c heuristics/linesearchdiving/freq = -1
0.00/0.00 c
0.00/0.00 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.00 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.00 c
0.00/0.00 c # additional number of allowed LP iterations
0.00/0.00 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.00 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.00 c heuristics/nlp/freq = -1
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.00 c heuristics/objpscostdiving/freq = -1
0.00/0.00 c
0.00/0.00 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.00 c # [type: real, range: [0,1], default: 0.01]
0.00/0.00 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.00 c
0.00/0.00 c # additional number of allowed LP iterations
0.00/0.00 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.00 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.00 c heuristics/oneopt/freq = -1
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.00 c heuristics/pscostdiving/freq = -1
0.00/0.00 c
0.00/0.00 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.00 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.00 c
0.00/0.00 c # additional number of allowed LP iterations
0.00/0.00 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.00 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.00 c heuristics/rens/freq = -1
0.00/0.00 c
0.00/0.00 c # minimum percentage of integer variables that have to be fixable
0.00/0.00 c # [type: real, range: [0,1], default: 0.5]
0.00/0.00 c heuristics/rens/minfixingrate = 0.3
0.00/0.00 c
0.00/0.00 c # number of nodes added to the contingent of the total nodes
0.00/0.00 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.00 c heuristics/rens/nodesofs = 2000
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.00 c heuristics/rootsoldiving/freq = -1
0.00/0.00 c
0.00/0.00 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.00 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.00 c
0.00/0.00 c # additional number of allowed LP iterations
0.00/0.00 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.00 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.00 c heuristics/rounding/freq = -1
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.00 c heuristics/shifting/freq = -1
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.00 c heuristics/simplerounding/freq = -1
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.00 c heuristics/trivial/freq = -1
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.00 c heuristics/trysol/freq = -1
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.00 c heuristics/veclendiving/freq = -1
0.00/0.00 c
0.00/0.00 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.00 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.00 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.00 c
0.00/0.00 c # additional number of allowed LP iterations
0.00/0.00 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.00 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.00 c
0.00/0.00 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.00 c heuristics/zirounding/freq = -1
0.00/0.00 c
0.00/0.00 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.00 c separating/cmir/freq = -1
0.00/0.00 c
0.00/0.00 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.00 c separating/flowcover/freq = -1
0.00/0.00 c
0.00/0.00 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.00 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.00 c separating/rapidlearning/freq = 0
0.00/0.00 c
0.00/0.00 c -----------------------------------------------------------------------------------------------
0.00/0.00 c start solving
0.00/0.00 c
0.00/0.00 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.00 c 0.0s| 1 | 0 | 2 | - | 272k| 0 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.00/0.01 c 0.0s| 1 | 2 | 2 | - | 272k| 0 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.48/0.58 c 0.6s| 10000 | 1107 | 7498 | 0.7 |1287k| 56 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.09/1.14 c 1.1s| 20000 | 2181 | 15021 | 0.8 |2169k| 69 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.69/1.70 c 1.7s| 30000 | 3025 | 22311 | 0.7 |2909k| 69 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.19/2.26 c 2.3s| 40000 | 3827 | 29541 | 0.7 |3650k| 69 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.79/2.81 c 2.8s| 50000 | 4551 | 36667 | 0.7 |4308k| 69 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.29/3.37 c 3.4s| 60000 | 5261 | 43812 | 0.7 |4975k| 69 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
3.89/3.92 c 3.9s| 70000 | 6135 | 51098 | 0.7 |5743k| 69 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
4.39/4.47 c 4.5s| 80000 | 7097 | 58448 | 0.7 |6517k| 73 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
4.99/5.03 c 5.0s| 90000 | 7939 | 65624 | 0.7 |7137k| 73 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
5.50/5.58 c 5.6s|100000 | 8747 | 72806 | 0.7 |7767k| 73 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
6.09/6.14 c 6.1s|110000 | 9727 | 80255 | 0.7 |8516k| 73 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
6.69/6.70 c 6.7s|120000 | 10549 | 87553 | 0.7 |9175k| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
7.19/7.26 c 7.3s|130000 | 11293 | 94747 | 0.7 |9792k| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
7.78/7.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.78/7.81 c 7.8s|140000 | 12065 |101985 | 0.7 | 10M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
8.28/8.37 c 8.4s|150000 | 12849 |109224 | 0.7 | 11M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
8.88/8.93 c 8.9s|160000 | 13621 |116396 | 0.7 | 11M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
9.38/9.49 c 9.5s|170000 | 14519 |123793 | 0.7 | 12M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
9.98/10.04 c 10.0s|180000 | 15325 |131061 | 0.7 | 12M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
10.48/10.59 c 10.6s|190000 | 16013 |138160 | 0.7 | 13M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
11.08/11.15 c 11.1s|200000 | 17085 |145671 | 0.7 | 14M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
11.68/11.70 c 11.7s|210000 | 17891 |152866 | 0.7 | 15M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
12.18/12.25 c 12.3s|220000 | 18709 |160155 | 0.7 | 15M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
12.78/12.80 c 12.8s|230000 | 19325 |167225 | 0.7 | 16M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
13.28/13.35 c 13.4s|240000 | 20023 |174307 | 0.7 | 16M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
13.88/13.91 c 13.9s|250000 | 20901 |181606 | 0.7 | 17M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
14.38/14.46 c 14.5s|260000 | 21837 |188998 | 0.7 | 18M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
14.98/15.01 c 15.0s|270000 | 22513 |196014 | 0.7 | 18M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
15.48/15.56 c 15.6s|280000 | 23179 |203125 | 0.7 | 19M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
16.08/16.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.08/16.11 c 16.1s|290000 | 23829 |210167 | 0.7 | 19M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
16.58/16.67 c 16.7s|300000 | 24547 |217362 | 0.7 | 20M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
17.18/17.21 c 17.2s|310000 | 25251 |224472 | 0.7 | 20M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
17.68/17.77 c 17.8s|320000 | 26179 |231776 | 0.7 | 21M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
18.28/18.32 c 18.3s|330000 | 26887 |238832 | 0.7 | 22M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
18.77/18.87 c 18.9s|340000 | 27545 |245891 | 0.7 | 22M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
19.38/19.43 c 19.4s|350000 | 28351 |253076 | 0.7 | 23M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
19.88/19.98 c 20.0s|360000 | 28979 |260200 | 0.7 | 23M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
20.48/20.53 c 20.5s|370000 | 29711 |267306 | 0.7 | 24M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
20.98/21.08 c 21.1s|380000 | 30553 |274622 | 0.7 | 24M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
21.58/21.63 c 21.6s|390000 | 31285 |281831 | 0.7 | 25M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
22.07/22.18 c 22.2s|400000 | 31913 |288913 | 0.7 | 25M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
22.68/22.73 c 22.7s|410000 | 32641 |296065 | 0.7 | 26M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
23.18/23.27 c 23.3s|420000 | 33247 |303088 | 0.7 | 27M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
23.78/23.82 c 23.8s|430000 | 33841 |310109 | 0.7 | 27M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
24.28/24.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.28/24.37 c 24.4s|440000 | 34441 |317137 | 0.7 | 28M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
24.88/24.92 c 24.9s|450000 | 35305 |324408 | 0.7 | 28M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
25.37/25.48 c 25.5s|460000 | 35975 |331589 | 0.7 | 29M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
25.97/26.03 c 26.0s|470000 | 36681 |338742 | 0.7 | 29M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
26.48/26.57 c 26.6s|480000 | 37395 |345881 | 0.7 | 30M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
27.08/27.12 c 27.1s|490000 | 38151 |353045 | 0.7 | 30M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
27.57/27.67 c 27.7s|500000 | 38891 |360238 | 0.7 | 31M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
28.17/28.22 c 28.2s|510000 | 39431 |367252 | 0.7 | 31M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
28.67/28.77 c 28.8s|520000 | 40123 |374308 | 0.7 | 32M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
29.28/29.31 c 29.3s|530000 | 40835 |381421 | 0.7 | 32M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
29.77/29.86 c 29.9s|540000 | 41493 |388489 | 0.7 | 33M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
30.38/30.41 c 30.4s|550000 | 42343 |395758 | 0.7 | 34M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
30.88/30.95 c 31.0s|560000 | 42925 |402741 | 0.7 | 34M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
31.47/31.50 c 31.5s|570000 | 43563 |409797 | 0.7 | 35M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
31.97/32.05 c 32.1s|580000 | 44197 |416879 | 0.7 | 35M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
32.58/32.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.58/32.60 c 32.6s|590000 | 45011 |424086 | 0.7 | 36M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
33.07/33.16 c 33.2s|600000 | 45791 |431255 | 0.7 | 36M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
33.67/33.71 c 33.7s|610000 | 46409 |438373 | 0.7 | 37M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
34.17/34.26 c 34.3s|620000 | 47203 |445588 | 0.7 | 38M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
34.78/34.81 c 34.8s|630000 | 47799 |452629 | 0.7 | 38M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
35.27/35.36 c 35.4s|640000 | 48423 |459756 | 0.7 | 39M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
35.88/35.91 c 35.9s|650000 | 49219 |466930 | 0.7 | 39M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
36.37/36.45 c 36.5s|660000 | 49799 |473962 | 0.7 | 40M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
36.98/37.00 c 37.0s|670000 | 50351 |481012 | 0.7 | 40M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
37.47/37.56 c 37.6s|680000 | 51067 |488123 | 0.7 | 41M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
38.08/38.11 c 38.1s|690000 | 51713 |495170 | 0.7 | 41M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
38.58/38.66 c 38.7s|700000 | 52355 |502282 | 0.7 | 42M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
39.17/39.21 c 39.2s|710000 | 52961 |509311 | 0.7 | 42M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
39.67/39.76 c 39.8s|720000 | 53671 |516421 | 0.7 | 43M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
40.27/40.31 c 40.3s|730000 | 54279 |523475 | 0.7 | 43M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
40.77/40.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.77/40.86 c 40.9s|740000 | 54903 |530503 | 0.7 | 44M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
41.37/41.41 c 41.4s|750000 | 55629 |537549 | 0.7 | 44M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
41.87/41.96 c 42.0s|760000 | 56305 |544704 | 0.7 | 45M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
42.48/42.52 c 42.5s|770000 | 56985 |551857 | 0.7 | 45M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
42.98/43.07 c 43.1s|780000 | 57699 |558913 | 0.7 | 46M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
43.57/43.62 c 43.6s|790000 | 58333 |565949 | 0.7 | 46M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
44.07/44.16 c 44.2s|800000 | 58929 |572983 | 0.7 | 47M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
44.67/44.72 c 44.7s|810000 | 59667 |580233 | 0.7 | 47M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
45.18/45.27 c 45.3s|820000 | 60345 |587349 | 0.7 | 48M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
45.77/45.82 c 45.8s|830000 | 61021 |594476 | 0.7 | 48M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
46.27/46.37 c 46.4s|840000 | 61761 |601674 | 0.7 | 49M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
46.87/46.92 c 46.9s|850000 | 62497 |608759 | 0.7 | 49M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
47.37/47.47 c 47.5s|860000 | 63483 |615998 | 0.7 | 50M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
47.97/48.02 c 48.0s|870000 | 64165 |623167 | 0.7 | 51M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
48.47/48.57 c 48.6s|880000 | 64993 |630353 | 0.7 | 51M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
49.08/49.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.08/49.12 c 49.1s|890000 | 65637 |637445 | 0.7 | 52M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
49.57/49.67 c 49.7s|900000 | 66399 |644624 | 0.7 | 52M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
50.17/50.22 c 50.2s|910000 | 66923 |651596 | 0.7 | 53M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
50.67/50.78 c 50.8s|920000 | 67663 |658719 | 0.7 | 53M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
51.28/51.33 c 51.3s|930000 | 68267 |665722 | 0.7 | 54M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
51.77/51.88 c 51.9s|940000 | 68865 |672711 | 0.7 | 54M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
52.38/52.43 c 52.4s|950000 | 69495 |679732 | 0.7 | 55M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
52.87/52.99 c 53.0s|960000 | 70355 |686810 | 0.7 | 55M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
53.47/53.54 c 53.5s|970000 | 71103 |693933 | 0.7 | 56M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
53.98/54.09 c 54.1s|980000 | 71673 |700896 | 0.7 | 56M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
54.57/54.64 c 54.6s|990000 | 72517 |708170 | 0.7 | 57M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
55.07/55.19 c 55.2s| 1000k| 73193 |715301 | 0.7 | 57M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
55.67/55.74 c 55.7s| 1010k| 73803 |722350 | 0.7 | 58M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
56.17/56.29 c 56.3s| 1020k| 74449 |729488 | 0.7 | 58M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
56.77/56.84 c 56.8s| 1030k| 75161 |736613 | 0.7 | 59M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
57.27/57.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.27/57.39 c 57.4s| 1040k| 75753 |743618 | 0.7 | 59M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
57.87/57.95 c 57.9s| 1050k| 76355 |750565 | 0.7 | 60M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
58.47/58.50 c 58.5s| 1060k| 76999 |757706 | 0.7 | 60M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
58.97/59.06 c 59.1s| 1070k| 77619 |764763 | 0.7 | 61M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
59.57/59.61 c 59.6s| 1080k| 78339 |771914 | 0.7 | 61M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
60.07/60.17 c 60.2s| 1090k| 79085 |779039 | 0.7 | 62M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
60.67/60.71 c 60.7s| 1100k| 79711 |785999 | 0.7 | 62M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
61.17/61.27 c 61.3s| 1110k| 80421 |793108 | 0.7 | 63M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
61.77/61.82 c 61.8s| 1120k| 81219 |800285 | 0.7 | 63M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
62.27/62.37 c 62.4s| 1130k| 82045 |807453 | 0.7 | 64M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
62.87/62.93 c 62.9s| 1140k| 82741 |814501 | 0.7 | 65M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
63.37/63.48 c 63.5s| 1150k| 83419 |821587 | 0.7 | 65M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
63.97/64.04 c 64.0s| 1160k| 84083 |828689 | 0.7 | 65M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
64.47/64.59 c 64.6s| 1170k| 84855 |835835 | 0.7 | 66M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
65.07/65.15 c 65.1s| 1180k| 85523 |842897 | 0.7 | 66M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
65.67/65.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.67/65.70 c 65.7s| 1190k| 86371 |850142 | 0.7 | 67M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
66.17/66.25 c 66.2s| 1200k| 87039 |857267 | 0.7 | 68M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
66.77/66.80 c 66.8s| 1210k| 87609 |864214 | 0.7 | 68M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
67.27/67.35 c 67.3s| 1220k| 88347 |871333 | 0.7 | 69M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
67.87/67.90 c 67.9s| 1230k| 88899 |878318 | 0.7 | 69M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
68.37/68.46 c 68.5s| 1240k| 89449 |885273 | 0.7 | 69M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
68.97/69.01 c 69.0s| 1250k| 90051 |892232 | 0.7 | 70M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
69.47/69.56 c 69.6s| 1260k| 90619 |899163 | 0.7 | 70M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
70.07/70.12 c 70.1s| 1270k| 91277 |906262 | 0.7 | 71M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
70.57/70.67 c 70.7s| 1280k| 92091 |913465 | 0.7 | 72M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
71.16/71.22 c 71.2s| 1290k| 92805 |920553 | 0.7 | 72M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
71.67/71.78 c 71.8s| 1300k| 93505 |927623 | 0.7 | 73M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
72.27/72.33 c 72.3s| 1310k| 94221 |934719 | 0.7 | 73M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
72.77/72.89 c 72.9s| 1320k| 94803 |941670 | 0.7 | 73M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
73.37/73.44 c 73.4s| 1330k| 95419 |948715 | 0.7 | 74M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
73.87/73.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.87/73.99 c 74.0s| 1340k| 96031 |955716 | 0.7 | 74M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
74.47/74.55 c 74.5s| 1350k| 96567 |962630 | 0.7 | 75M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
75.07/75.10 c 75.1s| 1360k| 97277 |969754 | 0.7 | 75M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
75.57/75.65 c 75.7s| 1370k| 98029 |976747 | 0.7 | 76M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
76.16/76.21 c 76.2s| 1380k| 98555 |983668 | 0.7 | 76M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
76.67/76.76 c 76.8s| 1390k| 99135 |990626 | 0.7 | 77M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
77.26/77.32 c 77.3s| 1400k| 99705 |997576 | 0.7 | 77M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
77.77/77.87 c 77.9s| 1410k|100453 | 1004k| 0.7 | 78M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
78.36/78.42 c 78.4s| 1420k|101039 | 1011k| 0.7 | 78M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
78.87/78.98 c 79.0s| 1430k|101757 | 1018k| 0.7 | 79M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
79.47/79.53 c 79.5s| 1440k|102459 | 1025k| 0.7 | 79M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
79.96/80.08 c 80.1s| 1450k|103017 | 1032k| 0.7 | 80M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
80.57/80.63 c 80.6s| 1460k|103535 | 1039k| 0.7 | 80M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
81.06/81.19 c 81.2s| 1470k|104291 | 1046k| 0.7 | 81M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
81.67/81.74 c 81.7s| 1480k|104963 | 1053k| 0.7 | 81M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
82.26/82.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.26/82.30 c 82.3s| 1490k|105639 | 1060k| 0.7 | 81M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
82.77/82.85 c 82.8s| 1500k|106205 | 1067k| 0.7 | 82M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
83.37/83.40 c 83.4s| 1510k|106735 | 1074k| 0.7 | 82M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
83.87/83.94 c 83.9s| 1520k|107429 | 1081k| 0.7 | 83M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
84.46/84.50 c 84.5s| 1530k|107981 | 1088k| 0.7 | 83M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
84.97/85.05 c 85.0s| 1540k|108625 | 1095k| 0.7 | 84M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
85.57/85.60 c 85.6s| 1550k|109173 | 1102k| 0.7 | 84M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
86.07/86.15 c 86.1s| 1560k|109647 | 1109k| 0.7 | 85M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
86.66/86.70 c 86.7s| 1570k|110325 | 1116k| 0.7 | 85M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
87.16/87.26 c 87.3s| 1580k|111073 | 1123k| 0.7 | 86M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
87.77/87.81 c 87.8s| 1590k|111635 | 1130k| 0.7 | 86M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
88.27/88.36 c 88.4s| 1600k|112311 | 1137k| 0.7 | 87M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
88.87/88.92 c 88.9s| 1610k|112969 | 1144k| 0.7 | 87M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
89.36/89.46 c 89.5s| 1620k|113533 | 1151k| 0.7 | 87M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
89.96/90.02 c 90.0s| 1630k|114135 | 1158k| 0.7 | 88M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
90.46/90.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
90.46/90.57 c 90.6s| 1640k|114733 | 1165k| 0.7 | 88M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
91.06/91.13 c 91.1s| 1650k|115693 | 1173k| 0.7 | 89M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
91.56/91.68 c 91.7s| 1660k|116417 | 1180k| 0.7 | 90M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
92.16/92.23 c 92.2s| 1670k|117041 | 1187k| 0.7 | 90M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
92.66/92.78 c 92.8s| 1680k|117643 | 1194k| 0.7 | 91M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
93.27/93.33 c 93.3s| 1690k|118279 | 1201k| 0.7 | 91M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
93.77/93.88 c 93.9s| 1700k|119077 | 1208k| 0.7 | 92M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
94.36/94.43 c 94.4s| 1710k|119723 | 1215k| 0.7 | 92M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
94.87/94.98 c 95.0s| 1720k|120413 | 1223k| 0.7 | 93M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
95.46/95.53 c 95.5s| 1730k|120949 | 1229k| 0.7 | 93M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
95.96/96.08 c 96.1s| 1740k|121575 | 1237k| 0.7 | 94M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
96.57/96.63 c 96.6s| 1750k|122313 | 1244k| 0.7 | 94M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
97.06/97.18 c 97.2s| 1760k|122855 | 1251k| 0.7 | 95M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
97.66/97.74 c 97.7s| 1770k|123543 | 1258k| 0.7 | 95M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
98.17/98.29 c 98.3s| 1780k|124225 | 1265k| 0.7 | 96M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
98.76/98.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
98.76/98.86 c 98.9s| 1790k|125077 | 1272k| 0.7 | 96M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
99.36/99.41 c 99.4s| 1800k|125517 | 1279k| 0.7 | 97M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
99.86/99.96 c 100s| 1810k|126047 | 1286k| 0.7 | 97M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
100.46/100.51 c 101s| 1820k|126653 | 1293k| 0.7 | 97M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
100.96/101.06 c 101s| 1830k|127121 | 1300k| 0.7 | 98M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
101.56/101.61 c 102s| 1840k|127737 | 1307k| 0.7 | 98M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
102.06/102.16 c 102s| 1850k|128437 | 1314k| 0.7 | 99M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
102.66/102.72 c 103s| 1860k|129067 | 1321k| 0.7 | 99M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
103.16/103.28 c 103s| 1870k|129897 | 1328k| 0.7 | 100M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
103.76/103.83 c 104s| 1880k|130697 | 1335k| 0.7 | 101M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
104.26/104.38 c 104s| 1890k|131443 | 1343k| 0.7 | 101M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
104.86/104.93 c 105s| 1900k|132117 | 1350k| 0.7 | 102M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
105.36/105.49 c 105s| 1910k|132871 | 1357k| 0.7 | 102M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
105.96/106.04 c 106s| 1920k|133469 | 1364k| 0.7 | 103M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
106.46/106.59 c 107s| 1930k|134089 | 1371k| 0.7 | 103M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
107.06/107.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.06/107.15 c 107s| 1940k|134641 | 1378k| 0.7 | 104M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
107.56/107.70 c 108s| 1950k|135213 | 1385k| 0.7 | 104M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
108.16/108.26 c 108s| 1960k|135933 | 1392k| 0.7 | 104M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
108.76/108.81 c 109s| 1970k|136619 | 1399k| 0.7 | 105M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
109.26/109.36 c 109s| 1980k|137181 | 1406k| 0.7 | 105M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
109.87/109.91 c 110s| 1990k|137689 | 1413k| 0.7 | 106M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
110.36/110.47 c 110s| 2000k|138257 | 1420k| 0.7 | 106M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
110.97/111.03 c 111s| 2010k|138923 | 1427k| 0.7 | 107M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
111.45/111.57 c 112s| 2020k|139671 | 1434k| 0.7 | 107M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
112.06/112.13 c 112s| 2030k|140445 | 1441k| 0.7 | 108M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
112.55/112.67 c 113s| 2040k|141113 | 1448k| 0.7 | 109M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
113.16/113.22 c 113s| 2050k|141725 | 1455k| 0.7 | 109M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
113.65/113.77 c 114s| 2060k|142405 | 1462k| 0.7 | 109M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
114.26/114.33 c 114s| 2070k|142997 | 1469k| 0.7 | 110M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
114.76/114.88 c 115s| 2080k|143565 | 1476k| 0.7 | 110M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
115.36/115.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
115.36/115.43 c 115s| 2090k|144217 | 1483k| 0.7 | 111M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
115.86/115.99 c 116s| 2100k|144837 | 1490k| 0.7 | 111M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
116.46/116.54 c 117s| 2110k|145339 | 1497k| 0.7 | 112M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
116.95/117.09 c 117s| 2120k|145969 | 1504k| 0.7 | 112M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
117.56/117.64 c 118s| 2130k|146515 | 1511k| 0.7 | 113M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
118.06/118.19 c 118s| 2140k|146949 | 1518k| 0.7 | 113M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
118.66/118.74 c 119s| 2150k|147799 | 1525k| 0.7 | 114M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
119.16/119.29 c 119s| 2160k|148259 | 1532k| 0.7 | 114M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
119.76/119.85 c 120s| 2170k|148819 | 1539k| 0.7 | 114M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
120.36/120.40 c 120s| 2180k|149413 | 1546k| 0.7 | 115M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
120.86/120.95 c 121s| 2190k|150011 | 1553k| 0.7 | 115M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
121.45/121.51 c 122s| 2200k|150591 | 1560k| 0.7 | 116M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
121.96/122.06 c 122s| 2210k|151287 | 1567k| 0.7 | 116M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
122.55/122.61 c 123s| 2220k|151783 | 1574k| 0.7 | 117M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
123.05/123.16 c 123s| 2230k|152493 | 1581k| 0.7 | 117M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
123.66/123.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
123.66/123.72 c 124s| 2240k|153005 | 1588k| 0.7 | 117M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
124.16/124.27 c 124s| 2250k|153641 | 1595k| 0.7 | 118M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
124.75/124.83 c 125s| 2260k|154297 | 1602k| 0.7 | 118M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
125.26/125.38 c 125s| 2270k|154851 | 1609k| 0.7 | 119M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
125.85/125.93 c 126s| 2280k|155447 | 1616k| 0.7 | 119M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
126.36/126.49 c 126s| 2290k|156113 | 1623k| 0.7 | 120M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
126.95/127.04 c 127s| 2300k|156873 | 1630k| 0.7 | 120M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
127.46/127.59 c 128s| 2310k|157381 | 1637k| 0.7 | 121M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
128.05/128.14 c 128s| 2320k|158053 | 1644k| 0.7 | 121M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
128.56/128.69 c 129s| 2330k|158653 | 1651k| 0.7 | 122M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
129.15/129.25 c 129s| 2340k|159339 | 1658k| 0.7 | 122M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
129.66/129.80 c 130s| 2350k|159827 | 1665k| 0.7 | 123M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
130.25/130.35 c 130s| 2360k|160295 | 1672k| 0.7 | 123M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
130.76/130.90 c 131s| 2370k|160747 | 1679k| 0.7 | 123M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
131.35/131.45 c 131s| 2380k|161327 | 1686k| 0.7 | 124M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
131.96/132.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.96/132.00 c 132s| 2390k|161889 | 1692k| 0.7 | 124M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
132.45/132.56 c 133s| 2400k|162661 | 1700k| 0.7 | 125M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
133.05/133.11 c 133s| 2410k|163323 | 1707k| 0.7 | 125M| 75 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
133.55/133.67 c 134s| 2420k|164075 | 1714k| 0.7 | 126M| 75 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
134.16/134.21 c 134s| 2430k|164853 | 1721k| 0.7 | 126M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
134.65/134.77 c 135s| 2440k|165529 | 1728k| 0.7 | 127M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
135.25/135.32 c 135s| 2450k|166141 | 1735k| 0.7 | 127M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
135.75/135.87 c 136s| 2460k|166709 | 1742k| 0.7 | 128M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
136.35/136.43 c 136s| 2470k|167357 | 1749k| 0.7 | 128M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
136.85/136.99 c 137s| 2480k|167921 | 1756k| 0.7 | 129M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
137.46/137.55 c 138s| 2490k|168615 | 1763k| 0.7 | 129M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
138.05/138.11 c 138s| 2500k|169313 | 1770k| 0.7 | 130M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
138.55/138.66 c 139s| 2510k|169857 | 1777k| 0.7 | 130M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
139.15/139.21 c 139s| 2520k|170477 | 1784k| 0.7 | 131M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
139.65/139.76 c 140s| 2530k|171047 | 1791k| 0.7 | 131M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
140.25/140.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
140.25/140.31 c 140s| 2540k|171709 | 1798k| 0.7 | 132M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
140.76/140.87 c 141s| 2550k|172275 | 1805k| 0.7 | 132M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
141.35/141.42 c 141s| 2560k|172697 | 1812k| 0.7 | 132M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
141.86/141.97 c 142s| 2570k|173439 | 1819k| 0.7 | 133M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
142.45/142.53 c 143s| 2580k|174275 | 1826k| 0.7 | 133M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
142.95/143.09 c 143s| 2590k|174821 | 1833k| 0.7 | 134M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
143.55/143.64 c 144s| 2600k|175325 | 1840k| 0.7 | 134M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
144.14/144.20 c 144s| 2610k|175869 | 1847k| 0.7 | 134M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
144.64/144.76 c 145s| 2620k|176385 | 1853k| 0.7 | 135M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
145.25/145.31 c 145s| 2630k|177073 | 1860k| 0.7 | 135M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
145.75/145.86 c 146s| 2640k|177591 | 1867k| 0.7 | 136M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
146.34/146.42 c 146s| 2650k|178169 | 1874k| 0.7 | 136M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
146.85/146.98 c 147s| 2660k|179085 | 1882k| 0.7 | 137M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
147.45/147.53 c 148s| 2670k|179765 | 1889k| 0.7 | 137M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
147.95/148.08 c 148s| 2680k|180213 | 1895k| 0.7 | 138M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
148.55/148.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.55/148.64 c 149s| 2690k|180851 | 1902k| 0.7 | 138M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
149.04/149.19 c 149s| 2700k|181397 | 1909k| 0.7 | 138M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
149.64/149.75 c 150s| 2710k|181959 | 1916k| 0.7 | 139M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
150.24/150.31 c 150s| 2720k|182555 | 1923k| 0.7 | 139M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
150.74/150.86 c 151s| 2730k|183229 | 1930k| 0.7 | 140M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
151.35/151.42 c 151s| 2740k|183787 | 1937k| 0.7 | 140M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
151.84/151.97 c 152s| 2750k|184373 | 1944k| 0.7 | 140M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
152.45/152.53 c 153s| 2760k|184945 | 1951k| 0.7 | 141M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
152.94/153.09 c 153s| 2770k|185609 | 1958k| 0.7 | 141M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
153.55/153.65 c 154s| 2780k|186059 | 1965k| 0.7 | 142M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
154.15/154.20 c 154s| 2790k|186655 | 1972k| 0.7 | 142M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
154.65/154.75 c 155s| 2800k|187317 | 1979k| 0.7 | 143M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
155.24/155.31 c 155s| 2810k|188063 | 1986k| 0.7 | 143M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
155.74/155.86 c 156s| 2820k|188653 | 1993k| 0.7 | 143M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
156.34/156.42 c 156s| 2830k|189257 | 2000k| 0.7 | 144M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
156.84/156.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.84/156.97 c 157s| 2840k|189851 | 2007k| 0.7 | 144M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
157.45/157.52 c 158s| 2850k|190523 | 2014k| 0.7 | 145M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
157.94/158.08 c 158s| 2860k|191339 | 2021k| 0.7 | 145M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
158.54/158.64 c 159s| 2870k|191841 | 2028k| 0.7 | 146M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
159.14/159.20 c 159s| 2880k|192765 | 2035k| 0.7 | 146M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
159.64/159.75 c 160s| 2890k|193457 | 2042k| 0.7 | 147M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
160.24/160.30 c 160s| 2900k|194043 | 2049k| 0.7 | 147M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
160.74/160.86 c 161s| 2910k|194579 | 2056k| 0.7 | 148M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
161.34/161.41 c 161s| 2920k|195207 | 2063k| 0.7 | 148M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
161.84/161.96 c 162s| 2930k|195719 | 2070k| 0.7 | 148M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
162.45/162.52 c 163s| 2940k|196205 | 2077k| 0.7 | 149M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
162.94/163.08 c 163s| 2950k|196743 | 2084k| 0.7 | 149M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
163.54/163.64 c 164s| 2960k|197321 | 2091k| 0.7 | 150M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
164.04/164.19 c 164s| 2970k|197913 | 2098k| 0.7 | 150M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
164.64/164.74 c 165s| 2980k|198573 | 2105k| 0.7 | 151M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
165.24/165.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
165.24/165.30 c 165s| 2990k|199233 | 2112k| 0.7 | 151M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
165.74/165.85 c 166s| 3000k|199839 | 2119k| 0.7 | 151M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
166.34/166.41 c 166s| 3010k|200387 | 2126k| 0.7 | 152M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
166.84/166.97 c 167s| 3020k|200895 | 2133k| 0.7 | 152M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
167.44/167.52 c 168s| 3030k|201703 | 2140k| 0.7 | 153M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
167.94/168.08 c 168s| 3040k|202307 | 2147k| 0.7 | 153M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
168.54/168.64 c 169s| 3050k|202999 | 2154k| 0.7 | 154M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
169.04/169.19 c 169s| 3060k|203603 | 2161k| 0.7 | 154M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
169.63/169.75 c 170s| 3070k|204383 | 2168k| 0.7 | 155M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
170.24/170.30 c 170s| 3080k|204961 | 2175k| 0.7 | 155M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
170.74/170.85 c 171s| 3090k|205613 | 2182k| 0.7 | 156M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
171.34/171.41 c 171s| 3100k|206361 | 2189k| 0.7 | 156M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
171.83/171.96 c 172s| 3110k|207147 | 2196k| 0.7 | 157M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
172.44/172.51 c 173s| 3120k|207669 | 2203k| 0.7 | 157M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
172.94/173.06 c 173s| 3130k|208257 | 2210k| 0.7 | 158M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
173.54/173.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.54/173.62 c 174s| 3140k|208959 | 2217k| 0.7 | 158M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
174.04/174.17 c 174s| 3150k|209471 | 2224k| 0.7 | 159M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
174.64/174.73 c 175s| 3160k|210169 | 2231k| 0.7 | 159M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
175.14/175.29 c 175s| 3170k|210763 | 2238k| 0.7 | 159M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
175.74/175.84 c 176s| 3180k|211459 | 2245k| 0.7 | 160M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
176.24/176.39 c 176s| 3190k|212127 | 2252k| 0.7 | 160M| 76 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
176.84/176.95 c 177s| 3200k|212867 | 2260k| 0.7 | 161M| 76 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
177.44/177.50 c 177s| 3210k|213795 | 2267k| 0.7 | 162M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
177.94/178.06 c 178s| 3220k|214457 | 2274k| 0.7 | 162M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
178.53/178.61 c 179s| 3230k|215015 | 2281k| 0.7 | 163M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
179.03/179.16 c 179s| 3240k|215625 | 2288k| 0.7 | 163M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
179.64/179.71 c 180s| 3250k|216311 | 2295k| 0.7 | 164M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
180.14/180.26 c 180s| 3260k|216903 | 2302k| 0.7 | 164M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
180.73/180.82 c 181s| 3270k|217463 | 2309k| 0.7 | 164M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
181.23/181.38 c 181s| 3280k|217997 | 2316k| 0.7 | 165M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
181.84/181.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
181.84/181.93 c 182s| 3290k|218571 | 2323k| 0.7 | 165M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
182.34/182.48 c 182s| 3300k|219163 | 2330k| 0.7 | 166M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
182.94/183.04 c 183s| 3310k|219867 | 2337k| 0.7 | 166M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
183.44/183.59 c 184s| 3320k|220435 | 2344k| 0.7 | 167M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
184.03/184.14 c 184s| 3330k|221019 | 2351k| 0.7 | 167M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
184.54/184.70 c 185s| 3340k|221679 | 2358k| 0.7 | 168M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
185.14/185.25 c 185s| 3350k|222191 | 2365k| 0.7 | 168M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
185.75/185.81 c 186s| 3360k|223027 | 2372k| 0.7 | 169M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
186.24/186.37 c 186s| 3370k|223719 | 2379k| 0.7 | 169M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
186.84/186.93 c 187s| 3380k|224343 | 2386k| 0.7 | 169M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
187.34/187.48 c 187s| 3390k|224881 | 2393k| 0.7 | 170M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
187.95/188.05 c 188s| 3400k|225675 | 2400k| 0.7 | 170M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
188.53/188.60 c 189s| 3410k|226335 | 2407k| 0.7 | 171M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
189.05/189.16 c 189s| 3420k|226967 | 2414k| 0.7 | 171M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
189.63/189.72 c 190s| 3430k|227601 | 2421k| 0.7 | 172M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
190.14/190.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
190.14/190.27 c 190s| 3440k|228307 | 2428k| 0.7 | 172M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
190.73/190.84 c 191s| 3450k|228839 | 2435k| 0.7 | 173M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
191.24/191.39 c 191s| 3460k|229475 | 2442k| 0.7 | 173M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
191.83/191.95 c 192s| 3470k|230175 | 2449k| 0.7 | 174M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
192.44/192.51 c 193s| 3480k|230731 | 2456k| 0.7 | 174M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
192.93/193.07 c 193s| 3490k|231197 | 2463k| 0.7 | 174M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
193.55/193.63 c 194s| 3500k|232005 | 2470k| 0.7 | 175M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
194.03/194.18 c 194s| 3510k|232583 | 2477k| 0.7 | 175M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
194.64/194.74 c 195s| 3520k|233041 | 2483k| 0.7 | 176M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
195.14/195.30 c 195s| 3530k|233697 | 2491k| 0.7 | 176M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
195.74/195.84 c 196s| 3540k|234389 | 2498k| 0.7 | 177M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
196.34/196.40 c 196s| 3550k|234973 | 2504k| 0.7 | 177M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
196.84/196.96 c 197s| 3560k|235631 | 2511k| 0.7 | 178M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
197.43/197.52 c 198s| 3570k|236221 | 2518k| 0.7 | 178M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
197.94/198.08 c 198s| 3580k|236859 | 2525k| 0.7 | 178M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
198.53/198.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
198.53/198.64 c 199s| 3590k|237411 | 2532k| 0.7 | 179M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
199.04/199.19 c 199s| 3600k|237907 | 2539k| 0.7 | 179M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
199.63/199.75 c 200s| 3610k|238427 | 2546k| 0.7 | 180M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
200.24/200.31 c 200s| 3620k|239165 | 2553k| 0.7 | 180M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
200.73/200.86 c 201s| 3630k|239691 | 2560k| 0.7 | 180M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
201.34/201.41 c 201s| 3640k|240217 | 2567k| 0.7 | 181M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
201.83/201.97 c 202s| 3650k|240813 | 2574k| 0.7 | 181M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
202.43/202.53 c 203s| 3660k|241305 | 2581k| 0.7 | 182M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
202.94/203.09 c 203s| 3670k|241779 | 2588k| 0.7 | 182M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
203.53/203.65 c 204s| 3680k|242281 | 2595k| 0.7 | 182M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
204.14/204.20 c 204s| 3690k|242709 | 2601k| 0.7 | 183M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
204.63/204.75 c 205s| 3700k|243401 | 2609k| 0.7 | 183M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
205.23/205.30 c 205s| 3710k|244039 | 2616k| 0.7 | 184M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
205.73/205.86 c 206s| 3720k|244529 | 2622k| 0.7 | 184M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
206.33/206.42 c 206s| 3730k|244875 | 2629k| 0.7 | 184M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
206.84/206.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
206.84/206.97 c 207s| 3740k|245431 | 2636k| 0.7 | 185M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
207.43/207.53 c 208s| 3750k|246177 | 2643k| 0.7 | 186M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
207.94/208.09 c 208s| 3760k|246799 | 2650k| 0.7 | 186M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
208.53/208.65 c 209s| 3770k|247525 | 2657k| 0.7 | 187M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
209.14/209.20 c 209s| 3780k|248191 | 2664k| 0.7 | 187M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
209.64/209.76 c 210s| 3790k|248739 | 2671k| 0.7 | 187M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
210.23/210.31 c 210s| 3800k|249259 | 2678k| 0.7 | 188M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
210.73/210.87 c 211s| 3810k|249833 | 2685k| 0.7 | 188M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
211.33/211.43 c 211s| 3820k|250459 | 2692k| 0.7 | 189M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
211.83/211.99 c 212s| 3830k|250985 | 2699k| 0.7 | 189M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
212.43/212.55 c 213s| 3840k|251573 | 2706k| 0.7 | 189M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
213.03/213.11 c 213s| 3850k|252163 | 2713k| 0.7 | 190M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
213.53/213.67 c 214s| 3860k|252791 | 2720k| 0.7 | 190M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
214.14/214.22 c 214s| 3870k|253411 | 2727k| 0.7 | 191M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
214.63/214.78 c 215s| 3880k|254107 | 2734k| 0.7 | 192M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
215.23/215.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
215.23/215.34 c 215s| 3890k|254839 | 2741k| 0.7 | 192M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
215.73/215.89 c 216s| 3900k|255451 | 2748k| 0.7 | 193M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
216.33/216.45 c 216s| 3910k|256107 | 2755k| 0.7 | 193M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
216.93/217.01 c 217s| 3920k|256797 | 2762k| 0.7 | 194M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
217.43/217.56 c 218s| 3930k|257389 | 2769k| 0.7 | 194M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
218.03/218.12 c 218s| 3940k|258059 | 2776k| 0.7 | 194M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
218.53/218.68 c 219s| 3950k|258559 | 2783k| 0.7 | 195M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
219.13/219.24 c 219s| 3960k|258959 | 2790k| 0.7 | 195M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
219.73/219.80 c 220s| 3970k|259755 | 2797k| 0.7 | 196M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
220.23/220.36 c 220s| 3980k|260227 | 2804k| 0.7 | 196M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
220.83/220.92 c 221s| 3990k|260929 | 2811k| 0.7 | 196M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
221.33/221.47 c 221s| 4000k|261653 | 2818k| 0.7 | 197M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
221.93/222.03 c 222s| 4010k|262549 | 2825k| 0.7 | 198M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
222.43/222.59 c 223s| 4020k|263337 | 2832k| 0.7 | 198M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
223.03/223.15 c 223s| 4030k|264115 | 2840k| 0.7 | 199M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
223.63/223.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
223.63/223.70 c 224s| 4040k|264693 | 2847k| 0.7 | 199M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
224.13/224.26 c 224s| 4050k|265167 | 2854k| 0.7 | 200M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
224.73/224.81 c 225s| 4060k|265729 | 2861k| 0.7 | 200M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
225.23/225.37 c 225s| 4070k|266377 | 2868k| 0.7 | 201M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
225.83/225.93 c 226s| 4080k|266891 | 2875k| 0.7 | 201M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
226.33/226.48 c 226s| 4090k|267459 | 2882k| 0.7 | 201M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
226.92/227.05 c 227s| 4100k|267969 | 2888k| 0.7 | 202M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
227.53/227.61 c 228s| 4110k|268625 | 2895k| 0.7 | 202M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
228.02/228.17 c 228s| 4120k|269283 | 2902k| 0.7 | 203M| 77 | 1 | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
228.63/228.72 c 229s| 4130k|269849 | 2909k| 0.7 | 203M| 77 | - | 86 | 1 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
229.33/229.43 c * 229s| 4133k| 0 | 2911k| 0.7 | 328k| 77 | - | 86 | 1 | 86 | 1 | 0 | 0 | 0 | 0.000000e+00 | 0.000000e+00 | 0.00%
229.33/229.43 c
229.33/229.43 c SCIP Status : problem is solved [optimal solution found]
229.33/229.43 c Solving Time (sec) : 229.43
229.33/229.43 c Solving Nodes : 4133026
229.33/229.43 c Primal Bound : +0.00000000000000e+00 (1 solutions)
229.33/229.43 c Dual Bound : +0.00000000000000e+00
229.33/229.43 c Gap : 0.00 %
229.33/229.43 s SATISFIABLE
229.33/229.43 v -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61
229.33/229.43 v -x60 -x59 -x58 -x57 x56 -x55 -x54 -x53 x52 -x51 -x50 -x49 x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
229.33/229.43 v -x34 -x33 x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 -x9
229.33/229.43 v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
229.33/229.43 c SCIP Status : problem is solved [optimal solution found]
229.33/229.43 c Solving Time : 229.43
229.33/229.43 c Original Problem :
229.33/229.43 c Problem name : HOME/instance-3733561-1338698386.opb
229.33/229.43 c Variables : 86 (86 binary, 0 integer, 0 implicit integer, 0 continuous)
229.33/229.43 c Constraints : 2 initial, 2 maximal
229.33/229.43 c Presolved Problem :
229.33/229.43 c Problem name : t_HOME/instance-3733561-1338698386.opb
229.33/229.43 c Variables : 86 (86 binary, 0 integer, 0 implicit integer, 0 continuous)
229.33/229.43 c Constraints : 1 initial, 1 maximal
229.33/229.43 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
229.33/229.43 c trivial : 0.00 0 0 0 0 0 0 0 0
229.33/229.43 c dualfix : 0.00 0 0 0 0 0 0 0 0
229.33/229.43 c boundshift : 0.00 0 0 0 0 0 0 0 0
229.33/229.43 c inttobinary : 0.00 0 0 0 0 0 0 0 0
229.33/229.43 c implics : 0.00 0 0 0 0 0 0 0 0
229.33/229.43 c probing : 0.00 0 0 0 0 0 0 0 0
229.33/229.43 c linear : 0.00 0 0 0 0 0 1 0 0
229.33/229.43 c root node : - 0 - - 0 - - - -
229.33/229.43 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
229.33/229.43 c integral : 0 0 0 2201563 0 0 0 0 0 4403124
229.33/229.43 c linear : 1 1 4754366 1 0 1931463 11687675 0 0 0
229.33/229.43 c countsols : 0 0 0 1 0 0 0 0 0 0
229.33/229.43 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
229.33/229.43 c integral : 10.38 0.00 0.00 10.38 0.00
229.33/229.43 c linear : 41.93 0.00 41.93 0.00 0.00
229.33/229.43 c countsols : 0.00 0.00 0.00 0.00 0.00
229.33/229.43 c Propagators : Time Calls Cutoffs DomReds
229.33/229.43 c vbounds : 3.48 1 0 0
229.33/229.43 c rootredcost : 3.31 0 0 0
229.33/229.43 c pseudoobj : 3.32 0 0 0
229.33/229.43 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
229.33/229.43 c propagation : 0.00 0 0 0 0.0 0 0.0 -
229.33/229.43 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
229.33/229.43 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
229.33/229.43 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
229.33/229.43 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
229.33/229.43 c applied globally : - - - 0 0.0 - - -
229.33/229.43 c applied locally : - - - 0 0.0 - - -
229.33/229.43 c Separators : Time Calls Cutoffs DomReds Cuts Conss
229.33/229.43 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
229.33/229.43 c redcost : 4.85 2201563 0 0 0 0
229.33/229.43 c impliedbounds : 0.00 1 0 0 0 0
229.33/229.43 c intobj : 0.00 0 0 0 0 0
229.33/229.43 c cgmip : 0.00 0 0 0 0 0
229.33/229.43 c gomory : 0.00 1 0 0 0 0
229.33/229.43 c strongcg : 0.00 1 0 0 0 0
229.33/229.43 c cmir : 0.00 0 0 0 0 0
229.33/229.43 c flowcover : 0.00 0 0 0 0 0
229.33/229.43 c clique : 0.00 1 0 0 0 0
229.33/229.43 c zerohalf : 0.00 0 0 0 0 0
229.33/229.43 c mcf : 0.00 1 0 0 0 0
229.33/229.43 c rapidlearning : 0.01 1 0 0 0 0
229.33/229.43 c Pricers : Time Calls Vars
229.33/229.43 c problem variables: 0.00 0 0
229.33/229.43 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
229.33/229.43 c relpscost : 6.37 2201562 0 0 0 0 4403124
229.33/229.43 c pscost : 0.00 0 0 0 0 0 0
229.33/229.43 c inference : 0.00 0 0 0 0 0 0
229.33/229.43 c mostinf : 0.00 0 0 0 0 0 0
229.33/229.43 c leastinf : 0.00 0 0 0 0 0 0
229.33/229.43 c fullstrong : 0.00 0 0 0 0 0 0
229.33/229.43 c allfullstrong : 0.00 0 0 0 0 0 0
229.33/229.43 c random : 0.00 0 0 0 0 0 0
229.33/229.43 c Primal Heuristics : Time Calls Found
229.33/229.43 c LP solutions : 0.54 - 1
229.33/229.43 c pseudo solutions : 0.00 - 0
229.33/229.43 c trivial : 0.00 1 0
229.33/229.43 c simplerounding : 0.00 0 0
229.33/229.43 c zirounding : 0.00 0 0
229.33/229.43 c rounding : 0.00 0 0
229.33/229.43 c shifting : 0.00 0 0
229.33/229.43 c intshifting : 0.00 0 0
229.33/229.43 c oneopt : 0.00 0 0
229.33/229.43 c twoopt : 0.00 0 0
229.33/229.43 c fixandinfer : 0.00 0 0
229.33/229.43 c feaspump : 0.00 0 0
229.33/229.43 c coefdiving : 0.00 0 0
229.33/229.43 c pscostdiving : 0.00 0 0
229.33/229.43 c fracdiving : 0.00 0 0
229.33/229.43 c veclendiving : 0.00 0 0
229.33/229.43 c intdiving : 0.00 0 0
229.33/229.43 c actconsdiving : 0.00 0 0
229.33/229.43 c objpscostdiving : 0.00 0 0
229.33/229.43 c rootsoldiving : 0.00 0 0
229.33/229.43 c linesearchdiving : 0.00 0 0
229.33/229.43 c guideddiving : 0.00 0 0
229.33/229.43 c octane : 0.00 0 0
229.33/229.43 c rens : 0.00 0 0
229.33/229.43 c rins : 0.00 0 0
229.33/229.43 c localbranching : 0.00 0 0
229.33/229.43 c mutation : 0.00 0 0
229.33/229.43 c crossover : 0.00 0 0
229.33/229.43 c dins : 0.00 0 0
229.33/229.43 c undercover : 0.00 0 0
229.33/229.43 c nlp : 0.00 0 0
229.33/229.43 c trysol : 0.00 0 0
229.33/229.43 c LP : Time Calls Iterations Iter/call Iter/sec
229.33/229.43 c primal LP : 0.00 0 0 0.00 -
229.33/229.43 c dual LP : 48.93 2201563 2911982 1.32 59518.12
229.33/229.43 c lex dual LP : 0.00 0 0 0.00 -
229.33/229.43 c barrier LP : 0.00 0 0 0.00 -
229.33/229.43 c diving/probing LP: 0.00 0 0 0.00 -
229.33/229.43 c strong branching : 0.00 0 0 0.00 -
229.33/229.43 c (at root node) : - 0 0 0.00 -
229.33/229.43 c conflict analysis: 0.00 0 0 0.00 -
229.33/229.43 c B&B Tree :
229.33/229.43 c number of runs : 1
229.33/229.43 c nodes : 4133026
229.33/229.43 c nodes (total) : 4133026
229.33/229.43 c nodes left : 0
229.33/229.43 c max depth : 77
229.33/229.43 c max depth (total): 77
229.33/229.43 c backtracks : 536215 (13.0%)
229.33/229.43 c delayed cutoffs : 0
229.33/229.43 c repropagations : 0 (0 domain reductions, 0 cutoffs)
229.33/229.43 c avg switch length: 5.23
229.33/229.43 c switching time : 26.84
229.33/229.43 c Solution :
229.33/229.43 c Solutions found : 1 (1 improvements)
229.33/229.43 c First Solution : +0.00000000000000e+00 (in run 1, after 4133026 nodes, 228.89 seconds, depth 56, found by <relaxation>)
229.33/229.43 c Primal Bound : +0.00000000000000e+00 (in run 1, after 4133026 nodes, 228.89 seconds, depth 56, found by <relaxation>)
229.33/229.43 c Dual Bound : +0.00000000000000e+00
229.33/229.43 c Gap : 0.00 %
229.33/229.43 c Root Dual Bound : +0.00000000000000e+00
229.33/229.43 c Root Iterations : 2
229.33/229.44 c Time complete: 229.37.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3733561-1338698386/watcher-3733561-1338698386 -o /tmp/evaluation-result-3733561-1338698386/solver-3733561-1338698386 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3733561-1338698386.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.02 2.04 2.00 3/176 23816
/proc/meminfo: memFree=26598560/32873844 swapFree=7628/7628
[pid=23816] ppid=23814 vsize=10216 CPUtime=0 cores=0,2,4,6
/proc/23816/stat : 23816 (pbscip.linux.x8) R 23814 23816 20882 0 -1 4202496 1815 0 0 0 0 0 0 0 20 0 1 0 335967151 10461184 1761 33554432000 4194304 8395647 140736253806368 140733789521928 7435351 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23816/statm: 2554 1761 390 1026 0 1524 0
[startup+0.0162759 s]
/proc/loadavg: 2.02 2.04 2.00 3/176 23816
/proc/meminfo: memFree=26598560/32873844 swapFree=7628/7628
[pid=23816] ppid=23814 vsize=21788 CPUtime=0 cores=0,2,4,6
/proc/23816/stat : 23816 (pbscip.linux.x8) R 23814 23816 20882 0 -1 4202496 4586 0 0 0 0 0 0 0 20 0 1 0 335967151 22310912 4179 33554432000 4194304 8395647 140736253806368 140733789521928 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23816/statm: 5447 4179 570 1026 0 4417 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 21788
[startup+0.100271 s]
/proc/loadavg: 2.02 2.04 2.00 3/176 23816
/proc/meminfo: memFree=26598560/32873844 swapFree=7628/7628
[pid=23816] ppid=23814 vsize=21788 CPUtime=0.09 cores=0,2,4,6
/proc/23816/stat : 23816 (pbscip.linux.x8) R 23814 23816 20882 0 -1 4202496 4600 0 0 0 8 1 0 0 20 0 1 0 335967151 22310912 4193 33554432000 4194304 8395647 140736253806368 140733789521928 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23816/statm: 5447 4193 583 1026 0 4417 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21788
[startup+0.300243 s]
/proc/loadavg: 2.02 2.04 2.00 3/176 23816
/proc/meminfo: memFree=26598560/32873844 swapFree=7628/7628
[pid=23816] ppid=23814 vsize=21788 CPUtime=0.29 cores=0,2,4,6
/proc/23816/stat : 23816 (pbscip.linux.x8) R 23814 23816 20882 0 -1 4202496 4601 0 0 0 28 1 0 0 20 0 1 0 335967151 22310912 4194 33554432000 4194304 8395647 140736253806368 140736253801976 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23816/statm: 5447 4194 583 1026 0 4417 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21788
[startup+0.700264 s]
/proc/loadavg: 2.02 2.04 2.00 3/176 23816
/proc/meminfo: memFree=26598560/32873844 swapFree=7628/7628
[pid=23816] ppid=23814 vsize=21788 CPUtime=0.69 cores=0,2,4,6
/proc/23816/stat : 23816 (pbscip.linux.x8) R 23814 23816 20882 0 -1 4202496 4604 0 0 0 67 2 0 0 20 0 1 0 335967151 22310912 4197 33554432000 4194304 8395647 140736253806368 140736253801976 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23816/statm: 5447 4197 583 1026 0 4417 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21788
[startup+1.50024 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 23817
/proc/meminfo: memFree=26582416/32873844 swapFree=7628/7628
[pid=23816] ppid=23814 vsize=21788 CPUtime=1.49 cores=0,2,4,6
/proc/23816/stat : 23816 (pbscip.linux.x8) R 23814 23816 20882 0 -1 4202496 4609 0 0 0 145 4 0 0 20 0 1 0 335967151 22310912 4202 33554432000 4194304 8395647 140736253806368 140736253801832 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23816/statm: 5447 4202 583 1026 0 4417 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21788
[startup+3.10029 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 23817
/proc/meminfo: memFree=26580432/32873844 swapFree=7628/7628
[pid=23816] ppid=23814 vsize=21788 CPUtime=3.09 cores=0,2,4,6
/proc/23816/stat : 23816 (pbscip.linux.x8) R 23814 23816 20882 0 -1 4202496 4693 0 0 0 300 9 0 0 20 0 1 0 335967151 22310912 4286 33554432000 4194304 8395647 140736253806368 140736253801976 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23816/statm: 5447 4286 583 1026 0 4417 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21788
[startup+6.30024 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 23855
/proc/meminfo: memFree=27052272/32873844 swapFree=7628/7628
[pid=23816] ppid=23814 vsize=23604 CPUtime=6.29 cores=0,2,4,6
/proc/23816/stat : 23816 (pbscip.linux.x8) R 23814 23816 20882 0 -1 4202496 5396 0 0 0 611 18 0 0 20 0 1 0 335967151 24170496 4989 33554432000 4194304 8395647 140736253806368 140736253801976 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23816/statm: 5901 4989 583 1026 0 4871 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23604
[startup+12.7002 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 23855
/proc/meminfo: memFree=27037968/32873844 swapFree=7628/7628
[pid=23816] ppid=23814 vsize=30664 CPUtime=12.68 cores=0,2,4,6
/proc/23816/stat : 23816 (pbscip.linux.x8) R 23814 23816 20882 0 -1 4202496 7219 0 0 0 1232 36 0 0 20 0 1 0 335967151 31399936 7010 33554432000 4194304 8395647 140736253806368 140736253801976 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23816/statm: 7666 7010 583 1026 0 6636 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30664
[startup+25.5003 s]
/proc/loadavg: 2.01 2.04 2.00 3/178 23858
/proc/meminfo: memFree=27010552/32873844 swapFree=7628/7628
[pid=23816] ppid=23814 vsize=44636 CPUtime=25.48 cores=0,2,4,6
/proc/23816/stat : 23816 (pbscip.linux.x8) R 23814 23816 20882 0 -1 4202496 10770 0 0 0 2473 75 0 0 20 0 1 0 335967151 45707264 10556 33554432000 4194304 8395647 140736253806368 140736253801976 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23816/statm: 11159 10556 583 1026 0 10129 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44636
[startup+51.1003 s]
/proc/loadavg: 2.01 2.03 2.00 3/178 23859
/proc/meminfo: memFree=26959832/32873844 swapFree=7628/7628
[pid=23816] ppid=23814 vsize=72120 CPUtime=51.07 cores=0,2,4,6
/proc/23816/stat : 23816 (pbscip.linux.x8) R 23814 23816 20882 0 -1 4202496 17356 0 0 0 4958 149 0 0 20 0 1 0 335967151 73850880 17142 33554432000 4194304 8395647 140736253806368 140736253801976 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23816/statm: 18030 17142 583 1026 0 17000 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 72120
[startup+102.306 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 23859
/proc/meminfo: memFree=26869392/32873844 swapFree=7628/7628
[pid=23816] ppid=23814 vsize=116844 CPUtime=102.26 cores=0,2,4,6
/proc/23816/stat : 23816 (pbscip.linux.x8) R 23814 23816 20882 0 -1 4202496 28755 0 0 0 9920 306 0 0 20 0 1 0 335967151 119648256 28533 33554432000 4194304 8395647 140736253806368 140736253801976 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23816/statm: 29211 28533 583 1026 0 28181 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 116844
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 23859
/proc/meminfo: memFree=26771832/32873844 swapFree=7628/7628
[pid=23816] ppid=23814 vsize=167020 CPUtime=162.24 cores=0,2,4,6
/proc/23816/stat : 23816 (pbscip.linux.x8) R 23814 23816 20882 0 -1 4202496 41424 0 0 0 15732 492 0 0 20 0 1 0 335967151 171028480 41242 33554432000 4194304 8395647 140736253806368 140736253801976 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23816/statm: 41755 41242 583 1026 0 40725 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 167020
[startup+222.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 23859
/proc/meminfo: memFree=26677144/32873844 swapFree=7628/7628
[pid=23816] ppid=23814 vsize=219004 CPUtime=222.23 cores=0,2,4,6
/proc/23816/stat : 23816 (pbscip.linux.x8) R 23814 23816 20882 0 -1 4202496 53657 0 0 0 21543 680 0 0 20 0 1 0 335967151 224260096 53473 33554432000 4194304 8395647 140736253806368 140736253801976 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23816/statm: 54751 53473 583 1026 0 53721 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 219004
Solver just ended. Dumping a history of the last processes samples
[startup+223.9 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 23859
/proc/meminfo: memFree=26675532/32873844 swapFree=7628/7628
[pid=23816] ppid=23814 vsize=220540 CPUtime=223.83 cores=0,2,4,6
/proc/23816/stat : 23816 (pbscip.linux.x8) R 23814 23816 20882 0 -1 4202496 54049 0 0 0 21698 685 0 0 20 0 1 0 335967151 225832960 53865 33554432000 4194304 8395647 140736253806368 140736253801976 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23816/statm: 55135 53865 583 1026 0 54105 0
Current children cumulated CPU time (s) 223.83
Current children cumulated vsize (KiB) 220540
[startup+227.1 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 23859
/proc/meminfo: memFree=26671192/32873844 swapFree=7628/7628
[pid=23816] ppid=23814 vsize=222460 CPUtime=227.03 cores=0,2,4,6
/proc/23816/stat : 23816 (pbscip.linux.x8) R 23814 23816 20882 0 -1 4202496 54573 0 0 0 22009 694 0 0 20 0 1 0 335967151 227799040 54389 33554432000 4194304 8395647 140736253806368 140736253801928 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23816/statm: 55615 54389 583 1026 0 54585 0
Current children cumulated CPU time (s) 227.03
Current children cumulated vsize (KiB) 222460
[startup+228.7 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 23859
/proc/meminfo: memFree=26668092/32873844 swapFree=7628/7628
[pid=23816] ppid=23814 vsize=223420 CPUtime=228.63 cores=0,2,4,6
/proc/23816/stat : 23816 (pbscip.linux.x8) R 23814 23816 20882 0 -1 4202496 54789 0 0 0 22164 699 0 0 20 0 1 0 335967151 228782080 54605 33554432000 4194304 8395647 140736253806368 140736253801976 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23816/statm: 55855 54605 583 1026 0 54825 0
Current children cumulated CPU time (s) 228.63
Current children cumulated vsize (KiB) 223420
[startup+229.1 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 23859
/proc/meminfo: memFree=26668092/32873844 swapFree=7628/7628
[pid=23816] ppid=23814 vsize=223420 CPUtime=229.03 cores=0,2,4,6
/proc/23816/stat : 23816 (pbscip.linux.x8) R 23814 23816 20882 0 -1 4202496 54790 0 0 0 22204 699 0 0 20 0 1 0 335967151 228782080 54606 33554432000 4194304 8395647 140736253806368 140736253801976 6345838 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23816/statm: 55855 54606 584 1026 0 54825 0
Current children cumulated CPU time (s) 229.03
Current children cumulated vsize (KiB) 223420
[startup+229.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 23859
/proc/meminfo: memFree=26668092/32873844 swapFree=7628/7628
[pid=23816] ppid=23814 vsize=223420 CPUtime=229.23 cores=0,2,4,6
/proc/23816/stat : 23816 (pbscip.linux.x8) R 23814 23816 20882 0 -1 4202496 54790 0 0 0 22224 699 0 0 20 0 1 0 335967151 228782080 54606 33554432000 4194304 8395647 140736253806368 140736253801976 4665799 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23816/statm: 55855 54606 584 1026 0 54825 0
Current children cumulated CPU time (s) 229.23
Current children cumulated vsize (KiB) 223420
[startup+229.4 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 23859
/proc/meminfo: memFree=26668092/32873844 swapFree=7628/7628
[pid=23816] ppid=23814 vsize=223420 CPUtime=229.33 cores=0,2,4,6
/proc/23816/stat : 23816 (pbscip.linux.x8) R 23814 23816 20882 0 -1 4202496 54790 0 0 0 22234 699 0 0 20 0 1 0 335967151 228782080 54606 33554432000 4194304 8395647 140736253806368 140736253801976 4666360 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/23816/statm: 55855 54606 584 1026 0 54825 0
Current children cumulated CPU time (s) 229.33
Current children cumulated vsize (KiB) 223420
Child status: 0
Real time (s): 229.442
CPU time (s): 229.381
CPU user time (s): 222.377
CPU system time (s): 7.00394
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 223420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 222.377
system time used= 7.00394
maximum resident set size= 218432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54795
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= 43
involuntary context switches= 257
runsolver used 0.331949 second user time and 0.958854 second system time
The end