0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3690409-1338016938.opb>
0.09/0.10 c original problem has 1020 variables (1020 bin, 0 int, 0 impl, 0 cont) and 43010 constraints
0.09/0.10 c problem read in 0.10
0.09/0.10 c No objective function, only one solution is needed.
0.09/0.10 c presolving settings loaded
0.19/0.23 c presolving:
0.39/0.48 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 43010 upgd conss, 0 impls, 170 clqs
0.49/0.56 c presolving (2 rounds):
0.49/0.56 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.56 c 0 implications, 170 cliques
0.49/0.56 c presolved problem has 1020 variables (1020 bin, 0 int, 0 impl, 0 cont) and 43010 constraints
0.49/0.56 c 170 constraints of type <setppc>
0.49/0.56 c 42840 constraints of type <logicor>
0.49/0.56 c transformed objective value is always integral (scale: 1)
0.49/0.56 c Presolving Time: 0.43
0.49/0.56 c - non default parameters ----------------------------------------------------------------------
0.49/0.56 c # SCIP version 2.1.1.4
0.49/0.56 c
0.49/0.56 c # maximal time in seconds to run
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.56 c limits/time = 1797
0.49/0.56 c
0.49/0.56 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.56 c limits/memory = 13950
0.49/0.56 c
0.49/0.56 c # solving stops, if the given number of solutions were found (-1: no limit)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56 c limits/solutions = 1
0.49/0.56 c
0.49/0.56 c # maximal number of separation rounds per node (-1: unlimited)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 5]
0.49/0.56 c separating/maxrounds = 1
0.49/0.56 c
0.49/0.56 c # maximal number of separation rounds in the root node (-1: unlimited)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56 c separating/maxroundsroot = 5
0.49/0.56 c
0.49/0.56 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.56 c # [type: int, range: [1,2], default: 1]
0.49/0.56 c timing/clocktype = 2
0.49/0.56 c
0.49/0.56 c # belongs reading time to solving time?
0.49/0.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.56 c timing/reading = TRUE
0.49/0.56 c
0.49/0.56 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.49/0.56 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.49/0.56 c constraints/knapsack/disaggregation = FALSE
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/coefdiving/freq = -1
0.49/0.56 c
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/coefdiving/maxlpiterquot = 0.075
0.49/0.56 c
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/coefdiving/maxlpiterofs = 1500
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 30]
0.49/0.56 c heuristics/crossover/freq = -1
0.49/0.56 c
0.49/0.56 c # number of nodes added to the contingent of the total nodes
0.49/0.56 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.56 c heuristics/crossover/nodesofs = 750
0.49/0.56 c
0.49/0.56 c # number of nodes without incumbent change that heuristic should wait
0.49/0.56 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.49/0.56 c heuristics/crossover/nwaitingnodes = 100
0.49/0.56 c
0.49/0.56 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.49/0.56 c # [type: real, range: [0,1], default: 0.1]
0.49/0.56 c heuristics/crossover/nodesquot = 0.15
0.49/0.56 c
0.49/0.56 c # minimum percentage of integer variables that have to be fixed
0.49/0.56 c # [type: real, range: [0,1], default: 0.666]
0.49/0.56 c heuristics/crossover/minfixingrate = 0.5
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.56 c heuristics/feaspump/freq = -1
0.49/0.56 c
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/feaspump/maxlpiterofs = 2000
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/fracdiving/freq = -1
0.49/0.56 c
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/fracdiving/maxlpiterquot = 0.075
0.49/0.56 c
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/fracdiving/maxlpiterofs = 1500
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/guideddiving/freq = -1
0.49/0.56 c
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/guideddiving/maxlpiterquot = 0.075
0.49/0.56 c
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/guideddiving/maxlpiterofs = 1500
0.49/0.56 c
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/intdiving/maxlpiterquot = 0.075
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/intshifting/freq = -1
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/linesearchdiving/freq = -1
0.49/0.56 c
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.49/0.56 c
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.56 c heuristics/objpscostdiving/freq = -1
0.49/0.56 c
0.49/0.56 c # maximal fraction of diving LP iterations compared to total iteration number
0.49/0.56 c # [type: real, range: [0,1], default: 0.01]
0.49/0.56 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.49/0.56 c
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.56 c heuristics/oneopt/freq = -1
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/pscostdiving/freq = -1
0.49/0.56 c
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.49/0.56 c
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/pscostdiving/maxlpiterofs = 1500
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.56 c heuristics/rens/freq = -1
0.49/0.56 c
0.49/0.56 c # minimum percentage of integer variables that have to be fixable
0.49/0.56 c # [type: real, range: [0,1], default: 0.5]
0.49/0.56 c heuristics/rens/minfixingrate = 0.3
0.49/0.56 c
0.49/0.56 c # number of nodes added to the contingent of the total nodes
0.49/0.56 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.49/0.56 c heuristics/rens/nodesofs = 2000
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 20]
0.49/0.56 c heuristics/rootsoldiving/freq = -1
0.49/0.56 c
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.49/0.56 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.49/0.56 c
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.56 c heuristics/rounding/freq = -1
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.56 c heuristics/shiftandpropagate/freq = -1
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/shifting/freq = -1
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.56 c heuristics/simplerounding/freq = -1
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.56 c heuristics/subnlp/freq = -1
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.56 c heuristics/trivial/freq = -1
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.56 c heuristics/trysol/freq = -1
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.56 c heuristics/undercover/freq = -1
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 10]
0.49/0.56 c heuristics/veclendiving/freq = -1
0.49/0.56 c
0.49/0.56 c # maximal fraction of diving LP iterations compared to node LP iterations
0.49/0.56 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.49/0.56 c heuristics/veclendiving/maxlpiterquot = 0.075
0.49/0.56 c
0.49/0.56 c # additional number of allowed LP iterations
0.49/0.56 c # [type: int, range: [0,2147483647], default: 1000]
0.49/0.56 c heuristics/veclendiving/maxlpiterofs = 1500
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.56 c heuristics/zirounding/freq = -1
0.49/0.56 c
0.49/0.56 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56 c propagating/probing/maxprerounds = 0
0.49/0.56 c
0.49/0.56 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.56 c separating/cmir/freq = -1
0.49/0.56 c
0.49/0.56 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.56 c separating/flowcover/freq = -1
0.49/0.56 c
0.49/0.56 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.56 c separating/rapidlearning/freq = 0
0.49/0.56 c
0.49/0.56 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.49/0.56 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.56 c heuristics/indoneopt/freq = -1
0.49/0.56 c
0.49/0.56 c -----------------------------------------------------------------------------------------------
0.49/0.56 c start solving
0.49/0.56 c
1.19/1.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.19/1.29 c 1.3s| 1 | 0 | 1038 | - | 55M| 0 | 306 |1020 | 43k|1020 | 43k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
5.19/5.22 c 5.2s| 1 | 0 | 1055 | - | 55M| 0 | 306 |1020 | 43k|1020 | 43k| 1 | 0 | 0 | 0.000000e+00 | -- | Inf
9.18/9.29 c 9.3s| 1 | 0 | 1169 | - | 56M| 0 | 307 |1020 | 43k|1020 | 43k| 2 | 0 | 0 | 0.000000e+00 | -- | Inf
13.38/13.44 c 13.4s| 1 | 0 | 1310 | - | 57M| 0 | 307 |1020 | 43k|1020 | 43k| 4 | 0 | 0 | 0.000000e+00 | -- | Inf
15.29/15.31 c 15.3s| 1 | 0 | 1634 | - | 58M| 0 | 318 |1020 | 43k|1020 | 43k| 7 | 0 | 0 | 0.000000e+00 | -- | Inf
20.07/20.11 c 20.1s| 1 | 0 | 1831 | - | 59M| 0 | 318 |1020 | 43k|1020 | 43k| 8 | 0 | 0 | 0.000000e+00 | -- | Inf
38.08/38.13 c 38.1s| 1 | 2 | 1831 | - | 59M| 0 | 318 |1020 | 43k|1020 | 43k| 8 | 0 | 33 | 0.000000e+00 | -- | Inf
165.35/165.40 c 165s| 100 | 83 | 12523 | 108.0 | 61M| 73 | 189 |1020 | 43k|1020 | 43k| 8 | 95 | 751 | 0.000000e+00 | -- | Inf
179.65/179.70 c 180s| 200 | 110 | 20381 | 93.2 | 62M| 73 | - |1020 | 43k| 0 | 0 | 8 | 370 | 787 | 0.000000e+00 | -- | Inf
189.35/189.46 c 189s| 300 | 128 | 27167 | 84.7 | 62M| 73 | - |1020 | 43k| 0 | 0 | 8 | 657 | 797 | 0.000000e+00 | -- | Inf
197.05/197.10 c 197s| 400 | 139 | 32601 | 77.1 | 62M| 74 | - |1020 | 43k| 0 | 0 | 8 | 946 | 810 | 0.000000e+00 | -- | Inf
207.75/207.81 c 208s| 500 | 147 | 37782 | 72.0 | 62M| 77 | - |1020 | 43k| 0 | 0 | 8 |1241 | 839 | 0.000000e+00 | -- | Inf
216.84/216.95 c 217s| 600 | 160 | 45221 | 72.4 | 63M| 77 | - |1020 | 43k| 0 | 0 | 8 |1513 | 850 | 0.000000e+00 | -- | Inf
230.34/230.44 c 230s| 700 | 168 | 53598 | 74.1 | 63M| 77 | 218 |1020 | 44k|1020 | 43k| 8 |1843 | 890 | 0.000000e+00 | -- | Inf
239.84/239.92 c 240s| 800 | 163 | 59112 | 71.7 | 63M| 77 | 189 |1020 | 44k|1020 | 43k| 8 |2141 | 912 | 0.000000e+00 | -- | Inf
248.45/248.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
248.45/248.57 c 249s| 900 | 167 | 65338 | 70.6 | 63M| 79 | 253 |1020 | 44k|1020 | 43k| 8 |2424 | 924 | 0.000000e+00 | -- | Inf
258.64/258.73 c 259s| 1000 | 178 | 71574 | 69.8 | 63M| 79 | 263 |1020 | 44k|1020 | 43k| 8 |2760 | 947 | 0.000000e+00 | -- | Inf
270.14/270.22 c 270s| 1100 | 204 | 78350 | 69.6 | 64M| 79 | 239 |1020 | 44k|1020 | 43k| 8 |2998 | 980 | 0.000000e+00 | -- | Inf
280.54/280.65 c 281s| 1200 | 240 | 85350 | 69.7 | 64M| 79 | 290 |1020 | 44k|1020 | 43k| 8 |3213 |1002 | 0.000000e+00 | -- | Inf
289.43/289.55 c 290s| 1300 | 266 | 90747 | 68.4 | 64M| 79 | - |1020 | 43k| 0 | 0 | 8 |3418 |1023 | 0.000000e+00 | -- | Inf
297.43/297.53 c 298s| 1400 | 269 | 95604 | 67.0 | 64M| 79 | 229 |1020 | 44k|1020 | 43k| 8 |3740 |1047 | 0.000000e+00 | -- | Inf
306.93/307.06 c 307s| 1500 | 287 |101288 | 66.3 | 65M| 79 | - |1020 | 44k| 0 | 0 | 8 |4087 |1065 | 0.000000e+00 | -- | Inf
317.73/317.89 c 318s| 1600 | 278 |106900 | 65.7 | 65M| 79 | 252 |1020 | 44k|1020 | 43k| 8 |4414 |1093 | 0.000000e+00 | -- | Inf
324.93/325.05 c 325s| 1700 | 287 |111359 | 64.5 | 65M| 79 | 248 |1020 | 44k|1020 | 43k| 8 |4646 |1109 | 0.000000e+00 | -- | Inf
332.13/332.26 c 332s| 1800 | 291 |116680 | 63.8 | 65M| 79 | 279 |1020 | 44k|1020 | 43k| 8 |4911 |1120 | 0.000000e+00 | -- | Inf
344.82/344.95 c 345s| 1900 | 325 |124282 | 64.5 | 65M| 79 | - |1020 | 44k| 0 | 0 | 8 |5110 |1143 | 0.000000e+00 | -- | Inf
354.52/354.62 c 355s| 2000 | 345 |129487 | 63.9 | 66M| 79 | 244 |1020 | 44k|1020 | 43k| 8 |5399 |1165 | 0.000000e+00 | -- | Inf
364.92/365.06 c 365s| 2100 | 367 |136609 | 64.2 | 66M| 79 | 204 |1020 | 44k|1020 | 43k| 8 |5702 |1186 | 0.000000e+00 | -- | Inf
374.52/374.66 c 375s| 2200 | 376 |141896 | 63.7 | 66M| 79 | - |1020 | 44k| 0 | 0 | 8 |5993 |1217 | 0.000000e+00 | -- | Inf
381.91/382.07 c 382s| 2300 | 376 |145943 | 62.7 | 66M| 79 | 229 |1020 | 44k|1020 | 43k| 8 |6282 |1237 | 0.000000e+00 | -- | Inf
392.22/392.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.22/392.35 c 392s| 2400 | 389 |151605 | 62.4 | 66M| 79 | 140 |1020 | 44k|1020 | 43k| 8 |6513 |1262 | 0.000000e+00 | -- | Inf
399.32/399.45 c 399s| 2500 | 390 |156628 | 61.9 | 66M| 79 | 249 |1020 | 44k|1020 | 43k| 8 |6837 |1277 | 0.000000e+00 | -- | Inf
409.12/409.27 c 409s| 2600 | 404 |162159 | 61.7 | 67M| 79 | 232 |1020 | 44k|1020 | 43k| 8 |7137 |1308 | 0.000000e+00 | -- | Inf
416.41/416.58 c 417s| 2700 | 406 |166863 | 61.1 | 67M| 79 | 170 |1020 | 45k|1020 | 43k| 8 |7390 |1324 | 0.000000e+00 | -- | Inf
424.91/425.06 c 425s| 2800 | 412 |171697 | 60.7 | 67M| 79 | - |1020 | 45k| 0 | 0 | 8 |7685 |1351 | 0.000000e+00 | -- | Inf
435.61/435.76 c 436s| 2900 | 426 |177911 | 60.7 | 67M| 79 | 224 |1020 | 45k|1020 | 43k| 8 |7960 |1390 | 0.000000e+00 | -- | Inf
443.71/443.87 c 444s| 3000 | 418 |182174 | 60.1 | 67M| 79 | 242 |1020 | 45k|1020 | 43k| 8 |8295 |1419 | 0.000000e+00 | -- | Inf
449.31/449.42 c 449s| 3100 | 425 |185650 | 59.3 | 67M| 79 | - |1020 | 45k| 0 | 0 | 8 |8592 |1428 | 0.000000e+00 | -- | Inf
456.51/456.60 c 457s| 3200 | 420 |189580 | 58.7 | 67M| 79 | 315 |1020 | 45k|1020 | 43k| 8 |8902 |1446 | 0.000000e+00 | -- | Inf
467.20/467.34 c 467s| 3300 | 437 |196034 | 58.9 | 67M| 79 | 209 |1020 | 45k|1020 | 43k| 8 |9220 |1478 | 0.000000e+00 | -- | Inf
476.80/476.98 c 477s| 3400 | 456 |201491 | 58.7 | 68M| 79 | 165 |1020 | 45k|1020 | 43k| 8 |9481 |1505 | 0.000000e+00 | -- | Inf
485.50/485.61 c 486s| 3500 | 464 |206272 | 58.4 | 68M| 79 | - |1020 | 45k| 0 | 0 | 8 |9745 |1541 | 0.000000e+00 | -- | Inf
494.20/494.38 c 494s| 3600 | 479 |211215 | 58.2 | 68M| 79 | 261 |1020 | 46k|1020 | 43k| 8 | 10k|1573 | 0.000000e+00 | -- | Inf
500.20/500.30 c 500s| 3700 | 478 |215395 | 57.7 | 68M| 79 | 234 |1020 | 46k|1020 | 43k| 8 | 10k|1591 | 0.000000e+00 | -- | Inf
508.90/509.01 c 509s| 3800 | 481 |220249 | 57.5 | 68M| 79 | 236 |1020 | 46k|1020 | 43k| 8 | 10k|1617 | 0.000000e+00 | -- | Inf
516.90/517.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
516.90/517.00 c 517s| 3900 | 494 |225006 | 57.2 | 69M| 79 | - |1020 | 46k| 0 | 0 | 8 | 10k|1643 | 0.000000e+00 | -- | Inf
526.39/526.55 c 527s| 4000 | 506 |231010 | 57.3 | 69M| 79 | 190 |1020 | 46k|1020 | 43k| 8 | 11k|1674 | 0.000000e+00 | -- | Inf
536.39/536.54 c 537s| 4100 | 514 |236270 | 57.2 | 69M| 79 | 207 |1020 | 46k|1020 | 43k| 8 | 11k|1709 | 0.000000e+00 | -- | Inf
544.89/545.03 c 545s| 4200 | 519 |241650 | 57.1 | 69M| 79 | 246 |1020 | 46k|1020 | 43k| 8 | 11k|1731 | 0.000000e+00 | -- | Inf
551.50/551.68 c 552s| 4300 | 519 |245937 | 56.8 | 69M| 79 | - |1020 | 46k| 0 | 0 | 8 | 12k|1745 | 0.000000e+00 | -- | Inf
559.10/559.29 c 559s| 4400 | 547 |251221 | 56.7 | 70M| 80 | - |1020 | 46k| 0 | 0 | 8 | 12k|1757 | 0.000000e+00 | -- | Inf
565.79/565.97 c 566s| 4500 | 561 |257113 | 56.7 | 70M| 80 | 287 |1020 | 46k|1020 | 43k| 8 | 12k|1759 | 0.000000e+00 | -- | Inf
572.59/572.77 c 573s| 4600 | 563 |262494 | 56.7 | 70M| 80 | 236 |1020 | 46k|1020 | 43k| 8 | 13k|1766 | 0.000000e+00 | -- | Inf
578.79/578.95 c 579s| 4700 | 562 |267823 | 56.6 | 70M| 80 | - |1020 | 46k| 0 | 0 | 8 | 13k|1769 | 0.000000e+00 | -- | Inf
585.09/585.23 c 585s| 4800 | 573 |273434 | 56.6 | 70M| 80 | 239 |1020 | 47k|1020 | 43k| 8 | 13k|1770 | 0.000000e+00 | -- | Inf
590.59/590.79 c 591s| 4900 | 583 |278668 | 56.5 | 71M| 80 | - |1020 | 47k| 0 | 0 | 8 | 13k|1770 | 0.000000e+00 | -- | Inf
596.68/596.85 c 597s| 5000 | 585 |283660 | 56.4 | 71M| 80 | 247 |1020 | 47k|1020 | 43k| 8 | 14k|1775 | 0.000000e+00 | -- | Inf
603.39/603.54 c 604s| 5100 | 585 |289815 | 56.5 | 71M| 80 | 254 |1020 | 47k|1020 | 43k| 8 | 14k|1776 | 0.000000e+00 | -- | Inf
609.39/609.51 c 610s| 5200 | 595 |294705 | 56.3 | 71M| 80 | - |1020 | 47k| 0 | 0 | 8 | 14k|1779 | 0.000000e+00 | -- | Inf
615.18/615.36 c 615s| 5300 | 599 |299803 | 56.2 | 71M| 80 | 176 |1020 | 46k|1020 | 43k| 8 | 15k|1782 | 0.000000e+00 | -- | Inf
624.48/624.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
624.48/624.69 c 625s| 5400 | 618 |305183 | 56.2 | 70M| 80 | 263 |1020 | 46k|1020 | 43k| 8 | 15k|1804 | 0.000000e+00 | -- | Inf
631.08/631.20 c 631s| 5500 | 632 |311362 | 56.3 | 71M| 80 | 220 |1020 | 46k|1020 | 43k| 8 | 15k|1804 | 0.000000e+00 | -- | Inf
637.79/637.93 c 638s| 5600 | 654 |317153 | 56.3 | 71M| 80 | 154 |1020 | 46k|1020 | 43k| 8 | 15k|1808 | 0.000000e+00 | -- | Inf
644.38/644.53 c 645s| 5700 | 663 |322759 | 56.3 | 71M| 80 | - |1020 | 46k| 0 | 0 | 8 | 16k|1810 | 0.000000e+00 | -- | Inf
650.17/650.38 c 650s| 5800 | 672 |327924 | 56.2 | 71M| 80 | 228 |1020 | 46k|1020 | 43k| 8 | 16k|1810 | 0.000000e+00 | -- | Inf
657.47/657.66 c 658s| 5900 | 671 |332845 | 56.1 | 71M| 80 | 216 |1020 | 46k|1020 | 43k| 8 | 16k|1824 | 0.000000e+00 | -- | Inf
666.77/666.91 c 667s| 6000 | 677 |338169 | 56.1 | 71M| 80 | 219 |1020 | 46k|1020 | 43k| 8 | 16k|1848 | 0.000000e+00 | -- | Inf
674.77/674.94 c 675s| 6100 | 704 |344221 | 56.1 | 72M| 80 | 274 |1020 | 46k|1020 | 43k| 8 | 17k|1857 | 0.000000e+00 | -- | Inf
686.07/686.23 c 686s| 6200 | 725 |350056 | 56.2 | 72M| 80 | 209 |1020 | 46k|1020 | 43k| 8 | 17k|1888 | 0.000000e+00 | -- | Inf
693.66/693.86 c 694s| 6300 | 721 |354954 | 56.1 | 72M| 81 | 254 |1020 | 46k|1020 | 43k| 8 | 17k|1901 | 0.000000e+00 | -- | Inf
701.27/701.41 c 701s| 6400 | 730 |360466 | 56.0 | 72M| 81 | - |1020 | 46k| 0 | 0 | 8 | 18k|1914 | 0.000000e+00 | -- | Inf
711.17/711.30 c 711s| 6500 | 749 |366332 | 56.1 | 72M| 81 | 267 |1020 | 46k|1020 | 43k| 8 | 18k|1936 | 0.000000e+00 | -- | Inf
721.66/721.88 c 722s| 6600 | 754 |373294 | 56.3 | 72M| 81 | - |1020 | 46k| 0 | 0 | 8 | 18k|1960 | 0.000000e+00 | -- | Inf
729.07/729.24 c 729s| 6700 | 762 |378115 | 56.2 | 72M| 81 | - |1020 | 46k| 0 | 0 | 8 | 18k|1977 | 0.000000e+00 | -- | Inf
738.96/739.14 c 739s| 6800 | 783 |383867 | 56.2 | 72M| 81 | 265 |1020 | 46k|1020 | 43k| 8 | 19k|2009 | 0.000000e+00 | -- | Inf
747.86/748.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
747.86/748.07 c 748s| 6900 | 812 |389448 | 56.2 | 73M| 81 | 255 |1020 | 46k|1020 | 43k| 8 | 19k|2027 | 0.000000e+00 | -- | Inf
756.26/756.49 c 756s| 7000 | 834 |394224 | 56.1 | 73M| 81 | 208 |1020 | 46k|1020 | 43k| 8 | 19k|2047 | 0.000000e+00 | -- | Inf
763.46/763.67 c 764s| 7100 | 832 |398356 | 55.9 | 73M| 81 | 248 |1020 | 46k|1020 | 43k| 8 | 19k|2070 | 0.000000e+00 | -- | Inf
770.76/770.92 c 771s| 7200 | 839 |402971 | 55.7 | 73M| 81 | 231 |1020 | 46k|1020 | 43k| 8 | 20k|2083 | 0.000000e+00 | -- | Inf
780.65/780.80 c 781s| 7300 | 861 |408558 | 55.7 | 73M| 81 | 247 |1020 | 46k|1020 | 43k| 8 | 20k|2111 | 0.000000e+00 | -- | Inf
792.66/792.82 c 793s| 7400 | 886 |414896 | 55.8 | 74M| 81 | 246 |1020 | 46k|1020 | 43k| 8 | 20k|2145 | 0.000000e+00 | -- | Inf
797.75/797.96 c 798s| 7500 | 896 |419375 | 55.7 | 74M| 81 | - |1020 | 46k| 0 | 0 | 8 | 21k|2145 | 0.000000e+00 | -- | Inf
810.15/810.32 c 810s| 7600 | 931 |426560 | 55.9 | 74M| 81 | - |1020 | 45k| 0 | 0 | 8 | 21k|2182 | 0.000000e+00 | -- | Inf
817.16/817.37 c 817s| 7700 | 931 |431100 | 55.8 | 74M| 81 | 252 |1020 | 45k|1020 | 43k| 8 | 21k|2197 | 0.000000e+00 | -- | Inf
827.75/827.99 c 828s| 7800 | 947 |436895 | 55.8 | 74M| 81 | 294 |1020 | 45k|1020 | 43k| 8 | 21k|2230 | 0.000000e+00 | -- | Inf
837.14/837.39 c 837s| 7900 | 963 |443185 | 55.9 | 74M| 81 | 256 |1020 | 45k|1020 | 43k| 8 | 22k|2249 | 0.000000e+00 | -- | Inf
846.95/847.14 c 847s| 8000 | 971 |447970 | 55.8 | 75M| 81 | - |1020 | 45k| 0 | 0 | 8 | 22k|2292 | 0.000000e+00 | -- | Inf
856.34/856.50 c 856s| 8100 | 999 |455101 | 56.0 | 75M| 81 | 177 |1020 | 45k|1020 | 43k| 8 | 22k|2301 | 0.000000e+00 | -- | Inf
866.24/866.47 c 866s| 8200 | 1019 |461029 | 56.0 | 75M| 81 | 226 |1020 | 45k|1020 | 43k| 8 | 22k|2329 | 0.000000e+00 | -- | Inf
875.24/875.42 c 875s| 8300 | 1014 |465554 | 55.9 | 75M| 81 | 273 |1020 | 45k|1020 | 43k| 8 | 23k|2365 | 0.000000e+00 | -- | Inf
883.83/884.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.83/884.06 c 884s| 8400 | 1027 |471238 | 55.9 | 75M| 81 | - |1020 | 45k| 0 | 0 | 8 | 23k|2391 | 0.000000e+00 | -- | Inf
892.43/892.62 c 893s| 8500 | 1030 |475910 | 55.8 | 75M| 81 | 335 |1020 | 45k|1020 | 43k| 8 | 23k|2418 | 0.000000e+00 | -- | Inf
899.34/899.51 c 900s| 8600 | 1054 |480787 | 55.7 | 76M| 81 | - |1020 | 45k| 0 | 0 | 8 | 24k|2428 | 0.000000e+00 | -- | Inf
906.94/907.17 c 907s| 8700 | 1080 |485351 | 55.6 | 76M| 81 | 229 |1020 | 45k|1020 | 43k| 8 | 24k|2447 | 0.000000e+00 | -- | Inf
914.14/914.37 c 914s| 8800 | 1087 |490627 | 55.6 | 76M| 81 | - |1020 | 45k| 0 | 0 | 8 | 24k|2462 | 0.000000e+00 | -- | Inf
921.23/921.44 c 921s| 8900 | 1106 |495830 | 55.5 | 76M| 81 | - |1020 | 45k| 0 | 0 | 8 | 25k|2473 | 0.000000e+00 | -- | Inf
927.63/927.84 c 928s| 9000 | 1120 |501155 | 55.5 | 77M| 81 | 267 |1020 | 45k|1020 | 43k| 8 | 25k|2477 | 0.000000e+00 | -- | Inf
933.44/933.66 c 934s| 9100 | 1132 |505600 | 55.4 | 77M| 81 | 198 |1020 | 46k|1020 | 43k| 8 | 25k|2481 | 0.000000e+00 | -- | Inf
940.13/940.39 c 940s| 9200 | 1152 |511686 | 55.4 | 77M| 81 | 277 |1020 | 45k|1020 | 43k| 8 | 25k|2482 | 0.000000e+00 | -- | Inf
945.33/945.53 c 946s| 9300 | 1170 |516032 | 55.3 | 77M| 81 | 227 |1020 | 46k|1020 | 43k| 8 | 26k|2483 | 0.000000e+00 | -- | Inf
951.63/951.88 c 952s| 9400 | 1200 |521366 | 55.3 | 78M| 81 | 246 |1020 | 45k|1020 | 43k| 8 | 26k|2485 | 0.000000e+00 | -- | Inf
957.42/957.68 c 958s| 9500 | 1219 |526396 | 55.2 | 78M| 81 | - |1020 | 46k| 0 | 0 | 8 | 26k|2485 | 0.000000e+00 | -- | Inf
964.03/964.29 c 964s| 9600 | 1236 |532277 | 55.3 | 78M| 81 | 244 |1020 | 46k|1020 | 43k| 8 | 27k|2486 | 0.000000e+00 | -- | Inf
971.03/971.25 c 971s| 9700 | 1266 |538077 | 55.3 | 78M| 81 | 211 |1020 | 45k|1020 | 43k| 8 | 27k|2490 | 0.000000e+00 | -- | Inf
976.53/976.80 c 977s| 9800 | 1278 |543051 | 55.2 | 79M| 81 | 240 |1020 | 46k|1020 | 43k| 8 | 27k|2490 | 0.000000e+00 | -- | Inf
981.82/982.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
981.82/982.05 c 982s| 9900 | 1290 |547722 | 55.1 | 79M| 81 | - |1020 | 46k| 0 | 0 | 8 | 27k|2490 | 0.000000e+00 | -- | Inf
987.23/987.46 c 987s| 10000 | 1305 |552786 | 55.1 | 79M| 81 | - |1020 | 46k| 0 | 0 | 8 | 28k|2490 | 0.000000e+00 | -- | Inf
993.32/993.58 c 994s| 10100 | 1315 |558486 | 55.1 | 79M| 81 | - |1020 | 46k| 0 | 0 | 8 | 28k|2490 | 0.000000e+00 | -- | Inf
999.22/999.44 c 999s| 10200 | 1337 |563769 | 55.1 | 79M| 82 | 256 |1020 | 46k|1020 | 43k| 8 | 28k|2490 | 0.000000e+00 | -- | Inf
1005.52/1005.70 c 1006s| 10300 | 1344 |569325 | 55.1 | 80M| 82 | 236 |1020 | 46k|1020 | 43k| 8 | 29k|2491 | 0.000000e+00 | -- | Inf
1011.52/1011.78 c 1012s| 10400 | 1354 |574786 | 55.1 | 80M| 82 | - |1020 | 46k| 0 | 0 | 8 | 29k|2491 | 0.000000e+00 | -- | Inf
1017.12/1017.31 c 1017s| 10500 | 1369 |579765 | 55.0 | 80M| 82 | 243 |1020 | 46k|1020 | 43k| 8 | 29k|2491 | 0.000000e+00 | -- | Inf
1022.73/1022.96 c 1023s| 10600 | 1381 |584862 | 55.0 | 80M| 82 | 249 |1020 | 46k|1020 | 43k| 8 | 30k|2491 | 0.000000e+00 | -- | Inf
1029.72/1029.91 c 1030s| 10700 | 1375 |589063 | 54.9 | 80M| 82 | 240 |1020 | 46k|1020 | 43k| 8 | 30k|2505 | 0.000000e+00 | -- | Inf
1037.92/1038.16 c 1038s| 10800 | 1390 |595431 | 55.0 | 80M| 82 | 264 |1020 | 46k|1020 | 43k| 8 | 30k|2515 | 0.000000e+00 | -- | Inf
1048.02/1048.23 c 1048s| 10900 | 1408 |601088 | 55.0 | 80M| 82 | 237 |1020 | 46k|1020 | 43k| 8 | 30k|2542 | 0.000000e+00 | -- | Inf
1056.11/1056.37 c 1056s| 11000 | 1422 |606370 | 55.0 | 81M| 82 | 235 |1020 | 46k|1020 | 43k| 8 | 31k|2564 | 0.000000e+00 | -- | Inf
1064.41/1064.63 c 1065s| 11100 | 1428 |611358 | 54.9 | 81M| 82 | 199 |1020 | 46k|1020 | 43k| 8 | 31k|2579 | 0.000000e+00 | -- | Inf
1070.61/1070.89 c 1071s| 11200 | 1426 |615315 | 54.8 | 81M| 82 | - |1020 | 46k| 0 | 0 | 8 | 31k|2591 | 0.000000e+00 | -- | Inf
1077.72/1077.96 c 1078s| 11300 | 1439 |620240 | 54.7 | 81M| 82 | - |1020 | 46k| 0 | 0 | 8 | 32k|2605 | 0.000000e+00 | -- | Inf
1086.62/1086.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1086.62/1086.85 c 1087s| 11400 | 1448 |626291 | 54.8 | 81M| 82 | 223 |1020 | 46k|1020 | 43k| 8 | 32k|2623 | 0.000000e+00 | -- | Inf
1111.31/1111.55 c 1112s| 11500 | 1466 |633053 | 54.9 | 81M| 82 | - |1020 | 46k| 0 | 0 | 8 | 32k|2751 | 0.000000e+00 | -- | Inf
1116.70/1116.95 c 1117s| 11600 | 1469 |637990 | 54.8 | 82M| 82 | - |1020 | 46k| 0 | 0 | 8 | 33k|2751 | 0.000000e+00 | -- | Inf
1122.10/1122.37 c 1122s| 11700 | 1473 |642764 | 54.8 | 82M| 82 | 228 |1020 | 47k|1020 | 43k| 8 | 33k|2751 | 0.000000e+00 | -- | Inf
1127.40/1127.66 c 1128s| 11800 | 1484 |647460 | 54.7 | 82M| 82 | 212 |1020 | 47k|1020 | 43k| 8 | 33k|2751 | 0.000000e+00 | -- | Inf
1132.50/1132.79 c 1133s| 11900 | 1489 |652018 | 54.6 | 82M| 82 | - |1020 | 47k| 0 | 0 | 8 | 34k|2751 | 0.000000e+00 | -- | Inf
1139.10/1139.30 c 1139s| 12000 | 1493 |657879 | 54.7 | 82M| 82 | 250 |1020 | 47k|1020 | 43k| 8 | 34k|2751 | 0.000000e+00 | -- | Inf
1147.90/1148.10 c 1148s| 12100 | 1508 |663858 | 54.7 | 82M| 82 | 291 |1020 | 46k|1020 | 43k| 8 | 34k|2769 | 0.000000e+00 | -- | Inf
1154.80/1155.03 c 1155s| 12200 | 1528 |669730 | 54.8 | 82M| 82 | 239 |1020 | 46k|1020 | 43k| 8 | 34k|2774 | 0.000000e+00 | -- | Inf
1162.80/1163.07 c 1163s| 12300 | 1525 |674050 | 54.7 | 82M| 82 | 251 |1020 | 47k|1020 | 43k| 8 | 35k|2794 | 0.000000e+00 | -- | Inf
1170.39/1170.61 c 1171s| 12400 | 1527 |679609 | 54.7 | 83M| 82 | 248 |1020 | 47k|1020 | 43k| 8 | 35k|2805 | 0.000000e+00 | -- | Inf
1178.60/1178.89 c 1179s| 12500 | 1532 |685001 | 54.7 | 83M| 82 | 170 |1020 | 47k|1020 | 43k| 8 | 35k|2826 | 0.000000e+00 | -- | Inf
1186.19/1186.43 c 1186s| 12600 | 1532 |689881 | 54.6 | 83M| 82 | 238 |1020 | 47k|1020 | 43k| 8 | 36k|2845 | 0.000000e+00 | -- | Inf
1193.19/1193.43 c 1193s| 12700 | 1538 |694451 | 54.5 | 83M| 82 | 338 |1020 | 47k|1020 | 43k| 8 | 36k|2862 | 0.000000e+00 | -- | Inf
1202.69/1202.90 c 1203s| 12800 | 1547 |700751 | 54.6 | 83M| 82 | - |1020 | 47k| 0 | 0 | 8 | 36k|2881 | 0.000000e+00 | -- | Inf
1210.29/1210.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1210.29/1210.50 c 1210s| 12900 | 1563 |705799 | 54.6 | 83M| 82 | 227 |1020 | 47k|1020 | 43k| 8 | 37k|2897 | 0.000000e+00 | -- | Inf
1219.19/1219.40 c 1219s| 13000 | 1586 |711501 | 54.6 | 84M| 82 | - |1020 | 47k| 0 | 0 | 8 | 37k|2920 | 0.000000e+00 | -- | Inf
1230.39/1230.69 c 1231s| 13100 | 1605 |719058 | 54.8 | 84M| 82 | - |1020 | 47k| 0 | 0 | 8 | 37k|2941 | 0.000000e+00 | -- | Inf
1238.08/1238.36 c 1238s| 13200 | 1604 |723878 | 54.7 | 84M| 82 | - |1020 | 47k| 0 | 0 | 8 | 38k|2961 | 0.000000e+00 | -- | Inf
1247.98/1248.24 c 1248s| 13300 | 1621 |729940 | 54.7 | 84M| 82 | 278 |1020 | 46k|1020 | 43k| 8 | 38k|2987 | 0.000000e+00 | -- | Inf
1257.98/1258.24 c 1258s| 13400 | 1663 |736067 | 54.8 | 84M| 82 | 257 |1020 | 46k|1020 | 43k| 8 | 38k|3019 | 0.000000e+00 | -- | Inf
1265.57/1265.87 c 1266s| 13500 | 1665 |741254 | 54.8 | 84M| 82 | - |1020 | 46k| 0 | 0 | 8 | 38k|3039 | 0.000000e+00 | -- | Inf
1275.98/1276.29 c 1276s| 13600 | 1669 |747956 | 54.9 | 84M| 82 | 270 |1020 | 46k|1020 | 43k| 8 | 39k|3063 | 0.000000e+00 | -- | Inf
1282.17/1282.45 c 1282s| 13700 | 1662 |751619 | 54.7 | 84M| 82 | 239 |1020 | 46k|1020 | 43k| 8 | 39k|3076 | 0.000000e+00 | -- | Inf
1291.38/1291.61 c 1292s| 13800 | 1674 |757403 | 54.8 | 84M| 82 | 203 |1020 | 46k|1020 | 43k| 8 | 39k|3100 | 0.000000e+00 | -- | Inf
1297.68/1297.90 c 1298s| 13900 | 1682 |761857 | 54.7 | 84M| 82 | 287 |1020 | 46k|1020 | 43k| 8 | 40k|3111 | 0.000000e+00 | -- | Inf
1308.68/1308.97 c 1309s| 14000 | 1696 |768354 | 54.8 | 84M| 82 | 202 |1020 | 46k|1020 | 43k| 8 | 40k|3146 | 0.000000e+00 | -- | Inf
1316.07/1316.39 c 1316s| 14100 | 1689 |774107 | 54.8 | 84M| 82 | 226 |1020 | 46k|1020 | 43k| 8 | 40k|3155 | 0.000000e+00 | -- | Inf
1325.87/1326.15 c 1326s| 14200 | 1688 |779524 | 54.8 | 84M| 82 | 180 |1020 | 46k|1020 | 43k| 8 | 41k|3203 | 0.000000e+00 | -- | Inf
1336.18/1336.44 c 1336s| 14300 | 1702 |785350 | 54.8 | 84M| 82 | 259 |1020 | 46k|1020 | 43k| 8 | 41k|3232 | 0.000000e+00 | -- | Inf
1343.66/1343.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1343.66/1343.99 c 1344s| 14400 | 1706 |790343 | 54.8 | 85M| 82 | - |1020 | 46k| 0 | 0 | 8 | 41k|3251 | 0.000000e+00 | -- | Inf
1350.66/1350.97 c 1351s| 14500 | 1713 |795317 | 54.7 | 85M| 82 | - |1020 | 46k| 0 | 0 | 8 | 41k|3263 | 0.000000e+00 | -- | Inf
1357.76/1358.07 c 1358s| 14600 | 1721 |799402 | 54.6 | 85M| 82 | 244 |1020 | 47k|1020 | 43k| 8 | 42k|3286 | 0.000000e+00 | -- | Inf
1364.56/1364.84 c 1365s| 14700 | 1726 |803631 | 54.5 | 85M| 82 | 237 |1020 | 47k|1020 | 43k| 8 | 42k|3302 | 0.000000e+00 | -- | Inf
1371.37/1371.63 c 1372s| 14800 | 1722 |808229 | 54.5 | 85M| 82 | 204 |1020 | 47k|1020 | 43k| 8 | 42k|3315 | 0.000000e+00 | -- | Inf
1379.66/1379.97 c 1380s| 14900 | 1731 |813516 | 54.5 | 86M| 82 | - |1020 | 47k| 0 | 0 | 8 | 42k|3339 | 0.000000e+00 | -- | Inf
1385.77/1386.08 c 1386s| 15000 | 1738 |817137 | 54.4 | 86M| 82 | - |1020 | 47k| 0 | 0 | 8 | 43k|3357 | 0.000000e+00 | -- | Inf
1393.76/1394.02 c 1394s| 15100 | 1744 |822134 | 54.3 | 86M| 82 | 242 |1020 | 47k|1020 | 43k| 8 | 43k|3376 | 0.000000e+00 | -- | Inf
1400.46/1400.75 c 1401s| 15200 | 1741 |827405 | 54.3 | 86M| 82 | - |1020 | 47k| 0 | 0 | 8 | 43k|3383 | 0.000000e+00 | -- | Inf
1406.95/1407.20 c 1407s| 15300 | 1745 |832632 | 54.3 | 86M| 82 | - |1020 | 48k| 0 | 0 | 8 | 44k|3389 | 0.000000e+00 | -- | Inf
1413.26/1413.57 c 1414s| 15400 | 1751 |837219 | 54.2 | 86M| 82 | - |1020 | 48k| 0 | 0 | 8 | 44k|3400 | 0.000000e+00 | -- | Inf
1418.36/1418.68 c 1419s| 15500 | 1753 |841313 | 54.2 | 86M| 82 | - |1020 | 48k| 0 | 0 | 8 | 44k|3403 | 0.000000e+00 | -- | Inf
1423.95/1424.21 c 1424s| 15600 | 1756 |846050 | 54.1 | 86M| 82 | 231 |1020 | 48k|1020 | 43k| 8 | 45k|3404 | 0.000000e+00 | -- | Inf
1431.05/1431.30 c 1431s| 15700 | 1758 |852445 | 54.2 | 86M| 82 | 234 |1020 | 48k|1020 | 43k| 8 | 45k|3405 | 0.000000e+00 | -- | Inf
1438.05/1438.30 c 1438s| 15800 | 1753 |858738 | 54.2 | 87M| 82 | - |1020 | 48k| 0 | 0 | 8 | 45k|3405 | 0.000000e+00 | -- | Inf
1443.65/1443.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1443.65/1443.99 c 1444s| 15900 | 1759 |863653 | 54.2 | 87M| 82 | 193 |1020 | 48k|1020 | 43k| 8 | 45k|3407 | 0.000000e+00 | -- | Inf
1448.95/1449.26 c 1449s| 16000 | 1760 |867940 | 54.1 | 87M| 82 | 230 |1020 | 48k|1020 | 43k| 8 | 46k|3409 | 0.000000e+00 | -- | Inf
1453.65/1453.95 c 1454s| 16100 | 1761 |872012 | 54.1 | 87M| 82 | - |1020 | 48k| 0 | 0 | 8 | 46k|3409 | 0.000000e+00 | -- | Inf
1475.04/1475.34 c 1475s| 16200 | 1777 |877319 | 54.0 | 87M| 82 | - |1020 | 48k| 0 | 0 | 8 | 46k|3515 | 0.000000e+00 | -- | Inf
1481.14/1481.42 c 1481s| 16300 | 1788 |882774 | 54.0 | 87M| 82 | 272 |1020 | 48k|1020 | 43k| 8 | 47k|3515 | 0.000000e+00 | -- | Inf
1486.34/1486.63 c 1487s| 16400 | 1796 |887352 | 54.0 | 87M| 82 | 226 |1020 | 48k|1020 | 43k| 8 | 47k|3515 | 0.000000e+00 | -- | Inf
1492.54/1492.87 c 1493s| 16500 | 1804 |892947 | 54.0 | 87M| 82 | 232 |1020 | 48k|1020 | 43k| 8 | 47k|3515 | 0.000000e+00 | -- | Inf
1498.45/1498.70 c 1499s| 16600 | 1808 |898113 | 54.0 | 88M| 82 | 234 |1020 | 48k|1020 | 43k| 8 | 47k|3515 | 0.000000e+00 | -- | Inf
1503.14/1503.45 c 1503s| 16700 | 1804 |901979 | 53.9 | 88M| 82 | 206 |1020 | 48k|1020 | 43k| 8 | 48k|3515 | 0.000000e+00 | -- | Inf
1509.74/1510.05 c 1510s| 16800 | 1806 |907864 | 53.9 | 88M| 82 | 179 |1020 | 48k|1020 | 43k| 8 | 48k|3515 | 0.000000e+00 | -- | Inf
1515.55/1515.88 c 1516s| 16900 | 1802 |912984 | 53.9 | 88M| 82 | 238 |1020 | 48k|1020 | 43k| 8 | 48k|3516 | 0.000000e+00 | -- | Inf
1520.54/1520.84 c 1521s| 17000 | 1805 |917430 | 53.9 | 88M| 82 | - |1020 | 48k| 0 | 0 | 8 | 48k|3516 | 0.000000e+00 | -- | Inf
1526.64/1526.98 c 1527s| 17100 | 1819 |923088 | 53.9 | 87M| 82 | - |1020 | 48k| 0 | 0 | 8 | 49k|3516 | 0.000000e+00 | -- | Inf
1531.83/1532.14 c 1532s| 17200 | 1835 |927445 | 53.8 | 88M| 82 | 220 |1020 | 48k|1020 | 43k| 8 | 49k|3516 | 0.000000e+00 | -- | Inf
1536.64/1536.91 c 1537s| 17300 | 1843 |931458 | 53.7 | 88M| 82 | 203 |1020 | 48k|1020 | 43k| 8 | 49k|3516 | 0.000000e+00 | -- | Inf
1541.74/1542.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1541.74/1542.07 c 1542s| 17400 | 1845 |936059 | 53.7 | 88M| 82 | 191 |1020 | 48k|1020 | 43k| 8 | 49k|3516 | 0.000000e+00 | -- | Inf
1547.74/1548.07 c 1548s| 17500 | 1847 |941487 | 53.7 | 88M| 82 | 240 |1020 | 48k|1020 | 43k| 8 | 50k|3516 | 0.000000e+00 | -- | Inf
1553.13/1553.43 c 1553s| 17600 | 1851 |946032 | 53.7 | 88M| 82 | 194 |1020 | 48k|1020 | 43k| 8 | 50k|3516 | 0.000000e+00 | -- | Inf
1558.44/1558.75 c 1559s| 17700 | 1861 |950678 | 53.6 | 88M| 82 | 235 |1020 | 48k|1020 | 43k| 8 | 50k|3516 | 0.000000e+00 | -- | Inf
1564.33/1564.61 c 1565s| 17800 | 1878 |955290 | 53.6 | 88M| 82 | 218 |1020 | 48k|1020 | 43k| 8 | 51k|3520 | 0.000000e+00 | -- | Inf
1569.63/1569.92 c 1570s| 17900 | 1876 |960081 | 53.5 | 88M| 82 | - |1020 | 48k| 0 | 0 | 8 | 51k|3520 | 0.000000e+00 | -- | Inf
1575.03/1575.31 c 1575s| 18000 | 1888 |964745 | 53.5 | 88M| 82 | - |1020 | 48k| 0 | 0 | 8 | 51k|3520 | 0.000000e+00 | -- | Inf
1580.83/1581.11 c 1581s| 18100 | 1896 |969718 | 53.5 | 88M| 82 | 191 |1020 | 48k|1020 | 43k| 8 | 52k|3521 | 0.000000e+00 | -- | Inf
1586.63/1586.93 c 1587s| 18200 | 1896 |975092 | 53.5 | 88M| 82 | 262 |1020 | 48k|1020 | 43k| 8 | 52k|3521 | 0.000000e+00 | -- | Inf
1592.13/1592.45 c 1592s| 18300 | 1908 |979906 | 53.4 | 88M| 82 | 240 |1020 | 47k|1020 | 43k| 8 | 52k|3521 | 0.000000e+00 | -- | Inf
1597.12/1597.45 c 1597s| 18400 | 1911 |984299 | 53.4 | 88M| 82 | 187 |1020 | 47k|1020 | 43k| 8 | 52k|3521 | 0.000000e+00 | -- | Inf
1606.02/1606.39 c 1606s| 18500 | 1932 |989725 | 53.4 | 89M| 82 | 238 |1020 | 47k|1020 | 43k| 8 | 53k|3540 | 0.000000e+00 | -- | Inf
1612.82/1613.19 c 1613s| 18600 | 1940 |994312 | 53.4 | 89M| 82 | - |1020 | 47k| 0 | 0 | 8 | 53k|3553 | 0.000000e+00 | -- | Inf
1622.42/1622.70 c 1623s| 18700 | 1949 | 1000k| 53.4 | 89M| 82 | 210 |1020 | 47k|1020 | 43k| 8 | 53k|3574 | 0.000000e+00 | -- | Inf
1628.83/1629.16 c 1629s| 18800 | 1955 | 1004k| 53.3 | 89M| 82 | 285 |1020 | 47k|1020 | 43k| 8 | 54k|3584 | 0.000000e+00 | -- | Inf
1636.82/1637.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1636.82/1637.15 c 1637s| 18900 | 1974 | 1009k| 53.3 | 89M| 82 | - |1020 | 47k| 0 | 0 | 8 | 54k|3594 | 0.000000e+00 | -- | Inf
1644.62/1644.98 c 1645s| 19000 | 1975 | 1014k| 53.3 | 89M| 82 | 254 |1020 | 47k|1020 | 43k| 8 | 54k|3606 | 0.000000e+00 | -- | Inf
1649.62/1649.96 c 1650s| 19100 | 1974 | 1018k| 53.2 | 89M| 82 | 231 |1020 | 47k|1020 | 43k| 8 | 54k|3610 | 0.000000e+00 | -- | Inf
1657.21/1657.51 c 1658s| 19200 | 1989 | 1023k| 53.2 | 89M| 82 | - |1020 | 47k| 0 | 0 | 8 | 55k|3631 | 0.000000e+00 | -- | Inf
1664.12/1664.43 c 1664s| 19300 | 2004 | 1027k| 53.2 | 89M| 82 | 238 |1020 | 47k|1020 | 43k| 8 | 55k|3640 | 0.000000e+00 | -- | Inf
1672.41/1672.77 c 1673s| 19400 | 2021 | 1033k| 53.2 | 90M| 82 | 241 |1020 | 47k|1020 | 43k| 8 | 55k|3658 | 0.000000e+00 | -- | Inf
1680.82/1681.18 c 1681s| 19500 | 2019 | 1038k| 53.1 | 90M| 82 | 216 |1020 | 47k|1020 | 43k| 8 | 56k|3683 | 0.000000e+00 | -- | Inf
1687.52/1687.84 c 1688s| 19600 | 2026 | 1042k| 53.1 | 90M| 82 | - |1020 | 47k| 0 | 0 | 8 | 56k|3694 | 0.000000e+00 | -- | Inf
1693.62/1693.92 c 1694s| 19700 | 2028 | 1046k| 53.0 | 90M| 82 | 285 |1020 | 48k|1020 | 43k| 8 | 56k|3704 | 0.000000e+00 | -- | Inf
1701.61/1701.91 c 1702s| 19800 | 2051 | 1051k| 53.0 | 90M| 82 | 291 |1020 | 47k|1020 | 43k| 8 | 56k|3722 | 0.000000e+00 | -- | Inf
1707.81/1708.17 c 1708s| 19900 | 2060 | 1056k| 53.0 | 90M| 82 | - |1020 | 47k| 0 | 0 | 8 | 57k|3732 | 0.000000e+00 | -- | Inf
1716.01/1716.32 c 1716s| 20000 | 2076 | 1060k| 52.9 | 90M| 82 | - |1020 | 47k| 0 | 0 | 8 | 57k|3754 | 0.000000e+00 | -- | Inf
1721.91/1722.24 c 1722s| 20100 | 2078 | 1064k| 52.9 | 90M| 82 | - |1020 | 47k| 0 | 0 | 8 | 57k|3767 | 0.000000e+00 | -- | Inf
1729.11/1729.48 c 1729s| 20200 | 2086 | 1069k| 52.9 | 90M| 82 | 270 |1020 | 47k|1020 | 43k| 8 | 57k|3782 | 0.000000e+00 | -- | Inf
1736.01/1736.38 c 1736s| 20300 | 2093 | 1073k| 52.8 | 91M| 82 | 148 |1020 | 47k|1020 | 43k| 8 | 58k|3792 | 0.000000e+00 | -- | Inf
1743.40/1743.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1743.40/1743.77 c 1744s| 20400 | 2089 | 1078k| 52.8 | 91M| 82 | - |1020 | 47k| 0 | 0 | 8 | 58k|3812 | 0.000000e+00 | -- | Inf
1750.20/1750.52 c 1751s| 20500 | 2102 | 1082k| 52.7 | 91M| 82 | 215 |1020 | 47k|1020 | 43k| 8 | 58k|3822 | 0.000000e+00 | -- | Inf
1756.70/1757.02 c 1757s| 20600 | 2106 | 1087k| 52.7 | 91M| 82 | 225 |1020 | 47k|1020 | 43k| 8 | 59k|3833 | 0.000000e+00 | -- | Inf
1765.11/1765.48 c 1765s| 20700 | 2126 | 1092k| 52.7 | 91M| 82 | 188 |1020 | 47k|1020 | 43k| 8 | 59k|3855 | 0.000000e+00 | -- | Inf
1773.40/1773.71 c 1774s| 20800 | 2127 | 1098k| 52.7 | 91M| 82 | 229 |1020 | 47k|1020 | 43k| 8 | 59k|3875 | 0.000000e+00 | -- | Inf
1781.10/1781.48 c 1781s| 20900 | 2133 | 1102k| 52.7 | 91M| 82 | 239 |1020 | 48k|1020 | 43k| 8 | 60k|3899 | 0.000000e+00 | -- | Inf
1789.41/1789.72 c 1790s| 21000 | 2151 | 1108k| 52.7 | 91M| 82 | 254 |1020 | 47k|1020 | 43k| 8 | 60k|3918 | 0.000000e+00 | -- | Inf
1796.40/1796.73 c 1797s| 21100 | 2163 | 1113k| 52.7 | 92M| 82 | 211 |1020 | 48k|1020 | 43k| 8 | 60k|3935 | 0.000000e+00 | -- | Inf
1796.70/1797.03 c
1796.70/1797.03 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.03 c Solving Time (sec) : 1797.03
1796.70/1797.03 c Solving Nodes : 21101
1796.70/1797.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.70/1797.03 c Dual Bound : +0.00000000000000e+00
1796.70/1797.03 c Gap : infinite
1796.70/1797.03 s UNKNOWN
1796.70/1797.03 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.03 c Total Time : 1797.03
1796.70/1797.03 c solving : 1797.03
1796.70/1797.03 c presolving : 0.43 (included in solving)
1796.70/1797.03 c reading : 0.10 (included in solving)
1796.70/1797.03 c copying : 0.00 (0 times copied the problem)
1796.70/1797.03 c Original Problem :
1796.70/1797.03 c Problem name : HOME/instance-3690409-1338016938.opb
1796.70/1797.03 c Variables : 1020 (1020 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.03 c Constraints : 43010 initial, 43010 maximal
1796.70/1797.03 c Objective sense : minimize
1796.70/1797.03 c Presolved Problem :
1796.70/1797.03 c Problem name : t_HOME/instance-3690409-1338016938.opb
1796.70/1797.03 c Variables : 1020 (1020 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.03 c Constraints : 43010 initial, 48999 maximal
1796.70/1797.03 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.03 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c components : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c linear : 0.17 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c logicor : 0.10 0.02 0 0 0 0 0 0 0 0 0
1796.70/1797.03 c root node : - - 0 - - 0 - - - - -
1796.70/1797.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.03 c integral : 0 0 0 0 14585 0 1 0 56 671 0 0 28580
1796.70/1797.03 c setppc : 170 170 5 119097 0 7 0 168970 4283 209827 0 0 0
1796.70/1797.03 c logicor : 42840+ 48829 5 98562 0 6 0 1026726 6935 962727 0 0 0
1796.70/1797.03 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.70/1797.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.03 c integral : 539.94 0.00 0.00 0.00 539.94 0.00 0.00 0.00
1796.70/1797.03 c setppc : 3.99 0.00 0.00 3.76 0.00 0.00 0.00 0.23
1796.70/1797.03 c logicor : 26.69 0.02 0.01 25.85 0.00 0.01 0.00 0.81
1796.70/1797.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.03 c rootredcost : 0 0 0 0
1796.70/1797.03 c pseudoobj : 0 0 0 0
1796.70/1797.03 c vbounds : 0 0 0 0
1796.70/1797.03 c redcost : 14590 0 0 0
1796.70/1797.03 c probing : 0 0 0 0
1796.70/1797.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.03 c rootredcost : 0.04 0.00 0.00 0.04 0.00
1796.70/1797.03 c pseudoobj : 0.04 0.00 0.00 0.04 0.00
1796.70/1797.03 c vbounds : 0.03 0.00 0.00 0.03 0.00
1796.70/1797.03 c redcost : 0.31 0.00 0.00 0.31 0.00
1796.70/1797.03 c probing : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.03 c propagation : 5.30 11218 10897 354923 91.5 729 48.8 -
1796.70/1797.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.03 c applied globally : - - - 60664 63.4 - - -
1796.70/1797.03 c applied locally : - - - 59 131.5 - - -
1796.70/1797.03 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.03 c cut pool : 0.00 4 - - 651 - (maximal pool size: 1540)
1796.70/1797.03 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c impliedbounds : 0.00 0.00 5 0 0 0 0
1796.70/1797.03 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c gomory : 16.93 0.00 5 0 0 56 0
1796.70/1797.03 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c strongcg : 0.83 0.00 5 0 0 2500 0
1796.70/1797.03 c cmir : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c flowcover : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c clique : 0.01 0.00 5 0 0 0 0
1796.70/1797.03 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c mcf : 0.03 0.00 1 0 0 0 0
1796.70/1797.03 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.70/1797.03 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.03 c problem variables: 0.00 - 0 0
1796.70/1797.03 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.03 c relpscost : 539.91 0.00 14585 56 671 0 0 28580
1796.70/1797.03 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c inference : 0.00 0.00 1 0 0 0 0 2
1796.70/1797.03 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.03 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.03 c LP solutions : 0.00 - - 0
1796.70/1797.03 c pseudo solutions : 0.00 - - 0
1796.70/1797.03 c smallcard : 0.00 0.00 0 0
1796.70/1797.03 c trivial : 0.01 0.00 1 0
1796.70/1797.03 c shiftandpropagate: 0.00 0.00 0 0
1796.70/1797.03 c simplerounding : 0.00 0.00 0 0
1796.70/1797.03 c zirounding : 0.00 0.00 0 0
1796.70/1797.03 c rounding : 0.00 0.00 0 0
1796.70/1797.03 c shifting : 0.00 0.00 0 0
1796.70/1797.03 c intshifting : 0.00 0.00 0 0
1796.70/1797.03 c oneopt : 0.00 0.00 0 0
1796.70/1797.03 c twoopt : 0.00 0.00 0 0
1796.70/1797.03 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.03 c indoneopt : 0.00 0.00 0 0
1796.70/1797.03 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.03 c feaspump : 0.00 0.00 0 0
1796.70/1797.03 c clique : 0.00 0.00 0 0
1796.70/1797.03 c indrounding : 0.00 0.00 0 0
1796.70/1797.03 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.03 c coefdiving : 0.00 0.00 0 0
1796.70/1797.03 c pscostdiving : 0.00 0.00 0 0
1796.70/1797.03 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.03 c fracdiving : 0.00 0.00 0 0
1796.70/1797.03 c veclendiving : 0.00 0.00 0 0
1796.70/1797.03 c intdiving : 0.00 0.00 0 0
1796.70/1797.03 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.03 c objpscostdiving : 0.00 0.00 0 0
1796.70/1797.03 c rootsoldiving : 0.00 0.00 0 0
1796.70/1797.03 c linesearchdiving : 0.00 0.00 0 0
1796.70/1797.03 c guideddiving : 0.00 0.00 0 0
1796.70/1797.03 c octane : 0.00 0.00 0 0
1796.70/1797.03 c rens : 0.00 0.00 0 0
1796.70/1797.03 c rins : 0.00 0.00 0 0
1796.70/1797.03 c localbranching : 0.00 0.00 0 0
1796.70/1797.03 c mutation : 0.00 0.00 0 0
1796.70/1797.03 c crossover : 0.00 0.00 0 0
1796.70/1797.03 c dins : 0.00 0.00 0 0
1796.70/1797.03 c vbounds : 0.00 0.00 0 0
1796.70/1797.03 c undercover : 0.00 0.00 0 0
1796.70/1797.03 c subnlp : 0.00 0.00 0 0
1796.70/1797.03 c trysol : 0.00 0.00 0 0
1796.70/1797.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.03 c primal LP : 0.01 1 0 0.00 0.00 0.01 1
1796.70/1797.03 c dual LP : 1105.34 14590 1113451 76.32 1007.33 0.00 0
1796.70/1797.03 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.03 c diving/probing LP: 0.00 0 0 0.00 -
1796.70/1797.03 c strong branching : 537.80 3940 471720 119.73 877.14
1796.70/1797.03 c (at root node) : - 33 16969 514.21 -
1796.70/1797.03 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.03 c B&B Tree :
1796.70/1797.03 c number of runs : 1
1796.70/1797.03 c nodes : 21101
1796.70/1797.03 c nodes (total) : 21101
1796.70/1797.03 c nodes left : 2164
1796.70/1797.03 c max depth : 82
1796.70/1797.03 c max depth (total): 82
1796.70/1797.03 c backtracks : 5028 (23.8%)
1796.70/1797.03 c delayed cutoffs : 5318
1796.70/1797.03 c repropagations : 16497 (425998 domain reductions, 4469 cutoffs)
1796.70/1797.03 c avg switch length: 5.97
1796.70/1797.03 c switching time : 19.27
1796.70/1797.03 c Solution :
1796.70/1797.03 c Solutions found : 0 (0 improvements)
1796.70/1797.03 c Primal Bound : -
1796.70/1797.03 c Dual Bound : +0.00000000000000e+00
1796.70/1797.03 c Gap : infinite
1796.70/1797.03 c Root Dual Bound : +0.00000000000000e+00
1796.70/1797.03 c Root Iterations : 1831
1796.80/1797.15 c Time complete: 1796.84.
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-3690409-1338016938/watcher-3690409-1338016938 -o /tmp/evaluation-result-3690409-1338016938/solver-3690409-1338016938 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690409-1338016938.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 3/176 9642
/proc/meminfo: memFree=28924568/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=10828 CPUtime=0 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 1441 0 0 0 0 0 0 0 20 0 1 0 267819263 11087872 1395 33554432000 4194304 10173063 140734678967504 140736869863720 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 2707 1395 413 1460 0 1238 0
[startup+0.036727 s]
/proc/loadavg: 0.00 0.00 0.00 3/176 9642
/proc/meminfo: memFree=28924568/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=15688 CPUtime=0.03 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 2669 0 0 0 3 0 0 0 20 0 1 0 267819263 16064512 2623 33554432000 4194304 10173063 140734678967504 140736869863720 7141814 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 3922 2623 413 1460 0 2453 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15688
[startup+0.100176 s]
/proc/loadavg: 0.00 0.00 0.00 3/176 9642
/proc/meminfo: memFree=28924568/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=23176 CPUtime=0.09 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 4561 0 0 0 9 0 0 0 20 0 1 0 267819263 23732224 4504 33554432000 4194304 10173063 140734678967504 140734678832680 5479875 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 5794 4504 413 1460 0 4325 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23176
[startup+0.300176 s]
/proc/loadavg: 0.00 0.00 0.00 3/176 9642
/proc/meminfo: memFree=28924568/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=81140 CPUtime=0.29 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 19929 0 0 0 25 4 0 0 20 0 1 0 267819263 83087360 18686 33554432000 4194304 10173063 140734678967504 140734678832680 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 20285 18686 539 1460 0 18816 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 81140
[startup+0.700175 s]
/proc/loadavg: 0.00 0.00 0.00 3/176 9642
/proc/meminfo: memFree=28924568/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=152252 CPUtime=0.68 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 35309 0 0 0 59 9 0 0 20 0 1 0 267819263 155906048 35976 33554432000 4194304 10173063 140734678967504 140734678832680 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 38063 35976 720 1460 0 36594 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 152252
[startup+1.5001 s]
/proc/loadavg: 0.00 0.00 0.00 3/177 9643
/proc/meminfo: memFree=28776480/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=162220 CPUtime=1.49 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 38275 0 0 0 139 10 0 0 20 0 1 0 267819263 166113280 37827 33554432000 4194304 10173063 140734678967504 140734678960760 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 40555 37827 741 1460 0 39086 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 162220
[startup+3.1001 s]
/proc/loadavg: 0.00 0.00 0.00 3/177 9643
/proc/meminfo: memFree=28774596/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=162220 CPUtime=3.09 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 38275 0 0 0 298 11 0 0 20 0 1 0 267819263 166113280 37827 33554432000 4194304 10173063 140734678967504 140734678962376 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 40555 37827 741 1460 0 39086 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 162220
[startup+6.30022 s]
/proc/loadavg: 0.16 0.04 0.01 3/177 9643
/proc/meminfo: memFree=28775452/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=162220 CPUtime=6.28 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 38465 0 0 0 616 12 0 0 20 0 1 0 267819263 166113280 38010 33554432000 4194304 10173063 140734678967504 140734678962424 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 40555 38010 756 1460 0 39086 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 162220
[startup+12.7001 s]
/proc/loadavg: 0.31 0.07 0.02 3/177 9681
/proc/meminfo: memFree=28396388/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=162220 CPUtime=12.69 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 38872 0 0 0 1253 16 0 0 20 0 1 0 267819263 166113280 38409 33554432000 4194304 10173063 140734678967504 140734678962376 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 40555 38409 756 1460 0 39086 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 162220
[startup+25.5002 s]
/proc/loadavg: 0.68 0.16 0.05 3/177 9681
/proc/meminfo: memFree=27871788/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=163072 CPUtime=25.48 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 39481 0 0 0 2528 20 0 0 20 0 1 0 267819263 166985728 39025 33554432000 4194304 10173063 140734678967504 140734678960952 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 40768 39025 760 1460 0 39299 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 163072
[startup+51.1003 s]
/proc/loadavg: 1.13 0.31 0.10 3/177 9682
/proc/meminfo: memFree=27853144/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=166364 CPUtime=51.06 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 40166 0 0 0 5081 25 0 0 20 0 1 0 267819263 170356736 39792 33554432000 4194304 10173063 140734678967504 140734678960920 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 41591 39792 769 1460 0 40122 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 166364
[startup+102.307 s]
/proc/loadavg: 1.62 0.57 0.20 3/177 9682
/proc/meminfo: memFree=27821272/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=166364 CPUtime=102.26 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 40611 0 0 0 10192 34 0 0 20 0 1 0 267819263 170356736 40544 33554432000 4194304 10173063 140734678967504 140734678960632 8032990 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 41591 40544 769 1460 0 40122 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 166364
[startup+162.3 s]
/proc/loadavg: 1.86 0.83 0.31 3/177 9682
/proc/meminfo: memFree=27811748/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=167860 CPUtime=162.25 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 40748 0 0 0 16181 44 0 0 20 0 1 0 267819263 171888640 40681 33554432000 4194304 10173063 140734678967504 140734678960680 8046716 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 41965 40681 769 1460 0 40496 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 167860
[startup+222.3 s]
/proc/loadavg: 1.95 1.04 0.41 3/177 9682
/proc/meminfo: memFree=27792004/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=170276 CPUtime=222.24 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 41350 0 0 0 22169 55 0 0 20 0 1 0 267819263 174362624 41283 33554432000 4194304 10173063 140734678967504 140734678960760 4531462 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 42569 41283 774 1460 0 41100 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 170276
[startup+282.3 s]
/proc/loadavg: 1.98 1.21 0.51 3/178 9683
/proc/meminfo: memFree=27788556/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=173744 CPUtime=282.23 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 42266 0 0 0 28155 68 0 0 20 0 1 0 267819263 177913856 42199 33554432000 4194304 10173063 140734678967504 140734678961416 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 43436 42199 774 1460 0 41967 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 173744
[startup+342.3 s]
/proc/loadavg: 1.99 1.35 0.60 3/177 9684
/proc/meminfo: memFree=27787644/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=174344 CPUtime=342.23 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 42451 0 0 0 34143 80 0 0 20 0 1 0 267819263 178528256 42384 33554432000 4194304 10173063 140734678967504 140734678960760 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 43586 42384 774 1460 0 42117 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 174344
[startup+402.3 s]
/proc/loadavg: 1.99 1.47 0.68 3/177 9684
/proc/meminfo: memFree=27785620/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=175292 CPUtime=402.22 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 42614 0 0 0 40132 90 0 0 20 0 1 0 267819263 179499008 42547 33554432000 4194304 10173063 140734678967504 140734678962872 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 43823 42547 774 1460 0 42354 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 175292
[startup+462.3 s]
/proc/loadavg: 1.99 1.56 0.76 3/177 9684
/proc/meminfo: memFree=27781732/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=175364 CPUtime=462.21 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 43049 0 0 0 46122 99 0 0 20 0 1 0 267819263 179572736 42982 33554432000 4194304 10173063 140734678967504 140734678960680 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 43841 42982 774 1460 0 42372 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 175364
[startup+522.3 s]
/proc/loadavg: 1.99 1.64 0.84 3/178 9687
/proc/meminfo: memFree=27778172/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=179300 CPUtime=522.2 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 43621 0 0 0 52109 111 0 0 20 0 1 0 267819263 183603200 43554 33554432000 4194304 10173063 140734678967504 140734678960488 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 44825 43554 774 1460 0 43356 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 179300
[startup+582.3 s]
/proc/loadavg: 1.99 1.70 0.91 3/177 9687
/proc/meminfo: memFree=27777172/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=179676 CPUtime=582.19 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 43846 0 0 0 58096 123 0 0 20 0 1 0 267819263 183988224 43830 33554432000 4194304 10173063 140734678967504 140734678960760 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 44919 43830 774 1460 0 43450 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 179676
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27761900/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=194248 CPUtime=1062.11 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 47528 0 0 0 105996 215 0 0 20 0 1 0 267819263 198909952 47511 33554432000 4194304 10173063 140734678967504 140734678960872 8033146 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 48562 47511 774 1460 0 47093 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 194248
[startup+1122.3 s]
/proc/loadavg: 2.20 2.10 1.45 3/178 9692
/proc/meminfo: memFree=27759048/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=197556 CPUtime=1122.1 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 48207 0 0 0 111984 226 0 0 20 0 1 0 267819263 202297344 48190 33554432000 4194304 10173063 140734678967504 140734678960760 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 49389 48190 774 1460 0 47920 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 197556
[startup+1182.3 s]
/proc/loadavg: 2.07 2.08 1.48 3/177 9692
/proc/meminfo: memFree=27756760/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=197556 CPUtime=1182.09 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 48253 0 0 0 117973 236 0 0 20 0 1 0 267819263 202297344 48236 33554432000 4194304 10173063 140734678967504 140734678960440 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 49389 48236 774 1460 0 47920 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 197556
[startup+1242.3 s]
/proc/loadavg: 2.07 2.08 1.51 3/177 9692
/proc/meminfo: memFree=27756372/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=197556 CPUtime=1242.08 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 48292 0 0 0 123962 246 0 0 20 0 1 0 267819263 202297344 48278 33554432000 4194304 10173063 140734678967504 140734678960760 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 49389 48278 774 1460 0 47920 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 197556
[startup+1302.3 s]
/proc/loadavg: 2.09 2.08 1.55 3/177 9693
/proc/meminfo: memFree=27755496/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=198888 CPUtime=1302.08 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 48547 0 0 0 129951 257 0 0 20 0 1 0 267819263 203661312 48533 33554432000 4194304 10173063 140734678967504 140734678960952 8033066 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 49722 48533 774 1460 0 48253 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 198888
[startup+1362.3 s]
/proc/loadavg: 2.06 2.08 1.58 3/177 9693
/proc/meminfo: memFree=27745196/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=198888 CPUtime=1362.06 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 48578 0 0 0 135936 270 0 0 20 0 1 0 267819263 203661312 48564 33554432000 4194304 10173063 140734678967504 140734678961336 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 49722 48564 774 1460 0 48253 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 198888
[startup+1422.31 s]
/proc/loadavg: 2.02 2.06 1.60 3/177 9693
/proc/meminfo: memFree=27743216/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=201620 CPUtime=1422.06 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 49013 0 0 0 141924 282 0 0 20 0 1 0 267819263 206458880 48999 33554432000 4194304 10173063 140734678967504 140734678960760 7594591 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 50405 48999 774 1460 0 48936 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 201620
[startup+1482.3 s]
/proc/loadavg: 2.01 2.05 1.62 3/177 9693
/proc/meminfo: memFree=27742844/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=201620 CPUtime=1482.04 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 49117 0 0 0 147911 293 0 0 20 0 1 0 267819263 206458880 49103 33554432000 4194304 10173063 140734678967504 140734678960760 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 50405 49103 774 1460 0 48936 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 201620
[startup+1542.3 s]
/proc/loadavg: 2.04 2.05 1.65 3/177 9693
/proc/meminfo: memFree=27742724/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=201620 CPUtime=1542.04 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 49216 0 0 0 153898 306 0 0 20 0 1 0 267819263 206458880 49202 33554432000 4194304 10173063 140734678967504 140734678960760 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 50405 49202 774 1460 0 48936 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 201620
[startup+1602.3 s]
/proc/loadavg: 2.08 2.06 1.67 3/177 9694
/proc/meminfo: memFree=27741984/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=201960 CPUtime=1602.02 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 49386 0 0 0 159883 319 0 0 20 0 1 0 267819263 206807040 49372 33554432000 4194304 10173063 140734678967504 140734678960760 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 50490 49372 774 1460 0 49021 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 201960
[startup+1662.3 s]
/proc/loadavg: 2.12 2.07 1.70 3/177 9694
/proc/meminfo: memFree=27740184/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=203104 CPUtime=1662.02 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 49606 0 0 0 165870 332 0 0 20 0 1 0 267819263 207978496 49592 33554432000 4194304 10173063 140734678967504 140734678960760 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 50776 49592 774 1460 0 49307 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 203104
[startup+1722.3 s]
/proc/loadavg: 2.08 2.07 1.72 3/178 9697
/proc/meminfo: memFree=27739316/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=204064 CPUtime=1722 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 49842 0 0 0 171858 342 0 0 20 0 1 0 267819263 208961536 49828 33554432000 4194304 10173063 140734678967504 140734678964872 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 51016 49828 774 1460 0 49547 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 204064
[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 1.74 3/177 9697
/proc/meminfo: memFree=27738088/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=204064 CPUtime=1782 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 49957 0 0 0 177847 353 0 0 20 0 1 0 267819263 208961536 49943 33554432000 4194304 10173063 140734678967504 140734678964872 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 51016 49943 774 1460 0 49547 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 204064
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.05 1.74 3/177 9697
/proc/meminfo: memFree=27738088/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=204064 CPUtime=1785.2 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 49966 0 0 0 178166 354 0 0 20 0 1 0 267819263 208961536 49952 33554432000 4194304 10173063 140734678967504 140734678960952 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 51016 49952 774 1460 0 49547 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 204064
[startup+1791.91 s]
/proc/loadavg: 2.02 2.05 1.74 3/177 9697
/proc/meminfo: memFree=27738088/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=204064 CPUtime=1791.6 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 49987 0 0 0 178805 355 0 0 20 0 1 0 267819263 208961536 49973 33554432000 4194304 10173063 140734678967504 140734678960488 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 51016 49973 774 1460 0 49547 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 204064
[startup+1795.1 s]
/proc/loadavg: 2.02 2.05 1.74 3/177 9697
/proc/meminfo: memFree=27738336/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=204064 CPUtime=1794.81 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 49993 0 0 0 179125 356 0 0 20 0 1 0 267819263 208961536 49979 33554432000 4194304 10173063 140734678967504 140734678962872 8012598 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 51016 49979 774 1460 0 49547 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 204064
[startup+1795.9 s]
/proc/loadavg: 2.02 2.05 1.74 3/177 9697
/proc/meminfo: memFree=27738336/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=204064 CPUtime=1795.6 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 49994 0 0 0 179204 356 0 0 20 0 1 0 267819263 208961536 49980 33554432000 4194304 10173063 140734678967504 140734678962872 8033024 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 51016 49980 774 1460 0 49547 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 204064
[startup+1796.7 s]
/proc/loadavg: 2.02 2.05 1.74 3/177 9697
/proc/meminfo: memFree=27738336/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=204064 CPUtime=1796.4 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 49995 0 0 0 179284 356 0 0 20 0 1 0 267819263 208961536 49981 33554432000 4194304 10173063 140734678967504 140734678960760 5134490 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 51016 49981 774 1460 0 49547 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 204064
[startup+1797.1 s]
/proc/loadavg: 2.02 2.05 1.74 3/177 9697
/proc/meminfo: memFree=27738336/32873648 swapFree=7104/7104
[pid=9642] ppid=9640 vsize=202016 CPUtime=1796.8 cores=1,3,5,7
/proc/9642/stat : 9642 (scip-2.1.1.4fix) R 9640 9642 9598 0 -1 4202496 50009 0 0 0 179324 356 0 0 20 0 1 0 267819263 206864384 49483 33554432000 4194304 10173063 140734678967504 140734678966616 5551139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9642/statm: 50504 49483 788 1460 0 49035 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 202016
Child status: 0
Real time (s): 1797.15
CPU time (s): 1796.86
CPU user time (s): 1793.29
CPU system time (s): 3.57046
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 204064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.29
system time used= 3.57046
maximum resident set size= 199972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50023
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= 39
involuntary context switches= 1850
runsolver used 3.08253 second user time and 8.68368 second system time
The end