0.00/0.01 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3451124-1307067352.opb>
0.00/0.01 c original problem has 490 variables (490 bin, 0 int, 0 impl, 0 cont) and 737 constraints
0.00/0.01 c problem read
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 737 upgd conss, 522 impls, 0 clqs
0.00/0.03 c (round 2) 8 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 737 upgd conss, 19274 impls, 0 clqs
0.00/0.04 c (round 3) 8 del vars, 8 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 737 upgd conss, 19274 impls, 0 clqs
0.00/0.04 c (round 4) 8 del vars, 12 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 737 upgd conss, 19274 impls, 0 clqs
0.00/0.04 c presolving (5 rounds):
0.00/0.04 c 8 deleted vars, 12 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 19274 implications, 0 cliques
0.00/0.04 c presolved problem has 482 variables (482 bin, 0 int, 0 impl, 0 cont) and 725 constraints
0.00/0.04 c 340 constraints of type <knapsack>
0.00/0.04 c 241 constraints of type <setppc>
0.00/0.04 c 144 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.03
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 2.0.1.5
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1800
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c limits/solutions = 1
0.00/0.04 c
0.00/0.04 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.04 c separating/maxrounds = 1
0.00/0.04 c
0.00/0.04 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/maxroundsroot = 5
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/indicator/addCouplingCons = TRUE
0.00/0.04 c
0.00/0.04 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.04 c constraints/knapsack/disaggregation = FALSE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c presolving/probing/maxrounds = 0
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/coefdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.04 c heuristics/crossover/freq = -1
0.00/0.04 c
0.00/0.04 c # number of nodes added to the contingent of the total nodes
0.00/0.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.04 c heuristics/crossover/nodesofs = 750
0.00/0.04 c
0.00/0.04 c # number of nodes without incumbent change that heuristic should wait
0.00/0.04 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.04 c heuristics/crossover/nwaitingnodes = 100
0.00/0.04 c
0.00/0.04 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.04 c # [type: real, range: [0,1], default: 0.1]
0.00/0.04 c heuristics/crossover/nodesquot = 0.15
0.00/0.04 c
0.00/0.04 c # minimum percentage of integer variables that have to be fixed
0.00/0.04 c # [type: real, range: [0,1], default: 0.666]
0.00/0.04 c heuristics/crossover/minfixingrate = 0.5
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.04 c heuristics/feaspump/freq = -1
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/fracdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/guideddiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/intshifting/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/linesearchdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.04 c heuristics/objpscostdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.04 c # [type: real, range: [0,1], default: 0.01]
0.00/0.04 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/oneopt/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/pscostdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c heuristics/rens/freq = -1
0.00/0.04 c
0.00/0.04 c # minimum percentage of integer variables that have to be fixable
0.00/0.04 c # [type: real, range: [0,1], default: 0.5]
0.00/0.04 c heuristics/rens/minfixingrate = 0.3
0.00/0.04 c
0.00/0.04 c # number of nodes added to the contingent of the total nodes
0.00/0.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.04 c heuristics/rens/nodesofs = 2000
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.04 c heuristics/rootsoldiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.04 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/rounding/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c heuristics/shiftandpropagate/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/shifting/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/simplerounding/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/subnlp/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c heuristics/trivial/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/trysol/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c heuristics/undercover/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/veclendiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/zirounding/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c separating/cmir/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c separating/flowcover/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.05 c 0.0s| 1 | 0 | 255 | - |3215k| 0 | 121 | 482 | 725 | 482 | 725 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.18/0.22 c 0.2s| 1 | 0 | 1384 | - |4938k| 0 | 195 | 482 | 729 | 482 |1127 | 402 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.44 c 0.4s| 1 | 0 | 2233 | - |7117k| 0 | 267 | 482 | 729 | 482 |1519 | 794 | 0 | 0 | 0.000000e+00 | -- | Inf
0.58/0.68 c 0.7s| 1 | 0 | 2514 | - |9170k| 0 | 276 | 482 | 729 | 482 |1572 | 847 | 0 | 0 | 0.000000e+00 | -- | Inf
0.88/0.93 c 0.9s| 1 | 0 | 2685 | - | 12M| 0 | 246 | 482 | 729 | 482 |1655 | 930 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.07 c 1.1s| 1 | 0 | 2736 | - | 15M| 0 | 245 | 482 | 729 | 482 |1656 | 931 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.54 c 1.5s| 1 | 2 | 2736 | - | 15M| 0 | 245 | 482 | 729 | 482 |1656 | 931 | 0 | 10 | 0.000000e+00 | -- | Inf
13.20/13.21 c 13.2s| 10000 | 56 | 83429 | 8.1 | 16M| 44 | - | 482 |1094 | 482 | 927 | 931 | 597 |2623 | 0.000000e+00 | -- | Inf
21.69/21.74 c 21.7s| 20000 | 85 |173904 | 8.6 | 16M| 44 | 24 | 482 |1196 | 482 | 927 | 931 |1079 |3158 | 0.000000e+00 | -- | Inf
29.08/29.18 c 29.2s| 30000 | 84 |259385 | 8.6 | 16M| 44 | - | 482 |1357 | 0 | 0 | 931 |1571 |3219 | 0.000000e+00 | -- | Inf
37.18/37.24 c 37.2s| 40000 | 103 |349173 | 8.7 | 16M| 44 | 20 | 482 |1493 | 482 | 927 | 931 |2162 |3549 | 0.000000e+00 | -- | Inf
46.59/46.68 c 46.7s| 50000 | 100 |451155 | 9.0 | 16M| 44 | 39 | 482 |1476 | 482 | 927 | 931 |2585 |4167 | 0.000000e+00 | -- | Inf
55.69/55.77 c 55.8s| 60000 | 113 |552583 | 9.2 | 16M| 44 | 25 | 482 |1536 | 482 | 927 | 931 |3136 |4651 | 0.000000e+00 | -- | Inf
62.49/62.53 c 62.5s| 70000 | 113 |626760 | 8.9 | 16M| 45 | - | 482 |1878 | 0 | 0 | 931 |4108 |4853 | 0.000000e+00 | -- | Inf
69.39/69.42 c 69.4s| 80000 | 120 |700988 | 8.7 | 16M| 46 | 27 | 482 |2037 | 482 | 927 | 931 |5242 |5138 | 0.000000e+00 | -- | Inf
76.69/76.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
76.69/76.74 c 76.7s| 90000 | 109 |779329 | 8.6 | 16M| 47 | - | 482 |1969 | 0 | 0 | 931 |6409 |5489 | 0.000000e+00 | -- | Inf
85.49/85.57 c 85.6s|100000 | 114 |879444 | 8.8 | 16M| 47 | 27 | 482 |1898 | 482 | 927 | 931 |7074 |5868 | 0.000000e+00 | -- | Inf
93.09/93.19 c 93.2s|110000 | 123 |964673 | 8.7 | 16M| 50 | 27 | 482 |1962 | 482 | 927 | 931 |8166 |6162 | 0.000000e+00 | -- | Inf
100.79/100.81 c 101s|120000 | 128 | 1053k| 8.8 | 16M| 50 | 24 | 482 |1822 | 482 | 927 | 931 |9025 |6322 | 0.000000e+00 | -- | Inf
108.49/108.54 c 109s|130000 | 115 | 1140k| 8.8 | 16M| 50 | 51 | 482 |2086 | 482 | 927 | 931 |9879 |6614 | 0.000000e+00 | -- | Inf
116.29/116.30 c 116s|140000 | 115 | 1227k| 8.8 | 16M| 50 | - | 482 |1850 | 0 | 0 | 931 | 10k|6890 | 0.000000e+00 | -- | Inf
124.30/124.38 c 124s|150000 | 121 | 1317k| 8.8 | 16M| 52 | 17 | 482 |1841 | 482 | 927 | 931 | 11k|7273 | 0.000000e+00 | -- | Inf
131.79/131.85 c 132s|160000 | 125 | 1403k| 8.8 | 16M| 52 | - | 482 |2011 | 0 | 0 | 931 | 12k|7400 | 0.000000e+00 | -- | Inf
139.60/139.64 c 140s|170000 | 153 | 1493k| 8.8 | 17M| 52 | - | 482 |2104 | 0 | 0 | 931 | 12k|7532 | 0.000000e+00 | -- | Inf
147.89/147.98 c 148s|180000 | 112 | 1588k| 8.8 | 17M| 52 | 27 | 482 |2175 | 482 | 927 | 931 | 13k|7885 | 0.000000e+00 | -- | Inf
156.10/156.15 c 156s|190000 | 125 | 1673k| 8.8 | 17M| 52 | 29 | 482 |2089 | 482 | 927 | 931 | 13k|8344 | 0.000000e+00 | -- | Inf
163.39/163.42 c 163s|200000 | 123 | 1752k| 8.8 | 17M| 52 | 21 | 482 |2236 | 482 | 927 | 931 | 14k|8459 | 0.000000e+00 | -- | Inf
170.40/170.44 c 170s|210000 | 129 | 1829k| 8.7 | 17M| 52 | 30 | 482 |2414 | 482 | 927 | 931 | 14k|8579 | 0.000000e+00 | -- | Inf
178.10/178.11 c 178s|220000 | 117 | 1910k| 8.7 | 17M| 52 | - | 482 |2335 | 0 | 0 | 931 | 15k|8851 | 0.000000e+00 | -- | Inf
186.30/186.37 c 186s|230000 | 133 | 1999k| 8.7 | 17M| 52 | 29 | 482 |2361 | 482 | 927 | 931 | 16k|9207 | 0.000000e+00 | -- | Inf
194.49/194.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.49/194.55 c 195s|240000 | 125 | 2092k| 8.7 | 17M| 52 | - | 482 |2329 | 482 | 927 | 931 | 16k|9415 | 0.000000e+00 | -- | Inf
203.09/203.15 c 203s|250000 | 132 | 2195k| 8.8 | 17M| 52 | - | 482 |2312 | 0 | 0 | 931 | 17k|9609 | 0.000000e+00 | -- | Inf
211.10/211.15 c 211s|260000 | 131 | 2290k| 8.8 | 17M| 52 | 30 | 482 |2396 | 482 | 927 | 931 | 18k|9770 | 0.000000e+00 | -- | Inf
219.40/219.44 c 219s|270000 | 128 | 2385k| 8.8 | 17M| 52 | - | 482 |2475 | 0 | 0 | 931 | 18k|9959 | 0.000000e+00 | -- | Inf
226.89/226.95 c 227s|280000 | 147 | 2468k| 8.8 | 17M| 52 | 25 | 482 |2639 | 482 | 927 | 931 | 19k| 10k| 0.000000e+00 | -- | Inf
234.30/234.34 c 234s|290000 | 141 | 2551k| 8.8 | 17M| 52 | 19 | 482 |2759 | 482 | 927 | 931 | 19k| 10k| 0.000000e+00 | -- | Inf
241.29/241.37 c 241s|300000 | 132 | 2631k| 8.8 | 17M| 52 | - | 482 |2974 | 482 | 927 | 931 | 20k| 10k| 0.000000e+00 | -- | Inf
249.40/249.40 c 249s|310000 | 132 | 2720k| 8.8 | 17M| 52 | 34 | 482 |2805 | 482 | 927 | 931 | 21k| 10k| 0.000000e+00 | -- | Inf
256.30/256.37 c 256s|320000 | 134 | 2800k| 8.7 | 17M| 52 | - | 482 |3044 | 482 | 927 | 931 | 22k| 10k| 0.000000e+00 | -- | Inf
263.39/263.47 c 263s|330000 | 132 | 2882k| 8.7 | 17M| 52 | 34 | 482 |3235 | 482 | 927 | 931 | 23k| 10k| 0.000000e+00 | -- | Inf
271.19/271.20 c 271s|340000 | 131 | 2969k| 8.7 | 17M| 52 | - | 482 |3354 | 0 | 0 | 931 | 24k| 10k| 0.000000e+00 | -- | Inf
281.00/281.02 c 281s|350000 | 141 | 3076k| 8.8 | 17M| 52 | 28 | 482 |2863 | 482 | 927 | 931 | 24k| 11k| 0.000000e+00 | -- | Inf
289.00/289.09 c 289s|360000 | 142 | 3169k| 8.8 | 17M| 52 | 41 | 482 |2588 | 482 | 927 | 931 | 25k| 11k| 0.000000e+00 | -- | Inf
297.30/297.33 c 297s|370000 | 156 | 3267k| 8.8 | 17M| 53 | 37 | 482 |2748 | 482 | 927 | 931 | 25k| 11k| 0.000000e+00 | -- | Inf
305.40/305.43 c 305s|380000 | 146 | 3358k| 8.8 | 17M| 53 | 40 | 482 |2655 | 482 | 927 | 931 | 26k| 11k| 0.000000e+00 | -- | Inf
313.69/313.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
313.69/313.74 c 314s|390000 | 143 | 3452k| 8.8 | 17M| 53 | - | 482 |2614 | 482 | 927 | 931 | 26k| 12k| 0.000000e+00 | -- | Inf
322.00/322.06 c 322s|400000 | 146 | 3550k| 8.9 | 17M| 53 | - | 482 |2724 | 0 | 0 | 931 | 27k| 12k| 0.000000e+00 | -- | Inf
331.01/331.01 c 331s|410000 | 144 | 3654k| 8.9 | 17M| 53 | 35 | 482 |2356 | 482 | 927 | 931 | 27k| 12k| 0.000000e+00 | -- | Inf
340.00/340.07 c 340s|420000 | 160 | 3762k| 9.0 | 17M| 53 | - | 482 |2449 | 0 | 0 | 931 | 27k| 12k| 0.000000e+00 | -- | Inf
348.50/348.56 c 349s|430000 | 158 | 3861k| 9.0 | 17M| 53 | 25 | 482 |2567 | 482 | 927 | 931 | 28k| 12k| 0.000000e+00 | -- | Inf
358.51/358.60 c 359s|440000 | 177 | 3966k| 9.0 | 17M| 53 | - | 482 |2326 | 482 | 927 | 931 | 28k| 13k| 0.000000e+00 | -- | Inf
365.50/365.52 c 366s|450000 | 174 | 4045k| 9.0 | 17M| 53 | 32 | 482 |2597 | 482 | 927 | 931 | 29k| 13k| 0.000000e+00 | -- | Inf
372.80/372.84 c 373s|460000 | 179 | 4128k| 9.0 | 17M| 53 | 26 | 482 |2539 | 482 | 927 | 931 | 29k| 13k| 0.000000e+00 | -- | Inf
380.40/380.45 c 380s|470000 | 175 | 4217k| 9.0 | 17M| 53 | 40 | 482 |2660 | 482 | 927 | 931 | 30k| 13k| 0.000000e+00 | -- | Inf
388.31/388.37 c 388s|480000 | 176 | 4311k| 9.0 | 17M| 53 | - | 482 |2635 | 0 | 0 | 931 | 30k| 13k| 0.000000e+00 | -- | Inf
396.20/396.24 c 396s|490000 | 180 | 4400k| 9.0 | 17M| 53 | - | 482 |2394 | 0 | 0 | 931 | 30k| 13k| 0.000000e+00 | -- | Inf
403.61/403.63 c 404s|500000 | 192 | 4485k| 9.0 | 17M| 53 | 29 | 482 |2691 | 482 | 927 | 931 | 31k| 13k| 0.000000e+00 | -- | Inf
411.31/411.36 c 411s|510000 | 180 | 4571k| 9.0 | 17M| 53 | - | 482 |2691 | 482 | 927 | 931 | 31k| 13k| 0.000000e+00 | -- | Inf
418.90/418.99 c 419s|520000 | 188 | 4657k| 9.0 | 17M| 54 | 31 | 482 |2778 | 482 | 927 | 931 | 32k| 13k| 0.000000e+00 | -- | Inf
427.20/427.23 c 427s|530000 | 178 | 4752k| 9.0 | 17M| 54 | 31 | 482 |2676 | 482 | 927 | 931 | 32k| 13k| 0.000000e+00 | -- | Inf
435.30/435.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
435.30/435.36 c 435s|540000 | 179 | 4846k| 9.0 | 17M| 54 | - | 482 |2600 | 482 | 927 | 931 | 33k| 13k| 0.000000e+00 | -- | Inf
443.50/443.57 c 444s|550000 | 198 | 4945k| 9.0 | 17M| 54 | 35 | 482 |2723 | 482 | 927 | 931 | 33k| 13k| 0.000000e+00 | -- | Inf
452.30/452.38 c 452s|560000 | 182 | 5043k| 9.0 | 17M| 61 | - | 482 |2575 | 0 | 0 | 931 | 33k| 14k| 0.000000e+00 | -- | Inf
461.70/461.72 c 462s|570000 | 192 | 5149k| 9.0 | 17M| 61 | - | 482 |2599 | 482 | 927 | 931 | 34k| 14k| 0.000000e+00 | -- | Inf
470.71/470.72 c 471s|580000 | 169 | 5249k| 9.0 | 17M| 61 | - | 482 |2195 | 482 | 927 | 931 | 34k| 14k| 0.000000e+00 | -- | Inf
478.41/478.49 c 478s|590000 | 174 | 5340k| 9.0 | 17M| 61 | - | 482 |2220 | 0 | 0 | 931 | 35k| 14k| 0.000000e+00 | -- | Inf
486.60/486.66 c 487s|600000 | 187 | 5437k| 9.1 | 17M| 61 | - | 482 |2383 | 0 | 0 | 931 | 35k| 14k| 0.000000e+00 | -- | Inf
495.61/495.68 c 496s|610000 | 200 | 5543k| 9.1 | 17M| 61 | 15 | 482 |2245 | 482 | 927 | 931 | 36k| 15k| 0.000000e+00 | -- | Inf
504.20/504.25 c 504s|620000 | 189 | 5646k| 9.1 | 17M| 61 | - | 482 |2259 | 0 | 0 | 931 | 36k| 15k| 0.000000e+00 | -- | Inf
513.20/513.20 c 513s|630000 | 181 | 5751k| 9.1 | 17M| 61 | 19 | 482 |2375 | 482 | 927 | 931 | 36k| 15k| 0.000000e+00 | -- | Inf
520.80/520.87 c 521s|640000 | 184 | 5839k| 9.1 | 17M| 61 | 43 | 482 |2481 | 482 | 927 | 931 | 37k| 15k| 0.000000e+00 | -- | Inf
528.71/528.79 c 529s|650000 | 177 | 5931k| 9.1 | 17M| 61 | - | 482 |2524 | 0 | 0 | 931 | 38k| 15k| 0.000000e+00 | -- | Inf
536.81/536.86 c 537s|660000 | 190 | 6025k| 9.1 | 17M| 61 | 36 | 482 |2753 | 482 | 927 | 931 | 38k| 15k| 0.000000e+00 | -- | Inf
545.51/545.51 c 546s|670000 | 169 | 6122k| 9.1 | 17M| 61 | - | 482 |2633 | 0 | 0 | 931 | 39k| 15k| 0.000000e+00 | -- | Inf
553.22/553.24 c 553s|680000 | 175 | 6211k| 9.1 | 17M| 61 | 38 | 482 |2696 | 482 | 927 | 931 | 39k| 15k| 0.000000e+00 | -- | Inf
561.02/561.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
561.02/561.05 c 561s|690000 | 185 | 6303k| 9.1 | 17M| 61 | - | 482 |2658 | 482 | 927 | 931 | 39k| 15k| 0.000000e+00 | -- | Inf
569.50/569.51 c 570s|700000 | 180 | 6403k| 9.1 | 17M| 61 | - | 482 |2717 | 0 | 0 | 931 | 40k| 15k| 0.000000e+00 | -- | Inf
578.62/578.65 c 579s|710000 | 177 | 6507k| 9.2 | 17M| 61 | - | 482 |2501 | 482 | 927 | 931 | 40k| 16k| 0.000000e+00 | -- | Inf
588.10/588.18 c 588s|720000 | 190 | 6625k| 9.2 | 17M| 61 | 44 | 482 |2470 | 482 | 927 | 931 | 41k| 16k| 0.000000e+00 | -- | Inf
597.81/597.86 c 598s|730000 | 170 | 6737k| 9.2 | 17M| 61 | 30 | 482 |2419 | 482 | 927 | 931 | 41k| 16k| 0.000000e+00 | -- | Inf
605.71/605.77 c 606s|740000 | 164 | 6821k| 9.2 | 17M| 61 | 29 | 482 |2458 | 482 | 927 | 931 | 41k| 16k| 0.000000e+00 | -- | Inf
613.51/613.50 c 613s|750000 | 164 | 6908k| 9.2 | 17M| 61 | 34 | 482 |2532 | 482 | 927 | 931 | 42k| 16k| 0.000000e+00 | -- | Inf
620.90/620.98 c 621s|760000 | 167 | 6995k| 9.2 | 17M| 61 | - | 482 |2867 | 0 | 0 | 931 | 43k| 17k| 0.000000e+00 | -- | Inf
628.51/628.52 c 629s|770000 | 163 | 7082k| 9.2 | 17M| 61 | 44 | 482 |2859 | 482 | 927 | 931 | 44k| 17k| 0.000000e+00 | -- | Inf
636.51/636.54 c 637s|780000 | 163 | 7177k| 9.2 | 17M| 61 | - | 482 |2823 | 0 | 0 | 931 | 44k| 17k| 0.000000e+00 | -- | Inf
644.52/644.55 c 645s|790000 | 166 | 7273k| 9.2 | 17M| 61 | - | 482 |2900 | 0 | 0 | 931 | 45k| 17k| 0.000000e+00 | -- | Inf
653.21/653.26 c 653s|800000 | 166 | 7374k| 9.2 | 17M| 61 | - | 482 |3094 | 0 | 0 | 931 | 46k| 17k| 0.000000e+00 | -- | Inf
661.51/661.51 c 662s|810000 | 161 | 7472k| 9.2 | 17M| 61 | - | 482 |3161 | 0 | 0 | 931 | 47k| 17k| 0.000000e+00 | -- | Inf
670.61/670.63 c 671s|820000 | 169 | 7567k| 9.2 | 17M| 61 | - | 482 |2259 | 0 | 0 | 931 | 48k| 18k| 0.000000e+00 | -- | Inf
677.71/677.78 c 678s|830000 | 169 | 7644k| 9.2 | 17M| 61 | - | 482 |2164 | 0 | 0 | 931 | 48k| 18k| 0.000000e+00 | -- | Inf
684.81/684.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
684.81/684.88 c 685s|840000 | 168 | 7724k| 9.2 | 17M| 61 | 9 | 482 |2155 | 482 | 927 | 931 | 49k| 18k| 0.000000e+00 | -- | Inf
692.31/692.34 c 692s|850000 | 164 | 7810k| 9.2 | 17M| 61 | - | 482 |2289 | 0 | 0 | 931 | 49k| 18k| 0.000000e+00 | -- | Inf
700.62/700.64 c 701s|860000 | 171 | 7907k| 9.2 | 17M| 61 | 36 | 482 |2311 | 482 | 927 | 931 | 50k| 18k| 0.000000e+00 | -- | Inf
708.21/708.28 c 708s|870000 | 173 | 7991k| 9.2 | 17M| 61 | 30 | 482 |2400 | 482 | 927 | 931 | 50k| 18k| 0.000000e+00 | -- | Inf
715.71/715.79 c 716s|880000 | 159 | 8075k| 9.2 | 17M| 61 | - | 482 |2345 | 482 | 927 | 931 | 51k| 18k| 0.000000e+00 | -- | Inf
724.11/724.17 c 724s|890000 | 157 | 8171k| 9.2 | 17M| 61 | 16 | 482 |2224 | 482 | 927 | 931 | 51k| 18k| 0.000000e+00 | -- | Inf
731.91/731.92 c 732s|900000 | 164 | 8261k| 9.2 | 17M| 61 | 34 | 482 |2366 | 482 | 927 | 931 | 51k| 18k| 0.000000e+00 | -- | Inf
740.22/740.30 c 740s|910000 | 171 | 8361k| 9.2 | 17M| 61 | - | 482 |2336 | 0 | 0 | 931 | 52k| 18k| 0.000000e+00 | -- | Inf
749.31/749.33 c 749s|920000 | 171 | 8468k| 9.2 | 17M| 61 | 26 | 482 |2082 | 482 | 927 | 931 | 53k| 19k| 0.000000e+00 | -- | Inf
757.31/757.38 c 757s|930000 | 172 | 8564k| 9.2 | 17M| 61 | 42 | 482 |2104 | 482 | 927 | 931 | 53k| 19k| 0.000000e+00 | -- | Inf
766.01/766.06 c 766s|940000 | 191 | 8665k| 9.2 | 17M| 61 | - | 482 |2213 | 0 | 0 | 931 | 54k| 19k| 0.000000e+00 | -- | Inf
774.51/774.57 c 775s|950000 | 187 | 8766k| 9.2 | 17M| 61 | - | 482 |2278 | 482 | 927 | 931 | 54k| 19k| 0.000000e+00 | -- | Inf
782.41/782.47 c 782s|960000 | 178 | 8856k| 9.2 | 17M| 61 | 20 | 482 |2263 | 482 | 927 | 931 | 54k| 19k| 0.000000e+00 | -- | Inf
788.72/788.77 c 789s|970000 | 178 | 8926k| 9.2 | 17M| 61 | - | 482 |2603 | 0 | 0 | 931 | 55k| 19k| 0.000000e+00 | -- | Inf
795.33/795.38 c 795s|980000 | 187 | 8998k| 9.2 | 17M| 61 | 19 | 482 |2890 | 482 | 927 | 931 | 56k| 19k| 0.000000e+00 | -- | Inf
802.21/802.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
802.21/802.20 c 802s|990000 | 190 | 9073k| 9.2 | 17M| 61 | - | 482 |2835 | 0 | 0 | 931 | 56k| 19k| 0.000000e+00 | -- | Inf
809.21/809.22 c 809s| 1000k| 193 | 9153k| 9.2 | 17M| 61 | - | 482 |2684 | 0 | 0 | 931 | 57k| 19k| 0.000000e+00 | -- | Inf
816.12/816.21 c 816s| 1010k| 201 | 9230k| 9.1 | 17M| 61 | - | 482 |2641 | 482 | 927 | 931 | 57k| 19k| 0.000000e+00 | -- | Inf
822.72/822.75 c 823s| 1020k| 197 | 9301k| 9.1 | 17M| 61 | - | 482 |2905 | 0 | 0 | 931 | 58k| 19k| 0.000000e+00 | -- | Inf
829.11/829.14 c 829s| 1030k| 191 | 9370k| 9.1 | 17M| 61 | 28 | 482 |2952 | 482 | 927 | 931 | 58k| 19k| 0.000000e+00 | -- | Inf
836.11/836.16 c 836s| 1040k| 195 | 9448k| 9.1 | 18M| 61 | - | 482 |2926 | 482 | 927 | 931 | 59k| 19k| 0.000000e+00 | -- | Inf
843.21/843.21 c 843s| 1050k| 193 | 9526k| 9.1 | 18M| 61 | - | 482 |3016 | 0 | 0 | 931 | 59k| 19k| 0.000000e+00 | -- | Inf
850.01/850.04 c 850s| 1060k| 192 | 9603k| 9.1 | 18M| 61 | - | 482 |3110 | 0 | 0 | 931 | 60k| 19k| 0.000000e+00 | -- | Inf
857.41/857.40 c 857s| 1070k| 188 | 9686k| 9.0 | 18M| 61 | - | 482 |3031 | 482 | 927 | 931 | 60k| 20k| 0.000000e+00 | -- | Inf
864.02/864.06 c 864s| 1080k| 204 | 9759k| 9.0 | 18M| 61 | 20 | 482 |3010 | 482 | 927 | 931 | 61k| 20k| 0.000000e+00 | -- | Inf
871.42/871.49 c 871s| 1090k| 202 | 9843k| 9.0 | 18M| 61 | 33 | 482 |3104 | 482 | 927 | 931 | 62k| 20k| 0.000000e+00 | -- | Inf
879.52/879.57 c 880s| 1100k| 187 | 9938k| 9.0 | 18M| 61 | - | 482 |2978 | 482 | 927 | 931 | 62k| 20k| 0.000000e+00 | -- | Inf
886.72/886.75 c 887s| 1110k| 187 | 10017k| 9.0 | 18M| 61 | 36 | 482 |2903 | 482 | 927 | 931 | 62k| 20k| 0.000000e+00 | -- | Inf
893.92/893.97 c 894s| 1120k| 184 | 10100k| 9.0 | 17M| 61 | - | 482 |2857 | 0 | 0 | 931 | 63k| 20k| 0.000000e+00 | -- | Inf
900.42/900.48 c 900s| 1130k| 189 | 10170k| 9.0 | 18M| 61 | 41 | 482 |3026 | 482 | 927 | 931 | 63k| 20k| 0.000000e+00 | -- | Inf
907.11/907.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
907.11/907.14 c 907s| 1140k| 190 | 10244k| 9.0 | 18M| 61 | 24 | 482 |3070 | 482 | 927 | 931 | 64k| 20k| 0.000000e+00 | -- | Inf
913.41/913.48 c 913s| 1150k| 193 | 10308k| 9.0 | 18M| 61 | 32 | 482 |3223 | 482 | 927 | 931 | 65k| 20k| 0.000000e+00 | -- | Inf
919.91/919.93 c 920s| 1160k| 195 | 10376k| 8.9 | 18M| 61 | - | 482 |3390 | 0 | 0 | 931 | 65k| 20k| 0.000000e+00 | -- | Inf
926.81/926.88 c 927s| 1170k| 187 | 10450k| 8.9 | 18M| 61 | 46 | 482 |3366 | 482 | 927 | 931 | 66k| 20k| 0.000000e+00 | -- | Inf
933.51/933.50 c 933s| 1180k| 189 | 10522k| 8.9 | 18M| 61 | 28 | 482 |3230 | 482 | 927 | 931 | 66k| 20k| 0.000000e+00 | -- | Inf
941.02/941.07 c 941s| 1190k| 183 | 10607k| 8.9 | 18M| 61 | - | 482 |3146 | 482 | 927 | 931 | 66k| 20k| 0.000000e+00 | -- | Inf
947.22/947.21 c 947s| 1200k| 189 | 10672k| 8.9 | 18M| 61 | 28 | 482 |3364 | 482 | 927 | 931 | 67k| 20k| 0.000000e+00 | -- | Inf
953.91/953.90 c 954s| 1210k| 181 | 10743k| 8.9 | 18M| 61 | 32 | 482 |3284 | 482 | 927 | 931 | 68k| 20k| 0.000000e+00 | -- | Inf
960.92/960.99 c 961s| 1220k| 190 | 10823k| 8.9 | 18M| 61 | 18 | 482 |3495 | 482 | 927 | 931 | 68k| 20k| 0.000000e+00 | -- | Inf
967.93/967.91 c 968s| 1230k| 197 | 10897k| 8.9 | 18M| 61 | 26 | 482 |3602 | 482 | 927 | 931 | 69k| 20k| 0.000000e+00 | -- | Inf
974.92/974.99 c 975s| 1240k| 185 | 10976k| 8.8 | 18M| 61 | - | 482 |3556 | 0 | 0 | 931 | 69k| 20k| 0.000000e+00 | -- | Inf
982.33/982.37 c 982s| 1250k| 188 | 11058k| 8.8 | 18M| 61 | - | 482 |3515 | 482 | 927 | 931 | 70k| 20k| 0.000000e+00 | -- | Inf
989.42/989.43 c 989s| 1260k| 188 | 11136k| 8.8 | 18M| 61 | 20 | 482 |3546 | 482 | 927 | 931 | 70k| 20k| 0.000000e+00 | -- | Inf
996.92/996.92 c 997s| 1270k| 188 | 11220k| 8.8 | 18M| 61 | - | 482 |3546 | 0 | 0 | 931 | 71k| 20k| 0.000000e+00 | -- | Inf
1004.12/1004.13 c 1004s| 1280k| 192 | 11300k| 8.8 | 18M| 61 | - | 482 |3583 | 0 | 0 | 931 | 71k| 21k| 0.000000e+00 | -- | Inf
1011.41/1011.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1011.41/1011.48 c 1011s| 1290k| 188 | 11382k| 8.8 | 18M| 61 | - | 482 |3515 | 0 | 0 | 931 | 72k| 21k| 0.000000e+00 | -- | Inf
1019.52/1019.52 c 1020s| 1300k| 185 | 11475k| 8.8 | 18M| 63 | - | 482 |3364 | 0 | 0 | 931 | 72k| 21k| 0.000000e+00 | -- | Inf
1027.52/1027.57 c 1028s| 1310k| 199 | 11568k| 8.8 | 18M| 63 | - | 482 |3361 | 482 | 927 | 931 | 72k| 21k| 0.000000e+00 | -- | Inf
1034.82/1034.83 c 1035s| 1320k| 191 | 11648k| 8.8 | 18M| 63 | 32 | 482 |3174 | 482 | 927 | 931 | 73k| 21k| 0.000000e+00 | -- | Inf
1041.21/1041.20 c 1041s| 1330k| 192 | 11717k| 8.8 | 18M| 63 | 22 | 482 |3339 | 482 | 927 | 931 | 73k| 21k| 0.000000e+00 | -- | Inf
1048.02/1048.04 c 1048s| 1340k| 191 | 11791k| 8.8 | 18M| 63 | 41 | 482 |3356 | 482 | 927 | 931 | 74k| 21k| 0.000000e+00 | -- | Inf
1056.42/1056.47 c 1056s| 1350k| 184 | 11870k| 8.8 | 18M| 63 | 40 | 482 |2858 | 482 | 927 | 931 | 74k| 22k| 0.000000e+00 | -- | Inf
1066.42/1066.45 c 1066s| 1360k| 179 | 11971k| 8.8 | 17M| 63 | - | 482 |2712 | 0 | 0 | 931 | 75k| 22k| 0.000000e+00 | -- | Inf
1075.92/1075.99 c 1076s| 1370k| 181 | 12088k| 8.8 | 18M| 63 | 45 | 482 |2918 | 482 | 927 | 931 | 76k| 22k| 0.000000e+00 | -- | Inf
1085.82/1085.84 c 1086s| 1380k| 183 | 12206k| 8.8 | 18M| 63 | 29 | 482 |2709 | 482 | 927 | 931 | 76k| 23k| 0.000000e+00 | -- | Inf
1093.43/1093.43 c 1093s| 1390k| 188 | 12288k| 8.8 | 18M| 63 | - | 482 |2675 | 0 | 0 | 931 | 77k| 23k| 0.000000e+00 | -- | Inf
1100.72/1100.78 c 1101s| 1400k| 190 | 12371k| 8.8 | 18M| 63 | 27 | 482 |2747 | 482 | 927 | 931 | 77k| 23k| 0.000000e+00 | -- | Inf
1108.42/1108.43 c 1108s| 1410k| 193 | 12459k| 8.8 | 18M| 63 | - | 482 |2794 | 482 | 927 | 931 | 78k| 23k| 0.000000e+00 | -- | Inf
1116.02/1116.09 c 1116s| 1420k| 189 | 12545k| 8.8 | 18M| 63 | - | 482 |2824 | 482 | 927 | 931 | 78k| 23k| 0.000000e+00 | -- | Inf
1124.23/1124.21 c 1124s| 1430k| 193 | 12638k| 8.8 | 18M| 63 | 23 | 482 |2810 | 482 | 927 | 931 | 78k| 23k| 0.000000e+00 | -- | Inf
1132.42/1132.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1132.42/1132.47 c 1132s| 1440k| 187 | 12735k| 8.8 | 18M| 63 | 22 | 482 |2853 | 482 | 927 | 931 | 79k| 23k| 0.000000e+00 | -- | Inf
1140.32/1140.34 c 1140s| 1450k| 193 | 12825k| 8.8 | 18M| 63 | 41 | 482 |2649 | 482 | 927 | 931 | 79k| 23k| 0.000000e+00 | -- | Inf
1148.43/1148.43 c 1148s| 1460k| 187 | 12920k| 8.8 | 17M| 63 | - | 482 |2548 | 0 | 0 | 931 | 80k| 23k| 0.000000e+00 | -- | Inf
1157.33/1157.32 c 1157s| 1470k| 180 | 13029k| 8.9 | 17M| 63 | 25 | 482 |2450 | 482 | 927 | 931 | 81k| 23k| 0.000000e+00 | -- | Inf
1166.62/1166.68 c 1167s| 1480k| 178 | 13141k| 8.9 | 17M| 63 | 25 | 482 |2280 | 482 | 927 | 931 | 81k| 23k| 0.000000e+00 | -- | Inf
1173.92/1173.95 c 1174s| 1490k| 174 | 13223k| 8.9 | 17M| 63 | 29 | 482 |2345 | 482 | 927 | 931 | 82k| 23k| 0.000000e+00 | -- | Inf
1182.83/1182.84 c 1183s| 1500k| 184 | 13332k| 8.9 | 17M| 63 | - | 482 |2547 | 0 | 0 | 931 | 82k| 23k| 0.000000e+00 | -- | Inf
1192.02/1192.05 c 1192s| 1510k| 168 | 13443k| 8.9 | 17M| 63 | 44 | 482 |2435 | 482 | 927 | 931 | 83k| 23k| 0.000000e+00 | -- | Inf
1200.13/1200.18 c 1200s| 1520k| 179 | 13540k| 8.9 | 17M| 63 | - | 482 |2443 | 0 | 0 | 931 | 84k| 23k| 0.000000e+00 | -- | Inf
1207.22/1207.26 c 1207s| 1530k| 180 | 13621k| 8.9 | 17M| 63 | - | 482 |2457 | 0 | 0 | 931 | 85k| 23k| 0.000000e+00 | -- | Inf
1214.93/1214.97 c 1215s| 1540k| 180 | 13711k| 8.9 | 17M| 63 | 52 | 482 |2414 | 482 | 927 | 931 | 85k| 24k| 0.000000e+00 | -- | Inf
1222.82/1222.84 c 1223s| 1550k| 176 | 13807k| 8.9 | 17M| 63 | - | 482 |2564 | 0 | 0 | 931 | 86k| 24k| 0.000000e+00 | -- | Inf
1230.43/1230.41 c 1230s| 1560k| 173 | 13895k| 8.9 | 17M| 63 | 34 | 482 |2544 | 482 | 927 | 931 | 87k| 24k| 0.000000e+00 | -- | Inf
1238.72/1238.73 c 1239s| 1570k| 171 | 13998k| 8.9 | 17M| 63 | - | 482 |2491 | 0 | 0 | 931 | 88k| 24k| 0.000000e+00 | -- | Inf
1246.93/1246.97 c 1247s| 1580k| 177 | 14093k| 8.9 | 17M| 63 | - | 482 |2323 | 0 | 0 | 931 | 89k| 24k| 0.000000e+00 | -- | Inf
1254.73/1254.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1254.73/1254.77 c 1255s| 1590k| 185 | 14185k| 8.9 | 17M| 63 | - | 482 |2344 | 482 | 927 | 931 | 89k| 24k| 0.000000e+00 | -- | Inf
1262.43/1262.41 c 1262s| 1600k| 181 | 14276k| 8.9 | 17M| 63 | 41 | 482 |2453 | 482 | 927 | 931 | 90k| 24k| 0.000000e+00 | -- | Inf
1270.22/1270.22 c 1270s| 1610k| 177 | 14369k| 8.9 | 17M| 63 | - | 482 |2370 | 482 | 927 | 931 | 91k| 24k| 0.000000e+00 | -- | Inf
1277.53/1277.51 c 1278s| 1620k| 190 | 14449k| 8.9 | 17M| 63 | 25 | 482 |2497 | 482 | 927 | 931 | 92k| 24k| 0.000000e+00 | -- | Inf
1284.23/1284.27 c 1284s| 1630k| 192 | 14524k| 8.9 | 18M| 63 | 22 | 482 |2612 | 482 | 927 | 931 | 92k| 24k| 0.000000e+00 | -- | Inf
1291.23/1291.25 c 1291s| 1640k| 183 | 14605k| 8.9 | 18M| 63 | 28 | 482 |2615 | 482 | 927 | 931 | 93k| 24k| 0.000000e+00 | -- | Inf
1297.93/1297.95 c 1298s| 1650k| 182 | 14677k| 8.9 | 18M| 63 | 17 | 482 |2752 | 482 | 927 | 931 | 94k| 24k| 0.000000e+00 | -- | Inf
1304.54/1304.61 c 1305s| 1660k| 177 | 14751k| 8.9 | 18M| 63 | 39 | 482 |2789 | 482 | 927 | 931 | 94k| 24k| 0.000000e+00 | -- | Inf
1311.53/1311.56 c 1312s| 1670k| 190 | 14828k| 8.9 | 18M| 63 | 22 | 482 |2891 | 482 | 927 | 931 | 95k| 24k| 0.000000e+00 | -- | Inf
1319.12/1319.15 c 1319s| 1680k| 189 | 14914k| 8.9 | 18M| 63 | 24 | 482 |3142 | 482 | 927 | 931 | 95k| 24k| 0.000000e+00 | -- | Inf
1326.83/1326.80 c 1327s| 1690k| 182 | 15002k| 8.9 | 18M| 63 | - | 482 |3032 | 0 | 0 | 931 | 96k| 24k| 0.000000e+00 | -- | Inf
1335.03/1335.00 c 1335s| 1700k| 182 | 15097k| 8.9 | 18M| 63 | - | 482 |2788 | 0 | 0 | 931 | 96k| 24k| 0.000000e+00 | -- | Inf
1342.93/1342.96 c 1343s| 1710k| 182 | 15190k| 8.9 | 18M| 63 | - | 482 |2567 | 0 | 0 | 931 | 96k| 25k| 0.000000e+00 | -- | Inf
1351.13/1351.15 c 1351s| 1720k| 198 | 15283k| 8.9 | 18M| 63 | 14 | 482 |2561 | 482 | 927 | 931 | 97k| 25k| 0.000000e+00 | -- | Inf
1357.93/1357.94 c 1358s| 1730k| 192 | 15359k| 8.9 | 18M| 63 | - | 482 |2707 | 0 | 0 | 931 | 98k| 25k| 0.000000e+00 | -- | Inf
1365.14/1365.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1365.14/1365.16 c 1365s| 1740k| 204 | 15442k| 8.9 | 18M| 63 | - | 482 |2703 | 0 | 0 | 931 | 98k| 25k| 0.000000e+00 | -- | Inf
1372.84/1372.84 c 1373s| 1750k| 185 | 15530k| 8.9 | 18M| 63 | 34 | 482 |2672 | 482 | 927 | 931 | 99k| 25k| 0.000000e+00 | -- | Inf
1380.54/1380.59 c 1381s| 1760k| 187 | 15623k| 8.9 | 18M| 63 | - | 482 |2885 | 0 | 0 | 931 | 100k| 25k| 0.000000e+00 | -- | Inf
1388.14/1388.19 c 1388s| 1770k| 186 | 15711k| 8.9 | 18M| 63 | 34 | 482 |2899 | 482 | 927 | 931 | 100k| 25k| 0.000000e+00 | -- | Inf
1395.84/1395.85 c 1396s| 1780k| 185 | 15800k| 8.9 | 18M| 63 | 26 | 482 |2927 | 482 | 927 | 931 | 101k| 25k| 0.000000e+00 | -- | Inf
1404.64/1404.63 c 1405s| 1790k| 188 | 15908k| 8.9 | 18M| 63 | 35 | 482 |2960 | 482 | 927 | 931 | 101k| 25k| 0.000000e+00 | -- | Inf
1413.44/1413.42 c 1413s| 1800k| 184 | 16015k| 8.9 | 18M| 63 | 26 | 482 |2978 | 482 | 927 | 931 | 102k| 25k| 0.000000e+00 | -- | Inf
1421.73/1421.75 c 1422s| 1810k| 187 | 16115k| 8.9 | 18M| 63 | 33 | 482 |3130 | 482 | 927 | 931 | 103k| 25k| 0.000000e+00 | -- | Inf
1430.05/1430.02 c 1430s| 1820k| 195 | 16214k| 8.9 | 18M| 63 | - | 482 |3237 | 482 | 927 | 931 | 104k| 25k| 0.000000e+00 | -- | Inf
1439.03/1439.08 c 1439s| 1830k| 196 | 16325k| 8.9 | 18M| 63 | - | 482 |2923 | 0 | 0 | 931 | 105k| 25k| 0.000000e+00 | -- | Inf
1447.73/1447.70 c 1448s| 1840k| 186 | 16429k| 8.9 | 18M| 63 | 40 | 482 |3045 | 482 | 927 | 931 | 105k| 25k| 0.000000e+00 | -- | Inf
1457.63/1457.63 c 1458s| 1850k| 188 | 16534k| 8.9 | 18M| 63 | 38 | 482 |2744 | 482 | 927 | 931 | 106k| 26k| 0.000000e+00 | -- | Inf
1465.94/1465.95 c 1466s| 1860k| 194 | 16622k| 8.9 | 18M| 63 | - | 482 |2716 | 482 | 927 | 931 | 106k| 27k| 0.000000e+00 | -- | Inf
1473.94/1473.98 c 1474s| 1870k| 192 | 16717k| 8.9 | 18M| 63 | 30 | 482 |2901 | 482 | 927 | 931 | 107k| 27k| 0.000000e+00 | -- | Inf
1481.83/1481.89 c 1482s| 1880k| 204 | 16809k| 8.9 | 18M| 63 | 31 | 482 |2998 | 482 | 927 | 931 | 107k| 27k| 0.000000e+00 | -- | Inf
1490.03/1490.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1490.03/1490.07 c 1490s| 1890k| 210 | 16907k| 8.9 | 18M| 63 | 31 | 482 |3026 | 482 | 927 | 931 | 108k| 27k| 0.000000e+00 | -- | Inf
1497.83/1497.86 c 1498s| 1900k| 205 | 16997k| 8.9 | 18M| 63 | 36 | 482 |3174 | 482 | 927 | 931 | 108k| 27k| 0.000000e+00 | -- | Inf
1505.44/1505.43 c 1505s| 1910k| 204 | 17084k| 8.9 | 18M| 63 | 16 | 482 |3168 | 482 | 927 | 931 | 108k| 27k| 0.000000e+00 | -- | Inf
1513.64/1513.62 c 1514s| 1920k| 205 | 17180k| 8.9 | 18M| 63 | 24 | 482 |3200 | 482 | 927 | 931 | 109k| 27k| 0.000000e+00 | -- | Inf
1521.84/1521.80 c 1522s| 1930k| 212 | 17274k| 8.9 | 18M| 63 | 20 | 482 |3212 | 482 | 927 | 931 | 109k| 27k| 0.000000e+00 | -- | Inf
1530.15/1530.17 c 1530s| 1940k| 203 | 17371k| 9.0 | 18M| 63 | - | 482 |3134 | 0 | 0 | 931 | 110k| 27k| 0.000000e+00 | -- | Inf
1538.73/1538.74 c 1539s| 1950k| 214 | 17471k| 9.0 | 18M| 63 | 40 | 482 |3196 | 482 | 927 | 931 | 110k| 27k| 0.000000e+00 | -- | Inf
1546.64/1546.69 c 1547s| 1960k| 206 | 17562k| 9.0 | 18M| 63 | 45 | 482 |3224 | 482 | 927 | 931 | 111k| 27k| 0.000000e+00 | -- | Inf
1555.63/1555.66 c 1556s| 1970k| 195 | 17668k| 9.0 | 18M| 63 | 41 | 482 |3037 | 482 | 927 | 931 | 111k| 27k| 0.000000e+00 | -- | Inf
1563.93/1563.96 c 1564s| 1980k| 193 | 17764k| 9.0 | 18M| 63 | - | 482 |2830 | 0 | 0 | 931 | 111k| 27k| 0.000000e+00 | -- | Inf
1571.44/1571.49 c 1571s| 1990k| 227 | 17852k| 9.0 | 18M| 63 | 31 | 482 |2993 | 482 | 927 | 931 | 112k| 27k| 0.000000e+00 | -- | Inf
1579.74/1579.74 c 1580s| 2000k| 249 | 17948k| 9.0 | 18M| 63 | - | 482 |2998 | 0 | 0 | 931 | 112k| 27k| 0.000000e+00 | -- | Inf
1587.83/1587.80 c 1588s| 2010k| 249 | 18043k| 9.0 | 18M| 63 | 43 | 482 |3056 | 482 | 927 | 931 | 113k| 27k| 0.000000e+00 | -- | Inf
1596.23/1596.23 c 1596s| 2020k| 244 | 18140k| 9.0 | 18M| 63 | 34 | 482 |3066 | 482 | 927 | 931 | 113k| 27k| 0.000000e+00 | -- | Inf
1604.34/1604.30 c 1604s| 2030k| 223 | 18235k| 9.0 | 18M| 63 | - | 482 |2991 | 0 | 0 | 931 | 113k| 27k| 0.000000e+00 | -- | Inf
1613.04/1613.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1613.04/1613.08 c 1613s| 2040k| 205 | 18339k| 9.0 | 18M| 63 | 27 | 482 |3008 | 482 | 927 | 931 | 114k| 27k| 0.000000e+00 | -- | Inf
1621.54/1621.52 c 1622s| 2050k| 219 | 18441k| 9.0 | 18M| 63 | - | 482 |3176 | 0 | 0 | 931 | 114k| 27k| 0.000000e+00 | -- | Inf
1630.04/1630.08 c 1630s| 2060k| 195 | 18541k| 9.0 | 18M| 63 | 32 | 482 |3084 | 482 | 927 | 931 | 114k| 27k| 0.000000e+00 | -- | Inf
1638.53/1638.52 c 1639s| 2070k| 205 | 18642k| 9.0 | 18M| 63 | 30 | 482 |3141 | 482 | 927 | 931 | 115k| 27k| 0.000000e+00 | -- | Inf
1647.54/1647.51 c 1648s| 2080k| 200 | 18749k| 9.0 | 18M| 63 | 45 | 482 |3163 | 482 | 927 | 931 | 115k| 27k| 0.000000e+00 | -- | Inf
1657.54/1657.56 c 1658s| 2090k| 192 | 18870k| 9.0 | 18M| 63 | - | 482 |2931 | 482 | 927 | 931 | 115k| 27k| 0.000000e+00 | -- | Inf
1666.34/1666.37 c 1666s| 2100k| 196 | 18965k| 9.0 | 18M| 63 | 49 | 482 |2945 | 482 | 927 | 931 | 116k| 28k| 0.000000e+00 | -- | Inf
1674.15/1674.19 c 1674s| 2110k| 207 | 19059k| 9.0 | 18M| 63 | 43 | 482 |3102 | 482 | 927 | 931 | 116k| 28k| 0.000000e+00 | -- | Inf
1682.54/1682.58 c 1683s| 2120k| 201 | 19159k| 9.0 | 18M| 63 | - | 482 |3119 | 0 | 0 | 931 | 117k| 28k| 0.000000e+00 | -- | Inf
1692.04/1692.00 c 1692s| 2130k| 196 | 19267k| 9.0 | 18M| 63 | 39 | 482 |2962 | 482 | 927 | 931 | 117k| 28k| 0.000000e+00 | -- | Inf
1700.34/1700.36 c 1700s| 2140k| 203 | 19365k| 9.0 | 18M| 63 | 35 | 482 |3095 | 482 | 927 | 931 | 117k| 28k| 0.000000e+00 | -- | Inf
1709.64/1709.62 c 1710s| 2150k| 194 | 19475k| 9.1 | 18M| 63 | - | 482 |3139 | 0 | 0 | 931 | 118k| 28k| 0.000000e+00 | -- | Inf
1717.24/1717.29 c 1717s| 2160k| 199 | 19563k| 9.1 | 18M| 63 | - | 482 |3252 | 0 | 0 | 931 | 118k| 28k| 0.000000e+00 | -- | Inf
1726.14/1726.18 c 1726s| 2170k| 197 | 19661k| 9.1 | 18M| 63 | - | 482 |2959 | 0 | 0 | 931 | 119k| 28k| 0.000000e+00 | -- | Inf
1735.34/1735.32 c 1735s| 2180k| 196 | 19771k| 9.1 | 18M| 63 | 29 | 482 |2785 | 482 | 927 | 931 | 119k| 28k| 0.000000e+00 | -- | Inf
1743.94/1743.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1743.94/1743.91 c 1744s| 2190k| 192 | 19873k| 9.1 | 18M| 63 | - | 482 |2647 | 0 | 0 | 931 | 120k| 29k| 0.000000e+00 | -- | Inf
1752.14/1752.18 c 1752s| 2200k| 201 | 19970k| 9.1 | 18M| 63 | 42 | 482 |2686 | 482 | 927 | 931 | 120k| 29k| 0.000000e+00 | -- | Inf
1760.64/1760.67 c 1761s| 2210k| 199 | 20071k| 9.1 | 18M| 63 | - | 482 |2750 | 0 | 0 | 931 | 121k| 29k| 0.000000e+00 | -- | Inf
1769.45/1769.48 c 1769s| 2220k| 207 | 20173k| 9.1 | 18M| 63 | - | 482 |2726 | 0 | 0 | 931 | 121k| 29k| 0.000000e+00 | -- | Inf
1777.74/1777.71 c 1778s| 2230k| 204 | 20273k| 9.1 | 18M| 63 | 36 | 482 |2820 | 482 | 927 | 931 | 122k| 29k| 0.000000e+00 | -- | Inf
1785.54/1785.51 c 1786s| 2240k| 196 | 20367k| 9.1 | 18M| 63 | - | 482 |2698 | 0 | 0 | 931 | 123k| 29k| 0.000000e+00 | -- | Inf
1793.35/1793.35 c 1793s| 2250k| 195 | 20460k| 9.1 | 18M| 63 | - | 482 |2784 | 0 | 0 | 931 | 124k| 29k| 0.000000e+00 | -- | Inf
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Solving Time (sec) : 1800.00
1800.04/1800.00 c Solving Nodes : 2257784
1800.04/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.00 c Dual Bound : +0.00000000000000e+00
1800.04/1800.00 c Gap : infinite
1800.04/1800.00 s UNKNOWN
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Total Time : 1800.00
1800.04/1800.00 c solving : 1800.00
1800.04/1800.00 c presolving : 0.03 (included in solving)
1800.04/1800.00 c reading : 0.01 (included in solving)
1800.04/1800.00 c Original Problem :
1800.04/1800.00 c Problem name : HOME/instance-3451124-1307067352.opb
1800.04/1800.00 c Variables : 490 (490 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 737 initial, 737 maximal
1800.04/1800.00 c Presolved Problem :
1800.04/1800.00 c Problem name : t_HOME/instance-3451124-1307067352.opb
1800.04/1800.00 c Variables : 482 (482 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.00 c Constraints : 725 initial, 3707 maximal
1800.04/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.04/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c implics : 0.00 0 8 0 0 0 0 0 0 0
1800.04/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c setppc : 0.00 0 0 0 0 0 12 0 0 0
1800.04/1800.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.04/1800.00 c root node : - 0 - - 0 - - - - -
1800.04/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.04/1800.00 c integral : 0 0 0 1138498 0 1 0 823 5725 0 0 2266366
1800.04/1800.00 c knapsack : 340 5 5585607 0 1 0 18963835 767812 23320141 545 0 0
1800.04/1800.00 c setppc : 241 5 4743843 0 1 0 3221488 2255 5702175 0 0 0
1800.04/1800.00 c linear : 0+ 5 6885 0 0 0 0 5 1 0 0 0
1800.04/1800.00 c logicor : 144+ 5 3679391 0 1 0 84585 14497 3007245 0 0 0
1800.04/1800.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.04/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.04/1800.00 c integral : 61.46 0.00 0.00 61.46 0.00 0.00 0.00
1800.04/1800.00 c knapsack : 76.25 0.02 69.93 0.00 0.00 0.00 6.30
1800.04/1800.00 c setppc : 10.65 0.00 9.97 0.00 0.00 0.00 0.68
1800.04/1800.00 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c logicor : 24.67 0.00 24.57 0.00 0.00 0.00 0.10
1800.04/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.04/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.04/1800.00 c vbounds : 0 0 0 0
1800.04/1800.00 c rootredcost : 0 0 0 0
1800.04/1800.00 c pseudoobj : 0 0 0 0
1800.04/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.04/1800.00 c vbounds : 0.77 0.77 0.00
1800.04/1800.00 c rootredcost : 0.84 0.84 0.00
1800.04/1800.00 c pseudoobj : 0.55 0.55 0.00
1800.04/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.00 c propagation : 25.33 111502 99776 884660 110.7 969 128.0 -
1800.04/1800.00 c infeasible LP : 36.03 347361 0 0 0.0 0 0.0 0
1800.04/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.01 c applied globally : - - - 124133 23.3 - - -
1800.04/1800.01 c applied locally : - - - 272 117.7 - - -
1800.04/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.01 c cut pool : 0.00 4 - - 90 - (maximal pool size: 2802)
1800.04/1800.01 c redcost : 7.80 1135500 0 0 0 0
1800.04/1800.01 c impliedbounds : 0.00 5 0 0 1473 0
1800.04/1800.01 c intobj : 0.00 0 0 0 0 0
1800.04/1800.01 c gomory : 0.38 5 0 0 588 0
1800.04/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.04/1800.01 c strongcg : 0.27 5 0 0 2302 0
1800.04/1800.01 c cmir : 0.00 0 0 0 0 0
1800.04/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.01 c clique : 0.00 1 0 0 0 0
1800.04/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.01 c mcf : 0.00 1 0 0 0 0
1800.04/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.04/1800.01 c rapidlearning : 0.03 1 0 0 0 4
1800.04/1800.01 c Pricers : Time Calls Vars
1800.04/1800.01 c problem variables: 0.00 0 0
1800.04/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.01 c relpscost : 60.80 1138498 823 5725 0 0 2266366
1800.04/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.01 c inference : 0.00 1 0 0 0 0 2
1800.04/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.01 c random : 0.00 0 0 0 0 0 0
1800.04/1800.01 c Primal Heuristics : Time Calls Found
1800.04/1800.01 c LP solutions : 0.00 - 0
1800.04/1800.01 c pseudo solutions : 0.00 - 0
1800.04/1800.01 c trivial : 0.00 1 0
1800.04/1800.01 c shiftandpropagate: 0.00 0 0
1800.04/1800.01 c simplerounding : 0.00 0 0
1800.04/1800.01 c zirounding : 0.00 0 0
1800.04/1800.01 c rounding : 0.00 0 0
1800.04/1800.01 c shifting : 0.00 0 0
1800.04/1800.01 c intshifting : 0.00 0 0
1800.04/1800.01 c oneopt : 0.00 0 0
1800.04/1800.01 c twoopt : 0.00 0 0
1800.04/1800.01 c fixandinfer : 0.00 0 0
1800.04/1800.01 c feaspump : 0.00 0 0
1800.04/1800.01 c clique : 0.00 0 0
1800.04/1800.01 c coefdiving : 0.00 0 0
1800.04/1800.01 c pscostdiving : 0.00 0 0
1800.04/1800.01 c fracdiving : 0.00 0 0
1800.04/1800.01 c veclendiving : 0.00 0 0
1800.04/1800.01 c intdiving : 0.00 0 0
1800.04/1800.01 c actconsdiving : 0.00 0 0
1800.04/1800.01 c objpscostdiving : 0.00 0 0
1800.04/1800.01 c rootsoldiving : 0.00 0 0
1800.04/1800.01 c linesearchdiving : 0.00 0 0
1800.04/1800.01 c guideddiving : 0.00 0 0
1800.04/1800.01 c octane : 0.00 0 0
1800.04/1800.01 c rens : 0.00 0 0
1800.04/1800.01 c rins : 0.00 0 0
1800.04/1800.01 c localbranching : 0.00 0 0
1800.04/1800.01 c mutation : 0.00 0 0
1800.04/1800.01 c crossover : 0.00 0 0
1800.04/1800.01 c dins : 0.00 0 0
1800.04/1800.01 c vbounds : 0.00 0 0
1800.04/1800.01 c undercover : 0.00 0 0
1800.04/1800.01 c subnlp : 0.00 0 0
1800.04/1800.01 c trysol : 0.00 0 0
1800.04/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.01 c dual LP : 1345.27 1483922 20537667 13.84 15266.52
1800.04/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.01 c strong branching : 47.50 29405 574118 19.52 12085.80
1800.04/1800.01 c (at root node) : - 10 3576 357.60 -
1800.04/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.01 c B&B Tree :
1800.04/1800.01 c number of runs : 1
1800.04/1800.01 c nodes : 2257784
1800.04/1800.01 c nodes (total) : 2257784
1800.04/1800.01 c nodes left : 196
1800.04/1800.01 c max depth : 63
1800.04/1800.01 c max depth (total): 63
1800.04/1800.01 c backtracks : 306130 (13.6%)
1800.04/1800.01 c delayed cutoffs : 8389
1800.04/1800.01 c repropagations : 241982 (628138 domain reductions, 8153 cutoffs)
1800.04/1800.01 c avg switch length: 2.75
1800.04/1800.01 c switching time : 80.96
1800.04/1800.01 c Solution :
1800.04/1800.01 c Solutions found : 0 (0 improvements)
1800.04/1800.01 c Primal Bound : -
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.04/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Root Iterations : 2736
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3451124-1307067352/watcher-3451124-1307067352 -o /tmp/evaluation-result-3451124-1307067352/solver-3451124-1307067352 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451124-1307067352.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: 1.99 1.56 1.24 3/327 16790
/proc/meminfo: memFree=24167656/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=13372 CPUtime=0 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 2319 0 0 0 0 0 0 0 25 0 1 0 896965804 13692928 2272 33554432000 4194304 9163163 140736747874688 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16790/statm: 3343 2272 392 1214 0 2125 0
[startup+0.0813771 s]
/proc/loadavg: 1.99 1.56 1.24 3/327 16790
/proc/meminfo: memFree=24167656/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=25500 CPUtime=0.06 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 5626 0 0 0 6 0 0 0 18 0 1 0 896965804 26112000 5318 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 6375 5318 668 1214 0 5157 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 25500
[startup+0.100388 s]
/proc/loadavg: 1.99 1.56 1.24 3/327 16790
/proc/meminfo: memFree=24167656/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=36660 CPUtime=0.08 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 8332 0 0 0 8 0 0 0 18 0 1 0 896965804 37539840 8024 33554432000 4194304 9163163 140736747874688 18446744073709551615 8013931 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 9226 8042 687 1214 0 8008 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 36660
[startup+0.300335 s]
/proc/loadavg: 1.99 1.56 1.24 3/327 16790
/proc/meminfo: memFree=24167656/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=39076 CPUtime=0.28 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 9435 0 0 0 27 1 0 0 18 0 1 0 896965804 40013824 8421 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 9769 8421 707 1214 0 8551 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 39076
[startup+0.700267 s]
/proc/loadavg: 1.99 1.56 1.24 3/327 16790
/proc/meminfo: memFree=24167656/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=39336 CPUtime=0.69 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 9830 0 0 0 66 3 0 0 18 0 1 0 896965804 40280064 8811 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 9834 8811 707 1214 0 8616 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39336
[startup+1.50013 s]
/proc/loadavg: 1.99 1.56 1.24 3/328 16791
/proc/meminfo: memFree=24132436/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=44132 CPUtime=1.49 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 11003 0 0 0 144 5 0 0 19 0 1 0 896965804 45191168 9984 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 11033 9984 709 1214 0 9815 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44132
[startup+3.10082 s]
/proc/loadavg: 1.99 1.56 1.24 3/328 16791
/proc/meminfo: memFree=24129584/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=44132 CPUtime=3.09 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 11006 0 0 0 294 15 0 0 25 0 1 0 896965804 45191168 9987 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 11033 9987 711 1214 0 9815 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44132
[startup+6.30024 s]
/proc/loadavg: 1.99 1.57 1.25 3/328 16791
/proc/meminfo: memFree=24129292/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=44132 CPUtime=6.29 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 11007 0 0 0 598 31 0 0 25 0 1 0 896965804 45191168 9988 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 11033 9988 711 1214 0 9815 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44132
[startup+12.7011 s]
/proc/loadavg: 1.99 1.57 1.25 3/328 16791
/proc/meminfo: memFree=24128944/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=44132 CPUtime=12.69 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 11007 0 0 0 1202 67 0 0 25 0 1 0 896965804 45191168 9988 33554432000 4194304 9163163 140736747874688 18446744073709551615 6557632 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 11033 9988 711 1214 0 9815 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44132
[startup+25.5007 s]
/proc/loadavg: 1.99 1.59 1.26 3/328 16792
/proc/meminfo: memFree=24128884/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=44268 CPUtime=25.48 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 11042 0 0 0 2412 136 0 0 25 0 1 0 896965804 45330432 10023 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 11067 10023 711 1214 0 9849 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44268
[startup+51.101 s]
/proc/loadavg: 1.99 1.63 1.28 3/328 16792
/proc/meminfo: memFree=24128124/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=44964 CPUtime=51.09 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 11231 0 0 0 4820 289 0 0 25 0 1 0 896965804 46043136 10212 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 11241 10212 711 1214 0 10023 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 44964
[startup+102.312 s]
/proc/loadavg: 1.99 1.68 1.31 3/328 16794
/proc/meminfo: memFree=24126976/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=46080 CPUtime=102.3 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 11504 0 0 0 9659 571 0 0 25 0 1 0 896965804 47185920 10485 33554432000 4194304 9163163 140736747874688 18446744073709551615 7225472 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 11520 10485 711 1214 0 10302 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 46080
[startup+162.301 s]
/proc/loadavg: 1.99 1.74 1.36 3/328 16795
/proc/meminfo: memFree=24125324/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=46364 CPUtime=162.3 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 11575 0 0 0 15323 907 0 0 25 0 1 0 896965804 47476736 10556 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 11591 10556 711 1214 0 10373 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 46364
[startup+222.301 s]
/proc/loadavg: 2.14 1.81 1.40 3/328 16797
/proc/meminfo: memFree=24124404/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=46932 CPUtime=222.3 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 11729 0 0 0 20993 1237 0 0 25 0 1 0 896965804 48058368 10710 33554432000 4194304 9163163 140736747874688 18446744073709551615 7375435 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 11733 10710 711 1214 0 10515 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 46932
[startup+282.301 s]
/proc/loadavg: 2.05 1.85 1.44 3/328 16799
/proc/meminfo: memFree=24123240/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=47948 CPUtime=282.3 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 11961 0 0 0 26661 1569 0 0 25 0 1 0 896965804 49098752 10942 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 11987 10942 711 1214 0 10769 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 47948
[startup+342.301 s]
/proc/loadavg: 2.02 1.87 1.47 3/328 16800
/proc/meminfo: memFree=24123080/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=47948 CPUtime=342.3 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 11977 0 0 0 32324 1906 0 0 25 0 1 0 896965804 49098752 10958 33554432000 4194304 9163163 140736747874688 18446744073709551615 18446744073699066054 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 11987 10958 711 1214 0 10769 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 47948
[startup+402.301 s]
/proc/loadavg: 2.00 1.89 1.50 3/328 16802
/proc/meminfo: memFree=24122796/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=48252 CPUtime=402.3 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 12038 0 0 0 37994 2236 0 0 25 0 1 0 896965804 49410048 11019 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 12063 11019 711 1214 0 10845 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 48252
[startup+462.301 s]
/proc/loadavg: 2.03 1.92 1.53 3/328 16803
/proc/meminfo: memFree=24122632/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=48252 CPUtime=462.3 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 12040 0 0 0 43653 2577 0 0 25 0 1 0 896965804 49410048 11021 33554432000 4194304 9163163 140736747874688 18446744073709551615 6558319 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 12063 11021 711 1214 0 10845 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 48252
[startup+522.301 s]
/proc/loadavg: 2.08 1.95 1.57 3/328 16832
/proc/meminfo: memFree=24119372/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=48252 CPUtime=522.3 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 12042 0 0 0 49320 2910 0 0 25 0 1 0 896965804 49410048 11023 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 12063 11023 711 1214 0 10845 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 48252
[startup+582.301 s]
/proc/loadavg: 2.03 1.95 1.59 3/328 16834
/proc/meminfo: memFree=24117876/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=48252 CPUtime=582.3 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 12043 0 0 0 54989 3241 0 0 25 0 1 0 896965804 49410048 11024 33554432000 4194304 9163163 140736747874688 18446744073709551615 6706874 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 12063 11024 711 1214 0 10845 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 48252
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.04 1.99 1.68 3/328 16867
/proc/meminfo: memFree=24118924/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=48540 CPUtime=822.31 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 12109 0 0 0 77779 4452 0 0 25 0 1 0 896965804 49704960 11090 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 12135 11090 711 1214 0 10917 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 48540
[startup+882.301 s]
/proc/loadavg: 2.01 1.99 1.69 3/328 16869
/proc/meminfo: memFree=24118028/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=48540 CPUtime=882.32 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 12120 0 0 0 83502 4730 0 0 25 0 1 0 896965804 49704960 11101 33554432000 4194304 9163163 140736747874688 18446744073709551615 4793078 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 12135 11101 711 1214 0 10917 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 48540
[startup+942.301 s]
/proc/loadavg: 2.00 1.99 1.71 3/328 16870
/proc/meminfo: memFree=24117492/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=48540 CPUtime=942.31 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 12126 0 0 0 89242 4989 0 0 25 0 1 0 896965804 49704960 11107 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 12135 11107 711 1214 0 10917 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 48540
[startup+1002.3 s]
/proc/loadavg: 2.05 2.00 1.73 3/328 16872
/proc/meminfo: memFree=24114244/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=48732 CPUtime=1002.32 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 12157 0 0 0 94984 5248 0 0 25 0 1 0 896965804 49901568 11138 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 12183 11138 711 1214 0 10965 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 48732
[startup+1062.3 s]
/proc/loadavg: 2.02 2.00 1.74 3/328 16873
/proc/meminfo: memFree=24113572/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=48732 CPUtime=1062.31 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 12174 0 0 0 100718 5513 0 0 25 0 1 0 896965804 49901568 11155 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 12183 11155 711 1214 0 10965 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 48732
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.76 3/328 16875
/proc/meminfo: memFree=24111796/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=48884 CPUtime=1122.32 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 12199 0 0 0 106450 5782 0 0 25 0 1 0 896965804 50057216 11180 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 12221 11180 711 1214 0 11003 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 48884
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/328 16877
/proc/meminfo: memFree=24111516/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=48884 CPUtime=1182.32 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 12212 0 0 0 112171 6061 0 0 25 0 1 0 896965804 50057216 11193 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 12221 11193 711 1214 0 11003 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 48884
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/328 16878
/proc/meminfo: memFree=24110864/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=48884 CPUtime=1242.32 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 12212 0 0 0 117892 6340 0 0 25 0 1 0 896965804 50057216 11193 33554432000 4194304 9163163 140736747874688 18446744073709551615 6706928 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 12221 11193 711 1214 0 11003 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 48884
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/328 16880
/proc/meminfo: memFree=24110720/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=48884 CPUtime=1302.33 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 12212 0 0 0 123619 6614 0 0 25 0 1 0 896965804 50057216 11193 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 12221 11193 711 1214 0 11003 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 48884
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 1.81 3/328 16881
/proc/meminfo: memFree=24110688/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=48884 CPUtime=1362.33 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 12212 0 0 0 129337 6896 0 0 25 0 1 0 896965804 50057216 11193 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 12221 11193 711 1214 0 11003 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 48884
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.82 3/328 16886
/proc/meminfo: memFree=24110280/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=48884 CPUtime=1422.34 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 12212 0 0 0 135056 7178 0 0 25 0 1 0 896965804 50057216 11193 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 12221 11193 711 1214 0 11003 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 48884
[startup+1482.3 s]
/proc/loadavg: 2.15 2.04 1.84 3/328 16888
/proc/meminfo: memFree=24110152/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=49196 CPUtime=1482.33 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 12277 0 0 0 140784 7449 0 0 25 0 1 0 896965804 50376704 11258 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 12299 11258 711 1214 0 11081 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 49196
[startup+1542.3 s]
/proc/loadavg: 2.05 2.03 1.84 3/328 16916
/proc/meminfo: memFree=24117636/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=49196 CPUtime=1542.34 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 12277 0 0 0 146460 7774 0 0 25 0 1 0 896965804 50376704 11258 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 12299 11258 711 1214 0 11081 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 49196
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 1.85 3/328 16945
/proc/meminfo: memFree=24117376/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=49196 CPUtime=1602.34 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 12295 0 0 0 152130 8104 0 0 25 0 1 0 896965804 50376704 11276 33554432000 4194304 9163163 140736747874688 18446744073709551615 6499437 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 12299 11276 711 1214 0 11081 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 49196
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.85 3/328 16973
/proc/meminfo: memFree=24118080/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=49196 CPUtime=1662.34 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 12295 0 0 0 157805 8429 0 0 25 0 1 0 896965804 50376704 11276 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 12299 11276 711 1214 0 11081 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 49196
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/328 16975
/proc/meminfo: memFree=24117180/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=49196 CPUtime=1722.34 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 12295 0 0 0 163520 8714 0 0 25 0 1 0 896965804 50376704 11276 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 12299 11276 711 1214 0 11081 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 49196
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/328 16977
/proc/meminfo: memFree=24114632/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=49196 CPUtime=1782.35 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 12299 0 0 0 169242 8993 0 0 25 0 1 0 896965804 50376704 11280 33554432000 4194304 9163163 140736747874688 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16790/statm: 12299 11280 711 1214 0 11081 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 49196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.87 3/328 16977
/proc/meminfo: memFree=24113996/32951124 swapFree=67056304/67111528
[pid=16790] ppid=16788 vsize=49196 CPUtime=1800.05 cores=1,3,5,7
/proc/16790/stat : 16790 (scip-2.0.1.4b.l) R 16788 16790 15734 0 -1 4202496 12302 0 0 0 170935 9070 0 0 25 0 1 0 896965804 50376704 11283 33554432000 4194304 9163163 140736747874688 18446744073709551615 8090608 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16790/statm: 12299 11283 714 1214 0 11081 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 49196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1709.36
CPU system time (s): 90.7082
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 49196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1709.36
system time used= 90.7082
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12303
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= 21422
runsolver used 5.22021 second user time and 12.8091 second system time
The end