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: 947bdb7-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-3691793-1338041426.opb>
0.09/0.14 c original problem has 1840 variables (1840 bin, 0 int, 0 impl, 0 cont) and 46243 constraints
0.09/0.14 c problem read in 0.14
0.09/0.14 c No objective function, only one solution is needed.
0.09/0.14 c presolving settings loaded
0.19/0.20 c presolving:
0.29/0.39 c (round 1) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 26102 impls, 39 clqs
0.69/0.70 c (round 2) 1 del vars, 9 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 0 chg coeffs, 46396 upgd conss, 26102 impls, 39 clqs
0.79/0.82 c (round 3) 1 del vars, 171 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 0 chg coeffs, 46396 upgd conss, 26102 impls, 39 clqs
0.89/0.92 c (round 4) 1 del vars, 179 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 0 chg coeffs, 46396 upgd conss, 26102 impls, 39 clqs
0.99/1.04 c presolving (5 rounds):
0.99/1.04 c 1 deleted vars, 183 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 4 changed sides, 0 changed coefficients
0.99/1.04 c 26102 implications, 39 cliques
0.99/1.04 c presolved problem has 1839 variables (1839 bin, 0 int, 0 impl, 0 cont) and 46060 constraints
0.99/1.04 c 3696 constraints of type <knapsack>
0.99/1.04 c 12807 constraints of type <setppc>
0.99/1.04 c 4 constraints of type <linear>
0.99/1.04 c 29553 constraints of type <logicor>
0.99/1.04 c transformed objective value is always integral (scale: 1)
0.99/1.04 c Presolving Time: 0.84
0.99/1.04 c - non default parameters ----------------------------------------------------------------------
0.99/1.04 c # SCIP version 2.1.1.4
0.99/1.04 c
0.99/1.04 c # maximal time in seconds to run
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.04 c limits/time = 1797
0.99/1.04 c
0.99/1.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.99/1.04 c limits/memory = 13950
0.99/1.04 c
0.99/1.04 c # solving stops, if the given number of solutions were found (-1: no limit)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.04 c limits/solutions = 1
0.99/1.04 c
0.99/1.04 c # maximal number of separation rounds per node (-1: unlimited)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 5]
0.99/1.04 c separating/maxrounds = 1
0.99/1.04 c
0.99/1.04 c # maximal number of separation rounds in the root node (-1: unlimited)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.04 c separating/maxroundsroot = 5
0.99/1.04 c
0.99/1.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.99/1.04 c # [type: int, range: [1,2], default: 1]
0.99/1.04 c timing/clocktype = 2
0.99/1.04 c
0.99/1.04 c # belongs reading time to solving time?
0.99/1.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.99/1.04 c timing/reading = TRUE
0.99/1.04 c
0.99/1.04 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.99/1.04 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.99/1.04 c constraints/knapsack/disaggregation = FALSE
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.04 c heuristics/coefdiving/freq = -1
0.99/1.04 c
0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.04 c heuristics/coefdiving/maxlpiterquot = 0.075
0.99/1.04 c
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/coefdiving/maxlpiterofs = 1500
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 30]
0.99/1.04 c heuristics/crossover/freq = -1
0.99/1.04 c
0.99/1.04 c # number of nodes added to the contingent of the total nodes
0.99/1.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.99/1.04 c heuristics/crossover/nodesofs = 750
0.99/1.04 c
0.99/1.04 c # number of nodes without incumbent change that heuristic should wait
0.99/1.04 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.99/1.04 c heuristics/crossover/nwaitingnodes = 100
0.99/1.04 c
0.99/1.04 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.99/1.04 c # [type: real, range: [0,1], default: 0.1]
0.99/1.04 c heuristics/crossover/nodesquot = 0.15
0.99/1.04 c
0.99/1.04 c # minimum percentage of integer variables that have to be fixed
0.99/1.04 c # [type: real, range: [0,1], default: 0.666]
0.99/1.04 c heuristics/crossover/minfixingrate = 0.5
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 20]
0.99/1.04 c heuristics/feaspump/freq = -1
0.99/1.04 c
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/feaspump/maxlpiterofs = 2000
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.04 c heuristics/fracdiving/freq = -1
0.99/1.04 c
0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.04 c heuristics/fracdiving/maxlpiterquot = 0.075
0.99/1.04 c
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/fracdiving/maxlpiterofs = 1500
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.04 c heuristics/guideddiving/freq = -1
0.99/1.04 c
0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.04 c heuristics/guideddiving/maxlpiterquot = 0.075
0.99/1.04 c
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/guideddiving/maxlpiterofs = 1500
0.99/1.04 c
0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.04 c heuristics/intdiving/maxlpiterquot = 0.075
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.04 c heuristics/intshifting/freq = -1
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.04 c heuristics/linesearchdiving/freq = -1
0.99/1.04 c
0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.04 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.99/1.04 c
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 20]
0.99/1.04 c heuristics/objpscostdiving/freq = -1
0.99/1.04 c
0.99/1.04 c # maximal fraction of diving LP iterations compared to total iteration number
0.99/1.04 c # [type: real, range: [0,1], default: 0.01]
0.99/1.04 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.99/1.04 c
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.04 c heuristics/oneopt/freq = -1
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.04 c heuristics/pscostdiving/freq = -1
0.99/1.04 c
0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.04 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.99/1.04 c
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/pscostdiving/maxlpiterofs = 1500
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.04 c heuristics/rens/freq = -1
0.99/1.04 c
0.99/1.04 c # minimum percentage of integer variables that have to be fixable
0.99/1.04 c # [type: real, range: [0,1], default: 0.5]
0.99/1.04 c heuristics/rens/minfixingrate = 0.3
0.99/1.04 c
0.99/1.04 c # number of nodes added to the contingent of the total nodes
0.99/1.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.99/1.04 c heuristics/rens/nodesofs = 2000
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 20]
0.99/1.04 c heuristics/rootsoldiving/freq = -1
0.99/1.04 c
0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.99/1.04 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.99/1.04 c
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.04 c heuristics/rounding/freq = -1
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.04 c heuristics/shiftandpropagate/freq = -1
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.04 c heuristics/shifting/freq = -1
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.04 c heuristics/simplerounding/freq = -1
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.04 c heuristics/subnlp/freq = -1
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.04 c heuristics/trivial/freq = -1
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.04 c heuristics/trysol/freq = -1
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.04 c heuristics/undercover/freq = -1
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 10]
0.99/1.04 c heuristics/veclendiving/freq = -1
0.99/1.04 c
0.99/1.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.99/1.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.99/1.04 c heuristics/veclendiving/maxlpiterquot = 0.075
0.99/1.04 c
0.99/1.04 c # additional number of allowed LP iterations
0.99/1.04 c # [type: int, range: [0,2147483647], default: 1000]
0.99/1.04 c heuristics/veclendiving/maxlpiterofs = 1500
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.04 c heuristics/zirounding/freq = -1
0.99/1.04 c
0.99/1.04 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.04 c propagating/probing/maxprerounds = 0
0.99/1.04 c
0.99/1.04 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.04 c separating/cmir/freq = -1
0.99/1.04 c
0.99/1.04 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 0]
0.99/1.04 c separating/flowcover/freq = -1
0.99/1.04 c
0.99/1.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: -1]
0.99/1.04 c separating/rapidlearning/freq = 0
0.99/1.04 c
0.99/1.04 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.99/1.04 c # [type: int, range: [-1,2147483647], default: 1]
0.99/1.04 c heuristics/indoneopt/freq = -1
0.99/1.04 c
0.99/1.04 c -----------------------------------------------------------------------------------------------
0.99/1.04 c start solving
0.99/1.04 c
1.18/1.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.18/1.24 c 1.2s| 1 | 0 | 128 | - | 73M| 0 | 107 |1839 | 46k|1839 | 46k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.56 c 1.6s| 1 | 0 | 355 | - | 73M| 0 | 270 |1839 | 46k|1839 | 46k| 9 | 0 | 0 | 0.000000e+00 | -- | Inf
1.78/1.89 c 1.9s| 1 | 0 | 482 | - | 73M| 0 | 259 |1839 | 46k|1839 | 46k| 22 | 0 | 0 | 0.000000e+00 | -- | Inf
2.10/2.16 c 2.2s| 1 | 0 | 515 | - | 74M| 0 | 265 |1839 | 46k|1839 | 46k| 34 | 0 | 0 | 0.000000e+00 | -- | Inf
2.39/2.45 c 2.4s| 1 | 0 | 544 | - | 74M| 0 | 209 |1839 | 46k|1839 | 46k| 44 | 0 | 0 | 0.000000e+00 | -- | Inf
2.79/2.81 c 2.8s| 1 | 0 | 620 | - | 75M| 0 | 200 |1839 | 46k|1839 | 46k| 53 | 0 | 0 | 0.000000e+00 | -- | Inf
5.19/5.21 c 5.2s| 1 | 2 | 620 | - | 75M| 0 | 200 |1839 | 46k|1839 | 46k| 53 | 0 | 22 | 0.000000e+00 | -- | Inf
96.07/96.17 c 96.2s| 100 | 92 | 3982 | 34.0 | 77M| 38 | 98 |1839 | 46k|1839 | 46k| 53 | 9 | 569 | 0.000000e+00 | -- | Inf
99.67/99.74 c 99.7s| 200 | 102 | 6928 | 31.7 | 77M| 43 | - |1839 | 46k| 0 | 0 | 53 | 109 | 573 | 0.000000e+00 | -- | Inf
111.67/111.76 c 112s| 300 | 129 | 13659 | 43.6 | 78M| 43 | 305 |1839 | 46k|1839 | 46k| 53 | 168 | 632 | 0.000000e+00 | -- | Inf
124.07/124.11 c 124s| 400 | 172 | 21278 | 51.8 | 78M| 43 | 367 |1839 | 46k|1839 | 46k| 53 | 235 | 672 | 0.000000e+00 | -- | Inf
137.47/137.56 c 138s| 500 | 206 | 30117 | 59.1 | 79M| 43 | 271 |1839 | 46k|1839 | 46k| 53 | 293 | 713 | 0.000000e+00 | -- | Inf
207.86/207.91 c 208s| 600 | 261 | 87006 | 144.2 | 80M| 43 | 516 |1839 | 46k|1839 | 46k| 53 | 336 | 829 | 0.000000e+00 | -- | Inf
222.76/222.84 c 223s| 700 | 329 | 97820 | 139.1 | 81M| 44 | 165 |1839 | 46k|1839 | 46k| 53 | 377 | 873 | 0.000000e+00 | -- | Inf
252.95/253.09 c 253s| 800 | 387 |127648 | 159.0 | 82M| 44 | 193 |1839 | 46k|1839 | 46k| 53 | 425 | 941 | 0.000000e+00 | -- | Inf
262.25/262.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
262.25/262.35 c 262s| 900 | 451 |134833 | 149.3 | 83M| 61 | - |1839 | 46k| 0 | 0 | 53 | 467 | 955 | 0.000000e+00 | -- | Inf
264.74/264.86 c 265s| 1000 | 495 |136514 | 136.0 | 83M| 72 | 54 |1839 | 46k|1839 | 46k| 53 | 554 | 955 | 0.000000e+00 | -- | Inf
267.55/267.66 c 268s| 1100 | 519 |138277 | 125.3 | 84M| 72 | - |1839 | 46k| 0 | 0 | 53 | 694 | 958 | 0.000000e+00 | -- | Inf
271.44/271.50 c 271s| 1200 | 515 |139841 | 116.1 | 84M| 72 | 71 |1839 | 46k|1839 | 46k| 53 | 963 | 971 | 0.000000e+00 | -- | Inf
274.14/274.20 c 274s| 1300 | 485 |141891 | 108.8 | 84M| 72 | 128 |1839 | 46k|1839 | 46k| 53 |1207 | 971 | 0.000000e+00 | -- | Inf
280.55/280.61 c 281s| 1400 | 440 |145726 | 103.7 | 83M| 72 | 232 |1839 | 46k|1839 | 46k| 53 |1340 | 995 | 0.000000e+00 | -- | Inf
292.65/292.70 c 293s| 1500 | 479 |156242 | 103.8 | 84M| 72 | - |1839 | 46k| 0 | 0 | 53 |1471 |1037 | 0.000000e+00 | -- | Inf
318.74/318.90 c 319s| 1600 | 531 |177416 | 110.6 | 84M| 72 | 239 |1839 | 46k|1839 | 46k| 53 |1558 |1089 | 0.000000e+00 | -- | Inf
335.34/335.49 c 335s| 1700 | 585 |193521 | 113.5 | 85M| 72 | 133 |1839 | 46k|1839 | 46k| 53 |1626 |1127 | 0.000000e+00 | -- | Inf
345.14/345.28 c 345s| 1800 | 667 |203532 | 112.8 | 87M| 72 | - |1839 | 46k| 0 | 0 | 53 |1637 |1153 | 0.000000e+00 | -- | Inf
350.33/350.42 c 350s| 1900 | 736 |206442 | 108.4 | 88M| 72 | 171 |1839 | 46k|1839 | 46k| 53 |1677 |1175 | 0.000000e+00 | -- | Inf
354.43/354.54 c 355s| 2000 | 801 |208974 | 104.2 | 88M| 72 | 151 |1839 | 47k|1839 | 46k| 53 |1712 |1188 | 0.000000e+00 | -- | Inf
360.83/360.91 c 361s| 2100 | 851 |213574 | 101.5 | 89M| 72 | 152 |1839 | 47k|1839 | 46k| 53 |1777 |1218 | 0.000000e+00 | -- | Inf
368.04/368.13 c 368s| 2200 | 904 |217989 | 98.8 | 90M| 72 | 92 |1839 | 47k|1839 | 46k| 53 |1816 |1263 | 0.000000e+00 | -- | Inf
374.43/374.53 c 375s| 2300 | 966 |221849 | 96.2 | 91M| 72 | 117 |1839 | 47k|1839 | 46k| 53 |1850 |1297 | 0.000000e+00 | -- | Inf
382.53/382.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
382.53/382.68 c 383s| 2400 | 1025 |228431 | 95.0 | 92M| 72 | 52 |1839 | 47k|1839 | 46k| 53 |1913 |1322 | 0.000000e+00 | -- | Inf
390.83/390.93 c 391s| 2500 | 1077 |233274 | 93.1 | 92M| 72 | 70 |1839 | 47k|1839 | 46k| 53 |1982 |1369 | 0.000000e+00 | -- | Inf
397.23/397.30 c 397s| 2600 | 1149 |237952 | 91.3 | 93M| 72 | 222 |1839 | 47k|1839 | 46k| 53 |2011 |1393 | 0.000000e+00 | -- | Inf
402.43/402.56 c 403s| 2700 | 1212 |241309 | 89.2 | 94M| 72 | - |1839 | 47k| 0 | 0 | 53 |2082 |1412 | 0.000000e+00 | -- | Inf
408.82/408.91 c 409s| 2800 | 1265 |245643 | 87.5 | 95M| 72 | 44 |1839 | 47k|1839 | 46k| 53 |2149 |1441 | 0.000000e+00 | -- | Inf
416.22/416.30 c 416s| 2900 | 1324 |250737 | 86.3 | 96M| 72 | 193 |1839 | 47k|1839 | 46k| 53 |2235 |1469 | 0.000000e+00 | -- | Inf
426.22/426.32 c 426s| 3000 | 1380 |257893 | 85.8 | 97M| 72 | 247 |1839 | 47k|1839 | 46k| 53 |2279 |1513 | 0.000000e+00 | -- | Inf
434.13/434.28 c 434s| 3100 | 1428 |262517 | 84.5 | 97M| 72 | 150 |1839 | 47k|1839 | 46k| 53 |2371 |1553 | 0.000000e+00 | -- | Inf
440.62/440.80 c 441s| 3200 | 1479 |267782 | 83.5 | 98M| 72 | 157 |1839 | 47k|1839 | 46k| 53 |2461 |1575 | 0.000000e+00 | -- | Inf
447.82/447.96 c 448s| 3300 | 1516 |272305 | 82.4 | 99M| 72 | - |1839 | 47k| 0 | 0 | 53 |2574 |1617 | 0.000000e+00 | -- | Inf
454.71/454.89 c 455s| 3400 | 1546 |276827 | 81.3 | 99M| 72 | 122 |1839 | 47k|1839 | 46k| 53 |2780 |1653 | 0.000000e+00 | -- | Inf
462.22/462.36 c 462s| 3500 | 1577 |281516 | 80.3 | 100M| 72 | 196 |1839 | 47k|1839 | 46k| 53 |2965 |1692 | 0.000000e+00 | -- | Inf
470.11/470.23 c 470s| 3600 | 1623 |286874 | 79.5 | 101M| 72 | 40 |1839 | 47k|1839 | 46k| 53 |3102 |1728 | 0.000000e+00 | -- | Inf
477.22/477.32 c 477s| 3700 | 1654 |292286 | 78.8 | 101M| 72 | 205 |1839 | 47k|1839 | 46k| 53 |3296 |1756 | 0.000000e+00 | -- | Inf
484.71/484.88 c 485s| 3800 | 1659 |296836 | 78.0 | 101M| 72 | 316 |1839 | 47k|1839 | 46k| 53 |3534 |1802 | 0.000000e+00 | -- | Inf
495.31/495.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
495.31/495.40 c 495s| 3900 | 1692 |303736 | 77.7 | 102M| 72 | - |1839 | 47k| 0 | 0 | 53 |3716 |1868 | 0.000000e+00 | -- | Inf
502.52/502.68 c 503s| 4000 | 1726 |308413 | 77.0 | 102M| 72 | 251 |1839 | 47k|1839 | 46k| 53 |3859 |1905 | 0.000000e+00 | -- | Inf
510.61/510.74 c 511s| 4100 | 1752 |313810 | 76.4 | 103M| 72 | 334 |1839 | 47k|1839 | 46k| 53 |4010 |1952 | 0.000000e+00 | -- | Inf
519.81/519.99 c 520s| 4200 | 1789 |320717 | 76.2 | 103M| 72 | 229 |1839 | 47k|1839 | 46k| 53 |4129 |2001 | 0.000000e+00 | -- | Inf
528.71/528.80 c 529s| 4300 | 1834 |327151 | 76.0 | 104M| 72 | - |1839 | 47k| 0 | 0 | 53 |4223 |2050 | 0.000000e+00 | -- | Inf
536.90/537.02 c 537s| 4400 | 1864 |332474 | 75.4 | 105M| 72 | 218 |1839 | 47k|1839 | 46k| 53 |4341 |2092 | 0.000000e+00 | -- | Inf
545.71/545.85 c 546s| 4500 | 1923 |339160 | 75.2 | 106M| 72 | 236 |1839 | 47k|1839 | 46k| 53 |4413 |2140 | 0.000000e+00 | -- | Inf
554.71/554.85 c 555s| 4600 | 1986 |345285 | 74.9 | 107M| 72 | 152 |1839 | 47k|1839 | 46k| 53 |4449 |2190 | 0.000000e+00 | -- | Inf
561.00/561.12 c 561s| 4700 | 2020 |349720 | 74.3 | 107M| 72 | 150 |1839 | 47k|1839 | 46k| 53 |4583 |2226 | 0.000000e+00 | -- | Inf
568.40/568.51 c 569s| 4800 | 2060 |354706 | 73.8 | 108M| 72 | - |1839 | 47k| 0 | 0 | 53 |4693 |2275 | 0.000000e+00 | -- | Inf
573.90/574.08 c 574s| 4900 | 2090 |358356 | 73.0 | 109M| 72 | 326 |1839 | 47k|1839 | 46k| 53 |4814 |2310 | 0.000000e+00 | -- | Inf
584.10/584.26 c 584s| 5000 | 2132 |365463 | 73.0 | 109M| 72 | 94 |1839 | 47k|1839 | 46k| 53 |4900 |2376 | 0.000000e+00 | -- | Inf
594.00/594.18 c 594s| 5100 | 2202 |372123 | 72.9 | 110M| 72 | 94 |1839 | 47k|1839 | 46k| 53 |4943 |2434 | 0.000000e+00 | -- | Inf
605.39/605.59 c 606s| 5200 | 2275 |381159 | 73.2 | 112M| 72 | 353 |1839 | 47k|1839 | 46k| 53 |4970 |2476 | 0.000000e+00 | -- | Inf
614.09/614.26 c 614s| 5300 | 2346 |389085 | 73.3 | 113M| 72 | 265 |1839 | 47k|1839 | 46k| 53 |4999 |2496 | 0.000000e+00 | -- | Inf
627.20/627.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
627.20/627.33 c 627s| 5400 | 2405 |399552 | 73.9 | 114M| 72 | 265 |1839 | 47k|1839 | 46k| 53 |5082 |2547 | 0.000000e+00 | -- | Inf
638.69/638.86 c 639s| 5500 | 2476 |408429 | 74.2 | 115M| 72 | 117 |1839 | 47k|1839 | 46k| 53 |5119 |2594 | 0.000000e+00 | -- | Inf
648.59/648.70 c 649s| 5600 | 2525 |415949 | 74.2 | 116M| 72 | 176 |1839 | 47k|1839 | 46k| 53 |5195 |2640 | 0.000000e+00 | -- | Inf
656.89/657.09 c 657s| 5700 | 2577 |422491 | 74.0 | 117M| 72 | 71 |1839 | 47k|1839 | 46k| 53 |5273 |2682 | 0.000000e+00 | -- | Inf
666.29/666.48 c 666s| 5800 | 2650 |429647 | 74.0 | 118M| 72 | 132 |1839 | 47k|1839 | 46k| 53 |5348 |2721 | 0.000000e+00 | -- | Inf
678.59/678.72 c 679s| 5900 | 2726 |439619 | 74.4 | 120M| 72 | 94 |1839 | 47k|1839 | 46k| 53 |5388 |2781 | 0.000000e+00 | -- | Inf
688.59/688.73 c 689s| 6000 | 2784 |447526 | 74.5 | 121M| 72 | 214 |1839 | 47k|1839 | 46k| 53 |5463 |2827 | 0.000000e+00 | -- | Inf
700.08/700.26 c 700s| 6100 | 2838 |456223 | 74.7 | 122M| 72 | 225 |1839 | 47k|1839 | 46k| 53 |5559 |2897 | 0.000000e+00 | -- | Inf
710.39/710.56 c 711s| 6200 | 2885 |464317 | 74.8 | 123M| 72 | 214 |1839 | 47k|1839 | 46k| 53 |5676 |2947 | 0.000000e+00 | -- | Inf
719.78/719.91 c 720s| 6300 | 2935 |471053 | 74.7 | 124M| 72 | 237 |1839 | 47k|1839 | 46k| 53 |5779 |3002 | 0.000000e+00 | -- | Inf
731.78/731.97 c 732s| 6400 | 2979 |480912 | 75.1 | 125M| 72 | 262 |1839 | 47k|1839 | 46k| 53 |5879 |3047 | 0.000000e+00 | -- | Inf
741.78/741.92 c 742s| 6500 | 3027 |489763 | 75.3 | 126M| 72 | - |1839 | 47k| 0 | 0 | 53 |5975 |3077 | 0.000000e+00 | -- | Inf
749.67/749.89 c 750s| 6600 | 3094 |495812 | 75.0 | 127M| 72 | 269 |1839 | 47k|1839 | 46k| 53 |6020 |3110 | 0.000000e+00 | -- | Inf
762.27/762.41 c 762s| 6700 | 3130 |506550 | 75.5 | 128M| 72 | 313 |1839 | 47k|1839 | 46k| 53 |6167 |3170 | 0.000000e+00 | -- | Inf
770.77/770.96 c 771s| 6800 | 3169 |513064 | 75.4 | 129M| 72 | 317 |1839 | 47k|1839 | 46k| 53 |6302 |3212 | 0.000000e+00 | -- | Inf
784.08/784.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
784.08/784.21 c 784s| 6900 | 3224 |524234 | 75.9 | 130M| 72 | 231 |1839 | 47k|1839 | 46k| 53 |6388 |3274 | 0.000000e+00 | -- | Inf
795.08/795.22 c 795s| 7000 | 3260 |533369 | 76.1 | 131M| 72 | 357 |1839 | 47k|1839 | 46k| 53 |6491 |3338 | 0.000000e+00 | -- | Inf
806.97/807.17 c 807s| 7100 | 3309 |543463 | 76.5 | 132M| 72 | 249 |1839 | 47k|1839 | 46k| 53 |6587 |3393 | 0.000000e+00 | -- | Inf
817.27/817.45 c 817s| 7200 | 3366 |551519 | 76.5 | 133M| 72 | 27 |1839 | 47k|1839 | 46k| 53 |6663 |3444 | 0.000000e+00 | -- | Inf
821.06/821.26 c 821s| 7300 | 3384 |553602 | 75.8 | 133M| 72 | 56 |1839 | 48k|1839 | 46k| 53 |6886 |3460 | 0.000000e+00 | -- | Inf
825.66/825.84 c 826s| 7400 | 3402 |556253 | 75.1 | 134M| 72 | 120 |1839 | 48k|1839 | 46k| 53 |7161 |3490 | 0.000000e+00 | -- | Inf
829.46/829.60 c 830s| 7500 | 3403 |559408 | 74.5 | 134M| 72 | 52 |1839 | 48k|1839 | 46k| 53 |7410 |3502 | 0.000000e+00 | -- | Inf
834.16/834.33 c 834s| 7600 | 3414 |562507 | 73.9 | 134M| 72 | - |1839 | 48k| 0 | 0 | 53 |7590 |3522 | 0.000000e+00 | -- | Inf
838.56/838.77 c 839s| 7700 | 3423 |565826 | 73.4 | 134M| 72 | - |1839 | 48k| 0 | 0 | 53 |7794 |3546 | 0.000000e+00 | -- | Inf
847.56/847.74 c 848s| 7800 | 3483 |571898 | 73.3 | 135M| 72 | 54 |1839 | 48k|1839 | 46k| 53 |7883 |3588 | 0.000000e+00 | -- | Inf
855.05/855.29 c 855s| 7900 | 3536 |578006 | 73.1 | 136M| 72 | - |1839 | 48k| 0 | 0 | 53 |7956 |3619 | 0.000000e+00 | -- | Inf
863.15/863.35 c 863s| 8000 | 3573 |584963 | 73.1 | 136M| 72 | 283 |1839 | 48k|1839 | 46k| 53 |8074 |3659 | 0.000000e+00 | -- | Inf
866.75/866.97 c 867s| 8100 | 3599 |588229 | 72.6 | 137M| 72 | 126 |1839 | 48k|1839 | 46k| 53 |8240 |3667 | 0.000000e+00 | -- | Inf
870.34/870.57 c 871s| 8200 | 3603 |591425 | 72.1 | 137M| 72 | 239 |1839 | 48k|1839 | 46k| 53 |8441 |3673 | 0.000000e+00 | -- | Inf
881.14/881.37 c 881s| 8300 | 3667 |599507 | 72.2 | 138M| 72 | 252 |1839 | 48k|1839 | 46k| 53 |8512 |3731 | 0.000000e+00 | -- | Inf
889.84/890.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
889.84/890.06 c 890s| 8400 | 3737 |607497 | 72.3 | 139M| 72 | 409 |1839 | 48k|1839 | 46k| 53 |8581 |3756 | 0.000000e+00 | -- | Inf
899.53/899.76 c 900s| 8500 | 3795 |615952 | 72.4 | 140M| 72 | - |1839 | 48k| 0 | 0 | 53 |8670 |3786 | 0.000000e+00 | -- | Inf
906.13/906.35 c 906s| 8600 | 3828 |622168 | 72.3 | 141M| 72 | 155 |1839 | 48k|1839 | 46k| 53 |8806 |3807 | 0.000000e+00 | -- | Inf
914.32/914.55 c 915s| 8700 | 3876 |627101 | 72.0 | 142M| 72 | - |1839 | 48k| 0 | 0 | 53 |8909 |3863 | 0.000000e+00 | -- | Inf
920.92/921.19 c 921s| 8800 | 3937 |633335 | 71.9 | 143M| 72 | 256 |1839 | 48k|1839 | 46k| 53 |8982 |3890 | 0.000000e+00 | -- | Inf
927.82/928.08 c 928s| 8900 | 3979 |640776 | 71.9 | 143M| 72 | 170 |1839 | 48k|1839 | 46k| 53 |9102 |3913 | 0.000000e+00 | -- | Inf
934.61/934.81 c 935s| 9000 | 4040 |648106 | 72.0 | 144M| 72 | 202 |1839 | 48k|1839 | 46k| 53 |9169 |3930 | 0.000000e+00 | -- | Inf
942.31/942.55 c 943s| 9100 | 4096 |656264 | 72.1 | 145M| 72 | 177 |1839 | 48k|1839 | 46k| 53 |9242 |3958 | 0.000000e+00 | -- | Inf
950.71/950.93 c 951s| 9200 | 4122 |663152 | 72.0 | 146M| 72 | - |1839 | 48k| 0 | 0 | 53 |9371 |4003 | 0.000000e+00 | -- | Inf
966.91/967.13 c 967s| 9300 | 4200 |672397 | 72.2 | 147M| 72 | 186 |1839 | 48k|1839 | 46k| 53 |9441 |4117 | 0.000000e+00 | -- | Inf
980.20/980.47 c 980s| 9400 | 4258 |679081 | 72.2 | 148M| 72 | - |1839 | 48k| 0 | 0 | 53 |9499 |4208 | 0.000000e+00 | -- | Inf
988.91/989.10 c 989s| 9500 | 4293 |687126 | 72.3 | 149M| 72 | 357 |1839 | 48k|1839 | 46k| 53 |9625 |4233 | 0.000000e+00 | -- | Inf
996.50/996.72 c 997s| 9600 | 4357 |696698 | 72.5 | 150M| 72 | - |1839 | 48k|1839 | 46k| 53 |9687 |4245 | 0.000000e+00 | -- | Inf
1003.70/1003.90 c 1004s| 9700 | 4406 |703714 | 72.5 | 151M| 72 | 215 |1839 | 48k|1839 | 46k| 53 |9806 |4263 | 0.000000e+00 | -- | Inf
1010.71/1010.98 c 1011s| 9800 | 4476 |709899 | 72.4 | 152M| 72 | 208 |1839 | 48k|1839 | 46k| 53 |9872 |4301 | 0.000000e+00 | -- | Inf
1018.70/1018.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1018.70/1018.92 c 1019s| 9900 | 4553 |719788 | 72.7 | 153M| 72 | 170 |1839 | 48k|1839 | 46k| 53 |9927 |4314 | 0.000000e+00 | -- | Inf
1027.11/1027.37 c 1027s| 10000 | 4590 |727546 | 72.7 | 154M| 72 | 113 |1839 | 48k|1839 | 46k| 53 | 10k|4347 | 0.000000e+00 | -- | Inf
1031.60/1031.83 c 1032s| 10100 | 4629 |732059 | 72.4 | 155M| 72 | 98 |1839 | 48k|1839 | 46k| 53 | 10k|4361 | 0.000000e+00 | -- | Inf
1040.79/1041.03 c 1041s| 10200 | 4669 |740897 | 72.6 | 156M| 72 | 218 |1839 | 48k|1839 | 46k| 53 | 10k|4394 | 0.000000e+00 | -- | Inf
1048.10/1048.40 c 1048s| 10300 | 4722 |750474 | 72.8 | 157M| 72 | - |1839 | 48k| 0 | 0 | 53 | 10k|4404 | 0.000000e+00 | -- | Inf
1084.69/1084.95 c 1085s| 10400 | 4769 |766647 | 73.7 | 158M| 72 | 365 |1839 | 48k|1839 | 46k| 53 | 10k|4597 | 0.000000e+00 | -- | Inf
1092.09/1092.31 c 1092s| 10500 | 4827 |775306 | 73.8 | 159M| 72 | - |1839 | 48k|1839 | 46k| 53 | 10k|4613 | 0.000000e+00 | -- | Inf
1100.38/1100.67 c 1101s| 10600 | 4877 |786246 | 74.1 | 160M| 72 | 288 |1839 | 48k|1839 | 46k| 53 | 10k|4625 | 0.000000e+00 | -- | Inf
1105.68/1105.99 c 1106s| 10700 | 4936 |791486 | 73.9 | 161M| 72 | - |1839 | 48k| 0 | 0 | 53 | 10k|4639 | 0.000000e+00 | -- | Inf
1110.98/1111.28 c 1111s| 10800 | 5003 |797441 | 73.8 | 162M| 72 | 57 |1839 | 48k|1839 | 46k| 53 | 10k|4650 | 0.000000e+00 | -- | Inf
1119.18/1119.45 c 1119s| 10900 | 5039 |804644 | 73.8 | 163M| 72 | 234 |1839 | 48k|1839 | 46k| 53 | 11k|4677 | 0.000000e+00 | -- | Inf
1130.88/1131.12 c 1131s| 11000 | 5120 |813947 | 73.9 | 164M| 72 | 334 |1839 | 48k|1839 | 46k| 53 | 11k|4732 | 0.000000e+00 | -- | Inf
1149.48/1149.73 c 1150s| 11100 | 5203 |822514 | 74.1 | 165M| 72 | 121 |1839 | 48k|1839 | 46k| 53 | 11k|4853 | 0.000000e+00 | -- | Inf
1156.88/1157.16 c 1157s| 11200 | 5281 |830068 | 74.1 | 167M| 72 | - |1839 | 48k| 0 | 0 | 53 | 11k|4874 | 0.000000e+00 | -- | Inf
1161.39/1161.65 c 1162s| 11300 | 5349 |835425 | 73.9 | 168M| 72 | - |1839 | 48k| 0 | 0 | 53 | 11k|4878 | 0.000000e+00 | -- | Inf
1167.88/1168.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1167.88/1168.13 c 1168s| 11400 | 5422 |842882 | 73.9 | 169M| 72 | 152 |1839 | 48k|1839 | 46k| 53 | 11k|4889 | 0.000000e+00 | -- | Inf
1172.48/1172.76 c 1173s| 11500 | 5435 |848087 | 73.7 | 169M| 72 | 136 |1839 | 48k|1839 | 46k| 53 | 11k|4893 | 0.000000e+00 | -- | Inf
1177.48/1177.79 c 1178s| 11600 | 5480 |854617 | 73.6 | 170M| 72 | 187 |1839 | 48k|1839 | 46k| 53 | 11k|4897 | 0.000000e+00 | -- | Inf
1186.88/1187.12 c 1187s| 11700 | 5535 |863302 | 73.7 | 171M| 72 | 192 |1839 | 48k|1839 | 46k| 53 | 11k|4930 | 0.000000e+00 | -- | Inf
1197.27/1197.54 c 1198s| 11800 | 5617 |877273 | 74.3 | 172M| 72 | 257 |1839 | 48k|1839 | 46k| 53 | 11k|4940 | 0.000000e+00 | -- | Inf
1205.38/1205.67 c 1206s| 11900 | 5663 |886623 | 74.5 | 173M| 72 | 217 |1839 | 48k|1839 | 46k| 53 | 11k|4953 | 0.000000e+00 | -- | Inf
1214.77/1215.05 c 1215s| 12000 | 5750 |899425 | 74.9 | 174M| 72 | 291 |1839 | 48k|1839 | 46k| 53 | 11k|4964 | 0.000000e+00 | -- | Inf
1221.27/1221.58 c 1222s| 12100 | 5822 |908437 | 75.0 | 176M| 72 | 147 |1839 | 48k|1839 | 46k| 53 | 11k|4966 | 0.000000e+00 | -- | Inf
1227.77/1228.02 c 1228s| 12200 | 5869 |916517 | 75.1 | 177M| 72 | 176 |1839 | 48k|1839 | 46k| 53 | 12k|4975 | 0.000000e+00 | -- | Inf
1233.66/1233.92 c 1234s| 12300 | 5919 |925095 | 75.2 | 178M| 72 | 228 |1839 | 48k|1839 | 46k| 53 | 12k|4976 | 0.000000e+00 | -- | Inf
1239.67/1239.95 c 1240s| 12400 | 5978 |932767 | 75.2 | 179M| 72 | 148 |1839 | 48k|1839 | 46k| 53 | 12k|4982 | 0.000000e+00 | -- | Inf
1248.27/1248.52 c 1249s| 12500 | 6029 |941190 | 75.3 | 180M| 72 | 166 |1839 | 48k|1839 | 46k| 53 | 12k|5012 | 0.000000e+00 | -- | Inf
1255.76/1256.07 c 1256s| 12600 | 6076 |947665 | 75.2 | 181M| 72 | - |1839 | 48k| 0 | 0 | 53 | 12k|5035 | 0.000000e+00 | -- | Inf
1262.47/1262.72 c 1263s| 12700 | 6077 |952821 | 75.0 | 181M| 72 | 195 |1839 | 48k|1839 | 46k| 53 | 12k|5067 | 0.000000e+00 | -- | Inf
1270.86/1271.15 c 1271s| 12800 | 6116 |958480 | 74.8 | 182M| 72 | 271 |1839 | 48k|1839 | 46k| 53 | 12k|5112 | 0.000000e+00 | -- | Inf
1278.85/1279.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.85/1279.17 c 1279s| 12900 | 6159 |965987 | 74.8 | 182M| 72 | 94 |1839 | 48k|1839 | 46k| 53 | 12k|5145 | 0.000000e+00 | -- | Inf
1285.16/1285.41 c 1285s| 13000 | 6199 |971639 | 74.7 | 183M| 72 | 366 |1839 | 48k|1839 | 46k| 53 | 13k|5167 | 0.000000e+00 | -- | Inf
1296.96/1297.22 c 1297s| 13100 | 6275 |980932 | 74.8 | 184M| 72 | 177 |1839 | 48k|1839 | 46k| 53 | 13k|5230 | 0.000000e+00 | -- | Inf
1307.75/1308.04 c 1308s| 13200 | 6346 |989231 | 74.9 | 186M| 72 | - |1839 | 48k| 0 | 0 | 53 | 13k|5290 | 0.000000e+00 | -- | Inf
1320.05/1320.33 c 1320s| 13300 | 6405 |999242 | 75.1 | 187M| 72 | 197 |1839 | 48k|1839 | 46k| 53 | 13k|5341 | 0.000000e+00 | -- | Inf
1330.25/1330.56 c 1331s| 13400 | 6459 | 1007k| 75.2 | 187M| 72 | - |1839 | 48k|1839 | 46k| 53 | 13k|5402 | 0.000000e+00 | -- | Inf
1338.15/1338.46 c 1338s| 13500 | 6489 | 1014k| 75.1 | 188M| 72 | - |1839 | 48k| 0 | 0 | 53 | 13k|5436 | 0.000000e+00 | -- | Inf
1347.16/1347.47 c 1347s| 13600 | 6542 | 1022k| 75.1 | 189M| 72 | 287 |1839 | 48k|1839 | 46k| 53 | 13k|5474 | 0.000000e+00 | -- | Inf
1359.36/1359.60 c 1360s| 13700 | 6602 | 1031k| 75.2 | 190M| 72 | 187 |1839 | 48k|1839 | 46k| 53 | 13k|5544 | 0.000000e+00 | -- | Inf
1369.26/1369.53 c 1370s| 13800 | 6661 | 1039k| 75.3 | 191M| 72 | 252 |1839 | 48k|1839 | 46k| 53 | 13k|5583 | 0.000000e+00 | -- | Inf
1378.35/1378.63 c 1379s| 13900 | 6721 | 1047k| 75.3 | 192M| 72 | 265 |1839 | 48k|1839 | 46k| 53 | 13k|5616 | 0.000000e+00 | -- | Inf
1388.84/1389.17 c 1389s| 14000 | 6804 | 1055k| 75.3 | 193M| 72 | - |1839 | 48k| 0 | 0 | 53 | 13k|5679 | 0.000000e+00 | -- | Inf
1397.45/1397.71 c 1398s| 14100 | 6854 | 1062k| 75.3 | 194M| 72 | 101 |1839 | 48k|1839 | 46k| 53 | 13k|5710 | 0.000000e+00 | -- | Inf
1404.54/1404.83 c 1405s| 14200 | 6865 | 1068k| 75.2 | 195M| 72 | - |1839 | 48k|1839 | 46k| 53 | 14k|5743 | 0.000000e+00 | -- | Inf
1414.53/1414.85 c 1415s| 14300 | 6902 | 1075k| 75.2 | 195M| 72 | 109 |1839 | 48k|1839 | 46k| 53 | 14k|5804 | 0.000000e+00 | -- | Inf
1427.24/1427.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1427.24/1427.52 c 1428s| 14400 | 6972 | 1086k| 75.4 | 196M| 72 | 294 |1839 | 48k|1839 | 46k| 53 | 14k|5873 | 0.000000e+00 | -- | Inf
1433.73/1434.06 c 1434s| 14500 | 7016 | 1091k| 75.2 | 197M| 72 | - |1839 | 48k| 0 | 0 | 53 | 14k|5900 | 0.000000e+00 | -- | Inf
1446.63/1446.91 c 1447s| 14600 | 7077 | 1101k| 75.4 | 198M| 72 | 180 |1839 | 48k|1839 | 46k| 53 | 14k|5976 | 0.000000e+00 | -- | Inf
1454.63/1454.92 c 1455s| 14700 | 7134 | 1107k| 75.3 | 199M| 72 | 258 |1839 | 48k|1839 | 46k| 53 | 14k|6020 | 0.000000e+00 | -- | Inf
1465.53/1465.86 c 1466s| 14800 | 7195 | 1117k| 75.5 | 200M| 72 | 263 |1839 | 48k|1839 | 46k| 53 | 14k|6060 | 0.000000e+00 | -- | Inf
1475.63/1475.99 c 1476s| 14900 | 7252 | 1125k| 75.5 | 201M| 72 | 135 |1839 | 48k|1839 | 46k| 53 | 14k|6110 | 0.000000e+00 | -- | Inf
1486.33/1486.62 c 1487s| 15000 | 7306 | 1134k| 75.6 | 202M| 72 | 315 |1839 | 48k|1839 | 46k| 53 | 14k|6153 | 0.000000e+00 | -- | Inf
1496.23/1496.58 c 1497s| 15100 | 7366 | 1142k| 75.6 | 203M| 72 | 144 |1839 | 48k|1839 | 46k| 53 | 14k|6219 | 0.000000e+00 | -- | Inf
1505.82/1506.18 c 1506s| 15200 | 7389 | 1151k| 75.7 | 204M| 72 | 368 |1839 | 48k|1839 | 46k| 53 | 14k|6249 | 0.000000e+00 | -- | Inf
1516.42/1516.70 c 1517s| 15300 | 7460 | 1161k| 75.9 | 205M| 72 | 115 |1839 | 48k|1839 | 46k| 53 | 15k|6302 | 0.000000e+00 | -- | Inf
1523.73/1524.02 c 1524s| 15400 | 7492 | 1167k| 75.8 | 206M| 72 | 150 |1839 | 48k|1839 | 46k| 53 | 15k|6338 | 0.000000e+00 | -- | Inf
1532.62/1532.97 c 1533s| 15500 | 7510 | 1172k| 75.6 | 206M| 72 | - |1839 | 48k| 0 | 0 | 53 | 15k|6394 | 0.000000e+00 | -- | Inf
1544.12/1544.47 c 1544s| 15600 | 7578 | 1183k| 75.8 | 207M| 72 | - |1839 | 48k| 0 | 0 | 53 | 15k|6432 | 0.000000e+00 | -- | Inf
1550.82/1551.13 c 1551s| 15700 | 7608 | 1189k| 75.8 | 208M| 72 | - |1839 | 48k| 0 | 0 | 53 | 15k|6459 | 0.000000e+00 | -- | Inf
1574.01/1574.30 c 1574s| 15800 | 7655 | 1203k| 76.1 | 209M| 72 | 430 |1839 | 48k|1839 | 46k| 53 | 15k|6555 | 0.000000e+00 | -- | Inf
1601.61/1601.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1601.61/1601.99 c 1602s| 15900 | 7749 | 1228k| 77.2 | 210M| 72 | 115 |1839 | 48k|1839 | 46k| 53 | 15k|6632 | 0.000000e+00 | -- | Inf
1606.81/1607.12 c 1607s| 16000 | 7801 | 1232k| 77.0 | 211M| 72 | 37 |1839 | 48k|1839 | 46k| 53 | 15k|6641 | 0.000000e+00 | -- | Inf
1612.81/1613.12 c 1613s| 16100 | 7847 | 1238k| 76.9 | 212M| 72 | 94 |1839 | 48k|1839 | 46k| 53 | 15k|6658 | 0.000000e+00 | -- | Inf
1617.51/1617.84 c 1618s| 16200 | 7870 | 1244k| 76.8 | 212M| 72 | 43 |1839 | 48k|1839 | 46k| 53 | 16k|6662 | 0.000000e+00 | -- | Inf
1622.11/1622.44 c 1622s| 16300 | 7916 | 1249k| 76.6 | 213M| 72 | 118 |1839 | 48k|1839 | 46k| 53 | 16k|6666 | 0.000000e+00 | -- | Inf
1625.90/1626.29 c 1626s| 16400 | 7929 | 1253k| 76.4 | 213M| 72 | - |1839 | 48k| 0 | 0 | 53 | 16k|6666 | 0.000000e+00 | -- | Inf
1631.10/1631.49 c 1631s| 16500 | 7943 | 1260k| 76.3 | 214M| 72 | - |1839 | 48k| 0 | 0 | 53 | 16k|6671 | 0.000000e+00 | -- | Inf
1640.41/1640.72 c 1641s| 16600 | 7991 | 1271k| 76.6 | 215M| 72 | 271 |1839 | 49k|1839 | 46k| 53 | 16k|6692 | 0.000000e+00 | -- | Inf
1658.40/1658.79 c 1659s| 16700 | 8037 | 1290k| 77.2 | 216M| 72 | 214 |1839 | 49k|1839 | 46k| 53 | 17k|6781 | 0.000000e+00 | -- | Inf
1674.50/1674.86 c 1675s| 16800 | 8058 | 1308k| 77.8 | 216M| 72 | 263 |1839 | 48k|1839 | 46k| 53 | 17k|6828 | 0.000000e+00 | -- | Inf
1684.59/1684.96 c 1685s| 16900 | 8089 | 1318k| 78.0 | 216M| 72 | 472 |1839 | 48k|1839 | 46k| 53 | 17k|6855 | 0.000000e+00 | -- | Inf
1703.30/1703.61 c 1704s| 17000 | 8152 | 1337k| 78.7 | 218M| 72 | 162 |1839 | 48k|1839 | 46k| 53 | 17k|6914 | 0.000000e+00 | -- | Inf
1716.09/1716.44 c 1716s| 17100 | 8233 | 1353k| 79.1 | 219M| 72 | 272 |1839 | 48k|1839 | 46k| 53 | 17k|6936 | 0.000000e+00 | -- | Inf
1731.49/1731.87 c 1732s| 17200 | 8311 | 1372k| 79.8 | 220M| 72 | 521 |1839 | 48k|1839 | 46k| 53 | 17k|6962 | 0.000000e+00 | -- | Inf
1749.59/1749.98 c 1750s| 17300 | 8386 | 1397k| 80.7 | 221M| 72 | 152 |1839 | 48k|1839 | 46k| 53 | 17k|6992 | 0.000000e+00 | -- | Inf
1755.08/1755.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1755.08/1755.47 c 1755s| 17400 | 8443 | 1403k| 80.6 | 222M| 72 | 130 |1839 | 48k|1839 | 46k| 53 | 17k|6998 | 0.000000e+00 | -- | Inf
1764.49/1764.81 c 1765s| 17500 | 8481 | 1417k| 81.0 | 223M| 72 | 137 |1839 | 48k|1839 | 46k| 53 | 17k|7007 | 0.000000e+00 | -- | Inf
1773.08/1773.47 c 1773s| 17600 | 8524 | 1429k| 81.2 | 224M| 72 | 144 |1839 | 48k|1839 | 46k| 53 | 17k|7010 | 0.000000e+00 | -- | Inf
1780.88/1781.21 c 1781s| 17700 | 8606 | 1438k| 81.2 | 225M| 72 | 85 |1839 | 48k|1839 | 46k| 53 | 17k|7023 | 0.000000e+00 | -- | Inf
1793.18/1793.56 c 1794s| 17800 | 8702 | 1457k| 81.9 | 226M| 72 | 369 |1839 | 48k|1839 | 46k| 53 | 17k|7034 | 0.000000e+00 | -- | Inf
1796.68/1797.01 c
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Solving Time (sec) : 1797.01
1796.68/1797.01 c Solving Nodes : 17809
1796.68/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.68/1797.01 c Dual Bound : +0.00000000000000e+00
1796.68/1797.01 c Gap : infinite
1796.68/1797.01 s UNKNOWN
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Total Time : 1797.01
1796.68/1797.01 c solving : 1797.01
1796.68/1797.01 c presolving : 0.84 (included in solving)
1796.68/1797.01 c reading : 0.14 (included in solving)
1796.68/1797.01 c copying : 0.00 (0 times copied the problem)
1796.68/1797.01 c Original Problem :
1796.68/1797.01 c Problem name : HOME/instance-3691793-1338041426.opb
1796.68/1797.01 c Variables : 1840 (1840 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 46243 initial, 46243 maximal
1796.68/1797.01 c Objective sense : minimize
1796.68/1797.01 c Presolved Problem :
1796.68/1797.01 c Problem name : t_HOME/instance-3691793-1338041426.opb
1796.68/1797.01 c Variables : 1839 (1839 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 46060 initial, 49079 maximal
1796.68/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c gateextraction : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c components : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c knapsack : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c setppc : 0.06 0.00 0 0 0 0 0 162 0 0 0
1796.68/1797.01 c linear : 0.38 0.02 0 1 0 0 0 5 0 4 0
1796.68/1797.01 c logicor : 0.29 0.03 0 0 0 0 0 16 0 0 0
1796.68/1797.01 c root node : - - 0 - - 0 - - - - -
1796.68/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c integral : 0 0 0 0 15423 0 1 0 46 2190 0 0 28584
1796.68/1797.01 c knapsack : 3696 3696 5 73146 0 1 0 39887 522 42359 24 0 0
1796.68/1797.01 c setppc : 12807 12807 5 72624 0 1 0 218689 726 270384 0 0 0
1796.68/1797.01 c linear : 4 4 5 71898 0 1 0 10410 81 8607 0 0 0
1796.68/1797.01 c logicor : 29553+ 32572 5 59396 0 1 0 223983 3064 198766 0 0 0
1796.68/1797.01 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.68/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.01 c integral : 712.97 0.00 0.00 0.00 712.97 0.00 0.00 0.00
1796.68/1797.01 c knapsack : 3.69 0.00 0.02 3.61 0.00 0.00 0.00 0.06
1796.68/1797.01 c setppc : 7.91 0.00 0.00 7.69 0.00 0.00 0.00 0.22
1796.68/1797.01 c linear : 0.17 0.02 0.00 0.13 0.00 0.00 0.00 0.02
1796.68/1797.01 c logicor : 4.97 0.03 0.01 4.60 0.00 0.00 0.00 0.34
1796.68/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.01 c rootredcost : 0 0 0 0
1796.68/1797.01 c pseudoobj : 0 0 0 0
1796.68/1797.01 c vbounds : 0 0 0 0
1796.68/1797.01 c redcost : 15428 0 0 0
1796.68/1797.01 c probing : 0 0 0 0
1796.68/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.01 c rootredcost : 0.07 0.00 0.00 0.07 0.00
1796.68/1797.01 c pseudoobj : 0.08 0.00 0.00 0.08 0.00
1796.68/1797.01 c vbounds : 0.07 0.00 0.00 0.07 0.00
1796.68/1797.01 c redcost : 0.45 0.00 0.00 0.45 0.00
1796.68/1797.01 c probing : 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.01 c propagation : 1.29 4393 4385 44933 51.9 2007 19.7 -
1796.68/1797.01 c infeasible LP : 0.47 317 316 3962 53.5 117 8.2 0
1796.68/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.01 c applied globally : - - - 17866 34.4 - - -
1796.68/1797.01 c applied locally : - - - 0 0.0 - - -
1796.68/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.01 c cut pool : 0.00 4 - - 81 - (maximal pool size: 527)
1796.68/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c impliedbounds : 0.00 0.00 5 0 0 0 0
1796.68/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c gomory : 0.14 0.00 5 0 0 250 0
1796.68/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c strongcg : 0.97 0.00 5 0 0 2500 0
1796.68/1797.01 c cmir : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c flowcover : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c clique : 0.02 0.00 5 0 0 1 0
1796.68/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c mcf : 0.02 0.00 1 0 0 0 0
1796.68/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.01 c problem variables: 0.00 - 0 0
1796.68/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c relpscost : 712.91 0.00 15423 46 2190 0 0 28584
1796.68/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c inference : 0.00 0.00 1 0 0 0 0 2
1796.68/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.01 c LP solutions : 0.00 - - 0
1796.68/1797.01 c pseudo solutions : 0.00 - - 0
1796.68/1797.01 c smallcard : 0.00 0.00 0 0
1796.68/1797.01 c trivial : 0.00 0.00 1 0
1796.68/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.68/1797.01 c simplerounding : 0.00 0.00 0 0
1796.68/1797.01 c zirounding : 0.00 0.00 0 0
1796.68/1797.01 c rounding : 0.00 0.00 0 0
1796.68/1797.01 c shifting : 0.00 0.00 0 0
1796.68/1797.01 c intshifting : 0.00 0.00 0 0
1796.68/1797.01 c oneopt : 0.00 0.00 0 0
1796.68/1797.01 c twoopt : 0.00 0.00 0 0
1796.68/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.01 c indoneopt : 0.00 0.00 0 0
1796.68/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.01 c feaspump : 0.00 0.00 0 0
1796.68/1797.01 c clique : 0.00 0.00 0 0
1796.68/1797.01 c indrounding : 0.00 0.00 0 0
1796.68/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.01 c coefdiving : 0.00 0.00 0 0
1796.68/1797.01 c pscostdiving : 0.00 0.00 0 0
1796.68/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.01 c fracdiving : 0.00 0.00 0 0
1796.68/1797.01 c veclendiving : 0.00 0.00 0 0
1796.68/1797.01 c intdiving : 0.00 0.00 0 0
1796.68/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.01 c objpscostdiving : 0.00 0.00 0 0
1796.68/1797.01 c rootsoldiving : 0.00 0.00 0 0
1796.68/1797.01 c linesearchdiving : 0.00 0.00 0 0
1796.68/1797.01 c guideddiving : 0.00 0.00 0 0
1796.68/1797.01 c octane : 0.00 0.00 0 0
1796.68/1797.01 c rens : 0.00 0.00 0 0
1796.68/1797.01 c rins : 0.00 0.00 0 0
1796.68/1797.01 c localbranching : 0.00 0.00 0 0
1796.68/1797.01 c mutation : 0.00 0.00 0 0
1796.68/1797.01 c crossover : 0.00 0.00 0 0
1796.68/1797.01 c dins : 0.00 0.00 0 0
1796.68/1797.01 c vbounds : 0.00 0.00 0 0
1796.68/1797.01 c undercover : 0.00 0.00 0 0
1796.68/1797.01 c subnlp : 0.00 0.00 0 0
1796.68/1797.01 c trysol : 0.00 0.00 0 0
1796.68/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.01 c primal LP : 0.01 1 0 0.00 0.00 0.01 1
1796.68/1797.01 c dual LP : 978.01 15746 1464304 93.00 1497.22 0.00 0
1796.68/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.01 c diving/probing LP: 0.00 0 0 0.00 -
1796.68/1797.01 c strong branching : 709.38 7035 689098 97.95 971.41
1796.68/1797.01 c (at root node) : - 22 3198 145.36 -
1796.68/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.01 c B&B Tree :
1796.68/1797.01 c number of runs : 1
1796.68/1797.01 c nodes : 17809
1796.68/1797.01 c nodes (total) : 17809
1796.68/1797.01 c nodes left : 8711
1796.68/1797.01 c max depth : 72
1796.68/1797.01 c max depth (total): 72
1796.68/1797.01 c backtracks : 2845 (16.0%)
1796.68/1797.01 c delayed cutoffs : 2067
1796.68/1797.01 c repropagations : 14730 (79137 domain reductions, 1305 cutoffs)
1796.68/1797.01 c avg switch length: 4.55
1796.68/1797.01 c switching time : 12.35
1796.68/1797.01 c Solution :
1796.68/1797.01 c Solutions found : 0 (0 improvements)
1796.68/1797.01 c Primal Bound : -
1796.68/1797.01 c Dual Bound : +0.00000000000000e+00
1796.68/1797.01 c Gap : infinite
1796.68/1797.01 c Root Dual Bound : +0.00000000000000e+00
1796.68/1797.01 c Root Iterations : 620
1796.78/1797.16 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-3691793-1338041426/watcher-3691793-1338041426 -o /tmp/evaluation-result-3691793-1338041426/solver-3691793-1338041426 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691793-1338041426.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 3/177 2940
/proc/meminfo: memFree=28090824/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=12032 CPUtime=0 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 1716 0 0 0 0 0 0 0 20 0 1 0 270209612 12320768 1671 33554432000 4194304 10219143 140737460807232 140737460806136 8891101 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2940/statm: 3008 1677 398 1471 0 1528 0
[startup+0.0111041 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2940
/proc/meminfo: memFree=28090824/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=13812 CPUtime=0 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 2187 0 0 0 0 0 0 0 20 0 1 0 270209612 14143488 2142 33554432000 4194304 10219143 140737460807232 140737460806136 5345852 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2940/statm: 3453 2142 419 1471 0 1973 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13812
[startup+0.100269 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2940
/proc/meminfo: memFree=28090824/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=29208 CPUtime=0.09 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 6052 0 0 0 9 0 0 0 20 0 1 0 270209612 29908992 6007 33554432000 4194304 10219143 140737460807232 140737460806136 7123388 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2940/statm: 7302 6007 419 1471 0 5822 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29208
[startup+0.300267 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2940
/proc/meminfo: memFree=28090824/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=77760 CPUtime=0.29 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 17976 0 0 0 22 7 0 0 20 0 1 0 270209612 79626240 17819 33554432000 4194304 10219143 140737460807232 140737460806136 9008087 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2940/statm: 19440 17819 559 1471 0 17960 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 77760
[startup+0.700259 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2940
/proc/meminfo: memFree=28090824/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=96524 CPUtime=0.69 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 25057 0 0 0 44 25 0 0 20 0 1 0 270209612 98840576 22485 33554432000 4194304 10219143 140737460807232 140737460803288 9008087 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2940/statm: 24131 22485 577 1471 0 22651 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 96524
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2941
/proc/meminfo: memFree=28003192/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=175552 CPUtime=1.49 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 40887 0 0 0 105 44 0 0 20 0 1 0 270209612 179765248 40933 33554432000 4194304 10219143 140737460807232 140737460800872 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2940/statm: 43888 40933 785 1471 0 42408 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 175552
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2941
/proc/meminfo: memFree=27895264/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=186496 CPUtime=3.09 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 44268 0 0 0 262 47 0 0 20 0 1 0 270209612 190971904 44252 33554432000 4194304 10219143 140737460807232 140737460801064 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2940/statm: 46624 44252 790 1471 0 45144 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 186496
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2941
/proc/meminfo: memFree=27915072/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=187280 CPUtime=6.29 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 44560 0 0 0 582 47 0 0 20 0 1 0 270209612 191774720 44544 33554432000 4194304 10219143 140737460807232 140737460800680 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2940/statm: 46820 44544 795 1471 0 45340 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 187280
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2941
/proc/meminfo: memFree=27912244/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=190324 CPUtime=12.69 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 45259 0 0 0 1220 49 0 0 20 0 1 0 270209612 194891776 45243 33554432000 4194304 10219143 140737460807232 140737460801064 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2940/statm: 47581 45243 795 1471 0 46101 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 190324
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2941
/proc/meminfo: memFree=27911416/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=190324 CPUtime=25.49 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 45348 0 0 0 2496 53 0 0 20 0 1 0 270209612 194891776 45332 33554432000 4194304 10219143 140737460807232 140737460800680 7954752 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 47581 45332 795 1471 0 46101 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 190324
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2941
/proc/meminfo: memFree=27910400/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=190988 CPUtime=51.08 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 45815 0 0 0 5051 57 0 0 20 0 1 0 270209612 195571712 45799 33554432000 4194304 10219143 140737460807232 140737460800408 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 47747 45799 795 1471 0 46267 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 190988
[startup+102.306 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2941
/proc/meminfo: memFree=27841660/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=192604 CPUtime=102.28 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 46455 0 0 0 10161 67 0 0 20 0 1 0 270209612 197226496 46439 33554432000 4194304 10219143 140737460807232 140737460800680 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 48151 46439 804 1471 0 46671 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 192604
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2941
/proc/meminfo: memFree=27894448/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=198920 CPUtime=162.27 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 50376 0 0 0 16146 81 0 0 20 0 1 0 270209612 203694080 47602 33554432000 4194304 10219143 140737460807232 140737460800680 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 49730 47602 806 1471 0 48250 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 198920
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2941
/proc/meminfo: memFree=27891940/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=199228 CPUtime=222.26 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 64019 0 0 0 22131 95 0 0 20 0 1 0 270209612 204009472 48252 33554432000 4194304 10219143 140737460807232 140737460800680 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 49807 48252 806 1471 0 48327 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 199228
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2942
/proc/meminfo: memFree=27835964/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=201004 CPUtime=282.25 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 77128 0 0 0 28107 118 0 0 20 0 1 0 270209612 205828096 48513 33554432000 4194304 10219143 140737460807232 140737460800488 8090882 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 50251 48513 806 1471 0 48771 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 201004
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2942
/proc/meminfo: memFree=27881292/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=204224 CPUtime=342.24 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 86071 0 0 0 34089 135 0 0 20 0 1 0 270209612 209125376 49659 33554432000 4194304 10219143 140737460807232 140737460800680 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 51056 49659 806 1471 0 49576 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 204224
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2942
/proc/meminfo: memFree=27877920/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=209036 CPUtime=402.23 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 122388 0 0 0 40064 159 0 0 20 0 1 0 270209612 214052864 50469 33554432000 4194304 10219143 140737460807232 140737460800408 8091725 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 52259 50469 806 1471 0 50779 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 209036
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2942
/proc/meminfo: memFree=27873324/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=214976 CPUtime=462.22 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 141759 0 0 0 46044 178 0 0 20 0 1 0 270209612 220135424 51672 33554432000 4194304 10219143 140737460807232 140737460800680 7955767 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 53744 51672 806 1471 0 52264 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 214976
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2942
/proc/meminfo: memFree=27867136/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=221480 CPUtime=522.21 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 235579 0 0 0 52010 211 0 0 20 0 1 0 270209612 226795520 53016 33554432000 4194304 10219143 140737460807232 140737460799784 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 55370 53016 806 1471 0 53890 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 221480
[startup+582.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/178 2946
/proc/meminfo: memFree=27864368/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=224464 CPUtime=582.2 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 304063 0 0 0 57980 240 0 0 20 0 1 0 270209612 229851136 54105 33554432000 4194304 10219143 140737460807232 140737460801144 8056286 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 56116 54105 806 1471 0 54636 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 224464
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27788324/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=281136 CPUtime=1062.09 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 828008 0 0 0 105721 488 0 0 20 0 1 0 270209612 287883264 68729 33554432000 4194304 10219143 140737460807232 140737460800776 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 70284 68729 807 1471 0 68804 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 281136
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2947
/proc/meminfo: memFree=27764244/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=286660 CPUtime=1122.08 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 832328 0 0 0 111703 505 0 0 20 0 1 0 270209612 293539840 69951 33554432000 4194304 10219143 140737460807232 140737460800488 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 71665 69951 807 1471 0 70185 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 286660
[startup+1182.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/178 2951
/proc/meminfo: memFree=27761288/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=289704 CPUtime=1182.08 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 836129 0 0 0 117686 522 0 0 20 0 1 0 270209612 296656896 70932 33554432000 4194304 10219143 140737460807232 140737460800488 7694208 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 72426 70932 807 1471 0 70946 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 289704
[startup+1242.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 2951
/proc/meminfo: memFree=27783772/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=300588 CPUtime=1242.07 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 897397 0 0 0 123654 553 0 0 20 0 1 0 270209612 307802112 73549 33554432000 4194304 10219143 140737460807232 140737460802600 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 75147 73549 807 1471 0 73667 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 300588
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 2951
/proc/meminfo: memFree=27781664/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=303892 CPUtime=1302.06 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 951774 0 0 0 129622 584 0 0 20 0 1 0 270209612 311185408 74065 33554432000 4194304 10219143 140737460807232 140737460804600 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 75973 74065 807 1471 0 74493 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 303892
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2951
/proc/meminfo: memFree=27747384/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=308796 CPUtime=1362.04 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 953483 0 0 0 135601 603 0 0 20 0 1 0 270209612 316207104 75774 33554432000 4194304 10219143 140737460807232 140737460801064 7728380 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 77199 75774 807 1471 0 75719 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 308796
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2951
/proc/meminfo: memFree=27742736/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=316396 CPUtime=1422.05 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 970417 0 0 0 141579 626 0 0 20 0 1 0 270209612 323989504 78007 33554432000 4194304 10219143 140737460807232 140737460800872 8091599 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 79099 78007 807 1471 0 77619 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 316396
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2952
/proc/meminfo: memFree=27732748/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=325668 CPUtime=1482.03 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 987350 0 0 0 147560 643 0 0 20 0 1 0 270209612 333484032 79939 33554432000 4194304 10219143 140737460807232 140737460800952 7956080 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 81417 79939 807 1471 0 79937 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 325668
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2952
/proc/meminfo: memFree=27727288/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=328288 CPUtime=1542.02 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 988257 0 0 0 153539 663 0 0 20 0 1 0 270209612 336166912 80846 33554432000 4194304 10219143 140737460807232 140737460800680 8077296 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 82072 80846 807 1471 0 80592 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 328288
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2952
/proc/meminfo: memFree=27726112/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=332932 CPUtime=1602.01 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 1020294 0 0 0 159516 685 0 0 20 0 1 0 270209612 340922368 81703 33554432000 4194304 10219143 140737460807232 140737460800584 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 83233 81703 807 1471 0 81753 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 332932
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 2953
/proc/meminfo: memFree=29245488/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=338772 CPUtime=1662 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 1021674 0 0 0 165490 710 0 0 20 0 1 0 270209612 346902528 83083 33554432000 4194304 10219143 140737460807232 140737460800488 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 84693 83083 807 1471 0 83213 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 338772
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2991
/proc/meminfo: memFree=29150256/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=342076 CPUtime=1721.99 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 1022745 0 0 0 171469 730 0 0 20 0 1 0 270209612 350285824 84148 33554432000 4194304 10219143 140737460807232 140737460800872 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 85519 84148 807 1471 0 84039 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 342076
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2995
/proc/meminfo: memFree=29149924/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=342512 CPUtime=1781.98 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 1050685 0 0 0 177446 752 0 0 20 0 1 0 270209612 350732288 84048 33554432000 4194304 10219143 140737460807232 140737460800872 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 85628 84048 807 1471 0 84148 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 342512
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2995
/proc/meminfo: memFree=29145692/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=346420 CPUtime=1785.18 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 1051686 0 0 0 177765 753 0 0 20 0 1 0 270209612 354734080 85045 33554432000 4194304 10219143 140737460807232 140737460799752 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 86605 85045 807 1471 0 85125 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 346420
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2995
/proc/meminfo: memFree=29144956/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=345256 CPUtime=1791.58 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 1055488 0 0 0 178403 755 0 0 20 0 1 0 270209612 353542144 85233 33554432000 4194304 10219143 140737460807232 140737460800488 8056881 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 86314 85233 807 1471 0 84834 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 345256
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2995
/proc/meminfo: memFree=29142956/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=347348 CPUtime=1794.79 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 1056020 0 0 0 178722 757 0 0 20 0 1 0 270209612 355684352 85765 33554432000 4194304 10219143 140737460807232 140737460800488 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 86837 85765 807 1471 0 85357 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 347348
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2995
/proc/meminfo: memFree=29142956/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=347348 CPUtime=1795.58 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 1056020 0 0 0 178801 757 0 0 20 0 1 0 270209612 355684352 85765 33554432000 4194304 10219143 140737460807232 140737460800488 8091886 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 86837 85765 807 1471 0 85357 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 347348
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2995
/proc/meminfo: memFree=29142956/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=348112 CPUtime=1796.38 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 1056022 0 0 0 178881 757 0 0 20 0 1 0 270209612 356466688 85767 33554432000 4194304 10219143 140737460807232 140737460800872 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 87028 85767 807 1471 0 85548 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 348112
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2995
/proc/meminfo: memFree=29142956/32873844 swapFree=6868/6868
[pid=2940] ppid=2938 vsize=348112 CPUtime=1796.78 cores=0,2,4,6
/proc/2940/stat : 2940 (scip-2.1.1.4exp) R 2938 2940 31651 0 -1 4202496 1056034 0 0 0 178921 757 0 0 20 0 1 0 270209612 356466688 85779 33554432000 4194304 10219143 140737460807232 140737460800872 7589217 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2940/statm: 87028 85779 819 1471 0 85548 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 348112
Child status: 0
Real time (s): 1797.16
CPU time (s): 1796.85
CPU user time (s): 1789.26
CPU system time (s): 7.58585
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 348112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.26
system time used= 7.58585
maximum resident set size= 343116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1056047
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= 45
involuntary context switches= 2260
runsolver used 2.85157 second user time and 9.51555 second system time
The end