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-3489297-1307757307.opb>
0.00/0.01 c original problem has 1350 variables (1350 bin, 0 int, 0 impl, 0 cont) and 990 constraints
0.00/0.01 c problem read
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.04 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 990 upgd conss, 0 impls, 60 clqs
0.00/0.05 c presolving (2 rounds):
0.00/0.05 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.05 c 0 implications, 60 cliques
0.00/0.05 c presolved problem has 1350 variables (1350 bin, 0 int, 0 impl, 0 cont) and 990 constraints
0.00/0.05 c 60 constraints of type <setppc>
0.00/0.05 c 930 constraints of type <logicor>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.03
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.06/0.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.06/0.09 c 0.1s| 1 | 0 | 635 | - |5828k| 0 | 136 |1350 | 990 |1350 | 990 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.29 c 0.3s| 1 | 0 | 787 | - |6832k| 0 | 146 |1350 |1028 |1350 |1000 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.44 c 0.4s| 1 | 0 | 1042 | - |7586k| 0 | 171 |1350 |1028 |1350 |1015 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.65 c 0.6s| 1 | 0 | 1186 | - |8841k| 0 | 174 |1350 |1028 |1350 |1022 | 32 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.85 c 0.8s| 1 | 0 | 1491 | - | 10M| 0 | 262 |1350 |1028 |1350 |1032 | 42 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.05 c 1.1s| 1 | 0 | 1830 | - | 11M| 0 | 208 |1350 |1028 |1350 |1045 | 55 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.14 c 1.1s| 1 | 2 | 1830 | - | 11M| 0 | 208 |1350 |1028 |1350 |1045 | 55 | 0 | 17 | 0.000000e+00 | -- | Inf
20.09/20.16 c 20.2s| 10000 | 134 | 49573 | 4.8 | 14M| 67 | 38 |1350 |4777 |1350 |1014 | 55 | 16k|2769 | 0.000000e+00 | -- | Inf
29.79/29.88 c 29.9s| 20000 | 141 | 91131 | 4.5 | 15M| 71 | 30 |1350 |6956 |1350 |1014 | 55 | 32k|2937 | 0.000000e+00 | -- | Inf
39.99/40.06 c 40.1s| 30000 | 139 |134903 | 4.4 | 17M| 71 | - |1350 |9080 | 0 | 0 | 55 | 47k|3051 | 0.000000e+00 | -- | Inf
49.60/49.62 c 49.6s| 40000 | 142 |166293 | 4.1 | 18M| 71 | 32 |1350 | 10k|1350 |1014 | 55 | 62k|3113 | 0.000000e+00 | -- | Inf
60.40/60.46 c 60.5s| 50000 | 147 |207597 | 4.1 | 19M| 77 | - |1350 | 13k| 0 | 0 | 55 | 78k|3138 | 0.000000e+00 | -- | Inf
73.09/73.17 c 73.2s| 60000 | 144 |264777 | 4.4 | 21M| 77 | 38 |1350 | 16k|1350 |1014 | 55 | 93k|3157 | 0.000000e+00 | -- | Inf
85.99/86.08 c 86.1s| 70000 | 151 |318453 | 4.5 | 18M| 78 | 36 |1350 | 11k|1350 |1014 | 55 | 107k|3575 | 0.000000e+00 | -- | Inf
97.90/97.98 c 98.0s| 80000 | 163 |377801 | 4.7 | 19M| 78 | - |1350 | 12k| 0 | 0 | 55 | 121k|3748 | 0.000000e+00 | -- | Inf
110.20/110.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.20/110.26 c 110s| 90000 | 169 |431018 | 4.8 | 20M| 78 | 39 |1350 | 14k|1350 |1014 | 55 | 134k|3954 | 0.000000e+00 | -- | Inf
122.40/122.41 c 122s|100000 | 158 |480207 | 4.8 | 20M| 78 | - |1350 | 13k|1350 |1014 | 55 | 147k|4091 | 0.000000e+00 | -- | Inf
133.90/133.95 c 134s|110000 | 171 |531973 | 4.8 | 19M| 78 | - |1350 | 10k|1350 |1014 | 55 | 160k|4446 | 0.000000e+00 | -- | Inf
145.90/145.95 c 146s|120000 | 182 |598135 | 5.0 | 19M| 78 | - |1350 | 11k| 0 | 0 | 55 | 169k|4672 | 0.000000e+00 | -- | Inf
157.49/157.58 c 158s|130000 | 179 |662973 | 5.1 | 19M| 78 | - |1350 | 11k|1350 |1014 | 55 | 179k|4832 | 0.000000e+00 | -- | Inf
169.30/169.38 c 169s|140000 | 180 |728510 | 5.2 | 20M| 78 | - |1350 | 11k| 0 | 0 | 55 | 190k|5042 | 0.000000e+00 | -- | Inf
181.00/181.02 c 181s|150000 | 189 |788241 | 5.2 | 19M| 78 | - |1350 | 10k|1350 |1014 | 55 | 199k|5235 | 0.000000e+00 | -- | Inf
192.09/192.16 c 192s|160000 | 191 |841882 | 5.3 | 20M| 78 | 37 |1350 | 11k|1350 |1014 | 55 | 211k|5485 | 0.000000e+00 | -- | Inf
202.80/202.83 c 203s|170000 | 189 |881377 | 5.2 | 20M| 78 | - |1350 | 12k| 0 | 0 | 55 | 225k|5629 | 0.000000e+00 | -- | Inf
214.19/214.29 c 214s|180000 | 205 |926859 | 5.1 | 22M| 78 | 23 |1350 | 15k|1350 |1014 | 55 | 239k|5762 | 0.000000e+00 | -- | Inf
226.50/226.53 c 227s|190000 | 200 |976300 | 5.1 | 22M| 78 | - |1350 | 15k| 0 | 0 | 55 | 252k|5872 | 0.000000e+00 | -- | Inf
239.30/239.31 c 239s|200000 | 197 | 1022k| 5.1 | 23M| 80 | 39 |1350 | 16k|1350 |1014 | 55 | 266k|5984 | 0.000000e+00 | -- | Inf
251.40/251.47 c 251s|210000 | 194 | 1075k| 5.1 | 20M| 80 | 34 |1350 | 11k|1350 |1014 | 55 | 277k|6178 | 0.000000e+00 | -- | Inf
263.09/263.19 c 263s|220000 | 208 | 1131k| 5.1 | 21M| 80 | 37 |1350 | 13k|1350 |1014 | 55 | 291k|6349 | 0.000000e+00 | -- | Inf
274.30/274.33 c 274s|230000 | 205 | 1174k| 5.1 | 22M| 80 | - |1350 | 15k|1350 |1014 | 55 | 304k|6427 | 0.000000e+00 | -- | Inf
286.90/286.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
286.90/286.94 c 287s|240000 | 202 | 1230k| 5.1 | 22M| 80 | 31 |1350 | 15k|1350 |1014 | 55 | 317k|6567 | 0.000000e+00 | -- | Inf
298.70/298.79 c 299s|250000 | 198 | 1271k| 5.1 | 22M| 80 | 43 |1350 | 15k|1350 |1014 | 55 | 330k|6687 | 0.000000e+00 | -- | Inf
311.00/311.08 c 311s|260000 | 202 | 1318k| 5.1 | 23M| 80 | 45 |1350 | 17k|1350 |1014 | 55 | 343k|6839 | 0.000000e+00 | -- | Inf
323.70/323.70 c 324s|270000 | 208 | 1371k| 5.1 | 22M| 80 | 37 |1350 | 15k|1350 |1014 | 55 | 357k|7113 | 0.000000e+00 | -- | Inf
335.00/335.09 c 335s|280000 | 217 | 1406k| 5.0 | 24M| 80 | 39 |1350 | 17k|1350 |1014 | 55 | 372k|7160 | 0.000000e+00 | -- | Inf
347.30/347.36 c 347s|290000 | 212 | 1445k| 5.0 | 25M| 80 | 41 |1350 | 20k|1350 |1014 | 55 | 385k|7236 | 0.000000e+00 | -- | Inf
360.50/360.54 c 361s|300000 | 208 | 1487k| 5.0 | 25M| 80 | - |1350 | 20k| 0 | 0 | 55 | 398k|7323 | 0.000000e+00 | -- | Inf
373.30/373.34 c 373s|310000 | 216 | 1525k| 4.9 | 26M| 80 | - |1350 | 22k| 0 | 0 | 55 | 412k|7404 | 0.000000e+00 | -- | Inf
387.60/387.69 c 388s|320000 | 209 | 1577k| 4.9 | 26M| 80 | - |1350 | 20k| 0 | 0 | 55 | 424k|7483 | 0.000000e+00 | -- | Inf
401.10/401.18 c 401s|330000 | 209 | 1627k| 4.9 | 26M| 80 | 35 |1350 | 20k|1350 |1014 | 55 | 437k|7631 | 0.000000e+00 | -- | Inf
415.50/415.51 c 416s|340000 | 210 | 1689k| 5.0 | 26M| 80 | - |1350 | 21k|1350 |1014 | 55 | 450k|7813 | 0.000000e+00 | -- | Inf
429.30/429.33 c 429s|350000 | 206 | 1750k| 5.0 | 23M| 80 | - |1350 | 16k| 0 | 0 | 55 | 463k|8074 | 0.000000e+00 | -- | Inf
441.11/441.19 c 441s|360000 | 210 | 1795k| 5.0 | 23M| 80 | 24 |1350 | 16k|1350 |1014 | 55 | 477k|8280 | 0.000000e+00 | -- | Inf
451.90/452.00 c 452s|370000 | 209 | 1829k| 4.9 | 23M| 80 | 36 |1350 | 14k|1350 |1014 | 55 | 491k|8349 | 0.000000e+00 | -- | Inf
462.50/462.55 c 463s|380000 | 216 | 1863k| 4.9 | 23M| 80 | - |1350 | 14k| 0 | 0 | 55 | 505k|8508 | 0.000000e+00 | -- | Inf
473.40/473.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
473.40/473.49 c 473s|390000 | 216 | 1902k| 4.9 | 23M| 80 | - |1350 | 14k| 0 | 0 | 55 | 519k|8607 | 0.000000e+00 | -- | Inf
484.30/484.37 c 484s|400000 | 214 | 1936k| 4.8 | 24M| 80 | - |1350 | 16k| 0 | 0 | 55 | 533k|8691 | 0.000000e+00 | -- | Inf
496.20/496.23 c 496s|410000 | 224 | 1978k| 4.8 | 25M| 80 | - |1350 | 18k|1350 |1014 | 55 | 546k|8715 | 0.000000e+00 | -- | Inf
508.40/508.43 c 508s|420000 | 226 | 2014k| 4.8 | 25M| 80 | 27 |1350 | 19k|1350 |1014 | 55 | 560k|8820 | 0.000000e+00 | -- | Inf
521.31/521.31 c 521s|430000 | 215 | 2062k| 4.8 | 25M| 80 | 39 |1350 | 18k|1350 |1014 | 55 | 573k|8916 | 0.000000e+00 | -- | Inf
532.60/532.62 c 533s|440000 | 216 | 2096k| 4.8 | 25M| 80 | - |1350 | 19k| 0 | 0 | 55 | 587k|8983 | 0.000000e+00 | -- | Inf
544.71/544.75 c 545s|450000 | 218 | 2132k| 4.7 | 25M| 80 | 37 |1350 | 19k|1350 |1014 | 55 | 600k|9066 | 0.000000e+00 | -- | Inf
556.90/556.94 c 557s|460000 | 224 | 2173k| 4.7 | 26M| 80 | 40 |1350 | 19k|1350 |1014 | 55 | 613k|9132 | 0.000000e+00 | -- | Inf
569.21/569.22 c 569s|470000 | 219 | 2211k| 4.7 | 26M| 80 | 38 |1350 | 21k|1350 |1014 | 55 | 627k|9199 | 0.000000e+00 | -- | Inf
581.51/581.51 c 582s|480000 | 219 | 2253k| 4.7 | 26M| 80 | - |1350 | 19k|1350 |1014 | 55 | 640k|9287 | 0.000000e+00 | -- | Inf
594.40/594.45 c 594s|490000 | 222 | 2299k| 4.7 | 26M| 82 | 30 |1350 | 20k|1350 |1014 | 55 | 653k|9349 | 0.000000e+00 | -- | Inf
607.71/607.74 c 608s|500000 | 220 | 2348k| 4.7 | 26M| 82 | 42 |1350 | 21k|1350 |1014 | 55 | 665k|9449 | 0.000000e+00 | -- | Inf
620.41/620.42 c 620s|510000 | 225 | 2391k| 4.7 | 27M| 82 | 40 |1350 | 21k|1350 |1014 | 55 | 679k|9529 | 0.000000e+00 | -- | Inf
634.51/634.51 c 635s|520000 | 230 | 2441k| 4.7 | 28M| 82 | 31 |1350 | 23k|1350 |1014 | 55 | 693k|9596 | 0.000000e+00 | -- | Inf
649.01/649.04 c 649s|530000 | 230 | 2486k| 4.7 | 29M| 82 | 38 |1350 | 25k|1350 |1014 | 55 | 706k|9637 | 0.000000e+00 | -- | Inf
664.31/664.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
664.31/664.38 c 664s|540000 | 241 | 2539k| 4.7 | 30M| 82 | 28 |1350 | 28k|1350 |1014 | 55 | 720k|9687 | 0.000000e+00 | -- | Inf
679.72/679.71 c 680s|550000 | 228 | 2590k| 4.7 | 28M| 83 | - |1350 | 23k| 0 | 0 | 55 | 733k|9785 | 0.000000e+00 | -- | Inf
693.61/693.61 c 694s|560000 | 223 | 2645k| 4.7 | 26M| 83 | - |1350 | 20k|1350 |1014 | 55 | 748k|9995 | 0.000000e+00 | -- | Inf
706.01/706.05 c 706s|570000 | 227 | 2689k| 4.7 | 26M| 83 | 37 |1350 | 19k|1350 |1014 | 55 | 760k| 10k| 0.000000e+00 | -- | Inf
718.31/718.35 c 718s|580000 | 229 | 2723k| 4.7 | 27M| 83 | - |1350 | 21k| 0 | 0 | 55 | 773k| 10k| 0.000000e+00 | -- | Inf
731.31/731.34 c 731s|590000 | 238 | 2758k| 4.7 | 28M| 83 | 33 |1350 | 23k|1350 |1014 | 55 | 787k| 10k| 0.000000e+00 | -- | Inf
744.41/744.49 c 744s|600000 | 232 | 2791k| 4.7 | 28M| 83 | - |1350 | 23k| 0 | 0 | 55 | 801k| 10k| 0.000000e+00 | -- | Inf
757.91/757.93 c 758s|610000 | 226 | 2840k| 4.7 | 26M| 83 | 30 |1350 | 18k|1350 |1014 | 55 | 812k| 10k| 0.000000e+00 | -- | Inf
770.21/770.29 c 770s|620000 | 223 | 2896k| 4.7 | 26M| 83 | 35 |1350 | 18k|1350 |1014 | 55 | 821k| 10k| 0.000000e+00 | -- | Inf
781.91/782.00 c 782s|630000 | 227 | 2932k| 4.7 | 27M| 83 | 40 |1350 | 20k|1350 |1014 | 55 | 835k| 10k| 0.000000e+00 | -- | Inf
794.41/794.46 c 794s|640000 | 223 | 2968k| 4.6 | 27M| 83 | 40 |1350 | 21k|1350 |1014 | 55 | 848k| 10k| 0.000000e+00 | -- | Inf
807.31/807.31 c 807s|650000 | 222 | 3013k| 4.6 | 26M| 83 | - |1350 | 19k|1350 |1014 | 55 | 861k| 10k| 0.000000e+00 | -- | Inf
820.81/820.83 c 821s|660000 | 223 | 3071k| 4.7 | 27M| 83 | 40 |1350 | 21k|1350 |1014 | 55 | 873k| 10k| 0.000000e+00 | -- | Inf
833.91/833.99 c 834s|670000 | 227 | 3118k| 4.7 | 29M| 83 | - |1350 | 23k| 0 | 0 | 55 | 886k| 10k| 0.000000e+00 | -- | Inf
847.32/847.35 c 847s|680000 | 220 | 3161k| 4.6 | 28M| 83 | 35 |1350 | 21k|1350 |1014 | 55 | 899k| 11k| 0.000000e+00 | -- | Inf
860.31/860.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
860.31/860.31 c 860s|690000 | 222 | 3215k| 4.7 | 27M| 83 | 37 |1350 | 20k|1350 |1014 | 55 | 913k| 11k| 0.000000e+00 | -- | Inf
874.21/874.28 c 874s|700000 | 228 | 3278k| 4.7 | 27M| 83 | 24 |1350 | 21k|1350 |1014 | 55 | 926k| 11k| 0.000000e+00 | -- | Inf
887.91/887.94 c 888s|710000 | 222 | 3335k| 4.7 | 28M| 83 | 47 |1350 | 22k|1350 |1014 | 55 | 938k| 11k| 0.000000e+00 | -- | Inf
902.71/902.79 c 903s|720000 | 212 | 3404k| 4.7 | 27M| 83 | - |1350 | 20k|1350 |1014 | 55 | 951k| 11k| 0.000000e+00 | -- | Inf
915.91/915.97 c 916s|730000 | 218 | 3452k| 4.7 | 28M| 83 | 30 |1350 | 21k|1350 |1014 | 55 | 966k| 11k| 0.000000e+00 | -- | Inf
928.81/928.80 c 929s|740000 | 215 | 3491k| 4.7 | 30M| 83 | - |1350 | 25k| 0 | 0 | 55 | 979k| 11k| 0.000000e+00 | -- | Inf
943.72/943.73 c 944s|750000 | 223 | 3542k| 4.7 | 31M| 83 | - |1350 | 28k|1350 |1014 | 55 | 994k| 11k| 0.000000e+00 | -- | Inf
957.62/957.63 c 958s|760000 | 216 | 3586k| 4.7 | 27M| 83 | 34 |1350 | 20k|1350 |1014 | 55 |1007k| 12k| 0.000000e+00 | -- | Inf
969.91/969.94 c 970s|770000 | 222 | 3622k| 4.7 | 28M| 83 | 42 |1350 | 22k|1350 |1014 | 55 |1021k| 12k| 0.000000e+00 | -- | Inf
983.51/983.58 c 984s|780000 | 217 | 3669k| 4.7 | 29M| 83 | 48 |1350 | 24k|1350 |1014 | 55 |1035k| 12k| 0.000000e+00 | -- | Inf
996.91/996.92 c 997s|790000 | 215 | 3708k| 4.7 | 29M| 83 | 35 |1350 | 24k|1350 |1014 | 55 |1048k| 12k| 0.000000e+00 | -- | Inf
1010.72/1010.77 c 1011s|800000 | 228 | 3750k| 4.7 | 30M| 83 | 48 |1350 | 26k|1350 |1014 | 55 |1062k| 12k| 0.000000e+00 | -- | Inf
1025.72/1025.74 c 1026s|810000 | 222 | 3800k| 4.7 | 30M| 83 | - |1350 | 26k| 0 | 0 | 55 |1076k| 12k| 0.000000e+00 | -- | Inf
1039.92/1039.95 c 1040s|820000 | 210 | 3845k| 4.7 | 28M| 83 | 36 |1350 | 22k|1350 |1014 | 55 |1090k| 12k| 0.000000e+00 | -- | Inf
1052.31/1052.33 c 1052s|830000 | 217 | 3884k| 4.7 | 27M| 83 | 38 |1350 | 20k|1350 |1014 | 55 |1106k| 12k| 0.000000e+00 | -- | Inf
1064.92/1064.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1064.92/1064.90 c 1065s|840000 | 217 | 3917k| 4.7 | 28M| 83 | 37 |1350 | 22k|1350 |1014 | 55 |1119k| 12k| 0.000000e+00 | -- | Inf
1078.81/1078.83 c 1079s|850000 | 226 | 3962k| 4.7 | 28M| 83 | 36 |1350 | 22k|1350 |1014 | 55 |1134k| 12k| 0.000000e+00 | -- | Inf
1092.32/1092.38 c 1092s|860000 | 223 | 4001k| 4.7 | 29M| 83 | 36 |1350 | 23k|1350 |1014 | 55 |1148k| 13k| 0.000000e+00 | -- | Inf
1105.82/1105.80 c 1106s|870000 | 220 | 4048k| 4.7 | 27M| 83 | 38 |1350 | 20k|1350 |1014 | 55 |1162k| 13k| 0.000000e+00 | -- | Inf
1118.82/1118.84 c 1119s|880000 | 222 | 4097k| 4.7 | 27M| 83 | - |1350 | 20k|1350 |1014 | 55 |1176k| 13k| 0.000000e+00 | -- | Inf
1131.42/1131.47 c 1131s|890000 | 229 | 4140k| 4.7 | 27M| 83 | 34 |1350 | 19k|1350 |1014 | 55 |1190k| 13k| 0.000000e+00 | -- | Inf
1144.52/1144.53 c 1145s|900000 | 228 | 4183k| 4.6 | 29M| 83 | 42 |1350 | 22k|1350 |1014 | 55 |1204k| 13k| 0.000000e+00 | -- | Inf
1158.92/1158.97 c 1159s|910000 | 228 | 4246k| 4.7 | 30M| 83 | 34 |1350 | 24k|1350 |1014 | 55 |1216k| 13k| 0.000000e+00 | -- | Inf
1173.02/1173.01 c 1173s|920000 | 229 | 4312k| 4.7 | 29M| 83 | 40 |1350 | 22k|1350 |1014 | 55 |1229k| 13k| 0.000000e+00 | -- | Inf
1187.82/1187.82 c 1188s|930000 | 230 | 4376k| 4.7 | 30M| 83 | - |1350 | 24k| 0 | 0 | 55 |1245k| 13k| 0.000000e+00 | -- | Inf
1203.51/1203.56 c 1204s|940000 | 230 | 4452k| 4.7 | 29M| 83 | 30 |1350 | 23k|1350 |1014 | 55 |1257k| 13k| 0.000000e+00 | -- | Inf
1218.12/1218.18 c 1218s|950000 | 230 | 4515k| 4.8 | 30M| 83 | 44 |1350 | 24k|1350 |1014 | 55 |1270k| 13k| 0.000000e+00 | -- | Inf
1233.12/1233.16 c 1233s|960000 | 220 | 4569k| 4.8 | 30M| 85 | - |1350 | 24k| 0 | 0 | 55 |1287k| 13k| 0.000000e+00 | -- | Inf
1246.42/1246.47 c 1246s|970000 | 229 | 4616k| 4.8 | 29M| 85 | 41 |1350 | 22k|1350 |1014 | 55 |1301k| 14k| 0.000000e+00 | -- | Inf
1260.12/1260.19 c 1260s|980000 | 236 | 4663k| 4.8 | 30M| 85 | 34 |1350 | 24k|1350 |1014 | 55 |1316k| 14k| 0.000000e+00 | -- | Inf
1274.02/1274.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1274.02/1274.00 c 1274s|990000 | 232 | 4702k| 4.7 | 29M| 85 | 34 |1350 | 22k|1350 |1014 | 55 |1330k| 14k| 0.000000e+00 | -- | Inf
1286.42/1286.41 c 1286s| 1000k| 226 | 4733k| 4.7 | 29M| 85 | 38 |1350 | 23k|1350 |1014 | 55 |1345k| 14k| 0.000000e+00 | -- | Inf
1299.92/1299.96 c 1300s| 1010k| 227 | 4775k| 4.7 | 30M| 85 | 28 |1350 | 24k|1350 |1014 | 55 |1359k| 14k| 0.000000e+00 | -- | Inf
1312.52/1312.56 c 1313s| 1020k| 220 | 4807k| 4.7 | 30M| 85 | 48 |1350 | 23k|1350 |1014 | 55 |1373k| 14k| 0.000000e+00 | -- | Inf
1325.72/1325.70 c 1326s| 1030k| 235 | 4850k| 4.7 | 31M| 85 | - |1350 | 26k| 0 | 0 | 55 |1386k| 14k| 0.000000e+00 | -- | Inf
1339.42/1339.43 c 1339s| 1040k| 227 | 4894k| 4.7 | 30M| 85 | 44 |1350 | 24k|1350 |1014 | 55 |1399k| 14k| 0.000000e+00 | -- | Inf
1353.13/1353.11 c 1353s| 1050k| 235 | 4935k| 4.7 | 31M| 85 | - |1350 | 25k| 0 | 0 | 55 |1413k| 14k| 0.000000e+00 | -- | Inf
1366.92/1366.93 c 1367s| 1060k| 236 | 4975k| 4.7 | 31M| 85 | 30 |1350 | 26k|1350 |1014 | 55 |1427k| 14k| 0.000000e+00 | -- | Inf
1381.63/1381.69 c 1382s| 1070k| 236 | 5025k| 4.7 | 32M| 85 | 34 |1350 | 28k|1350 |1014 | 55 |1441k| 14k| 0.000000e+00 | -- | Inf
1397.03/1397.07 c 1397s| 1080k| 226 | 5073k| 4.7 | 32M| 86 | 37 |1350 | 27k|1350 |1014 | 55 |1454k| 14k| 0.000000e+00 | -- | Inf
1410.92/1410.96 c 1411s| 1090k| 228 | 5113k| 4.7 | 32M| 86 | 28 |1350 | 27k|1350 |1014 | 55 |1467k| 14k| 0.000000e+00 | -- | Inf
1425.42/1425.45 c 1425s| 1100k| 231 | 5160k| 4.7 | 33M| 86 | 32 |1350 | 29k|1350 |1014 | 55 |1480k| 14k| 0.000000e+00 | -- | Inf
1441.53/1441.58 c 1442s| 1110k| 232 | 5220k| 4.7 | 34M| 86 | - |1350 | 31k| 0 | 0 | 55 |1493k| 14k| 0.000000e+00 | -- | Inf
1457.93/1457.90 c 1458s| 1120k| 238 | 5269k| 4.7 | 31M| 86 | 37 |1350 | 26k|1350 |1014 | 55 |1506k| 14k| 0.000000e+00 | -- | Inf
1471.93/1471.98 c 1472s| 1130k| 236 | 5321k| 4.7 | 33M| 86 | - |1350 | 28k|1350 |1014 | 55 |1519k| 14k| 0.000000e+00 | -- | Inf
1485.73/1485.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1485.73/1485.72 c 1486s| 1140k| 237 | 5365k| 4.7 | 33M| 86 | 40 |1350 | 28k|1350 |1014 | 55 |1533k| 15k| 0.000000e+00 | -- | Inf
1500.33/1500.39 c 1500s| 1150k| 242 | 5413k| 4.7 | 34M| 87 | - |1350 | 30k|1350 |1014 | 55 |1546k| 15k| 0.000000e+00 | -- | Inf
1514.63/1514.67 c 1515s| 1160k| 233 | 5456k| 4.7 | 33M| 87 | - |1350 | 29k|1350 |1014 | 55 |1560k| 15k| 0.000000e+00 | -- | Inf
1529.92/1530.00 c 1530s| 1170k| 240 | 5503k| 4.7 | 35M| 88 | 44 |1350 | 32k|1350 |1014 | 55 |1575k| 15k| 0.000000e+00 | -- | Inf
1545.23/1545.24 c 1545s| 1180k| 235 | 5547k| 4.7 | 34M| 90 | 42 |1350 | 30k|1350 |1014 | 55 |1589k| 15k| 0.000000e+00 | -- | Inf
1560.12/1560.17 c 1560s| 1190k| 237 | 5585k| 4.7 | 33M| 90 | 32 |1350 | 29k|1350 |1014 | 55 |1603k| 15k| 0.000000e+00 | -- | Inf
1574.73/1574.70 c 1575s| 1200k| 246 | 5618k| 4.7 | 33M| 90 | 42 |1350 | 30k|1350 |1014 | 55 |1617k| 15k| 0.000000e+00 | -- | Inf
1589.23/1589.27 c 1589s| 1210k| 245 | 5676k| 4.7 | 32M| 90 | - |1350 | 26k|1350 |1014 | 55 |1624k| 15k| 0.000000e+00 | -- | Inf
1603.23/1603.29 c 1603s| 1220k| 243 | 5723k| 4.7 | 30M| 90 | 34 |1350 | 23k|1350 |1014 | 55 |1634k| 15k| 0.000000e+00 | -- | Inf
1616.83/1616.84 c 1617s| 1230k| 245 | 5767k| 4.7 | 31M| 90 | - |1350 | 24k| 0 | 0 | 55 |1647k| 15k| 0.000000e+00 | -- | Inf
1630.43/1630.43 c 1630s| 1240k| 237 | 5807k| 4.7 | 30M| 90 | 29 |1350 | 22k|1350 |1014 | 55 |1661k| 15k| 0.000000e+00 | -- | Inf
1643.93/1643.94 c 1644s| 1250k| 238 | 5856k| 4.7 | 31M| 90 | - |1350 | 24k| 0 | 0 | 55 |1675k| 15k| 0.000000e+00 | -- | Inf
1658.53/1658.53 c 1659s| 1260k| 245 | 5910k| 4.7 | 32M| 90 | 36 |1350 | 26k|1350 |1014 | 55 |1688k| 16k| 0.000000e+00 | -- | Inf
1673.73/1673.77 c 1674s| 1270k| 246 | 5957k| 4.7 | 33M| 90 | 39 |1350 | 28k|1350 |1014 | 55 |1703k| 16k| 0.000000e+00 | -- | Inf
1687.93/1687.92 c 1688s| 1280k| 248 | 6006k| 4.7 | 31M| 90 | 23 |1350 | 25k|1350 |1014 | 55 |1716k| 16k| 0.000000e+00 | -- | Inf
1702.03/1702.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1702.03/1702.04 c 1702s| 1290k| 241 | 6051k| 4.7 | 32M| 90 | - |1350 | 27k|1350 |1014 | 55 |1730k| 16k| 0.000000e+00 | -- | Inf
1716.94/1716.91 c 1717s| 1300k| 254 | 6100k| 4.7 | 32M| 90 | 28 |1350 | 26k|1350 |1014 | 55 |1743k| 16k| 0.000000e+00 | -- | Inf
1730.03/1730.02 c 1730s| 1310k| 246 | 6133k| 4.7 | 33M| 90 | 34 |1350 | 27k|1350 |1014 | 55 |1757k| 16k| 0.000000e+00 | -- | Inf
1744.83/1744.81 c 1745s| 1320k| 234 | 6184k| 4.7 | 32M| 90 | - |1350 | 25k| 0 | 0 | 55 |1770k| 16k| 0.000000e+00 | -- | Inf
1758.23/1758.24 c 1758s| 1330k| 249 | 6225k| 4.7 | 32M| 90 | 30 |1350 | 27k|1350 |1014 | 55 |1785k| 16k| 0.000000e+00 | -- | Inf
1772.14/1772.19 c 1772s| 1340k| 246 | 6268k| 4.7 | 34M| 90 | 34 |1350 | 29k|1350 |1014 | 55 |1799k| 16k| 0.000000e+00 | -- | Inf
1785.93/1785.91 c 1786s| 1350k| 262 | 6304k| 4.7 | 34M| 90 | - |1350 | 30k| 0 | 0 | 55 |1814k| 16k| 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 : 1357897
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.03 (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-3489297-1307757307.opb
1797.03/1797.00 c Variables : 1350 (1350 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 990 initial, 990 maximal
1797.03/1797.00 c Presolved Problem :
1797.03/1797.00 c Problem name : t_HOME/instance-3489297-1307757307.opb
1797.03/1797.00 c Variables : 1350 (1350 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.03/1797.00 c Constraints : 990 initial, 32558 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 0 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.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c root node : - 0 - - 0 - - - - -
1797.03/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c integral : 0 0 0 813662 0 1 0 20 157 0 0 1626982
1797.03/1797.00 c setppc : 60 5 5571606 0 1 0 53765076 468125 22668714 0 0 0
1797.03/1797.00 c linear : 0+ 5 23 0 0 0 0 0 0 0 0 0
1797.03/1797.00 c logicor : 930+ 5 3005596 0 1 0 6769786 180140 7519813 0 0 0
1797.03/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.03/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.03/1797.00 c integral : 40.64 0.00 0.00 40.64 0.00 0.00 0.00
1797.03/1797.00 c setppc : 94.73 0.00 83.87 0.00 0.00 0.00 10.86
1797.03/1797.00 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c logicor : 359.04 0.00 343.18 0.00 0.00 0.00 15.86
1797.03/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.03/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.03/1797.00 c vbounds : 0 0 0 0
1797.03/1797.00 c rootredcost : 0 0 0 0
1797.03/1797.00 c pseudoobj : 0 0 0 0
1797.03/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.03/1797.00 c vbounds : 0.72 0.72 0.00
1797.03/1797.00 c rootredcost : 0.80 0.80 0.00
1797.03/1797.00 c pseudoobj : 0.54 0.54 0.00
1797.03/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.03/1797.00 c propagation : 62.01 648265 648263 8139718 63.5 9469 55.7 -
1797.03/1797.00 c infeasible LP : 97.96 160685 111321 2688732 173.0 1609 56.2 0
1797.03/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.03/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.03/1797.00 c applied globally : - - - 1825827 50.2 - - -
1797.03/1797.00 c applied locally : - - - 0 0.0 - - -
1797.03/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.03/1797.00 c cut pool : 0.00 4 - - 0 - (maximal pool size: 319)
1797.03/1797.00 c redcost : 16.17 813612 0 0 0 0
1797.03/1797.00 c impliedbounds : 0.00 5 0 0 0 0
1797.03/1797.00 c intobj : 0.00 0 0 0 0 0
1797.03/1797.00 c gomory : 0.15 5 0 0 1697 0
1797.03/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.03/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.03/1797.00 c strongcg : 0.56 5 0 0 2500 0
1797.03/1797.00 c cmir : 0.00 0 0 0 0 0
1797.03/1797.00 c flowcover : 0.00 0 0 0 0 0
1797.03/1797.00 c clique : 0.00 5 0 0 0 0
1797.03/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.03/1797.00 c mcf : 0.00 1 0 0 0 0
1797.03/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.03/1797.00 c rapidlearning : 0.05 1 0 0 0 38
1797.03/1797.00 c Pricers : Time Calls Vars
1797.03/1797.00 c problem variables: 0.00 0 0
1797.03/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.03/1797.00 c relpscost : 40.08 813662 20 157 0 0 1626982
1797.03/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.03/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.03/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.03/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.03/1797.00 c random : 0.00 0 0 0 0 0 0
1797.03/1797.00 c Primal Heuristics : Time Calls Found
1797.03/1797.00 c LP solutions : 0.00 - 0
1797.03/1797.00 c pseudo solutions : 0.00 - 0
1797.03/1797.00 c trivial : 0.00 1 0
1797.03/1797.00 c shiftandpropagate: 0.00 0 0
1797.03/1797.00 c simplerounding : 0.00 0 0
1797.03/1797.00 c zirounding : 0.00 0 0
1797.03/1797.00 c rounding : 0.00 0 0
1797.03/1797.00 c shifting : 0.00 0 0
1797.03/1797.00 c intshifting : 0.00 0 0
1797.03/1797.00 c oneopt : 0.00 0 0
1797.03/1797.00 c twoopt : 0.00 0 0
1797.03/1797.00 c fixandinfer : 0.00 0 0
1797.03/1797.00 c feaspump : 0.00 0 0
1797.03/1797.00 c clique : 0.00 0 0
1797.03/1797.00 c coefdiving : 0.00 0 0
1797.03/1797.00 c pscostdiving : 0.00 0 0
1797.03/1797.00 c fracdiving : 0.00 0 0
1797.03/1797.00 c veclendiving : 0.00 0 0
1797.03/1797.00 c intdiving : 0.00 0 0
1797.03/1797.00 c actconsdiving : 0.00 0 0
1797.03/1797.00 c objpscostdiving : 0.00 0 0
1797.03/1797.00 c rootsoldiving : 0.00 0 0
1797.03/1797.00 c linesearchdiving : 0.00 0 0
1797.03/1797.00 c guideddiving : 0.00 0 0
1797.03/1797.00 c octane : 0.00 0 0
1797.03/1797.00 c rens : 0.00 0 0
1797.03/1797.00 c rins : 0.00 0 0
1797.03/1797.00 c localbranching : 0.00 0 0
1797.03/1797.00 c mutation : 0.00 0 0
1797.03/1797.00 c crossover : 0.00 0 0
1797.03/1797.00 c dins : 0.00 0 0
1797.03/1797.00 c vbounds : 0.00 0 0
1797.03/1797.00 c undercover : 0.00 0 0
1797.03/1797.00 c subnlp : 0.00 0 0
1797.03/1797.00 c trysol : 0.00 0 0
1797.03/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.03/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.03/1797.00 c dual LP : 640.33 974159 6331534 6.50 9887.94
1797.03/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.03/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.03/1797.00 c diving/probing LP: 0.00 0 0 0.00 -
1797.03/1797.00 c strong branching : 29.39 16563 243445 14.70 8282.27
1797.03/1797.00 c (at root node) : - 17 834 49.06 -
1797.03/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.03/1797.00 c B&B Tree :
1797.03/1797.00 c number of runs : 1
1797.03/1797.00 c nodes : 1357897
1797.03/1797.00 c nodes (total) : 1357897
1797.03/1797.00 c nodes left : 265
1797.03/1797.00 c max depth : 90
1797.03/1797.00 c max depth (total): 90
1797.03/1797.00 c backtracks : 344368 (25.4%)
1797.03/1797.00 c delayed cutoffs : 268823
1797.03/1797.00 c repropagations : 1620779 (10982946 domain reductions, 264565 cutoffs)
1797.03/1797.00 c avg switch length: 3.85
1797.03/1797.00 c switching time : 270.14
1797.03/1797.00 c Solution :
1797.03/1797.00 c Solutions found : 0 (0 improvements)
1797.03/1797.00 c Primal Bound : -
1797.03/1797.00 c Dual Bound : +0.00000000000000e+00
1797.03/1797.00 c Gap : infinite
1797.03/1797.00 c Root Dual Bound : +0.00000000000000e+00
1797.03/1797.00 c Root Iterations : 1830
1797.03/1797.04 c Time complete: 1797.08.
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-3489297-1307757307/watcher-3489297-1307757307 -o /tmp/evaluation-result-3489297-1307757307/solver-3489297-1307757307 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489297-1307757307.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.01 1.97 2/177 14527
/proc/meminfo: memFree=29607564/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=12696 CPUtime=0 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 2173 0 0 0 0 0 0 0 25 0 1 0 965961458 13000704 2127 33554432000 4194304 9016284 140734438232944 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14527/statm: 3174 2127 357 1178 0 1992 0
[startup+0.076311 s]
/proc/loadavg: 2.03 2.01 1.97 2/177 14527
/proc/meminfo: memFree=29607564/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=30552 CPUtime=0.06 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 6824 0 0 0 6 0 0 0 25 0 1 0 965961458 31285248 6456 33554432000 4194304 9016284 140734438232944 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 7638 6456 603 1178 0 6456 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 30552
[startup+0.100303 s]
/proc/loadavg: 2.03 2.01 1.97 2/177 14527
/proc/meminfo: memFree=29607564/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=30224 CPUtime=0.09 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 6868 0 0 0 9 0 0 0 25 0 1 0 965961458 30949376 6428 33554432000 4194304 9016284 140734438232944 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 7556 6428 617 1178 0 6374 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30224
[startup+0.300271 s]
/proc/loadavg: 2.03 2.01 1.97 2/177 14527
/proc/meminfo: memFree=29607564/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=53984 CPUtime=0.29 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 13487 0 0 0 28 1 0 0 25 0 1 0 965961458 55279616 12330 33554432000 4194304 9016284 140734438232944 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 13496 12330 658 1178 0 12314 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53984
[startup+0.700201 s]
/proc/loadavg: 2.03 2.01 1.97 2/177 14527
/proc/meminfo: memFree=29607564/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=53984 CPUtime=0.69 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 13505 0 0 0 67 2 0 0 25 0 1 0 965961458 55279616 12348 33554432000 4194304 9016284 140734438232944 18446744073709551615 6520756 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 13496 12348 658 1178 0 12314 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53984
[startup+1.50006 s]
/proc/loadavg: 2.03 2.01 1.97 3/178 14528
/proc/meminfo: memFree=29560088/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=53984 CPUtime=1.49 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 13593 0 0 0 144 5 0 0 25 0 1 0 965961458 55279616 12436 33554432000 4194304 9016284 140734438232944 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 13496 12436 663 1178 0 12314 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53984
[startup+3.10078 s]
/proc/loadavg: 2.03 2.01 1.97 3/178 14528
/proc/meminfo: memFree=29575588/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=53984 CPUtime=3.09 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 13593 0 0 0 298 11 0 0 25 0 1 0 965961458 55279616 12436 33554432000 4194304 9016284 140734438232944 18446744073709551615 7081890 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 13496 12436 663 1178 0 12314 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53984
[startup+6.30022 s]
/proc/loadavg: 2.03 2.01 1.97 3/178 14528
/proc/meminfo: memFree=29574352/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=53984 CPUtime=6.29 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 13593 0 0 0 605 24 0 0 25 0 1 0 965961458 55279616 12436 33554432000 4194304 9016284 140734438232944 18446744073709551615 7143468 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 13496 12436 663 1178 0 12314 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53984
[startup+12.7001 s]
/proc/loadavg: 2.03 2.01 1.97 3/178 14681
/proc/meminfo: memFree=31853692/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=53984 CPUtime=12.69 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 13596 0 0 0 1223 46 0 0 25 0 1 0 965961458 55279616 12439 33554432000 4194304 9016284 140734438232944 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 13496 12439 665 1178 0 12314 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53984
[startup+25.5009 s]
/proc/loadavg: 2.02 2.01 1.97 3/178 14681
/proc/meminfo: memFree=31851164/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=55936 CPUtime=25.49 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 14066 0 0 0 2478 71 0 0 25 0 1 0 965961458 57278464 12909 33554432000 4194304 9016284 140734438232944 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 13984 12909 665 1178 0 12802 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55936
[startup+51.1004 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 14682
/proc/meminfo: memFree=31846120/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=60856 CPUtime=51.09 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 15274 0 0 0 4994 115 0 0 25 0 1 0 965961458 62316544 14109 33554432000 4194304 9016284 140734438232944 18446744073709551615 4330786 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 15214 14109 665 1178 0 14032 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 60856
[startup+102.306 s]
/proc/loadavg: 2.06 2.02 1.98 3/178 14683
/proc/meminfo: memFree=31839128/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=66988 CPUtime=102.3 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 16837 0 0 0 10027 203 0 0 25 0 1 0 965961458 68595712 15670 33554432000 4194304 9016284 140734438232944 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 16747 15670 665 1178 0 15565 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 66988
[startup+162.301 s]
/proc/loadavg: 2.02 2.01 1.98 3/178 14685
/proc/meminfo: memFree=31838080/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=68292 CPUtime=162.29 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 17156 0 0 0 15905 324 0 0 25 0 1 0 965961458 69931008 15989 33554432000 4194304 9016284 140734438232944 18446744073709551615 6606442 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 17073 15989 665 1178 0 15891 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 68292
[startup+222.3 s]
/proc/loadavg: 2.05 2.02 1.98 3/178 14687
/proc/meminfo: memFree=31834524/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=70096 CPUtime=222.3 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 17609 0 0 0 21790 440 0 0 25 0 1 0 965961458 71778304 16442 33554432000 4194304 9016284 140734438232944 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 17524 16442 665 1178 0 16342 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 70096
[startup+282.301 s]
/proc/loadavg: 2.02 2.02 1.98 3/178 14688
/proc/meminfo: memFree=31824036/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=72184 CPUtime=282.3 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 18075 0 0 0 27687 543 0 0 25 0 1 0 965961458 73916416 16908 33554432000 4194304 9016284 140734438232944 18446744073709551615 5325519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 18046 16908 665 1178 0 16864 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 72184
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/178 14690
/proc/meminfo: memFree=31815168/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=73796 CPUtime=342.29 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 18452 0 0 0 33588 641 0 0 25 0 1 0 965961458 75567104 17282 33554432000 4194304 9016284 140734438232944 18446744073709551615 7091583 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 18449 17282 665 1178 0 17267 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 73796
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 1.98 3/178 14700
/proc/meminfo: memFree=31806568/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=75420 CPUtime=402.3 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 18726 0 0 0 39508 722 0 0 25 0 1 0 965961458 77230080 17556 33554432000 4194304 9016284 140734438232944 18446744073709551615 6422937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 18855 17556 665 1178 0 17673 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 75420
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 15168
/proc/meminfo: memFree=31804644/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=75660 CPUtime=462.3 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 18798 0 0 0 45406 824 0 0 25 0 1 0 965961458 77475840 17628 33554432000 4194304 9016284 140734438232944 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 18915 17628 665 1178 0 17733 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 75660
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 15170
/proc/meminfo: memFree=31803000/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=75660 CPUtime=522.31 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 18810 0 0 0 51324 907 0 0 25 0 1 0 965961458 77475840 17640 33554432000 4194304 9016284 140734438232944 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 18915 17640 665 1178 0 17733 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 75660
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 15171
/proc/meminfo: memFree=31799956/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=76128 CPUtime=582.3 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 18936 0 0 0 57245 985 0 0 25 0 1 0 965961458 77955072 17766 33554432000 4194304 9016284 140734438232944 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 19032 17766 665 1178 0 17850 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 76128
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31768744/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=84128 CPUtime=1122.32 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 20861 0 0 0 110473 1759 0 0 25 0 1 0 965961458 86147072 19691 33554432000 4194304 9016284 140734438232944 18446744073709551615 5325537 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 21032 19691 665 1178 0 19850 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 84128
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 15187
/proc/meminfo: memFree=31766580/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=84128 CPUtime=1182.32 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 20873 0 0 0 116374 1858 0 0 25 0 1 0 965961458 86147072 19703 33554432000 4194304 9016284 140734438232944 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 21032 19703 665 1178 0 19850 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 84128
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 15189
/proc/meminfo: memFree=31764920/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=84260 CPUtime=1242.32 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 20922 0 0 0 122267 1965 0 0 25 0 1 0 965961458 86282240 19752 33554432000 4194304 9016284 140734438232944 18446744073709551615 4347574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 21065 19752 665 1178 0 19883 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 84260
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 15190
/proc/meminfo: memFree=31764112/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=84412 CPUtime=1302.33 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 20938 0 0 0 128191 2042 0 0 25 0 1 0 965961458 86437888 19768 33554432000 4194304 9016284 140734438232944 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 21103 19768 665 1178 0 19921 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 84412
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 15192
/proc/meminfo: memFree=31761196/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=85008 CPUtime=1362.32 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 21088 0 0 0 134110 2122 0 0 25 0 1 0 965961458 87048192 19918 33554432000 4194304 9016284 140734438232944 18446744073709551615 4349783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 21252 19918 665 1178 0 20070 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 85008
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 15194
/proc/meminfo: memFree=31759780/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=85432 CPUtime=1422.33 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 21263 0 0 0 140032 2201 0 0 25 0 1 0 965961458 87482368 20093 33554432000 4194304 9016284 140734438232944 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 21358 20093 665 1178 0 20176 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 85432
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 15195
/proc/meminfo: memFree=31757856/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=87616 CPUtime=1482.33 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 21779 0 0 0 145948 2285 0 0 25 0 1 0 965961458 89718784 20609 33554432000 4194304 9016284 140734438232944 18446744073709551615 6422910 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 21904 20609 665 1178 0 20722 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 87616
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 15197
/proc/meminfo: memFree=31754060/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=90464 CPUtime=1542.33 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 22506 0 0 0 151873 2360 0 0 25 0 1 0 965961458 92635136 21336 33554432000 4194304 9016284 140734438232944 18446744073709551615 4347574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 22616 21336 665 1178 0 21434 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 90464
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 15198
/proc/meminfo: memFree=31753128/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=91180 CPUtime=1602.33 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 22650 0 0 0 157793 2440 0 0 25 0 1 0 965961458 93368320 21474 33554432000 4194304 9016284 140734438232944 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 22795 21474 665 1178 0 21613 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 91180
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 15200
/proc/meminfo: memFree=31753080/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=91180 CPUtime=1662.33 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 22652 0 0 0 163713 2520 0 0 25 0 1 0 965961458 93368320 21476 33554432000 4194304 9016284 140734438232944 18446744073709551615 4349783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 22795 21476 665 1178 0 21613 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 91180
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 15202
/proc/meminfo: memFree=31752784/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=91180 CPUtime=1722.34 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 22656 0 0 0 169635 2599 0 0 25 0 1 0 965961458 93368320 21480 33554432000 4194304 9016284 140734438232944 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 22795 21480 665 1178 0 21613 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 91180
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 15203
/proc/meminfo: memFree=31752092/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=91920 CPUtime=1782.34 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 22831 0 0 0 175560 2674 0 0 25 0 1 0 965961458 94126080 21655 33554432000 4194304 9016284 140734438232944 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 22980 21655 665 1178 0 21798 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 91920
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 15203
/proc/meminfo: memFree=31751964/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=91920 CPUtime=1785.53 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 22833 0 0 0 175877 2676 0 0 25 0 1 0 965961458 94126080 21657 33554432000 4194304 9016284 140734438232944 18446744073709551615 5325519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 22980 21657 665 1178 0 21798 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 91920
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 15204
/proc/meminfo: memFree=31751948/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=91920 CPUtime=1791.94 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 22833 0 0 0 176510 2684 0 0 25 0 1 0 965961458 94126080 21657 33554432000 4194304 9016284 140734438232944 18446744073709551615 5325519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 22980 21657 665 1178 0 21798 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 91920
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 15204
/proc/meminfo: memFree=31751948/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=91920 CPUtime=1795.14 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 22834 0 0 0 176827 2687 0 0 25 0 1 0 965961458 94126080 21658 33554432000 4194304 9016284 140734438232944 18446744073709551615 7103733 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 22980 21658 665 1178 0 21798 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 91920
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 15204
/proc/meminfo: memFree=31751948/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=91920 CPUtime=1795.93 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 22834 0 0 0 176905 2688 0 0 25 0 1 0 965961458 94126080 21658 33554432000 4194304 9016284 140734438232944 18446744073709551615 5325519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 22980 21658 665 1178 0 21798 0
Current children cumulated CPU time (s) 1795.93
Current children cumulated vsize (KiB) 91920
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 15204
/proc/meminfo: memFree=31751948/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=91920 CPUtime=1796.73 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 22834 0 0 0 176983 2690 0 0 25 0 1 0 965961458 94126080 21658 33554432000 4194304 9016284 140734438232944 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 22980 21658 665 1178 0 21798 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 91920
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 15204
/proc/meminfo: memFree=31751948/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=91920 CPUtime=1796.93 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 22834 0 0 0 177003 2690 0 0 25 0 1 0 965961458 94126080 21658 33554432000 4194304 9016284 140734438232944 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 22980 21658 665 1178 0 21798 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (KiB) 91920
[startup+1797 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 15204
/proc/meminfo: memFree=31751948/32950940 swapFree=67074964/67111528
[pid=14527] ppid=14525 vsize=91920 CPUtime=1797.03 cores=1,3,5,7
/proc/14527/stat : 14527 (scip-2.0.1.4b_2) R 14525 14527 13240 0 -1 4202496 22835 0 0 0 177013 2690 0 0 25 0 1 0 965961458 94126080 21659 33554432000 4194304 9016284 140734438232944 18446744073709551615 6422641 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14527/statm: 22980 21659 666 1178 0 21798 0
Current children cumulated CPU time (s) 1797.03
Current children cumulated vsize (KiB) 91920
Child status: 0
Real time (s): 1797.05
CPU time (s): 1797.09
CPU user time (s): 1770.18
CPU system time (s): 26.9119
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 91920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.18
system time used= 26.9119
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22946
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= 9
involuntary context switches= 2922
runsolver used 2.6076 second user time and 5.83611 second system time
The end