0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3737798-1338730814.opb>
0.00/0.01 c original problem has 710 variables (710 bin, 0 int, 0 impl, 0 cont) and 862 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.01/0.04 c (round 1) 0 del vars, 810 del conss, 100 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 51 upgd conss, 4980 impls, 99 clqs
0.01/0.04 c (round 2) 610 del vars, 810 del conss, 100 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 151 upgd conss, 4980 impls, 0 clqs
0.01/0.04 c presolving (3 rounds):
0.01/0.04 c 610 deleted vars, 810 deleted constraints, 100 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.04 c 4980 implications, 0 cliques
0.01/0.04 c presolved problem has 100 variables (100 bin, 0 int, 0 impl, 0 cont) and 152 constraints
0.01/0.04 c 101 constraints of type <knapsack>
0.01/0.04 c 50 constraints of type <setppc>
0.01/0.04 c 1 constraints of type <linear>
0.01/0.04 c transformed objective value is always integral (scale: 1)
0.01/0.04 c Presolving Time: 0.03
0.01/0.04 c - non default parameters ----------------------------------------------------------------------
0.01/0.04 c # SCIP version 2.0.1.5
0.01/0.04 c
0.01/0.04 c # frequency for displaying node information lines
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.01/0.04 c display/freq = 10000
0.01/0.04 c
0.01/0.04 c # maximal time in seconds to run
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.04 c limits/time = 1797
0.01/0.04 c
0.01/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.04 c limits/memory = 13950
0.01/0.04 c
0.01/0.04 c # solving stops, if the given number of solutions were found (-1: no limit)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.04 c limits/solutions = 1
0.01/0.04 c
0.01/0.04 c # maximal number of separation rounds per node (-1: unlimited)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 5]
0.01/0.04 c separating/maxrounds = 1
0.01/0.04 c
0.01/0.04 c # maximal number of separation rounds in the root node (-1: unlimited)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.04 c separating/maxroundsroot = 5
0.01/0.04 c
0.01/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.04 c # [type: int, range: [1,2], default: 1]
0.01/0.04 c timing/clocktype = 2
0.01/0.04 c
0.01/0.04 c # belongs reading time to solving time?
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c timing/reading = TRUE
0.01/0.04 c
0.01/0.04 c # should presolving try to simplify inequalities
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/linear/simplifyinequalities = TRUE
0.01/0.04 c
0.01/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/indicator/addCouplingCons = TRUE
0.01/0.04 c
0.01/0.04 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.01/0.04 c constraints/knapsack/disaggregation = FALSE
0.01/0.04 c
0.01/0.04 c # should presolving try to simplify knapsacks
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.01/0.04 c
0.01/0.04 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.04 c presolving/probing/maxrounds = 0
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.04 c heuristics/coefdiving/freq = -1
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.04 c heuristics/coefdiving/maxlpiterquot = 0.075
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/coefdiving/maxlpiterofs = 1500
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 30]
0.01/0.04 c heuristics/crossover/freq = -1
0.01/0.04 c
0.01/0.04 c # number of nodes added to the contingent of the total nodes
0.01/0.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.01/0.04 c heuristics/crossover/nodesofs = 750
0.01/0.04 c
0.01/0.04 c # number of nodes without incumbent change that heuristic should wait
0.01/0.04 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.01/0.04 c heuristics/crossover/nwaitingnodes = 100
0.01/0.04 c
0.01/0.04 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.01/0.04 c # [type: real, range: [0,1], default: 0.1]
0.01/0.04 c heuristics/crossover/nodesquot = 0.15
0.01/0.04 c
0.01/0.04 c # minimum percentage of integer variables that have to be fixed
0.01/0.04 c # [type: real, range: [0,1], default: 0.666]
0.01/0.04 c heuristics/crossover/minfixingrate = 0.5
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.04 c heuristics/feaspump/freq = -1
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/feaspump/maxlpiterofs = 2000
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.04 c heuristics/fracdiving/freq = -1
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.04 c heuristics/fracdiving/maxlpiterquot = 0.075
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/fracdiving/maxlpiterofs = 1500
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.04 c heuristics/guideddiving/freq = -1
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.04 c heuristics/guideddiving/maxlpiterquot = 0.075
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/guideddiving/maxlpiterofs = 1500
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.04 c heuristics/intdiving/maxlpiterquot = 0.075
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.04 c heuristics/intshifting/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.04 c heuristics/linesearchdiving/freq = -1
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.04 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.04 c heuristics/objpscostdiving/freq = -1
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to total iteration number
0.01/0.04 c # [type: real, range: [0,1], default: 0.01]
0.01/0.04 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.04 c heuristics/oneopt/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.04 c heuristics/pscostdiving/freq = -1
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.04 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/pscostdiving/maxlpiterofs = 1500
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.04 c heuristics/rens/freq = -1
0.01/0.04 c
0.01/0.04 c # minimum percentage of integer variables that have to be fixable
0.01/0.04 c # [type: real, range: [0,1], default: 0.5]
0.01/0.04 c heuristics/rens/minfixingrate = 0.3
0.01/0.04 c
0.01/0.04 c # number of nodes added to the contingent of the total nodes
0.01/0.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.01/0.04 c heuristics/rens/nodesofs = 2000
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.01/0.04 c heuristics/rootsoldiving/freq = -1
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.01/0.04 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.04 c heuristics/rounding/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.04 c heuristics/shiftandpropagate/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.04 c heuristics/shifting/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.04 c heuristics/simplerounding/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.04 c heuristics/subnlp/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.04 c heuristics/trivial/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.04 c heuristics/trysol/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.04 c heuristics/undercover/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.01/0.04 c heuristics/veclendiving/freq = -1
0.01/0.04 c
0.01/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.01/0.04 c heuristics/veclendiving/maxlpiterquot = 0.075
0.01/0.04 c
0.01/0.04 c # additional number of allowed LP iterations
0.01/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.01/0.04 c heuristics/veclendiving/maxlpiterofs = 1500
0.01/0.04 c
0.01/0.04 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.01/0.04 c heuristics/zirounding/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.04 c separating/cmir/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.01/0.04 c separating/flowcover/freq = -1
0.01/0.04 c
0.01/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.01/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.01/0.04 c separating/rapidlearning/freq = 0
0.01/0.04 c
0.01/0.04 c -----------------------------------------------------------------------------------------------
0.01/0.04 c start solving
0.01/0.04 c
0.01/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.04 c 0.0s| 1 | 0 | 78 | - |2075k| 0 | 44 | 100 | 152 | 100 | 152 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.08 c 0.1s| 1 | 0 | 138 | - |2335k| 0 | 73 | 100 | 154 | 100 | 176 | 24 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.09 c 0.1s| 1 | 0 | 162 | - |2690k| 0 | 81 | 100 | 154 | 100 | 198 | 46 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 170 | - |3141k| 0 | 83 | 100 | 154 | 100 | 203 | 51 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 174 | - |3376k| 0 | 83 | 100 | 154 | 100 | 205 | 53 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 179 | - |3434k| 0 | 83 | 100 | 154 | 100 | 206 | 54 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 2 | 179 | - |3435k| 0 | 83 | 100 | 154 | 100 | 206 | 54 | 0 | 10 | 0.000000e+00 | -- | Inf
7.59/7.70 c 7.7s| 10000 | 60 |136384 | 13.6 |6002k| 35 | 37 | 100 |5351 | 100 | 202 | 54 |9228 | 978 | 0.000000e+00 | -- | Inf
15.68/15.74 c 15.7s| 20000 | 61 |298866 | 14.9 |6717k| 35 | 33 | 100 |6547 | 100 | 202 | 54 | 18k|1532 | 0.000000e+00 | -- | Inf
23.39/23.43 c 23.4s| 30000 | 64 |453812 | 15.1 |7672k| 35 | - | 100 |8259 | 100 | 202 | 54 | 28k|1912 | 0.000000e+00 | -- | Inf
30.98/31.03 c 31.0s| 40000 | 62 |613502 | 15.3 |9465k| 36 | - | 100 | 12k| 100 | 202 | 54 | 38k|2150 | 0.000000e+00 | -- | Inf
38.77/38.88 c 38.9s| 50000 | 65 |772384 | 15.4 |9039k| 39 | - | 100 |9988 | 100 | 202 | 54 | 48k|2372 | 0.000000e+00 | -- | Inf
46.47/46.52 c 46.5s| 60000 | 69 |931506 | 15.5 | 10M| 39 | 38 | 100 | 14k| 100 | 202 | 54 | 58k|2587 | 0.000000e+00 | -- | Inf
54.27/54.32 c 54.3s| 70000 | 56 | 1075k| 15.4 | 11M| 39 | - | 100 | 14k| 0 | 0 | 54 | 68k|2763 | 0.000000e+00 | -- | Inf
61.97/62.08 c 62.1s| 80000 | 50 | 1217k| 15.2 | 13M| 39 | 42 | 100 | 18k| 100 | 202 | 54 | 77k|2881 | 0.000000e+00 | -- | Inf
70.47/70.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.47/70.54 c 70.5s| 90000 | 51 | 1375k| 15.3 | 12M| 39 | 39 | 100 | 17k| 100 | 202 | 54 | 87k|3020 | 0.000000e+00 | -- | Inf
78.56/78.64 c 78.6s|100000 | 61 | 1521k| 15.2 | 13M| 39 | - | 100 | 19k| 100 | 202 | 54 | 98k|3123 | 0.000000e+00 | -- | Inf
87.26/87.34 c 87.3s|110000 | 50 | 1675k| 15.2 | 14M| 39 | - | 100 | 20k| 100 | 202 | 54 | 108k|3224 | 0.000000e+00 | -- | Inf
96.16/96.29 c 96.3s|120000 | 63 | 1847k| 15.4 | 15M| 39 | 35 | 100 | 21k| 100 | 202 | 54 | 118k|3334 | 0.000000e+00 | -- | Inf
104.86/104.99 c 105s|130000 | 57 | 2017k| 15.5 | 15M| 39 | - | 100 | 23k| 0 | 0 | 54 | 129k|3407 | 0.000000e+00 | -- | Inf
113.35/113.40 c 113s|140000 | 54 | 2177k| 15.5 | 15M| 39 | 33 | 100 | 20k| 100 | 202 | 54 | 139k|3480 | 0.000000e+00 | -- | Inf
121.84/121.91 c 122s|150000 | 46 | 2327k| 15.5 | 14M| 41 | 34 | 100 | 18k| 100 | 202 | 54 | 149k|3622 | 0.000000e+00 | -- | Inf
130.75/130.81 c 131s|160000 | 53 | 2503k| 15.6 | 15M| 41 | 28 | 100 | 20k| 100 | 202 | 54 | 160k|3685 | 0.000000e+00 | -- | Inf
139.34/139.47 c 139s|170000 | 51 | 2670k| 15.7 | 15M| 41 | - | 100 | 20k| 100 | 202 | 54 | 171k|3743 | 0.000000e+00 | -- | Inf
147.75/147.80 c 148s|180000 | 49 | 2821k| 15.7 | 14M| 41 | 34 | 100 | 16k| 100 | 202 | 54 | 180k|3798 | 0.000000e+00 | -- | Inf
156.04/156.11 c 156s|190000 | 36 | 2984k| 15.7 | 14M| 41 | 39 | 100 | 15k| 100 | 202 | 54 | 191k|3858 | 0.000000e+00 | -- | Inf
163.03/163.15 c 163s|200000 | 55 | 3119k| 15.6 | 15M| 41 | - | 100 | 19k| 100 | 202 | 54 | 200k|3904 | 0.000000e+00 | -- | Inf
171.33/171.49 c 171s|210000 | 58 | 3275k| 15.6 | 17M| 41 | 27 | 100 | 23k| 100 | 202 | 54 | 210k|3953 | 0.000000e+00 | -- | Inf
179.24/179.33 c 179s|220000 | 67 | 3406k| 15.5 | 17M| 41 | 37 | 100 | 24k| 100 | 202 | 54 | 218k|3997 | 0.000000e+00 | -- | Inf
188.03/188.19 c 188s|230000 | 65 | 3564k| 15.5 | 18M| 41 | 28 | 100 | 25k| 100 | 202 | 54 | 228k|4032 | 0.000000e+00 | -- | Inf
196.52/196.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
196.52/196.68 c 197s|240000 | 72 | 3707k| 15.4 | 18M| 41 | - | 100 | 24k| 100 | 202 | 54 | 238k|4070 | 0.000000e+00 | -- | Inf
204.92/205.07 c 205s|250000 | 63 | 3846k| 15.4 | 17M| 41 | - | 100 | 23k| 100 | 202 | 54 | 247k|4096 | 0.000000e+00 | -- | Inf
213.13/213.28 c 213s|260000 | 59 | 3968k| 15.3 | 18M| 41 | - | 100 | 24k| 100 | 202 | 54 | 254k|4113 | 0.000000e+00 | -- | Inf
221.42/221.58 c 222s|270000 | 64 | 4103k| 15.2 | 19M| 41 | - | 100 | 28k| 100 | 202 | 54 | 263k|4145 | 0.000000e+00 | -- | Inf
230.21/230.31 c 230s|280000 | 61 | 4238k| 15.1 | 18M| 41 | 33 | 100 | 24k| 100 | 202 | 54 | 272k|4186 | 0.000000e+00 | -- | Inf
238.71/238.83 c 239s|290000 | 61 | 4384k| 15.1 | 16M| 41 | 28 | 100 | 17k| 100 | 202 | 54 | 281k|4210 | 0.000000e+00 | -- | Inf
246.82/246.94 c 247s|300000 | 59 | 4538k| 15.1 | 16M| 41 | 33 | 100 | 17k| 100 | 202 | 54 | 290k|4230 | 0.000000e+00 | -- | Inf
255.22/255.31 c 255s|310000 | 58 | 4695k| 15.1 | 16M| 41 | - | 100 | 17k| 100 | 202 | 54 | 300k|4280 | 0.000000e+00 | -- | Inf
263.71/263.87 c 264s|320000 | 56 | 4851k| 15.2 | 16M| 42 | 30 | 100 | 16k| 100 | 202 | 54 | 310k|4308 | 0.000000e+00 | -- | Inf
272.31/272.48 c 272s|330000 | 62 | 5017k| 15.2 | 16M| 42 | - | 100 | 17k| 100 | 202 | 54 | 320k|4336 | 0.000000e+00 | -- | Inf
280.70/280.81 c 281s|340000 | 59 | 5173k| 15.2 | 18M| 42 | - | 100 | 22k| 100 | 202 | 54 | 330k|4357 | 0.000000e+00 | -- | Inf
289.30/289.42 c 289s|350000 | 56 | 5327k| 15.2 | 19M| 42 | 37 | 100 | 24k| 100 | 202 | 54 | 341k|4400 | 0.000000e+00 | -- | Inf
298.01/298.16 c 298s|360000 | 53 | 5480k| 15.2 | 18M| 42 | 32 | 100 | 19k| 100 | 202 | 54 | 351k|4424 | 0.000000e+00 | -- | Inf
305.50/305.65 c 306s|370000 | 67 | 5617k| 15.2 | 18M| 42 | - | 100 | 20k| 100 | 202 | 54 | 360k|4436 | 0.000000e+00 | -- | Inf
313.40/313.53 c 314s|380000 | 63 | 5749k| 15.1 | 19M| 42 | 28 | 100 | 21k| 100 | 202 | 54 | 368k|4446 | 0.000000e+00 | -- | Inf
321.20/321.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
321.20/321.39 c 321s|390000 | 62 | 5878k| 15.1 | 19M| 42 | - | 100 | 22k| 100 | 202 | 54 | 377k|4449 | 0.000000e+00 | -- | Inf
328.81/328.91 c 329s|400000 | 71 | 6009k| 15.0 | 20M| 42 | 35 | 100 | 24k| 100 | 202 | 54 | 385k|4451 | 0.000000e+00 | -- | Inf
336.80/336.98 c 337s|410000 | 69 | 6143k| 15.0 | 21M| 42 | - | 100 | 27k| 100 | 202 | 54 | 394k|4451 | 0.000000e+00 | -- | Inf
345.40/345.50 c 345s|420000 | 70 | 6282k| 15.0 | 22M| 42 | - | 100 | 29k| 100 | 202 | 54 | 402k|4451 | 0.000000e+00 | -- | Inf
354.40/354.51 c 355s|430000 | 69 | 6424k| 14.9 | 21M| 42 | 30 | 100 | 27k| 100 | 202 | 54 | 410k|4464 | 0.000000e+00 | -- | Inf
362.99/363.13 c 363s|440000 | 65 | 6569k| 14.9 | 20M| 42 | 41 | 100 | 21k| 100 | 202 | 54 | 418k|4495 | 0.000000e+00 | -- | Inf
372.19/372.32 c 372s|450000 | 62 | 6727k| 15.0 | 20M| 42 | 38 | 100 | 22k| 100 | 202 | 54 | 428k|4498 | 0.000000e+00 | -- | Inf
380.69/380.82 c 381s|460000 | 58 | 6882k| 15.0 | 17M| 42 | - | 100 | 13k| 100 | 202 | 54 | 437k|4529 | 0.000000e+00 | -- | Inf
387.79/387.93 c 388s|470000 | 76 | 7023k| 14.9 | 16M| 42 | 30 | 100 | 10k| 100 | 202 | 54 | 445k|4541 | 0.000000e+00 | -- | Inf
394.99/395.18 c 395s|480000 | 64 | 7170k| 14.9 | 17M| 42 | - | 100 | 12k| 100 | 202 | 54 | 454k|4547 | 0.000000e+00 | -- | Inf
402.08/402.23 c 402s|490000 | 58 | 7309k| 14.9 | 18M| 42 | - | 100 | 15k| 100 | 202 | 54 | 462k|4559 | 0.000000e+00 | -- | Inf
409.49/409.66 c 410s|500000 | 62 | 7453k| 14.9 | 17M| 42 | - | 100 | 11k| 100 | 202 | 54 | 471k|4565 | 0.000000e+00 | -- | Inf
417.18/417.30 c 417s|510000 | 58 | 7616k| 14.9 | 18M| 42 | - | 100 | 15k| 100 | 202 | 54 | 481k|4567 | 0.000000e+00 | -- | Inf
424.98/425.12 c 425s|520000 | 62 | 7772k| 14.9 | 20M| 42 | 36 | 100 | 20k| 100 | 202 | 54 | 491k|4567 | 0.000000e+00 | -- | Inf
433.48/433.65 c 434s|530000 | 60 | 7933k| 15.0 | 21M| 42 | - | 100 | 23k| 100 | 202 | 54 | 501k|4567 | 0.000000e+00 | -- | Inf
441.99/442.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
441.99/442.20 c 442s|540000 | 57 | 8097k| 15.0 | 17M| 42 | 34 | 100 | 12k| 100 | 202 | 54 | 511k|4609 | 0.000000e+00 | -- | Inf
448.37/448.50 c 448s|550000 | 59 | 8220k| 14.9 | 18M| 42 | 36 | 100 | 14k| 100 | 202 | 54 | 518k|4612 | 0.000000e+00 | -- | Inf
455.29/455.45 c 455s|560000 | 57 | 8351k| 14.9 | 18M| 42 | 29 | 100 | 14k| 100 | 202 | 54 | 527k|4623 | 0.000000e+00 | -- | Inf
463.08/463.22 c 463s|570000 | 53 | 8499k| 14.9 | 18M| 42 | - | 100 | 15k| 100 | 202 | 54 | 537k|4623 | 0.000000e+00 | -- | Inf
469.77/469.98 c 470s|580000 | 70 | 8634k| 14.9 | 18M| 42 | - | 100 | 14k| 100 | 202 | 54 | 546k|4623 | 0.000000e+00 | -- | Inf
477.77/477.96 c 478s|590000 | 69 | 8788k| 14.9 | 19M| 42 | 32 | 100 | 17k| 100 | 202 | 54 | 556k|4623 | 0.000000e+00 | -- | Inf
485.76/485.90 c 486s|600000 | 65 | 8950k| 14.9 | 18M| 42 | - | 100 | 12k| 100 | 202 | 54 | 567k|4623 | 0.000000e+00 | -- | Inf
493.67/493.82 c 494s|610000 | 71 | 9109k| 14.9 | 18M| 42 | 41 | 100 | 13k| 100 | 202 | 54 | 577k|4623 | 0.000000e+00 | -- | Inf
502.17/502.35 c 502s|620000 | 68 | 9279k| 15.0 | 19M| 42 | 36 | 100 | 16k| 100 | 202 | 54 | 588k|4623 | 0.000000e+00 | -- | Inf
510.46/510.65 c 511s|630000 | 69 | 9433k| 15.0 | 20M| 42 | 33 | 100 | 19k| 100 | 202 | 54 | 598k|4623 | 0.000000e+00 | -- | Inf
518.86/519.05 c 519s|640000 | 64 | 9580k| 15.0 | 20M| 42 | - | 100 | 17k| 100 | 202 | 54 | 607k|4623 | 0.000000e+00 | -- | Inf
526.96/527.11 c 527s|650000 | 69 | 9718k| 15.0 | 21M| 42 | - | 100 | 21k| 100 | 202 | 54 | 617k|4623 | 0.000000e+00 | -- | Inf
535.06/535.25 c 535s|660000 | 73 | 9850k| 14.9 | 22M| 42 | - | 100 | 23k| 100 | 202 | 54 | 626k|4623 | 0.000000e+00 | -- | Inf
543.06/543.28 c 543s|670000 | 55 | 9974k| 14.9 | 22M| 42 | 39 | 100 | 25k| 100 | 202 | 54 | 634k|4623 | 0.000000e+00 | -- | Inf
551.06/551.24 c 551s|680000 | 57 | 10098k| 14.9 | 23M| 42 | - | 100 | 26k| 100 | 202 | 54 | 642k|4623 | 0.000000e+00 | -- | Inf
560.26/560.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
560.26/560.40 c 560s|690000 | 57 | 10245k| 14.8 | 25M| 42 | - | 100 | 32k| 100 | 202 | 54 | 652k|4623 | 0.000000e+00 | -- | Inf
569.16/569.30 c 569s|700000 | 62 | 10384k| 14.8 | 23M| 42 | - | 100 | 27k| 100 | 202 | 54 | 661k|4623 | 0.000000e+00 | -- | Inf
578.36/578.57 c 579s|710000 | 65 | 10539k| 14.8 | 24M| 42 | - | 100 | 29k| 100 | 202 | 54 | 671k|4623 | 0.000000e+00 | -- | Inf
588.15/588.40 c 588s|720000 | 71 | 10692k| 14.9 | 25M| 42 | 35 | 100 | 32k| 100 | 202 | 54 | 681k|4623 | 0.000000e+00 | -- | Inf
598.45/598.63 c 599s|730000 | 61 | 10851k| 14.9 | 25M| 42 | - | 100 | 30k| 100 | 202 | 54 | 691k|4623 | 0.000000e+00 | -- | Inf
608.25/608.46 c 608s|740000 | 66 | 11014k| 14.9 | 26M| 42 | 35 | 100 | 33k| 100 | 202 | 54 | 701k|4623 | 0.000000e+00 | -- | Inf
618.45/618.68 c 619s|750000 | 61 | 11163k| 14.9 | 26M| 42 | 33 | 100 | 32k| 100 | 202 | 54 | 711k|4623 | 0.000000e+00 | -- | Inf
629.24/629.41 c 629s|760000 | 61 | 11330k| 14.9 | 25M| 42 | - | 100 | 30k| 100 | 202 | 54 | 721k|4623 | 0.000000e+00 | -- | Inf
640.44/640.60 c 641s|770000 | 55 | 11505k| 14.9 | 25M| 42 | - | 100 | 29k| 100 | 202 | 54 | 731k|4623 | 0.000000e+00 | -- | Inf
650.24/650.48 c 650s|780000 | 56 | 11661k| 15.0 | 23M| 42 | 31 | 100 | 22k| 100 | 202 | 54 | 740k|4623 | 0.000000e+00 | -- | Inf
658.34/658.52 c 659s|790000 | 64 | 11805k| 14.9 | 21M| 42 | 33 | 100 | 16k| 100 | 202 | 54 | 749k|4623 | 0.000000e+00 | -- | Inf
665.35/665.54 c 666s|800000 | 62 | 11923k| 14.9 | 22M| 42 | 31 | 100 | 19k| 100 | 202 | 54 | 757k|4623 | 0.000000e+00 | -- | Inf
673.34/673.54 c 674s|810000 | 59 | 12058k| 14.9 | 24M| 42 | - | 100 | 23k| 100 | 202 | 54 | 766k|4623 | 0.000000e+00 | -- | Inf
682.84/683.08 c 683s|820000 | 63 | 12215k| 14.9 | 24M| 42 | - | 100 | 24k| 100 | 202 | 54 | 776k|4623 | 0.000000e+00 | -- | Inf
691.53/691.74 c 692s|830000 | 59 | 12343k| 14.9 | 26M| 42 | - | 100 | 29k| 100 | 202 | 54 | 786k|4623 | 0.000000e+00 | -- | Inf
701.54/701.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
701.54/701.76 c 702s|840000 | 61 | 12494k| 14.9 | 26M| 42 | 35 | 100 | 29k| 100 | 202 | 54 | 796k|4623 | 0.000000e+00 | -- | Inf
712.82/713.09 c 713s|850000 | 64 | 12671k| 14.9 | 27M| 42 | 34 | 100 | 32k| 100 | 202 | 54 | 807k|4623 | 0.000000e+00 | -- | Inf
722.23/722.42 c 722s|860000 | 59 | 12814k| 14.9 | 26M| 42 | - | 100 | 27k| 100 | 202 | 54 | 816k|4623 | 0.000000e+00 | -- | Inf
732.43/732.63 c 733s|870000 | 65 | 12966k| 14.9 | 28M| 42 | 38 | 100 | 32k| 100 | 202 | 54 | 826k|4623 | 0.000000e+00 | -- | Inf
743.43/743.66 c 744s|880000 | 60 | 13130k| 14.9 | 26M| 42 | 28 | 100 | 27k| 100 | 202 | 54 | 836k|4623 | 0.000000e+00 | -- | Inf
753.93/754.12 c 754s|890000 | 63 | 13300k| 14.9 | 27M| 42 | 42 | 100 | 31k| 100 | 202 | 54 | 846k|4623 | 0.000000e+00 | -- | Inf
766.83/767.01 c 767s|900000 | 58 | 13508k| 15.0 | 26M| 42 | - | 100 | 24k| 100 | 202 | 54 | 857k|4623 | 0.000000e+00 | -- | Inf
775.33/775.58 c 776s|910000 | 64 | 13660k| 15.0 | 24M| 42 | 34 | 100 | 18k| 100 | 202 | 54 | 866k|4623 | 0.000000e+00 | -- | Inf
783.82/784.02 c 784s|920000 | 68 | 13798k| 15.0 | 24M| 42 | - | 100 | 20k| 100 | 202 | 54 | 874k|4623 | 0.000000e+00 | -- | Inf
792.93/793.19 c 793s|930000 | 57 | 13949k| 15.0 | 26M| 42 | 40 | 100 | 25k| 100 | 202 | 54 | 883k|4623 | 0.000000e+00 | -- | Inf
802.21/802.42 c 802s|940000 | 62 | 14099k| 15.0 | 26M| 42 | 38 | 100 | 24k| 100 | 202 | 54 | 893k|4623 | 0.000000e+00 | -- | Inf
811.91/812.13 c 812s|950000 | 63 | 14254k| 15.0 | 26M| 42 | 38 | 100 | 25k| 100 | 202 | 54 | 902k|4623 | 0.000000e+00 | -- | Inf
822.41/822.65 c 823s|960000 | 62 | 14430k| 15.0 | 27M| 42 | - | 100 | 27k| 100 | 202 | 54 | 913k|4623 | 0.000000e+00 | -- | Inf
832.52/832.79 c 833s|970000 | 63 | 14596k| 15.0 | 27M| 42 | 30 | 100 | 25k| 100 | 202 | 54 | 923k|4623 | 0.000000e+00 | -- | Inf
842.32/842.56 c 843s|980000 | 58 | 14757k| 15.1 | 25M| 42 | 37 | 100 | 20k| 100 | 202 | 54 | 932k|4623 | 0.000000e+00 | -- | Inf
851.71/851.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
851.71/851.91 c 852s|990000 | 57 | 14922k| 15.1 | 25M| 42 | 39 | 100 | 21k| 100 | 202 | 54 | 942k|4623 | 0.000000e+00 | -- | Inf
860.71/860.98 c 861s| 1000k| 61 | 15079k| 15.1 | 24M| 42 | - | 100 | 17k| 100 | 202 | 54 | 952k|4623 | 0.000000e+00 | -- | Inf
868.61/868.88 c 869s| 1010k| 62 | 15221k| 15.1 | 25M| 42 | 34 | 100 | 20k| 100 | 202 | 54 | 961k|4623 | 0.000000e+00 | -- | Inf
878.91/879.12 c 879s| 1020k| 58 | 15413k| 15.1 | 24M| 42 | - | 100 | 18k| 100 | 202 | 54 | 972k|4623 | 0.000000e+00 | -- | Inf
887.60/887.87 c 888s| 1030k| 61 | 15577k| 15.1 | 24M| 42 | - | 100 | 17k| 100 | 202 | 54 | 983k|4623 | 0.000000e+00 | -- | Inf
896.10/896.33 c 896s| 1040k| 54 | 15725k| 15.1 | 23M| 42 | - | 100 | 15k| 100 | 202 | 54 | 992k|4623 | 0.000000e+00 | -- | Inf
904.01/904.26 c 904s| 1050k| 66 | 15865k| 15.1 | 24M| 42 | 29 | 100 | 16k| 100 | 202 | 54 |1001k|4623 | 0.000000e+00 | -- | Inf
911.61/911.89 c 912s| 1060k| 72 | 15999k| 15.1 | 25M| 42 | 30 | 100 | 19k| 100 | 202 | 54 |1010k|4623 | 0.000000e+00 | -- | Inf
919.80/920.00 c 920s| 1070k| 58 | 16134k| 15.1 | 26M| 42 | - | 100 | 23k| 100 | 202 | 54 |1019k|4623 | 0.000000e+00 | -- | Inf
928.50/928.70 c 929s| 1080k| 55 | 16268k| 15.1 | 26M| 42 | - | 100 | 23k| 100 | 202 | 54 |1029k|4623 | 0.000000e+00 | -- | Inf
936.69/936.92 c 937s| 1090k| 61 | 16397k| 15.0 | 27M| 42 | 30 | 100 | 24k| 100 | 202 | 54 |1037k|4623 | 0.000000e+00 | -- | Inf
945.49/945.70 c 946s| 1100k| 63 | 16538k| 15.0 | 27M| 42 | - | 100 | 26k| 100 | 202 | 54 |1047k|4623 | 0.000000e+00 | -- | Inf
954.89/955.13 c 955s| 1110k| 68 | 16693k| 15.0 | 30M| 42 | - | 100 | 32k| 100 | 202 | 54 |1057k|4623 | 0.000000e+00 | -- | Inf
964.88/965.19 c 965s| 1120k| 62 | 16848k| 15.0 | 29M| 42 | - | 100 | 29k| 100 | 202 | 54 |1067k|4623 | 0.000000e+00 | -- | Inf
974.69/974.95 c 975s| 1130k| 61 | 17000k| 15.0 | 29M| 42 | 30 | 100 | 30k| 100 | 202 | 54 |1077k|4623 | 0.000000e+00 | -- | Inf
984.69/984.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
984.69/984.96 c 985s| 1140k| 54 | 17151k| 15.0 | 29M| 43 | - | 100 | 31k| 100 | 202 | 54 |1086k|4623 | 0.000000e+00 | -- | Inf
994.49/994.78 c 995s| 1150k| 55 | 17304k| 15.0 | 27M| 43 | 31 | 100 | 24k| 100 | 202 | 54 |1095k|4623 | 0.000000e+00 | -- | Inf
1002.38/1002.70 c 1003s| 1160k| 56 | 17428k| 15.0 | 27M| 43 | - | 100 | 25k| 100 | 202 | 54 |1103k|4623 | 0.000000e+00 | -- | Inf
1010.78/1011.06 c 1011s| 1170k| 60 | 17543k| 15.0 | 29M| 43 | - | 100 | 30k| 100 | 202 | 54 |1110k|4623 | 0.000000e+00 | -- | Inf
1020.88/1021.16 c 1021s| 1180k| 56 | 17687k| 15.0 | 29M| 43 | 33 | 100 | 30k| 100 | 202 | 54 |1119k|4623 | 0.000000e+00 | -- | Inf
1029.98/1030.22 c 1030s| 1190k| 57 | 17816k| 15.0 | 26M| 44 | - | 100 | 22k| 100 | 202 | 54 |1128k|4623 | 0.000000e+00 | -- | Inf
1039.47/1039.74 c 1040s| 1200k| 55 | 17966k| 15.0 | 27M| 44 | 34 | 100 | 25k| 100 | 202 | 54 |1137k|4623 | 0.000000e+00 | -- | Inf
1049.58/1049.81 c 1050s| 1210k| 52 | 18126k| 15.0 | 25M| 44 | - | 100 | 19k| 100 | 202 | 54 |1147k|4623 | 0.000000e+00 | -- | Inf
1058.18/1058.46 c 1058s| 1220k| 49 | 18283k| 15.0 | 24M| 44 | 42 | 100 | 14k| 100 | 202 | 54 |1157k|4623 | 0.000000e+00 | -- | Inf
1066.37/1066.63 c 1067s| 1230k| 58 | 18428k| 15.0 | 25M| 44 | - | 100 | 18k| 100 | 202 | 54 |1167k|4623 | 0.000000e+00 | -- | Inf
1074.48/1074.77 c 1075s| 1240k| 52 | 18562k| 15.0 | 26M| 44 | - | 100 | 21k| 100 | 202 | 54 |1175k|4623 | 0.000000e+00 | -- | Inf
1083.47/1083.73 c 1084s| 1250k| 51 | 18714k| 15.0 | 28M| 44 | 35 | 100 | 26k| 100 | 202 | 54 |1185k|4623 | 0.000000e+00 | -- | Inf
1093.27/1093.53 c 1094s| 1260k| 49 | 18865k| 15.0 | 27M| 44 | 31 | 100 | 23k| 100 | 202 | 54 |1195k|4623 | 0.000000e+00 | -- | Inf
1102.27/1102.56 c 1103s| 1270k| 46 | 19000k| 15.0 | 26M| 44 | 35 | 100 | 19k| 100 | 202 | 54 |1204k|4623 | 0.000000e+00 | -- | Inf
1110.17/1110.41 c 1110s| 1280k| 61 | 19116k| 14.9 | 27M| 44 | - | 100 | 23k| 100 | 202 | 54 |1212k|4623 | 0.000000e+00 | -- | Inf
1118.16/1118.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1118.16/1118.45 c 1118s| 1290k| 60 | 19244k| 14.9 | 27M| 44 | - | 100 | 23k| 100 | 202 | 54 |1221k|4623 | 0.000000e+00 | -- | Inf
1126.56/1126.83 c 1127s| 1300k| 55 | 19387k| 14.9 | 27M| 44 | - | 100 | 24k| 100 | 202 | 54 |1229k|4623 | 0.000000e+00 | -- | Inf
1134.87/1135.17 c 1135s| 1310k| 47 | 19507k| 14.9 | 28M| 44 | 34 | 100 | 26k| 100 | 202 | 54 |1237k|4623 | 0.000000e+00 | -- | Inf
1143.67/1143.91 c 1144s| 1320k| 49 | 19629k| 14.9 | 30M| 44 | - | 100 | 31k| 100 | 202 | 54 |1245k|4623 | 0.000000e+00 | -- | Inf
1153.16/1153.45 c 1153s| 1330k| 46 | 19741k| 14.8 | 31M| 44 | - | 100 | 35k| 100 | 202 | 54 |1253k|4623 | 0.000000e+00 | -- | Inf
1164.16/1164.42 c 1164s| 1340k| 59 | 19878k| 14.8 | 31M| 44 | 36 | 100 | 36k| 100 | 202 | 54 |1262k|4623 | 0.000000e+00 | -- | Inf
1175.66/1175.99 c 1176s| 1350k| 50 | 20045k| 14.8 | 29M| 44 | 36 | 100 | 26k| 100 | 202 | 54 |1272k|4623 | 0.000000e+00 | -- | Inf
1185.56/1185.84 c 1186s| 1360k| 49 | 20195k| 14.8 | 30M| 44 | 41 | 100 | 31k| 100 | 202 | 54 |1281k|4623 | 0.000000e+00 | -- | Inf
1196.85/1197.13 c 1197s| 1370k| 58 | 20367k| 14.9 | 30M| 44 | 26 | 100 | 29k| 100 | 202 | 54 |1291k|4623 | 0.000000e+00 | -- | Inf
1207.64/1207.96 c 1208s| 1380k| 52 | 20526k| 14.9 | 31M| 44 | - | 100 | 34k| 0 | 0 | 54 |1301k|4623 | 0.000000e+00 | -- | Inf
1219.15/1219.43 c 1219s| 1390k| 49 | 20689k| 14.9 | 32M| 44 | - | 100 | 36k| 100 | 202 | 54 |1311k|4623 | 0.000000e+00 | -- | Inf
1230.75/1231.06 c 1231s| 1400k| 45 | 20858k| 14.9 | 28M| 44 | - | 100 | 24k| 100 | 202 | 54 |1320k|4623 | 0.000000e+00 | -- | Inf
1239.74/1240.09 c 1240s| 1410k| 49 | 21011k| 14.9 | 27M| 44 | 24 | 100 | 22k| 100 | 202 | 54 |1330k|4623 | 0.000000e+00 | -- | Inf
1248.24/1248.52 c 1249s| 1420k| 50 | 21151k| 14.9 | 28M| 44 | 37 | 100 | 23k| 100 | 202 | 54 |1339k|4623 | 0.000000e+00 | -- | Inf
1257.14/1257.47 c 1257s| 1430k| 49 | 21289k| 14.9 | 29M| 44 | - | 100 | 28k| 100 | 202 | 54 |1348k|4623 | 0.000000e+00 | -- | Inf
1266.03/1266.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1266.03/1266.39 c 1266s| 1440k| 49 | 21417k| 14.9 | 30M| 44 | 31 | 100 | 29k| 100 | 202 | 54 |1356k|4623 | 0.000000e+00 | -- | Inf
1275.94/1276.21 c 1276s| 1450k| 45 | 21553k| 14.9 | 31M| 44 | 37 | 100 | 32k| 100 | 202 | 54 |1365k|4623 | 0.000000e+00 | -- | Inf
1286.74/1287.03 c 1287s| 1460k| 45 | 21707k| 14.9 | 29M| 44 | - | 100 | 27k| 100 | 202 | 54 |1375k|4623 | 0.000000e+00 | -- | Inf
1296.93/1297.21 c 1297s| 1470k| 46 | 21864k| 14.9 | 30M| 44 | - | 100 | 30k| 100 | 202 | 54 |1385k|4623 | 0.000000e+00 | -- | Inf
1308.13/1308.43 c 1308s| 1480k| 37 | 22029k| 14.9 | 28M| 44 | 42 | 100 | 24k| 100 | 202 | 54 |1395k|4623 | 0.000000e+00 | -- | Inf
1317.02/1317.39 c 1317s| 1490k| 47 | 22173k| 14.9 | 27M| 44 | - | 100 | 21k| 100 | 202 | 54 |1404k|4623 | 0.000000e+00 | -- | Inf
1326.13/1326.45 c 1326s| 1500k| 51 | 22316k| 14.9 | 28M| 44 | - | 100 | 23k| 100 | 202 | 54 |1413k|4623 | 0.000000e+00 | -- | Inf
1336.02/1336.34 c 1336s| 1510k| 44 | 22469k| 14.9 | 29M| 44 | - | 100 | 26k| 100 | 202 | 54 |1422k|4623 | 0.000000e+00 | -- | Inf
1347.02/1347.30 c 1347s| 1520k| 38 | 22647k| 14.9 | 29M| 44 | - | 100 | 27k| 100 | 202 | 54 |1431k|4623 | 0.000000e+00 | -- | Inf
1357.42/1357.79 c 1358s| 1530k| 45 | 22823k| 14.9 | 31M| 44 | 31 | 100 | 33k| 100 | 202 | 54 |1442k|4623 | 0.000000e+00 | -- | Inf
1367.32/1367.69 c 1368s| 1540k| 52 | 22985k| 14.9 | 29M| 44 | - | 100 | 24k| 100 | 202 | 54 |1452k|4623 | 0.000000e+00 | -- | Inf
1375.51/1375.82 c 1376s| 1550k| 48 | 23115k| 14.9 | 29M| 44 | - | 100 | 26k| 100 | 202 | 54 |1460k|4623 | 0.000000e+00 | -- | Inf
1385.01/1385.34 c 1385s| 1560k| 44 | 23262k| 14.9 | 30M| 44 | 34 | 100 | 29k| 100 | 202 | 54 |1469k|4623 | 0.000000e+00 | -- | Inf
1394.31/1394.69 c 1395s| 1570k| 51 | 23395k| 14.9 | 32M| 44 | 26 | 100 | 34k| 100 | 202 | 54 |1479k|4623 | 0.000000e+00 | -- | Inf
1404.81/1405.12 c 1405s| 1580k| 49 | 23534k| 14.9 | 31M| 44 | - | 100 | 32k| 100 | 202 | 54 |1488k|4623 | 0.000000e+00 | -- | Inf
1415.51/1415.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1415.51/1415.80 c 1416s| 1590k| 60 | 23687k| 14.9 | 31M| 44 | 28 | 100 | 30k| 100 | 202 | 54 |1498k|4623 | 0.000000e+00 | -- | Inf
1426.50/1426.84 c 1427s| 1600k| 44 | 23864k| 14.9 | 33M| 44 | - | 100 | 36k| 100 | 202 | 54 |1508k|4623 | 0.000000e+00 | -- | Inf
1437.20/1437.56 c 1438s| 1610k| 45 | 24005k| 14.9 | 34M| 44 | 29 | 100 | 37k| 100 | 202 | 54 |1517k|4623 | 0.000000e+00 | -- | Inf
1448.20/1448.52 c 1449s| 1620k| 41 | 24151k| 14.9 | 34M| 44 | 31 | 100 | 39k| 100 | 202 | 54 |1526k|4623 | 0.000000e+00 | -- | Inf
1459.20/1459.59 c 1460s| 1630k| 39 | 24315k| 14.9 | 32M| 44 | - | 100 | 30k| 100 | 202 | 54 |1536k|4623 | 0.000000e+00 | -- | Inf
1469.50/1469.84 c 1470s| 1640k| 39 | 24463k| 14.9 | 30M| 44 | 33 | 100 | 25k| 100 | 202 | 54 |1546k|4623 | 0.000000e+00 | -- | Inf
1479.29/1479.61 c 1480s| 1650k| 45 | 24614k| 14.9 | 31M| 44 | 31 | 100 | 29k| 100 | 202 | 54 |1556k|4623 | 0.000000e+00 | -- | Inf
1489.59/1489.90 c 1490s| 1660k| 44 | 24766k| 14.9 | 32M| 44 | - | 100 | 32k| 100 | 202 | 54 |1566k|4623 | 0.000000e+00 | -- | Inf
1499.69/1500.00 c 1500s| 1670k| 43 | 24913k| 14.9 | 32M| 44 | - | 100 | 33k| 100 | 202 | 54 |1575k|4623 | 0.000000e+00 | -- | Inf
1510.19/1510.50 c 1511s| 1680k| 42 | 25071k| 14.9 | 32M| 44 | - | 100 | 32k| 100 | 202 | 54 |1585k|4623 | 0.000000e+00 | -- | Inf
1521.00/1521.34 c 1521s| 1690k| 43 | 25229k| 14.9 | 32M| 44 | - | 100 | 32k| 100 | 202 | 54 |1594k|4623 | 0.000000e+00 | -- | Inf
1532.09/1532.49 c 1532s| 1700k| 44 | 25389k| 14.9 | 34M| 44 | - | 100 | 38k| 100 | 202 | 54 |1605k|4623 | 0.000000e+00 | -- | Inf
1544.38/1544.70 c 1545s| 1710k| 41 | 25575k| 15.0 | 34M| 44 | - | 100 | 39k| 100 | 202 | 54 |1615k|4623 | 0.000000e+00 | -- | Inf
1556.29/1556.67 c 1557s| 1720k| 47 | 25749k| 15.0 | 34M| 44 | - | 100 | 35k| 100 | 202 | 54 |1626k|4623 | 0.000000e+00 | -- | Inf
1568.38/1568.78 c 1569s| 1730k| 40 | 25932k| 15.0 | 36M| 44 | 36 | 100 | 41k| 100 | 202 | 54 |1636k|4623 | 0.000000e+00 | -- | Inf
1580.48/1580.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1580.48/1580.88 c 1581s| 1740k| 37 | 26108k| 15.0 | 34M| 44 | 33 | 100 | 35k| 100 | 202 | 54 |1646k|4623 | 0.000000e+00 | -- | Inf
1590.68/1591.03 c 1591s| 1750k| 44 | 26254k| 15.0 | 34M| 44 | 32 | 100 | 36k| 100 | 202 | 54 |1655k|4623 | 0.000000e+00 | -- | Inf
1600.78/1601.12 c 1601s| 1760k| 34 | 26389k| 15.0 | 35M| 44 | - | 100 | 38k| 100 | 202 | 54 |1664k|4623 | 0.000000e+00 | -- | Inf
1611.38/1611.74 c 1612s| 1770k| 32 | 26533k| 15.0 | 34M| 44 | 37 | 100 | 34k| 100 | 202 | 54 |1672k|4623 | 0.000000e+00 | -- | Inf
1621.68/1622.04 c 1622s| 1780k| 41 | 26688k| 15.0 | 34M| 44 | 28 | 100 | 35k| 100 | 202 | 54 |1682k|4623 | 0.000000e+00 | -- | Inf
1631.98/1632.32 c 1632s| 1790k| 37 | 26827k| 15.0 | 36M| 44 | 31 | 100 | 40k| 100 | 202 | 54 |1691k|4623 | 0.000000e+00 | -- | Inf
1642.98/1643.35 c 1643s| 1800k| 43 | 26975k| 15.0 | 37M| 44 | - | 100 | 42k| 100 | 202 | 54 |1701k|4623 | 0.000000e+00 | -- | Inf
1655.37/1655.70 c 1656s| 1810k| 37 | 27129k| 15.0 | 38M| 44 | - | 100 | 44k| 100 | 202 | 54 |1709k|4623 | 0.000000e+00 | -- | Inf
1666.87/1667.21 c 1667s| 1820k| 46 | 27276k| 15.0 | 36M| 44 | - | 100 | 38k| 100 | 202 | 54 |1718k|4623 | 0.000000e+00 | -- | Inf
1677.86/1678.23 c 1678s| 1830k| 33 | 27421k| 15.0 | 36M| 44 | 37 | 100 | 40k| 100 | 202 | 54 |1726k|4623 | 0.000000e+00 | -- | Inf
1689.56/1689.90 c 1690s| 1840k| 33 | 27577k| 15.0 | 36M| 44 | 34 | 100 | 40k| 100 | 202 | 54 |1736k|4623 | 0.000000e+00 | -- | Inf
1701.56/1701.94 c 1702s| 1850k| 39 | 27742k| 15.0 | 38M| 44 | - | 100 | 46k| 100 | 202 | 54 |1746k|4623 | 0.000000e+00 | -- | Inf
1714.47/1714.90 c 1715s| 1860k| 40 | 27901k| 15.0 | 38M| 44 | 36 | 100 | 44k| 100 | 202 | 54 |1756k|4623 | 0.000000e+00 | -- | Inf
1727.46/1727.88 c 1728s| 1870k| 37 | 28060k| 15.0 | 38M| 44 | 28 | 100 | 44k| 100 | 202 | 54 |1765k|4623 | 0.000000e+00 | -- | Inf
1739.95/1740.36 c 1740s| 1880k| 31 | 28214k| 15.0 | 39M| 44 | 38 | 100 | 45k| 100 | 202 | 54 |1774k|4623 | 0.000000e+00 | -- | Inf
1752.85/1753.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1752.85/1753.27 c 1753s| 1890k| 32 | 28381k| 15.0 | 38M| 44 | - | 100 | 43k| 100 | 202 | 54 |1784k|4623 | 0.000000e+00 | -- | Inf
1764.35/1764.70 c 1765s| 1900k| 26 | 28535k| 15.0 | 33M| 44 | - | 100 | 29k| 100 | 202 | 54 |1792k|4623 | 0.000000e+00 | -- | Inf
1773.96/1774.36 c 1774s| 1910k| 25 | 28677k| 15.0 | 34M| 44 | - | 100 | 30k| 100 | 202 | 54 |1801k|4623 | 0.000000e+00 | -- | Inf
1784.45/1784.80 c 1785s| 1920k| 25 | 28824k| 15.0 | 35M| 44 | - | 100 | 33k| 100 | 202 | 54 |1811k|4623 | 0.000000e+00 | -- | Inf
1795.44/1795.81 c 1796s| 1930k| 28 | 28984k| 15.0 | 33M| 49 | 32 | 100 | 29k| 100 | 202 | 54 |1821k|4623 | 0.000000e+00 | -- | Inf
1796.64/1797.00 c
1796.64/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.64/1797.00 c Solving Time (sec) : 1797.00
1796.64/1797.00 c Solving Nodes : 1931241
1796.64/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.64/1797.00 c Dual Bound : +0.00000000000000e+00
1796.64/1797.00 c Gap : infinite
1796.64/1797.00 s UNKNOWN
1796.64/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.64/1797.00 c Total Time : 1797.00
1796.64/1797.00 c solving : 1797.00
1796.64/1797.00 c presolving : 0.03 (included in solving)
1796.64/1797.00 c reading : 0.01 (included in solving)
1796.64/1797.00 c Original Problem :
1796.64/1797.00 c Problem name : HOME/instance-3737798-1338730814.opb
1796.64/1797.00 c Variables : 710 (710 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.64/1797.00 c Constraints : 862 initial, 862 maximal
1796.64/1797.00 c Presolved Problem :
1796.64/1797.00 c Problem name : t_HOME/instance-3737798-1338730814.opb
1796.64/1797.00 c Variables : 100 (100 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.64/1797.00 c Constraints : 152 initial, 50288 maximal
1796.64/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.64/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.00 c dualfix : 0.00 610 0 0 0 0 0 0 0 0
1796.64/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.00 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.00 c linear : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.64/1797.00 c pseudoboolean : 0.00 0 0 0 0 0 810 100 0 0
1796.64/1797.00 c root node : - 0 - - 0 - - - - -
1796.64/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.64/1797.00 c integral : 0 0 0 971692 0 1 0 178 1474 0 0 1940842
1796.64/1797.00 c knapsack : 101 5 7106965 0 1 0 11469032 19926 6093135 156 0 0
1796.64/1797.00 c setppc : 50 5 7083095 0 1 0 3842287 1078 606853 0 0 0
1796.64/1797.00 c linear : 1+ 6 7085961 0 1 0 929 5805 5948 0 0 0
1796.64/1797.00 c logicor : 0+ 0 2413153 0 0 0 6416860 27874 1655318 0 0 0
1796.64/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1796.64/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.64/1797.00 c integral : 17.16 0.00 0.00 17.16 0.00 0.00 0.00
1796.64/1797.00 c knapsack : 63.01 0.00 58.71 0.00 0.00 0.00 4.29
1796.64/1797.00 c setppc : 7.13 0.00 6.38 0.00 0.00 0.00 0.75
1796.64/1797.00 c linear : 4.11 0.00 4.10 0.00 0.00 0.00 0.01
1796.64/1797.00 c logicor : 252.62 0.00 246.60 0.00 0.00 0.00 6.01
1796.64/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.64/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.64/1797.00 c vbounds : 0 0 0 0
1796.64/1797.00 c rootredcost : 0 0 0 0
1796.64/1797.00 c pseudoobj : 0 0 0 0
1796.64/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1796.64/1797.00 c vbounds : 0.85 0.85 0.00
1796.64/1797.00 c rootredcost : 0.93 0.93 0.00
1796.64/1797.00 c pseudoobj : 0.61 0.61 0.00
1796.64/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.64/1797.00 c propagation : 2.10 54683 54261 404613 26.8 510 21.8 -
1796.64/1797.00 c infeasible LP : 53.06 912813 911492 7451020 25.5 4219 20.6 0
1796.64/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.64/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.64/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.64/1797.00 c applied globally : - - - 1822744 19.8 - - -
1796.64/1797.00 c applied locally : - - - 175 39.2 - - -
1796.64/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.64/1797.00 c cut pool : 0.00 4 - - 64 - (maximal pool size: 449)
1796.64/1797.00 c redcost : 1.97 970669 0 0 0 0
1796.64/1797.00 c impliedbounds : 0.00 5 0 0 0 0
1796.64/1797.00 c intobj : 0.00 0 0 0 0 0
1796.64/1797.00 c gomory : 0.03 5 0 0 0 0
1796.64/1797.00 c cgmip : 0.00 0 0 0 0 0
1796.64/1797.00 c closecuts : 0.00 0 0 0 0 0
1796.64/1797.00 c strongcg : 0.03 5 0 0 449 0
1796.64/1797.00 c cmir : 0.00 0 0 0 0 0
1796.64/1797.00 c flowcover : 0.00 0 0 0 0 0
1796.64/1797.00 c clique : 0.00 1 0 0 0 0
1796.64/1797.00 c zerohalf : 0.00 0 0 0 0 0
1796.64/1797.00 c mcf : 0.00 1 0 0 0 0
1796.64/1797.00 c oddcycle : 0.00 0 0 0 0 0
1796.64/1797.00 c rapidlearning : 0.02 1 0 0 0 2
1796.64/1797.00 c Pricers : Time Calls Vars
1796.64/1797.00 c problem variables: 0.00 0 0
1796.64/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.64/1797.00 c relpscost : 16.67 971692 178 1474 0 0 1940842
1796.64/1797.00 c pscost : 0.00 0 0 0 0 0 0
1796.64/1797.00 c inference : 0.00 1 0 0 0 0 2
1796.64/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1796.64/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1796.64/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1796.64/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1796.64/1797.00 c random : 0.00 0 0 0 0 0 0
1796.64/1797.00 c Primal Heuristics : Time Calls Found
1796.64/1797.00 c LP solutions : 0.00 - 0
1796.64/1797.00 c pseudo solutions : 0.00 - 0
1796.64/1797.00 c trivial : 0.00 1 0
1796.64/1797.00 c shiftandpropagate: 0.00 0 0
1796.64/1797.00 c simplerounding : 0.00 0 0
1796.64/1797.00 c zirounding : 0.00 0 0
1796.64/1797.00 c rounding : 0.00 0 0
1796.64/1797.00 c shifting : 0.00 0 0
1796.64/1797.00 c intshifting : 0.00 0 0
1796.64/1797.00 c oneopt : 0.00 0 0
1796.64/1797.00 c twoopt : 0.00 0 0
1796.64/1797.00 c fixandinfer : 0.00 0 0
1796.64/1797.00 c feaspump : 0.00 0 0
1796.64/1797.00 c clique : 0.00 0 0
1796.64/1797.00 c coefdiving : 0.00 0 0
1796.64/1797.00 c pscostdiving : 0.00 0 0
1796.64/1797.00 c fracdiving : 0.00 0 0
1796.64/1797.00 c veclendiving : 0.00 0 0
1796.64/1797.00 c intdiving : 0.00 0 0
1796.64/1797.00 c actconsdiving : 0.00 0 0
1796.64/1797.00 c objpscostdiving : 0.00 0 0
1796.64/1797.00 c rootsoldiving : 0.00 0 0
1796.64/1797.00 c linesearchdiving : 0.00 0 0
1796.64/1797.00 c guideddiving : 0.00 0 0
1796.64/1797.00 c octane : 0.00 0 0
1796.64/1797.00 c rens : 0.00 0 0
1796.64/1797.00 c rins : 0.00 0 0
1796.64/1797.00 c localbranching : 0.00 0 0
1796.64/1797.00 c mutation : 0.00 0 0
1796.64/1797.00 c crossover : 0.00 0 0
1796.64/1797.00 c dins : 0.00 0 0
1796.64/1797.00 c vbounds : 0.00 0 0
1796.64/1797.00 c undercover : 0.00 0 0
1796.64/1797.00 c subnlp : 0.00 0 0
1796.64/1797.00 c trysol : 0.00 0 0
1796.64/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1796.64/1797.00 c primal LP : 0.00 0 0 0.00 -
1796.64/1797.00 c dual LP : 986.62 1883667 29001957 15.40 29395.18
1796.64/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.64/1797.00 c barrier LP : 0.00 0 0 0.00 -
1796.64/1797.00 c diving/probing LP: 0.00 0 0 0.00 -
1796.64/1797.00 c strong branching : 5.24 4623 138617 29.98 26443.07
1796.64/1797.00 c (at root node) : - 10 769 76.90 -
1796.64/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.64/1797.00 c B&B Tree :
1796.64/1797.00 c number of runs : 1
1796.64/1797.00 c nodes : 1931241
1796.64/1797.00 c nodes (total) : 1931241
1796.64/1797.00 c nodes left : 28
1796.64/1797.00 c max depth : 49
1796.64/1797.00 c max depth (total): 49
1796.64/1797.00 c backtracks : 305630 (15.8%)
1796.64/1797.00 c delayed cutoffs : 9576
1796.64/1797.00 c repropagations : 3042343 (1675679 domain reductions, 6855 cutoffs)
1796.64/1797.00 c avg switch length: 4.51
1796.64/1797.00 c switching time : 262.97
1796.64/1797.00 c Solution :
1796.64/1797.00 c Solutions found : 0 (0 improvements)
1796.64/1797.00 c Primal Bound : -
1796.64/1797.00 c Dual Bound : +0.00000000000000e+00
1796.64/1797.00 c Gap : infinite
1796.64/1797.00 c Root Dual Bound : +0.00000000000000e+00
1796.64/1797.00 c Root Iterations : 179
1796.64/1797.04 c Time complete: 1796.7.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737798-1338730814/watcher-3737798-1338730814 -o /tmp/evaluation-result-3737798-1338730814/solver-3737798-1338730814 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3737798-1338730814.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 30555
/proc/meminfo: memFree=27357524/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=9180 CPUtime=0 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 1382 0 0 0 0 0 0 0 20 0 1 0 339207474 9400320 1338 33554432000 4194304 9016284 140734728500624 140734249939592 5852800 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 2331 1344 272 1178 0 1149 0
[startup+0.0229809 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 30555
/proc/meminfo: memFree=27357524/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=20008 CPUtime=0.01 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 4011 0 0 0 1 0 0 0 20 0 1 0 339207474 20488192 3709 33554432000 4194304 9016284 140734728500624 140734249939592 18446744073699066188 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 5002 3709 479 1178 0 3820 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 20008
[startup+0.100232 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 30555
/proc/meminfo: memFree=27357524/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=22396 CPUtime=0.09 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 7255 0 0 0 8 1 0 0 20 0 1 0 339207474 22933504 4579 33554432000 4194304 9016284 140734728500624 140734249939592 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 5599 4579 686 1178 0 4417 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22396
[startup+0.300179 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 30555
/proc/meminfo: memFree=27357524/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=23320 CPUtime=0.28 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 7472 0 0 0 27 1 0 0 20 0 1 0 339207474 23879680 4796 33554432000 4194304 9016284 140734728500624 140734249939592 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 5830 4796 691 1178 0 4648 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 23320
[startup+0.700173 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 30555
/proc/meminfo: memFree=27357524/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=23320 CPUtime=0.69 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 7474 0 0 0 66 3 0 0 20 0 1 0 339207474 23879680 4798 33554432000 4194304 9016284 140734728500624 140734249939592 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 5830 4798 693 1178 0 4648 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23320
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30556
/proc/meminfo: memFree=27340892/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=23320 CPUtime=1.49 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 7497 0 0 0 145 4 0 0 20 0 1 0 339207474 23879680 4821 33554432000 4194304 9016284 140734728500624 140734728494472 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 5830 4821 693 1178 0 4648 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23320
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30556
/proc/meminfo: memFree=27340148/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=24856 CPUtime=3.08 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 7833 0 0 0 301 7 0 0 20 0 1 0 339207474 25452544 5155 33554432000 4194304 9016284 140734728500624 140734728494488 5325519 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 6214 5155 693 1178 0 5032 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 24856
[startup+6.30017 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30556
/proc/meminfo: memFree=27337048/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=26928 CPUtime=6.28 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 8363 0 0 0 612 16 0 0 20 0 1 0 339207474 27574272 5678 33554432000 4194304 9016284 140734728500624 140734728494952 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 6732 5678 693 1178 0 5550 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 26928
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30556
/proc/meminfo: memFree=27335460/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=28128 CPUtime=12.68 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 8663 0 0 0 1237 31 0 0 20 0 1 0 339207474 28803072 5977 33554432000 4194304 9016284 140734728500624 140734728494744 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 7032 5977 693 1178 0 5850 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28128
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30556
/proc/meminfo: memFree=27333244/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=30988 CPUtime=25.48 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 9321 0 0 0 2484 64 0 0 20 0 1 0 339207474 31731712 6632 33554432000 4194304 9016284 140734728500624 140734728494952 4347574 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 7747 6632 693 1178 0 6565 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30988
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30556
/proc/meminfo: memFree=27327796/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=37872 CPUtime=51.07 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 10793 0 0 0 4981 126 0 0 20 0 1 0 339207474 38780928 8101 33554432000 4194304 9016284 140734728500624 140734728494536 7214167 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 9468 8101 693 1178 0 8286 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 37872
[startup+102.306 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 30556
/proc/meminfo: memFree=27321348/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=43496 CPUtime=102.27 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 12192 0 0 0 9992 235 0 0 20 0 1 0 339207474 44539904 9499 33554432000 4194304 9016284 140734728500624 140734728493992 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30555/statm: 10874 9499 693 1178 0 9692 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 43496
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 30556
/proc/meminfo: memFree=27317348/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=46832 CPUtime=162.23 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 12664 0 0 0 15855 368 0 0 20 0 1 0 339207474 47955968 10393 33554432000 4194304 9016284 140734728500624 140734728494488 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 11708 10393 693 1178 0 10526 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 46832
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 30556
/proc/meminfo: memFree=27315736/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=48456 CPUtime=222.22 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 13129 0 0 0 21733 489 0 0 20 0 1 0 339207474 49618944 10858 33554432000 4194304 9016284 140734728500624 140734728494488 4294030 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 12114 10858 693 1178 0 10932 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 48456
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30557
/proc/meminfo: memFree=27315488/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=49512 CPUtime=282.21 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 13338 0 0 0 27609 612 0 0 20 0 1 0 339207474 50700288 11067 33554432000 4194304 9016284 140734728500624 140734728494952 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 12378 11067 693 1178 0 11196 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 49512
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 30557
/proc/meminfo: memFree=27314184/32873844 swapFree=7376/7376
[pid=30555] ppid=30553 vsize=51396 CPUtime=342.2 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 13649 0 0 0 33487 733 0 0 20 0 1 0 339207474 52629504 11427 33554432000 4194304 9016284 140734728500624 140734728494952 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 12849 11427 693 1178 0 11667 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 51396
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 30557
/proc/meminfo: memFree=27312696/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=52364 CPUtime=402.18 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 13957 0 0 0 39358 860 0 0 20 0 1 0 339207474 53620736 11735 33554432000 4194304 9016284 140734728500624 140734728494120 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30555/statm: 13091 11735 693 1178 0 11909 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 52364
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30557
/proc/meminfo: memFree=27311580/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=55480 CPUtime=462.17 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 14368 0 0 0 45224 993 0 0 20 0 1 0 339207474 56811520 12146 33554432000 4194304 9016284 140734728500624 140734728494952 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30555/statm: 13870 12146 693 1178 0 12688 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 55480
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30557
/proc/meminfo: memFree=27299412/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=56112 CPUtime=522.16 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 14460 0 0 0 51090 1126 0 0 20 0 1 0 339207474 57458688 12885 33554432000 4194304 9016284 140734728500624 140734728494488 6469453 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 14028 12885 693 1178 0 12846 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 56112
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30558
/proc/meminfo: memFree=27297180/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=59336 CPUtime=582.15 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 15116 0 0 0 56976 1239 0 0 20 0 1 0 339207474 60760064 13541 33554432000 4194304 9016284 140734728500624 140734728494488 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 14834 13541 693 1178 0 13652 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 59336
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27487308/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=74436 CPUtime=1122.06 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 17109 0 0 0 109967 2239 0 0 20 0 1 0 339207474 76222464 16908 33554432000 4194304 9016284 140734728500624 140734728494952 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30555/statm: 18609 16908 693 1178 0 17427 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 74436
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30640
/proc/meminfo: memFree=27479488/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=77908 CPUtime=1182.05 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 17593 0 0 0 115867 2338 0 0 20 0 1 0 339207474 79777792 18363 33554432000 4194304 9016284 140734728500624 140734728494952 4347574 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 19477 18363 693 1178 0 18295 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 77908
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30643
/proc/meminfo: memFree=27476872/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=77908 CPUtime=1242.04 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 17593 0 0 0 121764 2440 0 0 20 0 1 0 339207474 79777792 18363 33554432000 4194304 9016284 140734728500624 140734728494952 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 19477 18363 693 1178 0 18295 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 77908
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 30665
/proc/meminfo: memFree=27473148/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=77908 CPUtime=1302.04 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 17593 0 0 0 127655 2549 0 0 20 0 1 0 339207474 79777792 18363 33554432000 4194304 9016284 140734728500624 140734728494952 7989329 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 19477 18363 693 1178 0 18295 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 77908
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 30665
/proc/meminfo: memFree=27472164/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=79640 CPUtime=1362.02 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 17718 0 0 0 133547 2655 0 0 20 0 1 0 339207474 81551360 18488 33554432000 4194304 9016284 140734728500624 140734728494488 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30555/statm: 19910 18488 693 1178 0 18728 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 79640
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 30665
/proc/meminfo: memFree=27467136/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=79640 CPUtime=1422.01 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 17751 0 0 0 139443 2758 0 0 20 0 1 0 339207474 81551360 18521 33554432000 4194304 9016284 140734728500624 140734728494488 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 19910 18521 693 1178 0 18728 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 79640
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30666
/proc/meminfo: memFree=27463848/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=80824 CPUtime=1481.99 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 18038 0 0 0 145339 2860 0 0 20 0 1 0 339207474 82763776 19057 33554432000 4194304 9016284 140734728500624 140734728494952 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 20206 19057 693 1178 0 19024 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 80824
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30666
/proc/meminfo: memFree=27462792/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=80824 CPUtime=1541.99 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 18039 0 0 0 151237 2962 0 0 20 0 1 0 339207474 82763776 19326 33554432000 4194304 9016284 140734728500624 140734728494488 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 20206 19326 693 1178 0 19024 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 80824
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30666
/proc/meminfo: memFree=27461860/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=81612 CPUtime=1601.98 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 18074 0 0 0 157137 3061 0 0 20 0 1 0 339207474 83570688 19361 33554432000 4194304 9016284 140734728500624 140734728494792 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 20403 19361 693 1178 0 19221 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 81612
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30666
/proc/meminfo: memFree=27459564/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=83384 CPUtime=1661.97 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 18406 0 0 0 163037 3160 0 0 20 0 1 0 339207474 85385216 19941 33554432000 4194304 9016284 140734728500624 140734728494952 6436931 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 20846 19941 693 1178 0 19664 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 83384
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30666
/proc/meminfo: memFree=27458820/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=84372 CPUtime=1721.96 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 18635 0 0 0 168943 3253 0 0 20 0 1 0 339207474 86396928 20170 33554432000 4194304 9016284 140734728500624 140734728494536 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 21093 20170 693 1178 0 19911 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 84372
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30667
/proc/meminfo: memFree=27457268/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=84372 CPUtime=1781.95 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 18636 0 0 0 174851 3344 0 0 20 0 1 0 339207474 86396928 20203 33554432000 4194304 9016284 140734728500624 140734728494952 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 21093 20203 693 1178 0 19911 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 84372
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30667
/proc/meminfo: memFree=27457516/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=84372 CPUtime=1785.15 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 18636 0 0 0 175166 3349 0 0 20 0 1 0 339207474 86396928 20203 33554432000 4194304 9016284 140734728500624 140734728494952 4887853 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 21093 20203 693 1178 0 19911 0
Current children cumulated CPU time (s) 1785.15
Current children cumulated vsize (KiB) 84372
[startup+1791.91 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 30670
/proc/meminfo: memFree=27457228/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=84372 CPUtime=1791.55 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 18636 0 0 0 175795 3360 0 0 20 0 1 0 339207474 86396928 20203 33554432000 4194304 9016284 140734728500624 140734728494488 5325523 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 21093 20203 693 1178 0 19911 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 84372
[startup+1795.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 30670
/proc/meminfo: memFree=27457352/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=84372 CPUtime=1794.75 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 18636 0 0 0 176109 3366 0 0 20 0 1 0 339207474 86396928 20203 33554432000 4194304 9016284 140734728500624 140734728494792 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 21093 20203 693 1178 0 19911 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 84372
[startup+1795.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 30670
/proc/meminfo: memFree=27457352/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=84372 CPUtime=1795.54 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 18636 0 0 0 176187 3367 0 0 20 0 1 0 339207474 86396928 20203 33554432000 4194304 9016284 140734728500624 140734728494536 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 21093 20203 693 1178 0 19911 0
Current children cumulated CPU time (s) 1795.54
Current children cumulated vsize (KiB) 84372
[startup+1796.7 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 30670
/proc/meminfo: memFree=27457352/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=84372 CPUtime=1796.35 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 18636 0 0 0 176266 3369 0 0 20 0 1 0 339207474 86396928 20203 33554432000 4194304 9016284 140734728500624 140734728494952 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 21093 20203 693 1178 0 19911 0
Current children cumulated CPU time (s) 1796.35
Current children cumulated vsize (KiB) 84372
[startup+1796.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 30670
/proc/meminfo: memFree=27457352/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=84372 CPUtime=1796.54 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 18636 0 0 0 176285 3369 0 0 20 0 1 0 339207474 86396928 20203 33554432000 4194304 9016284 140734728500624 140734728494952 6606442 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 21093 20203 693 1178 0 19911 0
Current children cumulated CPU time (s) 1796.54
Current children cumulated vsize (KiB) 84372
[startup+1797 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 30670
/proc/meminfo: memFree=27457352/32873844 swapFree=7372/7372
[pid=30555] ppid=30553 vsize=84372 CPUtime=1796.64 cores=0,2,4,6
/proc/30555/stat : 30555 (scip-2.0.1.4b_2) R 30553 30555 26510 0 -1 4202496 18636 0 0 0 176295 3369 0 0 20 0 1 0 339207474 86396928 20203 33554432000 4194304 9016284 140734728500624 140734728494952 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30555/statm: 21093 20203 693 1178 0 19911 0
Current children cumulated CPU time (s) 1796.64
Current children cumulated vsize (KiB) 84372
Child status: 0
Real time (s): 1797.05
CPU time (s): 1796.7
CPU user time (s): 1763
CPU system time (s): 33.7019
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 84372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1763
system time used= 33.7019
maximum resident set size= 80824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18644
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= 28
involuntary context switches= 2891
runsolver used 2.72358 second user time and 7.10192 second system time
The end