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-3489255-1307757093.opb>
0.00/0.02 c original problem has 1733 variables (1733 bin, 0 int, 0 impl, 0 cont) and 1256 constraints
0.00/0.02 c problem read
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.02 c presolving settings loaded
0.00/0.03 c presolving:
0.00/0.05 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1256 upgd conss, 0 impls, 68 clqs
0.00/0.06 c presolving (2 rounds):
0.00/0.06 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.06 c 0 implications, 68 cliques
0.00/0.06 c presolved problem has 1733 variables (1733 bin, 0 int, 0 impl, 0 cont) and 1256 constraints
0.00/0.06 c 68 constraints of type <setppc>
0.00/0.06 c 1188 constraints of type <logicor>
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 = 1797
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.09/0.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.10 c 0.1s| 1 | 0 | 469 | - |7469k| 0 | 184 |1733 |1256 |1733 |1256 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.36 c 0.4s| 1 | 0 | 1045 | - |8564k| 0 | 228 |1733 |1285 |1733 |1270 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.65 c 0.7s| 1 | 0 | 1999 | - |9735k| 0 | 330 |1733 |1285 |1733 |1288 | 32 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.74 c 0.7s| 1 | 0 | 2289 | - |9763k| 0 | 389 |1733 |1285 |1733 |1297 | 41 | 0 | 0 | 0.000000e+00 | -- | Inf
0.78/0.87 c 0.9s| 1 | 0 | 2820 | - |9844k| 0 | 401 |1733 |1285 |1733 |1312 | 56 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.04 c 1.0s| 1 | 0 | 3625 | - |9905k| 0 | 317 |1733 |1285 |1733 |1325 | 69 | 0 | 0 | 0.000000e+00 | -- | Inf
1.59/1.66 c 1.7s| 1 | 2 | 3625 | - |9906k| 0 | 317 |1733 |1285 |1733 |1325 | 69 | 0 | 27 | 0.000000e+00 | -- | Inf
35.49/35.59 c 35.6s| 10000 | 176 |118476 | 11.5 | 12M| 83 | - |1733 |2836 |1733 |1286 | 69 |8340 |2278 | 0.000000e+00 | -- | Inf
55.89/55.91 c 55.9s| 20000 | 212 |242919 | 12.0 | 13M| 87 | - |1733 |3956 |1733 |1286 | 69 | 18k|3028 | 0.000000e+00 | -- | Inf
75.59/75.63 c 75.6s| 30000 | 209 |372782 | 12.3 | 13M| 87 | - |1733 |4156 |1733 |1286 | 69 | 28k|3567 | 0.000000e+00 | -- | Inf
93.99/94.05 c 94.1s| 40000 | 193 |489064 | 12.1 | 14M| 87 | - |1733 |4171 |1733 |1286 | 69 | 40k|3759 | 0.000000e+00 | -- | Inf
111.19/111.28 c 111s| 50000 | 179 |591872 | 11.8 | 14M| 87 | - |1733 |4454 |1733 |1286 | 69 | 51k|3883 | 0.000000e+00 | -- | Inf
126.79/126.89 c 127s| 60000 | 179 |667525 | 11.1 | 15M| 87 | 33 |1733 |6085 |1733 |1286 | 69 | 66k|4173 | 0.000000e+00 | -- | Inf
145.99/146.03 c 146s| 70000 | 196 |779022 | 11.1 | 14M| 87 | 50 |1733 |4475 |1733 |1286 | 69 | 76k|4902 | 0.000000e+00 | -- | Inf
162.40/162.41 c 162s| 80000 | 206 |879952 | 11.0 | 15M| 89 | 36 |1733 |5276 |1733 |1286 | 69 | 78k|5269 | 0.000000e+00 | -- | Inf
177.50/177.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
177.50/177.55 c 178s| 90000 | 208 |966592 | 10.7 | 15M| 89 | 46 |1733 |5372 |1733 |1286 | 69 | 80k|5508 | 0.000000e+00 | -- | Inf
194.70/194.71 c 195s|100000 | 206 | 1060k| 10.6 | 16M| 89 | - |1733 |6324 |1733 |1286 | 69 | 89k|6088 | 0.000000e+00 | -- | Inf
211.90/211.94 c 212s|110000 | 222 | 1148k| 10.4 | 16M| 89 | 24 |1733 |6529 |1733 |1286 | 69 | 111k|6418 | 0.000000e+00 | -- | Inf
229.09/229.19 c 229s|120000 | 205 | 1240k| 10.3 | 17M| 89 | - |1733 |6847 |1733 |1286 | 69 | 133k|6668 | 0.000000e+00 | -- | Inf
246.20/246.25 c 246s|130000 | 202 | 1335k| 10.2 | 16M| 89 | - |1733 |5920 |1733 |1286 | 69 | 150k|6899 | 0.000000e+00 | -- | Inf
261.40/261.47 c 261s|140000 | 205 | 1414k| 10.1 | 16M| 89 | - |1733 |6368 |1733 |1286 | 69 | 158k|7107 | 0.000000e+00 | -- | Inf
276.80/276.86 c 277s|150000 | 212 | 1497k| 10.0 | 16M| 89 | - |1733 |6231 |1733 |1286 | 69 | 167k|7304 | 0.000000e+00 | -- | Inf
294.81/294.89 c 295s|160000 | 210 | 1591k| 9.9 | 15M| 89 | 52 |1733 |5183 |1733 |1286 | 69 | 177k|8152 | 0.000000e+00 | -- | Inf
311.30/311.39 c 311s|170000 | 218 | 1679k| 9.9 | 17M| 89 | 38 |1733 |7205 |1733 |1286 | 69 | 188k|8289 | 0.000000e+00 | -- | Inf
326.70/326.71 c 327s|180000 | 216 | 1757k| 9.7 | 16M| 89 | 24 |1733 |5646 |1733 |1286 | 69 | 196k|8505 | 0.000000e+00 | -- | Inf
343.40/343.47 c 343s|190000 | 200 | 1850k| 9.7 | 16M| 89 | - |1733 |5635 |1733 |1286 | 69 | 207k|8858 | 0.000000e+00 | -- | Inf
361.10/361.17 c 361s|200000 | 210 | 1955k| 9.8 | 16M| 89 | 51 |1733 |5528 |1733 |1286 | 69 | 215k|9249 | 0.000000e+00 | -- | Inf
378.60/378.66 c 379s|210000 | 198 | 2056k| 9.8 | 17M| 89 | - |1733 |6840 |1733 |1286 | 69 | 227k|9510 | 0.000000e+00 | -- | Inf
397.70/397.71 c 398s|220000 | 197 | 2170k| 9.8 | 15M| 89 | - |1733 |4905 |1733 |1286 | 69 | 243k|9934 | 0.000000e+00 | -- | Inf
417.41/417.40 c 417s|230000 | 201 | 2295k| 10.0 | 16M| 89 | - |1733 |6037 |1733 |1286 | 69 | 256k| 10k| 0.000000e+00 | -- | Inf
436.30/436.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
436.30/436.33 c 436s|240000 | 195 | 2412k| 10.0 | 16M| 89 | 52 |1733 |6301 |1733 |1286 | 69 | 266k| 10k| 0.000000e+00 | -- | Inf
454.41/454.46 c 454s|250000 | 205 | 2525k| 10.1 | 17M| 89 | 45 |1733 |6513 |1733 |1286 | 69 | 272k| 10k| 0.000000e+00 | -- | Inf
473.21/473.26 c 473s|260000 | 221 | 2649k| 10.2 | 18M| 91 | 35 |1733 |8124 |1733 |1286 | 69 | 279k| 11k| 0.000000e+00 | -- | Inf
491.71/491.79 c 492s|270000 | 213 | 2770k| 10.2 | 16M| 93 | - |1733 |5639 |1733 |1286 | 69 | 284k| 11k| 0.000000e+00 | -- | Inf
510.32/510.39 c 510s|280000 | 223 | 2895k| 10.3 | 17M| 93 | 49 |1733 |6913 |1733 |1286 | 69 | 290k| 11k| 0.000000e+00 | -- | Inf
529.01/529.05 c 529s|290000 | 230 | 3022k| 10.4 | 19M| 93 | - |1733 |9610 |1733 |1286 | 69 | 298k| 11k| 0.000000e+00 | -- | Inf
546.31/546.33 c 546s|300000 | 219 | 3132k| 10.4 | 20M| 93 | - |1733 | 10k|1733 |1286 | 69 | 303k| 12k| 0.000000e+00 | -- | Inf
564.80/564.89 c 565s|310000 | 207 | 3253k| 10.5 | 20M| 93 | 51 |1733 | 10k|1733 |1286 | 69 | 310k| 12k| 0.000000e+00 | -- | Inf
585.22/585.29 c 585s|320000 | 229 | 3384k| 10.6 | 25M| 93 | - |1733 | 16k|1733 |1286 | 69 | 321k| 12k| 0.000000e+00 | -- | Inf
606.50/606.57 c 607s|330000 | 200 | 3512k| 10.6 | 18M| 93 | - |1733 |7550 |1733 |1286 | 69 | 328k| 13k| 0.000000e+00 | -- | Inf
626.41/626.48 c 626s|340000 | 208 | 3631k| 10.7 | 17M| 93 | - |1733 |6743 |1733 |1286 | 69 | 336k| 14k| 0.000000e+00 | -- | Inf
641.61/641.67 c 642s|350000 | 211 | 3702k| 10.6 | 18M| 93 | - |1733 |6992 |1733 |1286 | 69 | 338k| 14k| 0.000000e+00 | -- | Inf
657.01/657.02 c 657s|360000 | 206 | 3780k| 10.5 | 18M| 93 | 35 |1733 |7159 |1733 |1286 | 69 | 344k| 14k| 0.000000e+00 | -- | Inf
671.01/671.04 c 671s|370000 | 208 | 3848k| 10.4 | 18M| 93 | - |1733 |7248 |1733 |1286 | 69 | 346k| 14k| 0.000000e+00 | -- | Inf
685.91/685.90 c 686s|380000 | 215 | 3926k| 10.3 | 18M| 93 | - |1733 |7892 |1733 |1286 | 69 | 354k| 14k| 0.000000e+00 | -- | Inf
701.41/701.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
701.41/701.48 c 701s|390000 | 201 | 4009k| 10.3 | 18M| 93 | - |1733 |7577 |1733 |1286 | 69 | 359k| 15k| 0.000000e+00 | -- | Inf
716.51/716.55 c 717s|400000 | 200 | 4084k| 10.2 | 19M| 93 | - |1733 |8623 |1733 |1286 | 69 | 366k| 15k| 0.000000e+00 | -- | Inf
731.92/731.91 c 732s|410000 | 211 | 4158k| 10.1 | 19M| 93 | - |1733 |8211 |1733 |1286 | 69 | 375k| 15k| 0.000000e+00 | -- | Inf
747.02/747.07 c 747s|420000 | 213 | 4235k| 10.1 | 19M| 93 | 31 |1733 |8577 |1733 |1286 | 69 | 382k| 15k| 0.000000e+00 | -- | Inf
761.41/761.45 c 761s|430000 | 208 | 4300k| 10.0 | 19M| 93 | 36 |1733 |8564 |1733 |1286 | 69 | 385k| 15k| 0.000000e+00 | -- | Inf
777.01/777.03 c 777s|440000 | 199 | 4382k| 10.0 | 19M| 93 | - |1733 |8559 |1733 |1286 | 69 | 391k| 15k| 0.000000e+00 | -- | Inf
791.02/791.01 c 791s|450000 | 205 | 4447k| 9.9 | 19M| 93 | 34 |1733 |8261 |1733 |1286 | 69 | 393k| 15k| 0.000000e+00 | -- | Inf
805.02/805.08 c 805s|460000 | 212 | 4514k| 9.8 | 19M| 93 | 30 |1733 |8567 |1733 |1286 | 69 | 397k| 15k| 0.000000e+00 | -- | Inf
818.31/818.40 c 818s|470000 | 213 | 4578k| 9.7 | 19M| 93 | 32 |1733 |8848 |1733 |1286 | 69 | 399k| 15k| 0.000000e+00 | -- | Inf
832.12/832.17 c 832s|480000 | 209 | 4643k| 9.7 | 20M| 93 | - |1733 |9266 |1733 |1286 | 69 | 403k| 16k| 0.000000e+00 | -- | Inf
848.82/848.87 c 849s|490000 | 215 | 4731k| 9.6 | 20M| 93 | 22 |1733 |9394 |1733 |1286 | 69 | 418k| 16k| 0.000000e+00 | -- | Inf
866.82/866.88 c 867s|500000 | 207 | 4832k| 9.7 | 19M| 93 | - |1733 |8762 |1733 |1286 | 69 | 435k| 16k| 0.000000e+00 | -- | Inf
883.22/883.24 c 883s|510000 | 204 | 4917k| 9.6 | 20M| 93 | 31 |1733 |9875 |1733 |1286 | 69 | 447k| 16k| 0.000000e+00 | -- | Inf
898.12/898.12 c 898s|520000 | 209 | 4990k| 9.6 | 20M| 93 | 36 |1733 |9419 |1733 |1286 | 69 | 454k| 16k| 0.000000e+00 | -- | Inf
914.52/914.55 c 915s|530000 | 211 | 5079k| 9.6 | 21M| 93 | - |1733 | 10k|1733 |1286 | 69 | 468k| 16k| 0.000000e+00 | -- | Inf
931.82/931.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
931.82/931.89 c 932s|540000 | 205 | 5173k| 9.6 | 20M| 93 | - |1733 |9415 |1733 |1286 | 69 | 484k| 16k| 0.000000e+00 | -- | Inf
947.12/947.16 c 947s|550000 | 205 | 5244k| 9.5 | 20M| 93 | - |1733 |9274 |1733 |1286 | 69 | 492k| 16k| 0.000000e+00 | -- | Inf
960.82/960.81 c 961s|560000 | 205 | 5298k| 9.5 | 20M| 93 | - |1733 |9946 |1733 |1286 | 69 | 496k| 17k| 0.000000e+00 | -- | Inf
977.12/977.15 c 977s|570000 | 206 | 5385k| 9.4 | 20M| 93 | - |1733 |9480 |1733 |1286 | 69 | 505k| 17k| 0.000000e+00 | -- | Inf
991.42/991.41 c 991s|580000 | 211 | 5453k| 9.4 | 20M| 93 | - |1733 |9597 |1733 |1286 | 69 | 513k| 17k| 0.000000e+00 | -- | Inf
1005.22/1005.24 c 1005s|590000 | 209 | 5514k| 9.3 | 20M| 93 | - |1733 |9843 |1733 |1286 | 69 | 516k| 17k| 0.000000e+00 | -- | Inf
1018.73/1018.71 c 1019s|600000 | 214 | 5574k| 9.3 | 21M| 93 | - |1733 | 10k| 0 | 0 | 69 | 523k| 17k| 0.000000e+00 | -- | Inf
1033.12/1033.17 c 1033s|610000 | 215 | 5647k| 9.3 | 20M| 93 | 31 |1733 |9544 |1733 |1286 | 69 | 532k| 17k| 0.000000e+00 | -- | Inf
1047.63/1047.66 c 1048s|620000 | 216 | 5718k| 9.2 | 20M| 93 | - |1733 | 10k|1733 |1286 | 69 | 539k| 17k| 0.000000e+00 | -- | Inf
1062.13/1062.13 c 1062s|630000 | 211 | 5786k| 9.2 | 20M| 93 | - |1733 |9519 |1733 |1286 | 69 | 543k| 17k| 0.000000e+00 | -- | Inf
1076.72/1076.77 c 1077s|640000 | 210 | 5856k| 9.1 | 20M| 93 | 34 |1733 |9554 |1733 |1286 | 69 | 549k| 17k| 0.000000e+00 | -- | Inf
1091.93/1091.97 c 1092s|650000 | 209 | 5927k| 9.1 | 21M| 93 | - |1733 | 10k|1733 |1286 | 69 | 557k| 17k| 0.000000e+00 | -- | Inf
1106.42/1106.48 c 1106s|660000 | 216 | 5989k| 9.1 | 21M| 93 | - |1733 | 10k|1733 |1286 | 69 | 561k| 17k| 0.000000e+00 | -- | Inf
1119.52/1119.53 c 1120s|670000 | 216 | 6036k| 9.0 | 20M| 93 | - |1733 |9946 |1733 |1286 | 69 | 563k| 17k| 0.000000e+00 | -- | Inf
1132.72/1132.79 c 1133s|680000 | 214 | 6088k| 8.9 | 21M| 93 | 40 |1733 | 10k|1733 |1286 | 69 | 564k| 17k| 0.000000e+00 | -- | Inf
1147.52/1147.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1147.52/1147.55 c 1148s|690000 | 208 | 6153k| 8.9 | 21M| 93 | - |1733 | 10k|1733 |1286 | 69 | 572k| 17k| 0.000000e+00 | -- | Inf
1161.63/1161.61 c 1162s|700000 | 211 | 6217k| 8.9 | 21M| 93 | 39 |1733 | 10k|1733 |1286 | 69 | 575k| 18k| 0.000000e+00 | -- | Inf
1175.22/1175.28 c 1175s|710000 | 214 | 6280k| 8.8 | 20M| 93 | 21 |1733 |9957 |1733 |1286 | 69 | 577k| 18k| 0.000000e+00 | -- | Inf
1188.43/1188.44 c 1188s|720000 | 216 | 6334k| 8.8 | 21M| 93 | 23 |1733 | 10k|1733 |1286 | 69 | 578k| 18k| 0.000000e+00 | -- | Inf
1202.12/1202.11 c 1202s|730000 | 216 | 6390k| 8.7 | 21M| 93 | - |1733 | 10k|1733 |1286 | 69 | 582k| 18k| 0.000000e+00 | -- | Inf
1216.23/1216.20 c 1216s|740000 | 219 | 6460k| 8.7 | 20M| 93 | 36 |1733 | 10k|1733 |1286 | 69 | 584k| 18k| 0.000000e+00 | -- | Inf
1230.13/1230.15 c 1230s|750000 | 215 | 6525k| 8.7 | 21M| 93 | - |1733 | 10k|1733 |1286 | 69 | 587k| 18k| 0.000000e+00 | -- | Inf
1245.13/1245.15 c 1245s|760000 | 208 | 6602k| 8.7 | 20M| 93 | - |1733 | 10k|1733 |1286 | 69 | 592k| 18k| 0.000000e+00 | -- | Inf
1259.13/1259.13 c 1259s|770000 | 212 | 6664k| 8.7 | 21M| 93 | 43 |1733 | 10k|1733 |1286 | 69 | 595k| 18k| 0.000000e+00 | -- | Inf
1272.63/1272.63 c 1273s|780000 | 211 | 6720k| 8.6 | 20M| 93 | - |1733 |9887 |1733 |1286 | 69 | 596k| 18k| 0.000000e+00 | -- | Inf
1287.43/1287.45 c 1287s|790000 | 216 | 6791k| 8.6 | 20M| 93 | 34 |1733 |9992 |1733 |1286 | 69 | 602k| 18k| 0.000000e+00 | -- | Inf
1301.83/1301.80 c 1302s|800000 | 208 | 6863k| 8.6 | 21M| 93 | - |1733 | 10k|1733 |1286 | 69 | 609k| 18k| 0.000000e+00 | -- | Inf
1316.64/1316.67 c 1317s|810000 | 207 | 6939k| 8.6 | 21M| 93 | - |1733 | 10k|1733 |1286 | 69 | 613k| 18k| 0.000000e+00 | -- | Inf
1331.43/1331.48 c 1331s|820000 | 207 | 7009k| 8.5 | 21M| 93 | 46 |1733 | 10k|1733 |1286 | 69 | 619k| 19k| 0.000000e+00 | -- | Inf
1347.63/1347.61 c 1348s|830000 | 206 | 7075k| 8.5 | 20M| 93 | 27 |1733 |9579 |1733 |1286 | 69 | 620k| 20k| 0.000000e+00 | -- | Inf
1361.84/1361.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1361.84/1361.88 c 1362s|840000 | 199 | 7144k| 8.5 | 20M| 93 | - |1733 |9413 |1733 |1286 | 69 | 622k| 20k| 0.000000e+00 | -- | Inf
1385.43/1385.49 c 1385s|850000 | 181 | 7265k| 8.5 | 18M| 93 | 59 |1733 |6779 |1733 |1286 | 69 | 629k| 22k| 0.000000e+00 | -- | Inf
1406.13/1406.10 c 1406s|860000 | 188 | 7408k| 8.6 | 19M| 93 | - |1733 |8766 |1733 |1286 | 69 | 637k| 22k| 0.000000e+00 | -- | Inf
1422.64/1422.62 c 1423s|870000 | 187 | 7504k| 8.6 | 19M| 93 | - |1733 |8080 |1733 |1286 | 69 | 644k| 22k| 0.000000e+00 | -- | Inf
1441.63/1441.67 c 1442s|880000 | 192 | 7630k| 8.7 | 20M| 93 | 52 |1733 |9259 |1733 |1286 | 69 | 653k| 23k| 0.000000e+00 | -- | Inf
1462.14/1462.11 c 1462s|890000 | 203 | 7765k| 8.7 | 21M| 93 | 52 |1733 | 10k|1733 |1286 | 69 | 665k| 23k| 0.000000e+00 | -- | Inf
1482.13/1482.14 c 1482s|900000 | 220 | 7890k| 8.8 | 20M| 93 | 59 |1733 |9246 |1733 |1286 | 69 | 678k| 23k| 0.000000e+00 | -- | Inf
1500.63/1500.64 c 1501s|910000 | 225 | 8005k| 8.8 | 18M| 93 | - |1733 |5910 |1733 |1286 | 69 | 683k| 23k| 0.000000e+00 | -- | Inf
1519.25/1519.25 c 1519s|920000 | 233 | 8124k| 8.8 | 20M| 93 | - |1733 |9522 |1733 |1286 | 69 | 691k| 23k| 0.000000e+00 | -- | Inf
1536.74/1536.77 c 1537s|930000 | 223 | 8230k| 8.8 | 19M| 93 | 59 |1733 |7333 |1733 |1286 | 69 | 694k| 24k| 0.000000e+00 | -- | Inf
1555.84/1555.82 c 1556s|940000 | 220 | 8360k| 8.9 | 18M| 93 | - |1733 |6687 |1733 |1286 | 69 | 701k| 24k| 0.000000e+00 | -- | Inf
1574.64/1574.60 c 1575s|950000 | 196 | 8478k| 8.9 | 18M| 93 | - |1733 |5984 |1733 |1286 | 69 | 708k| 24k| 0.000000e+00 | -- | Inf
1592.54/1592.54 c 1593s|960000 | 192 | 8587k| 8.9 | 20M| 93 | 59 |1733 |8411 |1733 |1286 | 69 | 716k| 24k| 0.000000e+00 | -- | Inf
1611.74/1611.78 c 1612s|970000 | 212 | 8703k| 9.0 | 20M| 93 | - |1733 |9531 |1733 |1286 | 69 | 728k| 24k| 0.000000e+00 | -- | Inf
1630.64/1630.69 c 1631s|980000 | 206 | 8818k| 9.0 | 20M| 93 | - |1733 |9172 |1733 |1286 | 69 | 737k| 24k| 0.000000e+00 | -- | Inf
1651.84/1651.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1651.84/1651.86 c 1652s|990000 | 209 | 8953k| 9.0 | 18M| 93 | - |1733 |6984 |1733 |1286 | 69 | 750k| 25k| 0.000000e+00 | -- | Inf
1671.94/1671.92 c 1672s| 1000k| 218 | 9084k| 9.1 | 19M| 93 | - |1733 |7325 |1733 |1286 | 69 | 760k| 25k| 0.000000e+00 | -- | Inf
1691.44/1691.42 c 1691s| 1010k| 263 | 9214k| 9.1 | 18M| 93 | - |1733 |5871 |1733 |1286 | 69 | 767k| 25k| 0.000000e+00 | -- | Inf
1712.04/1712.03 c 1712s| 1020k| 246 | 9354k| 9.2 | 19M| 93 | - |1733 |8228 |1733 |1286 | 69 | 779k| 25k| 0.000000e+00 | -- | Inf
1732.84/1732.84 c 1733s| 1030k| 250 | 9493k| 9.2 | 18M| 93 | 74 |1733 |5955 |1733 |1286 | 69 | 791k| 26k| 0.000000e+00 | -- | Inf
1755.65/1755.63 c 1756s| 1040k| 246 | 9623k| 9.2 | 18M| 93 | - |1733 |6789 |1733 |1286 | 69 | 800k| 27k| 0.000000e+00 | -- | Inf
1777.15/1777.13 c 1777s| 1050k| 273 | 9762k| 9.3 | 19M| 93 | 63 |1733 |7578 |1733 |1286 | 69 | 812k| 27k| 0.000000e+00 | -- | Inf
1797.05/1797.00 c
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Solving Time (sec) : 1797.00
1797.05/1797.00 c Solving Nodes : 1059539
1797.05/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.05/1797.00 c Dual Bound : +0.00000000000000e+00
1797.05/1797.00 c Gap : infinite
1797.05/1797.00 s UNKNOWN
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Total Time : 1797.00
1797.05/1797.00 c solving : 1797.00
1797.05/1797.00 c presolving : 0.04 (included in solving)
1797.05/1797.00 c reading : 0.02 (included in solving)
1797.05/1797.00 c Original Problem :
1797.05/1797.00 c Problem name : HOME/instance-3489255-1307757093.opb
1797.05/1797.00 c Variables : 1733 (1733 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 1256 initial, 1256 maximal
1797.05/1797.00 c Presolved Problem :
1797.05/1797.00 c Problem name : t_HOME/instance-3489255-1307757093.opb
1797.05/1797.00 c Variables : 1733 (1733 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 1256 initial, 16988 maximal
1797.05/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c logicor : 0.02 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c root node : - 0 - - 0 - - - - -
1797.05/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c integral : 0 0 0 533674 0 1 0 106 1734 0 0 1064162
1797.05/1797.00 c setppc : 68 5 2376123 0 1 0 29133357 11607 11514922 0 0 0
1797.05/1797.00 c linear : 0+ 5 115 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c logicor : 1188+ 5 1324474 0 1 0 449586 3730 9577140 0 0 0
1797.05/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.05/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.00 c integral : 80.12 0.00 0.00 80.12 0.00 0.00 0.00
1797.05/1797.00 c setppc : 19.67 0.00 12.57 0.00 0.00 0.00 7.09
1797.05/1797.00 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.00 c logicor : 64.30 0.00 63.41 0.00 0.00 0.00 0.90
1797.05/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.00 c vbounds : 0 0 0 0
1797.05/1797.00 c rootredcost : 0 0 0 0
1797.05/1797.00 c pseudoobj : 0 0 0 0
1797.05/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.00 c vbounds : 0.37 0.37 0.00
1797.05/1797.00 c rootredcost : 0.39 0.39 0.00
1797.05/1797.00 c pseudoobj : 0.26 0.26 0.00
1797.05/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.00 c propagation : 2.41 15337 15313 255338 94.4 100 83.1 -
1797.05/1797.00 c infeasible LP : 256.97 515274 95547 3257859 197.8 329 66.7 0
1797.05/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.00 c applied globally : - - - 820660 91.5 - - -
1797.05/1797.00 c applied locally : - - - 3 324.3 - - -
1797.05/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.00 c cut pool : 0.00 4 - - 1 - (maximal pool size: 213)
1797.05/1797.00 c redcost : 13.38 532278 0 0 0 0
1797.05/1797.00 c impliedbounds : 0.00 5 0 0 0 0
1797.05/1797.00 c intobj : 0.00 0 0 0 0 0
1797.05/1797.00 c gomory : 0.15 5 0 0 2217 0
1797.05/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.00 c strongcg : 0.27 5 0 0 2218 0
1797.05/1797.00 c cmir : 0.00 0 0 0 0 0
1797.05/1797.00 c flowcover : 0.00 0 0 0 0 0
1797.05/1797.00 c clique : 0.01 5 0 0 0 0
1797.05/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.00 c mcf : 0.00 1 0 0 0 0
1797.05/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.00 c rapidlearning : 0.05 1 0 0 0 29
1797.05/1797.00 c Pricers : Time Calls Vars
1797.05/1797.00 c problem variables: 0.00 0 0
1797.05/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c relpscost : 79.78 533674 106 1734 0 0 1064162
1797.05/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.05/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c random : 0.00 0 0 0 0 0 0
1797.05/1797.00 c Primal Heuristics : Time Calls Found
1797.05/1797.00 c LP solutions : 0.00 - 0
1797.05/1797.00 c pseudo solutions : 0.00 - 0
1797.05/1797.00 c trivial : 0.00 1 0
1797.05/1797.00 c shiftandpropagate: 0.00 0 0
1797.05/1797.00 c simplerounding : 0.00 0 0
1797.05/1797.00 c zirounding : 0.00 0 0
1797.05/1797.00 c rounding : 0.00 0 0
1797.05/1797.00 c shifting : 0.00 0 0
1797.05/1797.00 c intshifting : 0.00 0 0
1797.05/1797.00 c oneopt : 0.00 0 0
1797.05/1797.00 c twoopt : 0.00 0 0
1797.05/1797.00 c fixandinfer : 0.00 0 0
1797.05/1797.00 c feaspump : 0.00 0 0
1797.05/1797.00 c clique : 0.00 0 0
1797.05/1797.00 c coefdiving : 0.00 0 0
1797.05/1797.00 c pscostdiving : 0.00 0 0
1797.05/1797.00 c fracdiving : 0.00 0 0
1797.05/1797.00 c veclendiving : 0.00 0 0
1797.05/1797.00 c intdiving : 0.00 0 0
1797.05/1797.00 c actconsdiving : 0.00 0 0
1797.05/1797.00 c objpscostdiving : 0.00 0 0
1797.05/1797.00 c rootsoldiving : 0.00 0 0
1797.05/1797.00 c linesearchdiving : 0.00 0 0
1797.05/1797.00 c guideddiving : 0.00 0 0
1797.05/1797.00 c octane : 0.00 0 0
1797.05/1797.00 c rens : 0.00 0 0
1797.05/1797.00 c rins : 0.00 0 0
1797.05/1797.00 c localbranching : 0.00 0 0
1797.05/1797.00 c mutation : 0.00 0 0
1797.05/1797.00 c crossover : 0.00 0 0
1797.05/1797.00 c dins : 0.00 0 0
1797.05/1797.00 c vbounds : 0.00 0 0
1797.05/1797.00 c undercover : 0.00 0 0
1797.05/1797.00 c subnlp : 0.00 0 0
1797.05/1797.00 c trysol : 0.00 0 0
1797.05/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.05/1797.00 c dual LP : 1108.41 1043049 9900615 9.49 8932.24
1797.05/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.00 c diving/probing LP: 0.00 0 0 0.00 -
1797.05/1797.00 c strong branching : 71.46 27667 505233 18.26 7070.63
1797.05/1797.00 c (at root node) : - 27 4577 169.52 -
1797.05/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.00 c B&B Tree :
1797.05/1797.00 c number of runs : 1
1797.05/1797.00 c nodes : 1059539
1797.05/1797.00 c nodes (total) : 1059539
1797.05/1797.00 c nodes left : 293
1797.05/1797.00 c max depth : 93
1797.05/1797.00 c max depth (total): 93
1797.05/1797.00 c backtracks : 201941 (19.1%)
1797.05/1797.00 c delayed cutoffs : 4333
1797.05/1797.00 c repropagations : 234952 (1345449 domain reductions, 3260 cutoffs)
1797.05/1797.00 c avg switch length: 3.05
1797.05/1797.00 c switching time : 80.61
1797.05/1797.00 c Solution :
1797.05/1797.00 c Solutions found : 0 (0 improvements)
1797.05/1797.00 c Primal Bound : -
1797.05/1797.00 c Dual Bound : +0.00000000000000e+00
1797.05/1797.00 c Gap : infinite
1797.05/1797.00 c Root Dual Bound : +0.00000000000000e+00
1797.05/1797.00 c Root Iterations : 3625
1797.05/1797.02 c Time complete: 1797.07.
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-3489255-1307757093/watcher-3489255-1307757093 -o /tmp/evaluation-result-3489255-1307757093/solver-3489255-1307757093 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489255-1307757093.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.95 3/177 17713
/proc/meminfo: memFree=26175536/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=11972 CPUtime=0 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 2097 0 0 0 0 0 0 0 25 0 1 0 887309762 12259328 2052 33554432000 4194304 9016284 140736374980256 18446744073709551615 7870589 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17713/statm: 3007 2060 342 1178 0 1825 0
[startup+0.086442 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 17713
/proc/meminfo: memFree=26175536/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=32784 CPUtime=0.07 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 7319 0 0 0 7 0 0 0 18 0 1 0 887309762 33570816 6982 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 8196 6982 602 1178 0 7014 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 32784
[startup+0.100434 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 17713
/proc/meminfo: memFree=26175536/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=32784 CPUtime=0.09 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 7319 0 0 0 9 0 0 0 18 0 1 0 887309762 33570816 6982 33554432000 4194304 9016284 140736374980256 18446744073709551615 7214005 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 8196 6982 602 1178 0 7014 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32784
[startup+0.300405 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 17713
/proc/meminfo: memFree=26175536/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=56000 CPUtime=0.29 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 13827 0 0 0 28 1 0 0 18 0 1 0 887309762 57344000 12663 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 14000 12663 671 1178 0 12818 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56000
[startup+0.700332 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 17713
/proc/meminfo: memFree=26175536/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=56000 CPUtime=0.69 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 14103 0 0 0 68 1 0 0 18 0 1 0 887309762 57344000 12926 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 14000 12926 659 1178 0 12818 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56000
[startup+1.50015 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 17714
/proc/meminfo: memFree=26126324/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=56000 CPUtime=1.49 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 14104 0 0 0 147 2 0 0 19 0 1 0 887309762 57344000 12927 33554432000 4194304 9016284 140736374980256 18446744073709551615 7219736 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 14000 12927 660 1178 0 12818 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56000
[startup+3.10089 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 17714
/proc/meminfo: memFree=26125952/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=56000 CPUtime=3.09 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 14108 0 0 0 306 3 0 0 25 0 1 0 887309762 57344000 12931 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 14000 12931 664 1178 0 12818 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56000
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 17714
/proc/meminfo: memFree=26125704/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=56000 CPUtime=6.29 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 14108 0 0 0 623 6 0 0 25 0 1 0 887309762 57344000 12931 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 14000 12931 664 1178 0 12818 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56000
[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 17714
/proc/meminfo: memFree=26126016/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=56000 CPUtime=12.69 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 14108 0 0 0 1257 12 0 0 25 0 1 0 887309762 57344000 12931 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 14000 12931 664 1178 0 12818 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56000
[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 17715
/proc/meminfo: memFree=26126148/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=56000 CPUtime=25.49 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 14189 0 0 0 2526 23 0 0 25 0 1 0 887309762 57344000 13012 33554432000 4194304 9016284 140736374980256 18446744073709551615 4887840 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 14000 13012 666 1178 0 12818 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56000
[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 17715
/proc/meminfo: memFree=26126280/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=56000 CPUtime=51.09 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 14189 0 0 0 5064 45 0 0 25 0 1 0 887309762 57344000 13012 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 14000 13012 666 1178 0 12818 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 56000
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 17717
/proc/meminfo: memFree=26182964/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=57884 CPUtime=102.3 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 14649 0 0 0 10142 88 0 0 25 0 1 0 887309762 59273216 13467 33554432000 4194304 9016284 140736374980256 18446744073709551615 6524027 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 14471 13467 666 1178 0 13289 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 57884
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 17718
/proc/meminfo: memFree=26209944/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=60284 CPUtime=162.3 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 15246 0 0 0 16093 137 0 0 25 0 1 0 887309762 61730816 14061 33554432000 4194304 9016284 140736374980256 18446744073709551615 6524077 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 15071 14061 666 1178 0 13889 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 60284
[startup+222.301 s]
/proc/loadavg: 2.06 2.01 1.96 3/178 17720
/proc/meminfo: memFree=26205052/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=64108 CPUtime=222.3 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 16226 0 0 0 22046 184 0 0 25 0 1 0 887309762 65646592 15041 33554432000 4194304 9016284 140736374980256 18446744073709551615 6422838 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 16027 15041 666 1178 0 14845 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 64108
[startup+282.301 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 17761
/proc/meminfo: memFree=31909020/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=64696 CPUtime=282.3 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 16365 0 0 0 28001 229 0 0 25 0 1 0 887309762 66248704 15180 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 16174 15180 666 1178 0 14992 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 64696
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 17762
/proc/meminfo: memFree=31907592/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=65300 CPUtime=342.3 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 16510 0 0 0 33954 276 0 0 25 0 1 0 887309762 66867200 15325 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 16325 15325 666 1178 0 15143 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 65300
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 17764
/proc/meminfo: memFree=31907412/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=65632 CPUtime=402.31 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 16610 0 0 0 39903 328 0 0 25 0 1 0 887309762 67207168 15425 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 16408 15425 666 1178 0 15226 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 65632
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 17765
/proc/meminfo: memFree=31906336/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=66060 CPUtime=462.31 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 16704 0 0 0 45852 379 0 0 25 0 1 0 887309762 67645440 15519 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 16515 15519 666 1178 0 15333 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 66060
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 17767
/proc/meminfo: memFree=31906156/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=66060 CPUtime=522.31 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 16723 0 0 0 51798 433 0 0 25 0 1 0 887309762 67645440 15538 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 16515 15538 666 1178 0 15333 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 66060
[startup+582.301 s]
/proc/loadavg: 2.08 2.02 1.96 3/178 17778
/proc/meminfo: memFree=31902184/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=70164 CPUtime=582.31 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 17725 0 0 0 57752 479 0 0 25 0 1 0 887309762 71847936 16540 33554432000 4194304 9016284 140736374980256 18446744073709551615 4599280 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 17541 16540 666 1178 0 16359 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 70164
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31894400/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=76240 CPUtime=1062.33 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 19254 0 0 0 105384 849 0 0 25 0 1 0 887309762 78069760 18064 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 19060 18064 666 1178 0 17878 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 76240
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18261
/proc/meminfo: memFree=31894568/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=76380 CPUtime=1122.32 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 19282 0 0 0 111341 891 0 0 25 0 1 0 887309762 78213120 18092 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 19095 18092 666 1178 0 17913 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 76380
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18263
/proc/meminfo: memFree=31894248/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=76380 CPUtime=1182.32 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 19292 0 0 0 117297 935 0 0 25 0 1 0 887309762 78213120 18102 33554432000 4194304 9016284 140736374980256 18446744073709551615 6422932 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 19095 18102 666 1178 0 17913 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 76380
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18264
/proc/meminfo: memFree=31893908/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=76380 CPUtime=1242.32 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 19295 0 0 0 123255 977 0 0 25 0 1 0 887309762 78213120 18105 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 19095 18105 666 1178 0 17913 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 76380
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18266
/proc/meminfo: memFree=31893720/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=76516 CPUtime=1302.33 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 19306 0 0 0 129211 1022 0 0 25 0 1 0 887309762 78352384 18116 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 19129 18116 666 1178 0 17947 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 76516
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18267
/proc/meminfo: memFree=31893264/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=76652 CPUtime=1362.33 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 19369 0 0 0 135166 1067 0 0 25 0 1 0 887309762 78491648 18179 33554432000 4194304 9016284 140736374980256 18446744073709551615 4291275 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 19163 18179 666 1178 0 17981 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 76652
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18269
/proc/meminfo: memFree=31893048/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=76932 CPUtime=1422.34 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 19428 0 0 0 141115 1119 0 0 25 0 1 0 887309762 78778368 18238 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 19233 18238 666 1178 0 18051 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 76932
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18271
/proc/meminfo: memFree=31891252/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=78556 CPUtime=1482.34 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 19835 0 0 0 147065 1169 0 0 25 0 1 0 887309762 80441344 18645 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 19639 18645 666 1178 0 18457 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 78556
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18272
/proc/meminfo: memFree=31890820/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=78848 CPUtime=1542.34 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 19896 0 0 0 153015 1219 0 0 25 0 1 0 887309762 80740352 18706 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 19712 18706 666 1178 0 18530 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 78848
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18274
/proc/meminfo: memFree=31890124/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=79136 CPUtime=1602.34 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 19974 0 0 0 158967 1267 0 0 25 0 1 0 887309762 81035264 18784 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 19784 18784 666 1178 0 18602 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 79136
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18275
/proc/meminfo: memFree=31888932/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=80424 CPUtime=1662.35 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 20305 0 0 0 164916 1319 0 0 25 0 1 0 887309762 82354176 19115 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 20106 19115 666 1178 0 18924 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 80424
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18277
/proc/meminfo: memFree=31888732/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=80556 CPUtime=1722.35 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 20321 0 0 0 170862 1373 0 0 25 0 1 0 887309762 82489344 19131 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 20139 19131 666 1178 0 18957 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 80556
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18279
/proc/meminfo: memFree=31888052/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=80988 CPUtime=1782.34 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 20423 0 0 0 176813 1421 0 0 25 0 1 0 887309762 82931712 19233 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 20247 19233 666 1178 0 19065 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 80988
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18279
/proc/meminfo: memFree=31887924/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=80988 CPUtime=1785.64 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 20423 0 0 0 177140 1424 0 0 25 0 1 0 887309762 82931712 19233 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 20247 19233 666 1178 0 19065 0
Current children cumulated CPU time (s) 1785.64
Current children cumulated vsize (KiB) 80988
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18279
/proc/meminfo: memFree=31887916/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=80988 CPUtime=1792.05 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 20424 0 0 0 177774 1431 0 0 25 0 1 0 887309762 82931712 19234 33554432000 4194304 9016284 140736374980256 18446744073709551615 7082034 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 20247 19234 666 1178 0 19065 0
Current children cumulated CPU time (s) 1792.05
Current children cumulated vsize (KiB) 80988
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18279
/proc/meminfo: memFree=31887912/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=80988 CPUtime=1795.25 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 20424 0 0 0 178091 1434 0 0 25 0 1 0 887309762 82931712 19234 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 20247 19234 666 1178 0 19065 0
Current children cumulated CPU time (s) 1795.25
Current children cumulated vsize (KiB) 80988
[startup+1796 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18279
/proc/meminfo: memFree=31887912/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=80988 CPUtime=1796.04 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 20424 0 0 0 178170 1434 0 0 25 0 1 0 887309762 82931712 19234 33554432000 4194304 9016284 140736374980256 18446744073709551615 4347574 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 20247 19234 666 1178 0 19065 0
Current children cumulated CPU time (s) 1796.04
Current children cumulated vsize (KiB) 80988
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18279
/proc/meminfo: memFree=31888032/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=80988 CPUtime=1796.84 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 20424 0 0 0 178249 1435 0 0 25 0 1 0 887309762 82931712 19234 33554432000 4194304 9016284 140736374980256 18446744073709551615 6422980 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 20247 19234 666 1178 0 19065 0
Current children cumulated CPU time (s) 1796.84
Current children cumulated vsize (KiB) 80988
[startup+1797 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 18279
/proc/meminfo: memFree=31888032/32951124 swapFree=67052968/67111528
[pid=17713] ppid=17711 vsize=80988 CPUtime=1797.05 cores=0,2,4,6
/proc/17713/stat : 17713 (scip-2.0.1.4b_2) R 17711 17713 16623 0 -1 4202496 20425 0 0 0 178269 1436 0 0 25 0 1 0 887309762 82931712 19235 33554432000 4194304 9016284 140736374980256 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17713/statm: 20247 19235 667 1178 0 19065 0
Current children cumulated CPU time (s) 1797.05
Current children cumulated vsize (KiB) 80988
Child status: 0
Real time (s): 1797.03
CPU time (s): 1797.08
CPU user time (s): 1782.72
CPU system time (s): 14.3668
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 80988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.72
system time used= 14.3668
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20432
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 4104
runsolver used 2.66959 second user time and 5.54316 second system time
The end