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-3691674-1338029292.opb>
0.00/0.02 c original problem has 2152 variables (2152 bin, 0 int, 0 impl, 0 cont) and 5613 constraints
0.00/0.02 c problem read in 0.02
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.02 c presolving settings loaded
0.00/0.03 c presolving:
0.05/0.08 c (round 1) 232 del vars, 207 del conss, 0 add conss, 74 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92088 impls, 0 clqs
0.05/0.09 c (round 2) 234 del vars, 543 del conss, 0 add conss, 76 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92088 impls, 0 clqs
0.09/0.10 c (round 3) 238 del vars, 553 del conss, 0 add conss, 80 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92394 impls, 0 clqs
0.09/0.10 c (round 4) 241 del vars, 559 del conss, 0 add conss, 83 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92394 impls, 0 clqs
0.09/0.11 c (round 5) 246 del vars, 568 del conss, 0 add conss, 88 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92394 impls, 0 clqs
0.09/0.11 c (round 6) 252 del vars, 581 del conss, 0 add conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92422 impls, 0 clqs
0.09/0.12 c (round 7) 252 del vars, 593 del conss, 0 add conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 0 upgd conss, 92682 impls, 0 clqs
0.09/0.16 c (round 8) 252 del vars, 607 del conss, 0 add conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 5007 upgd conss, 92682 impls, 0 clqs
0.09/0.18 c (round 9) 252 del vars, 608 del conss, 0 add conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 5007 upgd conss, 92682 impls, 0 clqs
0.19/0.20 c (round 10) 252 del vars, 5119 del conss, 1503 add conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 5007 upgd conss, 92682 impls, 0 clqs
0.19/0.21 c (round 11) 277 del vars, 5322 del conss, 1706 add conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 5007 upgd conss, 93124 impls, 1 clqs
0.19/0.22 c (round 12) 290 del vars, 5324 del conss, 1706 add conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 5013 upgd conss, 93846 impls, 201 clqs
0.19/0.22 c (round 13) 295 del vars, 5352 del conss, 1733 add conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 5013 upgd conss, 94258 impls, 202 clqs
0.29/0.38 c (round 14) 295 del vars, 5366 del conss, 1737 add conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 5013 upgd conss, 94258 impls, 204 clqs
0.49/0.54 c (round 15) 295 del vars, 5367 del conss, 1737 add conss, 94 chg bounds, 238 chg sides, 506 chg coeffs, 5013 upgd conss, 94258 impls, 204 clqs
0.69/0.71 c presolving (16 rounds):
0.69/0.71 c 295 deleted vars, 5367 deleted constraints, 1737 added constraints, 94 tightened bounds, 0 added holes, 238 changed sides, 506 changed coefficients
0.69/0.71 c 94258 implications, 204 cliques
0.69/0.71 c presolved problem has 1857 variables (1857 bin, 0 int, 0 impl, 0 cont) and 1978 constraints
0.69/0.71 c 472 constraints of type <knapsack>
0.69/0.71 c 249 constraints of type <setppc>
0.69/0.71 c 1256 constraints of type <and>
0.69/0.71 c 1 constraints of type <logicor>
0.69/0.71 c transformed objective value is always integral (scale: 1)
0.69/0.71 c Presolving Time: 0.68
0.69/0.71 c - non default parameters ----------------------------------------------------------------------
0.69/0.71 c # SCIP version 2.1.1.4
0.69/0.71 c
0.69/0.71 c # maximal time in seconds to run
0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.71 c limits/time = 1797
0.69/0.71 c
0.69/0.71 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.71 c limits/memory = 13950
0.69/0.71 c
0.69/0.71 c # solving stops, if the given number of solutions were found (-1: no limit)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.71 c limits/solutions = 1
0.69/0.71 c
0.69/0.71 c # maximal number of separation rounds per node (-1: unlimited)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 5]
0.69/0.71 c separating/maxrounds = 1
0.69/0.71 c
0.69/0.71 c # maximal number of separation rounds in the root node (-1: unlimited)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.71 c separating/maxroundsroot = 5
0.69/0.71 c
0.69/0.71 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.69/0.71 c # [type: int, range: [1,2], default: 1]
0.69/0.71 c timing/clocktype = 2
0.69/0.71 c
0.69/0.71 c # belongs reading time to solving time?
0.69/0.71 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.71 c timing/reading = TRUE
0.69/0.71 c
0.69/0.71 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.69/0.71 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.69/0.71 c constraints/knapsack/disaggregation = FALSE
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.71 c heuristics/coefdiving/freq = -1
0.69/0.71 c
0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.71 c heuristics/coefdiving/maxlpiterquot = 0.075
0.69/0.71 c
0.69/0.71 c # additional number of allowed LP iterations
0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71 c heuristics/coefdiving/maxlpiterofs = 1500
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 30]
0.69/0.71 c heuristics/crossover/freq = -1
0.69/0.71 c
0.69/0.71 c # number of nodes added to the contingent of the total nodes
0.69/0.71 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.69/0.71 c heuristics/crossover/nodesofs = 750
0.69/0.71 c
0.69/0.71 c # number of nodes without incumbent change that heuristic should wait
0.69/0.71 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.69/0.71 c heuristics/crossover/nwaitingnodes = 100
0.69/0.71 c
0.69/0.71 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.69/0.71 c # [type: real, range: [0,1], default: 0.1]
0.69/0.71 c heuristics/crossover/nodesquot = 0.15
0.69/0.71 c
0.69/0.71 c # minimum percentage of integer variables that have to be fixed
0.69/0.71 c # [type: real, range: [0,1], default: 0.666]
0.69/0.71 c heuristics/crossover/minfixingrate = 0.5
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.71 c heuristics/feaspump/freq = -1
0.69/0.71 c
0.69/0.71 c # additional number of allowed LP iterations
0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71 c heuristics/feaspump/maxlpiterofs = 2000
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.71 c heuristics/fracdiving/freq = -1
0.69/0.71 c
0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.71 c heuristics/fracdiving/maxlpiterquot = 0.075
0.69/0.71 c
0.69/0.71 c # additional number of allowed LP iterations
0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71 c heuristics/fracdiving/maxlpiterofs = 1500
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.71 c heuristics/guideddiving/freq = -1
0.69/0.71 c
0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.71 c heuristics/guideddiving/maxlpiterquot = 0.075
0.69/0.71 c
0.69/0.71 c # additional number of allowed LP iterations
0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71 c heuristics/guideddiving/maxlpiterofs = 1500
0.69/0.71 c
0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.71 c heuristics/intdiving/maxlpiterquot = 0.075
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.71 c heuristics/intshifting/freq = -1
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.71 c heuristics/linesearchdiving/freq = -1
0.69/0.71 c
0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.71 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.69/0.71 c
0.69/0.71 c # additional number of allowed LP iterations
0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.71 c heuristics/objpscostdiving/freq = -1
0.69/0.71 c
0.69/0.71 c # maximal fraction of diving LP iterations compared to total iteration number
0.69/0.71 c # [type: real, range: [0,1], default: 0.01]
0.69/0.71 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.69/0.71 c
0.69/0.71 c # additional number of allowed LP iterations
0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.71 c heuristics/oneopt/freq = -1
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.71 c heuristics/pscostdiving/freq = -1
0.69/0.71 c
0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.71 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.69/0.71 c
0.69/0.71 c # additional number of allowed LP iterations
0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71 c heuristics/pscostdiving/maxlpiterofs = 1500
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.71 c heuristics/rens/freq = -1
0.69/0.71 c
0.69/0.71 c # minimum percentage of integer variables that have to be fixable
0.69/0.71 c # [type: real, range: [0,1], default: 0.5]
0.69/0.71 c heuristics/rens/minfixingrate = 0.3
0.69/0.71 c
0.69/0.71 c # number of nodes added to the contingent of the total nodes
0.69/0.71 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.69/0.71 c heuristics/rens/nodesofs = 2000
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 20]
0.69/0.71 c heuristics/rootsoldiving/freq = -1
0.69/0.71 c
0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.69/0.71 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.69/0.71 c
0.69/0.71 c # additional number of allowed LP iterations
0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.71 c heuristics/rounding/freq = -1
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.71 c heuristics/shiftandpropagate/freq = -1
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.71 c heuristics/shifting/freq = -1
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.71 c heuristics/simplerounding/freq = -1
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.71 c heuristics/subnlp/freq = -1
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.71 c heuristics/trivial/freq = -1
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.71 c heuristics/trysol/freq = -1
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.71 c heuristics/undercover/freq = -1
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 10]
0.69/0.71 c heuristics/veclendiving/freq = -1
0.69/0.71 c
0.69/0.71 c # maximal fraction of diving LP iterations compared to node LP iterations
0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.69/0.71 c heuristics/veclendiving/maxlpiterquot = 0.075
0.69/0.71 c
0.69/0.71 c # additional number of allowed LP iterations
0.69/0.71 c # [type: int, range: [0,2147483647], default: 1000]
0.69/0.71 c heuristics/veclendiving/maxlpiterofs = 1500
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.71 c heuristics/zirounding/freq = -1
0.69/0.71 c
0.69/0.71 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.71 c propagating/probing/maxprerounds = 0
0.69/0.71 c
0.69/0.71 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.71 c separating/cmir/freq = -1
0.69/0.71 c
0.69/0.71 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.71 c separating/flowcover/freq = -1
0.69/0.71 c
0.69/0.71 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.71 c separating/rapidlearning/freq = 0
0.69/0.71 c
0.69/0.71 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.71 c heuristics/indoneopt/freq = -1
0.69/0.71 c
0.69/0.71 c -----------------------------------------------------------------------------------------------
0.69/0.71 c start solving
0.69/0.71 c
0.69/0.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.74 c 0.7s| 1 | 0 | 444 | - | 15M| 0 | 364 |1857 |1978 |1857 |3234 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.09 c 1.1s| 1 | 0 | 1192 | - | 15M| 0 | 583 |1857 |2255 |1857 |3653 | 431 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.25 c 1.2s| 1 | 0 | 2222 | - | 16M| 0 | 708 |1857 |2255 |1857 |4112 | 890 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.56 c 1.6s| 1 | 0 | 3917 | - | 17M| 0 | 736 |1857 |2255 |1857 |4716 |1494 | 0 | 0 | 0.000000e+00 | -- | Inf
1.99/2.05 c 2.1s| 1 | 0 | 5850 | - | 17M| 0 | 890 |1857 |2255 |1857 |5346 |2124 | 0 | 0 | 0.000000e+00 | -- | Inf
2.28/2.34 c 2.3s| 1 | 0 | 6786 | - | 18M| 0 | 930 |1857 |2255 |1857 |5902 |2680 | 0 | 0 | 0.000000e+00 | -- | Inf
3.29/3.36 c 3.4s| 1 | 2 | 6786 | - | 18M| 0 | 930 |1857 |2255 |1857 |5902 |2680 | 0 | 10 | 0.000000e+00 | -- | Inf
18.38/18.46 c 18.5s| 100 | 12 | 14900 | 82.0 | 19M| 41 | 410 |1857 |2285 |1857 |4428 |3735 | 30 |1013 | 0.000000e+00 | -- | Inf
26.47/26.54 c 26.5s| 200 | 38 | 26524 | 99.2 | 19M| 41 | 267 |1857 |2365 |1857 |4597 |4753 | 110 |1226 | 0.000000e+00 | -- | Inf
27.87/27.95 c 28.0s| 300 | 39 | 31096 | 81.3 | 20M| 41 | 510 |1857 |2536 |1857 |4576 |4911 | 281 |1254 | 0.000000e+00 | -- | Inf
29.07/29.15 c 29.2s| 400 | 68 | 35339 | 71.6 | 20M| 41 | - |1857 |2684 | 0 | 0 |5085 | 429 |1280 | 0.000000e+00 | -- | Inf
30.27/30.32 c 30.3s| 500 | 48 | 39587 | 65.7 | 20M| 43 | 344 |1857 |2845 |1857 |4567 |5268 | 590 |1298 | 0.000000e+00 | -- | Inf
31.28/31.30 c 31.3s| 600 | 36 | 42813 | 60.1 | 20M| 43 | 370 |1857 |2982 |1857 |4575 |5427 | 727 |1322 | 0.000000e+00 | -- | Inf
32.18/32.26 c 32.3s| 700 | 51 | 45960 | 56.0 | 20M| 56 | 104 |1857 |3058 |1857 |4646 |5649 | 803 |1340 | 0.000000e+00 | -- | Inf
32.77/32.86 c 32.9s| 800 | 64 | 47503 | 51.0 | 20M| 62 | 57 |1857 |3225 |1857 |4665 |5670 | 970 |1365 | 0.000000e+00 | -- | Inf
33.77/33.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.77/33.85 c 33.8s| 900 | 47 | 50990 | 49.2 | 20M| 80 | 175 |1857 |3337 |1857 |4646 |5819 |1082 |1382 | 0.000000e+00 | -- | Inf
35.08/35.15 c 35.1s| 1000 | 40 | 55428 | 48.7 | 20M| 80 | 223 |1857 |3443 |1857 |4631 |5951 |1188 |1425 | 0.000000e+00 | -- | Inf
36.88/36.99 c 37.0s| 1100 | 26 | 62336 | 50.5 | 20M| 80 | 637 |1857 |3535 |1857 |4520 |6319 |1280 |1469 | 0.000000e+00 | -- | Inf
38.77/38.82 c 38.8s| 1200 | 33 | 68517 | 51.5 | 20M| 80 | - |1857 |3663 | 0 | 0 |6594 |1419 |1512 | 0.000000e+00 | -- | Inf
40.07/40.12 c 40.1s| 1300 | 29 | 73448 | 51.3 | 20M| 80 | 446 |1857 |3768 |1857 |4533 |6792 |1531 |1537 | 0.000000e+00 | -- | Inf
41.17/41.22 c 41.2s| 1400 | 30 | 77264 | 50.4 | 20M| 80 | 298 |1857 |3851 |1857 |4552 |6950 |1616 |1562 | 0.000000e+00 | -- | Inf
42.67/42.77 c 42.8s| 1500 | 31 | 82679 | 50.6 | 20M| 80 | - |1857 |3974 | 0 | 0 |7170 |1745 |1610 | 0.000000e+00 | -- | Inf
44.58/44.63 c 44.6s| 1600 | 23 | 88911 | 51.4 | 20M| 80 | 457 |1857 |3971 |1857 |4539 |7480 |1868 |1665 | 0.000000e+00 | -- | Inf
46.48/46.56 c 46.6s| 1700 | 32 | 95990 | 52.5 | 20M| 80 | - |1857 |3966 | 0 | 0 |7951 |1966 |1703 | 0.000000e+00 | -- | Inf
47.97/48.01 c 48.0s| 1800 | 35 |100944 | 52.3 | 20M| 80 | 331 |1857 |4063 |1857 |4550 |8189 |2113 |1744 | 0.000000e+00 | -- | Inf
49.38/49.41 c 49.4s| 1900 | 39 |105621 | 52.0 | 20M| 80 | 362 |1857 |4147 |1857 |4430 |8422 |2253 |1776 | 0.000000e+00 | -- | Inf
50.28/50.38 c 50.4s| 2000 | 37 |108386 | 50.8 | 20M| 80 | 279 |1857 |4223 |1857 |4426 |8589 |2347 |1816 | 0.000000e+00 | -- | Inf
52.37/52.47 c 52.5s| 2100 | 45 |115936 | 52.0 | 21M| 80 | - |1857 |4218 | 0 | 0 |9279 |2490 |1857 | 0.000000e+00 | -- | Inf
54.07/54.12 c 54.1s| 2200 | 51 |121963 | 52.4 | 21M| 80 | 270 |1857 |4287 |1857 |4612 |9732 |2657 |1890 | 0.000000e+00 | -- | Inf
56.37/56.46 c 56.5s| 2300 | 53 |130443 | 53.8 | 21M| 80 | - |1857 |4278 | 0 | 0 | 10k|2778 |1939 | 0.000000e+00 | -- | Inf
58.17/58.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.17/58.30 c 58.3s| 2400 | 68 |136607 | 54.1 | 21M| 80 | 302 |1857 |4272 |1857 |4541 | 10k|2923 |1980 | 0.000000e+00 | -- | Inf
59.37/59.42 c 59.4s| 2500 | 64 |140880 | 53.7 | 21M| 80 | 390 |1857 |4344 |1857 |4546 | 11k|3047 |1996 | 0.000000e+00 | -- | Inf
60.48/60.56 c 60.6s| 2600 | 65 |144245 | 52.9 | 21M| 80 | - |1857 |4457 | 0 | 0 | 11k|3170 |2034 | 0.000000e+00 | -- | Inf
62.27/62.39 c 62.4s| 2700 | 60 |150952 | 53.4 | 21M| 80 | 568 |1857 |4548 |1857 |4532 | 11k|3329 |2083 | 0.000000e+00 | -- | Inf
63.37/63.43 c 63.4s| 2800 | 71 |153836 | 52.5 | 21M| 80 | 332 |1857 |4602 |1857 |4551 | 11k|3412 |2115 | 0.000000e+00 | -- | Inf
64.17/64.25 c 64.3s| 2900 | 77 |156200 | 51.5 | 21M| 80 | 383 |1857 |4661 |1857 |4548 | 11k|3509 |2139 | 0.000000e+00 | -- | Inf
65.27/65.34 c 65.3s| 3000 | 74 |159234 | 50.8 | 21M| 80 | 416 |1857 |4761 |1857 |4698 | 12k|3623 |2179 | 0.000000e+00 | -- | Inf
66.47/66.57 c 66.6s| 3100 | 65 |163269 | 50.5 | 21M| 80 | 334 |1857 |4841 |1857 |4513 | 12k|3755 |2211 | 0.000000e+00 | -- | Inf
68.57/68.66 c 68.7s| 3200 | 59 |170685 | 51.2 | 21M| 80 | 545 |1857 |4983 |1857 |4555 | 12k|3956 |2285 | 0.000000e+00 | -- | Inf
70.27/70.40 c 70.4s| 3300 | 68 |176401 | 51.4 | 21M| 80 | 374 |1857 |5100 |1857 |4571 | 12k|4100 |2325 | 0.000000e+00 | -- | Inf
71.87/71.93 c 71.9s| 3400 | 74 |181352 | 51.4 | 21M| 80 | - |1857 |5175 | 0 | 0 | 13k|4199 |2373 | 0.000000e+00 | -- | Inf
72.77/72.88 c 72.9s| 3500 | 63 |183922 | 50.6 | 21M| 80 | 515 |1857 |5239 |1857 |4579 | 13k|4291 |2401 | 0.000000e+00 | -- | Inf
75.27/75.38 c 75.4s| 3600 | 84 |193452 | 51.9 | 21M| 80 | 379 |1857 |5173 |1857 |4562 | 14k|4404 |2454 | 0.000000e+00 | -- | Inf
77.36/77.47 c 77.5s| 3700 | 80 |202399 | 52.9 | 21M| 80 | 464 |1857 |5211 |1857 |4572 | 14k|4526 |2500 | 0.000000e+00 | -- | Inf
78.17/78.24 c 78.2s| 3800 | 92 |205631 | 52.3 | 21M| 80 | 326 |1857 |5307 |1857 |4588 | 14k|4629 |2505 | 0.000000e+00 | -- | Inf
78.87/78.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.87/78.98 c 79.0s| 3900 | 91 |209003 | 51.9 | 21M| 80 | - |1857 |5390 | 0 | 0 | 14k|4727 |2506 | 0.000000e+00 | -- | Inf
81.76/81.85 c 81.8s| 4000 | 89 |215819 | 52.3 | 21M| 80 | 229 |1857 |5203 |1857 |4538 | 15k|4895 |2603 | 0.000000e+00 | -- | Inf
82.77/82.85 c 82.9s| 4100 | 88 |219984 | 52.0 | 21M| 80 | 372 |1857 |5344 |1857 |4445 | 15k|5119 |2612 | 0.000000e+00 | -- | Inf
84.17/84.27 c 84.3s| 4200 | 89 |225269 | 52.0 | 22M| 80 | - |1857 |5416 | 0 | 0 | 15k|5250 |2641 | 0.000000e+00 | -- | Inf
85.27/85.37 c 85.4s| 4300 | 84 |230939 | 52.1 | 22M| 80 | 224 |1857 |5533 |1857 |4504 | 16k|5450 |2646 | 0.000000e+00 | -- | Inf
86.26/86.38 c 86.4s| 4400 | 84 |235375 | 52.0 | 22M| 80 | 370 |1857 |5596 |1857 |4565 | 16k|5601 |2654 | 0.000000e+00 | -- | Inf
87.67/87.74 c 87.7s| 4500 | 62 |242370 | 52.4 | 21M| 80 | 370 |1857 |5582 |1857 |4579 | 16k|5743 |2656 | 0.000000e+00 | -- | Inf
88.67/88.73 c 88.7s| 4600 | 63 |246708 | 52.2 | 21M| 80 | 507 |1857 |5615 |1857 |4566 | 17k|5850 |2662 | 0.000000e+00 | -- | Inf
90.86/90.92 c 90.9s| 4700 | 59 |254239 | 52.7 | 22M| 80 | 313 |1857 |5589 |1857 |4502 | 17k|6009 |2717 | 0.000000e+00 | -- | Inf
93.07/93.10 c 93.1s| 4800 | 59 |263578 | 53.5 | 21M| 80 | 392 |1857 |5529 |1857 |4486 | 18k|6146 |2758 | 0.000000e+00 | -- | Inf
94.06/94.10 c 94.1s| 4900 | 58 |268604 | 53.4 | 21M| 80 | - |1857 |5559 | 0 | 0 | 18k|6291 |2761 | 0.000000e+00 | -- | Inf
95.27/95.39 c 95.4s| 5000 | 49 |275189 | 53.7 | 21M| 80 | 378 |1857 |5560 |1857 |4532 | 18k|6461 |2772 | 0.000000e+00 | -- | Inf
97.07/97.15 c 97.2s| 5100 | 57 |281763 | 53.9 | 21M| 80 | 212 |1857 |5455 |1857 |4555 | 19k|6585 |2804 | 0.000000e+00 | -- | Inf
98.87/99.00 c 99.0s| 5200 | 50 |289802 | 54.4 | 21M| 80 | 478 |1857 |5464 |1857 |4461 | 19k|6710 |2833 | 0.000000e+00 | -- | Inf
100.86/100.96 c 101s| 5300 | 61 |298938 | 55.1 | 21M| 80 | 274 |1857 |5280 |1857 |4494 | 20k|6791 |2854 | 0.000000e+00 | -- | Inf
101.27/101.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.27/101.37 c 101s| 5400 | 64 |300396 | 54.4 | 21M| 80 | - |1857 |5327 | 0 | 0 | 20k|6861 |2854 | 0.000000e+00 | -- | Inf
102.17/102.27 c 102s| 5500 | 58 |304411 | 54.1 | 21M| 80 | 453 |1857 |5420 |1857 |4473 | 20k|6991 |2855 | 0.000000e+00 | -- | Inf
103.16/103.24 c 103s| 5600 | 55 |309297 | 54.0 | 21M| 80 | 297 |1857 |5496 |1857 |4490 | 20k|7087 |2856 | 0.000000e+00 | -- | Inf
104.06/104.19 c 104s| 5700 | 56 |313747 | 53.9 | 21M| 80 | 300 |1857 |5568 |1857 |4460 | 21k|7191 |2859 | 0.000000e+00 | -- | Inf
105.16/105.26 c 105s| 5800 | 53 |318351 | 53.7 | 22M| 80 | 362 |1857 |5701 |1857 |4456 | 21k|7345 |2869 | 0.000000e+00 | -- | Inf
106.67/106.79 c 107s| 5900 | 50 |323935 | 53.8 | 22M| 80 | 388 |1857 |5791 |1857 |4470 | 21k|7460 |2929 | 0.000000e+00 | -- | Inf
107.96/108.00 c 108s| 6000 | 53 |328998 | 53.7 | 22M| 80 | - |1857 |5864 | 0 | 0 | 22k|7572 |2947 | 0.000000e+00 | -- | Inf
109.56/109.65 c 110s| 6100 | 57 |334962 | 53.8 | 22M| 80 | 225 |1857 |5883 |1857 |4462 | 22k|7661 |2991 | 0.000000e+00 | -- | Inf
111.27/111.35 c 111s| 6200 | 63 |340960 | 53.9 | 22M| 80 | - |1857 |5846 | 0 | 0 | 22k|7781 |3030 | 0.000000e+00 | -- | Inf
112.66/112.74 c 113s| 6300 | 67 |346513 | 53.9 | 22M| 80 | - |1857 |5865 | 0 | 0 | 22k|7885 |3065 | 0.000000e+00 | -- | Inf
114.16/114.27 c 114s| 6400 | 118 |351834 | 53.9 | 22M| 80 | 413 |1857 |5884 |1857 |4637 | 23k|7925 |3095 | 0.000000e+00 | -- | Inf
116.16/116.29 c 116s| 6500 | 106 |360137 | 54.4 | 22M| 80 | 247 |1857 |5964 |1857 |4653 | 23k|8055 |3133 | 0.000000e+00 | -- | Inf
117.67/117.71 c 118s| 6600 | 84 |365226 | 54.3 | 22M| 80 | - |1857 |6094 | 0 | 0 | 23k|8249 |3168 | 0.000000e+00 | -- | Inf
119.06/119.13 c 119s| 6700 | 85 |370565 | 54.3 | 22M| 80 | 311 |1857 |6176 |1857 |4650 | 24k|8358 |3205 | 0.000000e+00 | -- | Inf
120.17/120.23 c 120s| 6800 | 80 |374564 | 54.1 | 22M| 80 | 346 |1857 |6256 |1857 |4645 | 24k|8495 |3226 | 0.000000e+00 | -- | Inf
121.86/121.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.86/121.92 c 122s| 6900 | 62 |380526 | 54.2 | 22M| 80 | 441 |1857 |6303 |1857 |4450 | 24k|8622 |3275 | 0.000000e+00 | -- | Inf
123.07/123.18 c 123s| 7000 | 72 |385063 | 54.0 | 22M| 80 | - |1857 |6295 | 0 | 0 | 24k|8710 |3296 | 0.000000e+00 | -- | Inf
125.16/125.29 c 125s| 7100 | 61 |394342 | 54.6 | 22M| 80 | 438 |1857 |6251 |1857 |4451 | 25k|8822 |3344 | 0.000000e+00 | -- | Inf
127.06/127.12 c 127s| 7200 | 50 |401525 | 54.8 | 22M| 80 | 435 |1857 |6075 |1857 |4660 | 25k|8904 |3385 | 0.000000e+00 | -- | Inf
128.06/128.17 c 128s| 7300 | 63 |405129 | 54.6 | 22M| 80 | 203 |1857 |6109 |1857 |4492 | 25k|8992 |3417 | 0.000000e+00 | -- | Inf
129.06/129.15 c 129s| 7400 | 54 |408079 | 54.2 | 22M| 80 | 467 |1857 |6155 |1857 |4486 | 25k|9075 |3452 | 0.000000e+00 | -- | Inf
129.96/130.06 c 130s| 7500 | 70 |411267 | 53.9 | 22M| 80 | 185 |1857 |6261 |1857 |4518 | 26k|9195 |3470 | 0.000000e+00 | -- | Inf
130.77/130.86 c 131s| 7600 | 59 |413415 | 53.5 | 22M| 80 | 288 |1857 |6402 |1857 |4518 | 26k|9343 |3502 | 0.000000e+00 | -- | Inf
132.16/132.28 c 132s| 7700 | 62 |417763 | 53.4 | 22M| 80 | 317 |1857 |6439 |1857 |4406 | 26k|9459 |3534 | 0.000000e+00 | -- | Inf
133.16/133.22 c 133s| 7800 | 68 |421143 | 53.1 | 22M| 80 | 372 |1857 |6577 |1857 |4526 | 26k|9649 |3546 | 0.000000e+00 | -- | Inf
133.96/134.02 c 134s| 7900 | 71 |423790 | 52.8 | 22M| 80 | 250 |1857 |6730 |1857 |4522 | 26k|9830 |3570 | 0.000000e+00 | -- | Inf
134.76/134.88 c 135s| 8000 | 64 |426381 | 52.5 | 22M| 80 | 339 |1857 |6846 |1857 |4419 | 26k|9982 |3600 | 0.000000e+00 | -- | Inf
136.06/136.12 c 136s| 8100 | 56 |430356 | 52.3 | 22M| 80 | 500 |1857 |6752 |1857 |4397 | 27k| 10k|3642 | 0.000000e+00 | -- | Inf
137.37/137.48 c 137s| 8200 | 65 |435577 | 52.3 | 22M| 80 | - |1857 |6789 | 0 | 0 | 27k| 10k|3679 | 0.000000e+00 | -- | Inf
138.96/139.07 c 139s| 8300 | 63 |441408 | 52.4 | 22M| 80 | 238 |1857 |6925 |1857 |4542 | 27k| 10k|3745 | 0.000000e+00 | -- | Inf
140.66/140.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
140.66/140.72 c 141s| 8400 | 54 |447802 | 52.5 | 22M| 80 | 309 |1857 |6981 |1857 |4510 | 28k| 10k|3796 | 0.000000e+00 | -- | Inf
141.66/141.74 c 142s| 8500 | 61 |451471 | 52.3 | 22M| 80 | 283 |1857 |7057 |1857 |4390 | 28k| 10k|3807 | 0.000000e+00 | -- | Inf
142.97/143.00 c 143s| 8600 | 58 |456194 | 52.3 | 22M| 80 | 486 |1857 |7175 |1857 |4376 | 28k| 10k|3830 | 0.000000e+00 | -- | Inf
144.85/144.92 c 145s| 8700 | 62 |463704 | 52.5 | 22M| 80 | 324 |1857 |7139 |1857 |4491 | 29k| 10k|3869 | 0.000000e+00 | -- | Inf
146.17/146.29 c 146s| 8800 | 59 |467874 | 52.4 | 22M| 80 | 355 |1857 |7152 |1857 |4569 | 29k| 11k|3908 | 0.000000e+00 | -- | Inf
147.76/147.80 c 148s| 8900 | 63 |473184 | 52.4 | 22M| 80 | 519 |1857 |7053 |1857 |4575 | 29k| 11k|3942 | 0.000000e+00 | -- | Inf
149.26/149.37 c 149s| 9000 | 67 |478358 | 52.4 | 22M| 80 | 261 |1857 |7006 |1857 |4471 | 29k| 11k|3977 | 0.000000e+00 | -- | Inf
150.06/150.15 c 150s| 9100 | 67 |481177 | 52.1 | 22M| 80 | 328 |1857 |7069 |1857 |4480 | 30k| 11k|3991 | 0.000000e+00 | -- | Inf
151.66/151.77 c 152s| 9200 | 59 |486497 | 52.1 | 22M| 80 | 513 |1857 |7064 |1857 |4480 | 30k| 11k|4026 | 0.000000e+00 | -- | Inf
152.96/153.01 c 153s| 9300 | 84 |491247 | 52.1 | 22M| 80 | 256 |1857 |7089 |1857 |4519 | 30k| 11k|4052 | 0.000000e+00 | -- | Inf
154.26/154.37 c 154s| 9400 | 66 |495843 | 52.0 | 22M| 80 | 700 |1857 |7133 |1857 |4433 | 30k| 11k|4083 | 0.000000e+00 | -- | Inf
156.16/156.22 c 156s| 9500 | 83 |503041 | 52.2 | 22M| 80 | 251 |1857 |6977 |1857 |4481 | 31k| 11k|4127 | 0.000000e+00 | -- | Inf
157.45/157.53 c 158s| 9600 | 81 |507634 | 52.2 | 22M| 80 | - |1857 |7123 | 0 | 0 | 31k| 11k|4156 | 0.000000e+00 | -- | Inf
159.05/159.18 c 159s| 9700 | 90 |514575 | 52.4 | 23M| 80 | 287 |1857 |7202 |1857 |4485 | 32k| 12k|4176 | 0.000000e+00 | -- | Inf
160.26/160.34 c 160s| 9800 | 90 |520419 | 52.4 | 23M| 80 | - |1857 |7314 | 0 | 0 | 32k| 12k|4180 | 0.000000e+00 | -- | Inf
162.56/162.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.56/162.68 c 163s| 9900 | 80 |527698 | 52.6 | 23M| 80 | 243 |1857 |7405 |1857 |4501 | 33k| 12k|4242 | 0.000000e+00 | -- | Inf
164.66/164.75 c 165s| 10000 | 83 |534871 | 52.8 | 23M| 80 | 446 |1857 |7435 |1857 |4410 | 33k| 12k|4289 | 0.000000e+00 | -- | Inf
166.45/166.55 c 167s| 10100 | 86 |541312 | 52.9 | 23M| 80 | 408 |1857 |7407 |1857 |4395 | 33k| 12k|4328 | 0.000000e+00 | -- | Inf
167.45/167.53 c 168s| 10200 | 82 |545162 | 52.8 | 23M| 80 | 368 |1857 |7466 |1857 |4385 | 34k| 12k|4339 | 0.000000e+00 | -- | Inf
168.55/168.68 c 169s| 10300 | 79 |550599 | 52.8 | 23M| 80 | - |1857 |7458 | 0 | 0 | 34k| 12k|4347 | 0.000000e+00 | -- | Inf
169.85/169.98 c 170s| 10400 | 92 |554582 | 52.7 | 23M| 80 | 279 |1857 |7361 |1857 |4472 | 34k| 12k|4381 | 0.000000e+00 | -- | Inf
170.46/170.55 c 171s| 10500 | 83 |556555 | 52.4 | 23M| 80 | 386 |1857 |7413 |1857 |4463 | 34k| 13k|4382 | 0.000000e+00 | -- | Inf
171.26/171.39 c 171s| 10600 | 78 |560800 | 52.3 | 23M| 80 | 282 |1857 |7475 |1857 |4395 | 35k| 13k|4382 | 0.000000e+00 | -- | Inf
172.45/172.54 c 173s| 10700 | 72 |566590 | 52.3 | 23M| 80 | 363 |1857 |7606 |1857 |4408 | 35k| 13k|4385 | 0.000000e+00 | -- | Inf
173.45/173.53 c 174s| 10800 | 79 |571437 | 52.3 | 23M| 80 | 319 |1857 |7730 |1857 |4469 | 35k| 13k|4390 | 0.000000e+00 | -- | Inf
174.96/175.06 c 175s| 10900 | 88 |576199 | 52.2 | 23M| 80 | - |1857 |7709 | 0 | 0 | 36k| 13k|4416 | 0.000000e+00 | -- | Inf
175.86/175.94 c 176s| 11000 | 82 |579875 | 52.1 | 23M| 80 | 297 |1857 |7762 |1857 |4507 | 36k| 13k|4420 | 0.000000e+00 | -- | Inf
177.45/177.54 c 178s| 11100 | 75 |587369 | 52.3 | 23M| 80 | 339 |1857 |7690 |1857 |4508 | 36k| 13k|4440 | 0.000000e+00 | -- | Inf
178.55/178.69 c 179s| 11200 | 80 |592988 | 52.3 | 23M| 80 | - |1857 |7637 | 0 | 0 | 37k| 14k|4442 | 0.000000e+00 | -- | Inf
179.55/179.64 c 180s| 11300 | 77 |597382 | 52.3 | 23M| 80 | 225 |1857 |7699 |1857 |4553 | 37k| 14k|4443 | 0.000000e+00 | -- | Inf
180.26/180.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.26/180.37 c 180s| 11400 | 83 |600822 | 52.1 | 23M| 80 | - |1857 |7789 | 0 | 0 | 37k| 14k|4444 | 0.000000e+00 | -- | Inf
181.06/181.10 c 181s| 11500 | 81 |604008 | 51.9 | 23M| 80 | 219 |1857 |7848 |1857 |4407 | 37k| 14k|4445 | 0.000000e+00 | -- | Inf
181.75/181.82 c 182s| 11600 | 75 |607308 | 51.8 | 23M| 80 | 286 |1857 |7837 |1857 |4498 | 37k| 14k|4445 | 0.000000e+00 | -- | Inf
183.05/183.19 c 183s| 11700 | 89 |613697 | 51.9 | 23M| 80 | 244 |1857 |7769 |1857 |4531 | 38k| 14k|4458 | 0.000000e+00 | -- | Inf
184.35/184.41 c 184s| 11800 | 77 |618572 | 51.9 | 23M| 80 | 294 |1857 |7840 |1857 |4479 | 38k| 14k|4480 | 0.000000e+00 | -- | Inf
185.86/185.97 c 186s| 11900 | 76 |626300 | 52.1 | 23M| 80 | - |1857 |7886 | 0 | 0 | 39k| 14k|4497 | 0.000000e+00 | -- | Inf
186.75/186.83 c 187s| 12000 | 74 |630679 | 52.0 | 23M| 80 | 283 |1857 |7978 |1857 |4393 | 39k| 15k|4497 | 0.000000e+00 | -- | Inf
187.46/187.55 c 188s| 12100 | 73 |633940 | 51.8 | 23M| 80 | - |1857 |8054 | 0 | 0 | 39k| 15k|4497 | 0.000000e+00 | -- | Inf
188.56/188.60 c 189s| 12200 | 77 |638943 | 51.8 | 23M| 80 | 275 |1857 |8071 |1857 |4409 | 39k| 15k|4498 | 0.000000e+00 | -- | Inf
189.45/189.57 c 190s| 12300 | 67 |643660 | 51.8 | 23M| 80 | - |1857 |8142 | 0 | 0 | 40k| 15k|4500 | 0.000000e+00 | -- | Inf
190.85/190.96 c 191s| 12400 | 73 |649782 | 51.9 | 23M| 80 | 373 |1857 |8116 |1857 |4443 | 40k| 15k|4516 | 0.000000e+00 | -- | Inf
191.85/191.97 c 192s| 12500 | 74 |654664 | 51.8 | 23M| 80 | 356 |1857 |8168 |1857 |4471 | 40k| 15k|4516 | 0.000000e+00 | -- | Inf
192.75/192.83 c 193s| 12600 | 88 |658463 | 51.7 | 23M| 80 | 222 |1857 |8256 |1857 |4489 | 41k| 15k|4519 | 0.000000e+00 | -- | Inf
193.65/193.76 c 194s| 12700 | 79 |662961 | 51.7 | 23M| 80 | 269 |1857 |8387 |1857 |4481 | 41k| 16k|4522 | 0.000000e+00 | -- | Inf
194.56/194.67 c 195s| 12800 | 75 |667823 | 51.6 | 23M| 80 | 332 |1857 |8506 |1857 |4458 | 41k| 16k|4522 | 0.000000e+00 | -- | Inf
195.76/195.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.76/195.89 c 196s| 12900 | 77 |671720 | 51.5 | 23M| 80 | - |1857 |8580 | 0 | 0 | 41k| 16k|4559 | 0.000000e+00 | -- | Inf
196.65/196.75 c 197s| 13000 | 72 |675303 | 51.4 | 23M| 80 | - |1857 |8691 | 0 | 0 | 41k| 16k|4570 | 0.000000e+00 | -- | Inf
197.86/197.94 c 198s| 13100 | 83 |679739 | 51.4 | 23M| 80 | 342 |1857 |8762 |1857 |4507 | 42k| 16k|4609 | 0.000000e+00 | -- | Inf
199.06/199.18 c 199s| 13200 | 74 |684343 | 51.3 | 23M| 80 | 400 |1857 |8838 |1857 |4666 | 42k| 16k|4637 | 0.000000e+00 | -- | Inf
200.25/200.35 c 200s| 13300 | 78 |688922 | 51.3 | 23M| 80 | 250 |1857 |8930 |1857 |4676 | 42k| 16k|4655 | 0.000000e+00 | -- | Inf
201.05/201.12 c 201s| 13400 | 83 |691155 | 51.1 | 23M| 80 | - |1857 |9008 | 0 | 0 | 42k| 17k|4674 | 0.000000e+00 | -- | Inf
202.05/202.15 c 202s| 13500 | 69 |694864 | 51.0 | 23M| 80 | 313 |1857 |9036 |1857 |4484 | 42k| 17k|4693 | 0.000000e+00 | -- | Inf
203.95/204.02 c 204s| 13600 | 68 |702069 | 51.1 | 23M| 80 | - |1857 |8938 | 0 | 0 | 43k| 17k|4748 | 0.000000e+00 | -- | Inf
205.25/205.38 c 205s| 13700 | 73 |706767 | 51.1 | 24M| 80 | - |1857 |8969 | 0 | 0 | 43k| 17k|4778 | 0.000000e+00 | -- | Inf
206.85/206.99 c 207s| 13800 | 71 |713152 | 51.2 | 23M| 80 | 407 |1857 |8857 |1857 |4609 | 43k| 17k|4809 | 0.000000e+00 | -- | Inf
207.95/208.07 c 208s| 13900 | 68 |716814 | 51.1 | 23M| 80 | 459 |1857 |8896 |1857 |4627 | 43k| 17k|4827 | 0.000000e+00 | -- | Inf
209.35/209.49 c 209s| 14000 | 74 |722524 | 51.1 | 23M| 80 | 287 |1857 |8822 |1857 |4525 | 44k| 17k|4848 | 0.000000e+00 | -- | Inf
211.75/211.87 c 212s| 14100 | 68 |731988 | 51.4 | 23M| 80 | 318 |1857 |8577 |1857 |4381 | 44k| 17k|4885 | 0.000000e+00 | -- | Inf
212.55/212.66 c 213s| 14200 | 75 |734381 | 51.2 | 23M| 80 | 331 |1857 |8587 |1857 |4444 | 45k| 17k|4905 | 0.000000e+00 | -- | Inf
213.54/213.67 c 214s| 14300 | 67 |737654 | 51.1 | 23M| 80 | 312 |1857 |8648 |1857 |4410 | 45k| 18k|4934 | 0.000000e+00 | -- | Inf
214.75/214.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
214.75/214.82 c 215s| 14400 | 70 |741523 | 51.0 | 23M| 80 | 265 |1857 |8706 |1857 |4428 | 45k| 18k|4963 | 0.000000e+00 | -- | Inf
215.85/215.97 c 216s| 14500 | 67 |745995 | 51.0 | 23M| 80 | 385 |1857 |8755 |1857 |4409 | 45k| 18k|4986 | 0.000000e+00 | -- | Inf
217.24/217.36 c 217s| 14600 | 71 |751450 | 51.0 | 24M| 80 | - |1857 |8862 | 0 | 0 | 46k| 18k|5022 | 0.000000e+00 | -- | Inf
218.85/218.92 c 219s| 14700 | 72 |757468 | 51.1 | 24M| 80 | 479 |1857 |8896 |1857 |4465 | 46k| 18k|5063 | 0.000000e+00 | -- | Inf
220.44/220.58 c 221s| 14800 | 60 |764755 | 51.2 | 23M| 80 | 482 |1857 |8866 |1857 |4467 | 47k| 18k|5095 | 0.000000e+00 | -- | Inf
221.85/221.98 c 222s| 14900 | 67 |769897 | 51.2 | 23M| 80 | 290 |1857 |8861 |1857 |4438 | 47k| 18k|5126 | 0.000000e+00 | -- | Inf
223.45/223.50 c 223s| 15000 | 69 |775633 | 51.3 | 24M| 80 | 287 |1857 |8874 |1857 |4462 | 47k| 18k|5155 | 0.000000e+00 | -- | Inf
224.45/224.50 c 224s| 15100 | 77 |779171 | 51.2 | 24M| 80 | 276 |1857 |8892 |1857 |4495 | 47k| 19k|5173 | 0.000000e+00 | -- | Inf
225.35/225.49 c 225s| 15200 | 73 |782314 | 51.0 | 24M| 80 | 374 |1857 |8978 |1857 |4501 | 48k| 19k|5201 | 0.000000e+00 | -- | Inf
226.45/226.59 c 227s| 15300 | 63 |786298 | 51.0 | 24M| 80 | 342 |1857 |9021 |1857 |4460 | 48k| 19k|5220 | 0.000000e+00 | -- | Inf
227.66/227.74 c 228s| 15400 | 65 |790252 | 50.9 | 24M| 80 | 401 |1857 |9027 |1857 |4468 | 48k| 19k|5254 | 0.000000e+00 | -- | Inf
229.24/229.37 c 229s| 15500 | 75 |795602 | 50.9 | 24M| 80 | 220 |1857 |8934 |1857 |4463 | 48k| 19k|5315 | 0.000000e+00 | -- | Inf
229.85/229.91 c 230s| 15600 | 89 |797753 | 50.7 | 24M| 80 | 131 |1857 |8997 |1857 |4466 | 48k| 19k|5315 | 0.000000e+00 | -- | Inf
230.65/230.75 c 231s| 15700 | 62 |800031 | 50.5 | 24M| 80 | 427 |1857 |9033 |1857 |4459 | 48k| 19k|5346 | 0.000000e+00 | -- | Inf
231.84/231.91 c 232s| 15800 | 61 |804185 | 50.5 | 24M| 80 | 322 |1857 |9141 |1857 |4475 | 49k| 19k|5375 | 0.000000e+00 | -- | Inf
233.05/233.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
233.05/233.18 c 233s| 15900 | 59 |808398 | 50.4 | 24M| 80 | - |1857 |9240 | 0 | 0 | 49k| 20k|5420 | 0.000000e+00 | -- | Inf
234.04/234.16 c 234s| 16000 | 62 |811315 | 50.3 | 24M| 80 | 512 |1857 |9320 |1857 |4453 | 49k| 20k|5450 | 0.000000e+00 | -- | Inf
235.54/235.66 c 236s| 16100 | 59 |817052 | 50.3 | 24M| 80 | 373 |1857 |9377 |1857 |4478 | 49k| 20k|5494 | 0.000000e+00 | -- | Inf
236.74/236.83 c 237s| 16200 | 61 |821599 | 50.3 | 24M| 80 | 421 |1857 |9465 |1857 |4477 | 49k| 20k|5514 | 0.000000e+00 | -- | Inf
238.66/238.72 c 239s| 16300 | 58 |828497 | 50.4 | 24M| 80 | - |1857 |9530 | 0 | 0 | 50k| 20k|5579 | 0.000000e+00 | -- | Inf
240.14/240.27 c 240s| 16400 | 71 |833666 | 50.4 | 24M| 80 | - |1857 |9530 | 0 | 0 | 50k| 20k|5613 | 0.000000e+00 | -- | Inf
241.15/241.23 c 241s| 16500 | 72 |837277 | 50.3 | 24M| 80 | - |1857 |9610 | 0 | 0 | 50k| 20k|5627 | 0.000000e+00 | -- | Inf
242.54/242.62 c 243s| 16600 | 71 |842089 | 50.3 | 24M| 80 | - |1857 |9695 | 0 | 0 | 51k| 20k|5660 | 0.000000e+00 | -- | Inf
244.24/244.33 c 244s| 16700 | 60 |849756 | 50.5 | 24M| 80 | 427 |1857 |9742 |1857 |4468 | 51k| 21k|5696 | 0.000000e+00 | -- | Inf
246.54/246.60 c 247s| 16800 | 79 |857672 | 50.7 | 24M| 80 | 334 |1857 |9604 |1857 |4461 | 52k| 21k|5742 | 0.000000e+00 | -- | Inf
248.15/248.26 c 248s| 16900 | 69 |864949 | 50.8 | 24M| 80 | - |1857 |9589 | 0 | 0 | 52k| 21k|5772 | 0.000000e+00 | -- | Inf
248.74/248.84 c 249s| 17000 | 64 |866739 | 50.6 | 24M| 80 | - |1857 |9689 | 0 | 0 | 52k| 21k|5776 | 0.000000e+00 | -- | Inf
250.44/250.54 c 251s| 17100 | 72 |873151 | 50.7 | 24M| 80 | 338 |1857 |9535 |1857 |4423 | 52k| 21k|5809 | 0.000000e+00 | -- | Inf
251.24/251.38 c 251s| 17200 | 61 |876990 | 50.6 | 24M| 80 | 468 |1857 |9585 |1857 |4421 | 52k| 21k|5810 | 0.000000e+00 | -- | Inf
252.64/252.73 c 253s| 17300 | 58 |882002 | 50.6 | 24M| 80 | - |1857 |9390 | 0 | 0 | 53k| 21k|5843 | 0.000000e+00 | -- | Inf
254.14/254.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
254.14/254.28 c 254s| 17400 | 58 |888242 | 50.7 | 24M| 80 | 397 |1857 |9300 |1857 |4421 | 53k| 21k|5872 | 0.000000e+00 | -- | Inf
255.24/255.36 c 255s| 17500 | 62 |893382 | 50.7 | 24M| 80 | 259 |1857 |9400 |1857 |4486 | 53k| 22k|5881 | 0.000000e+00 | -- | Inf
256.15/256.21 c 256s| 17600 | 47 |897675 | 50.6 | 24M| 80 | 405 |1857 |9456 |1857 |4461 | 54k| 22k|5884 | 0.000000e+00 | -- | Inf
257.24/257.34 c 257s| 17700 | 47 |902945 | 50.6 | 24M| 80 | 415 |1857 |9367 |1857 |4393 | 54k| 22k|5892 | 0.000000e+00 | -- | Inf
258.24/258.35 c 258s| 17800 | 45 |907937 | 50.6 | 24M| 80 | 385 |1857 |9412 |1857 |4395 | 54k| 22k|5893 | 0.000000e+00 | -- | Inf
260.04/260.10 c 260s| 17900 | 47 |916118 | 50.8 | 23M| 80 | 612 |1857 |9093 |1857 |4395 | 55k| 22k|5909 | 0.000000e+00 | -- | Inf
261.54/261.69 c 262s| 18000 | 45 |925006 | 51.0 | 23M| 80 | 484 |1857 |8999 |1857 |4343 | 55k| 22k|5912 | 0.000000e+00 | -- | Inf
262.85/262.94 c 263s| 18100 | 62 |931295 | 51.1 | 23M| 80 | 234 |1857 |9019 |1857 |4398 | 56k| 22k|5914 | 0.000000e+00 | -- | Inf
263.54/263.69 c 264s| 18200 | 52 |934730 | 51.0 | 23M| 80 | 404 |1857 |9072 |1857 |4409 | 56k| 22k|5914 | 0.000000e+00 | -- | Inf
264.54/264.66 c 265s| 18300 | 52 |939847 | 51.0 | 24M| 80 | 332 |1857 |9092 |1857 |4382 | 56k| 22k|5914 | 0.000000e+00 | -- | Inf
265.54/265.62 c 266s| 18400 | 47 |944533 | 51.0 | 23M| 80 | 345 |1857 |9160 |1857 |4380 | 56k| 22k|5914 | 0.000000e+00 | -- | Inf
266.74/266.81 c 267s| 18500 | 44 |950695 | 51.0 | 23M| 80 | 451 |1857 |9106 |1857 |4436 | 57k| 23k|5917 | 0.000000e+00 | -- | Inf
267.94/268.02 c 268s| 18600 | 41 |956444 | 51.1 | 23M| 80 | 442 |1857 |9195 |1857 |4567 | 57k| 23k|5923 | 0.000000e+00 | -- | Inf
269.13/269.21 c 269s| 18700 | 39 |962518 | 51.1 | 23M| 80 | 542 |1857 |9173 |1857 |4394 | 57k| 23k|5926 | 0.000000e+00 | -- | Inf
270.54/270.69 c 271s| 18800 | 39 |967461 | 51.1 | 23M| 80 | 560 |1857 |9168 |1857 |4576 | 58k| 23k|5950 | 0.000000e+00 | -- | Inf
272.54/272.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
272.54/272.65 c 273s| 18900 | 36 |976097 | 51.3 | 23M| 80 | 316 |1857 |8995 |1857 |4469 | 58k| 23k|5979 | 0.000000e+00 | -- | Inf
273.63/273.74 c 274s| 19000 | 46 |981742 | 51.3 | 23M| 80 | 308 |1857 |9013 |1857 |4483 | 59k| 23k|5981 | 0.000000e+00 | -- | Inf
274.64/274.75 c 275s| 19100 | 58 |985908 | 51.3 | 24M| 80 | 368 |1857 |9120 |1857 |4496 | 59k| 23k|5988 | 0.000000e+00 | -- | Inf
275.84/275.94 c 276s| 19200 | 30 |992743 | 51.4 | 23M| 80 | - |1857 |9077 | 0 | 0 | 59k| 23k|5989 | 0.000000e+00 | -- | Inf
276.73/276.85 c 277s| 19300 | 36 |997258 | 51.3 | 23M| 80 | 429 |1857 |9064 |1857 |4471 | 60k| 24k|5989 | 0.000000e+00 | -- | Inf
277.94/278.04 c 278s| 19400 | 39 | 1003k| 51.4 | 23M| 80 | 350 |1857 |9126 |1857 |4442 | 60k| 24k|5989 | 0.000000e+00 | -- | Inf
278.74/278.86 c 279s| 19500 | 43 | 1007k| 51.3 | 23M| 80 | 285 |1857 |9190 |1857 |4468 | 60k| 24k|5989 | 0.000000e+00 | -- | Inf
280.04/280.17 c 280s| 19600 | 34 | 1015k| 51.5 | 23M| 80 | - |1857 |9297 | 0 | 0 | 61k| 24k|5989 | 0.000000e+00 | -- | Inf
281.44/281.57 c 282s| 19700 | 27 | 1023k| 51.6 | 23M| 80 | 349 |1857 |9206 |1857 |4448 | 61k| 24k|5992 | 0.000000e+00 | -- | Inf
283.03/283.14 c 283s| 19800 | 27 | 1030k| 51.7 | 23M| 80 | - |1857 |9153 | 0 | 0 | 62k| 24k|6011 | 0.000000e+00 | -- | Inf
284.24/284.30 c 284s| 19900 | 19 | 1035k| 51.7 | 23M| 80 | 536 |1857 |9097 |1857 |4405 | 62k| 24k|6021 | 0.000000e+00 | -- | Inf
285.94/286.08 c 286s| 20000 | 23 | 1043k| 51.8 | 23M| 80 | 295 |1857 |8888 |1857 |4433 | 63k| 24k|6041 | 0.000000e+00 | -- | Inf
287.44/287.57 c 288s| 20100 | 21 | 1048k| 51.8 | 23M| 80 | 474 |1857 |8906 |1857 |4410 | 63k| 25k|6082 | 0.000000e+00 | -- | Inf
289.34/289.44 c 289s| 20200 | 24 | 1056k| 51.9 | 23M| 80 | 344 |1857 |8936 |1857 |4435 | 63k| 25k|6128 | 0.000000e+00 | -- | Inf
291.03/291.13 c 291s| 20300 | 17 | 1062k| 52.0 | 23M| 80 | 650 |1857 |8969 |1857 |4409 | 64k| 25k|6174 | 0.000000e+00 | -- | Inf
292.63/292.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
292.63/292.70 c 293s| 20400 | 25 | 1068k| 52.0 | 23M| 80 | 368 |1857 |9037 |1857 |4441 | 64k| 25k|6210 | 0.000000e+00 | -- | Inf
293.83/293.93 c 294s| 20500 | 25 | 1072k| 52.0 | 23M| 80 | - |1857 |9098 | 0 | 0 | 64k| 25k|6236 | 0.000000e+00 | -- | Inf
295.24/295.34 c 295s| 20600 | 29 | 1077k| 52.0 | 23M| 80 | 322 |1857 |9159 |1857 |4456 | 65k| 25k|6274 | 0.000000e+00 | -- | Inf
296.34/296.40 c 296s| 20700 | 22 | 1081k| 51.9 | 23M| 80 | 438 |1857 |9242 |1857 |4441 | 65k| 25k|6292 | 0.000000e+00 | -- | Inf
297.53/297.63 c 298s| 20800 | 22 | 1086k| 51.9 | 23M| 80 | 455 |1857 |9331 |1857 |4393 | 65k| 25k|6320 | 0.000000e+00 | -- | Inf
298.94/299.04 c 299s| 20900 | 26 | 1092k| 51.9 | 23M| 80 | 331 |1857 |9399 |1857 |4477 | 65k| 26k|6344 | 0.000000e+00 | -- | Inf
300.63/300.75 c 301s| 21000 | 19 | 1099k| 52.0 | 23M| 80 | 480 |1857 |9471 |1857 |4439 | 66k| 26k|6376 | 0.000000e+00 | -- | Inf
302.83/302.92 c 303s| 21100 | 23 | 1108k| 52.2 | 23M| 80 | 496 |1857 |9481 |1857 |4465 | 66k| 26k|6416 | 0.000000e+00 | -- | Inf
304.64/304.70 c 305s| 21200 | 28 | 1115k| 52.3 | 23M| 80 | 438 |1857 |9486 |1857 |4461 | 67k| 26k|6449 | 0.000000e+00 | -- | Inf
306.33/306.42 c 306s| 21300 | 26 | 1122k| 52.4 | 23M| 80 | 556 |1857 |9491 |1857 |4473 | 67k| 26k|6487 | 0.000000e+00 | -- | Inf
308.43/308.54 c 309s| 21400 | 34 | 1131k| 52.6 | 23M| 80 | 336 |1857 |9490 |1857 |4522 | 68k| 26k|6525 | 0.000000e+00 | -- | Inf
310.53/310.64 c 311s| 21500 | 22 | 1140k| 52.7 | 23M| 80 | 344 |1857 |9514 |1857 |4484 | 68k| 26k|6563 | 0.000000e+00 | -- | Inf
312.84/312.90 c 313s| 21600 | 32 | 1150k| 52.9 | 23M| 80 | 307 |1857 |9557 |1857 |4509 | 69k| 26k|6611 | 0.000000e+00 | -- | Inf
314.63/314.74 c 315s| 21700 | 20 | 1158k| 53.1 | 23M| 80 | 427 |1857 |9628 |1857 |4416 | 69k| 26k|6642 | 0.000000e+00 | -- | Inf
316.43/316.55 c 317s| 21800 | 18 | 1165k| 53.1 | 23M| 80 | 703 |1857 |9631 |1857 |4436 | 70k| 26k|6668 | 0.000000e+00 | -- | Inf
318.63/318.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
318.63/318.74 c 319s| 21900 | 16 | 1175k| 53.4 | 23M| 80 | - |1857 |9701 | 0 | 0 | 70k| 27k|6715 | 0.000000e+00 | -- | Inf
320.93/321.02 c 321s| 22000 | 16 | 1184k| 53.5 | 23M| 80 | 364 |1857 |9724 |1857 |4488 | 71k| 27k|6754 | 0.000000e+00 | -- | Inf
322.83/322.97 c 323s| 22100 | 13 | 1193k| 53.7 | 23M| 80 | 293 |1857 |9698 |1857 |4529 | 72k| 27k|6796 | 0.000000e+00 | -- | Inf
324.63/324.77 c 325s| 22200 | 15 | 1201k| 53.8 | 23M| 80 | 334 |1857 |9520 |1857 |4368 | 72k| 27k|6819 | 0.000000e+00 | -- | Inf
327.23/327.32 c 327s| 22300 | 23 | 1211k| 54.0 | 23M| 80 | 293 |1857 |9292 |1857 |4496 | 73k| 27k|6883 | 0.000000e+00 | -- | Inf
328.53/328.68 c 329s| 22400 | 18 | 1217k| 54.0 | 23M| 80 | - |1857 |9407 | 0 | 0 | 73k| 27k|6920 | 0.000000e+00 | -- | Inf
330.13/330.22 c 330s| 22500 | 14 | 1222k| 54.0 | 23M| 80 | 593 |1857 |9409 |1857 |4443 | 74k| 27k|6958 | 0.000000e+00 | -- | Inf
332.14/332.24 c 332s| 22600 | 14 | 1230k| 54.1 | 23M| 80 | 434 |1857 |9300 |1857 |4420 | 74k| 27k|7013 | 0.000000e+00 | -- | Inf
333.03/333.13 c 333s| 22700 | 10 | 1234k| 54.1 | 23M| 80 | 415 |1857 |9387 |1857 |4437 | 74k| 28k|7013 | 0.000000e+00 | -- | Inf
335.23/335.40 c 335s| 22800 | 10 | 1243k| 54.3 | 23M| 80 | 538 |1857 |9151 |1857 |4392 | 75k| 28k|7065 | 0.000000e+00 | -- | Inf
337.43/337.53 c 338s| 22900 | 12 | 1252k| 54.4 | 23M| 80 | 430 |1857 |8970 |1857 |4444 | 76k| 28k|7109 | 0.000000e+00 | -- | Inf
339.53/339.61 c 340s| 23000 | 6 | 1260k| 54.5 | 23M| 80 | 759 |1857 |8903 |1857 |4355 | 76k| 28k|7159 | 0.000000e+00 | -- | Inf
341.83/341.96 c 342s| 23100 | 16 | 1270k| 54.7 | 23M| 80 | 289 |1857 |8788 |1857 |4450 | 77k| 28k|7205 | 0.000000e+00 | -- | Inf
343.53/343.60 c 344s| 23200 | 19 | 1277k| 54.8 | 23M| 80 | 324 |1857 |8732 |1857 |4427 | 77k| 28k|7229 | 0.000000e+00 | -- | Inf
345.34/345.44 c 345s| 23300 | 4 | 1285k| 54.9 | 23M| 80 | 693 |1857 |8733 |1857 |4377 | 78k| 28k|7251 | 0.000000e+00 | -- | Inf
346.13/346.26 c
346.13/346.26 c SCIP Status : problem is solved [infeasible]
346.13/346.26 c Solving Time (sec) : 346.26
346.13/346.26 c Solving Nodes : 23328
346.13/346.26 c Primal Bound : +1.00000000000000e+20 (0 solutions)
346.13/346.26 c Dual Bound : +1.00000000000000e+20
346.13/346.26 c Gap : 0.00 %
346.13/346.26 s UNSATISFIABLE
346.13/346.26 c SCIP Status : problem is solved [infeasible]
346.13/346.26 c Total Time : 346.26
346.13/346.26 c solving : 346.26
346.13/346.26 c presolving : 0.68 (included in solving)
346.13/346.26 c reading : 0.02 (included in solving)
346.13/346.26 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
346.13/346.26 c Original Problem :
346.13/346.26 c Problem name : HOME/instance-3691674-1338029292.opb
346.13/346.26 c Variables : 2152 (2152 binary, 0 integer, 0 implicit integer, 0 continuous)
346.13/346.26 c Constraints : 5613 initial, 5613 maximal
346.13/346.26 c Objective sense : minimize
346.13/346.26 c Presolved Problem :
346.13/346.26 c Problem name : t_HOME/instance-3691674-1338029292.opb
346.13/346.26 c Variables : 1857 (1857 binary, 0 integer, 0 implicit integer, 0 continuous)
346.13/346.26 c Constraints : 1978 initial, 9755 maximal
346.13/346.26 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
346.13/346.26 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
346.13/346.26 c trivial : 0.00 0.00 10 0 0 0 0 0 0 0 0
346.13/346.26 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
346.13/346.26 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
346.13/346.26 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
346.13/346.26 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
346.13/346.26 c gateextraction : 0.01 0.00 0 0 0 0 0 4511 1503 0 0
346.13/346.26 c implics : 0.01 0.00 0 152 0 0 0 0 0 0 0
346.13/346.26 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
346.13/346.26 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
346.13/346.26 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
346.13/346.26 c knapsack : 0.01 0.00 0 0 0 0 0 0 0 0 0
346.13/346.26 c setppc : 0.02 0.00 0 3 0 0 0 15 0 0 0
346.13/346.26 c and : 0.49 0.00 1 29 0 0 0 234 234 0 0
346.13/346.26 c linear : 0.10 0.00 94 6 0 94 0 607 0 238 506
346.13/346.26 c logicor : 0.03 0.00 0 0 0 0 0 0 0 0 0
346.13/346.26 c root node : - - 11 - - 11 - - - - -
346.13/346.26 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
346.13/346.26 c integral : 0 0 0 0 18224 0 1 0 93 861 0 0 35374
346.13/346.26 c knapsack : 472 472 6 203037 0 0 0 108916 3427 243344 1203 0 0
346.13/346.26 c setppc : 249+ 253 6 199610 0 0 0 185841 1011 189329 0 0 0
346.13/346.26 c and : 1256 1256 17808 198599 0 0 0 984760 4604 1008334 76711 0 0
346.13/346.26 c linear : 0+ 281 5 190911 0 0 0 658 2 1014 4 0 0
346.13/346.26 c logicor : 1+ 7502 6 101911 0 0 0 155187 1625 76029 0 0 0
346.13/346.26 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
346.13/346.26 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
346.13/346.26 c integral : 96.89 0.00 0.00 0.00 96.89 0.00 0.00 0.00
346.13/346.26 c knapsack : 3.82 0.00 0.01 3.65 0.00 0.00 0.00 0.16
346.13/346.26 c setppc : 1.50 0.00 0.00 1.28 0.00 0.00 0.00 0.22
346.13/346.26 c and : 8.22 0.00 2.09 5.08 0.00 0.00 0.00 1.05
346.13/346.26 c linear : 0.29 0.00 0.00 0.28 0.00 0.00 0.00 0.00
346.13/346.26 c logicor : 3.29 0.00 0.00 3.01 0.00 0.00 0.00 0.28
346.13/346.26 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
346.13/346.26 c Propagators : #Propagate #ResProp Cutoffs DomReds
346.13/346.26 c rootredcost : 0 0 0 0
346.13/346.26 c pseudoobj : 0 0 0 0
346.13/346.26 c vbounds : 0 0 0 0
346.13/346.26 c redcost : 30470 0 0 0
346.13/346.26 c probing : 0 0 0 0
346.13/346.26 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
346.13/346.26 c rootredcost : 0.18 0.00 0.00 0.18 0.00
346.13/346.26 c pseudoobj : 0.19 0.00 0.00 0.19 0.00
346.13/346.26 c vbounds : 0.17 0.00 0.00 0.17 0.00
346.13/346.26 c redcost : 0.86 0.00 0.00 0.86 0.00
346.13/346.26 c probing : 0.00 0.00 0.00 0.00 0.00
346.13/346.26 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
346.13/346.26 c propagation : 3.37 10669 10311 75898 32.0 2297 17.9 -
346.13/346.26 c infeasible LP : 0.04 70 70 283 20.6 19 11.9 0
346.13/346.26 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
346.13/346.26 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
346.13/346.26 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
346.13/346.26 c applied globally : - - - 28806 23.3 - - -
346.13/346.26 c applied locally : - - - 0 0.0 - - -
346.13/346.26 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
346.13/346.26 c cut pool : 0.00 4 - - 90 - (maximal pool size: 3694)
346.13/346.26 c closecuts : 0.00 0.00 0 0 0 0 0
346.13/346.26 c impliedbounds : 0.01 0.00 5 0 0 3850 0
346.13/346.26 c intobj : 0.00 0.00 0 0 0 0 0
346.13/346.26 c gomory : 0.04 0.00 5 0 0 250 0
346.13/346.26 c cgmip : 0.00 0.00 0 0 0 0 0
346.13/346.26 c strongcg : 0.33 0.00 5 0 0 2500 0
346.13/346.26 c cmir : 0.00 0.00 0 0 0 0 0
346.13/346.26 c flowcover : 0.00 0.00 0 0 0 0 0
346.13/346.26 c clique : 0.09 0.00 5 0 0 40 0
346.13/346.26 c zerohalf : 0.00 0.00 0 0 0 0 0
346.13/346.26 c mcf : 0.00 0.00 1 0 0 0 0
346.13/346.26 c oddcycle : 0.00 0.00 0 0 0 0 0
346.13/346.26 c rapidlearning : 0.22 0.00 1 0 8 0 281
346.13/346.26 c Pricers : ExecTime SetupTime Calls Vars
346.13/346.26 c problem variables: 0.00 - 0 0
346.13/346.26 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
346.13/346.26 c relpscost : 96.81 0.00 18224 93 861 0 0 35374
346.13/346.26 c pscost : 0.00 0.00 0 0 0 0 0 0
346.13/346.26 c inference : 0.00 0.00 0 0 0 0 0 0
346.13/346.26 c mostinf : 0.00 0.00 0 0 0 0 0 0
346.13/346.26 c leastinf : 0.00 0.00 0 0 0 0 0 0
346.13/346.26 c fullstrong : 0.00 0.00 0 0 0 0 0 0
346.13/346.26 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
346.13/346.26 c random : 0.00 0.00 0 0 0 0 0 0
346.13/346.26 c Primal Heuristics : ExecTime SetupTime Calls Found
346.13/346.26 c LP solutions : 0.00 - - 0
346.13/346.26 c pseudo solutions : 0.00 - - 0
346.13/346.26 c smallcard : 0.00 0.00 0 0
346.13/346.26 c trivial : 0.00 0.00 1 0
346.13/346.26 c shiftandpropagate: 0.00 0.00 0 0
346.13/346.26 c simplerounding : 0.00 0.00 0 0
346.13/346.26 c zirounding : 0.00 0.00 0 0
346.13/346.26 c rounding : 0.00 0.00 0 0
346.13/346.26 c shifting : 0.00 0.00 0 0
346.13/346.26 c intshifting : 0.00 0.00 0 0
346.13/346.26 c oneopt : 0.00 0.00 0 0
346.13/346.26 c twoopt : 0.00 0.00 0 0
346.13/346.26 c indtwoopt : 0.00 0.00 0 0
346.13/346.26 c indoneopt : 0.00 0.00 0 0
346.13/346.26 c fixandinfer : 0.00 0.00 0 0
346.13/346.26 c feaspump : 0.00 0.00 0 0
346.13/346.26 c clique : 0.00 0.00 0 0
346.13/346.26 c indrounding : 0.00 0.00 0 0
346.13/346.26 c indcoefdiving : 0.00 0.00 0 0
346.13/346.26 c coefdiving : 0.00 0.00 0 0
346.13/346.26 c pscostdiving : 0.00 0.00 0 0
346.13/346.26 c nlpdiving : 0.00 0.00 0 0
346.13/346.26 c fracdiving : 0.00 0.00 0 0
346.13/346.26 c veclendiving : 0.00 0.00 0 0
346.13/346.26 c intdiving : 0.00 0.00 0 0
346.13/346.26 c actconsdiving : 0.00 0.00 0 0
346.13/346.26 c objpscostdiving : 0.00 0.00 0 0
346.13/346.26 c rootsoldiving : 0.00 0.00 0 0
346.13/346.26 c linesearchdiving : 0.00 0.00 0 0
346.13/346.26 c guideddiving : 0.00 0.00 0 0
346.13/346.26 c octane : 0.00 0.00 0 0
346.13/346.26 c rens : 0.00 0.00 0 0
346.13/346.26 c rins : 0.00 0.00 0 0
346.13/346.26 c localbranching : 0.00 0.00 0 0
346.13/346.26 c mutation : 0.00 0.00 0 0
346.13/346.26 c crossover : 0.00 0.00 0 0
346.13/346.26 c dins : 0.00 0.00 0 0
346.13/346.26 c vbounds : 0.00 0.00 0 0
346.13/346.26 c undercover : 0.00 0.00 0 0
346.13/346.26 c subnlp : 0.00 0.00 0 0
346.13/346.26 c trysol : 0.00 0.00 0 0
346.13/346.26 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
346.13/346.26 c primal LP : 0.00 1 0 0.00 - 0.00 1
346.13/346.26 c dual LP : 199.50 30541 1287701 42.17 6454.52 0.01 5
346.13/346.26 c lex dual LP : 0.00 0 0 0.00 -
346.13/346.26 c barrier LP : 0.00 0 0 0.00 - 0.00 0
346.13/346.26 c diving/probing LP: 0.00 0 0 0.00 -
346.13/346.26 c strong branching : 94.67 7282 525009 72.10 5545.72
346.13/346.26 c (at root node) : - 10 4701 470.10 -
346.13/346.26 c conflict analysis: 0.00 0 0 0.00 -
346.13/346.26 c B&B Tree :
346.13/346.26 c number of runs : 1
346.13/346.26 c nodes : 23328
346.13/346.26 c nodes (total) : 23328
346.13/346.26 c nodes left : 0
346.13/346.26 c max depth : 80
346.13/346.26 c max depth (total): 80
346.13/346.26 c backtracks : 5646 (24.2%)
346.13/346.26 c delayed cutoffs : 12047
346.13/346.26 c repropagations : 21504 (560700 domain reductions, 5239 cutoffs)
346.13/346.26 c avg switch length: 3.52
346.13/346.26 c switching time : 6.98
346.13/346.26 c Solution :
346.13/346.26 c Solutions found : 0 (0 improvements)
346.13/346.26 c Primal Bound : infeasible
346.13/346.26 c Dual Bound : -
346.13/346.26 c Gap : 0.00 %
346.13/346.26 c Root Dual Bound : +0.00000000000000e+00
346.13/346.26 c Root Iterations : 6786
346.23/346.30 c Time complete: 346.23.
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-3691674-1338029292/watcher-3691674-1338029292 -o /tmp/evaluation-result-3691674-1338029292/solver-3691674-1338029292 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691674-1338029292.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: 1.00 1.00 1.20 3/174 16087
/proc/meminfo: memFree=28840356/32873852 swapFree=6848/6848
[pid=16087] ppid=16085 vsize=12560 CPUtime=0 cores=1,3,5,7
/proc/16087/stat : 16087 (scip-2.1.1.4exp) R 16085 16087 14609 0 -1 4202496 1902 0 0 0 0 0 0 0 20 0 1 0 269054692 12861440 1857 33554432000 4194304 10219143 140735440270016 140733823547784 8844210 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16087/statm: 3173 1860 419 1471 0 1693 0
[startup+0.0693331 s]
/proc/loadavg: 1.00 1.00 1.20 3/174 16087
/proc/meminfo: memFree=28840356/32873852 swapFree=6848/6848
[pid=16087] ppid=16085 vsize=32372 CPUtime=0.05 cores=1,3,5,7
/proc/16087/stat : 16087 (scip-2.1.1.4exp) R 16085 16087 14609 0 -1 4202496 6610 0 0 0 4 1 0 0 20 0 1 0 269054692 33148928 6564 33554432000 4194304 10219143 140735440270016 140733823547784 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16087/statm: 8093 6564 567 1471 0 6613 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 32372
[startup+0.100306 s]
/proc/loadavg: 1.00 1.00 1.20 3/174 16087
/proc/meminfo: memFree=28840356/32873852 swapFree=6848/6848
[pid=16087] ppid=16085 vsize=34048 CPUtime=0.09 cores=1,3,5,7
/proc/16087/stat : 16087 (scip-2.1.1.4exp) R 16085 16087 14609 0 -1 4202496 7285 0 0 0 6 3 0 0 20 0 1 0 269054692 34865152 6982 33554432000 4194304 10219143 140735440270016 140733823547784 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16087/statm: 8512 6982 567 1471 0 7032 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34048
[startup+0.300232 s]
/proc/loadavg: 1.00 1.00 1.20 3/174 16087
/proc/meminfo: memFree=28840356/32873852 swapFree=6848/6848
[pid=16087] ppid=16085 vsize=40052 CPUtime=0.29 cores=1,3,5,7
/proc/16087/stat : 16087 (scip-2.1.1.4exp) R 16085 16087 14609 0 -1 4202496 8840 0 0 0 15 14 0 0 20 0 1 0 269054692 41013248 8537 33554432000 4194304 10219143 140735440270016 140733823547784 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16087/statm: 10013 8537 613 1471 0 8533 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40052
[startup+0.700258 s]
/proc/loadavg: 1.00 1.00 1.20 3/174 16087
/proc/meminfo: memFree=28840356/32873852 swapFree=6848/6848
[pid=16087] ppid=16085 vsize=40052 CPUtime=0.69 cores=1,3,5,7
/proc/16087/stat : 16087 (scip-2.1.1.4exp) R 16085 16087 14609 0 -1 4202496 8840 0 0 0 20 49 0 0 20 0 1 0 269054692 41013248 8537 33554432000 4194304 10219143 140735440270016 140733823547784 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16087/statm: 10013 8537 613 1471 0 8533 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40052
[startup+1.50029 s]
/proc/loadavg: 1.00 1.00 1.20 3/175 16126
/proc/meminfo: memFree=28745120/32873852 swapFree=6848/6848
[pid=16087] ppid=16085 vsize=70948 CPUtime=1.49 cores=1,3,5,7
/proc/16087/stat : 16087 (scip-2.1.1.4exp) R 16085 16087 14609 0 -1 4202496 17477 0 0 0 87 62 0 0 20 0 1 0 269054692 72650752 16291 33554432000 4194304 10219143 140735440270016 140735440264904 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16087/statm: 17737 16291 830 1471 0 16257 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70948
[startup+3.10024 s]
/proc/loadavg: 1.08 1.02 1.21 3/175 16126
/proc/meminfo: memFree=28720684/32873852 swapFree=6848/6848
[pid=16087] ppid=16085 vsize=70948 CPUtime=3.09 cores=1,3,5,7
/proc/16087/stat : 16087 (scip-2.1.1.4exp) R 16085 16087 14609 0 -1 4202496 17485 0 0 0 245 64 0 0 20 0 1 0 269054692 72650752 16299 33554432000 4194304 10219143 140735440270016 140735440263560 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16087/statm: 17737 16299 831 1471 0 16257 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 70948
[startup+6.30028 s]
/proc/loadavg: 1.08 1.02 1.21 3/175 16126
/proc/meminfo: memFree=28643788/32873852 swapFree=6848/6848
[pid=16087] ppid=16085 vsize=70948 CPUtime=6.29 cores=1,3,5,7
/proc/16087/stat : 16087 (scip-2.1.1.4exp) R 16085 16087 14609 0 -1 4202496 17485 0 0 0 562 67 0 0 20 0 1 0 269054692 72650752 16299 33554432000 4194304 10219143 140735440270016 140735440263848 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16087/statm: 17737 16299 831 1471 0 16257 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 70948
[startup+12.7003 s]
/proc/loadavg: 1.22 1.05 1.22 3/175 16126
/proc/meminfo: memFree=28642024/32873852 swapFree=6848/6848
[pid=16087] ppid=16085 vsize=70948 CPUtime=12.68 cores=1,3,5,7
/proc/16087/stat : 16087 (scip-2.1.1.4exp) R 16085 16087 14609 0 -1 4202496 17491 0 0 0 1196 72 0 0 20 0 1 0 269054692 72650752 16327 33554432000 4194304 10219143 140735440270016 140735440263880 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16087/statm: 17737 16327 833 1471 0 16257 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 70948
[startup+25.5003 s]
/proc/loadavg: 1.34 1.08 1.22 3/175 16126
/proc/meminfo: memFree=28642388/32873852 swapFree=6848/6848
[pid=16087] ppid=16085 vsize=70948 CPUtime=25.48 cores=1,3,5,7
/proc/16087/stat : 16087 (scip-2.1.1.4exp) R 16085 16087 14609 0 -1 4202496 17501 0 0 0 2464 84 0 0 20 0 1 0 269054692 72650752 16409 33554432000 4194304 10219143 140735440270016 140735440263560 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16087/statm: 17737 16409 836 1471 0 16257 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 70948
[startup+51.1003 s]
/proc/loadavg: 1.56 1.15 1.24 3/175 16126
/proc/meminfo: memFree=28640604/32873852 swapFree=6848/6848
[pid=16087] ppid=16085 vsize=70948 CPUtime=51.07 cores=1,3,5,7
/proc/16087/stat : 16087 (scip-2.1.1.4exp) R 16085 16087 14609 0 -1 4202496 17506 0 0 0 4961 146 0 0 20 0 1 0 269054692 72650752 16801 33554432000 4194304 10219143 140735440270016 140735440263272 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16087/statm: 17737 16801 836 1471 0 16257 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 70948
[startup+102.307 s]
/proc/loadavg: 1.82 1.29 1.28 3/175 16126
/proc/meminfo: memFree=28639532/32873852 swapFree=6848/6848
[pid=16087] ppid=16085 vsize=70948 CPUtime=102.27 cores=1,3,5,7
/proc/16087/stat : 16087 (scip-2.1.1.4exp) R 16085 16087 14609 0 -1 4202496 17506 0 0 0 9949 278 0 0 20 0 1 0 269054692 72650752 16801 33554432000 4194304 10219143 140735440270016 140735440267384 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16087/statm: 17737 16801 836 1471 0 16257 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 70948
[startup+162.3 s]
/proc/loadavg: 1.93 1.42 1.33 3/176 16129
/proc/meminfo: memFree=28637880/32873852 swapFree=6848/6848
[pid=16087] ppid=16085 vsize=70948 CPUtime=162.26 cores=1,3,5,7
/proc/16087/stat : 16087 (scip-2.1.1.4exp) R 16085 16087 14609 0 -1 4202496 17506 0 0 0 15814 412 0 0 20 0 1 0 269054692 72650752 16801 33554432000 4194304 10219143 140735440270016 140735440263512 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16087/statm: 17737 16801 836 1471 0 16257 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 70948
[startup+222.3 s]
/proc/loadavg: 2.03 1.54 1.37 3/175 16130
/proc/meminfo: memFree=28636648/32873852 swapFree=6848/6848
[pid=16087] ppid=16085 vsize=72972 CPUtime=222.24 cores=1,3,5,7
/proc/16087/stat : 16087 (scip-2.1.1.4exp) R 16085 16087 14609 0 -1 4202496 17947 0 0 0 21665 559 0 0 20 0 1 0 269054692 74723328 17242 33554432000 4194304 10219143 140735440270016 140735440262952 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16087/statm: 18243 17242 836 1471 0 16763 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 72972
[startup+282.3 s]
/proc/loadavg: 2.01 1.62 1.41 3/175 16130
/proc/meminfo: memFree=28634416/32873852 swapFree=6848/6848
[pid=16087] ppid=16085 vsize=74820 CPUtime=282.24 cores=1,3,5,7
/proc/16087/stat : 16087 (scip-2.1.1.4exp) R 16085 16087 14609 0 -1 4202496 18470 0 0 0 27524 700 0 0 20 0 1 0 269054692 76615680 17765 33554432000 4194304 10219143 140735440270016 140735440265384 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16087/statm: 18705 17765 836 1471 0 17225 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 74820
[startup+342.3 s]
/proc/loadavg: 2.00 1.68 1.44 3/175 16130
/proc/meminfo: memFree=28632924/32873852 swapFree=6848/6848
[pid=16087] ppid=16085 vsize=76356 CPUtime=342.23 cores=1,3,5,7
/proc/16087/stat : 16087 (scip-2.1.1.4exp) R 16085 16087 14609 0 -1 4202496 18850 0 0 0 33403 820 0 0 20 0 1 0 269054692 78188544 18143 33554432000 4194304 10219143 140735440270016 140735440263272 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16087/statm: 19089 18143 836 1471 0 17609 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 76356
Solver just ended. Dumping a history of the last processes samples
[startup+343.9 s]
/proc/loadavg: 2.00 1.68 1.44 3/175 16130
/proc/meminfo: memFree=28632924/32873852 swapFree=6848/6848
[pid=16087] ppid=16085 vsize=76356 CPUtime=343.82 cores=1,3,5,7
/proc/16087/stat : 16087 (scip-2.1.1.4exp) R 16085 16087 14609 0 -1 4202496 18851 0 0 0 33559 823 0 0 20 0 1 0 269054692 78188544 18144 33554432000 4194304 10219143 140735440270016 140735440263320 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16087/statm: 19089 18144 836 1471 0 17609 0
Current children cumulated CPU time (s) 343.82
Current children cumulated vsize (KiB) 76356
[startup+345.5 s]
/proc/loadavg: 2.00 1.68 1.44 3/175 16130
/proc/meminfo: memFree=28632924/32873852 swapFree=6848/6848
[pid=16087] ppid=16085 vsize=76356 CPUtime=345.43 cores=1,3,5,7
/proc/16087/stat : 16087 (scip-2.1.1.4exp) R 16085 16087 14609 0 -1 4202496 18851 0 0 0 33716 827 0 0 20 0 1 0 269054692 78188544 18144 33554432000 4194304 10219143 140735440270016 140735440263848 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16087/statm: 19089 18144 836 1471 0 17609 0
Current children cumulated CPU time (s) 345.43
Current children cumulated vsize (KiB) 76356
[startup+345.9 s]
/proc/loadavg: 2.00 1.68 1.44 3/175 16130
/proc/meminfo: memFree=28632924/32873852 swapFree=6848/6848
[pid=16087] ppid=16085 vsize=76356 CPUtime=345.83 cores=1,3,5,7
/proc/16087/stat : 16087 (scip-2.1.1.4exp) R 16085 16087 14609 0 -1 4202496 18852 0 0 0 33756 827 0 0 20 0 1 0 269054692 78188544 18145 33554432000 4194304 10219143 140735440270016 140735440263848 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16087/statm: 19089 18145 836 1471 0 17609 0
Current children cumulated CPU time (s) 345.83
Current children cumulated vsize (KiB) 76356
[startup+346.3 s]
/proc/loadavg: 2.00 1.68 1.44 3/175 16130
/proc/meminfo: memFree=28632924/32873852 swapFree=6848/6848
[pid=16087] ppid=16085 vsize=68168 CPUtime=346.23 cores=1,3,5,7
/proc/16087/stat : 16087 (scip-2.1.1.4exp) R 16085 16087 14609 0 -1 4202496 18855 0 0 0 33795 828 0 0 20 0 1 0 269054692 69804032 16222 33554432000 4194304 10219143 140735440270016 140735440263848 9036791 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16087/statm: 17042 16222 839 1471 0 15562 0
Current children cumulated CPU time (s) 346.23
Current children cumulated vsize (KiB) 68168
Child status: 0
Real time (s): 346.306
CPU time (s): 346.241
CPU user time (s): 337.955
CPU system time (s): 8.28674
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 76356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 337.955
system time used= 8.28674
maximum resident set size= 72592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18857
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= 17
involuntary context switches= 355
runsolver used 0.690894 second user time and 1.68874 second system time
The end