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-3450262-1307111948.opb>
0.00/0.01 c original problem has 1458 variables (1458 bin, 0 int, 0 impl, 0 cont) and 1760 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.02 c presolving:
0.00/0.05 c (round 1) 0 del vars, 1458 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 101 upgd conss, 10264 impls, 199 clqs
0.00/0.06 c (round 2) 1258 del vars, 1458 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 10264 impls, 0 clqs
0.00/0.06 c presolving (3 rounds):
0.00/0.06 c 1258 deleted vars, 1458 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 10264 implications, 0 cliques
0.00/0.06 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 302 constraints
0.00/0.06 c 201 constraints of type <knapsack>
0.00/0.06 c 100 constraints of type <setppc>
0.00/0.06 c 1 constraints of type <linear>
0.00/0.06 c transformed objective value is always integral (scale: 1)
0.00/0.06 c Presolving Time: 0.04
0.00/0.06 c - non default parameters ----------------------------------------------------------------------
0.00/0.06 c # SCIP version 2.0.1.5
0.00/0.06 c
0.00/0.06 c # frequency for displaying node information lines
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.06 c display/freq = 10000
0.00/0.06 c
0.00/0.06 c # maximal time in seconds to run
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/time = 1800
0.00/0.06 c
0.00/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.06 c limits/memory = 13950
0.00/0.06 c
0.00/0.06 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c limits/solutions = 1
0.00/0.06 c
0.00/0.06 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.06 c separating/maxrounds = 1
0.00/0.06 c
0.00/0.06 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/maxroundsroot = 5
0.00/0.06 c
0.00/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.06 c # [type: int, range: [1,2], default: 1]
0.00/0.06 c timing/clocktype = 2
0.00/0.06 c
0.00/0.06 c # belongs reading time to solving time?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c timing/reading = TRUE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify inequalities
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/linear/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/indicator/addCouplingCons = TRUE
0.00/0.06 c
0.00/0.06 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06 c constraints/knapsack/disaggregation = FALSE
0.00/0.06 c
0.00/0.06 c # should presolving try to simplify knapsacks
0.00/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.06 c
0.00/0.06 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c presolving/probing/maxrounds = 0
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/coefdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.06 c heuristics/crossover/freq = -1
0.00/0.06 c
0.00/0.06 c # number of nodes added to the contingent of the total nodes
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.06 c heuristics/crossover/nodesofs = 750
0.00/0.06 c
0.00/0.06 c # number of nodes without incumbent change that heuristic should wait
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.06 c heuristics/crossover/nwaitingnodes = 100
0.00/0.06 c
0.00/0.06 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.06 c # [type: real, range: [0,1], default: 0.1]
0.00/0.06 c heuristics/crossover/nodesquot = 0.15
0.00/0.06 c
0.00/0.06 c # minimum percentage of integer variables that have to be fixed
0.00/0.06 c # [type: real, range: [0,1], default: 0.666]
0.00/0.06 c heuristics/crossover/minfixingrate = 0.5
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/feaspump/freq = -1
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/fracdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/guideddiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/intshifting/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/linesearchdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/objpscostdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.06 c # [type: real, range: [0,1], default: 0.01]
0.00/0.06 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/oneopt/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/pscostdiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/rens/freq = -1
0.00/0.06 c
0.00/0.06 c # minimum percentage of integer variables that have to be fixable
0.00/0.06 c # [type: real, range: [0,1], default: 0.5]
0.00/0.06 c heuristics/rens/minfixingrate = 0.3
0.00/0.06 c
0.00/0.06 c # number of nodes added to the contingent of the total nodes
0.00/0.06 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.06 c heuristics/rens/nodesofs = 2000
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.06 c heuristics/rootsoldiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.06 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/rounding/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/shiftandpropagate/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/shifting/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/simplerounding/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/subnlp/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/trivial/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/trysol/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c heuristics/undercover/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.06 c heuristics/veclendiving/freq = -1
0.00/0.06 c
0.00/0.06 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.06 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.06 c
0.00/0.06 c # additional number of allowed LP iterations
0.00/0.06 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.06 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.06 c
0.00/0.06 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.06 c heuristics/zirounding/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c separating/cmir/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.06 c separating/flowcover/freq = -1
0.00/0.06 c
0.00/0.06 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.06 c separating/rapidlearning/freq = 0
0.00/0.06 c
0.00/0.06 c -----------------------------------------------------------------------------------------------
0.00/0.06 c start solving
0.00/0.06 c
0.00/0.08 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.08 c 0.1s| 1 | 0 | 329 | - |4129k| 0 | 142 | 200 | 302 | 200 | 302 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.2s| 1 | 0 | 410 | - |4818k| 0 | 173 | 200 | 303 | 200 | 363 | 61 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 413 | - |5398k| 0 | 174 | 200 | 303 | 200 | 367 | 65 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 c 0.3s| 1 | 0 | 417 | - |5472k| 0 | 176 | 200 | 303 | 200 | 368 | 66 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.33 c 0.3s| 1 | 0 | 421 | - |5516k| 0 | 176 | 200 | 303 | 200 | 369 | 67 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.38 c 0.4s| 1 | 0 | 425 | - |5527k| 0 | 176 | 200 | 303 | 200 | 370 | 68 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.55 c 0.5s| 1 | 2 | 425 | - |5527k| 0 | 176 | 200 | 303 | 200 | 370 | 68 | 0 | 10 | 0.000000e+00 | -- | Inf
64.69/64.74 c 64.7s| 10000 | 131 |360113 | 36.0 |9558k| 35 | 125 | 200 |8183 | 200 | 368 | 68 |8809 |1856 | 0.000000e+00 | -- | Inf
112.39/112.44 c 112s| 20000 | 155 |703177 | 35.1 | 12M| 37 | - | 200 | 13k| 200 | 368 | 68 | 17k|2277 | 0.000000e+00 | -- | Inf
162.19/162.29 c 162s| 30000 | 160 | 1045k| 34.8 | 12M| 37 | 134 | 200 | 10k| 200 | 368 | 68 | 26k|3049 | 0.000000e+00 | -- | Inf
209.11/209.11 c 209s| 40000 | 151 | 1370k| 34.3 | 13M| 37 | - | 200 | 13k| 200 | 368 | 68 | 36k|3607 | 0.000000e+00 | -- | Inf
252.30/252.35 c 252s| 50000 | 175 | 1685k| 33.7 | 14M| 42 | 132 | 200 | 14k| 200 | 368 | 68 | 44k|4066 | 0.000000e+00 | -- | Inf
297.89/297.98 c 298s| 60000 | 179 | 2029k| 33.8 | 15M| 42 | 120 | 200 | 16k| 200 | 368 | 68 | 54k|4526 | 0.000000e+00 | -- | Inf
345.00/345.05 c 345s| 70000 | 187 | 2376k| 33.9 | 15M| 42 | 124 | 200 | 15k| 200 | 368 | 68 | 63k|4902 | 0.000000e+00 | -- | Inf
391.89/391.99 c 392s| 80000 | 184 | 2722k| 34.0 | 16M| 42 | - | 200 | 16k| 200 | 368 | 68 | 71k|5354 | 0.000000e+00 | -- | Inf
438.30/438.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
438.30/438.33 c 438s| 90000 | 182 | 3065k| 34.1 | 15M| 42 | 126 | 200 | 14k| 200 | 368 | 68 | 80k|5616 | 0.000000e+00 | -- | Inf
484.20/484.21 c 484s|100000 | 184 | 3399k| 34.0 | 17M| 42 | 127 | 200 | 18k| 200 | 368 | 68 | 90k|5960 | 0.000000e+00 | -- | Inf
528.70/528.79 c 529s|110000 | 193 | 3737k| 34.0 | 19M| 42 | 121 | 200 | 23k| 200 | 368 | 68 | 99k|6204 | 0.000000e+00 | -- | Inf
576.30/576.39 c 576s|120000 | 190 | 4088k| 34.1 | 19M| 42 | - | 200 | 21k| 200 | 368 | 68 | 108k|6568 | 0.000000e+00 | -- | Inf
620.81/620.86 c 621s|130000 | 187 | 4397k| 33.8 | 18M| 42 | - | 200 | 18k| 200 | 368 | 68 | 117k|6855 | 0.000000e+00 | -- | Inf
668.31/668.35 c 668s|140000 | 193 | 4750k| 33.9 | 18M| 42 | - | 200 | 18k| 200 | 368 | 68 | 127k|7066 | 0.000000e+00 | -- | Inf
716.41/716.47 c 716s|150000 | 187 | 5108k| 34.1 | 19M| 42 | 129 | 200 | 20k| 200 | 368 | 68 | 137k|7312 | 0.000000e+00 | -- | Inf
763.11/763.10 c 763s|160000 | 178 | 5437k| 34.0 | 19M| 42 | 128 | 200 | 20k| 200 | 368 | 68 | 146k|7574 | 0.000000e+00 | -- | Inf
811.31/811.31 c 811s|170000 | 173 | 5796k| 34.1 | 19M| 42 | - | 200 | 19k| 200 | 368 | 68 | 155k|7828 | 0.000000e+00 | -- | Inf
857.92/857.98 c 858s|180000 | 178 | 6158k| 34.2 | 20M| 42 | - | 200 | 22k| 200 | 368 | 68 | 164k|8010 | 0.000000e+00 | -- | Inf
900.71/900.78 c 901s|190000 | 171 | 6477k| 34.1 | 21M| 42 | 130 | 200 | 25k| 200 | 368 | 68 | 171k|8194 | 0.000000e+00 | -- | Inf
948.61/948.63 c 949s|200000 | 172 | 6825k| 34.1 | 21M| 42 | - | 200 | 23k| 200 | 368 | 68 | 180k|8394 | 0.000000e+00 | -- | Inf
997.52/997.51 c 998s|210000 | 168 | 7180k| 34.2 | 22M| 42 | - | 200 | 28k| 200 | 368 | 68 | 190k|8626 | 0.000000e+00 | -- | Inf
1045.82/1045.87 c 1046s|220000 | 175 | 7531k| 34.2 | 24M| 45 | 136 | 200 | 31k| 200 | 368 | 68 | 198k|8836 | 0.000000e+00 | -- | Inf
1089.13/1089.11 c 1089s|230000 | 171 | 7847k| 34.1 | 24M| 45 | - | 200 | 31k| 200 | 368 | 68 | 207k|8971 | 0.000000e+00 | -- | Inf
1132.32/1132.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1132.32/1132.35 c 1132s|240000 | 160 | 8165k| 34.0 | 25M| 49 | - | 200 | 35k| 200 | 368 | 68 | 216k|9140 | 0.000000e+00 | -- | Inf
1179.12/1179.12 c 1179s|250000 | 168 | 8522k| 34.1 | 24M| 49 | - | 200 | 31k| 200 | 368 | 68 | 226k|9286 | 0.000000e+00 | -- | Inf
1224.33/1224.37 c 1224s|260000 | 166 | 8856k| 34.1 | 24M| 49 | 131 | 200 | 28k| 200 | 368 | 68 | 236k|9412 | 0.000000e+00 | -- | Inf
1270.13/1270.19 c 1270s|270000 | 162 | 9193k| 34.0 | 23M| 49 | - | 200 | 24k| 200 | 368 | 68 | 246k|9547 | 0.000000e+00 | -- | Inf
1314.32/1314.33 c 1314s|280000 | 162 | 9531k| 34.0 | 24M| 49 | 120 | 200 | 27k| 200 | 368 | 68 | 255k|9682 | 0.000000e+00 | -- | Inf
1355.63/1355.66 c 1356s|290000 | 159 | 9838k| 33.9 | 25M| 49 | - | 200 | 29k| 200 | 368 | 68 | 263k|9802 | 0.000000e+00 | -- | Inf
1403.33/1403.31 c 1403s|300000 | 155 | 10189k| 34.0 | 25M| 49 | - | 200 | 29k| 200 | 368 | 68 | 272k|9965 | 0.000000e+00 | -- | Inf
1449.34/1449.34 c 1449s|310000 | 150 | 10526k| 34.0 | 24M| 49 | 133 | 200 | 26k| 200 | 368 | 68 | 281k| 10k| 0.000000e+00 | -- | Inf
1496.83/1496.86 c 1497s|320000 | 144 | 10869k| 34.0 | 23M| 49 | 135 | 200 | 22k| 200 | 368 | 68 | 291k| 10k| 0.000000e+00 | -- | Inf
1541.03/1541.07 c 1541s|330000 | 145 | 11191k| 33.9 | 24M| 49 | 128 | 200 | 26k| 200 | 368 | 68 | 299k| 10k| 0.000000e+00 | -- | Inf
1585.04/1585.04 c 1585s|340000 | 146 | 11514k| 33.9 | 24M| 49 | 124 | 200 | 24k| 200 | 368 | 68 | 308k| 10k| 0.000000e+00 | -- | Inf
1630.43/1630.40 c 1630s|350000 | 145 | 11852k| 33.9 | 25M| 49 | - | 200 | 25k| 200 | 368 | 68 | 317k| 10k| 0.000000e+00 | -- | Inf
1677.84/1677.88 c 1678s|360000 | 146 | 12209k| 33.9 | 25M| 49 | 134 | 200 | 25k| 200 | 368 | 68 | 327k| 10k| 0.000000e+00 | -- | Inf
1725.34/1725.33 c 1725s|370000 | 144 | 12567k| 34.0 | 25M| 49 | 134 | 200 | 27k| 200 | 368 | 68 | 337k| 10k| 0.000000e+00 | -- | Inf
1774.65/1774.69 c 1775s|380000 | 133 | 12947k| 34.1 | 26M| 49 | - | 200 | 29k| 200 | 368 | 68 | 346k| 10k| 0.000000e+00 | -- | Inf
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Solving Time (sec) : 1800.00
1800.04/1800.01 c Solving Nodes : 384890
1800.04/1800.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 s UNKNOWN
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Total Time : 1800.00
1800.04/1800.01 c solving : 1800.00
1800.04/1800.01 c presolving : 0.04 (included in solving)
1800.04/1800.01 c reading : 0.01 (included in solving)
1800.04/1800.01 c Original Problem :
1800.04/1800.01 c Problem name : HOME/instance-3450262-1307111948.opb
1800.04/1800.01 c Variables : 1458 (1458 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01 c Constraints : 1760 initial, 1760 maximal
1800.04/1800.01 c Presolved Problem :
1800.04/1800.01 c Problem name : t_HOME/instance-3450262-1307111948.opb
1800.04/1800.01 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.01 c Constraints : 302 initial, 35540 maximal
1800.04/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c dualfix : 0.00 1258 0 0 0 0 0 0 0 0
1800.04/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c linear : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.01 c pseudoboolean : 0.00 0 0 0 0 0 1458 0 0 0
1800.05/1800.01 c root node : - 0 - - 0 - - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 194496 0 1 0 504 3786 0 0 385482
1800.05/1800.01 c knapsack : 201 5 1555658 0 1 0 976802 8 1147736 192 0 0
1800.05/1800.01 c setppc : 100 5 1555650 0 1 0 588309 13 150677 0 0 0
1800.05/1800.01 c linear : 1+ 6 1555637 0 1 0 0 0 0 0 0 0
1800.05/1800.01 c logicor : 0+ 0 363386 0 0 0 1132560 781 213944 0 0 0
1800.05/1800.01 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.01 c integral : 106.61 0.00 0.00 106.61 0.00 0.00 0.00
1800.05/1800.01 c knapsack : 10.26 0.01 9.89 0.00 0.00 0.00 0.36
1800.05/1800.01 c setppc : 1.96 0.00 1.80 0.00 0.00 0.00 0.16
1800.05/1800.01 c linear : 0.69 0.00 0.69 0.00 0.00 0.00 0.00
1800.05/1800.01 c logicor : 35.67 0.00 34.47 0.00 0.00 0.00 1.20
1800.05/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.01 c vbounds : 0 0 0 0
1800.05/1800.01 c rootredcost : 0 0 0 0
1800.05/1800.01 c pseudoobj : 0 0 0 0
1800.05/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.01 c vbounds : 0.23 0.23 0.00
1800.05/1800.01 c rootredcost : 0.25 0.25 0.00
1800.05/1800.01 c pseudoobj : 0.16 0.16 0.00
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-3450262-1307111948/watcher-3450262-1307111948 -o /tmp/evaluation-result-3450262-1307111948/solver-3450262-1307111948 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450262-1307111948.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.13 2.04 1.92 3/373 11026
/proc/meminfo: memFree=22626432/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=13404 CPUtime=0 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 2336 0 0 0 0 0 0 0 25 0 1 0 822795293 13725696 2289 33554432000 4194304 9163163 140734776427952 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/11026/statm: 3351 2289 409 1214 0 2133 0
[startup+0.105739 s]
/proc/loadavg: 2.13 2.04 1.92 3/373 11026
/proc/meminfo: memFree=22626432/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=24864 CPUtime=0.09 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 5422 0 0 0 9 0 0 0 25 0 1 0 822795293 25460736 5117 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 6216 5117 676 1214 0 4998 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24864
[startup+0.200717 s]
/proc/loadavg: 2.13 2.04 1.92 3/373 11026
/proc/meminfo: memFree=22626432/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=35964 CPUtime=0.19 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 8658 0 0 0 18 1 0 0 25 0 1 0 822795293 36827136 7647 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 8991 7647 713 1214 0 7773 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 35964
[startup+0.300692 s]
/proc/loadavg: 2.13 2.04 1.92 3/373 11026
/proc/meminfo: memFree=22626432/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=36076 CPUtime=0.29 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 8689 0 0 0 28 1 0 0 25 0 1 0 822795293 36941824 7678 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 9019 7678 713 1214 0 7801 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36076
[startup+0.700621 s]
/proc/loadavg: 2.13 2.04 1.92 3/373 11026
/proc/meminfo: memFree=22626432/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=36196 CPUtime=0.69 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 8728 0 0 0 68 1 0 0 25 0 1 0 822795293 37064704 7717 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 9049 7717 716 1214 0 7831 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36196
[startup+1.50048 s]
/proc/loadavg: 2.12 2.04 1.92 3/374 11027
/proc/meminfo: memFree=22597532/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=36196 CPUtime=1.48 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 8728 0 0 0 147 1 0 0 25 0 1 0 822795293 37064704 7717 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 9049 7717 716 1214 0 7831 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 36196
[startup+3.1002 s]
/proc/loadavg: 2.12 2.04 1.92 3/374 11027
/proc/meminfo: memFree=22596788/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=36196 CPUtime=3.08 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 8728 0 0 0 306 2 0 0 25 0 1 0 822795293 37064704 7717 33554432000 4194304 9163163 140734776427952 18446744073709551615 7391726 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 9049 7717 716 1214 0 7831 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 36196
[startup+6.3006 s]
/proc/loadavg: 2.11 2.04 1.92 3/374 11027
/proc/meminfo: memFree=22595804/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=36196 CPUtime=6.28 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 8730 0 0 0 623 5 0 0 25 0 1 0 822795293 37064704 7719 33554432000 4194304 9163163 140734776427952 18446744073709551615 7390573 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 9049 7719 717 1214 0 7831 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 36196
[startup+12.7004 s]
/proc/loadavg: 2.10 2.04 1.92 3/374 11028
/proc/meminfo: memFree=22607240/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=36196 CPUtime=12.69 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 8730 0 0 0 1259 10 0 0 25 0 1 0 822795293 37064704 7719 33554432000 4194304 9163163 140734776427952 18446744073709551615 7390504 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 9049 7719 717 1214 0 7831 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36196
[startup+25.5011 s]
/proc/loadavg: 2.08 2.04 1.92 3/374 11028
/proc/meminfo: memFree=22593596/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=36196 CPUtime=25.49 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 8730 0 0 0 2525 24 0 0 25 0 1 0 822795293 37064704 7719 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 9049 7719 717 1214 0 7831 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36196
[startup+51.1004 s]
/proc/loadavg: 2.05 2.03 1.92 3/374 11029
/proc/meminfo: memFree=22601932/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=36196 CPUtime=51.08 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 8942 0 0 0 5060 48 0 0 25 0 1 0 822795293 37064704 7931 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 9049 7931 717 1214 0 7831 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36196
[startup+102.301 s]
/proc/loadavg: 2.02 2.03 1.92 3/374 11030
/proc/meminfo: memFree=22597032/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=40832 CPUtime=102.3 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 10155 0 0 0 10137 93 0 0 25 0 1 0 822795293 41811968 9143 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 10208 9143 717 1214 0 8990 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 40832
[startup+162.301 s]
/proc/loadavg: 2.01 2.02 1.92 3/374 11060
/proc/meminfo: memFree=22642588/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=43312 CPUtime=162.29 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 10738 0 0 0 16081 148 0 0 25 0 1 0 822795293 44351488 9726 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 10828 9726 717 1214 0 9610 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 43312
[startup+222.314 s]
/proc/loadavg: 2.06 2.03 1.93 3/374 11061
/proc/meminfo: memFree=22633156/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=43568 CPUtime=222.3 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 10790 0 0 0 22026 204 0 0 25 0 1 0 822795293 44613632 9778 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 10892 9778 717 1214 0 9674 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 43568
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/374 11063
/proc/meminfo: memFree=22632380/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=44164 CPUtime=282.3 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 10953 0 0 0 27966 264 0 0 25 0 1 0 822795293 45223936 9941 33554432000 4194304 9163163 140734776427952 18446744073709551615 7240240 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 11041 9941 717 1214 0 9823 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 44164
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 1.93 3/374 11064
/proc/meminfo: memFree=22630356/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=46652 CPUtime=342.3 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 11461 0 0 0 33907 323 0 0 25 0 1 0 822795293 47771648 10449 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 11663 10449 717 1214 0 10445 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 46652
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/374 11066
/proc/meminfo: memFree=22629068/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=48356 CPUtime=402.3 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 11832 0 0 0 39851 379 0 0 25 0 1 0 822795293 49516544 10820 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 12089 10820 717 1214 0 10871 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 48356
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/374 11068
/proc/meminfo: memFree=22628664/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=48748 CPUtime=462.3 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 11877 0 0 0 45797 433 0 0 25 0 1 0 822795293 49917952 10865 33554432000 4194304 9163163 140734776427952 18446744073709551615 4947897 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 12187 10865 717 1214 0 10969 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 48748
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/374 11069
/proc/meminfo: memFree=22626772/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=50080 CPUtime=522.3 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 12245 0 0 0 51738 492 0 0 25 0 1 0 822795293 51281920 11233 33554432000 4194304 9163163 140734776427952 18446744073709551615 7389624 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 12520 11233 717 1214 0 11302 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 50080
[startup+582.3 s]
/proc/loadavg: 2.11 2.03 1.94 3/374 11071
/proc/meminfo: memFree=22636916/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=51616 CPUtime=582.3 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 12703 0 0 0 57683 547 0 0 25 0 1 0 822795293 52854784 11691 33554432000 4194304 9163163 140734776427952 18446744073709551615 7390504 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 12904 11691 717 1214 0 11686 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 51616
[startup+642.3 s]
################
# More data... #
################
[startup+882.314 s]
/proc/loadavg: 2.02 2.04 1.96 3/374 11079
/proc/meminfo: memFree=22635432/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=53632 CPUtime=882.33 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 13229 0 0 0 87416 817 0 0 25 0 1 0 822795293 54919168 12217 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 13408 12217 717 1214 0 12190 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 53632
[startup+942.301 s]
/proc/loadavg: 2.00 2.03 1.96 3/374 11080
/proc/meminfo: memFree=22634644/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=54384 CPUtime=942.32 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 13422 0 0 0 93364 868 0 0 25 0 1 0 822795293 55689216 12410 33554432000 4194304 9163163 140734776427952 18446744073709551615 7375960 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 13596 12410 717 1214 0 12378 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 54384
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/374 11082
/proc/meminfo: memFree=22633264/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=55712 CPUtime=1002.32 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 13764 0 0 0 99316 916 0 0 25 0 1 0 822795293 57049088 12752 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 13928 12752 717 1214 0 12710 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 55712
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 1.96 3/374 11084
/proc/meminfo: memFree=22632236/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=56744 CPUtime=1062.32 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 14071 0 0 0 105263 969 0 0 25 0 1 0 822795293 58105856 13059 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 14186 13059 717 1214 0 12968 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 56744
[startup+1122.3 s]
/proc/loadavg: 2.08 2.03 1.96 3/374 11085
/proc/meminfo: memFree=22631068/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=57984 CPUtime=1122.32 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 14349 0 0 0 111213 1019 0 0 25 0 1 0 822795293 59375616 13337 33554432000 4194304 9163163 140734776427952 18446744073709551615 7390839 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 14496 13337 717 1214 0 13278 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 57984
[startup+1182.3 s]
/proc/loadavg: 2.10 2.04 1.97 3/374 11087
/proc/meminfo: memFree=22629532/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=59564 CPUtime=1182.33 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 14761 0 0 0 117159 1074 0 0 25 0 1 0 822795293 60993536 13749 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 14891 13749 717 1214 0 13673 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 59564
[startup+1242.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/374 11088
/proc/meminfo: memFree=22629240/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=59932 CPUtime=1242.33 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 14860 0 0 0 123105 1128 0 0 25 0 1 0 822795293 61370368 13848 33554432000 4194304 9163163 140734776427952 18446744073709551615 7390316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 14983 13848 717 1214 0 13765 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 59932
[startup+1302.3 s]
/proc/loadavg: 2.06 2.03 1.97 3/374 11090
/proc/meminfo: memFree=22626216/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=61132 CPUtime=1302.33 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 14975 0 0 0 129051 1182 0 0 25 0 1 0 822795293 62599168 13963 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 15283 13963 717 1214 0 14065 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 61132
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 1.97 3/374 11101
/proc/meminfo: memFree=22625364/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=62340 CPUtime=1362.33 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 15061 0 0 0 134999 1234 0 0 25 0 1 0 822795293 63836160 14049 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 15585 14049 717 1214 0 14367 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 62340
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/374 11102
/proc/meminfo: memFree=22625216/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=62496 CPUtime=1422.34 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 15128 0 0 0 140945 1289 0 0 25 0 1 0 822795293 63995904 14116 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 15624 14116 717 1214 0 14406 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 62496
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/374 11104
/proc/meminfo: memFree=22625184/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=62496 CPUtime=1482.33 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 15129 0 0 0 146893 1340 0 0 25 0 1 0 822795293 63995904 14117 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 15624 14117 717 1214 0 14406 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 62496
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 1.97 3/374 11108
/proc/meminfo: memFree=22624876/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=62496 CPUtime=1542.34 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 15130 0 0 0 152838 1396 0 0 25 0 1 0 822795293 63995904 14118 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 15624 14118 717 1214 0 14406 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 62496
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/374 11110
/proc/meminfo: memFree=22624704/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=62496 CPUtime=1602.33 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 15158 0 0 0 158781 1452 0 0 25 0 1 0 822795293 63995904 14146 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 15624 14146 717 1214 0 14406 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 62496
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/374 11112
/proc/meminfo: memFree=22624788/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=62744 CPUtime=1662.34 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 15186 0 0 0 164730 1504 0 0 25 0 1 0 822795293 64249856 14174 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 15686 14174 717 1214 0 14468 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 62744
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/374 11113
/proc/meminfo: memFree=22624740/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=62744 CPUtime=1722.34 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 15186 0 0 0 170676 1558 0 0 25 0 1 0 822795293 64249856 14174 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 15686 14174 717 1214 0 14468 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 62744
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/374 11115
/proc/meminfo: memFree=22624204/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=62744 CPUtime=1782.34 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 15188 0 0 0 176620 1614 0 0 25 0 1 0 822795293 64249856 14176 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 15686 14176 717 1214 0 14468 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 62744
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.00 1.98 3/374 11115
/proc/meminfo: memFree=22624568/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=63216 CPUtime=1800.05 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 15299 0 0 0 178376 1629 0 0 25 0 1 0 822795293 64733184 14287 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 15804 14287 718 1214 0 14586 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 63216
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.01 2.00 1.98 3/374 11115
/proc/meminfo: memFree=22624568/32951124 swapFree=37148216/67111528
[pid=11026] ppid=11024 vsize=63216 CPUtime=1800.05 cores=0,2,4,6
/proc/11026/stat : 11026 (scip-2.0.1.4b.l) R 11024 11026 9067 0 -1 4202496 15299 0 0 0 178376 1629 0 0 25 0 1 0 822795293 64733184 14287 33554432000 4194304 9163163 140734776427952 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11026/statm: 15804 14287 718 1214 0 14586 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 63216
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1783.77
CPU system time (s): 16.3005
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 63216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.77
system time used= 16.3005
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15300
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= 7
involuntary context switches= 5592
runsolver used 6.93694 second user time and 14.3418 second system time
The end