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-3730548-1338688867.opb>
0.00/0.01 c original problem has 540 variables (540 bin, 0 int, 0 impl, 0 cont) and 416 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, 416 upgd conss, 0 impls, 38 clqs
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 38 cliques
0.00/0.02 c presolved problem has 540 variables (540 bin, 0 int, 0 impl, 0 cont) and 416 constraints
0.00/0.02 c 38 constraints of type <setppc>
0.00/0.02 c 378 constraints of type <logicor>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 2.0.1.5
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1797
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 13950
0.00/0.02 c
0.00/0.02 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c limits/solutions = 1
0.00/0.02 c
0.00/0.02 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.02 c separating/maxrounds = 1
0.00/0.02 c
0.00/0.02 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/maxroundsroot = 5
0.00/0.02 c
0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
0.00/0.02 c
0.00/0.02 c # belongs reading time to solving time?
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c timing/reading = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = TRUE
0.00/0.02 c
0.00/0.02 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.02 c constraints/knapsack/disaggregation = FALSE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c presolving/probing/maxrounds = 0
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/coefdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.02 c heuristics/crossover/freq = -1
0.00/0.02 c
0.00/0.02 c # number of nodes added to the contingent of the total nodes
0.00/0.02 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.02 c heuristics/crossover/nodesofs = 750
0.00/0.02 c
0.00/0.02 c # number of nodes without incumbent change that heuristic should wait
0.00/0.02 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.02 c heuristics/crossover/nwaitingnodes = 100
0.00/0.02 c
0.00/0.02 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.02 c # [type: real, range: [0,1], default: 0.1]
0.00/0.02 c heuristics/crossover/nodesquot = 0.15
0.00/0.02 c
0.00/0.02 c # minimum percentage of integer variables that have to be fixed
0.00/0.02 c # [type: real, range: [0,1], default: 0.666]
0.00/0.02 c heuristics/crossover/minfixingrate = 0.5
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.02 c heuristics/feaspump/freq = -1
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/fracdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/guideddiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/intshifting/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/linesearchdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.02 c heuristics/objpscostdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.02 c # [type: real, range: [0,1], default: 0.01]
0.00/0.02 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/oneopt/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/pscostdiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c heuristics/rens/freq = -1
0.00/0.02 c
0.00/0.02 c # minimum percentage of integer variables that have to be fixable
0.00/0.02 c # [type: real, range: [0,1], default: 0.5]
0.00/0.02 c heuristics/rens/minfixingrate = 0.3
0.00/0.02 c
0.00/0.02 c # number of nodes added to the contingent of the total nodes
0.00/0.02 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.02 c heuristics/rens/nodesofs = 2000
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.02 c heuristics/rootsoldiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.02 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/rounding/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c heuristics/shiftandpropagate/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/shifting/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/simplerounding/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/subnlp/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c heuristics/trivial/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/trysol/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c heuristics/undercover/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.02 c heuristics/veclendiving/freq = -1
0.00/0.02 c
0.00/0.02 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.02 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.02 c
0.00/0.02 c # additional number of allowed LP iterations
0.00/0.02 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.02 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.02 c
0.00/0.02 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c heuristics/zirounding/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c separating/cmir/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.02 c separating/flowcover/freq = -1
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 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 | 139 | - |2215k| 0 | 91 | 540 | 416 | 540 | 416 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 463 | - |2650k| 0 | 96 | 540 | 420 | 540 | 426 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 c 0.2s| 1 | 0 | 871 | - |3334k| 0 | 138 | 540 | 420 | 540 | 437 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 0 | 929 | - |3898k| 0 | 136 | 540 | 420 | 540 | 442 | 26 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.31 c 0.3s| 1 | 0 | 1195 | - |4473k| 0 | 105 | 540 | 420 | 540 | 452 | 36 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.38 c 0.4s| 1 | 0 | 1330 | - |5092k| 0 | 105 | 540 | 420 | 540 | 463 | 47 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.40 c 0.4s| 1 | 2 | 1330 | - |5093k| 0 | 105 | 540 | 420 | 540 | 463 | 47 | 0 | 16 | 0.000000e+00 | -- | Inf
7.99/8.08 c 8.1s| 10000 | 52 | 62330 | 6.1 |5981k| 51 | - | 540 |1474 | 540 | 438 | 47 |3046 |2567 | 0.000000e+00 | -- | Inf
13.30/13.35 c 13.3s| 20000 | 68 |131831 | 6.5 |6397k| 52 | - | 540 |2147 | 540 | 438 | 47 |5114 |2606 | 0.000000e+00 | -- | Inf
18.39/18.42 c 18.4s| 30000 | 63 |184684 | 6.1 |6817k| 55 | - | 540 |2945 | 540 | 438 | 47 |8460 |2699 | 0.000000e+00 | -- | Inf
23.68/23.79 c 23.8s| 40000 | 68 |244551 | 6.1 |7556k| 55 | 20 | 540 |4313 | 540 | 438 | 47 | 16k|2834 | 0.000000e+00 | -- | Inf
29.58/29.68 c 29.7s| 50000 | 85 |314445 | 6.3 |7615k| 55 | - | 540 |4242 | 540 | 438 | 47 | 20k|3115 | 0.000000e+00 | -- | Inf
34.78/34.84 c 34.8s| 60000 | 72 |364629 | 6.1 |7861k| 60 | 19 | 540 |4756 | 540 | 438 | 47 | 23k|3253 | 0.000000e+00 | -- | Inf
39.98/40.03 c 40.0s| 70000 | 67 |414641 | 5.9 |7927k| 60 | 20 | 540 |4873 | 540 | 438 | 47 | 26k|3361 | 0.000000e+00 | -- | Inf
45.98/46.08 c 46.1s| 80000 | 69 |494759 | 6.2 |7332k| 61 | 30 | 540 |3438 | 540 | 438 | 47 | 27k|3713 | 0.000000e+00 | -- | Inf
51.78/51.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.78/51.86 c 51.9s| 90000 | 108 |576040 | 6.4 |7809k| 61 | 18 | 540 |4259 | 540 | 438 | 47 | 30k|4006 | 0.000000e+00 | -- | Inf
56.68/56.72 c 56.7s|100000 | 125 |621867 | 6.2 |8566k| 61 | 12 | 540 |5709 | 540 | 438 | 47 | 37k|4091 | 0.000000e+00 | -- | Inf
61.88/61.93 c 61.9s|110000 | 182 |673547 | 6.1 |8789k| 61 | 14 | 540 |5951 | 540 | 438 | 47 | 42k|4211 | 0.000000e+00 | -- | Inf
66.97/67.10 c 67.1s|120000 | 95 |727282 | 6.0 |8120k| 65 | 20 | 540 |4750 | 540 | 438 | 47 | 46k|4294 | 0.000000e+00 | -- | Inf
72.17/72.28 c 72.3s|130000 | 135 |781578 | 6.0 |8664k| 65 | 14 | 540 |5742 | 540 | 438 | 47 | 51k|4406 | 0.000000e+00 | -- | Inf
77.27/77.34 c 77.3s|140000 | 201 |836530 | 6.0 |8264k| 65 | - | 540 |4580 | 540 | 438 | 47 | 55k|4480 | 0.000000e+00 | -- | Inf
82.27/82.37 c 82.4s|150000 | 218 |889073 | 5.9 |8518k| 65 | - | 540 |5040 | 540 | 438 | 47 | 60k|4583 | 0.000000e+00 | -- | Inf
87.57/87.67 c 87.7s|160000 | 141 |947799 | 5.9 |8085k| 65 | 25 | 540 |4309 | 540 | 438 | 47 | 64k|4710 | 0.000000e+00 | -- | Inf
93.17/93.21 c 93.2s|170000 | 86 | 1015k| 6.0 |7634k| 65 | - | 540 |3625 | 540 | 438 | 47 | 64k|5161 | 0.000000e+00 | -- | Inf
98.17/98.26 c 98.3s|180000 | 76 | 1078k| 6.0 |7620k| 65 | 29 | 540 |3624 | 540 | 438 | 47 | 64k|5293 | 0.000000e+00 | -- | Inf
104.17/104.28 c 104s|190000 | 68 | 1177k| 6.2 |7634k| 65 | 36 | 540 |3678 | 540 | 438 | 47 | 65k|5462 | 0.000000e+00 | -- | Inf
110.47/110.51 c 111s|200000 | 82 | 1283k| 6.4 |7671k| 65 | 30 | 540 |3715 | 540 | 438 | 47 | 65k|5605 | 0.000000e+00 | -- | Inf
116.76/116.81 c 117s|210000 | 66 | 1390k| 6.6 |7624k| 65 | - | 540 |3652 | 540 | 438 | 47 | 65k|5800 | 0.000000e+00 | -- | Inf
122.97/123.09 c 123s|220000 | 66 | 1499k| 6.8 |7590k| 65 | - | 540 |3564 | 540 | 438 | 47 | 65k|5949 | 0.000000e+00 | -- | Inf
129.27/129.35 c 129s|230000 | 86 | 1607k| 7.0 |7631k| 65 | - | 540 |3574 | 540 | 438 | 47 | 65k|6091 | 0.000000e+00 | -- | Inf
135.57/135.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.57/135.61 c 136s|240000 | 80 | 1714k| 7.1 |7626k| 65 | 36 | 540 |3575 | 540 | 438 | 47 | 65k|6228 | 0.000000e+00 | -- | Inf
141.87/141.96 c 142s|250000 | 82 | 1828k| 7.3 |7636k| 65 | 31 | 540 |3606 | 540 | 438 | 47 | 65k|6366 | 0.000000e+00 | -- | Inf
148.86/148.92 c 149s|260000 | 65 | 1937k| 7.4 |7598k| 65 | - | 540 |3468 | 540 | 438 | 47 | 65k|7391 | 0.000000e+00 | -- | Inf
155.17/155.29 c 155s|270000 | 64 | 2020k| 7.5 |7859k| 65 | - | 540 |4071 | 540 | 438 | 47 | 67k|8373 | 0.000000e+00 | -- | Inf
161.06/161.14 c 161s|280000 | 64 | 2109k| 7.5 |8137k| 65 | - | 540 |4802 | 540 | 438 | 47 | 68k|8693 | 0.000000e+00 | -- | Inf
166.66/166.73 c 167s|290000 | 73 | 2192k| 7.6 |8295k| 65 | - | 540 |5150 | 540 | 438 | 47 | 69k|8852 | 0.000000e+00 | -- | Inf
172.16/172.27 c 172s|300000 | 75 | 2279k| 7.6 |8288k| 65 | 14 | 540 |5095 | 540 | 438 | 47 | 69k|9044 | 0.000000e+00 | -- | Inf
177.17/177.24 c 177s|310000 | 68 | 2339k| 7.5 |7710k| 65 | - | 540 |3516 | 540 | 438 | 47 | 69k|9170 | 0.000000e+00 | -- | Inf
182.05/182.19 c 182s|320000 | 78 | 2399k| 7.5 |7701k| 65 | - | 540 |3417 | 540 | 438 | 47 | 70k|9197 | 0.000000e+00 | -- | Inf
187.15/187.30 c 187s|330000 | 130 | 2461k| 7.5 |7978k| 65 | 12 | 540 |3838 | 540 | 438 | 47 | 72k|9201 | 0.000000e+00 | -- | Inf
192.35/192.49 c 192s|340000 | 90 | 2523k| 7.4 |8110k| 65 | - | 540 |4440 | 540 | 438 | 47 | 74k|9332 | 0.000000e+00 | -- | Inf
197.85/197.90 c 198s|350000 | 82 | 2586k| 7.4 |8832k| 65 | - | 540 |6261 | 540 | 438 | 47 | 77k|9424 | 0.000000e+00 | -- | Inf
203.05/203.13 c 203s|360000 | 89 | 2662k| 7.4 |8549k| 65 | - | 540 |5421 | 540 | 438 | 47 | 77k|9535 | 0.000000e+00 | -- | Inf
208.15/208.24 c 208s|370000 | 97 | 2742k| 7.4 |8561k| 65 | 28 | 540 |5421 | 540 | 438 | 47 | 77k|9622 | 0.000000e+00 | -- | Inf
213.36/213.42 c 213s|380000 | 93 | 2817k| 7.4 |8554k| 67 | 29 | 540 |5420 | 540 | 438 | 47 | 77k|9676 | 0.000000e+00 | -- | Inf
218.45/218.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
218.45/218.52 c 219s|390000 | 93 | 2891k| 7.4 |8266k| 67 | - | 540 |4609 | 540 | 438 | 47 | 77k|9749 | 0.000000e+00 | -- | Inf
223.65/223.70 c 224s|400000 | 91 | 2968k| 7.4 |8094k| 67 | - | 540 |4139 | 540 | 438 | 47 | 77k|9855 | 0.000000e+00 | -- | Inf
228.25/228.35 c 228s|410000 | 99 | 3029k| 7.4 |8128k| 67 | - | 540 |4171 | 540 | 438 | 47 | 78k|9922 | 0.000000e+00 | -- | Inf
232.74/232.83 c 233s|420000 | 111 | 3075k| 7.3 |8151k| 67 | - | 540 |4169 | 540 | 438 | 47 | 78k|9968 | 0.000000e+00 | -- | Inf
237.05/237.11 c 237s|430000 | 107 | 3113k| 7.2 |8131k| 67 | 17 | 540 |4137 | 540 | 438 | 47 | 78k|9994 | 0.000000e+00 | -- | Inf
241.45/241.56 c 242s|440000 | 91 | 3156k| 7.2 |8108k| 67 | - | 540 |4150 | 540 | 438 | 47 | 78k| 10k| 0.000000e+00 | -- | Inf
246.04/246.18 c 246s|450000 | 95 | 3203k| 7.1 |8122k| 67 | 17 | 540 |4180 | 540 | 438 | 47 | 78k| 10k| 0.000000e+00 | -- | Inf
250.44/250.57 c 251s|460000 | 120 | 3243k| 7.0 |8195k| 67 | - | 540 |4265 | 540 | 438 | 47 | 79k| 10k| 0.000000e+00 | -- | Inf
254.85/254.93 c 255s|470000 | 105 | 3282k| 7.0 |8188k| 67 | 13 | 540 |4285 | 540 | 438 | 47 | 79k| 10k| 0.000000e+00 | -- | Inf
259.35/259.48 c 259s|480000 | 108 | 3323k| 6.9 |8252k| 67 | - | 540 |4407 | 540 | 438 | 47 | 80k| 10k| 0.000000e+00 | -- | Inf
263.85/263.99 c 264s|490000 | 98 | 3366k| 6.9 |8214k| 67 | 15 | 540 |4355 | 540 | 438 | 47 | 80k| 10k| 0.000000e+00 | -- | Inf
268.54/268.62 c 269s|500000 | 90 | 3412k| 6.8 |8173k| 67 | - | 540 |4291 | 540 | 438 | 47 | 81k| 10k| 0.000000e+00 | -- | Inf
272.94/273.08 c 273s|510000 | 95 | 3454k| 6.8 |8181k| 68 | - | 540 |4284 | 540 | 438 | 47 | 81k| 10k| 0.000000e+00 | -- | Inf
277.65/277.70 c 278s|520000 | 123 | 3510k| 6.7 |8198k| 68 | - | 540 |4241 | 540 | 438 | 47 | 81k| 10k| 0.000000e+00 | -- | Inf
282.34/282.41 c 282s|530000 | 93 | 3582k| 6.8 |8151k| 70 | 22 | 540 |4234 | 540 | 438 | 47 | 81k| 10k| 0.000000e+00 | -- | Inf
287.24/287.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.24/287.38 c 287s|540000 | 91 | 3660k| 6.8 |8121k| 70 | 29 | 540 |4177 | 540 | 438 | 47 | 81k| 10k| 0.000000e+00 | -- | Inf
292.74/292.85 c 293s|550000 | 87 | 3754k| 6.8 |8120k| 70 | - | 540 |4176 | 540 | 438 | 47 | 81k| 10k| 0.000000e+00 | -- | Inf
298.54/298.67 c 299s|560000 | 79 | 3852k| 6.9 |8012k| 70 | - | 540 |3965 | 540 | 438 | 47 | 81k| 10k| 0.000000e+00 | -- | Inf
303.94/304.08 c 304s|570000 | 71 | 3939k| 6.9 |7971k| 70 | - | 540 |3888 | 540 | 438 | 47 | 81k| 11k| 0.000000e+00 | -- | Inf
308.94/309.08 c 309s|580000 | 83 | 4012k| 6.9 |7988k| 70 | 22 | 540 |3887 | 540 | 438 | 47 | 81k| 11k| 0.000000e+00 | -- | Inf
314.23/314.33 c 314s|590000 | 83 | 4091k| 6.9 |7998k| 73 | 26 | 540 |3891 | 540 | 438 | 47 | 81k| 11k| 0.000000e+00 | -- | Inf
319.44/319.50 c 320s|600000 | 91 | 4167k| 6.9 |8007k| 73 | - | 540 |3905 | 540 | 438 | 47 | 81k| 11k| 0.000000e+00 | -- | Inf
324.93/325.00 c 325s|610000 | 73 | 4252k| 7.0 |7999k| 75 | 30 | 540 |3967 | 540 | 438 | 47 | 82k| 11k| 0.000000e+00 | -- | Inf
330.34/330.48 c 330s|620000 | 79 | 4341k| 7.0 |7991k| 75 | 28 | 540 |3913 | 540 | 438 | 47 | 82k| 11k| 0.000000e+00 | -- | Inf
335.63/335.77 c 336s|630000 | 89 | 4422k| 7.0 |8013k| 75 | 34 | 540 |3931 | 540 | 438 | 47 | 82k| 11k| 0.000000e+00 | -- | Inf
340.84/340.97 c 341s|640000 | 75 | 4500k| 7.0 |8020k| 75 | - | 540 |3966 | 540 | 438 | 47 | 82k| 11k| 0.000000e+00 | -- | Inf
346.63/346.78 c 347s|650000 | 89 | 4607k| 7.1 |8038k| 75 | 31 | 540 |3946 | 540 | 438 | 47 | 82k| 11k| 0.000000e+00 | -- | Inf
352.23/352.37 c 352s|660000 | 67 | 4692k| 7.1 |7773k| 75 | 12 | 540 |3449 | 540 | 438 | 47 | 82k| 11k| 0.000000e+00 | -- | Inf
357.23/357.39 c 357s|670000 | 53 | 4759k| 7.1 |7733k| 75 | 30 | 540 |3388 | 540 | 438 | 47 | 82k| 11k| 0.000000e+00 | -- | Inf
363.32/363.43 c 363s|680000 | 59 | 4846k| 7.1 |7640k| 75 | 23 | 540 |3115 | 540 | 438 | 47 | 82k| 12k| 0.000000e+00 | -- | Inf
368.33/368.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
368.33/368.40 c 368s|690000 | 60 | 4917k| 7.1 |7792k| 75 | 20 | 540 |3377 | 540 | 438 | 47 | 84k| 12k| 0.000000e+00 | -- | Inf
373.62/373.79 c 374s|700000 | 52 | 4994k| 7.1 |7843k| 75 | 20 | 540 |3453 | 540 | 438 | 47 | 87k| 12k| 0.000000e+00 | -- | Inf
379.03/379.19 c 379s|710000 | 56 | 5072k| 7.1 |8108k| 75 | - | 540 |4107 | 540 | 438 | 47 | 88k| 13k| 0.000000e+00 | -- | Inf
384.52/384.64 c 385s|720000 | 74 | 5148k| 7.1 |7427k| 75 | - | 540 |2221 | 540 | 438 | 47 | 89k| 13k| 0.000000e+00 | -- | Inf
389.53/389.63 c 390s|730000 | 64 | 5219k| 7.1 |7400k| 75 | - | 540 |2192 | 540 | 438 | 47 | 90k| 13k| 0.000000e+00 | -- | Inf
394.52/394.63 c 395s|740000 | 90 | 5298k| 7.2 |7403k| 75 | 16 | 540 |2091 | 540 | 438 | 47 | 90k| 13k| 0.000000e+00 | -- | Inf
399.72/399.80 c 400s|750000 | 86 | 5383k| 7.2 |7396k| 75 | 20 | 540 |2091 | 540 | 438 | 47 | 90k| 13k| 0.000000e+00 | -- | Inf
404.42/404.59 c 405s|760000 | 82 | 5459k| 7.2 |7404k| 75 | - | 540 |2112 | 540 | 438 | 47 | 90k| 13k| 0.000000e+00 | -- | Inf
409.32/409.45 c 409s|770000 | 72 | 5531k| 7.2 |7326k| 75 | 21 | 540 |1965 | 540 | 438 | 47 | 91k| 13k| 0.000000e+00 | -- | Inf
414.62/414.76 c 415s|780000 | 58 | 5611k| 7.2 |7398k| 75 | 22 | 540 |2209 | 540 | 438 | 47 | 91k| 13k| 0.000000e+00 | -- | Inf
419.72/419.81 c 420s|790000 | 62 | 5684k| 7.2 |7391k| 75 | 13 | 540 |2156 | 540 | 438 | 47 | 92k| 13k| 0.000000e+00 | -- | Inf
424.32/424.48 c 424s|800000 | 72 | 5751k| 7.2 |7403k| 75 | 20 | 540 |2148 | 540 | 438 | 47 | 92k| 13k| 0.000000e+00 | -- | Inf
428.93/429.05 c 429s|810000 | 60 | 5816k| 7.2 |7412k| 75 | - | 540 |2204 | 540 | 438 | 47 | 92k| 13k| 0.000000e+00 | -- | Inf
433.72/433.81 c 434s|820000 | 54 | 5885k| 7.2 |7401k| 75 | - | 540 |2200 | 540 | 438 | 47 | 92k| 14k| 0.000000e+00 | -- | Inf
438.82/438.98 c 439s|830000 | 64 | 5968k| 7.2 |7322k| 75 | - | 540 |1964 | 540 | 438 | 47 | 92k| 14k| 0.000000e+00 | -- | Inf
444.32/444.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
444.32/444.49 c 444s|840000 | 84 | 6066k| 7.2 |7353k| 75 | 25 | 540 |1965 | 540 | 438 | 47 | 92k| 14k| 0.000000e+00 | -- | Inf
450.02/450.10 c 450s|850000 | 90 | 6168k| 7.3 |7359k| 75 | 20 | 540 |1965 | 540 | 438 | 47 | 92k| 14k| 0.000000e+00 | -- | Inf
455.52/455.64 c 456s|860000 | 80 | 6267k| 7.3 |7355k| 75 | 22 | 540 |1965 | 540 | 438 | 47 | 92k| 14k| 0.000000e+00 | -- | Inf
461.02/461.19 c 461s|870000 | 58 | 6365k| 7.3 |7313k| 75 | 29 | 540 |1971 | 540 | 438 | 47 | 92k| 14k| 0.000000e+00 | -- | Inf
465.92/466.07 c 466s|880000 | 64 | 6440k| 7.3 |7271k| 75 | - | 540 |1855 | 540 | 438 | 47 | 92k| 14k| 0.000000e+00 | -- | Inf
471.51/471.64 c 472s|890000 | 74 | 6534k| 7.3 |7193k| 75 | - | 540 |1587 | 540 | 438 | 47 | 92k| 14k| 0.000000e+00 | -- | Inf
476.71/476.86 c 477s|900000 | 79 | 6616k| 7.3 |7284k| 75 | - | 540 |1791 | 540 | 438 | 47 | 93k| 14k| 0.000000e+00 | -- | Inf
481.41/481.57 c 482s|910000 | 78 | 6686k| 7.3 |7287k| 75 | - | 540 |1831 | 540 | 438 | 47 | 93k| 14k| 0.000000e+00 | -- | Inf
486.22/486.34 c 486s|920000 | 86 | 6758k| 7.3 |7295k| 75 | 29 | 540 |1829 | 540 | 438 | 47 | 93k| 15k| 0.000000e+00 | -- | Inf
491.30/491.43 c 491s|930000 | 62 | 6837k| 7.4 |7270k| 75 | 20 | 540 |1850 | 540 | 438 | 47 | 93k| 15k| 0.000000e+00 | -- | Inf
496.70/496.88 c 497s|940000 | 75 | 6929k| 7.4 |7389k| 75 | 20 | 540 |2094 | 540 | 438 | 47 | 94k| 15k| 0.000000e+00 | -- | Inf
501.91/502.08 c 502s|950000 | 77 | 7016k| 7.4 |7423k| 75 | 20 | 540 |2164 | 540 | 438 | 47 | 94k| 15k| 0.000000e+00 | -- | Inf
507.21/507.39 c 507s|960000 | 62 | 7106k| 7.4 |7326k| 75 | 13 | 540 |2011 | 540 | 438 | 47 | 94k| 15k| 0.000000e+00 | -- | Inf
512.00/512.10 c 512s|970000 | 64 | 7178k| 7.4 |7337k| 75 | - | 540 |2025 | 540 | 438 | 47 | 94k| 15k| 0.000000e+00 | -- | Inf
516.91/517.03 c 517s|980000 | 72 | 7247k| 7.4 |7353k| 75 | - | 540 |2024 | 540 | 438 | 47 | 94k| 15k| 0.000000e+00 | -- | Inf
522.00/522.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
522.00/522.12 c 522s|990000 | 70 | 7313k| 7.4 |7339k| 75 | 37 | 540 |2004 | 540 | 438 | 47 | 95k| 16k| 0.000000e+00 | -- | Inf
526.60/526.79 c 527s| 1000k| 80 | 7366k| 7.4 |7455k| 75 | - | 540 |2214 | 540 | 438 | 47 | 95k| 16k| 0.000000e+00 | -- | Inf
531.31/531.42 c 531s| 1010k| 70 | 7417k| 7.3 |7440k| 75 | 12 | 540 |2211 | 540 | 438 | 47 | 96k| 16k| 0.000000e+00 | -- | Inf
536.00/536.11 c 536s| 1020k| 84 | 7470k| 7.3 |7506k| 75 | - | 540 |2333 | 540 | 438 | 47 | 97k| 16k| 0.000000e+00 | -- | Inf
540.70/540.87 c 541s| 1030k| 82 | 7526k| 7.3 |7566k| 75 | 17 | 540 |2457 | 540 | 438 | 47 | 98k| 16k| 0.000000e+00 | -- | Inf
545.70/545.84 c 546s| 1040k| 62 | 7590k| 7.3 |7413k| 75 | - | 540 |2227 | 540 | 438 | 47 | 99k| 16k| 0.000000e+00 | -- | Inf
550.60/550.74 c 551s| 1050k| 65 | 7640k| 7.3 |8268k| 75 | 36 | 540 |4322 | 540 | 438 | 47 | 101k| 16k| 0.000000e+00 | -- | Inf
555.50/555.63 c 556s| 1060k| 59 | 7690k| 7.3 |8477k| 75 | - | 540 |4706 | 540 | 438 | 47 | 103k| 16k| 0.000000e+00 | -- | Inf
560.50/560.64 c 561s| 1070k| 70 | 7762k| 7.3 |8089k| 75 | 20 | 540 |3621 | 540 | 438 | 47 | 104k| 16k| 0.000000e+00 | -- | Inf
565.40/565.52 c 566s| 1080k| 91 | 7835k| 7.3 |8130k| 75 | - | 540 |3632 | 540 | 438 | 47 | 104k| 16k| 0.000000e+00 | -- | Inf
570.69/570.84 c 571s| 1090k| 79 | 7919k| 7.3 |8108k| 75 | 24 | 540 |3624 | 540 | 438 | 47 | 104k| 16k| 0.000000e+00 | -- | Inf
576.30/576.43 c 576s| 1100k| 87 | 8020k| 7.3 |8126k| 75 | - | 540 |3637 | 540 | 438 | 47 | 104k| 16k| 0.000000e+00 | -- | Inf
581.70/581.81 c 582s| 1110k| 69 | 8109k| 7.3 |7910k| 75 | 14 | 540 |3150 | 540 | 438 | 47 | 104k| 16k| 0.000000e+00 | -- | Inf
586.30/586.42 c 586s| 1120k| 95 | 8161k| 7.3 |7938k| 75 | - | 540 |3088 | 540 | 438 | 47 | 104k| 16k| 0.000000e+00 | -- | Inf
591.39/591.50 c 591s| 1130k| 63 | 8236k| 7.3 |7897k| 75 | - | 540 |3102 | 540 | 438 | 47 | 104k| 16k| 0.000000e+00 | -- | Inf
596.50/596.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
596.50/596.65 c 597s| 1140k| 65 | 8316k| 7.3 |7908k| 75 | 18 | 540 |3128 | 540 | 438 | 47 | 105k| 16k| 0.000000e+00 | -- | Inf
601.39/601.50 c 601s| 1150k| 135 | 8376k| 7.3 |8107k| 75 | 23 | 540 |3340 | 540 | 438 | 47 | 106k| 17k| 0.000000e+00 | -- | Inf
606.10/606.20 c 606s| 1160k| 153 | 8425k| 7.3 |8202k| 75 | 24 | 540 |3432 | 540 | 438 | 47 | 107k| 17k| 0.000000e+00 | -- | Inf
610.69/610.89 c 611s| 1170k| 145 | 8473k| 7.2 |8181k| 75 | - | 540 |3387 | 540 | 438 | 47 | 108k| 17k| 0.000000e+00 | -- | Inf
615.49/615.64 c 616s| 1180k| 77 | 8523k| 7.2 |8029k| 75 | 16 | 540 |3355 | 540 | 438 | 47 | 109k| 17k| 0.000000e+00 | -- | Inf
620.29/620.46 c 620s| 1190k| 79 | 8576k| 7.2 |8104k| 75 | - | 540 |3518 | 540 | 438 | 47 | 110k| 17k| 0.000000e+00 | -- | Inf
624.98/625.16 c 625s| 1200k| 110 | 8629k| 7.2 |8160k| 75 | 22 | 540 |3510 | 540 | 438 | 47 | 111k| 17k| 0.000000e+00 | -- | Inf
629.79/629.90 c 630s| 1210k| 110 | 8680k| 7.2 |8234k| 75 | - | 540 |3678 | 540 | 438 | 47 | 113k| 17k| 0.000000e+00 | -- | Inf
634.49/634.68 c 635s| 1220k| 102 | 8732k| 7.2 |8216k| 75 | - | 540 |3687 | 540 | 438 | 47 | 114k| 17k| 0.000000e+00 | -- | Inf
639.18/639.39 c 639s| 1230k| 136 | 8784k| 7.1 |8267k| 75 | - | 540 |3725 | 540 | 438 | 47 | 115k| 17k| 0.000000e+00 | -- | Inf
643.99/644.12 c 644s| 1240k| 75 | 8836k| 7.1 |8194k| 75 | 12 | 540 |3744 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
649.18/649.32 c 649s| 1250k| 74 | 8909k| 7.1 |7988k| 75 | - | 540 |3264 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
654.28/654.40 c 654s| 1260k| 86 | 8988k| 7.1 |8007k| 75 | 19 | 540 |3270 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
659.28/659.44 c 659s| 1270k| 80 | 9065k| 7.1 |7997k| 75 | - | 540 |3271 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
664.39/664.59 c 665s| 1280k| 74 | 9145k| 7.1 |7982k| 75 | 18 | 540 |3271 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
669.58/669.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
669.58/669.71 c 670s| 1290k| 68 | 9225k| 7.2 |7985k| 75 | - | 540 |3273 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
674.49/674.68 c 675s| 1300k| 74 | 9299k| 7.2 |7997k| 75 | - | 540 |3274 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
679.58/679.73 c 680s| 1310k| 74 | 9371k| 7.2 |7988k| 75 | 25 | 540 |3274 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
684.58/684.79 c 685s| 1320k| 80 | 9442k| 7.2 |7998k| 75 | 24 | 540 |3274 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
689.68/689.83 c 690s| 1330k| 76 | 9518k| 7.2 |7992k| 75 | 20 | 540 |3274 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
694.77/694.91 c 695s| 1340k| 66 | 9600k| 7.2 |7979k| 75 | - | 540 |3274 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
699.87/700.07 c 700s| 1350k| 60 | 9682k| 7.2 |7991k| 75 | - | 540 |3326 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
704.88/705.08 c 705s| 1360k| 69 | 9748k| 7.2 |7740k| 75 | 20 | 540 |2667 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
709.28/709.44 c 709s| 1370k| 117 | 9799k| 7.2 |7835k| 75 | 14 | 540 |2684 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
713.18/713.35 c 713s| 1380k| 115 | 9827k| 7.1 |7860k| 75 | 18 | 540 |2690 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
717.09/717.28 c 717s| 1390k| 105 | 9854k| 7.1 |7843k| 75 | - | 540 |2690 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
721.27/721.43 c 721s| 1400k| 107 | 9892k| 7.1 |7825k| 75 | 20 | 540 |2691 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
725.27/725.47 c 725s| 1410k| 113 | 9927k| 7.0 |7835k| 75 | 14 | 540 |2685 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
729.28/729.48 c 729s| 1420k| 127 | 9960k| 7.0 |7855k| 75 | 16 | 540 |2685 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
733.37/733.51 c 734s| 1430k| 137 | 9994k| 7.0 |7892k| 75 | 14 | 540 |2685 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
737.37/737.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
737.37/737.57 c 738s| 1440k| 173 | 10029k| 7.0 |7965k| 75 | 16 | 540 |2685 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
741.38/741.58 c 742s| 1450k| 129 | 10062k| 6.9 |7889k| 76 | 19 | 540 |2685 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
745.37/745.57 c 746s| 1460k| 99 | 10096k| 6.9 |7822k| 79 | 14 | 540 |2685 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
749.47/749.61 c 750s| 1470k| 121 | 10130k| 6.9 |7823k| 79 | 17 | 540 |2685 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
753.77/753.97 c 754s| 1480k| 80 | 10180k| 6.9 |7820k| 79 | 20 | 540 |2748 | 540 | 438 | 47 | 118k| 18k| 0.000000e+00 | -- | Inf
758.17/758.38 c 758s| 1490k| 77 | 10234k| 6.9 |7803k| 79 | - | 540 |2742 | 540 | 438 | 47 | 119k| 18k| 0.000000e+00 | -- | Inf
762.67/762.83 c 763s| 1500k| 89 | 10287k| 6.9 |7836k| 79 | - | 540 |2773 | 540 | 438 | 47 | 120k| 18k| 0.000000e+00 | -- | Inf
767.67/767.86 c 768s| 1510k| 57 | 10355k| 6.9 |7570k| 79 | 14 | 540 |2236 | 540 | 438 | 47 | 120k| 18k| 0.000000e+00 | -- | Inf
773.07/773.23 c 773s| 1520k| 60 | 10436k| 6.9 |7458k| 79 | - | 540 |1924 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
778.26/778.41 c 778s| 1530k| 62 | 10512k| 6.9 |7389k| 79 | 29 | 540 |1740 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
784.18/784.34 c 784s| 1540k| 78 | 10617k| 6.9 |7384k| 79 | - | 540 |1686 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
789.46/789.67 c 790s| 1550k| 80 | 10701k| 6.9 |7412k| 79 | 21 | 540 |1719 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
794.96/795.12 c 795s| 1560k| 82 | 10792k| 6.9 |7416k| 79 | - | 540 |1719 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
800.07/800.23 c 800s| 1570k| 86 | 10873k| 6.9 |7422k| 79 | 23 | 540 |1719 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
805.26/805.45 c 805s| 1580k| 76 | 10956k| 6.9 |7406k| 79 | - | 540 |1720 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
810.26/810.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
810.26/810.42 c 810s| 1590k| 76 | 11033k| 6.9 |7410k| 79 | 21 | 540 |1727 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
815.26/815.46 c 815s| 1600k| 78 | 11109k| 6.9 |7415k| 79 | - | 540 |1729 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
820.35/820.56 c 821s| 1610k| 80 | 11186k| 6.9 |7417k| 79 | 28 | 540 |1734 | 540 | 438 | 47 | 121k| 19k| 0.000000e+00 | -- | Inf
825.45/825.60 c 826s| 1620k| 82 | 11257k| 6.9 |7452k| 79 | - | 540 |1799 | 540 | 438 | 47 | 121k| 19k| 0.000000e+00 | -- | Inf
830.86/831.03 c 831s| 1630k| 80 | 11349k| 7.0 |7445k| 79 | 29 | 540 |1798 | 540 | 438 | 47 | 121k| 19k| 0.000000e+00 | -- | Inf
836.16/836.34 c 836s| 1640k| 80 | 11436k| 7.0 |7454k| 79 | - | 540 |1798 | 540 | 438 | 47 | 121k| 19k| 0.000000e+00 | -- | Inf
841.36/841.55 c 842s| 1650k| 69 | 11511k| 7.0 |7450k| 79 | - | 540 |1837 | 540 | 438 | 47 | 121k| 19k| 0.000000e+00 | -- | Inf
846.36/846.58 c 847s| 1660k| 83 | 11579k| 7.0 |7545k| 79 | 34 | 540 |2031 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
851.26/851.42 c 851s| 1670k| 97 | 11643k| 7.0 |7573k| 79 | - | 540 |2032 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
856.15/856.36 c 856s| 1680k| 87 | 11708k| 7.0 |7567k| 79 | 23 | 540 |2073 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
860.66/860.80 c 861s| 1690k| 91 | 11750k| 7.0 |7587k| 79 | - | 540 |2085 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
864.95/865.13 c 865s| 1700k| 105 | 11789k| 6.9 |7611k| 79 | - | 540 |2086 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
869.25/869.49 c 869s| 1710k| 109 | 11830k| 6.9 |7611k| 79 | - | 540 |2086 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
873.66/873.85 c 874s| 1720k| 99 | 11872k| 6.9 |7609k| 81 | 27 | 540 |2093 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
877.85/878.02 c 878s| 1730k| 99 | 11910k| 6.9 |7611k| 81 | 23 | 540 |2091 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
882.06/882.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
882.06/882.29 c 882s| 1740k| 90 | 11951k| 6.9 |7602k| 83 | 21 | 540 |2116 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
887.05/887.28 c 887s| 1750k| 75 | 12018k| 6.9 |7501k| 83 | 30 | 540 |1915 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
892.25/892.44 c 892s| 1760k| 82 | 12095k| 6.9 |7498k| 83 | - | 540 |1915 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
897.56/897.71 c 898s| 1770k| 78 | 12178k| 6.9 |7493k| 83 | - | 540 |1915 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
902.75/902.99 c 903s| 1780k| 76 | 12263k| 6.9 |7490k| 83 | 17 | 540 |1915 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
908.04/908.20 c 908s| 1790k| 73 | 12337k| 6.9 |7571k| 83 | 24 | 540 |2143 | 540 | 438 | 47 | 123k| 19k| 0.000000e+00 | -- | Inf
913.14/913.37 c 913s| 1800k| 53 | 12409k| 6.9 |7469k| 83 | 45 | 540 |1977 | 540 | 438 | 47 | 123k| 19k| 0.000000e+00 | -- | Inf
921.85/922.05 c 922s| 1810k| 61 | 12463k| 6.9 |7277k| 83 | 24 | 540 |1434 | 540 | 438 | 47 | 123k| 25k| 0.000000e+00 | -- | Inf
926.84/927.03 c 927s| 1820k| 81 | 12514k| 6.9 |7315k| 83 | - | 540 |1434 | 540 | 438 | 47 | 123k| 25k| 0.000000e+00 | -- | Inf
931.65/931.89 c 932s| 1830k| 63 | 12564k| 6.9 |7289k| 83 | - | 540 |1434 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
936.54/936.74 c 937s| 1840k| 73 | 12613k| 6.9 |7271k| 83 | - | 540 |1337 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
940.94/941.11 c 941s| 1850k| 69 | 12658k| 6.8 |7260k| 83 | 15 | 540 |1332 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
945.34/945.51 c 946s| 1860k| 83 | 12706k| 6.8 |7279k| 83 | - | 540 |1332 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
949.64/949.82 c 950s| 1870k| 71 | 12752k| 6.8 |7271k| 83 | - | 540 |1332 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
953.84/954.07 c 954s| 1880k| 71 | 12794k| 6.8 |7264k| 83 | - | 540 |1332 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
958.24/958.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
958.24/958.45 c 958s| 1890k| 67 | 12841k| 6.8 |7247k| 83 | 20 | 540 |1321 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
962.64/962.86 c 963s| 1900k| 69 | 12887k| 6.8 |7261k| 83 | - | 540 |1327 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
966.94/967.17 c 967s| 1910k| 69 | 12933k| 6.8 |7255k| 83 | 20 | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
971.25/971.44 c 971s| 1920k| 83 | 12978k| 6.8 |7280k| 83 | - | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
975.43/975.70 c 976s| 1930k| 89 | 13023k| 6.7 |7293k| 83 | 20 | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
979.84/980.01 c 980s| 1940k| 83 | 13069k| 6.7 |7282k| 83 | 21 | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
984.13/984.36 c 984s| 1950k| 89 | 13116k| 6.7 |7286k| 83 | 20 | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
988.43/988.63 c 989s| 1960k| 77 | 13161k| 6.7 |7270k| 83 | 19 | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
992.74/992.93 c 993s| 1970k| 69 | 13205k| 6.7 |7261k| 83 | - | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
997.04/997.22 c 997s| 1980k| 69 | 13250k| 6.7 |7262k| 83 | - | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1001.33/1001.54 c 1002s| 1990k| 61 | 13295k| 6.7 |7251k| 83 | - | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1005.93/1006.18 c 1006s| 2000k| 73 | 13347k| 6.7 |7262k| 83 | - | 540 |1326 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1010.43/1010.67 c 1011s| 2010k| 69 | 13395k| 6.7 |7258k| 83 | 14 | 540 |1326 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1015.03/1015.28 c 1015s| 2020k| 83 | 13444k| 6.7 |7275k| 83 | - | 540 |1310 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1019.53/1019.79 c 1020s| 2030k| 85 | 13494k| 6.6 |7276k| 83 | - | 540 |1305 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1024.03/1024.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1024.03/1024.29 c 1024s| 2040k| 83 | 13543k| 6.6 |7280k| 83 | 21 | 540 |1304 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1028.53/1028.76 c 1029s| 2050k| 83 | 13590k| 6.6 |7280k| 83 | 24 | 540 |1314 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1032.93/1033.17 c 1033s| 2060k| 95 | 13636k| 6.6 |7299k| 83 | 16 | 540 |1319 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1037.43/1037.63 c 1038s| 2070k| 83 | 13681k| 6.6 |7289k| 83 | - | 540 |1320 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1042.23/1042.47 c 1042s| 2080k| 87 | 13734k| 6.6 |7297k| 83 | 22 | 540 |1327 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1046.82/1047.00 c 1047s| 2090k| 119 | 13786k| 6.6 |7355k| 83 | - | 540 |1327 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1051.22/1051.44 c 1051s| 2100k| 109 | 13833k| 6.6 |7331k| 83 | 20 | 540 |1327 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1055.63/1055.86 c 1056s| 2110k| 117 | 13879k| 6.6 |7343k| 83 | 22 | 540 |1327 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1060.13/1060.33 c 1060s| 2120k| 107 | 13928k| 6.6 |7344k| 83 | - | 540 |1343 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1064.73/1064.96 c 1065s| 2130k| 113 | 13989k| 6.6 |7369k| 83 | 24 | 540 |1367 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1069.32/1069.50 c 1069s| 2140k| 115 | 14040k| 6.6 |7361k| 83 | 18 | 540 |1345 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1073.82/1074.06 c 1074s| 2150k| 125 | 14093k| 6.6 |7374k| 83 | - | 540 |1328 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1078.42/1078.62 c 1079s| 2160k| 129 | 14146k| 6.5 |7396k| 83 | - | 540 |1335 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1082.92/1083.12 c 1083s| 2170k| 149 | 14195k| 6.5 |7424k| 83 | 19 | 540 |1335 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1087.51/1087.70 c 1088s| 2180k| 133 | 14254k| 6.5 |7412k| 83 | - | 540 |1351 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1092.02/1092.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1092.02/1092.21 c 1092s| 2190k| 99 | 14305k| 6.5 |7364k| 83 | 14 | 540 |1371 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1096.52/1096.72 c 1097s| 2200k| 99 | 14354k| 6.5 |7345k| 83 | 26 | 540 |1350 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1101.02/1101.25 c 1101s| 2210k| 117 | 14405k| 6.5 |7376k| 83 | 29 | 540 |1355 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1105.52/1105.77 c 1106s| 2220k| 101 | 14457k| 6.5 |7361k| 83 | 32 | 540 |1358 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1110.02/1110.29 c 1110s| 2230k| 101 | 14509k| 6.5 |7367k| 83 | 19 | 540 |1359 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1114.62/1114.83 c 1115s| 2240k| 113 | 14561k| 6.5 |7376k| 83 | - | 540 |1338 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1119.11/1119.32 c 1119s| 2250k| 151 | 14609k| 6.5 |7419k| 83 | - | 540 |1314 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1123.61/1123.86 c 1124s| 2260k| 123 | 14658k| 6.5 |7382k| 83 | - | 540 |1314 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1128.01/1128.27 c 1128s| 2270k| 147 | 14701k| 6.5 |7411k| 83 | 20 | 540 |1299 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1132.41/1132.67 c 1133s| 2280k| 137 | 14745k| 6.5 |7397k| 83 | - | 540 |1299 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1136.91/1137.10 c 1137s| 2290k| 151 | 14790k| 6.5 |7420k| 83 | 23 | 540 |1298 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1141.41/1141.61 c 1142s| 2300k| 181 | 14839k| 6.5 |7462k| 83 | - | 540 |1297 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1145.81/1146.09 c 1146s| 2310k| 167 | 14885k| 6.4 |7447k| 83 | - | 540 |1297 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1150.30/1150.54 c 1151s| 2320k| 149 | 14931k| 6.4 |7421k| 83 | - | 540 |1297 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1154.81/1155.03 c 1155s| 2330k| 135 | 14977k| 6.4 |7400k| 83 | - | 540 |1297 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1159.21/1159.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1159.21/1159.49 c 1159s| 2340k| 137 | 15023k| 6.4 |7396k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1163.61/1163.90 c 1164s| 2350k| 183 | 15070k| 6.4 |7458k| 83 | 14 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1168.11/1168.39 c 1168s| 2360k| 189 | 15119k| 6.4 |7463k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1172.52/1172.76 c 1173s| 2370k| 219 | 15161k| 6.4 |7514k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1176.91/1177.17 c 1177s| 2380k| 235 | 15205k| 6.4 |7551k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1181.41/1181.63 c 1182s| 2390k| 211 | 15252k| 6.4 |7510k| 83 | 18 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1185.81/1186.05 c 1186s| 2400k| 167 | 15297k| 6.4 |7450k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1190.20/1190.49 c 1190s| 2410k| 159 | 15343k| 6.4 |7423k| 83 | 15 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1194.70/1194.93 c 1195s| 2420k| 167 | 15387k| 6.4 |7439k| 83 | 20 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1199.10/1199.31 c 1199s| 2430k| 211 | 15430k| 6.3 |7505k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1203.50/1203.77 c 1204s| 2440k| 229 | 15477k| 6.3 |7542k| 83 | 12 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1208.10/1208.34 c 1208s| 2450k| 193 | 15528k| 6.3 |7489k| 83 | 12 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1212.60/1212.88 c 1213s| 2460k| 185 | 15578k| 6.3 |7475k| 83 | 22 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1217.10/1217.36 c 1217s| 2470k| 179 | 15626k| 6.3 |7451k| 83 | 20 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1221.60/1221.87 c 1222s| 2480k| 209 | 15679k| 6.3 |7491k| 83 | 21 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1226.10/1226.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1226.10/1226.31 c 1226s| 2490k| 219 | 15723k| 6.3 |7516k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1230.50/1230.74 c 1231s| 2500k| 227 | 15767k| 6.3 |7513k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1235.00/1235.25 c 1235s| 2510k| 225 | 15815k| 6.3 |7513k| 83 | 23 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1239.50/1239.77 c 1240s| 2520k| 235 | 15864k| 6.3 |7532k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1243.90/1244.19 c 1244s| 2530k| 263 | 15912k| 6.3 |7572k| 83 | 16 | 540 |1297 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1248.40/1248.67 c 1249s| 2540k| 241 | 15964k| 6.3 |7544k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1252.90/1253.13 c 1253s| 2550k| 243 | 16019k| 6.3 |7556k| 83 | 28 | 540 |1305 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1257.29/1257.57 c 1258s| 2560k| 249 | 16070k| 6.3 |7568k| 83 | - | 540 |1297 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1261.69/1261.99 c 1262s| 2570k| 241 | 16120k| 6.3 |7547k| 83 | - | 540 |1292 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1266.19/1266.45 c 1266s| 2580k| 239 | 16171k| 6.3 |7551k| 83 | - | 540 |1290 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1270.69/1270.90 c 1271s| 2590k| 251 | 16221k| 6.3 |7569k| 83 | - | 540 |1291 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1275.09/1275.39 c 1275s| 2600k| 259 | 16270k| 6.3 |7595k| 83 | - | 540 |1296 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1279.69/1279.93 c 1280s| 2610k| 261 | 16319k| 6.3 |7605k| 83 | 19 | 540 |1296 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1284.19/1284.46 c 1284s| 2620k| 263 | 16369k| 6.2 |7603k| 83 | - | 540 |1301 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1288.68/1288.93 c 1289s| 2630k| 281 | 16420k| 6.2 |7643k| 83 | 38 | 540 |1324 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1293.19/1293.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1293.19/1293.45 c 1293s| 2640k| 285 | 16474k| 6.2 |7662k| 83 | - | 540 |1321 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1297.59/1297.88 c 1298s| 2650k| 317 | 16522k| 6.2 |7715k| 83 | 29 | 540 |1335 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1302.09/1302.34 c 1302s| 2660k| 311 | 16572k| 6.2 |7708k| 83 | 23 | 540 |1337 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1306.59/1306.86 c 1307s| 2670k| 315 | 16622k| 6.2 |7724k| 83 | - | 540 |1333 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1311.09/1311.32 c 1311s| 2680k| 317 | 16672k| 6.2 |7731k| 83 | - | 540 |1339 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1315.58/1315.88 c 1316s| 2690k| 323 | 16723k| 6.2 |7751k| 83 | - | 540 |1364 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1320.08/1320.39 c 1320s| 2700k| 319 | 16772k| 6.2 |7751k| 83 | 16 | 540 |1384 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1324.58/1324.86 c 1325s| 2710k| 313 | 16825k| 6.2 |7751k| 83 | 36 | 540 |1384 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1329.19/1329.44 c 1329s| 2720k| 279 | 16881k| 6.2 |7667k| 83 | 19 | 540 |1329 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1333.68/1333.94 c 1334s| 2730k| 289 | 16933k| 6.2 |7685k| 83 | - | 540 |1319 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1338.19/1338.44 c 1338s| 2740k| 293 | 16985k| 6.2 |7687k| 83 | 23 | 540 |1316 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1342.58/1342.85 c 1343s| 2750k| 305 | 17029k| 6.2 |7707k| 83 | 19 | 540 |1316 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1346.98/1347.27 c 1347s| 2760k| 315 | 17076k| 6.2 |7720k| 83 | - | 540 |1316 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1351.48/1351.70 c 1352s| 2770k| 321 | 17127k| 6.2 |7736k| 83 | 21 | 540 |1322 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1355.88/1356.14 c 1356s| 2780k| 329 | 17176k| 6.2 |7754k| 83 | 16 | 540 |1332 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1360.38/1360.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1360.38/1360.61 c 1361s| 2790k| 335 | 17226k| 6.2 |7781k| 83 | - | 540 |1338 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1364.78/1365.04 c 1365s| 2800k| 345 | 17275k| 6.2 |7792k| 83 | - | 540 |1335 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1369.29/1369.52 c 1370s| 2810k| 331 | 17329k| 6.2 |7772k| 83 | 31 | 540 |1331 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1373.68/1373.90 c 1374s| 2820k| 321 | 17380k| 6.2 |7761k| 83 | 29 | 540 |1341 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1378.08/1378.37 c 1378s| 2830k| 301 | 17434k| 6.2 |7724k| 83 | 37 | 540 |1326 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1382.48/1382.76 c 1383s| 2840k| 315 | 17481k| 6.2 |7745k| 83 | - | 540 |1324 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1386.88/1387.10 c 1387s| 2850k| 323 | 17532k| 6.2 |7784k| 83 | 18 | 540 |1361 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1391.18/1391.45 c 1391s| 2860k| 321 | 17584k| 6.1 |7782k| 83 | 20 | 540 |1337 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1395.47/1395.76 c 1396s| 2870k| 331 | 17633k| 6.1 |7796k| 83 | 21 | 540 |1337 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1399.97/1400.20 c 1400s| 2880k| 339 | 17682k| 6.1 |7801k| 83 | - | 540 |1332 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1404.38/1404.64 c 1405s| 2890k| 327 | 17730k| 6.1 |7772k| 83 | - | 540 |1316 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1408.88/1409.12 c 1409s| 2900k| 329 | 17785k| 6.1 |7777k| 83 | 28 | 540 |1326 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1413.38/1413.66 c 1414s| 2910k| 329 | 17845k| 6.1 |7781k| 83 | - | 540 |1332 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1417.78/1418.08 c 1418s| 2920k| 323 | 17896k| 6.1 |7779k| 83 | 30 | 540 |1347 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1422.27/1422.58 c 1423s| 2930k| 327 | 17949k| 6.1 |7780k| 83 | - | 540 |1328 | 540 | 438 | 47 | 124k| 28k| 0.000000e+00 | -- | Inf
1426.66/1426.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1426.66/1426.90 c 1427s| 2940k| 323 | 17998k| 6.1 |7774k| 83 | 25 | 540 |1332 | 540 | 438 | 47 | 124k| 28k| 0.000000e+00 | -- | Inf
1431.16/1431.44 c 1431s| 2950k| 337 | 18052k| 6.1 |7800k| 83 | 25 | 540 |1323 | 540 | 438 | 47 | 124k| 28k| 0.000000e+00 | -- | Inf
1435.76/1436.00 c 1436s| 2960k| 318 | 18108k| 6.1 |7765k| 83 | - | 540 |1304 | 540 | 438 | 47 | 124k| 28k| 0.000000e+00 | -- | Inf
1440.26/1440.57 c 1441s| 2970k| 302 | 18163k| 6.1 |7756k| 83 | 19 | 540 |1326 | 540 | 438 | 47 | 124k| 28k| 0.000000e+00 | -- | Inf
1444.76/1445.08 c 1445s| 2980k| 295 | 18214k| 6.1 |7759k| 83 | 34 | 540 |1352 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1449.26/1449.58 c 1450s| 2990k| 305 | 18263k| 6.1 |7783k| 83 | - | 540 |1354 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1453.66/1453.94 c 1454s| 3000k| 309 | 18313k| 6.1 |7792k| 83 | - | 540 |1354 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1457.96/1458.27 c 1458s| 3010k| 325 | 18362k| 6.1 |7803k| 83 | 33 | 540 |1338 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1462.36/1462.64 c 1463s| 3020k| 326 | 18412k| 6.1 |7822k| 83 | - | 540 |1356 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1466.86/1467.10 c 1467s| 3030k| 330 | 18459k| 6.1 |7821k| 83 | - | 540 |1333 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1471.16/1471.49 c 1471s| 3040k| 346 | 18504k| 6.1 |7839k| 83 | 19 | 540 |1332 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1475.66/1475.97 c 1476s| 3050k| 348 | 18552k| 6.1 |7853k| 83 | - | 540 |1327 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1480.16/1480.46 c 1480s| 3060k| 364 | 18598k| 6.1 |7880k| 83 | 22 | 540 |1329 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1484.56/1484.88 c 1485s| 3070k| 378 | 18648k| 6.1 |7896k| 83 | - | 540 |1330 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1488.95/1489.20 c 1489s| 3080k| 362 | 18701k| 6.1 |7886k| 83 | - | 540 |1346 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1493.25/1493.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1493.25/1493.56 c 1494s| 3090k| 368 | 18755k| 6.1 |7894k| 83 | 24 | 540 |1352 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1497.76/1498.03 c 1498s| 3100k| 372 | 18804k| 6.1 |7918k| 83 | - | 540 |1387 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1502.26/1502.51 c 1503s| 3110k| 354 | 18859k| 6.1 |7895k| 83 | - | 540 |1385 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1506.76/1507.03 c 1507s| 3120k| 340 | 18913k| 6.1 |7859k| 83 | - | 540 |1354 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1511.26/1511.55 c 1512s| 3130k| 334 | 18965k| 6.1 |7849k| 83 | 28 | 540 |1361 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1515.85/1516.15 c 1516s| 3140k| 320 | 19017k| 6.1 |7810k| 83 | 17 | 540 |1324 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1520.35/1520.68 c 1521s| 3150k| 320 | 19066k| 6.1 |7816k| 83 | - | 540 |1318 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1524.85/1525.16 c 1525s| 3160k| 328 | 19115k| 6.0 |7826k| 83 | 16 | 540 |1330 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1529.25/1529.55 c 1530s| 3170k| 326 | 19161k| 6.0 |7829k| 83 | - | 540 |1323 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1533.65/1533.96 c 1534s| 3180k| 334 | 19208k| 6.0 |7854k| 83 | - | 540 |1354 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1538.05/1538.37 c 1538s| 3190k| 332 | 19252k| 6.0 |7859k| 83 | - | 540 |1364 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1542.55/1542.81 c 1543s| 3200k| 348 | 19301k| 6.0 |7887k| 83 | 21 | 540 |1375 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1546.95/1547.28 c 1547s| 3210k| 348 | 19353k| 6.0 |7892k| 83 | 26 | 540 |1380 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1551.44/1551.75 c 1552s| 3220k| 358 | 19404k| 6.0 |7922k| 83 | 16 | 540 |1387 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1555.85/1556.17 c 1556s| 3230k| 362 | 19449k| 6.0 |7923k| 83 | 22 | 540 |1382 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1560.24/1560.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1560.24/1560.57 c 1561s| 3240k| 370 | 19499k| 6.0 |7944k| 83 | 29 | 540 |1379 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1564.75/1565.02 c 1565s| 3250k| 370 | 19551k| 6.0 |7964k| 83 | - | 540 |1415 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1569.24/1569.50 c 1569s| 3260k| 364 | 19605k| 6.0 |7936k| 83 | - | 540 |1383 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1573.64/1573.95 c 1574s| 3270k| 360 | 19651k| 6.0 |7921k| 83 | - | 540 |1352 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1578.15/1578.41 c 1578s| 3280k| 348 | 19703k| 6.0 |7898k| 83 | 25 | 540 |1336 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1582.54/1582.88 c 1583s| 3290k| 358 | 19751k| 6.0 |7913k| 83 | 22 | 540 |1332 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1587.05/1587.38 c 1587s| 3300k| 356 | 19799k| 6.0 |7914k| 83 | - | 540 |1331 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1591.55/1591.88 c 1592s| 3310k| 354 | 19846k| 6.0 |7903k| 83 | 24 | 540 |1330 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1596.04/1596.31 c 1596s| 3320k| 400 | 19902k| 6.0 |7975k| 83 | 22 | 540 |1345 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1600.44/1600.74 c 1601s| 3330k| 416 | 19957k| 6.0 |8003k| 83 | - | 540 |1344 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1604.94/1605.29 c 1605s| 3340k| 456 | 20008k| 6.0 |8066k| 83 | - | 540 |1332 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1609.64/1609.92 c 1610s| 3350k| 420 | 20060k| 6.0 |8012k| 83 | - | 540 |1332 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1614.14/1614.44 c 1614s| 3360k| 438 | 20109k| 6.0 |8039k| 83 | - | 540 |1332 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1618.64/1618.98 c 1619s| 3370k| 456 | 20165k| 6.0 |8052k| 83 | 21 | 540 |1333 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1623.03/1623.39 c 1623s| 3380k| 446 | 20214k| 6.0 |8051k| 83 | 29 | 540 |1333 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1627.64/1627.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1627.64/1627.91 c 1628s| 3390k| 436 | 20266k| 6.0 |8045k| 83 | 18 | 540 |1349 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1632.03/1632.38 c 1632s| 3400k| 426 | 20319k| 6.0 |8036k| 83 | 33 | 540 |1354 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1636.74/1637.00 c 1637s| 3410k| 388 | 20373k| 6.0 |7986k| 83 | - | 540 |1346 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1641.13/1641.49 c 1641s| 3420k| 392 | 20425k| 6.0 |7997k| 83 | - | 540 |1343 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1645.83/1646.11 c 1646s| 3430k| 419 | 20481k| 6.0 |8051k| 83 | 25 | 540 |1381 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1650.23/1650.51 c 1651s| 3440k| 437 | 20525k| 6.0 |8070k| 83 | - | 540 |1365 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1654.64/1654.96 c 1655s| 3450k| 401 | 20574k| 6.0 |8030k| 83 | - | 540 |1366 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1659.14/1659.42 c 1659s| 3460k| 391 | 20622k| 6.0 |8005k| 83 | - | 540 |1350 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1663.83/1664.10 c 1664s| 3470k| 413 | 20685k| 6.0 |8032k| 83 | - | 540 |1340 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1668.23/1668.59 c 1669s| 3480k| 389 | 20743k| 6.0 |7994k| 83 | 18 | 540 |1339 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1672.84/1673.13 c 1673s| 3490k| 351 | 20798k| 6.0 |7920k| 83 | - | 540 |1329 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1677.34/1677.63 c 1678s| 3500k| 325 | 20850k| 6.0 |7863k| 83 | 20 | 540 |1310 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1681.83/1682.18 c 1682s| 3510k| 303 | 20900k| 6.0 |7833k| 83 | - | 540 |1303 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1686.32/1686.63 c 1687s| 3520k| 335 | 20952k| 6.0 |7870k| 83 | 25 | 540 |1302 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1690.73/1691.02 c 1691s| 3530k| 343 | 21003k| 5.9 |7885k| 83 | 18 | 540 |1307 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1695.13/1695.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1695.13/1695.43 c 1695s| 3540k| 357 | 21054k| 5.9 |7913k| 83 | - | 540 |1305 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1699.62/1699.90 c 1700s| 3550k| 321 | 21100k| 5.9 |7866k| 83 | - | 540 |1310 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1704.32/1704.63 c 1705s| 3560k| 299 | 21161k| 5.9 |7832k| 83 | 36 | 540 |1329 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1708.93/1709.23 c 1709s| 3570k| 305 | 21219k| 5.9 |7841k| 83 | 26 | 540 |1342 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1713.42/1713.73 c 1714s| 3580k| 315 | 21278k| 5.9 |7852k| 83 | - | 540 |1333 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1718.03/1718.34 c 1718s| 3590k| 337 | 21336k| 5.9 |7881k| 83 | - | 540 |1328 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1722.72/1723.08 c 1723s| 3600k| 315 | 21398k| 5.9 |7853k| 83 | 24 | 540 |1328 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1727.32/1727.67 c 1728s| 3610k| 287 | 21452k| 5.9 |7800k| 83 | 18 | 540 |1311 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1731.92/1732.20 c 1732s| 3620k| 291 | 21507k| 5.9 |7816k| 83 | 27 | 540 |1324 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1736.32/1736.69 c 1737s| 3630k| 291 | 21562k| 5.9 |7815k| 83 | 29 | 540 |1323 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1740.92/1741.24 c 1741s| 3640k| 279 | 21615k| 5.9 |7790k| 83 | - | 540 |1316 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1745.62/1745.91 c 1746s| 3650k| 273 | 21672k| 5.9 |7771k| 83 | - | 540 |1306 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1750.22/1750.50 c 1750s| 3660k| 223 | 21728k| 5.9 |7680k| 83 | 38 | 540 |1313 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1754.91/1755.25 c 1755s| 3670k| 224 | 21789k| 5.9 |7689k| 83 | - | 540 |1321 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1759.52/1759.85 c 1760s| 3680k| 226 | 21853k| 5.9 |7683k| 83 | - | 540 |1308 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1764.23/1764.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1764.23/1764.54 c 1765s| 3690k| 204 | 21912k| 5.9 |7611k| 83 | 29 | 540 |1250 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1768.71/1769.08 c 1769s| 3700k| 222 | 21964k| 5.9 |7647k| 83 | - | 540 |1260 | 540 | 438 | 47 | 126k| 30k| 0.000000e+00 | -- | Inf
1773.11/1773.47 c 1773s| 3710k| 218 | 22011k| 5.9 |7635k| 83 | - | 540 |1242 | 540 | 438 | 47 | 126k| 30k| 0.000000e+00 | -- | Inf
1777.91/1778.25 c 1778s| 3720k| 235 | 22079k| 5.9 |7760k| 83 | - | 540 |1481 | 540 | 438 | 47 | 126k| 30k| 0.000000e+00 | -- | Inf
1782.61/1782.90 c 1783s| 3730k| 230 | 22139k| 5.9 |7705k| 83 | 19 | 540 |1337 | 540 | 438 | 47 | 127k| 30k| 0.000000e+00 | -- | Inf
1787.11/1787.41 c 1787s| 3740k| 236 | 22192k| 5.9 |7695k| 83 | - | 540 |1306 | 540 | 438 | 47 | 127k| 30k| 0.000000e+00 | -- | Inf
1791.72/1792.02 c 1792s| 3750k| 260 | 22249k| 5.9 |7727k| 83 | 15 | 540 |1324 | 540 | 438 | 47 | 127k| 30k| 0.000000e+00 | -- | Inf
1796.31/1796.66 c 1797s| 3760k| 238 | 22309k| 5.9 |7716k| 83 | 26 | 540 |1349 | 540 | 438 | 47 | 127k| 30k| 0.000000e+00 | -- | Inf
1796.71/1797.00 c
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Solving Time (sec) : 1797.00
1796.71/1797.00 c Solving Nodes : 3760772
1796.71/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.71/1797.00 c Dual Bound : +0.00000000000000e+00
1796.71/1797.00 c Gap : infinite
1796.71/1797.00 s UNKNOWN
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Total Time : 1797.00
1796.71/1797.00 c solving : 1797.00
1796.71/1797.00 c presolving : 0.01 (included in solving)
1796.71/1797.00 c reading : 0.01 (included in solving)
1796.71/1797.00 c Original Problem :
1796.71/1797.00 c Problem name : HOME/instance-3730548-1338688867.opb
1796.71/1797.00 c Variables : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 416 initial, 416 maximal
1796.71/1797.00 c Presolved Problem :
1796.71/1797.00 c Problem name : t_HOME/instance-3730548-1338688867.opb
1796.71/1797.00 c Variables : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 416 initial, 6445 maximal
1796.71/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c root node : - 0 - - 0 - - - - -
1796.71/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c integral : 0 0 0 1889498 0 1 0 2004 5674 0 0 3765554
1796.71/1797.00 c setppc : 38 5 7291985 0 0 0 3081529 15671 18164576 0 0 0
1796.71/1797.00 c linear : 0+ 5 7 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c logicor : 378+ 5 4091257 0 0 0 165805 7252 21018204 0 0 0
1796.71/1797.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.71/1797.00 c integral : 38.77 0.00 0.00 38.77 0.00 0.00 0.00
1796.71/1797.00 c setppc : 17.89 0.00 17.38 0.00 0.00 0.00 0.52
1796.71/1797.00 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.00 c logicor : 36.18 0.00 35.92 0.00 0.00 0.00 0.26
1796.71/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.71/1797.00 c vbounds : 0 0 0 0
1796.71/1797.00 c rootredcost : 0 0 0 0
1796.71/1797.00 c pseudoobj : 0 0 0 0
1796.71/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1796.71/1797.00 c vbounds : 0.99 0.99 0.00
1796.71/1797.00 c rootredcost : 1.04 1.04 0.00
1796.71/1797.00 c pseudoobj : 0.68 0.68 0.00
1796.71/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.00 c propagation : 0.79 22923 22905 142637 40.9 147 39.7 -
1796.71/1797.00 c infeasible LP : 140.87 1857235 32644 482098 63.8 294 36.6 0
1796.71/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.00 c applied globally : - - - 127165 32.5 - - -
1796.71/1797.00 c applied locally : - - - 0 0.0 - - -
1796.71/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.71/1797.00 c cut pool : 0.00 4 - - 3 - (maximal pool size: 445)
1796.71/1797.00 c redcost : 14.44 1885625 0 0 0 0
1796.71/1797.00 c impliedbounds : 0.00 5 0 0 0 0
1796.71/1797.00 c intobj : 0.00 0 0 0 0 0
1796.71/1797.00 c gomory : 0.11 5 0 0 1156 0
1796.71/1797.00 c cgmip : 0.00 0 0 0 0 0
1796.71/1797.00 c closecuts : 0.00 0 0 0 0 0
1796.71/1797.00 c strongcg : 0.13 5 0 0 1787 0
1796.71/1797.00 c cmir : 0.00 0 0 0 0 0
1796.71/1797.00 c flowcover : 0.00 0 0 0 0 0
1796.71/1797.00 c clique : 0.00 5 0 0 0 0
1796.71/1797.00 c zerohalf : 0.00 0 0 0 0 0
1796.71/1797.00 c mcf : 0.00 1 0 0 0 0
1796.71/1797.00 c oddcycle : 0.00 0 0 0 0 0
1796.71/1797.00 c rapidlearning : 0.03 1 0 0 0 4
1796.71/1797.00 c Pricers : Time Calls Vars
1796.71/1797.00 c problem variables: 0.00 0 0
1796.71/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c relpscost : 37.88 1889498 2004 5674 0 0 3765554
1796.71/1797.00 c pscost : 0.00 0 0 0 0 0 0
1796.71/1797.00 c inference : 0.00 0 0 0 0 0 0
1796.71/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1796.71/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1796.71/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1796.71/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1796.71/1797.00 c random : 0.00 0 0 0 0 0 0
1796.71/1797.00 c Primal Heuristics : Time Calls Found
1796.71/1797.00 c LP solutions : 0.00 - 0
1796.71/1797.00 c pseudo solutions : 0.00 - 0
1796.71/1797.00 c trivial : 0.00 1 0
1796.71/1797.00 c shiftandpropagate: 0.00 0 0
1796.71/1797.00 c simplerounding : 0.00 0 0
1796.71/1797.00 c zirounding : 0.00 0 0
1796.71/1797.00 c rounding : 0.00 0 0
1796.71/1797.00 c shifting : 0.00 0 0
1796.71/1797.00 c intshifting : 0.00 0 0
1796.71/1797.00 c oneopt : 0.00 0 0
1796.71/1797.00 c twoopt : 0.00 0 0
1796.71/1797.00 c fixandinfer : 0.00 0 0
1796.71/1797.00 c feaspump : 0.00 0 0
1796.71/1797.00 c clique : 0.00 0 0
1796.71/1797.00 c coefdiving : 0.00 0 0
1796.71/1797.00 c pscostdiving : 0.00 0 0
1796.71/1797.00 c fracdiving : 0.00 0 0
1796.71/1797.00 c veclendiving : 0.00 0 0
1796.71/1797.00 c intdiving : 0.00 0 0
1796.71/1797.00 c actconsdiving : 0.00 0 0
1796.71/1797.00 c objpscostdiving : 0.00 0 0
1796.71/1797.00 c rootsoldiving : 0.00 0 0
1796.71/1797.00 c linesearchdiving : 0.00 0 0
1796.71/1797.00 c guideddiving : 0.00 0 0
1796.71/1797.00 c octane : 0.00 0 0
1796.71/1797.00 c rens : 0.00 0 0
1796.71/1797.00 c rins : 0.00 0 0
1796.71/1797.00 c localbranching : 0.00 0 0
1796.71/1797.00 c mutation : 0.00 0 0
1796.71/1797.00 c crossover : 0.00 0 0
1796.71/1797.00 c dins : 0.00 0 0
1796.71/1797.00 c vbounds : 0.00 0 0
1796.71/1797.00 c undercover : 0.00 0 0
1796.71/1797.00 c subnlp : 0.00 0 0
1796.71/1797.00 c trysol : 0.00 0 0
1796.71/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1796.71/1797.00 c primal LP : 0.00 0 0 0.00 -
1796.71/1797.00 c dual LP : 1207.01 3711151 22313157 6.01 18486.32
1796.71/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.00 c barrier LP : 0.00 0 0 0.00 -
1796.71/1797.00 c diving/probing LP: 0.00 0 0 0.00 -
1796.71/1797.00 c strong branching : 21.31 30147 336690 11.17 15801.63
1796.71/1797.00 c (at root node) : - 16 420 26.25 -
1796.71/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.00 c B&B Tree :
1796.71/1797.00 c number of runs : 1
1796.71/1797.00 c nodes : 3760772
1796.71/1797.00 c nodes (total) : 3760772
1796.71/1797.00 c nodes left : 246
1796.71/1797.00 c max depth : 83
1796.71/1797.00 c max depth (total): 83
1796.71/1797.00 c backtracks : 733114 (19.5%)
1796.71/1797.00 c delayed cutoffs : 4537
1796.71/1797.00 c repropagations : 112976 (323103 domain reductions, 4167 cutoffs)
1796.71/1797.00 c avg switch length: 2.96
1796.71/1797.00 c switching time : 86.73
1796.71/1797.00 c Solution :
1796.71/1797.00 c Solutions found : 0 (0 improvements)
1796.71/1797.00 c Primal Bound : -
1796.71/1797.00 c Dual Bound : +0.00000000000000e+00
1796.71/1797.00 c Gap : infinite
1796.71/1797.00 c Root Dual Bound : +0.00000000000000e+00
1796.71/1797.00 c Root Iterations : 1330
1796.71/1797.01 c Time complete: 1796.72.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3730548-1338688867/watcher-3730548-1338688867 -o /tmp/evaluation-result-3730548-1338688867/solver-3730548-1338688867 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3730548-1338688867.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.85 1.98 1.99 3/175 30485
/proc/meminfo: memFree=27633516/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=9588 CPUtime=0 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 1520 0 0 0 0 0 0 0 20 0 1 0 335012635 9818112 1475 33554432000 4194304 9016284 140736875006224 140736875005192 7824814 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 2397 1476 311 1178 0 1215 0
[startup+0.102788 s]
/proc/loadavg: 1.85 1.98 1.99 3/175 30485
/proc/meminfo: memFree=27633516/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=36344 CPUtime=0.09 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 8721 0 0 0 8 1 0 0 20 0 1 0 335012635 37216256 7713 33554432000 4194304 9016284 140736875006224 140736875005192 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9086 7713 659 1178 0 7904 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36344
[startup+0.200344 s]
/proc/loadavg: 1.85 1.98 1.99 3/175 30485
/proc/meminfo: memFree=27633516/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=36412 CPUtime=0.19 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 8991 0 0 0 18 1 0 0 20 0 1 0 335012635 37285888 7983 33554432000 4194304 9016284 140736875006224 140736875005192 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9103 7983 659 1178 0 7921 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 36412
[startup+0.300272 s]
/proc/loadavg: 1.85 1.98 1.99 3/175 30485
/proc/meminfo: memFree=27633516/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=36496 CPUtime=0.29 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9009 0 0 0 28 1 0 0 20 0 1 0 335012635 37371904 8001 33554432000 4194304 9016284 140736875006224 140736875005192 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9124 8001 659 1178 0 7942 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36496
[startup+0.700224 s]
/proc/loadavg: 1.85 1.98 1.99 3/175 30485
/proc/meminfo: memFree=27633516/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=36692 CPUtime=0.69 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9129 0 0 0 67 2 0 0 20 0 1 0 335012635 37572608 8121 33554432000 4194304 9016284 140736875006224 140736875001336 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9173 8121 664 1178 0 7991 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36692
[startup+1.50022 s]
/proc/loadavg: 1.85 1.98 1.99 3/176 30486
/proc/meminfo: memFree=27603872/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=36692 CPUtime=1.49 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9129 0 0 0 146 3 0 0 20 0 1 0 335012635 37572608 8121 33554432000 4194304 9016284 140736875006224 140736874999480 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9173 8121 664 1178 0 7991 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36692
[startup+3.10022 s]
/proc/loadavg: 1.85 1.98 1.99 3/176 30486
/proc/meminfo: memFree=27603360/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=36692 CPUtime=3.09 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9131 0 0 0 302 7 0 0 20 0 1 0 335012635 37572608 8123 33554432000 4194304 9016284 140736875006224 140736875000392 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9173 8123 666 1178 0 7991 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36692
[startup+6.30023 s]
/proc/loadavg: 1.86 1.98 1.99 3/176 30486
/proc/meminfo: memFree=27603624/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=36692 CPUtime=6.29 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9131 0 0 0 615 14 0 0 20 0 1 0 335012635 37572608 8123 33554432000 4194304 9016284 140736875006224 140736875000552 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9173 8123 666 1178 0 7991 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36692
[startup+12.7002 s]
/proc/loadavg: 1.87 1.98 1.99 3/176 30486
/proc/meminfo: memFree=27603788/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=36692 CPUtime=12.69 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9131 0 0 0 1243 26 0 0 20 0 1 0 335012635 37572608 8123 33554432000 4194304 9016284 140736875006224 140736875000392 6469463 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9173 8123 666 1178 0 7991 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36692
[startup+25.5003 s]
/proc/loadavg: 1.90 1.98 1.99 3/176 30486
/proc/meminfo: memFree=27604324/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=36692 CPUtime=25.49 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9131 0 0 0 2500 49 0 0 20 0 1 0 335012635 37572608 8123 33554432000 4194304 9016284 140736875006224 140736875000552 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9173 8123 666 1178 0 7991 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36692
[startup+51.1003 s]
/proc/loadavg: 1.93 1.98 1.99 3/176 30486
/proc/meminfo: memFree=27604188/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=36692 CPUtime=51.08 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9136 0 0 0 5015 93 0 0 20 0 1 0 335012635 37572608 8128 33554432000 4194304 9016284 140736875006224 140736875000552 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9173 8128 666 1178 0 7991 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36692
[startup+102.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/174 30486
/proc/meminfo: memFree=27603936/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=36692 CPUtime=102.27 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9140 0 0 0 10046 181 0 0 20 0 1 0 335012635 37572608 8128 33554432000 4194304 9016284 140736875006224 140736875000552 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9173 8128 666 1178 0 7991 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 36692
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/174 30487
/proc/meminfo: memFree=27603696/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=36832 CPUtime=162.26 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9175 0 0 0 15917 309 0 0 20 0 1 0 335012635 37715968 8163 33554432000 4194304 9016284 140736875006224 140736875000088 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9208 8163 666 1178 0 8026 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 36832
[startup+222.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 30488
/proc/meminfo: memFree=27601764/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=37472 CPUtime=222.26 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9310 0 0 0 21803 423 0 0 20 0 1 0 335012635 38371328 8298 33554432000 4194304 9016284 140736875006224 140736875000392 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9368 8298 666 1178 0 8186 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 37472
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 30488
/proc/meminfo: memFree=27601640/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=37472 CPUtime=282.24 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9310 0 0 0 27695 529 0 0 20 0 1 0 335012635 38371328 8298 33554432000 4194304 9016284 140736875006224 140736875000504 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9368 8298 666 1178 0 8186 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 37472
[startup+342.3 s]
/proc/loadavg: 2.04 2.00 1.99 3/175 30488
/proc/meminfo: memFree=27601640/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=37472 CPUtime=342.23 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9311 0 0 0 33567 656 0 0 20 0 1 0 335012635 38371328 8299 33554432000 4194304 9016284 140736875006224 140736874999992 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9368 8299 666 1178 0 8186 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 37472
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/175 30488
/proc/meminfo: memFree=27601640/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=37472 CPUtime=402.22 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9313 0 0 0 39445 777 0 0 20 0 1 0 335012635 38371328 8301 33554432000 4194304 9016284 140736875006224 140736875000088 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9368 8301 666 1178 0 8186 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 37472
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 30489
/proc/meminfo: memFree=27601640/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=37472 CPUtime=462.21 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9321 0 0 0 45319 902 0 0 20 0 1 0 335012635 38371328 8309 33554432000 4194304 9016284 140736875006224 140736875000552 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9368 8309 666 1178 0 8186 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 37472
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 30489
/proc/meminfo: memFree=27601640/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=37472 CPUtime=522.2 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9321 0 0 0 51195 1025 0 0 20 0 1 0 335012635 38371328 8309 33554432000 4194304 9016284 140736875006224 140736875000552 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9368 8309 666 1178 0 8186 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 37472
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/176 30492
/proc/meminfo: memFree=27601012/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=37472 CPUtime=582.2 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9323 0 0 0 57082 1138 0 0 20 0 1 0 335012635 38371328 8311 33554432000 4194304 9016284 140736875006224 140736875000504 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9368 8311 666 1178 0 8186 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 37472
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27583208/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=37612 CPUtime=1062.12 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9392 0 0 0 104177 2035 0 0 20 0 1 0 335012635 38514688 8380 33554432000 4194304 9016284 140736875006224 140736875000184 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9403 8380 666 1178 0 8221 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 37612
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 30532
/proc/meminfo: memFree=27576032/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=37612 CPUtime=1122.11 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9392 0 0 0 110070 2141 0 0 20 0 1 0 335012635 38514688 8380 33554432000 4194304 9016284 140736875006224 140736875000392 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9403 8380 666 1178 0 8221 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 37612
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 30687
/proc/meminfo: memFree=27507536/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=37612 CPUtime=1182.1 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9392 0 0 0 115973 2237 0 0 20 0 1 0 335012635 38514688 8380 33554432000 4194304 9016284 140736875006224 140736875000552 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9403 8380 666 1178 0 8221 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 37612
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30687
/proc/meminfo: memFree=27504560/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=37612 CPUtime=1242.09 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9392 0 0 0 121871 2338 0 0 20 0 1 0 335012635 38514688 8380 33554432000 4194304 9016284 140736875006224 140736875000184 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9403 8380 666 1178 0 8221 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 37612
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30687
/proc/meminfo: memFree=27494764/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=37988 CPUtime=1302.09 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9472 0 0 0 127768 2441 0 0 20 0 1 0 335012635 38899712 8459 33554432000 4194304 9016284 140736875006224 140736875000184 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9497 8459 666 1178 0 8315 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 37988
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30688
/proc/meminfo: memFree=27497792/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=37988 CPUtime=1362.07 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9478 0 0 0 133662 2545 0 0 20 0 1 0 335012635 38899712 8465 33554432000 4194304 9016284 140736875006224 140736875000552 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9497 8465 666 1178 0 8315 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 37988
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30688
/proc/meminfo: memFree=27492272/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=37988 CPUtime=1422.07 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9479 0 0 0 139555 2652 0 0 20 0 1 0 335012635 38899712 8465 33554432000 4194304 9016284 140736875006224 140736875000440 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9497 8465 666 1178 0 8315 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 37988
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 30688
/proc/meminfo: memFree=27488800/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=38180 CPUtime=1482.06 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9505 0 0 0 145445 2761 0 0 20 0 1 0 335012635 39096320 8491 33554432000 4194304 9016284 140736875006224 140736875000088 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9545 8491 666 1178 0 8363 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 38180
[startup+1542.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 30688
/proc/meminfo: memFree=27474588/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=38180 CPUtime=1542.05 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9506 0 0 0 151337 2868 0 0 20 0 1 0 335012635 39096320 8492 33554432000 4194304 9016284 140736875006224 140736875000088 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9545 8492 666 1178 0 8363 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 38180
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 30688
/proc/meminfo: memFree=27474092/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=38180 CPUtime=1602.04 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9513 0 0 0 157238 2966 0 0 20 0 1 0 335012635 39096320 8499 33554432000 4194304 9016284 140736875006224 140736875000392 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9545 8499 666 1178 0 8363 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 38180
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30689
/proc/meminfo: memFree=27471104/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=38180 CPUtime=1662.03 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9532 0 0 0 163133 3070 0 0 20 0 1 0 335012635 39096320 8518 33554432000 4194304 9016284 140736875006224 140736875000504 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9545 8518 666 1178 0 8363 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 38180
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30689
/proc/meminfo: memFree=27460812/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=38180 CPUtime=1722.02 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9532 0 0 0 169034 3168 0 0 20 0 1 0 335012635 39096320 8518 33554432000 4194304 9016284 140736875006224 140736875000392 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9545 8518 666 1178 0 8363 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 38180
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30692
/proc/meminfo: memFree=27454976/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=38180 CPUtime=1782.01 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9532 0 0 0 174930 3271 0 0 20 0 1 0 335012635 39096320 8518 33554432000 4194304 9016284 140736875006224 140736874999592 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9545 8518 666 1178 0 8363 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 38180
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30692
/proc/meminfo: memFree=27454852/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=38180 CPUtime=1785.32 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9532 0 0 0 175255 3277 0 0 20 0 1 0 335012635 39096320 8518 33554432000 4194304 9016284 140736875006224 140736874999640 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9545 8518 666 1178 0 8363 0
Current children cumulated CPU time (s) 1785.32
Current children cumulated vsize (KiB) 38180
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30692
/proc/meminfo: memFree=27457332/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=38180 CPUtime=1791.72 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9532 0 0 0 175883 3289 0 0 20 0 1 0 335012635 39096320 8518 33554432000 4194304 9016284 140736875006224 140736875000552 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9545 8518 666 1178 0 8363 0
Current children cumulated CPU time (s) 1791.72
Current children cumulated vsize (KiB) 38180
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30692
/proc/meminfo: memFree=27451512/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=38180 CPUtime=1794.91 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9532 0 0 0 176197 3294 0 0 20 0 1 0 335012635 39096320 8518 33554432000 4194304 9016284 140736875006224 140736875000392 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9545 8518 666 1178 0 8363 0
Current children cumulated CPU time (s) 1794.91
Current children cumulated vsize (KiB) 38180
[startup+1796 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30692
/proc/meminfo: memFree=27451512/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=38180 CPUtime=1795.71 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9532 0 0 0 176275 3296 0 0 20 0 1 0 335012635 39096320 8518 33554432000 4194304 9016284 140736875006224 140736875000392 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9545 8518 666 1178 0 8363 0
Current children cumulated CPU time (s) 1795.71
Current children cumulated vsize (KiB) 38180
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30692
/proc/meminfo: memFree=27455480/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=38180 CPUtime=1796.51 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9532 0 0 0 176353 3298 0 0 20 0 1 0 335012635 39096320 8518 33554432000 4194304 9016284 140736875006224 140736875000552 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9545 8518 666 1178 0 8363 0
Current children cumulated CPU time (s) 1796.51
Current children cumulated vsize (KiB) 38180
[startup+1797 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 30692
/proc/meminfo: memFree=27455480/32873852 swapFree=6856/6856
[pid=30485] ppid=30483 vsize=38180 CPUtime=1796.71 cores=1,3,5,7
/proc/30485/stat : 30485 (scip-2.0.1.4b_2) R 30483 30485 20074 0 -1 4202496 9532 0 0 0 176373 3298 0 0 20 0 1 0 335012635 39096320 8518 33554432000 4194304 9016284 140736875006224 140736875000552 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/30485/statm: 9545 8518 666 1178 0 8363 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 38180
Child status: 0
Real time (s): 1797.02
CPU time (s): 1796.74
CPU user time (s): 1763.75
CPU system time (s): 32.989
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 38180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1763.75
system time used= 32.989
maximum resident set size= 34080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9539
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= 13
involuntary context switches= 1851
runsolver used 2.78958 second user time and 7.49986 second system time
The end