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-3690627-1338024317.opb>
0.09/0.12 c original problem has 1840 variables (1840 bin, 0 int, 0 impl, 0 cont) and 46243 constraints
0.09/0.12 c problem read in 0.12
0.09/0.12 c No objective function, only one solution is needed.
0.09/0.12 c presolving settings loaded
0.18/0.26 c presolving:
0.39/0.46 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.78 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.89/0.91 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.99/1.01 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
1.10/1.14 c presolving (5 rounds):
1.10/1.14 c 1 deleted vars, 183 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 4 changed sides, 0 changed coefficients
1.10/1.14 c 26102 implications, 39 cliques
1.10/1.14 c presolved problem has 1839 variables (1839 bin, 0 int, 0 impl, 0 cont) and 46060 constraints
1.10/1.14 c 3696 constraints of type <knapsack>
1.10/1.14 c 12807 constraints of type <setppc>
1.10/1.14 c 4 constraints of type <linear>
1.10/1.14 c 29553 constraints of type <logicor>
1.10/1.14 c transformed objective value is always integral (scale: 1)
1.10/1.14 c Presolving Time: 0.98
1.10/1.14 c - non default parameters ----------------------------------------------------------------------
1.10/1.14 c # SCIP version 2.1.1.4
1.10/1.14 c
1.10/1.14 c # maximal time in seconds to run
1.10/1.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.14 c limits/time = 1797
1.10/1.14 c
1.10/1.14 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.14 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.14 c limits/memory = 13950
1.10/1.14 c
1.10/1.14 c # solving stops, if the given number of solutions were found (-1: no limit)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.14 c limits/solutions = 1
1.10/1.14 c
1.10/1.14 c # maximal number of separation rounds per node (-1: unlimited)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 5]
1.10/1.14 c separating/maxrounds = 1
1.10/1.14 c
1.10/1.14 c # maximal number of separation rounds in the root node (-1: unlimited)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.14 c separating/maxroundsroot = 5
1.10/1.14 c
1.10/1.14 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.10/1.14 c # [type: int, range: [1,2], default: 1]
1.10/1.14 c timing/clocktype = 2
1.10/1.14 c
1.10/1.14 c # belongs reading time to solving time?
1.10/1.14 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.14 c timing/reading = TRUE
1.10/1.14 c
1.10/1.14 c # should disaggregation of knapsack constraints be allowed in preprocessing?
1.10/1.14 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
1.10/1.14 c constraints/knapsack/disaggregation = FALSE
1.10/1.14 c
1.10/1.14 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.14 c heuristics/coefdiving/freq = -1
1.10/1.14 c
1.10/1.14 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.14 c heuristics/coefdiving/maxlpiterquot = 0.075
1.10/1.14 c
1.10/1.14 c # additional number of allowed LP iterations
1.10/1.14 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.14 c heuristics/coefdiving/maxlpiterofs = 1500
1.10/1.14 c
1.10/1.14 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 30]
1.10/1.14 c heuristics/crossover/freq = -1
1.10/1.14 c
1.10/1.14 c # number of nodes added to the contingent of the total nodes
1.10/1.14 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.10/1.14 c heuristics/crossover/nodesofs = 750
1.10/1.14 c
1.10/1.14 c # number of nodes without incumbent change that heuristic should wait
1.10/1.14 c # [type: longint, range: [0,9223372036854775807], default: 200]
1.10/1.14 c heuristics/crossover/nwaitingnodes = 100
1.10/1.14 c
1.10/1.14 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
1.10/1.14 c # [type: real, range: [0,1], default: 0.1]
1.10/1.14 c heuristics/crossover/nodesquot = 0.15
1.10/1.14 c
1.10/1.14 c # minimum percentage of integer variables that have to be fixed
1.10/1.14 c # [type: real, range: [0,1], default: 0.666]
1.10/1.14 c heuristics/crossover/minfixingrate = 0.5
1.10/1.14 c
1.10/1.14 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 20]
1.10/1.14 c heuristics/feaspump/freq = -1
1.10/1.14 c
1.10/1.14 c # additional number of allowed LP iterations
1.10/1.14 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.14 c heuristics/feaspump/maxlpiterofs = 2000
1.10/1.14 c
1.10/1.14 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.14 c heuristics/fracdiving/freq = -1
1.10/1.14 c
1.10/1.14 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.14 c heuristics/fracdiving/maxlpiterquot = 0.075
1.10/1.14 c
1.10/1.14 c # additional number of allowed LP iterations
1.10/1.14 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.14 c heuristics/fracdiving/maxlpiterofs = 1500
1.10/1.14 c
1.10/1.14 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.14 c heuristics/guideddiving/freq = -1
1.10/1.14 c
1.10/1.14 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.14 c heuristics/guideddiving/maxlpiterquot = 0.075
1.10/1.14 c
1.10/1.14 c # additional number of allowed LP iterations
1.10/1.14 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.14 c heuristics/guideddiving/maxlpiterofs = 1500
1.10/1.14 c
1.10/1.14 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.14 c heuristics/intdiving/maxlpiterquot = 0.075
1.10/1.14 c
1.10/1.14 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.14 c heuristics/intshifting/freq = -1
1.10/1.14 c
1.10/1.14 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.14 c heuristics/linesearchdiving/freq = -1
1.10/1.14 c
1.10/1.14 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.14 c heuristics/linesearchdiving/maxlpiterquot = 0.075
1.10/1.14 c
1.10/1.14 c # additional number of allowed LP iterations
1.10/1.14 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.14 c heuristics/linesearchdiving/maxlpiterofs = 1500
1.10/1.14 c
1.10/1.14 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 20]
1.10/1.14 c heuristics/objpscostdiving/freq = -1
1.10/1.14 c
1.10/1.14 c # maximal fraction of diving LP iterations compared to total iteration number
1.10/1.14 c # [type: real, range: [0,1], default: 0.01]
1.10/1.14 c heuristics/objpscostdiving/maxlpiterquot = 0.015
1.10/1.14 c
1.10/1.14 c # additional number of allowed LP iterations
1.10/1.14 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.14 c heuristics/objpscostdiving/maxlpiterofs = 1500
1.10/1.14 c
1.10/1.14 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.14 c heuristics/oneopt/freq = -1
1.10/1.14 c
1.10/1.14 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.14 c heuristics/pscostdiving/freq = -1
1.10/1.14 c
1.10/1.14 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.14 c heuristics/pscostdiving/maxlpiterquot = 0.075
1.10/1.14 c
1.10/1.14 c # additional number of allowed LP iterations
1.10/1.14 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.14 c heuristics/pscostdiving/maxlpiterofs = 1500
1.10/1.14 c
1.10/1.14 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.14 c heuristics/rens/freq = -1
1.10/1.14 c
1.10/1.14 c # minimum percentage of integer variables that have to be fixable
1.10/1.14 c # [type: real, range: [0,1], default: 0.5]
1.10/1.14 c heuristics/rens/minfixingrate = 0.3
1.10/1.14 c
1.10/1.14 c # number of nodes added to the contingent of the total nodes
1.10/1.14 c # [type: longint, range: [0,9223372036854775807], default: 500]
1.10/1.14 c heuristics/rens/nodesofs = 2000
1.10/1.14 c
1.10/1.14 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 20]
1.10/1.14 c heuristics/rootsoldiving/freq = -1
1.10/1.14 c
1.10/1.14 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
1.10/1.14 c heuristics/rootsoldiving/maxlpiterquot = 0.015
1.10/1.14 c
1.10/1.14 c # additional number of allowed LP iterations
1.10/1.14 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.14 c heuristics/rootsoldiving/maxlpiterofs = 1500
1.10/1.14 c
1.10/1.14 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.14 c heuristics/rounding/freq = -1
1.10/1.14 c
1.10/1.14 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.14 c heuristics/shiftandpropagate/freq = -1
1.10/1.14 c
1.10/1.14 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.14 c heuristics/shifting/freq = -1
1.10/1.14 c
1.10/1.14 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.14 c heuristics/simplerounding/freq = -1
1.10/1.14 c
1.10/1.14 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.14 c heuristics/subnlp/freq = -1
1.10/1.14 c
1.10/1.14 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.14 c heuristics/trivial/freq = -1
1.10/1.14 c
1.10/1.14 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.14 c heuristics/trysol/freq = -1
1.10/1.14 c
1.10/1.14 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.14 c heuristics/undercover/freq = -1
1.10/1.14 c
1.10/1.14 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 10]
1.10/1.14 c heuristics/veclendiving/freq = -1
1.10/1.14 c
1.10/1.14 c # maximal fraction of diving LP iterations compared to node LP iterations
1.10/1.14 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
1.10/1.14 c heuristics/veclendiving/maxlpiterquot = 0.075
1.10/1.14 c
1.10/1.14 c # additional number of allowed LP iterations
1.10/1.14 c # [type: int, range: [0,2147483647], default: 1000]
1.10/1.14 c heuristics/veclendiving/maxlpiterofs = 1500
1.10/1.14 c
1.10/1.14 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.14 c heuristics/zirounding/freq = -1
1.10/1.14 c
1.10/1.14 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.14 c propagating/probing/maxprerounds = 0
1.10/1.14 c
1.10/1.14 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.14 c separating/cmir/freq = -1
1.10/1.14 c
1.10/1.14 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.14 c separating/flowcover/freq = -1
1.10/1.14 c
1.10/1.14 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.14 c separating/rapidlearning/freq = 0
1.10/1.14 c
1.10/1.14 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
1.10/1.14 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.14 c heuristics/indoneopt/freq = -1
1.10/1.14 c
1.10/1.14 c -----------------------------------------------------------------------------------------------
1.10/1.14 c start solving
1.10/1.14 c
1.29/1.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.38 c 1.4s| 1 | 0 | 128 | - | 67M| 0 | 107 |1839 | 46k|1839 | 46k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.69/1.70 c 1.7s| 1 | 0 | 355 | - | 67M| 0 | 270 |1839 | 46k|1839 | 46k| 9 | 0 | 0 | 0.000000e+00 | -- | Inf
1.99/2.02 c 2.0s| 1 | 0 | 482 | - | 67M| 0 | 259 |1839 | 46k|1839 | 46k| 22 | 0 | 0 | 0.000000e+00 | -- | Inf
2.19/2.27 c 2.3s| 1 | 0 | 515 | - | 68M| 0 | 265 |1839 | 46k|1839 | 46k| 34 | 0 | 0 | 0.000000e+00 | -- | Inf
2.48/2.56 c 2.6s| 1 | 0 | 544 | - | 69M| 0 | 209 |1839 | 46k|1839 | 46k| 44 | 0 | 0 | 0.000000e+00 | -- | Inf
2.89/2.90 c 2.9s| 1 | 0 | 620 | - | 69M| 0 | 200 |1839 | 46k|1839 | 46k| 53 | 0 | 0 | 0.000000e+00 | -- | Inf
5.40/5.42 c 5.4s| 1 | 2 | 620 | - | 69M| 0 | 200 |1839 | 46k|1839 | 46k| 53 | 0 | 22 | 0.000000e+00 | -- | Inf
102.97/103.03 c 103s| 100 | 92 | 3982 | 34.0 | 71M| 38 | 98 |1839 | 46k|1839 | 46k| 53 | 9 | 569 | 0.000000e+00 | -- | Inf
106.98/107.01 c 107s| 200 | 102 | 6928 | 31.7 | 71M| 43 | - |1839 | 46k| 0 | 0 | 53 | 109 | 573 | 0.000000e+00 | -- | Inf
120.17/120.20 c 120s| 300 | 129 | 13659 | 43.6 | 72M| 43 | 305 |1839 | 46k|1839 | 46k| 53 | 168 | 632 | 0.000000e+00 | -- | Inf
133.47/133.57 c 134s| 400 | 172 | 21278 | 51.8 | 72M| 43 | 367 |1839 | 46k|1839 | 46k| 53 | 235 | 672 | 0.000000e+00 | -- | Inf
148.07/148.18 c 148s| 500 | 206 | 30117 | 59.1 | 73M| 43 | 271 |1839 | 46k|1839 | 46k| 53 | 293 | 713 | 0.000000e+00 | -- | Inf
224.76/224.86 c 225s| 600 | 261 | 87006 | 144.2 | 74M| 43 | 516 |1839 | 46k|1839 | 46k| 53 | 336 | 829 | 0.000000e+00 | -- | Inf
241.15/241.28 c 241s| 700 | 329 | 97820 | 139.1 | 75M| 44 | 165 |1839 | 46k|1839 | 46k| 53 | 377 | 873 | 0.000000e+00 | -- | Inf
273.75/273.81 c 274s| 800 | 387 |127648 | 159.0 | 76M| 44 | 193 |1839 | 46k|1839 | 46k| 53 | 425 | 941 | 0.000000e+00 | -- | Inf
283.65/283.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
283.65/283.79 c 284s| 900 | 451 |134833 | 149.3 | 77M| 61 | - |1839 | 46k| 0 | 0 | 53 | 467 | 955 | 0.000000e+00 | -- | Inf
286.65/286.74 c 287s| 1000 | 495 |136514 | 136.0 | 77M| 72 | 54 |1839 | 46k|1839 | 46k| 53 | 554 | 955 | 0.000000e+00 | -- | Inf
289.75/289.89 c 290s| 1100 | 519 |138277 | 125.3 | 78M| 72 | - |1839 | 46k| 0 | 0 | 53 | 694 | 958 | 0.000000e+00 | -- | Inf
294.15/294.22 c 294s| 1200 | 515 |139841 | 116.1 | 78M| 72 | 71 |1839 | 46k|1839 | 46k| 53 | 963 | 971 | 0.000000e+00 | -- | Inf
297.14/297.28 c 297s| 1300 | 485 |141891 | 108.8 | 78M| 72 | 128 |1839 | 46k|1839 | 46k| 53 |1207 | 971 | 0.000000e+00 | -- | Inf
304.34/304.43 c 304s| 1400 | 440 |145726 | 103.7 | 77M| 72 | 232 |1839 | 46k|1839 | 46k| 53 |1340 | 995 | 0.000000e+00 | -- | Inf
317.44/317.59 c 318s| 1500 | 479 |156242 | 103.8 | 78M| 72 | - |1839 | 46k| 0 | 0 | 53 |1471 |1037 | 0.000000e+00 | -- | Inf
345.74/345.89 c 346s| 1600 | 531 |177416 | 110.6 | 78M| 72 | 239 |1839 | 46k|1839 | 46k| 53 |1558 |1089 | 0.000000e+00 | -- | Inf
363.84/363.90 c 364s| 1700 | 585 |193521 | 113.5 | 79M| 72 | 133 |1839 | 46k|1839 | 46k| 53 |1626 |1127 | 0.000000e+00 | -- | Inf
374.63/374.72 c 375s| 1800 | 667 |203532 | 112.8 | 81M| 72 | - |1839 | 46k| 0 | 0 | 53 |1637 |1153 | 0.000000e+00 | -- | Inf
380.54/380.61 c 381s| 1900 | 736 |206442 | 108.4 | 82M| 72 | 171 |1839 | 46k|1839 | 46k| 53 |1677 |1175 | 0.000000e+00 | -- | Inf
385.13/385.22 c 385s| 2000 | 801 |208974 | 104.2 | 83M| 72 | 151 |1839 | 47k|1839 | 46k| 53 |1712 |1188 | 0.000000e+00 | -- | Inf
392.33/392.41 c 392s| 2100 | 851 |213574 | 101.5 | 83M| 72 | 152 |1839 | 47k|1839 | 46k| 53 |1777 |1218 | 0.000000e+00 | -- | Inf
400.43/400.51 c 401s| 2200 | 904 |217989 | 98.8 | 84M| 72 | 92 |1839 | 47k|1839 | 46k| 53 |1816 |1263 | 0.000000e+00 | -- | Inf
407.63/407.74 c 408s| 2300 | 966 |221849 | 96.2 | 85M| 72 | 117 |1839 | 47k|1839 | 46k| 53 |1850 |1297 | 0.000000e+00 | -- | Inf
416.62/416.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
416.62/416.75 c 417s| 2400 | 1025 |228431 | 95.0 | 86M| 72 | 52 |1839 | 47k|1839 | 46k| 53 |1913 |1322 | 0.000000e+00 | -- | Inf
425.83/425.99 c 426s| 2500 | 1077 |233274 | 93.1 | 86M| 72 | 70 |1839 | 47k|1839 | 46k| 53 |1982 |1369 | 0.000000e+00 | -- | Inf
433.03/433.18 c 433s| 2600 | 1149 |237952 | 91.3 | 87M| 72 | 222 |1839 | 47k|1839 | 46k| 53 |2011 |1393 | 0.000000e+00 | -- | Inf
439.02/439.15 c 439s| 2700 | 1212 |241309 | 89.2 | 88M| 72 | - |1839 | 47k| 0 | 0 | 53 |2082 |1412 | 0.000000e+00 | -- | Inf
446.22/446.34 c 446s| 2800 | 1265 |245643 | 87.5 | 89M| 72 | 44 |1839 | 47k|1839 | 46k| 53 |2149 |1441 | 0.000000e+00 | -- | Inf
454.42/454.59 c 455s| 2900 | 1324 |250737 | 86.3 | 90M| 72 | 193 |1839 | 47k|1839 | 46k| 53 |2235 |1469 | 0.000000e+00 | -- | Inf
465.62/465.76 c 466s| 3000 | 1380 |257893 | 85.8 | 91M| 72 | 247 |1839 | 47k|1839 | 46k| 53 |2279 |1513 | 0.000000e+00 | -- | Inf
474.42/474.52 c 475s| 3100 | 1428 |262517 | 84.5 | 92M| 72 | 150 |1839 | 47k|1839 | 46k| 53 |2371 |1553 | 0.000000e+00 | -- | Inf
481.62/481.77 c 482s| 3200 | 1479 |267782 | 83.5 | 92M| 72 | 157 |1839 | 47k|1839 | 46k| 53 |2461 |1575 | 0.000000e+00 | -- | Inf
489.71/489.85 c 490s| 3300 | 1516 |272305 | 82.4 | 93M| 72 | - |1839 | 47k| 0 | 0 | 53 |2574 |1617 | 0.000000e+00 | -- | Inf
497.51/497.66 c 498s| 3400 | 1546 |276827 | 81.3 | 93M| 72 | 122 |1839 | 47k|1839 | 46k| 53 |2780 |1653 | 0.000000e+00 | -- | Inf
505.92/506.02 c 506s| 3500 | 1577 |281516 | 80.3 | 94M| 72 | 196 |1839 | 47k|1839 | 46k| 53 |2965 |1692 | 0.000000e+00 | -- | Inf
514.62/514.74 c 515s| 3600 | 1623 |286874 | 79.5 | 95M| 72 | 40 |1839 | 47k|1839 | 46k| 53 |3102 |1728 | 0.000000e+00 | -- | Inf
522.61/522.74 c 523s| 3700 | 1654 |292286 | 78.8 | 95M| 72 | 205 |1839 | 47k|1839 | 46k| 53 |3296 |1756 | 0.000000e+00 | -- | Inf
531.12/531.28 c 531s| 3800 | 1659 |296836 | 78.0 | 95M| 72 | 316 |1839 | 47k|1839 | 46k| 53 |3534 |1802 | 0.000000e+00 | -- | Inf
543.01/543.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.01/543.18 c 543s| 3900 | 1692 |303736 | 77.7 | 96M| 72 | - |1839 | 47k| 0 | 0 | 53 |3716 |1868 | 0.000000e+00 | -- | Inf
551.20/551.37 c 551s| 4000 | 1726 |308413 | 77.0 | 96M| 72 | 251 |1839 | 47k|1839 | 46k| 53 |3859 |1905 | 0.000000e+00 | -- | Inf
560.40/560.50 c 560s| 4100 | 1752 |313810 | 76.4 | 97M| 72 | 334 |1839 | 47k|1839 | 46k| 53 |4010 |1952 | 0.000000e+00 | -- | Inf
570.71/570.87 c 571s| 4200 | 1789 |320717 | 76.2 | 98M| 72 | 229 |1839 | 47k|1839 | 46k| 53 |4129 |2001 | 0.000000e+00 | -- | Inf
580.71/580.83 c 581s| 4300 | 1834 |327151 | 76.0 | 98M| 72 | - |1839 | 47k| 0 | 0 | 53 |4223 |2050 | 0.000000e+00 | -- | Inf
589.90/590.06 c 590s| 4400 | 1864 |332474 | 75.4 | 99M| 72 | 218 |1839 | 47k|1839 | 46k| 53 |4341 |2092 | 0.000000e+00 | -- | Inf
599.79/599.93 c 600s| 4500 | 1923 |339160 | 75.2 | 100M| 72 | 236 |1839 | 47k|1839 | 46k| 53 |4413 |2140 | 0.000000e+00 | -- | Inf
609.79/609.95 c 610s| 4600 | 1986 |345285 | 74.9 | 101M| 72 | 152 |1839 | 47k|1839 | 46k| 53 |4449 |2190 | 0.000000e+00 | -- | Inf
616.91/617.02 c 617s| 4700 | 2020 |349720 | 74.3 | 101M| 72 | 150 |1839 | 47k|1839 | 46k| 53 |4583 |2226 | 0.000000e+00 | -- | Inf
625.29/625.40 c 625s| 4800 | 2060 |354706 | 73.8 | 102M| 72 | - |1839 | 47k| 0 | 0 | 53 |4693 |2275 | 0.000000e+00 | -- | Inf
631.59/631.76 c 632s| 4900 | 2090 |358356 | 73.0 | 103M| 72 | 326 |1839 | 47k|1839 | 46k| 53 |4814 |2310 | 0.000000e+00 | -- | Inf
643.00/643.19 c 643s| 5000 | 2132 |365463 | 73.0 | 103M| 72 | 94 |1839 | 47k|1839 | 46k| 53 |4900 |2376 | 0.000000e+00 | -- | Inf
654.09/654.20 c 654s| 5100 | 2202 |372123 | 72.9 | 105M| 72 | 94 |1839 | 47k|1839 | 46k| 53 |4943 |2434 | 0.000000e+00 | -- | Inf
666.50/666.69 c 667s| 5200 | 2275 |381159 | 73.2 | 106M| 72 | 353 |1839 | 47k|1839 | 46k| 53 |4970 |2476 | 0.000000e+00 | -- | Inf
676.09/676.25 c 676s| 5300 | 2346 |389085 | 73.3 | 107M| 72 | 265 |1839 | 47k|1839 | 46k| 53 |4999 |2496 | 0.000000e+00 | -- | Inf
690.48/690.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
690.48/690.62 c 691s| 5400 | 2405 |399552 | 73.9 | 108M| 72 | 265 |1839 | 47k|1839 | 46k| 53 |5082 |2547 | 0.000000e+00 | -- | Inf
703.18/703.33 c 703s| 5500 | 2476 |408429 | 74.2 | 109M| 72 | 117 |1839 | 47k|1839 | 46k| 53 |5119 |2594 | 0.000000e+00 | -- | Inf
713.98/714.19 c 714s| 5600 | 2525 |415949 | 74.2 | 110M| 72 | 176 |1839 | 47k|1839 | 46k| 53 |5195 |2640 | 0.000000e+00 | -- | Inf
723.38/723.51 c 724s| 5700 | 2577 |422491 | 74.0 | 111M| 72 | 71 |1839 | 47k|1839 | 46k| 53 |5273 |2682 | 0.000000e+00 | -- | Inf
733.58/733.79 c 734s| 5800 | 2650 |429647 | 74.0 | 112M| 72 | 132 |1839 | 47k|1839 | 46k| 53 |5348 |2721 | 0.000000e+00 | -- | Inf
747.18/747.32 c 747s| 5900 | 2726 |439619 | 74.4 | 114M| 72 | 94 |1839 | 47k|1839 | 46k| 53 |5388 |2781 | 0.000000e+00 | -- | Inf
758.37/758.53 c 759s| 6000 | 2784 |447526 | 74.5 | 115M| 72 | 214 |1839 | 47k|1839 | 46k| 53 |5463 |2827 | 0.000000e+00 | -- | Inf
771.27/771.41 c 771s| 6100 | 2838 |456223 | 74.7 | 116M| 72 | 225 |1839 | 47k|1839 | 46k| 53 |5559 |2897 | 0.000000e+00 | -- | Inf
782.67/782.85 c 783s| 6200 | 2885 |464317 | 74.8 | 117M| 72 | 214 |1839 | 47k|1839 | 46k| 53 |5676 |2947 | 0.000000e+00 | -- | Inf
793.17/793.34 c 793s| 6300 | 2935 |471053 | 74.7 | 118M| 72 | 237 |1839 | 47k|1839 | 46k| 53 |5779 |3002 | 0.000000e+00 | -- | Inf
806.36/806.58 c 807s| 6400 | 2979 |480912 | 75.1 | 119M| 72 | 262 |1839 | 47k|1839 | 46k| 53 |5879 |3047 | 0.000000e+00 | -- | Inf
817.36/817.58 c 818s| 6500 | 3027 |489763 | 75.3 | 120M| 72 | - |1839 | 47k| 0 | 0 | 53 |5975 |3077 | 0.000000e+00 | -- | Inf
826.26/826.48 c 826s| 6600 | 3094 |495812 | 75.0 | 121M| 72 | 269 |1839 | 47k|1839 | 46k| 53 |6020 |3110 | 0.000000e+00 | -- | Inf
840.27/840.42 c 840s| 6700 | 3130 |506550 | 75.5 | 122M| 72 | 313 |1839 | 47k|1839 | 46k| 53 |6167 |3170 | 0.000000e+00 | -- | Inf
849.76/849.94 c 850s| 6800 | 3169 |513064 | 75.4 | 123M| 72 | 317 |1839 | 47k|1839 | 46k| 53 |6302 |3212 | 0.000000e+00 | -- | Inf
864.36/864.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
864.36/864.54 c 865s| 6900 | 3224 |524234 | 75.9 | 124M| 72 | 231 |1839 | 47k|1839 | 46k| 53 |6388 |3274 | 0.000000e+00 | -- | Inf
876.66/876.84 c 877s| 7000 | 3260 |533369 | 76.1 | 125M| 72 | 357 |1839 | 47k|1839 | 46k| 53 |6491 |3338 | 0.000000e+00 | -- | Inf
889.86/890.07 c 890s| 7100 | 3309 |543463 | 76.5 | 126M| 72 | 249 |1839 | 47k|1839 | 46k| 53 |6587 |3393 | 0.000000e+00 | -- | Inf
901.36/901.50 c 901s| 7200 | 3366 |551519 | 76.5 | 127M| 72 | 27 |1839 | 47k|1839 | 46k| 53 |6663 |3444 | 0.000000e+00 | -- | Inf
905.75/905.93 c 906s| 7300 | 3384 |553602 | 75.8 | 127M| 72 | 56 |1839 | 48k|1839 | 46k| 53 |6886 |3460 | 0.000000e+00 | -- | Inf
910.95/911.12 c 911s| 7400 | 3402 |556253 | 75.1 | 128M| 72 | 120 |1839 | 48k|1839 | 46k| 53 |7161 |3490 | 0.000000e+00 | -- | Inf
915.25/915.43 c 915s| 7500 | 3403 |559408 | 74.5 | 128M| 72 | 52 |1839 | 48k|1839 | 46k| 53 |7410 |3502 | 0.000000e+00 | -- | Inf
920.55/920.77 c 921s| 7600 | 3414 |562507 | 73.9 | 128M| 72 | - |1839 | 48k| 0 | 0 | 53 |7590 |3522 | 0.000000e+00 | -- | Inf
925.65/925.83 c 926s| 7700 | 3423 |565826 | 73.4 | 128M| 72 | - |1839 | 48k| 0 | 0 | 53 |7794 |3546 | 0.000000e+00 | -- | Inf
935.74/935.95 c 936s| 7800 | 3483 |571898 | 73.3 | 129M| 72 | 54 |1839 | 48k|1839 | 46k| 53 |7883 |3588 | 0.000000e+00 | -- | Inf
944.15/944.37 c 944s| 7900 | 3536 |578006 | 73.1 | 130M| 72 | - |1839 | 48k| 0 | 0 | 53 |7956 |3619 | 0.000000e+00 | -- | Inf
953.24/953.44 c 953s| 8000 | 3573 |584963 | 73.1 | 131M| 72 | 283 |1839 | 48k|1839 | 46k| 53 |8074 |3659 | 0.000000e+00 | -- | Inf
957.35/957.59 c 958s| 8100 | 3599 |588229 | 72.6 | 131M| 72 | 126 |1839 | 48k|1839 | 46k| 53 |8240 |3667 | 0.000000e+00 | -- | Inf
961.54/961.72 c 962s| 8200 | 3603 |591425 | 72.1 | 131M| 72 | 239 |1839 | 48k|1839 | 46k| 53 |8441 |3673 | 0.000000e+00 | -- | Inf
973.85/974.04 c 974s| 8300 | 3667 |599507 | 72.2 | 132M| 72 | 252 |1839 | 48k|1839 | 46k| 53 |8512 |3731 | 0.000000e+00 | -- | Inf
983.54/983.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
983.54/983.73 c 984s| 8400 | 3737 |607497 | 72.3 | 133M| 72 | 409 |1839 | 48k|1839 | 46k| 53 |8581 |3756 | 0.000000e+00 | -- | Inf
994.44/994.62 c 995s| 8500 | 3795 |615952 | 72.4 | 134M| 72 | - |1839 | 48k| 0 | 0 | 53 |8670 |3786 | 0.000000e+00 | -- | Inf
1001.95/1002.16 c 1002s| 8600 | 3828 |622168 | 72.3 | 135M| 72 | 155 |1839 | 48k|1839 | 46k| 53 |8806 |3807 | 0.000000e+00 | -- | Inf
1011.33/1011.55 c 1012s| 8700 | 3876 |627101 | 72.0 | 136M| 72 | - |1839 | 48k| 0 | 0 | 53 |8909 |3863 | 0.000000e+00 | -- | Inf
1018.93/1019.10 c 1019s| 8800 | 3937 |633335 | 71.9 | 137M| 72 | 256 |1839 | 48k|1839 | 46k| 53 |8982 |3890 | 0.000000e+00 | -- | Inf
1026.74/1026.92 c 1027s| 8900 | 3979 |640776 | 71.9 | 138M| 72 | 170 |1839 | 48k|1839 | 46k| 53 |9102 |3913 | 0.000000e+00 | -- | Inf
1034.34/1034.51 c 1035s| 9000 | 4040 |648106 | 72.0 | 139M| 72 | 202 |1839 | 48k|1839 | 46k| 53 |9169 |3930 | 0.000000e+00 | -- | Inf
1043.03/1043.25 c 1043s| 9100 | 4096 |656264 | 72.1 | 139M| 72 | 177 |1839 | 48k|1839 | 46k| 53 |9242 |3958 | 0.000000e+00 | -- | Inf
1052.63/1052.80 c 1053s| 9200 | 4122 |663152 | 72.0 | 140M| 72 | - |1839 | 48k| 0 | 0 | 53 |9371 |4003 | 0.000000e+00 | -- | Inf
1070.83/1071.06 c 1071s| 9300 | 4200 |672397 | 72.2 | 141M| 72 | 186 |1839 | 48k|1839 | 46k| 53 |9441 |4117 | 0.000000e+00 | -- | Inf
1085.92/1086.12 c 1086s| 9400 | 4258 |679081 | 72.2 | 142M| 72 | - |1839 | 48k| 0 | 0 | 53 |9499 |4208 | 0.000000e+00 | -- | Inf
1095.53/1095.78 c 1096s| 9500 | 4293 |687126 | 72.3 | 143M| 72 | 357 |1839 | 48k|1839 | 46k| 53 |9625 |4233 | 0.000000e+00 | -- | Inf
1104.02/1104.22 c 1104s| 9600 | 4357 |696698 | 72.5 | 144M| 72 | - |1839 | 48k|1839 | 46k| 53 |9687 |4245 | 0.000000e+00 | -- | Inf
1112.12/1112.32 c 1112s| 9700 | 4406 |703714 | 72.5 | 145M| 72 | 215 |1839 | 48k|1839 | 46k| 53 |9806 |4263 | 0.000000e+00 | -- | Inf
1120.22/1120.41 c 1120s| 9800 | 4476 |709899 | 72.4 | 146M| 72 | 208 |1839 | 48k|1839 | 46k| 53 |9872 |4301 | 0.000000e+00 | -- | Inf
1129.02/1129.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1129.02/1129.27 c 1129s| 9900 | 4553 |719788 | 72.7 | 147M| 72 | 170 |1839 | 48k|1839 | 46k| 53 |9927 |4314 | 0.000000e+00 | -- | Inf
1138.62/1138.86 c 1139s| 10000 | 4590 |727546 | 72.7 | 148M| 72 | 113 |1839 | 48k|1839 | 46k| 53 | 10k|4347 | 0.000000e+00 | -- | Inf
1143.72/1143.98 c 1144s| 10100 | 4629 |732059 | 72.4 | 149M| 72 | 98 |1839 | 48k|1839 | 46k| 53 | 10k|4361 | 0.000000e+00 | -- | Inf
1154.11/1154.33 c 1154s| 10200 | 4669 |740897 | 72.6 | 150M| 72 | 218 |1839 | 48k|1839 | 46k| 53 | 10k|4394 | 0.000000e+00 | -- | Inf
1162.42/1162.63 c 1163s| 10300 | 4722 |750474 | 72.8 | 151M| 72 | - |1839 | 48k| 0 | 0 | 53 | 10k|4404 | 0.000000e+00 | -- | Inf
1202.91/1203.11 c 1203s| 10400 | 4769 |766647 | 73.7 | 152M| 72 | 365 |1839 | 48k|1839 | 46k| 53 | 10k|4597 | 0.000000e+00 | -- | Inf
1211.11/1211.38 c 1211s| 10500 | 4827 |775306 | 73.8 | 153M| 72 | - |1839 | 48k|1839 | 46k| 53 | 10k|4613 | 0.000000e+00 | -- | Inf
1220.31/1220.58 c 1221s| 10600 | 4877 |786246 | 74.1 | 154M| 72 | 288 |1839 | 48k|1839 | 46k| 53 | 10k|4625 | 0.000000e+00 | -- | Inf
1226.41/1226.68 c 1227s| 10700 | 4936 |791486 | 73.9 | 155M| 72 | - |1839 | 48k| 0 | 0 | 53 | 10k|4639 | 0.000000e+00 | -- | Inf
1232.50/1232.75 c 1233s| 10800 | 5003 |797441 | 73.8 | 156M| 72 | 57 |1839 | 48k|1839 | 46k| 53 | 10k|4650 | 0.000000e+00 | -- | Inf
1241.61/1241.85 c 1242s| 10900 | 5039 |804644 | 73.8 | 157M| 72 | 234 |1839 | 48k|1839 | 46k| 53 | 11k|4677 | 0.000000e+00 | -- | Inf
1254.70/1254.96 c 1255s| 11000 | 5120 |813947 | 73.9 | 158M| 72 | 334 |1839 | 48k|1839 | 46k| 53 | 11k|4732 | 0.000000e+00 | -- | Inf
1275.59/1275.80 c 1276s| 11100 | 5203 |822514 | 74.1 | 159M| 72 | 121 |1839 | 48k|1839 | 46k| 53 | 11k|4853 | 0.000000e+00 | -- | Inf
1283.90/1284.16 c 1284s| 11200 | 5281 |830068 | 74.1 | 161M| 72 | - |1839 | 48k| 0 | 0 | 53 | 11k|4874 | 0.000000e+00 | -- | Inf
1289.00/1289.27 c 1289s| 11300 | 5349 |835425 | 73.9 | 162M| 72 | - |1839 | 48k| 0 | 0 | 53 | 11k|4878 | 0.000000e+00 | -- | Inf
1296.19/1296.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1296.19/1296.48 c 1296s| 11400 | 5422 |842882 | 73.9 | 163M| 72 | 152 |1839 | 48k|1839 | 46k| 53 | 11k|4889 | 0.000000e+00 | -- | Inf
1301.49/1301.71 c 1302s| 11500 | 5435 |848087 | 73.7 | 163M| 72 | 136 |1839 | 48k|1839 | 46k| 53 | 11k|4893 | 0.000000e+00 | -- | Inf
1307.19/1307.42 c 1307s| 11600 | 5480 |854617 | 73.6 | 164M| 72 | 187 |1839 | 48k|1839 | 46k| 53 | 11k|4897 | 0.000000e+00 | -- | Inf
1317.69/1317.92 c 1318s| 11700 | 5535 |863302 | 73.7 | 165M| 72 | 192 |1839 | 48k|1839 | 46k| 53 | 11k|4930 | 0.000000e+00 | -- | Inf
1329.09/1329.38 c 1329s| 11800 | 5617 |877273 | 74.3 | 166M| 72 | 257 |1839 | 48k|1839 | 46k| 53 | 11k|4940 | 0.000000e+00 | -- | Inf
1338.18/1338.47 c 1338s| 11900 | 5663 |886623 | 74.5 | 167M| 72 | 217 |1839 | 48k|1839 | 46k| 53 | 11k|4953 | 0.000000e+00 | -- | Inf
1348.48/1348.79 c 1349s| 12000 | 5750 |899425 | 74.9 | 169M| 72 | 291 |1839 | 48k|1839 | 46k| 53 | 11k|4964 | 0.000000e+00 | -- | Inf
1355.78/1356.01 c 1356s| 12100 | 5822 |908437 | 75.0 | 170M| 72 | 147 |1839 | 48k|1839 | 46k| 53 | 11k|4966 | 0.000000e+00 | -- | Inf
1362.98/1363.26 c 1363s| 12200 | 5869 |916517 | 75.1 | 171M| 72 | 176 |1839 | 48k|1839 | 46k| 53 | 12k|4975 | 0.000000e+00 | -- | Inf
1369.58/1369.85 c 1370s| 12300 | 5919 |925095 | 75.2 | 172M| 72 | 228 |1839 | 48k|1839 | 46k| 53 | 12k|4976 | 0.000000e+00 | -- | Inf
1376.38/1376.65 c 1377s| 12400 | 5978 |932767 | 75.2 | 173M| 72 | 148 |1839 | 48k|1839 | 46k| 53 | 12k|4982 | 0.000000e+00 | -- | Inf
1386.08/1386.31 c 1386s| 12500 | 6029 |941190 | 75.3 | 174M| 72 | 166 |1839 | 48k|1839 | 46k| 53 | 12k|5012 | 0.000000e+00 | -- | Inf
1394.48/1394.74 c 1395s| 12600 | 6076 |947665 | 75.2 | 175M| 72 | - |1839 | 48k| 0 | 0 | 53 | 12k|5035 | 0.000000e+00 | -- | Inf
1402.07/1402.35 c 1402s| 12700 | 6077 |952821 | 75.0 | 175M| 72 | 195 |1839 | 48k|1839 | 46k| 53 | 12k|5067 | 0.000000e+00 | -- | Inf
1411.58/1411.81 c 1412s| 12800 | 6116 |958480 | 74.8 | 176M| 72 | 271 |1839 | 48k|1839 | 46k| 53 | 12k|5112 | 0.000000e+00 | -- | Inf
1420.57/1420.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1420.57/1420.83 c 1421s| 12900 | 6159 |965987 | 74.8 | 176M| 72 | 94 |1839 | 48k|1839 | 46k| 53 | 12k|5145 | 0.000000e+00 | -- | Inf
1427.67/1427.96 c 1428s| 13000 | 6199 |971639 | 74.7 | 177M| 72 | 366 |1839 | 48k|1839 | 46k| 53 | 13k|5167 | 0.000000e+00 | -- | Inf
1440.97/1441.26 c 1441s| 13100 | 6275 |980932 | 74.8 | 178M| 72 | 177 |1839 | 48k|1839 | 46k| 53 | 13k|5230 | 0.000000e+00 | -- | Inf
1453.27/1453.54 c 1454s| 13200 | 6346 |989231 | 74.9 | 180M| 72 | - |1839 | 48k| 0 | 0 | 53 | 13k|5290 | 0.000000e+00 | -- | Inf
1467.17/1467.43 c 1467s| 13300 | 6405 |999242 | 75.1 | 181M| 72 | 197 |1839 | 48k|1839 | 46k| 53 | 13k|5341 | 0.000000e+00 | -- | Inf
1478.56/1478.85 c 1479s| 13400 | 6459 | 1007k| 75.2 | 181M| 72 | - |1839 | 48k|1839 | 46k| 53 | 13k|5402 | 0.000000e+00 | -- | Inf
1487.46/1487.70 c 1488s| 13500 | 6489 | 1014k| 75.1 | 182M| 72 | - |1839 | 48k| 0 | 0 | 53 | 13k|5436 | 0.000000e+00 | -- | Inf
1497.56/1497.86 c 1498s| 13600 | 6542 | 1022k| 75.1 | 183M| 72 | 287 |1839 | 48k|1839 | 46k| 53 | 13k|5474 | 0.000000e+00 | -- | Inf
1511.26/1511.59 c 1512s| 13700 | 6602 | 1031k| 75.2 | 184M| 72 | 187 |1839 | 48k|1839 | 46k| 53 | 13k|5544 | 0.000000e+00 | -- | Inf
1522.36/1522.68 c 1523s| 13800 | 6661 | 1039k| 75.3 | 185M| 72 | 252 |1839 | 48k|1839 | 46k| 53 | 13k|5583 | 0.000000e+00 | -- | Inf
1532.65/1532.96 c 1533s| 13900 | 6721 | 1047k| 75.3 | 186M| 72 | 265 |1839 | 48k|1839 | 46k| 53 | 13k|5616 | 0.000000e+00 | -- | Inf
1544.55/1544.82 c 1545s| 14000 | 6804 | 1055k| 75.3 | 187M| 72 | - |1839 | 48k| 0 | 0 | 53 | 13k|5679 | 0.000000e+00 | -- | Inf
1553.94/1554.28 c 1554s| 14100 | 6854 | 1062k| 75.3 | 188M| 72 | 101 |1839 | 48k|1839 | 46k| 53 | 13k|5710 | 0.000000e+00 | -- | Inf
1561.94/1562.28 c 1562s| 14200 | 6865 | 1068k| 75.2 | 189M| 72 | - |1839 | 48k|1839 | 46k| 53 | 14k|5743 | 0.000000e+00 | -- | Inf
1573.04/1573.32 c 1573s| 14300 | 6902 | 1075k| 75.2 | 189M| 72 | 109 |1839 | 48k|1839 | 46k| 53 | 14k|5804 | 0.000000e+00 | -- | Inf
1586.83/1587.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1586.83/1587.19 c 1587s| 14400 | 6972 | 1086k| 75.4 | 190M| 72 | 294 |1839 | 48k|1839 | 46k| 53 | 14k|5873 | 0.000000e+00 | -- | Inf
1594.03/1594.37 c 1594s| 14500 | 7016 | 1091k| 75.2 | 191M| 72 | - |1839 | 48k| 0 | 0 | 53 | 14k|5900 | 0.000000e+00 | -- | Inf
1608.23/1608.54 c 1609s| 14600 | 7077 | 1101k| 75.4 | 192M| 72 | 180 |1839 | 48k|1839 | 46k| 53 | 14k|5976 | 0.000000e+00 | -- | Inf
1617.13/1617.49 c 1617s| 14700 | 7134 | 1107k| 75.3 | 193M| 72 | 258 |1839 | 48k|1839 | 46k| 53 | 14k|6020 | 0.000000e+00 | -- | Inf
1629.12/1629.45 c 1629s| 14800 | 7195 | 1117k| 75.5 | 194M| 72 | 263 |1839 | 48k|1839 | 46k| 53 | 14k|6060 | 0.000000e+00 | -- | Inf
1640.32/1640.60 c 1641s| 14900 | 7252 | 1125k| 75.5 | 195M| 72 | 135 |1839 | 48k|1839 | 46k| 53 | 14k|6110 | 0.000000e+00 | -- | Inf
1651.93/1652.25 c 1652s| 15000 | 7306 | 1134k| 75.6 | 196M| 72 | 315 |1839 | 48k|1839 | 46k| 53 | 14k|6153 | 0.000000e+00 | -- | Inf
1663.02/1663.32 c 1663s| 15100 | 7366 | 1142k| 75.6 | 197M| 72 | 144 |1839 | 48k|1839 | 46k| 53 | 14k|6219 | 0.000000e+00 | -- | Inf
1673.41/1673.77 c 1674s| 15200 | 7389 | 1151k| 75.7 | 198M| 72 | 368 |1839 | 48k|1839 | 46k| 53 | 14k|6249 | 0.000000e+00 | -- | Inf
1685.02/1685.39 c 1685s| 15300 | 7460 | 1161k| 75.9 | 199M| 72 | 115 |1839 | 48k|1839 | 46k| 53 | 15k|6302 | 0.000000e+00 | -- | Inf
1693.11/1693.47 c 1693s| 15400 | 7492 | 1167k| 75.8 | 200M| 72 | 150 |1839 | 48k|1839 | 46k| 53 | 15k|6338 | 0.000000e+00 | -- | Inf
1702.91/1703.25 c 1703s| 15500 | 7510 | 1172k| 75.6 | 200M| 72 | - |1839 | 48k| 0 | 0 | 53 | 15k|6394 | 0.000000e+00 | -- | Inf
1715.51/1715.84 c 1716s| 15600 | 7578 | 1183k| 75.8 | 201M| 72 | - |1839 | 48k| 0 | 0 | 53 | 15k|6432 | 0.000000e+00 | -- | Inf
1722.91/1723.25 c 1723s| 15700 | 7608 | 1189k| 75.8 | 202M| 72 | - |1839 | 48k| 0 | 0 | 53 | 15k|6459 | 0.000000e+00 | -- | Inf
1747.51/1747.86 c 1748s| 15800 | 7655 | 1203k| 76.1 | 203M| 72 | 430 |1839 | 48k|1839 | 46k| 53 | 15k|6555 | 0.000000e+00 | -- | Inf
1776.60/1776.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1776.60/1776.97 c 1777s| 15900 | 7749 | 1228k| 77.2 | 204M| 72 | 115 |1839 | 48k|1839 | 46k| 53 | 15k|6632 | 0.000000e+00 | -- | Inf
1782.10/1782.47 c 1782s| 16000 | 7801 | 1232k| 77.0 | 205M| 72 | 37 |1839 | 48k|1839 | 46k| 53 | 15k|6641 | 0.000000e+00 | -- | Inf
1788.50/1788.84 c 1789s| 16100 | 7847 | 1238k| 76.9 | 206M| 72 | 94 |1839 | 48k|1839 | 46k| 53 | 15k|6658 | 0.000000e+00 | -- | Inf
1793.60/1793.92 c 1794s| 16200 | 7870 | 1244k| 76.8 | 206M| 72 | 43 |1839 | 48k|1839 | 46k| 53 | 16k|6662 | 0.000000e+00 | -- | Inf
1796.70/1797.01 c
1796.70/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.01 c Solving Time (sec) : 1797.01
1796.70/1797.01 c Solving Nodes : 16249
1796.70/1797.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.70/1797.01 c Dual Bound : +0.00000000000000e+00
1796.70/1797.01 c Gap : infinite
1796.70/1797.01 s UNKNOWN
1796.70/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.01 c Total Time : 1797.01
1796.70/1797.01 c solving : 1797.01
1796.70/1797.01 c presolving : 0.98 (included in solving)
1796.70/1797.01 c reading : 0.12 (included in solving)
1796.70/1797.01 c copying : 0.00 (0 times copied the problem)
1796.70/1797.01 c Original Problem :
1796.70/1797.01 c Problem name : HOME/instance-3690627-1338024317.opb
1796.70/1797.01 c Variables : 1840 (1840 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.01 c Constraints : 46243 initial, 46243 maximal
1796.70/1797.01 c Objective sense : minimize
1796.70/1797.01 c Presolved Problem :
1796.70/1797.01 c Problem name : t_HOME/instance-3690627-1338024317.opb
1796.70/1797.01 c Variables : 1839 (1839 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.01 c Constraints : 46060 initial, 48835 maximal
1796.70/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c gateextraction : 0.01 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c components : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c knapsack : 0.03 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c setppc : 0.06 0.00 0 0 0 0 0 162 0 0 0
1796.70/1797.01 c linear : 0.40 0.00 0 1 0 0 0 5 0 4 0
1796.70/1797.01 c logicor : 0.30 0.03 0 0 0 0 0 16 0 0 0
1796.70/1797.01 c root node : - - 0 - - 0 - - - - -
1796.70/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.01 c integral : 0 0 0 0 14069 0 1 0 45 2087 0 0 26048
1796.70/1797.01 c knapsack : 3696 3696 5 66842 0 0 0 36428 463 37494 24 0 0
1796.70/1797.01 c setppc : 12807 12807 5 66379 0 0 0 200987 630 244496 0 0 0
1796.70/1797.01 c linear : 4 4 5 65749 0 0 0 7860 76 8454 0 0 0
1796.70/1797.01 c logicor : 29553+ 32328 5 54304 0 0 0 201269 2856 174187 0 0 0
1796.70/1797.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.01 c integral : 742.01 0.00 0.00 0.00 742.01 0.00 0.00 0.00
1796.70/1797.01 c knapsack : 4.51 0.00 0.03 4.42 0.00 0.00 0.00 0.06
1796.70/1797.01 c setppc : 9.74 0.00 0.00 9.52 0.00 0.00 0.00 0.22
1796.70/1797.01 c linear : 0.16 0.00 0.00 0.15 0.00 0.00 0.00 0.02
1796.70/1797.01 c logicor : 6.32 0.03 0.01 5.92 0.00 0.00 0.00 0.37
1796.70/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.01 c rootredcost : 0 0 0 0
1796.70/1797.01 c pseudoobj : 0 0 0 0
1796.70/1797.01 c vbounds : 0 0 0 0
1796.70/1797.01 c redcost : 14074 0 0 0
1796.70/1797.01 c probing : 0 0 0 0
1796.70/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.01 c rootredcost : 0.07 0.00 0.00 0.07 0.00
1796.70/1797.01 c pseudoobj : 0.08 0.00 0.00 0.08 0.00
1796.70/1797.01 c vbounds : 0.06 0.00 0.00 0.06 0.00
1796.70/1797.01 c redcost : 0.45 0.00 0.00 0.45 0.00
1796.70/1797.01 c probing : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.01 c propagation : 1.30 4025 4017 41128 51.7 1733 21.1 -
1796.70/1797.01 c infeasible LP : 0.60 306 305 3829 53.7 105 8.9 0
1796.70/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.01 c applied globally : - - - 16252 34.3 - - -
1796.70/1797.01 c applied locally : - - - 0 0.0 - - -
1796.70/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.01 c cut pool : 0.00 4 - - 81 - (maximal pool size: 527)
1796.70/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c impliedbounds : 0.00 0.00 5 0 0 0 0
1796.70/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c gomory : 0.14 0.00 5 0 0 250 0
1796.70/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c strongcg : 0.91 0.00 5 0 0 2500 0
1796.70/1797.01 c cmir : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c flowcover : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c clique : 0.02 0.00 5 0 0 1 0
1796.70/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c mcf : 0.03 0.00 1 0 0 0 0
1796.70/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.01 c problem variables: 0.00 - 0 0
1796.70/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.01 c relpscost : 741.93 0.00 14069 45 2087 0 0 26048
1796.70/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c inference : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.01 c LP solutions : 0.00 - - 0
1796.70/1797.01 c pseudo solutions : 0.00 - - 0
1796.70/1797.01 c smallcard : 0.00 0.00 0 0
1796.70/1797.01 c trivial : 0.00 0.00 1 0
1796.70/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.70/1797.01 c simplerounding : 0.00 0.00 0 0
1796.70/1797.01 c zirounding : 0.00 0.00 0 0
1796.70/1797.01 c rounding : 0.00 0.00 0 0
1796.70/1797.01 c shifting : 0.00 0.00 0 0
1796.70/1797.01 c intshifting : 0.00 0.00 0 0
1796.70/1797.01 c oneopt : 0.00 0.00 0 0
1796.70/1797.01 c twoopt : 0.00 0.00 0 0
1796.70/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.01 c indoneopt : 0.00 0.00 0 0
1796.70/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.01 c feaspump : 0.00 0.00 0 0
1796.70/1797.01 c clique : 0.00 0.00 0 0
1796.70/1797.01 c indrounding : 0.00 0.00 0 0
1796.70/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.01 c coefdiving : 0.00 0.00 0 0
1796.70/1797.01 c pscostdiving : 0.00 0.00 0 0
1796.70/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.01 c fracdiving : 0.00 0.00 0 0
1796.70/1797.01 c veclendiving : 0.00 0.00 0 0
1796.70/1797.01 c intdiving : 0.00 0.00 0 0
1796.70/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.01 c objpscostdiving : 0.00 0.00 0 0
1796.70/1797.01 c rootsoldiving : 0.00 0.00 0 0
1796.70/1797.01 c linesearchdiving : 0.00 0.00 0 0
1796.70/1797.01 c guideddiving : 0.00 0.00 0 0
1796.70/1797.01 c octane : 0.00 0.00 0 0
1796.70/1797.01 c rens : 0.00 0.00 0 0
1796.70/1797.01 c rins : 0.00 0.00 0 0
1796.70/1797.01 c localbranching : 0.00 0.00 0 0
1796.70/1797.01 c mutation : 0.00 0.00 0 0
1796.70/1797.01 c crossover : 0.00 0.00 0 0
1796.70/1797.01 c dins : 0.00 0.00 0 0
1796.70/1797.01 c vbounds : 0.00 0.00 0 0
1796.70/1797.01 c undercover : 0.00 0.00 0 0
1796.70/1797.01 c subnlp : 0.00 0.00 0 0
1796.70/1797.01 c trysol : 0.00 0.00 0 0
1796.70/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.01 c primal LP : 0.01 1 0 0.00 0.00 0.01 1
1796.70/1797.01 c dual LP : 927.58 14380 1247320 86.74 1344.70 0.00 0
1796.70/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.01 c diving/probing LP: 0.00 0 0 0.00 -
1796.70/1797.01 c strong branching : 738.31 6666 642625 96.40 870.40
1796.70/1797.01 c (at root node) : - 22 3198 145.36 -
1796.70/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.01 c B&B Tree :
1796.70/1797.01 c number of runs : 1
1796.70/1797.01 c nodes : 16249
1796.70/1797.01 c nodes (total) : 16249
1796.70/1797.01 c nodes left : 7900
1796.70/1797.01 c max depth : 72
1796.70/1797.01 c max depth (total): 72
1796.70/1797.01 c backtracks : 2611 (16.1%)
1796.70/1797.01 c delayed cutoffs : 1900
1796.70/1797.01 c repropagations : 13835 (71015 domain reductions, 1209 cutoffs)
1796.70/1797.01 c avg switch length: 4.62
1796.70/1797.01 c switching time : 13.36
1796.70/1797.01 c Solution :
1796.70/1797.01 c Solutions found : 0 (0 improvements)
1796.70/1797.01 c Primal Bound : -
1796.70/1797.01 c Dual Bound : +0.00000000000000e+00
1796.70/1797.01 c Gap : infinite
1796.70/1797.01 c Root Dual Bound : +0.00000000000000e+00
1796.70/1797.01 c Root Iterations : 620
1796.80/1797.19 c Time complete: 1796.89.
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-3690627-1338024317/watcher-3690627-1338024317 -o /tmp/evaluation-result-3690627-1338024317/solver-3690627-1338024317 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690627-1338024317.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 31176
/proc/meminfo: memFree=25875128/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=10260 CPUtime=0 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 1302 0 0 0 0 0 0 0 20 0 1 0 268560248 10506240 1256 33554432000 4194304 10173063 140733322703280 140734499600408 8800002 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 2565 1256 413 1460 0 1096 0
[startup+0.0857721 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 31176
/proc/meminfo: memFree=25875128/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=21708 CPUtime=0.08 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 4150 0 0 0 7 1 0 0 20 0 1 0 268560248 22228992 4094 33554432000 4194304 10173063 140733322703280 140734499600408 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 5427 4127 413 1460 0 3958 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21708
[startup+0.100366 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 31176
/proc/meminfo: memFree=25875128/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=23968 CPUtime=0.09 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 4766 0 0 0 8 1 0 0 20 0 1 0 268560248 24543232 4709 33554432000 4194304 10173063 140733322703280 140734499600408 7141616 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 5992 4710 413 1460 0 4523 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23968
[startup+0.300308 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 31176
/proc/meminfo: memFree=25875128/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=82288 CPUtime=0.29 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 19987 0 0 0 24 5 0 0 20 0 1 0 268560248 84262912 18848 33554432000 4194304 10173063 140733322703280 140733322698792 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 20572 18848 558 1460 0 19103 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 82288
[startup+0.700338 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 31176
/proc/meminfo: memFree=25875128/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=91016 CPUtime=0.69 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 24954 0 0 0 48 21 0 0 20 0 1 0 268560248 93200384 20982 33554432000 4194304 10173063 140733322703280 140733322698792 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 22754 20982 577 1460 0 21285 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 91016
[startup+1.50033 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 31177
/proc/meminfo: memFree=25770356/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=171732 CPUtime=1.49 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 40011 0 0 0 105 44 0 0 20 0 1 0 268560248 175853568 39606 33554432000 4194304 10173063 140733322703280 140733322699304 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 42933 39606 784 1460 0 41464 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 171732
[startup+3.10033 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 31177
/proc/meminfo: memFree=25694264/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=181716 CPUtime=3.09 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 44332 0 0 0 261 48 0 0 20 0 1 0 268560248 186077184 43343 33554432000 4194304 10173063 140733322703280 140733322698120 7910544 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 45429 43343 799 1460 0 43960 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 181716
[startup+6.30033 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 31177
/proc/meminfo: memFree=25691100/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=183680 CPUtime=6.29 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 44982 0 0 0 580 49 0 0 20 0 1 0 268560248 188088320 43993 33554432000 4194304 10173063 140733322703280 140733322697112 8007106 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 45920 43993 806 1460 0 44451 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 183680
[startup+12.7004 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 31177
/proc/meminfo: memFree=25689240/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=185424 CPUtime=12.69 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 45256 0 0 0 1219 50 0 0 20 0 1 0 268560248 189874176 44267 33554432000 4194304 10173063 140733322703280 140733322697112 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 46356 44267 806 1460 0 44887 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 185424
[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 31177
/proc/meminfo: memFree=25665324/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=186352 CPUtime=25.49 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 45495 0 0 0 2495 54 0 0 20 0 1 0 268560248 190824448 44506 33554432000 4194304 10173063 140733322703280 140733322696728 7887598 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 46588 44506 806 1460 0 45119 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 186352
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 31177
/proc/meminfo: memFree=25662560/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=186748 CPUtime=51.09 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 45638 0 0 0 5048 61 0 0 20 0 1 0 268560248 191229952 44649 33554432000 4194304 10173063 140733322703280 140733322696728 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 46687 44649 806 1460 0 45218 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 186748
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 31177
/proc/meminfo: memFree=25598880/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=187912 CPUtime=102.28 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 46031 0 0 0 10158 70 0 0 20 0 1 0 268560248 192421888 45042 33554432000 4194304 10173063 140733322703280 140733322696920 7684472 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 46978 45042 812 1460 0 45509 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 187912
[startup+162.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 31177
/proc/meminfo: memFree=25604212/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=193568 CPUtime=162.26 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 60648 0 0 0 16136 90 0 0 20 0 1 0 268560248 198213632 46923 33554432000 4194304 10173063 140733322703280 140733322696536 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 48392 46923 814 1460 0 46923 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 193568
[startup+222.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 31178
/proc/meminfo: memFree=25584996/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=196088 CPUtime=222.26 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 111763 0 0 0 22108 118 0 0 20 0 1 0 268560248 200794112 47208 33554432000 4194304 10173063 140733322703280 140733322696536 8012292 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 49022 47208 817 1460 0 47553 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 196088
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31178
/proc/meminfo: memFree=25642696/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=194668 CPUtime=282.24 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 120538 0 0 0 28089 135 0 0 20 0 1 0 268560248 199340032 46586 33554432000 4194304 10173063 140733322703280 140733322696920 8012073 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 48667 46586 817 1460 0 47198 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 194668
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31181
/proc/meminfo: memFree=25626708/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=202292 CPUtime=342.24 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 130034 0 0 0 34067 157 0 0 20 0 1 0 268560248 207147008 48828 33554432000 4194304 10173063 140733322703280 140733322696536 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 50573 48828 817 1460 0 49104 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 202292
[startup+402.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/177 31181
/proc/meminfo: memFree=25633264/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=202252 CPUtime=402.22 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 133153 0 0 0 40050 172 0 0 20 0 1 0 268560248 207106048 48426 33554432000 4194304 10173063 140733322703280 140733322696536 7911672 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 50563 48426 817 1460 0 49094 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 202252
[startup+462.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/177 31181
/proc/meminfo: memFree=25634576/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=212236 CPUtime=462.22 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 142169 0 0 0 46033 189 0 0 20 0 1 0 268560248 217329664 50596 33554432000 4194304 10173063 140733322703280 140733322696728 8047303 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 53059 50596 817 1460 0 51590 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 212236
[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 31182
/proc/meminfo: memFree=25612656/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=216160 CPUtime=522.21 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 185644 0 0 0 52006 215 0 0 20 0 1 0 268560248 221347840 52208 33554432000 4194304 10173063 140733322703280 140733322696536 7911872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 54040 52208 817 1460 0 52571 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 216160
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 31182
/proc/meminfo: memFree=25597188/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=219472 CPUtime=582.2 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 286062 0 0 0 57965 255 0 0 20 0 1 0 268560248 224739328 52530 33554432000 4194304 10173063 140733322703280 140733322696536 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 54868 52530 817 1460 0 53399 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 219472
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25544648/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=268292 CPUtime=1062.13 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 521490 0 0 0 105772 441 0 0 20 0 1 0 268560248 274731008 65542 33554432000 4194304 10173063 140733322703280 140733322697112 7594565 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 67073 65542 817 1460 0 65604 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 268292
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31187
/proc/meminfo: memFree=25541932/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=270992 CPUtime=1122.12 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 533134 0 0 0 111752 460 0 0 20 0 1 0 268560248 277495808 66207 33554432000 4194304 10173063 140733322703280 140733322696920 7649888 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 67748 66207 817 1460 0 66279 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 270992
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31188
/proc/meminfo: memFree=25555576/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=276076 CPUtime=1182.11 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 590668 0 0 0 117722 489 0 0 20 0 1 0 268560248 282701824 67236 33554432000 4194304 10173063 140733322703280 140733322697112 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 69019 67236 817 1460 0 67550 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 276076
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31188
/proc/meminfo: memFree=25529768/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=281716 CPUtime=1242.1 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 595910 0 0 0 123703 507 0 0 20 0 1 0 268560248 288477184 68876 33554432000 4194304 10173063 140733322703280 140733322696952 8047528 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 70429 68876 817 1460 0 68960 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 281716
[startup+1302.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 31188
/proc/meminfo: memFree=25542728/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=286196 CPUtime=1302.1 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 608011 0 0 0 129683 527 0 0 20 0 1 0 268560248 293064704 70091 33554432000 4194304 10173063 140733322703280 140733322696920 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 71549 70091 817 1460 0 70080 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 286196
[startup+1362.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 31188
/proc/meminfo: memFree=25533148/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=296560 CPUtime=1362.09 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 628058 0 0 0 135661 548 0 0 20 0 1 0 268560248 303677440 72417 33554432000 4194304 10173063 140733322703280 140733322699752 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 74140 72417 817 1460 0 72671 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 296560
[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 31188
/proc/meminfo: memFree=25528840/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=301472 CPUtime=1422.08 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 629139 0 0 0 141641 567 0 0 20 0 1 0 268560248 308707328 73498 33554432000 4194304 10173063 140733322703280 140733322697112 8046931 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 75368 73498 817 1460 0 73899 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 301472
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31189
/proc/meminfo: memFree=25522768/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=307468 CPUtime=1482.06 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 656446 0 0 0 147616 590 0 0 20 0 1 0 268560248 314847232 74597 33554432000 4194304 10173063 140733322703280 140733322698648 8033088 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 76867 74597 817 1460 0 75398 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 307468
[startup+1542.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 31192
/proc/meminfo: memFree=25504264/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=312112 CPUtime=1542.05 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 665084 0 0 0 153596 609 0 0 20 0 1 0 268560248 319602688 76439 33554432000 4194304 10173063 140733322703280 140733322697112 8033100 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 78028 76439 817 1460 0 76559 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 312112
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 31192
/proc/meminfo: memFree=25515576/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=315992 CPUtime=1602.03 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 665891 0 0 0 159572 631 0 0 20 0 1 0 268560248 323575808 77294 33554432000 4194304 10173063 140733322703280 140733322696536 7683453 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 78998 77294 817 1460 0 77529 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 315992
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31192
/proc/meminfo: memFree=25510140/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=323828 CPUtime=1662.02 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 690537 0 0 0 165543 659 0 0 20 0 1 0 268560248 331599872 79314 33554432000 4194304 10173063 140733322703280 140733322696264 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 80957 79314 817 1460 0 79488 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 323828
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31192
/proc/meminfo: memFree=25507064/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=325424 CPUtime=1722 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 700785 0 0 0 171518 682 0 0 20 0 1 0 268560248 333234176 79820 33554432000 4194304 10173063 140733322703280 140733322696920 7510288 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 81356 79820 817 1460 0 79887 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 325424
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31232
/proc/meminfo: memFree=28232064/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=330132 CPUtime=1782 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 702387 0 0 0 177500 700 0 0 20 0 1 0 268560248 338055168 81380 33554432000 4194304 10173063 140733322703280 140733322696536 7902664 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 82533 81380 817 1460 0 81064 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 330132
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31233
/proc/meminfo: memFree=28232188/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=330132 CPUtime=1785.2 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 702387 0 0 0 177819 701 0 0 20 0 1 0 268560248 338055168 81380 33554432000 4194304 10173063 140733322703280 140733322696264 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 82533 81380 817 1460 0 81064 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 330132
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31233
/proc/meminfo: memFree=28231684/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=330132 CPUtime=1791.61 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 702388 0 0 0 178456 705 0 0 20 0 1 0 268560248 338055168 81381 33554432000 4194304 10173063 140733322703280 140733322696920 8039648 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 82533 81381 817 1460 0 81064 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 330132
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31233
/proc/meminfo: memFree=28231560/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=331328 CPUtime=1794.8 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 702400 0 0 0 178774 706 0 0 20 0 1 0 268560248 339279872 81393 33554432000 4194304 10173063 140733322703280 140733322700648 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 82832 81393 817 1460 0 81363 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 331328
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31233
/proc/meminfo: memFree=28231560/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=331328 CPUtime=1795.59 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 702400 0 0 0 178852 707 0 0 20 0 1 0 268560248 339279872 81393 33554432000 4194304 10173063 140733322703280 140733322696536 7684736 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 82832 81393 817 1460 0 81363 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 331328
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31233
/proc/meminfo: memFree=28239000/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=329424 CPUtime=1796.4 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 705380 0 0 0 178932 708 0 0 20 0 1 0 268560248 337330176 80210 33554432000 4194304 10173063 140733322703280 140733322696920 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 82356 80210 817 1460 0 80887 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 329424
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31233
/proc/meminfo: memFree=28239000/32873844 swapFree=7620/7620
[pid=31176] ppid=31174 vsize=329840 CPUtime=1796.8 cores=1,3,5,7
/proc/31176/stat : 31176 (scip-2.1.1.4fix) R 31174 31176 30301 0 -1 4202496 705697 0 0 0 178972 708 0 0 20 0 1 0 268560248 337756160 80527 33554432000 4194304 10173063 140733322703280 140733322696920 5061177 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31176/statm: 82460 80527 827 1460 0 80991 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 329840
Child status: 0
Real time (s): 1797.19
CPU time (s): 1796.9
CPU user time (s): 1789.81
CPU system time (s): 7.09392
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 331328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.81
system time used= 7.09392
maximum resident set size= 325572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 705713
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28
involuntary context switches= 1846
runsolver used 8.38872 second user time and 10.6224 second system time
The end