0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3453046-1307072084.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.4
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 = 1800
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 | - |2184k| 0 | 91 | 540 | 416 | 540 | 416 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.10 c 0.1s| 1 | 0 | 463 | - |2619k| 0 | 96 | 540 | 420 | 540 | 426 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.10/0.17 c 0.2s| 1 | 0 | 871 | - |3303k| 0 | 138 | 540 | 420 | 540 | 437 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 0 | 929 | - |3867k| 0 | 136 | 540 | 420 | 540 | 442 | 26 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.31 c 0.3s| 1 | 0 | 1195 | - |4442k| 0 | 105 | 540 | 420 | 540 | 452 | 36 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.37 c 0.4s| 1 | 0 | 1330 | - |5061k| 0 | 105 | 540 | 420 | 540 | 463 | 47 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.40 c 0.4s| 1 | 2 | 1330 | - |5062k| 0 | 105 | 540 | 420 | 540 | 463 | 47 | 0 | 16 | 0.000000e+00 | -- | Inf
7.81/7.89 c 7.9s| 10000 | 52 | 62330 | 6.1 |5950k| 51 | - | 540 |1474 | 540 | 438 | 47 |3046 |2567 | 0.000000e+00 | -- | Inf
12.99/13.03 c 13.0s| 20000 | 68 |131831 | 6.5 |6366k| 52 | - | 540 |2147 | 540 | 438 | 47 |5114 |2606 | 0.000000e+00 | -- | Inf
17.89/17.97 c 18.0s| 30000 | 63 |184684 | 6.1 |6786k| 55 | - | 540 |2945 | 540 | 438 | 47 |8460 |2699 | 0.000000e+00 | -- | Inf
23.10/23.21 c 23.2s| 40000 | 68 |244551 | 6.1 |7525k| 55 | 20 | 540 |4313 | 540 | 438 | 47 | 16k|2834 | 0.000000e+00 | -- | Inf
28.89/28.96 c 29.0s| 50000 | 85 |314445 | 6.3 |7584k| 55 | - | 540 |4242 | 540 | 438 | 47 | 20k|3115 | 0.000000e+00 | -- | Inf
33.89/33.95 c 34.0s| 60000 | 72 |364629 | 6.1 |7830k| 60 | 19 | 540 |4756 | 540 | 438 | 47 | 23k|3253 | 0.000000e+00 | -- | Inf
38.89/38.97 c 39.0s| 70000 | 67 |414641 | 5.9 |7896k| 60 | 20 | 540 |4873 | 540 | 438 | 47 | 26k|3361 | 0.000000e+00 | -- | Inf
44.79/44.86 c 44.9s| 80000 | 69 |494759 | 6.2 |7301k| 61 | 30 | 540 |3438 | 540 | 438 | 47 | 27k|3713 | 0.000000e+00 | -- | Inf
50.49/50.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.49/50.58 c 50.6s| 90000 | 108 |576040 | 6.4 |7778k| 61 | 18 | 540 |4259 | 540 | 438 | 47 | 30k|4006 | 0.000000e+00 | -- | Inf
55.39/55.40 c 55.4s|100000 | 125 |621867 | 6.2 |8535k| 61 | 12 | 540 |5709 | 540 | 438 | 47 | 37k|4091 | 0.000000e+00 | -- | Inf
60.61/60.64 c 60.6s|110000 | 182 |673547 | 6.1 |8758k| 61 | 14 | 540 |5951 | 540 | 438 | 47 | 42k|4211 | 0.000000e+00 | -- | Inf
65.80/65.83 c 65.8s|120000 | 95 |727282 | 6.0 |8089k| 65 | 20 | 540 |4750 | 540 | 438 | 47 | 46k|4294 | 0.000000e+00 | -- | Inf
70.99/71.05 c 71.0s|130000 | 135 |781578 | 6.0 |8633k| 65 | 14 | 540 |5742 | 540 | 438 | 47 | 51k|4406 | 0.000000e+00 | -- | Inf
76.09/76.12 c 76.1s|140000 | 201 |836530 | 6.0 |8233k| 65 | - | 540 |4580 | 540 | 438 | 47 | 55k|4480 | 0.000000e+00 | -- | Inf
81.09/81.17 c 81.2s|150000 | 218 |889073 | 5.9 |8487k| 65 | - | 540 |5040 | 540 | 438 | 47 | 60k|4583 | 0.000000e+00 | -- | Inf
86.39/86.48 c 86.5s|160000 | 141 |947799 | 5.9 |8054k| 65 | 25 | 540 |4309 | 540 | 438 | 47 | 64k|4710 | 0.000000e+00 | -- | Inf
91.89/91.99 c 92.0s|170000 | 86 | 1015k| 6.0 |7603k| 65 | - | 540 |3625 | 540 | 438 | 47 | 64k|5161 | 0.000000e+00 | -- | Inf
96.91/96.99 c 97.0s|180000 | 76 | 1078k| 6.0 |7589k| 65 | 29 | 540 |3624 | 540 | 438 | 47 | 64k|5293 | 0.000000e+00 | -- | Inf
102.89/102.99 c 103s|190000 | 68 | 1177k| 6.2 |7603k| 65 | 36 | 540 |3678 | 540 | 438 | 47 | 65k|5462 | 0.000000e+00 | -- | Inf
109.19/109.21 c 109s|200000 | 82 | 1283k| 6.4 |7640k| 65 | 30 | 540 |3715 | 540 | 438 | 47 | 65k|5605 | 0.000000e+00 | -- | Inf
115.39/115.48 c 115s|210000 | 66 | 1390k| 6.6 |7593k| 65 | - | 540 |3652 | 540 | 438 | 47 | 65k|5800 | 0.000000e+00 | -- | Inf
121.69/121.75 c 122s|220000 | 66 | 1499k| 6.8 |7559k| 65 | - | 540 |3564 | 540 | 438 | 47 | 65k|5949 | 0.000000e+00 | -- | Inf
127.99/128.00 c 128s|230000 | 86 | 1607k| 7.0 |7600k| 65 | - | 540 |3574 | 540 | 438 | 47 | 65k|6091 | 0.000000e+00 | -- | Inf
134.20/134.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
134.20/134.23 c 134s|240000 | 80 | 1714k| 7.1 |7595k| 65 | 36 | 540 |3575 | 540 | 438 | 47 | 65k|6228 | 0.000000e+00 | -- | Inf
140.50/140.57 c 141s|250000 | 82 | 1828k| 7.3 |7605k| 65 | 31 | 540 |3606 | 540 | 438 | 47 | 65k|6366 | 0.000000e+00 | -- | Inf
147.40/147.50 c 148s|260000 | 65 | 1937k| 7.4 |7567k| 65 | - | 540 |3468 | 540 | 438 | 47 | 65k|7391 | 0.000000e+00 | -- | Inf
153.79/153.82 c 154s|270000 | 64 | 2020k| 7.5 |7828k| 65 | - | 540 |4071 | 540 | 438 | 47 | 67k|8373 | 0.000000e+00 | -- | Inf
159.61/159.64 c 160s|280000 | 64 | 2109k| 7.5 |8106k| 65 | - | 540 |4802 | 540 | 438 | 47 | 68k|8693 | 0.000000e+00 | -- | Inf
165.12/165.19 c 165s|290000 | 73 | 2192k| 7.6 |8264k| 65 | - | 540 |5150 | 540 | 438 | 47 | 69k|8852 | 0.000000e+00 | -- | Inf
170.61/170.68 c 171s|300000 | 75 | 2279k| 7.6 |8257k| 65 | 14 | 540 |5095 | 540 | 438 | 47 | 69k|9044 | 0.000000e+00 | -- | Inf
175.59/175.61 c 176s|310000 | 68 | 2339k| 7.5 |7679k| 65 | - | 540 |3516 | 540 | 438 | 47 | 69k|9170 | 0.000000e+00 | -- | Inf
180.51/180.53 c 181s|320000 | 78 | 2399k| 7.5 |7670k| 65 | - | 540 |3417 | 540 | 438 | 47 | 70k|9197 | 0.000000e+00 | -- | Inf
185.60/185.62 c 186s|330000 | 130 | 2461k| 7.5 |7947k| 65 | 12 | 540 |3838 | 540 | 438 | 47 | 72k|9201 | 0.000000e+00 | -- | Inf
190.70/190.78 c 191s|340000 | 90 | 2523k| 7.4 |8079k| 65 | - | 540 |4440 | 540 | 438 | 47 | 74k|9332 | 0.000000e+00 | -- | Inf
196.09/196.19 c 196s|350000 | 82 | 2586k| 7.4 |8801k| 65 | - | 540 |6261 | 540 | 438 | 47 | 77k|9424 | 0.000000e+00 | -- | Inf
201.30/201.38 c 201s|360000 | 89 | 2662k| 7.4 |8518k| 65 | - | 540 |5421 | 540 | 438 | 47 | 77k|9535 | 0.000000e+00 | -- | Inf
206.40/206.45 c 206s|370000 | 97 | 2742k| 7.4 |8530k| 65 | 28 | 540 |5421 | 540 | 438 | 47 | 77k|9622 | 0.000000e+00 | -- | Inf
211.50/211.59 c 212s|380000 | 93 | 2817k| 7.4 |8524k| 67 | 29 | 540 |5420 | 540 | 438 | 47 | 77k|9676 | 0.000000e+00 | -- | Inf
216.60/216.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
216.60/216.66 c 217s|390000 | 93 | 2891k| 7.4 |8235k| 67 | - | 540 |4609 | 540 | 438 | 47 | 77k|9749 | 0.000000e+00 | -- | Inf
221.70/221.79 c 222s|400000 | 91 | 2968k| 7.4 |8063k| 67 | - | 540 |4139 | 540 | 438 | 47 | 77k|9855 | 0.000000e+00 | -- | Inf
226.40/226.40 c 226s|410000 | 99 | 3029k| 7.4 |8097k| 67 | - | 540 |4171 | 540 | 438 | 47 | 78k|9922 | 0.000000e+00 | -- | Inf
230.79/230.85 c 231s|420000 | 111 | 3075k| 7.3 |8120k| 67 | - | 540 |4169 | 540 | 438 | 47 | 78k|9968 | 0.000000e+00 | -- | Inf
235.00/235.08 c 235s|430000 | 107 | 3113k| 7.2 |8100k| 67 | 17 | 540 |4137 | 540 | 438 | 47 | 78k|9994 | 0.000000e+00 | -- | Inf
239.49/239.50 c 239s|440000 | 91 | 3156k| 7.2 |8077k| 67 | - | 540 |4150 | 540 | 438 | 47 | 78k| 10k| 0.000000e+00 | -- | Inf
243.99/244.09 c 244s|450000 | 95 | 3203k| 7.1 |8091k| 67 | 17 | 540 |4180 | 540 | 438 | 47 | 78k| 10k| 0.000000e+00 | -- | Inf
248.40/248.45 c 248s|460000 | 120 | 3243k| 7.0 |8165k| 67 | - | 540 |4265 | 540 | 438 | 47 | 79k| 10k| 0.000000e+00 | -- | Inf
252.69/252.78 c 253s|470000 | 105 | 3282k| 7.0 |8157k| 67 | 13 | 540 |4285 | 540 | 438 | 47 | 79k| 10k| 0.000000e+00 | -- | Inf
257.30/257.31 c 257s|480000 | 108 | 3323k| 6.9 |8221k| 67 | - | 540 |4407 | 540 | 438 | 47 | 80k| 10k| 0.000000e+00 | -- | Inf
261.69/261.79 c 262s|490000 | 98 | 3366k| 6.9 |8183k| 67 | 15 | 540 |4355 | 540 | 438 | 47 | 80k| 10k| 0.000000e+00 | -- | Inf
266.39/266.40 c 266s|500000 | 90 | 3412k| 6.8 |8142k| 67 | - | 540 |4291 | 540 | 438 | 47 | 81k| 10k| 0.000000e+00 | -- | Inf
270.79/270.84 c 271s|510000 | 95 | 3454k| 6.8 |8150k| 68 | - | 540 |4284 | 540 | 438 | 47 | 81k| 10k| 0.000000e+00 | -- | Inf
275.39/275.41 c 275s|520000 | 123 | 3510k| 6.7 |8167k| 68 | - | 540 |4241 | 540 | 438 | 47 | 81k| 10k| 0.000000e+00 | -- | Inf
279.99/280.07 c 280s|530000 | 93 | 3582k| 6.8 |8120k| 70 | 22 | 540 |4234 | 540 | 438 | 47 | 81k| 10k| 0.000000e+00 | -- | Inf
284.90/285.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
284.90/285.00 c 285s|540000 | 91 | 3660k| 6.8 |8090k| 70 | 29 | 540 |4177 | 540 | 438 | 47 | 81k| 10k| 0.000000e+00 | -- | Inf
290.40/290.43 c 290s|550000 | 87 | 3754k| 6.8 |8089k| 70 | - | 540 |4176 | 540 | 438 | 47 | 81k| 10k| 0.000000e+00 | -- | Inf
296.19/296.24 c 296s|560000 | 79 | 3852k| 6.9 |7981k| 70 | - | 540 |3965 | 540 | 438 | 47 | 81k| 10k| 0.000000e+00 | -- | Inf
301.58/301.61 c 302s|570000 | 71 | 3939k| 6.9 |7940k| 70 | - | 540 |3888 | 540 | 438 | 47 | 81k| 11k| 0.000000e+00 | -- | Inf
306.49/306.56 c 307s|580000 | 83 | 4012k| 6.9 |7957k| 70 | 22 | 540 |3887 | 540 | 438 | 47 | 81k| 11k| 0.000000e+00 | -- | Inf
311.69/311.77 c 312s|590000 | 83 | 4091k| 6.9 |7967k| 73 | 26 | 540 |3891 | 540 | 438 | 47 | 81k| 11k| 0.000000e+00 | -- | Inf
316.79/316.90 c 317s|600000 | 91 | 4167k| 6.9 |7976k| 73 | - | 540 |3905 | 540 | 438 | 47 | 81k| 11k| 0.000000e+00 | -- | Inf
322.29/322.36 c 322s|610000 | 73 | 4252k| 7.0 |7968k| 75 | 30 | 540 |3967 | 540 | 438 | 47 | 82k| 11k| 0.000000e+00 | -- | Inf
327.80/327.83 c 328s|620000 | 79 | 4341k| 7.0 |7960k| 75 | 28 | 540 |3913 | 540 | 438 | 47 | 82k| 11k| 0.000000e+00 | -- | Inf
332.99/333.09 c 333s|630000 | 89 | 4422k| 7.0 |7982k| 75 | 34 | 540 |3931 | 540 | 438 | 47 | 82k| 11k| 0.000000e+00 | -- | Inf
338.19/338.25 c 338s|640000 | 75 | 4500k| 7.0 |7989k| 75 | - | 540 |3966 | 540 | 438 | 47 | 82k| 11k| 0.000000e+00 | -- | Inf
343.99/344.04 c 344s|650000 | 89 | 4607k| 7.1 |8007k| 75 | 31 | 540 |3946 | 540 | 438 | 47 | 82k| 11k| 0.000000e+00 | -- | Inf
349.49/349.59 c 350s|660000 | 67 | 4692k| 7.1 |7742k| 75 | 12 | 540 |3449 | 540 | 438 | 47 | 82k| 11k| 0.000000e+00 | -- | Inf
354.49/354.59 c 355s|670000 | 53 | 4759k| 7.1 |7702k| 75 | 30 | 540 |3388 | 540 | 438 | 47 | 82k| 11k| 0.000000e+00 | -- | Inf
360.49/360.57 c 361s|680000 | 59 | 4846k| 7.1 |7609k| 75 | 23 | 540 |3115 | 540 | 438 | 47 | 82k| 12k| 0.000000e+00 | -- | Inf
365.49/365.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
365.49/365.50 c 365s|690000 | 60 | 4917k| 7.1 |7761k| 75 | 20 | 540 |3377 | 540 | 438 | 47 | 84k| 12k| 0.000000e+00 | -- | Inf
370.81/370.89 c 371s|700000 | 52 | 4994k| 7.1 |7812k| 75 | 20 | 540 |3453 | 540 | 438 | 47 | 87k| 12k| 0.000000e+00 | -- | Inf
376.20/376.26 c 376s|710000 | 56 | 5072k| 7.1 |8077k| 75 | - | 540 |4107 | 540 | 438 | 47 | 88k| 13k| 0.000000e+00 | -- | Inf
381.59/381.67 c 382s|720000 | 74 | 5148k| 7.1 |7396k| 75 | - | 540 |2221 | 540 | 438 | 47 | 89k| 13k| 0.000000e+00 | -- | Inf
386.59/386.62 c 387s|730000 | 64 | 5219k| 7.1 |7369k| 75 | - | 540 |2192 | 540 | 438 | 47 | 90k| 13k| 0.000000e+00 | -- | Inf
391.49/391.57 c 392s|740000 | 90 | 5298k| 7.2 |7372k| 75 | 16 | 540 |2091 | 540 | 438 | 47 | 90k| 13k| 0.000000e+00 | -- | Inf
396.59/396.67 c 397s|750000 | 86 | 5383k| 7.2 |7365k| 75 | 20 | 540 |2091 | 540 | 438 | 47 | 90k| 13k| 0.000000e+00 | -- | Inf
401.39/401.42 c 401s|760000 | 82 | 5459k| 7.2 |7373k| 75 | - | 540 |2112 | 540 | 438 | 47 | 90k| 13k| 0.000000e+00 | -- | Inf
406.19/406.21 c 406s|770000 | 72 | 5531k| 7.2 |7295k| 75 | 21 | 540 |1965 | 540 | 438 | 47 | 91k| 13k| 0.000000e+00 | -- | Inf
411.40/411.47 c 411s|780000 | 58 | 5611k| 7.2 |7367k| 75 | 22 | 540 |2209 | 540 | 438 | 47 | 91k| 13k| 0.000000e+00 | -- | Inf
416.39/416.48 c 416s|790000 | 62 | 5684k| 7.2 |7360k| 75 | 13 | 540 |2156 | 540 | 438 | 47 | 92k| 13k| 0.000000e+00 | -- | Inf
420.99/421.08 c 421s|800000 | 72 | 5751k| 7.2 |7372k| 75 | 20 | 540 |2148 | 540 | 438 | 47 | 92k| 13k| 0.000000e+00 | -- | Inf
425.49/425.59 c 426s|810000 | 60 | 5816k| 7.2 |7381k| 75 | - | 540 |2204 | 540 | 438 | 47 | 92k| 13k| 0.000000e+00 | -- | Inf
430.29/430.30 c 430s|820000 | 54 | 5885k| 7.2 |7370k| 75 | - | 540 |2200 | 540 | 438 | 47 | 92k| 14k| 0.000000e+00 | -- | Inf
435.40/435.41 c 435s|830000 | 64 | 5968k| 7.2 |7291k| 75 | - | 540 |1964 | 540 | 438 | 47 | 92k| 14k| 0.000000e+00 | -- | Inf
440.79/440.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
440.79/440.87 c 441s|840000 | 84 | 6066k| 7.2 |7322k| 75 | 25 | 540 |1965 | 540 | 438 | 47 | 92k| 14k| 0.000000e+00 | -- | Inf
446.40/446.44 c 446s|850000 | 90 | 6168k| 7.3 |7328k| 75 | 20 | 540 |1965 | 540 | 438 | 47 | 92k| 14k| 0.000000e+00 | -- | Inf
451.89/451.94 c 452s|860000 | 80 | 6267k| 7.3 |7324k| 75 | 22 | 540 |1965 | 540 | 438 | 47 | 92k| 14k| 0.000000e+00 | -- | Inf
457.39/457.44 c 457s|870000 | 58 | 6365k| 7.3 |7282k| 75 | 29 | 540 |1971 | 540 | 438 | 47 | 92k| 14k| 0.000000e+00 | -- | Inf
462.20/462.27 c 462s|880000 | 64 | 6440k| 7.3 |7240k| 75 | - | 540 |1855 | 540 | 438 | 47 | 92k| 14k| 0.000000e+00 | -- | Inf
467.70/467.79 c 468s|890000 | 74 | 6534k| 7.3 |7162k| 75 | - | 540 |1587 | 540 | 438 | 47 | 92k| 14k| 0.000000e+00 | -- | Inf
472.89/472.97 c 473s|900000 | 79 | 6616k| 7.3 |7253k| 75 | - | 540 |1791 | 540 | 438 | 47 | 93k| 14k| 0.000000e+00 | -- | Inf
477.59/477.63 c 478s|910000 | 78 | 6686k| 7.3 |7256k| 75 | - | 540 |1831 | 540 | 438 | 47 | 93k| 14k| 0.000000e+00 | -- | Inf
482.29/482.33 c 482s|920000 | 86 | 6758k| 7.3 |7264k| 75 | 29 | 540 |1829 | 540 | 438 | 47 | 93k| 15k| 0.000000e+00 | -- | Inf
487.30/487.37 c 487s|930000 | 62 | 6837k| 7.4 |7239k| 75 | 20 | 540 |1850 | 540 | 438 | 47 | 93k| 15k| 0.000000e+00 | -- | Inf
492.69/492.79 c 493s|940000 | 75 | 6929k| 7.4 |7358k| 75 | 20 | 540 |2094 | 540 | 438 | 47 | 94k| 15k| 0.000000e+00 | -- | Inf
497.90/497.94 c 498s|950000 | 77 | 7016k| 7.4 |7392k| 75 | 20 | 540 |2164 | 540 | 438 | 47 | 94k| 15k| 0.000000e+00 | -- | Inf
503.20/503.21 c 503s|960000 | 62 | 7106k| 7.4 |7295k| 75 | 13 | 540 |2011 | 540 | 438 | 47 | 94k| 15k| 0.000000e+00 | -- | Inf
507.80/507.87 c 508s|970000 | 64 | 7178k| 7.4 |7306k| 75 | - | 540 |2025 | 540 | 438 | 47 | 94k| 15k| 0.000000e+00 | -- | Inf
512.72/512.73 c 513s|980000 | 72 | 7247k| 7.4 |7322k| 75 | - | 540 |2024 | 540 | 438 | 47 | 94k| 15k| 0.000000e+00 | -- | Inf
517.69/517.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
517.69/517.76 c 518s|990000 | 70 | 7313k| 7.4 |7308k| 75 | 37 | 540 |2004 | 540 | 438 | 47 | 95k| 16k| 0.000000e+00 | -- | Inf
522.30/522.37 c 522s| 1000k| 80 | 7366k| 7.4 |7424k| 75 | - | 540 |2214 | 540 | 438 | 47 | 95k| 16k| 0.000000e+00 | -- | Inf
526.90/526.97 c 527s| 1010k| 70 | 7417k| 7.3 |7409k| 75 | 12 | 540 |2211 | 540 | 438 | 47 | 96k| 16k| 0.000000e+00 | -- | Inf
531.60/531.62 c 532s| 1020k| 84 | 7470k| 7.3 |7475k| 75 | - | 540 |2333 | 540 | 438 | 47 | 97k| 16k| 0.000000e+00 | -- | Inf
536.29/536.35 c 536s| 1030k| 82 | 7526k| 7.3 |7535k| 75 | 17 | 540 |2457 | 540 | 438 | 47 | 98k| 16k| 0.000000e+00 | -- | Inf
541.21/541.26 c 541s| 1040k| 62 | 7590k| 7.3 |7382k| 75 | - | 540 |2227 | 540 | 438 | 47 | 99k| 16k| 0.000000e+00 | -- | Inf
546.10/546.13 c 546s| 1050k| 65 | 7640k| 7.3 |8237k| 75 | 36 | 540 |4322 | 540 | 438 | 47 | 101k| 16k| 0.000000e+00 | -- | Inf
550.89/550.98 c 551s| 1060k| 59 | 7690k| 7.3 |8446k| 75 | - | 540 |4706 | 540 | 438 | 47 | 103k| 16k| 0.000000e+00 | -- | Inf
555.89/555.95 c 556s| 1070k| 70 | 7762k| 7.3 |8058k| 75 | 20 | 540 |3621 | 540 | 438 | 47 | 104k| 16k| 0.000000e+00 | -- | Inf
560.70/560.79 c 561s| 1080k| 91 | 7835k| 7.3 |8099k| 75 | - | 540 |3632 | 540 | 438 | 47 | 104k| 16k| 0.000000e+00 | -- | Inf
566.00/566.06 c 566s| 1090k| 79 | 7919k| 7.3 |8077k| 75 | 24 | 540 |3624 | 540 | 438 | 47 | 104k| 16k| 0.000000e+00 | -- | Inf
571.60/571.63 c 572s| 1100k| 87 | 8020k| 7.3 |8095k| 75 | - | 540 |3637 | 540 | 438 | 47 | 104k| 16k| 0.000000e+00 | -- | Inf
576.90/576.97 c 577s| 1110k| 69 | 8109k| 7.3 |7879k| 75 | 14 | 540 |3150 | 540 | 438 | 47 | 104k| 16k| 0.000000e+00 | -- | Inf
581.50/581.54 c 582s| 1120k| 95 | 8161k| 7.3 |7907k| 75 | - | 540 |3088 | 540 | 438 | 47 | 104k| 16k| 0.000000e+00 | -- | Inf
586.50/586.59 c 587s| 1130k| 63 | 8236k| 7.3 |7866k| 75 | - | 540 |3102 | 540 | 438 | 47 | 104k| 16k| 0.000000e+00 | -- | Inf
591.60/591.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
591.60/591.69 c 592s| 1140k| 65 | 8316k| 7.3 |7878k| 75 | 18 | 540 |3128 | 540 | 438 | 47 | 105k| 16k| 0.000000e+00 | -- | Inf
596.50/596.51 c 597s| 1150k| 135 | 8376k| 7.3 |8076k| 75 | 23 | 540 |3340 | 540 | 438 | 47 | 106k| 17k| 0.000000e+00 | -- | Inf
601.09/601.19 c 601s| 1160k| 153 | 8425k| 7.3 |8171k| 75 | 24 | 540 |3432 | 540 | 438 | 47 | 107k| 17k| 0.000000e+00 | -- | Inf
605.80/605.86 c 606s| 1170k| 145 | 8473k| 7.2 |8150k| 75 | - | 540 |3387 | 540 | 438 | 47 | 108k| 17k| 0.000000e+00 | -- | Inf
610.51/610.58 c 611s| 1180k| 77 | 8523k| 7.2 |7998k| 75 | 16 | 540 |3355 | 540 | 438 | 47 | 109k| 17k| 0.000000e+00 | -- | Inf
615.30/615.37 c 615s| 1190k| 79 | 8576k| 7.2 |8073k| 75 | - | 540 |3518 | 540 | 438 | 47 | 110k| 17k| 0.000000e+00 | -- | Inf
620.00/620.05 c 620s| 1200k| 110 | 8629k| 7.2 |8129k| 75 | 22 | 540 |3510 | 540 | 438 | 47 | 111k| 17k| 0.000000e+00 | -- | Inf
624.70/624.77 c 625s| 1210k| 110 | 8680k| 7.2 |8204k| 75 | - | 540 |3678 | 540 | 438 | 47 | 113k| 17k| 0.000000e+00 | -- | Inf
629.50/629.53 c 630s| 1220k| 102 | 8732k| 7.2 |8185k| 75 | - | 540 |3687 | 540 | 438 | 47 | 114k| 17k| 0.000000e+00 | -- | Inf
634.21/634.22 c 634s| 1230k| 136 | 8784k| 7.1 |8236k| 75 | - | 540 |3725 | 540 | 438 | 47 | 115k| 17k| 0.000000e+00 | -- | Inf
638.90/638.93 c 639s| 1240k| 75 | 8836k| 7.1 |8163k| 75 | 12 | 540 |3744 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
644.10/644.10 c 644s| 1250k| 74 | 8909k| 7.1 |7957k| 75 | - | 540 |3264 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
649.12/649.15 c 649s| 1260k| 86 | 8988k| 7.1 |7976k| 75 | 19 | 540 |3270 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
654.11/654.16 c 654s| 1270k| 80 | 9065k| 7.1 |7966k| 75 | - | 540 |3271 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
659.20/659.28 c 659s| 1280k| 74 | 9145k| 7.1 |7951k| 75 | 18 | 540 |3271 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
664.31/664.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
664.31/664.37 c 664s| 1290k| 68 | 9225k| 7.2 |7954k| 75 | - | 540 |3273 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
669.30/669.31 c 669s| 1300k| 74 | 9299k| 7.2 |7966k| 75 | - | 540 |3274 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
674.20/674.30 c 674s| 1310k| 74 | 9371k| 7.2 |7957k| 75 | 25 | 540 |3274 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
679.30/679.32 c 679s| 1320k| 80 | 9442k| 7.2 |7967k| 75 | 24 | 540 |3274 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
684.32/684.32 c 684s| 1330k| 76 | 9518k| 7.2 |7961k| 75 | 20 | 540 |3274 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
689.30/689.39 c 689s| 1340k| 66 | 9600k| 7.2 |7948k| 75 | - | 540 |3274 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
694.50/694.53 c 695s| 1350k| 60 | 9682k| 7.2 |7960k| 75 | - | 540 |3326 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
699.40/699.49 c 699s| 1360k| 69 | 9748k| 7.2 |7710k| 75 | 20 | 540 |2667 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
703.71/703.79 c 704s| 1370k| 117 | 9799k| 7.2 |7804k| 75 | 14 | 540 |2684 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
707.60/707.63 c 708s| 1380k| 115 | 9827k| 7.1 |7829k| 75 | 18 | 540 |2690 | 540 | 438 | 47 | 117k| 17k| 0.000000e+00 | -- | Inf
711.40/711.49 c 711s| 1390k| 105 | 9854k| 7.1 |7812k| 75 | - | 540 |2690 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
715.50/715.57 c 716s| 1400k| 107 | 9892k| 7.1 |7794k| 75 | 20 | 540 |2691 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
719.52/719.55 c 720s| 1410k| 113 | 9927k| 7.0 |7804k| 75 | 14 | 540 |2685 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
723.41/723.49 c 723s| 1420k| 127 | 9960k| 7.0 |7824k| 75 | 16 | 540 |2685 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
727.41/727.45 c 727s| 1430k| 137 | 9994k| 7.0 |7861k| 75 | 14 | 540 |2685 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
731.40/731.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
731.40/731.45 c 731s| 1440k| 173 | 10029k| 7.0 |7934k| 75 | 16 | 540 |2685 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
735.31/735.38 c 735s| 1450k| 129 | 10062k| 6.9 |7858k| 76 | 19 | 540 |2685 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
739.21/739.30 c 739s| 1460k| 99 | 10096k| 6.9 |7791k| 79 | 14 | 540 |2685 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
743.21/743.28 c 743s| 1470k| 121 | 10130k| 6.9 |7792k| 79 | 17 | 540 |2685 | 540 | 438 | 47 | 117k| 18k| 0.000000e+00 | -- | Inf
747.51/747.58 c 748s| 1480k| 80 | 10180k| 6.9 |7789k| 79 | 20 | 540 |2748 | 540 | 438 | 47 | 118k| 18k| 0.000000e+00 | -- | Inf
751.90/751.93 c 752s| 1490k| 77 | 10234k| 6.9 |7772k| 79 | - | 540 |2742 | 540 | 438 | 47 | 119k| 18k| 0.000000e+00 | -- | Inf
756.31/756.31 c 756s| 1500k| 89 | 10287k| 6.9 |7805k| 79 | - | 540 |2773 | 540 | 438 | 47 | 120k| 18k| 0.000000e+00 | -- | Inf
761.21/761.28 c 761s| 1510k| 57 | 10355k| 6.9 |7539k| 79 | 14 | 540 |2236 | 540 | 438 | 47 | 120k| 18k| 0.000000e+00 | -- | Inf
766.61/766.60 c 767s| 1520k| 60 | 10436k| 6.9 |7427k| 79 | - | 540 |1924 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
771.70/771.73 c 772s| 1530k| 62 | 10512k| 6.9 |7358k| 79 | 29 | 540 |1740 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
777.61/777.60 c 778s| 1540k| 78 | 10617k| 6.9 |7353k| 79 | - | 540 |1686 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
782.80/782.88 c 783s| 1550k| 80 | 10701k| 6.9 |7381k| 79 | 21 | 540 |1719 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
788.21/788.27 c 788s| 1560k| 82 | 10792k| 6.9 |7385k| 79 | - | 540 |1719 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
793.31/793.33 c 793s| 1570k| 86 | 10873k| 6.9 |7391k| 79 | 23 | 540 |1719 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
798.41/798.49 c 798s| 1580k| 76 | 10956k| 6.9 |7375k| 79 | - | 540 |1720 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
803.40/803.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
803.40/803.41 c 803s| 1590k| 76 | 11033k| 6.9 |7379k| 79 | 21 | 540 |1727 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
808.31/808.39 c 808s| 1600k| 78 | 11109k| 6.9 |7384k| 79 | - | 540 |1729 | 540 | 438 | 47 | 121k| 18k| 0.000000e+00 | -- | Inf
813.41/813.43 c 813s| 1610k| 80 | 11186k| 6.9 |7386k| 79 | 28 | 540 |1734 | 540 | 438 | 47 | 121k| 19k| 0.000000e+00 | -- | Inf
818.42/818.41 c 818s| 1620k| 82 | 11257k| 6.9 |7421k| 79 | - | 540 |1799 | 540 | 438 | 47 | 121k| 19k| 0.000000e+00 | -- | Inf
823.71/823.79 c 824s| 1630k| 80 | 11349k| 7.0 |7414k| 79 | 29 | 540 |1798 | 540 | 438 | 47 | 121k| 19k| 0.000000e+00 | -- | Inf
829.01/829.05 c 829s| 1640k| 80 | 11436k| 7.0 |7423k| 79 | - | 540 |1798 | 540 | 438 | 47 | 121k| 19k| 0.000000e+00 | -- | Inf
834.21/834.21 c 834s| 1650k| 69 | 11511k| 7.0 |7419k| 79 | - | 540 |1837 | 540 | 438 | 47 | 121k| 19k| 0.000000e+00 | -- | Inf
839.11/839.19 c 839s| 1660k| 83 | 11579k| 7.0 |7514k| 79 | 34 | 540 |2031 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
843.91/843.97 c 844s| 1670k| 97 | 11643k| 7.0 |7542k| 79 | - | 540 |2032 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
848.81/848.86 c 849s| 1680k| 87 | 11708k| 7.0 |7536k| 79 | 23 | 540 |2073 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
853.21/853.25 c 853s| 1690k| 91 | 11750k| 7.0 |7556k| 79 | - | 540 |2085 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
857.51/857.53 c 858s| 1700k| 105 | 11789k| 6.9 |7580k| 79 | - | 540 |2086 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
861.80/861.85 c 862s| 1710k| 109 | 11830k| 6.9 |7580k| 79 | - | 540 |2086 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
866.11/866.15 c 866s| 1720k| 99 | 11872k| 6.9 |7578k| 81 | 27 | 540 |2093 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
870.23/870.27 c 870s| 1730k| 99 | 11910k| 6.9 |7580k| 81 | 23 | 540 |2091 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
874.41/874.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
874.41/874.49 c 874s| 1740k| 90 | 11951k| 6.9 |7571k| 83 | 21 | 540 |2116 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
879.41/879.43 c 879s| 1750k| 75 | 12018k| 6.9 |7470k| 83 | 30 | 540 |1915 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
884.53/884.53 c 885s| 1760k| 82 | 12095k| 6.9 |7467k| 83 | - | 540 |1915 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
889.71/889.75 c 890s| 1770k| 78 | 12178k| 6.9 |7462k| 83 | - | 540 |1915 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
894.91/894.98 c 895s| 1780k| 76 | 12263k| 6.9 |7459k| 83 | 17 | 540 |1915 | 540 | 438 | 47 | 122k| 19k| 0.000000e+00 | -- | Inf
900.11/900.15 c 900s| 1790k| 73 | 12337k| 6.9 |7540k| 83 | 24 | 540 |2143 | 540 | 438 | 47 | 123k| 19k| 0.000000e+00 | -- | Inf
905.21/905.27 c 905s| 1800k| 53 | 12409k| 6.9 |7438k| 83 | 45 | 540 |1977 | 540 | 438 | 47 | 123k| 19k| 0.000000e+00 | -- | Inf
913.71/913.76 c 914s| 1810k| 61 | 12463k| 6.9 |7247k| 83 | 24 | 540 |1434 | 540 | 438 | 47 | 123k| 25k| 0.000000e+00 | -- | Inf
918.63/918.64 c 919s| 1820k| 81 | 12514k| 6.9 |7284k| 83 | - | 540 |1434 | 540 | 438 | 47 | 123k| 25k| 0.000000e+00 | -- | Inf
923.41/923.41 c 923s| 1830k| 63 | 12564k| 6.9 |7258k| 83 | - | 540 |1434 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
928.11/928.18 c 928s| 1840k| 73 | 12613k| 6.9 |7240k| 83 | - | 540 |1337 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
932.41/932.47 c 932s| 1850k| 69 | 12658k| 6.8 |7229k| 83 | 15 | 540 |1332 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
936.71/936.79 c 937s| 1860k| 83 | 12706k| 6.8 |7248k| 83 | - | 540 |1332 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
941.01/941.02 c 941s| 1870k| 71 | 12752k| 6.8 |7240k| 83 | - | 540 |1332 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
945.22/945.20 c 945s| 1880k| 71 | 12794k| 6.8 |7233k| 83 | - | 540 |1332 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
949.51/949.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
949.51/949.50 c 950s| 1890k| 67 | 12841k| 6.8 |7216k| 83 | 20 | 540 |1321 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
953.83/953.83 c 954s| 1900k| 69 | 12887k| 6.8 |7230k| 83 | - | 540 |1327 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
958.01/958.08 c 958s| 1910k| 69 | 12933k| 6.8 |7224k| 83 | 20 | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
962.22/962.27 c 962s| 1920k| 83 | 12978k| 6.8 |7249k| 83 | - | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
966.41/966.45 c 966s| 1930k| 89 | 13023k| 6.7 |7262k| 83 | 20 | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
970.61/970.69 c 971s| 1940k| 83 | 13069k| 6.7 |7251k| 83 | 21 | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
974.91/974.96 c 975s| 1950k| 89 | 13116k| 6.7 |7255k| 83 | 20 | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
979.13/979.16 c 979s| 1960k| 77 | 13161k| 6.7 |7239k| 83 | 19 | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
983.31/983.37 c 983s| 1970k| 69 | 13205k| 6.7 |7230k| 83 | - | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
987.52/987.60 c 988s| 1980k| 69 | 13250k| 6.7 |7231k| 83 | - | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
991.81/991.84 c 992s| 1990k| 61 | 13295k| 6.7 |7220k| 83 | - | 540 |1324 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
996.42/996.40 c 996s| 2000k| 73 | 13347k| 6.7 |7232k| 83 | - | 540 |1326 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1000.82/1000.81 c 1001s| 2010k| 69 | 13395k| 6.7 |7227k| 83 | 14 | 540 |1326 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1005.32/1005.34 c 1005s| 2020k| 83 | 13444k| 6.7 |7244k| 83 | - | 540 |1310 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1009.71/1009.78 c 1010s| 2030k| 85 | 13494k| 6.6 |7245k| 83 | - | 540 |1305 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1014.12/1014.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1014.12/1014.21 c 1014s| 2040k| 83 | 13543k| 6.6 |7249k| 83 | 21 | 540 |1304 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1018.51/1018.60 c 1019s| 2050k| 83 | 13590k| 6.6 |7249k| 83 | 24 | 540 |1314 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1022.92/1022.92 c 1023s| 2060k| 95 | 13636k| 6.6 |7268k| 83 | 16 | 540 |1319 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1027.21/1027.29 c 1027s| 2070k| 83 | 13681k| 6.6 |7258k| 83 | - | 540 |1320 | 540 | 438 | 47 | 123k| 26k| 0.000000e+00 | -- | Inf
1032.01/1032.06 c 1032s| 2080k| 87 | 13734k| 6.6 |7266k| 83 | 22 | 540 |1327 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1036.52/1036.51 c 1037s| 2090k| 119 | 13786k| 6.6 |7324k| 83 | - | 540 |1327 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1040.82/1040.87 c 1041s| 2100k| 109 | 13833k| 6.6 |7300k| 83 | 20 | 540 |1327 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1045.21/1045.21 c 1045s| 2110k| 117 | 13879k| 6.6 |7312k| 83 | 22 | 540 |1327 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1049.61/1049.60 c 1050s| 2120k| 107 | 13928k| 6.6 |7313k| 83 | - | 540 |1343 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1054.12/1054.16 c 1054s| 2130k| 113 | 13989k| 6.6 |7338k| 83 | 24 | 540 |1367 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1058.62/1058.62 c 1059s| 2140k| 115 | 14040k| 6.6 |7330k| 83 | 18 | 540 |1345 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1063.12/1063.11 c 1063s| 2150k| 125 | 14093k| 6.6 |7343k| 83 | - | 540 |1328 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1067.61/1067.60 c 1068s| 2160k| 129 | 14146k| 6.5 |7365k| 83 | - | 540 |1335 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1072.01/1072.02 c 1072s| 2170k| 149 | 14195k| 6.5 |7393k| 83 | 19 | 540 |1335 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1076.52/1076.54 c 1077s| 2180k| 133 | 14254k| 6.5 |7381k| 83 | - | 540 |1351 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1080.92/1080.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1080.92/1080.97 c 1081s| 2190k| 99 | 14305k| 6.5 |7334k| 83 | 14 | 540 |1371 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1085.42/1085.41 c 1085s| 2200k| 99 | 14354k| 6.5 |7314k| 83 | 26 | 540 |1350 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1089.81/1089.87 c 1090s| 2210k| 117 | 14405k| 6.5 |7345k| 83 | 29 | 540 |1355 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1094.32/1094.32 c 1094s| 2220k| 101 | 14457k| 6.5 |7330k| 83 | 32 | 540 |1358 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1098.72/1098.77 c 1099s| 2230k| 101 | 14509k| 6.5 |7336k| 83 | 19 | 540 |1359 | 540 | 438 | 47 | 123k| 27k| 0.000000e+00 | -- | Inf
1103.22/1103.23 c 1103s| 2240k| 113 | 14561k| 6.5 |7345k| 83 | - | 540 |1338 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1107.62/1107.65 c 1108s| 2250k| 151 | 14609k| 6.5 |7388k| 83 | - | 540 |1314 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1112.13/1112.12 c 1112s| 2260k| 123 | 14658k| 6.5 |7351k| 83 | - | 540 |1314 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1116.41/1116.46 c 1116s| 2270k| 147 | 14701k| 6.5 |7380k| 83 | 20 | 540 |1299 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1120.72/1120.79 c 1121s| 2280k| 137 | 14745k| 6.5 |7366k| 83 | - | 540 |1299 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1125.12/1125.15 c 1125s| 2290k| 151 | 14790k| 6.5 |7389k| 83 | 23 | 540 |1298 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1129.52/1129.58 c 1130s| 2300k| 181 | 14839k| 6.5 |7431k| 83 | - | 540 |1297 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1133.92/1133.99 c 1134s| 2310k| 167 | 14885k| 6.4 |7416k| 83 | - | 540 |1297 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1138.32/1138.37 c 1138s| 2320k| 149 | 14931k| 6.4 |7390k| 83 | - | 540 |1297 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1142.72/1142.78 c 1143s| 2330k| 135 | 14977k| 6.4 |7369k| 83 | - | 540 |1297 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1147.12/1147.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1147.12/1147.16 c 1147s| 2340k| 137 | 15023k| 6.4 |7365k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1151.52/1151.50 c 1151s| 2350k| 183 | 15070k| 6.4 |7427k| 83 | 14 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1155.92/1155.91 c 1156s| 2360k| 189 | 15119k| 6.4 |7432k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1160.22/1160.21 c 1160s| 2370k| 219 | 15161k| 6.4 |7483k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1164.52/1164.54 c 1165s| 2380k| 235 | 15205k| 6.4 |7520k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1168.92/1168.93 c 1169s| 2390k| 211 | 15252k| 6.4 |7479k| 83 | 18 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1173.22/1173.28 c 1173s| 2400k| 167 | 15297k| 6.4 |7419k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1177.62/1177.64 c 1178s| 2410k| 159 | 15343k| 6.4 |7392k| 83 | 15 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1182.02/1182.00 c 1182s| 2420k| 167 | 15387k| 6.4 |7408k| 83 | 20 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1186.32/1186.31 c 1186s| 2430k| 211 | 15430k| 6.3 |7474k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1190.72/1190.70 c 1191s| 2440k| 229 | 15477k| 6.3 |7511k| 83 | 12 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1195.22/1195.20 c 1195s| 2450k| 193 | 15528k| 6.3 |7458k| 83 | 12 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1199.62/1199.67 c 1200s| 2460k| 185 | 15578k| 6.3 |7444k| 83 | 22 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1204.03/1204.07 c 1204s| 2470k| 179 | 15626k| 6.3 |7420k| 83 | 20 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1208.53/1208.51 c 1209s| 2480k| 209 | 15679k| 6.3 |7460k| 83 | 21 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1212.82/1212.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1212.82/1212.88 c 1213s| 2490k| 219 | 15723k| 6.3 |7485k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1217.22/1217.23 c 1217s| 2500k| 227 | 15767k| 6.3 |7482k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1221.62/1221.68 c 1222s| 2510k| 225 | 15815k| 6.3 |7482k| 83 | 23 | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1226.12/1226.12 c 1226s| 2520k| 235 | 15864k| 6.3 |7501k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1230.42/1230.46 c 1230s| 2530k| 263 | 15912k| 6.3 |7541k| 83 | 16 | 540 |1297 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1234.82/1234.87 c 1235s| 2540k| 241 | 15964k| 6.3 |7513k| 83 | - | 540 |1295 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1239.22/1239.26 c 1239s| 2550k| 243 | 16019k| 6.3 |7525k| 83 | 28 | 540 |1305 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1243.62/1243.63 c 1244s| 2560k| 249 | 16070k| 6.3 |7537k| 83 | - | 540 |1297 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1247.93/1247.97 c 1248s| 2570k| 241 | 16120k| 6.3 |7516k| 83 | - | 540 |1292 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1252.32/1252.35 c 1252s| 2580k| 239 | 16171k| 6.3 |7520k| 83 | - | 540 |1290 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1256.72/1256.74 c 1257s| 2590k| 251 | 16221k| 6.3 |7538k| 83 | - | 540 |1291 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1261.12/1261.15 c 1261s| 2600k| 259 | 16270k| 6.3 |7564k| 83 | - | 540 |1296 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1265.62/1265.61 c 1266s| 2610k| 261 | 16319k| 6.3 |7574k| 83 | 19 | 540 |1296 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1270.02/1270.07 c 1270s| 2620k| 263 | 16369k| 6.2 |7572k| 83 | - | 540 |1301 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1274.42/1274.47 c 1274s| 2630k| 281 | 16420k| 6.2 |7612k| 83 | 38 | 540 |1324 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1278.93/1278.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.93/1278.90 c 1279s| 2640k| 285 | 16474k| 6.2 |7631k| 83 | - | 540 |1321 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1283.23/1283.25 c 1283s| 2650k| 317 | 16522k| 6.2 |7684k| 83 | 29 | 540 |1335 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1287.63/1287.64 c 1288s| 2660k| 311 | 16572k| 6.2 |7677k| 83 | 23 | 540 |1337 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1292.03/1292.08 c 1292s| 2670k| 315 | 16622k| 6.2 |7693k| 83 | - | 540 |1333 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1296.43/1296.47 c 1296s| 2680k| 317 | 16672k| 6.2 |7701k| 83 | - | 540 |1339 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1300.93/1300.95 c 1301s| 2690k| 323 | 16723k| 6.2 |7720k| 83 | - | 540 |1364 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1305.32/1305.39 c 1305s| 2700k| 319 | 16772k| 6.2 |7720k| 83 | 16 | 540 |1384 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1309.72/1309.78 c 1310s| 2710k| 313 | 16825k| 6.2 |7720k| 83 | 36 | 540 |1384 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1314.22/1314.28 c 1314s| 2720k| 279 | 16881k| 6.2 |7636k| 83 | 19 | 540 |1329 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1318.73/1318.70 c 1319s| 2730k| 289 | 16933k| 6.2 |7654k| 83 | - | 540 |1319 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1323.13/1323.13 c 1323s| 2740k| 293 | 16985k| 6.2 |7656k| 83 | 23 | 540 |1316 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1327.42/1327.46 c 1327s| 2750k| 305 | 17029k| 6.2 |7676k| 83 | 19 | 540 |1316 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1331.82/1331.80 c 1332s| 2760k| 315 | 17076k| 6.2 |7689k| 83 | - | 540 |1316 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1336.12/1336.15 c 1336s| 2770k| 321 | 17127k| 6.2 |7705k| 83 | 21 | 540 |1322 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1340.53/1340.52 c 1341s| 2780k| 329 | 17176k| 6.2 |7723k| 83 | 16 | 540 |1332 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1344.93/1344.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1344.93/1344.92 c 1345s| 2790k| 335 | 17226k| 6.2 |7750k| 83 | - | 540 |1338 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1349.23/1349.27 c 1349s| 2800k| 345 | 17275k| 6.2 |7762k| 83 | - | 540 |1335 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1353.63/1353.68 c 1354s| 2810k| 331 | 17329k| 6.2 |7741k| 83 | 31 | 540 |1331 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1357.93/1357.99 c 1358s| 2820k| 321 | 17380k| 6.2 |7730k| 83 | 29 | 540 |1341 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1362.32/1362.38 c 1362s| 2830k| 301 | 17434k| 6.2 |7693k| 83 | 37 | 540 |1326 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1366.62/1366.69 c 1367s| 2840k| 315 | 17481k| 6.2 |7714k| 83 | - | 540 |1324 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1370.92/1370.96 c 1371s| 2850k| 323 | 17532k| 6.2 |7753k| 83 | 18 | 540 |1361 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1375.23/1375.23 c 1375s| 2860k| 321 | 17584k| 6.1 |7751k| 83 | 20 | 540 |1337 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1379.43/1379.46 c 1379s| 2870k| 331 | 17633k| 6.1 |7765k| 83 | 21 | 540 |1337 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1383.84/1383.83 c 1384s| 2880k| 339 | 17682k| 6.1 |7770k| 83 | - | 540 |1332 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1388.13/1388.20 c 1388s| 2890k| 327 | 17730k| 6.1 |7741k| 83 | - | 540 |1316 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1392.53/1392.60 c 1393s| 2900k| 329 | 17785k| 6.1 |7746k| 83 | 28 | 540 |1326 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1397.04/1397.07 c 1397s| 2910k| 329 | 17845k| 6.1 |7750k| 83 | - | 540 |1332 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1401.33/1401.41 c 1401s| 2920k| 323 | 17896k| 6.1 |7748k| 83 | 30 | 540 |1347 | 540 | 438 | 47 | 124k| 27k| 0.000000e+00 | -- | Inf
1405.84/1405.84 c 1406s| 2930k| 327 | 17949k| 6.1 |7749k| 83 | - | 540 |1328 | 540 | 438 | 47 | 124k| 28k| 0.000000e+00 | -- | Inf
1410.03/1410.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1410.03/1410.09 c 1410s| 2940k| 323 | 17998k| 6.1 |7743k| 83 | 25 | 540 |1332 | 540 | 438 | 47 | 124k| 28k| 0.000000e+00 | -- | Inf
1414.53/1414.57 c 1415s| 2950k| 337 | 18052k| 6.1 |7770k| 83 | 25 | 540 |1323 | 540 | 438 | 47 | 124k| 28k| 0.000000e+00 | -- | Inf
1419.04/1419.06 c 1419s| 2960k| 318 | 18108k| 6.1 |7734k| 83 | - | 540 |1304 | 540 | 438 | 47 | 124k| 28k| 0.000000e+00 | -- | Inf
1423.55/1423.56 c 1424s| 2970k| 302 | 18163k| 6.1 |7725k| 83 | 19 | 540 |1326 | 540 | 438 | 47 | 124k| 28k| 0.000000e+00 | -- | Inf
1428.03/1428.01 c 1428s| 2980k| 295 | 18214k| 6.1 |7728k| 83 | 34 | 540 |1352 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1432.44/1432.43 c 1432s| 2990k| 305 | 18263k| 6.1 |7752k| 83 | - | 540 |1354 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1436.75/1436.73 c 1437s| 3000k| 309 | 18313k| 6.1 |7761k| 83 | - | 540 |1354 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1440.93/1440.99 c 1441s| 3010k| 325 | 18362k| 6.1 |7772k| 83 | 33 | 540 |1338 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1445.23/1445.28 c 1445s| 3020k| 326 | 18412k| 6.1 |7791k| 83 | - | 540 |1356 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1449.63/1449.68 c 1450s| 3030k| 330 | 18459k| 6.1 |7790k| 83 | - | 540 |1333 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1454.03/1454.00 c 1454s| 3040k| 346 | 18504k| 6.1 |7808k| 83 | 19 | 540 |1332 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1458.43/1458.41 c 1458s| 3050k| 348 | 18552k| 6.1 |7822k| 83 | - | 540 |1327 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1462.83/1462.83 c 1463s| 3060k| 364 | 18598k| 6.1 |7849k| 83 | 22 | 540 |1329 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1467.13/1467.19 c 1467s| 3070k| 378 | 18648k| 6.1 |7866k| 83 | - | 540 |1330 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1471.44/1471.45 c 1471s| 3080k| 362 | 18701k| 6.1 |7855k| 83 | - | 540 |1346 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1475.73/1475.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1475.73/1475.74 c 1476s| 3090k| 368 | 18755k| 6.1 |7863k| 83 | 24 | 540 |1352 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1480.14/1480.14 c 1480s| 3100k| 372 | 18804k| 6.1 |7887k| 83 | - | 540 |1387 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1484.53/1484.56 c 1485s| 3110k| 354 | 18859k| 6.1 |7864k| 83 | - | 540 |1385 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1489.03/1489.01 c 1489s| 3120k| 340 | 18913k| 6.1 |7828k| 83 | - | 540 |1354 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1493.43/1493.48 c 1493s| 3130k| 334 | 18965k| 6.1 |7818k| 83 | 28 | 540 |1361 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1498.03/1498.01 c 1498s| 3140k| 320 | 19017k| 6.1 |7779k| 83 | 17 | 540 |1324 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1502.43/1502.47 c 1502s| 3150k| 320 | 19066k| 6.1 |7785k| 83 | - | 540 |1318 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1506.84/1506.88 c 1507s| 3160k| 328 | 19115k| 6.0 |7795k| 83 | 16 | 540 |1330 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1511.23/1511.20 c 1511s| 3170k| 326 | 19161k| 6.0 |7798k| 83 | - | 540 |1323 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1515.54/1515.55 c 1516s| 3180k| 334 | 19208k| 6.0 |7823k| 83 | - | 540 |1354 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1519.83/1519.88 c 1520s| 3190k| 332 | 19252k| 6.0 |7829k| 83 | - | 540 |1364 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1524.24/1524.25 c 1524s| 3200k| 348 | 19301k| 6.0 |7856k| 83 | 21 | 540 |1375 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1528.64/1528.65 c 1529s| 3210k| 348 | 19353k| 6.0 |7861k| 83 | 26 | 540 |1380 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1533.04/1533.06 c 1533s| 3220k| 358 | 19404k| 6.0 |7891k| 83 | 16 | 540 |1387 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1537.43/1537.40 c 1537s| 3230k| 362 | 19449k| 6.0 |7893k| 83 | 22 | 540 |1382 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1541.73/1541.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1541.73/1541.73 c 1542s| 3240k| 370 | 19499k| 6.0 |7913k| 83 | 29 | 540 |1379 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1546.14/1546.12 c 1546s| 3250k| 370 | 19551k| 6.0 |7933k| 83 | - | 540 |1415 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1550.53/1550.53 c 1551s| 3260k| 364 | 19605k| 6.0 |7905k| 83 | - | 540 |1383 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1554.94/1554.91 c 1555s| 3270k| 360 | 19651k| 6.0 |7890k| 83 | - | 540 |1352 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1559.34/1559.31 c 1559s| 3280k| 348 | 19703k| 6.0 |7867k| 83 | 25 | 540 |1336 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1563.73/1563.71 c 1564s| 3290k| 358 | 19751k| 6.0 |7882k| 83 | 22 | 540 |1332 | 540 | 438 | 47 | 125k| 28k| 0.000000e+00 | -- | Inf
1568.14/1568.14 c 1568s| 3300k| 356 | 19799k| 6.0 |7883k| 83 | - | 540 |1331 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1572.54/1572.57 c 1573s| 3310k| 354 | 19846k| 6.0 |7872k| 83 | 24 | 540 |1330 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1576.94/1576.94 c 1577s| 3320k| 400 | 19902k| 6.0 |7944k| 83 | 22 | 540 |1345 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1581.23/1581.29 c 1581s| 3330k| 416 | 19957k| 6.0 |7972k| 83 | - | 540 |1344 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1585.74/1585.78 c 1586s| 3340k| 456 | 20008k| 6.0 |8035k| 83 | - | 540 |1332 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1590.33/1590.33 c 1590s| 3350k| 420 | 20060k| 6.0 |7981k| 83 | - | 540 |1332 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1594.74/1594.79 c 1595s| 3360k| 438 | 20109k| 6.0 |8008k| 83 | - | 540 |1332 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1599.24/1599.27 c 1599s| 3370k| 456 | 20165k| 6.0 |8022k| 83 | 21 | 540 |1333 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1603.63/1603.62 c 1604s| 3380k| 446 | 20214k| 6.0 |8020k| 83 | 29 | 540 |1333 | 540 | 438 | 47 | 125k| 29k| 0.000000e+00 | -- | Inf
1608.04/1608.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1608.04/1608.07 c 1608s| 3390k| 436 | 20266k| 6.0 |8014k| 83 | 18 | 540 |1349 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1612.43/1612.48 c 1612s| 3400k| 426 | 20319k| 6.0 |8005k| 83 | 33 | 540 |1354 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1617.05/1617.03 c 1617s| 3410k| 388 | 20373k| 6.0 |7955k| 83 | - | 540 |1346 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1621.44/1621.45 c 1621s| 3420k| 392 | 20425k| 6.0 |7966k| 83 | - | 540 |1343 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1626.04/1626.00 c 1626s| 3430k| 419 | 20481k| 6.0 |8020k| 83 | 25 | 540 |1381 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1630.35/1630.34 c 1630s| 3440k| 437 | 20525k| 6.0 |8039k| 83 | - | 540 |1365 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1634.76/1634.72 c 1635s| 3450k| 401 | 20574k| 6.0 |7999k| 83 | - | 540 |1366 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1639.16/1639.12 c 1639s| 3460k| 391 | 20622k| 6.0 |7974k| 83 | - | 540 |1350 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1643.74/1643.75 c 1644s| 3470k| 413 | 20685k| 6.0 |8001k| 83 | - | 540 |1340 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1648.13/1648.17 c 1648s| 3480k| 389 | 20743k| 6.0 |7963k| 83 | 18 | 540 |1339 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1652.64/1652.65 c 1653s| 3490k| 351 | 20798k| 6.0 |7889k| 83 | - | 540 |1329 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1657.04/1657.07 c 1657s| 3500k| 325 | 20850k| 6.0 |7832k| 83 | 20 | 540 |1310 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1661.53/1661.55 c 1662s| 3510k| 303 | 20900k| 6.0 |7802k| 83 | - | 540 |1303 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1665.94/1665.93 c 1666s| 3520k| 335 | 20952k| 6.0 |7839k| 83 | 25 | 540 |1302 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1670.24/1670.24 c 1670s| 3530k| 343 | 21003k| 5.9 |7854k| 83 | 18 | 540 |1307 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1674.54/1674.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1674.54/1674.58 c 1675s| 3540k| 357 | 21054k| 5.9 |7882k| 83 | - | 540 |1305 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1678.94/1678.97 c 1679s| 3550k| 321 | 21100k| 5.9 |7835k| 83 | - | 540 |1310 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1683.64/1683.63 c 1684s| 3560k| 299 | 21161k| 5.9 |7801k| 83 | 36 | 540 |1329 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1688.14/1688.17 c 1688s| 3570k| 305 | 21219k| 5.9 |7810k| 83 | 26 | 540 |1342 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1692.65/1692.61 c 1693s| 3580k| 315 | 21278k| 5.9 |7821k| 83 | - | 540 |1333 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1697.15/1697.17 c 1697s| 3590k| 337 | 21336k| 5.9 |7850k| 83 | - | 540 |1328 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1701.86/1701.84 c 1702s| 3600k| 315 | 21398k| 5.9 |7822k| 83 | 24 | 540 |1328 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1706.34/1706.36 c 1706s| 3610k| 287 | 21452k| 5.9 |7769k| 83 | 18 | 540 |1311 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1710.84/1710.81 c 1711s| 3620k| 291 | 21507k| 5.9 |7785k| 83 | 27 | 540 |1324 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1715.24/1715.23 c 1715s| 3630k| 291 | 21562k| 5.9 |7784k| 83 | 29 | 540 |1323 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1719.74/1719.72 c 1720s| 3640k| 279 | 21615k| 5.9 |7759k| 83 | - | 540 |1316 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1724.34/1724.32 c 1724s| 3650k| 273 | 21672k| 5.9 |7740k| 83 | - | 540 |1306 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1728.84/1728.83 c 1729s| 3660k| 223 | 21728k| 5.9 |7649k| 83 | 38 | 540 |1313 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1733.54/1733.52 c 1734s| 3670k| 224 | 21789k| 5.9 |7658k| 83 | - | 540 |1321 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1738.05/1738.07 c 1738s| 3680k| 226 | 21853k| 5.9 |7653k| 83 | - | 540 |1308 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1742.64/1742.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1742.64/1742.69 c 1743s| 3690k| 204 | 21912k| 5.9 |7580k| 83 | 29 | 540 |1250 | 540 | 438 | 47 | 126k| 29k| 0.000000e+00 | -- | Inf
1747.14/1747.16 c 1747s| 3700k| 222 | 21964k| 5.9 |7616k| 83 | - | 540 |1260 | 540 | 438 | 47 | 126k| 30k| 0.000000e+00 | -- | Inf
1751.44/1751.48 c 1751s| 3710k| 218 | 22011k| 5.9 |7605k| 83 | - | 540 |1242 | 540 | 438 | 47 | 126k| 30k| 0.000000e+00 | -- | Inf
1756.25/1756.21 c 1756s| 3720k| 235 | 22079k| 5.9 |7729k| 83 | - | 540 |1481 | 540 | 438 | 47 | 126k| 30k| 0.000000e+00 | -- | Inf
1760.85/1760.80 c 1761s| 3730k| 230 | 22139k| 5.9 |7674k| 83 | 19 | 540 |1337 | 540 | 438 | 47 | 127k| 30k| 0.000000e+00 | -- | Inf
1765.25/1765.25 c 1765s| 3740k| 236 | 22192k| 5.9 |7664k| 83 | - | 540 |1306 | 540 | 438 | 47 | 127k| 30k| 0.000000e+00 | -- | Inf
1769.85/1769.81 c 1770s| 3750k| 260 | 22249k| 5.9 |7696k| 83 | 15 | 540 |1324 | 540 | 438 | 47 | 127k| 30k| 0.000000e+00 | -- | Inf
1774.35/1774.40 c 1774s| 3760k| 238 | 22309k| 5.9 |7685k| 83 | 26 | 540 |1349 | 540 | 438 | 47 | 127k| 30k| 0.000000e+00 | -- | Inf
1778.94/1778.91 c 1779s| 3770k| 236 | 22366k| 5.9 |7678k| 83 | - | 540 |1330 | 540 | 438 | 47 | 127k| 30k| 0.000000e+00 | -- | Inf
1783.45/1783.49 c 1783s| 3780k| 236 | 22426k| 5.9 |7675k| 83 | - | 540 |1325 | 540 | 438 | 47 | 127k| 30k| 0.000000e+00 | -- | Inf
1787.95/1787.93 c 1788s| 3790k| 238 | 22476k| 5.9 |7678k| 83 | - | 540 |1308 | 540 | 438 | 47 | 127k| 30k| 0.000000e+00 | -- | Inf
1792.45/1792.46 c 1792s| 3800k| 234 | 22528k| 5.9 |7648k| 83 | 37 | 540 |1251 | 540 | 438 | 47 | 127k| 30k| 0.000000e+00 | -- | Inf
1796.85/1796.84 c 1797s| 3810k| 256 | 22578k| 5.9 |7686k| 83 | - | 540 |1254 | 540 | 438 | 47 | 127k| 30k| 0.000000e+00 | -- | Inf
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Solving Time (sec) : 1800.00
1800.04/1800.00 c Solving Nodes : 3817242
1800.04/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 s UNKNOWN
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Total Time : 1800.00
1800.04/1800.00 c solving : 1800.00
1800.04/1800.00 c presolving : 0.01 (included in solving)
1800.04/1800.00 c reading : 0.01 (included in solving)
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-3453046-1307072084.opb
1800.04/1800.00 c Variables : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 416 initial, 416 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-3453046-1307072084.opb
1800.04/1800.00 c Variables : 540 (540 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 416 initial, 6445 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 1917778 0 1 0 2009 5720 0 0 3822048
1800.04/1800.00 c setppc : 38 5 7399707 0 0 0 3083008 15676 18440217 0 0 0
1800.04/1800.00 c linear : 0+ 5 7 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c logicor : 378+ 5 4153010 0 0 0 165856 7252 21397522 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.00 c integral : 39.09 0.00 0.00 39.09 0.00 0.00 0.00
1800.04/1800.00 c setppc : 20.44 0.00 19.85 0.00 0.00 0.00 0.59
1800.04/1800.00 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c logicor : 43.89 0.00 43.62 0.00 0.00 0.00 0.27
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.00 c vbounds : 0 0 0 0
1800.04/1800.00 c rootredcost : 0 0 0 0
1800.04/1800.00 c pseudoobj : 0 0 0 0
1800.04/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.00 c vbounds : 1.23 1.23 0.00
1800.04/1800.00 c rootredcost : 1.22 1.22 0.00
1800.04/1800.00 c pseudoobj : 0.87 0.87 0.00
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 0.83 22928 22910 142674 40.9 147 39.7 -
1800.04/1800.00 c infeasible LP : 134.79 1885450 32659 482327 63.8 294 36.6 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.00 c applied globally : - - - 127209 32.5 - - -
1800.04/1800.00 c applied locally : - - - 0 0.0 - - -
1800.04/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.00 c cut pool : 0.00 4 - - 3 - (maximal pool size: 445)
1800.04/1800.00 c redcost : 13.79 1913893 0 0 0 0
1800.04/1800.00 c impliedbounds : 0.00 5 0 0 0 0
1800.04/1800.00 c intobj : 0.00 0 0 0 0 0
1800.04/1800.00 c gomory : 0.11 5 0 0 1156 0
1800.04/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.00 c strongcg : 0.13 5 0 0 1787 0
1800.04/1800.00 c cmir : 0.00 0 0 0 0 0
1800.04/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.00 c clique : 0.00 5 0 0 0 0
1800.04/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.00 c mcf : 0.00 1 0 0 0 0
1800.04/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.00 c rapidlearning : 0.02 1 0 0 0 4
1800.04/1800.00 c Pricers : Time Calls Vars
1800.04/1800.00 c problem variables: 0.00 0 0
1800.04/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c relpscost : 38.05 1917778 2009 5720 0 0 3822048
1800.04/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.00 c inference : 0.00 0 0 0 0 0 0
1800.04/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.00 c random : 0.00 0 0 0 0 0 0
1800.04/1800.00 c Primal Heuristics : Time Calls Found
1800.04/1800.00 c LP solutions : 0.00 - 0
1800.04/1800.00 c pseudo solutions : 0.00 - 0
1800.04/1800.00 c trivial : 0.00 1 0
1800.04/1800.00 c shiftandpropagate: 0.00 0 0
1800.04/1800.00 c simplerounding : 0.00 0 0
1800.04/1800.00 c zirounding : 0.00 0 0
1800.04/1800.00 c rounding : 0.00 0 0
1800.04/1800.00 c shifting : 0.00 0 0
1800.04/1800.00 c intshifting : 0.00 0 0
1800.04/1800.00 c oneopt : 0.00 0 0
1800.04/1800.00 c twoopt : 0.00 0 0
1800.04/1800.00 c fixandinfer : 0.00 0 0
1800.04/1800.00 c feaspump : 0.00 0 0
1800.04/1800.00 c clique : 0.00 0 0
1800.04/1800.00 c coefdiving : 0.00 0 0
1800.04/1800.00 c pscostdiving : 0.00 0 0
1800.04/1800.00 c fracdiving : 0.00 0 0
1800.04/1800.00 c veclendiving : 0.00 0 0
1800.04/1800.00 c intdiving : 0.00 0 0
1800.04/1800.00 c actconsdiving : 0.00 0 0
1800.04/1800.00 c objpscostdiving : 0.00 0 0
1800.04/1800.00 c rootsoldiving : 0.00 0 0
1800.04/1800.00 c linesearchdiving : 0.00 0 0
1800.04/1800.00 c guideddiving : 0.00 0 0
1800.04/1800.00 c octane : 0.00 0 0
1800.04/1800.00 c rens : 0.00 0 0
1800.04/1800.00 c rins : 0.00 0 0
1800.04/1800.00 c localbranching : 0.00 0 0
1800.04/1800.00 c mutation : 0.00 0 0
1800.04/1800.00 c crossover : 0.00 0 0
1800.04/1800.00 c dins : 0.00 0 0
1800.04/1800.00 c vbounds : 0.00 0 0
1800.04/1800.00 c undercover : 0.00 0 0
1800.04/1800.00 c subnlp : 0.00 0 0
1800.04/1800.00 c trysol : 0.00 0 0
1800.04/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.00 c dual LP : 1198.84 3767127 22614311 6.00 18863.57
1800.04/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.00 c strong branching : 20.82 30315 338479 11.17 16260.58
1800.04/1800.00 c (at root node) : - 16 420 26.25 -
1800.04/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.00 c B&B Tree :
1800.04/1800.00 c number of runs : 1
1800.04/1800.00 c nodes : 3817242
1800.04/1800.00 c nodes (total) : 3817242
1800.04/1800.00 c nodes left : 268
1800.04/1800.00 c max depth : 83
1800.04/1800.00 c max depth (total): 83
1800.04/1800.00 c backtracks : 744950 (19.5%)
1800.04/1800.00 c delayed cutoffs : 4539
1800.04/1800.00 c repropagations : 113020 (323215 domain reductions, 4169 cutoffs)
1800.04/1800.00 c avg switch length: 2.96
1800.04/1800.00 c switching time : 92.38
1800.04/1800.00 c Solution :
1800.04/1800.00 c Solutions found : 0 (0 improvements)
1800.04/1800.00 c Primal Bound : -
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Root Iterations : 1330
1800.04/1800.01 c Time complete: 1800.05.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3453046-1307072084/watcher-3453046-1307072084 -o /tmp/evaluation-result-3453046-1307072084/solver-3453046-1307072084 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453046-1307072084.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.05 2.00 3/515 6733
/proc/meminfo: memFree=23212660/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=10720 CPUtime=0 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 1673 0 0 0 0 0 0 0 23 0 1 0 897439105 10977280 1626 33554432000 4194304 9128323 140737049395392 18446744073709551615 8012027 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6733/statm: 2680 1626 397 1205 0 1471 0
[startup+0.104546 s]
/proc/loadavg: 2.01 2.05 2.00 3/515 6733
/proc/meminfo: memFree=23212660/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=34652 CPUtime=0.1 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 7954 0 0 0 9 1 0 0 24 0 1 0 897439105 35483648 7296 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 8663 7296 692 1205 0 7454 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 34652
[startup+0.200523 s]
/proc/loadavg: 2.01 2.05 2.00 3/515 6733
/proc/meminfo: memFree=23212660/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=34720 CPUtime=0.19 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8224 0 0 0 18 1 0 0 24 0 1 0 897439105 35553280 7566 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 8680 7566 692 1205 0 7471 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34720
[startup+0.30051 s]
/proc/loadavg: 2.01 2.05 2.00 3/515 6733
/proc/meminfo: memFree=23212660/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=34924 CPUtime=0.29 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8261 0 0 0 28 1 0 0 25 0 1 0 897439105 35762176 7603 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 8731 7603 692 1205 0 7522 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34924
[startup+0.70043 s]
/proc/loadavg: 2.01 2.05 2.00 3/515 6733
/proc/meminfo: memFree=23212660/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=35000 CPUtime=0.69 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8362 0 0 0 64 5 0 0 25 0 1 0 897439105 35840000 7704 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 8750 7704 697 1205 0 7541 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35000
[startup+1.50028 s]
/proc/loadavg: 2.01 2.05 2.00 3/516 6734
/proc/meminfo: memFree=23183884/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=35000 CPUtime=1.49 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8362 0 0 0 136 13 0 0 25 0 1 0 897439105 35840000 7704 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 8750 7704 697 1205 0 7541 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35000
[startup+3.10098 s]
/proc/loadavg: 2.01 2.05 2.00 4/516 6734
/proc/meminfo: memFree=23182540/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=35000 CPUtime=3.09 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8363 0 0 0 284 25 0 0 25 0 1 0 897439105 35840000 7705 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 8750 7705 697 1205 0 7541 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35000
[startup+6.30037 s]
/proc/loadavg: 2.01 2.05 2.00 4/516 6735
/proc/meminfo: memFree=23182084/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=35000 CPUtime=6.29 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8363 0 0 0 580 49 0 0 25 0 1 0 897439105 35840000 7705 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 8750 7705 697 1205 0 7541 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35000
[startup+12.7002 s]
/proc/loadavg: 2.01 2.05 2.00 3/516 6735
/proc/meminfo: memFree=23181692/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=35000 CPUtime=12.69 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8363 0 0 0 1170 99 0 0 25 0 1 0 897439105 35840000 7705 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 8750 7705 697 1205 0 7541 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35000
[startup+25.5007 s]
/proc/loadavg: 2.01 2.05 2.00 3/516 6735
/proc/meminfo: memFree=23182300/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=35000 CPUtime=25.49 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8363 0 0 0 2362 187 0 0 25 0 1 0 897439105 35840000 7705 33554432000 4194304 9128323 140737049395392 18446744073709551615 6526836 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 8750 7705 697 1205 0 7541 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35000
[startup+51.1009 s]
/proc/loadavg: 2.00 2.04 2.00 3/516 6736
/proc/meminfo: memFree=23181752/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=35000 CPUtime=51.09 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8363 0 0 0 4742 367 0 0 25 0 1 0 897439105 35840000 7705 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 8750 7705 697 1205 0 7541 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 35000
[startup+102.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 6737
/proc/meminfo: memFree=23180224/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=35264 CPUtime=102.3 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8431 0 0 0 9512 718 0 0 25 0 1 0 897439105 36110336 7773 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 8816 7773 697 1205 0 7607 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 35264
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 6820
/proc/meminfo: memFree=23082236/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=35492 CPUtime=162.3 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8503 0 0 0 15104 1126 0 0 25 0 1 0 897439105 36343808 7845 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 8873 7845 697 1205 0 7664 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 35492
[startup+222.319 s]
/proc/loadavg: 2.13 2.05 2.01 3/516 6848
/proc/meminfo: memFree=21844564/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=36116 CPUtime=222.32 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8662 0 0 0 20702 1530 0 0 25 0 1 0 897439105 36982784 8003 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 9029 8003 697 1205 0 7820 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 36116
[startup+282.301 s]
/proc/loadavg: 2.11 2.06 2.01 3/516 6853
/proc/meminfo: memFree=21289380/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=36116 CPUtime=282.29 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8662 0 0 0 26173 2056 0 0 25 0 1 0 897439105 36982784 8003 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 9029 8003 697 1205 0 7820 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 36116
[startup+342.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/516 6855
/proc/meminfo: memFree=21286968/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=36248 CPUtime=342.29 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8666 0 0 0 31560 2669 0 0 25 0 1 0 897439105 37117952 8007 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 9062 8007 697 1205 0 7853 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 36248
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/516 6856
/proc/meminfo: memFree=21258404/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=36248 CPUtime=402.29 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8667 0 0 0 36937 3292 0 0 25 0 1 0 897439105 37117952 8008 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 9062 8008 697 1205 0 7853 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 36248
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 6858
/proc/meminfo: memFree=21209832/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=36248 CPUtime=462.3 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8669 0 0 0 42297 3933 0 0 25 0 1 0 897439105 37117952 8010 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 9062 8010 697 1205 0 7853 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 36248
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 6859
/proc/meminfo: memFree=21206664/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=36248 CPUtime=522.3 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8669 0 0 0 47666 4564 0 0 25 0 1 0 897439105 37117952 8010 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 9062 8010 697 1205 0 7853 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 36248
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 6861
/proc/meminfo: memFree=21205460/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=36248 CPUtime=582.3 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8669 0 0 0 53092 5138 0 0 25 0 1 0 897439105 37117952 8010 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 9062 8010 697 1205 0 7853 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 36248
[startup+642.301 s]
################
# More data... #
################
[startup+882.319 s]
/proc/loadavg: 2.03 2.05 2.01 3/516 6869
/proc/meminfo: memFree=21165392/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=36380 CPUtime=882.33 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8709 0 0 0 80326 7907 0 0 25 0 1 0 897439105 37253120 8050 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 9095 8050 697 1205 0 7886 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 36380
[startup+942.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/516 6871
/proc/meminfo: memFree=21164584/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=36380 CPUtime=942.31 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8710 0 0 0 85722 8509 0 0 25 0 1 0 897439105 37253120 8051 33554432000 4194304 9128323 140737049395392 18446744073709551615 6712861 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 9095 8051 697 1205 0 7886 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 36380
[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 6872
/proc/meminfo: memFree=21164236/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=36380 CPUtime=1002.32 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8710 0 0 0 91186 9046 0 0 25 0 1 0 897439105 37253120 8051 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 9095 8051 697 1205 0 7886 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 36380
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 6874
/proc/meminfo: memFree=21164416/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=36380 CPUtime=1062.31 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8710 0 0 0 96655 9576 0 0 25 0 1 0 897439105 37253120 8051 33554432000 4194304 9128323 140737049395392 18446744073709551615 6527937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 9095 8051 697 1205 0 7886 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 36380
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 6875
/proc/meminfo: memFree=21164224/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=36380 CPUtime=1122.31 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8710 0 0 0 102137 10094 0 0 25 0 1 0 897439105 37253120 8051 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 9095 8051 697 1205 0 7886 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 36380
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 6877
/proc/meminfo: memFree=21164036/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=36380 CPUtime=1182.32 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8710 0 0 0 107637 10595 0 0 25 0 1 0 897439105 37253120 8051 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 9095 8051 697 1205 0 7886 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 36380
[startup+1242.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/516 6879
/proc/meminfo: memFree=21158148/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=36380 CPUtime=1242.32 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8710 0 0 0 113158 11074 0 0 25 0 1 0 897439105 37253120 8051 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 9095 8051 697 1205 0 7886 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 36380
[startup+1302.3 s]
/proc/loadavg: 2.17 2.07 2.02 3/516 6880
/proc/meminfo: memFree=21156092/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=36732 CPUtime=1302.32 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8786 0 0 0 118590 11642 0 0 25 0 1 0 897439105 37613568 8127 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 9183 8127 697 1205 0 7974 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 36732
[startup+1362.3 s]
/proc/loadavg: 2.11 2.07 2.02 3/516 6882
/proc/meminfo: memFree=21157032/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=36732 CPUtime=1362.32 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8788 0 0 0 124066 12166 0 0 25 0 1 0 897439105 37613568 8129 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 9183 8129 697 1205 0 7974 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 36732
[startup+1422.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/516 6883
/proc/meminfo: memFree=21155464/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=36732 CPUtime=1422.34 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8788 0 0 0 129519 12715 0 0 25 0 1 0 897439105 37613568 8129 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 9183 8129 697 1205 0 7974 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 36732
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/516 6885
/proc/meminfo: memFree=21154524/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=36904 CPUtime=1482.33 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8820 0 0 0 134990 13243 0 0 25 0 1 0 897439105 37789696 8161 33554432000 4194304 9128323 140737049395392 18446744073709551615 6525274 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 9226 8161 697 1205 0 8017 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 36904
[startup+1542.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 6887
/proc/meminfo: memFree=21154344/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=36904 CPUtime=1542.35 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8821 0 0 0 140478 13757 0 0 25 0 1 0 897439105 37789696 8162 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 9226 8162 697 1205 0 8017 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 36904
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 6897
/proc/meminfo: memFree=21153756/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=36904 CPUtime=1602.34 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8858 0 0 0 145963 14271 0 0 25 0 1 0 897439105 37789696 8199 33554432000 4194304 9128323 140737049395392 18446744073709551615 7192183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 9226 8199 697 1205 0 8017 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 36904
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 6899
/proc/meminfo: memFree=21153704/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=36904 CPUtime=1662.34 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8861 0 0 0 151428 14806 0 0 25 0 1 0 897439105 37789696 8202 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 9226 8202 697 1205 0 8017 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 36904
[startup+1722.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/516 6900
/proc/meminfo: memFree=21153244/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=36904 CPUtime=1722.34 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8861 0 0 0 156887 15347 0 0 25 0 1 0 897439105 37789696 8202 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 9226 8202 697 1205 0 8017 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 36904
[startup+1782.3 s]
/proc/loadavg: 2.26 2.08 2.02 3/516 6902
/proc/meminfo: memFree=21152664/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=36904 CPUtime=1782.34 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8861 0 0 0 162333 15901 0 0 25 0 1 0 897439105 37789696 8202 33554432000 4194304 9128323 140737049395392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6733/statm: 9226 8202 697 1205 0 8017 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 36904
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.19 2.08 2.02 3/516 6902
/proc/meminfo: memFree=21153880/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=35492 CPUtime=1800.05 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8864 0 0 0 163945 16060 0 0 25 0 1 0 897439105 36343808 7852 33554432000 4194304 9128323 140737049395392 18446744073709551615 4218831 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6733/statm: 8873 7852 700 1205 0 7664 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 35492
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.19 2.08 2.02 3/516 6902
/proc/meminfo: memFree=21153880/32950928 swapFree=58671692/67111528
[pid=6733] ppid=6731 vsize=35492 CPUtime=1800.05 cores=1,3,5,7
/proc/6733/stat : 6733 (scip-2.0.1.4.li) R 6731 6733 1417 0 -1 4202496 8864 0 0 0 163945 16060 0 0 25 0 1 0 897439105 36343808 7852 33554432000 4194304 9128323 140737049395392 18446744073709551615 4218831 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6733/statm: 8873 7852 700 1205 0 7664 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 35492
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1639.46
CPU system time (s): 160.609
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 36904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1639.46
system time used= 160.609
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8866
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= 9
involuntary context switches= 3304
runsolver used 8.32973 second user time and 21.5877 second system time
The end