0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3450276-1307112104.opb>
0.00/0.01 c original problem has 1460 variables (1460 bin, 0 int, 0 impl, 0 cont) and 1762 constraints
0.00/0.01 c problem read
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1460 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 101 upgd conss, 10280 impls, 199 clqs
0.00/0.05 c (round 2) 1260 del vars, 1460 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 10280 impls, 0 clqs
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 1260 deleted vars, 1460 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 10280 implications, 0 cliques
0.00/0.05 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 302 constraints
0.00/0.05 c 201 constraints of type <knapsack>
0.00/0.05 c 100 constraints of type <setppc>
0.00/0.05 c 1 constraints of type <linear>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.04
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 2.0.1.5
0.00/0.05 c
0.00/0.05 c # frequency for displaying node information lines
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.05 c display/freq = 10000
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/time = 1800
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.05 c limits/memory = 13950
0.00/0.05 c
0.00/0.05 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c limits/solutions = 1
0.00/0.05 c
0.00/0.05 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.05 c separating/maxrounds = 1
0.00/0.05 c
0.00/0.05 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/maxroundsroot = 5
0.00/0.05 c
0.00/0.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.05 c # [type: int, range: [1,2], default: 1]
0.00/0.05 c timing/clocktype = 2
0.00/0.05 c
0.00/0.05 c # belongs reading time to solving time?
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c timing/reading = TRUE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify inequalities
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/linear/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/indicator/addCouplingCons = TRUE
0.00/0.05 c
0.00/0.05 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c constraints/knapsack/disaggregation = FALSE
0.00/0.05 c
0.00/0.05 c # should presolving try to simplify knapsacks
0.00/0.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.05 c
0.00/0.05 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c presolving/probing/maxrounds = 0
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/coefdiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.05 c heuristics/crossover/freq = -1
0.00/0.05 c
0.00/0.05 c # number of nodes added to the contingent of the total nodes
0.00/0.05 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.05 c heuristics/crossover/nodesofs = 750
0.00/0.05 c
0.00/0.05 c # number of nodes without incumbent change that heuristic should wait
0.00/0.05 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.05 c heuristics/crossover/nwaitingnodes = 100
0.00/0.05 c
0.00/0.05 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.05 c # [type: real, range: [0,1], default: 0.1]
0.00/0.05 c heuristics/crossover/nodesquot = 0.15
0.00/0.05 c
0.00/0.05 c # minimum percentage of integer variables that have to be fixed
0.00/0.05 c # [type: real, range: [0,1], default: 0.666]
0.00/0.05 c heuristics/crossover/minfixingrate = 0.5
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.05 c heuristics/feaspump/freq = -1
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/fracdiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/guideddiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/intshifting/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/linesearchdiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.05 c heuristics/objpscostdiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.05 c # [type: real, range: [0,1], default: 0.01]
0.00/0.05 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c heuristics/oneopt/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/pscostdiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05 c heuristics/rens/freq = -1
0.00/0.05 c
0.00/0.05 c # minimum percentage of integer variables that have to be fixable
0.00/0.05 c # [type: real, range: [0,1], default: 0.5]
0.00/0.05 c heuristics/rens/minfixingrate = 0.3
0.00/0.05 c
0.00/0.05 c # number of nodes added to the contingent of the total nodes
0.00/0.05 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.05 c heuristics/rens/nodesofs = 2000
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.05 c heuristics/rootsoldiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.05 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c heuristics/rounding/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05 c heuristics/shiftandpropagate/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/shifting/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c heuristics/simplerounding/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c heuristics/subnlp/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05 c heuristics/trivial/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c heuristics/trysol/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05 c heuristics/undercover/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.05 c heuristics/veclendiving/freq = -1
0.00/0.05 c
0.00/0.05 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.05 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.05 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.05 c
0.00/0.05 c # additional number of allowed LP iterations
0.00/0.05 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.05 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.05 c
0.00/0.05 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.05 c heuristics/zirounding/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05 c separating/cmir/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.05 c separating/flowcover/freq = -1
0.00/0.05 c
0.00/0.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.05 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.05 c separating/rapidlearning/freq = 0
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.07 c 0.1s| 1 | 0 | 296 | - |4138k| 0 | 150 | 200 | 302 | 200 | 302 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 328 | - |4691k| 0 | 167 | 200 | 302 | 200 | 343 | 41 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.2s| 1 | 0 | 335 | - |5212k| 0 | 169 | 200 | 302 | 200 | 349 | 47 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 0 | 349 | - |5260k| 0 | 172 | 200 | 302 | 200 | 352 | 50 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.29 c 0.3s| 1 | 0 | 357 | - |5274k| 0 | 174 | 200 | 302 | 200 | 353 | 51 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.47 c 0.5s| 1 | 2 | 357 | - |5275k| 0 | 174 | 200 | 302 | 200 | 353 | 51 | 0 | 10 | 0.000000e+00 | -- | Inf
52.58/52.60 c 52.6s| 10000 | 303 |294228 | 29.4 |8961k| 33 | 125 | 200 |6964 | 200 | 352 | 51 |8863 |1764 | 0.000000e+00 | -- | Inf
93.98/94.00 c 94.0s| 20000 | 398 |592668 | 29.6 | 10M| 34 | - | 200 | 10k| 200 | 352 | 51 | 17k|2081 | 0.000000e+00 | -- | Inf
140.71/140.74 c 141s| 30000 | 425 |893390 | 29.8 | 12M| 38 | - | 200 | 13k| 200 | 352 | 51 | 27k|2834 | 0.000000e+00 | -- | Inf
185.90/185.95 c 186s| 40000 | 433 | 1190k| 29.8 | 13M| 38 | - | 200 | 16k| 200 | 352 | 51 | 36k|3398 | 0.000000e+00 | -- | Inf
232.01/232.11 c 232s| 50000 | 384 | 1499k| 30.0 | 14M| 41 | - | 200 | 17k| 200 | 352 | 51 | 45k|3879 | 0.000000e+00 | -- | Inf
276.98/277.07 c 277s| 60000 | 322 | 1797k| 29.9 | 15M| 41 | 125 | 200 | 20k| 200 | 352 | 51 | 54k|4268 | 0.000000e+00 | -- | Inf
322.59/322.69 c 323s| 70000 | 329 | 2107k| 30.1 | 17M| 41 | - | 200 | 24k| 200 | 352 | 51 | 63k|4674 | 0.000000e+00 | -- | Inf
368.51/368.54 c 369s| 80000 | 300 | 2410k| 30.1 | 17M| 41 | 128 | 200 | 21k| 200 | 352 | 51 | 73k|5055 | 0.000000e+00 | -- | Inf
414.49/414.57 c 415s| 90000 | 262 | 2724k| 30.3 | 18M| 41 | - | 200 | 24k| 200 | 352 | 51 | 82k|5382 | 0.000000e+00 | -- | Inf
461.59/461.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
461.59/461.66 c 462s|100000 | 217 | 3055k| 30.5 | 19M| 41 | 130 | 200 | 28k| 200 | 352 | 51 | 91k|5720 | 0.000000e+00 | -- | Inf
509.88/509.95 c 510s|110000 | 218 | 3389k| 30.8 | 21M| 41 | 134 | 200 | 30k| 200 | 352 | 51 | 101k|6090 | 0.000000e+00 | -- | Inf
556.19/556.28 c 556s|120000 | 218 | 3725k| 31.0 | 21M| 41 | 130 | 200 | 32k| 200 | 352 | 51 | 110k|6352 | 0.000000e+00 | -- | Inf
604.91/605.01 c 605s|130000 | 204 | 4064k| 31.3 | 21M| 41 | 126 | 200 | 30k| 200 | 352 | 51 | 119k|6692 | 0.000000e+00 | -- | Inf
651.59/651.68 c 652s|140000 | 219 | 4392k| 31.4 | 23M| 41 | 124 | 200 | 36k| 200 | 352 | 51 | 128k|7036 | 0.000000e+00 | -- | Inf
698.28/698.31 c 698s|150000 | 202 | 4709k| 31.4 | 24M| 41 | - | 200 | 35k| 200 | 352 | 51 | 136k|7289 | 0.000000e+00 | -- | Inf
746.38/746.46 c 746s|160000 | 205 | 5057k| 31.6 | 23M| 41 | 129 | 200 | 34k| 200 | 352 | 51 | 146k|7479 | 0.000000e+00 | -- | Inf
796.78/796.83 c 797s|170000 | 193 | 5415k| 31.9 | 22M| 41 | 138 | 200 | 31k| 200 | 352 | 51 | 156k|7747 | 0.000000e+00 | -- | Inf
845.68/845.71 c 846s|180000 | 208 | 5765k| 32.0 | 23M| 41 | 134 | 200 | 32k| 200 | 352 | 51 | 165k|8012 | 0.000000e+00 | -- | Inf
895.08/895.18 c 895s|190000 | 211 | 6116k| 32.2 | 24M| 41 | - | 200 | 33k| 200 | 352 | 51 | 175k|8276 | 0.000000e+00 | -- | Inf
945.18/945.27 c 945s|200000 | 219 | 6472k| 32.4 | 23M| 41 | - | 200 | 30k| 200 | 352 | 51 | 185k|8525 | 0.000000e+00 | -- | Inf
992.20/992.25 c 992s|210000 | 224 | 6809k| 32.4 | 25M| 41 | 135 | 200 | 35k| 200 | 352 | 51 | 195k|8740 | 0.000000e+00 | -- | Inf
1044.49/1044.55 c 1045s|220000 | 215 | 7192k| 32.7 | 26M| 41 | 128 | 200 | 38k| 200 | 352 | 51 | 204k|8997 | 0.000000e+00 | -- | Inf
1092.79/1092.83 c 1093s|230000 | 220 | 7540k| 32.8 | 26M| 41 | 130 | 200 | 37k| 200 | 352 | 51 | 214k|9176 | 0.000000e+00 | -- | Inf
1140.18/1140.23 c 1140s|240000 | 210 | 7879k| 32.8 | 26M| 44 | - | 200 | 34k| 200 | 352 | 51 | 223k|9365 | 0.000000e+00 | -- | Inf
1188.19/1188.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1188.19/1188.29 c 1188s|250000 | 218 | 8231k| 32.9 | 23M| 44 | - | 200 | 27k| 200 | 352 | 51 | 233k|9579 | 0.000000e+00 | -- | Inf
1234.11/1234.12 c 1234s|260000 | 229 | 8566k| 32.9 | 24M| 44 | 127 | 200 | 28k| 200 | 352 | 51 | 242k|9770 | 0.000000e+00 | -- | Inf
1278.79/1278.80 c 1279s|270000 | 226 | 8904k| 33.0 | 27M| 44 | - | 200 | 36k| 0 | 0 | 51 | 252k|9922 | 0.000000e+00 | -- | Inf
1325.89/1325.92 c 1326s|280000 | 232 | 9239k| 33.0 | 28M| 44 | 130 | 200 | 38k| 200 | 352 | 51 | 262k| 10k| 0.000000e+00 | -- | Inf
1371.29/1371.39 c 1371s|290000 | 244 | 9569k| 33.0 | 30M| 44 | 129 | 200 | 42k| 200 | 352 | 51 | 272k| 10k| 0.000000e+00 | -- | Inf
1417.60/1417.63 c 1418s|300000 | 239 | 9890k| 33.0 | 30M| 44 | 133 | 200 | 41k| 200 | 352 | 51 | 281k| 10k| 0.000000e+00 | -- | Inf
1468.09/1468.15 c 1468s|310000 | 231 | 10257k| 33.1 | 28M| 44 | - | 200 | 34k| 200 | 352 | 51 | 290k| 10k| 0.000000e+00 | -- | Inf
1519.70/1519.79 c 1520s|320000 | 225 | 10639k| 33.2 | 28M| 44 | 133 | 200 | 35k| 200 | 352 | 51 | 299k| 10k| 0.000000e+00 | -- | Inf
1566.09/1566.14 c 1566s|330000 | 212 | 10972k| 33.2 | 27M| 44 | 134 | 200 | 32k| 200 | 352 | 51 | 309k| 10k| 0.000000e+00 | -- | Inf
1613.29/1613.36 c 1613s|340000 | 215 | 11321k| 33.3 | 29M| 44 | - | 200 | 36k| 200 | 352 | 51 | 317k| 11k| 0.000000e+00 | -- | Inf
1662.40/1662.49 c 1662s|350000 | 213 | 11672k| 33.3 | 29M| 44 | 132 | 200 | 37k| 200 | 352 | 51 | 327k| 11k| 0.000000e+00 | -- | Inf
1711.90/1711.99 c 1712s|360000 | 204 | 12028k| 33.4 | 30M| 44 | 127 | 200 | 39k| 200 | 352 | 51 | 336k| 11k| 0.000000e+00 | -- | Inf
1762.22/1762.25 c 1762s|370000 | 197 | 12403k| 33.5 | 29M| 44 | - | 200 | 38k| 200 | 352 | 51 | 346k| 11k| 0.000000e+00 | -- | Inf
1800.00/1800.01 c
1800.00/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.00/1800.01 c Solving Time (sec) : 1800.00
1800.00/1800.01 c Solving Nodes : 377921
1800.00/1800.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.00/1800.01 c Dual Bound : +0.00000000000000e+00
1800.00/1800.01 c Gap : infinite
1800.00/1800.01 s UNKNOWN
1800.00/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.00/1800.01 c Total Time : 1800.00
1800.00/1800.01 c solving : 1800.00
1800.00/1800.01 c presolving : 0.04 (included in solving)
1800.00/1800.01 c reading : 0.01 (included in solving)
1800.00/1800.01 c Original Problem :
1800.00/1800.01 c Problem name : HOME/instance-3450276-1307112104.opb
1800.00/1800.01 c Variables : 1460 (1460 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.01 c Constraints : 1762 initial, 1762 maximal
1800.00/1800.01 c Presolved Problem :
1800.00/1800.01 c Problem name : t_HOME/instance-3450276-1307112104.opb
1800.00/1800.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.01 c Constraints : 302 initial, 44976 maximal
1800.00/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.00/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.01 c dualfix : 0.00 1260 0 0 0 0 0 0 0 0
1800.00/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.01 c linear : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.00/1800.01 c pseudoboolean : 0.00 0 0 0 0 0 1460 0 0 0
1800.00/1800.01 c root node : - 0 - - 0 - - - - -
1800.00/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.00/1800.01 c integral : 0 0 0 190809 0 1 0 499 3524 0 0 378540
1800.00/1800.01 c knapsack : 201 5 1448494 0 1 0 873672 7 1158202 152 0 0
1800.00/1800.01 c setppc : 100 5 1448487 0 1 0 509764 18 149949 0 0 0
1800.00/1800.01 c linear : 1 5 1448469 0 1 0 0 0 0 0 0 0
1800.00/1800.01 c logicor : 0+ 0 361544 0 0 0 952819 776 203436 0 0 0
1800.00/1800.01 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.00/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.00/1800.01 c integral : 106.65 0.00 0.00 106.65 0.00 0.00 0.00
1800.00/1800.01 c knapsack : 10.62 0.01 10.28 0.00 0.00 0.00 0.33
1800.00/1800.01 c setppc : 1.98 0.00 1.83 0.00 0.00 0.00 0.15
1800.00/1800.01 c linear : 0.67 0.00 0.67 0.00 0.00 0.00 0.00
1800.00/1800.01 c logicor : 58.47 0.00 57.46 0.00 0.00 0.00 1.01
1800.00/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.00/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.00/1800.01 c vbounds : 0 0 0 0
1800.00/1800.01 c rootredcost : 0 0 0 0
1800.00/1800.01 c pseudoobj : 0 0 0 0
1800.00/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.00/1800.01 c vbounds : 0.22 0.22 0.00
1800.00/1800.01 c rootredcost : 0.24 0.24 0.00
1800.00/1800.01 c pseudoobj : 0.15 0.15 0.00
1800.00/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.01 c propagation : 0.01 801 765 3760 19.3 1 24.0 -
1800.00/1800.01 c infeasible LP : 11.88 187513 185873 1077699 21.3 42 20.8 0
1800.00/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.01 c applied globally : - - - 353828 19.9 - - -
1800.00/1800.01 c applied locally : - - - 63 34.4 - - -
1800.00/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.01 c cut pool : 0.00 4 - - 4 - (maximal pool size: 205)
1800.00/1800.01 c redcost : 0.63 190154 0 0 0 0
1800.00/1800.01 c impliedbounds : 0.00 5 0 0 0 0
1800.00/1800.01 c intobj : 0.00 0 0 0 0 0
1800.00/1800.01 c gomory : 0.11 5 0 0 0 0
1800.00/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.00/1800.01 c strongcg : 0.09 5 0 0 205 0
1800.00/1800.01 c cmir : 0.00 0 0 0 0 0
1800.00/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.00/1800.01 c clique : 0.00 1 0 0 0 0
1800.00/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.01 c mcf : 0.00 1 0 0 0 0
1800.00/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.00/1800.01 c rapidlearning : 0.03 1 0 0 0 0
1800.00/1800.01 c Pricers : Time Calls Vars
1800.00/1800.01 c problem variables: 0.00 0 0
1800.00/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.01 c relpscost : 106.52 190809 499 3524 0 0 378540
1800.00/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.01 c inference : 0.00 1 0 0 0 0 2
1800.00/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.01 c random : 0.00 0 0 0 0 0 0
1800.00/1800.01 c Primal Heuristics : Time Calls Found
1800.00/1800.01 c LP solutions : 0.00 - 0
1800.00/1800.01 c pseudo solutions : 0.00 - 0
1800.00/1800.01 c trivial : 0.00 1 0
1800.00/1800.01 c shiftandpropagate: 0.00 0 0
1800.00/1800.01 c simplerounding : 0.00 0 0
1800.00/1800.01 c zirounding : 0.00 0 0
1800.00/1800.01 c rounding : 0.00 0 0
1800.00/1800.01 c shifting : 0.00 0 0
1800.00/1800.01 c intshifting : 0.00 0 0
1800.00/1800.01 c oneopt : 0.00 0 0
1800.00/1800.01 c twoopt : 0.00 0 0
1800.00/1800.01 c fixandinfer : 0.00 0 0
1800.00/1800.01 c feaspump : 0.00 0 0
1800.00/1800.01 c clique : 0.00 0 0
1800.00/1800.01 c coefdiving : 0.00 0 0
1800.00/1800.01 c pscostdiving : 0.00 0 0
1800.00/1800.01 c fracdiving : 0.00 0 0
1800.00/1800.01 c veclendiving : 0.00 0 0
1800.00/1800.01 c intdiving : 0.00 0 0
1800.00/1800.01 c actconsdiving : 0.00 0 0
1800.00/1800.01 c objpscostdiving : 0.00 0 0
1800.00/1800.01 c rootsoldiving : 0.00 0 0
1800.00/1800.01 c linesearchdiving : 0.00 0 0
1800.00/1800.01 c guideddiving : 0.00 0 0
1800.00/1800.01 c octane : 0.00 0 0
1800.00/1800.01 c rens : 0.00 0 0
1800.00/1800.01 c rins : 0.00 0 0
1800.00/1800.01 c localbranching : 0.00 0 0
1800.00/1800.01 c mutation : 0.00 0 0
1800.00/1800.01 c crossover : 0.00 0 0
1800.00/1800.01 c dins : 0.00 0 0
1800.00/1800.01 c vbounds : 0.00 0 0
1800.00/1800.01 c undercover : 0.00 0 0
1800.00/1800.01 c subnlp : 0.00 0 0
1800.00/1800.01 c trysol : 0.00 0 0
1800.00/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.01 c dual LP : 1527.25 378286 12680115 33.52 8302.59
1800.00/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.01 c strong branching : 99.90 11503 752681 65.43 7534.03
1800.00/1800.01 c (at root node) : - 10 760 76.00 -
1800.00/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.01 c B&B Tree :
1800.00/1800.01 c number of runs : 1
1800.00/1800.01 c nodes : 377921
1800.00/1800.01 c nodes (total) : 377921
1800.00/1800.01 c nodes left : 198
1800.00/1800.01 c max depth : 44
1800.00/1800.01 c max depth (total): 44
1800.00/1800.01 c backtracks : 44581 (11.8%)
1800.00/1800.01 c delayed cutoffs : 424
1800.00/1800.01 c repropagations : 694713 (216066 domain reductions, 163 cutoffs)
1800.00/1800.01 c avg switch length: 5.34
1800.00/1800.01 c switching time : 45.60
1800.00/1800.01 c Solution :
1800.00/1800.01 c Solutions found : 0 (0 improvements)
1800.00/1800.01 c Primal Bound : -
1800.00/1800.01 c Dual Bound : +0.00000000000000e+00
1800.00/1800.01 c Gap : infinite
1800.00/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.00/1800.01 c Root Iterations : 357
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3450276-1307112104/watcher-3450276-1307112104 -o /tmp/evaluation-result-3450276-1307112104/solver-3450276-1307112104 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450276-1307112104.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: 1.87 2.02 1.99 1/559 29924
/proc/meminfo: memFree=30149684/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=21352 CPUtime=0.01 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 4356 0 0 0 1 0 0 0 25 0 1 0 822809062 21864448 4052 33554432000 4194304 9163163 140736338975808 18446744073709551615 6562592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29924/statm: 5338 4052 502 1214 0 4120 0
[startup+0.0765071 s]
/proc/loadavg: 1.87 2.02 1.99 1/559 29924
/proc/meminfo: memFree=30149684/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=25044 CPUtime=0.07 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 5473 0 0 0 7 0 0 0 25 0 1 0 822809062 25645056 5169 33554432000 4194304 9163163 140736338975808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29924/statm: 6261 5169 675 1214 0 5043 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25044
[startup+0.100502 s]
/proc/loadavg: 1.87 2.02 1.99 1/559 29924
/proc/meminfo: memFree=30149684/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=25044 CPUtime=0.09 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 5480 0 0 0 9 0 0 0 25 0 1 0 822809062 25645056 5176 33554432000 4194304 9163163 140736338975808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29924/statm: 6261 5176 676 1214 0 5043 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25044
[startup+0.300405 s]
/proc/loadavg: 1.87 2.02 1.99 1/559 29924
/proc/meminfo: memFree=30149684/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=26876 CPUtime=0.29 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 8686 0 0 0 29 0 0 0 25 0 1 0 822809062 27521024 5724 33554432000 4194304 9163163 140736338975808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29924/statm: 6719 5724 713 1214 0 5501 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26876
[startup+0.700345 s]
/proc/loadavg: 1.87 2.02 1.99 1/559 29924
/proc/meminfo: memFree=30149684/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=27264 CPUtime=0.69 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 8736 0 0 0 68 1 0 0 25 0 1 0 822809062 27918336 5774 33554432000 4194304 9163163 140736338975808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29924/statm: 6816 5774 716 1214 0 5598 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27264
[startup+1.50026 s]
/proc/loadavg: 1.87 2.02 1.99 3/562 30006
/proc/meminfo: memFree=30096768/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=27264 CPUtime=1.49 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 8748 0 0 0 148 1 0 0 25 0 1 0 822809062 27918336 5786 33554432000 4194304 9163163 140736338975808 18446744073709551615 7390368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29924/statm: 6816 5786 716 1214 0 5598 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27264
[startup+3.10088 s]
/proc/loadavg: 1.87 2.02 1.99 3/562 30006
/proc/meminfo: memFree=30083004/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=27264 CPUtime=3.09 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 8750 0 0 0 306 3 0 0 25 0 1 0 822809062 27918336 5788 33554432000 4194304 9163163 140736338975808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29924/statm: 6816 5788 717 1214 0 5598 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27264
[startup+6.30045 s]
/proc/loadavg: 1.88 2.02 1.99 3/562 30007
/proc/meminfo: memFree=30076928/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=27264 CPUtime=6.29 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 8750 0 0 0 622 7 0 0 25 0 1 0 822809062 27918336 5788 33554432000 4194304 9163163 140736338975808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29924/statm: 6816 5788 717 1214 0 5598 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27264
[startup+12.7004 s]
/proc/loadavg: 1.89 2.02 1.99 3/562 30007
/proc/meminfo: memFree=30075420/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=27264 CPUtime=12.69 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 8756 0 0 0 1255 14 0 0 25 0 1 0 822809062 27918336 5794 33554432000 4194304 9163163 140736338975808 18446744073709551615 4794304 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/29924/statm: 6816 5794 717 1214 0 5598 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27264
[startup+25.5002 s]
/proc/loadavg: 1.91 2.01 1.99 3/562 30007
/proc/meminfo: memFree=30075540/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=29008 CPUtime=25.48 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 9206 0 0 0 2519 29 0 0 25 0 1 0 822809062 29704192 6244 33554432000 4194304 9163163 140736338975808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 7252 6244 717 1214 0 6034 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29008
[startup+51.1009 s]
/proc/loadavg: 1.94 2.01 1.99 3/562 30008
/proc/meminfo: memFree=30071448/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=32512 CPUtime=51.08 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 10081 0 0 0 5056 52 0 0 25 0 1 0 822809062 33292288 7119 33554432000 4194304 9163163 140736338975808 18446744073709551615 7390319 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 8128 7119 717 1214 0 6910 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32512
[startup+102.321 s]
/proc/loadavg: 1.97 2.01 1.99 3/562 30009
/proc/meminfo: memFree=30064912/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=37200 CPUtime=102.3 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 11259 0 0 0 10132 98 0 0 25 0 1 0 822809062 38092800 8297 33554432000 4194304 9163163 140736338975808 18446744073709551615 7318917 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 9300 8297 717 1214 0 8082 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 37200
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/562 30011
/proc/meminfo: memFree=30060060/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=39908 CPUtime=162.28 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 11874 0 0 0 16077 151 0 0 25 0 1 0 822809062 40865792 8912 33554432000 4194304 9163163 140736338975808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 9977 8912 717 1214 0 8759 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 39908
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/562 30012
/proc/meminfo: memFree=30058912/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=42544 CPUtime=222.28 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 12516 0 0 0 22026 202 0 0 25 0 1 0 822809062 43565056 9554 33554432000 4194304 9163163 140736338975808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 10636 9554 717 1214 0 9418 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 42544
[startup+282.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/562 30014
/proc/meminfo: memFree=30058400/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=43980 CPUtime=282.28 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 12865 0 0 0 27973 255 0 0 25 0 1 0 822809062 45035520 9903 33554432000 4194304 9163163 140736338975808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 10995 9903 717 1214 0 9777 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 43980
[startup+342.301 s]
/proc/loadavg: 2.10 2.03 2.00 3/562 30015
/proc/meminfo: memFree=30055776/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=49528 CPUtime=342.29 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 14092 0 0 0 33926 303 0 0 25 0 1 0 822809062 50716672 11117 33554432000 4194304 9163163 140736338975808 18446744073709551615 5275400 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 12382 11117 717 1214 0 11164 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 49528
[startup+402.301 s]
/proc/loadavg: 2.15 2.06 2.01 3/562 30017
/proc/meminfo: memFree=30052660/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=50256 CPUtime=402.29 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 14324 0 0 0 39871 358 0 0 25 0 1 0 822809062 51462144 11349 33554432000 4194304 9163163 140736338975808 18446744073709551615 7391824 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 12564 11349 717 1214 0 11346 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 50256
[startup+462.301 s]
/proc/loadavg: 2.16 2.09 2.02 3/562 30019
/proc/meminfo: memFree=30051276/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=52420 CPUtime=462.29 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 14824 0 0 0 45814 415 0 0 25 0 1 0 822809062 53678080 11849 33554432000 4194304 9163163 140736338975808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 13105 11849 717 1214 0 11887 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 52420
[startup+522.301 s]
/proc/loadavg: 2.06 2.07 2.02 3/562 30020
/proc/meminfo: memFree=30049264/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=54980 CPUtime=522.28 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 15469 0 0 0 51760 468 0 0 25 0 1 0 822809062 56299520 12494 33554432000 4194304 9163163 140736338975808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 13745 12494 717 1214 0 12527 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 54980
[startup+582.3 s]
/proc/loadavg: 1.94 2.04 2.01 3/562 30076
/proc/meminfo: memFree=30070016/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=57088 CPUtime=582.29 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 15899 0 0 0 57709 520 0 0 25 0 1 0 822809062 58458112 12924 33554432000 4194304 9163163 140736338975808 18446744073709551615 7373661 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 14272 12924 717 1214 0 13054 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 57088
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 30163
/proc/meminfo: memFree=30040552/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=60340 CPUtime=822.28 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 16801 0 0 0 81504 724 0 0 25 0 1 0 822809062 61788160 13826 33554432000 4194304 9163163 140736338975808 18446744073709551615 7390296 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 15085 13826 717 1214 0 13867 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 60340
[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 30165
/proc/meminfo: memFree=30039024/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=61604 CPUtime=882.28 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 16986 0 0 0 87451 777 0 0 25 0 1 0 822809062 63082496 14011 33554432000 4194304 9163163 140736338975808 18446744073709551615 4700107 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 15401 14011 717 1214 0 14183 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 61604
[startup+942.301 s]
/proc/loadavg: 2.13 2.04 2.01 3/562 30166
/proc/meminfo: memFree=30040104/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=61832 CPUtime=942.29 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 17054 0 0 0 93399 830 0 0 25 0 1 0 822809062 63315968 14079 33554432000 4194304 9163163 140736338975808 18446744073709551615 7375976 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 15458 14079 717 1214 0 14240 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 61832
[startup+1002.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/562 30168
/proc/meminfo: memFree=30040460/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=61832 CPUtime=1002.29 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 17069 0 0 0 99349 880 0 0 25 0 1 0 822809062 63315968 14094 33554432000 4194304 9163163 140736338975808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 15458 14094 717 1214 0 14240 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 61832
[startup+1062.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/562 30170
/proc/meminfo: memFree=30038328/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=63336 CPUtime=1062.29 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 17542 0 0 0 105294 935 0 0 25 0 1 0 822809062 64856064 14567 33554432000 4194304 9163163 140736338975808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 15834 14567 717 1214 0 14616 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 63336
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/562 30171
/proc/meminfo: memFree=30038308/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=63476 CPUtime=1122.28 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 17613 0 0 0 111243 985 0 0 25 0 1 0 822809062 64999424 14638 33554432000 4194304 9163163 140736338975808 18446744073709551615 7388642 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 15869 14638 717 1214 0 14651 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 63476
[startup+1182.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/562 30182
/proc/meminfo: memFree=30037668/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=63476 CPUtime=1182.28 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 17614 0 0 0 117191 1037 0 0 25 0 1 0 822809062 64999424 14639 33554432000 4194304 9163163 140736338975808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 15869 14639 717 1214 0 14651 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 63476
[startup+1242.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/562 30183
/proc/meminfo: memFree=30036904/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=64316 CPUtime=1242.29 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 17801 0 0 0 123142 1087 0 0 25 0 1 0 822809062 65859584 14826 33554432000 4194304 9163163 140736338975808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 16079 14826 717 1214 0 14861 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 64316
[startup+1302.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/562 30185
/proc/meminfo: memFree=30034520/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=66036 CPUtime=1302.31 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 18195 0 0 0 129090 1141 0 0 25 0 1 0 822809062 67620864 15220 33554432000 4194304 9163163 140736338975808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 16509 15220 717 1214 0 15291 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 66036
[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/562 30190
/proc/meminfo: memFree=30034728/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=66864 CPUtime=1362.29 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 18457 0 0 0 135033 1196 0 0 25 0 1 0 822809062 68468736 15482 33554432000 4194304 9163163 140736338975808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 16716 15482 717 1214 0 15498 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 66864
[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 30191
/proc/meminfo: memFree=30031380/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=69580 CPUtime=1422.31 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 19056 0 0 0 140984 1247 0 0 25 0 1 0 822809062 71249920 16081 33554432000 4194304 9163163 140736338975808 18446744073709551615 5076097 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 17395 16081 717 1214 0 16177 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 69580
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 30193
/proc/meminfo: memFree=30030112/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=71124 CPUtime=1482.29 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 19375 0 0 0 146931 1298 0 0 25 0 1 0 822809062 72830976 16400 33554432000 4194304 9163163 140736338975808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 17781 16400 717 1214 0 16563 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 71124
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 30194
/proc/meminfo: memFree=30031304/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=71396 CPUtime=1542.29 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 19418 0 0 0 152880 1349 0 0 25 0 1 0 822809062 73109504 16443 33554432000 4194304 9163163 140736338975808 18446744073709551615 7389827 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 17849 16443 717 1214 0 16631 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 71396
[startup+1602.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/562 30196
/proc/meminfo: memFree=30031264/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=71396 CPUtime=1602.29 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 19418 0 0 0 158824 1405 0 0 25 0 1 0 822809062 73109504 16443 33554432000 4194304 9163163 140736338975808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 17849 16443 717 1214 0 16631 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 71396
[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/562 30198
/proc/meminfo: memFree=30030868/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=71396 CPUtime=1662.3 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 19453 0 0 0 164774 1456 0 0 25 0 1 0 822809062 73109504 16478 33554432000 4194304 9163163 140736338975808 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 17849 16478 717 1214 0 16631 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 71396
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/562 30199
/proc/meminfo: memFree=30030448/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=71396 CPUtime=1722.29 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 19457 0 0 0 170723 1506 0 0 25 0 1 0 822809062 73109504 16482 33554432000 4194304 9163163 140736338975808 18446744073709551615 7390296 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 17849 16482 717 1214 0 16631 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 71396
[startup+1782.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/562 30201
/proc/meminfo: memFree=30029040/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=71396 CPUtime=1782.29 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 19457 0 0 0 176669 1560 0 0 25 0 1 0 822809062 73109504 16482 33554432000 4194304 9163163 140736338975808 18446744073709551615 7391808 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29924/statm: 17849 16482 717 1214 0 16631 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 71396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.08 2.05 2.01 3/562 30201
/proc/meminfo: memFree=30029776/32950928 swapFree=41528364/67111528
[pid=29924] ppid=29922 vsize=71396 CPUtime=1800.02 cores=0,2,4,6
/proc/29924/stat : 29924 (scip-2.0.1.4b.l) R 29922 29924 28517 0 -1 4202496 19461 0 0 0 178427 1575 0 0 18 0 1 0 822809062 73109504 16486 33554432000 4194304 9163163 140736338975808 18446744073709551615 4443987 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/29924/statm: 17849 16486 721 1214 0 16631 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 71396
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.03
CPU user time (s): 1784.27
CPU system time (s): 15.7596
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 71396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.27
system time used= 15.7596
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19461
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= 8
involuntary context switches= 5863
runsolver used 10.4654 second user time and 22.4296 second system time
The end