0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3489042-1307750266.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.01/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.01/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.01/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.01/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.01/0.03 c presolving (5 rounds):
0.01/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.01/0.03 c 12226 implications, 0 cliques
0.01/0.03 c presolved problem has 362 variables (362 bin, 0 int, 0 impl, 0 cont) and 545 constraints
0.01/0.03 c 244 constraints of type <knapsack>
0.01/0.03 c 181 constraints of type <setppc>
0.01/0.03 c 120 constraints of type <logicor>
0.01/0.03 c transformed objective value is always integral (scale: 1)
0.01/0.03 c Presolving Time: 0.02
0.01/0.03 c - non default parameters ----------------------------------------------------------------------
0.01/0.03 c # SCIP version 2.0.1.5
0.01/0.03 c
0.01/0.03 c # frequency for displaying node information lines
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.03 c display/freq = 10000
0.01/0.03 c
0.01/0.03 c # maximal time in seconds to run
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/time = 1797
0.01/0.03 c
0.01/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.03 c limits/memory = 13950
0.01/0.03 c
0.01/0.03 c # solving stops, if the given number of solutions were found (-1: no limit)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.03 c limits/solutions = 1
0.01/0.03 c
0.01/0.03 c # maximal number of separation rounds per node (-1: unlimited)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 5]
0.01/0.03 c separating/maxrounds = 1
0.01/0.03 c
0.01/0.03 c # maximal number of separation rounds in the root node (-1: unlimited)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.03 c separating/maxroundsroot = 5
0.01/0.03 c
0.01/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.03 c # [type: int, range: [1,2], default: 1]
0.01/0.03 c timing/clocktype = 2
0.01/0.03 c
0.01/0.03 c # belongs reading time to solving time?
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c timing/reading = TRUE
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify inequalities
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/linear/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/indicator/addCouplingCons = TRUE
0.01/0.03 c
0.01/0.03 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.01/0.03 c constraints/knapsack/disaggregation = FALSE
0.01/0.03 c
0.01/0.03 c # should presolving try to simplify knapsacks
0.01/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.03 c
0.01/0.03 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.03 c presolving/probing/maxrounds = 0
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.03 c heuristics/coefdiving/freq = -1
0.01/0.03 c
0.01/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.03 c heuristics/coefdiving/maxlpiterquot = 0.075
0.01/0.03 c
0.01/0.03 c # additional number of allowed LP iterations
0.01/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.03 c heuristics/coefdiving/maxlpiterofs = 1500
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 30]
0.01/0.03 c heuristics/crossover/freq = -1
0.01/0.03 c
0.01/0.03 c # number of nodes added to the contingent of the total nodes
0.01/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.01/0.03 c heuristics/crossover/nodesofs = 750
0.01/0.03 c
0.01/0.03 c # number of nodes without incumbent change that heuristic should wait
0.01/0.03 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.01/0.03 c heuristics/crossover/nwaitingnodes = 100
0.01/0.03 c
0.01/0.03 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.01/0.03 c # [type: real, range: [0,1], default: 0.1]
0.01/0.03 c heuristics/crossover/nodesquot = 0.15
0.01/0.03 c
0.01/0.03 c # minimum percentage of integer variables that have to be fixed
0.01/0.03 c # [type: real, range: [0,1], default: 0.666]
0.01/0.03 c heuristics/crossover/minfixingrate = 0.5
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.03 c heuristics/feaspump/freq = -1
0.01/0.03 c
0.01/0.03 c # additional number of allowed LP iterations
0.01/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.03 c heuristics/feaspump/maxlpiterofs = 2000
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.03 c heuristics/fracdiving/freq = -1
0.01/0.03 c
0.01/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.03 c heuristics/fracdiving/maxlpiterquot = 0.075
0.01/0.03 c
0.01/0.03 c # additional number of allowed LP iterations
0.01/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.03 c heuristics/fracdiving/maxlpiterofs = 1500
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.03 c heuristics/guideddiving/freq = -1
0.01/0.03 c
0.01/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.03 c heuristics/guideddiving/maxlpiterquot = 0.075
0.01/0.03 c
0.01/0.03 c # additional number of allowed LP iterations
0.01/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.03 c heuristics/guideddiving/maxlpiterofs = 1500
0.01/0.03 c
0.01/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.03 c heuristics/intdiving/maxlpiterquot = 0.075
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.03 c heuristics/intshifting/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.03 c heuristics/linesearchdiving/freq = -1
0.01/0.03 c
0.01/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.03 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.01/0.03 c
0.01/0.03 c # additional number of allowed LP iterations
0.01/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.03 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.03 c heuristics/objpscostdiving/freq = -1
0.01/0.03 c
0.01/0.03 c # maximal fraction of diving LP iterations compared to total iteration number
0.01/0.03 c # [type: real, range: [0,1], default: 0.01]
0.01/0.03 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.01/0.03 c
0.01/0.03 c # additional number of allowed LP iterations
0.01/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.03 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.03 c heuristics/oneopt/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.03 c heuristics/pscostdiving/freq = -1
0.01/0.03 c
0.01/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.03 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.01/0.03 c
0.01/0.03 c # additional number of allowed LP iterations
0.01/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.03 c heuristics/pscostdiving/maxlpiterofs = 1500
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.03 c heuristics/rens/freq = -1
0.01/0.03 c
0.01/0.03 c # minimum percentage of integer variables that have to be fixable
0.01/0.03 c # [type: real, range: [0,1], default: 0.5]
0.01/0.03 c heuristics/rens/minfixingrate = 0.3
0.01/0.03 c
0.01/0.03 c # number of nodes added to the contingent of the total nodes
0.01/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.01/0.03 c heuristics/rens/nodesofs = 2000
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.03 c heuristics/rootsoldiving/freq = -1
0.01/0.03 c
0.01/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.01/0.03 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.01/0.03 c
0.01/0.03 c # additional number of allowed LP iterations
0.01/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.03 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.03 c heuristics/rounding/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.03 c heuristics/shiftandpropagate/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.03 c heuristics/shifting/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.03 c heuristics/simplerounding/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.03 c heuristics/subnlp/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.03 c heuristics/trivial/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.03 c heuristics/trysol/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.03 c heuristics/undercover/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.03 c heuristics/veclendiving/freq = -1
0.01/0.03 c
0.01/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.03 c heuristics/veclendiving/maxlpiterquot = 0.075
0.01/0.03 c
0.01/0.03 c # additional number of allowed LP iterations
0.01/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.03 c heuristics/veclendiving/maxlpiterofs = 1500
0.01/0.03 c
0.01/0.03 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.03 c heuristics/zirounding/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.03 c separating/cmir/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.03 c separating/flowcover/freq = -1
0.01/0.03 c
0.01/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.03 c separating/rapidlearning/freq = 0
0.01/0.03 c
0.01/0.03 c -----------------------------------------------------------------------------------------------
0.01/0.03 c start solving
0.01/0.03 c
0.01/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.01/0.03 c 0.0s| 1 | 0 | 166 | - |2360k| 0 | 86 | 362 | 545 | 362 | 545 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 672 | - |2994k| 0 | 152 | 362 | 545 | 362 | 804 | 259 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.23 c 0.2s| 1 | 0 | 1038 | - |4654k| 0 | 189 | 362 | 545 | 362 |1045 | 500 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.38 c 0.4s| 1 | 0 | 1185 | - |7368k| 0 | 196 | 362 | 545 | 362 |1123 | 578 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.49 c 0.5s| 1 | 0 | 1219 | - |9781k| 0 | 199 | 362 | 545 | 362 |1143 | 598 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.61 c 0.6s| 1 | 0 | 1270 | - | 11M| 0 | 200 | 362 | 545 | 362 |1146 | 601 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.92 c 0.9s| 1 | 2 | 1270 | - | 11M| 0 | 200 | 362 | 545 | 362 |1146 | 601 | 0 | 10 | 0.000000e+00 | -- | Inf
9.79/9.81 c 9.8s| 10000 | 91 | 81852 | 8.1 | 12M| 37 | - | 362 | 866 | 362 | 683 | 601 | 475 |2265 | 0.000000e+00 | -- | Inf
15.69/15.77 c 15.8s| 20000 | 105 |167211 | 8.3 | 12M| 37 | 40 | 362 | 974 | 362 | 683 | 601 |1011 |2322 | 0.000000e+00 | -- | Inf
22.19/22.27 c 22.3s| 30000 | 111 |253593 | 8.4 | 12M| 37 | 34 | 362 |1129 | 362 | 683 | 601 |1510 |2705 | 0.000000e+00 | -- | Inf
28.19/28.24 c 28.2s| 40000 | 112 |327579 | 8.2 | 12M| 37 | 29 | 362 |1332 | 362 | 683 | 601 |1990 |3242 | 0.000000e+00 | -- | Inf
34.00/34.06 c 34.1s| 50000 | 121 |402027 | 8.0 | 12M| 40 | 19 | 362 |1637 | 362 | 683 | 601 |2593 |3651 | 0.000000e+00 | -- | Inf
40.09/40.14 c 40.1s| 60000 | 121 |480137 | 8.0 | 12M| 40 | 25 | 362 |1730 | 362 | 683 | 601 |3093 |4077 | 0.000000e+00 | -- | Inf
46.29/46.33 c 46.3s| 70000 | 127 |559252 | 8.0 | 12M| 40 | 23 | 362 |1659 | 362 | 683 | 601 |3603 |4486 | 0.000000e+00 | -- | Inf
53.00/53.07 c 53.1s| 80000 | 125 |645823 | 8.1 | 12M| 41 | - | 362 |1491 | 362 | 683 | 601 |4097 |5004 | 0.000000e+00 | -- | Inf
59.79/59.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.79/59.87 c 59.9s| 90000 | 138 |740015 | 8.2 | 12M| 41 | 38 | 362 |1543 | 362 | 683 | 601 |4524 |5286 | 0.000000e+00 | -- | Inf
66.89/66.99 c 67.0s|100000 | 178 |829332 | 8.3 | 13M| 44 | - | 362 |1580 | 0 | 0 | 601 |5003 |5961 | 0.000000e+00 | -- | Inf
73.59/73.67 c 73.7s|110000 | 168 |922232 | 8.4 | 13M| 44 | - | 362 |1656 | 362 | 683 | 601 |5374 |6208 | 0.000000e+00 | -- | Inf
79.79/79.90 c 79.9s|120000 | 158 | 1006k| 8.4 | 13M| 44 | - | 362 |1808 | 362 | 683 | 601 |5823 |6502 | 0.000000e+00 | -- | Inf
85.50/85.54 c 85.5s|130000 | 170 | 1083k| 8.3 | 13M| 49 | 30 | 362 |1978 | 362 | 683 | 601 |6349 |6642 | 0.000000e+00 | -- | Inf
91.60/91.69 c 91.7s|140000 | 155 | 1164k| 8.3 | 13M| 49 | 28 | 362 |1849 | 362 | 683 | 601 |6856 |6990 | 0.000000e+00 | -- | Inf
97.90/97.98 c 98.0s|150000 | 161 | 1250k| 8.3 | 13M| 49 | - | 362 |2033 | 0 | 0 | 601 |7299 |7205 | 0.000000e+00 | -- | Inf
104.29/104.31 c 104s|160000 | 152 | 1337k| 8.4 | 13M| 52 | 39 | 362 |2171 | 362 | 683 | 601 |7721 |7354 | 0.000000e+00 | -- | Inf
110.89/110.99 c 111s|170000 | 147 | 1426k| 8.4 | 13M| 52 | 41 | 362 |2022 | 362 | 683 | 601 |8175 |7721 | 0.000000e+00 | -- | Inf
117.40/117.49 c 117s|180000 | 153 | 1515k| 8.4 | 13M| 52 | 36 | 362 |1971 | 362 | 683 | 601 |8688 |7942 | 0.000000e+00 | -- | Inf
123.69/123.75 c 124s|190000 | 169 | 1602k| 8.4 | 13M| 52 | 22 | 362 |2121 | 362 | 683 | 601 |9122 |8088 | 0.000000e+00 | -- | Inf
129.40/129.46 c 129s|200000 | 162 | 1678k| 8.4 | 13M| 52 | 26 | 362 |2308 | 362 | 683 | 601 |9696 |8232 | 0.000000e+00 | -- | Inf
135.79/135.81 c 136s|210000 | 166 | 1764k| 8.4 | 13M| 52 | 22 | 362 |2406 | 362 | 683 | 601 | 10k|8462 | 0.000000e+00 | -- | Inf
141.70/141.75 c 142s|220000 | 156 | 1845k| 8.4 | 13M| 52 | 55 | 362 |2555 | 362 | 683 | 601 | 10k|8565 | 0.000000e+00 | -- | Inf
148.59/148.62 c 149s|230000 | 163 | 1938k| 8.4 | 13M| 53 | - | 362 |2345 | 0 | 0 | 601 | 11k|8844 | 0.000000e+00 | -- | Inf
154.89/154.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.89/154.98 c 155s|240000 | 164 | 2027k| 8.4 | 13M| 53 | - | 362 |2330 | 0 | 0 | 601 | 11k|8973 | 0.000000e+00 | -- | Inf
161.29/161.39 c 161s|250000 | 165 | 2112k| 8.4 | 13M| 53 | 16 | 362 |2124 | 362 | 683 | 601 | 11k|9272 | 0.000000e+00 | -- | Inf
167.30/167.30 c 167s|260000 | 185 | 2195k| 8.4 | 13M| 53 | - | 362 |2320 | 362 | 683 | 601 | 12k|9396 | 0.000000e+00 | -- | Inf
173.80/173.88 c 174s|270000 | 173 | 2282k| 8.5 | 13M| 53 | - | 362 |2174 | 0 | 0 | 601 | 12k|9749 | 0.000000e+00 | -- | Inf
180.60/180.69 c 181s|280000 | 185 | 2378k| 8.5 | 13M| 53 | 38 | 362 |2259 | 362 | 683 | 601 | 13k|9906 | 0.000000e+00 | -- | Inf
187.19/187.28 c 187s|290000 | 205 | 2470k| 8.5 | 13M| 53 | 27 | 362 |2198 | 362 | 683 | 601 | 13k| 10k| 0.000000e+00 | -- | Inf
193.89/193.98 c 194s|300000 | 194 | 2561k| 8.5 | 13M| 53 | - | 362 |2057 | 0 | 0 | 601 | 13k| 10k| 0.000000e+00 | -- | Inf
200.10/200.19 c 200s|310000 | 184 | 2647k| 8.5 | 13M| 53 | - | 362 |2052 | 362 | 683 | 601 | 14k| 10k| 0.000000e+00 | -- | Inf
206.50/206.56 c 207s|320000 | 183 | 2735k| 8.5 | 13M| 53 | 22 | 362 |2071 | 362 | 683 | 601 | 14k| 10k| 0.000000e+00 | -- | Inf
213.19/213.26 c 213s|330000 | 177 | 2826k| 8.6 | 13M| 53 | - | 362 |2012 | 0 | 0 | 601 | 15k| 10k| 0.000000e+00 | -- | Inf
219.30/219.35 c 219s|340000 | 168 | 2913k| 8.6 | 13M| 53 | - | 362 |2184 | 0 | 0 | 601 | 15k| 10k| 0.000000e+00 | -- | Inf
225.90/225.98 c 226s|350000 | 197 | 3005k| 8.6 | 13M| 53 | - | 362 |2358 | 0 | 0 | 601 | 16k| 11k| 0.000000e+00 | -- | Inf
232.70/232.70 c 233s|360000 | 186 | 3101k| 8.6 | 13M| 53 | - | 362 |2399 | 362 | 683 | 601 | 16k| 11k| 0.000000e+00 | -- | Inf
239.60/239.60 c 240s|370000 | 162 | 3197k| 8.6 | 13M| 53 | - | 362 |2349 | 0 | 0 | 601 | 16k| 11k| 0.000000e+00 | -- | Inf
246.30/246.39 c 246s|380000 | 161 | 3289k| 8.7 | 13M| 53 | - | 362 |2137 | 0 | 0 | 601 | 17k| 11k| 0.000000e+00 | -- | Inf
252.49/252.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
252.49/252.53 c 253s|390000 | 148 | 3374k| 8.7 | 13M| 53 | 26 | 362 |2036 | 362 | 683 | 601 | 17k| 11k| 0.000000e+00 | -- | Inf
258.80/258.86 c 259s|400000 | 156 | 3463k| 8.7 | 13M| 54 | - | 362 |2216 | 0 | 0 | 601 | 18k| 11k| 0.000000e+00 | -- | Inf
265.89/265.96 c 266s|410000 | 194 | 3560k| 8.7 | 13M| 54 | - | 362 |2172 | 0 | 0 | 601 | 18k| 12k| 0.000000e+00 | -- | Inf
271.90/271.97 c 272s|420000 | 197 | 3644k| 8.7 | 13M| 54 | - | 362 |2247 | 0 | 0 | 601 | 18k| 12k| 0.000000e+00 | -- | Inf
278.00/278.05 c 278s|430000 | 199 | 3729k| 8.7 | 13M| 54 | 34 | 362 |2228 | 362 | 683 | 601 | 19k| 12k| 0.000000e+00 | -- | Inf
284.39/284.43 c 284s|440000 | 196 | 3819k| 8.7 | 13M| 54 | - | 362 |2243 | 0 | 0 | 601 | 19k| 12k| 0.000000e+00 | -- | Inf
290.79/290.83 c 291s|450000 | 198 | 3911k| 8.7 | 13M| 54 | 48 | 362 |2316 | 362 | 683 | 601 | 20k| 12k| 0.000000e+00 | -- | Inf
297.20/297.28 c 297s|460000 | 178 | 4003k| 8.7 | 13M| 54 | 47 | 362 |2300 | 362 | 683 | 601 | 20k| 12k| 0.000000e+00 | -- | Inf
304.00/304.03 c 304s|470000 | 175 | 4095k| 8.7 | 13M| 54 | 38 | 362 |2285 | 362 | 683 | 601 | 20k| 12k| 0.000000e+00 | -- | Inf
310.10/310.13 c 310s|480000 | 174 | 4175k| 8.7 | 13M| 54 | - | 362 |2360 | 0 | 0 | 601 | 21k| 13k| 0.000000e+00 | -- | Inf
315.89/315.97 c 316s|490000 | 173 | 4255k| 8.7 | 13M| 54 | 30 | 362 |2412 | 362 | 683 | 601 | 21k| 13k| 0.000000e+00 | -- | Inf
322.00/322.04 c 322s|500000 | 170 | 4338k| 8.7 | 13M| 54 | - | 362 |2443 | 362 | 683 | 601 | 22k| 13k| 0.000000e+00 | -- | Inf
328.40/328.43 c 328s|510000 | 181 | 4425k| 8.7 | 13M| 54 | - | 362 |2400 | 362 | 683 | 601 | 22k| 13k| 0.000000e+00 | -- | Inf
335.30/335.37 c 335s|520000 | 186 | 4524k| 8.7 | 13M| 54 | - | 362 |2423 | 0 | 0 | 601 | 23k| 13k| 0.000000e+00 | -- | Inf
341.70/341.78 c 342s|530000 | 199 | 4613k| 8.7 | 13M| 54 | - | 362 |2760 | 0 | 0 | 601 | 23k| 13k| 0.000000e+00 | -- | Inf
348.20/348.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.20/348.28 c 348s|540000 | 207 | 4703k| 8.7 | 13M| 54 | 32 | 362 |3026 | 362 | 683 | 601 | 24k| 13k| 0.000000e+00 | -- | Inf
355.80/355.83 c 356s|550000 | 204 | 4811k| 8.7 | 14M| 54 | - | 362 |3059 | 362 | 683 | 601 | 24k| 13k| 0.000000e+00 | -- | Inf
363.00/363.02 c 363s|560000 | 178 | 4908k| 8.8 | 13M| 56 | 29 | 362 |2473 | 362 | 683 | 601 | 25k| 14k| 0.000000e+00 | -- | Inf
368.90/368.97 c 369s|570000 | 178 | 4990k| 8.8 | 13M| 56 | - | 362 |2449 | 362 | 683 | 601 | 25k| 14k| 0.000000e+00 | -- | Inf
375.00/375.09 c 375s|580000 | 173 | 5076k| 8.8 | 13M| 56 | - | 362 |2617 | 0 | 0 | 601 | 26k| 14k| 0.000000e+00 | -- | Inf
381.90/381.94 c 382s|590000 | 177 | 5173k| 8.8 | 13M| 56 | - | 362 |2616 | 0 | 0 | 601 | 26k| 14k| 0.000000e+00 | -- | Inf
388.90/388.91 c 389s|600000 | 180 | 5275k| 8.8 | 13M| 56 | 40 | 362 |2699 | 362 | 683 | 601 | 27k| 14k| 0.000000e+00 | -- | Inf
395.80/395.90 c 396s|610000 | 173 | 5374k| 8.8 | 13M| 56 | 19 | 362 |2505 | 362 | 683 | 601 | 27k| 14k| 0.000000e+00 | -- | Inf
401.60/401.66 c 402s|620000 | 179 | 5454k| 8.8 | 13M| 56 | - | 362 |2745 | 0 | 0 | 601 | 27k| 14k| 0.000000e+00 | -- | Inf
407.80/407.81 c 408s|630000 | 177 | 5538k| 8.8 | 13M| 56 | 41 | 362 |2849 | 362 | 683 | 601 | 28k| 14k| 0.000000e+00 | -- | Inf
413.69/413.76 c 414s|640000 | 202 | 5617k| 8.8 | 13M| 56 | 30 | 362 |2825 | 362 | 683 | 601 | 28k| 14k| 0.000000e+00 | -- | Inf
419.60/419.63 c 420s|650000 | 201 | 5697k| 8.8 | 14M| 56 | - | 362 |2919 | 0 | 0 | 601 | 29k| 15k| 0.000000e+00 | -- | Inf
425.60/425.61 c 426s|660000 | 198 | 5778k| 8.8 | 14M| 56 | 25 | 362 |2985 | 362 | 683 | 601 | 29k| 15k| 0.000000e+00 | -- | Inf
431.20/431.26 c 431s|670000 | 204 | 5853k| 8.7 | 14M| 56 | 32 | 362 |2972 | 362 | 683 | 601 | 30k| 15k| 0.000000e+00 | -- | Inf
436.50/436.57 c 437s|680000 | 198 | 5922k| 8.7 | 14M| 56 | - | 362 |3242 | 0 | 0 | 601 | 30k| 15k| 0.000000e+00 | -- | Inf
442.60/442.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
442.60/442.62 c 443s|690000 | 180 | 6005k| 8.7 | 14M| 56 | 26 | 362 |3011 | 362 | 683 | 601 | 31k| 15k| 0.000000e+00 | -- | Inf
448.40/448.43 c 448s|700000 | 188 | 6080k| 8.7 | 13M| 56 | 33 | 362 |2853 | 362 | 683 | 601 | 31k| 15k| 0.000000e+00 | -- | Inf
454.10/454.12 c 454s|710000 | 187 | 6157k| 8.7 | 14M| 56 | 30 | 362 |3153 | 362 | 683 | 601 | 32k| 15k| 0.000000e+00 | -- | Inf
459.80/459.82 c 460s|720000 | 177 | 6233k| 8.7 | 14M| 56 | - | 362 |3230 | 362 | 683 | 601 | 33k| 15k| 0.000000e+00 | -- | Inf
466.41/466.49 c 466s|730000 | 183 | 6324k| 8.7 | 14M| 56 | 28 | 362 |3133 | 362 | 683 | 601 | 33k| 15k| 0.000000e+00 | -- | Inf
473.40/473.45 c 473s|740000 | 177 | 6420k| 8.7 | 13M| 56 | 45 | 362 |2844 | 362 | 683 | 601 | 33k| 15k| 0.000000e+00 | -- | Inf
479.30/479.30 c 479s|750000 | 179 | 6500k| 8.7 | 14M| 56 | - | 362 |3055 | 0 | 0 | 601 | 34k| 15k| 0.000000e+00 | -- | Inf
484.80/484.80 c 485s|760000 | 181 | 6572k| 8.6 | 14M| 56 | 33 | 362 |3289 | 362 | 683 | 601 | 34k| 16k| 0.000000e+00 | -- | Inf
490.00/490.06 c 490s|770000 | 188 | 6641k| 8.6 | 14M| 56 | 15 | 362 |3384 | 362 | 683 | 601 | 35k| 16k| 0.000000e+00 | -- | Inf
495.60/495.63 c 496s|780000 | 184 | 6715k| 8.6 | 14M| 56 | - | 362 |3424 | 0 | 0 | 601 | 36k| 16k| 0.000000e+00 | -- | Inf
501.30/501.31 c 501s|790000 | 194 | 6792k| 8.6 | 14M| 56 | 31 | 362 |3562 | 362 | 683 | 601 | 36k| 16k| 0.000000e+00 | -- | Inf
507.11/507.15 c 507s|800000 | 185 | 6871k| 8.6 | 14M| 56 | 20 | 362 |3759 | 362 | 683 | 601 | 37k| 16k| 0.000000e+00 | -- | Inf
513.20/513.21 c 513s|810000 | 189 | 6953k| 8.6 | 14M| 56 | 37 | 362 |3633 | 362 | 683 | 601 | 37k| 16k| 0.000000e+00 | -- | Inf
520.00/520.06 c 520s|820000 | 169 | 7044k| 8.6 | 14M| 56 | 26 | 362 |3119 | 362 | 683 | 601 | 37k| 16k| 0.000000e+00 | -- | Inf
526.21/526.25 c 526s|830000 | 179 | 7128k| 8.6 | 14M| 56 | - | 362 |3032 | 0 | 0 | 601 | 38k| 16k| 0.000000e+00 | -- | Inf
532.41/532.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
532.41/532.49 c 532s|840000 | 174 | 7216k| 8.6 | 14M| 56 | 29 | 362 |3087 | 362 | 683 | 601 | 38k| 16k| 0.000000e+00 | -- | Inf
538.50/538.54 c 539s|850000 | 173 | 7299k| 8.6 | 14M| 56 | 31 | 362 |3157 | 362 | 683 | 601 | 39k| 16k| 0.000000e+00 | -- | Inf
545.10/545.15 c 545s|860000 | 170 | 7393k| 8.6 | 14M| 56 | 23 | 362 |3006 | 362 | 683 | 601 | 39k| 16k| 0.000000e+00 | -- | Inf
551.20/551.22 c 551s|870000 | 168 | 7477k| 8.6 | 14M| 56 | 30 | 362 |3023 | 362 | 683 | 601 | 40k| 17k| 0.000000e+00 | -- | Inf
557.61/557.61 c 558s|880000 | 187 | 7567k| 8.6 | 14M| 56 | - | 362 |3069 | 0 | 0 | 601 | 40k| 17k| 0.000000e+00 | -- | Inf
564.21/564.29 c 564s|890000 | 220 | 7663k| 8.6 | 14M| 60 | 35 | 362 |3144 | 362 | 683 | 601 | 40k| 17k| 0.000000e+00 | -- | Inf
571.21/571.20 c 571s|900000 | 185 | 7764k| 8.6 | 14M| 62 | - | 362 |3161 | 0 | 0 | 601 | 41k| 17k| 0.000000e+00 | -- | Inf
577.51/577.54 c 578s|910000 | 194 | 7850k| 8.6 | 14M| 62 | - | 362 |2672 | 0 | 0 | 601 | 41k| 17k| 0.000000e+00 | -- | Inf
583.60/583.61 c 584s|920000 | 186 | 7932k| 8.6 | 14M| 62 | 33 | 362 |2754 | 362 | 683 | 601 | 42k| 17k| 0.000000e+00 | -- | Inf
590.21/590.21 c 590s|930000 | 182 | 8024k| 8.6 | 14M| 62 | 35 | 362 |2819 | 362 | 683 | 601 | 42k| 17k| 0.000000e+00 | -- | Inf
596.30/596.33 c 596s|940000 | 184 | 8108k| 8.6 | 14M| 62 | 31 | 362 |3216 | 362 | 683 | 601 | 43k| 17k| 0.000000e+00 | -- | Inf
602.51/602.51 c 603s|950000 | 192 | 8193k| 8.6 | 14M| 62 | - | 362 |3207 | 362 | 683 | 601 | 44k| 17k| 0.000000e+00 | -- | Inf
609.71/609.76 c 610s|960000 | 211 | 8297k| 8.6 | 14M| 62 | - | 362 |3543 | 0 | 0 | 601 | 44k| 17k| 0.000000e+00 | -- | Inf
616.70/616.71 c 617s|970000 | 190 | 8394k| 8.7 | 14M| 62 | - | 362 |3374 | 0 | 0 | 601 | 45k| 17k| 0.000000e+00 | -- | Inf
623.10/623.19 c 623s|980000 | 180 | 8482k| 8.7 | 14M| 62 | 18 | 362 |2988 | 362 | 683 | 601 | 45k| 17k| 0.000000e+00 | -- | Inf
629.50/629.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
629.50/629.54 c 630s|990000 | 180 | 8571k| 8.7 | 14M| 62 | 30 | 362 |2764 | 362 | 683 | 601 | 46k| 18k| 0.000000e+00 | -- | Inf
635.41/635.49 c 635s| 1000k| 180 | 8651k| 8.7 | 14M| 62 | - | 362 |2691 | 0 | 0 | 601 | 46k| 18k| 0.000000e+00 | -- | Inf
640.61/640.65 c 641s| 1010k| 194 | 8719k| 8.6 | 14M| 62 | 33 | 362 |2883 | 362 | 683 | 601 | 47k| 18k| 0.000000e+00 | -- | Inf
645.81/645.89 c 646s| 1020k| 184 | 8787k| 8.6 | 14M| 62 | 38 | 362 |2947 | 362 | 683 | 601 | 48k| 18k| 0.000000e+00 | -- | Inf
651.61/651.63 c 652s| 1030k| 186 | 8866k| 8.6 | 14M| 62 | 21 | 362 |2740 | 362 | 683 | 601 | 48k| 18k| 0.000000e+00 | -- | Inf
657.31/657.30 c 657s| 1040k| 191 | 8943k| 8.6 | 14M| 62 | - | 362 |3012 | 0 | 0 | 601 | 49k| 18k| 0.000000e+00 | -- | Inf
663.10/663.14 c 663s| 1050k| 188 | 9023k| 8.6 | 14M| 62 | - | 362 |2951 | 0 | 0 | 601 | 49k| 18k| 0.000000e+00 | -- | Inf
668.71/668.75 c 669s| 1060k| 188 | 9100k| 8.6 | 14M| 62 | - | 362 |3225 | 0 | 0 | 601 | 50k| 18k| 0.000000e+00 | -- | Inf
674.51/674.57 c 675s| 1070k| 183 | 9179k| 8.6 | 14M| 62 | 46 | 362 |3102 | 362 | 683 | 601 | 50k| 18k| 0.000000e+00 | -- | Inf
680.40/680.46 c 680s| 1080k| 183 | 9261k| 8.6 | 14M| 62 | - | 362 |3028 | 0 | 0 | 601 | 51k| 18k| 0.000000e+00 | -- | Inf
687.00/687.00 c 687s| 1090k| 185 | 9351k| 8.6 | 14M| 62 | - | 362 |3057 | 0 | 0 | 601 | 51k| 18k| 0.000000e+00 | -- | Inf
692.80/692.86 c 693s| 1100k| 190 | 9432k| 8.6 | 14M| 62 | - | 362 |3066 | 0 | 0 | 601 | 52k| 18k| 0.000000e+00 | -- | Inf
698.30/698.35 c 698s| 1110k| 175 | 9504k| 8.6 | 14M| 62 | - | 362 |3225 | 0 | 0 | 601 | 52k| 18k| 0.000000e+00 | -- | Inf
703.80/703.88 c 704s| 1120k| 177 | 9577k| 8.6 | 14M| 62 | - | 362 |3141 | 0 | 0 | 601 | 53k| 19k| 0.000000e+00 | -- | Inf
710.10/710.11 c 710s| 1130k| 185 | 9665k| 8.6 | 14M| 62 | 31 | 362 |3338 | 362 | 683 | 601 | 53k| 19k| 0.000000e+00 | -- | Inf
716.70/716.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
716.70/716.77 c 717s| 1140k| 182 | 9757k| 8.6 | 14M| 62 | 33 | 362 |3318 | 362 | 683 | 601 | 54k| 19k| 0.000000e+00 | -- | Inf
723.00/723.04 c 723s| 1150k| 186 | 9847k| 8.6 | 14M| 62 | - | 362 |3540 | 362 | 683 | 601 | 54k| 19k| 0.000000e+00 | -- | Inf
729.51/729.51 c 730s| 1160k| 189 | 9940k| 8.6 | 14M| 62 | 35 | 362 |3435 | 362 | 683 | 601 | 55k| 19k| 0.000000e+00 | -- | Inf
735.81/735.90 c 736s| 1170k| 193 | 10031k| 8.6 | 14M| 62 | 30 | 362 |3200 | 362 | 683 | 601 | 55k| 19k| 0.000000e+00 | -- | Inf
743.61/743.63 c 744s| 1180k| 208 | 10124k| 8.6 | 14M| 62 | - | 362 |2939 | 0 | 0 | 601 | 56k| 20k| 0.000000e+00 | -- | Inf
749.61/749.63 c 750s| 1190k| 237 | 10207k| 8.6 | 14M| 62 | 40 | 362 |3302 | 362 | 683 | 601 | 56k| 20k| 0.000000e+00 | -- | Inf
755.41/755.41 c 755s| 1200k| 235 | 10286k| 8.6 | 14M| 62 | - | 362 |3286 | 0 | 0 | 601 | 57k| 20k| 0.000000e+00 | -- | Inf
761.50/761.56 c 762s| 1210k| 218 | 10373k| 8.6 | 14M| 62 | 17 | 362 |3419 | 362 | 683 | 601 | 58k| 20k| 0.000000e+00 | -- | Inf
767.31/767.39 c 767s| 1220k| 227 | 10452k| 8.6 | 14M| 62 | - | 362 |3778 | 0 | 0 | 601 | 58k| 20k| 0.000000e+00 | -- | Inf
773.31/773.38 c 773s| 1230k| 229 | 10535k| 8.6 | 14M| 62 | - | 362 |3954 | 0 | 0 | 601 | 59k| 20k| 0.000000e+00 | -- | Inf
779.61/779.69 c 780s| 1240k| 236 | 10623k| 8.6 | 14M| 62 | - | 362 |4062 | 0 | 0 | 601 | 60k| 20k| 0.000000e+00 | -- | Inf
786.21/786.28 c 786s| 1250k| 234 | 10716k| 8.6 | 14M| 62 | - | 362 |4094 | 362 | 683 | 601 | 61k| 20k| 0.000000e+00 | -- | Inf
792.31/792.30 c 792s| 1260k| 251 | 10797k| 8.6 | 15M| 62 | - | 362 |4194 | 0 | 0 | 601 | 61k| 20k| 0.000000e+00 | -- | Inf
798.31/798.37 c 798s| 1270k| 258 | 10879k| 8.6 | 15M| 62 | 14 | 362 |4183 | 362 | 683 | 601 | 62k| 20k| 0.000000e+00 | -- | Inf
804.60/804.63 c 805s| 1280k| 260 | 10964k| 8.6 | 15M| 62 | - | 362 |4355 | 362 | 683 | 601 | 62k| 20k| 0.000000e+00 | -- | Inf
811.21/811.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
811.21/811.26 c 811s| 1290k| 273 | 11057k| 8.6 | 15M| 62 | - | 362 |4334 | 0 | 0 | 601 | 63k| 20k| 0.000000e+00 | -- | Inf
818.11/818.14 c 818s| 1300k| 282 | 11153k| 8.6 | 15M| 62 | - | 362 |4124 | 362 | 683 | 601 | 64k| 20k| 0.000000e+00 | -- | Inf
824.51/824.55 c 825s| 1310k| 300 | 11242k| 8.6 | 15M| 62 | 37 | 362 |4327 | 362 | 683 | 601 | 64k| 20k| 0.000000e+00 | -- | Inf
831.62/831.63 c 832s| 1320k| 299 | 11344k| 8.6 | 15M| 62 | 37 | 362 |4199 | 362 | 683 | 601 | 64k| 20k| 0.000000e+00 | -- | Inf
837.60/837.65 c 838s| 1330k| 308 | 11424k| 8.6 | 15M| 62 | - | 362 |4277 | 0 | 0 | 601 | 65k| 20k| 0.000000e+00 | -- | Inf
843.91/843.93 c 844s| 1340k| 295 | 11509k| 8.6 | 15M| 62 | - | 362 |4357 | 0 | 0 | 601 | 66k| 21k| 0.000000e+00 | -- | Inf
850.11/850.16 c 850s| 1350k| 311 | 11595k| 8.6 | 15M| 62 | 45 | 362 |4315 | 362 | 683 | 601 | 66k| 21k| 0.000000e+00 | -- | Inf
857.11/857.11 c 857s| 1360k| 308 | 11691k| 8.6 | 15M| 62 | - | 362 |4070 | 0 | 0 | 601 | 67k| 21k| 0.000000e+00 | -- | Inf
863.70/863.72 c 864s| 1370k| 322 | 11785k| 8.6 | 15M| 62 | 42 | 362 |4407 | 362 | 683 | 601 | 67k| 21k| 0.000000e+00 | -- | Inf
870.31/870.30 c 870s| 1380k| 322 | 11876k| 8.6 | 15M| 62 | 44 | 362 |4387 | 362 | 683 | 601 | 68k| 21k| 0.000000e+00 | -- | Inf
876.71/876.77 c 877s| 1390k| 323 | 11966k| 8.6 | 15M| 62 | - | 362 |3912 | 0 | 0 | 601 | 68k| 21k| 0.000000e+00 | -- | Inf
883.41/883.44 c 883s| 1400k| 299 | 12059k| 8.6 | 15M| 62 | - | 362 |3904 | 362 | 683 | 601 | 69k| 21k| 0.000000e+00 | -- | Inf
889.81/889.87 c 890s| 1410k| 318 | 12148k| 8.6 | 15M| 62 | - | 362 |3961 | 0 | 0 | 601 | 70k| 21k| 0.000000e+00 | -- | Inf
896.52/896.54 c 897s| 1420k| 318 | 12240k| 8.6 | 15M| 62 | - | 362 |3939 | 0 | 0 | 601 | 70k| 21k| 0.000000e+00 | -- | Inf
903.21/903.28 c 903s| 1430k| 319 | 12333k| 8.6 | 15M| 62 | - | 362 |4058 | 0 | 0 | 601 | 70k| 21k| 0.000000e+00 | -- | Inf
910.01/910.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
910.01/910.09 c 910s| 1440k| 313 | 12429k| 8.6 | 15M| 62 | 50 | 362 |3903 | 362 | 683 | 601 | 71k| 21k| 0.000000e+00 | -- | Inf
916.81/916.88 c 917s| 1450k| 311 | 12524k| 8.6 | 15M| 62 | 20 | 362 |3654 | 362 | 683 | 601 | 71k| 21k| 0.000000e+00 | -- | Inf
923.21/923.26 c 923s| 1460k| 312 | 12614k| 8.6 | 15M| 62 | 13 | 362 |3790 | 362 | 683 | 601 | 72k| 21k| 0.000000e+00 | -- | Inf
929.51/929.58 c 930s| 1470k| 313 | 12702k| 8.6 | 15M| 62 | - | 362 |4129 | 362 | 683 | 601 | 73k| 21k| 0.000000e+00 | -- | Inf
935.91/935.92 c 936s| 1480k| 316 | 12791k| 8.6 | 15M| 62 | 38 | 362 |4250 | 362 | 683 | 601 | 73k| 21k| 0.000000e+00 | -- | Inf
942.42/942.49 c 942s| 1490k| 315 | 12881k| 8.6 | 15M| 62 | 50 | 362 |4002 | 362 | 683 | 601 | 74k| 21k| 0.000000e+00 | -- | Inf
949.51/949.52 c 950s| 1500k| 354 | 12982k| 8.7 | 15M| 62 | 38 | 362 |4229 | 362 | 683 | 601 | 75k| 21k| 0.000000e+00 | -- | Inf
956.51/956.59 c 957s| 1510k| 331 | 13083k| 8.7 | 15M| 62 | 26 | 362 |4164 | 362 | 683 | 601 | 75k| 21k| 0.000000e+00 | -- | Inf
963.01/963.03 c 963s| 1520k| 327 | 13169k| 8.7 | 15M| 62 | - | 362 |4197 | 362 | 683 | 601 | 75k| 22k| 0.000000e+00 | -- | Inf
969.81/969.85 c 970s| 1530k| 319 | 13264k| 8.7 | 15M| 62 | - | 362 |4107 | 0 | 0 | 601 | 76k| 22k| 0.000000e+00 | -- | Inf
976.71/976.70 c 977s| 1540k| 318 | 13361k| 8.7 | 15M| 62 | - | 362 |4140 | 0 | 0 | 601 | 76k| 22k| 0.000000e+00 | -- | Inf
983.11/983.13 c 983s| 1550k| 321 | 13448k| 8.7 | 15M| 62 | - | 362 |4342 | 0 | 0 | 601 | 77k| 22k| 0.000000e+00 | -- | Inf
989.92/989.95 c 990s| 1560k| 334 | 13544k| 8.7 | 15M| 62 | 30 | 362 |4245 | 362 | 683 | 601 | 77k| 22k| 0.000000e+00 | -- | Inf
996.31/996.36 c 996s| 1570k| 326 | 13632k| 8.7 | 15M| 62 | - | 362 |4053 | 0 | 0 | 601 | 78k| 22k| 0.000000e+00 | -- | Inf
1003.11/1003.14 c 1003s| 1580k| 319 | 13730k| 8.7 | 15M| 62 | 34 | 362 |3995 | 362 | 683 | 601 | 79k| 22k| 0.000000e+00 | -- | Inf
1010.12/1010.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1010.12/1010.14 c 1010s| 1590k| 317 | 13818k| 8.7 | 15M| 62 | - | 362 |3934 | 362 | 683 | 601 | 79k| 22k| 0.000000e+00 | -- | Inf
1017.11/1017.15 c 1017s| 1600k| 321 | 13914k| 8.7 | 15M| 62 | - | 362 |3678 | 0 | 0 | 601 | 80k| 23k| 0.000000e+00 | -- | Inf
1023.41/1023.40 c 1023s| 1610k| 319 | 14000k| 8.7 | 15M| 62 | - | 362 |4103 | 0 | 0 | 601 | 81k| 23k| 0.000000e+00 | -- | Inf
1030.02/1030.00 c 1030s| 1620k| 320 | 14093k| 8.7 | 15M| 62 | - | 362 |4141 | 362 | 683 | 601 | 81k| 23k| 0.000000e+00 | -- | Inf
1036.22/1036.28 c 1036s| 1630k| 343 | 14182k| 8.7 | 15M| 62 | - | 362 |4354 | 0 | 0 | 601 | 82k| 23k| 0.000000e+00 | -- | Inf
1042.91/1042.91 c 1043s| 1640k| 329 | 14274k| 8.7 | 15M| 62 | 23 | 362 |4389 | 362 | 683 | 601 | 83k| 23k| 0.000000e+00 | -- | Inf
1049.92/1049.91 c 1050s| 1650k| 307 | 14370k| 8.7 | 15M| 62 | 38 | 362 |3899 | 362 | 683 | 601 | 83k| 23k| 0.000000e+00 | -- | Inf
1055.61/1055.69 c 1056s| 1660k| 305 | 14451k| 8.7 | 15M| 62 | 26 | 362 |3886 | 362 | 683 | 601 | 84k| 23k| 0.000000e+00 | -- | Inf
1062.02/1062.04 c 1062s| 1670k| 294 | 14540k| 8.7 | 15M| 62 | 36 | 362 |3560 | 362 | 683 | 601 | 84k| 23k| 0.000000e+00 | -- | Inf
1068.62/1068.69 c 1069s| 1680k| 289 | 14631k| 8.7 | 15M| 65 | 39 | 362 |3454 | 362 | 683 | 601 | 85k| 23k| 0.000000e+00 | -- | Inf
1075.91/1075.99 c 1076s| 1690k| 295 | 14732k| 8.7 | 15M| 65 | 31 | 362 |3459 | 362 | 683 | 601 | 85k| 23k| 0.000000e+00 | -- | Inf
1082.21/1082.28 c 1082s| 1700k| 294 | 14820k| 8.7 | 15M| 65 | 27 | 362 |3265 | 362 | 683 | 601 | 86k| 23k| 0.000000e+00 | -- | Inf
1088.92/1088.93 c 1089s| 1710k| 294 | 14914k| 8.7 | 15M| 65 | 43 | 362 |3262 | 362 | 683 | 601 | 86k| 23k| 0.000000e+00 | -- | Inf
1096.31/1096.37 c 1096s| 1720k| 297 | 15024k| 8.7 | 15M| 65 | - | 362 |3282 | 362 | 683 | 601 | 86k| 23k| 0.000000e+00 | -- | Inf
1102.91/1102.92 c 1103s| 1730k| 291 | 15118k| 8.7 | 15M| 65 | 26 | 362 |3428 | 362 | 683 | 601 | 87k| 23k| 0.000000e+00 | -- | Inf
1108.62/1108.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1108.62/1108.60 c 1109s| 1740k| 290 | 15194k| 8.7 | 15M| 65 | 34 | 362 |3581 | 362 | 683 | 601 | 88k| 23k| 0.000000e+00 | -- | Inf
1114.61/1114.63 c 1115s| 1750k| 282 | 15277k| 8.7 | 15M| 65 | - | 362 |3617 | 0 | 0 | 601 | 88k| 24k| 0.000000e+00 | -- | Inf
1121.81/1121.89 c 1122s| 1760k| 275 | 15374k| 8.7 | 15M| 65 | - | 362 |3231 | 0 | 0 | 601 | 89k| 24k| 0.000000e+00 | -- | Inf
1128.81/1128.84 c 1129s| 1770k| 252 | 15467k| 8.7 | 14M| 65 | - | 362 |2821 | 0 | 0 | 601 | 89k| 24k| 0.000000e+00 | -- | Inf
1135.12/1135.19 c 1135s| 1780k| 256 | 15558k| 8.7 | 14M| 65 | - | 362 |2991 | 0 | 0 | 601 | 90k| 24k| 0.000000e+00 | -- | Inf
1141.41/1141.40 c 1141s| 1790k| 259 | 15647k| 8.7 | 14M| 65 | - | 362 |3147 | 362 | 683 | 601 | 91k| 24k| 0.000000e+00 | -- | Inf
1147.42/1147.49 c 1147s| 1800k| 286 | 15732k| 8.7 | 15M| 65 | - | 362 |3448 | 0 | 0 | 601 | 91k| 24k| 0.000000e+00 | -- | Inf
1153.62/1153.64 c 1154s| 1810k| 302 | 15818k| 8.7 | 15M| 65 | 34 | 362 |3617 | 362 | 683 | 601 | 92k| 24k| 0.000000e+00 | -- | Inf
1160.22/1160.25 c 1160s| 1820k| 306 | 15912k| 8.7 | 15M| 65 | - | 362 |3718 | 0 | 0 | 601 | 92k| 24k| 0.000000e+00 | -- | Inf
1167.13/1167.20 c 1167s| 1830k| 278 | 16011k| 8.7 | 15M| 65 | - | 362 |3589 | 0 | 0 | 601 | 93k| 24k| 0.000000e+00 | -- | Inf
1174.02/1174.03 c 1174s| 1840k| 248 | 16106k| 8.8 | 14M| 65 | 39 | 362 |3052 | 362 | 683 | 601 | 93k| 24k| 0.000000e+00 | -- | Inf
1180.72/1180.76 c 1181s| 1850k| 246 | 16201k| 8.8 | 14M| 65 | - | 362 |3075 | 0 | 0 | 601 | 94k| 24k| 0.000000e+00 | -- | Inf
1187.31/1187.31 c 1187s| 1860k| 246 | 16294k| 8.8 | 14M| 65 | 25 | 362 |3314 | 362 | 683 | 601 | 95k| 24k| 0.000000e+00 | -- | Inf
1193.62/1193.69 c 1194s| 1870k| 249 | 16384k| 8.8 | 14M| 65 | 38 | 362 |3420 | 362 | 683 | 601 | 95k| 25k| 0.000000e+00 | -- | Inf
1200.41/1200.47 c 1200s| 1880k| 251 | 16480k| 8.8 | 15M| 65 | - | 362 |3525 | 362 | 683 | 601 | 96k| 25k| 0.000000e+00 | -- | Inf
1208.52/1208.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1208.52/1208.51 c 1209s| 1890k| 255 | 16577k| 8.8 | 15M| 65 | 32 | 362 |3492 | 362 | 683 | 601 | 96k| 25k| 0.000000e+00 | -- | Inf
1214.82/1214.80 c 1215s| 1900k| 264 | 16664k| 8.8 | 15M| 65 | 22 | 362 |3742 | 362 | 683 | 601 | 97k| 25k| 0.000000e+00 | -- | Inf
1220.92/1221.00 c 1221s| 1910k| 271 | 16749k| 8.8 | 15M| 65 | 47 | 362 |3928 | 362 | 683 | 601 | 97k| 25k| 0.000000e+00 | -- | Inf
1227.32/1227.38 c 1227s| 1920k| 267 | 16837k| 8.8 | 15M| 65 | - | 362 |3987 | 362 | 683 | 601 | 97k| 25k| 0.000000e+00 | -- | Inf
1233.62/1233.69 c 1234s| 1930k| 287 | 16924k| 8.8 | 15M| 65 | 41 | 362 |4150 | 362 | 683 | 601 | 98k| 25k| 0.000000e+00 | -- | Inf
1240.32/1240.30 c 1240s| 1940k| 258 | 17016k| 8.8 | 15M| 65 | 52 | 362 |3856 | 362 | 683 | 601 | 98k| 25k| 0.000000e+00 | -- | Inf
1246.33/1246.37 c 1246s| 1950k| 257 | 17099k| 8.8 | 14M| 65 | 26 | 362 |3131 | 362 | 683 | 601 | 99k| 25k| 0.000000e+00 | -- | Inf
1252.42/1252.44 c 1252s| 1960k| 252 | 17183k| 8.8 | 14M| 65 | - | 362 |2969 | 0 | 0 | 601 | 99k| 25k| 0.000000e+00 | -- | Inf
1258.72/1258.79 c 1259s| 1970k| 258 | 17272k| 8.8 | 14M| 65 | 30 | 362 |2858 | 362 | 683 | 601 | 99k| 25k| 0.000000e+00 | -- | Inf
1264.62/1264.64 c 1265s| 1980k| 262 | 17352k| 8.8 | 14M| 65 | - | 362 |2808 | 0 | 0 | 601 | 100k| 25k| 0.000000e+00 | -- | Inf
1270.72/1270.79 c 1271s| 1990k| 261 | 17436k| 8.8 | 14M| 65 | 28 | 362 |2856 | 362 | 683 | 601 | 100k| 25k| 0.000000e+00 | -- | Inf
1276.82/1276.85 c 1277s| 2000k| 260 | 17519k| 8.8 | 14M| 65 | 35 | 362 |2884 | 362 | 683 | 601 | 101k| 25k| 0.000000e+00 | -- | Inf
1282.62/1282.64 c 1283s| 2010k| 260 | 17601k| 8.8 | 14M| 65 | - | 362 |3014 | 0 | 0 | 601 | 101k| 25k| 0.000000e+00 | -- | Inf
1288.42/1288.45 c 1288s| 2020k| 260 | 17682k| 8.8 | 14M| 65 | - | 362 |3250 | 0 | 0 | 601 | 102k| 26k| 0.000000e+00 | -- | Inf
1295.02/1295.06 c 1295s| 2030k| 270 | 17779k| 8.8 | 15M| 65 | - | 362 |3213 | 0 | 0 | 601 | 102k| 26k| 0.000000e+00 | -- | Inf
1301.92/1301.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1301.92/1301.96 c 1302s| 2040k| 257 | 17879k| 8.8 | 14M| 65 | - | 362 |3199 | 362 | 683 | 601 | 103k| 26k| 0.000000e+00 | -- | Inf
1307.83/1307.83 c 1308s| 2050k| 260 | 17963k| 8.8 | 15M| 65 | - | 362 |3403 | 0 | 0 | 601 | 103k| 26k| 0.000000e+00 | -- | Inf
1313.82/1313.89 c 1314s| 2060k| 256 | 18048k| 8.8 | 15M| 65 | - | 362 |3417 | 0 | 0 | 601 | 104k| 26k| 0.000000e+00 | -- | Inf
1320.52/1320.57 c 1321s| 2070k| 254 | 18144k| 8.8 | 14M| 65 | 27 | 362 |3041 | 362 | 683 | 601 | 104k| 26k| 0.000000e+00 | -- | Inf
1326.42/1326.42 c 1326s| 2080k| 250 | 18223k| 8.8 | 14M| 65 | - | 362 |3173 | 0 | 0 | 601 | 104k| 26k| 0.000000e+00 | -- | Inf
1332.22/1332.28 c 1332s| 2090k| 256 | 18303k| 8.8 | 15M| 65 | - | 362 |3301 | 0 | 0 | 601 | 105k| 26k| 0.000000e+00 | -- | Inf
1338.33/1338.34 c 1338s| 2100k| 270 | 18387k| 8.8 | 15M| 65 | - | 362 |3474 | 0 | 0 | 601 | 105k| 26k| 0.000000e+00 | -- | Inf
1344.72/1344.74 c 1345s| 2110k| 281 | 18477k| 8.8 | 15M| 65 | - | 362 |3511 | 362 | 683 | 601 | 106k| 26k| 0.000000e+00 | -- | Inf
1351.32/1351.34 c 1351s| 2120k| 256 | 18570k| 8.8 | 15M| 65 | - | 362 |3443 | 0 | 0 | 601 | 106k| 26k| 0.000000e+00 | -- | Inf
1357.62/1357.68 c 1358s| 2130k| 257 | 18657k| 8.8 | 14M| 65 | - | 362 |3025 | 362 | 683 | 601 | 107k| 26k| 0.000000e+00 | -- | Inf
1364.32/1364.37 c 1364s| 2140k| 260 | 18751k| 8.8 | 14M| 65 | 43 | 362 |3032 | 362 | 683 | 601 | 107k| 26k| 0.000000e+00 | -- | Inf
1370.23/1370.22 c 1370s| 2150k| 263 | 18830k| 8.8 | 15M| 65 | - | 362 |3253 | 0 | 0 | 601 | 108k| 26k| 0.000000e+00 | -- | Inf
1376.12/1376.16 c 1376s| 2160k| 265 | 18911k| 8.8 | 15M| 65 | - | 362 |3430 | 0 | 0 | 601 | 108k| 26k| 0.000000e+00 | -- | Inf
1382.43/1382.47 c 1382s| 2170k| 271 | 18999k| 8.8 | 15M| 65 | - | 362 |3492 | 362 | 683 | 601 | 109k| 26k| 0.000000e+00 | -- | Inf
1389.12/1389.14 c 1389s| 2180k| 271 | 19092k| 8.8 | 15M| 65 | - | 362 |3514 | 0 | 0 | 601 | 109k| 26k| 0.000000e+00 | -- | Inf
1395.83/1395.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1395.83/1395.80 c 1396s| 2190k| 275 | 19185k| 8.8 | 15M| 65 | - | 362 |3540 | 0 | 0 | 601 | 110k| 26k| 0.000000e+00 | -- | Inf
1402.12/1402.19 c 1402s| 2200k| 268 | 19275k| 8.8 | 15M| 65 | - | 362 |3638 | 362 | 683 | 601 | 110k| 26k| 0.000000e+00 | -- | Inf
1409.23/1409.23 c 1409s| 2210k| 288 | 19374k| 8.8 | 15M| 70 | 28 | 362 |3587 | 362 | 683 | 601 | 110k| 26k| 0.000000e+00 | -- | Inf
1416.43/1416.41 c 1416s| 2220k| 266 | 19474k| 8.8 | 15M| 70 | 27 | 362 |3418 | 362 | 683 | 601 | 111k| 27k| 0.000000e+00 | -- | Inf
1422.72/1422.77 c 1423s| 2230k| 264 | 19562k| 8.8 | 15M| 70 | 27 | 362 |3386 | 362 | 683 | 601 | 111k| 27k| 0.000000e+00 | -- | Inf
1428.02/1428.07 c 1428s| 2240k| 269 | 19633k| 8.8 | 15M| 70 | - | 362 |3572 | 0 | 0 | 601 | 112k| 27k| 0.000000e+00 | -- | Inf
1433.63/1433.63 c 1434s| 2250k| 264 | 19706k| 8.8 | 15M| 70 | 48 | 362 |3595 | 362 | 683 | 601 | 113k| 27k| 0.000000e+00 | -- | Inf
1439.22/1439.20 c 1439s| 2260k| 270 | 19781k| 8.8 | 15M| 70 | 28 | 362 |3717 | 362 | 683 | 601 | 113k| 27k| 0.000000e+00 | -- | Inf
1445.22/1445.29 c 1445s| 2270k| 271 | 19867k| 8.8 | 15M| 70 | - | 362 |3906 | 362 | 683 | 601 | 114k| 27k| 0.000000e+00 | -- | Inf
1450.93/1450.98 c 1451s| 2280k| 281 | 19945k| 8.7 | 15M| 70 | - | 362 |4139 | 0 | 0 | 601 | 114k| 27k| 0.000000e+00 | -- | Inf
1456.43/1456.45 c 1456s| 2290k| 300 | 20020k| 8.7 | 15M| 70 | 26 | 362 |4388 | 362 | 683 | 601 | 115k| 27k| 0.000000e+00 | -- | Inf
1462.03/1462.05 c 1462s| 2300k| 290 | 20096k| 8.7 | 15M| 70 | 35 | 362 |4374 | 362 | 683 | 601 | 115k| 27k| 0.000000e+00 | -- | Inf
1467.62/1467.60 c 1468s| 2310k| 294 | 20171k| 8.7 | 15M| 70 | - | 362 |4623 | 0 | 0 | 601 | 116k| 27k| 0.000000e+00 | -- | Inf
1473.32/1473.38 c 1473s| 2320k| 291 | 20249k| 8.7 | 15M| 70 | - | 362 |4616 | 362 | 683 | 601 | 116k| 27k| 0.000000e+00 | -- | Inf
1479.83/1479.87 c 1480s| 2330k| 312 | 20341k| 8.7 | 15M| 70 | - | 362 |4809 | 0 | 0 | 601 | 117k| 27k| 0.000000e+00 | -- | Inf
1486.22/1486.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1486.22/1486.30 c 1486s| 2340k| 311 | 20432k| 8.7 | 15M| 70 | 29 | 362 |4887 | 362 | 683 | 601 | 117k| 27k| 0.000000e+00 | -- | Inf
1492.73/1492.75 c 1493s| 2350k| 312 | 20521k| 8.7 | 15M| 70 | - | 362 |4801 | 0 | 0 | 601 | 118k| 27k| 0.000000e+00 | -- | Inf
1498.63/1498.69 c 1499s| 2360k| 310 | 20604k| 8.7 | 15M| 70 | 36 | 362 |4785 | 362 | 683 | 601 | 118k| 27k| 0.000000e+00 | -- | Inf
1504.83/1504.85 c 1505s| 2370k| 324 | 20688k| 8.7 | 15M| 70 | 27 | 362 |4739 | 362 | 683 | 601 | 119k| 27k| 0.000000e+00 | -- | Inf
1510.43/1510.40 c 1510s| 2380k| 342 | 20761k| 8.7 | 15M| 70 | - | 362 |4851 | 0 | 0 | 601 | 119k| 27k| 0.000000e+00 | -- | Inf
1515.83/1515.87 c 1516s| 2390k| 337 | 20833k| 8.7 | 15M| 70 | 23 | 362 |4959 | 362 | 683 | 601 | 120k| 27k| 0.000000e+00 | -- | Inf
1521.53/1521.55 c 1522s| 2400k| 338 | 20910k| 8.7 | 15M| 70 | - | 362 |4991 | 0 | 0 | 601 | 120k| 27k| 0.000000e+00 | -- | Inf
1527.33/1527.30 c 1527s| 2410k| 326 | 20986k| 8.7 | 15M| 70 | 24 | 362 |4969 | 362 | 683 | 601 | 121k| 27k| 0.000000e+00 | -- | Inf
1533.62/1533.69 c 1534s| 2420k| 308 | 21074k| 8.7 | 15M| 70 | 44 | 362 |4649 | 362 | 683 | 601 | 121k| 27k| 0.000000e+00 | -- | Inf
1539.53/1539.54 c 1540s| 2430k| 321 | 21156k| 8.7 | 15M| 70 | 17 | 362 |4688 | 362 | 683 | 601 | 122k| 27k| 0.000000e+00 | -- | Inf
1545.43/1545.49 c 1545s| 2440k| 311 | 21237k| 8.7 | 15M| 70 | - | 362 |4729 | 362 | 683 | 601 | 122k| 28k| 0.000000e+00 | -- | Inf
1550.83/1550.88 c 1551s| 2450k| 310 | 21308k| 8.7 | 15M| 70 | - | 362 |4855 | 0 | 0 | 601 | 123k| 28k| 0.000000e+00 | -- | Inf
1556.02/1556.08 c 1556s| 2460k| 340 | 21376k| 8.7 | 16M| 70 | - | 362 |5032 | 0 | 0 | 601 | 123k| 28k| 0.000000e+00 | -- | Inf
1561.43/1561.42 c 1561s| 2470k| 317 | 21445k| 8.7 | 15M| 70 | 37 | 362 |4920 | 362 | 683 | 601 | 124k| 28k| 0.000000e+00 | -- | Inf
1566.93/1566.92 c 1567s| 2480k| 317 | 21518k| 8.7 | 15M| 70 | - | 362 |4996 | 0 | 0 | 601 | 124k| 28k| 0.000000e+00 | -- | Inf
1573.23/1573.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1573.23/1573.22 c 1573s| 2490k| 304 | 21604k| 8.7 | 15M| 70 | - | 362 |4745 | 362 | 683 | 601 | 125k| 28k| 0.000000e+00 | -- | Inf
1579.03/1579.07 c 1579s| 2500k| 313 | 21684k| 8.7 | 15M| 70 | 26 | 362 |4748 | 362 | 683 | 601 | 125k| 28k| 0.000000e+00 | -- | Inf
1585.33/1585.32 c 1585s| 2510k| 318 | 21770k| 8.7 | 15M| 70 | 38 | 362 |4816 | 362 | 683 | 601 | 126k| 28k| 0.000000e+00 | -- | Inf
1591.23/1591.21 c 1591s| 2520k| 314 | 21850k| 8.7 | 15M| 70 | - | 362 |4577 | 0 | 0 | 601 | 126k| 28k| 0.000000e+00 | -- | Inf
1597.43/1597.41 c 1597s| 2530k| 316 | 21936k| 8.7 | 15M| 70 | 33 | 362 |4623 | 362 | 683 | 601 | 127k| 28k| 0.000000e+00 | -- | Inf
1603.53/1603.58 c 1604s| 2540k| 365 | 22021k| 8.7 | 16M| 70 | - | 362 |4715 | 362 | 683 | 601 | 127k| 28k| 0.000000e+00 | -- | Inf
1609.93/1609.93 c 1610s| 2550k| 327 | 22108k| 8.7 | 15M| 70 | 22 | 362 |4746 | 362 | 683 | 601 | 128k| 28k| 0.000000e+00 | -- | Inf
1616.43/1616.43 c 1616s| 2560k| 325 | 22199k| 8.7 | 15M| 70 | 37 | 362 |4663 | 362 | 683 | 601 | 128k| 28k| 0.000000e+00 | -- | Inf
1623.02/1623.04 c 1623s| 2570k| 349 | 22291k| 8.7 | 16M| 70 | 31 | 362 |4773 | 362 | 683 | 601 | 128k| 28k| 0.000000e+00 | -- | Inf
1629.23/1629.25 c 1629s| 2580k| 354 | 22376k| 8.7 | 16M| 70 | 26 | 362 |4769 | 362 | 683 | 601 | 129k| 28k| 0.000000e+00 | -- | Inf
1635.43/1635.42 c 1635s| 2590k| 342 | 22458k| 8.7 | 16M| 70 | 41 | 362 |4801 | 362 | 683 | 601 | 129k| 28k| 0.000000e+00 | -- | Inf
1641.73/1641.79 c 1642s| 2600k| 347 | 22547k| 8.7 | 15M| 70 | 36 | 362 |4633 | 362 | 683 | 601 | 130k| 28k| 0.000000e+00 | -- | Inf
1648.53/1648.54 c 1649s| 2610k| 353 | 22643k| 8.7 | 15M| 70 | - | 362 |4234 | 0 | 0 | 601 | 130k| 28k| 0.000000e+00 | -- | Inf
1655.23/1655.23 c 1655s| 2620k| 358 | 22738k| 8.7 | 15M| 70 | 22 | 362 |4341 | 362 | 683 | 601 | 130k| 28k| 0.000000e+00 | -- | Inf
1661.73/1661.78 c 1662s| 2630k| 334 | 22830k| 8.7 | 15M| 70 | - | 362 |4299 | 0 | 0 | 601 | 131k| 28k| 0.000000e+00 | -- | Inf
1667.93/1667.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1667.93/1667.98 c 1668s| 2640k| 337 | 22917k| 8.7 | 15M| 70 | - | 362 |4334 | 362 | 683 | 601 | 131k| 28k| 0.000000e+00 | -- | Inf
1673.83/1673.88 c 1674s| 2650k| 338 | 22998k| 8.7 | 15M| 70 | - | 362 |4404 | 0 | 0 | 601 | 132k| 28k| 0.000000e+00 | -- | Inf
1680.63/1680.64 c 1681s| 2660k| 308 | 23093k| 8.7 | 15M| 70 | - | 362 |4228 | 0 | 0 | 601 | 132k| 28k| 0.000000e+00 | -- | Inf
1687.03/1687.03 c 1687s| 2670k| 310 | 23183k| 8.7 | 15M| 70 | 25 | 362 |4311 | 362 | 683 | 601 | 133k| 28k| 0.000000e+00 | -- | Inf
1692.83/1692.87 c 1693s| 2680k| 314 | 23263k| 8.7 | 15M| 70 | - | 362 |4427 | 0 | 0 | 601 | 133k| 28k| 0.000000e+00 | -- | Inf
1699.13/1699.14 c 1699s| 2690k| 312 | 23351k| 8.7 | 15M| 70 | - | 362 |4502 | 0 | 0 | 601 | 134k| 28k| 0.000000e+00 | -- | Inf
1705.12/1705.19 c 1705s| 2700k| 324 | 23434k| 8.7 | 15M| 70 | 29 | 362 |4554 | 362 | 683 | 601 | 134k| 29k| 0.000000e+00 | -- | Inf
1711.43/1711.48 c 1711s| 2710k| 324 | 23522k| 8.7 | 15M| 70 | - | 362 |4565 | 362 | 683 | 601 | 135k| 29k| 0.000000e+00 | -- | Inf
1717.83/1717.82 c 1718s| 2720k| 332 | 23610k| 8.7 | 15M| 70 | 30 | 362 |4671 | 362 | 683 | 601 | 135k| 29k| 0.000000e+00 | -- | Inf
1724.23/1724.21 c 1724s| 2730k| 342 | 23697k| 8.7 | 16M| 70 | - | 362 |4783 | 0 | 0 | 601 | 135k| 29k| 0.000000e+00 | -- | Inf
1730.63/1730.66 c 1731s| 2740k| 349 | 23787k| 8.7 | 16M| 70 | 38 | 362 |4827 | 362 | 683 | 601 | 136k| 29k| 0.000000e+00 | -- | Inf
1737.03/1737.04 c 1737s| 2750k| 343 | 23874k| 8.7 | 16M| 70 | - | 362 |4862 | 362 | 683 | 601 | 136k| 29k| 0.000000e+00 | -- | Inf
1743.13/1743.13 c 1743s| 2760k| 347 | 23958k| 8.7 | 15M| 70 | - | 362 |4514 | 0 | 0 | 601 | 137k| 29k| 0.000000e+00 | -- | Inf
1749.83/1749.82 c 1750s| 2770k| 348 | 24052k| 8.7 | 15M| 70 | 34 | 362 |4477 | 362 | 683 | 601 | 137k| 29k| 0.000000e+00 | -- | Inf
1756.64/1756.65 c 1757s| 2780k| 341 | 24151k| 8.7 | 15M| 70 | 34 | 362 |4327 | 362 | 683 | 601 | 137k| 29k| 0.000000e+00 | -- | Inf
1763.93/1763.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1763.93/1763.91 c 1764s| 2790k| 330 | 24255k| 8.7 | 15M| 70 | 46 | 362 |4382 | 362 | 683 | 601 | 138k| 29k| 0.000000e+00 | -- | Inf
1770.43/1770.43 c 1770s| 2800k| 333 | 24346k| 8.7 | 15M| 70 | - | 362 |4468 | 362 | 683 | 601 | 138k| 29k| 0.000000e+00 | -- | Inf
1777.13/1777.15 c 1777s| 2810k| 353 | 24440k| 8.7 | 15M| 70 | - | 362 |4454 | 362 | 683 | 601 | 139k| 29k| 0.000000e+00 | -- | Inf
1782.93/1782.93 c 1783s| 2820k| 347 | 24518k| 8.7 | 15M| 70 | - | 362 |4598 | 362 | 683 | 601 | 139k| 29k| 0.000000e+00 | -- | Inf
1789.13/1789.17 c 1789s| 2830k| 366 | 24604k| 8.7 | 16M| 70 | 31 | 362 |4668 | 362 | 683 | 601 | 139k| 29k| 0.000000e+00 | -- | Inf
1794.63/1794.64 c 1795s| 2840k| 364 | 24675k| 8.7 | 16M| 70 | - | 362 |4691 | 362 | 683 | 601 | 140k| 29k| 0.000000e+00 | -- | Inf
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 2843862
1797.03/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.03/1797.00 c Dual Bound : +0.00000000000000e+00
1797.03/1797.00 c Gap : infinite
1797.03/1797.00 s UNKNOWN
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Total Time : 1797.00
1797.03/1797.00 c solving : 1797.00
1797.03/1797.00 c presolving : 0.02 (included in solving)
1797.03/1797.00 c reading : 0.01 (included in solving)
1797.03/1797.00 c Original Problem :
1797.03/1797.00 c Problem name : HOME/instance-3489042-1307750266.opb
1797.03/1797.00 c Variables : 370 (370 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 557 initial, 557 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3489042-1307750266.opb
1797.03/1797.00 c Variables : 362 (362 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 545 initial, 5105 maximal
1797.03/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c implics : 0.00 0 8 0 0 0 0 0 0 0
1797.03/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c setppc : 0.00 0 0 0 0 0 12 0 0 0
1797.03/1797.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c root node : - 0 - - 0 - - - - -
1797.03/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c integral : 0 0 0 1432388 0 1 0 1053 5127 0 0 2854848
1797.03/1797.00 c knapsack : 244 5 7147902 0 1 0 18364143 960649 27808163 528 0 0
1797.03/1797.00 c setppc : 181 5 6091600 0 1 0 3602661 3970 7912263 0 0 0
1797.03/1797.00 c logicor : 120+ 5 4697785 0 1 0 92884 19697 4508079 0 0 0
1797.03/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.03/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.00 c integral : 50.93 0.00 0.00 50.93 0.00 0.00 0.00
1797.03/1797.00 c knapsack : 75.32 0.01 69.11 0.00 0.00 0.00 6.20
1797.03/1797.00 c setppc : 13.72 0.00 12.95 0.00 0.00 0.00 0.77
1797.03/1797.00 c logicor : 36.21 0.00 36.10 0.00 0.00 0.00 0.11
1797.03/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.00 c vbounds : 0 0 0 0
1797.03/1797.00 c rootredcost : 0 0 0 0
1797.03/1797.00 c pseudoobj : 0 0 0 0
1797.03/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.00 c vbounds : 0.95 0.95 0.00
1797.03/1797.00 c rootredcost : 1.05 1.05 0.00
1797.03/1797.00 c pseudoobj : 0.72 0.72 0.00
1797.03/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.00 c propagation : 20.45 148257 131536 969431 81.6 1556 82.0 -
1797.03/1797.00 c infeasible LP : 35.22 441253 0 0 0.0 0 0.0 0
1797.03/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c applied globally : - - - 135655 19.2 - - -
1797.03/1797.00 c applied locally : - - - 4921 42.9 - - -
1797.03/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.00 c cut pool : 0.00 4 - - 294 - (maximal pool size: 2215)
1797.03/1797.00 c redcost : 7.79 1430417 0 0 0 0
1797.03/1797.00 c impliedbounds : 0.00 5 0 0 969 0
1797.03/1797.00 c intobj : 0.00 0 0 0 0 0
1797.03/1797.00 c gomory : 0.21 5 0 0 226 0
1797.03/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.00 c strongcg : 0.20 5 0 0 2218 0
1797.03/1797.00 c cmir : 0.00 0 0 0 0 0
1797.03/1797.00 c flowcover : 0.00 0 0 0 0 0
1797.03/1797.00 c clique : 0.00 1 0 0 0 0
1797.03/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.00 c mcf : 0.00 1 0 0 0 0
1797.03/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.00 c rapidlearning : 0.03 1 0 0 0 0
1797.03/1797.00 c Pricers : Time Calls Vars
1797.03/1797.00 c problem variables: 0.00 0 0
1797.03/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c relpscost : 50.20 1432388 1053 5127 0 0 2854848
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.03/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c random : 0.00 0 0 0 0 0 0
1797.03/1797.00 c Primal Heuristics : Time Calls Found
1797.03/1797.00 c LP solutions : 0.00 - 0
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c trivial : 0.00 1 0
1797.03/1797.00 c shiftandpropagate: 0.00 0 0
1797.03/1797.00 c simplerounding : 0.00 0 0
1797.03/1797.00 c zirounding : 0.00 0 0
1797.03/1797.00 c rounding : 0.00 0 0
1797.03/1797.00 c shifting : 0.00 0 0
1797.03/1797.00 c intshifting : 0.00 0 0
1797.03/1797.00 c oneopt : 0.00 0 0
1797.03/1797.00 c twoopt : 0.00 0 0
1797.03/1797.00 c fixandinfer : 0.00 0 0
1797.03/1797.00 c feaspump : 0.00 0 0
1797.03/1797.00 c clique : 0.00 0 0
1797.03/1797.00 c coefdiving : 0.00 0 0
1797.03/1797.00 c pscostdiving : 0.00 0 0
1797.03/1797.00 c fracdiving : 0.00 0 0
1797.03/1797.00 c veclendiving : 0.00 0 0
1797.03/1797.00 c intdiving : 0.00 0 0
1797.03/1797.00 c actconsdiving : 0.00 0 0
1797.03/1797.00 c objpscostdiving : 0.00 0 0
1797.03/1797.00 c rootsoldiving : 0.00 0 0
1797.03/1797.00 c linesearchdiving : 0.00 0 0
1797.03/1797.00 c guideddiving : 0.00 0 0
1797.03/1797.00 c octane : 0.00 0 0
1797.03/1797.00 c rens : 0.00 0 0
1797.03/1797.00 c rins : 0.00 0 0
1797.03/1797.00 c localbranching : 0.00 0 0
1797.03/1797.00 c mutation : 0.00 0 0
1797.03/1797.00 c crossover : 0.00 0 0
1797.03/1797.00 c dins : 0.00 0 0
1797.03/1797.00 c vbounds : 0.00 0 0
1797.03/1797.00 c undercover : 0.00 0 0
1797.03/1797.00 c subnlp : 0.00 0 0
1797.03/1797.00 c trysol : 0.00 0 0
1797.03/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.03/1797.00 c dual LP : 1308.55 1871641 24707242 13.20 18881.33
1797.03/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.00 c diving/probing LP: 0.00 0 0 0.00 -
1797.03/1797.00 c strong branching : 34.24 29619 463860 15.66 13545.59
1797.03/1797.00 c (at root node) : - 10 2799 279.90 -
1797.03/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.00 c B&B Tree :
1797.03/1797.00 c number of runs : 1
1797.03/1797.00 c nodes : 2843862
1797.03/1797.00 c nodes (total) : 2843862
1797.03/1797.00 c nodes left : 391
1797.03/1797.00 c max depth : 70
1797.03/1797.00 c max depth (total): 70
1797.03/1797.00 c backtracks : 393727 (13.8%)
1797.03/1797.00 c delayed cutoffs : 10598
1797.03/1797.00 c repropagations : 287220 (759365 domain reductions, 10185 cutoffs)
1797.03/1797.00 c avg switch length: 2.78
1797.03/1797.00 c switching time : 97.02
1797.03/1797.00 c Solution :
1797.03/1797.00 c Solutions found : 0 (0 improvements)
1797.03/1797.00 c Primal Bound : -
1797.03/1797.00 c Dual Bound : +0.00000000000000e+00
1797.03/1797.00 c Gap : infinite
1797.03/1797.00 c Root Dual Bound : +0.00000000000000e+00
1797.03/1797.00 c Root Iterations : 1270
1797.03/1797.01 c Time complete: 1797.04.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3489042-1307750266/watcher-3489042-1307750266 -o /tmp/evaluation-result-3489042-1307750266/solver-3489042-1307750266 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489042-1307750266.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: 1.53 0.51 0.20 2/177 27088
/proc/meminfo: memFree=31656972/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=12696 CPUtime=0 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 2146 0 0 0 0 0 0 0 25 0 1 0 886627508 13000704 2100 33554432000 4194304 9016284 140736233044592 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/27088/statm: 3174 2100 353 1178 0 1992 0
[startup+0.0141179 s]
/proc/loadavg: 1.53 0.51 0.20 2/177 27088
/proc/meminfo: memFree=31656972/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=17976 CPUtime=0.01 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 3507 0 0 0 1 0 0 0 25 0 1 0 886627508 18407424 3204 33554432000 4194304 9016284 140736233044592 18446744073709551615 4202495 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27088/statm: 4494 3204 479 1178 0 3312 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17976
[startup+0.101104 s]
/proc/loadavg: 1.53 0.51 0.20 2/177 27088
/proc/meminfo: memFree=31656972/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=23972 CPUtime=0.09 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 8582 0 0 0 9 0 0 0 25 0 1 0 886627508 24547328 4930 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27088/statm: 5993 4930 682 1178 0 4811 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23972
[startup+0.301066 s]
/proc/loadavg: 1.53 0.51 0.20 2/177 27088
/proc/meminfo: memFree=31656972/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=27492 CPUtime=0.29 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 9433 0 0 0 29 0 0 0 25 0 1 0 886627508 28151808 5781 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27088/statm: 6873 5781 683 1178 0 5691 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27492
[startup+0.700992 s]
/proc/loadavg: 1.53 0.51 0.20 2/177 27088
/proc/meminfo: memFree=31656972/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=36968 CPUtime=0.69 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 11863 0 0 0 68 1 0 0 25 0 1 0 886627508 37855232 8202 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27088/statm: 9242 8203 685 1178 0 8060 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36968
[startup+1.50085 s]
/proc/loadavg: 1.53 0.51 0.20 3/178 27089
/proc/meminfo: memFree=31626980/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=36968 CPUtime=1.49 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 11891 0 0 0 147 2 0 0 25 0 1 0 886627508 37855232 8228 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27088/statm: 9242 8228 687 1178 0 8060 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36968
[startup+3.10054 s]
/proc/loadavg: 1.53 0.51 0.20 3/178 27089
/proc/meminfo: memFree=31626608/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=36968 CPUtime=3.09 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 11891 0 0 0 305 4 0 0 25 0 1 0 886627508 37855232 8228 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27088/statm: 9242 8228 687 1178 0 8060 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36968
[startup+6.301 s]
/proc/loadavg: 1.57 0.53 0.21 3/178 27090
/proc/meminfo: memFree=31625980/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=36968 CPUtime=6.29 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 11891 0 0 0 620 9 0 0 25 0 1 0 886627508 37855232 8228 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27088/statm: 9242 8228 687 1178 0 8060 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36968
[startup+12.7009 s]
/proc/loadavg: 1.60 0.55 0.22 3/178 27090
/proc/meminfo: memFree=31626004/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=36968 CPUtime=12.69 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 11891 0 0 0 1249 20 0 0 25 0 1 0 886627508 37855232 8228 33554432000 4194304 9016284 140736233044592 18446744073709551615 4937095 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27088/statm: 9242 8228 687 1178 0 8060 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36968
[startup+25.5006 s]
/proc/loadavg: 1.69 0.62 0.25 3/178 27090
/proc/meminfo: memFree=31626208/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=36968 CPUtime=25.49 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 11917 0 0 0 2509 40 0 0 25 0 1 0 886627508 37855232 8254 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27088/statm: 9242 8254 687 1178 0 8060 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36968
[startup+51.1011 s]
/proc/loadavg: 1.80 0.73 0.29 3/178 27091
/proc/meminfo: memFree=31625308/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=37668 CPUtime=51.09 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 12102 0 0 0 5028 81 0 0 25 0 1 0 886627508 38572032 8435 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27088/statm: 9417 8435 687 1178 0 8235 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 37668
[startup+102.306 s]
/proc/loadavg: 1.91 0.93 0.38 3/178 27168
/proc/meminfo: memFree=31623440/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=38084 CPUtime=102.3 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 12181 0 0 0 10066 164 0 0 25 0 1 0 886627508 38998016 8514 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27088/statm: 9521 8514 687 1178 0 8339 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 38084
[startup+162.3 s]
/proc/loadavg: 1.96 1.12 0.48 3/178 27170
/proc/meminfo: memFree=31621540/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=38828 CPUtime=162.3 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 12381 0 0 0 15962 268 0 0 25 0 1 0 886627508 39759872 8714 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/27088/statm: 9707 8714 687 1178 0 8525 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 38828
[startup+222.301 s]
/proc/loadavg: 1.98 1.28 0.57 3/178 27180
/proc/meminfo: memFree=31620028/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=39008 CPUtime=222.3 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 12398 0 0 0 21862 368 0 0 25 0 1 0 886627508 39944192 8731 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 9752 8731 687 1178 0 8570 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 39008
[startup+282.301 s]
/proc/loadavg: 1.99 1.41 0.66 3/178 27182
/proc/meminfo: memFree=31619584/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=39188 CPUtime=282.3 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 12458 0 0 0 27766 464 0 0 25 0 1 0 886627508 40128512 8791 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 9797 8791 687 1178 0 8615 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 39188
[startup+342.301 s]
/proc/loadavg: 1.99 1.51 0.74 3/178 27184
/proc/meminfo: memFree=31619164/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=39188 CPUtime=342.3 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 12479 0 0 0 33672 558 0 0 25 0 1 0 886627508 40128512 8812 33554432000 4194304 9016284 140736233044592 18446744073709551615 4991256 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 9797 8812 687 1178 0 8615 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 39188
[startup+402.301 s]
/proc/loadavg: 1.99 1.60 0.81 3/178 27188
/proc/meminfo: memFree=31618068/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=39772 CPUtime=402.3 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 12628 0 0 0 39576 654 0 0 25 0 1 0 886627508 40726528 8961 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 9943 8961 687 1178 0 8761 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 39772
[startup+462.3 s]
/proc/loadavg: 1.99 1.67 0.89 3/178 27190
/proc/meminfo: memFree=31617680/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=40064 CPUtime=462.3 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 12672 0 0 0 45483 747 0 0 25 0 1 0 886627508 41025536 9005 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 10016 9005 687 1178 0 8834 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 40064
[startup+522.301 s]
/proc/loadavg: 1.99 1.73 0.95 3/178 27191
/proc/meminfo: memFree=31617872/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=40216 CPUtime=522.3 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 12723 0 0 0 51386 844 0 0 25 0 1 0 886627508 41181184 9056 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 10054 9056 687 1178 0 8872 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 40216
[startup+582.301 s]
/proc/loadavg: 1.99 1.77 1.02 3/178 27193
/proc/meminfo: memFree=31617824/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=40388 CPUtime=582.3 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 12766 0 0 0 57287 943 0 0 25 0 1 0 886627508 41357312 9099 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 10097 9099 687 1178 0 8915 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 40388
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31615044/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=41800 CPUtime=1122.32 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 13104 0 0 0 110413 1819 0 0 25 0 1 0 886627508 42803200 9437 33554432000 4194304 9016284 140736233044592 18446744073709551615 6469453 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 10450 9437 687 1178 0 9268 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 41800
[startup+1182.3 s]
/proc/loadavg: 1.99 1.95 1.46 3/178 27209
/proc/meminfo: memFree=31614872/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=41800 CPUtime=1182.32 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 13109 0 0 0 116316 1916 0 0 25 0 1 0 886627508 42803200 9442 33554432000 4194304 9016284 140736233044592 18446744073709551615 4291182 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 10450 9442 687 1178 0 9268 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 41800
[startup+1242.3 s]
/proc/loadavg: 1.99 1.96 1.49 3/178 27211
/proc/meminfo: memFree=31614336/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=41800 CPUtime=1242.32 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 13113 0 0 0 122222 2010 0 0 25 0 1 0 886627508 42803200 9446 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 10450 9446 687 1178 0 9268 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 41800
[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.52 3/178 27212
/proc/meminfo: memFree=31614140/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=41800 CPUtime=1302.32 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 13120 0 0 0 128122 2110 0 0 25 0 1 0 886627508 42803200 9453 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 10450 9453 687 1178 0 9268 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 41800
[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.55 3/178 27214
/proc/meminfo: memFree=31613972/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=41800 CPUtime=1362.33 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 13120 0 0 0 134024 2209 0 0 25 0 1 0 886627508 42803200 9453 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 10450 9453 687 1178 0 9268 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 41800
[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.57 3/178 27215
/proc/meminfo: memFree=31613780/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=41800 CPUtime=1422.32 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 13120 0 0 0 139931 2301 0 0 25 0 1 0 886627508 42803200 9453 33554432000 4194304 9016284 140736233044592 18446744073709551615 4889380 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 10450 9453 687 1178 0 9268 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 41800
[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.60 3/178 27217
/proc/meminfo: memFree=31613708/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=41800 CPUtime=1482.33 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 13133 0 0 0 145835 2398 0 0 25 0 1 0 886627508 42803200 9466 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 10450 9466 687 1178 0 9268 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 41800
[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.62 3/178 27219
/proc/meminfo: memFree=31613644/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=41800 CPUtime=1542.33 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 13133 0 0 0 151742 2491 0 0 25 0 1 0 886627508 42803200 9466 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 10450 9466 687 1178 0 9268 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 41800
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.64 3/178 27220
/proc/meminfo: memFree=31613456/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=41956 CPUtime=1602.33 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 13152 0 0 0 157648 2585 0 0 25 0 1 0 886627508 42962944 9485 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 10489 9485 687 1178 0 9307 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 41956
[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.66 3/178 27222
/proc/meminfo: memFree=31613284/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=42088 CPUtime=1662.33 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 13185 0 0 0 163554 2679 0 0 25 0 1 0 886627508 43098112 9518 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 10522 9518 687 1178 0 9340 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 42088
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.68 3/178 27223
/proc/meminfo: memFree=31613108/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=42088 CPUtime=1722.33 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 13186 0 0 0 169455 2778 0 0 25 0 1 0 886627508 43098112 9519 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 10522 9519 687 1178 0 9340 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 42088
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.69 3/178 27225
/proc/meminfo: memFree=31612944/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=42088 CPUtime=1782.33 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 13186 0 0 0 175355 2878 0 0 25 0 1 0 886627508 43098112 9519 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 10522 9519 687 1178 0 9340 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 42088
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.99 1.97 1.70 3/178 27225
/proc/meminfo: memFree=31612940/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=42088 CPUtime=1785.53 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 13186 0 0 0 175670 2883 0 0 25 0 1 0 886627508 43098112 9519 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 10522 9519 687 1178 0 9340 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 42088
[startup+1791.91 s]
/proc/loadavg: 1.99 1.97 1.70 3/178 27225
/proc/meminfo: memFree=31612936/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=42088 CPUtime=1791.93 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 13186 0 0 0 176301 2892 0 0 25 0 1 0 886627508 43098112 9519 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 10522 9519 687 1178 0 9340 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 42088
[startup+1795.1 s]
/proc/loadavg: 1.99 1.97 1.70 3/178 27225
/proc/meminfo: memFree=31612928/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=42088 CPUtime=1795.14 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 13186 0 0 0 176616 2898 0 0 25 0 1 0 886627508 43098112 9519 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 10522 9519 687 1178 0 9340 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 42088
[startup+1795.9 s]
/proc/loadavg: 1.99 1.97 1.70 3/178 27225
/proc/meminfo: memFree=31612928/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=42088 CPUtime=1795.93 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 13186 0 0 0 176694 2899 0 0 25 0 1 0 886627508 43098112 9519 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 10522 9519 687 1178 0 9340 0
Current children cumulated CPU time (s) 1795.93
Current children cumulated vsize (KiB) 42088
[startup+1796.7 s]
/proc/loadavg: 1.99 1.97 1.70 3/178 27225
/proc/meminfo: memFree=31612928/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=42088 CPUtime=1796.73 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 13186 0 0 0 176773 2900 0 0 25 0 1 0 886627508 43098112 9519 33554432000 4194304 9016284 140736233044592 18446744073709551615 4318356 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 10522 9519 687 1178 0 9340 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 42088
[startup+1796.9 s]
/proc/loadavg: 1.99 1.97 1.70 3/178 27225
/proc/meminfo: memFree=31612928/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=42088 CPUtime=1796.93 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 13186 0 0 0 176793 2900 0 0 25 0 1 0 886627508 43098112 9519 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 10522 9519 687 1178 0 9340 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (KiB) 42088
[startup+1797 s]
/proc/loadavg: 1.99 1.97 1.70 3/178 27225
/proc/meminfo: memFree=31612928/32951124 swapFree=67052292/67111528
[pid=27088] ppid=27086 vsize=42088 CPUtime=1797.03 cores=0,2,4,6
/proc/27088/stat : 27088 (scip-2.0.1.4b_2) R 27086 27088 26964 0 -1 4202496 13187 0 0 0 176803 2900 0 0 25 0 1 0 886627508 43098112 9520 33554432000 4194304 9016284 140736233044592 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/27088/statm: 10522 9520 688 1178 0 9340 0
Current children cumulated CPU time (s) 1797.03
Current children cumulated vsize (KiB) 42088
Child status: 0
Real time (s): 1797.02
CPU time (s): 1797.06
CPU user time (s): 1768.05
CPU system time (s): 29.0086
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 42088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1768.05
system time used= 29.0086
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13194
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 3284
runsolver used 2.6006 second user time and 5.57715 second system time
The end