0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3451122-1307638136.opb>
0.00/0.01 c original problem has 370 variables (370 bin, 0 int, 0 impl, 0 cont) and 557 constraints
0.00/0.01 c problem read
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 557 upgd conss, 402 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, 557 upgd conss, 12226 impls, 0 clqs
0.00/0.03 c (round 3) 8 del vars, 8 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 557 upgd conss, 12226 impls, 0 clqs
0.00/0.03 c (round 4) 8 del vars, 12 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 557 upgd conss, 12226 impls, 0 clqs
0.00/0.03 c presolving (5 rounds):
0.00/0.03 c 8 deleted vars, 12 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 12226 implications, 0 cliques
0.00/0.03 c presolved problem has 362 variables (362 bin, 0 int, 0 impl, 0 cont) and 545 constraints
0.00/0.03 c 244 constraints of type <knapsack>
0.00/0.03 c 181 constraints of type <setppc>
0.00/0.03 c 120 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.0.1.5
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c limits/solutions = 1
0.00/0.03 c
0.00/0.03 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.03 c separating/maxrounds = 1
0.00/0.03 c
0.00/0.03 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/maxroundsroot = 5
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = TRUE
0.00/0.03 c
0.00/0.03 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.03 c constraints/knapsack/disaggregation = FALSE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c presolving/probing/maxrounds = 0
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/coefdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.03 c heuristics/crossover/freq = -1
0.00/0.03 c
0.00/0.03 c # number of nodes added to the contingent of the total nodes
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.03 c heuristics/crossover/nodesofs = 750
0.00/0.03 c
0.00/0.03 c # number of nodes without incumbent change that heuristic should wait
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.03 c heuristics/crossover/nwaitingnodes = 100
0.00/0.03 c
0.00/0.03 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.03 c # [type: real, range: [0,1], default: 0.1]
0.00/0.03 c heuristics/crossover/nodesquot = 0.15
0.00/0.03 c
0.00/0.03 c # minimum percentage of integer variables that have to be fixed
0.00/0.03 c # [type: real, range: [0,1], default: 0.666]
0.00/0.03 c heuristics/crossover/minfixingrate = 0.5
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/feaspump/freq = -1
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/fracdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/guideddiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/intshifting/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/linesearchdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/objpscostdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.03 c # [type: real, range: [0,1], default: 0.01]
0.00/0.03 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/oneopt/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/pscostdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/rens/freq = -1
0.00/0.03 c
0.00/0.03 c # minimum percentage of integer variables that have to be fixable
0.00/0.03 c # [type: real, range: [0,1], default: 0.5]
0.00/0.03 c heuristics/rens/minfixingrate = 0.3
0.00/0.03 c
0.00/0.03 c # number of nodes added to the contingent of the total nodes
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.03 c heuristics/rens/nodesofs = 2000
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/rootsoldiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.03 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/rounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/shiftandpropagate/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/shifting/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/simplerounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/subnlp/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/trivial/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/trysol/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/undercover/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/veclendiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/zirounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c separating/cmir/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c separating/flowcover/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.04 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.04 c 0.0s| 1 | 0 | 166 | - |2360k| 0 | 86 | 362 | 545 | 362 | 545 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.13 c 0.1s| 1 | 0 | 672 | - |2994k| 0 | 152 | 362 | 545 | 362 | 804 | 259 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.26 c 0.3s| 1 | 0 | 1038 | - |4654k| 0 | 189 | 362 | 545 | 362 |1045 | 500 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.43 c 0.4s| 1 | 0 | 1185 | - |7368k| 0 | 196 | 362 | 545 | 362 |1123 | 578 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.56 c 0.6s| 1 | 0 | 1219 | - |9781k| 0 | 199 | 362 | 545 | 362 |1143 | 598 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.69 c 0.7s| 1 | 0 | 1270 | - | 11M| 0 | 200 | 362 | 545 | 362 |1146 | 601 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.04 c 1.0s| 1 | 2 | 1270 | - | 11M| 0 | 200 | 362 | 545 | 362 |1146 | 601 | 0 | 10 | 0.000000e+00 | -- | Inf
10.79/10.82 c 10.8s| 10000 | 91 | 81852 | 8.1 | 12M| 37 | - | 362 | 866 | 362 | 683 | 601 | 475 |2265 | 0.000000e+00 | -- | Inf
17.39/17.40 c 17.4s| 20000 | 105 |167211 | 8.3 | 12M| 37 | 40 | 362 | 974 | 362 | 683 | 601 |1011 |2322 | 0.000000e+00 | -- | Inf
24.49/24.58 c 24.6s| 30000 | 111 |253593 | 8.4 | 12M| 37 | 34 | 362 |1129 | 362 | 683 | 601 |1510 |2705 | 0.000000e+00 | -- | Inf
31.09/31.16 c 31.2s| 40000 | 112 |327579 | 8.2 | 12M| 37 | 29 | 362 |1332 | 362 | 683 | 601 |1990 |3242 | 0.000000e+00 | -- | Inf
37.49/37.58 c 37.6s| 50000 | 121 |402027 | 8.0 | 12M| 40 | 19 | 362 |1637 | 362 | 683 | 601 |2593 |3651 | 0.000000e+00 | -- | Inf
44.19/44.29 c 44.3s| 60000 | 121 |480137 | 8.0 | 12M| 40 | 25 | 362 |1730 | 362 | 683 | 601 |3093 |4077 | 0.000000e+00 | -- | Inf
51.09/51.11 c 51.1s| 70000 | 127 |559252 | 8.0 | 12M| 40 | 23 | 362 |1659 | 362 | 683 | 601 |3603 |4486 | 0.000000e+00 | -- | Inf
58.50/58.54 c 58.5s| 80000 | 125 |645823 | 8.1 | 12M| 41 | - | 362 |1491 | 362 | 683 | 601 |4097 |5004 | 0.000000e+00 | -- | Inf
66.00/66.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.00/66.03 c 66.0s| 90000 | 138 |740015 | 8.2 | 12M| 41 | 38 | 362 |1543 | 362 | 683 | 601 |4524 |5286 | 0.000000e+00 | -- | Inf
73.80/73.88 c 73.9s|100000 | 178 |829332 | 8.3 | 13M| 44 | - | 362 |1580 | 0 | 0 | 601 |5003 |5961 | 0.000000e+00 | -- | Inf
81.20/81.25 c 81.2s|110000 | 168 |922232 | 8.4 | 13M| 44 | - | 362 |1656 | 362 | 683 | 601 |5374 |6208 | 0.000000e+00 | -- | Inf
88.10/88.12 c 88.1s|120000 | 158 | 1006k| 8.4 | 13M| 44 | - | 362 |1808 | 362 | 683 | 601 |5823 |6502 | 0.000000e+00 | -- | Inf
94.29/94.34 c 94.3s|130000 | 170 | 1083k| 8.3 | 13M| 49 | 30 | 362 |1978 | 362 | 683 | 601 |6349 |6642 | 0.000000e+00 | -- | Inf
101.09/101.12 c 101s|140000 | 155 | 1164k| 8.3 | 13M| 49 | 28 | 362 |1849 | 362 | 683 | 601 |6856 |6990 | 0.000000e+00 | -- | Inf
107.99/108.05 c 108s|150000 | 161 | 1250k| 8.3 | 13M| 49 | - | 362 |2033 | 0 | 0 | 601 |7299 |7205 | 0.000000e+00 | -- | Inf
115.00/115.03 c 115s|160000 | 152 | 1337k| 8.4 | 13M| 52 | 39 | 362 |2171 | 362 | 683 | 601 |7721 |7354 | 0.000000e+00 | -- | Inf
122.40/122.40 c 122s|170000 | 147 | 1426k| 8.4 | 13M| 52 | 41 | 362 |2022 | 362 | 683 | 601 |8175 |7721 | 0.000000e+00 | -- | Inf
129.49/129.56 c 130s|180000 | 153 | 1515k| 8.4 | 13M| 52 | 36 | 362 |1971 | 362 | 683 | 601 |8688 |7942 | 0.000000e+00 | -- | Inf
136.40/136.43 c 136s|190000 | 169 | 1602k| 8.4 | 13M| 52 | 22 | 362 |2121 | 362 | 683 | 601 |9122 |8088 | 0.000000e+00 | -- | Inf
142.70/142.73 c 143s|200000 | 162 | 1678k| 8.4 | 13M| 52 | 26 | 362 |2308 | 362 | 683 | 601 |9696 |8232 | 0.000000e+00 | -- | Inf
149.60/149.70 c 150s|210000 | 166 | 1764k| 8.4 | 13M| 52 | 22 | 362 |2406 | 362 | 683 | 601 | 10k|8462 | 0.000000e+00 | -- | Inf
156.20/156.24 c 156s|220000 | 156 | 1845k| 8.4 | 13M| 52 | 55 | 362 |2555 | 362 | 683 | 601 | 10k|8565 | 0.000000e+00 | -- | Inf
163.69/163.77 c 164s|230000 | 163 | 1938k| 8.4 | 13M| 53 | - | 362 |2345 | 0 | 0 | 601 | 11k|8844 | 0.000000e+00 | -- | Inf
170.69/170.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.69/170.77 c 171s|240000 | 164 | 2027k| 8.4 | 13M| 53 | - | 362 |2330 | 0 | 0 | 601 | 11k|8973 | 0.000000e+00 | -- | Inf
177.80/177.82 c 178s|250000 | 165 | 2112k| 8.4 | 13M| 53 | 16 | 362 |2124 | 362 | 683 | 601 | 11k|9272 | 0.000000e+00 | -- | Inf
184.30/184.33 c 184s|260000 | 185 | 2195k| 8.4 | 13M| 53 | - | 362 |2320 | 362 | 683 | 601 | 12k|9396 | 0.000000e+00 | -- | Inf
191.50/191.56 c 192s|270000 | 173 | 2282k| 8.5 | 13M| 53 | - | 362 |2174 | 0 | 0 | 601 | 12k|9749 | 0.000000e+00 | -- | Inf
198.99/199.08 c 199s|280000 | 185 | 2378k| 8.5 | 13M| 53 | 38 | 362 |2259 | 362 | 683 | 601 | 13k|9906 | 0.000000e+00 | -- | Inf
206.30/206.32 c 206s|290000 | 205 | 2470k| 8.5 | 13M| 53 | 27 | 362 |2198 | 362 | 683 | 601 | 13k| 10k| 0.000000e+00 | -- | Inf
213.60/213.68 c 214s|300000 | 194 | 2561k| 8.5 | 13M| 53 | - | 362 |2057 | 0 | 0 | 601 | 13k| 10k| 0.000000e+00 | -- | Inf
220.50/220.50 c 221s|310000 | 184 | 2647k| 8.5 | 13M| 53 | - | 362 |2052 | 362 | 683 | 601 | 14k| 10k| 0.000000e+00 | -- | Inf
227.49/227.51 c 228s|320000 | 183 | 2735k| 8.5 | 13M| 53 | 22 | 362 |2071 | 362 | 683 | 601 | 14k| 10k| 0.000000e+00 | -- | Inf
234.79/234.90 c 235s|330000 | 177 | 2826k| 8.6 | 13M| 53 | - | 362 |2012 | 0 | 0 | 601 | 15k| 10k| 0.000000e+00 | -- | Inf
241.50/241.60 c 242s|340000 | 168 | 2913k| 8.6 | 13M| 53 | - | 362 |2184 | 0 | 0 | 601 | 15k| 10k| 0.000000e+00 | -- | Inf
248.80/248.89 c 249s|350000 | 197 | 3005k| 8.6 | 13M| 53 | - | 362 |2358 | 0 | 0 | 601 | 16k| 11k| 0.000000e+00 | -- | Inf
256.20/256.28 c 256s|360000 | 186 | 3101k| 8.6 | 13M| 53 | - | 362 |2399 | 362 | 683 | 601 | 16k| 11k| 0.000000e+00 | -- | Inf
263.80/263.87 c 264s|370000 | 162 | 3197k| 8.6 | 13M| 53 | - | 362 |2349 | 0 | 0 | 601 | 16k| 11k| 0.000000e+00 | -- | Inf
271.30/271.36 c 271s|380000 | 161 | 3289k| 8.7 | 13M| 53 | - | 362 |2137 | 0 | 0 | 601 | 17k| 11k| 0.000000e+00 | -- | Inf
278.10/278.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
278.10/278.11 c 278s|390000 | 148 | 3374k| 8.7 | 13M| 53 | 26 | 362 |2036 | 362 | 683 | 601 | 17k| 11k| 0.000000e+00 | -- | Inf
285.00/285.08 c 285s|400000 | 156 | 3463k| 8.7 | 13M| 54 | - | 362 |2216 | 0 | 0 | 601 | 18k| 11k| 0.000000e+00 | -- | Inf
292.90/292.90 c 293s|410000 | 194 | 3560k| 8.7 | 13M| 54 | - | 362 |2172 | 0 | 0 | 601 | 18k| 12k| 0.000000e+00 | -- | Inf
299.50/299.51 c 300s|420000 | 197 | 3644k| 8.7 | 13M| 54 | - | 362 |2247 | 0 | 0 | 601 | 18k| 12k| 0.000000e+00 | -- | Inf
306.20/306.21 c 306s|430000 | 199 | 3729k| 8.7 | 13M| 54 | 34 | 362 |2228 | 362 | 683 | 601 | 19k| 12k| 0.000000e+00 | -- | Inf
313.20/313.24 c 313s|440000 | 196 | 3819k| 8.7 | 13M| 54 | - | 362 |2243 | 0 | 0 | 601 | 19k| 12k| 0.000000e+00 | -- | Inf
320.21/320.28 c 320s|450000 | 198 | 3911k| 8.7 | 13M| 54 | 48 | 362 |2316 | 362 | 683 | 601 | 20k| 12k| 0.000000e+00 | -- | Inf
327.30/327.36 c 327s|460000 | 178 | 4003k| 8.7 | 13M| 54 | 47 | 362 |2300 | 362 | 683 | 601 | 20k| 12k| 0.000000e+00 | -- | Inf
334.70/334.78 c 335s|470000 | 175 | 4095k| 8.7 | 13M| 54 | 38 | 362 |2285 | 362 | 683 | 601 | 20k| 12k| 0.000000e+00 | -- | Inf
341.50/341.50 c 342s|480000 | 174 | 4175k| 8.7 | 13M| 54 | - | 362 |2360 | 0 | 0 | 601 | 21k| 13k| 0.000000e+00 | -- | Inf
347.90/347.95 c 348s|490000 | 173 | 4255k| 8.7 | 13M| 54 | 30 | 362 |2412 | 362 | 683 | 601 | 21k| 13k| 0.000000e+00 | -- | Inf
354.61/354.64 c 355s|500000 | 170 | 4338k| 8.7 | 13M| 54 | - | 362 |2443 | 362 | 683 | 601 | 22k| 13k| 0.000000e+00 | -- | Inf
361.61/361.69 c 362s|510000 | 181 | 4425k| 8.7 | 13M| 54 | - | 362 |2400 | 362 | 683 | 601 | 22k| 13k| 0.000000e+00 | -- | Inf
369.30/369.34 c 369s|520000 | 186 | 4524k| 8.7 | 13M| 54 | - | 362 |2423 | 0 | 0 | 601 | 23k| 13k| 0.000000e+00 | -- | Inf
376.40/376.41 c 376s|530000 | 199 | 4613k| 8.7 | 13M| 54 | - | 362 |2760 | 0 | 0 | 601 | 23k| 13k| 0.000000e+00 | -- | Inf
383.51/383.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
383.51/383.58 c 384s|540000 | 207 | 4703k| 8.7 | 13M| 54 | 32 | 362 |3026 | 362 | 683 | 601 | 24k| 13k| 0.000000e+00 | -- | Inf
391.90/391.92 c 392s|550000 | 204 | 4811k| 8.7 | 14M| 54 | - | 362 |3059 | 362 | 683 | 601 | 24k| 13k| 0.000000e+00 | -- | Inf
399.80/399.83 c 400s|560000 | 178 | 4908k| 8.8 | 13M| 56 | 29 | 362 |2473 | 362 | 683 | 601 | 25k| 14k| 0.000000e+00 | -- | Inf
406.31/406.38 c 406s|570000 | 178 | 4990k| 8.8 | 13M| 56 | - | 362 |2449 | 362 | 683 | 601 | 25k| 14k| 0.000000e+00 | -- | Inf
413.11/413.11 c 413s|580000 | 173 | 5076k| 8.8 | 13M| 56 | - | 362 |2617 | 0 | 0 | 601 | 26k| 14k| 0.000000e+00 | -- | Inf
420.60/420.67 c 421s|590000 | 177 | 5173k| 8.8 | 13M| 56 | - | 362 |2616 | 0 | 0 | 601 | 26k| 14k| 0.000000e+00 | -- | Inf
428.31/428.37 c 428s|600000 | 180 | 5275k| 8.8 | 13M| 56 | 40 | 362 |2699 | 362 | 683 | 601 | 27k| 14k| 0.000000e+00 | -- | Inf
436.00/436.08 c 436s|610000 | 173 | 5374k| 8.8 | 13M| 56 | 19 | 362 |2505 | 362 | 683 | 601 | 27k| 14k| 0.000000e+00 | -- | Inf
442.40/442.41 c 442s|620000 | 179 | 5454k| 8.8 | 13M| 56 | - | 362 |2745 | 0 | 0 | 601 | 27k| 14k| 0.000000e+00 | -- | Inf
449.10/449.17 c 449s|630000 | 177 | 5538k| 8.8 | 13M| 56 | 41 | 362 |2849 | 362 | 683 | 601 | 28k| 14k| 0.000000e+00 | -- | Inf
455.71/455.70 c 456s|640000 | 202 | 5617k| 8.8 | 13M| 56 | 30 | 362 |2825 | 362 | 683 | 601 | 28k| 14k| 0.000000e+00 | -- | Inf
462.11/462.13 c 462s|650000 | 201 | 5697k| 8.8 | 14M| 56 | - | 362 |2919 | 0 | 0 | 601 | 29k| 15k| 0.000000e+00 | -- | Inf
468.61/468.69 c 469s|660000 | 198 | 5778k| 8.8 | 14M| 56 | 25 | 362 |2985 | 362 | 683 | 601 | 29k| 15k| 0.000000e+00 | -- | Inf
474.81/474.89 c 475s|670000 | 204 | 5853k| 8.7 | 14M| 56 | 32 | 362 |2972 | 362 | 683 | 601 | 30k| 15k| 0.000000e+00 | -- | Inf
480.71/480.73 c 481s|680000 | 198 | 5922k| 8.7 | 14M| 56 | - | 362 |3242 | 0 | 0 | 601 | 30k| 15k| 0.000000e+00 | -- | Inf
487.31/487.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
487.31/487.37 c 487s|690000 | 180 | 6005k| 8.7 | 14M| 56 | 26 | 362 |3011 | 362 | 683 | 601 | 31k| 15k| 0.000000e+00 | -- | Inf
493.70/493.74 c 494s|700000 | 188 | 6080k| 8.7 | 13M| 56 | 33 | 362 |2853 | 362 | 683 | 601 | 31k| 15k| 0.000000e+00 | -- | Inf
499.91/499.99 c 500s|710000 | 187 | 6157k| 8.7 | 14M| 56 | 30 | 362 |3153 | 362 | 683 | 601 | 32k| 15k| 0.000000e+00 | -- | Inf
506.20/506.25 c 506s|720000 | 177 | 6233k| 8.7 | 14M| 56 | - | 362 |3230 | 362 | 683 | 601 | 33k| 15k| 0.000000e+00 | -- | Inf
513.51/513.58 c 514s|730000 | 183 | 6324k| 8.7 | 14M| 56 | 28 | 362 |3133 | 362 | 683 | 601 | 33k| 15k| 0.000000e+00 | -- | Inf
521.21/521.23 c 521s|740000 | 177 | 6420k| 8.7 | 13M| 56 | 45 | 362 |2844 | 362 | 683 | 601 | 33k| 15k| 0.000000e+00 | -- | Inf
527.61/527.65 c 528s|750000 | 179 | 6500k| 8.7 | 14M| 56 | - | 362 |3055 | 0 | 0 | 601 | 34k| 15k| 0.000000e+00 | -- | Inf
533.61/533.69 c 534s|760000 | 181 | 6572k| 8.6 | 14M| 56 | 33 | 362 |3289 | 362 | 683 | 601 | 34k| 16k| 0.000000e+00 | -- | Inf
539.40/539.46 c 539s|770000 | 188 | 6641k| 8.6 | 14M| 56 | 15 | 362 |3384 | 362 | 683 | 601 | 35k| 16k| 0.000000e+00 | -- | Inf
545.51/545.59 c 546s|780000 | 184 | 6715k| 8.6 | 14M| 56 | - | 362 |3424 | 0 | 0 | 601 | 36k| 16k| 0.000000e+00 | -- | Inf
551.81/551.84 c 552s|790000 | 194 | 6792k| 8.6 | 14M| 56 | 31 | 362 |3562 | 362 | 683 | 601 | 36k| 16k| 0.000000e+00 | -- | Inf
558.21/558.26 c 558s|800000 | 185 | 6871k| 8.6 | 14M| 56 | 20 | 362 |3759 | 362 | 683 | 601 | 37k| 16k| 0.000000e+00 | -- | Inf
564.91/564.92 c 565s|810000 | 189 | 6953k| 8.6 | 14M| 56 | 37 | 362 |3633 | 362 | 683 | 601 | 37k| 16k| 0.000000e+00 | -- | Inf
572.41/572.46 c 572s|820000 | 169 | 7044k| 8.6 | 14M| 56 | 26 | 362 |3119 | 362 | 683 | 601 | 37k| 16k| 0.000000e+00 | -- | Inf
579.21/579.29 c 579s|830000 | 179 | 7128k| 8.6 | 14M| 56 | - | 362 |3032 | 0 | 0 | 601 | 38k| 16k| 0.000000e+00 | -- | Inf
586.11/586.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
586.11/586.18 c 586s|840000 | 174 | 7216k| 8.6 | 14M| 56 | 29 | 362 |3087 | 362 | 683 | 601 | 38k| 16k| 0.000000e+00 | -- | Inf
592.81/592.86 c 593s|850000 | 173 | 7299k| 8.6 | 14M| 56 | 31 | 362 |3157 | 362 | 683 | 601 | 39k| 16k| 0.000000e+00 | -- | Inf
600.11/600.17 c 600s|860000 | 170 | 7393k| 8.6 | 14M| 56 | 23 | 362 |3006 | 362 | 683 | 601 | 39k| 16k| 0.000000e+00 | -- | Inf
606.81/606.86 c 607s|870000 | 168 | 7477k| 8.6 | 14M| 56 | 30 | 362 |3023 | 362 | 683 | 601 | 40k| 17k| 0.000000e+00 | -- | Inf
613.92/613.91 c 614s|880000 | 187 | 7567k| 8.6 | 14M| 56 | - | 362 |3069 | 0 | 0 | 601 | 40k| 17k| 0.000000e+00 | -- | Inf
621.31/621.31 c 621s|890000 | 220 | 7663k| 8.6 | 14M| 60 | 35 | 362 |3144 | 362 | 683 | 601 | 40k| 17k| 0.000000e+00 | -- | Inf
628.91/628.93 c 629s|900000 | 185 | 7764k| 8.6 | 14M| 62 | - | 362 |3161 | 0 | 0 | 601 | 41k| 17k| 0.000000e+00 | -- | Inf
635.91/635.92 c 636s|910000 | 194 | 7850k| 8.6 | 14M| 62 | - | 362 |2672 | 0 | 0 | 601 | 41k| 17k| 0.000000e+00 | -- | Inf
642.62/642.61 c 643s|920000 | 186 | 7932k| 8.6 | 14M| 62 | 33 | 362 |2754 | 362 | 683 | 601 | 42k| 17k| 0.000000e+00 | -- | Inf
649.91/649.90 c 650s|930000 | 182 | 8024k| 8.6 | 14M| 62 | 35 | 362 |2819 | 362 | 683 | 601 | 42k| 17k| 0.000000e+00 | -- | Inf
656.61/656.68 c 657s|940000 | 184 | 8108k| 8.6 | 14M| 62 | 31 | 362 |3216 | 362 | 683 | 601 | 43k| 17k| 0.000000e+00 | -- | Inf
663.52/663.52 c 664s|950000 | 192 | 8193k| 8.6 | 14M| 62 | - | 362 |3207 | 362 | 683 | 601 | 44k| 17k| 0.000000e+00 | -- | Inf
671.51/671.56 c 672s|960000 | 211 | 8297k| 8.6 | 14M| 62 | - | 362 |3543 | 0 | 0 | 601 | 44k| 17k| 0.000000e+00 | -- | Inf
679.21/679.24 c 679s|970000 | 190 | 8394k| 8.7 | 14M| 62 | - | 362 |3374 | 0 | 0 | 601 | 45k| 17k| 0.000000e+00 | -- | Inf
686.42/686.41 c 686s|980000 | 180 | 8482k| 8.7 | 14M| 62 | 18 | 362 |2988 | 362 | 683 | 601 | 45k| 17k| 0.000000e+00 | -- | Inf
693.42/693.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.42/693.44 c 693s|990000 | 180 | 8571k| 8.7 | 14M| 62 | 30 | 362 |2764 | 362 | 683 | 601 | 46k| 18k| 0.000000e+00 | -- | Inf
700.01/700.01 c 700s| 1000k| 180 | 8651k| 8.7 | 14M| 62 | - | 362 |2691 | 0 | 0 | 601 | 46k| 18k| 0.000000e+00 | -- | Inf
705.62/705.66 c 706s| 1010k| 194 | 8719k| 8.6 | 14M| 62 | 33 | 362 |2883 | 362 | 683 | 601 | 47k| 18k| 0.000000e+00 | -- | Inf
711.42/711.45 c 711s| 1020k| 184 | 8787k| 8.6 | 14M| 62 | 38 | 362 |2947 | 362 | 683 | 601 | 48k| 18k| 0.000000e+00 | -- | Inf
717.71/717.79 c 718s| 1030k| 186 | 8866k| 8.6 | 14M| 62 | 21 | 362 |2740 | 362 | 683 | 601 | 48k| 18k| 0.000000e+00 | -- | Inf
724.01/724.06 c 724s| 1040k| 191 | 8943k| 8.6 | 14M| 62 | - | 362 |3012 | 0 | 0 | 601 | 49k| 18k| 0.000000e+00 | -- | Inf
730.52/730.53 c 731s| 1050k| 188 | 9023k| 8.6 | 14M| 62 | - | 362 |2951 | 0 | 0 | 601 | 49k| 18k| 0.000000e+00 | -- | Inf
736.72/736.72 c 737s| 1060k| 188 | 9100k| 8.6 | 14M| 62 | - | 362 |3225 | 0 | 0 | 601 | 50k| 18k| 0.000000e+00 | -- | Inf
743.12/743.16 c 743s| 1070k| 183 | 9179k| 8.6 | 14M| 62 | 46 | 362 |3102 | 362 | 683 | 601 | 50k| 18k| 0.000000e+00 | -- | Inf
749.62/749.68 c 750s| 1080k| 183 | 9261k| 8.6 | 14M| 62 | - | 362 |3028 | 0 | 0 | 601 | 51k| 18k| 0.000000e+00 | -- | Inf
756.92/756.92 c 757s| 1090k| 185 | 9351k| 8.6 | 14M| 62 | - | 362 |3057 | 0 | 0 | 601 | 51k| 18k| 0.000000e+00 | -- | Inf
763.42/763.40 c 763s| 1100k| 190 | 9432k| 8.6 | 14M| 62 | - | 362 |3066 | 0 | 0 | 601 | 52k| 18k| 0.000000e+00 | -- | Inf
769.42/769.47 c 769s| 1110k| 175 | 9504k| 8.6 | 14M| 62 | - | 362 |3225 | 0 | 0 | 601 | 52k| 18k| 0.000000e+00 | -- | Inf
775.52/775.57 c 776s| 1120k| 177 | 9577k| 8.6 | 14M| 62 | - | 362 |3141 | 0 | 0 | 601 | 53k| 19k| 0.000000e+00 | -- | Inf
782.41/782.46 c 782s| 1130k| 185 | 9665k| 8.6 | 14M| 62 | 31 | 362 |3338 | 362 | 683 | 601 | 53k| 19k| 0.000000e+00 | -- | Inf
789.82/789.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
789.82/789.83 c 790s| 1140k| 182 | 9757k| 8.6 | 14M| 62 | 33 | 362 |3318 | 362 | 683 | 601 | 54k| 19k| 0.000000e+00 | -- | Inf
796.72/796.76 c 797s| 1150k| 186 | 9847k| 8.6 | 14M| 62 | - | 362 |3540 | 362 | 683 | 601 | 54k| 19k| 0.000000e+00 | -- | Inf
803.92/803.92 c 804s| 1160k| 189 | 9940k| 8.6 | 14M| 62 | 35 | 362 |3435 | 362 | 683 | 601 | 55k| 19k| 0.000000e+00 | -- | Inf
810.92/810.98 c 811s| 1170k| 193 | 10031k| 8.6 | 14M| 62 | 30 | 362 |3200 | 362 | 683 | 601 | 55k| 19k| 0.000000e+00 | -- | Inf
819.52/819.50 c 819s| 1180k| 208 | 10124k| 8.6 | 14M| 62 | - | 362 |2939 | 0 | 0 | 601 | 56k| 20k| 0.000000e+00 | -- | Inf
826.12/826.14 c 826s| 1190k| 237 | 10207k| 8.6 | 14M| 62 | 40 | 362 |3302 | 362 | 683 | 601 | 56k| 20k| 0.000000e+00 | -- | Inf
832.52/832.53 c 833s| 1200k| 235 | 10286k| 8.6 | 14M| 62 | - | 362 |3286 | 0 | 0 | 601 | 57k| 20k| 0.000000e+00 | -- | Inf
839.32/839.33 c 839s| 1210k| 218 | 10373k| 8.6 | 14M| 62 | 17 | 362 |3419 | 362 | 683 | 601 | 58k| 20k| 0.000000e+00 | -- | Inf
845.71/845.78 c 846s| 1220k| 227 | 10452k| 8.6 | 14M| 62 | - | 362 |3778 | 0 | 0 | 601 | 58k| 20k| 0.000000e+00 | -- | Inf
852.32/852.39 c 852s| 1230k| 229 | 10535k| 8.6 | 14M| 62 | - | 362 |3954 | 0 | 0 | 601 | 59k| 20k| 0.000000e+00 | -- | Inf
859.32/859.37 c 859s| 1240k| 236 | 10623k| 8.6 | 14M| 62 | - | 362 |4062 | 0 | 0 | 601 | 60k| 20k| 0.000000e+00 | -- | Inf
866.62/866.66 c 867s| 1250k| 234 | 10716k| 8.6 | 14M| 62 | - | 362 |4094 | 362 | 683 | 601 | 61k| 20k| 0.000000e+00 | -- | Inf
873.32/873.32 c 873s| 1260k| 251 | 10797k| 8.6 | 15M| 62 | - | 362 |4194 | 0 | 0 | 601 | 61k| 20k| 0.000000e+00 | -- | Inf
880.02/880.03 c 880s| 1270k| 258 | 10879k| 8.6 | 15M| 62 | 14 | 362 |4183 | 362 | 683 | 601 | 62k| 20k| 0.000000e+00 | -- | Inf
886.92/886.96 c 887s| 1280k| 260 | 10964k| 8.6 | 15M| 62 | - | 362 |4355 | 362 | 683 | 601 | 62k| 20k| 0.000000e+00 | -- | Inf
894.22/894.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
894.22/894.29 c 894s| 1290k| 273 | 11057k| 8.6 | 15M| 62 | - | 362 |4334 | 0 | 0 | 601 | 63k| 20k| 0.000000e+00 | -- | Inf
901.92/901.90 c 902s| 1300k| 282 | 11153k| 8.6 | 15M| 62 | - | 362 |4124 | 362 | 683 | 601 | 64k| 20k| 0.000000e+00 | -- | Inf
908.92/908.99 c 909s| 1310k| 300 | 11242k| 8.6 | 15M| 62 | 37 | 362 |4327 | 362 | 683 | 601 | 64k| 20k| 0.000000e+00 | -- | Inf
916.82/916.84 c 917s| 1320k| 299 | 11344k| 8.6 | 15M| 62 | 37 | 362 |4199 | 362 | 683 | 601 | 64k| 20k| 0.000000e+00 | -- | Inf
923.52/923.50 c 923s| 1330k| 308 | 11424k| 8.6 | 15M| 62 | - | 362 |4277 | 0 | 0 | 601 | 65k| 20k| 0.000000e+00 | -- | Inf
930.42/930.43 c 930s| 1340k| 295 | 11509k| 8.6 | 15M| 62 | - | 362 |4357 | 0 | 0 | 601 | 66k| 21k| 0.000000e+00 | -- | Inf
937.33/937.31 c 937s| 1350k| 311 | 11595k| 8.6 | 15M| 62 | 45 | 362 |4315 | 362 | 683 | 601 | 66k| 21k| 0.000000e+00 | -- | Inf
944.92/944.99 c 945s| 1360k| 308 | 11691k| 8.6 | 15M| 62 | - | 362 |4070 | 0 | 0 | 601 | 67k| 21k| 0.000000e+00 | -- | Inf
952.32/952.31 c 952s| 1370k| 322 | 11785k| 8.6 | 15M| 62 | 42 | 362 |4407 | 362 | 683 | 601 | 67k| 21k| 0.000000e+00 | -- | Inf
959.52/959.59 c 960s| 1380k| 322 | 11876k| 8.6 | 15M| 62 | 44 | 362 |4387 | 362 | 683 | 601 | 68k| 21k| 0.000000e+00 | -- | Inf
966.72/966.75 c 967s| 1390k| 323 | 11966k| 8.6 | 15M| 62 | - | 362 |3912 | 0 | 0 | 601 | 68k| 21k| 0.000000e+00 | -- | Inf
974.13/974.13 c 974s| 1400k| 299 | 12059k| 8.6 | 15M| 62 | - | 362 |3904 | 362 | 683 | 601 | 69k| 21k| 0.000000e+00 | -- | Inf
981.22/981.24 c 981s| 1410k| 318 | 12148k| 8.6 | 15M| 62 | - | 362 |3961 | 0 | 0 | 601 | 70k| 21k| 0.000000e+00 | -- | Inf
988.62/988.63 c 989s| 1420k| 318 | 12240k| 8.6 | 15M| 62 | - | 362 |3939 | 0 | 0 | 601 | 70k| 21k| 0.000000e+00 | -- | Inf
996.02/996.06 c 996s| 1430k| 319 | 12333k| 8.6 | 15M| 62 | - | 362 |4058 | 0 | 0 | 601 | 70k| 21k| 0.000000e+00 | -- | Inf
1003.52/1003.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1003.52/1003.56 c 1004s| 1440k| 313 | 12429k| 8.6 | 15M| 62 | 50 | 362 |3903 | 362 | 683 | 601 | 71k| 21k| 0.000000e+00 | -- | Inf
1011.03/1011.03 c 1011s| 1450k| 311 | 12524k| 8.6 | 15M| 62 | 20 | 362 |3654 | 362 | 683 | 601 | 71k| 21k| 0.000000e+00 | -- | Inf
1018.03/1018.04 c 1018s| 1460k| 312 | 12614k| 8.6 | 15M| 62 | 13 | 362 |3790 | 362 | 683 | 601 | 72k| 21k| 0.000000e+00 | -- | Inf
1024.92/1024.98 c 1025s| 1470k| 313 | 12702k| 8.6 | 15M| 62 | - | 362 |4129 | 362 | 683 | 601 | 73k| 21k| 0.000000e+00 | -- | Inf
1031.93/1031.95 c 1032s| 1480k| 316 | 12791k| 8.6 | 15M| 62 | 38 | 362 |4250 | 362 | 683 | 601 | 73k| 21k| 0.000000e+00 | -- | Inf
1039.13/1039.17 c 1039s| 1490k| 315 | 12881k| 8.6 | 15M| 62 | 50 | 362 |4002 | 362 | 683 | 601 | 74k| 21k| 0.000000e+00 | -- | Inf
1046.92/1046.92 c 1047s| 1500k| 354 | 12982k| 8.7 | 15M| 62 | 38 | 362 |4229 | 362 | 683 | 601 | 75k| 21k| 0.000000e+00 | -- | Inf
1054.73/1054.72 c 1055s| 1510k| 331 | 13083k| 8.7 | 15M| 62 | 26 | 362 |4164 | 362 | 683 | 601 | 75k| 21k| 0.000000e+00 | -- | Inf
1061.72/1061.79 c 1062s| 1520k| 327 | 13169k| 8.7 | 15M| 62 | - | 362 |4197 | 362 | 683 | 601 | 75k| 22k| 0.000000e+00 | -- | Inf
1069.23/1069.29 c 1069s| 1530k| 319 | 13264k| 8.7 | 15M| 62 | - | 362 |4107 | 0 | 0 | 601 | 76k| 22k| 0.000000e+00 | -- | Inf
1076.82/1076.81 c 1077s| 1540k| 318 | 13361k| 8.7 | 15M| 62 | - | 362 |4140 | 0 | 0 | 601 | 76k| 22k| 0.000000e+00 | -- | Inf
1083.83/1083.87 c 1084s| 1550k| 321 | 13448k| 8.7 | 15M| 62 | - | 362 |4342 | 0 | 0 | 601 | 77k| 22k| 0.000000e+00 | -- | Inf
1091.33/1091.35 c 1091s| 1560k| 334 | 13544k| 8.7 | 15M| 62 | 30 | 362 |4245 | 362 | 683 | 601 | 77k| 22k| 0.000000e+00 | -- | Inf
1098.32/1098.38 c 1098s| 1570k| 326 | 13632k| 8.7 | 15M| 62 | - | 362 |4053 | 0 | 0 | 601 | 78k| 22k| 0.000000e+00 | -- | Inf
1105.83/1105.82 c 1106s| 1580k| 319 | 13730k| 8.7 | 15M| 62 | 34 | 362 |3995 | 362 | 683 | 601 | 79k| 22k| 0.000000e+00 | -- | Inf
1113.43/1113.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1113.43/1113.47 c 1113s| 1590k| 317 | 13818k| 8.7 | 15M| 62 | - | 362 |3934 | 362 | 683 | 601 | 79k| 22k| 0.000000e+00 | -- | Inf
1121.13/1121.11 c 1121s| 1600k| 321 | 13914k| 8.7 | 15M| 62 | - | 362 |3678 | 0 | 0 | 601 | 80k| 23k| 0.000000e+00 | -- | Inf
1127.92/1127.94 c 1128s| 1610k| 319 | 14000k| 8.7 | 15M| 62 | - | 362 |4103 | 0 | 0 | 601 | 81k| 23k| 0.000000e+00 | -- | Inf
1135.13/1135.16 c 1135s| 1620k| 320 | 14093k| 8.7 | 15M| 62 | - | 362 |4141 | 362 | 683 | 601 | 81k| 23k| 0.000000e+00 | -- | Inf
1142.03/1142.03 c 1142s| 1630k| 343 | 14182k| 8.7 | 15M| 62 | - | 362 |4354 | 0 | 0 | 601 | 82k| 23k| 0.000000e+00 | -- | Inf
1149.23/1149.29 c 1149s| 1640k| 329 | 14274k| 8.7 | 15M| 62 | 23 | 362 |4389 | 362 | 683 | 601 | 83k| 23k| 0.000000e+00 | -- | Inf
1156.93/1156.95 c 1157s| 1650k| 307 | 14370k| 8.7 | 15M| 62 | 38 | 362 |3899 | 362 | 683 | 601 | 83k| 23k| 0.000000e+00 | -- | Inf
1163.23/1163.28 c 1163s| 1660k| 305 | 14451k| 8.7 | 15M| 62 | 26 | 362 |3886 | 362 | 683 | 601 | 84k| 23k| 0.000000e+00 | -- | Inf
1170.23/1170.23 c 1170s| 1670k| 294 | 14540k| 8.7 | 15M| 62 | 36 | 362 |3560 | 362 | 683 | 601 | 84k| 23k| 0.000000e+00 | -- | Inf
1177.53/1177.51 c 1178s| 1680k| 289 | 14631k| 8.7 | 15M| 65 | 39 | 362 |3454 | 362 | 683 | 601 | 85k| 23k| 0.000000e+00 | -- | Inf
1185.53/1185.50 c 1186s| 1690k| 295 | 14732k| 8.7 | 15M| 65 | 31 | 362 |3459 | 362 | 683 | 601 | 85k| 23k| 0.000000e+00 | -- | Inf
1192.33/1192.38 c 1192s| 1700k| 294 | 14820k| 8.7 | 15M| 65 | 27 | 362 |3265 | 362 | 683 | 601 | 86k| 23k| 0.000000e+00 | -- | Inf
1199.63/1199.64 c 1200s| 1710k| 294 | 14914k| 8.7 | 15M| 65 | 43 | 362 |3262 | 362 | 683 | 601 | 86k| 23k| 0.000000e+00 | -- | Inf
1207.73/1207.78 c 1208s| 1720k| 297 | 15024k| 8.7 | 15M| 65 | - | 362 |3282 | 362 | 683 | 601 | 86k| 23k| 0.000000e+00 | -- | Inf
1214.93/1214.95 c 1215s| 1730k| 291 | 15118k| 8.7 | 15M| 65 | 26 | 362 |3428 | 362 | 683 | 601 | 87k| 23k| 0.000000e+00 | -- | Inf
1221.14/1221.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1221.14/1221.16 c 1221s| 1740k| 290 | 15194k| 8.7 | 15M| 65 | 34 | 362 |3581 | 362 | 683 | 601 | 88k| 23k| 0.000000e+00 | -- | Inf
1227.74/1227.76 c 1228s| 1750k| 282 | 15277k| 8.7 | 15M| 65 | - | 362 |3617 | 0 | 0 | 601 | 88k| 24k| 0.000000e+00 | -- | Inf
1235.73/1235.71 c 1236s| 1760k| 275 | 15374k| 8.7 | 15M| 65 | - | 362 |3231 | 0 | 0 | 601 | 89k| 24k| 0.000000e+00 | -- | Inf
1243.33/1243.33 c 1243s| 1770k| 252 | 15467k| 8.7 | 14M| 65 | - | 362 |2821 | 0 | 0 | 601 | 89k| 24k| 0.000000e+00 | -- | Inf
1250.23/1250.28 c 1250s| 1780k| 256 | 15558k| 8.7 | 14M| 65 | - | 362 |2991 | 0 | 0 | 601 | 90k| 24k| 0.000000e+00 | -- | Inf
1257.03/1257.08 c 1257s| 1790k| 259 | 15647k| 8.7 | 14M| 65 | - | 362 |3147 | 362 | 683 | 601 | 91k| 24k| 0.000000e+00 | -- | Inf
1263.73/1263.74 c 1264s| 1800k| 286 | 15732k| 8.7 | 15M| 65 | - | 362 |3448 | 0 | 0 | 601 | 91k| 24k| 0.000000e+00 | -- | Inf
1270.43/1270.47 c 1270s| 1810k| 302 | 15818k| 8.7 | 15M| 65 | 34 | 362 |3617 | 362 | 683 | 601 | 92k| 24k| 0.000000e+00 | -- | Inf
1277.73/1277.70 c 1278s| 1820k| 306 | 15912k| 8.7 | 15M| 65 | - | 362 |3718 | 0 | 0 | 601 | 92k| 24k| 0.000000e+00 | -- | Inf
1285.24/1285.28 c 1285s| 1830k| 278 | 16011k| 8.7 | 15M| 65 | - | 362 |3589 | 0 | 0 | 601 | 93k| 24k| 0.000000e+00 | -- | Inf
1292.73/1292.76 c 1293s| 1840k| 248 | 16106k| 8.8 | 14M| 65 | 39 | 362 |3052 | 362 | 683 | 601 | 93k| 24k| 0.000000e+00 | -- | Inf
1300.13/1300.12 c 1300s| 1850k| 246 | 16201k| 8.8 | 14M| 65 | - | 362 |3075 | 0 | 0 | 601 | 94k| 24k| 0.000000e+00 | -- | Inf
1307.23/1307.29 c 1307s| 1860k| 246 | 16294k| 8.8 | 14M| 65 | 25 | 362 |3314 | 362 | 683 | 601 | 95k| 24k| 0.000000e+00 | -- | Inf
1314.23/1314.28 c 1314s| 1870k| 249 | 16384k| 8.8 | 14M| 65 | 38 | 362 |3420 | 362 | 683 | 601 | 95k| 25k| 0.000000e+00 | -- | Inf
1321.73/1321.71 c 1322s| 1880k| 251 | 16480k| 8.8 | 15M| 65 | - | 362 |3525 | 362 | 683 | 601 | 96k| 25k| 0.000000e+00 | -- | Inf
1330.53/1330.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1330.53/1330.51 c 1331s| 1890k| 255 | 16577k| 8.8 | 15M| 65 | 32 | 362 |3492 | 362 | 683 | 601 | 96k| 25k| 0.000000e+00 | -- | Inf
1337.34/1337.39 c 1337s| 1900k| 264 | 16664k| 8.8 | 15M| 65 | 22 | 362 |3742 | 362 | 683 | 601 | 97k| 25k| 0.000000e+00 | -- | Inf
1344.14/1344.16 c 1344s| 1910k| 271 | 16749k| 8.8 | 15M| 65 | 47 | 362 |3928 | 362 | 683 | 601 | 97k| 25k| 0.000000e+00 | -- | Inf
1351.13/1351.13 c 1351s| 1920k| 267 | 16837k| 8.8 | 15M| 65 | - | 362 |3987 | 362 | 683 | 601 | 97k| 25k| 0.000000e+00 | -- | Inf
1358.04/1358.04 c 1358s| 1930k| 287 | 16924k| 8.8 | 15M| 65 | 41 | 362 |4150 | 362 | 683 | 601 | 98k| 25k| 0.000000e+00 | -- | Inf
1365.23/1365.28 c 1365s| 1940k| 258 | 17016k| 8.8 | 15M| 65 | 52 | 362 |3856 | 362 | 683 | 601 | 98k| 25k| 0.000000e+00 | -- | Inf
1371.93/1371.92 c 1372s| 1950k| 257 | 17099k| 8.8 | 14M| 65 | 26 | 362 |3131 | 362 | 683 | 601 | 99k| 25k| 0.000000e+00 | -- | Inf
1378.54/1378.57 c 1379s| 1960k| 252 | 17183k| 8.8 | 14M| 65 | - | 362 |2969 | 0 | 0 | 601 | 99k| 25k| 0.000000e+00 | -- | Inf
1385.53/1385.54 c 1386s| 1970k| 258 | 17272k| 8.8 | 14M| 65 | 30 | 362 |2858 | 362 | 683 | 601 | 99k| 25k| 0.000000e+00 | -- | Inf
1391.94/1391.94 c 1392s| 1980k| 262 | 17352k| 8.8 | 14M| 65 | - | 362 |2808 | 0 | 0 | 601 | 100k| 25k| 0.000000e+00 | -- | Inf
1398.63/1398.68 c 1399s| 1990k| 261 | 17436k| 8.8 | 14M| 65 | 28 | 362 |2856 | 362 | 683 | 601 | 100k| 25k| 0.000000e+00 | -- | Inf
1405.34/1405.32 c 1405s| 2000k| 260 | 17519k| 8.8 | 14M| 65 | 35 | 362 |2884 | 362 | 683 | 601 | 101k| 25k| 0.000000e+00 | -- | Inf
1411.63/1411.66 c 1412s| 2010k| 260 | 17601k| 8.8 | 14M| 65 | - | 362 |3014 | 0 | 0 | 601 | 101k| 25k| 0.000000e+00 | -- | Inf
1418.04/1418.04 c 1418s| 2020k| 260 | 17682k| 8.8 | 14M| 65 | - | 362 |3250 | 0 | 0 | 601 | 102k| 26k| 0.000000e+00 | -- | Inf
1425.24/1425.29 c 1425s| 2030k| 270 | 17779k| 8.8 | 15M| 65 | - | 362 |3213 | 0 | 0 | 601 | 102k| 26k| 0.000000e+00 | -- | Inf
1432.83/1432.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1432.83/1432.86 c 1433s| 2040k| 257 | 17879k| 8.8 | 14M| 65 | - | 362 |3199 | 362 | 683 | 601 | 103k| 26k| 0.000000e+00 | -- | Inf
1439.24/1439.29 c 1439s| 2050k| 260 | 17963k| 8.8 | 15M| 65 | - | 362 |3403 | 0 | 0 | 601 | 103k| 26k| 0.000000e+00 | -- | Inf
1445.93/1445.93 c 1446s| 2060k| 256 | 18048k| 8.8 | 15M| 65 | - | 362 |3417 | 0 | 0 | 601 | 104k| 26k| 0.000000e+00 | -- | Inf
1453.25/1453.23 c 1453s| 2070k| 254 | 18144k| 8.8 | 14M| 65 | 27 | 362 |3041 | 362 | 683 | 601 | 104k| 26k| 0.000000e+00 | -- | Inf
1459.63/1459.65 c 1460s| 2080k| 250 | 18223k| 8.8 | 14M| 65 | - | 362 |3173 | 0 | 0 | 601 | 104k| 26k| 0.000000e+00 | -- | Inf
1466.14/1466.10 c 1466s| 2090k| 256 | 18303k| 8.8 | 15M| 65 | - | 362 |3301 | 0 | 0 | 601 | 105k| 26k| 0.000000e+00 | -- | Inf
1472.73/1472.77 c 1473s| 2100k| 270 | 18387k| 8.8 | 15M| 65 | - | 362 |3474 | 0 | 0 | 601 | 105k| 26k| 0.000000e+00 | -- | Inf
1479.84/1479.81 c 1480s| 2110k| 281 | 18477k| 8.8 | 15M| 65 | - | 362 |3511 | 362 | 683 | 601 | 106k| 26k| 0.000000e+00 | -- | Inf
1487.04/1487.08 c 1487s| 2120k| 256 | 18570k| 8.8 | 15M| 65 | - | 362 |3443 | 0 | 0 | 601 | 106k| 26k| 0.000000e+00 | -- | Inf
1494.04/1494.05 c 1494s| 2130k| 257 | 18657k| 8.8 | 14M| 65 | - | 362 |3025 | 362 | 683 | 601 | 107k| 26k| 0.000000e+00 | -- | Inf
1501.44/1501.41 c 1501s| 2140k| 260 | 18751k| 8.8 | 14M| 65 | 43 | 362 |3032 | 362 | 683 | 601 | 107k| 26k| 0.000000e+00 | -- | Inf
1507.83/1507.86 c 1508s| 2150k| 263 | 18830k| 8.8 | 15M| 65 | - | 362 |3253 | 0 | 0 | 601 | 108k| 26k| 0.000000e+00 | -- | Inf
1514.33/1514.39 c 1514s| 2160k| 265 | 18911k| 8.8 | 15M| 65 | - | 362 |3430 | 0 | 0 | 601 | 108k| 26k| 0.000000e+00 | -- | Inf
1521.35/1521.35 c 1521s| 2170k| 271 | 18999k| 8.8 | 15M| 65 | - | 362 |3492 | 362 | 683 | 601 | 109k| 26k| 0.000000e+00 | -- | Inf
1528.64/1528.67 c 1529s| 2180k| 271 | 19092k| 8.8 | 15M| 65 | - | 362 |3514 | 0 | 0 | 601 | 109k| 26k| 0.000000e+00 | -- | Inf
1536.04/1536.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1536.04/1536.00 c 1536s| 2190k| 275 | 19185k| 8.8 | 15M| 65 | - | 362 |3540 | 0 | 0 | 601 | 110k| 26k| 0.000000e+00 | -- | Inf
1543.04/1543.02 c 1543s| 2200k| 268 | 19275k| 8.8 | 15M| 65 | - | 362 |3638 | 362 | 683 | 601 | 110k| 26k| 0.000000e+00 | -- | Inf
1550.74/1550.76 c 1551s| 2210k| 288 | 19374k| 8.8 | 15M| 70 | 28 | 362 |3587 | 362 | 683 | 601 | 110k| 26k| 0.000000e+00 | -- | Inf
1558.64/1558.64 c 1559s| 2220k| 266 | 19474k| 8.8 | 15M| 70 | 27 | 362 |3418 | 362 | 683 | 601 | 111k| 27k| 0.000000e+00 | -- | Inf
1565.64/1565.61 c 1566s| 2230k| 264 | 19562k| 8.8 | 15M| 70 | 27 | 362 |3386 | 362 | 683 | 601 | 111k| 27k| 0.000000e+00 | -- | Inf
1571.44/1571.40 c 1571s| 2240k| 269 | 19633k| 8.8 | 15M| 70 | - | 362 |3572 | 0 | 0 | 601 | 112k| 27k| 0.000000e+00 | -- | Inf
1577.45/1577.50 c 1577s| 2250k| 264 | 19706k| 8.8 | 15M| 70 | 48 | 362 |3595 | 362 | 683 | 601 | 113k| 27k| 0.000000e+00 | -- | Inf
1583.64/1583.60 c 1584s| 2260k| 270 | 19781k| 8.8 | 15M| 70 | 28 | 362 |3717 | 362 | 683 | 601 | 113k| 27k| 0.000000e+00 | -- | Inf
1590.24/1590.28 c 1590s| 2270k| 271 | 19867k| 8.8 | 15M| 70 | - | 362 |3906 | 362 | 683 | 601 | 114k| 27k| 0.000000e+00 | -- | Inf
1596.54/1596.52 c 1597s| 2280k| 281 | 19945k| 8.7 | 15M| 70 | - | 362 |4139 | 0 | 0 | 601 | 114k| 27k| 0.000000e+00 | -- | Inf
1602.54/1602.50 c 1603s| 2290k| 300 | 20020k| 8.7 | 15M| 70 | 26 | 362 |4388 | 362 | 683 | 601 | 115k| 27k| 0.000000e+00 | -- | Inf
1608.64/1608.64 c 1609s| 2300k| 290 | 20096k| 8.7 | 15M| 70 | 35 | 362 |4374 | 362 | 683 | 601 | 115k| 27k| 0.000000e+00 | -- | Inf
1614.75/1614.73 c 1615s| 2310k| 294 | 20171k| 8.7 | 15M| 70 | - | 362 |4623 | 0 | 0 | 601 | 116k| 27k| 0.000000e+00 | -- | Inf
1621.04/1621.08 c 1621s| 2320k| 291 | 20249k| 8.7 | 15M| 70 | - | 362 |4616 | 362 | 683 | 601 | 116k| 27k| 0.000000e+00 | -- | Inf
1628.25/1628.23 c 1628s| 2330k| 312 | 20341k| 8.7 | 15M| 70 | - | 362 |4809 | 0 | 0 | 601 | 117k| 27k| 0.000000e+00 | -- | Inf
1635.34/1635.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1635.34/1635.31 c 1635s| 2340k| 311 | 20432k| 8.7 | 15M| 70 | 29 | 362 |4887 | 362 | 683 | 601 | 117k| 27k| 0.000000e+00 | -- | Inf
1642.45/1642.41 c 1642s| 2350k| 312 | 20521k| 8.7 | 15M| 70 | - | 362 |4801 | 0 | 0 | 601 | 118k| 27k| 0.000000e+00 | -- | Inf
1648.94/1648.93 c 1649s| 2360k| 310 | 20604k| 8.7 | 15M| 70 | 36 | 362 |4785 | 362 | 683 | 601 | 118k| 27k| 0.000000e+00 | -- | Inf
1655.75/1655.72 c 1656s| 2370k| 324 | 20688k| 8.7 | 15M| 70 | 27 | 362 |4739 | 362 | 683 | 601 | 119k| 27k| 0.000000e+00 | -- | Inf
1661.84/1661.82 c 1662s| 2380k| 342 | 20761k| 8.7 | 15M| 70 | - | 362 |4851 | 0 | 0 | 601 | 119k| 27k| 0.000000e+00 | -- | Inf
1667.85/1667.84 c 1668s| 2390k| 337 | 20833k| 8.7 | 15M| 70 | 23 | 362 |4959 | 362 | 683 | 601 | 120k| 27k| 0.000000e+00 | -- | Inf
1674.04/1674.09 c 1674s| 2400k| 338 | 20910k| 8.7 | 15M| 70 | - | 362 |4991 | 0 | 0 | 601 | 120k| 27k| 0.000000e+00 | -- | Inf
1680.44/1680.41 c 1680s| 2410k| 326 | 20986k| 8.7 | 15M| 70 | 24 | 362 |4969 | 362 | 683 | 601 | 121k| 27k| 0.000000e+00 | -- | Inf
1687.45/1687.45 c 1687s| 2420k| 308 | 21074k| 8.7 | 15M| 70 | 44 | 362 |4649 | 362 | 683 | 601 | 121k| 27k| 0.000000e+00 | -- | Inf
1693.85/1693.87 c 1694s| 2430k| 321 | 21156k| 8.7 | 15M| 70 | 17 | 362 |4688 | 362 | 683 | 601 | 122k| 27k| 0.000000e+00 | -- | Inf
1700.44/1700.43 c 1700s| 2440k| 311 | 21237k| 8.7 | 15M| 70 | - | 362 |4729 | 362 | 683 | 601 | 122k| 28k| 0.000000e+00 | -- | Inf
1706.34/1706.37 c 1706s| 2450k| 310 | 21308k| 8.7 | 15M| 70 | - | 362 |4855 | 0 | 0 | 601 | 123k| 28k| 0.000000e+00 | -- | Inf
1712.05/1712.09 c 1712s| 2460k| 340 | 21376k| 8.7 | 16M| 70 | - | 362 |5032 | 0 | 0 | 601 | 123k| 28k| 0.000000e+00 | -- | Inf
1717.94/1717.97 c 1718s| 2470k| 317 | 21445k| 8.7 | 15M| 70 | 37 | 362 |4920 | 362 | 683 | 601 | 124k| 28k| 0.000000e+00 | -- | Inf
1723.94/1723.98 c 1724s| 2480k| 317 | 21518k| 8.7 | 15M| 70 | - | 362 |4996 | 0 | 0 | 601 | 124k| 28k| 0.000000e+00 | -- | Inf
1730.85/1730.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1730.85/1730.87 c 1731s| 2490k| 304 | 21604k| 8.7 | 15M| 70 | - | 362 |4745 | 362 | 683 | 601 | 125k| 28k| 0.000000e+00 | -- | Inf
1737.25/1737.26 c 1737s| 2500k| 313 | 21684k| 8.7 | 15M| 70 | 26 | 362 |4748 | 362 | 683 | 601 | 125k| 28k| 0.000000e+00 | -- | Inf
1744.05/1744.08 c 1744s| 2510k| 318 | 21770k| 8.7 | 15M| 70 | 38 | 362 |4816 | 362 | 683 | 601 | 126k| 28k| 0.000000e+00 | -- | Inf
1750.55/1750.53 c 1751s| 2520k| 314 | 21850k| 8.7 | 15M| 70 | - | 362 |4577 | 0 | 0 | 601 | 126k| 28k| 0.000000e+00 | -- | Inf
1757.25/1757.29 c 1757s| 2530k| 316 | 21936k| 8.7 | 15M| 70 | 33 | 362 |4623 | 362 | 683 | 601 | 127k| 28k| 0.000000e+00 | -- | Inf
1764.04/1764.03 c 1764s| 2540k| 365 | 22021k| 8.7 | 16M| 70 | - | 362 |4715 | 362 | 683 | 601 | 127k| 28k| 0.000000e+00 | -- | Inf
1770.95/1770.96 c 1771s| 2550k| 327 | 22108k| 8.7 | 15M| 70 | 22 | 362 |4746 | 362 | 683 | 601 | 128k| 28k| 0.000000e+00 | -- | Inf
1778.04/1778.06 c 1778s| 2560k| 325 | 22199k| 8.7 | 15M| 70 | 37 | 362 |4663 | 362 | 683 | 601 | 128k| 28k| 0.000000e+00 | -- | Inf
1785.24/1785.28 c 1785s| 2570k| 349 | 22291k| 8.7 | 16M| 70 | 31 | 362 |4773 | 362 | 683 | 601 | 128k| 28k| 0.000000e+00 | -- | Inf
1792.05/1792.08 c 1792s| 2580k| 354 | 22376k| 8.7 | 16M| 70 | 26 | 362 |4769 | 362 | 683 | 601 | 129k| 28k| 0.000000e+00 | -- | Inf
1798.84/1798.81 c 1799s| 2590k| 342 | 22458k| 8.7 | 16M| 70 | 41 | 362 |4801 | 362 | 683 | 601 | 129k| 28k| 0.000000e+00 | -- | Inf
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Solving Time (sec) : 1800.00
1800.05/1800.00 c Solving Nodes : 2591363
1800.05/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.00 s UNKNOWN
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Total Time : 1800.00
1800.05/1800.00 c solving : 1800.00
1800.05/1800.00 c presolving : 0.02 (included in solving)
1800.05/1800.00 c reading : 0.01 (included in solving)
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-3451122-1307638136.opb
1800.05/1800.00 c Variables : 370 (370 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 557 initial, 557 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-3451122-1307638136.opb
1800.05/1800.00 c Variables : 362 (362 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 545 initial, 5105 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 8 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c setppc : 0.00 0 0 0 0 0 12 0 0 0
1800.05/1800.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 1305600 0 1 0 1003 4939 0 0 2601622
1800.05/1800.00 c knapsack : 244 5 6518726 0 1 0 16941044 874991 25377106 528 0 0
1800.05/1800.00 c setppc : 181 5 5555823 0 1 0 3313575 3842 7210667 0 0 0
1800.05/1800.00 c logicor : 120+ 5 4288600 0 1 0 87797 18577 4081283 0 0 0
1800.05/1800.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.00 c integral : 53.22 0.00 0.00 53.22 0.00 0.00 0.00
1800.05/1800.00 c knapsack : 77.69 0.01 71.37 0.00 0.00 0.00 6.31
1800.05/1800.00 c setppc : 14.06 0.00 13.28 0.00 0.00 0.00 0.77
1800.05/1800.00 c logicor : 36.32 0.00 36.20 0.00 0.00 0.00 0.11
1800.05/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.00 c vbounds : 0 0 0 0
1800.05/1800.00 c rootredcost : 0 0 0 0
1800.05/1800.00 c pseudoobj : 0 0 0 0
1800.05/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.00 c vbounds : 0.97 0.97 0.00
1800.05/1800.00 c rootredcost : 1.05 1.05 0.00
1800.05/1800.00 c pseudoobj : 0.71 0.71 0.00
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 21.61 136272 121023 905106 81.5 1432 81.3 -
1800.05/1800.00 c infeasible LP : 31.34 401661 0 0 0.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 125868 19.1 - - -
1800.05/1800.00 c applied locally : - - - 3847 43.0 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.00 4 - - 294 - (maximal pool size: 2215)
1800.05/1800.00 c redcost : 7.73 1303674 0 0 0 0
1800.05/1800.00 c impliedbounds : 0.00 5 0 0 969 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.24 5 0 0 226 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.23 5 0 0 2218 0
1800.05/1800.00 c cmir : 0.00 0 0 0 0 0
1800.05/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.00 c clique : 0.00 1 0 0 0 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 1 0 0 0 0
1800.05/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.03 1 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 52.43 1305600 1003 4939 0 0 2601622
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.00 - 0
1800.05/1800.00 c pseudo solutions : 0.00 - 0
1800.05/1800.00 c trivial : 0.00 1 0
1800.05/1800.00 c shiftandpropagate: 0.00 0 0
1800.05/1800.00 c simplerounding : 0.00 0 0
1800.05/1800.00 c zirounding : 0.00 0 0
1800.05/1800.00 c rounding : 0.00 0 0
1800.05/1800.00 c shifting : 0.00 0 0
1800.05/1800.00 c intshifting : 0.00 0 0
1800.05/1800.00 c oneopt : 0.00 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c feaspump : 0.00 0 0
1800.05/1800.00 c clique : 0.00 0 0
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3451122-1307638136/watcher-3451122-1307638136 -o /tmp/evaluation-result-3451122-1307638136/solver-3451122-1307638136 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451122-1307638136.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.08 3.38 2/177 1065
/proc/meminfo: memFree=31964068/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=9460 CPUtime=0 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 1502 0 0 0 0 0 0 0 25 0 1 0 875414335 9687040 1456 33554432000 4194304 9163163 140735490710768 18446744073709551615 8013931 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/1065/statm: 2365 1457 351 1214 0 1147 0
[startup+0.102113 s]
/proc/loadavg: 2.04 2.08 3.38 2/177 1065
/proc/meminfo: memFree=31964068/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=24096 CPUtime=0.1 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 8573 0 0 0 9 1 0 0 25 0 1 0 875414335 24674304 4918 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 6024 4918 707 1214 0 4806 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 24096
[startup+0.201084 s]
/proc/loadavg: 2.04 2.08 3.38 2/177 1065
/proc/meminfo: memFree=31964068/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=26268 CPUtime=0.19 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 9195 0 0 0 18 1 0 0 25 0 1 0 875414335 26898432 5540 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 6567 5540 707 1214 0 5349 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26268
[startup+0.301069 s]
/proc/loadavg: 2.04 2.08 3.38 2/177 1065
/proc/meminfo: memFree=31964068/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=27604 CPUtime=0.29 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 9456 0 0 0 28 1 0 0 25 0 1 0 875414335 28266496 5801 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 6901 5801 708 1214 0 5683 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27604
[startup+0.700964 s]
/proc/loadavg: 2.04 2.08 3.38 2/177 1065
/proc/meminfo: memFree=31964068/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=36628 CPUtime=0.69 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 11723 0 0 0 68 1 0 0 25 0 1 0 875414335 37507072 8067 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 9157 8067 709 1214 0 7939 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36628
[startup+1.50087 s]
/proc/loadavg: 2.04 2.08 3.38 3/178 1066
/proc/meminfo: memFree=31933952/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=36824 CPUtime=1.49 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 11836 0 0 0 147 2 0 0 25 0 1 0 875414335 37707776 8180 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 9206 8180 711 1214 0 7988 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36824
[startup+3.10057 s]
/proc/loadavg: 2.04 2.08 3.38 3/178 1066
/proc/meminfo: memFree=31933580/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=36824 CPUtime=3.09 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 11836 0 0 0 304 5 0 0 25 0 1 0 875414335 37707776 8180 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 9206 8180 711 1214 0 7988 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36824
[startup+6.30098 s]
/proc/loadavg: 2.04 2.08 3.37 3/178 1066
/proc/meminfo: memFree=31933852/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=36824 CPUtime=6.29 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 11836 0 0 0 619 10 0 0 25 0 1 0 875414335 37707776 8180 33554432000 4194304 9163163 140735490710768 18446744073709551615 7375878 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 9206 8180 711 1214 0 7988 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36824
[startup+12.7008 s]
/proc/loadavg: 2.04 2.08 3.37 3/178 1066
/proc/meminfo: memFree=31933472/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=36824 CPUtime=12.7 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 11848 0 0 0 1249 21 0 0 25 0 1 0 875414335 37707776 8192 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 9206 8192 711 1214 0 7988 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 36824
[startup+25.5004 s]
/proc/loadavg: 2.03 2.08 3.34 3/178 1067
/proc/meminfo: memFree=31932956/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=37120 CPUtime=25.49 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 11914 0 0 0 2506 43 0 0 25 0 1 0 875414335 38010880 8258 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 9280 8258 711 1214 0 8062 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37120
[startup+51.1007 s]
/proc/loadavg: 2.02 2.07 3.31 3/178 1067
/proc/meminfo: memFree=31932536/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=37868 CPUtime=51.09 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 12096 0 0 0 5023 86 0 0 25 0 1 0 875414335 38776832 8440 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 9467 8440 711 1214 0 8249 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 37868
[startup+102.3 s]
/proc/loadavg: 2.01 2.06 3.24 3/178 1069
/proc/meminfo: memFree=31931852/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=38008 CPUtime=102.3 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 12130 0 0 0 10060 170 0 0 25 0 1 0 875414335 38920192 8474 33554432000 4194304 9163163 140735490710768 18446744073709551615 6560158 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 9502 8474 711 1214 0 8284 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 38008
[startup+162.3 s]
/proc/loadavg: 2.03 2.06 3.16 3/178 1070
/proc/meminfo: memFree=31930800/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=38864 CPUtime=162.29 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 12376 0 0 0 15965 264 0 0 25 0 1 0 875414335 39796736 8720 33554432000 4194304 9163163 140735490710768 18446744073709551615 4793207 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 9716 8720 711 1214 0 8498 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 38864
[startup+222.306 s]
/proc/loadavg: 2.01 2.04 3.08 3/178 1072
/proc/meminfo: memFree=31930744/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=39024 CPUtime=222.3 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 12409 0 0 0 21867 363 0 0 25 0 1 0 875414335 39960576 8753 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 9756 8753 711 1214 0 8538 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 39024
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 3.01 3/178 1074
/proc/meminfo: memFree=31930568/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=39160 CPUtime=282.3 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 12441 0 0 0 27774 456 0 0 25 0 1 0 875414335 40099840 8785 33554432000 4194304 9163163 140735490710768 18446744073709551615 7238096 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 9790 8785 711 1214 0 8572 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 39160
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.95 3/178 1075
/proc/meminfo: memFree=31930368/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=39312 CPUtime=342.3 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 12459 0 0 0 33668 562 0 0 25 0 1 0 875414335 40255488 8803 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 9828 8803 711 1214 0 8610 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 39312
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.89 3/178 1077
/proc/meminfo: memFree=31929804/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=39980 CPUtime=402.3 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 12630 0 0 0 39575 655 0 0 25 0 1 0 875414335 40939520 8974 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 9995 8974 711 1214 0 8777 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 39980
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.83 3/178 1078
/proc/meminfo: memFree=31929632/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=39980 CPUtime=462.3 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 12647 0 0 0 45479 751 0 0 25 0 1 0 875414335 40939520 8991 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 9995 8991 711 1214 0 8777 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 39980
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.77 3/178 1080
/proc/meminfo: memFree=31928456/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=40112 CPUtime=522.31 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 12685 0 0 0 51379 852 0 0 25 0 1 0 875414335 41074688 9029 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 10028 9029 711 1214 0 8810 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 40112
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.72 3/178 1082
/proc/meminfo: memFree=31926776/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=40404 CPUtime=582.31 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 12759 0 0 0 57285 946 0 0 25 0 1 0 875414335 41373696 9103 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 10101 9103 711 1214 0 8883 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 40404
[startup+642.3 s]
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.51 4/178 1176
/proc/meminfo: memFree=32007096/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=41120 CPUtime=882.33 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 12918 0 0 0 86817 1416 0 0 25 0 1 0 875414335 42106880 9262 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 10280 9262 711 1214 0 9062 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 41120
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.48 4/178 1180
/proc/meminfo: memFree=32005704/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=41508 CPUtime=942.32 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 13014 0 0 0 92722 1510 0 0 25 0 1 0 875414335 42504192 9358 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 10377 9358 711 1214 0 9159 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 41508
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.45 3/178 1182
/proc/meminfo: memFree=32003900/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=41644 CPUtime=1002.32 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 13055 0 0 0 98628 1604 0 0 25 0 1 0 875414335 42643456 9399 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 10411 9399 711 1214 0 9193 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 41644
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.42 4/178 1183
/proc/meminfo: memFree=32002716/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=41644 CPUtime=1062.32 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 13072 0 0 0 104533 1699 0 0 25 0 1 0 875414335 42643456 9416 33554432000 4194304 9163163 140735490710768 18446744073709551615 18446744073699066094 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 10411 9416 711 1214 0 9193 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 41644
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.39 4/178 1185
/proc/meminfo: memFree=32002164/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=41776 CPUtime=1122.32 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 13088 0 0 0 110436 1796 0 0 25 0 1 0 875414335 42778624 9432 33554432000 4194304 9163163 140735490710768 18446744073709551615 4901159 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 10444 9432 711 1214 0 9226 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 41776
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.36 3/178 1263
/proc/meminfo: memFree=32008388/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=41776 CPUtime=1182.33 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 13101 0 0 0 116342 1891 0 0 25 0 1 0 875414335 42778624 9445 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 10444 9445 711 1214 0 9226 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 41776
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.34 3/178 1264
/proc/meminfo: memFree=32006860/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=41912 CPUtime=1242.33 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 13129 0 0 0 122247 1986 0 0 25 0 1 0 875414335 42917888 9473 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 10478 9473 711 1214 0 9260 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 41912
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.31 3/178 1266
/proc/meminfo: memFree=32005944/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=41912 CPUtime=1302.33 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 13129 0 0 0 128151 2082 0 0 25 0 1 0 875414335 42917888 9473 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 10478 9473 711 1214 0 9260 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 41912
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.29 3/178 1267
/proc/meminfo: memFree=32005644/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=41912 CPUtime=1362.33 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 13137 0 0 0 134056 2177 0 0 25 0 1 0 875414335 42917888 9481 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 10478 9481 711 1214 0 9260 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 41912
[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.27 3/178 1307
/proc/meminfo: memFree=32008204/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=41912 CPUtime=1422.34 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 13137 0 0 0 139960 2274 0 0 25 0 1 0 875414335 42917888 9481 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 10478 9481 711 1214 0 9260 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 41912
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.25 3/178 1423
/proc/meminfo: memFree=32006392/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=41912 CPUtime=1482.33 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 13137 0 0 0 145863 2370 0 0 25 0 1 0 875414335 42917888 9481 33554432000 4194304 9163163 140735490710768 18446744073709551615 6890027 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 10478 9481 711 1214 0 9260 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 41912
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.23 3/178 1424
/proc/meminfo: memFree=32005228/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=41912 CPUtime=1542.34 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 13137 0 0 0 151771 2463 0 0 25 0 1 0 875414335 42917888 9481 33554432000 4194304 9163163 140735490710768 18446744073709551615 6555941 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 10478 9481 711 1214 0 9260 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 41912
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.22 3/178 1464
/proc/meminfo: memFree=32006476/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=42044 CPUtime=1602.34 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 13139 0 0 0 157680 2554 0 0 25 0 1 0 875414335 43053056 9483 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 10511 9483 711 1214 0 9293 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 42044
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.20 3/178 1465
/proc/meminfo: memFree=32005756/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=42044 CPUtime=1662.34 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 13146 0 0 0 163581 2653 0 0 25 0 1 0 875414335 43053056 9490 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 10511 9490 711 1214 0 9293 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 42044
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.19 3/178 1543
/proc/meminfo: memFree=32006848/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=42044 CPUtime=1722.35 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 13157 0 0 0 169488 2747 0 0 25 0 1 0 875414335 43053056 9501 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 10511 9501 711 1214 0 9293 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 42044
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.17 3/178 1545
/proc/meminfo: memFree=32005136/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=42176 CPUtime=1782.35 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 13188 0 0 0 175397 2838 0 0 25 0 1 0 875414335 43188224 9532 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 10544 9532 711 1214 0 9326 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 42176
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.17 3/178 1545
/proc/meminfo: memFree=32005028/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=42176 CPUtime=1800.05 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 13190 0 0 0 177141 2864 0 0 25 0 1 0 875414335 43188224 9534 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 10544 9534 712 1214 0 9326 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 42176
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.17 3/178 1545
/proc/meminfo: memFree=32005028/32951124 swapFree=67056684/67111528
[pid=1065] ppid=1063 vsize=42176 CPUtime=1800.05 cores=0,2,4,6
/proc/1065/stat : 1065 (scip-2.0.1.4b.l) R 1063 1065 32675 0 -1 4202496 13190 0 0 0 177141 2864 0 0 25 0 1 0 875414335 43188224 9534 33554432000 4194304 9163163 140735490710768 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/1065/statm: 10544 9534 712 1214 0 9326 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 42176
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.01
CPU time (s): 1800.06
CPU user time (s): 1771.42
CPU system time (s): 28.6466
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 42176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1771.42
system time used= 28.6466
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13191
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= 4
involuntary context switches= 3970
runsolver used 2.66359 second user time and 5.53516 second system time
The end