0.00/0.00 c SCIP version 2.0.1.4 [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-3485855-1307753668.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.05 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.04
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 2.0.1.4
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.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 | 635 | - |5756k| 0 | 136 |1350 | 990 |1350 | 990 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.32 c 0.3s| 1 | 0 | 787 | - |6760k| 0 | 146 |1350 |1028 |1350 |1000 | 10 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.49 c 0.5s| 1 | 0 | 1042 | - |7513k| 0 | 171 |1350 |1028 |1350 |1015 | 25 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.71 c 0.7s| 1 | 0 | 1186 | - |8769k| 0 | 174 |1350 |1028 |1350 |1022 | 32 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.93 c 0.9s| 1 | 0 | 1491 | - |9999k| 0 | 262 |1350 |1028 |1350 |1032 | 42 | 0 | 0 | 0.000000e+00 | -- | Inf
1.09/1.16 c 1.2s| 1 | 0 | 1830 | - | 11M| 0 | 208 |1350 |1028 |1350 |1045 | 55 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.26 c 1.3s| 1 | 2 | 1830 | - | 11M| 0 | 208 |1350 |1028 |1350 |1045 | 55 | 0 | 17 | 0.000000e+00 | -- | Inf
21.90/21.99 c 22.0s| 10000 | 134 | 49573 | 4.8 | 14M| 67 | 38 |1350 |4777 |1350 |1014 | 55 | 16k|2769 | 0.000000e+00 | -- | Inf
31.49/31.59 c 31.6s| 20000 | 141 | 91131 | 4.5 | 15M| 71 | 30 |1350 |6956 |1350 |1014 | 55 | 32k|2937 | 0.000000e+00 | -- | Inf
41.59/41.67 c 41.7s| 30000 | 139 |134903 | 4.4 | 17M| 71 | - |1350 |9080 | 0 | 0 | 55 | 47k|3051 | 0.000000e+00 | -- | Inf
51.09/51.16 c 51.2s| 40000 | 142 |166293 | 4.1 | 18M| 71 | 32 |1350 | 10k|1350 |1014 | 55 | 62k|3113 | 0.000000e+00 | -- | Inf
61.89/61.91 c 61.9s| 50000 | 147 |207597 | 4.1 | 19M| 77 | - |1350 | 13k| 0 | 0 | 55 | 78k|3138 | 0.000000e+00 | -- | Inf
74.49/74.53 c 74.5s| 60000 | 144 |264777 | 4.4 | 21M| 77 | 38 |1350 | 16k|1350 |1014 | 55 | 93k|3157 | 0.000000e+00 | -- | Inf
87.29/87.38 c 87.4s| 70000 | 151 |318453 | 4.5 | 18M| 78 | 36 |1350 | 11k|1350 |1014 | 55 | 107k|3575 | 0.000000e+00 | -- | Inf
99.09/99.19 c 99.2s| 80000 | 163 |377801 | 4.7 | 19M| 78 | - |1350 | 12k| 0 | 0 | 55 | 121k|3748 | 0.000000e+00 | -- | Inf
111.29/111.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
111.29/111.38 c 111s| 90000 | 169 |431018 | 4.8 | 20M| 78 | 39 |1350 | 14k|1350 |1014 | 55 | 134k|3954 | 0.000000e+00 | -- | Inf
123.39/123.46 c 123s|100000 | 158 |480207 | 4.8 | 20M| 78 | - |1350 | 13k|1350 |1014 | 55 | 147k|4091 | 0.000000e+00 | -- | Inf
134.89/134.92 c 135s|110000 | 171 |531973 | 4.8 | 19M| 78 | - |1350 | 10k|1350 |1014 | 55 | 160k|4446 | 0.000000e+00 | -- | Inf
146.79/146.87 c 147s|120000 | 182 |598135 | 5.0 | 19M| 78 | - |1350 | 11k| 0 | 0 | 55 | 169k|4672 | 0.000000e+00 | -- | Inf
158.40/158.40 c 158s|130000 | 179 |662973 | 5.1 | 19M| 78 | - |1350 | 11k|1350 |1014 | 55 | 179k|4832 | 0.000000e+00 | -- | Inf
170.10/170.12 c 170s|140000 | 180 |728510 | 5.2 | 19M| 78 | - |1350 | 11k| 0 | 0 | 55 | 190k|5042 | 0.000000e+00 | -- | Inf
181.59/181.68 c 182s|150000 | 189 |788241 | 5.2 | 19M| 78 | - |1350 | 10k|1350 |1014 | 55 | 199k|5235 | 0.000000e+00 | -- | Inf
192.69/192.76 c 193s|160000 | 191 |841882 | 5.3 | 20M| 78 | 37 |1350 | 11k|1350 |1014 | 55 | 211k|5485 | 0.000000e+00 | -- | Inf
203.29/203.37 c 203s|170000 | 189 |881377 | 5.2 | 20M| 78 | - |1350 | 12k| 0 | 0 | 55 | 225k|5629 | 0.000000e+00 | -- | Inf
214.69/214.76 c 215s|180000 | 205 |926859 | 5.1 | 22M| 78 | 23 |1350 | 15k|1350 |1014 | 55 | 239k|5762 | 0.000000e+00 | -- | Inf
226.89/226.92 c 227s|190000 | 200 |976300 | 5.1 | 22M| 78 | - |1350 | 15k| 0 | 0 | 55 | 252k|5872 | 0.000000e+00 | -- | Inf
239.59/239.65 c 240s|200000 | 197 | 1022k| 5.1 | 22M| 80 | 39 |1350 | 16k|1350 |1014 | 55 | 266k|5984 | 0.000000e+00 | -- | Inf
251.69/251.74 c 252s|210000 | 194 | 1075k| 5.1 | 20M| 80 | 34 |1350 | 11k|1350 |1014 | 55 | 277k|6178 | 0.000000e+00 | -- | Inf
263.40/263.42 c 263s|220000 | 208 | 1131k| 5.1 | 21M| 80 | 37 |1350 | 13k|1350 |1014 | 55 | 291k|6349 | 0.000000e+00 | -- | Inf
274.39/274.50 c 274s|230000 | 205 | 1174k| 5.1 | 22M| 80 | - |1350 | 15k|1350 |1014 | 55 | 304k|6427 | 0.000000e+00 | -- | Inf
287.00/287.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.00/287.05 c 287s|240000 | 202 | 1230k| 5.1 | 22M| 80 | 31 |1350 | 15k|1350 |1014 | 55 | 317k|6567 | 0.000000e+00 | -- | Inf
298.79/298.84 c 299s|250000 | 198 | 1271k| 5.1 | 22M| 80 | 43 |1350 | 15k|1350 |1014 | 55 | 330k|6687 | 0.000000e+00 | -- | Inf
310.99/311.07 c 311s|260000 | 202 | 1318k| 5.1 | 23M| 80 | 45 |1350 | 17k|1350 |1014 | 55 | 343k|6839 | 0.000000e+00 | -- | Inf
323.50/323.59 c 324s|270000 | 208 | 1371k| 5.1 | 22M| 80 | 37 |1350 | 15k|1350 |1014 | 55 | 357k|7113 | 0.000000e+00 | -- | Inf
334.90/334.93 c 335s|280000 | 217 | 1406k| 5.0 | 24M| 80 | 39 |1350 | 17k|1350 |1014 | 55 | 372k|7160 | 0.000000e+00 | -- | Inf
347.09/347.13 c 347s|290000 | 212 | 1445k| 5.0 | 25M| 80 | 41 |1350 | 20k|1350 |1014 | 55 | 385k|7236 | 0.000000e+00 | -- | Inf
360.19/360.20 c 360s|300000 | 208 | 1487k| 5.0 | 25M| 80 | - |1350 | 20k| 0 | 0 | 55 | 398k|7323 | 0.000000e+00 | -- | Inf
372.90/372.92 c 373s|310000 | 216 | 1525k| 4.9 | 26M| 80 | - |1350 | 22k| 0 | 0 | 55 | 412k|7404 | 0.000000e+00 | -- | Inf
387.10/387.16 c 387s|320000 | 209 | 1577k| 4.9 | 26M| 80 | - |1350 | 20k| 0 | 0 | 55 | 424k|7483 | 0.000000e+00 | -- | Inf
400.50/400.53 c 401s|330000 | 209 | 1627k| 4.9 | 25M| 80 | 35 |1350 | 20k|1350 |1014 | 55 | 437k|7631 | 0.000000e+00 | -- | Inf
414.60/414.68 c 415s|340000 | 210 | 1689k| 5.0 | 26M| 80 | - |1350 | 21k|1350 |1014 | 55 | 450k|7813 | 0.000000e+00 | -- | Inf
428.30/428.36 c 428s|350000 | 206 | 1750k| 5.0 | 23M| 80 | - |1350 | 16k| 0 | 0 | 55 | 463k|8074 | 0.000000e+00 | -- | Inf
440.00/440.10 c 440s|360000 | 210 | 1795k| 5.0 | 23M| 80 | 24 |1350 | 16k|1350 |1014 | 55 | 477k|8280 | 0.000000e+00 | -- | Inf
450.69/450.79 c 451s|370000 | 209 | 1829k| 4.9 | 23M| 80 | 36 |1350 | 14k|1350 |1014 | 55 | 491k|8349 | 0.000000e+00 | -- | Inf
461.20/461.23 c 461s|380000 | 216 | 1863k| 4.9 | 23M| 80 | - |1350 | 14k| 0 | 0 | 55 | 505k|8508 | 0.000000e+00 | -- | Inf
471.99/472.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
471.99/472.07 c 472s|390000 | 216 | 1902k| 4.9 | 23M| 80 | - |1350 | 14k| 0 | 0 | 55 | 519k|8607 | 0.000000e+00 | -- | Inf
482.80/482.84 c 483s|400000 | 214 | 1936k| 4.8 | 23M| 80 | - |1350 | 16k| 0 | 0 | 55 | 533k|8691 | 0.000000e+00 | -- | Inf
494.49/494.59 c 495s|410000 | 224 | 1978k| 4.8 | 25M| 80 | - |1350 | 18k|1350 |1014 | 55 | 546k|8715 | 0.000000e+00 | -- | Inf
506.59/506.69 c 507s|420000 | 226 | 2014k| 4.8 | 25M| 80 | 27 |1350 | 19k|1350 |1014 | 55 | 560k|8820 | 0.000000e+00 | -- | Inf
519.40/519.46 c 519s|430000 | 215 | 2062k| 4.8 | 24M| 80 | 39 |1350 | 18k|1350 |1014 | 55 | 573k|8916 | 0.000000e+00 | -- | Inf
530.59/530.66 c 531s|440000 | 216 | 2096k| 4.8 | 25M| 80 | - |1350 | 19k| 0 | 0 | 55 | 587k|8983 | 0.000000e+00 | -- | Inf
542.60/542.67 c 543s|450000 | 218 | 2132k| 4.7 | 25M| 80 | 37 |1350 | 19k|1350 |1014 | 55 | 600k|9066 | 0.000000e+00 | -- | Inf
554.69/554.76 c 555s|460000 | 224 | 2173k| 4.7 | 25M| 80 | 40 |1350 | 19k|1350 |1014 | 55 | 613k|9132 | 0.000000e+00 | -- | Inf
566.89/566.92 c 567s|470000 | 219 | 2211k| 4.7 | 26M| 80 | 38 |1350 | 21k|1350 |1014 | 55 | 627k|9199 | 0.000000e+00 | -- | Inf
579.10/579.10 c 579s|480000 | 219 | 2253k| 4.7 | 26M| 80 | - |1350 | 19k|1350 |1014 | 55 | 640k|9287 | 0.000000e+00 | -- | Inf
591.90/591.91 c 592s|490000 | 222 | 2299k| 4.7 | 26M| 82 | 30 |1350 | 20k|1350 |1014 | 55 | 653k|9349 | 0.000000e+00 | -- | Inf
605.10/605.15 c 605s|500000 | 220 | 2348k| 4.7 | 26M| 82 | 42 |1350 | 21k|1350 |1014 | 55 | 665k|9449 | 0.000000e+00 | -- | Inf
617.69/617.71 c 618s|510000 | 225 | 2391k| 4.7 | 27M| 82 | 40 |1350 | 21k|1350 |1014 | 55 | 679k|9529 | 0.000000e+00 | -- | Inf
631.59/631.69 c 632s|520000 | 230 | 2441k| 4.7 | 28M| 82 | 31 |1350 | 23k|1350 |1014 | 55 | 693k|9596 | 0.000000e+00 | -- | Inf
646.10/646.10 c 646s|530000 | 230 | 2486k| 4.7 | 29M| 82 | 38 |1350 | 25k|1350 |1014 | 55 | 706k|9637 | 0.000000e+00 | -- | Inf
661.19/661.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
661.19/661.28 c 661s|540000 | 241 | 2539k| 4.7 | 30M| 82 | 28 |1350 | 28k|1350 |1014 | 55 | 720k|9687 | 0.000000e+00 | -- | Inf
676.40/676.47 c 676s|550000 | 228 | 2590k| 4.7 | 28M| 83 | - |1350 | 23k| 0 | 0 | 55 | 733k|9785 | 0.000000e+00 | -- | Inf
690.20/690.25 c 690s|560000 | 223 | 2645k| 4.7 | 26M| 83 | - |1350 | 20k|1350 |1014 | 55 | 748k|9995 | 0.000000e+00 | -- | Inf
702.50/702.58 c 703s|570000 | 227 | 2689k| 4.7 | 26M| 83 | 37 |1350 | 19k|1350 |1014 | 55 | 760k| 10k| 0.000000e+00 | -- | Inf
714.70/714.74 c 715s|580000 | 229 | 2723k| 4.7 | 27M| 83 | - |1350 | 21k| 0 | 0 | 55 | 773k| 10k| 0.000000e+00 | -- | Inf
727.60/727.60 c 728s|590000 | 238 | 2758k| 4.7 | 28M| 83 | 33 |1350 | 23k|1350 |1014 | 55 | 787k| 10k| 0.000000e+00 | -- | Inf
740.60/740.60 c 741s|600000 | 232 | 2791k| 4.7 | 28M| 83 | - |1350 | 23k| 0 | 0 | 55 | 801k| 10k| 0.000000e+00 | -- | Inf
753.80/753.90 c 754s|610000 | 226 | 2840k| 4.7 | 26M| 83 | 30 |1350 | 18k|1350 |1014 | 55 | 812k| 10k| 0.000000e+00 | -- | Inf
766.09/766.14 c 766s|620000 | 223 | 2896k| 4.7 | 26M| 83 | 35 |1350 | 18k|1350 |1014 | 55 | 821k| 10k| 0.000000e+00 | -- | Inf
777.70/777.73 c 778s|630000 | 227 | 2932k| 4.7 | 27M| 83 | 40 |1350 | 20k|1350 |1014 | 55 | 835k| 10k| 0.000000e+00 | -- | Inf
790.00/790.06 c 790s|640000 | 223 | 2968k| 4.6 | 27M| 83 | 40 |1350 | 21k|1350 |1014 | 55 | 848k| 10k| 0.000000e+00 | -- | Inf
802.80/802.80 c 803s|650000 | 222 | 3013k| 4.6 | 26M| 83 | - |1350 | 19k|1350 |1014 | 55 | 861k| 10k| 0.000000e+00 | -- | Inf
816.11/816.18 c 816s|660000 | 223 | 3071k| 4.7 | 27M| 83 | 40 |1350 | 21k|1350 |1014 | 55 | 873k| 10k| 0.000000e+00 | -- | Inf
829.20/829.23 c 829s|670000 | 227 | 3118k| 4.7 | 28M| 83 | - |1350 | 23k| 0 | 0 | 55 | 886k| 10k| 0.000000e+00 | -- | Inf
842.40/842.47 c 842s|680000 | 220 | 3161k| 4.6 | 27M| 83 | 35 |1350 | 21k|1350 |1014 | 55 | 899k| 11k| 0.000000e+00 | -- | Inf
855.30/855.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
855.30/855.30 c 855s|690000 | 222 | 3215k| 4.7 | 27M| 83 | 37 |1350 | 20k|1350 |1014 | 55 | 913k| 11k| 0.000000e+00 | -- | Inf
869.10/869.14 c 869s|700000 | 228 | 3278k| 4.7 | 27M| 83 | 24 |1350 | 21k|1350 |1014 | 55 | 926k| 11k| 0.000000e+00 | -- | Inf
882.60/882.66 c 883s|710000 | 222 | 3335k| 4.7 | 28M| 83 | 47 |1350 | 22k|1350 |1014 | 55 | 938k| 11k| 0.000000e+00 | -- | Inf
897.30/897.38 c 897s|720000 | 212 | 3404k| 4.7 | 27M| 83 | - |1350 | 20k|1350 |1014 | 55 | 951k| 11k| 0.000000e+00 | -- | Inf
910.40/910.45 c 910s|730000 | 218 | 3452k| 4.7 | 28M| 83 | 30 |1350 | 21k|1350 |1014 | 55 | 966k| 11k| 0.000000e+00 | -- | Inf
923.10/923.16 c 923s|740000 | 215 | 3491k| 4.7 | 30M| 83 | - |1350 | 25k| 0 | 0 | 55 | 979k| 11k| 0.000000e+00 | -- | Inf
937.90/937.97 c 938s|750000 | 223 | 3542k| 4.7 | 31M| 83 | - |1350 | 28k|1350 |1014 | 55 | 994k| 11k| 0.000000e+00 | -- | Inf
951.70/951.77 c 952s|760000 | 216 | 3586k| 4.7 | 27M| 83 | 34 |1350 | 20k|1350 |1014 | 55 |1007k| 12k| 0.000000e+00 | -- | Inf
963.90/963.96 c 964s|770000 | 222 | 3622k| 4.7 | 28M| 83 | 42 |1350 | 22k|1350 |1014 | 55 |1021k| 12k| 0.000000e+00 | -- | Inf
977.40/977.49 c 977s|780000 | 217 | 3669k| 4.7 | 29M| 83 | 48 |1350 | 24k|1350 |1014 | 55 |1035k| 12k| 0.000000e+00 | -- | Inf
990.70/990.71 c 991s|790000 | 215 | 3708k| 4.7 | 29M| 83 | 35 |1350 | 24k|1350 |1014 | 55 |1048k| 12k| 0.000000e+00 | -- | Inf
1004.40/1004.42 c 1004s|800000 | 228 | 3750k| 4.7 | 30M| 83 | 48 |1350 | 26k|1350 |1014 | 55 |1062k| 12k| 0.000000e+00 | -- | Inf
1019.20/1019.24 c 1019s|810000 | 222 | 3800k| 4.7 | 30M| 83 | - |1350 | 26k| 0 | 0 | 55 |1076k| 12k| 0.000000e+00 | -- | Inf
1033.30/1033.35 c 1033s|820000 | 210 | 3845k| 4.7 | 28M| 83 | 36 |1350 | 22k|1350 |1014 | 55 |1090k| 12k| 0.000000e+00 | -- | Inf
1045.60/1045.65 c 1046s|830000 | 217 | 3884k| 4.7 | 27M| 83 | 38 |1350 | 20k|1350 |1014 | 55 |1106k| 12k| 0.000000e+00 | -- | Inf
1058.11/1058.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1058.11/1058.12 c 1058s|840000 | 217 | 3917k| 4.7 | 28M| 83 | 37 |1350 | 22k|1350 |1014 | 55 |1119k| 12k| 0.000000e+00 | -- | Inf
1071.90/1071.98 c 1072s|850000 | 226 | 3962k| 4.7 | 28M| 83 | 36 |1350 | 22k|1350 |1014 | 55 |1134k| 12k| 0.000000e+00 | -- | Inf
1085.40/1085.42 c 1085s|860000 | 223 | 4001k| 4.7 | 29M| 83 | 36 |1350 | 23k|1350 |1014 | 55 |1148k| 13k| 0.000000e+00 | -- | Inf
1098.71/1098.75 c 1099s|870000 | 220 | 4048k| 4.7 | 27M| 83 | 38 |1350 | 20k|1350 |1014 | 55 |1162k| 13k| 0.000000e+00 | -- | Inf
1111.60/1111.69 c 1112s|880000 | 222 | 4097k| 4.7 | 27M| 83 | - |1350 | 20k|1350 |1014 | 55 |1176k| 13k| 0.000000e+00 | -- | Inf
1124.21/1124.22 c 1124s|890000 | 229 | 4140k| 4.7 | 27M| 83 | 34 |1350 | 19k|1350 |1014 | 55 |1190k| 13k| 0.000000e+00 | -- | Inf
1137.20/1137.20 c 1137s|900000 | 228 | 4183k| 4.6 | 28M| 83 | 42 |1350 | 22k|1350 |1014 | 55 |1204k| 13k| 0.000000e+00 | -- | Inf
1151.50/1151.53 c 1152s|910000 | 228 | 4246k| 4.7 | 29M| 83 | 34 |1350 | 24k|1350 |1014 | 55 |1216k| 13k| 0.000000e+00 | -- | Inf
1165.40/1165.47 c 1165s|920000 | 229 | 4312k| 4.7 | 29M| 83 | 40 |1350 | 22k|1350 |1014 | 55 |1229k| 13k| 0.000000e+00 | -- | Inf
1180.10/1180.20 c 1180s|930000 | 230 | 4376k| 4.7 | 30M| 83 | - |1350 | 24k| 0 | 0 | 55 |1245k| 13k| 0.000000e+00 | -- | Inf
1195.81/1195.83 c 1196s|940000 | 230 | 4452k| 4.7 | 29M| 83 | 30 |1350 | 23k|1350 |1014 | 55 |1257k| 13k| 0.000000e+00 | -- | Inf
1210.30/1210.35 c 1210s|950000 | 230 | 4515k| 4.8 | 30M| 83 | 44 |1350 | 24k|1350 |1014 | 55 |1270k| 13k| 0.000000e+00 | -- | Inf
1225.21/1225.21 c 1225s|960000 | 220 | 4569k| 4.8 | 30M| 85 | - |1350 | 24k| 0 | 0 | 55 |1287k| 13k| 0.000000e+00 | -- | Inf
1238.40/1238.43 c 1238s|970000 | 229 | 4616k| 4.8 | 29M| 85 | 41 |1350 | 22k|1350 |1014 | 55 |1301k| 14k| 0.000000e+00 | -- | Inf
1252.00/1252.05 c 1252s|980000 | 236 | 4663k| 4.8 | 30M| 85 | 34 |1350 | 24k|1350 |1014 | 55 |1316k| 14k| 0.000000e+00 | -- | Inf
1265.70/1265.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1265.70/1265.75 c 1266s|990000 | 232 | 4702k| 4.7 | 29M| 85 | 34 |1350 | 22k|1350 |1014 | 55 |1330k| 14k| 0.000000e+00 | -- | Inf
1278.00/1278.06 c 1278s| 1000k| 226 | 4733k| 4.7 | 29M| 85 | 38 |1350 | 23k|1350 |1014 | 55 |1345k| 14k| 0.000000e+00 | -- | Inf
1291.41/1291.49 c 1291s| 1010k| 227 | 4775k| 4.7 | 30M| 85 | 28 |1350 | 24k|1350 |1014 | 55 |1359k| 14k| 0.000000e+00 | -- | Inf
1303.91/1303.99 c 1304s| 1020k| 220 | 4807k| 4.7 | 30M| 85 | 48 |1350 | 23k|1350 |1014 | 55 |1373k| 14k| 0.000000e+00 | -- | Inf
1317.01/1317.01 c 1317s| 1030k| 235 | 4850k| 4.7 | 31M| 85 | - |1350 | 26k| 0 | 0 | 55 |1386k| 14k| 0.000000e+00 | -- | Inf
1330.60/1330.62 c 1331s| 1040k| 227 | 4894k| 4.7 | 30M| 85 | 44 |1350 | 24k|1350 |1014 | 55 |1399k| 14k| 0.000000e+00 | -- | Inf
1344.11/1344.17 c 1344s| 1050k| 235 | 4935k| 4.7 | 30M| 85 | - |1350 | 25k| 0 | 0 | 55 |1413k| 14k| 0.000000e+00 | -- | Inf
1357.81/1357.88 c 1358s| 1060k| 236 | 4975k| 4.7 | 31M| 85 | 30 |1350 | 26k|1350 |1014 | 55 |1427k| 14k| 0.000000e+00 | -- | Inf
1372.51/1372.53 c 1373s| 1070k| 236 | 5025k| 4.7 | 32M| 85 | 34 |1350 | 28k|1350 |1014 | 55 |1441k| 14k| 0.000000e+00 | -- | Inf
1387.81/1387.80 c 1388s| 1080k| 226 | 5073k| 4.7 | 32M| 86 | 37 |1350 | 27k|1350 |1014 | 55 |1454k| 14k| 0.000000e+00 | -- | Inf
1401.61/1401.60 c 1402s| 1090k| 228 | 5113k| 4.7 | 32M| 86 | 28 |1350 | 27k|1350 |1014 | 55 |1467k| 14k| 0.000000e+00 | -- | Inf
1415.91/1415.99 c 1416s| 1100k| 231 | 5160k| 4.7 | 33M| 86 | 32 |1350 | 29k|1350 |1014 | 55 |1480k| 14k| 0.000000e+00 | -- | Inf
1432.00/1432.02 c 1432s| 1110k| 232 | 5220k| 4.7 | 34M| 86 | - |1350 | 31k| 0 | 0 | 55 |1493k| 14k| 0.000000e+00 | -- | Inf
1448.21/1448.24 c 1448s| 1120k| 238 | 5269k| 4.7 | 31M| 86 | 37 |1350 | 26k|1350 |1014 | 55 |1506k| 14k| 0.000000e+00 | -- | Inf
1462.21/1462.22 c 1462s| 1130k| 236 | 5321k| 4.7 | 33M| 86 | - |1350 | 28k|1350 |1014 | 55 |1519k| 14k| 0.000000e+00 | -- | Inf
1475.81/1475.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1475.81/1475.86 c 1476s| 1140k| 237 | 5365k| 4.7 | 32M| 86 | 40 |1350 | 28k|1350 |1014 | 55 |1533k| 15k| 0.000000e+00 | -- | Inf
1490.41/1490.44 c 1490s| 1150k| 242 | 5413k| 4.7 | 34M| 87 | - |1350 | 30k|1350 |1014 | 55 |1546k| 15k| 0.000000e+00 | -- | Inf
1504.60/1504.62 c 1505s| 1160k| 233 | 5456k| 4.7 | 33M| 87 | - |1350 | 29k|1350 |1014 | 55 |1560k| 15k| 0.000000e+00 | -- | Inf
1519.81/1519.85 c 1520s| 1170k| 240 | 5503k| 4.7 | 35M| 88 | 44 |1350 | 32k|1350 |1014 | 55 |1575k| 15k| 0.000000e+00 | -- | Inf
1534.91/1534.98 c 1535s| 1180k| 235 | 5547k| 4.7 | 34M| 90 | 42 |1350 | 30k|1350 |1014 | 55 |1589k| 15k| 0.000000e+00 | -- | Inf
1549.70/1549.79 c 1550s| 1190k| 237 | 5585k| 4.7 | 33M| 90 | 32 |1350 | 29k|1350 |1014 | 55 |1603k| 15k| 0.000000e+00 | -- | Inf
1564.21/1564.24 c 1564s| 1200k| 246 | 5618k| 4.7 | 33M| 90 | 42 |1350 | 30k|1350 |1014 | 55 |1617k| 15k| 0.000000e+00 | -- | Inf
1578.71/1578.70 c 1579s| 1210k| 245 | 5676k| 4.7 | 32M| 90 | - |1350 | 26k|1350 |1014 | 55 |1624k| 15k| 0.000000e+00 | -- | Inf
1592.61/1592.62 c 1593s| 1220k| 243 | 5723k| 4.7 | 30M| 90 | 34 |1350 | 23k|1350 |1014 | 55 |1634k| 15k| 0.000000e+00 | -- | Inf
1606.02/1606.04 c 1606s| 1230k| 245 | 5767k| 4.7 | 30M| 90 | - |1350 | 24k| 0 | 0 | 55 |1647k| 15k| 0.000000e+00 | -- | Inf
1619.51/1619.52 c 1620s| 1240k| 237 | 5807k| 4.7 | 30M| 90 | 29 |1350 | 22k|1350 |1014 | 55 |1661k| 15k| 0.000000e+00 | -- | Inf
1632.91/1632.92 c 1633s| 1250k| 238 | 5856k| 4.7 | 31M| 90 | - |1350 | 24k| 0 | 0 | 55 |1675k| 15k| 0.000000e+00 | -- | Inf
1647.31/1647.37 c 1647s| 1260k| 245 | 5910k| 4.7 | 32M| 90 | 36 |1350 | 26k|1350 |1014 | 55 |1688k| 16k| 0.000000e+00 | -- | Inf
1662.41/1662.49 c 1662s| 1270k| 246 | 5957k| 4.7 | 33M| 90 | 39 |1350 | 28k|1350 |1014 | 55 |1703k| 16k| 0.000000e+00 | -- | Inf
1676.51/1676.56 c 1677s| 1280k| 248 | 6006k| 4.7 | 31M| 90 | 23 |1350 | 25k|1350 |1014 | 55 |1716k| 16k| 0.000000e+00 | -- | Inf
1690.51/1690.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1690.51/1690.54 c 1691s| 1290k| 241 | 6051k| 4.7 | 32M| 90 | - |1350 | 27k|1350 |1014 | 55 |1730k| 16k| 0.000000e+00 | -- | Inf
1705.21/1705.27 c 1705s| 1300k| 254 | 6100k| 4.7 | 32M| 90 | 28 |1350 | 26k|1350 |1014 | 55 |1743k| 16k| 0.000000e+00 | -- | Inf
1718.21/1718.25 c 1718s| 1310k| 246 | 6133k| 4.7 | 33M| 90 | 34 |1350 | 27k|1350 |1014 | 55 |1757k| 16k| 0.000000e+00 | -- | Inf
1732.91/1732.92 c 1733s| 1320k| 234 | 6184k| 4.7 | 32M| 90 | - |1350 | 25k| 0 | 0 | 55 |1770k| 16k| 0.000000e+00 | -- | Inf
1746.21/1746.22 c 1746s| 1330k| 249 | 6225k| 4.7 | 32M| 90 | 30 |1350 | 27k|1350 |1014 | 55 |1785k| 16k| 0.000000e+00 | -- | Inf
1760.02/1760.07 c 1760s| 1340k| 246 | 6268k| 4.7 | 33M| 90 | 34 |1350 | 29k|1350 |1014 | 55 |1799k| 16k| 0.000000e+00 | -- | Inf
1773.61/1773.68 c 1774s| 1350k| 262 | 6304k| 4.7 | 34M| 90 | - |1350 | 30k| 0 | 0 | 55 |1814k| 16k| 0.000000e+00 | -- | Inf
1787.71/1787.77 c 1788s| 1360k| 259 | 6341k| 4.7 | 33M| 90 | 31 |1350 | 28k|1350 |1014 | 55 |1828k| 16k| 0.000000e+00 | -- | Inf
1797.01/1797.00 c
1797.01/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.01/1797.00 c Solving Time (sec) : 1797.00
1797.01/1797.00 c Solving Nodes : 1366282
1797.01/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.01/1797.00 c Dual Bound : +0.00000000000000e+00
1797.01/1797.00 c Gap : infinite
1797.01/1797.00 s UNKNOWN
1797.01/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.01/1797.00 c Total Time : 1797.00
1797.01/1797.00 c solving : 1797.00
1797.01/1797.00 c presolving : 0.04 (included in solving)
1797.01/1797.00 c reading : 0.01 (included in solving)
1797.01/1797.00 c Original Problem :
1797.01/1797.00 c Problem name : HOME/instance-3485855-1307753668.opb
1797.01/1797.00 c Variables : 1350 (1350 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.01/1797.00 c Constraints : 990 initial, 990 maximal
1797.01/1797.00 c Presolved Problem :
1797.01/1797.00 c Problem name : t_HOME/instance-3485855-1307753668.opb
1797.01/1797.00 c Variables : 1350 (1350 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.01/1797.00 c Constraints : 990 initial, 32558 maximal
1797.01/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.01/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c setppc : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c logicor : 0.02 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c root node : - 0 - - 0 - - - - -
1797.01/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.01/1797.00 c integral : 0 0 0 818767 0 1 0 20 157 0 0 1637192
1797.01/1797.00 c setppc : 60 5 5606861 0 2 0 54140512 470941 22801476 0 0 0
1797.01/1797.00 c linear : 0+ 5 23 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c logicor : 930+ 5 3024841 0 2 0 6810979 181316 7552422 0 0 0
1797.01/1797.00 c countsols : 0 0 0 0 2 0 0 0 0 0 0 0
1797.01/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.01/1797.00 c integral : 41.68 0.00 0.00 41.68 0.00 0.00 0.00
1797.01/1797.00 c setppc : 95.47 0.00 84.60 0.00 0.00 0.00 10.86
1797.01/1797.00 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.01/1797.00 c logicor : 367.74 0.00 351.81 0.00 0.00 0.00 15.92
1797.01/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.01/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.01/1797.00 c vbounds : 0 0 0 0
1797.01/1797.00 c rootredcost : 0 0 0 0
1797.01/1797.00 c pseudoobj : 0 0 0 0
1797.01/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.01/1797.00 c vbounds : 0.73 0.73 0.00
1797.01/1797.00 c rootredcost : 0.75 0.75 0.00
1797.01/1797.00 c pseudoobj : 0.57 0.57 0.00
1797.01/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.01/1797.00 c propagation : 62.71 652257 652255 8185287 63.5 9524 55.7 -
1797.01/1797.00 c infeasible LP : 97.38 161743 112378 2713548 173.0 1632 56.2 0
1797.01/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.01/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.01/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.01/1797.00 c applied globally : - - - 1836902 50.3 - - -
1797.01/1797.00 c applied locally : - - - 0 0.0 - - -
1797.01/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.01/1797.00 c cut pool : 0.00 4 - - 0 - (maximal pool size: 319)
1797.01/1797.00 c redcost : 15.99 818717 0 0 0 0
1797.01/1797.00 c impliedbounds : 0.00 5 0 0 0 0
1797.01/1797.00 c intobj : 0.00 0 0 0 0 0
1797.01/1797.00 c gomory : 0.17 5 0 0 1697 0
1797.01/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.01/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.01/1797.00 c strongcg : 0.62 5 0 0 2500 0
1797.01/1797.00 c cmir : 0.00 0 0 0 0 0
1797.01/1797.00 c flowcover : 0.00 0 0 0 0 0
1797.01/1797.00 c clique : 0.00 5 0 0 0 0
1797.01/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.01/1797.00 c mcf : 0.00 1 0 0 0 0
1797.01/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.01/1797.00 c rapidlearning : 0.05 1 0 0 0 38
1797.01/1797.00 c Pricers : Time Calls Vars
1797.01/1797.00 c problem variables: 0.00 0 0
1797.01/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.01/1797.00 c relpscost : 41.09 818767 20 157 0 0 1637192
1797.01/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.01/1797.00 c inference : 0.00 2 0 0 0 0 4
1797.01/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.01/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.01/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.01/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.01/1797.00 c random : 0.00 0 0 0 0 0 0
1797.01/1797.00 c Primal Heuristics : Time Calls Found
1797.01/1797.00 c LP solutions : 0.00 - 0
1797.01/1797.00 c pseudo solutions : 0.00 - 0
1797.01/1797.00 c trivial : 0.00 1 0
1797.01/1797.00 c shiftandpropagate: 0.00 0 0
1797.01/1797.00 c simplerounding : 0.00 0 0
1797.01/1797.00 c zirounding : 0.00 0 0
1797.01/1797.00 c rounding : 0.00 0 0
1797.01/1797.00 c shifting : 0.00 0 0
1797.01/1797.00 c intshifting : 0.00 0 0
1797.01/1797.00 c oneopt : 0.00 0 0
1797.01/1797.00 c twoopt : 0.00 0 0
1797.01/1797.00 c fixandinfer : 0.00 0 0
1797.01/1797.00 c feaspump : 0.00 0 0
1797.01/1797.00 c clique : 0.00 0 0
1797.01/1797.00 c coefdiving : 0.00 0 0
1797.01/1797.00 c pscostdiving : 0.00 0 0
1797.01/1797.00 c fracdiving : 0.00 0 0
1797.01/1797.00 c veclendiving : 0.00 0 0
1797.01/1797.00 c intdiving : 0.00 0 0
1797.01/1797.00 c actconsdiving : 0.00 0 0
1797.01/1797.00 c objpscostdiving : 0.00 0 0
1797.01/1797.00 c rootsoldiving : 0.00 0 0
1797.01/1797.00 c linesearchdiving : 0.00 0 0
1797.01/1797.00 c guideddiving : 0.00 0 0
1797.01/1797.00 c octane : 0.00 0 0
1797.01/1797.00 c rens : 0.00 0 0
1797.01/1797.00 c rins : 0.00 0 0
1797.01/1797.00 c localbranching : 0.00 0 0
1797.01/1797.00 c mutation : 0.00 0 0
1797.01/1797.00 c crossover : 0.00 0 0
1797.01/1797.00 c dins : 0.00 0 0
1797.01/1797.00 c vbounds : 0.00 0 0
1797.01/1797.00 c undercover : 0.00 0 0
1797.01/1797.00 c subnlp : 0.00 0 0
1797.01/1797.00 c trysol : 0.00 0 0
1797.01/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.01/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.01/1797.00 c dual LP : 638.71 980318 6378150 6.51 9985.91
1797.01/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.01/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.01/1797.00 c diving/probing LP: 0.00 0 0 0.00 -
1797.01/1797.00 c strong branching : 30.24 16601 243875 14.69 8064.61
1797.01/1797.00 c (at root node) : - 17 834 49.06 -
1797.01/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.01/1797.00 c B&B Tree :
1797.01/1797.00 c number of runs : 1
1797.01/1797.00 c nodes : 1366282
1797.01/1797.00 c nodes (total) : 1366282
1797.01/1797.00 c nodes left : 253
1797.01/1797.00 c max depth : 90
1797.01/1797.00 c max depth (total): 90
1797.01/1797.00 c backtracks : 346537 (25.4%)
1797.01/1797.00 c delayed cutoffs : 270662
1797.01/1797.00 c repropagations : 1631276 (11051352 domain reductions, 266336 cutoffs)
1797.01/1797.00 c avg switch length: 3.85
1797.01/1797.00 c switching time : 273.10
1797.01/1797.00 c Solution :
1797.01/1797.00 c Solutions found : 0 (0 improvements)
1797.01/1797.00 c Primal Bound : -
1797.01/1797.00 c Dual Bound : +0.00000000000000e+00
1797.01/1797.00 c Gap : infinite
1797.01/1797.00 c Root Dual Bound : +0.00000000000000e+00
1797.01/1797.00 c Root Iterations : 1830
1797.01/1797.04 c Time complete: 1797.05.
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-3485855-1307753668/watcher-3485855-1307753668 -o /tmp/evaluation-result-3485855-1307753668/solver-3485855-1307753668 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485855-1307753668.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.02 2.01 1.91 2/177 9519
/proc/meminfo: memFree=30656680/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=10488 CPUtime=0 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 1560 0 0 0 0 0 0 0 25 0 1 0 886965307 10739712 1515 33554432000 4194304 8979876 140734738371856 18446744073709551615 7791544 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9519/statm: 2622 1530 363 1169 0 1449 0
[startup+0.0957431 s]
/proc/loadavg: 2.02 2.01 1.91 2/177 9519
/proc/meminfo: memFree=30656680/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=29172 CPUtime=0.08 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 6499 0 0 0 8 0 0 0 25 0 1 0 886965307 29872128 6130 33554432000 4194304 8979876 140734738371856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9519/statm: 7293 6130 609 1169 0 6120 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29172
[startup+0.100736 s]
/proc/loadavg: 2.02 2.01 1.91 2/177 9519
/proc/meminfo: memFree=30656680/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=29172 CPUtime=0.09 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 6501 0 0 0 9 0 0 0 25 0 1 0 886965307 29872128 6132 33554432000 4194304 8979876 140734738371856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9519/statm: 7293 6132 609 1169 0 6120 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29172
[startup+0.300714 s]
/proc/loadavg: 2.02 2.01 1.91 2/177 9519
/proc/meminfo: memFree=30656680/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=52644 CPUtime=0.29 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 12625 0 0 0 28 1 0 0 25 0 1 0 886965307 53907456 11831 33554432000 4194304 8979876 140734738371856 18446744073709551615 6584200 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9519/statm: 13161 11831 667 1169 0 11988 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52644
[startup+0.700635 s]
/proc/loadavg: 2.02 2.01 1.91 2/177 9519
/proc/meminfo: memFree=30656680/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=52644 CPUtime=0.69 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 12917 0 0 0 68 1 0 0 25 0 1 0 886965307 53907456 12111 33554432000 4194304 8979876 140734738371856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9519/statm: 13161 12111 667 1169 0 11988 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52644
[startup+1.5005 s]
/proc/loadavg: 2.01 2.01 1.91 3/178 9520
/proc/meminfo: memFree=30610568/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=52644 CPUtime=1.49 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 12997 0 0 0 147 2 0 0 25 0 1 0 886965307 53907456 12191 33554432000 4194304 8979876 140734738371856 18446744073709551615 7179628 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9519/statm: 13161 12191 671 1169 0 11988 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52644
[startup+3.10023 s]
/proc/loadavg: 2.01 2.01 1.91 3/178 9520
/proc/meminfo: memFree=30610160/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=52644 CPUtime=3.09 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 12997 0 0 0 305 4 0 0 25 0 1 0 886965307 53907456 12191 33554432000 4194304 8979876 140734738371856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9519/statm: 13161 12191 671 1169 0 11988 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52644
[startup+6.3007 s]
/proc/loadavg: 2.01 2.01 1.91 3/178 9520
/proc/meminfo: memFree=30609912/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=52644 CPUtime=6.29 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 12997 0 0 0 622 7 0 0 25 0 1 0 886965307 53907456 12191 33554432000 4194304 8979876 140734738371856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9519/statm: 13161 12191 671 1169 0 11988 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52644
[startup+12.7006 s]
/proc/loadavg: 2.01 2.01 1.91 3/178 9521
/proc/meminfo: memFree=30609344/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=52644 CPUtime=12.69 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 13002 0 0 0 1255 14 0 0 25 0 1 0 886965307 53907456 12196 33554432000 4194304 8979876 140734738371856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/9519/statm: 13161 12196 674 1169 0 11988 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52644
[startup+25.5005 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 9521
/proc/meminfo: memFree=30608448/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=53708 CPUtime=25.49 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 13280 0 0 0 2524 25 0 0 25 0 1 0 886965307 54996992 12474 33554432000 4194304 8979876 140734738371856 18446744073709551615 7068286 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 13427 12474 674 1169 0 12254 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 53708
[startup+51.1012 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 9522
/proc/meminfo: memFree=30602404/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=59424 CPUtime=51.09 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 14644 0 0 0 5069 40 0 0 25 0 1 0 886965307 60850176 13838 33554432000 4194304 8979876 140734738371856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 14856 13838 674 1169 0 13683 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 59424
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 9637
/proc/meminfo: memFree=31389400/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=65624 CPUtime=102.29 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 16229 0 0 0 10159 70 0 0 25 0 1 0 886965307 67198976 15419 33554432000 4194304 8979876 140734738371856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 16406 15419 674 1169 0 15233 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 65624
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 9639
/proc/meminfo: memFree=31387336/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=66952 CPUtime=162.29 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 16584 0 0 0 16114 115 0 0 25 0 1 0 886965307 68558848 15765 33554432000 4194304 8979876 140734738371856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 16738 15765 674 1169 0 15565 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 66952
[startup+222.3 s]
/proc/loadavg: 1.97 1.98 1.91 3/178 9716
/proc/meminfo: memFree=31362656/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=68788 CPUtime=222.3 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 17040 0 0 0 22075 155 0 0 25 0 1 0 886965307 70438912 16221 33554432000 4194304 8979876 140734738371856 18446744073709551615 6446025 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 17197 16221 674 1169 0 16024 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 68788
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 9718
/proc/meminfo: memFree=31365628/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=70720 CPUtime=282.29 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 17487 0 0 0 28037 192 0 0 25 0 1 0 886965307 72417280 16668 33554432000 4194304 8979876 140734738371856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 17680 16668 674 1169 0 16507 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 70720
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 9720
/proc/meminfo: memFree=31351940/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=72568 CPUtime=342.3 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 17964 0 0 0 34004 226 0 0 25 0 1 0 886965307 74309632 17144 33554432000 4194304 8979876 140734738371856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 18142 17144 674 1169 0 16969 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 72568
[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/178 9730
/proc/meminfo: memFree=31348956/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=73920 CPUtime=402.3 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 18122 0 0 0 39974 256 0 0 25 0 1 0 886965307 75694080 17302 33554432000 4194304 8979876 140734738371856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 18480 17302 674 1169 0 17307 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 73920
[startup+462.301 s]
/proc/loadavg: 2.03 2.00 1.91 3/178 9732
/proc/meminfo: memFree=31343044/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=74160 CPUtime=462.3 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 18220 0 0 0 45940 290 0 0 25 0 1 0 886965307 75939840 17400 33554432000 4194304 8979876 140734738371856 18446744073709551615 5382049 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 18540 17400 674 1169 0 17367 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 74160
[startup+522.301 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 9733
/proc/meminfo: memFree=31336328/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=74160 CPUtime=522.3 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 18237 0 0 0 51907 323 0 0 25 0 1 0 886965307 75939840 17417 33554432000 4194304 8979876 140734738371856 18446744073709551615 5381791 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 18540 17417 674 1169 0 17367 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 74160
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 9737
/proc/meminfo: memFree=31332068/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=74628 CPUtime=582.29 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 18334 0 0 0 57877 352 0 0 25 0 1 0 886965307 76419072 17514 33554432000 4194304 8979876 140734738371856 18446744073709551615 6386172 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 18657 17514 674 1169 0 17484 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 74628
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31280684/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=82804 CPUtime=1122.3 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 20272 0 0 0 111598 632 0 0 25 0 1 0 886965307 84791296 19452 33554432000 4194304 8979876 140734738371856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 20701 19452 674 1169 0 19528 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 82804
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/178 9754
/proc/meminfo: memFree=31277676/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=82804 CPUtime=1182.31 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 20272 0 0 0 117565 666 0 0 25 0 1 0 886965307 84791296 19452 33554432000 4194304 8979876 140734738371856 18446744073709551615 5381791 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 20701 19452 674 1169 0 19528 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 82804
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9756
/proc/meminfo: memFree=31271056/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=82936 CPUtime=1242.3 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 20340 0 0 0 123536 694 0 0 25 0 1 0 886965307 84926464 19520 33554432000 4194304 8979876 140734738371856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 20734 19520 674 1169 0 19561 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 82936
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9757
/proc/meminfo: memFree=31265928/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=82936 CPUtime=1302.31 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 20345 0 0 0 129510 721 0 0 25 0 1 0 886965307 84926464 19525 33554432000 4194304 8979876 140734738371856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 20734 19525 674 1169 0 19561 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 82936
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9759
/proc/meminfo: memFree=31264780/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=83716 CPUtime=1362.3 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 20511 0 0 0 135480 750 0 0 25 0 1 0 886965307 85725184 19691 33554432000 4194304 8979876 140734738371856 18446744073709551615 5381809 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 20929 19691 674 1169 0 19756 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 83716
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9760
/proc/meminfo: memFree=31255816/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=84268 CPUtime=1422.31 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 20740 0 0 0 141455 776 0 0 25 0 1 0 886965307 86290432 19920 33554432000 4194304 8979876 140734738371856 18446744073709551615 5371891 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 21067 19920 674 1169 0 19894 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 84268
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9762
/proc/meminfo: memFree=31244376/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=86300 CPUtime=1482.31 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 21204 0 0 0 147425 806 0 0 25 0 1 0 886965307 88371200 20384 33554432000 4194304 8979876 140734738371856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 21575 20384 674 1169 0 20402 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 86300
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9764
/proc/meminfo: memFree=31242216/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=89116 CPUtime=1542.31 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 21903 0 0 0 153397 834 0 0 25 0 1 0 886965307 91254784 21083 33554432000 4194304 8979876 140734738371856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 22279 21083 674 1169 0 21106 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 89116
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/178 9765
/proc/meminfo: memFree=31238456/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=89828 CPUtime=1602.31 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 21999 0 0 0 159370 861 0 0 25 0 1 0 886965307 91983872 21179 33554432000 4194304 8979876 140734738371856 18446744073709551615 4330208 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 22457 21179 674 1169 0 21284 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 89828
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 9767
/proc/meminfo: memFree=31233584/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=89828 CPUtime=1662.31 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 22003 0 0 0 165342 889 0 0 25 0 1 0 886965307 91983872 21183 33554432000 4194304 8979876 140734738371856 18446744073709551615 5381809 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 22457 21183 674 1169 0 21284 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 89828
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9768
/proc/meminfo: memFree=31230076/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=89828 CPUtime=1722.31 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 22006 0 0 0 171316 915 0 0 25 0 1 0 886965307 91983872 21186 33554432000 4194304 8979876 140734738371856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 22457 21186 674 1169 0 21284 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 89828
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9770
/proc/meminfo: memFree=31228672/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=90668 CPUtime=1782.31 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 22190 0 0 0 177289 942 0 0 25 0 1 0 886965307 92844032 21370 33554432000 4194304 8979876 140734738371856 18446744073709551615 6427099 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 22667 21370 674 1169 0 21494 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 90668
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9770
/proc/meminfo: memFree=31223960/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=90668 CPUtime=1785.51 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 22190 0 0 0 177608 943 0 0 25 0 1 0 886965307 92844032 21370 33554432000 4194304 8979876 140734738371856 18446744073709551615 5381842 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 22667 21370 674 1169 0 21494 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (KiB) 90668
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9770
/proc/meminfo: memFree=31225816/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=90668 CPUtime=1791.92 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 22191 0 0 0 178245 947 0 0 25 0 1 0 886965307 92844032 21371 33554432000 4194304 8979876 140734738371856 18446744073709551615 5381791 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 22667 21371 674 1169 0 21494 0
Current children cumulated CPU time (s) 1791.92
Current children cumulated vsize (KiB) 90668
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9770
/proc/meminfo: memFree=31224448/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=90668 CPUtime=1795.12 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 22191 0 0 0 178563 949 0 0 25 0 1 0 886965307 92844032 21371 33554432000 4194304 8979876 140734738371856 18446744073709551615 4347574 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 22667 21371 674 1169 0 21494 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 90668
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9770
/proc/meminfo: memFree=31224448/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=90668 CPUtime=1795.91 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 22192 0 0 0 178642 949 0 0 25 0 1 0 886965307 92844032 21372 33554432000 4194304 8979876 140734738371856 18446744073709551615 6386169 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 22667 21372 674 1169 0 21494 0
Current children cumulated CPU time (s) 1795.91
Current children cumulated vsize (KiB) 90668
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9770
/proc/meminfo: memFree=31228540/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=90668 CPUtime=1796.72 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 22192 0 0 0 178722 950 0 0 25 0 1 0 886965307 92844032 21372 33554432000 4194304 8979876 140734738371856 18446744073709551615 5381791 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 22667 21372 674 1169 0 21494 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 90668
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9770
/proc/meminfo: memFree=31228540/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=90668 CPUtime=1796.91 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 22192 0 0 0 178741 950 0 0 25 0 1 0 886965307 92844032 21372 33554432000 4194304 8979876 140734738371856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 22667 21372 674 1169 0 21494 0
Current children cumulated CPU time (s) 1796.91
Current children cumulated vsize (KiB) 90668
[startup+1797 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 9770
/proc/meminfo: memFree=31228540/32951124 swapFree=67054524/67111528
[pid=9519] ppid=9517 vsize=90668 CPUtime=1797.01 cores=0,2,4,6
/proc/9519/stat : 9519 (scip-2.0.1.4_2.) R 9517 9519 8152 0 -1 4202496 22193 0 0 0 178751 950 0 0 25 0 1 0 886965307 92844032 21373 33554432000 4194304 8979876 140734738371856 18446744073709551615 5381791 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/9519/statm: 22667 21373 675 1169 0 21494 0
Current children cumulated CPU time (s) 1797.01
Current children cumulated vsize (KiB) 90668
Child status: 0
Real time (s): 1797.05
CPU time (s): 1797.07
CPU user time (s): 1787.56
CPU system time (s): 9.50855
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 90668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.56
system time used= 9.50855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22279
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= 6
involuntary context switches= 2747
runsolver used 2.6126 second user time and 5.65714 second system time
The end