0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3690481-1338016920.opb>
0.00/0.00 c original problem has 266 variables (266 bin, 0 int, 0 impl, 0 cont) and 401 constraints
0.00/0.00 c problem read in 0.00
0.00/0.00 c No objective function, only one solution is needed.
0.00/0.00 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 401 upgd conss, 298 impls, 0 clqs
0.00/0.02 c (round 2) 8 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 401 upgd conss, 7146 impls, 0 clqs
0.00/0.02 c (round 3) 8 del vars, 8 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 401 upgd conss, 7146 impls, 0 clqs
0.00/0.03 c (round 4) 8 del vars, 12 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 401 upgd conss, 7146 impls, 0 clqs
0.00/0.03 c presolving (5 rounds):
0.00/0.03 c 8 deleted vars, 12 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 7146 implications, 0 cliques
0.00/0.03 c presolved problem has 258 variables (258 bin, 0 int, 0 impl, 0 cont) and 389 constraints
0.00/0.03 c 164 constraints of type <knapsack>
0.00/0.03 c 129 constraints of type <setppc>
0.00/0.03 c 96 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.1.1.4
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1797
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c limits/solutions = 1
0.00/0.03 c
0.00/0.03 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.03 c separating/maxrounds = 1
0.00/0.03 c
0.00/0.03 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/maxroundsroot = 5
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.03 c constraints/knapsack/disaggregation = FALSE
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/coefdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.03 c heuristics/crossover/freq = -1
0.00/0.03 c
0.00/0.03 c # number of nodes added to the contingent of the total nodes
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.03 c heuristics/crossover/nodesofs = 750
0.00/0.03 c
0.00/0.03 c # number of nodes without incumbent change that heuristic should wait
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.03 c heuristics/crossover/nwaitingnodes = 100
0.00/0.03 c
0.00/0.03 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.03 c # [type: real, range: [0,1], default: 0.1]
0.00/0.03 c heuristics/crossover/nodesquot = 0.15
0.00/0.03 c
0.00/0.03 c # minimum percentage of integer variables that have to be fixed
0.00/0.03 c # [type: real, range: [0,1], default: 0.666]
0.00/0.03 c heuristics/crossover/minfixingrate = 0.5
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/feaspump/freq = -1
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/fracdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/guideddiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/intshifting/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/linesearchdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/objpscostdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.03 c # [type: real, range: [0,1], default: 0.01]
0.00/0.03 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/oneopt/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/pscostdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/rens/freq = -1
0.00/0.03 c
0.00/0.03 c # minimum percentage of integer variables that have to be fixable
0.00/0.03 c # [type: real, range: [0,1], default: 0.5]
0.00/0.03 c heuristics/rens/minfixingrate = 0.3
0.00/0.03 c
0.00/0.03 c # number of nodes added to the contingent of the total nodes
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.03 c heuristics/rens/nodesofs = 2000
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/rootsoldiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.03 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/rounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/shiftandpropagate/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/shifting/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/simplerounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/subnlp/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/trivial/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/trysol/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/undercover/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/veclendiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/zirounding/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c propagating/probing/maxprerounds = 0
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c separating/cmir/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c separating/flowcover/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/indoneopt/freq = -1
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 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 | 133 | - |1713k| 0 | 71 | 258 | 389 | 258 | 389 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.08/0.17 c 0.2s| 1 | 0 | 449 | - |2068k| 0 | 131 | 258 | 401 | 258 | 588 | 199 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.26 c 0.3s| 1 | 0 | 593 | - |3510k| 0 | 152 | 258 | 401 | 258 | 672 | 283 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.33 c 0.3s| 1 | 0 | 689 | - |4889k| 0 | 162 | 258 | 401 | 258 | 727 | 338 | 0 | 0 | 0.000000e+00 | -- | Inf
0.38/0.40 c 0.4s| 1 | 0 | 739 | - |6402k| 0 | 162 | 258 | 401 | 258 | 754 | 365 | 0 | 0 | 0.000000e+00 | -- | Inf
0.38/0.47 c 0.5s| 1 | 0 | 770 | - |8154k| 0 | 162 | 258 | 401 | 258 | 774 | 385 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.74 c 0.7s| 1 | 2 | 770 | - |8155k| 0 | 162 | 258 | 401 | 258 | 774 | 385 | 0 | 10 | 0.000000e+00 | -- | Inf
1.88/1.96 c 2.0s| 100 | 33 | 2634 | 18.8 |8306k| 27 | - | 258 | 405 | 258 | 497 | 385 | 4 | 836 | 0.000000e+00 | -- | Inf
2.29/2.32 c 2.3s| 200 | 34 | 3287 | 12.6 |8323k| 35 | - | 258 | 413 | 0 | 0 | 385 | 12 |1192 | 0.000000e+00 | -- | Inf
2.58/2.65 c 2.7s| 300 | 40 | 4399 | 12.1 |8336k| 35 | 22 | 258 | 420 | 258 | 497 | 385 | 19 |1467 | 0.000000e+00 | -- | Inf
2.68/2.79 c 2.8s| 400 | 47 | 5321 | 11.4 |8350k| 35 | 26 | 258 | 426 | 258 | 497 | 385 | 25 |1544 | 0.000000e+00 | -- | Inf
2.89/2.90 c 2.9s| 500 | 52 | 6536 | 11.6 |8366k| 35 | 31 | 258 | 437 | 258 | 497 | 385 | 36 |1582 | 0.000000e+00 | -- | Inf
2.89/2.95 c 3.0s| 600 | 50 | 7375 | 11.0 |8369k| 37 | 30 | 258 | 451 | 258 | 497 | 385 | 50 |1588 | 0.000000e+00 | -- | Inf
2.98/3.00 c 3.0s| 700 | 49 | 8187 | 10.6 |8374k| 37 | 28 | 258 | 467 | 258 | 497 | 385 | 66 |1589 | 0.000000e+00 | -- | Inf
3.09/3.12 c 3.1s| 800 | 47 | 9106 | 10.4 |8382k| 37 | - | 258 | 471 | 0 | 0 | 385 | 70 |1652 | 0.000000e+00 | -- | Inf
3.09/3.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.09/3.18 c 3.2s| 900 | 45 | 9851 | 10.1 |8377k| 37 | - | 258 | 480 | 0 | 0 | 385 | 79 |1668 | 0.000000e+00 | -- | Inf
3.19/3.27 c 3.3s| 1000 | 49 | 10769 | 10.0 |8384k| 37 | 36 | 258 | 487 | 258 | 497 | 385 | 86 |1702 | 0.000000e+00 | -- | Inf
3.29/3.33 c 3.3s| 1100 | 45 | 11605 | 9.9 |8383k| 37 | - | 258 | 493 | 0 | 0 | 385 | 92 |1705 | 0.000000e+00 | -- | Inf
3.29/3.38 c 3.4s| 1200 | 47 | 12221 | 9.6 |8389k| 37 | 20 | 258 | 505 | 258 | 497 | 385 | 105 |1711 | 0.000000e+00 | -- | Inf
3.38/3.47 c 3.5s| 1300 | 49 | 13254 | 9.6 |8397k| 39 | 35 | 258 | 512 | 258 | 497 | 385 | 113 |1735 | 0.000000e+00 | -- | Inf
3.48/3.52 c 3.5s| 1400 | 53 | 13963 | 9.4 |8410k| 39 | - | 258 | 520 | 0 | 0 | 385 | 121 |1735 | 0.000000e+00 | -- | Inf
3.48/3.57 c 3.6s| 1500 | 53 | 14768 | 9.3 |8413k| 39 | - | 258 | 524 | 0 | 0 | 385 | 125 |1738 | 0.000000e+00 | -- | Inf
3.59/3.62 c 3.6s| 1600 | 49 | 15575 | 9.3 |8409k| 43 | - | 258 | 528 | 0 | 0 | 385 | 130 |1738 | 0.000000e+00 | -- | Inf
3.59/3.67 c 3.7s| 1700 | 50 | 16285 | 9.1 |8409k| 46 | 26 | 258 | 535 | 258 | 497 | 385 | 137 |1742 | 0.000000e+00 | -- | Inf
3.68/3.72 c 3.7s| 1800 | 48 | 17044 | 9.0 |8412k| 48 | - | 258 | 545 | 0 | 0 | 385 | 147 |1744 | 0.000000e+00 | -- | Inf
3.68/3.78 c 3.8s| 1900 | 48 | 17829 | 9.0 |8412k| 48 | 30 | 258 | 549 | 258 | 497 | 385 | 151 |1758 | 0.000000e+00 | -- | Inf
3.78/3.83 c 3.8s| 2000 | 47 | 18584 | 8.9 |8413k| 48 | 26 | 258 | 552 | 258 | 497 | 385 | 154 |1760 | 0.000000e+00 | -- | Inf
3.89/3.91 c 3.9s| 2100 | 49 | 19507 | 8.9 |8420k| 48 | - | 258 | 557 | 0 | 0 | 385 | 162 |1775 | 0.000000e+00 | -- | Inf
3.89/3.96 c 4.0s| 2200 | 51 | 20440 | 8.9 |8427k| 48 | - | 258 | 559 | 258 | 497 | 385 | 164 |1776 | 0.000000e+00 | -- | Inf
3.99/4.01 c 4.0s| 2300 | 49 | 21129 | 8.9 |8424k| 48 | - | 258 | 562 | 0 | 0 | 385 | 167 |1779 | 0.000000e+00 | -- | Inf
3.99/4.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.99/4.06 c 4.1s| 2400 | 46 | 22000 | 8.8 |8423k| 48 | - | 258 | 565 | 0 | 0 | 385 | 171 |1780 | 0.000000e+00 | -- | Inf
4.08/4.12 c 4.1s| 2500 | 48 | 22720 | 8.8 |8429k| 48 | - | 258 | 578 | 0 | 0 | 385 | 184 |1785 | 0.000000e+00 | -- | Inf
4.08/4.17 c 4.2s| 2600 | 46 | 23594 | 8.8 |8425k| 48 | - | 258 | 584 | 258 | 497 | 385 | 192 |1786 | 0.000000e+00 | -- | Inf
4.19/4.23 c 4.2s| 2700 | 48 | 24526 | 8.8 |8428k| 48 | 41 | 258 | 586 | 258 | 497 | 385 | 196 |1787 | 0.000000e+00 | -- | Inf
4.19/4.28 c 4.3s| 2800 | 49 | 25261 | 8.7 |8433k| 48 | 26 | 258 | 592 | 258 | 497 | 385 | 206 |1787 | 0.000000e+00 | -- | Inf
4.29/4.33 c 4.3s| 2900 | 51 | 26110 | 8.7 |8435k| 48 | 28 | 258 | 587 | 258 | 497 | 385 | 206 |1787 | 0.000000e+00 | -- | Inf
4.29/4.38 c 4.4s| 3000 | 49 | 26969 | 8.7 |8433k| 48 | - | 258 | 580 | 0 | 0 | 385 | 208 |1787 | 0.000000e+00 | -- | Inf
4.40/4.42 c 4.4s| 3100 | 51 | 27635 | 8.7 |8441k| 48 | 32 | 258 | 592 | 258 | 497 | 385 | 226 |1787 | 0.000000e+00 | -- | Inf
4.79/4.86 c 4.5s| 3200 | 51 | 28589 | 8.7 |8438k| 48 | - | 258 | 593 | 0 | 0 | 385 | 231 |1788 | 0.000000e+00 | -- | Inf
4.79/4.86 c 4.5s| 3300 | 53 | 29220 | 8.6 |8449k| 48 | - | 258 | 594 | 0 | 0 | 385 | 240 |1789 | 0.000000e+00 | -- | Inf
4.79/4.86 c 4.6s| 3400 | 53 | 29806 | 8.5 |8448k| 48 | - | 258 | 600 | 258 | 497 | 385 | 248 |1789 | 0.000000e+00 | -- | Inf
4.79/4.86 c 4.6s| 3500 | 53 | 30475 | 8.5 |8449k| 48 | - | 258 | 605 | 0 | 0 | 385 | 257 |1789 | 0.000000e+00 | -- | Inf
4.79/4.86 c 4.7s| 3600 | 51 | 31264 | 8.5 |8450k| 48 | - | 258 | 602 | 0 | 0 | 385 | 259 |1789 | 0.000000e+00 | -- | Inf
4.79/4.86 c 4.7s| 3700 | 51 | 31966 | 8.4 |8444k| 48 | 28 | 258 | 606 | 258 | 497 | 385 | 267 |1799 | 0.000000e+00 | -- | Inf
4.79/4.86 c 4.8s| 3800 | 49 | 32596 | 8.4 |8443k| 48 | 43 | 258 | 613 | 258 | 497 | 385 | 276 |1800 | 0.000000e+00 | -- | Inf
4.79/4.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.79/4.86 c 4.8s| 3900 | 59 | 33672 | 8.4 |8464k| 48 | 25 | 258 | 617 | 258 | 497 | 385 | 283 |1802 | 0.000000e+00 | -- | Inf
4.79/4.89 c 4.9s| 4000 | 58 | 34676 | 8.5 |8466k| 49 | 30 | 258 | 624 | 258 | 497 | 385 | 296 |1802 | 0.000000e+00 | -- | Inf
4.88/4.95 c 4.9s| 4100 | 57 | 35798 | 8.5 |8466k| 49 | 32 | 258 | 625 | 258 | 497 | 385 | 301 |1802 | 0.000000e+00 | -- | Inf
4.99/5.00 c 5.0s| 4200 | 59 | 36484 | 8.5 |8473k| 49 | 30 | 258 | 629 | 258 | 497 | 385 | 310 |1802 | 0.000000e+00 | -- | Inf
4.99/5.04 c 5.0s| 4300 | 59 | 37183 | 8.5 |8481k| 49 | - | 258 | 630 | 0 | 0 | 385 | 317 |1802 | 0.000000e+00 | -- | Inf
4.99/5.09 c 5.1s| 4400 | 58 | 37937 | 8.4 |8480k| 49 | - | 258 | 633 | 0 | 0 | 385 | 327 |1802 | 0.000000e+00 | -- | Inf
5.09/5.14 c 5.1s| 4500 | 60 | 38676 | 8.4 |8485k| 49 | 23 | 258 | 642 | 258 | 497 | 385 | 340 |1802 | 0.000000e+00 | -- | Inf
5.09/5.19 c 5.2s| 4600 | 54 | 39334 | 8.4 |8490k| 49 | - | 258 | 662 | 0 | 0 | 385 | 364 |1802 | 0.000000e+00 | -- | Inf
5.19/5.23 c 5.2s| 4700 | 58 | 40006 | 8.3 |8488k| 49 | 39 | 258 | 664 | 258 | 497 | 385 | 371 |1802 | 0.000000e+00 | -- | Inf
5.19/5.28 c 5.3s| 4800 | 56 | 40773 | 8.3 |8489k| 49 | - | 258 | 663 | 0 | 0 | 385 | 377 |1802 | 0.000000e+00 | -- | Inf
5.29/5.33 c 5.3s| 4900 | 57 | 41569 | 8.3 |8487k| 49 | 28 | 258 | 660 | 258 | 497 | 385 | 383 |1802 | 0.000000e+00 | -- | Inf
5.29/5.38 c 5.4s| 5000 | 53 | 42278 | 8.3 |8483k| 49 | - | 258 | 664 | 0 | 0 | 385 | 393 |1802 | 0.000000e+00 | -- | Inf
5.40/5.44 c 5.4s| 5100 | 53 | 43170 | 8.3 |8484k| 49 | - | 258 | 664 | 258 | 497 | 385 | 398 |1802 | 0.000000e+00 | -- | Inf
5.40/5.50 c 5.5s| 5200 | 53 | 44192 | 8.4 |8486k| 49 | - | 258 | 664 | 0 | 0 | 385 | 403 |1802 | 0.000000e+00 | -- | Inf
5.50/5.57 c 5.6s| 5300 | 59 | 44915 | 8.3 |8492k| 49 | - | 258 | 664 | 0 | 0 | 385 | 408 |1824 | 0.000000e+00 | -- | Inf
5.58/5.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.58/5.62 c 5.6s| 5400 | 56 | 45527 | 8.3 |8496k| 49 | - | 258 | 665 | 0 | 0 | 385 | 414 |1830 | 0.000000e+00 | -- | Inf
5.58/5.68 c 5.7s| 5500 | 54 | 46375 | 8.3 |8488k| 49 | - | 258 | 666 | 0 | 0 | 385 | 422 |1830 | 0.000000e+00 | -- | Inf
5.68/5.74 c 5.7s| 5600 | 57 | 47447 | 8.3 |8498k| 49 | 22 | 258 | 677 | 258 | 497 | 385 | 440 |1830 | 0.000000e+00 | -- | Inf
5.78/5.80 c 5.8s| 5700 | 55 | 48399 | 8.4 |8500k| 49 | - | 258 | 676 | 258 | 497 | 385 | 449 |1830 | 0.000000e+00 | -- | Inf
5.78/5.85 c 5.8s| 5800 | 57 | 49128 | 8.3 |8505k| 49 | - | 258 | 675 | 0 | 0 | 385 | 464 |1830 | 0.000000e+00 | -- | Inf
5.89/5.90 c 5.9s| 5900 | 53 | 49928 | 8.3 |8506k| 49 | - | 258 | 683 | 0 | 0 | 385 | 476 |1830 | 0.000000e+00 | -- | Inf
5.89/5.98 c 6.0s| 6000 | 62 | 50827 | 8.3 |8518k| 49 | - | 258 | 696 | 0 | 0 | 385 | 492 |1850 | 0.000000e+00 | -- | Inf
5.99/6.02 c 6.0s| 6100 | 67 | 51544 | 8.3 |8529k| 49 | 39 | 258 | 699 | 258 | 497 | 385 | 495 |1851 | 0.000000e+00 | -- | Inf
5.99/6.07 c 6.1s| 6200 | 67 | 52420 | 8.3 |8529k| 49 | 31 | 258 | 699 | 258 | 497 | 385 | 497 |1851 | 0.000000e+00 | -- | Inf
6.09/6.12 c 6.1s| 6300 | 62 | 53045 | 8.3 |8528k| 49 | - | 258 | 706 | 258 | 497 | 385 | 509 |1851 | 0.000000e+00 | -- | Inf
6.09/6.18 c 6.2s| 6400 | 62 | 53786 | 8.3 |8523k| 49 | 35 | 258 | 707 | 258 | 497 | 385 | 514 |1865 | 0.000000e+00 | -- | Inf
6.19/6.22 c 6.2s| 6500 | 59 | 54294 | 8.2 |8523k| 49 | - | 258 | 712 | 258 | 497 | 385 | 523 |1868 | 0.000000e+00 | -- | Inf
6.19/6.27 c 6.3s| 6600 | 56 | 55070 | 8.2 |8526k| 49 | - | 258 | 720 | 0 | 0 | 385 | 531 |1868 | 0.000000e+00 | -- | Inf
6.28/6.32 c 6.3s| 6700 | 57 | 55675 | 8.2 |8521k| 49 | - | 258 | 718 | 0 | 0 | 385 | 534 |1873 | 0.000000e+00 | -- | Inf
6.28/6.37 c 6.4s| 6800 | 56 | 56372 | 8.2 |8520k| 49 | - | 258 | 724 | 0 | 0 | 385 | 544 |1875 | 0.000000e+00 | -- | Inf
6.38/6.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.38/6.42 c 6.4s| 6900 | 56 | 57073 | 8.2 |8528k| 49 | - | 258 | 733 | 0 | 0 | 385 | 557 |1875 | 0.000000e+00 | -- | Inf
6.38/6.47 c 6.5s| 7000 | 56 | 57812 | 8.2 |8530k| 49 | - | 258 | 736 | 258 | 497 | 385 | 562 |1875 | 0.000000e+00 | -- | Inf
6.49/6.51 c 6.5s| 7100 | 58 | 58485 | 8.1 |8539k| 49 | - | 258 | 746 | 0 | 0 | 385 | 572 |1875 | 0.000000e+00 | -- | Inf
6.49/6.56 c 6.6s| 7200 | 59 | 59249 | 8.1 |8538k| 49 | - | 258 | 752 | 0 | 0 | 385 | 580 |1875 | 0.000000e+00 | -- | Inf
6.59/6.61 c 6.6s| 7300 | 61 | 59935 | 8.1 |8542k| 49 | 26 | 258 | 759 | 258 | 497 | 385 | 590 |1875 | 0.000000e+00 | -- | Inf
6.59/6.66 c 6.7s| 7400 | 58 | 60692 | 8.1 |8544k| 49 | - | 258 | 769 | 0 | 0 | 385 | 603 |1875 | 0.000000e+00 | -- | Inf
6.68/6.71 c 6.7s| 7500 | 58 | 61556 | 8.1 |8551k| 49 | - | 258 | 781 | 0 | 0 | 385 | 621 |1875 | 0.000000e+00 | -- | Inf
6.68/6.76 c 6.8s| 7600 | 56 | 62392 | 8.1 |8544k| 49 | 30 | 258 | 780 | 258 | 497 | 385 | 627 |1875 | 0.000000e+00 | -- | Inf
6.78/6.82 c 6.8s| 7700 | 57 | 63259 | 8.1 |8547k| 49 | 31 | 258 | 791 | 258 | 497 | 385 | 646 |1875 | 0.000000e+00 | -- | Inf
6.78/6.87 c 6.9s| 7800 | 53 | 64089 | 8.1 |8547k| 49 | 23 | 258 | 804 | 258 | 497 | 385 | 661 |1875 | 0.000000e+00 | -- | Inf
6.89/6.92 c 6.9s| 7900 | 56 | 64773 | 8.1 |8561k| 49 | - | 258 | 817 | 0 | 0 | 385 | 677 |1878 | 0.000000e+00 | -- | Inf
6.89/6.96 c 7.0s| 8000 | 54 | 65379 | 8.1 |8560k| 49 | - | 258 | 819 | 0 | 0 | 385 | 681 |1878 | 0.000000e+00 | -- | Inf
6.99/7.01 c 7.0s| 8100 | 55 | 65993 | 8.1 |8560k| 49 | 25 | 258 | 827 | 258 | 497 | 385 | 690 |1878 | 0.000000e+00 | -- | Inf
6.99/7.05 c 7.1s| 8200 | 55 | 66638 | 8.0 |8567k| 49 | - | 258 | 838 | 0 | 0 | 385 | 702 |1878 | 0.000000e+00 | -- | Inf
6.99/7.09 c 7.1s| 8300 | 56 | 67199 | 8.0 |8569k| 49 | - | 258 | 849 | 0 | 0 | 385 | 714 |1878 | 0.000000e+00 | -- | Inf
7.09/7.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.09/7.14 c 7.1s| 8400 | 52 | 67877 | 8.0 |8566k| 49 | 26 | 258 | 864 | 258 | 497 | 385 | 732 |1878 | 0.000000e+00 | -- | Inf
7.09/7.19 c 7.2s| 8500 | 54 | 68626 | 8.0 |8578k| 49 | - | 258 | 856 | 0 | 0 | 385 | 735 |1878 | 0.000000e+00 | -- | Inf
7.18/7.25 c 7.2s| 8600 | 54 | 69424 | 8.0 |8584k| 49 | - | 258 | 852 | 0 | 0 | 385 | 740 |1882 | 0.000000e+00 | -- | Inf
7.29/7.30 c 7.3s| 8700 | 52 | 70093 | 8.0 |8585k| 49 | - | 258 | 848 | 0 | 0 | 385 | 746 |1887 | 0.000000e+00 | -- | Inf
7.29/7.35 c 7.3s| 8800 | 55 | 70792 | 8.0 |8581k| 49 | 26 | 258 | 846 | 258 | 497 | 385 | 753 |1887 | 0.000000e+00 | -- | Inf
7.29/7.39 c 7.4s| 8900 | 53 | 71444 | 7.9 |8584k| 49 | - | 258 | 843 | 258 | 497 | 385 | 759 |1887 | 0.000000e+00 | -- | Inf
7.39/7.45 c 7.4s| 9000 | 53 | 72337 | 8.0 |8574k| 49 | 29 | 258 | 836 | 258 | 497 | 385 | 766 |1887 | 0.000000e+00 | -- | Inf
7.49/7.50 c 7.5s| 9100 | 51 | 73099 | 7.9 |8567k| 49 | - | 258 | 836 | 0 | 0 | 385 | 769 |1887 | 0.000000e+00 | -- | Inf
7.49/7.56 c 7.6s| 9200 | 51 | 74061 | 8.0 |8568k| 49 | - | 258 | 831 | 258 | 497 | 385 | 778 |1887 | 0.000000e+00 | -- | Inf
7.49/7.60 c 7.6s| 9300 | 53 | 74655 | 7.9 |8573k| 49 | 22 | 258 | 836 | 258 | 497 | 385 | 790 |1887 | 0.000000e+00 | -- | Inf
7.59/7.65 c 7.6s| 9400 | 53 | 75454 | 7.9 |8575k| 49 | - | 258 | 841 | 258 | 497 | 385 | 803 |1887 | 0.000000e+00 | -- | Inf
7.59/7.70 c 7.7s| 9500 | 59 | 76276 | 7.9 |8588k| 49 | - | 258 | 846 | 0 | 0 | 385 | 810 |1887 | 0.000000e+00 | -- | Inf
7.69/7.76 c 7.8s| 9600 | 54 | 77192 | 8.0 |8592k| 49 | - | 258 | 867 | 0 | 0 | 385 | 834 |1887 | 0.000000e+00 | -- | Inf
7.79/7.82 c 7.8s| 9700 | 55 | 78240 | 8.0 |8590k| 49 | 41 | 258 | 871 | 258 | 497 | 385 | 841 |1887 | 0.000000e+00 | -- | Inf
7.79/7.87 c 7.9s| 9800 | 53 | 78979 | 8.0 |8591k| 49 | - | 258 | 878 | 0 | 0 | 385 | 850 |1887 | 0.000000e+00 | -- | Inf
7.89/7.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.89/7.91 c 7.9s| 9900 | 57 | 79666 | 8.0 |8597k| 49 | 20 | 258 | 881 | 258 | 497 | 385 | 855 |1887 | 0.000000e+00 | -- | Inf
7.89/7.96 c 8.0s| 10000 | 53 | 80421 | 8.0 |8595k| 49 | 42 | 258 | 885 | 258 | 497 | 385 | 860 |1887 | 0.000000e+00 | -- | Inf
7.98/8.01 c 8.0s| 10100 | 49 | 81070 | 8.0 |8591k| 49 | - | 258 | 887 | 0 | 0 | 385 | 876 |1887 | 0.000000e+00 | -- | Inf
7.98/8.07 c 8.1s| 10200 | 51 | 82211 | 8.0 |8582k| 51 | 33 | 258 | 876 | 258 | 497 | 385 | 878 |1887 | 0.000000e+00 | -- | Inf
8.08/8.12 c 8.1s| 10300 | 49 | 82891 | 8.0 |8585k| 51 | - | 258 | 882 | 0 | 0 | 385 | 889 |1887 | 0.000000e+00 | -- | Inf
8.08/8.16 c 8.2s| 10400 | 51 | 83581 | 8.0 |8587k| 51 | - | 258 | 883 | 258 | 497 | 385 | 896 |1887 | 0.000000e+00 | -- | Inf
8.18/8.21 c 8.2s| 10500 | 51 | 84231 | 7.9 |8589k| 51 | - | 258 | 889 | 258 | 497 | 385 | 902 |1887 | 0.000000e+00 | -- | Inf
8.18/8.25 c 8.3s| 10600 | 50 | 84874 | 7.9 |8586k| 51 | 35 | 258 | 892 | 258 | 497 | 385 | 907 |1887 | 0.000000e+00 | -- | Inf
8.28/8.31 c 8.3s| 10700 | 50 | 85694 | 7.9 |8581k| 51 | 29 | 258 | 890 | 258 | 497 | 385 | 909 |1887 | 0.000000e+00 | -- | Inf
8.28/8.35 c 8.4s| 10800 | 54 | 86447 | 7.9 |8590k| 51 | 24 | 258 | 893 | 258 | 497 | 385 | 917 |1887 | 0.000000e+00 | -- | Inf
8.38/8.40 c 8.4s| 10900 | 52 | 87211 | 7.9 |8588k| 51 | 30 | 258 | 891 | 258 | 497 | 385 | 922 |1887 | 0.000000e+00 | -- | Inf
8.38/8.46 c 8.5s| 11000 | 52 | 88137 | 7.9 |8589k| 51 | 31 | 258 | 886 | 258 | 497 | 385 | 930 |1887 | 0.000000e+00 | -- | Inf
8.49/8.51 c 8.5s| 11100 | 52 | 88956 | 7.9 |8594k| 51 | - | 258 | 894 | 258 | 497 | 385 | 938 |1887 | 0.000000e+00 | -- | Inf
8.49/8.57 c 8.6s| 11200 | 48 | 89897 | 8.0 |8589k| 51 | - | 258 | 899 | 258 | 497 | 385 | 943 |1887 | 0.000000e+00 | -- | Inf
8.59/8.62 c 8.6s| 11300 | 52 | 90647 | 8.0 |8600k| 51 | 32 | 258 | 910 | 258 | 497 | 385 | 958 |1887 | 0.000000e+00 | -- | Inf
8.59/8.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.59/8.67 c 8.7s| 11400 | 46 | 91590 | 8.0 |8586k| 51 | 48 | 258 | 914 | 258 | 497 | 385 | 971 |1887 | 0.000000e+00 | -- | Inf
8.69/8.73 c 8.7s| 11500 | 43 | 92448 | 8.0 |8583k| 51 | - | 258 | 921 | 258 | 497 | 385 | 982 |1887 | 0.000000e+00 | -- | Inf
8.79/8.81 c 8.8s| 11600 | 50 | 93218 | 8.0 |8596k| 51 | 22 | 258 | 923 | 258 | 497 | 385 | 991 |1913 | 0.000000e+00 | -- | Inf
8.79/8.85 c 8.9s| 11700 | 52 | 93947 | 8.0 |8604k| 51 | 20 | 258 | 926 | 258 | 497 | 385 | 998 |1913 | 0.000000e+00 | -- | Inf
8.89/8.90 c 8.9s| 11800 | 52 | 94618 | 8.0 |8601k| 51 | 17 | 258 | 931 | 258 | 497 | 385 |1005 |1913 | 0.000000e+00 | -- | Inf
8.89/8.95 c 8.9s| 11900 | 48 | 95375 | 8.0 |8600k| 51 | - | 258 | 938 | 0 | 0 | 385 |1014 |1913 | 0.000000e+00 | -- | Inf
8.89/8.99 c 9.0s| 12000 | 48 | 96000 | 7.9 |8602k| 51 | 32 | 258 | 944 | 258 | 497 | 385 |1022 |1913 | 0.000000e+00 | -- | Inf
8.98/9.04 c 9.0s| 12100 | 48 | 96822 | 7.9 |8602k| 51 | 25 | 258 | 947 | 258 | 497 | 385 |1025 |1913 | 0.000000e+00 | -- | Inf
8.98/9.09 c 9.1s| 12200 | 52 | 97668 | 7.9 |8612k| 51 | - | 258 | 951 | 0 | 0 | 385 |1029 |1913 | 0.000000e+00 | -- | Inf
9.08/9.13 c 9.1s| 12300 | 48 | 98338 | 7.9 |8608k| 51 | - | 258 | 953 | 0 | 0 | 385 |1032 |1913 | 0.000000e+00 | -- | Inf
9.08/9.17 c 9.2s| 12400 | 46 | 98860 | 7.9 |8605k| 51 | - | 258 | 960 | 0 | 0 | 385 |1039 |1913 | 0.000000e+00 | -- | Inf
9.18/9.22 c 9.2s| 12500 | 46 | 99582 | 7.9 |8603k| 51 | 37 | 258 | 968 | 258 | 497 | 385 |1052 |1913 | 0.000000e+00 | -- | Inf
9.18/9.28 c 9.3s| 12600 | 50 |100371 | 7.9 |8614k| 51 | 31 | 258 | 970 | 258 | 497 | 385 |1058 |1918 | 0.000000e+00 | -- | Inf
9.29/9.32 c 9.3s| 12700 | 47 |101051 | 7.9 |8615k| 51 | - | 258 | 972 | 0 | 0 | 385 |1063 |1918 | 0.000000e+00 | -- | Inf
9.29/9.37 c 9.4s| 12800 | 49 |101805 | 7.9 |8618k| 51 | - | 258 | 978 | 0 | 0 | 385 |1070 |1918 | 0.000000e+00 | -- | Inf
9.38/9.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.38/9.42 c 9.4s| 12900 | 51 |102606 | 7.9 |8620k| 51 | 27 | 258 | 980 | 258 | 497 | 385 |1072 |1918 | 0.000000e+00 | -- | Inf
9.38/9.47 c 9.5s| 13000 | 49 |103294 | 7.9 |8620k| 51 | 41 | 258 | 988 | 258 | 497 | 385 |1081 |1918 | 0.000000e+00 | -- | Inf
9.49/9.52 c 9.5s| 13100 | 51 |103977 | 7.9 |8626k| 51 | 28 | 258 | 996 | 258 | 497 | 385 |1090 |1918 | 0.000000e+00 | -- | Inf
9.49/9.56 c 9.6s| 13200 | 49 |104701 | 7.9 |8626k| 51 | 42 | 258 |1006 | 258 | 497 | 385 |1103 |1918 | 0.000000e+00 | -- | Inf
9.58/9.62 c 9.6s| 13300 | 52 |105436 | 7.9 |8634k| 51 | 26 | 258 |1012 | 258 | 497 | 385 |1110 |1921 | 0.000000e+00 | -- | Inf
9.58/9.66 c 9.7s| 13400 | 52 |106184 | 7.9 |8640k| 51 | - | 258 |1015 | 258 | 497 | 385 |1114 |1921 | 0.000000e+00 | -- | Inf
9.68/9.71 c 9.7s| 13500 | 56 |106880 | 7.9 |8645k| 51 | 24 | 258 |1023 | 258 | 497 | 385 |1124 |1921 | 0.000000e+00 | -- | Inf
9.68/9.76 c 9.8s| 13600 | 54 |107734 | 7.9 |8647k| 51 | 26 | 258 |1029 | 258 | 497 | 385 |1133 |1921 | 0.000000e+00 | -- | Inf
9.79/9.81 c 9.8s| 13700 | 53 |108390 | 7.9 |8646k| 51 | 31 | 258 |1032 | 258 | 497 | 385 |1136 |1921 | 0.000000e+00 | -- | Inf
9.79/9.85 c 9.9s| 13800 | 53 |109048 | 7.8 |8656k| 51 | - | 258 |1045 | 258 | 497 | 385 |1149 |1921 | 0.000000e+00 | -- | Inf
9.89/9.91 c 9.9s| 13900 | 60 |109842 | 7.8 |8665k| 51 | 30 | 258 |1047 | 258 | 497 | 385 |1154 |1921 | 0.000000e+00 | -- | Inf
9.89/9.95 c 9.9s| 14000 | 52 |110486 | 7.8 |8659k| 51 | - | 258 |1048 | 0 | 0 | 385 |1158 |1921 | 0.000000e+00 | -- | Inf
9.98/10.00 c 10.0s| 14100 | 56 |111294 | 7.8 |8662k| 51 | 21 | 258 |1045 | 258 | 497 | 385 |1162 |1921 | 0.000000e+00 | -- | Inf
9.98/10.05 c 10.0s| 14200 | 56 |112053 | 7.8 |8663k| 51 | - | 258 |1042 | 0 | 0 | 385 |1167 |1921 | 0.000000e+00 | -- | Inf
9.98/10.09 c 10.1s| 14300 | 56 |112766 | 7.8 |8659k| 51 | 36 | 258 |1037 | 258 | 497 | 385 |1169 |1921 | 0.000000e+00 | -- | Inf
10.08/10.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.08/10.14 c 10.1s| 14400 | 56 |113508 | 7.8 |8661k| 51 | 24 | 258 |1039 | 258 | 497 | 385 |1173 |1921 | 0.000000e+00 | -- | Inf
10.08/10.19 c 10.2s| 14500 | 53 |114244 | 7.8 |8662k| 51 | - | 258 |1047 | 0 | 0 | 385 |1184 |1921 | 0.000000e+00 | -- | Inf
10.18/10.24 c 10.2s| 14600 | 51 |114973 | 7.8 |8652k| 51 | 44 | 258 |1051 | 258 | 497 | 385 |1188 |1921 | 0.000000e+00 | -- | Inf
10.18/10.29 c 10.3s| 14700 | 53 |115813 | 7.8 |8661k| 51 | 29 | 258 |1061 | 258 | 497 | 385 |1202 |1921 | 0.000000e+00 | -- | Inf
10.28/10.33 c 10.3s| 14800 | 55 |116510 | 7.8 |8665k| 51 | 19 | 258 |1060 | 258 | 497 | 385 |1208 |1921 | 0.000000e+00 | -- | Inf
10.28/10.38 c 10.4s| 14900 | 53 |117342 | 7.8 |8659k| 52 | 26 | 258 |1059 | 258 | 497 | 385 |1210 |1921 | 0.000000e+00 | -- | Inf
10.38/10.44 c 10.4s| 15000 | 52 |118203 | 7.8 |8657k| 52 | 38 | 258 |1057 | 258 | 497 | 385 |1217 |1921 | 0.000000e+00 | -- | Inf
10.38/10.50 c 10.5s| 15100 | 51 |119235 | 7.8 |8657k| 52 | - | 258 |1057 | 0 | 0 | 385 |1228 |1921 | 0.000000e+00 | -- | Inf
10.48/10.54 c 10.5s| 15200 | 55 |119976 | 7.8 |8661k| 52 | 32 | 258 |1056 | 258 | 497 | 385 |1234 |1921 | 0.000000e+00 | -- | Inf
10.48/10.59 c 10.6s| 15300 | 55 |120832 | 7.8 |8660k| 52 | 24 | 258 |1055 | 258 | 497 | 385 |1237 |1921 | 0.000000e+00 | -- | Inf
10.58/10.64 c 10.6s| 15400 | 53 |121578 | 7.8 |8661k| 52 | - | 258 |1054 | 0 | 0 | 385 |1239 |1921 | 0.000000e+00 | -- | Inf
10.58/10.69 c 10.7s| 15500 | 55 |122435 | 7.8 |8666k| 52 | - | 258 |1060 | 258 | 497 | 385 |1248 |1921 | 0.000000e+00 | -- | Inf
10.68/10.74 c 10.7s| 15600 | 55 |123253 | 7.9 |8666k| 52 | - | 258 |1058 | 0 | 0 | 385 |1253 |1921 | 0.000000e+00 | -- | Inf
10.78/10.80 c 10.8s| 15700 | 55 |124287 | 7.9 |8665k| 52 | 35 | 258 |1057 | 258 | 497 | 385 |1258 |1921 | 0.000000e+00 | -- | Inf
10.78/10.86 c 10.9s| 15800 | 54 |125285 | 7.9 |8666k| 52 | - | 258 |1060 | 0 | 0 | 385 |1265 |1921 | 0.000000e+00 | -- | Inf
10.89/10.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.89/10.90 c 10.9s| 15900 | 56 |125930 | 7.9 |8673k| 52 | 21 | 258 |1068 | 258 | 497 | 385 |1282 |1921 | 0.000000e+00 | -- | Inf
10.89/10.95 c 10.9s| 16000 | 54 |126618 | 7.9 |8679k| 52 | - | 258 |1080 | 0 | 0 | 385 |1300 |1921 | 0.000000e+00 | -- | Inf
10.89/10.99 c 11.0s| 16100 | 54 |127323 | 7.9 |8678k| 52 | 23 | 258 |1087 | 258 | 497 | 385 |1311 |1921 | 0.000000e+00 | -- | Inf
10.99/11.04 c 11.0s| 16200 | 52 |128028 | 7.9 |8679k| 52 | 35 | 258 |1094 | 258 | 497 | 385 |1323 |1921 | 0.000000e+00 | -- | Inf
10.99/11.08 c 11.1s| 16300 | 52 |128694 | 7.8 |8680k| 52 | - | 258 |1092 | 0 | 0 | 385 |1327 |1921 | 0.000000e+00 | -- | Inf
11.08/11.15 c 11.1s| 16400 | 54 |129643 | 7.9 |8684k| 52 | 52 | 258 |1099 | 258 | 497 | 385 |1339 |1926 | 0.000000e+00 | -- | Inf
11.18/11.20 c 11.2s| 16500 | 50 |130389 | 7.9 |8679k| 52 | - | 258 |1096 | 0 | 0 | 385 |1346 |1927 | 0.000000e+00 | -- | Inf
11.18/11.25 c 11.2s| 16600 | 46 |131269 | 7.9 |8665k| 52 | - | 258 |1089 | 258 | 497 | 385 |1349 |1927 | 0.000000e+00 | -- | Inf
11.28/11.32 c 11.3s| 16700 | 50 |132511 | 7.9 |8660k| 52 | 20 | 258 |1086 | 258 | 497 | 385 |1357 |1927 | 0.000000e+00 | -- | Inf
11.28/11.36 c 11.4s| 16800 | 49 |132995 | 7.9 |8659k| 52 | 34 | 258 |1082 | 258 | 497 | 385 |1364 |1927 | 0.000000e+00 | -- | Inf
11.38/11.41 c 11.4s| 16900 | 46 |133836 | 7.9 |8663k| 52 | - | 258 |1080 | 0 | 0 | 385 |1378 |1927 | 0.000000e+00 | -- | Inf
11.38/11.46 c 11.5s| 17000 | 49 |134531 | 7.9 |8662k| 52 | 27 | 258 |1084 | 258 | 497 | 385 |1387 |1927 | 0.000000e+00 | -- | Inf
11.48/11.50 c 11.5s| 17100 | 47 |135268 | 7.9 |8659k| 52 | - | 258 |1081 | 0 | 0 | 385 |1397 |1927 | 0.000000e+00 | -- | Inf
11.48/11.55 c 11.6s| 17200 | 49 |136138 | 7.9 |8658k| 52 | 24 | 258 |1074 | 258 | 497 | 385 |1402 |1927 | 0.000000e+00 | -- | Inf
11.58/11.60 c 11.6s| 17300 | 49 |136737 | 7.9 |8655k| 52 | 28 | 258 |1070 | 258 | 497 | 385 |1406 |1927 | 0.000000e+00 | -- | Inf
11.58/11.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.58/11.64 c 11.6s| 17400 | 50 |137341 | 7.8 |8660k| 52 | - | 258 |1067 | 0 | 0 | 385 |1412 |1927 | 0.000000e+00 | -- | Inf
11.58/11.68 c 11.7s| 17500 | 49 |137933 | 7.8 |8661k| 52 | - | 258 |1062 | 0 | 0 | 385 |1418 |1927 | 0.000000e+00 | -- | Inf
11.68/11.72 c 11.7s| 17600 | 49 |138598 | 7.8 |8659k| 52 | - | 258 |1058 | 258 | 497 | 385 |1424 |1927 | 0.000000e+00 | -- | Inf
11.68/11.76 c 11.8s| 17700 | 50 |139166 | 7.8 |8661k| 52 | 28 | 258 |1060 | 258 | 497 | 385 |1434 |1927 | 0.000000e+00 | -- | Inf
11.78/11.80 c 11.8s| 17800 | 48 |139764 | 7.8 |8657k| 52 | 30 | 258 |1054 | 258 | 497 | 385 |1436 |1927 | 0.000000e+00 | -- | Inf
11.78/11.85 c 11.8s| 17900 | 46 |140486 | 7.8 |8655k| 52 | - | 258 |1049 | 0 | 0 | 385 |1436 |1927 | 0.000000e+00 | -- | Inf
11.88/11.90 c 11.9s| 18000 | 50 |141333 | 7.8 |8652k| 52 | 31 | 258 |1034 | 258 | 497 | 385 |1442 |1927 | 0.000000e+00 | -- | Inf
11.88/11.95 c 11.9s| 18100 | 52 |142097 | 7.8 |8657k| 52 | 22 | 258 |1037 | 258 | 497 | 385 |1446 |1927 | 0.000000e+00 | -- | Inf
11.88/12.00 c 12.0s| 18200 | 47 |142953 | 7.8 |8655k| 52 | - | 258 |1042 | 258 | 497 | 385 |1452 |1927 | 0.000000e+00 | -- | Inf
11.99/12.04 c 12.0s| 18300 | 49 |143507 | 7.8 |8656k| 52 | - | 258 |1047 | 0 | 0 | 385 |1459 |1927 | 0.000000e+00 | -- | Inf
11.99/12.08 c 12.1s| 18400 | 47 |144225 | 7.8 |8656k| 52 | - | 258 |1056 | 0 | 0 | 385 |1469 |1927 | 0.000000e+00 | -- | Inf
12.09/12.13 c 12.1s| 18500 | 52 |144909 | 7.8 |8660k| 52 | 25 | 258 |1057 | 258 | 497 | 385 |1480 |1927 | 0.000000e+00 | -- | Inf
12.09/12.17 c 12.2s| 18600 | 53 |145473 | 7.8 |8667k| 52 | - | 258 |1061 | 0 | 0 | 385 |1489 |1927 | 0.000000e+00 | -- | Inf
12.18/12.21 c 12.2s| 18700 | 53 |146010 | 7.8 |8668k| 52 | 31 | 258 |1065 | 258 | 497 | 385 |1496 |1927 | 0.000000e+00 | -- | Inf
12.18/12.25 c 12.2s| 18800 | 52 |146530 | 7.8 |8669k| 52 | 23 | 258 |1077 | 258 | 497 | 385 |1511 |1927 | 0.000000e+00 | -- | Inf
12.28/12.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.28/12.30 c 12.3s| 18900 | 51 |147208 | 7.7 |8671k| 52 | 32 | 258 |1085 | 258 | 497 | 385 |1521 |1927 | 0.000000e+00 | -- | Inf
12.28/12.34 c 12.3s| 19000 | 51 |147810 | 7.7 |8675k| 52 | - | 258 |1089 | 0 | 0 | 385 |1528 |1927 | 0.000000e+00 | -- | Inf
12.28/12.38 c 12.4s| 19100 | 52 |148378 | 7.7 |8677k| 52 | 33 | 258 |1096 | 258 | 497 | 385 |1546 |1927 | 0.000000e+00 | -- | Inf
12.38/12.43 c 12.4s| 19200 | 51 |149173 | 7.7 |8682k| 52 | 34 | 258 |1101 | 258 | 497 | 385 |1556 |1927 | 0.000000e+00 | -- | Inf
12.38/12.48 c 12.5s| 19300 | 52 |149974 | 7.7 |8682k| 52 | - | 258 |1100 | 0 | 0 | 385 |1558 |1927 | 0.000000e+00 | -- | Inf
12.48/12.52 c 12.5s| 19400 | 50 |150704 | 7.7 |8683k| 52 | - | 258 |1102 | 0 | 0 | 385 |1561 |1927 | 0.000000e+00 | -- | Inf
12.48/12.56 c 12.6s| 19500 | 49 |151328 | 7.7 |8684k| 52 | - | 258 |1108 | 258 | 497 | 385 |1568 |1927 | 0.000000e+00 | -- | Inf
12.58/12.61 c 12.6s| 19600 | 48 |152087 | 7.7 |8682k| 52 | - | 258 |1118 | 0 | 0 | 385 |1586 |1927 | 0.000000e+00 | -- | Inf
12.58/12.66 c 12.7s| 19700 | 50 |152828 | 7.7 |8684k| 52 | - | 258 |1106 | 0 | 0 | 385 |1591 |1927 | 0.000000e+00 | -- | Inf
12.68/12.70 c 12.7s| 19800 | 55 |153396 | 7.7 |8692k| 52 | - | 258 |1103 | 0 | 0 | 385 |1597 |1927 | 0.000000e+00 | -- | Inf
12.68/12.74 c 12.7s| 19900 | 51 |153866 | 7.7 |8689k| 52 | - | 258 |1115 | 258 | 497 | 385 |1612 |1927 | 0.000000e+00 | -- | Inf
12.68/12.78 c 12.8s| 20000 | 51 |154580 | 7.7 |8695k| 52 | - | 258 |1132 | 0 | 0 | 385 |1633 |1927 | 0.000000e+00 | -- | Inf
12.78/12.83 c 12.8s| 20100 | 54 |155218 | 7.7 |8701k| 52 | - | 258 |1141 | 0 | 0 | 385 |1648 |1927 | 0.000000e+00 | -- | Inf
12.78/12.87 c 12.9s| 20200 | 55 |155838 | 7.7 |8706k| 52 | - | 258 |1142 | 0 | 0 | 385 |1654 |1927 | 0.000000e+00 | -- | Inf
12.88/12.91 c 12.9s| 20300 | 55 |156457 | 7.7 |8706k| 52 | 30 | 258 |1148 | 258 | 497 | 385 |1665 |1927 | 0.000000e+00 | -- | Inf
12.88/12.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.88/12.96 c 13.0s| 20400 | 55 |157223 | 7.7 |8712k| 52 | - | 258 |1151 | 258 | 497 | 385 |1672 |1927 | 0.000000e+00 | -- | Inf
12.98/13.01 c 13.0s| 20500 | 59 |158022 | 7.7 |8716k| 52 | 32 | 258 |1154 | 258 | 497 | 385 |1675 |1927 | 0.000000e+00 | -- | Inf
12.98/13.06 c 13.1s| 20600 | 55 |158651 | 7.7 |8716k| 52 | - | 258 |1158 | 0 | 0 | 385 |1679 |1937 | 0.000000e+00 | -- | Inf
13.08/13.11 c 13.1s| 20700 | 55 |159429 | 7.7 |8721k| 52 | - | 258 |1167 | 258 | 497 | 385 |1689 |1946 | 0.000000e+00 | -- | Inf
13.08/13.19 c 13.2s| 20800 | 52 |160415 | 7.7 |8711k| 52 | 30 | 258 |1172 | 258 | 497 | 385 |1699 |1967 | 0.000000e+00 | -- | Inf
13.19/13.24 c 13.2s| 20900 | 50 |160996 | 7.7 |8709k| 52 | - | 258 |1167 | 0 | 0 | 385 |1703 |1976 | 0.000000e+00 | -- | Inf
13.19/13.29 c 13.3s| 21000 | 52 |161766 | 7.7 |8712k| 52 | - | 258 |1156 | 0 | 0 | 385 |1707 |1979 | 0.000000e+00 | -- | Inf
13.29/13.34 c 13.3s| 21100 | 54 |162612 | 7.7 |8706k| 52 | 38 | 258 |1144 | 258 | 497 | 385 |1715 |1980 | 0.000000e+00 | -- | Inf
13.29/13.39 c 13.4s| 21200 | 55 |163404 | 7.7 |8711k| 52 | - | 258 |1141 | 0 | 0 | 385 |1726 |1982 | 0.000000e+00 | -- | Inf
13.39/13.43 c 13.4s| 21300 | 53 |163956 | 7.7 |8710k| 52 | 23 | 258 |1157 | 258 | 497 | 385 |1745 |1982 | 0.000000e+00 | -- | Inf
13.39/13.47 c 13.5s| 21400 | 55 |164553 | 7.7 |8713k| 52 | 19 | 258 |1159 | 258 | 497 | 385 |1754 |1982 | 0.000000e+00 | -- | Inf
13.48/13.52 c 13.5s| 21500 | 52 |165187 | 7.6 |8713k| 52 | - | 258 |1159 | 0 | 0 | 385 |1764 |1982 | 0.000000e+00 | -- | Inf
13.48/13.56 c 13.6s| 21600 | 52 |165837 | 7.6 |8715k| 52 | - | 258 |1156 | 258 | 497 | 385 |1768 |1982 | 0.000000e+00 | -- | Inf
13.58/13.61 c 13.6s| 21700 | 52 |166608 | 7.6 |8709k| 52 | - | 258 |1154 | 258 | 497 | 385 |1775 |1982 | 0.000000e+00 | -- | Inf
13.58/13.65 c 13.7s| 21800 | 50 |167253 | 7.6 |8701k| 52 | 23 | 258 |1146 | 258 | 497 | 385 |1782 |1982 | 0.000000e+00 | -- | Inf
13.69/13.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.69/13.71 c 13.7s| 21900 | 53 |168172 | 7.6 |8706k| 52 | 38 | 258 |1136 | 258 | 497 | 385 |1787 |1983 | 0.000000e+00 | -- | Inf
13.69/13.75 c 13.7s| 22000 | 55 |168654 | 7.6 |8713k| 52 | - | 258 |1140 | 0 | 0 | 385 |1800 |1983 | 0.000000e+00 | -- | Inf
13.69/13.79 c 13.8s| 22100 | 55 |169188 | 7.6 |8713k| 52 | 18 | 258 |1143 | 258 | 497 | 385 |1810 |1983 | 0.000000e+00 | -- | Inf
13.78/13.83 c 13.8s| 22200 | 53 |169784 | 7.6 |8711k| 52 | 27 | 258 |1147 | 258 | 497 | 385 |1816 |1983 | 0.000000e+00 | -- | Inf
13.78/13.87 c 13.9s| 22300 | 53 |170525 | 7.6 |8711k| 52 | 29 | 258 |1152 | 258 | 497 | 385 |1822 |1983 | 0.000000e+00 | -- | Inf
13.88/13.92 c 13.9s| 22400 | 52 |171321 | 7.6 |8710k| 52 | 38 | 258 |1147 | 258 | 497 | 385 |1826 |1983 | 0.000000e+00 | -- | Inf
13.88/13.97 c 14.0s| 22500 | 52 |172084 | 7.6 |8711k| 52 | 34 | 258 |1151 | 258 | 497 | 385 |1834 |1983 | 0.000000e+00 | -- | Inf
13.98/14.03 c 14.0s| 22600 | 55 |172804 | 7.6 |8715k| 52 | 34 | 258 |1149 | 258 | 497 | 385 |1841 |1992 | 0.000000e+00 | -- | Inf
13.98/14.08 c 14.1s| 22700 | 53 |173437 | 7.6 |8720k| 52 | - | 258 |1158 | 0 | 0 | 385 |1852 |1998 | 0.000000e+00 | -- | Inf
14.08/14.13 c 14.1s| 22800 | 51 |174104 | 7.6 |8724k| 52 | - | 258 |1169 | 0 | 0 | 385 |1867 |2012 | 0.000000e+00 | -- | Inf
14.08/14.20 c 14.2s| 22900 | 53 |174955 | 7.6 |8721k| 52 | - | 258 |1169 | 0 | 0 | 385 |1875 |2029 | 0.000000e+00 | -- | Inf
14.19/14.24 c 14.2s| 23000 | 53 |175558 | 7.6 |8727k| 52 | - | 258 |1176 | 0 | 0 | 385 |1885 |2036 | 0.000000e+00 | -- | Inf
14.19/14.29 c 14.3s| 23100 | 51 |176180 | 7.6 |8715k| 52 | 46 | 258 |1168 | 258 | 497 | 385 |1886 |2037 | 0.000000e+00 | -- | Inf
14.28/14.33 c 14.3s| 23200 | 51 |176830 | 7.6 |8711k| 52 | 37 | 258 |1156 | 258 | 497 | 385 |1887 |2038 | 0.000000e+00 | -- | Inf
14.28/14.38 c 14.4s| 23300 | 51 |177530 | 7.6 |8717k| 52 | - | 258 |1156 | 0 | 0 | 385 |1893 |2041 | 0.000000e+00 | -- | Inf
14.38/14.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.38/14.43 c 14.4s| 23400 | 53 |178402 | 7.6 |8717k| 52 | 33 | 258 |1157 | 258 | 497 | 385 |1901 |2041 | 0.000000e+00 | -- | Inf
14.38/14.48 c 14.5s| 23500 | 54 |179010 | 7.6 |8721k| 52 | - | 258 |1154 | 0 | 0 | 385 |1906 |2043 | 0.000000e+00 | -- | Inf
14.48/14.53 c 14.5s| 23600 | 54 |179852 | 7.6 |8725k| 52 | - | 258 |1158 | 0 | 0 | 385 |1918 |2043 | 0.000000e+00 | -- | Inf
14.48/14.58 c 14.6s| 23700 | 54 |180528 | 7.6 |8722k| 52 | 24 | 258 |1158 | 258 | 497 | 385 |1925 |2043 | 0.000000e+00 | -- | Inf
14.58/14.62 c 14.6s| 23800 | 52 |181264 | 7.6 |8723k| 52 | - | 258 |1161 | 0 | 0 | 385 |1933 |2043 | 0.000000e+00 | -- | Inf
14.58/14.67 c 14.7s| 23900 | 56 |181945 | 7.6 |8725k| 52 | 32 | 258 |1159 | 258 | 497 | 385 |1936 |2043 | 0.000000e+00 | -- | Inf
14.68/14.71 c 14.7s| 24000 | 59 |182762 | 7.6 |8733k| 52 | - | 258 |1163 | 258 | 497 | 385 |1940 |2043 | 0.000000e+00 | -- | Inf
14.68/14.76 c 14.8s| 24100 | 57 |183455 | 7.6 |8731k| 52 | 36 | 258 |1168 | 258 | 497 | 385 |1948 |2043 | 0.000000e+00 | -- | Inf
14.78/14.81 c 14.8s| 24200 | 60 |184333 | 7.6 |8738k| 52 | 21 | 258 |1169 | 258 | 497 | 385 |1953 |2043 | 0.000000e+00 | -- | Inf
14.78/14.86 c 14.9s| 24300 | 58 |185065 | 7.6 |8741k| 52 | - | 258 |1176 | 0 | 0 | 385 |1963 |2043 | 0.000000e+00 | -- | Inf
14.88/14.91 c 14.9s| 24400 | 54 |185932 | 7.6 |8731k| 52 | 37 | 258 |1179 | 258 | 497 | 385 |1967 |2043 | 0.000000e+00 | -- | Inf
14.88/14.95 c 15.0s| 24500 | 58 |186493 | 7.6 |8741k| 52 | - | 258 |1181 | 0 | 0 | 385 |1972 |2044 | 0.000000e+00 | -- | Inf
14.88/14.99 c 15.0s| 24600 | 58 |186995 | 7.6 |8746k| 52 | 19 | 258 |1193 | 258 | 497 | 385 |1986 |2044 | 0.000000e+00 | -- | Inf
14.98/15.05 c 15.0s| 24700 | 56 |187780 | 7.6 |8747k| 52 | 26 | 258 |1203 | 258 | 497 | 385 |1999 |2055 | 0.000000e+00 | -- | Inf
15.08/15.10 c 15.1s| 24800 | 60 |188443 | 7.6 |8752k| 52 | - | 258 |1201 | 0 | 0 | 385 |2003 |2062 | 0.000000e+00 | -- | Inf
15.08/15.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.08/15.14 c 15.1s| 24900 | 60 |188951 | 7.6 |8753k| 52 | 22 | 258 |1213 | 258 | 497 | 385 |2018 |2069 | 0.000000e+00 | -- | Inf
15.18/15.20 c 15.2s| 25000 | 60 |189643 | 7.6 |8757k| 52 | 16 | 258 |1217 | 258 | 497 | 385 |2023 |2084 | 0.000000e+00 | -- | Inf
15.18/15.24 c 15.2s| 25100 | 55 |190114 | 7.5 |8754k| 52 | - | 258 |1224 | 0 | 0 | 385 |2034 |2089 | 0.000000e+00 | -- | Inf
15.18/15.29 c 15.3s| 25200 | 60 |190784 | 7.5 |8763k| 52 | - | 258 |1229 | 0 | 0 | 385 |2045 |2099 | 0.000000e+00 | -- | Inf
15.29/15.34 c 15.3s| 25300 | 59 |191376 | 7.5 |8761k| 52 | 21 | 258 |1233 | 258 | 497 | 385 |2051 |2108 | 0.000000e+00 | -- | Inf
15.29/15.38 c 15.4s| 25400 | 56 |191913 | 7.5 |8764k| 52 | - | 258 |1234 | 0 | 0 | 385 |2060 |2109 | 0.000000e+00 | -- | Inf
15.39/15.42 c 15.4s| 25500 | 56 |192413 | 7.5 |8758k| 52 | - | 258 |1234 | 0 | 0 | 385 |2072 |2111 | 0.000000e+00 | -- | Inf
15.39/15.47 c 15.5s| 25600 | 53 |192986 | 7.5 |8754k| 52 | 25 | 258 |1239 | 258 | 497 | 385 |2080 |2115 | 0.000000e+00 | -- | Inf
15.48/15.51 c 15.5s| 25700 | 55 |193587 | 7.5 |8760k| 52 | 25 | 258 |1241 | 258 | 497 | 385 |2085 |2116 | 0.000000e+00 | -- | Inf
15.48/15.55 c 15.5s| 25800 | 53 |194149 | 7.5 |8760k| 52 | - | 258 |1240 | 258 | 497 | 385 |2086 |2116 | 0.000000e+00 | -- | Inf
15.48/15.59 c 15.6s| 25900 | 59 |194896 | 7.5 |8767k| 52 | - | 258 |1234 | 0 | 0 | 385 |2086 |2117 | 0.000000e+00 | -- | Inf
15.58/15.64 c 15.6s| 26000 | 64 |195631 | 7.5 |8773k| 52 | 27 | 258 |1236 | 258 | 497 | 385 |2095 |2117 | 0.000000e+00 | -- | Inf
15.58/15.68 c 15.7s| 26100 | 60 |196172 | 7.5 |8776k| 52 | - | 258 |1243 | 0 | 0 | 385 |2102 |2118 | 0.000000e+00 | -- | Inf
15.68/15.72 c 15.7s| 26200 | 58 |196855 | 7.5 |8769k| 52 | 28 | 258 |1245 | 258 | 497 | 385 |2110 |2118 | 0.000000e+00 | -- | Inf
15.68/15.77 c 15.8s| 26300 | 60 |197687 | 7.5 |8774k| 52 | 21 | 258 |1249 | 258 | 497 | 385 |2118 |2118 | 0.000000e+00 | -- | Inf
15.78/15.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.78/15.82 c 15.8s| 26400 | 58 |198364 | 7.5 |8773k| 52 | 30 | 258 |1251 | 258 | 497 | 385 |2121 |2118 | 0.000000e+00 | -- | Inf
15.78/15.86 c 15.9s| 26500 | 57 |198993 | 7.5 |8775k| 52 | - | 258 |1259 | 0 | 0 | 385 |2129 |2118 | 0.000000e+00 | -- | Inf
15.88/15.90 c 15.9s| 26600 | 55 |199586 | 7.5 |8773k| 52 | 30 | 258 |1268 | 258 | 497 | 385 |2139 |2118 | 0.000000e+00 | -- | Inf
15.88/15.95 c 15.9s| 26700 | 55 |200249 | 7.5 |8771k| 52 | 33 | 258 |1268 | 258 | 497 | 385 |2139 |2118 | 0.000000e+00 | -- | Inf
15.88/15.99 c 16.0s| 26800 | 55 |200939 | 7.5 |8771k| 52 | 13 | 258 |1275 | 258 | 497 | 385 |2151 |2119 | 0.000000e+00 | -- | Inf
15.98/16.03 c 16.0s| 26900 | 53 |201501 | 7.5 |8774k| 52 | - | 258 |1273 | 0 | 0 | 385 |2154 |2119 | 0.000000e+00 | -- | Inf
15.98/16.08 c 16.1s| 27000 | 52 |202252 | 7.5 |8768k| 52 | 28 | 258 |1272 | 258 | 497 | 385 |2157 |2119 | 0.000000e+00 | -- | Inf
16.08/16.13 c 16.1s| 27100 | 52 |203020 | 7.5 |8761k| 53 | 41 | 258 |1269 | 258 | 497 | 385 |2164 |2121 | 0.000000e+00 | -- | Inf
16.08/16.17 c 16.2s| 27200 | 59 |203641 | 7.5 |8776k| 53 | - | 258 |1271 | 0 | 0 | 385 |2183 |2124 | 0.000000e+00 | -- | Inf
16.18/16.23 c 16.2s| 27300 | 57 |204265 | 7.5 |8777k| 53 | - | 258 |1270 | 0 | 0 | 385 |2187 |2138 | 0.000000e+00 | -- | Inf
16.18/16.27 c 16.3s| 27400 | 55 |204903 | 7.5 |8772k| 53 | 20 | 258 |1274 | 258 | 497 | 385 |2201 |2146 | 0.000000e+00 | -- | Inf
16.28/16.34 c 16.3s| 27500 | 52 |205676 | 7.5 |8763k| 53 | 31 | 258 |1273 | 258 | 497 | 385 |2209 |2165 | 0.000000e+00 | -- | Inf
16.28/16.39 c 16.4s| 27600 | 56 |206214 | 7.4 |8763k| 53 | 18 | 258 |1266 | 258 | 497 | 385 |2220 |2169 | 0.000000e+00 | -- | Inf
16.38/16.43 c 16.4s| 27700 | 56 |206702 | 7.4 |8764k| 53 | 18 | 258 |1255 | 258 | 497 | 385 |2221 |2179 | 0.000000e+00 | -- | Inf
16.38/16.48 c 16.5s| 27800 | 58 |207309 | 7.4 |8764k| 53 | 27 | 258 |1242 | 258 | 497 | 385 |2227 |2181 | 0.000000e+00 | -- | Inf
16.49/16.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.49/16.52 c 16.5s| 27900 | 54 |207909 | 7.4 |8758k| 53 | - | 258 |1235 | 0 | 0 | 385 |2233 |2183 | 0.000000e+00 | -- | Inf
16.49/16.57 c 16.6s| 28000 | 56 |208547 | 7.4 |8754k| 53 | 34 | 258 |1222 | 258 | 497 | 385 |2239 |2188 | 0.000000e+00 | -- | Inf
16.58/16.61 c 16.6s| 28100 | 58 |209082 | 7.4 |8758k| 53 | 40 | 258 |1222 | 258 | 497 | 385 |2251 |2188 | 0.000000e+00 | -- | Inf
16.58/16.66 c 16.7s| 28200 | 59 |209746 | 7.4 |8761k| 53 | 19 | 258 |1225 | 258 | 497 | 385 |2257 |2189 | 0.000000e+00 | -- | Inf
16.68/16.70 c 16.7s| 28300 | 55 |210342 | 7.4 |8762k| 53 | - | 258 |1233 | 0 | 0 | 385 |2270 |2189 | 0.000000e+00 | -- | Inf
16.68/16.75 c 16.7s| 28400 | 53 |211094 | 7.4 |8755k| 53 | 33 | 258 |1233 | 258 | 497 | 385 |2275 |2191 | 0.000000e+00 | -- | Inf
16.78/16.80 c 16.8s| 28500 | 57 |211955 | 7.4 |8767k| 53 | - | 258 |1231 | 0 | 0 | 385 |2275 |2192 | 0.000000e+00 | -- | Inf
16.78/16.84 c 16.8s| 28600 | 57 |212558 | 7.4 |8768k| 53 | - | 258 |1235 | 258 | 497 | 385 |2282 |2192 | 0.000000e+00 | -- | Inf
16.78/16.89 c 16.9s| 28700 | 63 |213260 | 7.4 |8777k| 53 | - | 258 |1235 | 0 | 0 | 385 |2287 |2192 | 0.000000e+00 | -- | Inf
16.88/16.93 c 16.9s| 28800 | 62 |213927 | 7.4 |8779k| 53 | 25 | 258 |1247 | 258 | 497 | 385 |2302 |2192 | 0.000000e+00 | -- | Inf
16.88/16.98 c 17.0s| 28900 | 62 |214633 | 7.4 |8788k| 53 | - | 258 |1254 | 0 | 0 | 385 |2314 |2192 | 0.000000e+00 | -- | Inf
16.98/17.03 c 17.0s| 29000 | 61 |215320 | 7.4 |8782k| 53 | 23 | 258 |1255 | 258 | 497 | 385 |2317 |2192 | 0.000000e+00 | -- | Inf
16.98/17.08 c 17.1s| 29100 | 63 |216141 | 7.4 |8790k| 53 | - | 258 |1260 | 0 | 0 | 385 |2327 |2192 | 0.000000e+00 | -- | Inf
17.08/17.12 c 17.1s| 29200 | 60 |216738 | 7.4 |8785k| 53 | 25 | 258 |1262 | 258 | 497 | 385 |2332 |2192 | 0.000000e+00 | -- | Inf
17.08/17.17 c 17.2s| 29300 | 62 |217516 | 7.4 |8795k| 53 | - | 258 |1270 | 0 | 0 | 385 |2340 |2192 | 0.000000e+00 | -- | Inf
17.18/17.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.18/17.20 c 17.2s| 29400 | 62 |218031 | 7.4 |8797k| 53 | - | 258 |1272 | 0 | 0 | 385 |2344 |2192 | 0.000000e+00 | -- | Inf
17.18/17.25 c 17.2s| 29500 | 60 |218702 | 7.4 |8794k| 53 | 33 | 258 |1278 | 258 | 497 | 385 |2350 |2192 | 0.000000e+00 | -- | Inf
17.28/17.30 c 17.3s| 29600 | 58 |219349 | 7.4 |8789k| 53 | 23 | 258 |1284 | 258 | 497 | 385 |2360 |2201 | 0.000000e+00 | -- | Inf
17.28/17.35 c 17.3s| 29700 | 55 |219996 | 7.4 |8785k| 53 | 34 | 258 |1292 | 258 | 497 | 385 |2371 |2205 | 0.000000e+00 | -- | Inf
17.38/17.40 c 17.4s| 29800 | 57 |220627 | 7.4 |8793k| 53 | 25 | 258 |1298 | 258 | 497 | 385 |2378 |2218 | 0.000000e+00 | -- | Inf
17.38/17.45 c 17.4s| 29900 | 57 |221152 | 7.4 |8799k| 53 | - | 258 |1299 | 0 | 0 | 385 |2382 |2229 | 0.000000e+00 | -- | Inf
17.38/17.49 c 17.5s| 30000 | 55 |221725 | 7.4 |8787k| 57 | 31 | 258 |1297 | 258 | 497 | 385 |2385 |2237 | 0.000000e+00 | -- | Inf
17.49/17.54 c 17.5s| 30100 | 55 |222388 | 7.4 |8785k| 57 | 36 | 258 |1296 | 258 | 497 | 385 |2387 |2248 | 0.000000e+00 | -- | Inf
17.49/17.59 c 17.6s| 30200 | 55 |223143 | 7.4 |8789k| 57 | - | 258 |1296 | 258 | 497 | 385 |2390 |2250 | 0.000000e+00 | -- | Inf
17.59/17.63 c 17.6s| 30300 | 55 |223747 | 7.4 |8785k| 57 | 39 | 258 |1298 | 258 | 497 | 385 |2394 |2251 | 0.000000e+00 | -- | Inf
17.59/17.68 c 17.7s| 30400 | 59 |224439 | 7.4 |8798k| 57 | 20 | 258 |1305 | 258 | 497 | 385 |2403 |2252 | 0.000000e+00 | -- | Inf
17.68/17.73 c 17.7s| 30500 | 57 |225215 | 7.4 |8793k| 57 | 23 | 258 |1309 | 258 | 497 | 385 |2414 |2253 | 0.000000e+00 | -- | Inf
17.68/17.79 c 17.8s| 30600 | 53 |226183 | 7.4 |8790k| 57 | - | 258 |1300 | 258 | 497 | 385 |2415 |2255 | 0.000000e+00 | -- | Inf
17.78/17.84 c 17.8s| 30700 | 53 |226936 | 7.4 |8788k| 57 | 39 | 258 |1304 | 258 | 497 | 385 |2428 |2256 | 0.000000e+00 | -- | Inf
17.78/17.89 c 17.9s| 30800 | 51 |227667 | 7.4 |8788k| 57 | - | 258 |1301 | 258 | 497 | 385 |2428 |2256 | 0.000000e+00 | -- | Inf
17.88/17.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.88/17.94 c 17.9s| 30900 | 51 |228619 | 7.4 |8772k| 57 | 33 | 258 |1285 | 258 | 497 | 385 |2428 |2258 | 0.000000e+00 | -- | Inf
17.88/17.99 c 18.0s| 31000 | 52 |229250 | 7.4 |8773k| 57 | - | 258 |1269 | 0 | 0 | 385 |2437 |2263 | 0.000000e+00 | -- | Inf
17.98/18.03 c 18.0s| 31100 | 55 |229909 | 7.4 |8775k| 57 | 28 | 258 |1266 | 258 | 497 | 385 |2442 |2263 | 0.000000e+00 | -- | Inf
17.98/18.08 c 18.1s| 31200 | 55 |230665 | 7.4 |8778k| 57 | - | 258 |1259 | 0 | 0 | 385 |2445 |2263 | 0.000000e+00 | -- | Inf
18.08/18.13 c 18.1s| 31300 | 58 |231388 | 7.4 |8782k| 57 | - | 258 |1256 | 0 | 0 | 385 |2454 |2263 | 0.000000e+00 | -- | Inf
18.08/18.17 c 18.2s| 31400 | 58 |232133 | 7.4 |8782k| 57 | - | 258 |1257 | 0 | 0 | 385 |2459 |2263 | 0.000000e+00 | -- | Inf
18.18/18.21 c 18.2s| 31500 | 59 |232528 | 7.4 |8787k| 57 | 22 | 258 |1272 | 258 | 497 | 385 |2475 |2263 | 0.000000e+00 | -- | Inf
18.18/18.25 c 18.3s| 31600 | 55 |233217 | 7.4 |8786k| 57 | 35 | 258 |1284 | 258 | 497 | 385 |2488 |2263 | 0.000000e+00 | -- | Inf
18.18/18.29 c 18.3s| 31700 | 55 |233714 | 7.3 |8792k| 57 | - | 258 |1281 | 0 | 0 | 385 |2496 |2263 | 0.000000e+00 | -- | Inf
18.28/18.33 c 18.3s| 31800 | 57 |234341 | 7.3 |8788k| 57 | - | 258 |1272 | 258 | 497 | 385 |2498 |2263 | 0.000000e+00 | -- | Inf
18.28/18.38 c 18.4s| 31900 | 63 |235090 | 7.3 |8800k| 57 | - | 258 |1277 | 0 | 0 | 385 |2507 |2263 | 0.000000e+00 | -- | Inf
18.38/18.43 c 18.4s| 32000 | 63 |235618 | 7.3 |8806k| 57 | - | 258 |1283 | 258 | 497 | 385 |2517 |2272 | 0.000000e+00 | -- | Inf
18.38/18.47 c 18.5s| 32100 | 61 |236148 | 7.3 |8805k| 57 | - | 258 |1293 | 0 | 0 | 385 |2530 |2272 | 0.000000e+00 | -- | Inf
18.48/18.52 c 18.5s| 32200 | 59 |236863 | 7.3 |8806k| 57 | - | 258 |1298 | 0 | 0 | 385 |2537 |2283 | 0.000000e+00 | -- | Inf
18.48/18.57 c 18.6s| 32300 | 57 |237481 | 7.3 |8796k| 57 | 24 | 258 |1298 | 258 | 497 | 385 |2551 |2291 | 0.000000e+00 | -- | Inf
18.58/18.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.58/18.62 c 18.6s| 32400 | 55 |238169 | 7.3 |8796k| 57 | 38 | 258 |1303 | 258 | 497 | 385 |2558 |2299 | 0.000000e+00 | -- | Inf
18.58/18.68 c 18.7s| 32500 | 49 |238896 | 7.3 |8783k| 57 | - | 258 |1299 | 0 | 0 | 385 |2562 |2311 | 0.000000e+00 | -- | Inf
18.69/18.74 c 18.7s| 32600 | 49 |239675 | 7.3 |8771k| 57 | 43 | 258 |1295 | 258 | 497 | 385 |2567 |2326 | 0.000000e+00 | -- | Inf
18.78/18.80 c 18.8s| 32700 | 48 |240448 | 7.3 |8767k| 57 | - | 258 |1287 | 258 | 497 | 385 |2572 |2334 | 0.000000e+00 | -- | Inf
18.78/18.85 c 18.8s| 32800 | 49 |241293 | 7.3 |8764k| 57 | 16 | 258 |1281 | 258 | 497 | 385 |2576 |2335 | 0.000000e+00 | -- | Inf
18.78/18.89 c 18.9s| 32900 | 48 |241969 | 7.3 |8765k| 57 | 35 | 258 |1283 | 258 | 497 | 385 |2583 |2337 | 0.000000e+00 | -- | Inf
18.88/18.94 c 18.9s| 33000 | 50 |242664 | 7.3 |8771k| 57 | - | 258 |1279 | 0 | 0 | 385 |2584 |2337 | 0.000000e+00 | -- | Inf
18.88/18.98 c 19.0s| 33100 | 48 |243230 | 7.3 |8767k| 57 | 32 | 258 |1283 | 258 | 497 | 385 |2589 |2339 | 0.000000e+00 | -- | Inf
18.98/19.02 c 19.0s| 33200 | 46 |243893 | 7.3 |8765k| 57 | - | 258 |1282 | 0 | 0 | 385 |2594 |2339 | 0.000000e+00 | -- | Inf
18.98/19.06 c 19.1s| 33300 | 46 |244573 | 7.3 |8767k| 57 | - | 258 |1289 | 258 | 497 | 385 |2602 |2339 | 0.000000e+00 | -- | Inf
19.08/19.12 c 19.1s| 33400 | 48 |245505 | 7.3 |8771k| 57 | - | 258 |1298 | 0 | 0 | 385 |2620 |2339 | 0.000000e+00 | -- | Inf
19.08/19.16 c 19.2s| 33500 | 48 |246159 | 7.3 |8769k| 57 | 28 | 258 |1294 | 258 | 497 | 385 |2629 |2339 | 0.000000e+00 | -- | Inf
19.18/19.21 c 19.2s| 33600 | 47 |246792 | 7.3 |8765k| 57 | - | 258 |1296 | 258 | 497 | 385 |2640 |2339 | 0.000000e+00 | -- | Inf
19.18/19.25 c 19.3s| 33700 | 47 |247505 | 7.3 |8768k| 57 | - | 258 |1303 | 0 | 0 | 385 |2649 |2339 | 0.000000e+00 | -- | Inf
19.28/19.30 c 19.3s| 33800 | 47 |248236 | 7.3 |8766k| 57 | 31 | 258 |1310 | 258 | 497 | 385 |2656 |2340 | 0.000000e+00 | -- | Inf
19.28/19.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
19.28/19.35 c 19.4s| 33900 | 48 |248912 | 7.3 |8769k| 57 | 42 | 258 |1293 | 258 | 497 | 385 |2669 |2349 | 0.000000e+00 | -- | Inf
19.38/19.41 c 19.4s| 34000 | 53 |249600 | 7.3 |8777k| 57 | 25 | 258 |1284 | 258 | 497 | 385 |2682 |2360 | 0.000000e+00 | -- | Inf
19.38/19.44 c *19.4s| 34081 | 0 |250146 | 7.3 |8705k| 57 | - | 258 |1285 | 258 | 497 | 385 |2684 |2363 | 0.000000e+00 | 0.000000e+00 | 0.00%
19.38/19.44 c
19.38/19.44 c SCIP Status : problem is solved [optimal solution found]
19.38/19.44 c Solving Time (sec) : 19.44
19.38/19.44 c Solving Nodes : 34081
19.38/19.44 c Primal Bound : +0.00000000000000e+00 (1 solutions)
19.38/19.44 c Dual Bound : +0.00000000000000e+00
19.38/19.44 c Gap : 0.00 %
19.38/19.44 s SATISFIABLE
19.38/19.44 v x265 -x266 -x263 x264 x261 -x262 -x259 x260 x257 -x258 -x255 x256 -x253 -x254 -x251 x252 -x249 -x250 x247 -x248 -x245 x246 x243
19.38/19.44 v -x244 -x241 x242 x239 -x240 -x237 x238 x235 -x236 -x233 x234 x231 -x232 -x229 x230 x227 -x228 -x225 x226 x223 -x224 -x221 -x222
19.38/19.44 v -x219 -x220 -x217 x218 -x215 -x216 x213 -x214 -x211 x212 x209 -x210 -x207 x208 x205 -x206 -x203 x204 x201 -x202 -x199 x200
19.38/19.44 v -x197 x198 x195 -x196 -x193 x194 x191 -x192 -x189 x190 x187 -x188 x185 -x186 x183 -x184 -x181 x182 x179 -x180 x177 -x178 -x175
19.38/19.44 v x176 x173 -x174 -x171 x172 x169 -x170 x167 -x168 x165 -x166 -x163 x164 -x162 x160 -x158 x156 -x154 x152 -x150 x148 -x146
19.38/19.44 v -x144 -x142 -x140 -x138 -x136 -x134 x132 -x130 -x128 -x126 -x124 -x122 -x120 -x118 -x116 -x114 -x112 -x110 -x108 -x106 -x104
19.38/19.44 v -x102 -x100 -x98 x96 -x94 -x92 -x90 -x88 -x86 -x84 -x82 -x80 -x78 -x76 -x74 -x72 -x70 -x68 -x66 -x64 -x62 x60 -x58 -x56 -x54
19.38/19.44 v x52 -x50 x48 -x46 x44 -x42 x40 -x38 -x36 -x34 -x32 -x30 -x28 -x26 x24 -x22 -x20 -x18 -x16 -x14 -x12 -x10 -x8 -x6 -x4 -x2 -x161
19.38/19.44 v -x159 -x157 -x155 -x153 -x151 -x149 -x147 -x145 -x143 -x141 -x139 -x137 -x135 -x133 -x131 -x129 -x127 x125 -x123 x121 -x119
19.38/19.44 v x117 -x115 -x113 -x111 x109 -x107 -x105 -x103 -x101 -x99 -x97 -x95 -x93 -x91 x89 -x87 x85 -x83 x81 -x79 -x77 -x75 x73 -x71 -x69
19.38/19.44 v -x67 -x65 -x63 -x61 -x59 -x57 -x55 -x53 -x51 -x49 -x47 -x45 -x43 -x41 -x39 -x37 -x35 -x33 -x31 -x29 -x27 -x25 -x23 -x21 -x19
19.38/19.44 v x17 -x15 x13 -x11 x9 -x7 -x5 -x3 x1
19.38/19.44 c SCIP Status : problem is solved [optimal solution found]
19.38/19.44 c Total Time : 19.44
19.38/19.44 c solving : 19.44
19.38/19.44 c presolving : 0.02 (included in solving)
19.38/19.44 c reading : 0.00 (included in solving)
19.38/19.44 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
19.38/19.44 c Original Problem :
19.38/19.44 c Problem name : HOME/instance-3690481-1338016920.opb
19.38/19.44 c Variables : 266 (266 binary, 0 integer, 0 implicit integer, 0 continuous)
19.38/19.44 c Constraints : 401 initial, 401 maximal
19.38/19.44 c Objective sense : minimize
19.38/19.44 c Presolved Problem :
19.38/19.44 c Problem name : t_HOME/instance-3690481-1338016920.opb
19.38/19.44 c Variables : 258 (258 binary, 0 integer, 0 implicit integer, 0 continuous)
19.38/19.44 c Constraints : 389 initial, 1315 maximal
19.38/19.44 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
19.38/19.44 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
19.38/19.44 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
19.38/19.44 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
19.38/19.44 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
19.38/19.44 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
19.38/19.44 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
19.38/19.44 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
19.38/19.44 c implics : 0.00 0.00 0 8 0 0 0 0 0 0 0
19.38/19.44 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
19.38/19.44 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
19.38/19.44 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
19.38/19.44 c knapsack : 0.01 0.00 0 0 0 0 0 0 0 0 0
19.38/19.44 c setppc : 0.00 0.00 0 0 0 0 0 12 0 0 0
19.38/19.44 c linear : 0.01 0.00 0 0 0 0 0 0 0 0 0
19.38/19.44 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
19.38/19.44 c root node : - - 0 - - 0 - - - - -
19.38/19.44 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
19.38/19.44 c integral : 0 0 0 0 17344 0 3 0 27 277 0 0 34306
19.38/19.44 c knapsack : 164 164 5 87281 0 0 0 166488 12781 304165 487 0 0
19.38/19.44 c setppc : 129 129 5 73434 0 0 0 36902 42 94541 0 0 0
19.38/19.44 c linear : 0+ 12 5 2158 0 0 0 1 0 15 0 0 0
19.38/19.44 c logicor : 96+ 1010 5 56281 1 0 0 817 268 58714 0 0 0
19.38/19.44 c countsols : 0 0 0 0 1 0 2 0 0 0 0 0 0
19.38/19.44 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
19.38/19.44 c integral : 2.96 0.00 0.00 0.00 2.96 0.00 0.00 0.00
19.38/19.44 c knapsack : 1.13 0.00 0.01 0.95 0.00 0.00 0.00 0.17
19.38/19.44 c setppc : 0.22 0.00 0.00 0.18 0.00 0.00 0.00 0.03
19.38/19.44 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
19.38/19.44 c logicor : 0.31 0.00 0.00 0.30 0.00 0.00 0.00 0.00
19.38/19.44 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
19.38/19.44 c Propagators : #Propagate #ResProp Cutoffs DomReds
19.38/19.44 c rootredcost : 0 0 0 0
19.38/19.44 c pseudoobj : 0 0 0 0
19.38/19.44 c vbounds : 0 0 0 0
19.38/19.44 c redcost : 17349 0 0 0
19.38/19.44 c probing : 0 0 0 0
19.38/19.44 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
19.38/19.44 c rootredcost : 0.07 0.00 0.00 0.07 0.00
19.38/19.44 c pseudoobj : 0.08 0.00 0.00 0.08 0.00
19.38/19.44 c vbounds : 0.07 0.00 0.00 0.07 0.00
19.38/19.44 c redcost : 0.08 0.00 0.00 0.08 0.00
19.38/19.44 c probing : 0.00 0.00 0.00 0.00 0.00
19.38/19.44 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
19.38/19.44 c propagation : 0.46 2090 1829 10125 54.1 28 53.1 -
19.38/19.44 c infeasible LP : 0.20 3977 0 0 0.0 0 0.0 0
19.38/19.44 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
19.38/19.44 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
19.38/19.44 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
19.38/19.44 c applied globally : - - - 2453 18.1 - - -
19.38/19.44 c applied locally : - - - 231 35.4 - - -
19.38/19.44 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
19.38/19.44 c cut pool : 0.00 4 - - 169 - (maximal pool size: 1710)
19.38/19.44 c closecuts : 0.00 0.00 0 0 0 0 0
19.38/19.44 c impliedbounds : 0.00 0.00 5 0 0 565 0
19.38/19.44 c intobj : 0.00 0.00 0 0 0 0 0
19.38/19.44 c gomory : 0.11 0.00 5 0 0 102 0
19.38/19.44 c cgmip : 0.00 0.00 0 0 0 0 0
19.38/19.44 c strongcg : 0.15 0.00 5 0 0 2079 0
19.38/19.44 c cmir : 0.00 0.00 0 0 0 0 0
19.38/19.44 c flowcover : 0.00 0.00 0 0 0 0 0
19.38/19.44 c clique : 0.01 0.00 1 0 0 0 0
19.38/19.44 c zerohalf : 0.00 0.00 0 0 0 0 0
19.38/19.44 c mcf : 0.00 0.00 1 0 0 0 0
19.38/19.44 c oddcycle : 0.00 0.00 0 0 0 0 0
19.38/19.44 c rapidlearning : 0.10 0.00 1 0 0 0 12
19.38/19.44 c Pricers : ExecTime SetupTime Calls Vars
19.38/19.44 c problem variables: 0.00 - 0 0
19.38/19.44 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
19.38/19.44 c relpscost : 2.92 0.00 17343 27 277 0 0 34306
19.38/19.44 c pscost : 0.00 0.00 0 0 0 0 0 0
19.38/19.44 c inference : 0.00 0.00 0 0 0 0 0 0
19.38/19.44 c mostinf : 0.00 0.00 0 0 0 0 0 0
19.38/19.44 c leastinf : 0.00 0.00 0 0 0 0 0 0
19.38/19.44 c fullstrong : 0.00 0.00 0 0 0 0 0 0
19.38/19.44 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
19.38/19.44 c random : 0.00 0.00 0 0 0 0 0 0
19.38/19.44 c Primal Heuristics : ExecTime SetupTime Calls Found
19.38/19.44 c LP solutions : 0.00 - - 1
19.38/19.44 c pseudo solutions : 0.00 - - 0
19.38/19.44 c smallcard : 0.00 0.00 0 0
19.38/19.44 c trivial : 0.00 0.00 1 0
19.38/19.44 c shiftandpropagate: 0.00 0.00 0 0
19.38/19.44 c simplerounding : 0.00 0.00 0 0
19.38/19.44 c zirounding : 0.00 0.00 0 0
19.38/19.44 c rounding : 0.00 0.00 0 0
19.38/19.44 c shifting : 0.00 0.00 0 0
19.38/19.44 c intshifting : 0.00 0.00 0 0
19.38/19.44 c oneopt : 0.00 0.00 0 0
19.38/19.44 c twoopt : 0.00 0.00 0 0
19.38/19.44 c indtwoopt : 0.00 0.00 0 0
19.38/19.44 c indoneopt : 0.00 0.00 0 0
19.38/19.44 c fixandinfer : 0.00 0.00 0 0
19.38/19.44 c feaspump : 0.00 0.00 0 0
19.38/19.44 c clique : 0.00 0.00 0 0
19.38/19.44 c indrounding : 0.00 0.00 0 0
19.38/19.44 c indcoefdiving : 0.00 0.00 0 0
19.38/19.44 c coefdiving : 0.00 0.00 0 0
19.38/19.44 c pscostdiving : 0.00 0.00 0 0
19.38/19.44 c nlpdiving : 0.00 0.00 0 0
19.38/19.44 c fracdiving : 0.00 0.00 0 0
19.38/19.44 c veclendiving : 0.00 0.00 0 0
19.38/19.44 c intdiving : 0.00 0.00 0 0
19.38/19.44 c actconsdiving : 0.00 0.00 0 0
19.38/19.44 c objpscostdiving : 0.00 0.00 0 0
19.38/19.44 c rootsoldiving : 0.00 0.00 0 0
19.38/19.44 c linesearchdiving : 0.00 0.00 0 0
19.38/19.44 c guideddiving : 0.00 0.00 0 0
19.38/19.44 c octane : 0.00 0.00 0 0
19.38/19.44 c rens : 0.00 0.00 0 0
19.38/19.44 c rins : 0.00 0.00 0 0
19.38/19.44 c localbranching : 0.00 0.00 0 0
19.38/19.44 c mutation : 0.00 0.00 0 0
19.38/19.44 c crossover : 0.00 0.00 0 0
19.38/19.44 c dins : 0.00 0.00 0 0
19.38/19.44 c vbounds : 0.00 0.00 0 0
19.38/19.44 c undercover : 0.00 0.00 0 0
19.38/19.44 c subnlp : 0.00 0.00 0 0
19.38/19.44 c trysol : 0.00 0.00 0 0
19.38/19.44 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
19.38/19.44 c primal LP : 0.00 1 0 0.00 - 0.00 1
19.38/19.44 c dual LP : 10.78 21326 250146 11.74 23197.92 0.00 26
19.38/19.44 c lex dual LP : 0.00 0 0 0.00 -
19.38/19.44 c barrier LP : 0.00 0 0 0.00 - 0.00 0
19.38/19.44 c diving/probing LP: 0.00 0 0 0.00 -
19.38/19.44 c strong branching : 2.70 2363 44649 18.90 16524.16
19.38/19.44 c (at root node) : - 10 3349 334.90 -
19.38/19.44 c conflict analysis: 0.00 0 0 0.00 -
19.38/19.44 c B&B Tree :
19.38/19.44 c number of runs : 1
19.38/19.44 c nodes : 34081
19.38/19.44 c nodes (total) : 34081
19.38/19.44 c nodes left : 0
19.38/19.44 c max depth : 57
19.38/19.44 c max depth (total): 57
19.38/19.44 c backtracks : 4461 (13.1%)
19.38/19.44 c delayed cutoffs : 172
19.38/19.44 c repropagations : 4045 (10098 domain reductions, 168 cutoffs)
19.38/19.44 c avg switch length: 2.84
19.38/19.44 c switching time : 0.91
19.38/19.44 c Solution :
19.38/19.44 c Solutions found : 1 (1 improvements)
19.38/19.44 c First Solution : +0.00000000000000e+00 (in run 1, after 34081 nodes, 19.44 seconds, depth 35, found by <relaxation>)
19.38/19.44 c Primal Bound : +0.00000000000000e+00 (in run 1, after 34081 nodes, 19.44 seconds, depth 35, found by <relaxation>)
19.38/19.44 c Dual Bound : +0.00000000000000e+00
19.38/19.44 c Gap : 0.00 %
19.38/19.44 c Root Dual Bound : +0.00000000000000e+00
19.38/19.44 c Root Iterations : 770
19.38/19.45 c Time complete: 19.43.
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-3690481-1338016920/watcher-3690481-1338016920 -o /tmp/evaluation-result-3690481-1338016920/solver-3690481-1338016920 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690481-1338016920.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.22 0.82 2/173 32183
/proc/meminfo: memFree=29083272/32873844 swapFree=7124/7124
[pid=32183] ppid=32181 vsize=9164 CPUtime=0 cores=1,3,5,7
/proc/32183/stat : 32183 (scip-2.1.1.4fix) R 32181 32183 32151 0 -1 4202496 967 0 0 0 0 0 0 0 20 0 1 0 267817440 9383936 922 33554432000 4194304 10173063 140735864866112 140733515349832 8846909 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 2291 929 392 1460 0 822 0
[startup+0.0671289 s]
/proc/loadavg: 0.00 0.22 0.82 2/173 32183
/proc/meminfo: memFree=29083272/32873844 swapFree=7124/7124
[pid=32183] ppid=32181 vsize=31692 CPUtime=0.05 cores=1,3,5,7
/proc/32183/stat : 32183 (scip-2.1.1.4fix) R 32181 32183 32151 0 -1 4202496 6665 0 0 0 3 2 0 0 20 0 1 0 267817440 32452608 6361 33554432000 4194304 10173063 140735864866112 140733515349832 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 7923 6361 800 1460 0 6454 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 31692
[startup+0.100297 s]
/proc/loadavg: 0.00 0.22 0.82 2/173 32183
/proc/meminfo: memFree=29083272/32873844 swapFree=7124/7124
[pid=32183] ppid=32181 vsize=35204 CPUtime=0.08 cores=1,3,5,7
/proc/32183/stat : 32183 (scip-2.1.1.4fix) R 32181 32183 32151 0 -1 4202496 7583 0 0 0 5 3 0 0 20 0 1 0 267817440 36048896 7279 33554432000 4194304 10173063 140735864866112 140733515349832 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 8801 7279 808 1460 0 7332 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 35204
[startup+0.300252 s]
/proc/loadavg: 0.00 0.22 0.82 2/173 32183
/proc/meminfo: memFree=29083272/32873844 swapFree=7124/7124
[pid=32183] ppid=32181 vsize=35468 CPUtime=0.29 cores=1,3,5,7
/proc/32183/stat : 32183 (scip-2.1.1.4fix) R 32181 32183 32151 0 -1 4202496 7663 0 0 0 24 5 0 0 20 0 1 0 267817440 36319232 7359 33554432000 4194304 10173063 140735864866112 140735864861032 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 8867 7359 829 1460 0 7398 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35468
[startup+0.700212 s]
/proc/loadavg: 0.00 0.22 0.82 2/173 32183
/proc/meminfo: memFree=29083272/32873844 swapFree=7124/7124
[pid=32183] ppid=32181 vsize=35580 CPUtime=0.69 cores=1,3,5,7
/proc/32183/stat : 32183 (scip-2.1.1.4fix) R 32181 32183 32151 0 -1 4202496 7823 0 0 0 63 6 0 0 20 0 1 0 267817440 36433920 7519 33554432000 4194304 10173063 140735864866112 140735864861032 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 8895 7519 832 1460 0 7426 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35580
[startup+1.50019 s]
/proc/loadavg: 0.00 0.22 0.82 3/179 32196
/proc/meminfo: memFree=29011288/32873844 swapFree=7124/7124
[pid=32183] ppid=32181 vsize=35580 CPUtime=1.49 cores=1,3,5,7
/proc/32183/stat : 32183 (scip-2.1.1.4fix) R 32181 32183 32151 0 -1 4202496 7827 0 0 0 141 8 0 0 20 0 1 0 267817440 36433920 7523 33554432000 4194304 10173063 140735864866112 140735864859944 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 8895 7523 836 1460 0 7426 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35580
[startup+3.10024 s]
/proc/loadavg: 0.16 0.25 0.83 3/179 32196
/proc/meminfo: memFree=29010040/32873844 swapFree=7124/7124
[pid=32183] ppid=32181 vsize=35580 CPUtime=3.09 cores=1,3,5,7
/proc/32183/stat : 32183 (scip-2.1.1.4fix) R 32181 32183 32151 0 -1 4202496 7828 0 0 0 295 14 0 0 20 0 1 0 267817440 36433920 7524 33554432000 4194304 10173063 140735864866112 140735864859560 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 8895 7524 837 1460 0 7426 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35580
[startup+6.30024 s]
/proc/loadavg: 0.16 0.25 0.83 3/179 32196
/proc/meminfo: memFree=29010156/32873844 swapFree=7124/7124
[pid=32183] ppid=32181 vsize=35580 CPUtime=6.28 cores=1,3,5,7
/proc/32183/stat : 32183 (scip-2.1.1.4fix) R 32181 32183 32151 0 -1 4202496 7830 0 0 0 584 44 0 0 20 0 1 0 267817440 36433920 7526 33554432000 4194304 10173063 140735864866112 140735864862648 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 8895 7526 838 1460 0 7426 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 35580
[startup+12.7002 s]
/proc/loadavg: 0.45 0.31 0.84 3/179 32196
/proc/meminfo: memFree=29008376/32873844 swapFree=7124/7124
[pid=32183] ppid=32181 vsize=35580 CPUtime=12.68 cores=1,3,5,7
/proc/32183/stat : 32183 (scip-2.1.1.4fix) R 32181 32183 32151 0 -1 4202496 7946 0 0 0 1150 118 0 0 20 0 1 0 267817440 36433920 7693 33554432000 4194304 10173063 140735864866112 140735864859368 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 8895 7693 838 1460 0 7426 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 35580
Solver just ended. Dumping a history of the last processes samples
[startup+15.9002 s]
/proc/loadavg: 0.45 0.31 0.84 3/179 32196
/proc/meminfo: memFree=29007912/32873844 swapFree=7124/7124
[pid=32183] ppid=32181 vsize=35580 CPUtime=15.88 cores=1,3,5,7
/proc/32183/stat : 32183 (scip-2.1.1.4fix) R 32181 32183 32151 0 -1 4202496 7973 0 0 0 1435 153 0 0 20 0 1 0 267817440 36433920 7720 33554432000 4194304 10173063 140735864866112 140735864859464 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 8895 7720 838 1460 0 7426 0
Current children cumulated CPU time (s) 15.88
Current children cumulated vsize (KiB) 35580
[startup+17.5002 s]
/proc/loadavg: 0.57 0.34 0.84 3/179 32196
/proc/meminfo: memFree=29007912/32873844 swapFree=7124/7124
[pid=32183] ppid=32181 vsize=35580 CPUtime=17.49 cores=1,3,5,7
/proc/32183/stat : 32183 (scip-2.1.1.4fix) R 32181 32183 32151 0 -1 4202496 7974 0 0 0 1576 173 0 0 20 0 1 0 267817440 36433920 7721 33554432000 4194304 10173063 140735864866112 140735864859368 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 8895 7721 838 1460 0 7426 0
Current children cumulated CPU time (s) 17.49
Current children cumulated vsize (KiB) 35580
[startup+18.3002 s]
/proc/loadavg: 0.57 0.34 0.84 3/179 32196
/proc/meminfo: memFree=29007912/32873844 swapFree=7124/7124
[pid=32183] ppid=32181 vsize=35580 CPUtime=18.28 cores=1,3,5,7
/proc/32183/stat : 32183 (scip-2.1.1.4fix) R 32181 32183 32151 0 -1 4202496 7974 0 0 0 1646 182 0 0 20 0 1 0 267817440 36433920 7721 33554432000 4194304 10173063 140735864866112 140735864859096 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 8895 7721 838 1460 0 7426 0
Current children cumulated CPU time (s) 18.28
Current children cumulated vsize (KiB) 35580
[startup+19.1002 s]
/proc/loadavg: 0.57 0.34 0.84 3/179 32196
/proc/meminfo: memFree=29007912/32873844 swapFree=7124/7124
[pid=32183] ppid=32181 vsize=35580 CPUtime=19.08 cores=1,3,5,7
/proc/32183/stat : 32183 (scip-2.1.1.4fix) R 32181 32183 32151 0 -1 4202496 7974 0 0 0 1718 190 0 0 20 0 1 0 267817440 36433920 7721 33554432000 4194304 10173063 140735864866112 140735864859096 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 8895 7721 838 1460 0 7426 0
Current children cumulated CPU time (s) 19.08
Current children cumulated vsize (KiB) 35580
[startup+19.3002 s]
/proc/loadavg: 0.57 0.34 0.84 3/179 32196
/proc/meminfo: memFree=29007912/32873844 swapFree=7124/7124
[pid=32183] ppid=32181 vsize=35580 CPUtime=19.28 cores=1,3,5,7
/proc/32183/stat : 32183 (scip-2.1.1.4fix) R 32181 32183 32151 0 -1 4202496 7974 0 0 0 1736 192 0 0 20 0 1 0 267817440 36433920 7721 33554432000 4194304 10173063 140735864866112 140735864859048 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 8895 7721 838 1460 0 7426 0
Current children cumulated CPU time (s) 19.28
Current children cumulated vsize (KiB) 35580
[startup+19.4002 s]
/proc/loadavg: 0.57 0.34 0.84 3/179 32196
/proc/meminfo: memFree=29007912/32873844 swapFree=7124/7124
[pid=32183] ppid=32181 vsize=35580 CPUtime=19.38 cores=1,3,5,7
/proc/32183/stat : 32183 (scip-2.1.1.4fix) R 32181 32183 32151 0 -1 4202496 7974 0 0 0 1744 194 0 0 20 0 1 0 267817440 36433920 7721 33554432000 4194304 10173063 140735864866112 140735864859048 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32183/statm: 8895 7721 838 1460 0 7426 0
Current children cumulated CPU time (s) 19.38
Current children cumulated vsize (KiB) 35580
Child status: 0
Real time (s): 19.4573
CPU time (s): 19.447
CPU user time (s): 17.4983
CPU system time (s): 1.9487
CPU usage (%): 99.9474
Max. virtual memory (cumulated for all children) (KiB): 35580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.4983
system time used= 1.9487
maximum resident set size= 30900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7980
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= 8
involuntary context switches= 22
runsolver used 0.031995 second user time and 0.099984 second system time
The end