0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3485602-1307750178.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.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.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 = 1797
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.38/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.66 c 0.7s| 1 | 0 | 2514 | - |9115k| 0 | 276 | 482 | 729 | 482 |1572 | 847 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.91 c 0.9s| 1 | 0 | 2685 | - | 12M| 0 | 246 | 482 | 729 | 482 |1655 | 930 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.05 c 1.0s| 1 | 0 | 2736 | - | 15M| 0 | 245 | 482 | 729 | 482 |1656 | 931 | 0 | 0 | 0.000000e+00 | -- | Inf
1.49/1.52 c 1.5s| 1 | 2 | 2736 | - | 15M| 0 | 245 | 482 | 729 | 482 |1656 | 931 | 0 | 10 | 0.000000e+00 | -- | Inf
13.29/13.39 c 13.4s| 10000 | 56 | 83429 | 8.1 | 16M| 44 | - | 482 |1094 | 482 | 927 | 931 | 597 |2623 | 0.000000e+00 | -- | Inf
21.99/22.05 c 22.0s| 20000 | 85 |173904 | 8.6 | 16M| 44 | 24 | 482 |1196 | 482 | 927 | 931 |1079 |3158 | 0.000000e+00 | -- | Inf
29.60/29.60 c 29.6s| 30000 | 84 |259385 | 8.6 | 16M| 44 | - | 482 |1357 | 0 | 0 | 931 |1571 |3219 | 0.000000e+00 | -- | Inf
37.69/37.77 c 37.8s| 40000 | 103 |349173 | 8.7 | 16M| 44 | 20 | 482 |1493 | 482 | 927 | 931 |2162 |3549 | 0.000000e+00 | -- | Inf
47.30/47.35 c 47.3s| 50000 | 100 |451155 | 9.0 | 16M| 44 | 39 | 482 |1476 | 482 | 927 | 931 |2585 |4167 | 0.000000e+00 | -- | Inf
56.49/56.57 c 56.6s| 60000 | 113 |552583 | 9.2 | 16M| 44 | 25 | 482 |1536 | 482 | 927 | 931 |3136 |4651 | 0.000000e+00 | -- | Inf
63.39/63.43 c 63.4s| 70000 | 113 |626760 | 8.9 | 16M| 45 | - | 482 |1878 | 0 | 0 | 931 |4108 |4853 | 0.000000e+00 | -- | Inf
70.39/70.43 c 70.4s| 80000 | 120 |700988 | 8.7 | 16M| 46 | 27 | 482 |2037 | 482 | 927 | 931 |5242 |5138 | 0.000000e+00 | -- | Inf
77.79/77.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.79/77.87 c 77.9s| 90000 | 109 |779329 | 8.6 | 16M| 47 | - | 482 |1969 | 0 | 0 | 931 |6409 |5489 | 0.000000e+00 | -- | Inf
86.80/86.84 c 86.8s|100000 | 114 |879444 | 8.8 | 16M| 47 | 27 | 482 |1898 | 482 | 927 | 931 |7074 |5868 | 0.000000e+00 | -- | Inf
94.49/94.57 c 94.6s|110000 | 123 |964673 | 8.7 | 16M| 50 | 27 | 482 |1962 | 482 | 927 | 931 |8166 |6162 | 0.000000e+00 | -- | Inf
102.30/102.30 c 102s|120000 | 128 | 1053k| 8.8 | 16M| 50 | 24 | 482 |1822 | 482 | 927 | 931 |9025 |6322 | 0.000000e+00 | -- | Inf
110.09/110.16 c 110s|130000 | 115 | 1140k| 8.8 | 16M| 50 | 51 | 482 |2086 | 482 | 927 | 931 |9879 |6614 | 0.000000e+00 | -- | Inf
117.99/118.05 c 118s|140000 | 115 | 1227k| 8.8 | 16M| 50 | - | 482 |1850 | 0 | 0 | 931 | 10k|6890 | 0.000000e+00 | -- | Inf
126.19/126.28 c 126s|150000 | 121 | 1317k| 8.8 | 16M| 52 | 17 | 482 |1841 | 482 | 927 | 931 | 11k|7273 | 0.000000e+00 | -- | Inf
133.79/133.87 c 134s|160000 | 125 | 1403k| 8.8 | 16M| 52 | - | 482 |2011 | 0 | 0 | 931 | 12k|7400 | 0.000000e+00 | -- | Inf
141.69/141.75 c 142s|170000 | 153 | 1493k| 8.8 | 17M| 52 | - | 482 |2104 | 0 | 0 | 931 | 12k|7532 | 0.000000e+00 | -- | Inf
150.19/150.21 c 150s|180000 | 112 | 1588k| 8.8 | 16M| 52 | 27 | 482 |2175 | 482 | 927 | 931 | 13k|7885 | 0.000000e+00 | -- | Inf
158.40/158.49 c 158s|190000 | 125 | 1673k| 8.8 | 16M| 52 | 29 | 482 |2089 | 482 | 927 | 931 | 13k|8344 | 0.000000e+00 | -- | Inf
165.79/165.86 c 166s|200000 | 123 | 1752k| 8.8 | 17M| 52 | 21 | 482 |2236 | 482 | 927 | 931 | 14k|8459 | 0.000000e+00 | -- | Inf
172.89/172.99 c 173s|210000 | 129 | 1829k| 8.7 | 17M| 52 | 30 | 482 |2414 | 482 | 927 | 931 | 14k|8579 | 0.000000e+00 | -- | Inf
180.69/180.77 c 181s|220000 | 117 | 1910k| 8.7 | 17M| 52 | - | 482 |2335 | 0 | 0 | 931 | 15k|8851 | 0.000000e+00 | -- | Inf
189.09/189.15 c 189s|230000 | 133 | 1999k| 8.7 | 17M| 52 | 29 | 482 |2361 | 482 | 927 | 931 | 16k|9207 | 0.000000e+00 | -- | Inf
197.39/197.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.39/197.43 c 197s|240000 | 125 | 2092k| 8.7 | 17M| 52 | - | 482 |2329 | 482 | 927 | 931 | 16k|9415 | 0.000000e+00 | -- | Inf
206.09/206.11 c 206s|250000 | 132 | 2195k| 8.8 | 17M| 52 | - | 482 |2312 | 0 | 0 | 931 | 17k|9609 | 0.000000e+00 | -- | Inf
214.19/214.20 c 214s|260000 | 131 | 2290k| 8.8 | 17M| 52 | 30 | 482 |2396 | 482 | 927 | 931 | 18k|9770 | 0.000000e+00 | -- | Inf
222.49/222.59 c 223s|270000 | 128 | 2385k| 8.8 | 17M| 52 | - | 482 |2475 | 0 | 0 | 931 | 18k|9959 | 0.000000e+00 | -- | Inf
230.10/230.19 c 230s|280000 | 147 | 2468k| 8.8 | 17M| 52 | 25 | 482 |2639 | 482 | 927 | 931 | 19k| 10k| 0.000000e+00 | -- | Inf
237.60/237.68 c 238s|290000 | 141 | 2551k| 8.8 | 17M| 52 | 19 | 482 |2759 | 482 | 927 | 931 | 19k| 10k| 0.000000e+00 | -- | Inf
244.69/244.79 c 245s|300000 | 132 | 2631k| 8.8 | 17M| 52 | - | 482 |2974 | 482 | 927 | 931 | 20k| 10k| 0.000000e+00 | -- | Inf
252.90/252.92 c 253s|310000 | 132 | 2720k| 8.8 | 17M| 52 | 34 | 482 |2805 | 482 | 927 | 931 | 21k| 10k| 0.000000e+00 | -- | Inf
260.00/260.00 c 260s|320000 | 134 | 2800k| 8.7 | 17M| 52 | - | 482 |3044 | 482 | 927 | 931 | 22k| 10k| 0.000000e+00 | -- | Inf
267.10/267.20 c 267s|330000 | 132 | 2882k| 8.7 | 17M| 52 | 34 | 482 |3235 | 482 | 927 | 931 | 23k| 10k| 0.000000e+00 | -- | Inf
274.99/275.03 c 275s|340000 | 131 | 2969k| 8.7 | 17M| 52 | - | 482 |3354 | 0 | 0 | 931 | 24k| 10k| 0.000000e+00 | -- | Inf
284.90/284.97 c 285s|350000 | 141 | 3076k| 8.8 | 17M| 52 | 28 | 482 |2863 | 482 | 927 | 931 | 24k| 11k| 0.000000e+00 | -- | Inf
293.10/293.14 c 293s|360000 | 142 | 3169k| 8.8 | 17M| 52 | 41 | 482 |2588 | 482 | 927 | 931 | 25k| 11k| 0.000000e+00 | -- | Inf
301.40/301.49 c 301s|370000 | 156 | 3267k| 8.8 | 17M| 53 | 37 | 482 |2748 | 482 | 927 | 931 | 25k| 11k| 0.000000e+00 | -- | Inf
309.60/309.69 c 310s|380000 | 146 | 3358k| 8.8 | 17M| 53 | 40 | 482 |2655 | 482 | 927 | 931 | 26k| 11k| 0.000000e+00 | -- | Inf
317.99/318.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
317.99/318.09 c 318s|390000 | 143 | 3452k| 8.8 | 17M| 53 | - | 482 |2614 | 482 | 927 | 931 | 26k| 12k| 0.000000e+00 | -- | Inf
326.50/326.50 c 326s|400000 | 146 | 3550k| 8.9 | 17M| 53 | - | 482 |2724 | 0 | 0 | 931 | 27k| 12k| 0.000000e+00 | -- | Inf
335.49/335.54 c 336s|410000 | 144 | 3654k| 8.9 | 17M| 53 | 35 | 482 |2356 | 482 | 927 | 931 | 27k| 12k| 0.000000e+00 | -- | Inf
344.70/344.72 c 345s|420000 | 160 | 3762k| 9.0 | 17M| 53 | - | 482 |2449 | 0 | 0 | 931 | 27k| 12k| 0.000000e+00 | -- | Inf
353.30/353.32 c 353s|430000 | 158 | 3861k| 9.0 | 17M| 53 | 25 | 482 |2567 | 482 | 927 | 931 | 28k| 12k| 0.000000e+00 | -- | Inf
363.40/363.48 c 363s|440000 | 177 | 3966k| 9.0 | 17M| 53 | - | 482 |2326 | 482 | 927 | 931 | 28k| 13k| 0.000000e+00 | -- | Inf
370.39/370.49 c 370s|450000 | 174 | 4045k| 9.0 | 17M| 53 | 32 | 482 |2597 | 482 | 927 | 931 | 29k| 13k| 0.000000e+00 | -- | Inf
377.89/377.91 c 378s|460000 | 179 | 4128k| 9.0 | 17M| 53 | 26 | 482 |2539 | 482 | 927 | 931 | 29k| 13k| 0.000000e+00 | -- | Inf
385.59/385.61 c 386s|470000 | 175 | 4217k| 9.0 | 17M| 53 | 40 | 482 |2660 | 482 | 927 | 931 | 30k| 13k| 0.000000e+00 | -- | Inf
393.59/393.64 c 394s|480000 | 176 | 4311k| 9.0 | 17M| 53 | - | 482 |2635 | 0 | 0 | 931 | 30k| 13k| 0.000000e+00 | -- | Inf
401.60/401.61 c 402s|490000 | 180 | 4400k| 9.0 | 17M| 53 | - | 482 |2394 | 0 | 0 | 931 | 30k| 13k| 0.000000e+00 | -- | Inf
409.10/409.11 c 409s|500000 | 192 | 4485k| 9.0 | 17M| 53 | 29 | 482 |2691 | 482 | 927 | 931 | 31k| 13k| 0.000000e+00 | -- | Inf
416.90/416.95 c 417s|510000 | 180 | 4571k| 9.0 | 17M| 53 | - | 482 |2691 | 482 | 927 | 931 | 31k| 13k| 0.000000e+00 | -- | Inf
424.60/424.67 c 425s|520000 | 188 | 4657k| 9.0 | 17M| 54 | 31 | 482 |2778 | 482 | 927 | 931 | 32k| 13k| 0.000000e+00 | -- | Inf
433.00/433.03 c 433s|530000 | 178 | 4752k| 9.0 | 17M| 54 | 31 | 482 |2676 | 482 | 927 | 931 | 32k| 13k| 0.000000e+00 | -- | Inf
441.20/441.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
441.20/441.27 c 441s|540000 | 179 | 4846k| 9.0 | 17M| 54 | - | 482 |2600 | 482 | 927 | 931 | 33k| 13k| 0.000000e+00 | -- | Inf
449.50/449.58 c 450s|550000 | 198 | 4945k| 9.0 | 17M| 54 | 35 | 482 |2723 | 482 | 927 | 931 | 33k| 13k| 0.000000e+00 | -- | Inf
458.49/458.51 c 459s|560000 | 182 | 5043k| 9.0 | 17M| 61 | - | 482 |2575 | 0 | 0 | 931 | 33k| 14k| 0.000000e+00 | -- | Inf
467.90/467.97 c 468s|570000 | 192 | 5149k| 9.0 | 17M| 61 | - | 482 |2599 | 482 | 927 | 931 | 34k| 14k| 0.000000e+00 | -- | Inf
476.99/477.08 c 477s|580000 | 169 | 5249k| 9.0 | 17M| 61 | - | 482 |2195 | 482 | 927 | 931 | 34k| 14k| 0.000000e+00 | -- | Inf
484.90/484.94 c 485s|590000 | 174 | 5340k| 9.0 | 17M| 61 | - | 482 |2221 | 0 | 0 | 931 | 35k| 14k| 0.000000e+00 | -- | Inf
493.19/493.21 c 493s|600000 | 187 | 5437k| 9.1 | 17M| 61 | - | 482 |2384 | 0 | 0 | 931 | 35k| 14k| 0.000000e+00 | -- | Inf
502.30/502.34 c 502s|610000 | 200 | 5543k| 9.1 | 17M| 61 | 15 | 482 |2246 | 482 | 927 | 931 | 36k| 15k| 0.000000e+00 | -- | Inf
511.00/511.02 c 511s|620000 | 189 | 5646k| 9.1 | 17M| 61 | - | 482 |2260 | 0 | 0 | 931 | 36k| 15k| 0.000000e+00 | -- | Inf
520.00/520.08 c 520s|630000 | 181 | 5751k| 9.1 | 17M| 61 | 19 | 482 |2376 | 482 | 927 | 931 | 36k| 15k| 0.000000e+00 | -- | Inf
527.80/527.83 c 528s|640000 | 184 | 5839k| 9.1 | 17M| 61 | 43 | 482 |2482 | 482 | 927 | 931 | 37k| 15k| 0.000000e+00 | -- | Inf
535.79/535.85 c 536s|650000 | 177 | 5931k| 9.1 | 17M| 61 | - | 482 |2525 | 0 | 0 | 931 | 38k| 15k| 0.000000e+00 | -- | Inf
544.00/544.01 c 544s|660000 | 190 | 6025k| 9.1 | 17M| 61 | 36 | 482 |2754 | 482 | 927 | 931 | 38k| 15k| 0.000000e+00 | -- | Inf
552.70/552.77 c 553s|670000 | 169 | 6122k| 9.1 | 17M| 61 | - | 482 |2634 | 0 | 0 | 931 | 39k| 15k| 0.000000e+00 | -- | Inf
560.50/560.59 c 561s|680000 | 175 | 6211k| 9.1 | 17M| 61 | 38 | 482 |2696 | 482 | 927 | 931 | 39k| 15k| 0.000000e+00 | -- | Inf
568.50/568.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
568.50/568.50 c 569s|690000 | 185 | 6303k| 9.1 | 17M| 61 | - | 482 |2658 | 482 | 927 | 931 | 39k| 15k| 0.000000e+00 | -- | Inf
577.00/577.07 c 577s|700000 | 180 | 6403k| 9.1 | 17M| 61 | - | 482 |2717 | 0 | 0 | 931 | 40k| 15k| 0.000000e+00 | -- | Inf
586.30/586.33 c 586s|710000 | 177 | 6507k| 9.2 | 17M| 61 | - | 482 |2501 | 482 | 927 | 931 | 40k| 16k| 0.000000e+00 | -- | Inf
595.89/595.96 c 596s|720000 | 190 | 6625k| 9.2 | 17M| 61 | 44 | 482 |2470 | 482 | 927 | 931 | 41k| 16k| 0.000000e+00 | -- | Inf
605.70/605.76 c 606s|730000 | 170 | 6737k| 9.2 | 17M| 61 | 30 | 482 |2419 | 482 | 927 | 931 | 41k| 16k| 0.000000e+00 | -- | Inf
613.70/613.78 c 614s|740000 | 164 | 6821k| 9.2 | 17M| 61 | 29 | 482 |2458 | 482 | 927 | 931 | 41k| 16k| 0.000000e+00 | -- | Inf
621.59/621.61 c 622s|750000 | 164 | 6908k| 9.2 | 17M| 61 | 34 | 482 |2532 | 482 | 927 | 931 | 42k| 16k| 0.000000e+00 | -- | Inf
629.10/629.18 c 629s|760000 | 167 | 6995k| 9.2 | 17M| 61 | - | 482 |2867 | 0 | 0 | 931 | 43k| 17k| 0.000000e+00 | -- | Inf
636.70/636.80 c 637s|770000 | 163 | 7082k| 9.2 | 17M| 61 | 44 | 482 |2859 | 482 | 927 | 931 | 44k| 17k| 0.000000e+00 | -- | Inf
644.89/644.91 c 645s|780000 | 163 | 7177k| 9.2 | 17M| 61 | - | 482 |2823 | 0 | 0 | 931 | 44k| 17k| 0.000000e+00 | -- | Inf
653.00/653.00 c 653s|790000 | 166 | 7273k| 9.2 | 17M| 61 | - | 482 |2900 | 0 | 0 | 931 | 45k| 17k| 0.000000e+00 | -- | Inf
661.79/661.81 c 662s|800000 | 166 | 7374k| 9.2 | 17M| 61 | - | 482 |3094 | 0 | 0 | 931 | 46k| 17k| 0.000000e+00 | -- | Inf
670.10/670.15 c 670s|810000 | 161 | 7472k| 9.2 | 17M| 61 | - | 482 |3161 | 0 | 0 | 931 | 47k| 17k| 0.000000e+00 | -- | Inf
679.30/679.38 c 679s|820000 | 169 | 7567k| 9.2 | 17M| 61 | - | 482 |2259 | 0 | 0 | 931 | 48k| 18k| 0.000000e+00 | -- | Inf
686.60/686.61 c 687s|830000 | 169 | 7644k| 9.2 | 17M| 61 | - | 482 |2164 | 0 | 0 | 931 | 48k| 18k| 0.000000e+00 | -- | Inf
693.70/693.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.70/693.78 c 694s|840000 | 168 | 7724k| 9.2 | 17M| 61 | 9 | 482 |2155 | 482 | 927 | 931 | 49k| 18k| 0.000000e+00 | -- | Inf
701.29/701.32 c 701s|850000 | 164 | 7810k| 9.2 | 17M| 61 | - | 482 |2289 | 0 | 0 | 931 | 49k| 18k| 0.000000e+00 | -- | Inf
709.70/709.72 c 710s|860000 | 171 | 7907k| 9.2 | 17M| 61 | 36 | 482 |2311 | 482 | 927 | 931 | 50k| 18k| 0.000000e+00 | -- | Inf
717.40/717.45 c 717s|870000 | 173 | 7991k| 9.2 | 17M| 61 | 30 | 482 |2400 | 482 | 927 | 931 | 50k| 18k| 0.000000e+00 | -- | Inf
725.00/725.04 c 725s|880000 | 159 | 8075k| 9.2 | 17M| 61 | - | 482 |2345 | 482 | 927 | 931 | 51k| 18k| 0.000000e+00 | -- | Inf
733.50/733.51 c 734s|890000 | 157 | 8171k| 9.2 | 17M| 61 | 16 | 482 |2224 | 482 | 927 | 931 | 51k| 18k| 0.000000e+00 | -- | Inf
741.30/741.36 c 741s|900000 | 164 | 8261k| 9.2 | 17M| 61 | 34 | 482 |2366 | 482 | 927 | 931 | 51k| 18k| 0.000000e+00 | -- | Inf
749.80/749.86 c 750s|910000 | 171 | 8361k| 9.2 | 17M| 61 | - | 482 |2336 | 0 | 0 | 931 | 52k| 18k| 0.000000e+00 | -- | Inf
759.01/759.00 c 759s|920000 | 171 | 8468k| 9.2 | 17M| 61 | 26 | 482 |2082 | 482 | 927 | 931 | 53k| 19k| 0.000000e+00 | -- | Inf
767.10/767.16 c 767s|930000 | 172 | 8564k| 9.2 | 17M| 61 | 42 | 482 |2104 | 482 | 927 | 931 | 53k| 19k| 0.000000e+00 | -- | Inf
775.90/775.94 c 776s|940000 | 191 | 8665k| 9.2 | 17M| 61 | - | 482 |2213 | 0 | 0 | 931 | 54k| 19k| 0.000000e+00 | -- | Inf
784.50/784.54 c 785s|950000 | 187 | 8766k| 9.2 | 17M| 61 | - | 482 |2278 | 482 | 927 | 931 | 54k| 19k| 0.000000e+00 | -- | Inf
792.50/792.53 c 793s|960000 | 178 | 8856k| 9.2 | 17M| 61 | 20 | 482 |2263 | 482 | 927 | 931 | 54k| 19k| 0.000000e+00 | -- | Inf
798.90/798.90 c 799s|970000 | 178 | 8926k| 9.2 | 17M| 61 | - | 482 |2603 | 0 | 0 | 931 | 55k| 19k| 0.000000e+00 | -- | Inf
805.50/805.59 c 806s|980000 | 187 | 8998k| 9.2 | 17M| 61 | 19 | 482 |2890 | 482 | 927 | 931 | 56k| 19k| 0.000000e+00 | -- | Inf
812.40/812.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
812.40/812.49 c 812s|990000 | 190 | 9073k| 9.2 | 17M| 61 | - | 482 |2835 | 0 | 0 | 931 | 56k| 19k| 0.000000e+00 | -- | Inf
819.60/819.60 c 820s| 1000k| 193 | 9153k| 9.2 | 17M| 61 | - | 482 |2684 | 0 | 0 | 931 | 57k| 19k| 0.000000e+00 | -- | Inf
826.60/826.66 c 827s| 1010k| 201 | 9230k| 9.1 | 17M| 61 | - | 482 |2641 | 482 | 927 | 931 | 57k| 19k| 0.000000e+00 | -- | Inf
833.20/833.29 c 833s| 1020k| 197 | 9301k| 9.1 | 17M| 61 | - | 482 |2905 | 0 | 0 | 931 | 58k| 19k| 0.000000e+00 | -- | Inf
839.70/839.77 c 840s| 1030k| 191 | 9370k| 9.1 | 17M| 61 | 28 | 482 |2952 | 482 | 927 | 931 | 58k| 19k| 0.000000e+00 | -- | Inf
846.80/846.89 c 847s| 1040k| 195 | 9448k| 9.1 | 17M| 61 | - | 482 |2926 | 482 | 927 | 931 | 59k| 19k| 0.000000e+00 | -- | Inf
854.00/854.03 c 854s| 1050k| 193 | 9526k| 9.1 | 17M| 61 | - | 482 |3016 | 0 | 0 | 931 | 59k| 19k| 0.000000e+00 | -- | Inf
860.91/860.95 c 861s| 1060k| 192 | 9603k| 9.1 | 18M| 61 | - | 482 |3110 | 0 | 0 | 931 | 60k| 19k| 0.000000e+00 | -- | Inf
868.31/868.39 c 868s| 1070k| 188 | 9686k| 9.0 | 17M| 61 | - | 482 |3031 | 482 | 927 | 931 | 60k| 20k| 0.000000e+00 | -- | Inf
875.10/875.14 c 875s| 1080k| 204 | 9759k| 9.0 | 18M| 61 | 20 | 482 |3010 | 482 | 927 | 931 | 61k| 20k| 0.000000e+00 | -- | Inf
882.60/882.67 c 883s| 1090k| 202 | 9843k| 9.0 | 18M| 61 | 33 | 482 |3104 | 482 | 927 | 931 | 62k| 20k| 0.000000e+00 | -- | Inf
890.80/890.84 c 891s| 1100k| 187 | 9938k| 9.0 | 17M| 61 | - | 482 |2978 | 482 | 927 | 931 | 62k| 20k| 0.000000e+00 | -- | Inf
898.10/898.12 c 898s| 1110k| 187 | 10017k| 9.0 | 17M| 61 | 36 | 482 |2903 | 482 | 927 | 931 | 62k| 20k| 0.000000e+00 | -- | Inf
905.41/905.43 c 905s| 1120k| 184 | 10100k| 9.0 | 17M| 61 | - | 482 |2857 | 0 | 0 | 931 | 63k| 20k| 0.000000e+00 | -- | Inf
912.00/912.03 c 912s| 1130k| 189 | 10170k| 9.0 | 18M| 61 | 41 | 482 |3026 | 482 | 927 | 931 | 63k| 20k| 0.000000e+00 | -- | Inf
918.70/918.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
918.70/918.77 c 919s| 1140k| 190 | 10244k| 9.0 | 18M| 61 | 24 | 482 |3070 | 482 | 927 | 931 | 64k| 20k| 0.000000e+00 | -- | Inf
925.10/925.19 c 925s| 1150k| 193 | 10308k| 9.0 | 18M| 61 | 32 | 482 |3223 | 482 | 927 | 931 | 65k| 20k| 0.000000e+00 | -- | Inf
931.71/931.74 c 932s| 1160k| 195 | 10376k| 8.9 | 18M| 61 | - | 482 |3390 | 0 | 0 | 931 | 65k| 20k| 0.000000e+00 | -- | Inf
938.70/938.79 c 939s| 1170k| 187 | 10450k| 8.9 | 18M| 61 | 46 | 482 |3366 | 482 | 927 | 931 | 66k| 20k| 0.000000e+00 | -- | Inf
945.51/945.50 c 945s| 1180k| 189 | 10522k| 8.9 | 18M| 61 | 28 | 482 |3230 | 482 | 927 | 931 | 66k| 20k| 0.000000e+00 | -- | Inf
953.11/953.16 c 953s| 1190k| 183 | 10607k| 8.9 | 18M| 61 | - | 482 |3146 | 482 | 927 | 931 | 66k| 20k| 0.000000e+00 | -- | Inf
959.30/959.39 c 959s| 1200k| 189 | 10672k| 8.9 | 18M| 61 | 28 | 482 |3364 | 482 | 927 | 931 | 67k| 20k| 0.000000e+00 | -- | Inf
966.10/966.17 c 966s| 1210k| 181 | 10743k| 8.9 | 18M| 61 | 32 | 482 |3284 | 482 | 927 | 931 | 68k| 20k| 0.000000e+00 | -- | Inf
973.30/973.36 c 973s| 1220k| 190 | 10823k| 8.9 | 18M| 61 | 18 | 482 |3495 | 482 | 927 | 931 | 68k| 20k| 0.000000e+00 | -- | Inf
980.31/980.35 c 980s| 1230k| 197 | 10897k| 8.9 | 18M| 61 | 26 | 482 |3602 | 482 | 927 | 931 | 69k| 20k| 0.000000e+00 | -- | Inf
987.51/987.54 c 988s| 1240k| 185 | 10976k| 8.8 | 18M| 61 | - | 482 |3556 | 0 | 0 | 931 | 69k| 20k| 0.000000e+00 | -- | Inf
995.01/995.00 c 995s| 1250k| 188 | 11058k| 8.8 | 18M| 61 | - | 482 |3515 | 482 | 927 | 931 | 70k| 20k| 0.000000e+00 | -- | Inf
1002.11/1002.16 c 1002s| 1260k| 188 | 11136k| 8.8 | 18M| 61 | 20 | 482 |3546 | 482 | 927 | 931 | 70k| 20k| 0.000000e+00 | -- | Inf
1009.71/1009.73 c 1010s| 1270k| 188 | 11220k| 8.8 | 18M| 61 | - | 482 |3546 | 0 | 0 | 931 | 71k| 20k| 0.000000e+00 | -- | Inf
1017.00/1017.03 c 1017s| 1280k| 192 | 11300k| 8.8 | 18M| 61 | - | 482 |3583 | 0 | 0 | 931 | 71k| 21k| 0.000000e+00 | -- | Inf
1024.41/1024.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1024.41/1024.47 c 1024s| 1290k| 188 | 11382k| 8.8 | 18M| 61 | - | 482 |3515 | 0 | 0 | 931 | 72k| 21k| 0.000000e+00 | -- | Inf
1032.61/1032.60 c 1033s| 1300k| 185 | 11475k| 8.8 | 18M| 63 | - | 482 |3364 | 0 | 0 | 931 | 72k| 21k| 0.000000e+00 | -- | Inf
1040.71/1040.74 c 1041s| 1310k| 199 | 11568k| 8.8 | 18M| 63 | - | 482 |3361 | 482 | 927 | 931 | 72k| 21k| 0.000000e+00 | -- | Inf
1048.01/1048.09 c 1048s| 1320k| 191 | 11648k| 8.8 | 18M| 63 | 32 | 482 |3174 | 482 | 927 | 931 | 73k| 21k| 0.000000e+00 | -- | Inf
1054.51/1054.54 c 1055s| 1330k| 192 | 11717k| 8.8 | 18M| 63 | 22 | 482 |3339 | 482 | 927 | 931 | 73k| 21k| 0.000000e+00 | -- | Inf
1061.41/1061.48 c 1061s| 1340k| 191 | 11791k| 8.8 | 18M| 63 | 41 | 482 |3356 | 482 | 927 | 931 | 74k| 21k| 0.000000e+00 | -- | Inf
1070.00/1070.03 c 1070s| 1350k| 184 | 11870k| 8.8 | 17M| 63 | 40 | 482 |2858 | 482 | 927 | 931 | 74k| 22k| 0.000000e+00 | -- | Inf
1080.11/1080.15 c 1080s| 1360k| 179 | 11971k| 8.8 | 17M| 63 | - | 482 |2712 | 0 | 0 | 931 | 75k| 22k| 0.000000e+00 | -- | Inf
1089.81/1089.80 c 1090s| 1370k| 181 | 12088k| 8.8 | 18M| 63 | 45 | 482 |2918 | 482 | 927 | 931 | 76k| 22k| 0.000000e+00 | -- | Inf
1099.70/1099.77 c 1100s| 1380k| 183 | 12206k| 8.8 | 17M| 63 | 29 | 482 |2709 | 482 | 927 | 931 | 76k| 23k| 0.000000e+00 | -- | Inf
1107.41/1107.47 c 1107s| 1390k| 188 | 12288k| 8.8 | 17M| 63 | - | 482 |2675 | 0 | 0 | 931 | 77k| 23k| 0.000000e+00 | -- | Inf
1114.91/1114.92 c 1115s| 1400k| 190 | 12371k| 8.8 | 17M| 63 | 27 | 482 |2747 | 482 | 927 | 931 | 77k| 23k| 0.000000e+00 | -- | Inf
1122.60/1122.68 c 1123s| 1410k| 193 | 12459k| 8.8 | 18M| 63 | - | 482 |2794 | 482 | 927 | 931 | 78k| 23k| 0.000000e+00 | -- | Inf
1130.41/1130.44 c 1130s| 1420k| 189 | 12545k| 8.8 | 18M| 63 | - | 482 |2824 | 482 | 927 | 931 | 78k| 23k| 0.000000e+00 | -- | Inf
1138.61/1138.68 c 1139s| 1430k| 193 | 12638k| 8.8 | 18M| 63 | 23 | 482 |2810 | 482 | 927 | 931 | 78k| 23k| 0.000000e+00 | -- | Inf
1147.01/1147.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1147.01/1147.05 c 1147s| 1440k| 187 | 12735k| 8.8 | 18M| 63 | 22 | 482 |2853 | 482 | 927 | 931 | 79k| 23k| 0.000000e+00 | -- | Inf
1155.01/1155.04 c 1155s| 1450k| 193 | 12825k| 8.8 | 17M| 63 | 41 | 482 |2649 | 482 | 927 | 931 | 79k| 23k| 0.000000e+00 | -- | Inf
1163.21/1163.23 c 1163s| 1460k| 187 | 12920k| 8.8 | 17M| 63 | - | 482 |2548 | 0 | 0 | 931 | 80k| 23k| 0.000000e+00 | -- | Inf
1172.20/1172.23 c 1172s| 1470k| 180 | 13029k| 8.9 | 17M| 63 | 25 | 482 |2450 | 482 | 927 | 931 | 81k| 23k| 0.000000e+00 | -- | Inf
1181.70/1181.70 c 1182s| 1480k| 178 | 13141k| 8.9 | 17M| 63 | 25 | 482 |2280 | 482 | 927 | 931 | 81k| 23k| 0.000000e+00 | -- | Inf
1189.01/1189.06 c 1189s| 1490k| 174 | 13223k| 8.9 | 17M| 63 | 29 | 482 |2345 | 482 | 927 | 931 | 82k| 23k| 0.000000e+00 | -- | Inf
1198.01/1198.09 c 1198s| 1500k| 184 | 13332k| 8.9 | 17M| 63 | - | 482 |2547 | 0 | 0 | 931 | 82k| 23k| 0.000000e+00 | -- | Inf
1207.40/1207.43 c 1207s| 1510k| 168 | 13443k| 8.9 | 17M| 63 | 44 | 482 |2435 | 482 | 927 | 931 | 83k| 23k| 0.000000e+00 | -- | Inf
1215.61/1215.68 c 1216s| 1520k| 179 | 13540k| 8.9 | 17M| 63 | - | 482 |2443 | 0 | 0 | 931 | 84k| 23k| 0.000000e+00 | -- | Inf
1222.81/1222.85 c 1223s| 1530k| 180 | 13621k| 8.9 | 17M| 63 | - | 482 |2457 | 0 | 0 | 931 | 85k| 23k| 0.000000e+00 | -- | Inf
1230.60/1230.67 c 1231s| 1540k| 180 | 13711k| 8.9 | 17M| 63 | 52 | 482 |2414 | 482 | 927 | 931 | 85k| 24k| 0.000000e+00 | -- | Inf
1238.61/1238.63 c 1239s| 1550k| 176 | 13807k| 8.9 | 17M| 63 | - | 482 |2564 | 0 | 0 | 931 | 86k| 24k| 0.000000e+00 | -- | Inf
1246.31/1246.31 c 1246s| 1560k| 173 | 13895k| 8.9 | 17M| 63 | 34 | 482 |2544 | 482 | 927 | 931 | 87k| 24k| 0.000000e+00 | -- | Inf
1254.71/1254.73 c 1255s| 1570k| 171 | 13998k| 8.9 | 17M| 63 | - | 482 |2491 | 0 | 0 | 931 | 88k| 24k| 0.000000e+00 | -- | Inf
1263.01/1263.08 c 1263s| 1580k| 177 | 14093k| 8.9 | 17M| 63 | - | 482 |2323 | 0 | 0 | 931 | 89k| 24k| 0.000000e+00 | -- | Inf
1270.90/1270.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1270.90/1270.98 c 1271s| 1590k| 185 | 14185k| 8.9 | 17M| 63 | - | 482 |2344 | 482 | 927 | 931 | 89k| 24k| 0.000000e+00 | -- | Inf
1278.70/1278.72 c 1279s| 1600k| 181 | 14276k| 8.9 | 17M| 63 | 41 | 482 |2453 | 482 | 927 | 931 | 90k| 24k| 0.000000e+00 | -- | Inf
1286.61/1286.63 c 1287s| 1610k| 177 | 14369k| 8.9 | 17M| 63 | - | 482 |2370 | 482 | 927 | 931 | 91k| 24k| 0.000000e+00 | -- | Inf
1294.01/1294.02 c 1294s| 1620k| 190 | 14449k| 8.9 | 17M| 63 | 25 | 482 |2497 | 482 | 927 | 931 | 92k| 24k| 0.000000e+00 | -- | Inf
1300.81/1300.87 c 1301s| 1630k| 192 | 14524k| 8.9 | 17M| 63 | 22 | 482 |2612 | 482 | 927 | 931 | 92k| 24k| 0.000000e+00 | -- | Inf
1307.91/1307.95 c 1308s| 1640k| 183 | 14605k| 8.9 | 17M| 63 | 28 | 482 |2615 | 482 | 927 | 931 | 93k| 24k| 0.000000e+00 | -- | Inf
1314.71/1314.74 c 1315s| 1650k| 182 | 14677k| 8.9 | 18M| 63 | 17 | 482 |2752 | 482 | 927 | 931 | 94k| 24k| 0.000000e+00 | -- | Inf
1321.41/1321.49 c 1321s| 1660k| 177 | 14751k| 8.9 | 18M| 63 | 39 | 482 |2789 | 482 | 927 | 931 | 94k| 24k| 0.000000e+00 | -- | Inf
1328.51/1328.55 c 1329s| 1670k| 190 | 14828k| 8.9 | 18M| 63 | 22 | 482 |2891 | 482 | 927 | 931 | 95k| 24k| 0.000000e+00 | -- | Inf
1336.21/1336.26 c 1336s| 1680k| 189 | 14914k| 8.9 | 18M| 63 | 24 | 482 |3142 | 482 | 927 | 931 | 95k| 24k| 0.000000e+00 | -- | Inf
1344.01/1344.03 c 1344s| 1690k| 182 | 15002k| 8.9 | 18M| 63 | - | 482 |3032 | 0 | 0 | 931 | 96k| 24k| 0.000000e+00 | -- | Inf
1352.31/1352.34 c 1352s| 1700k| 182 | 15097k| 8.9 | 18M| 63 | - | 482 |2788 | 0 | 0 | 931 | 96k| 24k| 0.000000e+00 | -- | Inf
1360.41/1360.43 c 1360s| 1710k| 182 | 15190k| 8.9 | 17M| 63 | - | 482 |2567 | 0 | 0 | 931 | 96k| 25k| 0.000000e+00 | -- | Inf
1368.71/1368.74 c 1369s| 1720k| 198 | 15283k| 8.9 | 17M| 63 | 14 | 482 |2561 | 482 | 927 | 931 | 97k| 25k| 0.000000e+00 | -- | Inf
1375.61/1375.64 c 1376s| 1730k| 192 | 15359k| 8.9 | 18M| 63 | - | 482 |2707 | 0 | 0 | 931 | 98k| 25k| 0.000000e+00 | -- | Inf
1382.91/1382.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.91/1382.96 c 1383s| 1740k| 204 | 15442k| 8.9 | 18M| 63 | - | 482 |2703 | 0 | 0 | 931 | 98k| 25k| 0.000000e+00 | -- | Inf
1390.71/1390.74 c 1391s| 1750k| 185 | 15530k| 8.9 | 18M| 63 | 34 | 482 |2672 | 482 | 927 | 931 | 99k| 25k| 0.000000e+00 | -- | Inf
1398.61/1398.62 c 1399s| 1760k| 187 | 15623k| 8.9 | 18M| 63 | - | 482 |2885 | 0 | 0 | 931 | 100k| 25k| 0.000000e+00 | -- | Inf
1406.31/1406.31 c 1406s| 1770k| 186 | 15711k| 8.9 | 18M| 63 | 34 | 482 |2899 | 482 | 927 | 931 | 100k| 25k| 0.000000e+00 | -- | Inf
1414.01/1414.07 c 1414s| 1780k| 185 | 15800k| 8.9 | 18M| 63 | 26 | 482 |2927 | 482 | 927 | 931 | 101k| 25k| 0.000000e+00 | -- | Inf
1422.91/1422.97 c 1423s| 1790k| 188 | 15908k| 8.9 | 18M| 63 | 35 | 482 |2960 | 482 | 927 | 931 | 101k| 25k| 0.000000e+00 | -- | Inf
1431.81/1431.86 c 1432s| 1800k| 184 | 16015k| 8.9 | 18M| 63 | 26 | 482 |2978 | 482 | 927 | 931 | 102k| 25k| 0.000000e+00 | -- | Inf
1440.31/1440.31 c 1440s| 1810k| 187 | 16115k| 8.9 | 18M| 63 | 33 | 482 |3130 | 482 | 927 | 931 | 103k| 25k| 0.000000e+00 | -- | Inf
1448.61/1448.70 c 1449s| 1820k| 195 | 16214k| 8.9 | 18M| 63 | - | 482 |3237 | 482 | 927 | 931 | 104k| 25k| 0.000000e+00 | -- | Inf
1457.81/1457.88 c 1458s| 1830k| 196 | 16325k| 8.9 | 18M| 63 | - | 482 |2923 | 0 | 0 | 931 | 105k| 25k| 0.000000e+00 | -- | Inf
1466.61/1466.62 c 1467s| 1840k| 186 | 16429k| 8.9 | 18M| 63 | 40 | 482 |3045 | 482 | 927 | 931 | 105k| 25k| 0.000000e+00 | -- | Inf
1476.61/1476.69 c 1477s| 1850k| 188 | 16534k| 8.9 | 18M| 63 | 38 | 482 |2744 | 482 | 927 | 931 | 106k| 26k| 0.000000e+00 | -- | Inf
1485.11/1485.10 c 1485s| 1860k| 194 | 16622k| 8.9 | 18M| 63 | - | 482 |2716 | 482 | 927 | 931 | 106k| 27k| 0.000000e+00 | -- | Inf
1493.21/1493.21 c 1493s| 1870k| 192 | 16717k| 8.9 | 18M| 63 | 30 | 482 |2901 | 482 | 927 | 931 | 107k| 27k| 0.000000e+00 | -- | Inf
1501.22/1501.21 c 1501s| 1880k| 204 | 16809k| 8.9 | 18M| 63 | 31 | 482 |2998 | 482 | 927 | 931 | 107k| 27k| 0.000000e+00 | -- | Inf
1509.41/1509.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1509.41/1509.47 c 1509s| 1890k| 210 | 16907k| 8.9 | 18M| 63 | 31 | 482 |3026 | 482 | 927 | 931 | 108k| 27k| 0.000000e+00 | -- | Inf
1517.31/1517.34 c 1517s| 1900k| 205 | 16997k| 8.9 | 18M| 63 | 36 | 482 |3174 | 482 | 927 | 931 | 108k| 27k| 0.000000e+00 | -- | Inf
1525.01/1525.01 c 1525s| 1910k| 204 | 17084k| 8.9 | 18M| 63 | 16 | 482 |3168 | 482 | 927 | 931 | 108k| 27k| 0.000000e+00 | -- | Inf
1533.21/1533.28 c 1533s| 1920k| 205 | 17180k| 8.9 | 18M| 63 | 24 | 482 |3200 | 482 | 927 | 931 | 109k| 27k| 0.000000e+00 | -- | Inf
1541.51/1541.55 c 1542s| 1930k| 212 | 17274k| 8.9 | 18M| 63 | 20 | 482 |3212 | 482 | 927 | 931 | 109k| 27k| 0.000000e+00 | -- | Inf
1550.01/1550.00 c 1550s| 1940k| 203 | 17371k| 9.0 | 18M| 63 | - | 482 |3134 | 0 | 0 | 931 | 110k| 27k| 0.000000e+00 | -- | Inf
1558.62/1558.66 c 1559s| 1950k| 214 | 17471k| 9.0 | 18M| 63 | 40 | 482 |3196 | 482 | 927 | 931 | 110k| 27k| 0.000000e+00 | -- | Inf
1566.71/1566.70 c 1567s| 1960k| 206 | 17562k| 9.0 | 18M| 63 | 45 | 482 |3224 | 482 | 927 | 931 | 111k| 27k| 0.000000e+00 | -- | Inf
1575.71/1575.76 c 1576s| 1970k| 195 | 17668k| 9.0 | 18M| 63 | 41 | 482 |3037 | 482 | 927 | 931 | 111k| 27k| 0.000000e+00 | -- | Inf
1584.11/1584.14 c 1584s| 1980k| 193 | 17764k| 9.0 | 18M| 63 | - | 482 |2830 | 0 | 0 | 931 | 111k| 27k| 0.000000e+00 | -- | Inf
1591.71/1591.76 c 1592s| 1990k| 227 | 17852k| 9.0 | 18M| 63 | 31 | 482 |2993 | 482 | 927 | 931 | 112k| 27k| 0.000000e+00 | -- | Inf
1600.11/1600.10 c 1600s| 2000k| 249 | 17948k| 9.0 | 18M| 63 | - | 482 |2998 | 0 | 0 | 931 | 112k| 27k| 0.000000e+00 | -- | Inf
1608.22/1608.24 c 1608s| 2010k| 249 | 18043k| 9.0 | 18M| 63 | 43 | 482 |3056 | 482 | 927 | 931 | 113k| 27k| 0.000000e+00 | -- | Inf
1616.72/1616.77 c 1617s| 2020k| 244 | 18140k| 9.0 | 18M| 63 | 34 | 482 |3066 | 482 | 927 | 931 | 113k| 27k| 0.000000e+00 | -- | Inf
1624.91/1624.92 c 1625s| 2030k| 223 | 18235k| 9.0 | 18M| 63 | - | 482 |2991 | 0 | 0 | 931 | 113k| 27k| 0.000000e+00 | -- | Inf
1633.81/1633.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1633.81/1633.80 c 1634s| 2040k| 205 | 18339k| 9.0 | 18M| 63 | 27 | 482 |3008 | 482 | 927 | 931 | 114k| 27k| 0.000000e+00 | -- | Inf
1642.32/1642.32 c 1642s| 2050k| 219 | 18441k| 9.0 | 18M| 63 | - | 482 |3176 | 0 | 0 | 931 | 114k| 27k| 0.000000e+00 | -- | Inf
1650.91/1650.98 c 1651s| 2060k| 195 | 18541k| 9.0 | 18M| 63 | 32 | 482 |3084 | 482 | 927 | 931 | 114k| 27k| 0.000000e+00 | -- | Inf
1659.52/1659.50 c 1659s| 2070k| 205 | 18642k| 9.0 | 18M| 63 | 30 | 482 |3141 | 482 | 927 | 931 | 115k| 27k| 0.000000e+00 | -- | Inf
1668.51/1668.58 c 1669s| 2080k| 200 | 18749k| 9.0 | 18M| 63 | 45 | 482 |3163 | 482 | 927 | 931 | 115k| 27k| 0.000000e+00 | -- | Inf
1678.71/1678.73 c 1679s| 2090k| 192 | 18870k| 9.0 | 18M| 63 | - | 482 |2931 | 482 | 927 | 931 | 115k| 27k| 0.000000e+00 | -- | Inf
1687.61/1687.64 c 1688s| 2100k| 196 | 18965k| 9.0 | 18M| 63 | 49 | 482 |2945 | 482 | 927 | 931 | 116k| 28k| 0.000000e+00 | -- | Inf
1695.51/1695.54 c 1696s| 2110k| 207 | 19059k| 9.0 | 18M| 63 | 43 | 482 |3102 | 482 | 927 | 931 | 116k| 28k| 0.000000e+00 | -- | Inf
1704.01/1704.01 c 1704s| 2120k| 201 | 19159k| 9.0 | 18M| 63 | - | 482 |3119 | 0 | 0 | 931 | 117k| 28k| 0.000000e+00 | -- | Inf
1713.52/1713.52 c 1714s| 2130k| 196 | 19267k| 9.0 | 18M| 63 | 39 | 482 |2962 | 482 | 927 | 931 | 117k| 28k| 0.000000e+00 | -- | Inf
1721.92/1721.95 c 1722s| 2140k| 203 | 19365k| 9.0 | 18M| 63 | 35 | 482 |3095 | 482 | 927 | 931 | 117k| 28k| 0.000000e+00 | -- | Inf
1731.32/1731.31 c 1731s| 2150k| 194 | 19475k| 9.1 | 18M| 63 | - | 482 |3139 | 0 | 0 | 931 | 118k| 28k| 0.000000e+00 | -- | Inf
1739.02/1739.06 c 1739s| 2160k| 199 | 19563k| 9.1 | 18M| 63 | - | 482 |3252 | 0 | 0 | 931 | 118k| 28k| 0.000000e+00 | -- | Inf
1748.02/1748.05 c 1748s| 2170k| 197 | 19661k| 9.1 | 18M| 63 | - | 482 |2959 | 0 | 0 | 931 | 119k| 28k| 0.000000e+00 | -- | Inf
1757.22/1757.27 c 1757s| 2180k| 196 | 19771k| 9.1 | 18M| 63 | 29 | 482 |2785 | 482 | 927 | 931 | 119k| 28k| 0.000000e+00 | -- | Inf
1765.92/1765.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1765.92/1765.95 c 1766s| 2190k| 192 | 19873k| 9.1 | 18M| 63 | - | 482 |2647 | 0 | 0 | 931 | 120k| 29k| 0.000000e+00 | -- | Inf
1774.32/1774.32 c 1774s| 2200k| 201 | 19970k| 9.1 | 18M| 63 | 42 | 482 |2686 | 482 | 927 | 931 | 120k| 29k| 0.000000e+00 | -- | Inf
1782.92/1782.90 c 1783s| 2210k| 199 | 20071k| 9.1 | 18M| 63 | - | 482 |2750 | 0 | 0 | 931 | 121k| 29k| 0.000000e+00 | -- | Inf
1791.82/1791.81 c 1792s| 2220k| 207 | 20173k| 9.1 | 18M| 63 | - | 482 |2726 | 0 | 0 | 931 | 121k| 29k| 0.000000e+00 | -- | Inf
1797.01/1797.00 c
1797.01/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.01/1797.00 c Solving Time (sec) : 1797.00
1797.01/1797.00 c Solving Nodes : 2226229
1797.01/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.01/1797.00 c Dual Bound : +0.00000000000000e+00
1797.01/1797.00 c Gap : infinite
1797.01/1797.00 s UNKNOWN
1797.01/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.01/1797.00 c Total Time : 1797.00
1797.01/1797.00 c solving : 1797.00
1797.01/1797.00 c presolving : 0.03 (included in solving)
1797.01/1797.00 c reading : 0.01 (included in solving)
1797.01/1797.00 c Original Problem :
1797.01/1797.00 c Problem name : HOME/instance-3485602-1307750178.opb
1797.01/1797.00 c Variables : 490 (490 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.01/1797.00 c Constraints : 737 initial, 737 maximal
1797.01/1797.00 c Presolved Problem :
1797.01/1797.00 c Problem name : t_HOME/instance-3485602-1307750178.opb
1797.01/1797.00 c Variables : 482 (482 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.01/1797.00 c Constraints : 725 initial, 3707 maximal
1797.01/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.01/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c implics : 0.00 0 8 0 0 0 0 0 0 0
1797.01/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c setppc : 0.00 0 0 0 0 0 12 0 0 0
1797.01/1797.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.01/1797.00 c root node : - 0 - - 0 - - - - -
1797.01/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.01/1797.00 c integral : 0 0 0 1122649 0 1 0 820 5687 0 0 2234736
1797.01/1797.00 c knapsack : 340 5 5506815 0 1 0 18715377 757132 22953020 545 0 0
1797.01/1797.00 c setppc : 241 5 4677044 0 1 0 3180722 2231 5612039 0 0 0
1797.01/1797.00 c linear : 0+ 5 6886 0 0 0 0 5 1 0 0 0
1797.01/1797.00 c logicor : 144+ 5 3627678 0 1 0 82624 14277 2963209 0 0 0
1797.01/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.01/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.01/1797.00 c integral : 61.72 0.00 0.00 61.72 0.00 0.00 0.00
1797.01/1797.00 c knapsack : 74.50 0.02 68.20 0.00 0.00 0.00 6.28
1797.01/1797.00 c setppc : 10.46 0.00 9.79 0.00 0.00 0.00 0.67
1797.01/1797.00 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.01/1797.00 c logicor : 24.30 0.00 24.20 0.00 0.00 0.00 0.10
1797.01/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.01/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.01/1797.00 c vbounds : 0 0 0 0
1797.01/1797.00 c rootredcost : 0 0 0 0
1797.01/1797.00 c pseudoobj : 0 0 0 0
1797.01/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.01/1797.00 c vbounds : 0.72 0.72 0.00
1797.01/1797.00 c rootredcost : 0.77 0.77 0.00
1797.01/1797.00 c pseudoobj : 0.55 0.55 0.00
1797.01/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.01/1797.00 c propagation : 23.98 109979 98377 871972 110.8 964 127.9 -
1797.01/1797.00 c infeasible LP : 42.28 342460 0 0 0.0 0 0.0 0
1797.01/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.01/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.01/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.01/1797.00 c applied globally : - - - 121864 23.3 - - -
1797.01/1797.00 c applied locally : - - - 268 118.0 - - -
1797.01/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.01/1797.00 c cut pool : 0.00 4 - - 90 - (maximal pool size: 2802)
1797.01/1797.00 c redcost : 7.82 1119672 0 0 0 0
1797.01/1797.00 c impliedbounds : 0.00 5 0 0 1473 0
1797.01/1797.00 c intobj : 0.00 0 0 0 0 0
1797.01/1797.00 c gomory : 0.37 5 0 0 588 0
1797.01/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.01/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.01/1797.00 c strongcg : 0.27 5 0 0 2302 0
1797.01/1797.00 c cmir : 0.00 0 0 0 0 0
1797.01/1797.00 c flowcover : 0.00 0 0 0 0 0
1797.01/1797.00 c clique : 0.00 1 0 0 0 0
1797.01/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.01/1797.00 c mcf : 0.00 1 0 0 0 0
1797.01/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.01/1797.00 c rapidlearning : 0.03 1 0 0 0 4
1797.01/1797.00 c Pricers : Time Calls Vars
1797.01/1797.00 c problem variables: 0.00 0 0
1797.01/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.01/1797.00 c relpscost : 61.00 1122649 820 5687 0 0 2234736
1797.01/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.01/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.01/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.01/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.01/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.01/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.01/1797.00 c random : 0.00 0 0 0 0 0 0
1797.01/1797.00 c Primal Heuristics : Time Calls Found
1797.01/1797.00 c LP solutions : 0.00 - 0
1797.01/1797.00 c pseudo solutions : 0.00 - 0
1797.01/1797.00 c trivial : 0.00 1 0
1797.01/1797.00 c shiftandpropagate: 0.00 0 0
1797.01/1797.00 c simplerounding : 0.00 0 0
1797.01/1797.00 c zirounding : 0.00 0 0
1797.01/1797.00 c rounding : 0.00 0 0
1797.01/1797.00 c shifting : 0.00 0 0
1797.01/1797.00 c intshifting : 0.00 0 0
1797.01/1797.00 c oneopt : 0.00 0 0
1797.01/1797.00 c twoopt : 0.00 0 0
1797.01/1797.00 c fixandinfer : 0.00 0 0
1797.01/1797.00 c feaspump : 0.00 0 0
1797.01/1797.00 c clique : 0.00 0 0
1797.01/1797.00 c coefdiving : 0.00 0 0
1797.01/1797.00 c pscostdiving : 0.00 0 0
1797.01/1797.00 c fracdiving : 0.00 0 0
1797.01/1797.00 c veclendiving : 0.00 0 0
1797.01/1797.00 c intdiving : 0.00 0 0
1797.01/1797.00 c actconsdiving : 0.00 0 0
1797.01/1797.00 c objpscostdiving : 0.00 0 0
1797.01/1797.00 c rootsoldiving : 0.00 0 0
1797.01/1797.00 c linesearchdiving : 0.00 0 0
1797.01/1797.00 c guideddiving : 0.00 0 0
1797.01/1797.00 c octane : 0.00 0 0
1797.01/1797.00 c rens : 0.00 0 0
1797.01/1797.00 c rins : 0.00 0 0
1797.01/1797.00 c localbranching : 0.00 0 0
1797.01/1797.00 c mutation : 0.00 0 0
1797.01/1797.00 c crossover : 0.00 0 0
1797.01/1797.00 c dins : 0.00 0 0
1797.01/1797.00 c vbounds : 0.00 0 0
1797.01/1797.00 c undercover : 0.00 0 0
1797.01/1797.00 c subnlp : 0.00 0 0
1797.01/1797.00 c trysol : 0.00 0 0
1797.01/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.01/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.01/1797.00 c dual LP : 1332.61 1463203 20236493 13.83 15185.57
1797.01/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.01/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.01/1797.00 c diving/probing LP: 0.00 0 0 0.00 -
1797.01/1797.00 c strong branching : 48.11 29235 571209 19.54 11871.88
1797.01/1797.00 c (at root node) : - 10 3576 357.60 -
1797.01/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.01/1797.00 c B&B Tree :
1797.01/1797.00 c number of runs : 1
1797.01/1797.00 c nodes : 2226229
1797.01/1797.00 c nodes (total) : 2226229
1797.01/1797.00 c nodes left : 209
1797.01/1797.00 c max depth : 63
1797.01/1797.00 c max depth (total): 63
1797.01/1797.00 c backtracks : 301709 (13.6%)
1797.01/1797.00 c delayed cutoffs : 8301
1797.01/1797.00 c repropagations : 238217 (619309 domain reductions, 8065 cutoffs)
1797.01/1797.00 c avg switch length: 2.75
1797.01/1797.00 c switching time : 80.97
1797.01/1797.00 c Solution :
1797.01/1797.00 c Solutions found : 0 (0 improvements)
1797.01/1797.00 c Primal Bound : -
1797.01/1797.00 c Dual Bound : +0.00000000000000e+00
1797.01/1797.00 c Gap : infinite
1797.01/1797.00 c Root Dual Bound : +0.00000000000000e+00
1797.01/1797.00 c Root Iterations : 2736
1797.01/1797.01 c Time complete: 1797.04.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3485602-1307750178/watcher-3485602-1307750178 -o /tmp/evaluation-result-3485602-1307750178/solver-3485602-1307750178 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485602-1307750178.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: 0.00 0.00 0.00 1/174 21114
/proc/meminfo: memFree=31007912/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=7060 CPUtime=0 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 871 0 0 0 0 0 0 0 19 0 1 0 965248538 7229440 826 33554432000 4194304 8979876 140734374884912 18446744073709551615 7836068 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/21114/statm: 2022 886 346 1169 0 849 0
[startup+0.0669179 s]
/proc/loadavg: 0.00 0.00 0.00 1/174 21114
/proc/meminfo: memFree=31007912/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=23196 CPUtime=0.05 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 5064 0 0 0 5 0 0 0 18 0 1 0 965248538 23752704 4762 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 5799 4762 658 1169 0 4626 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 23196
[startup+0.100915 s]
/proc/loadavg: 0.00 0.00 0.00 1/174 21114
/proc/meminfo: memFree=31007912/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=37640 CPUtime=0.09 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 8201 0 0 0 8 1 0 0 18 0 1 0 965248538 38543360 7900 33554432000 4194304 8979876 140734374884912 18446744073709551615 7836184 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 9410 7924 675 1169 0 8237 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37640
[startup+0.300892 s]
/proc/loadavg: 0.00 0.00 0.00 1/174 21114
/proc/meminfo: memFree=31007912/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=37608 CPUtime=0.28 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 8742 0 0 0 27 1 0 0 18 0 1 0 965248538 38510592 8087 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 9402 8087 693 1169 0 8229 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 37608
[startup+0.700814 s]
/proc/loadavg: 0.00 0.00 0.00 1/174 21114
/proc/meminfo: memFree=31007912/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=37868 CPUtime=0.68 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 8878 0 0 0 66 2 0 0 18 0 1 0 965248538 38776832 8223 33554432000 4194304 8979876 140734374884912 18446744073709551615 6543886 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 9467 8223 693 1169 0 8294 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 37868
[startup+1.50068 s]
/proc/loadavg: 0.16 0.03 0.01 3/178 21118
/proc/meminfo: memFree=30939804/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=42444 CPUtime=1.49 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 10251 0 0 0 146 3 0 0 19 0 1 0 965248538 43462656 9596 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 10611 9596 695 1169 0 9438 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42444
[startup+3.10041 s]
/proc/loadavg: 0.16 0.03 0.01 3/178 21118
/proc/meminfo: memFree=30935888/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=42444 CPUtime=3.09 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 10255 0 0 0 299 10 0 0 25 0 1 0 965248538 43462656 9600 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 10611 9600 698 1169 0 9438 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42444
[startup+6.30088 s]
/proc/loadavg: 0.16 0.03 0.01 3/178 21118
/proc/meminfo: memFree=30931312/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=42444 CPUtime=6.29 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 10255 0 0 0 602 27 0 0 25 0 1 0 965248538 43462656 9600 33554432000 4194304 8979876 140734374884912 18446744073709551615 7179197 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 10611 9600 698 1169 0 9438 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42444
[startup+12.7008 s]
/proc/loadavg: 0.44 0.10 0.03 3/178 21118
/proc/meminfo: memFree=30931224/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=42444 CPUtime=12.68 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 10255 0 0 0 1214 54 0 0 25 0 1 0 965248538 43462656 9600 33554432000 4194304 8979876 140734374884912 18446744073709551615 18446744073699065949 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 10611 9600 698 1169 0 9438 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 42444
[startup+25.5007 s]
/proc/loadavg: 0.68 0.16 0.05 3/178 21118
/proc/meminfo: memFree=30932028/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=42444 CPUtime=25.49 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 10275 0 0 0 2441 108 0 0 25 0 1 0 965248538 43462656 9620 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 10611 9620 698 1169 0 9438 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42444
[startup+51.1004 s]
/proc/loadavg: 1.20 0.33 0.11 3/178 21120
/proc/meminfo: memFree=30931400/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=43268 CPUtime=51.09 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 10463 0 0 0 4894 215 0 0 25 0 1 0 965248538 44306432 9806 33554432000 4194304 8979876 140734374884912 18446744073709551615 7180171 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 10817 9806 698 1169 0 9644 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 43268
[startup+102.307 s]
/proc/loadavg: 1.65 0.59 0.21 3/178 21120
/proc/meminfo: memFree=30928876/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=44332 CPUtime=102.3 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 10772 0 0 0 9796 434 0 0 25 0 1 0 965248538 45395968 10101 33554432000 4194304 8979876 140734374884912 18446744073709551615 7179444 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11083 10101 698 1169 0 9910 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 44332
[startup+162.301 s]
/proc/loadavg: 1.95 0.87 0.33 3/178 21122
/proc/meminfo: memFree=30927580/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=44608 CPUtime=162.29 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 10841 0 0 0 15542 687 0 0 25 0 1 0 965248538 45678592 10170 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11152 10170 698 1169 0 9979 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 44608
[startup+222.301 s]
/proc/loadavg: 1.98 1.07 0.43 3/178 21124
/proc/meminfo: memFree=30926504/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=45304 CPUtime=222.29 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11013 0 0 0 21293 936 0 0 25 0 1 0 965248538 46391296 10341 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11326 10341 698 1169 0 10153 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 45304
[startup+282.301 s]
/proc/loadavg: 1.99 1.24 0.53 3/178 21126
/proc/meminfo: memFree=30925236/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=46172 CPUtime=282.29 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11222 0 0 0 27036 1193 0 0 25 0 1 0 965248538 47280128 10550 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11543 10550 698 1169 0 10370 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 46172
[startup+342.301 s]
/proc/loadavg: 1.99 1.38 0.61 3/178 21137
/proc/meminfo: memFree=30925512/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=46324 CPUtime=342.29 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11258 0 0 0 32783 1446 0 0 25 0 1 0 965248538 47435776 10586 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11581 10586 698 1169 0 10408 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 46324
[startup+402.301 s]
/proc/loadavg: 1.99 1.49 0.70 3/178 21137
/proc/meminfo: memFree=30925344/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=46456 CPUtime=402.3 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11294 0 0 0 38527 1703 0 0 25 0 1 0 965248538 47570944 10622 33554432000 4194304 8979876 140734374884912 18446744073709551615 4350722 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11614 10622 698 1169 0 10441 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 46456
[startup+462.301 s]
/proc/loadavg: 1.99 1.58 0.78 3/178 21139
/proc/meminfo: memFree=30925056/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=46456 CPUtime=462.29 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11295 0 0 0 44270 1959 0 0 25 0 1 0 965248538 47570944 10623 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11614 10623 698 1169 0 10441 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 46456
[startup+522.301 s]
/proc/loadavg: 1.99 1.65 0.85 3/178 21141
/proc/meminfo: memFree=30924740/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=46600 CPUtime=522.3 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11310 0 0 0 50012 2218 0 0 25 0 1 0 965248538 47718400 10638 33554432000 4194304 8979876 140734374884912 18446744073709551615 4991121 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11650 10638 698 1169 0 10477 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 46600
[startup+582.301 s]
/proc/loadavg: 1.99 1.71 0.92 3/178 21143
/proc/meminfo: memFree=30924440/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=46600 CPUtime=582.3 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11337 0 0 0 55758 2472 0 0 25 0 1 0 965248538 47718400 10665 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11650 10665 698 1169 0 10477 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 46600
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30919856/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=47156 CPUtime=1122.31 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11474 0 0 0 107535 4696 0 0 25 0 1 0 965248538 48287744 10802 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11789 10802 698 1169 0 10616 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 47156
[startup+1182.3 s]
/proc/loadavg: 2.00 1.95 1.41 3/178 21159
/proc/meminfo: memFree=30919692/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=47156 CPUtime=1182.3 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11482 0 0 0 113282 4948 0 0 25 0 1 0 965248538 48287744 10810 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11789 10810 698 1169 0 10616 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 47156
[startup+1242.3 s]
/proc/loadavg: 2.00 1.96 1.45 3/178 21161
/proc/meminfo: memFree=30919152/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=47320 CPUtime=1242.31 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11491 0 0 0 119021 5210 0 0 25 0 1 0 965248538 48455680 10819 33554432000 4194304 8979876 140734374884912 18446744073709551615 6742040 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11830 10819 698 1169 0 10657 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 47320
[startup+1302.3 s]
/proc/loadavg: 2.00 1.96 1.48 3/178 21161
/proc/meminfo: memFree=30919224/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=47320 CPUtime=1302.31 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11491 0 0 0 124771 5460 0 0 25 0 1 0 965248538 48455680 10819 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11830 10819 698 1169 0 10657 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 47320
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/178 21163
/proc/meminfo: memFree=30919048/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=47320 CPUtime=1362.31 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11491 0 0 0 130520 5711 0 0 25 0 1 0 965248538 48455680 10819 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11830 10819 698 1169 0 10657 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 47320
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 3/178 21165
/proc/meminfo: memFree=30918988/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=47320 CPUtime=1422.31 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11491 0 0 0 136286 5945 0 0 25 0 1 0 965248538 48455680 10819 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11830 10819 698 1169 0 10657 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 47320
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.56 3/178 21167
/proc/meminfo: memFree=30918572/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=47456 CPUtime=1482.31 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11547 0 0 0 142038 6193 0 0 25 0 1 0 965248538 48594944 10875 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11864 10875 698 1169 0 10691 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 47456
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/178 21169
/proc/meminfo: memFree=30918520/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=47592 CPUtime=1542.31 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11559 0 0 0 147794 6437 0 0 25 0 1 0 965248538 48734208 10887 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11898 10887 698 1169 0 10725 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 47592
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.61 3/178 21169
/proc/meminfo: memFree=30918484/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=47592 CPUtime=1602.31 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11559 0 0 0 153549 6682 0 0 25 0 1 0 965248538 48734208 10887 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11898 10887 698 1169 0 10725 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 47592
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.63 3/178 21171
/proc/meminfo: memFree=30918312/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=47592 CPUtime=1662.32 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11562 0 0 0 159295 6937 0 0 25 0 1 0 965248538 48734208 10890 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11898 10890 698 1169 0 10725 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 47592
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.65 3/178 21173
/proc/meminfo: memFree=30918112/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=47592 CPUtime=1722.32 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11573 0 0 0 165034 7198 0 0 25 0 1 0 965248538 48734208 10901 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11898 10901 698 1169 0 10725 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 47592
[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.67 3/178 21175
/proc/meminfo: memFree=30916828/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=47592 CPUtime=1782.32 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11586 0 0 0 170785 7447 0 0 25 0 1 0 965248538 48734208 10914 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11898 10914 698 1169 0 10725 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 47592
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 1.97 1.67 3/178 21175
/proc/meminfo: memFree=30917068/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=47592 CPUtime=1785.51 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11586 0 0 0 171093 7458 0 0 25 0 1 0 965248538 48734208 10914 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11898 10914 698 1169 0 10725 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (KiB) 47592
[startup+1791.91 s]
/proc/loadavg: 2.00 1.97 1.67 3/178 21175
/proc/meminfo: memFree=30917064/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=47592 CPUtime=1791.92 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11586 0 0 0 171705 7487 0 0 25 0 1 0 965248538 48734208 10914 33554432000 4194304 8979876 140734374884912 18446744073709551615 18446744073699065949 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11898 10914 698 1169 0 10725 0
Current children cumulated CPU time (s) 1791.92
Current children cumulated vsize (KiB) 47592
[startup+1795.1 s]
/proc/loadavg: 2.00 1.97 1.67 3/178 21175
/proc/meminfo: memFree=30917064/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=47592 CPUtime=1795.12 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11586 0 0 0 172012 7500 0 0 25 0 1 0 965248538 48734208 10914 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11898 10914 698 1169 0 10725 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 47592
[startup+1795.9 s]
/proc/loadavg: 2.00 1.97 1.67 3/178 21175
/proc/meminfo: memFree=30917064/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=47592 CPUtime=1795.91 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11586 0 0 0 172087 7504 0 0 25 0 1 0 965248538 48734208 10914 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11898 10914 698 1169 0 10725 0
Current children cumulated CPU time (s) 1795.91
Current children cumulated vsize (KiB) 47592
[startup+1796.7 s]
/proc/loadavg: 2.00 1.97 1.67 3/178 21175
/proc/meminfo: memFree=30916940/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=47592 CPUtime=1796.71 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11586 0 0 0 172163 7508 0 0 25 0 1 0 965248538 48734208 10914 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11898 10914 698 1169 0 10725 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 47592
[startup+1796.9 s]
/proc/loadavg: 2.00 1.97 1.67 3/178 21175
/proc/meminfo: memFree=30916940/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=47592 CPUtime=1796.91 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11586 0 0 0 172182 7509 0 0 25 0 1 0 965248538 48734208 10914 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11898 10914 698 1169 0 10725 0
Current children cumulated CPU time (s) 1796.91
Current children cumulated vsize (KiB) 47592
[startup+1797 s]
/proc/loadavg: 2.00 1.97 1.67 3/178 21175
/proc/meminfo: memFree=30916940/32951124 swapFree=67049456/67111528
[pid=21114] ppid=21111 vsize=47592 CPUtime=1797.01 cores=1,3,5,7
/proc/21114/stat : 21114 (scip-2.0.1.4_2.) R 21111 21114 21071 0 -1 4202496 11586 0 0 0 172191 7510 0 0 25 0 1 0 965248538 48734208 10914 33554432000 4194304 8979876 140734374884912 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/21114/statm: 11898 10914 698 1169 0 10725 0
Current children cumulated CPU time (s) 1797.01
Current children cumulated vsize (KiB) 47592
Child status: 0
Real time (s): 1797.02
CPU time (s): 1797.04
CPU user time (s): 1721.93
CPU system time (s): 75.1106
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 47592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1721.93
system time used= 75.1106
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11595
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= 2621
runsolver used 2.36864 second user time and 5.82111 second system time
The end