0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3488182-1307787553.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.01 c presolving:
0.00/0.04 c (round 1) 0 del vars, 1658 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 101 upgd conss, 10264 impls, 199 clqs
0.00/0.05 c (round 2) 1258 del vars, 1658 del conss, 200 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 301 upgd conss, 10264 impls, 0 clqs
0.00/0.05 c presolving (3 rounds):
0.00/0.05 c 1258 deleted vars, 1658 deleted constraints, 200 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.05 c 10264 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 = 1797
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 | 329 | - |4129k| 0 | 142 | 200 | 302 | 200 | 302 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 410 | - |4818k| 0 | 173 | 200 | 303 | 200 | 363 | 61 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.2s| 1 | 0 | 413 | - |5398k| 0 | 174 | 200 | 303 | 200 | 367 | 65 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 0 | 417 | - |5472k| 0 | 176 | 200 | 303 | 200 | 368 | 66 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.29 c 0.3s| 1 | 0 | 421 | - |5516k| 0 | 176 | 200 | 303 | 200 | 369 | 67 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.34 c 0.3s| 1 | 0 | 425 | - |5527k| 0 | 176 | 200 | 303 | 200 | 370 | 68 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.48 c 0.5s| 1 | 2 | 425 | - |5527k| 0 | 176 | 200 | 303 | 200 | 370 | 68 | 0 | 10 | 0.000000e+00 | -- | Inf
64.29/64.38 c 64.4s| 10000 | 131 |360113 | 36.0 |9558k| 35 | 125 | 200 |8183 | 200 | 368 | 68 |8809 |1856 | 0.000000e+00 | -- | Inf
112.78/112.81 c 113s| 20000 | 155 |703177 | 35.1 | 12M| 37 | - | 200 | 13k| 200 | 368 | 68 | 17k|2277 | 0.000000e+00 | -- | Inf
163.48/163.55 c 164s| 30000 | 160 | 1045k| 34.8 | 12M| 37 | 134 | 200 | 10k| 200 | 368 | 68 | 26k|3049 | 0.000000e+00 | -- | Inf
211.09/211.15 c 211s| 40000 | 151 | 1370k| 34.3 | 13M| 37 | - | 200 | 13k| 200 | 368 | 68 | 36k|3607 | 0.000000e+00 | -- | Inf
255.09/255.16 c 255s| 50000 | 175 | 1685k| 33.7 | 14M| 42 | 132 | 200 | 14k| 200 | 368 | 68 | 44k|4066 | 0.000000e+00 | -- | Inf
301.58/301.63 c 302s| 60000 | 179 | 2029k| 33.8 | 15M| 42 | 120 | 200 | 16k| 200 | 368 | 68 | 54k|4526 | 0.000000e+00 | -- | Inf
349.19/349.29 c 349s| 70000 | 187 | 2376k| 33.9 | 15M| 42 | 124 | 200 | 15k| 200 | 368 | 68 | 63k|4902 | 0.000000e+00 | -- | Inf
396.69/396.78 c 397s| 80000 | 184 | 2722k| 34.0 | 16M| 42 | - | 200 | 16k| 200 | 368 | 68 | 71k|5354 | 0.000000e+00 | -- | Inf
443.20/443.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
443.20/443.26 c 443s| 90000 | 182 | 3065k| 34.1 | 15M| 42 | 126 | 200 | 14k| 200 | 368 | 68 | 80k|5616 | 0.000000e+00 | -- | Inf
489.19/489.25 c 489s|100000 | 184 | 3399k| 34.0 | 17M| 42 | 127 | 200 | 18k| 200 | 368 | 68 | 90k|5960 | 0.000000e+00 | -- | Inf
534.20/534.21 c 534s|110000 | 193 | 3737k| 34.0 | 19M| 42 | 121 | 200 | 23k| 200 | 368 | 68 | 99k|6204 | 0.000000e+00 | -- | Inf
582.40/582.41 c 582s|120000 | 190 | 4088k| 34.1 | 19M| 42 | - | 200 | 21k| 200 | 368 | 68 | 108k|6568 | 0.000000e+00 | -- | Inf
627.50/627.50 c 627s|130000 | 187 | 4397k| 33.8 | 18M| 42 | - | 200 | 18k| 200 | 368 | 68 | 117k|6855 | 0.000000e+00 | -- | Inf
675.59/675.63 c 676s|140000 | 193 | 4750k| 33.9 | 18M| 42 | - | 200 | 18k| 200 | 368 | 68 | 127k|7066 | 0.000000e+00 | -- | Inf
724.40/724.47 c 724s|150000 | 187 | 5108k| 34.1 | 19M| 42 | 129 | 200 | 20k| 200 | 368 | 68 | 137k|7312 | 0.000000e+00 | -- | Inf
771.70/771.79 c 772s|160000 | 178 | 5437k| 34.0 | 19M| 42 | 128 | 200 | 20k| 200 | 368 | 68 | 146k|7574 | 0.000000e+00 | -- | Inf
820.80/820.86 c 821s|170000 | 173 | 5796k| 34.1 | 19M| 42 | - | 200 | 19k| 200 | 368 | 68 | 155k|7828 | 0.000000e+00 | -- | Inf
868.41/868.40 c 868s|180000 | 178 | 6158k| 34.2 | 20M| 42 | - | 200 | 22k| 200 | 368 | 68 | 164k|8010 | 0.000000e+00 | -- | Inf
912.01/912.03 c 912s|190000 | 171 | 6477k| 34.1 | 21M| 42 | 130 | 200 | 25k| 200 | 368 | 68 | 171k|8194 | 0.000000e+00 | -- | Inf
960.61/960.66 c 961s|200000 | 172 | 6825k| 34.1 | 21M| 42 | - | 200 | 23k| 200 | 368 | 68 | 180k|8394 | 0.000000e+00 | -- | Inf
1010.31/1010.33 c 1010s|210000 | 168 | 7180k| 34.2 | 22M| 42 | - | 200 | 28k| 200 | 368 | 68 | 190k|8626 | 0.000000e+00 | -- | Inf
1059.32/1059.39 c 1059s|220000 | 175 | 7531k| 34.2 | 24M| 45 | 136 | 200 | 31k| 200 | 368 | 68 | 198k|8836 | 0.000000e+00 | -- | Inf
1103.22/1103.25 c 1103s|230000 | 171 | 7847k| 34.1 | 24M| 45 | - | 200 | 31k| 200 | 368 | 68 | 207k|8971 | 0.000000e+00 | -- | Inf
1146.92/1146.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1146.92/1146.94 c 1147s|240000 | 160 | 8165k| 34.0 | 25M| 49 | - | 200 | 35k| 200 | 368 | 68 | 216k|9140 | 0.000000e+00 | -- | Inf
1194.11/1194.17 c 1194s|250000 | 168 | 8522k| 34.1 | 24M| 49 | - | 200 | 31k| 200 | 368 | 68 | 226k|9286 | 0.000000e+00 | -- | Inf
1239.52/1239.54 c 1240s|260000 | 166 | 8856k| 34.1 | 24M| 49 | 131 | 200 | 28k| 200 | 368 | 68 | 236k|9412 | 0.000000e+00 | -- | Inf
1285.52/1285.57 c 1286s|270000 | 162 | 9193k| 34.0 | 23M| 49 | - | 200 | 24k| 200 | 368 | 68 | 246k|9547 | 0.000000e+00 | -- | Inf
1330.12/1330.10 c 1330s|280000 | 162 | 9531k| 34.0 | 24M| 49 | 120 | 200 | 27k| 200 | 368 | 68 | 255k|9682 | 0.000000e+00 | -- | Inf
1372.02/1372.10 c 1372s|290000 | 159 | 9838k| 33.9 | 25M| 49 | - | 200 | 29k| 200 | 368 | 68 | 263k|9802 | 0.000000e+00 | -- | Inf
1420.72/1420.74 c 1421s|300000 | 155 | 10189k| 34.0 | 25M| 49 | - | 200 | 29k| 200 | 368 | 68 | 272k|9965 | 0.000000e+00 | -- | Inf
1467.53/1467.56 c 1468s|310000 | 150 | 10526k| 34.0 | 24M| 49 | 133 | 200 | 26k| 200 | 368 | 68 | 281k| 10k| 0.000000e+00 | -- | Inf
1515.73/1515.75 c 1516s|320000 | 144 | 10869k| 34.0 | 23M| 49 | 135 | 200 | 22k| 200 | 368 | 68 | 291k| 10k| 0.000000e+00 | -- | Inf
1560.73/1560.73 c 1561s|330000 | 145 | 11191k| 33.9 | 24M| 49 | 128 | 200 | 26k| 200 | 368 | 68 | 299k| 10k| 0.000000e+00 | -- | Inf
1605.53/1605.57 c 1606s|340000 | 146 | 11514k| 33.9 | 24M| 49 | 124 | 200 | 24k| 200 | 368 | 68 | 308k| 10k| 0.000000e+00 | -- | Inf
1651.73/1651.74 c 1652s|350000 | 145 | 11852k| 33.9 | 25M| 49 | - | 200 | 25k| 200 | 368 | 68 | 317k| 10k| 0.000000e+00 | -- | Inf
1700.04/1700.06 c 1700s|360000 | 146 | 12209k| 33.9 | 25M| 49 | 134 | 200 | 25k| 200 | 368 | 68 | 327k| 10k| 0.000000e+00 | -- | Inf
1748.33/1748.34 c 1748s|370000 | 144 | 12567k| 34.0 | 25M| 49 | 134 | 200 | 27k| 200 | 368 | 68 | 337k| 10k| 0.000000e+00 | -- | Inf
1797.03/1797.00 c
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Solving Time (sec) : 1797.00
1797.03/1797.00 c Solving Nodes : 379707
1797.03/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.03/1797.00 c Dual Bound : +0.00000000000000e+00
1797.03/1797.00 c Gap : infinite
1797.03/1797.00 s UNKNOWN
1797.03/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.03/1797.00 c Total Time : 1797.00
1797.03/1797.00 c solving : 1797.00
1797.03/1797.00 c presolving : 0.04 (included in solving)
1797.03/1797.00 c reading : 0.01 (included in solving)
1797.03/1797.00 c Original Problem :
1797.03/1797.00 c Problem name : HOME/instance-3488182-1307787553.opb
1797.03/1797.00 c Variables : 1458 (1458 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 1760 initial, 1760 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3488182-1307787553.opb
1797.03/1797.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 302 initial, 35540 maximal
1797.03/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.03/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c dualfix : 0.00 1258 0 0 0 0 0 0 0 0
1797.03/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c knapsack : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c linear : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.01 c pseudoboolean : 0.00 0 0 0 0 0 1658 200 0 0
1797.03/1797.01 c root node : - 0 - - 0 - - - - -
1797.03/1797.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.01 c integral : 0 0 0 191891 0 1 0 500 3751 0 0 380306
1797.03/1797.01 c knapsack : 201 5 1534880 0 1 0 971898 8 1133726 192 0 0
1797.03/1797.01 c setppc : 100 5 1534872 0 1 0 582279 13 148436 0 0 0
1797.03/1797.01 c linear : 1+ 6 1534859 0 1 0 0 0 0 0 0 0
1797.03/1797.01 c logicor : 0+ 0 358513 0 0 0 1116416 774 211165 0 0 0
1797.03/1797.01 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.03/1797.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.01 c integral : 105.13 0.00 0.00 105.13 0.00 0.00 0.00
1797.03/1797.01 c knapsack : 10.24 0.01 9.85 0.00 0.00 0.00 0.38
1797.03/1797.01 c setppc : 2.01 0.00 1.84 0.00 0.00 0.00 0.17
1797.03/1797.01 c linear : 0.67 0.00 0.67 0.00 0.00 0.00 0.00
1797.03/1797.01 c logicor : 35.77 0.00 34.53 0.00 0.00 0.00 1.24
1797.03/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.01 c vbounds : 0 0 0 0
1797.03/1797.01 c rootredcost : 0 0 0 0
1797.03/1797.01 c pseudoobj : 0 0 0 0
1797.03/1797.01 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.01 c vbounds : 0.23 0.23 0.00
1797.03/1797.01 c rootredcost : 0.23 0.23 0.00
1797.03/1797.01 c pseudoobj : 0.17 0.17 0.00
1797.03/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.01 c propagation : 0.02 795 761 4052 20.0 0 0.0 -
1797.03/1797.01 c infeasible LP : 13.21 188442 187937 1173834 22.8 50 21.3 0
1797.03/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.01 c applied globally : - - - 346612 20.2 - - -
1797.03/1797.01 c applied locally : - - - 39 36.5 - - -
1797.03/1797.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.01 c cut pool : 0.00 4 - - 26 - (maximal pool size: 255)
1797.03/1797.01 c redcost : 0.66 191023 0 0 0 0
1797.03/1797.01 c impliedbounds : 0.00 5 0 0 0 0
1797.03/1797.01 c intobj : 0.00 0 0 0 0 0
1797.03/1797.01 c gomory : 0.11 5 0 0 0 0
1797.03/1797.01 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.01 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.01 c strongcg : 0.10 5 0 0 255 0
1797.03/1797.01 c cmir : 0.00 0 0 0 0 0
1797.03/1797.01 c flowcover : 0.00 0 0 0 0 0
1797.03/1797.01 c clique : 0.00 1 0 0 0 0
1797.03/1797.01 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.01 c mcf : 0.00 1 0 0 0 0
1797.03/1797.01 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.01 c rapidlearning : 0.02 1 0 0 0 1
1797.03/1797.01 c Pricers : Time Calls Vars
1797.03/1797.01 c problem variables: 0.00 0 0
1797.03/1797.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.01 c relpscost : 105.02 191891 500 3751 0 0 380306
1797.03/1797.01 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.01 c inference : 0.00 1 0 0 0 0 2
1797.03/1797.01 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.01 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.01 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.01 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.01 c random : 0.00 0 0 0 0 0 0
1797.03/1797.01 c Primal Heuristics : Time Calls Found
1797.03/1797.01 c LP solutions : 0.00 - 0
1797.03/1797.01 c pseudo solutions : 0.00 - 0
1797.03/1797.01 c trivial : 0.00 1 0
1797.03/1797.01 c shiftandpropagate: 0.00 0 0
1797.03/1797.01 c simplerounding : 0.00 0 0
1797.03/1797.01 c zirounding : 0.00 0 0
1797.03/1797.01 c rounding : 0.00 0 0
1797.03/1797.01 c shifting : 0.00 0 0
1797.03/1797.01 c intshifting : 0.00 0 0
1797.03/1797.01 c oneopt : 0.00 0 0
1797.03/1797.01 c twoopt : 0.00 0 0
1797.03/1797.01 c fixandinfer : 0.00 0 0
1797.03/1797.01 c feaspump : 0.00 0 0
1797.03/1797.01 c clique : 0.00 0 0
1797.03/1797.01 c coefdiving : 0.00 0 0
1797.03/1797.01 c pscostdiving : 0.00 0 0
1797.03/1797.01 c fracdiving : 0.00 0 0
1797.03/1797.01 c veclendiving : 0.00 0 0
1797.03/1797.01 c intdiving : 0.00 0 0
1797.03/1797.01 c actconsdiving : 0.00 0 0
1797.03/1797.01 c objpscostdiving : 0.00 0 0
1797.03/1797.01 c rootsoldiving : 0.00 0 0
1797.03/1797.01 c linesearchdiving : 0.00 0 0
1797.03/1797.01 c guideddiving : 0.00 0 0
1797.03/1797.01 c octane : 0.00 0 0
1797.03/1797.01 c rens : 0.00 0 0
1797.03/1797.01 c rins : 0.00 0 0
1797.03/1797.01 c localbranching : 0.00 0 0
1797.03/1797.01 c mutation : 0.00 0 0
1797.03/1797.01 c crossover : 0.00 0 0
1797.03/1797.01 c dins : 0.00 0 0
1797.03/1797.01 c vbounds : 0.00 0 0
1797.03/1797.01 c undercover : 0.00 0 0
1797.03/1797.01 c subnlp : 0.00 0 0
1797.03/1797.01 c trysol : 0.00 0 0
1797.03/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.01 c primal LP : 0.00 0 0 0.00 -
1797.03/1797.01 c dual LP : 1562.90 380308 12934357 34.01 8275.88
1797.03/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.01 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.01 c diving/probing LP: 0.00 0 0 0.00 -
1797.03/1797.01 c strong branching : 98.40 10916 734789 67.31 7467.54
1797.03/1797.01 c (at root node) : - 10 849 84.90 -
1797.03/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.01 c B&B Tree :
1797.03/1797.01 c number of runs : 1
1797.03/1797.01 c nodes : 379707
1797.03/1797.01 c nodes (total) : 379707
1797.03/1797.01 c nodes left : 130
1797.03/1797.01 c max depth : 49
1797.03/1797.01 c max depth (total): 49
1797.03/1797.01 c backtracks : 40930 (10.8%)
1797.03/1797.01 c delayed cutoffs : 472
1797.03/1797.01 c repropagations : 775226 (220358 domain reductions, 184 cutoffs)
1797.03/1797.01 c avg switch length: 5.51
1797.03/1797.01 c switching time : 32.18
1797.03/1797.01 c Solution :
1797.03/1797.01 c Solutions found : 0 (0 improvements)
1797.03/1797.01 c Primal Bound : -
1797.03/1797.01 c Dual Bound : +0.00000000000000e+00
1797.03/1797.01 c Gap : infinite
1797.03/1797.01 c Root Dual Bound : +0.00000000000000e+00
1797.03/1797.01 c Root Iterations : 425
1797.03/1797.05 c Time complete: 1797.09.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3488182-1307787553/watcher-3488182-1307787553 -o /tmp/evaluation-result-3488182-1307787553/solver-3488182-1307787553 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3488182-1307787553.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.98 2/174 9445
/proc/meminfo: memFree=31492844/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=12696 CPUtime=0 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 2156 0 0 0 0 0 0 0 25 0 1 0 968985984 13000704 2111 33554432000 4194304 9016284 140733681892224 18446744073709551615 6813403 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9445/statm: 3174 2118 362 1178 0 1992 0
[startup+0.0826331 s]
/proc/loadavg: 2.00 2.00 1.98 2/174 9445
/proc/meminfo: memFree=31492844/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=24708 CPUtime=0.07 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 5408 0 0 0 7 0 0 0 18 0 1 0 968985984 25300992 5106 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9445/statm: 6177 5106 657 1178 0 4995 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 24708
[startup+0.100631 s]
/proc/loadavg: 2.00 2.00 1.98 2/174 9445
/proc/meminfo: memFree=31492844/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=24708 CPUtime=0.09 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 5409 0 0 0 9 0 0 0 18 0 1 0 968985984 25300992 5107 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9445/statm: 6177 5107 658 1178 0 4995 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24708
[startup+0.300602 s]
/proc/loadavg: 2.00 2.00 1.98 2/174 9445
/proc/meminfo: memFree=31492844/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=35988 CPUtime=0.29 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 8679 0 0 0 28 1 0 0 18 0 1 0 968985984 36851712 7671 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9445/statm: 8997 7671 688 1178 0 7815 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35988
[startup+0.700509 s]
/proc/loadavg: 2.00 2.00 1.98 2/174 9445
/proc/meminfo: memFree=31492844/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=36052 CPUtime=0.69 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 8700 0 0 0 68 1 0 0 18 0 1 0 968985984 36917248 7692 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9445/statm: 9013 7692 691 1178 0 7831 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36052
[startup+1.50037 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 9477
/proc/meminfo: memFree=31411452/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=36052 CPUtime=1.49 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 8700 0 0 0 148 1 0 0 19 0 1 0 968985984 36917248 7692 33554432000 4194304 9016284 140733681892224 18446744073709551615 7220562 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9445/statm: 9013 7692 691 1178 0 7831 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36052
[startup+3.10105 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 9477
/proc/meminfo: memFree=31410708/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=36052 CPUtime=3.1 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 8702 0 0 0 308 2 0 0 25 0 1 0 968985984 36917248 7694 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9445/statm: 9013 7694 693 1178 0 7831 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 36052
[startup+6.30045 s]
/proc/loadavg: 2.08 2.02 1.98 3/178 9477
/proc/meminfo: memFree=31409736/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=36052 CPUtime=6.29 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 8702 0 0 0 624 5 0 0 25 0 1 0 968985984 36917248 7694 33554432000 4194304 9016284 140733681892224 18446744073709551615 7219008 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9445/statm: 9013 7694 693 1178 0 7831 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36052
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 1.98 3/178 9477
/proc/meminfo: memFree=31409476/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=36052 CPUtime=12.69 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 8702 0 0 0 1259 10 0 0 25 0 1 0 968985984 36917248 7694 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 9013 7694 693 1178 0 7831 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36052
[startup+25.5008 s]
/proc/loadavg: 2.06 2.01 1.98 3/178 9477
/proc/meminfo: memFree=31410408/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=36052 CPUtime=25.48 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 8702 0 0 0 2527 21 0 0 25 0 1 0 968985984 36917248 7694 33554432000 4194304 9016284 140733681892224 18446744073709551615 7217992 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 9013 7694 693 1178 0 7831 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36052
[startup+51.101 s]
/proc/loadavg: 2.10 2.03 1.99 3/178 9516
/proc/meminfo: memFree=31440284/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=36052 CPUtime=51.09 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 8951 0 0 0 5063 46 0 0 25 0 1 0 968985984 36917248 7932 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 9013 7932 693 1178 0 7831 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 36052
[startup+102.306 s]
/proc/loadavg: 2.04 2.02 1.99 3/178 9517
/proc/meminfo: memFree=31428668/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=40608 CPUtime=102.29 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 10014 0 0 0 10139 90 0 0 25 0 1 0 968985984 41582592 8995 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 10152 8995 693 1178 0 8970 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 40608
[startup+162.301 s]
/proc/loadavg: 2.01 2.02 1.99 3/178 9519
/proc/meminfo: memFree=31422480/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=42948 CPUtime=162.29 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 10652 0 0 0 16083 146 0 0 25 0 1 0 968985984 43978752 9633 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 10737 9633 693 1178 0 9555 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 42948
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 1.99 3/178 9521
/proc/meminfo: memFree=31415240/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=43244 CPUtime=222.29 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 10728 0 0 0 22030 199 0 0 25 0 1 0 968985984 44281856 9709 33554432000 4194304 9016284 140733681892224 18446744073709551615 7219194 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 10811 9709 693 1178 0 9629 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 43244
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 1.99 3/178 9522
/proc/meminfo: memFree=31408376/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=43832 CPUtime=282.29 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 10869 0 0 0 27975 254 0 0 25 0 1 0 968985984 44883968 9850 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 10958 9850 693 1178 0 9776 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 43832
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 9524
/proc/meminfo: memFree=31405600/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=46392 CPUtime=342.29 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 11381 0 0 0 33921 308 0 0 25 0 1 0 968985984 47505408 10362 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 11598 10362 693 1178 0 10416 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 46392
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 9525
/proc/meminfo: memFree=31402584/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=48360 CPUtime=402.29 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 11827 0 0 0 39862 367 0 0 25 0 1 0 968985984 49520640 10808 33554432000 4194304 9016284 140733681892224 18446744073709551615 7213589 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 12090 10808 693 1178 0 10908 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 48360
[startup+462.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 9527
/proc/meminfo: memFree=31400928/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=48732 CPUtime=462.29 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 11913 0 0 0 45813 416 0 0 25 0 1 0 968985984 49901568 10894 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 12183 10894 693 1178 0 11001 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 48732
[startup+522.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9529
/proc/meminfo: memFree=31398656/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=49612 CPUtime=522.3 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 12163 0 0 0 51760 470 0 0 25 0 1 0 968985984 50802688 11144 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 12403 11144 693 1178 0 11221 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 49612
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9530
/proc/meminfo: memFree=31396504/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=51476 CPUtime=582.3 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 12659 0 0 0 57705 525 0 0 25 0 1 0 968985984 52711424 11640 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 12869 11640 693 1178 0 11687 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 51476
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31382740/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=57964 CPUtime=1122.31 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 14207 0 0 0 111227 1004 0 0 25 0 1 0 968985984 59355136 13188 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 14491 13188 693 1178 0 13309 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 57964
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9548
/proc/meminfo: memFree=31379208/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=59352 CPUtime=1182.31 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 14634 0 0 0 117177 1054 0 0 25 0 1 0 968985984 60776448 13615 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 14838 13615 693 1178 0 13656 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 59352
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9551
/proc/meminfo: memFree=31373352/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=60064 CPUtime=1242.32 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 14787 0 0 0 123126 1106 0 0 25 0 1 0 968985984 61505536 13768 33554432000 4194304 9016284 140733681892224 18446744073709551615 7201198 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 15016 13768 693 1178 0 13834 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 60064
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9552
/proc/meminfo: memFree=31370204/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=61064 CPUtime=1302.33 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 14958 0 0 0 129070 1163 0 0 25 0 1 0 968985984 62529536 13939 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 15266 13939 693 1178 0 14084 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 61064
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9554
/proc/meminfo: memFree=31368688/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=62308 CPUtime=1362.32 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 15074 0 0 0 135018 1214 0 0 25 0 1 0 968985984 63803392 14055 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 15577 14055 693 1178 0 14395 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 62308
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9556
/proc/meminfo: memFree=31368156/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=62540 CPUtime=1422.33 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 15139 0 0 0 140966 1267 0 0 25 0 1 0 968985984 64040960 14120 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 15635 14120 693 1178 0 14453 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 62540
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9557
/proc/meminfo: memFree=31368100/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=62540 CPUtime=1482.32 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 15140 0 0 0 146911 1321 0 0 25 0 1 0 968985984 64040960 14121 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 15635 14121 693 1178 0 14453 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 62540
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9559
/proc/meminfo: memFree=31367800/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=62540 CPUtime=1542.33 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 15142 0 0 0 152860 1373 0 0 25 0 1 0 968985984 64040960 14123 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 15635 14123 693 1178 0 14453 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 62540
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 9560
/proc/meminfo: memFree=31367888/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=62540 CPUtime=1602.33 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 15166 0 0 0 158806 1427 0 0 25 0 1 0 968985984 64040960 14147 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 15635 14147 693 1178 0 14453 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 62540
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9562
/proc/meminfo: memFree=31367364/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=62712 CPUtime=1662.33 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 15189 0 0 0 164750 1483 0 0 25 0 1 0 968985984 64217088 14170 33554432000 4194304 9016284 140733681892224 18446744073709551615 7219829 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 15678 14170 693 1178 0 14496 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 62712
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 9564
/proc/meminfo: memFree=31366084/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=62712 CPUtime=1722.34 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 15195 0 0 0 170695 1539 0 0 25 0 1 0 968985984 64217088 14176 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 15678 14176 693 1178 0 14496 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 62712
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9565
/proc/meminfo: memFree=31359840/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=62712 CPUtime=1782.34 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 15195 0 0 0 176642 1592 0 0 25 0 1 0 968985984 64217088 14176 33554432000 4194304 9016284 140733681892224 18446744073709551615 7198975 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 15678 14176 693 1178 0 14496 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 62712
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9565
/proc/meminfo: memFree=31360204/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=62712 CPUtime=1785.54 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 15195 0 0 0 176959 1595 0 0 25 0 1 0 968985984 64217088 14176 33554432000 4194304 9016284 140733681892224 18446744073709551615 7219312 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 15678 14176 693 1178 0 14496 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 62712
[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9566
/proc/meminfo: memFree=31358960/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=62712 CPUtime=1791.94 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 15199 0 0 0 177592 1602 0 0 25 0 1 0 968985984 64217088 14180 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 15678 14180 693 1178 0 14496 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 62712
[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9566
/proc/meminfo: memFree=31358836/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=62712 CPUtime=1795.14 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 15201 0 0 0 177908 1606 0 0 25 0 1 0 968985984 64217088 14182 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 15678 14182 693 1178 0 14496 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 62712
[startup+1795.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9566
/proc/meminfo: memFree=31358836/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=62712 CPUtime=1795.93 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 15201 0 0 0 177987 1606 0 0 25 0 1 0 968985984 64217088 14182 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 15678 14182 693 1178 0 14496 0
Current children cumulated CPU time (s) 1795.93
Current children cumulated vsize (KiB) 62712
[startup+1796.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9566
/proc/meminfo: memFree=31358836/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=62712 CPUtime=1796.74 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 15201 0 0 0 178067 1607 0 0 25 0 1 0 968985984 64217088 14182 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 15678 14182 693 1178 0 14496 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 62712
[startup+1796.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9566
/proc/meminfo: memFree=31358836/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=62712 CPUtime=1796.93 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 15201 0 0 0 178086 1607 0 0 25 0 1 0 968985984 64217088 14182 33554432000 4194304 9016284 140733681892224 18446744073709551615 7200893 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 15678 14182 693 1178 0 14496 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (KiB) 62712
[startup+1797 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9566
/proc/meminfo: memFree=31358836/32950928 swapFree=67056212/67111528
[pid=9445] ppid=9443 vsize=62712 CPUtime=1797.03 cores=0,2,4,6
/proc/9445/stat : 9445 (scip-2.0.1.4b_2) R 9443 9445 9093 0 -1 4202496 15201 0 0 0 178096 1607 0 0 25 0 1 0 968985984 64217088 14182 33554432000 4194304 9016284 140733681892224 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9445/statm: 15678 14182 693 1178 0 14496 0
Current children cumulated CPU time (s) 1797.03
Current children cumulated vsize (KiB) 62712
Child status: 0
Real time (s): 1797.05
CPU time (s): 1797.1
CPU user time (s): 1781.01
CPU system time (s): 16.0816
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 62712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.01
system time used= 16.0816
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15209
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= 10
involuntary context switches= 4332
runsolver used 2.99354 second user time and 5.82211 second system time
The end