0.00/0.00 c SCIP version 2.0.1.4 [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-3485600-1307750178.opb>
0.00/0.01 c original problem has 370 variables (370 bin, 0 int, 0 impl, 0 cont) and 557 constraints
0.00/0.01 c problem read
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 557 upgd conss, 402 impls, 0 clqs
0.00/0.02 c (round 2) 8 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 557 upgd conss, 12226 impls, 0 clqs
0.00/0.03 c (round 3) 8 del vars, 8 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 557 upgd conss, 12226 impls, 0 clqs
0.00/0.03 c (round 4) 8 del vars, 12 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 557 upgd conss, 12226 impls, 0 clqs
0.00/0.03 c presolving (5 rounds):
0.00/0.03 c 8 deleted vars, 12 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 12226 implications, 0 cliques
0.00/0.03 c presolved problem has 362 variables (362 bin, 0 int, 0 impl, 0 cont) and 545 constraints
0.00/0.03 c 244 constraints of type <knapsack>
0.00/0.03 c 181 constraints of type <setppc>
0.00/0.03 c 120 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.0.1.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 = 1797
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.38 c 0.4s| 1 | 0 | 1185 | - |7326k| 0 | 196 | 362 | 545 | 362 |1123 | 578 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.49 c 0.5s| 1 | 0 | 1219 | - |9739k| 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.80 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.28 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.25 c 28.3s| 40000 | 112 |327579 | 8.2 | 12M| 37 | 29 | 362 |1332 | 362 | 683 | 601 |1990 |3242 | 0.000000e+00 | -- | Inf
33.99/34.09 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.17 c 40.2s| 60000 | 121 |480137 | 8.0 | 12M| 40 | 25 | 362 |1730 | 362 | 683 | 601 |3093 |4077 | 0.000000e+00 | -- | Inf
46.29/46.38 c 46.4s| 70000 | 127 |559252 | 8.0 | 12M| 40 | 23 | 362 |1659 | 362 | 683 | 601 |3603 |4486 | 0.000000e+00 | -- | Inf
53.09/53.13 c 53.1s| 80000 | 125 |645823 | 8.1 | 12M| 41 | - | 362 |1491 | 362 | 683 | 601 |4097 |5004 | 0.000000e+00 | -- | Inf
59.89/59.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.89/59.94 c 59.9s| 90000 | 138 |740015 | 8.2 | 12M| 41 | 38 | 362 |1543 | 362 | 683 | 601 |4524 |5286 | 0.000000e+00 | -- | Inf
67.00/67.08 c 67.1s|100000 | 178 |829332 | 8.3 | 13M| 44 | - | 362 |1580 | 0 | 0 | 601 |5003 |5961 | 0.000000e+00 | -- | Inf
73.69/73.78 c 73.8s|110000 | 168 |922232 | 8.4 | 13M| 44 | - | 362 |1656 | 362 | 683 | 601 |5374 |6208 | 0.000000e+00 | -- | Inf
79.99/80.02 c 80.0s|120000 | 158 | 1006k| 8.4 | 13M| 44 | - | 362 |1808 | 362 | 683 | 601 |5823 |6502 | 0.000000e+00 | -- | Inf
85.59/85.69 c 85.7s|130000 | 170 | 1083k| 8.3 | 13M| 49 | 30 | 362 |1978 | 362 | 683 | 601 |6349 |6642 | 0.000000e+00 | -- | Inf
91.79/91.86 c 91.9s|140000 | 155 | 1164k| 8.3 | 13M| 49 | 28 | 362 |1849 | 362 | 683 | 601 |6856 |6990 | 0.000000e+00 | -- | Inf
98.09/98.16 c 98.2s|150000 | 161 | 1250k| 8.3 | 13M| 49 | - | 362 |2033 | 0 | 0 | 601 |7299 |7205 | 0.000000e+00 | -- | Inf
104.50/104.51 c 105s|160000 | 152 | 1337k| 8.4 | 13M| 52 | 39 | 362 |2171 | 362 | 683 | 601 |7721 |7354 | 0.000000e+00 | -- | Inf
111.19/111.21 c 111s|170000 | 147 | 1426k| 8.4 | 13M| 52 | 41 | 362 |2022 | 362 | 683 | 601 |8175 |7721 | 0.000000e+00 | -- | Inf
117.69/117.73 c 118s|180000 | 153 | 1515k| 8.4 | 13M| 52 | 36 | 362 |1971 | 362 | 683 | 601 |8688 |7942 | 0.000000e+00 | -- | Inf
123.89/124.00 c 124s|190000 | 169 | 1602k| 8.4 | 13M| 52 | 22 | 362 |2121 | 362 | 683 | 601 |9122 |8088 | 0.000000e+00 | -- | Inf
129.70/129.73 c 130s|200000 | 162 | 1678k| 8.4 | 13M| 52 | 26 | 362 |2308 | 362 | 683 | 601 |9696 |8232 | 0.000000e+00 | -- | Inf
136.00/136.09 c 136s|210000 | 166 | 1764k| 8.4 | 13M| 52 | 22 | 362 |2406 | 362 | 683 | 601 | 10k|8462 | 0.000000e+00 | -- | Inf
141.99/142.06 c 142s|220000 | 156 | 1845k| 8.4 | 13M| 52 | 55 | 362 |2555 | 362 | 683 | 601 | 10k|8565 | 0.000000e+00 | -- | Inf
148.89/148.95 c 149s|230000 | 163 | 1938k| 8.4 | 13M| 53 | - | 362 |2345 | 0 | 0 | 601 | 11k|8844 | 0.000000e+00 | -- | Inf
155.29/155.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
155.29/155.32 c 155s|240000 | 164 | 2027k| 8.4 | 13M| 53 | - | 362 |2330 | 0 | 0 | 601 | 11k|8973 | 0.000000e+00 | -- | Inf
161.70/161.74 c 162s|250000 | 165 | 2112k| 8.4 | 13M| 53 | 16 | 362 |2124 | 362 | 683 | 601 | 11k|9272 | 0.000000e+00 | -- | Inf
167.59/167.68 c 168s|260000 | 185 | 2195k| 8.4 | 13M| 53 | - | 362 |2320 | 362 | 683 | 601 | 12k|9396 | 0.000000e+00 | -- | Inf
174.19/174.27 c 174s|270000 | 173 | 2282k| 8.5 | 13M| 53 | - | 362 |2174 | 0 | 0 | 601 | 12k|9749 | 0.000000e+00 | -- | Inf
181.09/181.10 c 181s|280000 | 185 | 2378k| 8.5 | 13M| 53 | 38 | 362 |2259 | 362 | 683 | 601 | 13k|9906 | 0.000000e+00 | -- | Inf
187.69/187.71 c 188s|290000 | 205 | 2470k| 8.5 | 13M| 53 | 27 | 362 |2198 | 362 | 683 | 601 | 13k| 10k| 0.000000e+00 | -- | Inf
194.40/194.42 c 194s|300000 | 194 | 2561k| 8.5 | 13M| 53 | - | 362 |2057 | 0 | 0 | 601 | 13k| 10k| 0.000000e+00 | -- | Inf
200.59/200.64 c 201s|310000 | 184 | 2647k| 8.5 | 13M| 53 | - | 362 |2052 | 362 | 683 | 601 | 14k| 10k| 0.000000e+00 | -- | Inf
206.99/207.03 c 207s|320000 | 183 | 2735k| 8.5 | 13M| 53 | 22 | 362 |2071 | 362 | 683 | 601 | 14k| 10k| 0.000000e+00 | -- | Inf
213.69/213.76 c 214s|330000 | 177 | 2826k| 8.6 | 13M| 53 | - | 362 |2012 | 0 | 0 | 601 | 15k| 10k| 0.000000e+00 | -- | Inf
219.79/219.87 c 220s|340000 | 168 | 2913k| 8.6 | 13M| 53 | - | 362 |2184 | 0 | 0 | 601 | 15k| 10k| 0.000000e+00 | -- | Inf
226.50/226.52 c 227s|350000 | 197 | 3005k| 8.6 | 13M| 53 | - | 362 |2358 | 0 | 0 | 601 | 16k| 11k| 0.000000e+00 | -- | Inf
233.20/233.25 c 233s|360000 | 186 | 3101k| 8.6 | 13M| 53 | - | 362 |2399 | 362 | 683 | 601 | 16k| 11k| 0.000000e+00 | -- | Inf
240.09/240.17 c 240s|370000 | 162 | 3197k| 8.6 | 13M| 53 | - | 362 |2349 | 0 | 0 | 601 | 16k| 11k| 0.000000e+00 | -- | Inf
246.90/246.98 c 247s|380000 | 161 | 3289k| 8.7 | 13M| 53 | - | 362 |2137 | 0 | 0 | 601 | 17k| 11k| 0.000000e+00 | -- | Inf
253.09/253.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
253.09/253.13 c 253s|390000 | 148 | 3374k| 8.7 | 13M| 53 | 26 | 362 |2036 | 362 | 683 | 601 | 17k| 11k| 0.000000e+00 | -- | Inf
259.40/259.47 c 259s|400000 | 156 | 3463k| 8.7 | 13M| 54 | - | 362 |2216 | 0 | 0 | 601 | 18k| 11k| 0.000000e+00 | -- | Inf
266.50/266.59 c 267s|410000 | 194 | 3560k| 8.7 | 13M| 54 | - | 362 |2172 | 0 | 0 | 601 | 18k| 12k| 0.000000e+00 | -- | Inf
272.59/272.61 c 273s|420000 | 197 | 3644k| 8.7 | 13M| 54 | - | 362 |2247 | 0 | 0 | 601 | 18k| 12k| 0.000000e+00 | -- | Inf
278.69/278.72 c 279s|430000 | 199 | 3729k| 8.7 | 13M| 54 | 34 | 362 |2228 | 362 | 683 | 601 | 19k| 12k| 0.000000e+00 | -- | Inf
285.10/285.11 c 285s|440000 | 196 | 3819k| 8.7 | 13M| 54 | - | 362 |2243 | 0 | 0 | 601 | 19k| 12k| 0.000000e+00 | -- | Inf
291.50/291.52 c 292s|450000 | 198 | 3911k| 8.7 | 13M| 54 | 48 | 362 |2316 | 362 | 683 | 601 | 20k| 12k| 0.000000e+00 | -- | Inf
297.89/297.99 c 298s|460000 | 178 | 4003k| 8.7 | 13M| 54 | 47 | 362 |2300 | 362 | 683 | 601 | 20k| 12k| 0.000000e+00 | -- | Inf
304.70/304.75 c 305s|470000 | 175 | 4095k| 8.7 | 13M| 54 | 38 | 362 |2285 | 362 | 683 | 601 | 20k| 12k| 0.000000e+00 | -- | Inf
310.79/310.87 c 311s|480000 | 174 | 4175k| 8.7 | 13M| 54 | - | 362 |2360 | 0 | 0 | 601 | 21k| 13k| 0.000000e+00 | -- | Inf
316.70/316.73 c 317s|490000 | 173 | 4255k| 8.7 | 13M| 54 | 30 | 362 |2412 | 362 | 683 | 601 | 21k| 13k| 0.000000e+00 | -- | Inf
322.79/322.82 c 323s|500000 | 170 | 4338k| 8.7 | 13M| 54 | - | 362 |2443 | 362 | 683 | 601 | 22k| 13k| 0.000000e+00 | -- | Inf
329.19/329.23 c 329s|510000 | 181 | 4425k| 8.7 | 13M| 54 | - | 362 |2400 | 362 | 683 | 601 | 22k| 13k| 0.000000e+00 | -- | Inf
336.09/336.19 c 336s|520000 | 186 | 4524k| 8.7 | 13M| 54 | - | 362 |2423 | 0 | 0 | 601 | 23k| 13k| 0.000000e+00 | -- | Inf
342.60/342.63 c 343s|530000 | 199 | 4613k| 8.7 | 13M| 54 | - | 362 |2760 | 0 | 0 | 601 | 23k| 13k| 0.000000e+00 | -- | Inf
349.09/349.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
349.09/349.16 c 349s|540000 | 207 | 4703k| 8.7 | 13M| 54 | 32 | 362 |3026 | 362 | 683 | 601 | 24k| 13k| 0.000000e+00 | -- | Inf
356.69/356.74 c 357s|550000 | 204 | 4811k| 8.7 | 13M| 54 | - | 362 |3059 | 362 | 683 | 601 | 24k| 13k| 0.000000e+00 | -- | Inf
363.90/363.96 c 364s|560000 | 178 | 4908k| 8.8 | 13M| 56 | 29 | 362 |2473 | 362 | 683 | 601 | 25k| 14k| 0.000000e+00 | -- | Inf
369.89/369.93 c 370s|570000 | 178 | 4990k| 8.8 | 13M| 56 | - | 362 |2449 | 362 | 683 | 601 | 25k| 14k| 0.000000e+00 | -- | Inf
375.99/376.06 c 376s|580000 | 173 | 5076k| 8.8 | 13M| 56 | - | 362 |2617 | 0 | 0 | 601 | 26k| 14k| 0.000000e+00 | -- | Inf
382.89/382.92 c 383s|590000 | 177 | 5173k| 8.8 | 13M| 56 | - | 362 |2616 | 0 | 0 | 601 | 26k| 14k| 0.000000e+00 | -- | Inf
389.89/389.91 c 390s|600000 | 180 | 5275k| 8.8 | 13M| 56 | 40 | 362 |2699 | 362 | 683 | 601 | 27k| 14k| 0.000000e+00 | -- | Inf
396.89/396.92 c 397s|610000 | 173 | 5374k| 8.8 | 13M| 56 | 19 | 362 |2505 | 362 | 683 | 601 | 27k| 14k| 0.000000e+00 | -- | Inf
402.60/402.69 c 403s|620000 | 179 | 5454k| 8.8 | 13M| 56 | - | 362 |2745 | 0 | 0 | 601 | 27k| 14k| 0.000000e+00 | -- | Inf
408.80/408.86 c 409s|630000 | 177 | 5538k| 8.8 | 13M| 56 | 41 | 362 |2849 | 362 | 683 | 601 | 28k| 14k| 0.000000e+00 | -- | Inf
414.79/414.83 c 415s|640000 | 202 | 5617k| 8.8 | 13M| 56 | 30 | 362 |2825 | 362 | 683 | 601 | 28k| 14k| 0.000000e+00 | -- | Inf
420.69/420.71 c 421s|650000 | 201 | 5697k| 8.8 | 13M| 56 | - | 362 |2919 | 0 | 0 | 601 | 29k| 15k| 0.000000e+00 | -- | Inf
426.59/426.70 c 427s|660000 | 198 | 5778k| 8.8 | 13M| 56 | 25 | 362 |2985 | 362 | 683 | 601 | 29k| 15k| 0.000000e+00 | -- | Inf
432.30/432.36 c 432s|670000 | 204 | 5853k| 8.7 | 13M| 56 | 32 | 362 |2972 | 362 | 683 | 601 | 30k| 15k| 0.000000e+00 | -- | Inf
437.60/437.68 c 438s|680000 | 198 | 5922k| 8.7 | 14M| 56 | - | 362 |3242 | 0 | 0 | 601 | 30k| 15k| 0.000000e+00 | -- | Inf
443.70/443.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
443.70/443.74 c 444s|690000 | 180 | 6005k| 8.7 | 13M| 56 | 26 | 362 |3011 | 362 | 683 | 601 | 31k| 15k| 0.000000e+00 | -- | Inf
449.49/449.56 c 450s|700000 | 188 | 6080k| 8.7 | 13M| 56 | 33 | 362 |2853 | 362 | 683 | 601 | 31k| 15k| 0.000000e+00 | -- | Inf
455.20/455.26 c 455s|710000 | 187 | 6157k| 8.7 | 14M| 56 | 30 | 362 |3153 | 362 | 683 | 601 | 32k| 15k| 0.000000e+00 | -- | Inf
460.90/460.97 c 461s|720000 | 177 | 6233k| 8.7 | 14M| 56 | - | 362 |3230 | 362 | 683 | 601 | 33k| 15k| 0.000000e+00 | -- | Inf
467.60/467.65 c 468s|730000 | 183 | 6324k| 8.7 | 14M| 56 | 28 | 362 |3133 | 362 | 683 | 601 | 33k| 15k| 0.000000e+00 | -- | Inf
474.60/474.64 c 475s|740000 | 177 | 6420k| 8.7 | 13M| 56 | 45 | 362 |2844 | 362 | 683 | 601 | 33k| 15k| 0.000000e+00 | -- | Inf
480.40/480.49 c 480s|750000 | 179 | 6500k| 8.7 | 14M| 56 | - | 362 |3055 | 0 | 0 | 601 | 34k| 15k| 0.000000e+00 | -- | Inf
486.00/486.01 c 486s|760000 | 181 | 6572k| 8.6 | 14M| 56 | 33 | 362 |3289 | 362 | 683 | 601 | 34k| 16k| 0.000000e+00 | -- | Inf
491.20/491.27 c 491s|770000 | 188 | 6641k| 8.6 | 14M| 56 | 15 | 362 |3384 | 362 | 683 | 601 | 35k| 16k| 0.000000e+00 | -- | Inf
496.80/496.86 c 497s|780000 | 184 | 6715k| 8.6 | 14M| 56 | - | 362 |3424 | 0 | 0 | 601 | 36k| 16k| 0.000000e+00 | -- | Inf
502.49/502.55 c 503s|790000 | 194 | 6792k| 8.6 | 14M| 56 | 31 | 362 |3562 | 362 | 683 | 601 | 36k| 16k| 0.000000e+00 | -- | Inf
508.40/508.41 c 508s|800000 | 185 | 6871k| 8.6 | 14M| 56 | 20 | 362 |3759 | 362 | 683 | 601 | 37k| 16k| 0.000000e+00 | -- | Inf
514.40/514.48 c 514s|810000 | 189 | 6953k| 8.6 | 14M| 56 | 37 | 362 |3633 | 362 | 683 | 601 | 37k| 16k| 0.000000e+00 | -- | Inf
521.30/521.36 c 521s|820000 | 169 | 7044k| 8.6 | 14M| 56 | 26 | 362 |3119 | 362 | 683 | 601 | 37k| 16k| 0.000000e+00 | -- | Inf
527.50/527.56 c 528s|830000 | 179 | 7128k| 8.6 | 14M| 56 | - | 362 |3032 | 0 | 0 | 601 | 38k| 16k| 0.000000e+00 | -- | Inf
533.80/533.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
533.80/533.83 c 534s|840000 | 174 | 7216k| 8.6 | 14M| 56 | 29 | 362 |3087 | 362 | 683 | 601 | 38k| 16k| 0.000000e+00 | -- | Inf
539.80/539.89 c 540s|850000 | 173 | 7299k| 8.6 | 14M| 56 | 31 | 362 |3157 | 362 | 683 | 601 | 39k| 16k| 0.000000e+00 | -- | Inf
546.50/546.52 c 547s|860000 | 170 | 7393k| 8.6 | 14M| 56 | 23 | 362 |3006 | 362 | 683 | 601 | 39k| 16k| 0.000000e+00 | -- | Inf
552.60/552.61 c 553s|870000 | 168 | 7477k| 8.6 | 14M| 56 | 30 | 362 |3023 | 362 | 683 | 601 | 40k| 17k| 0.000000e+00 | -- | Inf
559.00/559.01 c 559s|880000 | 187 | 7567k| 8.6 | 14M| 56 | - | 362 |3069 | 0 | 0 | 601 | 40k| 17k| 0.000000e+00 | -- | Inf
565.70/565.73 c 566s|890000 | 220 | 7663k| 8.6 | 14M| 60 | 35 | 362 |3144 | 362 | 683 | 601 | 40k| 17k| 0.000000e+00 | -- | Inf
572.60/572.66 c 573s|900000 | 185 | 7764k| 8.6 | 14M| 62 | - | 362 |3161 | 0 | 0 | 601 | 41k| 17k| 0.000000e+00 | -- | Inf
579.00/579.02 c 579s|910000 | 194 | 7850k| 8.6 | 13M| 62 | - | 362 |2672 | 0 | 0 | 601 | 41k| 17k| 0.000000e+00 | -- | Inf
585.10/585.11 c 585s|920000 | 186 | 7932k| 8.6 | 14M| 62 | 33 | 362 |2754 | 362 | 683 | 601 | 42k| 17k| 0.000000e+00 | -- | Inf
591.71/591.72 c 592s|930000 | 182 | 8024k| 8.6 | 14M| 62 | 35 | 362 |2819 | 362 | 683 | 601 | 42k| 17k| 0.000000e+00 | -- | Inf
597.80/597.87 c 598s|940000 | 184 | 8108k| 8.6 | 14M| 62 | 31 | 362 |3216 | 362 | 683 | 601 | 43k| 17k| 0.000000e+00 | -- | Inf
604.00/604.07 c 604s|950000 | 192 | 8193k| 8.6 | 14M| 62 | - | 362 |3207 | 362 | 683 | 601 | 44k| 17k| 0.000000e+00 | -- | Inf
611.30/611.35 c 611s|960000 | 211 | 8297k| 8.6 | 14M| 62 | - | 362 |3543 | 0 | 0 | 601 | 44k| 17k| 0.000000e+00 | -- | Inf
618.30/618.34 c 618s|970000 | 190 | 8394k| 8.7 | 14M| 62 | - | 362 |3374 | 0 | 0 | 601 | 45k| 17k| 0.000000e+00 | -- | Inf
624.81/624.85 c 625s|980000 | 180 | 8482k| 8.7 | 14M| 62 | 18 | 362 |2988 | 362 | 683 | 601 | 45k| 17k| 0.000000e+00 | -- | Inf
631.20/631.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
631.20/631.24 c 631s|990000 | 180 | 8571k| 8.7 | 14M| 62 | 30 | 362 |2764 | 362 | 683 | 601 | 46k| 18k| 0.000000e+00 | -- | Inf
637.21/637.21 c 637s| 1000k| 180 | 8651k| 8.7 | 14M| 62 | - | 362 |2691 | 0 | 0 | 601 | 46k| 18k| 0.000000e+00 | -- | Inf
642.31/642.39 c 642s| 1010k| 194 | 8719k| 8.6 | 14M| 62 | 33 | 362 |2883 | 362 | 683 | 601 | 47k| 18k| 0.000000e+00 | -- | Inf
647.61/647.65 c 648s| 1020k| 184 | 8787k| 8.6 | 14M| 62 | 38 | 362 |2947 | 362 | 683 | 601 | 48k| 18k| 0.000000e+00 | -- | Inf
653.41/653.41 c 653s| 1030k| 186 | 8866k| 8.6 | 14M| 62 | 21 | 362 |2740 | 362 | 683 | 601 | 48k| 18k| 0.000000e+00 | -- | Inf
659.10/659.10 c 659s| 1040k| 191 | 8943k| 8.6 | 14M| 62 | - | 362 |3012 | 0 | 0 | 601 | 49k| 18k| 0.000000e+00 | -- | Inf
664.91/664.97 c 665s| 1050k| 188 | 9023k| 8.6 | 14M| 62 | - | 362 |2951 | 0 | 0 | 601 | 49k| 18k| 0.000000e+00 | -- | Inf
670.60/670.60 c 671s| 1060k| 188 | 9100k| 8.6 | 14M| 62 | - | 362 |3225 | 0 | 0 | 601 | 50k| 18k| 0.000000e+00 | -- | Inf
676.41/676.45 c 676s| 1070k| 183 | 9179k| 8.6 | 14M| 62 | 46 | 362 |3102 | 362 | 683 | 601 | 50k| 18k| 0.000000e+00 | -- | Inf
682.30/682.36 c 682s| 1080k| 183 | 9261k| 8.6 | 14M| 62 | - | 362 |3028 | 0 | 0 | 601 | 51k| 18k| 0.000000e+00 | -- | Inf
688.90/688.92 c 689s| 1090k| 185 | 9351k| 8.6 | 14M| 62 | - | 362 |3057 | 0 | 0 | 601 | 51k| 18k| 0.000000e+00 | -- | Inf
694.80/694.80 c 695s| 1100k| 190 | 9432k| 8.6 | 14M| 62 | - | 362 |3066 | 0 | 0 | 601 | 52k| 18k| 0.000000e+00 | -- | Inf
700.31/700.31 c 700s| 1110k| 175 | 9504k| 8.6 | 14M| 62 | - | 362 |3225 | 0 | 0 | 601 | 52k| 18k| 0.000000e+00 | -- | Inf
705.80/705.85 c 706s| 1120k| 177 | 9577k| 8.6 | 14M| 62 | - | 362 |3141 | 0 | 0 | 601 | 53k| 19k| 0.000000e+00 | -- | Inf
712.10/712.10 c 712s| 1130k| 185 | 9665k| 8.6 | 14M| 62 | 31 | 362 |3338 | 362 | 683 | 601 | 53k| 19k| 0.000000e+00 | -- | Inf
718.70/718.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
718.70/718.78 c 719s| 1140k| 182 | 9757k| 8.6 | 14M| 62 | 33 | 362 |3318 | 362 | 683 | 601 | 54k| 19k| 0.000000e+00 | -- | Inf
725.00/725.07 c 725s| 1150k| 186 | 9847k| 8.6 | 14M| 62 | - | 362 |3540 | 362 | 683 | 601 | 54k| 19k| 0.000000e+00 | -- | Inf
731.51/731.57 c 732s| 1160k| 189 | 9940k| 8.6 | 14M| 62 | 35 | 362 |3435 | 362 | 683 | 601 | 55k| 19k| 0.000000e+00 | -- | Inf
737.90/737.97 c 738s| 1170k| 193 | 10031k| 8.6 | 14M| 62 | 30 | 362 |3200 | 362 | 683 | 601 | 55k| 19k| 0.000000e+00 | -- | Inf
745.71/745.72 c 746s| 1180k| 208 | 10124k| 8.6 | 14M| 62 | - | 362 |2939 | 0 | 0 | 601 | 56k| 20k| 0.000000e+00 | -- | Inf
751.71/751.74 c 752s| 1190k| 237 | 10207k| 8.6 | 14M| 62 | 40 | 362 |3302 | 362 | 683 | 601 | 56k| 20k| 0.000000e+00 | -- | Inf
757.51/757.55 c 758s| 1200k| 235 | 10286k| 8.6 | 14M| 62 | - | 362 |3286 | 0 | 0 | 601 | 57k| 20k| 0.000000e+00 | -- | Inf
763.70/763.72 c 764s| 1210k| 218 | 10373k| 8.6 | 14M| 62 | 17 | 362 |3419 | 362 | 683 | 601 | 58k| 20k| 0.000000e+00 | -- | Inf
769.51/769.57 c 770s| 1220k| 227 | 10452k| 8.6 | 14M| 62 | - | 362 |3778 | 0 | 0 | 601 | 58k| 20k| 0.000000e+00 | -- | Inf
775.51/775.58 c 776s| 1230k| 229 | 10535k| 8.6 | 14M| 62 | - | 362 |3954 | 0 | 0 | 601 | 59k| 20k| 0.000000e+00 | -- | Inf
781.91/781.91 c 782s| 1240k| 236 | 10623k| 8.6 | 14M| 62 | - | 362 |4062 | 0 | 0 | 601 | 60k| 20k| 0.000000e+00 | -- | Inf
788.51/788.52 c 789s| 1250k| 234 | 10716k| 8.6 | 14M| 62 | - | 362 |4094 | 362 | 683 | 601 | 61k| 20k| 0.000000e+00 | -- | Inf
794.51/794.56 c 795s| 1260k| 251 | 10797k| 8.6 | 14M| 62 | - | 362 |4194 | 0 | 0 | 601 | 61k| 20k| 0.000000e+00 | -- | Inf
800.61/800.65 c 801s| 1270k| 258 | 10879k| 8.6 | 14M| 62 | 14 | 362 |4183 | 362 | 683 | 601 | 62k| 20k| 0.000000e+00 | -- | Inf
806.91/806.95 c 807s| 1280k| 260 | 10964k| 8.6 | 15M| 62 | - | 362 |4355 | 362 | 683 | 601 | 62k| 20k| 0.000000e+00 | -- | Inf
813.51/813.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.51/813.60 c 814s| 1290k| 273 | 11057k| 8.6 | 15M| 62 | - | 362 |4334 | 0 | 0 | 601 | 63k| 20k| 0.000000e+00 | -- | Inf
820.41/820.50 c 820s| 1300k| 282 | 11153k| 8.6 | 15M| 62 | - | 362 |4124 | 362 | 683 | 601 | 64k| 20k| 0.000000e+00 | -- | Inf
826.91/826.93 c 827s| 1310k| 300 | 11242k| 8.6 | 15M| 62 | 37 | 362 |4327 | 362 | 683 | 601 | 64k| 20k| 0.000000e+00 | -- | Inf
834.01/834.04 c 834s| 1320k| 299 | 11344k| 8.6 | 15M| 62 | 37 | 362 |4199 | 362 | 683 | 601 | 64k| 20k| 0.000000e+00 | -- | Inf
840.01/840.09 c 840s| 1330k| 308 | 11424k| 8.6 | 15M| 62 | - | 362 |4277 | 0 | 0 | 601 | 65k| 20k| 0.000000e+00 | -- | Inf
846.31/846.39 c 846s| 1340k| 295 | 11509k| 8.6 | 15M| 62 | - | 362 |4357 | 0 | 0 | 601 | 66k| 21k| 0.000000e+00 | -- | Inf
852.61/852.64 c 853s| 1350k| 311 | 11595k| 8.6 | 15M| 62 | 45 | 362 |4315 | 362 | 683 | 601 | 66k| 21k| 0.000000e+00 | -- | Inf
859.61/859.62 c 860s| 1360k| 308 | 11691k| 8.6 | 15M| 62 | - | 362 |4070 | 0 | 0 | 601 | 67k| 21k| 0.000000e+00 | -- | Inf
866.21/866.25 c 866s| 1370k| 322 | 11785k| 8.6 | 15M| 62 | 42 | 362 |4407 | 362 | 683 | 601 | 67k| 21k| 0.000000e+00 | -- | Inf
872.82/872.85 c 873s| 1380k| 322 | 11876k| 8.6 | 15M| 62 | 44 | 362 |4387 | 362 | 683 | 601 | 68k| 21k| 0.000000e+00 | -- | Inf
879.31/879.35 c 879s| 1390k| 323 | 11966k| 8.6 | 15M| 62 | - | 362 |3912 | 0 | 0 | 601 | 68k| 21k| 0.000000e+00 | -- | Inf
886.01/886.05 c 886s| 1400k| 299 | 12059k| 8.6 | 15M| 62 | - | 362 |3904 | 362 | 683 | 601 | 69k| 21k| 0.000000e+00 | -- | Inf
892.51/892.50 c 892s| 1410k| 318 | 12148k| 8.6 | 15M| 62 | - | 362 |3961 | 0 | 0 | 601 | 70k| 21k| 0.000000e+00 | -- | Inf
899.21/899.20 c 899s| 1420k| 318 | 12240k| 8.6 | 15M| 62 | - | 362 |3939 | 0 | 0 | 601 | 70k| 21k| 0.000000e+00 | -- | Inf
905.91/905.97 c 906s| 1430k| 319 | 12333k| 8.6 | 15M| 62 | - | 362 |4058 | 0 | 0 | 601 | 70k| 21k| 0.000000e+00 | -- | Inf
912.81/912.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
912.81/912.80 c 913s| 1440k| 313 | 12429k| 8.6 | 15M| 62 | 50 | 362 |3903 | 362 | 683 | 601 | 71k| 21k| 0.000000e+00 | -- | Inf
919.62/919.62 c 920s| 1450k| 311 | 12524k| 8.6 | 15M| 62 | 20 | 362 |3654 | 362 | 683 | 601 | 71k| 21k| 0.000000e+00 | -- | Inf
926.02/926.02 c 926s| 1460k| 312 | 12614k| 8.6 | 15M| 62 | 13 | 362 |3790 | 362 | 683 | 601 | 72k| 21k| 0.000000e+00 | -- | Inf
932.31/932.36 c 932s| 1470k| 313 | 12702k| 8.6 | 15M| 62 | - | 362 |4129 | 362 | 683 | 601 | 73k| 21k| 0.000000e+00 | -- | Inf
938.71/938.73 c 939s| 1480k| 316 | 12791k| 8.6 | 15M| 62 | 38 | 362 |4250 | 362 | 683 | 601 | 73k| 21k| 0.000000e+00 | -- | Inf
945.32/945.31 c 945s| 1490k| 315 | 12881k| 8.6 | 15M| 62 | 50 | 362 |4002 | 362 | 683 | 601 | 74k| 21k| 0.000000e+00 | -- | Inf
952.31/952.38 c 952s| 1500k| 354 | 12982k| 8.7 | 15M| 62 | 38 | 362 |4229 | 362 | 683 | 601 | 75k| 21k| 0.000000e+00 | -- | Inf
959.41/959.48 c 959s| 1510k| 331 | 13083k| 8.7 | 15M| 62 | 26 | 362 |4164 | 362 | 683 | 601 | 75k| 21k| 0.000000e+00 | -- | Inf
965.92/965.94 c 966s| 1520k| 327 | 13169k| 8.7 | 15M| 62 | - | 362 |4197 | 362 | 683 | 601 | 75k| 22k| 0.000000e+00 | -- | Inf
972.71/972.79 c 973s| 1530k| 319 | 13264k| 8.7 | 15M| 62 | - | 362 |4107 | 0 | 0 | 601 | 76k| 22k| 0.000000e+00 | -- | Inf
979.61/979.66 c 980s| 1540k| 318 | 13361k| 8.7 | 15M| 62 | - | 362 |4140 | 0 | 0 | 601 | 76k| 22k| 0.000000e+00 | -- | Inf
986.11/986.12 c 986s| 1550k| 321 | 13448k| 8.7 | 15M| 62 | - | 362 |4342 | 0 | 0 | 601 | 77k| 22k| 0.000000e+00 | -- | Inf
992.91/992.96 c 993s| 1560k| 334 | 13544k| 8.7 | 15M| 62 | 30 | 362 |4245 | 362 | 683 | 601 | 77k| 22k| 0.000000e+00 | -- | Inf
999.31/999.39 c 999s| 1570k| 326 | 13632k| 8.7 | 15M| 62 | - | 362 |4053 | 0 | 0 | 601 | 78k| 22k| 0.000000e+00 | -- | Inf
1006.22/1006.20 c 1006s| 1580k| 319 | 13730k| 8.7 | 15M| 62 | 34 | 362 |3995 | 362 | 683 | 601 | 79k| 22k| 0.000000e+00 | -- | Inf
1013.21/1013.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1013.21/1013.21 c 1013s| 1590k| 317 | 13818k| 8.7 | 15M| 62 | - | 362 |3934 | 362 | 683 | 601 | 79k| 22k| 0.000000e+00 | -- | Inf
1020.22/1020.24 c 1020s| 1600k| 321 | 13914k| 8.7 | 15M| 62 | - | 362 |3678 | 0 | 0 | 601 | 80k| 23k| 0.000000e+00 | -- | Inf
1026.52/1026.51 c 1027s| 1610k| 319 | 14000k| 8.7 | 15M| 62 | - | 362 |4103 | 0 | 0 | 601 | 81k| 23k| 0.000000e+00 | -- | Inf
1033.12/1033.14 c 1033s| 1620k| 320 | 14093k| 8.7 | 15M| 62 | - | 362 |4141 | 362 | 683 | 601 | 81k| 23k| 0.000000e+00 | -- | Inf
1039.43/1039.44 c 1039s| 1630k| 343 | 14182k| 8.7 | 15M| 62 | - | 362 |4354 | 0 | 0 | 601 | 82k| 23k| 0.000000e+00 | -- | Inf
1046.02/1046.09 c 1046s| 1640k| 329 | 14274k| 8.7 | 15M| 62 | 23 | 362 |4389 | 362 | 683 | 601 | 83k| 23k| 0.000000e+00 | -- | Inf
1053.12/1053.11 c 1053s| 1650k| 307 | 14370k| 8.7 | 15M| 62 | 38 | 362 |3899 | 362 | 683 | 601 | 83k| 23k| 0.000000e+00 | -- | Inf
1058.92/1058.91 c 1059s| 1660k| 305 | 14451k| 8.7 | 15M| 62 | 26 | 362 |3886 | 362 | 683 | 601 | 84k| 23k| 0.000000e+00 | -- | Inf
1065.22/1065.28 c 1065s| 1670k| 294 | 14540k| 8.7 | 15M| 62 | 36 | 362 |3560 | 362 | 683 | 601 | 84k| 23k| 0.000000e+00 | -- | Inf
1071.92/1071.95 c 1072s| 1680k| 289 | 14631k| 8.7 | 15M| 65 | 39 | 362 |3454 | 362 | 683 | 601 | 85k| 23k| 0.000000e+00 | -- | Inf
1079.22/1079.27 c 1079s| 1690k| 295 | 14732k| 8.7 | 15M| 65 | 31 | 362 |3459 | 362 | 683 | 601 | 85k| 23k| 0.000000e+00 | -- | Inf
1085.51/1085.59 c 1086s| 1700k| 294 | 14820k| 8.7 | 15M| 65 | 27 | 362 |3265 | 362 | 683 | 601 | 86k| 23k| 0.000000e+00 | -- | Inf
1092.22/1092.25 c 1092s| 1710k| 294 | 14914k| 8.7 | 15M| 65 | 43 | 362 |3262 | 362 | 683 | 601 | 86k| 23k| 0.000000e+00 | -- | Inf
1099.72/1099.72 c 1100s| 1720k| 297 | 15024k| 8.7 | 15M| 65 | - | 362 |3282 | 362 | 683 | 601 | 86k| 23k| 0.000000e+00 | -- | Inf
1106.21/1106.29 c 1106s| 1730k| 291 | 15118k| 8.7 | 15M| 65 | 26 | 362 |3428 | 362 | 683 | 601 | 87k| 23k| 0.000000e+00 | -- | Inf
1111.92/1111.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1111.92/1111.98 c 1112s| 1740k| 290 | 15194k| 8.7 | 15M| 65 | 34 | 362 |3581 | 362 | 683 | 601 | 88k| 23k| 0.000000e+00 | -- | Inf
1118.02/1118.03 c 1118s| 1750k| 282 | 15277k| 8.7 | 15M| 65 | - | 362 |3617 | 0 | 0 | 601 | 88k| 24k| 0.000000e+00 | -- | Inf
1125.32/1125.32 c 1125s| 1760k| 275 | 15374k| 8.7 | 14M| 65 | - | 362 |3231 | 0 | 0 | 601 | 89k| 24k| 0.000000e+00 | -- | Inf
1132.31/1132.30 c 1132s| 1770k| 252 | 15467k| 8.7 | 14M| 65 | - | 362 |2821 | 0 | 0 | 601 | 89k| 24k| 0.000000e+00 | -- | Inf
1138.62/1138.67 c 1139s| 1780k| 256 | 15558k| 8.7 | 14M| 65 | - | 362 |2991 | 0 | 0 | 601 | 90k| 24k| 0.000000e+00 | -- | Inf
1144.92/1144.90 c 1145s| 1790k| 259 | 15647k| 8.7 | 14M| 65 | - | 362 |3147 | 362 | 683 | 601 | 91k| 24k| 0.000000e+00 | -- | Inf
1151.02/1151.01 c 1151s| 1800k| 286 | 15732k| 8.7 | 15M| 65 | - | 362 |3448 | 0 | 0 | 601 | 91k| 24k| 0.000000e+00 | -- | Inf
1157.12/1157.18 c 1157s| 1810k| 302 | 15818k| 8.7 | 15M| 65 | 34 | 362 |3617 | 362 | 683 | 601 | 92k| 24k| 0.000000e+00 | -- | Inf
1163.83/1163.82 c 1164s| 1820k| 306 | 15912k| 8.7 | 15M| 65 | - | 362 |3718 | 0 | 0 | 601 | 92k| 24k| 0.000000e+00 | -- | Inf
1170.82/1170.80 c 1171s| 1830k| 278 | 16011k| 8.7 | 15M| 65 | - | 362 |3589 | 0 | 0 | 601 | 93k| 24k| 0.000000e+00 | -- | Inf
1177.62/1177.67 c 1178s| 1840k| 248 | 16106k| 8.8 | 14M| 65 | 39 | 362 |3052 | 362 | 683 | 601 | 93k| 24k| 0.000000e+00 | -- | Inf
1184.42/1184.42 c 1184s| 1850k| 246 | 16201k| 8.8 | 14M| 65 | - | 362 |3075 | 0 | 0 | 601 | 94k| 24k| 0.000000e+00 | -- | Inf
1191.03/1191.00 c 1191s| 1860k| 246 | 16294k| 8.8 | 14M| 65 | 25 | 362 |3314 | 362 | 683 | 601 | 95k| 24k| 0.000000e+00 | -- | Inf
1197.42/1197.41 c 1197s| 1870k| 249 | 16384k| 8.8 | 14M| 65 | 38 | 362 |3420 | 362 | 683 | 601 | 95k| 25k| 0.000000e+00 | -- | Inf
1204.23/1204.21 c 1204s| 1880k| 251 | 16480k| 8.8 | 15M| 65 | - | 362 |3525 | 362 | 683 | 601 | 96k| 25k| 0.000000e+00 | -- | Inf
1212.23/1212.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1212.23/1212.29 c 1212s| 1890k| 255 | 16577k| 8.8 | 14M| 65 | 32 | 362 |3492 | 362 | 683 | 601 | 96k| 25k| 0.000000e+00 | -- | Inf
1218.62/1218.60 c 1219s| 1900k| 264 | 16664k| 8.8 | 15M| 65 | 22 | 362 |3742 | 362 | 683 | 601 | 97k| 25k| 0.000000e+00 | -- | Inf
1224.82/1224.82 c 1225s| 1910k| 271 | 16749k| 8.8 | 15M| 65 | 47 | 362 |3928 | 362 | 683 | 601 | 97k| 25k| 0.000000e+00 | -- | Inf
1231.22/1231.22 c 1231s| 1920k| 267 | 16837k| 8.8 | 15M| 65 | - | 362 |3987 | 362 | 683 | 601 | 97k| 25k| 0.000000e+00 | -- | Inf
1237.53/1237.56 c 1238s| 1930k| 287 | 16924k| 8.8 | 15M| 65 | 41 | 362 |4150 | 362 | 683 | 601 | 98k| 25k| 0.000000e+00 | -- | Inf
1244.13/1244.19 c 1244s| 1940k| 258 | 17016k| 8.8 | 15M| 65 | 52 | 362 |3856 | 362 | 683 | 601 | 98k| 25k| 0.000000e+00 | -- | Inf
1250.22/1250.28 c 1250s| 1950k| 257 | 17099k| 8.8 | 14M| 65 | 26 | 362 |3131 | 362 | 683 | 601 | 99k| 25k| 0.000000e+00 | -- | Inf
1256.33/1256.37 c 1256s| 1960k| 252 | 17183k| 8.8 | 14M| 65 | - | 362 |2969 | 0 | 0 | 601 | 99k| 25k| 0.000000e+00 | -- | Inf
1262.73/1262.75 c 1263s| 1970k| 258 | 17272k| 8.8 | 14M| 65 | 30 | 362 |2858 | 362 | 683 | 601 | 99k| 25k| 0.000000e+00 | -- | Inf
1268.62/1268.63 c 1269s| 1980k| 262 | 17352k| 8.8 | 14M| 65 | - | 362 |2808 | 0 | 0 | 601 | 100k| 25k| 0.000000e+00 | -- | Inf
1274.72/1274.80 c 1275s| 1990k| 261 | 17436k| 8.8 | 14M| 65 | 28 | 362 |2856 | 362 | 683 | 601 | 100k| 25k| 0.000000e+00 | -- | Inf
1280.82/1280.89 c 1281s| 2000k| 260 | 17519k| 8.8 | 14M| 65 | 35 | 362 |2884 | 362 | 683 | 601 | 101k| 25k| 0.000000e+00 | -- | Inf
1286.62/1286.69 c 1287s| 2010k| 260 | 17601k| 8.8 | 14M| 65 | - | 362 |3014 | 0 | 0 | 601 | 101k| 25k| 0.000000e+00 | -- | Inf
1292.53/1292.52 c 1293s| 2020k| 260 | 17682k| 8.8 | 14M| 65 | - | 362 |3250 | 0 | 0 | 601 | 102k| 26k| 0.000000e+00 | -- | Inf
1299.13/1299.16 c 1299s| 2030k| 270 | 17779k| 8.8 | 15M| 65 | - | 362 |3213 | 0 | 0 | 601 | 102k| 26k| 0.000000e+00 | -- | Inf
1306.03/1306.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1306.03/1306.08 c 1306s| 2040k| 257 | 17879k| 8.8 | 14M| 65 | - | 362 |3199 | 362 | 683 | 601 | 103k| 26k| 0.000000e+00 | -- | Inf
1311.93/1311.98 c 1312s| 2050k| 260 | 17963k| 8.8 | 15M| 65 | - | 362 |3403 | 0 | 0 | 601 | 103k| 26k| 0.000000e+00 | -- | Inf
1318.02/1318.06 c 1318s| 2060k| 256 | 18048k| 8.8 | 15M| 65 | - | 362 |3417 | 0 | 0 | 601 | 104k| 26k| 0.000000e+00 | -- | Inf
1324.73/1324.76 c 1325s| 2070k| 254 | 18144k| 8.8 | 14M| 65 | 27 | 362 |3041 | 362 | 683 | 601 | 104k| 26k| 0.000000e+00 | -- | Inf
1330.63/1330.64 c 1331s| 2080k| 250 | 18223k| 8.8 | 14M| 65 | - | 362 |3173 | 0 | 0 | 601 | 104k| 26k| 0.000000e+00 | -- | Inf
1336.54/1336.53 c 1337s| 2090k| 256 | 18303k| 8.8 | 14M| 65 | - | 362 |3301 | 0 | 0 | 601 | 105k| 26k| 0.000000e+00 | -- | Inf
1342.62/1342.61 c 1343s| 2100k| 270 | 18387k| 8.8 | 15M| 65 | - | 362 |3474 | 0 | 0 | 601 | 105k| 26k| 0.000000e+00 | -- | Inf
1349.03/1349.04 c 1349s| 2110k| 281 | 18477k| 8.8 | 15M| 65 | - | 362 |3511 | 362 | 683 | 601 | 106k| 26k| 0.000000e+00 | -- | Inf
1355.62/1355.67 c 1356s| 2120k| 256 | 18570k| 8.8 | 15M| 65 | - | 362 |3443 | 0 | 0 | 601 | 106k| 26k| 0.000000e+00 | -- | Inf
1362.02/1362.04 c 1362s| 2130k| 257 | 18657k| 8.8 | 14M| 65 | - | 362 |3025 | 362 | 683 | 601 | 107k| 26k| 0.000000e+00 | -- | Inf
1368.73/1368.77 c 1369s| 2140k| 260 | 18751k| 8.8 | 14M| 65 | 43 | 362 |3032 | 362 | 683 | 601 | 107k| 26k| 0.000000e+00 | -- | Inf
1374.63/1374.64 c 1375s| 2150k| 263 | 18830k| 8.8 | 14M| 65 | - | 362 |3253 | 0 | 0 | 601 | 108k| 26k| 0.000000e+00 | -- | Inf
1380.63/1380.60 c 1381s| 2160k| 265 | 18911k| 8.8 | 15M| 65 | - | 362 |3430 | 0 | 0 | 601 | 108k| 26k| 0.000000e+00 | -- | Inf
1386.93/1386.95 c 1387s| 2170k| 271 | 18999k| 8.8 | 15M| 65 | - | 362 |3492 | 362 | 683 | 601 | 109k| 26k| 0.000000e+00 | -- | Inf
1393.63/1393.64 c 1394s| 2180k| 271 | 19092k| 8.8 | 15M| 65 | - | 362 |3514 | 0 | 0 | 601 | 109k| 26k| 0.000000e+00 | -- | Inf
1400.34/1400.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1400.34/1400.34 c 1400s| 2190k| 275 | 19185k| 8.8 | 15M| 65 | - | 362 |3540 | 0 | 0 | 601 | 110k| 26k| 0.000000e+00 | -- | Inf
1406.73/1406.75 c 1407s| 2200k| 268 | 19275k| 8.8 | 15M| 65 | - | 362 |3638 | 362 | 683 | 601 | 110k| 26k| 0.000000e+00 | -- | Inf
1413.83/1413.81 c 1414s| 2210k| 288 | 19374k| 8.8 | 15M| 70 | 28 | 362 |3587 | 362 | 683 | 601 | 110k| 26k| 0.000000e+00 | -- | Inf
1421.03/1421.03 c 1421s| 2220k| 266 | 19474k| 8.8 | 15M| 70 | 27 | 362 |3418 | 362 | 683 | 601 | 111k| 27k| 0.000000e+00 | -- | Inf
1427.43/1427.42 c 1427s| 2230k| 264 | 19562k| 8.8 | 15M| 70 | 27 | 362 |3386 | 362 | 683 | 601 | 111k| 27k| 0.000000e+00 | -- | Inf
1432.73/1432.73 c 1433s| 2240k| 269 | 19633k| 8.8 | 15M| 70 | - | 362 |3572 | 0 | 0 | 601 | 112k| 27k| 0.000000e+00 | -- | Inf
1438.33/1438.31 c 1438s| 2250k| 264 | 19706k| 8.8 | 15M| 70 | 48 | 362 |3595 | 362 | 683 | 601 | 113k| 27k| 0.000000e+00 | -- | Inf
1443.93/1443.90 c 1444s| 2260k| 270 | 19781k| 8.8 | 15M| 70 | 28 | 362 |3717 | 362 | 683 | 601 | 113k| 27k| 0.000000e+00 | -- | Inf
1450.03/1450.02 c 1450s| 2270k| 271 | 19867k| 8.8 | 15M| 70 | - | 362 |3906 | 362 | 683 | 601 | 114k| 27k| 0.000000e+00 | -- | Inf
1455.73/1455.73 c 1456s| 2280k| 281 | 19945k| 8.7 | 15M| 70 | - | 362 |4139 | 0 | 0 | 601 | 114k| 27k| 0.000000e+00 | -- | Inf
1461.23/1461.22 c 1461s| 2290k| 300 | 20020k| 8.7 | 15M| 70 | 26 | 362 |4388 | 362 | 683 | 601 | 115k| 27k| 0.000000e+00 | -- | Inf
1466.83/1466.85 c 1467s| 2300k| 290 | 20096k| 8.7 | 15M| 70 | 35 | 362 |4374 | 362 | 683 | 601 | 115k| 27k| 0.000000e+00 | -- | Inf
1472.43/1472.42 c 1472s| 2310k| 294 | 20171k| 8.7 | 15M| 70 | - | 362 |4623 | 0 | 0 | 601 | 116k| 27k| 0.000000e+00 | -- | Inf
1478.23/1478.22 c 1478s| 2320k| 291 | 20249k| 8.7 | 15M| 70 | - | 362 |4616 | 362 | 683 | 601 | 116k| 27k| 0.000000e+00 | -- | Inf
1484.73/1484.74 c 1485s| 2330k| 312 | 20341k| 8.7 | 15M| 70 | - | 362 |4809 | 0 | 0 | 601 | 117k| 27k| 0.000000e+00 | -- | Inf
1491.14/1491.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1491.14/1491.18 c 1491s| 2340k| 311 | 20432k| 8.7 | 15M| 70 | 29 | 362 |4887 | 362 | 683 | 601 | 117k| 27k| 0.000000e+00 | -- | Inf
1497.63/1497.66 c 1498s| 2350k| 312 | 20521k| 8.7 | 15M| 70 | - | 362 |4801 | 0 | 0 | 601 | 118k| 27k| 0.000000e+00 | -- | Inf
1503.64/1503.62 c 1504s| 2360k| 310 | 20604k| 8.7 | 15M| 70 | 36 | 362 |4785 | 362 | 683 | 601 | 118k| 27k| 0.000000e+00 | -- | Inf
1509.83/1509.81 c 1510s| 2370k| 324 | 20688k| 8.7 | 15M| 70 | 27 | 362 |4739 | 362 | 683 | 601 | 119k| 27k| 0.000000e+00 | -- | Inf
1515.33/1515.37 c 1515s| 2380k| 342 | 20761k| 8.7 | 15M| 70 | - | 362 |4851 | 0 | 0 | 601 | 119k| 27k| 0.000000e+00 | -- | Inf
1520.83/1520.86 c 1521s| 2390k| 337 | 20833k| 8.7 | 15M| 70 | 23 | 362 |4959 | 362 | 683 | 601 | 120k| 27k| 0.000000e+00 | -- | Inf
1526.54/1526.56 c 1527s| 2400k| 338 | 20910k| 8.7 | 15M| 70 | - | 362 |4991 | 0 | 0 | 601 | 120k| 27k| 0.000000e+00 | -- | Inf
1532.34/1532.33 c 1532s| 2410k| 326 | 20986k| 8.7 | 15M| 70 | 24 | 362 |4969 | 362 | 683 | 601 | 121k| 27k| 0.000000e+00 | -- | Inf
1538.74/1538.74 c 1539s| 2420k| 308 | 21074k| 8.7 | 15M| 70 | 44 | 362 |4649 | 362 | 683 | 601 | 121k| 27k| 0.000000e+00 | -- | Inf
1544.64/1544.61 c 1545s| 2430k| 321 | 21156k| 8.7 | 15M| 70 | 17 | 362 |4688 | 362 | 683 | 601 | 122k| 27k| 0.000000e+00 | -- | Inf
1550.53/1550.58 c 1551s| 2440k| 311 | 21237k| 8.7 | 15M| 70 | - | 362 |4729 | 362 | 683 | 601 | 122k| 28k| 0.000000e+00 | -- | Inf
1555.93/1555.99 c 1556s| 2450k| 310 | 21308k| 8.7 | 15M| 70 | - | 362 |4855 | 0 | 0 | 601 | 123k| 28k| 0.000000e+00 | -- | Inf
1561.23/1561.20 c 1561s| 2460k| 340 | 21376k| 8.7 | 15M| 70 | - | 362 |5032 | 0 | 0 | 601 | 123k| 28k| 0.000000e+00 | -- | Inf
1566.53/1566.56 c 1567s| 2470k| 317 | 21445k| 8.7 | 15M| 70 | 37 | 362 |4920 | 362 | 683 | 601 | 124k| 28k| 0.000000e+00 | -- | Inf
1572.03/1572.08 c 1572s| 2480k| 317 | 21518k| 8.7 | 15M| 70 | - | 362 |4996 | 0 | 0 | 601 | 124k| 28k| 0.000000e+00 | -- | Inf
1578.44/1578.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1578.44/1578.41 c 1578s| 2490k| 304 | 21604k| 8.7 | 15M| 70 | - | 362 |4745 | 362 | 683 | 601 | 125k| 28k| 0.000000e+00 | -- | Inf
1584.23/1584.27 c 1584s| 2500k| 313 | 21684k| 8.7 | 15M| 70 | 26 | 362 |4748 | 362 | 683 | 601 | 125k| 28k| 0.000000e+00 | -- | Inf
1590.53/1590.54 c 1591s| 2510k| 318 | 21770k| 8.7 | 15M| 70 | 38 | 362 |4816 | 362 | 683 | 601 | 126k| 28k| 0.000000e+00 | -- | Inf
1596.44/1596.45 c 1596s| 2520k| 314 | 21850k| 8.7 | 15M| 70 | - | 362 |4577 | 0 | 0 | 601 | 126k| 28k| 0.000000e+00 | -- | Inf
1602.64/1602.67 c 1603s| 2530k| 316 | 21936k| 8.7 | 15M| 70 | 33 | 362 |4623 | 362 | 683 | 601 | 127k| 28k| 0.000000e+00 | -- | Inf
1608.84/1608.85 c 1609s| 2540k| 365 | 22021k| 8.7 | 15M| 70 | - | 362 |4715 | 362 | 683 | 601 | 127k| 28k| 0.000000e+00 | -- | Inf
1615.23/1615.22 c 1615s| 2550k| 327 | 22108k| 8.7 | 15M| 70 | 22 | 362 |4746 | 362 | 683 | 601 | 128k| 28k| 0.000000e+00 | -- | Inf
1621.73/1621.74 c 1622s| 2560k| 325 | 22199k| 8.7 | 15M| 70 | 37 | 362 |4663 | 362 | 683 | 601 | 128k| 28k| 0.000000e+00 | -- | Inf
1628.34/1628.37 c 1628s| 2570k| 349 | 22291k| 8.7 | 15M| 70 | 31 | 362 |4773 | 362 | 683 | 601 | 128k| 28k| 0.000000e+00 | -- | Inf
1634.54/1634.60 c 1635s| 2580k| 354 | 22376k| 8.7 | 15M| 70 | 26 | 362 |4769 | 362 | 683 | 601 | 129k| 28k| 0.000000e+00 | -- | Inf
1640.74/1640.78 c 1641s| 2590k| 342 | 22458k| 8.7 | 15M| 70 | 41 | 362 |4801 | 362 | 683 | 601 | 129k| 28k| 0.000000e+00 | -- | Inf
1647.14/1647.17 c 1647s| 2600k| 347 | 22547k| 8.7 | 15M| 70 | 36 | 362 |4633 | 362 | 683 | 601 | 130k| 28k| 0.000000e+00 | -- | Inf
1653.93/1653.94 c 1654s| 2610k| 353 | 22643k| 8.7 | 15M| 70 | - | 362 |4234 | 0 | 0 | 601 | 130k| 28k| 0.000000e+00 | -- | Inf
1660.64/1660.64 c 1661s| 2620k| 358 | 22738k| 8.7 | 15M| 70 | 22 | 362 |4341 | 362 | 683 | 601 | 130k| 28k| 0.000000e+00 | -- | Inf
1667.24/1667.20 c 1667s| 2630k| 334 | 22830k| 8.7 | 15M| 70 | - | 362 |4299 | 0 | 0 | 601 | 131k| 28k| 0.000000e+00 | -- | Inf
1673.44/1673.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1673.44/1673.42 c 1673s| 2640k| 337 | 22917k| 8.7 | 15M| 70 | - | 362 |4334 | 362 | 683 | 601 | 131k| 28k| 0.000000e+00 | -- | Inf
1679.34/1679.34 c 1679s| 2650k| 338 | 22998k| 8.7 | 15M| 70 | - | 362 |4404 | 0 | 0 | 601 | 132k| 28k| 0.000000e+00 | -- | Inf
1686.14/1686.11 c 1686s| 2660k| 308 | 23093k| 8.7 | 15M| 70 | - | 362 |4228 | 0 | 0 | 601 | 132k| 28k| 0.000000e+00 | -- | Inf
1692.54/1692.52 c 1693s| 2670k| 310 | 23183k| 8.7 | 15M| 70 | 25 | 362 |4311 | 362 | 683 | 601 | 133k| 28k| 0.000000e+00 | -- | Inf
1698.35/1698.37 c 1698s| 2680k| 314 | 23263k| 8.7 | 15M| 70 | - | 362 |4427 | 0 | 0 | 601 | 133k| 28k| 0.000000e+00 | -- | Inf
1704.64/1704.66 c 1705s| 2690k| 312 | 23351k| 8.7 | 15M| 70 | - | 362 |4502 | 0 | 0 | 601 | 134k| 28k| 0.000000e+00 | -- | Inf
1710.74/1710.72 c 1711s| 2700k| 324 | 23434k| 8.7 | 15M| 70 | 29 | 362 |4554 | 362 | 683 | 601 | 134k| 29k| 0.000000e+00 | -- | Inf
1717.04/1717.03 c 1717s| 2710k| 324 | 23522k| 8.7 | 15M| 70 | - | 362 |4565 | 362 | 683 | 601 | 135k| 29k| 0.000000e+00 | -- | Inf
1723.44/1723.40 c 1723s| 2720k| 332 | 23610k| 8.7 | 15M| 70 | 30 | 362 |4671 | 362 | 683 | 601 | 135k| 29k| 0.000000e+00 | -- | Inf
1729.83/1729.80 c 1730s| 2730k| 342 | 23697k| 8.7 | 15M| 70 | - | 362 |4783 | 0 | 0 | 601 | 135k| 29k| 0.000000e+00 | -- | Inf
1736.24/1736.26 c 1736s| 2740k| 349 | 23787k| 8.7 | 15M| 70 | 38 | 362 |4827 | 362 | 683 | 601 | 136k| 29k| 0.000000e+00 | -- | Inf
1742.64/1742.67 c 1743s| 2750k| 343 | 23874k| 8.7 | 16M| 70 | - | 362 |4862 | 362 | 683 | 601 | 136k| 29k| 0.000000e+00 | -- | Inf
1748.74/1748.77 c 1749s| 2760k| 347 | 23958k| 8.7 | 15M| 70 | - | 362 |4514 | 0 | 0 | 601 | 137k| 29k| 0.000000e+00 | -- | Inf
1755.44/1755.48 c 1755s| 2770k| 348 | 24052k| 8.7 | 15M| 70 | 34 | 362 |4477 | 362 | 683 | 601 | 137k| 29k| 0.000000e+00 | -- | Inf
1762.34/1762.34 c 1762s| 2780k| 341 | 24151k| 8.7 | 15M| 70 | 34 | 362 |4327 | 362 | 683 | 601 | 137k| 29k| 0.000000e+00 | -- | Inf
1769.64/1769.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1769.64/1769.62 c 1770s| 2790k| 330 | 24255k| 8.7 | 15M| 70 | 46 | 362 |4382 | 362 | 683 | 601 | 138k| 29k| 0.000000e+00 | -- | Inf
1776.14/1776.15 c 1776s| 2800k| 333 | 24346k| 8.7 | 15M| 70 | - | 362 |4468 | 362 | 683 | 601 | 138k| 29k| 0.000000e+00 | -- | Inf
1782.84/1782.88 c 1783s| 2810k| 353 | 24440k| 8.7 | 15M| 70 | - | 362 |4454 | 362 | 683 | 601 | 139k| 29k| 0.000000e+00 | -- | Inf
1788.65/1788.68 c 1789s| 2820k| 347 | 24518k| 8.7 | 15M| 70 | - | 362 |4598 | 362 | 683 | 601 | 139k| 29k| 0.000000e+00 | -- | Inf
1794.94/1794.94 c 1795s| 2830k| 366 | 24604k| 8.7 | 16M| 70 | 31 | 362 |4668 | 362 | 683 | 601 | 139k| 29k| 0.000000e+00 | -- | Inf
1797.04/1797.00 c
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Solving Time (sec) : 1797.00
1797.04/1797.00 c Solving Nodes : 2833357
1797.04/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.04/1797.00 c Dual Bound : +0.00000000000000e+00
1797.04/1797.00 c Gap : infinite
1797.04/1797.00 s UNKNOWN
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Total Time : 1797.00
1797.04/1797.00 c solving : 1797.00
1797.04/1797.00 c presolving : 0.02 (included in solving)
1797.04/1797.00 c reading : 0.00 (included in solving)
1797.04/1797.00 c Original Problem :
1797.04/1797.00 c Problem name : HOME/instance-3485600-1307750178.opb
1797.04/1797.00 c Variables : 370 (370 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 557 initial, 557 maximal
1797.04/1797.00 c Presolved Problem :
1797.04/1797.00 c Problem name : t_HOME/instance-3485600-1307750178.opb
1797.04/1797.00 c Variables : 362 (362 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 545 initial, 5105 maximal
1797.04/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c implics : 0.00 0 8 0 0 0 0 0 0 0
1797.04/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c setppc : 0.00 0 0 0 0 0 12 0 0 0
1797.04/1797.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c root node : - 0 - - 0 - - - - -
1797.04/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c integral : 0 0 0 1427088 0 1 0 1049 5114 0 0 2844276
1797.04/1797.00 c knapsack : 244 5 7121298 0 1 0 18302346 956742 27708048 528 0 0
1797.04/1797.00 c setppc : 181 5 6069189 0 1 0 3589927 3967 7884173 0 0 0
1797.04/1797.00 c logicor : 120+ 5 4680755 0 1 0 92687 19644 4490769 0 0 0
1797.04/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.04/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.00 c integral : 50.96 0.00 0.00 50.96 0.00 0.00 0.00
1797.04/1797.00 c knapsack : 75.25 0.01 69.07 0.00 0.00 0.00 6.17
1797.04/1797.00 c setppc : 13.77 0.00 13.02 0.00 0.00 0.00 0.75
1797.04/1797.00 c logicor : 36.61 0.00 36.50 0.00 0.00 0.00 0.11
1797.04/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.00 c vbounds : 0 0 0 0
1797.04/1797.00 c rootredcost : 0 0 0 0
1797.04/1797.00 c pseudoobj : 0 0 0 0
1797.04/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.00 c vbounds : 0.93 0.93 0.00
1797.04/1797.00 c rootredcost : 1.00 1.00 0.00
1797.04/1797.00 c pseudoobj : 0.71 0.71 0.00
1797.04/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.00 c propagation : 20.34 147702 131045 966583 81.6 1548 81.9 -
1797.04/1797.00 c infeasible LP : 36.30 439957 0 0 0.0 0 0.0 0
1797.04/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.00 c applied globally : - - - 135233 19.2 - - -
1797.04/1797.00 c applied locally : - - - 4848 42.9 - - -
1797.04/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.00 c cut pool : 0.00 4 - - 294 - (maximal pool size: 2215)
1797.04/1797.00 c redcost : 7.68 1425119 0 0 0 0
1797.04/1797.00 c impliedbounds : 0.00 5 0 0 969 0
1797.04/1797.00 c intobj : 0.00 0 0 0 0 0
1797.04/1797.00 c gomory : 0.21 5 0 0 226 0
1797.04/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.00 c strongcg : 0.20 5 0 0 2218 0
1797.04/1797.00 c cmir : 0.00 0 0 0 0 0
1797.04/1797.00 c flowcover : 0.00 0 0 0 0 0
1797.04/1797.00 c clique : 0.00 1 0 0 0 0
1797.04/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.00 c mcf : 0.00 1 0 0 0 0
1797.04/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.00 c rapidlearning : 0.03 1 0 0 0 0
1797.04/1797.00 c Pricers : Time Calls Vars
1797.04/1797.00 c problem variables: 0.00 0 0
1797.04/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c relpscost : 50.12 1427088 1049 5114 0 0 2844276
1797.04/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.04/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c random : 0.00 0 0 0 0 0 0
1797.04/1797.00 c Primal Heuristics : Time Calls Found
1797.04/1797.00 c LP solutions : 0.00 - 0
1797.04/1797.00 c pseudo solutions : 0.00 - 0
1797.04/1797.00 c trivial : 0.00 1 0
1797.04/1797.00 c shiftandpropagate: 0.00 0 0
1797.04/1797.00 c simplerounding : 0.00 0 0
1797.04/1797.00 c zirounding : 0.00 0 0
1797.04/1797.00 c rounding : 0.00 0 0
1797.04/1797.00 c shifting : 0.00 0 0
1797.04/1797.00 c intshifting : 0.00 0 0
1797.04/1797.00 c oneopt : 0.00 0 0
1797.04/1797.00 c twoopt : 0.00 0 0
1797.04/1797.00 c fixandinfer : 0.00 0 0
1797.04/1797.00 c feaspump : 0.00 0 0
1797.04/1797.00 c clique : 0.00 0 0
1797.04/1797.00 c coefdiving : 0.00 0 0
1797.04/1797.00 c pscostdiving : 0.00 0 0
1797.04/1797.00 c fracdiving : 0.00 0 0
1797.04/1797.00 c veclendiving : 0.00 0 0
1797.04/1797.00 c intdiving : 0.00 0 0
1797.04/1797.00 c actconsdiving : 0.00 0 0
1797.04/1797.00 c objpscostdiving : 0.00 0 0
1797.04/1797.00 c rootsoldiving : 0.00 0 0
1797.04/1797.00 c linesearchdiving : 0.00 0 0
1797.04/1797.00 c guideddiving : 0.00 0 0
1797.04/1797.00 c octane : 0.00 0 0
1797.04/1797.00 c rens : 0.00 0 0
1797.04/1797.00 c rins : 0.00 0 0
1797.04/1797.00 c localbranching : 0.00 0 0
1797.04/1797.00 c mutation : 0.00 0 0
1797.04/1797.00 c crossover : 0.00 0 0
1797.04/1797.00 c dins : 0.00 0 0
1797.04/1797.00 c vbounds : 0.00 0 0
1797.04/1797.00 c undercover : 0.00 0 0
1797.04/1797.00 c subnlp : 0.00 0 0
1797.04/1797.00 c trysol : 0.00 0 0
1797.04/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.04/1797.00 c dual LP : 1305.57 1865056 24631836 13.21 18866.76
1797.04/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.00 c diving/probing LP: 0.00 0 0 0.00 -
1797.04/1797.00 c strong branching : 34.18 29590 463510 15.66 13561.18
1797.04/1797.00 c (at root node) : - 10 2799 279.90 -
1797.04/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.00 c B&B Tree :
1797.04/1797.00 c number of runs : 1
1797.04/1797.00 c nodes : 2833357
1797.04/1797.00 c nodes (total) : 2833357
1797.04/1797.00 c nodes left : 368
1797.04/1797.00 c max depth : 70
1797.04/1797.00 c max depth (total): 70
1797.04/1797.00 c backtracks : 392402 (13.8%)
1797.04/1797.00 c delayed cutoffs : 10554
1797.04/1797.00 c repropagations : 286059 (756345 domain reductions, 10141 cutoffs)
1797.04/1797.00 c avg switch length: 2.78
1797.04/1797.00 c switching time : 97.53
1797.04/1797.00 c Solution :
1797.04/1797.00 c Solutions found : 0 (0 improvements)
1797.04/1797.00 c Primal Bound : -
1797.04/1797.00 c Dual Bound : +0.00000000000000e+00
1797.04/1797.00 c Gap : infinite
1797.04/1797.00 c Root Dual Bound : +0.00000000000000e+00
1797.04/1797.00 c Root Iterations : 1270
1797.04/1797.01 c Time complete: 1797.06.
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-3485600-1307750178/watcher-3485600-1307750178 -o /tmp/evaluation-result-3485600-1307750178/solver-3485600-1307750178 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485600-1307750178.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: 0.00 0.00 0.00 2/174 6539
/proc/meminfo: memFree=31631220/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=9116 CPUtime=0 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 1158 0 0 0 0 0 0 0 19 0 1 0 965248566 9334784 1112 33554432000 4194304 8979876 140733356701264 18446744073709551615 7836189 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/6539/statm: 2279 1126 346 1169 0 1106 0
[startup+0.0781721 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 6539
/proc/meminfo: memFree=31631220/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=33724 CPUtime=0.06 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 7757 0 0 0 6 0 0 0 19 0 1 0 965248566 34533376 7094 33554432000 4194304 8979876 140733356701264 18446744073709551615 4445242 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6539/statm: 8431 7094 690 1169 0 7258 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 33724
[startup+0.101152 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 6539
/proc/meminfo: memFree=31631220/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=22608 CPUtime=0.09 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 7882 0 0 0 8 1 0 0 19 0 1 0 965248566 23150592 4587 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6539/statm: 5652 4587 693 1169 0 4479 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22608
[startup+0.301091 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 6539
/proc/meminfo: memFree=31631220/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=26108 CPUtime=0.29 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 8746 0 0 0 27 2 0 0 20 0 1 0 965248566 26734592 5451 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6539/statm: 6527 5451 693 1169 0 5354 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26108
[startup+0.701014 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 6539
/proc/meminfo: memFree=31631220/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=35784 CPUtime=0.69 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 11183 0 0 0 66 3 0 0 20 0 1 0 965248566 36642816 7888 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6539/statm: 8946 7888 695 1169 0 7773 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35784
[startup+1.50087 s]
/proc/loadavg: 0.08 0.02 0.01 2/173 6567
/proc/meminfo: memFree=31618984/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=35784 CPUtime=1.48 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 11192 0 0 0 138 10 0 0 23 0 1 0 965248566 36642816 7897 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6539/statm: 8946 7897 698 1169 0 7773 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 35784
[startup+3.10057 s]
/proc/loadavg: 0.08 0.02 0.01 2/173 6567
/proc/meminfo: memFree=31618896/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=35784 CPUtime=3.08 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 11197 0 0 0 284 24 0 0 25 0 1 0 965248566 36642816 7902 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6539/statm: 8946 7902 698 1169 0 7773 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 35784
[startup+6.30096 s]
/proc/loadavg: 0.15 0.03 0.01 2/173 6605
/proc/meminfo: memFree=31618376/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=35784 CPUtime=6.28 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 11230 0 0 0 573 55 0 0 25 0 1 0 965248566 36642816 7935 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6539/statm: 8946 7935 698 1169 0 7773 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 35784
[startup+12.7008 s]
/proc/loadavg: 0.30 0.06 0.02 2/173 6831
/proc/meminfo: memFree=31599752/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=35784 CPUtime=12.69 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 11234 0 0 0 1160 109 0 0 25 0 1 0 965248566 36642816 7939 33554432000 4194304 8979876 140733356701264 18446744073709551615 4291199 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6539/statm: 8946 7939 698 1169 0 7773 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35784
[startup+25.5004 s]
/proc/loadavg: 0.41 0.10 0.03 3/178 7189
/proc/meminfo: memFree=31566476/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=35784 CPUtime=25.49 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 11265 0 0 0 2342 207 0 0 25 0 1 0 965248566 36642816 7970 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6539/statm: 8946 7970 698 1169 0 7773 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35784
[startup+51.1006 s]
/proc/loadavg: 1.03 0.28 0.09 3/178 7190
/proc/meminfo: memFree=31567124/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=36504 CPUtime=51.09 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 11423 0 0 0 4715 394 0 0 25 0 1 0 965248566 37380096 8125 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6539/statm: 9126 8125 698 1169 0 7953 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 36504
[startup+102.306 s]
/proc/loadavg: 1.62 0.55 0.19 3/178 7192
/proc/meminfo: memFree=31566404/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=36664 CPUtime=102.29 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 11483 0 0 0 9455 774 0 0 25 0 1 0 965248566 37543936 8185 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6539/statm: 9166 8185 698 1169 0 7993 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 36664
[startup+162.301 s]
/proc/loadavg: 1.86 0.81 0.30 3/178 7193
/proc/meminfo: memFree=31565452/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=37516 CPUtime=162.29 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 11701 0 0 0 15026 1203 0 0 25 0 1 0 965248566 38416384 8403 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6539/statm: 9379 8403 698 1169 0 8206 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 37516
[startup+222.301 s]
/proc/loadavg: 1.95 1.03 0.41 3/178 7195
/proc/meminfo: memFree=31565016/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=37648 CPUtime=222.29 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 11749 0 0 0 20602 1627 0 0 25 0 1 0 965248566 38551552 8451 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6539/statm: 9412 8451 698 1169 0 8239 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 37648
[startup+282.301 s]
/proc/loadavg: 1.98 1.20 0.50 3/178 7196
/proc/meminfo: memFree=31562956/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=37792 CPUtime=282.29 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 11785 0 0 0 26164 2065 0 0 25 0 1 0 965248566 38699008 8487 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/6539/statm: 9448 8487 698 1169 0 8275 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 37792
[startup+342.3 s]
/proc/loadavg: 1.99 1.34 0.59 3/178 7207
/proc/meminfo: memFree=31559192/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=37928 CPUtime=342.29 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 11804 0 0 0 31728 2501 0 0 25 0 1 0 965248566 38838272 8506 33554432000 4194304 8979876 140733356701264 18446744073709551615 18446744073699065939 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6539/statm: 9482 8506 698 1169 0 8309 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 37928
[startup+402.3 s]
/proc/loadavg: 1.99 1.46 0.68 3/178 7209
/proc/meminfo: memFree=31557248/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=38376 CPUtime=402.3 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 11925 0 0 0 37313 2917 0 0 25 0 1 0 965248566 39297024 8627 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6539/statm: 9594 8627 698 1169 0 8421 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 38376
[startup+462.301 s]
/proc/loadavg: 2.07 1.57 0.76 3/178 7210
/proc/meminfo: memFree=31557028/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=38692 CPUtime=462.3 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 12009 0 0 0 42910 3320 0 0 25 0 1 0 965248566 39620608 8711 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6539/statm: 9673 8711 698 1169 0 8500 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 38692
[startup+522.301 s]
/proc/loadavg: 2.02 1.65 0.84 3/178 7212
/proc/meminfo: memFree=31556816/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=39000 CPUtime=522.3 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 12056 0 0 0 48501 3729 0 0 25 0 1 0 965248566 39936000 8758 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6539/statm: 9750 8758 698 1169 0 8577 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 39000
[startup+582.301 s]
/proc/loadavg: 2.01 1.71 0.91 3/178 7213
/proc/meminfo: memFree=31556584/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=39148 CPUtime=582.3 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 12097 0 0 0 54092 4138 0 0 25 0 1 0 965248566 40087552 8799 33554432000 4194304 8979876 140733356701264 18446744073709551615 6386225 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6539/statm: 9787 8799 698 1169 0 8614 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 39148
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31558084/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=40472 CPUtime=1122.32 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 12435 0 0 0 105010 7222 0 0 25 0 1 0 965248566 41443328 9136 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6539/statm: 10118 9136 698 1169 0 8945 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 40472
[startup+1182.3 s]
/proc/loadavg: 2.00 1.95 1.41 3/178 7267
/proc/meminfo: memFree=31557764/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=40472 CPUtime=1182.32 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 12450 0 0 0 110693 7539 0 0 25 0 1 0 965248566 41443328 9151 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6539/statm: 10118 9151 698 1169 0 8945 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 40472
[startup+1242.3 s]
/proc/loadavg: 2.04 1.97 1.45 3/178 7269
/proc/meminfo: memFree=31557468/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=40472 CPUtime=1242.32 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 12454 0 0 0 116377 7855 0 0 25 0 1 0 965248566 41443328 9155 33554432000 4194304 8979876 140733356701264 18446744073709551615 18446744073699065939 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6539/statm: 10118 9155 698 1169 0 8945 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 40472
[startup+1302.3 s]
/proc/loadavg: 2.01 1.97 1.48 3/178 7309
/proc/meminfo: memFree=31561656/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=40472 CPUtime=1302.33 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 12454 0 0 0 122016 8217 0 0 25 0 1 0 965248566 41443328 9155 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6539/statm: 10118 9155 698 1169 0 8945 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 40472
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/178 7310
/proc/meminfo: memFree=31560768/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=40472 CPUtime=1362.33 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 12454 0 0 0 127599 8634 0 0 25 0 1 0 965248566 41443328 9155 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6539/statm: 10118 9155 698 1169 0 8945 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 40472
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 3/178 7312
/proc/meminfo: memFree=31560684/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=40604 CPUtime=1422.33 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 12459 0 0 0 133185 9048 0 0 25 0 1 0 965248566 41578496 9160 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6539/statm: 10151 9160 698 1169 0 8978 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 40604
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.56 3/178 7313
/proc/meminfo: memFree=31559704/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=40604 CPUtime=1482.33 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 12464 0 0 0 138760 9473 0 0 25 0 1 0 965248566 41578496 9165 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6539/statm: 10151 9165 698 1169 0 8978 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 40604
[startup+1542.3 s]
/proc/loadavg: 2.06 1.99 1.59 3/178 7353
/proc/meminfo: memFree=31560644/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=40604 CPUtime=1542.34 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 12476 0 0 0 144410 9824 0 0 25 0 1 0 965248566 41578496 9177 33554432000 4194304 8979876 140733356701264 18446744073709551615 4294279 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6539/statm: 10151 9177 698 1169 0 8978 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 40604
[startup+1602.3 s]
/proc/loadavg: 2.02 1.99 1.61 3/178 7355
/proc/meminfo: memFree=31560116/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=40752 CPUtime=1602.34 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 12495 0 0 0 150109 10125 0 0 25 0 1 0 965248566 41730048 9196 33554432000 4194304 8979876 140733356701264 18446744073709551615 7069337 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6539/statm: 10188 9196 698 1169 0 9015 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 40752
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.64 3/178 7356
/proc/meminfo: memFree=31559192/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=40752 CPUtime=1662.33 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 12495 0 0 0 155793 10440 0 0 25 0 1 0 965248566 41730048 9196 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6539/statm: 10188 9196 698 1169 0 9015 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 40752
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.65 3/178 7358
/proc/meminfo: memFree=31557036/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=40752 CPUtime=1722.34 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 12495 0 0 0 161476 10758 0 0 25 0 1 0 965248566 41730048 9196 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6539/statm: 10188 9196 698 1169 0 9015 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 40752
[startup+1782.3 s]
/proc/loadavg: 2.01 1.99 1.67 3/178 7397
/proc/meminfo: memFree=31253984/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=40752 CPUtime=1782.34 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 12497 0 0 0 167149 11085 0 0 25 0 1 0 965248566 41730048 9198 33554432000 4194304 8979876 140733356701264 18446744073709551615 6629616 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6539/statm: 10188 9198 698 1169 0 9015 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 40752
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 1.99 1.67 3/178 7397
/proc/meminfo: memFree=31061536/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=40752 CPUtime=1785.55 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 12497 0 0 0 167448 11107 0 0 25 0 1 0 965248566 41730048 9198 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6539/statm: 10188 9198 698 1169 0 9015 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 40752
[startup+1791.91 s]
/proc/loadavg: 2.00 1.99 1.68 3/178 7398
/proc/meminfo: memFree=30223940/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=40752 CPUtime=1791.95 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 12497 0 0 0 168043 11152 0 0 25 0 1 0 965248566 41730048 9198 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6539/statm: 10188 9198 698 1169 0 9015 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 40752
[startup+1795.1 s]
/proc/loadavg: 2.00 1.99 1.68 3/178 7398
/proc/meminfo: memFree=29041060/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=40752 CPUtime=1795.15 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 12497 0 0 0 168341 11174 0 0 25 0 1 0 965248566 41730048 9198 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6539/statm: 10188 9198 698 1169 0 9015 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 40752
[startup+1795.9 s]
/proc/loadavg: 2.00 1.99 1.68 3/178 7398
/proc/meminfo: memFree=29041060/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=40752 CPUtime=1795.94 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 12497 0 0 0 168416 11178 0 0 25 0 1 0 965248566 41730048 9198 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6539/statm: 10188 9198 698 1169 0 9015 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (KiB) 40752
[startup+1796.7 s]
/proc/loadavg: 2.00 1.99 1.68 3/178 7398
/proc/meminfo: memFree=28779544/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=40752 CPUtime=1796.74 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 12497 0 0 0 168490 11184 0 0 25 0 1 0 965248566 41730048 9198 33554432000 4194304 8979876 140733356701264 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6539/statm: 10188 9198 698 1169 0 9015 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 40752
[startup+1796.9 s]
/proc/loadavg: 2.00 1.99 1.68 3/178 7398
/proc/meminfo: memFree=28779544/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=40752 CPUtime=1796.94 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 12497 0 0 0 168508 11186 0 0 25 0 1 0 965248566 41730048 9198 33554432000 4194304 8979876 140733356701264 18446744073709551615 4349900 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6539/statm: 10188 9198 698 1169 0 9015 0
Current children cumulated CPU time (s) 1796.94
Current children cumulated vsize (KiB) 40752
[startup+1797 s]
/proc/loadavg: 2.00 1.99 1.68 3/178 7398
/proc/meminfo: memFree=28779544/32950928 swapFree=67051096/67111528
[pid=6539] ppid=6536 vsize=40752 CPUtime=1797.04 cores=1,3,5,7
/proc/6539/stat : 6539 (scip-2.0.1.4_2.) R 6536 6539 6496 0 -1 4202496 12497 0 0 0 168517 11187 0 0 25 0 1 0 965248566 41730048 9198 33554432000 4194304 8979876 140733356701264 18446744073709551615 18446744073699065911 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6539/statm: 10188 9198 698 1169 0 9015 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (KiB) 40752
Child status: 0
Real time (s): 1797.02
CPU time (s): 1797.07
CPU user time (s): 1685.19
CPU system time (s): 111.875
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 40752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1685.19
system time used= 111.875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12506
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 4229
runsolver used 2.48162 second user time and 5.71013 second system time
The end