0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3691647-1338019318.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.01 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.02 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.02 c presolving (5 rounds):
0.00/0.02 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.02 c 7146 implications, 0 cliques
0.00/0.02 c presolved problem has 258 variables (258 bin, 0 int, 0 impl, 0 cont) and 389 constraints
0.00/0.02 c 164 constraints of type <knapsack>
0.00/0.02 c 129 constraints of type <setppc>
0.00/0.02 c 96 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.02
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 2.1.1.4
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1797
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 13950
0.00/0.02 c
0.00/0.02 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c limits/solutions = 1
0.00/0.02 c
0.00/0.02 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.02 c separating/maxrounds = 1
0.00/0.02 c
0.00/0.02 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/maxroundsroot = 5
0.00/0.02 c
0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
0.00/0.02 c
0.00/0.02 c # belongs reading time to solving time?
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c timing/reading = TRUE
0.00/0.02 c
0.00/0.02 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.02 c constraints/knapsack/disaggregation = FALSE
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/coefdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.02 c heuristics/crossover/freq = -1
0.00/0.02 c
0.00/0.02 c # number of nodes added to the contingent of the total nodes
0.00/0.02 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.02 c heuristics/crossover/nodesofs = 750
0.00/0.02 c
0.00/0.02 c # number of nodes without incumbent change that heuristic should wait
0.00/0.02 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.02 c heuristics/crossover/nwaitingnodes = 100
0.00/0.02 c
0.00/0.02 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.02 c # [type: real, range: [0,1], default: 0.1]
0.00/0.02 c heuristics/crossover/nodesquot = 0.15
0.00/0.02 c
0.00/0.02 c # minimum percentage of integer variables that have to be fixed
0.00/0.02 c # [type: real, range: [0,1], default: 0.666]
0.00/0.02 c heuristics/crossover/minfixingrate = 0.5
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.02 c heuristics/feaspump/freq = -1
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/fracdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/guideddiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/intshifting/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/linesearchdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.02 c heuristics/objpscostdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.02 c # [type: real, range: [0,1], default: 0.01]
0.00/0.02 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/oneopt/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/pscostdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c heuristics/rens/freq = -1
0.00/0.02 c
0.00/0.02 c # minimum percentage of integer variables that have to be fixable
0.00/0.02 c # [type: real, range: [0,1], default: 0.5]
0.00/0.02 c heuristics/rens/minfixingrate = 0.3
0.00/0.02 c
0.00/0.02 c # number of nodes added to the contingent of the total nodes
0.00/0.02 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.02 c heuristics/rens/nodesofs = 2000
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.02 c heuristics/rootsoldiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.02 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/rounding/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c heuristics/shiftandpropagate/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/shifting/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/simplerounding/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/subnlp/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c heuristics/trivial/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/trysol/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c heuristics/undercover/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/veclendiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/zirounding/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c propagating/probing/maxprerounds = 0
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c separating/cmir/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c separating/flowcover/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/indoneopt/freq = -1
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 133 | - |1765k| 0 | 71 | 258 | 389 | 258 | 389 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 449 | - |2120k| 0 | 131 | 258 | 401 | 258 | 588 | 199 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 593 | - |3563k| 0 | 152 | 258 | 401 | 258 | 672 | 283 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.29 c 0.3s| 1 | 0 | 689 | - |4942k| 0 | 162 | 258 | 401 | 258 | 727 | 338 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.36 c 0.4s| 1 | 0 | 739 | - |6455k| 0 | 162 | 258 | 401 | 258 | 754 | 365 | 0 | 0 | 0.000000e+00 | -- | Inf
0.38/0.42 c 0.4s| 1 | 0 | 770 | - |8206k| 0 | 162 | 258 | 401 | 258 | 774 | 385 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.69 c 0.7s| 1 | 2 | 770 | - |8207k| 0 | 162 | 258 | 401 | 258 | 774 | 385 | 0 | 10 | 0.000000e+00 | -- | Inf
1.78/1.89 c 1.9s| 100 | 33 | 2634 | 18.8 |8358k| 27 | - | 258 | 405 | 258 | 497 | 385 | 4 | 836 | 0.000000e+00 | -- | Inf
2.20/2.25 c 2.2s| 200 | 34 | 3287 | 12.6 |8375k| 35 | - | 258 | 413 | 0 | 0 | 385 | 12 |1192 | 0.000000e+00 | -- | Inf
2.49/2.57 c 2.6s| 300 | 40 | 4399 | 12.1 |8388k| 35 | 22 | 258 | 420 | 258 | 497 | 385 | 19 |1467 | 0.000000e+00 | -- | Inf
2.69/2.70 c 2.7s| 400 | 47 | 5321 | 11.4 |8402k| 35 | 26 | 258 | 426 | 258 | 497 | 385 | 25 |1544 | 0.000000e+00 | -- | Inf
2.79/2.80 c 2.8s| 500 | 52 | 6536 | 11.6 |8418k| 35 | 31 | 258 | 437 | 258 | 497 | 385 | 36 |1582 | 0.000000e+00 | -- | Inf
2.79/2.85 c 2.9s| 600 | 50 | 7375 | 11.0 |8421k| 37 | 30 | 258 | 451 | 258 | 497 | 385 | 50 |1588 | 0.000000e+00 | -- | Inf
2.89/2.90 c 2.9s| 700 | 49 | 8187 | 10.6 |8426k| 37 | 28 | 258 | 467 | 258 | 497 | 385 | 66 |1589 | 0.000000e+00 | -- | Inf
2.99/3.01 c 3.0s| 800 | 47 | 9106 | 10.4 |8434k| 37 | - | 258 | 471 | 0 | 0 | 385 | 70 |1652 | 0.000000e+00 | -- | Inf
2.99/3.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.99/3.07 c 3.1s| 900 | 45 | 9851 | 10.1 |8430k| 37 | - | 258 | 480 | 0 | 0 | 385 | 79 |1668 | 0.000000e+00 | -- | Inf
3.09/3.15 c 3.2s| 1000 | 49 | 10769 | 10.0 |8436k| 37 | 36 | 258 | 487 | 258 | 497 | 385 | 86 |1702 | 0.000000e+00 | -- | Inf
3.19/3.20 c 3.2s| 1100 | 45 | 11605 | 9.9 |8435k| 37 | - | 258 | 493 | 0 | 0 | 385 | 92 |1705 | 0.000000e+00 | -- | Inf
3.19/3.25 c 3.2s| 1200 | 47 | 12221 | 9.6 |8441k| 37 | 20 | 258 | 505 | 258 | 497 | 385 | 105 |1711 | 0.000000e+00 | -- | Inf
3.29/3.34 c 3.3s| 1300 | 49 | 13254 | 9.6 |8449k| 39 | 35 | 258 | 512 | 258 | 497 | 385 | 113 |1735 | 0.000000e+00 | -- | Inf
3.29/3.38 c 3.4s| 1400 | 53 | 13963 | 9.4 |8463k| 39 | - | 258 | 520 | 0 | 0 | 385 | 121 |1735 | 0.000000e+00 | -- | Inf
3.39/3.43 c 3.4s| 1500 | 53 | 14768 | 9.3 |8465k| 39 | - | 258 | 524 | 0 | 0 | 385 | 125 |1738 | 0.000000e+00 | -- | Inf
3.39/3.47 c 3.5s| 1600 | 49 | 15575 | 9.3 |8461k| 43 | - | 258 | 528 | 0 | 0 | 385 | 130 |1738 | 0.000000e+00 | -- | Inf
3.49/3.52 c 3.5s| 1700 | 50 | 16285 | 9.1 |8461k| 46 | 26 | 258 | 535 | 258 | 497 | 385 | 137 |1742 | 0.000000e+00 | -- | Inf
3.49/3.57 c 3.6s| 1800 | 48 | 17044 | 9.0 |8465k| 48 | - | 258 | 545 | 0 | 0 | 385 | 147 |1744 | 0.000000e+00 | -- | Inf
3.59/3.62 c 3.6s| 1900 | 48 | 17829 | 9.0 |8464k| 48 | 30 | 258 | 549 | 258 | 497 | 385 | 151 |1758 | 0.000000e+00 | -- | Inf
3.59/3.67 c 3.7s| 2000 | 47 | 18584 | 8.9 |8465k| 48 | 26 | 258 | 552 | 258 | 497 | 385 | 154 |1760 | 0.000000e+00 | -- | Inf
3.69/3.74 c 3.7s| 2100 | 49 | 19507 | 8.9 |8472k| 48 | - | 258 | 557 | 0 | 0 | 385 | 162 |1775 | 0.000000e+00 | -- | Inf
3.69/3.79 c 3.8s| 2200 | 51 | 20440 | 8.9 |8479k| 48 | - | 258 | 559 | 258 | 497 | 385 | 164 |1776 | 0.000000e+00 | -- | Inf
3.79/3.83 c 3.8s| 2300 | 49 | 21129 | 8.9 |8476k| 48 | - | 258 | 562 | 0 | 0 | 385 | 167 |1779 | 0.000000e+00 | -- | Inf
3.79/3.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.79/3.88 c 3.9s| 2400 | 46 | 22000 | 8.8 |8475k| 48 | - | 258 | 565 | 0 | 0 | 385 | 171 |1780 | 0.000000e+00 | -- | Inf
3.89/3.93 c 3.9s| 2500 | 48 | 22720 | 8.8 |8481k| 48 | - | 258 | 578 | 0 | 0 | 385 | 184 |1785 | 0.000000e+00 | -- | Inf
3.89/3.98 c 4.0s| 2600 | 46 | 23594 | 8.8 |8477k| 48 | - | 258 | 584 | 258 | 497 | 385 | 192 |1786 | 0.000000e+00 | -- | Inf
3.99/4.03 c 4.0s| 2700 | 48 | 24526 | 8.8 |8480k| 48 | 41 | 258 | 586 | 258 | 497 | 385 | 196 |1787 | 0.000000e+00 | -- | Inf
3.99/4.08 c 4.1s| 2800 | 49 | 25261 | 8.7 |8485k| 48 | 26 | 258 | 592 | 258 | 497 | 385 | 206 |1787 | 0.000000e+00 | -- | Inf
4.08/4.13 c 4.1s| 2900 | 51 | 26110 | 8.7 |8487k| 48 | 28 | 258 | 587 | 258 | 497 | 385 | 206 |1787 | 0.000000e+00 | -- | Inf
4.19/4.27 c 4.2s| 3000 | 49 | 26969 | 8.7 |8485k| 48 | - | 258 | 580 | 0 | 0 | 385 | 208 |1787 | 0.000000e+00 | -- | Inf
4.19/4.27 c 4.2s| 3100 | 51 | 27635 | 8.7 |8493k| 48 | 32 | 258 | 592 | 258 | 497 | 385 | 226 |1787 | 0.000000e+00 | -- | Inf
4.19/4.27 c 4.3s| 3200 | 51 | 28589 | 8.7 |8490k| 48 | - | 258 | 593 | 0 | 0 | 385 | 231 |1788 | 0.000000e+00 | -- | Inf
4.29/4.31 c 4.3s| 3300 | 53 | 29220 | 8.6 |8502k| 48 | - | 258 | 594 | 0 | 0 | 385 | 240 |1789 | 0.000000e+00 | -- | Inf
4.29/4.35 c 4.3s| 3400 | 53 | 29806 | 8.5 |8500k| 48 | - | 258 | 600 | 258 | 497 | 385 | 248 |1789 | 0.000000e+00 | -- | Inf
4.29/4.38 c 4.4s| 3500 | 53 | 30475 | 8.5 |8502k| 48 | - | 258 | 605 | 0 | 0 | 385 | 257 |1789 | 0.000000e+00 | -- | Inf
4.40/4.43 c 4.4s| 3600 | 51 | 31264 | 8.5 |8502k| 48 | - | 258 | 602 | 0 | 0 | 385 | 259 |1789 | 0.000000e+00 | -- | Inf
4.40/4.48 c 4.5s| 3700 | 51 | 31966 | 8.4 |8496k| 48 | 28 | 258 | 606 | 258 | 497 | 385 | 267 |1799 | 0.000000e+00 | -- | Inf
4.49/4.52 c 4.5s| 3800 | 49 | 32596 | 8.4 |8495k| 48 | 43 | 258 | 613 | 258 | 497 | 385 | 276 |1800 | 0.000000e+00 | -- | Inf
4.49/4.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.49/4.58 c 4.6s| 3900 | 59 | 33672 | 8.4 |8516k| 48 | 25 | 258 | 617 | 258 | 497 | 385 | 283 |1802 | 0.000000e+00 | -- | Inf
4.59/4.64 c 4.6s| 4000 | 58 | 34676 | 8.5 |8519k| 49 | 30 | 258 | 624 | 258 | 497 | 385 | 296 |1802 | 0.000000e+00 | -- | Inf
4.69/4.70 c 4.7s| 4100 | 57 | 35798 | 8.5 |8519k| 49 | 32 | 258 | 625 | 258 | 497 | 385 | 301 |1802 | 0.000000e+00 | -- | Inf
4.69/4.74 c 4.7s| 4200 | 59 | 36484 | 8.5 |8526k| 49 | 30 | 258 | 629 | 258 | 497 | 385 | 310 |1802 | 0.000000e+00 | -- | Inf
4.69/4.79 c 4.8s| 4300 | 59 | 37183 | 8.5 |8533k| 49 | - | 258 | 630 | 0 | 0 | 385 | 317 |1802 | 0.000000e+00 | -- | Inf
4.79/4.83 c 4.8s| 4400 | 58 | 37937 | 8.4 |8532k| 49 | - | 258 | 633 | 0 | 0 | 385 | 327 |1802 | 0.000000e+00 | -- | Inf
4.79/4.87 c 4.9s| 4500 | 60 | 38676 | 8.4 |8537k| 49 | 23 | 258 | 642 | 258 | 497 | 385 | 340 |1802 | 0.000000e+00 | -- | Inf
4.89/4.91 c 4.9s| 4600 | 54 | 39334 | 8.4 |8542k| 49 | - | 258 | 662 | 0 | 0 | 385 | 364 |1802 | 0.000000e+00 | -- | Inf
4.89/4.96 c 5.0s| 4700 | 58 | 40006 | 8.3 |8541k| 49 | 39 | 258 | 664 | 258 | 497 | 385 | 371 |1802 | 0.000000e+00 | -- | Inf
4.99/5.00 c 5.0s| 4800 | 56 | 40773 | 8.3 |8541k| 49 | - | 258 | 663 | 0 | 0 | 385 | 377 |1802 | 0.000000e+00 | -- | Inf
4.99/5.05 c 5.0s| 4900 | 57 | 41569 | 8.3 |8540k| 49 | 28 | 258 | 660 | 258 | 497 | 385 | 383 |1802 | 0.000000e+00 | -- | Inf
4.99/5.09 c 5.1s| 5000 | 53 | 42278 | 8.3 |8535k| 49 | - | 258 | 664 | 0 | 0 | 385 | 393 |1802 | 0.000000e+00 | -- | Inf
5.08/5.14 c 5.1s| 5100 | 53 | 43170 | 8.3 |8536k| 49 | - | 258 | 664 | 258 | 497 | 385 | 398 |1802 | 0.000000e+00 | -- | Inf
5.19/5.20 c 5.2s| 5200 | 53 | 44192 | 8.4 |8538k| 49 | - | 258 | 664 | 0 | 0 | 385 | 403 |1802 | 0.000000e+00 | -- | Inf
5.19/5.27 c 5.3s| 5300 | 59 | 44915 | 8.3 |8544k| 49 | - | 258 | 664 | 0 | 0 | 385 | 408 |1824 | 0.000000e+00 | -- | Inf
5.29/5.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.29/5.31 c 5.3s| 5400 | 56 | 45527 | 8.3 |8548k| 49 | - | 258 | 665 | 0 | 0 | 385 | 414 |1830 | 0.000000e+00 | -- | Inf
5.29/5.36 c 5.4s| 5500 | 54 | 46375 | 8.3 |8540k| 49 | - | 258 | 666 | 0 | 0 | 385 | 422 |1830 | 0.000000e+00 | -- | Inf
5.39/5.42 c 5.4s| 5600 | 57 | 47447 | 8.3 |8550k| 49 | 22 | 258 | 677 | 258 | 497 | 385 | 440 |1830 | 0.000000e+00 | -- | Inf
5.39/5.48 c 5.5s| 5700 | 55 | 48399 | 8.4 |8552k| 49 | - | 258 | 676 | 258 | 497 | 385 | 449 |1830 | 0.000000e+00 | -- | Inf
5.49/5.52 c 5.5s| 5800 | 57 | 49128 | 8.3 |8557k| 49 | - | 258 | 675 | 0 | 0 | 385 | 464 |1830 | 0.000000e+00 | -- | Inf
5.49/5.57 c 5.6s| 5900 | 53 | 49928 | 8.3 |8558k| 49 | - | 258 | 683 | 0 | 0 | 385 | 476 |1830 | 0.000000e+00 | -- | Inf
5.59/5.64 c 5.6s| 6000 | 62 | 50827 | 8.3 |8570k| 49 | - | 258 | 696 | 0 | 0 | 385 | 492 |1850 | 0.000000e+00 | -- | Inf
5.59/5.68 c 5.7s| 6100 | 67 | 51544 | 8.3 |8581k| 49 | 39 | 258 | 699 | 258 | 497 | 385 | 495 |1851 | 0.000000e+00 | -- | Inf
5.68/5.73 c 5.7s| 6200 | 67 | 52420 | 8.3 |8581k| 49 | 31 | 258 | 699 | 258 | 497 | 385 | 497 |1851 | 0.000000e+00 | -- | Inf
5.68/5.77 c 5.8s| 6300 | 62 | 53045 | 8.3 |8580k| 49 | - | 258 | 706 | 258 | 497 | 385 | 509 |1851 | 0.000000e+00 | -- | Inf
5.79/5.83 c 5.8s| 6400 | 62 | 53786 | 8.3 |8575k| 49 | 35 | 258 | 707 | 258 | 497 | 385 | 514 |1865 | 0.000000e+00 | -- | Inf
5.79/5.86 c 5.9s| 6500 | 59 | 54294 | 8.2 |8576k| 49 | - | 258 | 712 | 258 | 497 | 385 | 523 |1868 | 0.000000e+00 | -- | Inf
5.89/5.91 c 5.9s| 6600 | 56 | 55070 | 8.2 |8578k| 49 | - | 258 | 720 | 0 | 0 | 385 | 531 |1868 | 0.000000e+00 | -- | Inf
5.89/5.95 c 6.0s| 6700 | 57 | 55675 | 8.2 |8573k| 49 | - | 258 | 718 | 0 | 0 | 385 | 534 |1873 | 0.000000e+00 | -- | Inf
5.99/6.00 c 6.0s| 6800 | 56 | 56372 | 8.2 |8572k| 49 | - | 258 | 724 | 0 | 0 | 385 | 544 |1875 | 0.000000e+00 | -- | Inf
5.99/6.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.99/6.04 c 6.0s| 6900 | 56 | 57073 | 8.2 |8580k| 49 | - | 258 | 733 | 0 | 0 | 385 | 557 |1875 | 0.000000e+00 | -- | Inf
5.99/6.09 c 6.1s| 7000 | 56 | 57812 | 8.2 |8582k| 49 | - | 258 | 736 | 258 | 497 | 385 | 562 |1875 | 0.000000e+00 | -- | Inf
6.09/6.13 c 6.1s| 7100 | 58 | 58485 | 8.1 |8591k| 49 | - | 258 | 746 | 0 | 0 | 385 | 572 |1875 | 0.000000e+00 | -- | Inf
6.09/6.17 c 6.2s| 7200 | 59 | 59249 | 8.1 |8590k| 49 | - | 258 | 752 | 0 | 0 | 385 | 580 |1875 | 0.000000e+00 | -- | Inf
6.18/6.21 c 6.2s| 7300 | 61 | 59935 | 8.1 |8595k| 49 | 26 | 258 | 759 | 258 | 497 | 385 | 590 |1875 | 0.000000e+00 | -- | Inf
6.18/6.26 c 6.3s| 7400 | 58 | 60692 | 8.1 |8596k| 49 | - | 258 | 769 | 0 | 0 | 385 | 603 |1875 | 0.000000e+00 | -- | Inf
6.29/6.31 c 6.3s| 7500 | 58 | 61556 | 8.1 |8603k| 49 | - | 258 | 781 | 0 | 0 | 385 | 621 |1875 | 0.000000e+00 | -- | Inf
6.29/6.36 c 6.4s| 7600 | 56 | 62392 | 8.1 |8597k| 49 | 30 | 258 | 780 | 258 | 497 | 385 | 627 |1875 | 0.000000e+00 | -- | Inf
6.39/6.41 c 6.4s| 7700 | 57 | 63259 | 8.1 |8599k| 49 | 31 | 258 | 791 | 258 | 497 | 385 | 646 |1875 | 0.000000e+00 | -- | Inf
6.39/6.46 c 6.5s| 7800 | 53 | 64089 | 8.1 |8599k| 49 | 23 | 258 | 804 | 258 | 497 | 385 | 661 |1875 | 0.000000e+00 | -- | Inf
6.50/6.50 c 6.5s| 7900 | 56 | 64773 | 8.1 |8613k| 49 | - | 258 | 817 | 0 | 0 | 385 | 677 |1878 | 0.000000e+00 | -- | Inf
6.50/6.54 c 6.5s| 8000 | 54 | 65379 | 8.1 |8612k| 49 | - | 258 | 819 | 0 | 0 | 385 | 681 |1878 | 0.000000e+00 | -- | Inf
6.50/6.58 c 6.6s| 8100 | 55 | 65993 | 8.1 |8612k| 49 | 25 | 258 | 827 | 258 | 497 | 385 | 690 |1878 | 0.000000e+00 | -- | Inf
6.59/6.62 c 6.6s| 8200 | 55 | 66638 | 8.0 |8619k| 49 | - | 258 | 838 | 0 | 0 | 385 | 702 |1878 | 0.000000e+00 | -- | Inf
6.59/6.65 c 6.7s| 8300 | 56 | 67199 | 8.0 |8621k| 49 | - | 258 | 849 | 0 | 0 | 385 | 714 |1878 | 0.000000e+00 | -- | Inf
6.68/6.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.68/6.70 c 6.7s| 8400 | 52 | 67877 | 8.0 |8618k| 49 | 26 | 258 | 864 | 258 | 497 | 385 | 732 |1878 | 0.000000e+00 | -- | Inf
6.68/6.74 c 6.7s| 8500 | 54 | 68626 | 8.0 |8630k| 49 | - | 258 | 856 | 0 | 0 | 385 | 735 |1878 | 0.000000e+00 | -- | Inf
6.68/6.79 c 6.8s| 8600 | 54 | 69424 | 8.0 |8636k| 49 | - | 258 | 852 | 0 | 0 | 385 | 740 |1882 | 0.000000e+00 | -- | Inf
6.79/6.84 c 6.8s| 8700 | 52 | 70093 | 8.0 |8637k| 49 | - | 258 | 848 | 0 | 0 | 385 | 746 |1887 | 0.000000e+00 | -- | Inf
6.79/6.89 c 6.9s| 8800 | 55 | 70792 | 8.0 |8633k| 49 | 26 | 258 | 846 | 258 | 497 | 385 | 753 |1887 | 0.000000e+00 | -- | Inf
6.88/6.93 c 6.9s| 8900 | 53 | 71444 | 7.9 |8636k| 49 | - | 258 | 843 | 258 | 497 | 385 | 759 |1887 | 0.000000e+00 | -- | Inf
6.88/6.98 c 7.0s| 9000 | 53 | 72337 | 8.0 |8626k| 49 | 29 | 258 | 836 | 258 | 497 | 385 | 766 |1887 | 0.000000e+00 | -- | Inf
6.99/7.03 c 7.0s| 9100 | 51 | 73099 | 7.9 |8619k| 49 | - | 258 | 836 | 0 | 0 | 385 | 769 |1887 | 0.000000e+00 | -- | Inf
6.99/7.08 c 7.1s| 9200 | 51 | 74061 | 8.0 |8621k| 49 | - | 258 | 831 | 258 | 497 | 385 | 778 |1887 | 0.000000e+00 | -- | Inf
7.09/7.12 c 7.1s| 9300 | 53 | 74655 | 7.9 |8625k| 49 | 22 | 258 | 836 | 258 | 497 | 385 | 790 |1887 | 0.000000e+00 | -- | Inf
7.09/7.17 c 7.2s| 9400 | 53 | 75454 | 7.9 |8628k| 49 | - | 258 | 841 | 258 | 497 | 385 | 803 |1887 | 0.000000e+00 | -- | Inf
7.18/7.21 c 7.2s| 9500 | 59 | 76276 | 7.9 |8641k| 49 | - | 258 | 846 | 0 | 0 | 385 | 810 |1887 | 0.000000e+00 | -- | Inf
7.18/7.27 c 7.3s| 9600 | 54 | 77192 | 8.0 |8644k| 49 | - | 258 | 867 | 0 | 0 | 385 | 834 |1887 | 0.000000e+00 | -- | Inf
7.29/7.32 c 7.3s| 9700 | 55 | 78240 | 8.0 |8642k| 49 | 41 | 258 | 871 | 258 | 497 | 385 | 841 |1887 | 0.000000e+00 | -- | Inf
7.29/7.36 c 7.4s| 9800 | 53 | 78979 | 8.0 |8644k| 49 | - | 258 | 878 | 0 | 0 | 385 | 850 |1887 | 0.000000e+00 | -- | Inf
7.39/7.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.39/7.41 c 7.4s| 9900 | 57 | 79666 | 8.0 |8649k| 49 | 20 | 258 | 881 | 258 | 497 | 385 | 855 |1887 | 0.000000e+00 | -- | Inf
7.39/7.45 c 7.5s| 10000 | 53 | 80421 | 8.0 |8647k| 49 | 42 | 258 | 885 | 258 | 497 | 385 | 860 |1887 | 0.000000e+00 | -- | Inf
7.39/7.49 c 7.5s| 10100 | 49 | 81070 | 8.0 |8643k| 49 | - | 258 | 887 | 0 | 0 | 385 | 876 |1887 | 0.000000e+00 | -- | Inf
7.48/7.56 c 7.6s| 10200 | 51 | 82211 | 8.0 |8634k| 51 | 33 | 258 | 876 | 258 | 497 | 385 | 878 |1887 | 0.000000e+00 | -- | Inf
7.48/7.60 c 7.6s| 10300 | 49 | 82891 | 8.0 |8638k| 51 | - | 258 | 882 | 0 | 0 | 385 | 889 |1887 | 0.000000e+00 | -- | Inf
7.59/7.64 c 7.6s| 10400 | 51 | 83581 | 8.0 |8640k| 51 | - | 258 | 883 | 258 | 497 | 385 | 896 |1887 | 0.000000e+00 | -- | Inf
7.59/7.68 c 7.7s| 10500 | 51 | 84231 | 7.9 |8641k| 51 | - | 258 | 889 | 258 | 497 | 385 | 902 |1887 | 0.000000e+00 | -- | Inf
7.69/7.72 c 7.7s| 10600 | 50 | 84874 | 7.9 |8639k| 51 | 35 | 258 | 892 | 258 | 497 | 385 | 907 |1887 | 0.000000e+00 | -- | Inf
7.69/7.77 c 7.8s| 10700 | 50 | 85694 | 7.9 |8634k| 51 | 29 | 258 | 890 | 258 | 497 | 385 | 909 |1887 | 0.000000e+00 | -- | Inf
7.79/7.81 c 7.8s| 10800 | 54 | 86447 | 7.9 |8642k| 51 | 24 | 258 | 893 | 258 | 497 | 385 | 917 |1887 | 0.000000e+00 | -- | Inf
7.79/7.86 c 7.9s| 10900 | 52 | 87211 | 7.9 |8640k| 51 | 30 | 258 | 891 | 258 | 497 | 385 | 922 |1887 | 0.000000e+00 | -- | Inf
7.89/7.91 c 7.9s| 11000 | 52 | 88137 | 7.9 |8641k| 51 | 31 | 258 | 886 | 258 | 497 | 385 | 930 |1887 | 0.000000e+00 | -- | Inf
7.89/7.96 c 8.0s| 11100 | 52 | 88956 | 7.9 |8646k| 51 | - | 258 | 894 | 258 | 497 | 385 | 938 |1887 | 0.000000e+00 | -- | Inf
7.99/8.01 c 8.0s| 11200 | 48 | 89897 | 8.0 |8641k| 51 | - | 258 | 899 | 258 | 497 | 385 | 943 |1887 | 0.000000e+00 | -- | Inf
7.99/8.05 c 8.1s| 11300 | 52 | 90647 | 8.0 |8653k| 51 | 32 | 258 | 910 | 258 | 497 | 385 | 958 |1887 | 0.000000e+00 | -- | Inf
8.09/8.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.09/8.11 c 8.1s| 11400 | 46 | 91590 | 8.0 |8638k| 51 | 48 | 258 | 914 | 258 | 497 | 385 | 971 |1887 | 0.000000e+00 | -- | Inf
8.09/8.16 c 8.2s| 11500 | 43 | 92448 | 8.0 |8635k| 51 | - | 258 | 921 | 258 | 497 | 385 | 982 |1887 | 0.000000e+00 | -- | Inf
8.19/8.23 c 8.2s| 11600 | 50 | 93218 | 8.0 |8648k| 51 | 22 | 258 | 923 | 258 | 497 | 385 | 991 |1913 | 0.000000e+00 | -- | Inf
8.19/8.28 c 8.3s| 11700 | 52 | 93947 | 8.0 |8656k| 51 | 20 | 258 | 926 | 258 | 497 | 385 | 998 |1913 | 0.000000e+00 | -- | Inf
8.29/8.32 c 8.3s| 11800 | 52 | 94618 | 8.0 |8653k| 51 | 17 | 258 | 931 | 258 | 497 | 385 |1005 |1913 | 0.000000e+00 | -- | Inf
8.29/8.36 c 8.4s| 11900 | 48 | 95375 | 8.0 |8652k| 51 | - | 258 | 938 | 0 | 0 | 385 |1014 |1913 | 0.000000e+00 | -- | Inf
8.39/8.40 c 8.4s| 12000 | 48 | 96000 | 7.9 |8654k| 51 | 32 | 258 | 944 | 258 | 497 | 385 |1022 |1913 | 0.000000e+00 | -- | Inf
8.39/8.45 c 8.4s| 12100 | 48 | 96822 | 7.9 |8654k| 51 | 25 | 258 | 947 | 258 | 497 | 385 |1025 |1913 | 0.000000e+00 | -- | Inf
8.39/8.49 c 8.5s| 12200 | 52 | 97668 | 7.9 |8664k| 51 | - | 258 | 951 | 0 | 0 | 385 |1029 |1913 | 0.000000e+00 | -- | Inf
8.49/8.53 c 8.5s| 12300 | 48 | 98338 | 7.9 |8660k| 51 | - | 258 | 953 | 0 | 0 | 385 |1032 |1913 | 0.000000e+00 | -- | Inf
8.49/8.57 c 8.6s| 12400 | 46 | 98860 | 7.9 |8657k| 51 | - | 258 | 960 | 0 | 0 | 385 |1039 |1913 | 0.000000e+00 | -- | Inf
8.59/8.61 c 8.6s| 12500 | 46 | 99582 | 7.9 |8656k| 51 | 37 | 258 | 968 | 258 | 497 | 385 |1052 |1913 | 0.000000e+00 | -- | Inf
8.59/8.66 c 8.7s| 12600 | 50 |100371 | 7.9 |8666k| 51 | 31 | 258 | 970 | 258 | 497 | 385 |1058 |1918 | 0.000000e+00 | -- | Inf
8.70/8.71 c 8.7s| 12700 | 47 |101051 | 7.9 |8668k| 51 | - | 258 | 972 | 0 | 0 | 385 |1063 |1918 | 0.000000e+00 | -- | Inf
8.70/8.75 c 8.7s| 12800 | 49 |101805 | 7.9 |8670k| 51 | - | 258 | 978 | 0 | 0 | 385 |1070 |1918 | 0.000000e+00 | -- | Inf
8.70/8.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.70/8.80 c 8.8s| 12900 | 51 |102606 | 7.9 |8672k| 51 | 27 | 258 | 980 | 258 | 497 | 385 |1072 |1918 | 0.000000e+00 | -- | Inf
8.79/8.84 c 8.8s| 13000 | 49 |103294 | 7.9 |8672k| 51 | 41 | 258 | 988 | 258 | 497 | 385 |1081 |1918 | 0.000000e+00 | -- | Inf
8.79/8.88 c 8.9s| 13100 | 51 |103977 | 7.9 |8678k| 51 | 28 | 258 | 996 | 258 | 497 | 385 |1090 |1918 | 0.000000e+00 | -- | Inf
8.89/8.92 c 8.9s| 13200 | 49 |104701 | 7.9 |8678k| 51 | 42 | 258 |1006 | 258 | 497 | 385 |1103 |1918 | 0.000000e+00 | -- | Inf
8.89/8.97 c 9.0s| 13300 | 52 |105436 | 7.9 |8686k| 51 | 26 | 258 |1012 | 258 | 497 | 385 |1110 |1921 | 0.000000e+00 | -- | Inf
8.99/9.01 c 9.0s| 13400 | 52 |106184 | 7.9 |8692k| 51 | - | 258 |1015 | 258 | 497 | 385 |1114 |1921 | 0.000000e+00 | -- | Inf
8.99/9.06 c 9.1s| 13500 | 56 |106880 | 7.9 |8697k| 51 | 24 | 258 |1023 | 258 | 497 | 385 |1124 |1921 | 0.000000e+00 | -- | Inf
9.08/9.11 c 9.1s| 13600 | 54 |107734 | 7.9 |8700k| 51 | 26 | 258 |1029 | 258 | 497 | 385 |1133 |1921 | 0.000000e+00 | -- | Inf
9.08/9.15 c 9.1s| 13700 | 53 |108390 | 7.9 |8698k| 51 | 31 | 258 |1032 | 258 | 497 | 385 |1136 |1921 | 0.000000e+00 | -- | Inf
9.08/9.19 c 9.2s| 13800 | 53 |109048 | 7.8 |8708k| 51 | - | 258 |1045 | 258 | 497 | 385 |1149 |1921 | 0.000000e+00 | -- | Inf
9.19/9.24 c 9.2s| 13900 | 60 |109842 | 7.8 |8718k| 51 | 30 | 258 |1047 | 258 | 497 | 385 |1154 |1921 | 0.000000e+00 | -- | Inf
9.19/9.27 c 9.3s| 14000 | 52 |110486 | 7.8 |8711k| 51 | - | 258 |1048 | 0 | 0 | 385 |1158 |1921 | 0.000000e+00 | -- | Inf
9.29/9.32 c 9.3s| 14100 | 56 |111294 | 7.8 |8714k| 51 | 21 | 258 |1045 | 258 | 497 | 385 |1162 |1921 | 0.000000e+00 | -- | Inf
9.29/9.36 c 9.4s| 14200 | 56 |112053 | 7.8 |8715k| 51 | - | 258 |1042 | 0 | 0 | 385 |1167 |1921 | 0.000000e+00 | -- | Inf
9.39/9.41 c 9.4s| 14300 | 56 |112766 | 7.8 |8711k| 51 | 36 | 258 |1037 | 258 | 497 | 385 |1169 |1921 | 0.000000e+00 | -- | Inf
9.39/9.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.39/9.45 c 9.4s| 14400 | 56 |113508 | 7.8 |8713k| 51 | 24 | 258 |1039 | 258 | 497 | 385 |1173 |1921 | 0.000000e+00 | -- | Inf
9.39/9.49 c 9.5s| 14500 | 53 |114244 | 7.8 |8714k| 51 | - | 258 |1047 | 0 | 0 | 385 |1184 |1921 | 0.000000e+00 | -- | Inf
9.49/9.54 c 9.5s| 14600 | 51 |114973 | 7.8 |8704k| 51 | 44 | 258 |1051 | 258 | 497 | 385 |1188 |1921 | 0.000000e+00 | -- | Inf
9.49/9.59 c 9.6s| 14700 | 53 |115813 | 7.8 |8713k| 51 | 29 | 258 |1061 | 258 | 497 | 385 |1202 |1921 | 0.000000e+00 | -- | Inf
9.59/9.63 c 9.6s| 14800 | 55 |116510 | 7.8 |8718k| 51 | 19 | 258 |1060 | 258 | 497 | 385 |1208 |1921 | 0.000000e+00 | -- | Inf
9.59/9.68 c 9.7s| 14900 | 53 |117342 | 7.8 |8711k| 52 | 26 | 258 |1059 | 258 | 497 | 385 |1210 |1921 | 0.000000e+00 | -- | Inf
9.68/9.72 c 9.7s| 15000 | 52 |118203 | 7.8 |8710k| 52 | 38 | 258 |1057 | 258 | 497 | 385 |1217 |1921 | 0.000000e+00 | -- | Inf
9.68/9.78 c 9.8s| 15100 | 51 |119235 | 7.8 |8709k| 52 | - | 258 |1057 | 0 | 0 | 385 |1228 |1921 | 0.000000e+00 | -- | Inf
9.80/9.82 c 9.8s| 15200 | 55 |119976 | 7.8 |8713k| 52 | 32 | 258 |1056 | 258 | 497 | 385 |1234 |1921 | 0.000000e+00 | -- | Inf
9.80/9.87 c 9.9s| 15300 | 55 |120832 | 7.8 |8713k| 52 | 24 | 258 |1055 | 258 | 497 | 385 |1237 |1921 | 0.000000e+00 | -- | Inf
9.90/9.91 c 9.9s| 15400 | 53 |121578 | 7.8 |8713k| 52 | - | 258 |1054 | 0 | 0 | 385 |1239 |1921 | 0.000000e+00 | -- | Inf
9.90/9.96 c 10.0s| 15500 | 55 |122435 | 7.8 |8718k| 52 | - | 258 |1060 | 258 | 497 | 385 |1248 |1921 | 0.000000e+00 | -- | Inf
9.99/10.01 c 10.0s| 15600 | 55 |123253 | 7.9 |8719k| 52 | - | 258 |1058 | 0 | 0 | 385 |1253 |1921 | 0.000000e+00 | -- | Inf
9.99/10.06 c 10.1s| 15700 | 55 |124287 | 7.9 |8717k| 52 | 35 | 258 |1057 | 258 | 497 | 385 |1258 |1921 | 0.000000e+00 | -- | Inf
10.09/10.12 c 10.1s| 15800 | 54 |125285 | 7.9 |8718k| 52 | - | 258 |1060 | 0 | 0 | 385 |1265 |1921 | 0.000000e+00 | -- | Inf
10.09/10.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.09/10.16 c 10.2s| 15900 | 56 |125930 | 7.9 |8725k| 52 | 21 | 258 |1068 | 258 | 497 | 385 |1282 |1921 | 0.000000e+00 | -- | Inf
10.18/10.20 c 10.2s| 16000 | 54 |126618 | 7.9 |8731k| 52 | - | 258 |1080 | 0 | 0 | 385 |1300 |1921 | 0.000000e+00 | -- | Inf
10.18/10.24 c 10.2s| 16100 | 54 |127323 | 7.9 |8730k| 52 | 23 | 258 |1087 | 258 | 497 | 385 |1311 |1921 | 0.000000e+00 | -- | Inf
10.18/10.29 c 10.3s| 16200 | 52 |128028 | 7.9 |8731k| 52 | 35 | 258 |1094 | 258 | 497 | 385 |1323 |1921 | 0.000000e+00 | -- | Inf
10.29/10.33 c 10.3s| 16300 | 52 |128694 | 7.8 |8732k| 52 | - | 258 |1092 | 0 | 0 | 385 |1327 |1921 | 0.000000e+00 | -- | Inf
10.29/10.39 c 10.4s| 16400 | 54 |129643 | 7.9 |8736k| 52 | 52 | 258 |1099 | 258 | 497 | 385 |1339 |1926 | 0.000000e+00 | -- | Inf
10.39/10.43 c 10.4s| 16500 | 50 |130389 | 7.9 |8731k| 52 | - | 258 |1096 | 0 | 0 | 385 |1346 |1927 | 0.000000e+00 | -- | Inf
10.39/10.48 c 10.5s| 16600 | 46 |131269 | 7.9 |8718k| 52 | - | 258 |1089 | 258 | 497 | 385 |1349 |1927 | 0.000000e+00 | -- | Inf
10.48/10.55 c 10.5s| 16700 | 50 |132511 | 7.9 |8712k| 52 | 20 | 258 |1086 | 258 | 497 | 385 |1357 |1927 | 0.000000e+00 | -- | Inf
10.48/10.58 c 10.6s| 16800 | 49 |132995 | 7.9 |8711k| 52 | 34 | 258 |1082 | 258 | 497 | 385 |1364 |1927 | 0.000000e+00 | -- | Inf
10.58/10.63 c 10.6s| 16900 | 46 |133836 | 7.9 |8716k| 52 | - | 258 |1080 | 0 | 0 | 385 |1378 |1927 | 0.000000e+00 | -- | Inf
10.58/10.67 c 10.7s| 17000 | 49 |134531 | 7.9 |8714k| 52 | 27 | 258 |1084 | 258 | 497 | 385 |1387 |1927 | 0.000000e+00 | -- | Inf
10.69/10.72 c 10.7s| 17100 | 47 |135268 | 7.9 |8712k| 52 | - | 258 |1081 | 0 | 0 | 385 |1397 |1927 | 0.000000e+00 | -- | Inf
10.69/10.77 c 10.8s| 17200 | 49 |136138 | 7.9 |8710k| 52 | 24 | 258 |1074 | 258 | 497 | 385 |1402 |1927 | 0.000000e+00 | -- | Inf
10.79/10.80 c 10.8s| 17300 | 49 |136737 | 7.9 |8708k| 52 | 28 | 258 |1070 | 258 | 497 | 385 |1406 |1927 | 0.000000e+00 | -- | Inf
10.79/10.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.79/10.84 c 10.8s| 17400 | 50 |137341 | 7.8 |8712k| 52 | - | 258 |1067 | 0 | 0 | 385 |1412 |1927 | 0.000000e+00 | -- | Inf
10.79/10.88 c 10.9s| 17500 | 49 |137933 | 7.8 |8714k| 52 | - | 258 |1062 | 0 | 0 | 385 |1418 |1927 | 0.000000e+00 | -- | Inf
10.89/10.92 c 10.9s| 17600 | 49 |138598 | 7.8 |8712k| 52 | - | 258 |1058 | 258 | 497 | 385 |1424 |1927 | 0.000000e+00 | -- | Inf
10.89/10.96 c 11.0s| 17700 | 50 |139166 | 7.8 |8713k| 52 | 28 | 258 |1060 | 258 | 497 | 385 |1434 |1927 | 0.000000e+00 | -- | Inf
10.89/10.99 c 11.0s| 17800 | 48 |139764 | 7.8 |8710k| 52 | 30 | 258 |1054 | 258 | 497 | 385 |1436 |1927 | 0.000000e+00 | -- | Inf
11.00/11.04 c 11.0s| 17900 | 46 |140486 | 7.8 |8707k| 52 | - | 258 |1049 | 0 | 0 | 385 |1436 |1927 | 0.000000e+00 | -- | Inf
11.00/11.08 c 11.1s| 18000 | 50 |141333 | 7.8 |8704k| 52 | 31 | 258 |1034 | 258 | 497 | 385 |1442 |1927 | 0.000000e+00 | -- | Inf
11.09/11.13 c 11.1s| 18100 | 52 |142097 | 7.8 |8710k| 52 | 22 | 258 |1037 | 258 | 497 | 385 |1446 |1927 | 0.000000e+00 | -- | Inf
11.09/11.18 c 11.2s| 18200 | 47 |142953 | 7.8 |8707k| 52 | - | 258 |1042 | 258 | 497 | 385 |1452 |1927 | 0.000000e+00 | -- | Inf
11.19/11.21 c 11.2s| 18300 | 49 |143507 | 7.8 |8708k| 52 | - | 258 |1047 | 0 | 0 | 385 |1459 |1927 | 0.000000e+00 | -- | Inf
11.19/11.25 c 11.3s| 18400 | 47 |144225 | 7.8 |8708k| 52 | - | 258 |1056 | 0 | 0 | 385 |1469 |1927 | 0.000000e+00 | -- | Inf
11.28/11.30 c 11.3s| 18500 | 52 |144909 | 7.8 |8712k| 52 | 25 | 258 |1057 | 258 | 497 | 385 |1480 |1927 | 0.000000e+00 | -- | Inf
11.28/11.33 c 11.3s| 18600 | 53 |145473 | 7.8 |8719k| 52 | - | 258 |1061 | 0 | 0 | 385 |1489 |1927 | 0.000000e+00 | -- | Inf
11.28/11.37 c 11.4s| 18700 | 53 |146010 | 7.8 |8721k| 52 | 31 | 258 |1065 | 258 | 497 | 385 |1496 |1927 | 0.000000e+00 | -- | Inf
11.39/11.40 c 11.4s| 18800 | 52 |146530 | 7.8 |8722k| 52 | 23 | 258 |1077 | 258 | 497 | 385 |1511 |1927 | 0.000000e+00 | -- | Inf
11.39/11.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.39/11.45 c 11.4s| 18900 | 51 |147208 | 7.7 |8723k| 52 | 32 | 258 |1085 | 258 | 497 | 385 |1521 |1927 | 0.000000e+00 | -- | Inf
11.39/11.48 c 11.5s| 19000 | 51 |147810 | 7.7 |8727k| 52 | - | 258 |1089 | 0 | 0 | 385 |1528 |1927 | 0.000000e+00 | -- | Inf
11.48/11.52 c 11.5s| 19100 | 52 |148378 | 7.7 |8729k| 52 | 33 | 258 |1096 | 258 | 497 | 385 |1546 |1927 | 0.000000e+00 | -- | Inf
11.48/11.57 c 11.6s| 19200 | 51 |149173 | 7.7 |8734k| 52 | 34 | 258 |1101 | 258 | 497 | 385 |1556 |1927 | 0.000000e+00 | -- | Inf
11.59/11.61 c 11.6s| 19300 | 52 |149974 | 7.7 |8734k| 52 | - | 258 |1100 | 0 | 0 | 385 |1558 |1927 | 0.000000e+00 | -- | Inf
11.59/11.66 c 11.7s| 19400 | 50 |150704 | 7.7 |8735k| 52 | - | 258 |1102 | 0 | 0 | 385 |1561 |1927 | 0.000000e+00 | -- | Inf
11.59/11.69 c 11.7s| 19500 | 49 |151328 | 7.7 |8736k| 52 | - | 258 |1108 | 258 | 497 | 385 |1568 |1927 | 0.000000e+00 | -- | Inf
11.69/11.74 c 11.7s| 19600 | 48 |152087 | 7.7 |8735k| 52 | - | 258 |1118 | 0 | 0 | 385 |1586 |1927 | 0.000000e+00 | -- | Inf
11.69/11.78 c 11.8s| 19700 | 50 |152828 | 7.7 |8737k| 52 | - | 258 |1106 | 0 | 0 | 385 |1591 |1927 | 0.000000e+00 | -- | Inf
11.79/11.82 c 11.8s| 19800 | 55 |153396 | 7.7 |8745k| 52 | - | 258 |1103 | 0 | 0 | 385 |1597 |1927 | 0.000000e+00 | -- | Inf
11.79/11.85 c 11.9s| 19900 | 51 |153866 | 7.7 |8741k| 52 | - | 258 |1115 | 258 | 497 | 385 |1612 |1927 | 0.000000e+00 | -- | Inf
11.79/11.90 c 11.9s| 20000 | 51 |154580 | 7.7 |8747k| 52 | - | 258 |1132 | 0 | 0 | 385 |1633 |1927 | 0.000000e+00 | -- | Inf
11.89/11.93 c 11.9s| 20100 | 54 |155218 | 7.7 |8754k| 52 | - | 258 |1141 | 0 | 0 | 385 |1648 |1927 | 0.000000e+00 | -- | Inf
11.89/11.97 c 12.0s| 20200 | 55 |155838 | 7.7 |8758k| 52 | - | 258 |1142 | 0 | 0 | 385 |1654 |1927 | 0.000000e+00 | -- | Inf
11.99/12.01 c 12.0s| 20300 | 55 |156457 | 7.7 |8759k| 52 | 30 | 258 |1148 | 258 | 497 | 385 |1665 |1927 | 0.000000e+00 | -- | Inf
11.99/12.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.99/12.06 c 12.1s| 20400 | 55 |157223 | 7.7 |8764k| 52 | - | 258 |1151 | 258 | 497 | 385 |1672 |1927 | 0.000000e+00 | -- | Inf
11.99/12.10 c 12.1s| 20500 | 59 |158022 | 7.7 |8768k| 52 | 32 | 258 |1154 | 258 | 497 | 385 |1675 |1927 | 0.000000e+00 | -- | Inf
12.09/12.15 c 12.1s| 20600 | 55 |158651 | 7.7 |8768k| 52 | - | 258 |1158 | 0 | 0 | 385 |1679 |1937 | 0.000000e+00 | -- | Inf
12.18/12.20 c 12.2s| 20700 | 55 |159429 | 7.7 |8773k| 52 | - | 258 |1167 | 258 | 497 | 385 |1689 |1946 | 0.000000e+00 | -- | Inf
12.18/12.27 c 12.3s| 20800 | 52 |160415 | 7.7 |8763k| 52 | 30 | 258 |1172 | 258 | 497 | 385 |1699 |1967 | 0.000000e+00 | -- | Inf
12.28/12.32 c 12.3s| 20900 | 50 |160996 | 7.7 |8761k| 52 | - | 258 |1167 | 0 | 0 | 385 |1703 |1976 | 0.000000e+00 | -- | Inf
12.28/12.37 c 12.4s| 21000 | 52 |161766 | 7.7 |8764k| 52 | - | 258 |1156 | 0 | 0 | 385 |1707 |1979 | 0.000000e+00 | -- | Inf
12.39/12.41 c 12.4s| 21100 | 54 |162612 | 7.7 |8758k| 52 | 38 | 258 |1144 | 258 | 497 | 385 |1715 |1980 | 0.000000e+00 | -- | Inf
12.39/12.46 c 12.5s| 21200 | 55 |163404 | 7.7 |8763k| 52 | - | 258 |1141 | 0 | 0 | 385 |1726 |1982 | 0.000000e+00 | -- | Inf
12.49/12.50 c 12.5s| 21300 | 53 |163956 | 7.7 |8763k| 52 | 23 | 258 |1157 | 258 | 497 | 385 |1745 |1982 | 0.000000e+00 | -- | Inf
12.49/12.54 c 12.5s| 21400 | 55 |164553 | 7.7 |8765k| 52 | 19 | 258 |1159 | 258 | 497 | 385 |1754 |1982 | 0.000000e+00 | -- | Inf
12.49/12.58 c 12.6s| 21500 | 52 |165187 | 7.6 |8765k| 52 | - | 258 |1159 | 0 | 0 | 385 |1764 |1982 | 0.000000e+00 | -- | Inf
12.58/12.62 c 12.6s| 21600 | 52 |165837 | 7.6 |8767k| 52 | - | 258 |1156 | 258 | 497 | 385 |1768 |1982 | 0.000000e+00 | -- | Inf
12.58/12.67 c 12.7s| 21700 | 52 |166608 | 7.6 |8762k| 52 | - | 258 |1154 | 258 | 497 | 385 |1775 |1982 | 0.000000e+00 | -- | Inf
12.69/12.71 c 12.7s| 21800 | 50 |167253 | 7.6 |8754k| 52 | 23 | 258 |1146 | 258 | 497 | 385 |1782 |1982 | 0.000000e+00 | -- | Inf
12.69/12.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.69/12.76 c 12.8s| 21900 | 53 |168172 | 7.6 |8759k| 52 | 38 | 258 |1136 | 258 | 497 | 385 |1787 |1983 | 0.000000e+00 | -- | Inf
12.69/12.79 c 12.8s| 22000 | 55 |168654 | 7.6 |8765k| 52 | - | 258 |1140 | 0 | 0 | 385 |1800 |1983 | 0.000000e+00 | -- | Inf
12.79/12.83 c 12.8s| 22100 | 55 |169188 | 7.6 |8765k| 52 | 18 | 258 |1143 | 258 | 497 | 385 |1810 |1983 | 0.000000e+00 | -- | Inf
12.79/12.86 c 12.9s| 22200 | 53 |169784 | 7.6 |8763k| 52 | 27 | 258 |1147 | 258 | 497 | 385 |1816 |1983 | 0.000000e+00 | -- | Inf
12.88/12.91 c 12.9s| 22300 | 53 |170525 | 7.6 |8763k| 52 | 29 | 258 |1152 | 258 | 497 | 385 |1822 |1983 | 0.000000e+00 | -- | Inf
12.88/12.95 c 13.0s| 22400 | 52 |171321 | 7.6 |8762k| 52 | 38 | 258 |1147 | 258 | 497 | 385 |1826 |1983 | 0.000000e+00 | -- | Inf
12.88/13.00 c 13.0s| 22500 | 52 |172084 | 7.6 |8764k| 52 | 34 | 258 |1151 | 258 | 497 | 385 |1834 |1983 | 0.000000e+00 | -- | Inf
12.99/13.05 c 13.0s| 22600 | 55 |172804 | 7.6 |8768k| 52 | 34 | 258 |1149 | 258 | 497 | 385 |1841 |1992 | 0.000000e+00 | -- | Inf
12.99/13.09 c 13.1s| 22700 | 53 |173437 | 7.6 |8772k| 52 | - | 258 |1158 | 0 | 0 | 385 |1852 |1998 | 0.000000e+00 | -- | Inf
13.09/13.15 c 13.1s| 22800 | 51 |174104 | 7.6 |8776k| 52 | - | 258 |1169 | 0 | 0 | 385 |1867 |2012 | 0.000000e+00 | -- | Inf
13.19/13.21 c 13.2s| 22900 | 53 |174955 | 7.6 |8773k| 52 | - | 258 |1169 | 0 | 0 | 385 |1875 |2029 | 0.000000e+00 | -- | Inf
13.19/13.25 c 13.2s| 23000 | 53 |175558 | 7.6 |8779k| 52 | - | 258 |1176 | 0 | 0 | 385 |1885 |2036 | 0.000000e+00 | -- | Inf
13.19/13.29 c 13.3s| 23100 | 51 |176180 | 7.6 |8767k| 52 | 46 | 258 |1168 | 258 | 497 | 385 |1886 |2037 | 0.000000e+00 | -- | Inf
13.29/13.33 c 13.3s| 23200 | 51 |176830 | 7.6 |8763k| 52 | 37 | 258 |1156 | 258 | 497 | 385 |1887 |2038 | 0.000000e+00 | -- | Inf
13.29/13.38 c 13.4s| 23300 | 51 |177530 | 7.6 |8770k| 52 | - | 258 |1156 | 0 | 0 | 385 |1893 |2041 | 0.000000e+00 | -- | Inf
13.39/13.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.39/13.42 c 13.4s| 23400 | 53 |178402 | 7.6 |8769k| 52 | 33 | 258 |1157 | 258 | 497 | 385 |1901 |2041 | 0.000000e+00 | -- | Inf
13.39/13.47 c 13.5s| 23500 | 54 |179010 | 7.6 |8773k| 52 | - | 258 |1154 | 0 | 0 | 385 |1906 |2043 | 0.000000e+00 | -- | Inf
13.48/13.51 c 13.5s| 23600 | 54 |179852 | 7.6 |8777k| 52 | - | 258 |1158 | 0 | 0 | 385 |1918 |2043 | 0.000000e+00 | -- | Inf
13.48/13.55 c 13.6s| 23700 | 54 |180528 | 7.6 |8774k| 52 | 24 | 258 |1158 | 258 | 497 | 385 |1925 |2043 | 0.000000e+00 | -- | Inf
13.59/13.60 c 13.6s| 23800 | 52 |181264 | 7.6 |8775k| 52 | - | 258 |1161 | 0 | 0 | 385 |1933 |2043 | 0.000000e+00 | -- | Inf
13.59/13.64 c 13.6s| 23900 | 56 |181945 | 7.6 |8777k| 52 | 32 | 258 |1159 | 258 | 497 | 385 |1936 |2043 | 0.000000e+00 | -- | Inf
13.59/13.68 c 13.7s| 24000 | 59 |182762 | 7.6 |8785k| 52 | - | 258 |1163 | 258 | 497 | 385 |1940 |2043 | 0.000000e+00 | -- | Inf
13.68/13.72 c 13.7s| 24100 | 57 |183455 | 7.6 |8783k| 52 | 36 | 258 |1168 | 258 | 497 | 385 |1948 |2043 | 0.000000e+00 | -- | Inf
13.68/13.77 c 13.8s| 24200 | 60 |184333 | 7.6 |8790k| 52 | 21 | 258 |1169 | 258 | 497 | 385 |1953 |2043 | 0.000000e+00 | -- | Inf
13.79/13.82 c 13.8s| 24300 | 58 |185065 | 7.6 |8793k| 52 | - | 258 |1176 | 0 | 0 | 385 |1963 |2043 | 0.000000e+00 | -- | Inf
13.79/13.86 c 13.9s| 24400 | 54 |185932 | 7.6 |8783k| 52 | 37 | 258 |1179 | 258 | 497 | 385 |1967 |2043 | 0.000000e+00 | -- | Inf
13.88/13.90 c 13.9s| 24500 | 58 |186493 | 7.6 |8793k| 52 | - | 258 |1181 | 0 | 0 | 385 |1972 |2044 | 0.000000e+00 | -- | Inf
13.88/13.94 c 13.9s| 24600 | 58 |186995 | 7.6 |8798k| 52 | 19 | 258 |1193 | 258 | 497 | 385 |1986 |2044 | 0.000000e+00 | -- | Inf
13.88/13.99 c 14.0s| 24700 | 56 |187780 | 7.6 |8800k| 52 | 26 | 258 |1203 | 258 | 497 | 385 |1999 |2055 | 0.000000e+00 | -- | Inf
13.99/14.04 c 14.0s| 24800 | 60 |188443 | 7.6 |8804k| 52 | - | 258 |1201 | 0 | 0 | 385 |2003 |2062 | 0.000000e+00 | -- | Inf
13.99/14.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.99/14.08 c 14.1s| 24900 | 60 |188951 | 7.6 |8806k| 52 | 22 | 258 |1213 | 258 | 497 | 385 |2018 |2069 | 0.000000e+00 | -- | Inf
14.08/14.13 c 14.1s| 25000 | 60 |189643 | 7.6 |8809k| 52 | 16 | 258 |1217 | 258 | 497 | 385 |2023 |2084 | 0.000000e+00 | -- | Inf
14.08/14.16 c 14.2s| 25100 | 55 |190114 | 7.5 |8807k| 52 | - | 258 |1224 | 0 | 0 | 385 |2034 |2089 | 0.000000e+00 | -- | Inf
14.19/14.21 c 14.2s| 25200 | 60 |190784 | 7.5 |8815k| 52 | - | 258 |1229 | 0 | 0 | 385 |2045 |2099 | 0.000000e+00 | -- | Inf
14.19/14.26 c 14.3s| 25300 | 59 |191376 | 7.5 |8813k| 52 | 21 | 258 |1233 | 258 | 497 | 385 |2051 |2108 | 0.000000e+00 | -- | Inf
14.19/14.30 c 14.3s| 25400 | 56 |191913 | 7.5 |8816k| 52 | - | 258 |1234 | 0 | 0 | 385 |2060 |2109 | 0.000000e+00 | -- | Inf
14.29/14.33 c 14.3s| 25500 | 56 |192413 | 7.5 |8810k| 52 | - | 258 |1234 | 0 | 0 | 385 |2072 |2111 | 0.000000e+00 | -- | Inf
14.29/14.37 c 14.4s| 25600 | 53 |192986 | 7.5 |8806k| 52 | 25 | 258 |1239 | 258 | 497 | 385 |2080 |2115 | 0.000000e+00 | -- | Inf
14.39/14.41 c 14.4s| 25700 | 55 |193587 | 7.5 |8812k| 52 | 25 | 258 |1241 | 258 | 497 | 385 |2085 |2116 | 0.000000e+00 | -- | Inf
14.39/14.45 c 14.4s| 25800 | 53 |194149 | 7.5 |8812k| 52 | - | 258 |1240 | 258 | 497 | 385 |2086 |2116 | 0.000000e+00 | -- | Inf
14.39/14.49 c 14.5s| 25900 | 59 |194896 | 7.5 |8819k| 52 | - | 258 |1234 | 0 | 0 | 385 |2086 |2117 | 0.000000e+00 | -- | Inf
14.48/14.53 c 14.5s| 26000 | 64 |195631 | 7.5 |8825k| 52 | 27 | 258 |1236 | 258 | 497 | 385 |2095 |2117 | 0.000000e+00 | -- | Inf
14.48/14.57 c 14.6s| 26100 | 60 |196172 | 7.5 |8828k| 52 | - | 258 |1243 | 0 | 0 | 385 |2102 |2118 | 0.000000e+00 | -- | Inf
14.59/14.61 c 14.6s| 26200 | 58 |196855 | 7.5 |8821k| 52 | 28 | 258 |1245 | 258 | 497 | 385 |2110 |2118 | 0.000000e+00 | -- | Inf
14.59/14.66 c 14.7s| 26300 | 60 |197687 | 7.5 |8827k| 52 | 21 | 258 |1249 | 258 | 497 | 385 |2118 |2118 | 0.000000e+00 | -- | Inf
14.68/14.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.68/14.70 c 14.7s| 26400 | 58 |198364 | 7.5 |8825k| 52 | 30 | 258 |1251 | 258 | 497 | 385 |2121 |2118 | 0.000000e+00 | -- | Inf
14.68/14.74 c 14.7s| 26500 | 57 |198993 | 7.5 |8828k| 52 | - | 258 |1259 | 0 | 0 | 385 |2129 |2118 | 0.000000e+00 | -- | Inf
14.68/14.77 c 14.8s| 26600 | 55 |199586 | 7.5 |8825k| 52 | 30 | 258 |1268 | 258 | 497 | 385 |2139 |2118 | 0.000000e+00 | -- | Inf
14.79/14.81 c 14.8s| 26700 | 55 |200249 | 7.5 |8823k| 52 | 33 | 258 |1268 | 258 | 497 | 385 |2139 |2118 | 0.000000e+00 | -- | Inf
14.79/14.86 c 14.9s| 26800 | 55 |200939 | 7.5 |8823k| 52 | 13 | 258 |1275 | 258 | 497 | 385 |2151 |2119 | 0.000000e+00 | -- | Inf
14.79/14.89 c 14.9s| 26900 | 53 |201501 | 7.5 |8826k| 52 | - | 258 |1273 | 0 | 0 | 385 |2154 |2119 | 0.000000e+00 | -- | Inf
14.88/14.94 c 14.9s| 27000 | 52 |202252 | 7.5 |8821k| 52 | 28 | 258 |1272 | 258 | 497 | 385 |2157 |2119 | 0.000000e+00 | -- | Inf
14.88/14.98 c 15.0s| 27100 | 52 |203020 | 7.5 |8814k| 53 | 41 | 258 |1269 | 258 | 497 | 385 |2164 |2121 | 0.000000e+00 | -- | Inf
14.98/15.02 c 15.0s| 27200 | 59 |203641 | 7.5 |8828k| 53 | - | 258 |1271 | 0 | 0 | 385 |2183 |2124 | 0.000000e+00 | -- | Inf
14.98/15.07 c 15.1s| 27300 | 57 |204265 | 7.5 |8829k| 53 | - | 258 |1270 | 0 | 0 | 385 |2187 |2138 | 0.000000e+00 | -- | Inf
15.09/15.12 c 15.1s| 27400 | 55 |204903 | 7.5 |8825k| 53 | 20 | 258 |1274 | 258 | 497 | 385 |2201 |2146 | 0.000000e+00 | -- | Inf
15.09/15.18 c 15.2s| 27500 | 52 |205676 | 7.5 |8815k| 53 | 31 | 258 |1273 | 258 | 497 | 385 |2209 |2165 | 0.000000e+00 | -- | Inf
15.18/15.22 c 15.2s| 27600 | 56 |206214 | 7.4 |8816k| 53 | 18 | 258 |1266 | 258 | 497 | 385 |2220 |2169 | 0.000000e+00 | -- | Inf
15.18/15.26 c 15.3s| 27700 | 56 |206702 | 7.4 |8816k| 53 | 18 | 258 |1255 | 258 | 497 | 385 |2221 |2179 | 0.000000e+00 | -- | Inf
15.29/15.30 c 15.3s| 27800 | 58 |207309 | 7.4 |8816k| 53 | 27 | 258 |1242 | 258 | 497 | 385 |2227 |2181 | 0.000000e+00 | -- | Inf
15.29/15.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.29/15.34 c 15.3s| 27900 | 54 |207909 | 7.4 |8810k| 53 | - | 258 |1235 | 0 | 0 | 385 |2233 |2183 | 0.000000e+00 | -- | Inf
15.29/15.39 c 15.4s| 28000 | 56 |208547 | 7.4 |8807k| 53 | 34 | 258 |1222 | 258 | 497 | 385 |2239 |2188 | 0.000000e+00 | -- | Inf
15.39/15.42 c 15.4s| 28100 | 58 |209082 | 7.4 |8811k| 53 | 40 | 258 |1222 | 258 | 497 | 385 |2251 |2188 | 0.000000e+00 | -- | Inf
15.39/15.46 c 15.5s| 28200 | 59 |209746 | 7.4 |8813k| 53 | 19 | 258 |1225 | 258 | 497 | 385 |2257 |2189 | 0.000000e+00 | -- | Inf
15.48/15.50 c 15.5s| 28300 | 55 |210342 | 7.4 |8814k| 53 | - | 258 |1233 | 0 | 0 | 385 |2270 |2189 | 0.000000e+00 | -- | Inf
15.48/15.55 c 15.5s| 28400 | 53 |211094 | 7.4 |8807k| 53 | 33 | 258 |1233 | 258 | 497 | 385 |2275 |2191 | 0.000000e+00 | -- | Inf
15.58/15.60 c 15.6s| 28500 | 57 |211955 | 7.4 |8819k| 53 | - | 258 |1231 | 0 | 0 | 385 |2275 |2192 | 0.000000e+00 | -- | Inf
15.58/15.64 c 15.6s| 28600 | 57 |212558 | 7.4 |8820k| 53 | - | 258 |1235 | 258 | 497 | 385 |2282 |2192 | 0.000000e+00 | -- | Inf
15.58/15.68 c 15.7s| 28700 | 63 |213260 | 7.4 |8829k| 53 | - | 258 |1235 | 0 | 0 | 385 |2287 |2192 | 0.000000e+00 | -- | Inf
15.69/15.72 c 15.7s| 28800 | 62 |213927 | 7.4 |8831k| 53 | 25 | 258 |1247 | 258 | 497 | 385 |2302 |2192 | 0.000000e+00 | -- | Inf
15.69/15.76 c 15.8s| 28900 | 62 |214633 | 7.4 |8841k| 53 | - | 258 |1254 | 0 | 0 | 385 |2314 |2192 | 0.000000e+00 | -- | Inf
15.78/15.80 c 15.8s| 29000 | 61 |215320 | 7.4 |8834k| 53 | 23 | 258 |1255 | 258 | 497 | 385 |2317 |2192 | 0.000000e+00 | -- | Inf
15.78/15.85 c 15.9s| 29100 | 63 |216141 | 7.4 |8842k| 53 | - | 258 |1260 | 0 | 0 | 385 |2327 |2192 | 0.000000e+00 | -- | Inf
15.78/15.89 c 15.9s| 29200 | 60 |216738 | 7.4 |8837k| 53 | 25 | 258 |1262 | 258 | 497 | 385 |2332 |2192 | 0.000000e+00 | -- | Inf
15.89/15.93 c 15.9s| 29300 | 62 |217516 | 7.4 |8848k| 53 | - | 258 |1270 | 0 | 0 | 385 |2340 |2192 | 0.000000e+00 | -- | Inf
15.89/15.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.89/15.97 c 16.0s| 29400 | 62 |218031 | 7.4 |8849k| 53 | - | 258 |1272 | 0 | 0 | 385 |2344 |2192 | 0.000000e+00 | -- | Inf
15.99/16.01 c 16.0s| 29500 | 60 |218702 | 7.4 |8847k| 53 | 33 | 258 |1278 | 258 | 497 | 385 |2350 |2192 | 0.000000e+00 | -- | Inf
15.99/16.06 c 16.1s| 29600 | 58 |219349 | 7.4 |8841k| 53 | 23 | 258 |1284 | 258 | 497 | 385 |2360 |2201 | 0.000000e+00 | -- | Inf
16.08/16.10 c 16.1s| 29700 | 55 |219996 | 7.4 |8837k| 53 | 34 | 258 |1292 | 258 | 497 | 385 |2371 |2205 | 0.000000e+00 | -- | Inf
16.08/16.15 c 16.1s| 29800 | 57 |220627 | 7.4 |8845k| 53 | 25 | 258 |1298 | 258 | 497 | 385 |2378 |2218 | 0.000000e+00 | -- | Inf
16.08/16.19 c 16.2s| 29900 | 57 |221152 | 7.4 |8851k| 53 | - | 258 |1299 | 0 | 0 | 385 |2382 |2229 | 0.000000e+00 | -- | Inf
16.18/16.24 c 16.2s| 30000 | 55 |221725 | 7.4 |8839k| 57 | 31 | 258 |1297 | 258 | 497 | 385 |2385 |2237 | 0.000000e+00 | -- | Inf
16.18/16.28 c 16.3s| 30100 | 55 |222388 | 7.4 |8838k| 57 | 36 | 258 |1296 | 258 | 497 | 385 |2387 |2248 | 0.000000e+00 | -- | Inf
16.29/16.33 c 16.3s| 30200 | 55 |223143 | 7.4 |8841k| 57 | - | 258 |1296 | 258 | 497 | 385 |2390 |2250 | 0.000000e+00 | -- | Inf
16.29/16.37 c 16.4s| 30300 | 55 |223747 | 7.4 |8837k| 57 | 39 | 258 |1298 | 258 | 497 | 385 |2394 |2251 | 0.000000e+00 | -- | Inf
16.39/16.41 c 16.4s| 30400 | 59 |224439 | 7.4 |8850k| 57 | 20 | 258 |1305 | 258 | 497 | 385 |2403 |2252 | 0.000000e+00 | -- | Inf
16.39/16.46 c 16.5s| 30500 | 57 |225215 | 7.4 |8846k| 57 | 23 | 258 |1309 | 258 | 497 | 385 |2414 |2253 | 0.000000e+00 | -- | Inf
16.49/16.51 c 16.5s| 30600 | 53 |226183 | 7.4 |8842k| 57 | - | 258 |1300 | 258 | 497 | 385 |2415 |2255 | 0.000000e+00 | -- | Inf
16.49/16.56 c 16.6s| 30700 | 53 |226936 | 7.4 |8840k| 57 | 39 | 258 |1304 | 258 | 497 | 385 |2428 |2256 | 0.000000e+00 | -- | Inf
16.59/16.60 c 16.6s| 30800 | 51 |227667 | 7.4 |8840k| 57 | - | 258 |1301 | 258 | 497 | 385 |2428 |2256 | 0.000000e+00 | -- | Inf
16.59/16.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.59/16.66 c 16.7s| 30900 | 51 |228619 | 7.4 |8824k| 57 | 33 | 258 |1285 | 258 | 497 | 385 |2428 |2258 | 0.000000e+00 | -- | Inf
16.68/16.70 c 16.7s| 31000 | 52 |229250 | 7.4 |8826k| 57 | - | 258 |1269 | 0 | 0 | 385 |2437 |2263 | 0.000000e+00 | -- | Inf
16.68/16.74 c 16.7s| 31100 | 55 |229909 | 7.4 |8827k| 57 | 28 | 258 |1266 | 258 | 497 | 385 |2442 |2263 | 0.000000e+00 | -- | Inf
16.68/16.78 c 16.8s| 31200 | 55 |230665 | 7.4 |8830k| 57 | - | 258 |1259 | 0 | 0 | 385 |2445 |2263 | 0.000000e+00 | -- | Inf
16.78/16.82 c 16.8s| 31300 | 58 |231388 | 7.4 |8834k| 57 | - | 258 |1256 | 0 | 0 | 385 |2454 |2263 | 0.000000e+00 | -- | Inf
16.78/16.86 c 16.9s| 31400 | 58 |232133 | 7.4 |8834k| 57 | - | 258 |1257 | 0 | 0 | 385 |2459 |2263 | 0.000000e+00 | -- | Inf
16.78/16.89 c 16.9s| 31500 | 59 |232528 | 7.4 |8839k| 57 | 22 | 258 |1272 | 258 | 497 | 385 |2475 |2263 | 0.000000e+00 | -- | Inf
16.88/16.94 c 16.9s| 31600 | 55 |233217 | 7.4 |8838k| 57 | 35 | 258 |1284 | 258 | 497 | 385 |2488 |2263 | 0.000000e+00 | -- | Inf
16.88/16.97 c 17.0s| 31700 | 55 |233714 | 7.3 |8844k| 57 | - | 258 |1281 | 0 | 0 | 385 |2496 |2263 | 0.000000e+00 | -- | Inf
16.98/17.01 c 17.0s| 31800 | 57 |234341 | 7.3 |8840k| 57 | - | 258 |1272 | 258 | 497 | 385 |2498 |2263 | 0.000000e+00 | -- | Inf
16.98/17.05 c 17.1s| 31900 | 63 |235090 | 7.3 |8852k| 57 | - | 258 |1277 | 0 | 0 | 385 |2507 |2263 | 0.000000e+00 | -- | Inf
17.08/17.10 c 17.1s| 32000 | 63 |235618 | 7.3 |8858k| 57 | - | 258 |1283 | 258 | 497 | 385 |2517 |2272 | 0.000000e+00 | -- | Inf
17.08/17.13 c 17.1s| 32100 | 61 |236148 | 7.3 |8857k| 57 | - | 258 |1293 | 0 | 0 | 385 |2530 |2272 | 0.000000e+00 | -- | Inf
17.08/17.18 c 17.2s| 32200 | 59 |236863 | 7.3 |8858k| 57 | - | 258 |1298 | 0 | 0 | 385 |2537 |2283 | 0.000000e+00 | -- | Inf
17.18/17.23 c 17.2s| 32300 | 57 |237481 | 7.3 |8849k| 57 | 24 | 258 |1298 | 258 | 497 | 385 |2551 |2291 | 0.000000e+00 | -- | Inf
17.18/17.28 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.28 c 17.3s| 32400 | 55 |238169 | 7.3 |8849k| 57 | 38 | 258 |1303 | 258 | 497 | 385 |2558 |2299 | 0.000000e+00 | -- | Inf
17.28/17.33 c 17.3s| 32500 | 49 |238896 | 7.3 |8835k| 57 | - | 258 |1299 | 0 | 0 | 385 |2562 |2311 | 0.000000e+00 | -- | Inf
17.28/17.39 c 17.4s| 32600 | 49 |239675 | 7.3 |8823k| 57 | 43 | 258 |1295 | 258 | 497 | 385 |2567 |2326 | 0.000000e+00 | -- | Inf
17.38/17.44 c 17.4s| 32700 | 48 |240448 | 7.3 |8819k| 57 | - | 258 |1287 | 258 | 497 | 385 |2572 |2334 | 0.000000e+00 | -- | Inf
17.38/17.49 c 17.5s| 32800 | 49 |241293 | 7.3 |8817k| 57 | 16 | 258 |1281 | 258 | 497 | 385 |2576 |2335 | 0.000000e+00 | -- | Inf
17.48/17.53 c 17.5s| 32900 | 48 |241969 | 7.3 |8818k| 57 | 35 | 258 |1283 | 258 | 497 | 385 |2583 |2337 | 0.000000e+00 | -- | Inf
17.48/17.57 c 17.6s| 33000 | 50 |242664 | 7.3 |8823k| 57 | - | 258 |1279 | 0 | 0 | 385 |2584 |2337 | 0.000000e+00 | -- | Inf
17.59/17.61 c 17.6s| 33100 | 48 |243230 | 7.3 |8820k| 57 | 32 | 258 |1283 | 258 | 497 | 385 |2589 |2339 | 0.000000e+00 | -- | Inf
17.59/17.65 c 17.6s| 33200 | 46 |243893 | 7.3 |8817k| 57 | - | 258 |1282 | 0 | 0 | 385 |2594 |2339 | 0.000000e+00 | -- | Inf
17.59/17.69 c 17.7s| 33300 | 46 |244573 | 7.3 |8820k| 57 | - | 258 |1289 | 258 | 497 | 385 |2602 |2339 | 0.000000e+00 | -- | Inf
17.68/17.74 c 17.7s| 33400 | 48 |245505 | 7.3 |8823k| 57 | - | 258 |1298 | 0 | 0 | 385 |2620 |2339 | 0.000000e+00 | -- | Inf
17.68/17.78 c 17.8s| 33500 | 48 |246159 | 7.3 |8821k| 57 | 28 | 258 |1294 | 258 | 497 | 385 |2629 |2339 | 0.000000e+00 | -- | Inf
17.78/17.82 c 17.8s| 33600 | 47 |246792 | 7.3 |8817k| 57 | - | 258 |1296 | 258 | 497 | 385 |2640 |2339 | 0.000000e+00 | -- | Inf
17.78/17.86 c 17.9s| 33700 | 47 |247505 | 7.3 |8820k| 57 | - | 258 |1303 | 0 | 0 | 385 |2649 |2339 | 0.000000e+00 | -- | Inf
17.89/17.90 c 17.9s| 33800 | 47 |248236 | 7.3 |8818k| 57 | 31 | 258 |1310 | 258 | 497 | 385 |2656 |2340 | 0.000000e+00 | -- | Inf
17.89/17.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.89/17.95 c 18.0s| 33900 | 48 |248912 | 7.3 |8821k| 57 | 42 | 258 |1293 | 258 | 497 | 385 |2669 |2349 | 0.000000e+00 | -- | Inf
17.99/18.00 c 18.0s| 34000 | 53 |249600 | 7.3 |8829k| 57 | 25 | 258 |1284 | 258 | 497 | 385 |2682 |2360 | 0.000000e+00 | -- | Inf
17.99/18.03 c *18.0s| 34081 | 0 |250146 | 7.3 |8757k| 57 | - | 258 |1285 | 258 | 497 | 385 |2684 |2363 | 0.000000e+00 | 0.000000e+00 | 0.00%
17.99/18.04 c
17.99/18.04 c SCIP Status : problem is solved [optimal solution found]
17.99/18.04 c Solving Time (sec) : 18.03
17.99/18.04 c Solving Nodes : 34081
17.99/18.04 c Primal Bound : +0.00000000000000e+00 (1 solutions)
17.99/18.04 c Dual Bound : +0.00000000000000e+00
17.99/18.04 c Gap : 0.00 %
17.99/18.04 s SATISFIABLE
17.99/18.04 v x265 -x266 -x263 x264 x261 -x262 -x259 x260 x257 -x258 -x255 x256 -x253 -x254 -x251 x252 -x249 -x250 x247 -x248 -x245 x246 x243
17.99/18.04 v -x244 -x241 x242 x239 -x240 -x237 x238 x235 -x236 -x233 x234 x231 -x232 -x229 x230 x227 -x228 -x225 x226 x223 -x224 -x221 -x222
17.99/18.04 v -x219 -x220 -x217 x218 -x215 -x216 x213 -x214 -x211 x212 x209 -x210 -x207 x208 x205 -x206 -x203 x204 x201 -x202 -x199 x200
17.99/18.04 v -x197 x198 x195 -x196 -x193 x194 x191 -x192 -x189 x190 x187 -x188 x185 -x186 x183 -x184 -x181 x182 x179 -x180 x177 -x178 -x175
17.99/18.04 v x176 x173 -x174 -x171 x172 x169 -x170 x167 -x168 x165 -x166 -x163 x164 -x162 x160 -x158 x156 -x154 x152 -x150 x148 -x146
17.99/18.04 v -x144 -x142 -x140 -x138 -x136 -x134 x132 -x130 -x128 -x126 -x124 -x122 -x120 -x118 -x116 -x114 -x112 -x110 -x108 -x106 -x104
17.99/18.04 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
17.99/18.04 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
17.99/18.04 v -x159 -x157 -x155 -x153 -x151 -x149 -x147 -x145 -x143 -x141 -x139 -x137 -x135 -x133 -x131 -x129 -x127 x125 -x123 x121 -x119
17.99/18.04 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
17.99/18.04 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
17.99/18.04 v x17 -x15 x13 -x11 x9 -x7 -x5 -x3 x1
17.99/18.04 c SCIP Status : problem is solved [optimal solution found]
17.99/18.04 c Total Time : 18.03
17.99/18.04 c solving : 18.03
17.99/18.04 c presolving : 0.02 (included in solving)
17.99/18.04 c reading : 0.00 (included in solving)
17.99/18.04 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
17.99/18.04 c Original Problem :
17.99/18.04 c Problem name : HOME/instance-3691647-1338019318.opb
17.99/18.04 c Variables : 266 (266 binary, 0 integer, 0 implicit integer, 0 continuous)
17.99/18.04 c Constraints : 401 initial, 401 maximal
17.99/18.04 c Objective sense : minimize
17.99/18.04 c Presolved Problem :
17.99/18.04 c Problem name : t_HOME/instance-3691647-1338019318.opb
17.99/18.04 c Variables : 258 (258 binary, 0 integer, 0 implicit integer, 0 continuous)
17.99/18.04 c Constraints : 389 initial, 1315 maximal
17.99/18.04 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
17.99/18.04 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
17.99/18.04 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
17.99/18.04 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
17.99/18.04 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
17.99/18.04 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
17.99/18.04 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
17.99/18.04 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
17.99/18.04 c implics : 0.00 0.00 0 8 0 0 0 0 0 0 0
17.99/18.04 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
17.99/18.04 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
17.99/18.04 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
17.99/18.04 c knapsack : 0.01 0.00 0 0 0 0 0 0 0 0 0
17.99/18.04 c setppc : 0.00 0.00 0 0 0 0 0 12 0 0 0
17.99/18.04 c linear : 0.01 0.00 0 0 0 0 0 0 0 0 0
17.99/18.04 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
17.99/18.04 c root node : - - 0 - - 0 - - - - -
17.99/18.04 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
17.99/18.04 c integral : 0 0 0 0 17344 0 3 0 27 277 0 0 34306
17.99/18.04 c knapsack : 164 164 5 87281 0 0 0 166488 12781 304165 487 0 0
17.99/18.04 c setppc : 129 129 5 73434 0 0 0 36902 42 94541 0 0 0
17.99/18.04 c linear : 0+ 12 5 2158 0 0 0 1 0 15 0 0 0
17.99/18.04 c logicor : 96+ 1010 5 56281 1 0 0 817 268 58714 0 0 0
17.99/18.04 c countsols : 0 0 0 0 1 0 2 0 0 0 0 0 0
17.99/18.04 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
17.99/18.04 c integral : 2.89 0.00 0.00 0.00 2.89 0.00 0.00 0.00
17.99/18.04 c knapsack : 0.77 0.00 0.00 0.69 0.00 0.00 0.00 0.07
17.99/18.04 c setppc : 0.15 0.00 0.00 0.13 0.00 0.00 0.00 0.01
17.99/18.04 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
17.99/18.04 c logicor : 0.25 0.00 0.00 0.25 0.00 0.00 0.00 0.00
17.99/18.04 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
17.99/18.04 c Propagators : #Propagate #ResProp Cutoffs DomReds
17.99/18.04 c rootredcost : 0 0 0 0
17.99/18.04 c pseudoobj : 0 0 0 0
17.99/18.04 c vbounds : 0 0 0 0
17.99/18.04 c redcost : 17349 0 0 0
17.99/18.04 c probing : 0 0 0 0
17.99/18.04 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
17.99/18.04 c rootredcost : 0.02 0.00 0.00 0.02 0.00
17.99/18.04 c pseudoobj : 0.02 0.00 0.00 0.02 0.00
17.99/18.04 c vbounds : 0.02 0.00 0.00 0.02 0.00
17.99/18.04 c redcost : 0.06 0.00 0.00 0.06 0.00
17.99/18.04 c probing : 0.00 0.00 0.00 0.00 0.00
17.99/18.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
17.99/18.04 c propagation : 0.22 2090 1829 10125 54.1 28 53.1 -
17.99/18.04 c infeasible LP : 0.21 3977 0 0 0.0 0 0.0 0
17.99/18.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
17.99/18.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
17.99/18.04 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
17.99/18.04 c applied globally : - - - 2453 18.1 - - -
17.99/18.04 c applied locally : - - - 231 35.4 - - -
17.99/18.04 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
17.99/18.04 c cut pool : 0.00 4 - - 169 - (maximal pool size: 1710)
17.99/18.04 c closecuts : 0.00 0.00 0 0 0 0 0
17.99/18.04 c impliedbounds : 0.00 0.00 5 0 0 565 0
17.99/18.04 c intobj : 0.00 0.00 0 0 0 0 0
17.99/18.04 c gomory : 0.10 0.00 5 0 0 102 0
17.99/18.04 c cgmip : 0.00 0.00 0 0 0 0 0
17.99/18.04 c strongcg : 0.14 0.00 5 0 0 2079 0
17.99/18.04 c cmir : 0.00 0.00 0 0 0 0 0
17.99/18.04 c flowcover : 0.00 0.00 0 0 0 0 0
17.99/18.04 c clique : 0.00 0.00 1 0 0 0 0
17.99/18.04 c zerohalf : 0.00 0.00 0 0 0 0 0
17.99/18.04 c mcf : 0.00 0.00 1 0 0 0 0
17.99/18.04 c oddcycle : 0.00 0.00 0 0 0 0 0
17.99/18.04 c rapidlearning : 0.07 0.00 1 0 0 0 12
17.99/18.04 c Pricers : ExecTime SetupTime Calls Vars
17.99/18.04 c problem variables: 0.00 - 0 0
17.99/18.04 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
17.99/18.04 c relpscost : 2.88 0.00 17343 27 277 0 0 34306
17.99/18.04 c pscost : 0.00 0.00 0 0 0 0 0 0
17.99/18.04 c inference : 0.00 0.00 0 0 0 0 0 0
17.99/18.04 c mostinf : 0.00 0.00 0 0 0 0 0 0
17.99/18.04 c leastinf : 0.00 0.00 0 0 0 0 0 0
17.99/18.04 c fullstrong : 0.00 0.00 0 0 0 0 0 0
17.99/18.04 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
17.99/18.04 c random : 0.00 0.00 0 0 0 0 0 0
17.99/18.04 c Primal Heuristics : ExecTime SetupTime Calls Found
17.99/18.04 c LP solutions : 0.00 - - 1
17.99/18.04 c pseudo solutions : 0.00 - - 0
17.99/18.04 c smallcard : 0.00 0.00 0 0
17.99/18.04 c trivial : 0.00 0.00 1 0
17.99/18.04 c shiftandpropagate: 0.00 0.00 0 0
17.99/18.04 c simplerounding : 0.00 0.00 0 0
17.99/18.04 c zirounding : 0.00 0.00 0 0
17.99/18.04 c rounding : 0.00 0.00 0 0
17.99/18.04 c shifting : 0.00 0.00 0 0
17.99/18.04 c intshifting : 0.00 0.00 0 0
17.99/18.04 c oneopt : 0.00 0.00 0 0
17.99/18.04 c twoopt : 0.00 0.00 0 0
17.99/18.04 c indtwoopt : 0.00 0.00 0 0
17.99/18.04 c indoneopt : 0.00 0.00 0 0
17.99/18.04 c fixandinfer : 0.00 0.00 0 0
17.99/18.04 c feaspump : 0.00 0.00 0 0
17.99/18.04 c clique : 0.00 0.00 0 0
17.99/18.04 c indrounding : 0.00 0.00 0 0
17.99/18.04 c indcoefdiving : 0.00 0.00 0 0
17.99/18.04 c coefdiving : 0.00 0.00 0 0
17.99/18.04 c pscostdiving : 0.00 0.00 0 0
17.99/18.04 c nlpdiving : 0.00 0.00 0 0
17.99/18.04 c fracdiving : 0.00 0.00 0 0
17.99/18.04 c veclendiving : 0.00 0.00 0 0
17.99/18.04 c intdiving : 0.00 0.00 0 0
17.99/18.04 c actconsdiving : 0.00 0.00 0 0
17.99/18.04 c objpscostdiving : 0.00 0.00 0 0
17.99/18.04 c rootsoldiving : 0.00 0.00 0 0
17.99/18.04 c linesearchdiving : 0.00 0.00 0 0
17.99/18.04 c guideddiving : 0.00 0.00 0 0
17.99/18.04 c octane : 0.00 0.00 0 0
17.99/18.04 c rens : 0.00 0.00 0 0
17.99/18.04 c rins : 0.00 0.00 0 0
17.99/18.04 c localbranching : 0.00 0.00 0 0
17.99/18.04 c mutation : 0.00 0.00 0 0
17.99/18.04 c crossover : 0.00 0.00 0 0
17.99/18.04 c dins : 0.00 0.00 0 0
17.99/18.04 c vbounds : 0.00 0.00 0 0
17.99/18.04 c undercover : 0.00 0.00 0 0
17.99/18.04 c subnlp : 0.00 0.00 0 0
17.99/18.04 c trysol : 0.00 0.00 0 0
17.99/18.04 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
17.99/18.04 c primal LP : 0.00 1 0 0.00 - 0.00 1
17.99/18.04 c dual LP : 10.64 21326 250146 11.74 23506.59 0.00 26
17.99/18.04 c lex dual LP : 0.00 0 0 0.00 -
17.99/18.04 c barrier LP : 0.00 0 0 0.00 - 0.00 0
17.99/18.04 c diving/probing LP: 0.00 0 0 0.00 -
17.99/18.04 c strong branching : 2.67 2363 44649 18.90 16716.43
17.99/18.04 c (at root node) : - 10 3349 334.90 -
17.99/18.04 c conflict analysis: 0.00 0 0 0.00 -
17.99/18.04 c B&B Tree :
17.99/18.04 c number of runs : 1
17.99/18.04 c nodes : 34081
17.99/18.04 c nodes (total) : 34081
17.99/18.04 c nodes left : 0
17.99/18.04 c max depth : 57
17.99/18.04 c max depth (total): 57
17.99/18.04 c backtracks : 4461 (13.1%)
17.99/18.04 c delayed cutoffs : 172
17.99/18.04 c repropagations : 4045 (10098 domain reductions, 168 cutoffs)
17.99/18.04 c avg switch length: 2.84
17.99/18.04 c switching time : 0.86
17.99/18.04 c Solution :
17.99/18.04 c Solutions found : 1 (1 improvements)
17.99/18.04 c First Solution : +0.00000000000000e+00 (in run 1, after 34081 nodes, 18.03 seconds, depth 35, found by <relaxation>)
17.99/18.04 c Primal Bound : +0.00000000000000e+00 (in run 1, after 34081 nodes, 18.03 seconds, depth 35, found by <relaxation>)
17.99/18.04 c Dual Bound : +0.00000000000000e+00
17.99/18.04 c Gap : 0.00 %
17.99/18.04 c Root Dual Bound : +0.00000000000000e+00
17.99/18.04 c Root Iterations : 770
17.99/18.05 c Time complete: 18.03.
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-3691647-1338019318/watcher-3691647-1338019318 -o /tmp/evaluation-result-3691647-1338019318/solver-3691647-1338019318 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691647-1338019318.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: 2.02 2.01 2.00 3/175 1141
/proc/meminfo: memFree=29505832/32873852 swapFree=7616/7616
[pid=1141] ppid=1139 vsize=9596 CPUtime=0 cores=1,3,5,7
/proc/1141/stat : 1141 (scip-2.1.1.4exp) R 1139 1141 403 0 -1 4202496 1270 0 0 0 0 0 0 0 20 0 1 0 268057304 9826304 1224 33554432000 4194304 10219143 140737346568240 140737346567112 8844210 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 2399 1227 359 1471 0 919 0
[startup+0.032604 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1141
/proc/meminfo: memFree=29505832/32873852 swapFree=7616/7616
[pid=1141] ppid=1139 vsize=23768 CPUtime=0.02 cores=1,3,5,7
/proc/1141/stat : 1141 (scip-2.1.1.4exp) R 1139 1141 403 0 -1 4202496 4904 0 0 0 2 0 0 0 20 0 1 0 268057304 24338432 4601 33554432000 4194304 10219143 140737346568240 140737346565240 8704736 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 5942 4601 770 1471 0 4462 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23768
[startup+0.100292 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1141
/proc/meminfo: memFree=29505832/32873852 swapFree=7616/7616
[pid=1141] ppid=1139 vsize=39548 CPUtime=0.09 cores=1,3,5,7
/proc/1141/stat : 1141 (scip-2.1.1.4exp) R 1139 1141 403 0 -1 4202496 8641 0 0 0 7 2 0 0 20 0 1 0 268057304 40497152 8338 33554432000 4194304 10219143 140737346568240 140737346565240 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 9887 8338 801 1471 0 8407 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39548
[startup+0.300289 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1141
/proc/meminfo: memFree=29505832/32873852 swapFree=7616/7616
[pid=1141] ppid=1139 vsize=36884 CPUtime=0.29 cores=1,3,5,7
/proc/1141/stat : 1141 (scip-2.1.1.4exp) R 1139 1141 403 0 -1 4202496 8710 0 0 0 27 2 0 0 20 0 1 0 268057304 37769216 7701 33554432000 4194304 10219143 140737346568240 140737346565240 7283282 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 9221 7701 819 1471 0 7741 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36884
[startup+0.700216 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1141
/proc/meminfo: memFree=29505832/32873852 swapFree=7616/7616
[pid=1141] ppid=1139 vsize=36968 CPUtime=0.69 cores=1,3,5,7
/proc/1141/stat : 1141 (scip-2.1.1.4exp) R 1139 1141 403 0 -1 4202496 8882 0 0 0 66 3 0 0 20 0 1 0 268057304 37855232 7873 33554432000 4194304 10219143 140737346568240 140737346561688 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 9242 7873 821 1471 0 7762 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36968
[startup+1.50027 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 1142
/proc/meminfo: memFree=29477924/32873852 swapFree=7616/7616
[pid=1141] ppid=1139 vsize=36968 CPUtime=1.49 cores=1,3,5,7
/proc/1141/stat : 1141 (scip-2.1.1.4exp) R 1139 1141 403 0 -1 4202496 8886 0 0 0 145 4 0 0 20 0 1 0 268057304 37855232 7877 33554432000 4194304 10219143 140737346568240 140737346561688 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 9242 7877 825 1471 0 7762 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36968
[startup+3.10027 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 1142
/proc/meminfo: memFree=29477552/32873852 swapFree=7616/7616
[pid=1141] ppid=1139 vsize=36968 CPUtime=3.09 cores=1,3,5,7
/proc/1141/stat : 1141 (scip-2.1.1.4exp) R 1139 1141 403 0 -1 4202496 8887 0 0 0 301 8 0 0 20 0 1 0 268057304 37855232 7878 33554432000 4194304 10219143 140737346568240 140737346561784 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 9242 7878 826 1471 0 7762 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36968
[startup+6.30021 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1142
/proc/meminfo: memFree=29477444/32873852 swapFree=7616/7616
[pid=1141] ppid=1139 vsize=36968 CPUtime=6.29 cores=1,3,5,7
/proc/1141/stat : 1141 (scip-2.1.1.4exp) R 1139 1141 403 0 -1 4202496 8888 0 0 0 609 20 0 0 20 0 1 0 268057304 37855232 7879 33554432000 4194304 10219143 140737346568240 140737346561880 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 9242 7879 827 1471 0 7762 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36968
[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1142
/proc/meminfo: memFree=29476708/32873852 swapFree=7616/7616
[pid=1141] ppid=1139 vsize=36968 CPUtime=12.69 cores=1,3,5,7
/proc/1141/stat : 1141 (scip-2.1.1.4exp) R 1139 1141 403 0 -1 4202496 8984 0 0 0 1224 45 0 0 20 0 1 0 268057304 37855232 7973 33554432000 4194304 10219143 140737346568240 140737346564728 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 9242 7973 827 1471 0 7762 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36968
Solver just ended. Dumping a history of the last processes samples
[startup+15.9002 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1142
/proc/meminfo: memFree=29476840/32873852 swapFree=7616/7616
[pid=1141] ppid=1139 vsize=36968 CPUtime=15.89 cores=1,3,5,7
/proc/1141/stat : 1141 (scip-2.1.1.4exp) R 1139 1141 403 0 -1 4202496 8999 0 0 0 1531 58 0 0 20 0 1 0 268057304 37855232 7988 33554432000 4194304 10219143 140737346568240 140737346564776 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 9242 7988 827 1471 0 7762 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 36968
[startup+16.7002 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1142
/proc/meminfo: memFree=29476716/32873852 swapFree=7616/7616
[pid=1141] ppid=1139 vsize=36968 CPUtime=16.68 cores=1,3,5,7
/proc/1141/stat : 1141 (scip-2.1.1.4exp) R 1139 1141 403 0 -1 4202496 9001 0 0 0 1608 60 0 0 20 0 1 0 268057304 37855232 7990 33554432000 4194304 10219143 140737346568240 140737346561592 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 9242 7990 827 1471 0 7762 0
Current children cumulated CPU time (s) 16.68
Current children cumulated vsize (KiB) 36968
[startup+17.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1142
/proc/meminfo: memFree=29476716/32873852 swapFree=7616/7616
[pid=1141] ppid=1139 vsize=36968 CPUtime=17.48 cores=1,3,5,7
/proc/1141/stat : 1141 (scip-2.1.1.4exp) R 1139 1141 403 0 -1 4202496 9002 0 0 0 1685 63 0 0 20 0 1 0 268057304 37855232 7991 33554432000 4194304 10219143 140737346568240 140737346561592 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 9242 7991 827 1471 0 7762 0
Current children cumulated CPU time (s) 17.48
Current children cumulated vsize (KiB) 36968
[startup+17.9003 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1142
/proc/meminfo: memFree=29476716/32873852 swapFree=7616/7616
[pid=1141] ppid=1139 vsize=36968 CPUtime=17.89 cores=1,3,5,7
/proc/1141/stat : 1141 (scip-2.1.1.4exp) R 1139 1141 403 0 -1 4202496 9002 0 0 0 1724 65 0 0 20 0 1 0 268057304 37855232 7991 33554432000 4194304 10219143 140737346568240 140737346565608 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 9242 7991 827 1471 0 7762 0
Current children cumulated CPU time (s) 17.89
Current children cumulated vsize (KiB) 36968
[startup+18.0002 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 1142
/proc/meminfo: memFree=29476716/32873852 swapFree=7616/7616
[pid=1141] ppid=1139 vsize=36968 CPUtime=17.99 cores=1,3,5,7
/proc/1141/stat : 1141 (scip-2.1.1.4exp) R 1139 1141 403 0 -1 4202496 9003 0 0 0 1734 65 0 0 20 0 1 0 268057304 37855232 7992 33554432000 4194304 10219143 140737346568240 140737346565608 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1141/statm: 9242 7992 827 1471 0 7762 0
Current children cumulated CPU time (s) 17.99
Current children cumulated vsize (KiB) 36968
Child status: 0
Real time (s): 18.0508
CPU time (s): 18.0453
CPU user time (s): 17.3874
CPU system time (s): 0.657899
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 39548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.3874
system time used= 0.657899
maximum resident set size= 33456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9009
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= 5
involuntary context switches= 21
runsolver used 0.037994 second user time and 0.087986 second system time
The end