0.00/0.00 c SCIP version 2.0.1.4 [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-3452782-1307067281.opb>
0.00/0.00 c original problem has 370 variables (370 bin, 0 int, 0 impl, 0 cont) and 557 constraints
0.00/0.00 c problem read
0.00/0.00 c No objective function, only one solution is needed.
0.00/0.00 c presolving settings loaded
0.00/0.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.02 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.4
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.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 166 | - |2318k| 0 | 86 | 362 | 545 | 362 | 545 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 672 | - |2952k| 0 | 152 | 362 | 545 | 362 | 804 | 259 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 0 | 1038 | - |4613k| 0 | 189 | 362 | 545 | 362 |1045 | 500 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.39 c 0.4s| 1 | 0 | 1185 | - |7326k| 0 | 196 | 362 | 545 | 362 |1123 | 578 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.51 c 0.5s| 1 | 0 | 1219 | - |9739k| 0 | 199 | 362 | 545 | 362 |1143 | 598 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.63 c 0.6s| 1 | 0 | 1270 | - | 11M| 0 | 200 | 362 | 545 | 362 |1146 | 601 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.94 c 0.9s| 1 | 2 | 1270 | - | 11M| 0 | 200 | 362 | 545 | 362 |1146 | 601 | 0 | 10 | 0.000000e+00 | -- | Inf
9.60/9.67 c 9.7s| 10000 | 91 | 81852 | 8.1 | 12M| 37 | - | 362 | 866 | 362 | 683 | 601 | 475 |2265 | 0.000000e+00 | -- | Inf
15.49/15.55 c 15.5s| 20000 | 105 |167211 | 8.3 | 12M| 37 | 40 | 362 | 974 | 362 | 683 | 601 |1011 |2322 | 0.000000e+00 | -- | Inf
21.90/21.95 c 21.9s| 30000 | 111 |253593 | 8.4 | 12M| 37 | 34 | 362 |1129 | 362 | 683 | 601 |1510 |2705 | 0.000000e+00 | -- | Inf
27.79/27.82 c 27.8s| 40000 | 112 |327579 | 8.2 | 12M| 37 | 29 | 362 |1332 | 362 | 683 | 601 |1990 |3242 | 0.000000e+00 | -- | Inf
33.50/33.56 c 33.6s| 50000 | 121 |402027 | 8.0 | 12M| 40 | 19 | 362 |1637 | 362 | 683 | 601 |2593 |3651 | 0.000000e+00 | -- | Inf
39.50/39.55 c 39.6s| 60000 | 121 |480137 | 8.0 | 12M| 40 | 25 | 362 |1730 | 362 | 683 | 601 |3093 |4077 | 0.000000e+00 | -- | Inf
45.59/45.65 c 45.7s| 70000 | 127 |559252 | 8.0 | 12M| 40 | 23 | 362 |1659 | 362 | 683 | 601 |3603 |4486 | 0.000000e+00 | -- | Inf
52.29/52.30 c 52.3s| 80000 | 125 |645823 | 8.1 | 12M| 41 | - | 362 |1491 | 362 | 683 | 601 |4097 |5004 | 0.000000e+00 | -- | Inf
58.99/59.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.99/59.00 c 59.0s| 90000 | 138 |740015 | 8.2 | 12M| 41 | 38 | 362 |1543 | 362 | 683 | 601 |4524 |5286 | 0.000000e+00 | -- | Inf
65.90/66.00 c 66.0s|100000 | 178 |829332 | 8.3 | 13M| 44 | - | 362 |1580 | 0 | 0 | 601 |5003 |5961 | 0.000000e+00 | -- | Inf
72.50/72.59 c 72.6s|110000 | 168 |922232 | 8.4 | 13M| 44 | - | 362 |1656 | 362 | 683 | 601 |5374 |6208 | 0.000000e+00 | -- | Inf
78.69/78.73 c 78.7s|120000 | 158 | 1006k| 8.4 | 13M| 44 | - | 362 |1808 | 362 | 683 | 601 |5823 |6502 | 0.000000e+00 | -- | Inf
84.29/84.30 c 84.3s|130000 | 170 | 1083k| 8.3 | 13M| 49 | 30 | 362 |1978 | 362 | 683 | 601 |6349 |6642 | 0.000000e+00 | -- | Inf
90.29/90.36 c 90.4s|140000 | 155 | 1164k| 8.3 | 13M| 49 | 28 | 362 |1849 | 362 | 683 | 601 |6856 |6990 | 0.000000e+00 | -- | Inf
96.49/96.56 c 96.6s|150000 | 161 | 1250k| 8.3 | 13M| 49 | - | 362 |2033 | 0 | 0 | 601 |7299 |7205 | 0.000000e+00 | -- | Inf
102.79/102.80 c 103s|160000 | 152 | 1337k| 8.4 | 13M| 52 | 39 | 362 |2171 | 362 | 683 | 601 |7721 |7354 | 0.000000e+00 | -- | Inf
109.29/109.38 c 109s|170000 | 147 | 1426k| 8.4 | 13M| 52 | 41 | 362 |2022 | 362 | 683 | 601 |8175 |7721 | 0.000000e+00 | -- | Inf
115.69/115.79 c 116s|180000 | 153 | 1515k| 8.4 | 13M| 52 | 36 | 362 |1971 | 362 | 683 | 601 |8688 |7942 | 0.000000e+00 | -- | Inf
121.89/121.95 c 122s|190000 | 169 | 1602k| 8.4 | 13M| 52 | 22 | 362 |2121 | 362 | 683 | 601 |9122 |8088 | 0.000000e+00 | -- | Inf
127.50/127.58 c 128s|200000 | 162 | 1678k| 8.4 | 13M| 52 | 26 | 362 |2308 | 362 | 683 | 601 |9696 |8232 | 0.000000e+00 | -- | Inf
133.80/133.83 c 134s|210000 | 166 | 1764k| 8.4 | 13M| 52 | 22 | 362 |2406 | 362 | 683 | 601 | 10k|8462 | 0.000000e+00 | -- | Inf
139.60/139.69 c 140s|220000 | 156 | 1845k| 8.4 | 13M| 52 | 55 | 362 |2555 | 362 | 683 | 601 | 10k|8565 | 0.000000e+00 | -- | Inf
146.40/146.45 c 146s|230000 | 163 | 1938k| 8.4 | 13M| 53 | - | 362 |2345 | 0 | 0 | 601 | 11k|8844 | 0.000000e+00 | -- | Inf
152.70/152.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
152.70/152.71 c 153s|240000 | 164 | 2027k| 8.4 | 13M| 53 | - | 362 |2330 | 0 | 0 | 601 | 11k|8973 | 0.000000e+00 | -- | Inf
158.99/159.02 c 159s|250000 | 165 | 2112k| 8.4 | 13M| 53 | 16 | 362 |2124 | 362 | 683 | 601 | 11k|9272 | 0.000000e+00 | -- | Inf
164.80/164.86 c 165s|260000 | 185 | 2195k| 8.4 | 13M| 53 | - | 362 |2320 | 362 | 683 | 601 | 12k|9396 | 0.000000e+00 | -- | Inf
171.29/171.33 c 171s|270000 | 173 | 2282k| 8.5 | 13M| 53 | - | 362 |2174 | 0 | 0 | 601 | 12k|9749 | 0.000000e+00 | -- | Inf
178.00/178.05 c 178s|280000 | 185 | 2378k| 8.5 | 13M| 53 | 38 | 362 |2259 | 362 | 683 | 601 | 13k|9906 | 0.000000e+00 | -- | Inf
184.49/184.55 c 185s|290000 | 205 | 2470k| 8.5 | 13M| 53 | 27 | 362 |2198 | 362 | 683 | 601 | 13k| 10k| 0.000000e+00 | -- | Inf
191.09/191.14 c 191s|300000 | 194 | 2561k| 8.5 | 13M| 53 | - | 362 |2057 | 0 | 0 | 601 | 13k| 10k| 0.000000e+00 | -- | Inf
197.20/197.26 c 197s|310000 | 184 | 2647k| 8.5 | 13M| 53 | - | 362 |2052 | 362 | 683 | 601 | 14k| 10k| 0.000000e+00 | -- | Inf
203.51/203.53 c 204s|320000 | 183 | 2735k| 8.5 | 13M| 53 | 22 | 362 |2071 | 362 | 683 | 601 | 14k| 10k| 0.000000e+00 | -- | Inf
210.11/210.15 c 210s|330000 | 177 | 2826k| 8.6 | 13M| 53 | - | 362 |2012 | 0 | 0 | 601 | 15k| 10k| 0.000000e+00 | -- | Inf
216.10/216.15 c 216s|340000 | 168 | 2913k| 8.6 | 13M| 53 | - | 362 |2184 | 0 | 0 | 601 | 15k| 10k| 0.000000e+00 | -- | Inf
222.60/222.68 c 223s|350000 | 197 | 3005k| 8.6 | 13M| 53 | - | 362 |2358 | 0 | 0 | 601 | 16k| 11k| 0.000000e+00 | -- | Inf
229.29/229.30 c 229s|360000 | 186 | 3101k| 8.6 | 13M| 53 | - | 362 |2399 | 362 | 683 | 601 | 16k| 11k| 0.000000e+00 | -- | Inf
236.00/236.09 c 236s|370000 | 162 | 3197k| 8.6 | 13M| 53 | - | 362 |2349 | 0 | 0 | 601 | 16k| 11k| 0.000000e+00 | -- | Inf
242.70/242.78 c 243s|380000 | 161 | 3289k| 8.7 | 13M| 53 | - | 362 |2137 | 0 | 0 | 601 | 17k| 11k| 0.000000e+00 | -- | Inf
248.80/248.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
248.80/248.82 c 249s|390000 | 148 | 3374k| 8.7 | 13M| 53 | 26 | 362 |2036 | 362 | 683 | 601 | 17k| 11k| 0.000000e+00 | -- | Inf
255.00/255.05 c 255s|400000 | 156 | 3463k| 8.7 | 13M| 54 | - | 362 |2216 | 0 | 0 | 601 | 18k| 11k| 0.000000e+00 | -- | Inf
262.00/262.04 c 262s|410000 | 194 | 3560k| 8.7 | 13M| 54 | - | 362 |2172 | 0 | 0 | 601 | 18k| 12k| 0.000000e+00 | -- | Inf
267.90/267.96 c 268s|420000 | 197 | 3644k| 8.7 | 13M| 54 | - | 362 |2247 | 0 | 0 | 601 | 18k| 12k| 0.000000e+00 | -- | Inf
273.91/273.95 c 274s|430000 | 199 | 3729k| 8.7 | 13M| 54 | 34 | 362 |2228 | 362 | 683 | 601 | 19k| 12k| 0.000000e+00 | -- | Inf
280.20/280.23 c 280s|440000 | 196 | 3819k| 8.7 | 13M| 54 | - | 362 |2243 | 0 | 0 | 601 | 19k| 12k| 0.000000e+00 | -- | Inf
286.50/286.53 c 287s|450000 | 198 | 3911k| 8.7 | 13M| 54 | 48 | 362 |2316 | 362 | 683 | 601 | 20k| 12k| 0.000000e+00 | -- | Inf
292.90/292.90 c 293s|460000 | 178 | 4003k| 8.7 | 13M| 54 | 47 | 362 |2300 | 362 | 683 | 601 | 20k| 12k| 0.000000e+00 | -- | Inf
299.50/299.54 c 300s|470000 | 175 | 4095k| 8.7 | 13M| 54 | 38 | 362 |2285 | 362 | 683 | 601 | 20k| 12k| 0.000000e+00 | -- | Inf
305.49/305.55 c 306s|480000 | 174 | 4175k| 8.7 | 13M| 54 | - | 362 |2360 | 0 | 0 | 601 | 21k| 13k| 0.000000e+00 | -- | Inf
311.31/311.32 c 311s|490000 | 173 | 4255k| 8.7 | 13M| 54 | 30 | 362 |2412 | 362 | 683 | 601 | 21k| 13k| 0.000000e+00 | -- | Inf
317.29/317.30 c 317s|500000 | 170 | 4338k| 8.7 | 13M| 54 | - | 362 |2443 | 362 | 683 | 601 | 22k| 13k| 0.000000e+00 | -- | Inf
323.50/323.59 c 324s|510000 | 181 | 4425k| 8.7 | 13M| 54 | - | 362 |2400 | 362 | 683 | 601 | 22k| 13k| 0.000000e+00 | -- | Inf
330.40/330.43 c 330s|520000 | 186 | 4524k| 8.7 | 13M| 54 | - | 362 |2423 | 0 | 0 | 601 | 23k| 13k| 0.000000e+00 | -- | Inf
336.69/336.75 c 337s|530000 | 199 | 4613k| 8.7 | 13M| 54 | - | 362 |2760 | 0 | 0 | 601 | 23k| 13k| 0.000000e+00 | -- | Inf
343.11/343.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
343.11/343.16 c 343s|540000 | 207 | 4703k| 8.7 | 13M| 54 | 32 | 362 |3026 | 362 | 683 | 601 | 24k| 13k| 0.000000e+00 | -- | Inf
350.60/350.60 c 351s|550000 | 204 | 4811k| 8.7 | 13M| 54 | - | 362 |3059 | 362 | 683 | 601 | 24k| 13k| 0.000000e+00 | -- | Inf
357.60/357.69 c 358s|560000 | 178 | 4908k| 8.8 | 13M| 56 | 29 | 362 |2473 | 362 | 683 | 601 | 25k| 14k| 0.000000e+00 | -- | Inf
363.50/363.56 c 364s|570000 | 178 | 4990k| 8.8 | 13M| 56 | - | 362 |2449 | 362 | 683 | 601 | 25k| 14k| 0.000000e+00 | -- | Inf
369.51/369.59 c 370s|580000 | 173 | 5076k| 8.8 | 13M| 56 | - | 362 |2617 | 0 | 0 | 601 | 26k| 14k| 0.000000e+00 | -- | Inf
376.30/376.36 c 376s|590000 | 177 | 5173k| 8.8 | 13M| 56 | - | 362 |2616 | 0 | 0 | 601 | 26k| 14k| 0.000000e+00 | -- | Inf
383.20/383.25 c 383s|600000 | 180 | 5275k| 8.8 | 13M| 56 | 40 | 362 |2699 | 362 | 683 | 601 | 27k| 14k| 0.000000e+00 | -- | Inf
390.10/390.15 c 390s|610000 | 173 | 5374k| 8.8 | 13M| 56 | 19 | 362 |2505 | 362 | 683 | 601 | 27k| 14k| 0.000000e+00 | -- | Inf
395.80/395.83 c 396s|620000 | 179 | 5454k| 8.8 | 13M| 56 | - | 362 |2745 | 0 | 0 | 601 | 27k| 14k| 0.000000e+00 | -- | Inf
401.90/401.90 c 402s|630000 | 177 | 5538k| 8.8 | 13M| 56 | 41 | 362 |2849 | 362 | 683 | 601 | 28k| 14k| 0.000000e+00 | -- | Inf
407.70/407.76 c 408s|640000 | 202 | 5617k| 8.8 | 13M| 56 | 30 | 362 |2825 | 362 | 683 | 601 | 28k| 14k| 0.000000e+00 | -- | Inf
413.50/413.54 c 414s|650000 | 201 | 5697k| 8.8 | 13M| 56 | - | 362 |2919 | 0 | 0 | 601 | 29k| 15k| 0.000000e+00 | -- | Inf
419.40/419.43 c 419s|660000 | 198 | 5778k| 8.8 | 13M| 56 | 25 | 362 |2985 | 362 | 683 | 601 | 29k| 15k| 0.000000e+00 | -- | Inf
424.90/424.99 c 425s|670000 | 204 | 5853k| 8.7 | 13M| 56 | 32 | 362 |2972 | 362 | 683 | 601 | 30k| 15k| 0.000000e+00 | -- | Inf
430.20/430.22 c 430s|680000 | 198 | 5922k| 8.7 | 14M| 56 | - | 362 |3242 | 0 | 0 | 601 | 30k| 15k| 0.000000e+00 | -- | Inf
436.10/436.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
436.10/436.18 c 436s|690000 | 180 | 6005k| 8.7 | 13M| 56 | 26 | 362 |3011 | 362 | 683 | 601 | 31k| 15k| 0.000000e+00 | -- | Inf
441.80/441.90 c 442s|700000 | 188 | 6080k| 8.7 | 13M| 56 | 33 | 362 |2853 | 362 | 683 | 601 | 31k| 15k| 0.000000e+00 | -- | Inf
447.50/447.50 c 447s|710000 | 187 | 6157k| 8.7 | 14M| 56 | 30 | 362 |3153 | 362 | 683 | 601 | 32k| 15k| 0.000000e+00 | -- | Inf
453.11/453.11 c 453s|720000 | 177 | 6233k| 8.7 | 14M| 56 | - | 362 |3230 | 362 | 683 | 601 | 33k| 15k| 0.000000e+00 | -- | Inf
459.60/459.69 c 460s|730000 | 183 | 6324k| 8.7 | 14M| 56 | 28 | 362 |3133 | 362 | 683 | 601 | 33k| 15k| 0.000000e+00 | -- | Inf
466.50/466.55 c 467s|740000 | 177 | 6420k| 8.7 | 13M| 56 | 45 | 362 |2844 | 362 | 683 | 601 | 33k| 15k| 0.000000e+00 | -- | Inf
472.30/472.31 c 472s|750000 | 179 | 6500k| 8.7 | 14M| 56 | - | 362 |3055 | 0 | 0 | 601 | 34k| 15k| 0.000000e+00 | -- | Inf
477.70/477.73 c 478s|760000 | 181 | 6572k| 8.6 | 14M| 56 | 33 | 362 |3289 | 362 | 683 | 601 | 34k| 16k| 0.000000e+00 | -- | Inf
482.81/482.91 c 483s|770000 | 188 | 6641k| 8.6 | 14M| 56 | 15 | 362 |3384 | 362 | 683 | 601 | 35k| 16k| 0.000000e+00 | -- | Inf
488.31/488.41 c 488s|780000 | 184 | 6715k| 8.6 | 14M| 56 | - | 362 |3424 | 0 | 0 | 601 | 36k| 16k| 0.000000e+00 | -- | Inf
494.00/494.00 c 494s|790000 | 194 | 6792k| 8.6 | 14M| 56 | 31 | 362 |3562 | 362 | 683 | 601 | 36k| 16k| 0.000000e+00 | -- | Inf
499.70/499.76 c 500s|800000 | 185 | 6871k| 8.6 | 14M| 56 | 20 | 362 |3759 | 362 | 683 | 601 | 37k| 16k| 0.000000e+00 | -- | Inf
505.70/505.73 c 506s|810000 | 189 | 6953k| 8.6 | 14M| 56 | 37 | 362 |3633 | 362 | 683 | 601 | 37k| 16k| 0.000000e+00 | -- | Inf
512.40/512.49 c 512s|820000 | 169 | 7044k| 8.6 | 14M| 56 | 26 | 362 |3119 | 362 | 683 | 601 | 37k| 16k| 0.000000e+00 | -- | Inf
518.60/518.60 c 519s|830000 | 179 | 7128k| 8.6 | 14M| 56 | - | 362 |3032 | 0 | 0 | 601 | 38k| 16k| 0.000000e+00 | -- | Inf
524.72/524.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
524.72/524.77 c 525s|840000 | 174 | 7216k| 8.6 | 14M| 56 | 29 | 362 |3087 | 362 | 683 | 601 | 38k| 16k| 0.000000e+00 | -- | Inf
530.70/530.74 c 531s|850000 | 173 | 7299k| 8.6 | 14M| 56 | 31 | 362 |3157 | 362 | 683 | 601 | 39k| 16k| 0.000000e+00 | -- | Inf
537.21/537.28 c 537s|860000 | 170 | 7393k| 8.6 | 14M| 56 | 23 | 362 |3006 | 362 | 683 | 601 | 39k| 16k| 0.000000e+00 | -- | Inf
543.20/543.27 c 543s|870000 | 168 | 7477k| 8.6 | 14M| 56 | 30 | 362 |3023 | 362 | 683 | 601 | 40k| 17k| 0.000000e+00 | -- | Inf
549.50/549.57 c 550s|880000 | 187 | 7567k| 8.6 | 14M| 56 | - | 362 |3069 | 0 | 0 | 601 | 40k| 17k| 0.000000e+00 | -- | Inf
556.11/556.18 c 556s|890000 | 220 | 7663k| 8.6 | 14M| 60 | 35 | 362 |3144 | 362 | 683 | 601 | 40k| 17k| 0.000000e+00 | -- | Inf
563.00/563.00 c 563s|900000 | 185 | 7764k| 8.6 | 14M| 62 | - | 362 |3161 | 0 | 0 | 601 | 41k| 17k| 0.000000e+00 | -- | Inf
569.20/569.25 c 569s|910000 | 194 | 7850k| 8.6 | 13M| 62 | - | 362 |2672 | 0 | 0 | 601 | 41k| 17k| 0.000000e+00 | -- | Inf
575.22/575.24 c 575s|920000 | 186 | 7932k| 8.6 | 14M| 62 | 33 | 362 |2754 | 362 | 683 | 601 | 42k| 17k| 0.000000e+00 | -- | Inf
581.70/581.76 c 582s|930000 | 182 | 8024k| 8.6 | 14M| 62 | 35 | 362 |2819 | 362 | 683 | 601 | 42k| 17k| 0.000000e+00 | -- | Inf
587.81/587.80 c 588s|940000 | 184 | 8108k| 8.6 | 14M| 62 | 31 | 362 |3216 | 362 | 683 | 601 | 43k| 17k| 0.000000e+00 | -- | Inf
593.80/593.90 c 594s|950000 | 192 | 8193k| 8.6 | 14M| 62 | - | 362 |3207 | 362 | 683 | 601 | 44k| 17k| 0.000000e+00 | -- | Inf
601.01/601.06 c 601s|960000 | 211 | 8297k| 8.6 | 14M| 62 | - | 362 |3543 | 0 | 0 | 601 | 44k| 17k| 0.000000e+00 | -- | Inf
607.91/607.93 c 608s|970000 | 190 | 8394k| 8.7 | 14M| 62 | - | 362 |3374 | 0 | 0 | 601 | 45k| 17k| 0.000000e+00 | -- | Inf
614.31/614.32 c 614s|980000 | 180 | 8482k| 8.7 | 14M| 62 | 18 | 362 |2988 | 362 | 683 | 601 | 45k| 17k| 0.000000e+00 | -- | Inf
620.60/620.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
620.60/620.60 c 621s|990000 | 180 | 8571k| 8.7 | 14M| 62 | 30 | 362 |2764 | 362 | 683 | 601 | 46k| 18k| 0.000000e+00 | -- | Inf
626.40/626.47 c 626s| 1000k| 180 | 8651k| 8.7 | 14M| 62 | - | 362 |2691 | 0 | 0 | 601 | 46k| 18k| 0.000000e+00 | -- | Inf
631.51/631.57 c 632s| 1010k| 194 | 8719k| 8.6 | 14M| 62 | 33 | 362 |2883 | 362 | 683 | 601 | 47k| 18k| 0.000000e+00 | -- | Inf
636.70/636.74 c 637s| 1020k| 184 | 8787k| 8.6 | 14M| 62 | 38 | 362 |2947 | 362 | 683 | 601 | 48k| 18k| 0.000000e+00 | -- | Inf
642.42/642.41 c 642s| 1030k| 186 | 8866k| 8.6 | 14M| 62 | 21 | 362 |2740 | 362 | 683 | 601 | 48k| 18k| 0.000000e+00 | -- | Inf
648.01/648.02 c 648s| 1040k| 191 | 8943k| 8.6 | 14M| 62 | - | 362 |3012 | 0 | 0 | 601 | 49k| 18k| 0.000000e+00 | -- | Inf
653.70/653.79 c 654s| 1050k| 188 | 9023k| 8.6 | 14M| 62 | - | 362 |2951 | 0 | 0 | 601 | 49k| 18k| 0.000000e+00 | -- | Inf
659.30/659.33 c 659s| 1060k| 188 | 9100k| 8.6 | 14M| 62 | - | 362 |3225 | 0 | 0 | 601 | 50k| 18k| 0.000000e+00 | -- | Inf
665.01/665.08 c 665s| 1070k| 183 | 9179k| 8.6 | 14M| 62 | 46 | 362 |3102 | 362 | 683 | 601 | 50k| 18k| 0.000000e+00 | -- | Inf
670.81/670.90 c 671s| 1080k| 183 | 9261k| 8.6 | 14M| 62 | - | 362 |3028 | 0 | 0 | 601 | 51k| 18k| 0.000000e+00 | -- | Inf
677.31/677.37 c 677s| 1090k| 185 | 9351k| 8.6 | 14M| 62 | - | 362 |3057 | 0 | 0 | 601 | 51k| 18k| 0.000000e+00 | -- | Inf
683.12/683.15 c 683s| 1100k| 190 | 9432k| 8.6 | 14M| 62 | - | 362 |3066 | 0 | 0 | 601 | 52k| 18k| 0.000000e+00 | -- | Inf
688.51/688.58 c 689s| 1110k| 175 | 9504k| 8.6 | 14M| 62 | - | 362 |3225 | 0 | 0 | 601 | 52k| 18k| 0.000000e+00 | -- | Inf
694.01/694.03 c 694s| 1120k| 177 | 9577k| 8.6 | 14M| 62 | - | 362 |3141 | 0 | 0 | 601 | 53k| 19k| 0.000000e+00 | -- | Inf
700.11/700.18 c 700s| 1130k| 185 | 9665k| 8.6 | 14M| 62 | 31 | 362 |3338 | 362 | 683 | 601 | 53k| 19k| 0.000000e+00 | -- | Inf
706.70/706.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
706.70/706.76 c 707s| 1140k| 182 | 9757k| 8.6 | 14M| 62 | 33 | 362 |3318 | 362 | 683 | 601 | 54k| 19k| 0.000000e+00 | -- | Inf
712.90/712.95 c 713s| 1150k| 186 | 9847k| 8.6 | 14M| 62 | - | 362 |3540 | 362 | 683 | 601 | 54k| 19k| 0.000000e+00 | -- | Inf
719.31/719.34 c 719s| 1160k| 189 | 9940k| 8.6 | 14M| 62 | 35 | 362 |3435 | 362 | 683 | 601 | 55k| 19k| 0.000000e+00 | -- | Inf
725.61/725.64 c 726s| 1170k| 193 | 10031k| 8.6 | 14M| 62 | 30 | 362 |3200 | 362 | 683 | 601 | 55k| 19k| 0.000000e+00 | -- | Inf
733.20/733.26 c 733s| 1180k| 208 | 10124k| 8.6 | 14M| 62 | - | 362 |2939 | 0 | 0 | 601 | 56k| 20k| 0.000000e+00 | -- | Inf
739.11/739.18 c 739s| 1190k| 237 | 10207k| 8.6 | 14M| 62 | 40 | 362 |3302 | 362 | 683 | 601 | 56k| 20k| 0.000000e+00 | -- | Inf
744.81/744.89 c 745s| 1200k| 235 | 10286k| 8.6 | 14M| 62 | - | 362 |3286 | 0 | 0 | 601 | 57k| 20k| 0.000000e+00 | -- | Inf
750.91/750.96 c 751s| 1210k| 218 | 10373k| 8.6 | 14M| 62 | 17 | 362 |3419 | 362 | 683 | 601 | 58k| 20k| 0.000000e+00 | -- | Inf
756.72/756.72 c 757s| 1220k| 227 | 10452k| 8.6 | 14M| 62 | - | 362 |3778 | 0 | 0 | 601 | 58k| 20k| 0.000000e+00 | -- | Inf
762.61/762.63 c 763s| 1230k| 229 | 10535k| 8.6 | 14M| 62 | - | 362 |3954 | 0 | 0 | 601 | 59k| 20k| 0.000000e+00 | -- | Inf
768.81/768.86 c 769s| 1240k| 236 | 10623k| 8.6 | 14M| 62 | - | 362 |4062 | 0 | 0 | 601 | 60k| 20k| 0.000000e+00 | -- | Inf
775.31/775.37 c 775s| 1250k| 234 | 10716k| 8.6 | 14M| 62 | - | 362 |4094 | 362 | 683 | 601 | 61k| 20k| 0.000000e+00 | -- | Inf
781.31/781.31 c 781s| 1260k| 251 | 10797k| 8.6 | 14M| 62 | - | 362 |4194 | 0 | 0 | 601 | 61k| 20k| 0.000000e+00 | -- | Inf
787.21/787.29 c 787s| 1270k| 258 | 10879k| 8.6 | 14M| 62 | 14 | 362 |4183 | 362 | 683 | 601 | 62k| 20k| 0.000000e+00 | -- | Inf
793.41/793.47 c 793s| 1280k| 260 | 10964k| 8.6 | 15M| 62 | - | 362 |4355 | 362 | 683 | 601 | 62k| 20k| 0.000000e+00 | -- | Inf
800.01/800.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
800.01/800.01 c 800s| 1290k| 273 | 11057k| 8.6 | 15M| 62 | - | 362 |4334 | 0 | 0 | 601 | 63k| 20k| 0.000000e+00 | -- | Inf
806.80/806.81 c 807s| 1300k| 282 | 11153k| 8.6 | 15M| 62 | - | 362 |4124 | 362 | 683 | 601 | 64k| 20k| 0.000000e+00 | -- | Inf
813.11/813.13 c 813s| 1310k| 300 | 11242k| 8.6 | 15M| 62 | 37 | 362 |4327 | 362 | 683 | 601 | 64k| 20k| 0.000000e+00 | -- | Inf
820.11/820.13 c 820s| 1320k| 299 | 11344k| 8.6 | 15M| 62 | 37 | 362 |4199 | 362 | 683 | 601 | 64k| 20k| 0.000000e+00 | -- | Inf
826.01/826.08 c 826s| 1330k| 308 | 11424k| 8.6 | 15M| 62 | - | 362 |4277 | 0 | 0 | 601 | 65k| 20k| 0.000000e+00 | -- | Inf
832.21/832.28 c 832s| 1340k| 295 | 11509k| 8.6 | 15M| 62 | - | 362 |4357 | 0 | 0 | 601 | 66k| 21k| 0.000000e+00 | -- | Inf
838.40/838.43 c 838s| 1350k| 311 | 11595k| 8.6 | 15M| 62 | 45 | 362 |4315 | 362 | 683 | 601 | 66k| 21k| 0.000000e+00 | -- | Inf
845.20/845.29 c 845s| 1360k| 308 | 11691k| 8.6 | 15M| 62 | - | 362 |4070 | 0 | 0 | 601 | 67k| 21k| 0.000000e+00 | -- | Inf
851.81/851.82 c 852s| 1370k| 322 | 11785k| 8.6 | 15M| 62 | 42 | 362 |4407 | 362 | 683 | 601 | 67k| 21k| 0.000000e+00 | -- | Inf
858.31/858.31 c 858s| 1380k| 322 | 11876k| 8.6 | 15M| 62 | 44 | 362 |4387 | 362 | 683 | 601 | 68k| 21k| 0.000000e+00 | -- | Inf
864.71/864.71 c 865s| 1390k| 323 | 11966k| 8.6 | 15M| 62 | - | 362 |3912 | 0 | 0 | 601 | 68k| 21k| 0.000000e+00 | -- | Inf
871.23/871.29 c 871s| 1400k| 299 | 12059k| 8.6 | 15M| 62 | - | 362 |3904 | 362 | 683 | 601 | 69k| 21k| 0.000000e+00 | -- | Inf
877.61/877.64 c 878s| 1410k| 318 | 12148k| 8.6 | 15M| 62 | - | 362 |3961 | 0 | 0 | 601 | 70k| 21k| 0.000000e+00 | -- | Inf
884.20/884.23 c 884s| 1420k| 318 | 12240k| 8.6 | 15M| 62 | - | 362 |3939 | 0 | 0 | 601 | 70k| 21k| 0.000000e+00 | -- | Inf
890.81/890.88 c 891s| 1430k| 319 | 12333k| 8.6 | 15M| 62 | - | 362 |4058 | 0 | 0 | 601 | 70k| 21k| 0.000000e+00 | -- | Inf
897.52/897.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
897.52/897.61 c 898s| 1440k| 313 | 12429k| 8.6 | 15M| 62 | 50 | 362 |3903 | 362 | 683 | 601 | 71k| 21k| 0.000000e+00 | -- | Inf
904.31/904.31 c 904s| 1450k| 311 | 12524k| 8.6 | 15M| 62 | 20 | 362 |3654 | 362 | 683 | 601 | 71k| 21k| 0.000000e+00 | -- | Inf
910.51/910.59 c 911s| 1460k| 312 | 12614k| 8.6 | 15M| 62 | 13 | 362 |3790 | 362 | 683 | 601 | 72k| 21k| 0.000000e+00 | -- | Inf
916.81/916.83 c 917s| 1470k| 313 | 12702k| 8.6 | 15M| 62 | - | 362 |4129 | 362 | 683 | 601 | 73k| 21k| 0.000000e+00 | -- | Inf
923.01/923.09 c 923s| 1480k| 316 | 12791k| 8.6 | 15M| 62 | 38 | 362 |4250 | 362 | 683 | 601 | 73k| 21k| 0.000000e+00 | -- | Inf
929.52/929.56 c 930s| 1490k| 315 | 12881k| 8.6 | 15M| 62 | 50 | 362 |4002 | 362 | 683 | 601 | 74k| 21k| 0.000000e+00 | -- | Inf
936.51/936.52 c 937s| 1500k| 354 | 12982k| 8.7 | 15M| 62 | 38 | 362 |4229 | 362 | 683 | 601 | 75k| 21k| 0.000000e+00 | -- | Inf
943.51/943.51 c 944s| 1510k| 331 | 13083k| 8.7 | 15M| 62 | 26 | 362 |4164 | 362 | 683 | 601 | 75k| 21k| 0.000000e+00 | -- | Inf
949.81/949.86 c 950s| 1520k| 327 | 13169k| 8.7 | 15M| 62 | - | 362 |4197 | 362 | 683 | 601 | 75k| 22k| 0.000000e+00 | -- | Inf
956.51/956.59 c 957s| 1530k| 319 | 13264k| 8.7 | 15M| 62 | - | 362 |4107 | 0 | 0 | 601 | 76k| 22k| 0.000000e+00 | -- | Inf
963.31/963.35 c 963s| 1540k| 318 | 13361k| 8.7 | 15M| 62 | - | 362 |4140 | 0 | 0 | 601 | 76k| 22k| 0.000000e+00 | -- | Inf
969.71/969.70 c 970s| 1550k| 321 | 13448k| 8.7 | 15M| 62 | - | 362 |4342 | 0 | 0 | 601 | 77k| 22k| 0.000000e+00 | -- | Inf
976.41/976.42 c 976s| 1560k| 334 | 13544k| 8.7 | 15M| 62 | 30 | 362 |4245 | 362 | 683 | 601 | 77k| 22k| 0.000000e+00 | -- | Inf
982.71/982.75 c 983s| 1570k| 326 | 13632k| 8.7 | 15M| 62 | - | 362 |4053 | 0 | 0 | 601 | 78k| 22k| 0.000000e+00 | -- | Inf
989.41/989.46 c 989s| 1580k| 319 | 13730k| 8.7 | 15M| 62 | 34 | 362 |3995 | 362 | 683 | 601 | 79k| 22k| 0.000000e+00 | -- | Inf
996.31/996.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
996.31/996.35 c 996s| 1590k| 317 | 13818k| 8.7 | 15M| 62 | - | 362 |3934 | 362 | 683 | 601 | 79k| 22k| 0.000000e+00 | -- | Inf
1003.23/1003.26 c 1003s| 1600k| 321 | 13914k| 8.7 | 15M| 62 | - | 362 |3678 | 0 | 0 | 601 | 80k| 23k| 0.000000e+00 | -- | Inf
1009.41/1009.43 c 1009s| 1610k| 319 | 14000k| 8.7 | 15M| 62 | - | 362 |4103 | 0 | 0 | 601 | 81k| 23k| 0.000000e+00 | -- | Inf
1015.91/1015.95 c 1016s| 1620k| 320 | 14093k| 8.7 | 15M| 62 | - | 362 |4141 | 362 | 683 | 601 | 81k| 23k| 0.000000e+00 | -- | Inf
1022.11/1022.15 c 1022s| 1630k| 343 | 14182k| 8.7 | 15M| 62 | - | 362 |4354 | 0 | 0 | 601 | 82k| 23k| 0.000000e+00 | -- | Inf
1028.71/1028.70 c 1029s| 1640k| 329 | 14274k| 8.7 | 15M| 62 | 23 | 362 |4389 | 362 | 683 | 601 | 83k| 23k| 0.000000e+00 | -- | Inf
1035.61/1035.60 c 1036s| 1650k| 307 | 14370k| 8.7 | 15M| 62 | 38 | 362 |3899 | 362 | 683 | 601 | 83k| 23k| 0.000000e+00 | -- | Inf
1041.31/1041.31 c 1041s| 1660k| 305 | 14451k| 8.7 | 15M| 62 | 26 | 362 |3886 | 362 | 683 | 601 | 84k| 23k| 0.000000e+00 | -- | Inf
1047.51/1047.58 c 1048s| 1670k| 294 | 14540k| 8.7 | 15M| 62 | 36 | 362 |3560 | 362 | 683 | 601 | 84k| 23k| 0.000000e+00 | -- | Inf
1054.11/1054.15 c 1054s| 1680k| 289 | 14631k| 8.7 | 15M| 65 | 39 | 362 |3454 | 362 | 683 | 601 | 85k| 23k| 0.000000e+00 | -- | Inf
1061.31/1061.35 c 1061s| 1690k| 295 | 14732k| 8.7 | 15M| 65 | 31 | 362 |3459 | 362 | 683 | 601 | 85k| 23k| 0.000000e+00 | -- | Inf
1067.51/1067.56 c 1068s| 1700k| 294 | 14820k| 8.7 | 15M| 65 | 27 | 362 |3265 | 362 | 683 | 601 | 86k| 23k| 0.000000e+00 | -- | Inf
1074.11/1074.12 c 1074s| 1710k| 294 | 14914k| 8.7 | 15M| 65 | 43 | 362 |3262 | 362 | 683 | 601 | 86k| 23k| 0.000000e+00 | -- | Inf
1081.41/1081.46 c 1081s| 1720k| 297 | 15024k| 8.7 | 15M| 65 | - | 362 |3282 | 362 | 683 | 601 | 86k| 23k| 0.000000e+00 | -- | Inf
1087.92/1087.92 c 1088s| 1730k| 291 | 15118k| 8.7 | 15M| 65 | 26 | 362 |3428 | 362 | 683 | 601 | 87k| 23k| 0.000000e+00 | -- | Inf
1093.51/1093.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1093.51/1093.52 c 1094s| 1740k| 290 | 15194k| 8.7 | 15M| 65 | 34 | 362 |3581 | 362 | 683 | 601 | 88k| 23k| 0.000000e+00 | -- | Inf
1099.41/1099.47 c 1099s| 1750k| 282 | 15277k| 8.7 | 15M| 65 | - | 362 |3617 | 0 | 0 | 601 | 88k| 24k| 0.000000e+00 | -- | Inf
1106.63/1106.65 c 1107s| 1760k| 275 | 15374k| 8.7 | 14M| 65 | - | 362 |3231 | 0 | 0 | 601 | 89k| 24k| 0.000000e+00 | -- | Inf
1113.51/1113.52 c 1114s| 1770k| 252 | 15467k| 8.7 | 14M| 65 | - | 362 |2821 | 0 | 0 | 601 | 89k| 24k| 0.000000e+00 | -- | Inf
1119.72/1119.78 c 1120s| 1780k| 256 | 15558k| 8.7 | 14M| 65 | - | 362 |2991 | 0 | 0 | 601 | 90k| 24k| 0.000000e+00 | -- | Inf
1125.91/1125.92 c 1126s| 1790k| 259 | 15647k| 8.7 | 14M| 65 | - | 362 |3147 | 362 | 683 | 601 | 91k| 24k| 0.000000e+00 | -- | Inf
1131.93/1131.92 c 1132s| 1800k| 286 | 15732k| 8.7 | 15M| 65 | - | 362 |3448 | 0 | 0 | 601 | 91k| 24k| 0.000000e+00 | -- | Inf
1138.01/1138.00 c 1138s| 1810k| 302 | 15818k| 8.7 | 15M| 65 | 34 | 362 |3617 | 362 | 683 | 601 | 92k| 24k| 0.000000e+00 | -- | Inf
1144.52/1144.52 c 1145s| 1820k| 306 | 15912k| 8.7 | 15M| 65 | - | 362 |3718 | 0 | 0 | 601 | 92k| 24k| 0.000000e+00 | -- | Inf
1151.32/1151.38 c 1151s| 1830k| 278 | 16011k| 8.7 | 15M| 65 | - | 362 |3589 | 0 | 0 | 601 | 93k| 24k| 0.000000e+00 | -- | Inf
1158.12/1158.14 c 1158s| 1840k| 248 | 16106k| 8.8 | 14M| 65 | 39 | 362 |3052 | 362 | 683 | 601 | 93k| 24k| 0.000000e+00 | -- | Inf
1164.72/1164.78 c 1165s| 1850k| 246 | 16201k| 8.8 | 14M| 65 | - | 362 |3075 | 0 | 0 | 601 | 94k| 24k| 0.000000e+00 | -- | Inf
1171.21/1171.25 c 1171s| 1860k| 246 | 16294k| 8.8 | 14M| 65 | 25 | 362 |3314 | 362 | 683 | 601 | 95k| 24k| 0.000000e+00 | -- | Inf
1177.52/1177.56 c 1178s| 1870k| 249 | 16384k| 8.8 | 14M| 65 | 38 | 362 |3420 | 362 | 683 | 601 | 95k| 25k| 0.000000e+00 | -- | Inf
1184.22/1184.26 c 1184s| 1880k| 251 | 16480k| 8.8 | 15M| 65 | - | 362 |3525 | 362 | 683 | 601 | 96k| 25k| 0.000000e+00 | -- | Inf
1192.11/1192.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1192.11/1192.19 c 1192s| 1890k| 255 | 16577k| 8.8 | 14M| 65 | 32 | 362 |3492 | 362 | 683 | 601 | 96k| 25k| 0.000000e+00 | -- | Inf
1198.32/1198.39 c 1198s| 1900k| 264 | 16664k| 8.8 | 15M| 65 | 22 | 362 |3742 | 362 | 683 | 601 | 97k| 25k| 0.000000e+00 | -- | Inf
1204.43/1204.50 c 1205s| 1910k| 271 | 16749k| 8.8 | 15M| 65 | 47 | 362 |3928 | 362 | 683 | 601 | 97k| 25k| 0.000000e+00 | -- | Inf
1210.72/1210.79 c 1211s| 1920k| 267 | 16837k| 8.8 | 15M| 65 | - | 362 |3987 | 362 | 683 | 601 | 97k| 25k| 0.000000e+00 | -- | Inf
1217.01/1217.02 c 1217s| 1930k| 287 | 16924k| 8.8 | 15M| 65 | 41 | 362 |4150 | 362 | 683 | 601 | 98k| 25k| 0.000000e+00 | -- | Inf
1223.51/1223.54 c 1224s| 1940k| 258 | 17016k| 8.8 | 15M| 65 | 52 | 362 |3856 | 362 | 683 | 601 | 98k| 25k| 0.000000e+00 | -- | Inf
1229.52/1229.52 c 1230s| 1950k| 257 | 17099k| 8.8 | 14M| 65 | 26 | 362 |3131 | 362 | 683 | 601 | 99k| 25k| 0.000000e+00 | -- | Inf
1235.52/1235.52 c 1236s| 1960k| 252 | 17183k| 8.8 | 14M| 65 | - | 362 |2969 | 0 | 0 | 601 | 99k| 25k| 0.000000e+00 | -- | Inf
1241.72/1241.79 c 1242s| 1970k| 258 | 17272k| 8.8 | 14M| 65 | 30 | 362 |2858 | 362 | 683 | 601 | 99k| 25k| 0.000000e+00 | -- | Inf
1247.52/1247.56 c 1248s| 1980k| 262 | 17352k| 8.8 | 14M| 65 | - | 362 |2808 | 0 | 0 | 601 | 100k| 25k| 0.000000e+00 | -- | Inf
1253.62/1253.63 c 1254s| 1990k| 261 | 17436k| 8.8 | 14M| 65 | 28 | 362 |2856 | 362 | 683 | 601 | 100k| 25k| 0.000000e+00 | -- | Inf
1259.62/1259.61 c 1260s| 2000k| 260 | 17519k| 8.8 | 14M| 65 | 35 | 362 |2884 | 362 | 683 | 601 | 101k| 25k| 0.000000e+00 | -- | Inf
1265.32/1265.33 c 1265s| 2010k| 260 | 17601k| 8.8 | 14M| 65 | - | 362 |3014 | 0 | 0 | 601 | 101k| 25k| 0.000000e+00 | -- | Inf
1271.02/1271.07 c 1271s| 2020k| 260 | 17682k| 8.8 | 14M| 65 | - | 362 |3250 | 0 | 0 | 601 | 102k| 26k| 0.000000e+00 | -- | Inf
1277.62/1277.60 c 1278s| 2030k| 270 | 17779k| 8.8 | 15M| 65 | - | 362 |3213 | 0 | 0 | 601 | 102k| 26k| 0.000000e+00 | -- | Inf
1284.42/1284.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1284.42/1284.42 c 1284s| 2040k| 257 | 17879k| 8.8 | 14M| 65 | - | 362 |3199 | 362 | 683 | 601 | 103k| 26k| 0.000000e+00 | -- | Inf
1290.23/1290.22 c 1290s| 2050k| 260 | 17963k| 8.8 | 15M| 65 | - | 362 |3403 | 0 | 0 | 601 | 103k| 26k| 0.000000e+00 | -- | Inf
1296.22/1296.20 c 1296s| 2060k| 256 | 18048k| 8.8 | 15M| 65 | - | 362 |3417 | 0 | 0 | 601 | 104k| 26k| 0.000000e+00 | -- | Inf
1302.82/1302.80 c 1303s| 2070k| 254 | 18144k| 8.8 | 14M| 65 | 27 | 362 |3041 | 362 | 683 | 601 | 104k| 26k| 0.000000e+00 | -- | Inf
1308.51/1308.57 c 1309s| 2080k| 250 | 18223k| 8.8 | 14M| 65 | - | 362 |3173 | 0 | 0 | 601 | 104k| 26k| 0.000000e+00 | -- | Inf
1314.31/1314.36 c 1314s| 2090k| 256 | 18303k| 8.8 | 14M| 65 | - | 362 |3301 | 0 | 0 | 601 | 105k| 26k| 0.000000e+00 | -- | Inf
1320.32/1320.34 c 1320s| 2100k| 270 | 18387k| 8.8 | 15M| 65 | - | 362 |3474 | 0 | 0 | 601 | 105k| 26k| 0.000000e+00 | -- | Inf
1326.63/1326.65 c 1327s| 2110k| 281 | 18477k| 8.8 | 15M| 65 | - | 362 |3511 | 362 | 683 | 601 | 106k| 26k| 0.000000e+00 | -- | Inf
1333.12/1333.17 c 1333s| 2120k| 256 | 18570k| 8.8 | 15M| 65 | - | 362 |3443 | 0 | 0 | 601 | 106k| 26k| 0.000000e+00 | -- | Inf
1339.42/1339.43 c 1339s| 2130k| 257 | 18657k| 8.8 | 14M| 65 | - | 362 |3025 | 362 | 683 | 601 | 107k| 26k| 0.000000e+00 | -- | Inf
1346.02/1346.05 c 1346s| 2140k| 260 | 18751k| 8.8 | 14M| 65 | 43 | 362 |3032 | 362 | 683 | 601 | 107k| 26k| 0.000000e+00 | -- | Inf
1351.83/1351.82 c 1352s| 2150k| 263 | 18830k| 8.8 | 14M| 65 | - | 362 |3253 | 0 | 0 | 601 | 108k| 26k| 0.000000e+00 | -- | Inf
1357.61/1357.69 c 1358s| 2160k| 265 | 18911k| 8.8 | 15M| 65 | - | 362 |3430 | 0 | 0 | 601 | 108k| 26k| 0.000000e+00 | -- | Inf
1363.92/1363.93 c 1364s| 2170k| 271 | 18999k| 8.8 | 15M| 65 | - | 362 |3492 | 362 | 683 | 601 | 109k| 26k| 0.000000e+00 | -- | Inf
1370.53/1370.52 c 1371s| 2180k| 271 | 19092k| 8.8 | 15M| 65 | - | 362 |3514 | 0 | 0 | 601 | 109k| 26k| 0.000000e+00 | -- | Inf
1377.02/1377.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1377.02/1377.11 c 1377s| 2190k| 275 | 19185k| 8.8 | 15M| 65 | - | 362 |3540 | 0 | 0 | 601 | 110k| 26k| 0.000000e+00 | -- | Inf
1383.42/1383.42 c 1383s| 2200k| 268 | 19275k| 8.8 | 15M| 65 | - | 362 |3638 | 362 | 683 | 601 | 110k| 26k| 0.000000e+00 | -- | Inf
1390.33/1390.37 c 1390s| 2210k| 288 | 19374k| 8.8 | 15M| 70 | 28 | 362 |3587 | 362 | 683 | 601 | 110k| 26k| 0.000000e+00 | -- | Inf
1397.42/1397.48 c 1397s| 2220k| 266 | 19474k| 8.8 | 15M| 70 | 27 | 362 |3418 | 362 | 683 | 601 | 111k| 27k| 0.000000e+00 | -- | Inf
1403.72/1403.76 c 1404s| 2230k| 264 | 19562k| 8.8 | 15M| 70 | 27 | 362 |3386 | 362 | 683 | 601 | 111k| 27k| 0.000000e+00 | -- | Inf
1408.91/1408.98 c 1409s| 2240k| 269 | 19633k| 8.8 | 15M| 70 | - | 362 |3572 | 0 | 0 | 601 | 112k| 27k| 0.000000e+00 | -- | Inf
1414.42/1414.47 c 1414s| 2250k| 264 | 19706k| 8.8 | 15M| 70 | 48 | 362 |3595 | 362 | 683 | 601 | 113k| 27k| 0.000000e+00 | -- | Inf
1419.91/1419.97 c 1420s| 2260k| 270 | 19781k| 8.8 | 15M| 70 | 28 | 362 |3717 | 362 | 683 | 601 | 113k| 27k| 0.000000e+00 | -- | Inf
1425.92/1425.99 c 1426s| 2270k| 271 | 19867k| 8.8 | 15M| 70 | - | 362 |3906 | 362 | 683 | 601 | 114k| 27k| 0.000000e+00 | -- | Inf
1431.62/1431.61 c 1432s| 2280k| 281 | 19945k| 8.7 | 15M| 70 | - | 362 |4139 | 0 | 0 | 601 | 114k| 27k| 0.000000e+00 | -- | Inf
1437.02/1437.01 c 1437s| 2290k| 300 | 20020k| 8.7 | 15M| 70 | 26 | 362 |4388 | 362 | 683 | 601 | 115k| 27k| 0.000000e+00 | -- | Inf
1442.52/1442.55 c 1443s| 2300k| 290 | 20096k| 8.7 | 15M| 70 | 35 | 362 |4374 | 362 | 683 | 601 | 115k| 27k| 0.000000e+00 | -- | Inf
1448.02/1448.03 c 1448s| 2310k| 294 | 20171k| 8.7 | 15M| 70 | - | 362 |4623 | 0 | 0 | 601 | 116k| 27k| 0.000000e+00 | -- | Inf
1453.72/1453.73 c 1454s| 2320k| 291 | 20249k| 8.7 | 15M| 70 | - | 362 |4616 | 362 | 683 | 601 | 116k| 27k| 0.000000e+00 | -- | Inf
1460.12/1460.15 c 1460s| 2330k| 312 | 20341k| 8.7 | 15M| 70 | - | 362 |4809 | 0 | 0 | 601 | 117k| 27k| 0.000000e+00 | -- | Inf
1466.42/1466.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1466.42/1466.49 c 1466s| 2340k| 311 | 20432k| 8.7 | 15M| 70 | 29 | 362 |4887 | 362 | 683 | 601 | 117k| 27k| 0.000000e+00 | -- | Inf
1472.83/1472.87 c 1473s| 2350k| 312 | 20521k| 8.7 | 15M| 70 | - | 362 |4801 | 0 | 0 | 601 | 118k| 27k| 0.000000e+00 | -- | Inf
1478.72/1478.73 c 1479s| 2360k| 310 | 20604k| 8.7 | 15M| 70 | 36 | 362 |4785 | 362 | 683 | 601 | 118k| 27k| 0.000000e+00 | -- | Inf
1484.82/1484.82 c 1485s| 2370k| 324 | 20688k| 8.7 | 15M| 70 | 27 | 362 |4739 | 362 | 683 | 601 | 119k| 27k| 0.000000e+00 | -- | Inf
1490.22/1490.29 c 1490s| 2380k| 342 | 20761k| 8.7 | 15M| 70 | - | 362 |4851 | 0 | 0 | 601 | 119k| 27k| 0.000000e+00 | -- | Inf
1495.62/1495.69 c 1496s| 2390k| 337 | 20833k| 8.7 | 15M| 70 | 23 | 362 |4959 | 362 | 683 | 601 | 120k| 27k| 0.000000e+00 | -- | Inf
1501.21/1501.29 c 1501s| 2400k| 338 | 20910k| 8.7 | 15M| 70 | - | 362 |4991 | 0 | 0 | 601 | 120k| 27k| 0.000000e+00 | -- | Inf
1506.93/1506.96 c 1507s| 2410k| 326 | 20986k| 8.7 | 15M| 70 | 24 | 362 |4969 | 362 | 683 | 601 | 121k| 27k| 0.000000e+00 | -- | Inf
1513.22/1513.26 c 1513s| 2420k| 308 | 21074k| 8.7 | 15M| 70 | 44 | 362 |4649 | 362 | 683 | 601 | 121k| 27k| 0.000000e+00 | -- | Inf
1519.03/1519.03 c 1519s| 2430k| 321 | 21156k| 8.7 | 15M| 70 | 17 | 362 |4688 | 362 | 683 | 601 | 122k| 27k| 0.000000e+00 | -- | Inf
1524.92/1524.92 c 1525s| 2440k| 311 | 21237k| 8.7 | 15M| 70 | - | 362 |4729 | 362 | 683 | 601 | 122k| 28k| 0.000000e+00 | -- | Inf
1530.22/1530.23 c 1530s| 2450k| 310 | 21308k| 8.7 | 15M| 70 | - | 362 |4855 | 0 | 0 | 601 | 123k| 28k| 0.000000e+00 | -- | Inf
1535.32/1535.36 c 1535s| 2460k| 340 | 21376k| 8.7 | 15M| 70 | - | 362 |5032 | 0 | 0 | 601 | 123k| 28k| 0.000000e+00 | -- | Inf
1540.63/1540.63 c 1541s| 2470k| 317 | 21445k| 8.7 | 15M| 70 | 37 | 362 |4920 | 362 | 683 | 601 | 124k| 28k| 0.000000e+00 | -- | Inf
1546.02/1546.05 c 1546s| 2480k| 317 | 21518k| 8.7 | 15M| 70 | - | 362 |4996 | 0 | 0 | 601 | 124k| 28k| 0.000000e+00 | -- | Inf
1552.22/1552.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1552.22/1552.27 c 1552s| 2490k| 304 | 21604k| 8.7 | 15M| 70 | - | 362 |4745 | 362 | 683 | 601 | 125k| 28k| 0.000000e+00 | -- | Inf
1558.02/1558.03 c 1558s| 2500k| 313 | 21684k| 8.7 | 15M| 70 | 26 | 362 |4748 | 362 | 683 | 601 | 125k| 28k| 0.000000e+00 | -- | Inf
1564.13/1564.20 c 1564s| 2510k| 318 | 21770k| 8.7 | 15M| 70 | 38 | 362 |4816 | 362 | 683 | 601 | 126k| 28k| 0.000000e+00 | -- | Inf
1570.02/1570.02 c 1570s| 2520k| 314 | 21850k| 8.7 | 15M| 70 | - | 362 |4577 | 0 | 0 | 601 | 126k| 28k| 0.000000e+00 | -- | Inf
1576.12/1576.13 c 1576s| 2530k| 316 | 21936k| 8.7 | 15M| 70 | 33 | 362 |4623 | 362 | 683 | 601 | 127k| 28k| 0.000000e+00 | -- | Inf
1582.22/1582.21 c 1582s| 2540k| 365 | 22021k| 8.7 | 15M| 70 | - | 362 |4715 | 362 | 683 | 601 | 127k| 28k| 0.000000e+00 | -- | Inf
1588.43/1588.47 c 1588s| 2550k| 327 | 22108k| 8.7 | 15M| 70 | 22 | 362 |4746 | 362 | 683 | 601 | 128k| 28k| 0.000000e+00 | -- | Inf
1594.82/1594.88 c 1595s| 2560k| 325 | 22199k| 8.7 | 15M| 70 | 37 | 362 |4663 | 362 | 683 | 601 | 128k| 28k| 0.000000e+00 | -- | Inf
1601.42/1601.40 c 1601s| 2570k| 349 | 22291k| 8.7 | 15M| 70 | 31 | 362 |4773 | 362 | 683 | 601 | 128k| 28k| 0.000000e+00 | -- | Inf
1607.52/1607.53 c 1608s| 2580k| 354 | 22376k| 8.7 | 15M| 70 | 26 | 362 |4769 | 362 | 683 | 601 | 129k| 28k| 0.000000e+00 | -- | Inf
1613.52/1613.61 c 1614s| 2590k| 342 | 22458k| 8.7 | 15M| 70 | 41 | 362 |4801 | 362 | 683 | 601 | 129k| 28k| 0.000000e+00 | -- | Inf
1619.82/1619.89 c 1620s| 2600k| 347 | 22547k| 8.7 | 15M| 70 | 36 | 362 |4633 | 362 | 683 | 601 | 130k| 28k| 0.000000e+00 | -- | Inf
1626.52/1626.55 c 1627s| 2610k| 353 | 22643k| 8.7 | 15M| 70 | - | 362 |4234 | 0 | 0 | 601 | 130k| 28k| 0.000000e+00 | -- | Inf
1633.12/1633.15 c 1633s| 2620k| 358 | 22738k| 8.7 | 15M| 70 | 22 | 362 |4341 | 362 | 683 | 601 | 130k| 28k| 0.000000e+00 | -- | Inf
1639.62/1639.61 c 1640s| 2630k| 334 | 22830k| 8.7 | 15M| 70 | - | 362 |4299 | 0 | 0 | 601 | 131k| 28k| 0.000000e+00 | -- | Inf
1645.72/1645.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1645.72/1645.72 c 1646s| 2640k| 337 | 22917k| 8.7 | 15M| 70 | - | 362 |4334 | 362 | 683 | 601 | 131k| 28k| 0.000000e+00 | -- | Inf
1651.52/1651.54 c 1652s| 2650k| 338 | 22998k| 8.7 | 15M| 70 | - | 362 |4404 | 0 | 0 | 601 | 132k| 28k| 0.000000e+00 | -- | Inf
1658.22/1658.20 c 1658s| 2660k| 308 | 23093k| 8.7 | 15M| 70 | - | 362 |4228 | 0 | 0 | 601 | 132k| 28k| 0.000000e+00 | -- | Inf
1664.52/1664.50 c 1665s| 2670k| 310 | 23183k| 8.7 | 15M| 70 | 25 | 362 |4311 | 362 | 683 | 601 | 133k| 28k| 0.000000e+00 | -- | Inf
1670.22/1670.26 c 1670s| 2680k| 314 | 23263k| 8.7 | 15M| 70 | - | 362 |4427 | 0 | 0 | 601 | 133k| 28k| 0.000000e+00 | -- | Inf
1676.44/1676.44 c 1676s| 2690k| 312 | 23351k| 8.7 | 15M| 70 | - | 362 |4502 | 0 | 0 | 601 | 134k| 28k| 0.000000e+00 | -- | Inf
1682.42/1682.40 c 1682s| 2700k| 324 | 23434k| 8.7 | 15M| 70 | 29 | 362 |4554 | 362 | 683 | 601 | 134k| 29k| 0.000000e+00 | -- | Inf
1688.63/1688.60 c 1689s| 2710k| 324 | 23522k| 8.7 | 15M| 70 | - | 362 |4565 | 362 | 683 | 601 | 135k| 29k| 0.000000e+00 | -- | Inf
1694.83/1694.86 c 1695s| 2720k| 332 | 23610k| 8.7 | 15M| 70 | 30 | 362 |4671 | 362 | 683 | 601 | 135k| 29k| 0.000000e+00 | -- | Inf
1701.12/1701.16 c 1701s| 2730k| 342 | 23697k| 8.7 | 15M| 70 | - | 362 |4783 | 0 | 0 | 601 | 135k| 29k| 0.000000e+00 | -- | Inf
1707.53/1707.51 c 1708s| 2740k| 349 | 23787k| 8.7 | 15M| 70 | 38 | 362 |4827 | 362 | 683 | 601 | 136k| 29k| 0.000000e+00 | -- | Inf
1713.73/1713.80 c 1714s| 2750k| 343 | 23874k| 8.7 | 16M| 70 | - | 362 |4862 | 362 | 683 | 601 | 136k| 29k| 0.000000e+00 | -- | Inf
1719.82/1719.81 c 1720s| 2760k| 347 | 23958k| 8.7 | 15M| 70 | - | 362 |4514 | 0 | 0 | 601 | 137k| 29k| 0.000000e+00 | -- | Inf
1726.42/1726.41 c 1726s| 2770k| 348 | 24052k| 8.7 | 15M| 70 | 34 | 362 |4477 | 362 | 683 | 601 | 137k| 29k| 0.000000e+00 | -- | Inf
1733.12/1733.15 c 1733s| 2780k| 341 | 24151k| 8.7 | 15M| 70 | 34 | 362 |4327 | 362 | 683 | 601 | 137k| 29k| 0.000000e+00 | -- | Inf
1740.32/1740.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1740.32/1740.31 c 1740s| 2790k| 330 | 24255k| 8.7 | 15M| 70 | 46 | 362 |4382 | 362 | 683 | 601 | 138k| 29k| 0.000000e+00 | -- | Inf
1746.73/1746.74 c 1747s| 2800k| 333 | 24346k| 8.7 | 15M| 70 | - | 362 |4468 | 362 | 683 | 601 | 138k| 29k| 0.000000e+00 | -- | Inf
1753.33/1753.36 c 1753s| 2810k| 353 | 24440k| 8.7 | 15M| 70 | - | 362 |4454 | 362 | 683 | 601 | 139k| 29k| 0.000000e+00 | -- | Inf
1759.02/1759.05 c 1759s| 2820k| 347 | 24518k| 8.7 | 15M| 70 | - | 362 |4598 | 362 | 683 | 601 | 139k| 29k| 0.000000e+00 | -- | Inf
1765.23/1765.21 c 1765s| 2830k| 366 | 24604k| 8.7 | 16M| 70 | 31 | 362 |4668 | 362 | 683 | 601 | 139k| 29k| 0.000000e+00 | -- | Inf
1770.63/1770.60 c 1771s| 2840k| 364 | 24675k| 8.7 | 16M| 70 | - | 362 |4691 | 362 | 683 | 601 | 140k| 29k| 0.000000e+00 | -- | Inf
1777.23/1777.25 c 1777s| 2850k| 393 | 24770k| 8.7 | 16M| 70 | 24 | 362 |4526 | 362 | 683 | 601 | 140k| 29k| 0.000000e+00 | -- | Inf
1784.43/1784.45 c 1784s| 2860k| 401 | 24874k| 8.7 | 16M| 70 | 30 | 362 |4592 | 362 | 683 | 601 | 141k| 29k| 0.000000e+00 | -- | Inf
1790.53/1790.52 c 1791s| 2870k| 386 | 24959k| 8.7 | 16M| 70 | - | 362 |4507 | 362 | 683 | 601 | 141k| 29k| 0.000000e+00 | -- | Inf
1796.72/1796.73 c 1797s| 2880k| 389 | 25044k| 8.7 | 16M| 70 | 32 | 362 |4546 | 362 | 683 | 601 | 141k| 29k| 0.000000e+00 | -- | Inf
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Solving Time (sec) : 1800.00
1800.03/1800.00 c Solving Nodes : 2884655
1800.03/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 s UNKNOWN
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Total Time : 1800.00
1800.03/1800.00 c solving : 1800.00
1800.03/1800.00 c presolving : 0.02 (included in solving)
1800.03/1800.00 c reading : 0.01 (included in solving)
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-3452782-1307067281.opb
1800.03/1800.00 c Variables : 370 (370 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 557 initial, 557 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-3452782-1307067281.opb
1800.03/1800.00 c Variables : 362 (362 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 545 initial, 5105 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 8 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c setppc : 0.00 0 0 0 0 0 12 0 0 0
1800.03/1800.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 0 - - 0 - - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 1452847 0 1 0 1058 5148 0 0 2895720
1800.03/1800.00 c knapsack : 244 5 7248967 0 0 0 18552157 973956 28215530 528 0 0
1800.03/1800.00 c setppc : 181 5 6178269 0 0 0 3641241 3986 8035792 0 0 0
1800.03/1800.00 c logicor : 120+ 5 4763269 0 0 0 93488 19833 4580557 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.03/1800.00 c integral : 50.84 0.00 0.00 50.84 0.00 0.00 0.00
1800.03/1800.00 c knapsack : 78.36 0.01 72.07 0.00 0.00 0.00 6.28
1800.03/1800.00 c setppc : 14.49 0.00 13.70 0.00 0.00 0.00 0.79
1800.03/1800.00 c logicor : 37.37 0.00 37.25 0.00 0.00 0.00 0.12
1800.03/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.03/1800.00 c vbounds : 0 0 0 0
1800.03/1800.00 c rootredcost : 0 0 0 0
1800.03/1800.00 c pseudoobj : 0 0 0 0
1800.03/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.03/1800.00 c vbounds : 0.99 0.99 0.00
1800.03/1800.00 c rootredcost : 0.98 0.98 0.00
1800.03/1800.00 c pseudoobj : 0.75 0.75 0.00
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 21.31 149931 133012 977948 81.6 1570 82.1 -
1800.03/1800.00 c infeasible LP : 32.12 448200 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.00 c applied globally : - - - 137017 19.3 - - -
1800.03/1800.00 c applied locally : - - - 5096 43.1 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 4 - - 294 - (maximal pool size: 2215)
1800.03/1800.00 c redcost : 7.27 1450860 0 0 0 0
1800.03/1800.00 c impliedbounds : 0.00 5 0 0 969 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.22 5 0 0 226 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.21 5 0 0 2218 0
1800.03/1800.00 c cmir : 0.00 0 0 0 0 0
1800.03/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.00 c clique : 0.00 1 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 1 0 0 0 0
1800.03/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.03 1 0 0 0 0
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 50.07 1452847 1058 5148 0 0 2895720
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 0.00 0 0 0 0 0 0
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.00 - 0
1800.03/1800.00 c trivial : 0.00 1 0
1800.03/1800.00 c shiftandpropagate: 0.00 0 0
1800.03/1800.00 c simplerounding : 0.00 0 0
1800.03/1800.00 c zirounding : 0.00 0 0
1800.03/1800.00 c rounding : 0.00 0 0
1800.03/1800.00 c shifting : 0.00 0 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c oneopt : 0.00 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c feaspump : 0.00 0 0
1800.03/1800.00 c clique : 0.00 0 0
1800.03/1800.00 c coefdiving : 0.00 0 0
1800.03/1800.00 c pscostdiving : 0.00 0 0
1800.03/1800.00 c fracdiving : 0.00 0 0
1800.03/1800.00 c veclendiving : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c objpscostdiving : 0.00 0 0
1800.03/1800.00 c rootsoldiving : 0.00 0 0
1800.03/1800.00 c linesearchdiving : 0.00 0 0
1800.03/1800.00 c guideddiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.00 0 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c crossover : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c vbounds : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c subnlp : 0.00 0 0
1800.03/1800.00 c trysol : 0.00 0 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 1313.31 1899018 25092262 13.21 19106.19
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.00 c strong branching : 33.56 29771 466103 15.66 13888.00
1800.03/1800.00 c (at root node) : - 10 2799 279.90 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 2884655
1800.03/1800.00 c nodes (total) : 2884655
1800.03/1800.00 c nodes left : 413
1800.03/1800.00 c max depth : 70
1800.03/1800.00 c max depth (total): 70
1800.03/1800.00 c backtracks : 399131 (13.8%)
1800.03/1800.00 c delayed cutoffs : 10653
1800.03/1800.00 c repropagations : 290862 (765870 domain reductions, 10238 cutoffs)
1800.03/1800.00 c avg switch length: 2.78
1800.03/1800.00 c switching time : 99.28
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 0 (0 improvements)
1800.03/1800.00 c Primal Bound : -
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Root Iterations : 1270
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-3452782-1307067281/watcher-3452782-1307067281 -o /tmp/evaluation-result-3452782-1307067281/solver-3452782-1307067281 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452782-1307067281.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.02 1.69 2/446 7601
/proc/meminfo: memFree=31350380/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=12804 CPUtime=0 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 2120 0 0 0 0 0 0 0 25 0 1 0 818326882 13111296 2072 33554432000 4194304 9128323 140734475320416 18446744073709551615 8009021 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 3201 2086 428 1205 0 1992 0
[startup+0.043278 s]
/proc/loadavg: 2.02 2.02 1.69 2/446 7601
/proc/meminfo: memFree=31350380/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=21308 CPUtime=0.03 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 4547 0 0 0 3 0 0 0 25 0 1 0 818326882 21819392 4234 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 5327 4234 669 1205 0 4118 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21308
[startup+0.100272 s]
/proc/loadavg: 2.02 2.02 1.69 2/446 7601
/proc/meminfo: memFree=31350380/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=22584 CPUtime=0.09 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 7897 0 0 0 8 1 0 0 25 0 1 0 818326882 23126016 4567 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 5646 4567 714 1205 0 4437 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22584
[startup+0.300233 s]
/proc/loadavg: 2.02 2.02 1.69 2/446 7601
/proc/meminfo: memFree=31350380/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=26272 CPUtime=0.29 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 8814 0 0 0 28 1 0 0 25 0 1 0 818326882 26902528 5484 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 6568 5484 715 1205 0 5359 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26272
[startup+0.700223 s]
/proc/loadavg: 2.02 2.02 1.69 2/446 7601
/proc/meminfo: memFree=31350380/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=35536 CPUtime=0.69 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 11156 0 0 0 67 2 0 0 25 0 1 0 818326882 36388864 7825 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 8884 7825 716 1205 0 7675 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35536
[startup+1.50109 s]
/proc/loadavg: 2.02 2.02 1.69 3/447 7602
/proc/meminfo: memFree=31321108/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=35536 CPUtime=1.49 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 11206 0 0 0 142 7 0 0 25 0 1 0 818326882 36388864 7874 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 8884 7874 717 1205 0 7675 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35536
[startup+3.1008 s]
/proc/loadavg: 2.02 2.02 1.69 3/447 7602
/proc/meminfo: memFree=31320284/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=35536 CPUtime=3.09 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 11206 0 0 0 290 19 0 0 25 0 1 0 818326882 36388864 7874 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 8884 7874 717 1205 0 7675 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35536
[startup+6.30017 s]
/proc/loadavg: 2.02 2.02 1.70 3/447 7602
/proc/meminfo: memFree=31319416/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=35536 CPUtime=6.29 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 11207 0 0 0 588 41 0 0 25 0 1 0 818326882 36388864 7875 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 8884 7875 717 1205 0 7675 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35536
[startup+12.701 s]
/proc/loadavg: 2.02 2.02 1.70 3/447 7602
/proc/meminfo: memFree=31318912/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=35684 CPUtime=12.69 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 11247 0 0 0 1184 85 0 0 25 0 1 0 818326882 36540416 7915 33554432000 4194304 9128323 140734475320416 18446744073709551615 7267340 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 8921 7915 717 1205 0 7712 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35684
[startup+25.5009 s]
/proc/loadavg: 2.02 2.02 1.70 3/447 7602
/proc/meminfo: memFree=31319084/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=35956 CPUtime=25.5 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 11309 0 0 0 2379 171 0 0 25 0 1 0 818326882 36818944 7977 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 8989 7977 717 1205 0 7780 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 35956
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 1.71 3/447 7603
/proc/meminfo: memFree=31318332/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=36556 CPUtime=51.09 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 11477 0 0 0 4767 342 0 0 25 0 1 0 818326882 37433344 8140 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 9139 8140 717 1205 0 7930 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 36556
[startup+102.316 s]
/proc/loadavg: 2.08 2.02 1.73 3/447 7604
/proc/meminfo: memFree=31316956/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=36872 CPUtime=102.31 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 11565 0 0 0 9544 687 0 0 25 0 1 0 818326882 37756928 8228 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 9218 8228 717 1205 0 8009 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 36872
[startup+162.301 s]
/proc/loadavg: 2.10 2.05 1.75 3/447 7606
/proc/meminfo: memFree=31315980/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=37640 CPUtime=162.29 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 11755 0 0 0 15136 1093 0 0 25 0 1 0 818326882 38543360 8418 33554432000 4194304 9128323 140734475320416 18446744073709551615 7217854 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 9410 8418 717 1205 0 8201 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 37640
[startup+222.3 s]
/proc/loadavg: 2.07 2.05 1.77 3/447 7608
/proc/meminfo: memFree=31315872/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=37824 CPUtime=222.3 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 11787 0 0 0 20741 1489 0 0 25 0 1 0 818326882 38731776 8450 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 9456 8450 717 1205 0 8247 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 37824
[startup+282.301 s]
/proc/loadavg: 2.02 2.04 1.78 3/447 7609
/proc/meminfo: memFree=31315284/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=37988 CPUtime=282.3 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 11824 0 0 0 26353 1877 0 0 25 0 1 0 818326882 38899712 8487 33554432000 4194304 9128323 140734475320416 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 9497 8487 717 1205 0 8288 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 37988
[startup+342.301 s]
/proc/loadavg: 2.01 2.03 1.79 3/447 7611
/proc/meminfo: memFree=31315296/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=38120 CPUtime=342.3 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 11884 0 0 0 31953 2277 0 0 25 0 1 0 818326882 39034880 8547 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 9530 8547 717 1205 0 8321 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 38120
[startup+402.3 s]
/proc/loadavg: 2.08 2.05 1.81 3/447 7612
/proc/meminfo: memFree=31314972/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=38520 CPUtime=402.3 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 11981 0 0 0 37560 2670 0 0 25 0 1 0 818326882 39444480 8644 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 9630 8644 717 1205 0 8421 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 38520
[startup+462.301 s]
/proc/loadavg: 2.06 2.05 1.83 3/447 7614
/proc/meminfo: memFree=31314516/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=38824 CPUtime=462.3 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 12061 0 0 0 43189 3041 0 0 25 0 1 0 818326882 39755776 8724 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 9706 8724 717 1205 0 8497 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 38824
[startup+522.3 s]
/proc/loadavg: 2.02 2.04 1.83 3/447 7616
/proc/meminfo: memFree=31314056/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=39180 CPUtime=522.3 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 12132 0 0 0 48805 3425 0 0 25 0 1 0 818326882 40120320 8795 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 9795 8795 717 1205 0 8586 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 39180
[startup+582.301 s]
/proc/loadavg: 2.01 2.03 1.84 3/447 7617
/proc/meminfo: memFree=31314188/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=39312 CPUtime=582.31 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 12171 0 0 0 54414 3817 0 0 25 0 1 0 818326882 40255488 8834 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 9828 8834 717 1205 0 8619 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 39312
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 1.97 2.03 1.87 3/447 7652
/proc/meminfo: memFree=31394412/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=40064 CPUtime=822.31 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 12372 0 0 0 76883 5348 0 0 25 0 1 0 818326882 41025536 9035 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 10016 9035 717 1205 0 8807 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 40064
[startup+882.301 s]
/proc/loadavg: 2.15 2.05 1.89 3/447 7653
/proc/meminfo: memFree=31392752/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=40340 CPUtime=882.3 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 12415 0 0 0 82549 5681 0 0 25 0 1 0 818326882 41308160 9078 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 10085 9078 717 1205 0 8876 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 40340
[startup+942.3 s]
/proc/loadavg: 2.13 2.06 1.90 3/447 7655
/proc/meminfo: memFree=31392900/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=40340 CPUtime=942.31 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 12441 0 0 0 88229 6002 0 0 25 0 1 0 818326882 41308160 9104 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 10085 9104 717 1205 0 8876 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 40340
[startup+1002.3 s]
/proc/loadavg: 2.04 2.05 1.91 3/447 7656
/proc/meminfo: memFree=31391588/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=40480 CPUtime=1002.31 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 12447 0 0 0 93910 6321 0 0 25 0 1 0 818326882 41451520 9110 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 10120 9110 717 1205 0 8911 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 40480
[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 1.91 3/447 7658
/proc/meminfo: memFree=31391012/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=40480 CPUtime=1062.31 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 12469 0 0 0 99582 6649 0 0 25 0 1 0 818326882 41451520 9132 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 10120 9132 717 1205 0 8911 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 40480
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 1.91 3/447 7660
/proc/meminfo: memFree=31390432/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=40612 CPUtime=1122.31 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 12498 0 0 0 105247 6984 0 0 25 0 1 0 818326882 41586688 9161 33554432000 4194304 9128323 140734475320416 18446744073709551615 6732552 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 10153 9161 717 1205 0 8944 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 40612
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/447 7661
/proc/meminfo: memFree=31390232/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=40612 CPUtime=1182.31 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 12498 0 0 0 110919 7312 0 0 25 0 1 0 818326882 41586688 9161 33554432000 4194304 9128323 140734475320416 18446744073709551615 6526633 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 10153 9161 717 1205 0 8944 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 40612
[startup+1242.3 s]
/proc/loadavg: 2.13 2.05 1.92 3/447 7663
/proc/meminfo: memFree=31389644/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=40612 CPUtime=1242.31 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 12506 0 0 0 116589 7642 0 0 25 0 1 0 818326882 41586688 9169 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 10153 9169 717 1205 0 8944 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 40612
[startup+1302.3 s]
/proc/loadavg: 2.11 2.05 1.93 3/447 7664
/proc/meminfo: memFree=31388588/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=40612 CPUtime=1302.33 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 12506 0 0 0 122265 7968 0 0 25 0 1 0 818326882 41586688 9169 33554432000 4194304 9128323 140734475320416 18446744073709551615 4793071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 10153 9169 717 1205 0 8944 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 40612
[startup+1362.3 s]
/proc/loadavg: 2.04 2.04 1.93 3/447 7693
/proc/meminfo: memFree=31392968/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=40612 CPUtime=1362.32 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 12506 0 0 0 127900 8332 0 0 25 0 1 0 818326882 41586688 9169 33554432000 4194304 9128323 140734475320416 18446744073709551615 6713353 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 10153 9169 717 1205 0 8944 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 40612
[startup+1422.32 s]
/proc/loadavg: 2.05 2.04 1.93 3/447 7695
/proc/meminfo: memFree=31391308/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=40612 CPUtime=1422.34 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 12507 0 0 0 133515 8719 0 0 25 0 1 0 818326882 41586688 9170 33554432000 4194304 9128323 140734475320416 18446744073709551615 5131359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 10153 9170 717 1205 0 8944 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 40612
[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 1.93 3/447 7696
/proc/meminfo: memFree=31390336/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=40768 CPUtime=1482.32 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 12519 0 0 0 139133 9099 0 0 25 0 1 0 818326882 41746432 9182 33554432000 4194304 9128323 140734475320416 18446744073709551615 7217931 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 10192 9182 717 1205 0 8983 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 40768
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/447 7698
/proc/meminfo: memFree=31390488/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=40768 CPUtime=1542.32 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 12536 0 0 0 144768 9464 0 0 25 0 1 0 818326882 41746432 9199 33554432000 4194304 9128323 140734475320416 18446744073709551615 7217041 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 10192 9199 717 1205 0 8983 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 40768
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/447 7699
/proc/meminfo: memFree=31387532/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=40768 CPUtime=1602.32 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 12538 0 0 0 150390 9842 0 0 25 0 1 0 818326882 41746432 9201 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 10192 9201 717 1205 0 8983 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 40768
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/447 7701
/proc/meminfo: memFree=31387424/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=40768 CPUtime=1662.32 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 12539 0 0 0 156011 10221 0 0 25 0 1 0 818326882 41746432 9202 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 10192 9202 717 1205 0 8983 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 40768
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/447 7703
/proc/meminfo: memFree=31387064/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=40768 CPUtime=1722.32 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 12539 0 0 0 161621 10611 0 0 25 0 1 0 818326882 41746432 9202 33554432000 4194304 9128323 140734475320416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 10192 9202 717 1205 0 8983 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 40768
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/447 7704
/proc/meminfo: memFree=31385360/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=41228 CPUtime=1782.33 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 12614 0 0 0 167238 10995 0 0 25 0 1 0 818326882 42217472 9277 33554432000 4194304 9128323 140734475320416 18446744073709551615 7343048 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/7601/statm: 10307 9277 717 1205 0 9098 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 41228
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/447 7705
/proc/meminfo: memFree=31386072/32950928 swapFree=34365992/67111528
[pid=7601] ppid=7599 vsize=41228 CPUtime=1800.04 cores=1,3,5,7
/proc/7601/stat : 7601 (scip-2.0.1.4.li) R 7599 7601 6518 0 -1 4202496 12640 0 0 0 168899 11105 0 0 18 0 1 0 818326882 42217472 9303 33554432000 4194304 9128323 140734475320416 18446744073709551615 6890240 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/7601/statm: 10307 9303 720 1205 0 9098 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 41228
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.02
CPU time (s): 1800.05
CPU user time (s): 1689
CPU system time (s): 111.056
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 41228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1689
system time used= 111.056
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12640
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= 10
involuntary context switches= 3240
runsolver used 7.74782 second user time and 18.3302 second system time
The end