0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3452784-1307067329.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.03 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.03 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.4
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 | - |3161k| 0 | 121 | 482 | 725 | 482 | 725 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 1384 | - |4884k| 0 | 195 | 482 | 729 | 482 |1127 | 402 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.44 c 0.4s| 1 | 0 | 2233 | - |7063k| 0 | 267 | 482 | 729 | 482 |1519 | 794 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.68 c 0.7s| 1 | 0 | 2514 | - |9115k| 0 | 276 | 482 | 729 | 482 |1572 | 847 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.93 c 0.9s| 1 | 0 | 2685 | - | 12M| 0 | 246 | 482 | 729 | 482 |1655 | 930 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/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.23 c 13.2s| 10000 | 56 | 83429 | 8.1 | 16M| 44 | - | 482 |1094 | 482 | 927 | 931 | 597 |2623 | 0.000000e+00 | -- | Inf
21.69/21.75 c 21.8s| 20000 | 85 |173904 | 8.6 | 16M| 44 | 24 | 482 |1196 | 482 | 927 | 931 |1079 |3158 | 0.000000e+00 | -- | Inf
29.09/29.19 c 29.2s| 30000 | 84 |259385 | 8.6 | 16M| 44 | - | 482 |1357 | 0 | 0 | 931 |1571 |3219 | 0.000000e+00 | -- | Inf
37.19/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.60/46.67 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.76 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.52 c 62.5s| 70000 | 113 |626760 | 8.9 | 16M| 45 | - | 482 |1878 | 0 | 0 | 931 |4108 |4853 | 0.000000e+00 | -- | Inf
69.29/69.41 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.10/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.80/100.80 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.29/124.40 c 124s|150000 | 121 | 1317k| 8.8 | 16M| 52 | 17 | 482 |1841 | 482 | 927 | 931 | 11k|7273 | 0.000000e+00 | -- | Inf
131.80/131.86 c 132s|160000 | 125 | 1403k| 8.8 | 16M| 52 | - | 482 |2011 | 0 | 0 | 931 | 12k|7400 | 0.000000e+00 | -- | Inf
139.59/139.65 c 140s|170000 | 153 | 1493k| 8.8 | 17M| 52 | - | 482 |2104 | 0 | 0 | 931 | 12k|7532 | 0.000000e+00 | -- | Inf
148.00/148.00 c 148s|180000 | 112 | 1588k| 8.8 | 16M| 52 | 27 | 482 |2175 | 482 | 927 | 931 | 13k|7885 | 0.000000e+00 | -- | Inf
156.09/156.17 c 156s|190000 | 125 | 1673k| 8.8 | 16M| 52 | 29 | 482 |2089 | 482 | 927 | 931 | 13k|8344 | 0.000000e+00 | -- | Inf
163.40/163.44 c 163s|200000 | 123 | 1752k| 8.8 | 17M| 52 | 21 | 482 |2236 | 482 | 927 | 931 | 14k|8459 | 0.000000e+00 | -- | Inf
170.39/170.47 c 170s|210000 | 129 | 1829k| 8.7 | 17M| 52 | 30 | 482 |2414 | 482 | 927 | 931 | 14k|8579 | 0.000000e+00 | -- | Inf
178.10/178.14 c 178s|220000 | 117 | 1910k| 8.7 | 17M| 52 | - | 482 |2335 | 0 | 0 | 931 | 15k|8851 | 0.000000e+00 | -- | Inf
186.39/186.40 c 186s|230000 | 133 | 1999k| 8.7 | 17M| 52 | 29 | 482 |2361 | 482 | 927 | 931 | 16k|9207 | 0.000000e+00 | -- | Inf
194.49/194.57 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.57 c 195s|240000 | 125 | 2092k| 8.7 | 17M| 52 | - | 482 |2329 | 482 | 927 | 931 | 16k|9415 | 0.000000e+00 | -- | Inf
203.10/203.16 c 203s|250000 | 132 | 2195k| 8.8 | 17M| 52 | - | 482 |2312 | 0 | 0 | 931 | 17k|9609 | 0.000000e+00 | -- | Inf
211.10/211.16 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.90/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.33 c 234s|290000 | 141 | 2551k| 8.8 | 17M| 52 | 19 | 482 |2759 | 482 | 927 | 931 | 19k| 10k| 0.000000e+00 | -- | Inf
241.30/241.36 c 241s|300000 | 132 | 2631k| 8.8 | 17M| 52 | - | 482 |2974 | 482 | 927 | 931 | 20k| 10k| 0.000000e+00 | -- | Inf
249.29/249.39 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.40/263.47 c 263s|330000 | 132 | 2882k| 8.7 | 17M| 52 | 34 | 482 |3235 | 482 | 927 | 931 | 23k| 10k| 0.000000e+00 | -- | Inf
271.20/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.01 c 281s|350000 | 141 | 3076k| 8.8 | 17M| 52 | 28 | 482 |2863 | 482 | 927 | 931 | 24k| 11k| 0.000000e+00 | -- | Inf
288.99/289.08 c 289s|360000 | 142 | 3169k| 8.8 | 17M| 52 | 41 | 482 |2588 | 482 | 927 | 931 | 25k| 11k| 0.000000e+00 | -- | Inf
297.30/297.31 c 297s|370000 | 156 | 3267k| 8.8 | 17M| 53 | 37 | 482 |2748 | 482 | 927 | 931 | 25k| 11k| 0.000000e+00 | -- | Inf
305.40/305.41 c 305s|380000 | 146 | 3358k| 8.8 | 17M| 53 | 40 | 482 |2655 | 482 | 927 | 931 | 26k| 11k| 0.000000e+00 | -- | Inf
313.70/313.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
313.70/313.72 c 314s|390000 | 143 | 3452k| 8.8 | 17M| 53 | - | 482 |2614 | 482 | 927 | 931 | 26k| 12k| 0.000000e+00 | -- | Inf
322.00/322.03 c 322s|400000 | 146 | 3550k| 8.9 | 17M| 53 | - | 482 |2724 | 0 | 0 | 931 | 27k| 12k| 0.000000e+00 | -- | Inf
330.90/330.97 c 331s|410000 | 144 | 3654k| 8.9 | 17M| 53 | 35 | 482 |2356 | 482 | 927 | 931 | 27k| 12k| 0.000000e+00 | -- | Inf
340.02/340.03 c 340s|420000 | 160 | 3762k| 9.0 | 17M| 53 | - | 482 |2449 | 0 | 0 | 931 | 27k| 12k| 0.000000e+00 | -- | Inf
348.50/348.52 c 349s|430000 | 158 | 3861k| 9.0 | 17M| 53 | 25 | 482 |2567 | 482 | 927 | 931 | 28k| 12k| 0.000000e+00 | -- | Inf
358.50/358.54 c 359s|440000 | 177 | 3966k| 9.0 | 17M| 53 | - | 482 |2326 | 482 | 927 | 931 | 28k| 13k| 0.000000e+00 | -- | Inf
365.40/365.46 c 365s|450000 | 174 | 4045k| 9.0 | 17M| 53 | 32 | 482 |2597 | 482 | 927 | 931 | 29k| 13k| 0.000000e+00 | -- | Inf
372.70/372.77 c 373s|460000 | 179 | 4128k| 9.0 | 17M| 53 | 26 | 482 |2539 | 482 | 927 | 931 | 29k| 13k| 0.000000e+00 | -- | Inf
380.30/380.37 c 380s|470000 | 175 | 4217k| 9.0 | 17M| 53 | 40 | 482 |2660 | 482 | 927 | 931 | 30k| 13k| 0.000000e+00 | -- | Inf
388.20/388.28 c 388s|480000 | 176 | 4311k| 9.0 | 17M| 53 | - | 482 |2635 | 0 | 0 | 931 | 30k| 13k| 0.000000e+00 | -- | Inf
396.12/396.14 c 396s|490000 | 180 | 4400k| 9.0 | 17M| 53 | - | 482 |2394 | 0 | 0 | 931 | 30k| 13k| 0.000000e+00 | -- | Inf
403.50/403.53 c 404s|500000 | 192 | 4485k| 9.0 | 17M| 53 | 29 | 482 |2691 | 482 | 927 | 931 | 31k| 13k| 0.000000e+00 | -- | Inf
411.20/411.26 c 411s|510000 | 180 | 4571k| 9.0 | 17M| 53 | - | 482 |2691 | 482 | 927 | 931 | 31k| 13k| 0.000000e+00 | -- | Inf
418.80/418.88 c 419s|520000 | 188 | 4657k| 9.0 | 17M| 54 | 31 | 482 |2778 | 482 | 927 | 931 | 32k| 13k| 0.000000e+00 | -- | Inf
427.10/427.12 c 427s|530000 | 178 | 4752k| 9.0 | 17M| 54 | 31 | 482 |2676 | 482 | 927 | 931 | 32k| 13k| 0.000000e+00 | -- | Inf
435.20/435.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
435.20/435.25 c 435s|540000 | 179 | 4846k| 9.0 | 17M| 54 | - | 482 |2600 | 482 | 927 | 931 | 33k| 13k| 0.000000e+00 | -- | Inf
443.42/443.45 c 443s|550000 | 198 | 4945k| 9.0 | 17M| 54 | 35 | 482 |2723 | 482 | 927 | 931 | 33k| 13k| 0.000000e+00 | -- | Inf
452.22/452.25 c 452s|560000 | 182 | 5043k| 9.0 | 17M| 61 | - | 482 |2575 | 0 | 0 | 931 | 33k| 14k| 0.000000e+00 | -- | Inf
461.51/461.58 c 462s|570000 | 192 | 5149k| 9.0 | 17M| 61 | - | 482 |2599 | 482 | 927 | 931 | 34k| 14k| 0.000000e+00 | -- | Inf
470.51/470.58 c 471s|580000 | 169 | 5249k| 9.0 | 17M| 61 | - | 482 |2195 | 482 | 927 | 931 | 34k| 14k| 0.000000e+00 | -- | Inf
478.31/478.33 c 478s|590000 | 174 | 5340k| 9.0 | 17M| 61 | - | 482 |2221 | 0 | 0 | 931 | 35k| 14k| 0.000000e+00 | -- | Inf
486.50/486.50 c 487s|600000 | 187 | 5437k| 9.1 | 17M| 61 | - | 482 |2384 | 0 | 0 | 931 | 35k| 14k| 0.000000e+00 | -- | Inf
495.50/495.51 c 496s|610000 | 200 | 5543k| 9.1 | 17M| 61 | 15 | 482 |2246 | 482 | 927 | 931 | 36k| 15k| 0.000000e+00 | -- | Inf
504.00/504.07 c 504s|620000 | 189 | 5646k| 9.1 | 17M| 61 | - | 482 |2260 | 0 | 0 | 931 | 36k| 15k| 0.000000e+00 | -- | Inf
513.00/513.02 c 513s|630000 | 181 | 5751k| 9.1 | 17M| 61 | 19 | 482 |2376 | 482 | 927 | 931 | 36k| 15k| 0.000000e+00 | -- | Inf
520.60/520.69 c 521s|640000 | 184 | 5839k| 9.1 | 17M| 61 | 43 | 482 |2482 | 482 | 927 | 931 | 37k| 15k| 0.000000e+00 | -- | Inf
528.61/528.60 c 529s|650000 | 177 | 5931k| 9.1 | 17M| 61 | - | 482 |2525 | 0 | 0 | 931 | 38k| 15k| 0.000000e+00 | -- | Inf
536.60/536.66 c 537s|660000 | 190 | 6025k| 9.1 | 17M| 61 | 36 | 482 |2754 | 482 | 927 | 931 | 38k| 15k| 0.000000e+00 | -- | Inf
545.30/545.31 c 545s|670000 | 169 | 6122k| 9.1 | 17M| 61 | - | 482 |2634 | 0 | 0 | 931 | 39k| 15k| 0.000000e+00 | -- | Inf
553.00/553.03 c 553s|680000 | 175 | 6211k| 9.1 | 17M| 61 | 38 | 482 |2696 | 482 | 927 | 931 | 39k| 15k| 0.000000e+00 | -- | Inf
560.81/560.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
560.81/560.83 c 561s|690000 | 185 | 6303k| 9.1 | 17M| 61 | - | 482 |2658 | 482 | 927 | 931 | 39k| 15k| 0.000000e+00 | -- | Inf
569.21/569.29 c 569s|700000 | 180 | 6403k| 9.1 | 17M| 61 | - | 482 |2717 | 0 | 0 | 931 | 40k| 15k| 0.000000e+00 | -- | Inf
578.41/578.43 c 578s|710000 | 177 | 6507k| 9.2 | 17M| 61 | - | 482 |2501 | 482 | 927 | 931 | 40k| 16k| 0.000000e+00 | -- | Inf
587.91/587.94 c 588s|720000 | 190 | 6625k| 9.2 | 17M| 61 | 44 | 482 |2470 | 482 | 927 | 931 | 41k| 16k| 0.000000e+00 | -- | Inf
597.60/597.62 c 598s|730000 | 170 | 6737k| 9.2 | 17M| 61 | 30 | 482 |2419 | 482 | 927 | 931 | 41k| 16k| 0.000000e+00 | -- | Inf
605.50/605.53 c 606s|740000 | 164 | 6821k| 9.2 | 17M| 61 | 29 | 482 |2458 | 482 | 927 | 931 | 41k| 16k| 0.000000e+00 | -- | Inf
613.21/613.26 c 613s|750000 | 164 | 6908k| 9.2 | 17M| 61 | 34 | 482 |2532 | 482 | 927 | 931 | 42k| 16k| 0.000000e+00 | -- | Inf
620.70/620.74 c 621s|760000 | 167 | 6995k| 9.2 | 17M| 61 | - | 482 |2867 | 0 | 0 | 931 | 43k| 17k| 0.000000e+00 | -- | Inf
628.23/628.26 c 628s|770000 | 163 | 7082k| 9.2 | 17M| 61 | 44 | 482 |2859 | 482 | 927 | 931 | 44k| 17k| 0.000000e+00 | -- | Inf
636.21/636.27 c 636s|780000 | 163 | 7177k| 9.2 | 17M| 61 | - | 482 |2823 | 0 | 0 | 931 | 44k| 17k| 0.000000e+00 | -- | Inf
644.21/644.27 c 644s|790000 | 166 | 7273k| 9.2 | 17M| 61 | - | 482 |2900 | 0 | 0 | 931 | 45k| 17k| 0.000000e+00 | -- | Inf
652.90/652.96 c 653s|800000 | 166 | 7374k| 9.2 | 17M| 61 | - | 482 |3094 | 0 | 0 | 931 | 46k| 17k| 0.000000e+00 | -- | Inf
661.11/661.19 c 661s|810000 | 161 | 7472k| 9.2 | 17M| 61 | - | 482 |3161 | 0 | 0 | 931 | 47k| 17k| 0.000000e+00 | -- | Inf
670.31/670.30 c 670s|820000 | 169 | 7567k| 9.2 | 17M| 61 | - | 482 |2259 | 0 | 0 | 931 | 48k| 18k| 0.000000e+00 | -- | Inf
677.41/677.45 c 677s|830000 | 169 | 7644k| 9.2 | 17M| 61 | - | 482 |2164 | 0 | 0 | 931 | 48k| 18k| 0.000000e+00 | -- | Inf
684.51/684.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
684.51/684.53 c 685s|840000 | 168 | 7724k| 9.2 | 17M| 61 | 9 | 482 |2155 | 482 | 927 | 931 | 49k| 18k| 0.000000e+00 | -- | Inf
691.91/691.98 c 692s|850000 | 164 | 7810k| 9.2 | 17M| 61 | - | 482 |2289 | 0 | 0 | 931 | 49k| 18k| 0.000000e+00 | -- | Inf
700.21/700.27 c 700s|860000 | 171 | 7907k| 9.2 | 17M| 61 | 36 | 482 |2311 | 482 | 927 | 931 | 50k| 18k| 0.000000e+00 | -- | Inf
707.91/707.90 c 708s|870000 | 173 | 7991k| 9.2 | 17M| 61 | 30 | 482 |2400 | 482 | 927 | 931 | 50k| 18k| 0.000000e+00 | -- | Inf
715.31/715.39 c 715s|880000 | 159 | 8075k| 9.2 | 17M| 61 | - | 482 |2345 | 482 | 927 | 931 | 51k| 18k| 0.000000e+00 | -- | Inf
723.71/723.77 c 724s|890000 | 157 | 8171k| 9.2 | 17M| 61 | 16 | 482 |2224 | 482 | 927 | 931 | 51k| 18k| 0.000000e+00 | -- | Inf
731.41/731.51 c 732s|900000 | 164 | 8261k| 9.2 | 17M| 61 | 34 | 482 |2366 | 482 | 927 | 931 | 51k| 18k| 0.000000e+00 | -- | Inf
739.81/739.89 c 740s|910000 | 171 | 8361k| 9.2 | 17M| 61 | - | 482 |2336 | 0 | 0 | 931 | 52k| 18k| 0.000000e+00 | -- | Inf
748.90/748.91 c 749s|920000 | 171 | 8468k| 9.2 | 17M| 61 | 26 | 482 |2082 | 482 | 927 | 931 | 53k| 19k| 0.000000e+00 | -- | Inf
756.93/756.95 c 757s|930000 | 172 | 8564k| 9.2 | 17M| 61 | 42 | 482 |2104 | 482 | 927 | 931 | 53k| 19k| 0.000000e+00 | -- | Inf
765.61/765.63 c 766s|940000 | 191 | 8665k| 9.2 | 17M| 61 | - | 482 |2213 | 0 | 0 | 931 | 54k| 19k| 0.000000e+00 | -- | Inf
774.10/774.13 c 774s|950000 | 187 | 8766k| 9.2 | 17M| 61 | - | 482 |2278 | 482 | 927 | 931 | 54k| 19k| 0.000000e+00 | -- | Inf
782.01/782.03 c 782s|960000 | 178 | 8856k| 9.2 | 17M| 61 | 20 | 482 |2263 | 482 | 927 | 931 | 54k| 19k| 0.000000e+00 | -- | Inf
788.31/788.32 c 788s|970000 | 178 | 8926k| 9.2 | 17M| 61 | - | 482 |2603 | 0 | 0 | 931 | 55k| 19k| 0.000000e+00 | -- | Inf
794.91/794.93 c 795s|980000 | 187 | 8998k| 9.2 | 17M| 61 | 19 | 482 |2890 | 482 | 927 | 931 | 56k| 19k| 0.000000e+00 | -- | Inf
801.71/801.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
801.71/801.74 c 802s|990000 | 190 | 9073k| 9.2 | 17M| 61 | - | 482 |2835 | 0 | 0 | 931 | 56k| 19k| 0.000000e+00 | -- | Inf
808.71/808.77 c 809s| 1000k| 193 | 9153k| 9.2 | 17M| 61 | - | 482 |2684 | 0 | 0 | 931 | 57k| 19k| 0.000000e+00 | -- | Inf
815.71/815.75 c 816s| 1010k| 201 | 9230k| 9.1 | 17M| 61 | - | 482 |2641 | 482 | 927 | 931 | 57k| 19k| 0.000000e+00 | -- | Inf
822.21/822.29 c 822s| 1020k| 197 | 9301k| 9.1 | 17M| 61 | - | 482 |2905 | 0 | 0 | 931 | 58k| 19k| 0.000000e+00 | -- | Inf
828.61/828.68 c 829s| 1030k| 191 | 9370k| 9.1 | 17M| 61 | 28 | 482 |2952 | 482 | 927 | 931 | 58k| 19k| 0.000000e+00 | -- | Inf
835.71/835.70 c 836s| 1040k| 195 | 9448k| 9.1 | 17M| 61 | - | 482 |2926 | 482 | 927 | 931 | 59k| 19k| 0.000000e+00 | -- | Inf
842.73/842.75 c 843s| 1050k| 193 | 9526k| 9.1 | 17M| 61 | - | 482 |3016 | 0 | 0 | 931 | 59k| 19k| 0.000000e+00 | -- | Inf
849.51/849.58 c 850s| 1060k| 192 | 9603k| 9.1 | 18M| 61 | - | 482 |3110 | 0 | 0 | 931 | 60k| 19k| 0.000000e+00 | -- | Inf
856.92/856.92 c 857s| 1070k| 188 | 9686k| 9.0 | 17M| 61 | - | 482 |3031 | 482 | 927 | 931 | 60k| 20k| 0.000000e+00 | -- | Inf
863.52/863.59 c 864s| 1080k| 204 | 9759k| 9.0 | 18M| 61 | 20 | 482 |3010 | 482 | 927 | 931 | 61k| 20k| 0.000000e+00 | -- | Inf
871.01/871.03 c 871s| 1090k| 202 | 9843k| 9.0 | 18M| 61 | 33 | 482 |3104 | 482 | 927 | 931 | 62k| 20k| 0.000000e+00 | -- | Inf
879.11/879.11 c 879s| 1100k| 187 | 9938k| 9.0 | 17M| 61 | - | 482 |2978 | 482 | 927 | 931 | 62k| 20k| 0.000000e+00 | -- | Inf
886.31/886.31 c 886s| 1110k| 187 | 10017k| 9.0 | 17M| 61 | 36 | 482 |2903 | 482 | 927 | 931 | 62k| 20k| 0.000000e+00 | -- | Inf
893.52/893.54 c 894s| 1120k| 184 | 10100k| 9.0 | 17M| 61 | - | 482 |2857 | 0 | 0 | 931 | 63k| 20k| 0.000000e+00 | -- | Inf
900.02/900.05 c 900s| 1130k| 189 | 10170k| 9.0 | 18M| 61 | 41 | 482 |3026 | 482 | 927 | 931 | 63k| 20k| 0.000000e+00 | -- | Inf
906.71/906.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
906.71/906.71 c 907s| 1140k| 190 | 10244k| 9.0 | 18M| 61 | 24 | 482 |3070 | 482 | 927 | 931 | 64k| 20k| 0.000000e+00 | -- | Inf
913.01/913.05 c 913s| 1150k| 193 | 10308k| 9.0 | 18M| 61 | 32 | 482 |3223 | 482 | 927 | 931 | 65k| 20k| 0.000000e+00 | -- | Inf
919.51/919.50 c 920s| 1160k| 195 | 10376k| 8.9 | 18M| 61 | - | 482 |3390 | 0 | 0 | 931 | 65k| 20k| 0.000000e+00 | -- | Inf
926.41/926.46 c 926s| 1170k| 187 | 10450k| 8.9 | 18M| 61 | 46 | 482 |3366 | 482 | 927 | 931 | 66k| 20k| 0.000000e+00 | -- | Inf
933.01/933.08 c 933s| 1180k| 189 | 10522k| 8.9 | 18M| 61 | 28 | 482 |3230 | 482 | 927 | 931 | 66k| 20k| 0.000000e+00 | -- | Inf
940.64/940.65 c 941s| 1190k| 183 | 10607k| 8.9 | 18M| 61 | - | 482 |3146 | 482 | 927 | 931 | 66k| 20k| 0.000000e+00 | -- | Inf
946.81/946.80 c 947s| 1200k| 189 | 10672k| 8.9 | 18M| 61 | 28 | 482 |3364 | 482 | 927 | 931 | 67k| 20k| 0.000000e+00 | -- | Inf
953.41/953.49 c 953s| 1210k| 181 | 10743k| 8.9 | 18M| 61 | 32 | 482 |3284 | 482 | 927 | 931 | 68k| 20k| 0.000000e+00 | -- | Inf
960.51/960.59 c 961s| 1220k| 190 | 10823k| 8.9 | 18M| 61 | 18 | 482 |3495 | 482 | 927 | 931 | 68k| 20k| 0.000000e+00 | -- | Inf
967.51/967.50 c 967s| 1230k| 197 | 10897k| 8.9 | 18M| 61 | 26 | 482 |3602 | 482 | 927 | 931 | 69k| 20k| 0.000000e+00 | -- | Inf
974.52/974.59 c 975s| 1240k| 185 | 10976k| 8.8 | 18M| 61 | - | 482 |3556 | 0 | 0 | 931 | 69k| 20k| 0.000000e+00 | -- | Inf
981.91/981.97 c 982s| 1250k| 188 | 11058k| 8.8 | 18M| 61 | - | 482 |3515 | 482 | 927 | 931 | 70k| 20k| 0.000000e+00 | -- | Inf
989.04/989.04 c 989s| 1260k| 188 | 11136k| 8.8 | 18M| 61 | 20 | 482 |3546 | 482 | 927 | 931 | 70k| 20k| 0.000000e+00 | -- | Inf
996.51/996.54 c 997s| 1270k| 188 | 11220k| 8.8 | 18M| 61 | - | 482 |3546 | 0 | 0 | 931 | 71k| 20k| 0.000000e+00 | -- | Inf
1003.71/1003.75 c 1004s| 1280k| 192 | 11300k| 8.8 | 18M| 61 | - | 482 |3583 | 0 | 0 | 931 | 71k| 21k| 0.000000e+00 | -- | Inf
1011.12/1011.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1011.12/1011.10 c 1011s| 1290k| 188 | 11382k| 8.8 | 18M| 61 | - | 482 |3515 | 0 | 0 | 931 | 72k| 21k| 0.000000e+00 | -- | Inf
1019.12/1019.15 c 1019s| 1300k| 185 | 11475k| 8.8 | 18M| 63 | - | 482 |3364 | 0 | 0 | 931 | 72k| 21k| 0.000000e+00 | -- | Inf
1027.21/1027.21 c 1027s| 1310k| 199 | 11568k| 8.8 | 18M| 63 | - | 482 |3361 | 482 | 927 | 931 | 72k| 21k| 0.000000e+00 | -- | Inf
1034.42/1034.48 c 1034s| 1320k| 191 | 11648k| 8.8 | 18M| 63 | 32 | 482 |3174 | 482 | 927 | 931 | 73k| 21k| 0.000000e+00 | -- | Inf
1040.82/1040.85 c 1041s| 1330k| 192 | 11717k| 8.8 | 18M| 63 | 22 | 482 |3339 | 482 | 927 | 931 | 73k| 21k| 0.000000e+00 | -- | Inf
1047.61/1047.69 c 1048s| 1340k| 191 | 11791k| 8.8 | 18M| 63 | 41 | 482 |3356 | 482 | 927 | 931 | 74k| 21k| 0.000000e+00 | -- | Inf
1056.13/1056.13 c 1056s| 1350k| 184 | 11870k| 8.8 | 17M| 63 | 40 | 482 |2858 | 482 | 927 | 931 | 74k| 22k| 0.000000e+00 | -- | Inf
1066.12/1066.12 c 1066s| 1360k| 179 | 11971k| 8.8 | 17M| 63 | - | 482 |2712 | 0 | 0 | 931 | 75k| 22k| 0.000000e+00 | -- | Inf
1075.62/1075.65 c 1076s| 1370k| 181 | 12088k| 8.8 | 18M| 63 | 45 | 482 |2918 | 482 | 927 | 931 | 76k| 22k| 0.000000e+00 | -- | Inf
1085.51/1085.51 c 1086s| 1380k| 183 | 12206k| 8.8 | 17M| 63 | 29 | 482 |2709 | 482 | 927 | 931 | 76k| 23k| 0.000000e+00 | -- | Inf
1093.11/1093.11 c 1093s| 1390k| 188 | 12288k| 8.8 | 17M| 63 | - | 482 |2675 | 0 | 0 | 931 | 77k| 23k| 0.000000e+00 | -- | Inf
1100.41/1100.46 c 1100s| 1400k| 190 | 12371k| 8.8 | 17M| 63 | 27 | 482 |2747 | 482 | 927 | 931 | 77k| 23k| 0.000000e+00 | -- | Inf
1108.12/1108.12 c 1108s| 1410k| 193 | 12459k| 8.8 | 18M| 63 | - | 482 |2794 | 482 | 927 | 931 | 78k| 23k| 0.000000e+00 | -- | Inf
1115.71/1115.77 c 1116s| 1420k| 189 | 12545k| 8.8 | 18M| 63 | - | 482 |2824 | 482 | 927 | 931 | 78k| 23k| 0.000000e+00 | -- | Inf
1123.92/1123.90 c 1124s| 1430k| 193 | 12638k| 8.8 | 18M| 63 | 23 | 482 |2810 | 482 | 927 | 931 | 78k| 23k| 0.000000e+00 | -- | Inf
1132.12/1132.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1132.12/1132.17 c 1132s| 1440k| 187 | 12735k| 8.8 | 18M| 63 | 22 | 482 |2853 | 482 | 927 | 931 | 79k| 23k| 0.000000e+00 | -- | Inf
1140.02/1140.04 c 1140s| 1450k| 193 | 12825k| 8.8 | 17M| 63 | 41 | 482 |2649 | 482 | 927 | 931 | 79k| 23k| 0.000000e+00 | -- | Inf
1148.12/1148.13 c 1148s| 1460k| 187 | 12920k| 8.8 | 17M| 63 | - | 482 |2548 | 0 | 0 | 931 | 80k| 23k| 0.000000e+00 | -- | Inf
1157.02/1157.01 c 1157s| 1470k| 180 | 13029k| 8.9 | 17M| 63 | 25 | 482 |2450 | 482 | 927 | 931 | 81k| 23k| 0.000000e+00 | -- | Inf
1166.32/1166.37 c 1166s| 1480k| 178 | 13141k| 8.9 | 17M| 63 | 25 | 482 |2280 | 482 | 927 | 931 | 81k| 23k| 0.000000e+00 | -- | Inf
1173.62/1173.63 c 1174s| 1490k| 174 | 13223k| 8.9 | 17M| 63 | 29 | 482 |2345 | 482 | 927 | 931 | 82k| 23k| 0.000000e+00 | -- | Inf
1182.53/1182.52 c 1183s| 1500k| 184 | 13332k| 8.9 | 17M| 63 | - | 482 |2547 | 0 | 0 | 931 | 82k| 23k| 0.000000e+00 | -- | Inf
1191.72/1191.72 c 1192s| 1510k| 168 | 13443k| 8.9 | 17M| 63 | 44 | 482 |2435 | 482 | 927 | 931 | 83k| 23k| 0.000000e+00 | -- | Inf
1199.82/1199.84 c 1200s| 1520k| 179 | 13540k| 8.9 | 17M| 63 | - | 482 |2443 | 0 | 0 | 931 | 84k| 23k| 0.000000e+00 | -- | Inf
1206.92/1206.91 c 1207s| 1530k| 180 | 13621k| 8.9 | 17M| 63 | - | 482 |2457 | 0 | 0 | 931 | 85k| 23k| 0.000000e+00 | -- | Inf
1214.62/1214.62 c 1215s| 1540k| 180 | 13711k| 8.9 | 17M| 63 | 52 | 482 |2414 | 482 | 927 | 931 | 85k| 24k| 0.000000e+00 | -- | Inf
1222.41/1222.49 c 1222s| 1550k| 176 | 13807k| 8.9 | 17M| 63 | - | 482 |2564 | 0 | 0 | 931 | 86k| 24k| 0.000000e+00 | -- | Inf
1230.02/1230.06 c 1230s| 1560k| 173 | 13895k| 8.9 | 17M| 63 | 34 | 482 |2544 | 482 | 927 | 931 | 87k| 24k| 0.000000e+00 | -- | Inf
1238.32/1238.38 c 1238s| 1570k| 171 | 13998k| 8.9 | 17M| 63 | - | 482 |2491 | 0 | 0 | 931 | 88k| 24k| 0.000000e+00 | -- | Inf
1246.62/1246.61 c 1247s| 1580k| 177 | 14093k| 8.9 | 17M| 63 | - | 482 |2323 | 0 | 0 | 931 | 89k| 24k| 0.000000e+00 | -- | Inf
1254.42/1254.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1254.42/1254.41 c 1254s| 1590k| 185 | 14185k| 8.9 | 17M| 63 | - | 482 |2344 | 482 | 927 | 931 | 89k| 24k| 0.000000e+00 | -- | Inf
1262.02/1262.05 c 1262s| 1600k| 181 | 14276k| 8.9 | 17M| 63 | 41 | 482 |2453 | 482 | 927 | 931 | 90k| 24k| 0.000000e+00 | -- | Inf
1269.82/1269.86 c 1270s| 1610k| 177 | 14369k| 8.9 | 17M| 63 | - | 482 |2370 | 482 | 927 | 931 | 91k| 24k| 0.000000e+00 | -- | Inf
1277.13/1277.15 c 1277s| 1620k| 190 | 14449k| 8.9 | 17M| 63 | 25 | 482 |2497 | 482 | 927 | 931 | 92k| 24k| 0.000000e+00 | -- | Inf
1283.92/1283.91 c 1284s| 1630k| 192 | 14524k| 8.9 | 17M| 63 | 22 | 482 |2612 | 482 | 927 | 931 | 92k| 24k| 0.000000e+00 | -- | Inf
1290.82/1290.89 c 1291s| 1640k| 183 | 14605k| 8.9 | 17M| 63 | 28 | 482 |2615 | 482 | 927 | 931 | 93k| 24k| 0.000000e+00 | -- | Inf
1297.52/1297.58 c 1298s| 1650k| 182 | 14677k| 8.9 | 18M| 63 | 17 | 482 |2752 | 482 | 927 | 931 | 94k| 24k| 0.000000e+00 | -- | Inf
1304.22/1304.24 c 1304s| 1660k| 177 | 14751k| 8.9 | 18M| 63 | 39 | 482 |2789 | 482 | 927 | 931 | 94k| 24k| 0.000000e+00 | -- | Inf
1311.12/1311.19 c 1311s| 1670k| 190 | 14828k| 8.9 | 18M| 63 | 22 | 482 |2891 | 482 | 927 | 931 | 95k| 24k| 0.000000e+00 | -- | Inf
1318.72/1318.77 c 1319s| 1680k| 189 | 14914k| 8.9 | 18M| 63 | 24 | 482 |3142 | 482 | 927 | 931 | 95k| 24k| 0.000000e+00 | -- | Inf
1326.42/1326.42 c 1326s| 1690k| 182 | 15002k| 8.9 | 18M| 63 | - | 482 |3032 | 0 | 0 | 931 | 96k| 24k| 0.000000e+00 | -- | Inf
1334.63/1334.62 c 1335s| 1700k| 182 | 15097k| 8.9 | 18M| 63 | - | 482 |2788 | 0 | 0 | 931 | 96k| 24k| 0.000000e+00 | -- | Inf
1342.52/1342.58 c 1343s| 1710k| 182 | 15190k| 8.9 | 17M| 63 | - | 482 |2567 | 0 | 0 | 931 | 96k| 25k| 0.000000e+00 | -- | Inf
1350.72/1350.76 c 1351s| 1720k| 198 | 15283k| 8.9 | 17M| 63 | 14 | 482 |2561 | 482 | 927 | 931 | 97k| 25k| 0.000000e+00 | -- | Inf
1357.54/1357.55 c 1358s| 1730k| 192 | 15359k| 8.9 | 18M| 63 | - | 482 |2707 | 0 | 0 | 931 | 98k| 25k| 0.000000e+00 | -- | Inf
1364.72/1364.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1364.72/1364.76 c 1365s| 1740k| 204 | 15442k| 8.9 | 18M| 63 | - | 482 |2703 | 0 | 0 | 931 | 98k| 25k| 0.000000e+00 | -- | Inf
1372.42/1372.43 c 1372s| 1750k| 185 | 15530k| 8.9 | 18M| 63 | 34 | 482 |2672 | 482 | 927 | 931 | 99k| 25k| 0.000000e+00 | -- | Inf
1380.12/1380.18 c 1380s| 1760k| 187 | 15623k| 8.9 | 18M| 63 | - | 482 |2885 | 0 | 0 | 931 | 100k| 25k| 0.000000e+00 | -- | Inf
1387.72/1387.77 c 1388s| 1770k| 186 | 15711k| 8.9 | 18M| 63 | 34 | 482 |2899 | 482 | 927 | 931 | 100k| 25k| 0.000000e+00 | -- | Inf
1395.42/1395.42 c 1395s| 1780k| 185 | 15800k| 8.9 | 18M| 63 | 26 | 482 |2927 | 482 | 927 | 931 | 101k| 25k| 0.000000e+00 | -- | Inf
1404.12/1404.19 c 1404s| 1790k| 188 | 15908k| 8.9 | 18M| 63 | 35 | 482 |2960 | 482 | 927 | 931 | 101k| 25k| 0.000000e+00 | -- | Inf
1412.93/1412.97 c 1413s| 1800k| 184 | 16015k| 8.9 | 18M| 63 | 26 | 482 |2978 | 482 | 927 | 931 | 102k| 25k| 0.000000e+00 | -- | Inf
1421.23/1421.29 c 1421s| 1810k| 187 | 16115k| 8.9 | 18M| 63 | 33 | 482 |3130 | 482 | 927 | 931 | 103k| 25k| 0.000000e+00 | -- | Inf
1429.53/1429.56 c 1430s| 1820k| 195 | 16214k| 8.9 | 18M| 63 | - | 482 |3237 | 482 | 927 | 931 | 104k| 25k| 0.000000e+00 | -- | Inf
1438.62/1438.61 c 1439s| 1830k| 196 | 16325k| 8.9 | 18M| 63 | - | 482 |2923 | 0 | 0 | 931 | 105k| 25k| 0.000000e+00 | -- | Inf
1447.23/1447.22 c 1447s| 1840k| 186 | 16429k| 8.9 | 18M| 63 | 40 | 482 |3045 | 482 | 927 | 931 | 105k| 25k| 0.000000e+00 | -- | Inf
1457.13/1457.14 c 1457s| 1850k| 188 | 16534k| 8.9 | 18M| 63 | 38 | 482 |2744 | 482 | 927 | 931 | 106k| 26k| 0.000000e+00 | -- | Inf
1465.43/1465.45 c 1465s| 1860k| 194 | 16622k| 8.9 | 18M| 63 | - | 482 |2716 | 482 | 927 | 931 | 106k| 27k| 0.000000e+00 | -- | Inf
1473.43/1473.47 c 1473s| 1870k| 192 | 16717k| 8.9 | 18M| 63 | 30 | 482 |2901 | 482 | 927 | 931 | 107k| 27k| 0.000000e+00 | -- | Inf
1481.32/1481.37 c 1481s| 1880k| 204 | 16809k| 8.9 | 18M| 63 | 31 | 482 |2998 | 482 | 927 | 931 | 107k| 27k| 0.000000e+00 | -- | Inf
1489.55/1489.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1489.55/1489.53 c 1490s| 1890k| 210 | 16907k| 8.9 | 18M| 63 | 31 | 482 |3026 | 482 | 927 | 931 | 108k| 27k| 0.000000e+00 | -- | Inf
1497.33/1497.30 c 1497s| 1900k| 205 | 16997k| 8.9 | 18M| 63 | 36 | 482 |3174 | 482 | 927 | 931 | 108k| 27k| 0.000000e+00 | -- | Inf
1504.83/1504.87 c 1505s| 1910k| 204 | 17084k| 8.9 | 18M| 63 | 16 | 482 |3168 | 482 | 927 | 931 | 108k| 27k| 0.000000e+00 | -- | Inf
1513.02/1513.04 c 1513s| 1920k| 205 | 17180k| 8.9 | 18M| 63 | 24 | 482 |3200 | 482 | 927 | 931 | 109k| 27k| 0.000000e+00 | -- | Inf
1521.22/1521.20 c 1521s| 1930k| 212 | 17274k| 8.9 | 18M| 63 | 20 | 482 |3212 | 482 | 927 | 931 | 109k| 27k| 0.000000e+00 | -- | Inf
1529.52/1529.55 c 1530s| 1940k| 203 | 17371k| 9.0 | 18M| 63 | - | 482 |3134 | 0 | 0 | 931 | 110k| 27k| 0.000000e+00 | -- | Inf
1538.13/1538.11 c 1538s| 1950k| 214 | 17471k| 9.0 | 18M| 63 | 40 | 482 |3196 | 482 | 927 | 931 | 110k| 27k| 0.000000e+00 | -- | Inf
1546.03/1546.05 c 1546s| 1960k| 206 | 17562k| 9.0 | 18M| 63 | 45 | 482 |3224 | 482 | 927 | 931 | 111k| 27k| 0.000000e+00 | -- | Inf
1555.03/1555.00 c 1555s| 1970k| 195 | 17668k| 9.0 | 18M| 63 | 41 | 482 |3037 | 482 | 927 | 931 | 111k| 27k| 0.000000e+00 | -- | Inf
1563.24/1563.28 c 1563s| 1980k| 193 | 17764k| 9.0 | 18M| 63 | - | 482 |2830 | 0 | 0 | 931 | 111k| 27k| 0.000000e+00 | -- | Inf
1570.73/1570.81 c 1571s| 1990k| 227 | 17852k| 9.0 | 18M| 63 | 31 | 482 |2993 | 482 | 927 | 931 | 112k| 27k| 0.000000e+00 | -- | Inf
1579.03/1579.04 c 1579s| 2000k| 249 | 17948k| 9.0 | 18M| 63 | - | 482 |2998 | 0 | 0 | 931 | 112k| 27k| 0.000000e+00 | -- | Inf
1587.03/1587.08 c 1587s| 2010k| 249 | 18043k| 9.0 | 18M| 63 | 43 | 482 |3056 | 482 | 927 | 931 | 113k| 27k| 0.000000e+00 | -- | Inf
1595.43/1595.49 c 1595s| 2020k| 244 | 18140k| 9.0 | 18M| 63 | 34 | 482 |3066 | 482 | 927 | 931 | 113k| 27k| 0.000000e+00 | -- | Inf
1603.53/1603.55 c 1604s| 2030k| 223 | 18235k| 9.0 | 18M| 63 | - | 482 |2991 | 0 | 0 | 931 | 113k| 27k| 0.000000e+00 | -- | Inf
1612.33/1612.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1612.33/1612.31 c 1612s| 2040k| 205 | 18339k| 9.0 | 18M| 63 | 27 | 482 |3008 | 482 | 927 | 931 | 114k| 27k| 0.000000e+00 | -- | Inf
1620.72/1620.72 c 1621s| 2050k| 219 | 18441k| 9.0 | 18M| 63 | - | 482 |3176 | 0 | 0 | 931 | 114k| 27k| 0.000000e+00 | -- | Inf
1629.25/1629.27 c 1629s| 2060k| 195 | 18541k| 9.0 | 18M| 63 | 32 | 482 |3084 | 482 | 927 | 931 | 114k| 27k| 0.000000e+00 | -- | Inf
1637.63/1637.69 c 1638s| 2070k| 205 | 18642k| 9.0 | 18M| 63 | 30 | 482 |3141 | 482 | 927 | 931 | 115k| 27k| 0.000000e+00 | -- | Inf
1646.63/1646.66 c 1647s| 2080k| 200 | 18749k| 9.0 | 18M| 63 | 45 | 482 |3163 | 482 | 927 | 931 | 115k| 27k| 0.000000e+00 | -- | Inf
1656.64/1656.70 c 1657s| 2090k| 192 | 18870k| 9.0 | 18M| 63 | - | 482 |2931 | 482 | 927 | 931 | 115k| 27k| 0.000000e+00 | -- | Inf
1665.43/1665.49 c 1665s| 2100k| 196 | 18965k| 9.0 | 18M| 63 | 49 | 482 |2945 | 482 | 927 | 931 | 116k| 28k| 0.000000e+00 | -- | Inf
1673.32/1673.31 c 1673s| 2110k| 207 | 19059k| 9.0 | 18M| 63 | 43 | 482 |3102 | 482 | 927 | 931 | 116k| 28k| 0.000000e+00 | -- | Inf
1681.63/1681.69 c 1682s| 2120k| 201 | 19159k| 9.0 | 18M| 63 | - | 482 |3119 | 0 | 0 | 931 | 117k| 28k| 0.000000e+00 | -- | Inf
1691.13/1691.11 c 1691s| 2130k| 196 | 19267k| 9.0 | 18M| 63 | 39 | 482 |2962 | 482 | 927 | 931 | 117k| 28k| 0.000000e+00 | -- | Inf
1699.43/1699.44 c 1699s| 2140k| 203 | 19365k| 9.0 | 18M| 63 | 35 | 482 |3095 | 482 | 927 | 931 | 117k| 28k| 0.000000e+00 | -- | Inf
1708.63/1708.69 c 1709s| 2150k| 194 | 19475k| 9.1 | 18M| 63 | - | 482 |3139 | 0 | 0 | 931 | 118k| 28k| 0.000000e+00 | -- | Inf
1716.33/1716.35 c 1716s| 2160k| 199 | 19563k| 9.1 | 18M| 63 | - | 482 |3252 | 0 | 0 | 931 | 118k| 28k| 0.000000e+00 | -- | Inf
1725.23/1725.24 c 1725s| 2170k| 197 | 19661k| 9.1 | 18M| 63 | - | 482 |2959 | 0 | 0 | 931 | 119k| 28k| 0.000000e+00 | -- | Inf
1734.33/1734.36 c 1734s| 2180k| 196 | 19771k| 9.1 | 18M| 63 | 29 | 482 |2785 | 482 | 927 | 931 | 119k| 28k| 0.000000e+00 | -- | Inf
1742.93/1742.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1742.93/1742.94 c 1743s| 2190k| 192 | 19873k| 9.1 | 18M| 63 | - | 482 |2647 | 0 | 0 | 931 | 120k| 29k| 0.000000e+00 | -- | Inf
1751.13/1751.21 c 1751s| 2200k| 201 | 19970k| 9.1 | 18M| 63 | 42 | 482 |2686 | 482 | 927 | 931 | 120k| 29k| 0.000000e+00 | -- | Inf
1759.63/1759.69 c 1760s| 2210k| 199 | 20071k| 9.1 | 18M| 63 | - | 482 |2750 | 0 | 0 | 931 | 121k| 29k| 0.000000e+00 | -- | Inf
1768.43/1768.49 c 1768s| 2220k| 207 | 20173k| 9.1 | 18M| 63 | - | 482 |2726 | 0 | 0 | 931 | 121k| 29k| 0.000000e+00 | -- | Inf
1776.73/1776.71 c 1777s| 2230k| 204 | 20273k| 9.1 | 18M| 63 | 36 | 482 |2820 | 482 | 927 | 931 | 122k| 29k| 0.000000e+00 | -- | Inf
1784.54/1784.51 c 1785s| 2240k| 196 | 20367k| 9.1 | 18M| 63 | - | 482 |2698 | 0 | 0 | 931 | 123k| 29k| 0.000000e+00 | -- | Inf
1792.34/1792.34 c 1792s| 2250k| 195 | 20460k| 9.1 | 18M| 63 | - | 482 |2784 | 0 | 0 | 931 | 124k| 29k| 0.000000e+00 | -- | Inf
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Solving Time (sec) : 1800.00
1800.03/1800.00 c Solving Nodes : 2259006
1800.03/1800.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 s UNKNOWN
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Total Time : 1800.00
1800.03/1800.00 c solving : 1800.00
1800.03/1800.00 c presolving : 0.03 (included in solving)
1800.03/1800.00 c reading : 0.01 (included in solving)
1800.03/1800.00 c Original Problem :
1800.03/1800.00 c Problem name : HOME/instance-3452784-1307067329.opb
1800.03/1800.00 c Variables : 490 (490 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 737 initial, 737 maximal
1800.03/1800.00 c Presolved Problem :
1800.03/1800.00 c Problem name : t_HOME/instance-3452784-1307067329.opb
1800.03/1800.00 c Variables : 482 (482 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.00 c Constraints : 725 initial, 3707 maximal
1800.03/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.03/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c implics : 0.00 0 8 0 0 0 0 0 0 0
1800.03/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c setppc : 0.00 0 0 0 0 0 12 0 0 0
1800.03/1800.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.03/1800.00 c root node : - 0 - - 0 - - - - -
1800.03/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c integral : 0 0 0 1139109 0 1 0 823 5725 0 0 2267588
1800.03/1800.00 c knapsack : 340 5 5588695 0 1 0 18975084 768200 23332893 545 0 0
1800.03/1800.00 c setppc : 241 5 4746503 0 1 0 3223407 2256 5705426 0 0 0
1800.03/1800.00 c linear : 0+ 5 6886 0 0 0 0 5 1 0 0 0
1800.03/1800.00 c logicor : 144+ 5 3681381 0 1 0 84618 14503 3008954 0 0 0
1800.03/1800.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.03/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.03/1800.00 c integral : 61.63 0.00 0.00 61.63 0.00 0.00 0.00
1800.03/1800.00 c knapsack : 77.98 0.02 71.59 0.00 0.00 0.00 6.37
1800.03/1800.00 c setppc : 10.94 0.00 10.25 0.00 0.00 0.00 0.68
1800.03/1800.00 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c logicor : 25.03 0.00 24.93 0.00 0.00 0.00 0.10
1800.03/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.03/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.03/1800.00 c vbounds : 0 0 0 0
1800.03/1800.00 c rootredcost : 0 0 0 0
1800.03/1800.00 c pseudoobj : 0 0 0 0
1800.03/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.03/1800.00 c vbounds : 0.80 0.80 0.00
1800.03/1800.00 c rootredcost : 0.80 0.80 0.00
1800.03/1800.00 c pseudoobj : 0.58 0.58 0.00
1800.03/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.00 c propagation : 25.53 111571 99845 885269 110.7 969 128.0 -
1800.03/1800.00 c infeasible LP : 36.70 347578 0 0 0.0 0 0.0 0
1800.03/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.00 c applied globally : - - - 124203 23.3 - - -
1800.03/1800.00 c applied locally : - - - 272 117.7 - - -
1800.03/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.00 c cut pool : 0.00 4 - - 90 - (maximal pool size: 2802)
1800.03/1800.00 c redcost : 7.63 1136111 0 0 0 0
1800.03/1800.00 c impliedbounds : 0.00 5 0 0 1473 0
1800.03/1800.00 c intobj : 0.00 0 0 0 0 0
1800.03/1800.00 c gomory : 0.38 5 0 0 588 0
1800.03/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.03/1800.00 c strongcg : 0.28 5 0 0 2302 0
1800.03/1800.00 c cmir : 0.00 0 0 0 0 0
1800.03/1800.00 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.00 c clique : 0.00 1 0 0 0 0
1800.03/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.00 c mcf : 0.00 1 0 0 0 0
1800.03/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.03/1800.00 c rapidlearning : 0.03 1 0 0 0 4
1800.03/1800.00 c Pricers : Time Calls Vars
1800.03/1800.00 c problem variables: 0.00 0 0
1800.03/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.00 c relpscost : 60.98 1139109 823 5725 0 0 2267588
1800.03/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.00 c inference : 0.00 1 0 0 0 0 2
1800.03/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.00 c random : 0.00 0 0 0 0 0 0
1800.03/1800.00 c Primal Heuristics : Time Calls Found
1800.03/1800.00 c LP solutions : 0.00 - 0
1800.03/1800.00 c pseudo solutions : 0.00 - 0
1800.03/1800.00 c trivial : 0.00 1 0
1800.03/1800.00 c shiftandpropagate: 0.00 0 0
1800.03/1800.00 c simplerounding : 0.00 0 0
1800.03/1800.00 c zirounding : 0.00 0 0
1800.03/1800.00 c rounding : 0.00 0 0
1800.03/1800.00 c shifting : 0.00 0 0
1800.03/1800.00 c intshifting : 0.00 0 0
1800.03/1800.00 c oneopt : 0.00 0 0
1800.03/1800.00 c twoopt : 0.00 0 0
1800.03/1800.00 c fixandinfer : 0.00 0 0
1800.03/1800.00 c feaspump : 0.00 0 0
1800.03/1800.00 c clique : 0.00 0 0
1800.03/1800.00 c coefdiving : 0.00 0 0
1800.03/1800.00 c pscostdiving : 0.00 0 0
1800.03/1800.00 c fracdiving : 0.00 0 0
1800.03/1800.00 c veclendiving : 0.00 0 0
1800.03/1800.00 c intdiving : 0.00 0 0
1800.03/1800.00 c actconsdiving : 0.00 0 0
1800.03/1800.00 c objpscostdiving : 0.00 0 0
1800.03/1800.00 c rootsoldiving : 0.00 0 0
1800.03/1800.00 c linesearchdiving : 0.00 0 0
1800.03/1800.00 c guideddiving : 0.00 0 0
1800.03/1800.00 c octane : 0.00 0 0
1800.03/1800.00 c rens : 0.00 0 0
1800.03/1800.00 c rins : 0.00 0 0
1800.03/1800.00 c localbranching : 0.00 0 0
1800.03/1800.00 c mutation : 0.00 0 0
1800.03/1800.00 c crossover : 0.00 0 0
1800.03/1800.00 c dins : 0.00 0 0
1800.03/1800.00 c vbounds : 0.00 0 0
1800.03/1800.00 c undercover : 0.00 0 0
1800.03/1800.00 c subnlp : 0.00 0 0
1800.03/1800.00 c trysol : 0.00 0 0
1800.03/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.00 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.00 c dual LP : 1342.35 1484751 20549731 13.84 15308.76
1800.03/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.00 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.00 c strong branching : 47.53 29405 574118 19.52 12077.89
1800.03/1800.00 c (at root node) : - 10 3576 357.60 -
1800.03/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.00 c B&B Tree :
1800.03/1800.00 c number of runs : 1
1800.03/1800.00 c nodes : 2259006
1800.03/1800.00 c nodes (total) : 2259006
1800.03/1800.00 c nodes left : 195
1800.03/1800.00 c max depth : 63
1800.03/1800.00 c max depth (total): 63
1800.03/1800.00 c backtracks : 306282 (13.6%)
1800.03/1800.00 c delayed cutoffs : 8390
1800.03/1800.00 c repropagations : 242146 (628491 domain reductions, 8154 cutoffs)
1800.03/1800.00 c avg switch length: 2.75
1800.03/1800.00 c switching time : 81.66
1800.03/1800.00 c Solution :
1800.03/1800.00 c Solutions found : 0 (0 improvements)
1800.03/1800.00 c Primal Bound : -
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.00 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Root Iterations : 2736
1800.03/1800.01 c Time complete: 1800.05.
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-3452784-1307067329/watcher-3452784-1307067329 -o /tmp/evaluation-result-3452784-1307067329/solver-3452784-1307067329 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452784-1307067329.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.05 1.56 1.26 2/527 1435
/proc/meminfo: memFree=25079940/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=9980 CPUtime=0 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 1498 0 0 0 0 0 0 0 25 0 1 0 896963545 10219520 1451 33554432000 4194304 9128323 140735240096624 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1435/statm: 2495 1452 391 1205 0 1286 0
[startup+0.116747 s]
/proc/loadavg: 2.05 1.56 1.26 2/527 1435
/proc/meminfo: memFree=25079940/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=39024 CPUtime=0.11 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 8697 0 0 0 10 1 0 0 18 0 1 0 896963545 39960576 8392 33554432000 4194304 9128323 140735240096624 18446744073709551615 6583002 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 9756 8393 701 1205 0 8547 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 39024
[startup+0.200736 s]
/proc/loadavg: 2.05 1.56 1.26 2/527 1435
/proc/meminfo: memFree=25079940/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=37752 CPUtime=0.19 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 8763 0 0 0 18 1 0 0 18 0 1 0 896963545 38658048 8105 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 9438 8105 715 1205 0 8229 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37752
[startup+0.30072 s]
/proc/loadavg: 2.05 1.56 1.26 2/527 1435
/proc/meminfo: memFree=25079940/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=37752 CPUtime=0.29 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 8765 0 0 0 28 1 0 0 18 0 1 0 896963545 38658048 8107 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 9438 8107 715 1205 0 8229 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37752
[startup+0.700652 s]
/proc/loadavg: 2.05 1.56 1.26 2/527 1435
/proc/meminfo: memFree=25079940/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=38012 CPUtime=0.69 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 8902 0 0 0 68 1 0 0 18 0 1 0 896963545 38924288 8244 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 9503 8244 715 1205 0 8294 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38012
[startup+1.50052 s]
/proc/loadavg: 2.05 1.56 1.26 3/528 1436
/proc/meminfo: memFree=25043724/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=42812 CPUtime=1.49 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 10311 0 0 0 147 2 0 0 20 0 1 0 896963545 43839488 9653 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 10703 9653 717 1205 0 9494 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42812
[startup+3.10023 s]
/proc/loadavg: 2.05 1.57 1.26 3/528 1436
/proc/meminfo: memFree=25042236/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=42812 CPUtime=3.09 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 10313 0 0 0 305 4 0 0 25 0 1 0 896963545 43839488 9655 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 10703 9655 718 1205 0 9494 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42812
[startup+6.30067 s]
/proc/loadavg: 2.05 1.57 1.26 3/528 1436
/proc/meminfo: memFree=25041596/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=42812 CPUtime=6.29 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 10313 0 0 0 619 10 0 0 25 0 1 0 896963545 43839488 9655 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 10703 9655 718 1205 0 9494 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42812
[startup+12.7006 s]
/proc/loadavg: 2.04 1.58 1.27 3/528 1437
/proc/meminfo: memFree=25041028/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=42812 CPUtime=12.69 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 10334 0 0 0 1252 17 0 0 25 0 1 0 896963545 43839488 9676 33554432000 4194304 9128323 140735240096624 18446744073709551615 6578944 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 10703 9676 718 1205 0 9494 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42812
[startup+25.5003 s]
/proc/loadavg: 2.03 1.59 1.28 3/528 1437
/proc/meminfo: memFree=25041140/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=42812 CPUtime=25.5 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 10334 0 0 0 2513 37 0 0 25 0 1 0 896963545 43839488 9676 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 10703 9676 718 1205 0 9494 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 42812
[startup+51.1008 s]
/proc/loadavg: 2.02 1.62 1.29 3/528 1438
/proc/meminfo: memFree=25040088/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=43392 CPUtime=51.1 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 10490 0 0 0 5036 74 0 0 25 0 1 0 896963545 44433408 9832 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 10848 9832 718 1205 0 9639 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 43392
[startup+102.301 s]
/proc/loadavg: 2.01 1.68 1.33 3/528 1439
/proc/meminfo: memFree=25038832/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=44608 CPUtime=102.3 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 10795 0 0 0 10089 141 0 0 25 0 1 0 896963545 45678592 10134 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11152 10134 718 1205 0 9943 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 44608
[startup+162.3 s]
/proc/loadavg: 2.00 1.74 1.37 3/528 1441
/proc/meminfo: memFree=25036252/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=44904 CPUtime=162.29 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 10863 0 0 0 16011 218 0 0 25 0 1 0 896963545 45981696 10202 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11226 10202 718 1205 0 10017 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 44904
[startup+222.32 s]
/proc/loadavg: 2.00 1.78 1.41 3/528 1442
/proc/meminfo: memFree=25036304/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=45596 CPUtime=222.32 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11032 0 0 0 21935 297 0 0 25 0 1 0 896963545 46690304 10371 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11399 10371 718 1205 0 10190 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 45596
[startup+282.3 s]
/proc/loadavg: 2.00 1.82 1.44 3/528 1444
/proc/meminfo: memFree=25035740/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=46488 CPUtime=282.29 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11262 0 0 0 27856 373 0 0 25 0 1 0 896963545 47603712 10601 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11622 10601 718 1205 0 10413 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 46488
[startup+342.301 s]
/proc/loadavg: 2.16 1.90 1.49 3/528 1445
/proc/meminfo: memFree=25034788/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=46488 CPUtime=342.3 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11282 0 0 0 33778 452 0 0 25 0 1 0 896963545 47603712 10621 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11622 10621 718 1205 0 10413 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 46488
[startup+402.3 s]
/proc/loadavg: 2.16 1.94 1.53 3/528 1447
/proc/meminfo: memFree=25035344/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=46632 CPUtime=402.3 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11293 0 0 0 39695 535 0 0 25 0 1 0 896963545 47751168 10632 33554432000 4194304 9128323 140735240096624 18446744073709551615 6416589 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11658 10632 718 1205 0 10449 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 46632
[startup+462.301 s]
/proc/loadavg: 2.06 1.95 1.56 3/528 1449
/proc/meminfo: memFree=25035144/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=46632 CPUtime=462.31 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11300 0 0 0 45616 615 0 0 25 0 1 0 896963545 47751168 10639 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11658 10639 718 1205 0 10449 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 46632
[startup+522.3 s]
/proc/loadavg: 2.02 1.95 1.58 3/528 1477
/proc/meminfo: memFree=25030088/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=46632 CPUtime=522.3 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11323 0 0 0 51535 695 0 0 25 0 1 0 896963545 47751168 10662 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11658 10662 718 1205 0 10449 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 46632
[startup+582.301 s]
/proc/loadavg: 2.00 1.96 1.60 3/528 1479
/proc/meminfo: memFree=25029380/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=46632 CPUtime=582.31 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11323 0 0 0 57454 777 0 0 25 0 1 0 896963545 47751168 10662 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11658 10662 718 1205 0 10449 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 46632
[startup+642.3 s]
################
# More data... #
################
[startup+882.32 s]
/proc/loadavg: 2.18 2.04 1.73 3/528 1487
/proc/meminfo: memFree=25022640/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=47048 CPUtime=882.33 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11420 0 0 0 87051 1182 0 0 25 0 1 0 896963545 48177152 10759 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11762 10759 718 1205 0 10553 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 47048
[startup+942.301 s]
/proc/loadavg: 2.13 2.05 1.74 3/528 1488
/proc/meminfo: memFree=25023208/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=47048 CPUtime=942.31 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11421 0 0 0 92970 1261 0 0 25 0 1 0 896963545 48177152 10760 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11762 10760 718 1205 0 10553 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 47048
[startup+1002.3 s]
/proc/loadavg: 2.04 2.04 1.76 3/528 1490
/proc/meminfo: memFree=25023020/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=47204 CPUtime=1002.31 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11434 0 0 0 98891 1340 0 0 25 0 1 0 896963545 48336896 10773 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11801 10773 718 1205 0 10592 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 47204
[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 1.77 3/528 1492
/proc/meminfo: memFree=25022832/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=47204 CPUtime=1062.31 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11453 0 0 0 104813 1418 0 0 25 0 1 0 896963545 48336896 10792 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11801 10792 718 1205 0 10592 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 47204
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 1.78 3/528 1493
/proc/meminfo: memFree=25021652/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=47352 CPUtime=1122.31 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11491 0 0 0 110735 1496 0 0 25 0 1 0 896963545 48488448 10830 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11838 10830 718 1205 0 10629 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 47352
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.79 3/528 1522
/proc/meminfo: memFree=25029268/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=47352 CPUtime=1182.31 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11491 0 0 0 116652 1579 0 0 25 0 1 0 896963545 48488448 10830 33554432000 4194304 9128323 140735240096624 18446744073709551615 6525274 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11838 10830 718 1205 0 10629 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 47352
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/528 1550
/proc/meminfo: memFree=25028208/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=47352 CPUtime=1242.32 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11491 0 0 0 122572 1660 0 0 25 0 1 0 896963545 48488448 10830 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11838 10830 718 1205 0 10629 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 47352
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/528 1552
/proc/meminfo: memFree=25028188/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=47352 CPUtime=1302.32 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11501 0 0 0 128495 1737 0 0 25 0 1 0 896963545 48488448 10840 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11838 10840 718 1205 0 10629 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 47352
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/528 1554
/proc/meminfo: memFree=25027732/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=47352 CPUtime=1362.32 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11501 0 0 0 134413 1819 0 0 25 0 1 0 896963545 48488448 10840 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11838 10840 718 1205 0 10629 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 47352
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/528 1558
/proc/meminfo: memFree=25025776/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=47352 CPUtime=1422.33 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11501 0 0 0 140327 1906 0 0 25 0 1 0 896963545 48488448 10840 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11838 10840 718 1205 0 10629 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 47352
[startup+1482.3 s]
/proc/loadavg: 2.15 2.05 1.86 3/528 1587
/proc/meminfo: memFree=25027816/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=47740 CPUtime=1482.33 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11570 0 0 0 146250 1983 0 0 25 0 1 0 896963545 48885760 10909 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11935 10909 718 1205 0 10726 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 47740
[startup+1542.32 s]
/proc/loadavg: 2.08 2.06 1.87 3/528 1588
/proc/meminfo: memFree=25027772/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=47740 CPUtime=1542.34 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11570 0 0 0 152170 2064 0 0 25 0 1 0 896963545 48885760 10909 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11935 10909 718 1205 0 10726 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 47740
[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 1.87 3/528 1590
/proc/meminfo: memFree=25022392/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=47740 CPUtime=1602.32 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11574 0 0 0 158089 2143 0 0 25 0 1 0 896963545 48885760 10913 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11935 10913 718 1205 0 10726 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 47740
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 1.88 3/528 1592
/proc/meminfo: memFree=25022456/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=47740 CPUtime=1662.32 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11581 0 0 0 164008 2224 0 0 25 0 1 0 896963545 48885760 10920 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11935 10920 718 1205 0 10726 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 47740
[startup+1722.3 s]
/proc/loadavg: 2.07 2.05 1.89 3/528 1620
/proc/meminfo: memFree=25027620/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=47740 CPUtime=1722.33 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11587 0 0 0 169932 2301 0 0 25 0 1 0 896963545 48885760 10926 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11935 10926 718 1205 0 10726 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 47740
[startup+1782.3 s]
/proc/loadavg: 2.10 2.06 1.91 3/528 1622
/proc/meminfo: memFree=25024988/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=47740 CPUtime=1782.33 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11596 0 0 0 175854 2379 0 0 25 0 1 0 896963545 48885760 10935 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11935 10935 718 1205 0 10726 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 47740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.08 2.05 1.91 3/528 1622
/proc/meminfo: memFree=25025088/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=47740 CPUtime=1800.03 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11597 0 0 0 177600 2403 0 0 25 0 1 0 896963545 48885760 10936 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11935 10936 719 1205 0 10726 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 47740
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.08 2.05 1.91 3/528 1622
/proc/meminfo: memFree=25025088/32951124 swapFree=56241860/67111528
[pid=1435] ppid=1433 vsize=47740 CPUtime=1800.03 cores=0,2,4,6
/proc/1435/stat : 1435 (scip-2.0.1.4.li) R 1433 1435 32685 0 -1 4202496 11597 0 0 0 177600 2403 0 0 25 0 1 0 896963545 48885760 10936 33554432000 4194304 9128323 140735240096624 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/1435/statm: 11935 10936 719 1205 0 10726 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 47740
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1776.02
CPU system time (s): 24.0413
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 47740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.02
system time used= 24.0413
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11602
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 20735
runsolver used 10.1745 second user time and 20.8738 second system time
The end