0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3489044-1307750361.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.03 c presolving (5 rounds):
0.00/0.03 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.03 c 19274 implications, 0 cliques
0.00/0.03 c presolved problem has 482 variables (482 bin, 0 int, 0 impl, 0 cont) and 725 constraints
0.00/0.03 c 340 constraints of type <knapsack>
0.00/0.03 c 241 constraints of type <setppc>
0.00/0.03 c 144 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.03
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.0.1.5
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1797
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c limits/solutions = 1
0.00/0.03 c
0.00/0.03 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.03 c separating/maxrounds = 1
0.00/0.03 c
0.00/0.03 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/maxroundsroot = 5
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = TRUE
0.00/0.03 c
0.00/0.03 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.03 c constraints/knapsack/disaggregation = FALSE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c presolving/probing/maxrounds = 0
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/coefdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.03 c heuristics/crossover/freq = -1
0.00/0.03 c
0.00/0.03 c # number of nodes added to the contingent of the total nodes
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.03 c heuristics/crossover/nodesofs = 750
0.00/0.03 c
0.00/0.03 c # number of nodes without incumbent change that heuristic should wait
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.03 c heuristics/crossover/nwaitingnodes = 100
0.00/0.03 c
0.00/0.03 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.03 c # [type: real, range: [0,1], default: 0.1]
0.00/0.03 c heuristics/crossover/nodesquot = 0.15
0.00/0.03 c
0.00/0.03 c # minimum percentage of integer variables that have to be fixed
0.00/0.03 c # [type: real, range: [0,1], default: 0.666]
0.00/0.03 c heuristics/crossover/minfixingrate = 0.5
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/feaspump/freq = -1
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/fracdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/guideddiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/intshifting/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/linesearchdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/objpscostdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.03 c # [type: real, range: [0,1], default: 0.01]
0.00/0.03 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/oneopt/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/pscostdiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/rens/freq = -1
0.00/0.03 c
0.00/0.03 c # minimum percentage of integer variables that have to be fixable
0.00/0.03 c # [type: real, range: [0,1], default: 0.5]
0.00/0.03 c heuristics/rens/minfixingrate = 0.3
0.00/0.03 c
0.00/0.03 c # number of nodes added to the contingent of the total nodes
0.00/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.03 c heuristics/rens/nodesofs = 2000
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.03 c heuristics/rootsoldiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.03 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/rounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/shiftandpropagate/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/shifting/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/simplerounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/subnlp/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/trivial/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/trysol/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c heuristics/undercover/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.03 c heuristics/veclendiving/freq = -1
0.00/0.03 c
0.00/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.03 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.03 c
0.00/0.03 c # additional number of allowed LP iterations
0.00/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.03 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.03 c
0.00/0.03 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.03 c heuristics/zirounding/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c separating/cmir/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.03 c separating/flowcover/freq = -1
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.04 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.04 c 0.0s| 1 | 0 | 255 | - |3215k| 0 | 121 | 482 | 725 | 482 | 725 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 1384 | - |4938k| 0 | 195 | 482 | 729 | 482 |1127 | 402 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.44 c 0.4s| 1 | 0 | 2233 | - |7117k| 0 | 267 | 482 | 729 | 482 |1519 | 794 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.67 c 0.7s| 1 | 0 | 2514 | - |9170k| 0 | 276 | 482 | 729 | 482 |1572 | 847 | 0 | 0 | 0.000000e+00 | -- | Inf
0.89/0.92 c 0.9s| 1 | 0 | 2685 | - | 12M| 0 | 246 | 482 | 729 | 482 |1655 | 930 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.05 c 1.1s| 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.38 c 13.4s| 10000 | 56 | 83429 | 8.1 | 16M| 44 | - | 482 |1094 | 482 | 927 | 931 | 597 |2623 | 0.000000e+00 | -- | Inf
21.99/22.03 c 22.0s| 20000 | 85 |173904 | 8.6 | 16M| 44 | 24 | 482 |1196 | 482 | 927 | 931 |1079 |3158 | 0.000000e+00 | -- | Inf
29.49/29.58 c 29.6s| 30000 | 84 |259385 | 8.6 | 16M| 44 | - | 482 |1357 | 0 | 0 | 931 |1571 |3219 | 0.000000e+00 | -- | Inf
37.69/37.75 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.33 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.56 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.41 c 63.4s| 70000 | 113 |626760 | 8.9 | 16M| 45 | - | 482 |1878 | 0 | 0 | 931 |4108 |4853 | 0.000000e+00 | -- | Inf
70.40/70.40 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.82 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.82 c 77.8s| 90000 | 109 |779329 | 8.6 | 16M| 47 | - | 482 |1969 | 0 | 0 | 931 |6409 |5489 | 0.000000e+00 | -- | Inf
86.69/86.78 c 86.8s|100000 | 114 |879444 | 8.8 | 16M| 47 | 27 | 482 |1898 | 482 | 927 | 931 |7074 |5868 | 0.000000e+00 | -- | Inf
94.39/94.50 c 94.5s|110000 | 123 |964673 | 8.7 | 16M| 50 | 27 | 482 |1962 | 482 | 927 | 931 |8166 |6162 | 0.000000e+00 | -- | Inf
102.20/102.22 c 102s|120000 | 128 | 1053k| 8.8 | 16M| 50 | 24 | 482 |1822 | 482 | 927 | 931 |9025 |6322 | 0.000000e+00 | -- | Inf
110.00/110.07 c 110s|130000 | 115 | 1140k| 8.8 | 16M| 50 | 51 | 482 |2086 | 482 | 927 | 931 |9879 |6614 | 0.000000e+00 | -- | Inf
117.90/117.93 c 118s|140000 | 115 | 1227k| 8.8 | 16M| 50 | - | 482 |1850 | 0 | 0 | 931 | 10k|6890 | 0.000000e+00 | -- | Inf
126.09/126.13 c 126s|150000 | 121 | 1317k| 8.8 | 16M| 52 | 17 | 482 |1841 | 482 | 927 | 931 | 11k|7273 | 0.000000e+00 | -- | Inf
133.59/133.70 c 134s|160000 | 125 | 1403k| 8.8 | 16M| 52 | - | 482 |2011 | 0 | 0 | 931 | 12k|7400 | 0.000000e+00 | -- | Inf
141.49/141.57 c 142s|170000 | 153 | 1493k| 8.8 | 17M| 52 | - | 482 |2104 | 0 | 0 | 931 | 12k|7532 | 0.000000e+00 | -- | Inf
149.99/150.03 c 150s|180000 | 112 | 1588k| 8.8 | 17M| 52 | 27 | 482 |2175 | 482 | 927 | 931 | 13k|7885 | 0.000000e+00 | -- | Inf
158.29/158.31 c 158s|190000 | 125 | 1673k| 8.8 | 17M| 52 | 29 | 482 |2089 | 482 | 927 | 931 | 13k|8344 | 0.000000e+00 | -- | Inf
165.59/165.66 c 166s|200000 | 123 | 1752k| 8.8 | 17M| 52 | 21 | 482 |2236 | 482 | 927 | 931 | 14k|8459 | 0.000000e+00 | -- | Inf
172.69/172.78 c 173s|210000 | 129 | 1829k| 8.7 | 17M| 52 | 30 | 482 |2414 | 482 | 927 | 931 | 14k|8579 | 0.000000e+00 | -- | Inf
180.49/180.54 c 181s|220000 | 117 | 1910k| 8.7 | 17M| 52 | - | 482 |2335 | 0 | 0 | 931 | 15k|8851 | 0.000000e+00 | -- | Inf
188.89/188.91 c 189s|230000 | 133 | 1999k| 8.7 | 17M| 52 | 29 | 482 |2361 | 482 | 927 | 931 | 16k|9207 | 0.000000e+00 | -- | Inf
197.09/197.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
197.09/197.20 c 197s|240000 | 125 | 2092k| 8.7 | 17M| 52 | - | 482 |2329 | 482 | 927 | 931 | 16k|9415 | 0.000000e+00 | -- | Inf
205.80/205.90 c 206s|250000 | 132 | 2195k| 8.8 | 17M| 52 | - | 482 |2312 | 0 | 0 | 931 | 17k|9609 | 0.000000e+00 | -- | Inf
213.89/213.99 c 214s|260000 | 131 | 2290k| 8.8 | 17M| 52 | 30 | 482 |2396 | 482 | 927 | 931 | 18k|9770 | 0.000000e+00 | -- | Inf
222.30/222.38 c 222s|270000 | 128 | 2385k| 8.8 | 17M| 52 | - | 482 |2475 | 0 | 0 | 931 | 18k|9959 | 0.000000e+00 | -- | Inf
229.89/229.98 c 230s|280000 | 147 | 2468k| 8.8 | 17M| 52 | 25 | 482 |2639 | 482 | 927 | 931 | 19k| 10k| 0.000000e+00 | -- | Inf
237.39/237.48 c 237s|290000 | 141 | 2551k| 8.8 | 17M| 52 | 19 | 482 |2759 | 482 | 927 | 931 | 19k| 10k| 0.000000e+00 | -- | Inf
244.59/244.60 c 245s|300000 | 132 | 2631k| 8.8 | 17M| 52 | - | 482 |2974 | 482 | 927 | 931 | 20k| 10k| 0.000000e+00 | -- | Inf
252.69/252.73 c 253s|310000 | 132 | 2720k| 8.8 | 17M| 52 | 34 | 482 |2805 | 482 | 927 | 931 | 21k| 10k| 0.000000e+00 | -- | Inf
259.69/259.79 c 260s|320000 | 134 | 2800k| 8.7 | 17M| 52 | - | 482 |3044 | 482 | 927 | 931 | 22k| 10k| 0.000000e+00 | -- | Inf
266.89/266.98 c 267s|330000 | 132 | 2882k| 8.7 | 17M| 52 | 34 | 482 |3235 | 482 | 927 | 931 | 23k| 10k| 0.000000e+00 | -- | Inf
274.79/274.81 c 275s|340000 | 131 | 2969k| 8.7 | 17M| 52 | - | 482 |3354 | 0 | 0 | 931 | 24k| 10k| 0.000000e+00 | -- | Inf
284.69/284.75 c 285s|350000 | 141 | 3076k| 8.8 | 17M| 52 | 28 | 482 |2863 | 482 | 927 | 931 | 24k| 11k| 0.000000e+00 | -- | Inf
292.89/292.92 c 293s|360000 | 142 | 3169k| 8.8 | 17M| 52 | 41 | 482 |2588 | 482 | 927 | 931 | 25k| 11k| 0.000000e+00 | -- | Inf
301.19/301.28 c 301s|370000 | 156 | 3267k| 8.8 | 17M| 53 | 37 | 482 |2748 | 482 | 927 | 931 | 25k| 11k| 0.000000e+00 | -- | Inf
309.40/309.49 c 309s|380000 | 146 | 3358k| 8.8 | 17M| 53 | 40 | 482 |2655 | 482 | 927 | 931 | 26k| 11k| 0.000000e+00 | -- | Inf
317.80/317.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
317.80/317.90 c 318s|390000 | 143 | 3452k| 8.8 | 17M| 53 | - | 482 |2614 | 482 | 927 | 931 | 26k| 12k| 0.000000e+00 | -- | Inf
326.29/326.32 c 326s|400000 | 146 | 3550k| 8.9 | 17M| 53 | - | 482 |2724 | 0 | 0 | 931 | 27k| 12k| 0.000000e+00 | -- | Inf
335.29/335.37 c 335s|410000 | 144 | 3654k| 8.9 | 17M| 53 | 35 | 482 |2356 | 482 | 927 | 931 | 27k| 12k| 0.000000e+00 | -- | Inf
344.49/344.55 c 345s|420000 | 160 | 3762k| 9.0 | 17M| 53 | - | 482 |2449 | 0 | 0 | 931 | 27k| 12k| 0.000000e+00 | -- | Inf
353.10/353.15 c 353s|430000 | 158 | 3861k| 9.0 | 17M| 53 | 25 | 482 |2567 | 482 | 927 | 931 | 28k| 12k| 0.000000e+00 | -- | Inf
363.29/363.32 c 363s|440000 | 177 | 3966k| 9.0 | 17M| 53 | - | 482 |2326 | 482 | 927 | 931 | 28k| 13k| 0.000000e+00 | -- | Inf
370.29/370.34 c 370s|450000 | 174 | 4045k| 9.0 | 17M| 53 | 32 | 482 |2597 | 482 | 927 | 931 | 29k| 13k| 0.000000e+00 | -- | Inf
377.70/377.76 c 378s|460000 | 179 | 4128k| 9.0 | 17M| 53 | 26 | 482 |2539 | 482 | 927 | 931 | 29k| 13k| 0.000000e+00 | -- | Inf
385.40/385.48 c 385s|470000 | 175 | 4217k| 9.0 | 17M| 53 | 40 | 482 |2660 | 482 | 927 | 931 | 30k| 13k| 0.000000e+00 | -- | Inf
393.50/393.52 c 394s|480000 | 176 | 4311k| 9.0 | 17M| 53 | - | 482 |2635 | 0 | 0 | 931 | 30k| 13k| 0.000000e+00 | -- | Inf
401.40/401.50 c 401s|490000 | 180 | 4400k| 9.0 | 17M| 53 | - | 482 |2394 | 0 | 0 | 931 | 30k| 13k| 0.000000e+00 | -- | Inf
409.00/409.00 c 409s|500000 | 192 | 4485k| 9.0 | 17M| 53 | 29 | 482 |2691 | 482 | 927 | 931 | 31k| 13k| 0.000000e+00 | -- | Inf
416.80/416.85 c 417s|510000 | 180 | 4571k| 9.0 | 17M| 53 | - | 482 |2691 | 482 | 927 | 931 | 31k| 13k| 0.000000e+00 | -- | Inf
424.50/424.59 c 425s|520000 | 188 | 4657k| 9.0 | 17M| 54 | 31 | 482 |2778 | 482 | 927 | 931 | 32k| 13k| 0.000000e+00 | -- | Inf
432.89/432.96 c 433s|530000 | 178 | 4752k| 9.0 | 17M| 54 | 31 | 482 |2676 | 482 | 927 | 931 | 32k| 13k| 0.000000e+00 | -- | Inf
441.20/441.21 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.21 c 441s|540000 | 179 | 4846k| 9.0 | 17M| 54 | - | 482 |2600 | 482 | 927 | 931 | 33k| 13k| 0.000000e+00 | -- | Inf
449.50/449.53 c 450s|550000 | 198 | 4945k| 9.0 | 17M| 54 | 35 | 482 |2723 | 482 | 927 | 931 | 33k| 13k| 0.000000e+00 | -- | Inf
458.39/458.46 c 458s|560000 | 182 | 5043k| 9.0 | 17M| 61 | - | 482 |2575 | 0 | 0 | 931 | 33k| 14k| 0.000000e+00 | -- | Inf
467.90/467.93 c 468s|570000 | 192 | 5149k| 9.0 | 17M| 61 | - | 482 |2599 | 482 | 927 | 931 | 34k| 14k| 0.000000e+00 | -- | Inf
476.99/477.05 c 477s|580000 | 169 | 5249k| 9.0 | 17M| 61 | - | 482 |2195 | 482 | 927 | 931 | 34k| 14k| 0.000000e+00 | -- | Inf
484.90/484.92 c 485s|590000 | 174 | 5340k| 9.0 | 17M| 61 | - | 482 |2220 | 0 | 0 | 931 | 35k| 14k| 0.000000e+00 | -- | Inf
493.19/493.21 c 493s|600000 | 187 | 5437k| 9.1 | 17M| 61 | - | 482 |2383 | 0 | 0 | 931 | 35k| 14k| 0.000000e+00 | -- | Inf
502.30/502.34 c 502s|610000 | 200 | 5543k| 9.1 | 17M| 61 | 15 | 482 |2245 | 482 | 927 | 931 | 36k| 15k| 0.000000e+00 | -- | Inf
511.00/511.04 c 511s|620000 | 189 | 5646k| 9.1 | 17M| 61 | - | 482 |2259 | 0 | 0 | 931 | 36k| 15k| 0.000000e+00 | -- | Inf
520.10/520.11 c 520s|630000 | 181 | 5751k| 9.1 | 17M| 61 | 19 | 482 |2375 | 482 | 927 | 931 | 36k| 15k| 0.000000e+00 | -- | Inf
527.79/527.88 c 528s|640000 | 184 | 5839k| 9.1 | 17M| 61 | 43 | 482 |2481 | 482 | 927 | 931 | 37k| 15k| 0.000000e+00 | -- | Inf
535.79/535.90 c 536s|650000 | 177 | 5931k| 9.1 | 17M| 61 | - | 482 |2524 | 0 | 0 | 931 | 38k| 15k| 0.000000e+00 | -- | Inf
543.99/544.06 c 544s|660000 | 190 | 6025k| 9.1 | 17M| 61 | 36 | 482 |2753 | 482 | 927 | 931 | 38k| 15k| 0.000000e+00 | -- | Inf
552.79/552.83 c 553s|670000 | 169 | 6122k| 9.1 | 17M| 61 | - | 482 |2633 | 0 | 0 | 931 | 39k| 15k| 0.000000e+00 | -- | Inf
560.60/560.66 c 561s|680000 | 175 | 6211k| 9.1 | 17M| 61 | 38 | 482 |2696 | 482 | 927 | 931 | 39k| 15k| 0.000000e+00 | -- | Inf
568.49/568.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
568.49/568.59 c 569s|690000 | 185 | 6303k| 9.1 | 17M| 61 | - | 482 |2658 | 482 | 927 | 931 | 39k| 15k| 0.000000e+00 | -- | Inf
577.10/577.17 c 577s|700000 | 180 | 6403k| 9.1 | 17M| 61 | - | 482 |2717 | 0 | 0 | 931 | 40k| 15k| 0.000000e+00 | -- | Inf
586.39/586.44 c 586s|710000 | 177 | 6507k| 9.2 | 17M| 61 | - | 482 |2501 | 482 | 927 | 931 | 40k| 16k| 0.000000e+00 | -- | Inf
596.00/596.09 c 596s|720000 | 190 | 6625k| 9.2 | 17M| 61 | 44 | 482 |2470 | 482 | 927 | 931 | 41k| 16k| 0.000000e+00 | -- | Inf
605.90/605.90 c 606s|730000 | 170 | 6737k| 9.2 | 17M| 61 | 30 | 482 |2419 | 482 | 927 | 931 | 41k| 16k| 0.000000e+00 | -- | Inf
613.89/613.93 c 614s|740000 | 164 | 6821k| 9.2 | 17M| 61 | 29 | 482 |2458 | 482 | 927 | 931 | 41k| 16k| 0.000000e+00 | -- | Inf
621.70/621.77 c 622s|750000 | 164 | 6908k| 9.2 | 17M| 61 | 34 | 482 |2532 | 482 | 927 | 931 | 42k| 16k| 0.000000e+00 | -- | Inf
629.29/629.35 c 629s|760000 | 167 | 6995k| 9.2 | 17M| 61 | - | 482 |2867 | 0 | 0 | 931 | 43k| 17k| 0.000000e+00 | -- | Inf
636.90/636.99 c 637s|770000 | 163 | 7082k| 9.2 | 17M| 61 | 44 | 482 |2859 | 482 | 927 | 931 | 44k| 17k| 0.000000e+00 | -- | Inf
645.10/645.12 c 645s|780000 | 163 | 7177k| 9.2 | 17M| 61 | - | 482 |2823 | 0 | 0 | 931 | 44k| 17k| 0.000000e+00 | -- | Inf
653.19/653.22 c 653s|790000 | 166 | 7273k| 9.2 | 17M| 61 | - | 482 |2900 | 0 | 0 | 931 | 45k| 17k| 0.000000e+00 | -- | Inf
661.99/662.05 c 662s|800000 | 166 | 7374k| 9.2 | 17M| 61 | - | 482 |3094 | 0 | 0 | 931 | 46k| 17k| 0.000000e+00 | -- | Inf
670.30/670.40 c 670s|810000 | 161 | 7472k| 9.2 | 17M| 61 | - | 482 |3161 | 0 | 0 | 931 | 47k| 17k| 0.000000e+00 | -- | Inf
679.60/679.63 c 680s|820000 | 169 | 7567k| 9.2 | 17M| 61 | - | 482 |2259 | 0 | 0 | 931 | 48k| 18k| 0.000000e+00 | -- | Inf
686.80/686.86 c 687s|830000 | 169 | 7644k| 9.2 | 17M| 61 | - | 482 |2164 | 0 | 0 | 931 | 48k| 18k| 0.000000e+00 | -- | Inf
694.01/694.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
694.01/694.04 c 694s|840000 | 168 | 7724k| 9.2 | 17M| 61 | 9 | 482 |2155 | 482 | 927 | 931 | 49k| 18k| 0.000000e+00 | -- | Inf
701.50/701.58 c 702s|850000 | 164 | 7810k| 9.2 | 17M| 61 | - | 482 |2289 | 0 | 0 | 931 | 49k| 18k| 0.000000e+00 | -- | Inf
709.90/709.98 c 710s|860000 | 171 | 7907k| 9.2 | 17M| 61 | 36 | 482 |2311 | 482 | 927 | 931 | 50k| 18k| 0.000000e+00 | -- | Inf
717.70/717.72 c 718s|870000 | 173 | 7991k| 9.2 | 17M| 61 | 30 | 482 |2400 | 482 | 927 | 931 | 50k| 18k| 0.000000e+00 | -- | Inf
725.30/725.31 c 725s|880000 | 159 | 8075k| 9.2 | 17M| 61 | - | 482 |2345 | 482 | 927 | 931 | 51k| 18k| 0.000000e+00 | -- | Inf
733.70/733.78 c 734s|890000 | 157 | 8171k| 9.2 | 17M| 61 | 16 | 482 |2224 | 482 | 927 | 931 | 51k| 18k| 0.000000e+00 | -- | Inf
741.60/741.63 c 742s|900000 | 164 | 8261k| 9.2 | 17M| 61 | 34 | 482 |2366 | 482 | 927 | 931 | 51k| 18k| 0.000000e+00 | -- | Inf
750.11/750.12 c 750s|910000 | 171 | 8361k| 9.2 | 17M| 61 | - | 482 |2336 | 0 | 0 | 931 | 52k| 18k| 0.000000e+00 | -- | Inf
759.20/759.27 c 759s|920000 | 171 | 8468k| 9.2 | 17M| 61 | 26 | 482 |2082 | 482 | 927 | 931 | 53k| 19k| 0.000000e+00 | -- | Inf
767.40/767.42 c 767s|930000 | 172 | 8564k| 9.2 | 17M| 61 | 42 | 482 |2104 | 482 | 927 | 931 | 53k| 19k| 0.000000e+00 | -- | Inf
776.20/776.21 c 776s|940000 | 191 | 8665k| 9.2 | 17M| 61 | - | 482 |2213 | 0 | 0 | 931 | 54k| 19k| 0.000000e+00 | -- | Inf
784.80/784.82 c 785s|950000 | 187 | 8766k| 9.2 | 17M| 61 | - | 482 |2278 | 482 | 927 | 931 | 54k| 19k| 0.000000e+00 | -- | Inf
792.80/792.81 c 793s|960000 | 178 | 8856k| 9.2 | 17M| 61 | 20 | 482 |2263 | 482 | 927 | 931 | 54k| 19k| 0.000000e+00 | -- | Inf
799.10/799.18 c 799s|970000 | 178 | 8926k| 9.2 | 17M| 61 | - | 482 |2603 | 0 | 0 | 931 | 55k| 19k| 0.000000e+00 | -- | Inf
805.80/805.88 c 806s|980000 | 187 | 8998k| 9.2 | 17M| 61 | 19 | 482 |2890 | 482 | 927 | 931 | 56k| 19k| 0.000000e+00 | -- | Inf
812.70/812.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
812.70/812.78 c 813s|990000 | 190 | 9073k| 9.2 | 17M| 61 | - | 482 |2835 | 0 | 0 | 931 | 56k| 19k| 0.000000e+00 | -- | Inf
819.80/819.89 c 820s| 1000k| 193 | 9153k| 9.2 | 17M| 61 | - | 482 |2684 | 0 | 0 | 931 | 57k| 19k| 0.000000e+00 | -- | Inf
826.90/826.96 c 827s| 1010k| 201 | 9230k| 9.1 | 17M| 61 | - | 482 |2641 | 482 | 927 | 931 | 57k| 19k| 0.000000e+00 | -- | Inf
833.51/833.59 c 834s| 1020k| 197 | 9301k| 9.1 | 17M| 61 | - | 482 |2905 | 0 | 0 | 931 | 58k| 19k| 0.000000e+00 | -- | Inf
840.01/840.08 c 840s| 1030k| 191 | 9370k| 9.1 | 17M| 61 | 28 | 482 |2952 | 482 | 927 | 931 | 58k| 19k| 0.000000e+00 | -- | Inf
847.10/847.20 c 847s| 1040k| 195 | 9448k| 9.1 | 18M| 61 | - | 482 |2926 | 482 | 927 | 931 | 59k| 19k| 0.000000e+00 | -- | Inf
854.30/854.34 c 854s| 1050k| 193 | 9526k| 9.1 | 18M| 61 | - | 482 |3016 | 0 | 0 | 931 | 59k| 19k| 0.000000e+00 | -- | Inf
861.21/861.26 c 861s| 1060k| 192 | 9603k| 9.1 | 18M| 61 | - | 482 |3110 | 0 | 0 | 931 | 60k| 19k| 0.000000e+00 | -- | Inf
868.70/868.71 c 869s| 1070k| 188 | 9686k| 9.0 | 18M| 61 | - | 482 |3031 | 482 | 927 | 931 | 60k| 20k| 0.000000e+00 | -- | Inf
875.40/875.46 c 875s| 1080k| 204 | 9759k| 9.0 | 18M| 61 | 20 | 482 |3010 | 482 | 927 | 931 | 61k| 20k| 0.000000e+00 | -- | Inf
882.91/882.99 c 883s| 1090k| 202 | 9843k| 9.0 | 18M| 61 | 33 | 482 |3104 | 482 | 927 | 931 | 62k| 20k| 0.000000e+00 | -- | Inf
891.10/891.17 c 891s| 1100k| 187 | 9938k| 9.0 | 18M| 61 | - | 482 |2978 | 482 | 927 | 931 | 62k| 20k| 0.000000e+00 | -- | Inf
898.40/898.45 c 898s| 1110k| 187 | 10017k| 9.0 | 18M| 61 | 36 | 482 |2903 | 482 | 927 | 931 | 62k| 20k| 0.000000e+00 | -- | Inf
905.70/905.76 c 906s| 1120k| 184 | 10100k| 9.0 | 17M| 61 | - | 482 |2857 | 0 | 0 | 931 | 63k| 20k| 0.000000e+00 | -- | Inf
912.30/912.37 c 912s| 1130k| 189 | 10170k| 9.0 | 18M| 61 | 41 | 482 |3026 | 482 | 927 | 931 | 63k| 20k| 0.000000e+00 | -- | Inf
919.10/919.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
919.10/919.11 c 919s| 1140k| 190 | 10244k| 9.0 | 18M| 61 | 24 | 482 |3070 | 482 | 927 | 931 | 64k| 20k| 0.000000e+00 | -- | Inf
925.50/925.53 c 926s| 1150k| 193 | 10308k| 9.0 | 18M| 61 | 32 | 482 |3223 | 482 | 927 | 931 | 65k| 20k| 0.000000e+00 | -- | Inf
932.00/932.07 c 932s| 1160k| 195 | 10376k| 8.9 | 18M| 61 | - | 482 |3390 | 0 | 0 | 931 | 65k| 20k| 0.000000e+00 | -- | Inf
939.10/939.12 c 939s| 1170k| 187 | 10450k| 8.9 | 18M| 61 | 46 | 482 |3366 | 482 | 927 | 931 | 66k| 20k| 0.000000e+00 | -- | Inf
945.80/945.82 c 946s| 1180k| 189 | 10522k| 8.9 | 18M| 61 | 28 | 482 |3230 | 482 | 927 | 931 | 66k| 20k| 0.000000e+00 | -- | Inf
953.40/953.48 c 953s| 1190k| 183 | 10607k| 8.9 | 18M| 61 | - | 482 |3146 | 482 | 927 | 931 | 66k| 20k| 0.000000e+00 | -- | Inf
959.71/959.71 c 960s| 1200k| 189 | 10672k| 8.9 | 18M| 61 | 28 | 482 |3364 | 482 | 927 | 931 | 67k| 20k| 0.000000e+00 | -- | Inf
966.41/966.48 c 966s| 1210k| 181 | 10743k| 8.9 | 18M| 61 | 32 | 482 |3284 | 482 | 927 | 931 | 68k| 20k| 0.000000e+00 | -- | Inf
973.61/973.67 c 974s| 1220k| 190 | 10823k| 8.9 | 18M| 61 | 18 | 482 |3495 | 482 | 927 | 931 | 68k| 20k| 0.000000e+00 | -- | Inf
980.61/980.66 c 981s| 1230k| 197 | 10897k| 8.9 | 18M| 61 | 26 | 482 |3602 | 482 | 927 | 931 | 69k| 20k| 0.000000e+00 | -- | Inf
987.81/987.84 c 988s| 1240k| 185 | 10976k| 8.8 | 18M| 61 | - | 482 |3556 | 0 | 0 | 931 | 69k| 20k| 0.000000e+00 | -- | Inf
995.31/995.32 c 995s| 1250k| 188 | 11058k| 8.8 | 18M| 61 | - | 482 |3515 | 482 | 927 | 931 | 70k| 20k| 0.000000e+00 | -- | Inf
1002.41/1002.47 c 1002s| 1260k| 188 | 11136k| 8.8 | 18M| 61 | 20 | 482 |3546 | 482 | 927 | 931 | 70k| 20k| 0.000000e+00 | -- | Inf
1010.01/1010.05 c 1010s| 1270k| 188 | 11220k| 8.8 | 18M| 61 | - | 482 |3546 | 0 | 0 | 931 | 71k| 20k| 0.000000e+00 | -- | Inf
1017.31/1017.35 c 1017s| 1280k| 192 | 11300k| 8.8 | 18M| 61 | - | 482 |3583 | 0 | 0 | 931 | 71k| 21k| 0.000000e+00 | -- | Inf
1024.71/1024.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1024.71/1024.78 c 1025s| 1290k| 188 | 11382k| 8.8 | 18M| 61 | - | 482 |3515 | 0 | 0 | 931 | 72k| 21k| 0.000000e+00 | -- | Inf
1032.92/1032.92 c 1033s| 1300k| 185 | 11475k| 8.8 | 18M| 63 | - | 482 |3364 | 0 | 0 | 931 | 72k| 21k| 0.000000e+00 | -- | Inf
1041.01/1041.06 c 1041s| 1310k| 199 | 11568k| 8.8 | 18M| 63 | - | 482 |3361 | 482 | 927 | 931 | 72k| 21k| 0.000000e+00 | -- | Inf
1048.41/1048.42 c 1048s| 1320k| 191 | 11648k| 8.8 | 18M| 63 | 32 | 482 |3174 | 482 | 927 | 931 | 73k| 21k| 0.000000e+00 | -- | Inf
1054.82/1054.87 c 1055s| 1330k| 192 | 11717k| 8.8 | 18M| 63 | 22 | 482 |3339 | 482 | 927 | 931 | 73k| 21k| 0.000000e+00 | -- | Inf
1061.80/1061.80 c 1062s| 1340k| 191 | 11791k| 8.8 | 18M| 63 | 41 | 482 |3356 | 482 | 927 | 931 | 74k| 21k| 0.000000e+00 | -- | Inf
1070.32/1070.35 c 1070s| 1350k| 184 | 11870k| 8.8 | 18M| 63 | 40 | 482 |2858 | 482 | 927 | 931 | 74k| 22k| 0.000000e+00 | -- | Inf
1080.40/1080.47 c 1080s| 1360k| 179 | 11971k| 8.8 | 17M| 63 | - | 482 |2712 | 0 | 0 | 931 | 75k| 22k| 0.000000e+00 | -- | Inf
1090.11/1090.13 c 1090s| 1370k| 181 | 12088k| 8.8 | 18M| 63 | 45 | 482 |2918 | 482 | 927 | 931 | 76k| 22k| 0.000000e+00 | -- | Inf
1100.11/1100.11 c 1100s| 1380k| 183 | 12206k| 8.8 | 18M| 63 | 29 | 482 |2709 | 482 | 927 | 931 | 76k| 23k| 0.000000e+00 | -- | Inf
1107.72/1107.78 c 1108s| 1390k| 188 | 12288k| 8.8 | 18M| 63 | - | 482 |2675 | 0 | 0 | 931 | 77k| 23k| 0.000000e+00 | -- | Inf
1115.21/1115.22 c 1115s| 1400k| 190 | 12371k| 8.8 | 18M| 63 | 27 | 482 |2747 | 482 | 927 | 931 | 77k| 23k| 0.000000e+00 | -- | Inf
1122.91/1122.97 c 1123s| 1410k| 193 | 12459k| 8.8 | 18M| 63 | - | 482 |2794 | 482 | 927 | 931 | 78k| 23k| 0.000000e+00 | -- | Inf
1130.71/1130.72 c 1131s| 1420k| 189 | 12545k| 8.8 | 18M| 63 | - | 482 |2824 | 482 | 927 | 931 | 78k| 23k| 0.000000e+00 | -- | Inf
1138.91/1138.94 c 1139s| 1430k| 193 | 12638k| 8.8 | 18M| 63 | 23 | 482 |2810 | 482 | 927 | 931 | 78k| 23k| 0.000000e+00 | -- | Inf
1147.21/1147.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1147.21/1147.30 c 1147s| 1440k| 187 | 12735k| 8.8 | 18M| 63 | 22 | 482 |2853 | 482 | 927 | 931 | 79k| 23k| 0.000000e+00 | -- | Inf
1155.21/1155.28 c 1155s| 1450k| 193 | 12825k| 8.8 | 18M| 63 | 41 | 482 |2649 | 482 | 927 | 931 | 79k| 23k| 0.000000e+00 | -- | Inf
1163.41/1163.46 c 1163s| 1460k| 187 | 12920k| 8.8 | 17M| 63 | - | 482 |2548 | 0 | 0 | 931 | 80k| 23k| 0.000000e+00 | -- | Inf
1172.41/1172.45 c 1172s| 1470k| 180 | 13029k| 8.9 | 17M| 63 | 25 | 482 |2450 | 482 | 927 | 931 | 81k| 23k| 0.000000e+00 | -- | Inf
1181.91/1181.92 c 1182s| 1480k| 178 | 13141k| 8.9 | 17M| 63 | 25 | 482 |2280 | 482 | 927 | 931 | 81k| 23k| 0.000000e+00 | -- | Inf
1189.21/1189.27 c 1189s| 1490k| 174 | 13223k| 8.9 | 17M| 63 | 29 | 482 |2345 | 482 | 927 | 931 | 82k| 23k| 0.000000e+00 | -- | Inf
1198.21/1198.28 c 1198s| 1500k| 184 | 13332k| 8.9 | 17M| 63 | - | 482 |2547 | 0 | 0 | 931 | 82k| 23k| 0.000000e+00 | -- | Inf
1207.51/1207.58 c 1208s| 1510k| 168 | 13443k| 8.9 | 17M| 63 | 44 | 482 |2435 | 482 | 927 | 931 | 83k| 23k| 0.000000e+00 | -- | Inf
1215.81/1215.81 c 1216s| 1520k| 179 | 13540k| 8.9 | 17M| 63 | - | 482 |2443 | 0 | 0 | 931 | 84k| 23k| 0.000000e+00 | -- | Inf
1222.91/1222.96 c 1223s| 1530k| 180 | 13621k| 8.9 | 17M| 63 | - | 482 |2457 | 0 | 0 | 931 | 85k| 23k| 0.000000e+00 | -- | Inf
1230.71/1230.76 c 1231s| 1540k| 180 | 13711k| 8.9 | 17M| 63 | 52 | 482 |2414 | 482 | 927 | 931 | 85k| 24k| 0.000000e+00 | -- | Inf
1238.71/1238.72 c 1239s| 1550k| 176 | 13807k| 8.9 | 17M| 63 | - | 482 |2564 | 0 | 0 | 931 | 86k| 24k| 0.000000e+00 | -- | Inf
1246.32/1246.38 c 1246s| 1560k| 173 | 13895k| 8.9 | 17M| 63 | 34 | 482 |2544 | 482 | 927 | 931 | 87k| 24k| 0.000000e+00 | -- | Inf
1254.71/1254.79 c 1255s| 1570k| 171 | 13998k| 8.9 | 17M| 63 | - | 482 |2491 | 0 | 0 | 931 | 88k| 24k| 0.000000e+00 | -- | Inf
1263.11/1263.13 c 1263s| 1580k| 177 | 14093k| 8.9 | 17M| 63 | - | 482 |2323 | 0 | 0 | 931 | 89k| 24k| 0.000000e+00 | -- | Inf
1271.01/1271.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1271.01/1271.03 c 1271s| 1590k| 185 | 14185k| 8.9 | 17M| 63 | - | 482 |2344 | 482 | 927 | 931 | 89k| 24k| 0.000000e+00 | -- | Inf
1278.71/1278.75 c 1279s| 1600k| 181 | 14276k| 8.9 | 17M| 63 | 41 | 482 |2453 | 482 | 927 | 931 | 90k| 24k| 0.000000e+00 | -- | Inf
1286.61/1286.65 c 1287s| 1610k| 177 | 14369k| 8.9 | 17M| 63 | - | 482 |2370 | 482 | 927 | 931 | 91k| 24k| 0.000000e+00 | -- | Inf
1294.01/1294.03 c 1294s| 1620k| 190 | 14449k| 8.9 | 17M| 63 | 25 | 482 |2497 | 482 | 927 | 931 | 92k| 24k| 0.000000e+00 | -- | Inf
1300.82/1300.86 c 1301s| 1630k| 192 | 14524k| 8.9 | 18M| 63 | 22 | 482 |2612 | 482 | 927 | 931 | 92k| 24k| 0.000000e+00 | -- | Inf
1307.92/1307.91 c 1308s| 1640k| 183 | 14605k| 8.9 | 18M| 63 | 28 | 482 |2615 | 482 | 927 | 931 | 93k| 24k| 0.000000e+00 | -- | Inf
1314.61/1314.68 c 1315s| 1650k| 182 | 14677k| 8.9 | 18M| 63 | 17 | 482 |2752 | 482 | 927 | 931 | 94k| 24k| 0.000000e+00 | -- | Inf
1321.41/1321.41 c 1321s| 1660k| 177 | 14751k| 8.9 | 18M| 63 | 39 | 482 |2789 | 482 | 927 | 931 | 94k| 24k| 0.000000e+00 | -- | Inf
1328.41/1328.45 c 1328s| 1670k| 190 | 14828k| 8.9 | 18M| 63 | 22 | 482 |2891 | 482 | 927 | 931 | 95k| 24k| 0.000000e+00 | -- | Inf
1336.11/1336.13 c 1336s| 1680k| 189 | 14914k| 8.9 | 18M| 63 | 24 | 482 |3142 | 482 | 927 | 931 | 95k| 24k| 0.000000e+00 | -- | Inf
1343.82/1343.87 c 1344s| 1690k| 182 | 15002k| 8.9 | 18M| 63 | - | 482 |3032 | 0 | 0 | 931 | 96k| 24k| 0.000000e+00 | -- | Inf
1352.11/1352.16 c 1352s| 1700k| 182 | 15097k| 8.9 | 18M| 63 | - | 482 |2788 | 0 | 0 | 931 | 96k| 24k| 0.000000e+00 | -- | Inf
1360.22/1360.23 c 1360s| 1710k| 182 | 15190k| 8.9 | 18M| 63 | - | 482 |2567 | 0 | 0 | 931 | 96k| 25k| 0.000000e+00 | -- | Inf
1368.51/1368.53 c 1369s| 1720k| 198 | 15283k| 8.9 | 18M| 63 | 14 | 482 |2561 | 482 | 927 | 931 | 97k| 25k| 0.000000e+00 | -- | Inf
1375.42/1375.40 c 1375s| 1730k| 192 | 15359k| 8.9 | 18M| 63 | - | 482 |2707 | 0 | 0 | 931 | 98k| 25k| 0.000000e+00 | -- | Inf
1382.62/1382.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.62/1382.69 c 1383s| 1740k| 204 | 15442k| 8.9 | 18M| 63 | - | 482 |2703 | 0 | 0 | 931 | 98k| 25k| 0.000000e+00 | -- | Inf
1390.42/1390.45 c 1390s| 1750k| 185 | 15530k| 8.9 | 18M| 63 | 34 | 482 |2672 | 482 | 927 | 931 | 99k| 25k| 0.000000e+00 | -- | Inf
1398.31/1398.30 c 1398s| 1760k| 187 | 15623k| 8.9 | 18M| 63 | - | 482 |2885 | 0 | 0 | 931 | 100k| 25k| 0.000000e+00 | -- | Inf
1405.91/1405.97 c 1406s| 1770k| 186 | 15711k| 8.9 | 18M| 63 | 34 | 482 |2899 | 482 | 927 | 931 | 100k| 25k| 0.000000e+00 | -- | Inf
1413.71/1413.70 c 1414s| 1780k| 185 | 15800k| 8.9 | 18M| 63 | 26 | 482 |2927 | 482 | 927 | 931 | 101k| 25k| 0.000000e+00 | -- | Inf
1422.52/1422.58 c 1423s| 1790k| 188 | 15908k| 8.9 | 18M| 63 | 35 | 482 |2960 | 482 | 927 | 931 | 101k| 25k| 0.000000e+00 | -- | Inf
1431.42/1431.47 c 1431s| 1800k| 184 | 16015k| 8.9 | 18M| 63 | 26 | 482 |2978 | 482 | 927 | 931 | 102k| 25k| 0.000000e+00 | -- | Inf
1439.82/1439.89 c 1440s| 1810k| 187 | 16115k| 8.9 | 18M| 63 | 33 | 482 |3130 | 482 | 927 | 931 | 103k| 25k| 0.000000e+00 | -- | Inf
1448.21/1448.27 c 1448s| 1820k| 195 | 16214k| 8.9 | 18M| 63 | - | 482 |3237 | 482 | 927 | 931 | 104k| 25k| 0.000000e+00 | -- | Inf
1457.42/1457.43 c 1457s| 1830k| 196 | 16325k| 8.9 | 18M| 63 | - | 482 |2923 | 0 | 0 | 931 | 105k| 25k| 0.000000e+00 | -- | Inf
1466.11/1466.15 c 1466s| 1840k| 186 | 16429k| 8.9 | 18M| 63 | 40 | 482 |3045 | 482 | 927 | 931 | 105k| 25k| 0.000000e+00 | -- | Inf
1476.23/1476.21 c 1476s| 1850k| 188 | 16534k| 8.9 | 18M| 63 | 38 | 482 |2744 | 482 | 927 | 931 | 106k| 26k| 0.000000e+00 | -- | Inf
1484.62/1484.62 c 1485s| 1860k| 194 | 16622k| 8.9 | 18M| 63 | - | 482 |2716 | 482 | 927 | 931 | 106k| 27k| 0.000000e+00 | -- | Inf
1492.72/1492.74 c 1493s| 1870k| 192 | 16717k| 8.9 | 18M| 63 | 30 | 482 |2901 | 482 | 927 | 931 | 107k| 27k| 0.000000e+00 | -- | Inf
1500.72/1500.74 c 1501s| 1880k| 204 | 16809k| 8.9 | 18M| 63 | 31 | 482 |2998 | 482 | 927 | 931 | 107k| 27k| 0.000000e+00 | -- | Inf
1509.02/1509.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1509.02/1509.01 c 1509s| 1890k| 210 | 16907k| 8.9 | 18M| 63 | 31 | 482 |3026 | 482 | 927 | 931 | 108k| 27k| 0.000000e+00 | -- | Inf
1516.82/1516.88 c 1517s| 1900k| 205 | 16997k| 8.9 | 18M| 63 | 36 | 482 |3174 | 482 | 927 | 931 | 108k| 27k| 0.000000e+00 | -- | Inf
1524.52/1524.54 c 1525s| 1910k| 204 | 17084k| 8.9 | 18M| 63 | 16 | 482 |3168 | 482 | 927 | 931 | 108k| 27k| 0.000000e+00 | -- | Inf
1532.81/1532.82 c 1533s| 1920k| 205 | 17180k| 8.9 | 18M| 63 | 24 | 482 |3200 | 482 | 927 | 931 | 109k| 27k| 0.000000e+00 | -- | Inf
1541.02/1541.09 c 1541s| 1930k| 212 | 17274k| 8.9 | 18M| 63 | 20 | 482 |3212 | 482 | 927 | 931 | 109k| 27k| 0.000000e+00 | -- | Inf
1549.52/1549.55 c 1550s| 1940k| 203 | 17371k| 9.0 | 18M| 63 | - | 482 |3134 | 0 | 0 | 931 | 110k| 27k| 0.000000e+00 | -- | Inf
1558.22/1558.21 c 1558s| 1950k| 214 | 17471k| 9.0 | 18M| 63 | 40 | 482 |3196 | 482 | 927 | 931 | 110k| 27k| 0.000000e+00 | -- | Inf
1566.22/1566.26 c 1566s| 1960k| 206 | 17562k| 9.0 | 18M| 63 | 45 | 482 |3224 | 482 | 927 | 931 | 111k| 27k| 0.000000e+00 | -- | Inf
1575.32/1575.33 c 1575s| 1970k| 195 | 17668k| 9.0 | 18M| 63 | 41 | 482 |3037 | 482 | 927 | 931 | 111k| 27k| 0.000000e+00 | -- | Inf
1583.72/1583.72 c 1584s| 1980k| 193 | 17764k| 9.0 | 18M| 63 | - | 482 |2830 | 0 | 0 | 931 | 111k| 27k| 0.000000e+00 | -- | Inf
1591.32/1591.34 c 1591s| 1990k| 227 | 17852k| 9.0 | 18M| 63 | 31 | 482 |2993 | 482 | 927 | 931 | 112k| 27k| 0.000000e+00 | -- | Inf
1599.62/1599.69 c 1600s| 2000k| 249 | 17948k| 9.0 | 18M| 63 | - | 482 |2998 | 0 | 0 | 931 | 112k| 27k| 0.000000e+00 | -- | Inf
1607.82/1607.84 c 1608s| 2010k| 249 | 18043k| 9.0 | 18M| 63 | 43 | 482 |3056 | 482 | 927 | 931 | 113k| 27k| 0.000000e+00 | -- | Inf
1616.32/1616.38 c 1616s| 2020k| 244 | 18140k| 9.0 | 18M| 63 | 34 | 482 |3066 | 482 | 927 | 931 | 113k| 27k| 0.000000e+00 | -- | Inf
1624.52/1624.54 c 1625s| 2030k| 223 | 18235k| 9.0 | 18M| 63 | - | 482 |2991 | 0 | 0 | 931 | 113k| 27k| 0.000000e+00 | -- | Inf
1633.43/1633.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1633.43/1633.42 c 1633s| 2040k| 205 | 18339k| 9.0 | 18M| 63 | 27 | 482 |3008 | 482 | 927 | 931 | 114k| 27k| 0.000000e+00 | -- | Inf
1641.92/1641.94 c 1642s| 2050k| 219 | 18441k| 9.0 | 18M| 63 | - | 482 |3176 | 0 | 0 | 931 | 114k| 27k| 0.000000e+00 | -- | Inf
1650.62/1650.60 c 1651s| 2060k| 195 | 18541k| 9.0 | 18M| 63 | 32 | 482 |3084 | 482 | 927 | 931 | 114k| 27k| 0.000000e+00 | -- | Inf
1659.12/1659.12 c 1659s| 2070k| 205 | 18642k| 9.0 | 18M| 63 | 30 | 482 |3141 | 482 | 927 | 931 | 115k| 27k| 0.000000e+00 | -- | Inf
1668.22/1668.21 c 1668s| 2080k| 200 | 18749k| 9.0 | 18M| 63 | 45 | 482 |3163 | 482 | 927 | 931 | 115k| 27k| 0.000000e+00 | -- | Inf
1678.32/1678.37 c 1678s| 2090k| 192 | 18870k| 9.0 | 18M| 63 | - | 482 |2931 | 482 | 927 | 931 | 115k| 27k| 0.000000e+00 | -- | Inf
1687.22/1687.28 c 1687s| 2100k| 196 | 18965k| 9.0 | 18M| 63 | 49 | 482 |2945 | 482 | 927 | 931 | 116k| 28k| 0.000000e+00 | -- | Inf
1695.22/1695.20 c 1695s| 2110k| 207 | 19059k| 9.0 | 18M| 63 | 43 | 482 |3102 | 482 | 927 | 931 | 116k| 28k| 0.000000e+00 | -- | Inf
1703.62/1703.68 c 1704s| 2120k| 201 | 19159k| 9.0 | 18M| 63 | - | 482 |3119 | 0 | 0 | 931 | 117k| 28k| 0.000000e+00 | -- | Inf
1713.22/1713.20 c 1713s| 2130k| 196 | 19267k| 9.0 | 18M| 63 | 39 | 482 |2962 | 482 | 927 | 931 | 117k| 28k| 0.000000e+00 | -- | Inf
1721.62/1721.64 c 1722s| 2140k| 203 | 19365k| 9.0 | 18M| 63 | 35 | 482 |3095 | 482 | 927 | 931 | 117k| 28k| 0.000000e+00 | -- | Inf
1730.92/1731.00 c 1731s| 2150k| 194 | 19475k| 9.1 | 18M| 63 | - | 482 |3139 | 0 | 0 | 931 | 118k| 28k| 0.000000e+00 | -- | Inf
1738.72/1738.75 c 1739s| 2160k| 199 | 19563k| 9.1 | 18M| 63 | - | 482 |3252 | 0 | 0 | 931 | 118k| 28k| 0.000000e+00 | -- | Inf
1747.72/1747.74 c 1748s| 2170k| 197 | 19661k| 9.1 | 18M| 63 | - | 482 |2959 | 0 | 0 | 931 | 119k| 28k| 0.000000e+00 | -- | Inf
1756.92/1756.96 c 1757s| 2180k| 196 | 19771k| 9.1 | 18M| 63 | 29 | 482 |2785 | 482 | 927 | 931 | 119k| 28k| 0.000000e+00 | -- | Inf
1765.63/1765.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1765.63/1765.65 c 1766s| 2190k| 192 | 19873k| 9.1 | 18M| 63 | - | 482 |2647 | 0 | 0 | 931 | 120k| 29k| 0.000000e+00 | -- | Inf
1774.02/1774.02 c 1774s| 2200k| 201 | 19970k| 9.1 | 18M| 63 | 42 | 482 |2686 | 482 | 927 | 931 | 120k| 29k| 0.000000e+00 | -- | Inf
1782.62/1782.61 c 1783s| 2210k| 199 | 20071k| 9.1 | 18M| 63 | - | 482 |2750 | 0 | 0 | 931 | 121k| 29k| 0.000000e+00 | -- | Inf
1791.52/1791.53 c 1792s| 2220k| 207 | 20173k| 9.1 | 18M| 63 | - | 482 |2726 | 0 | 0 | 931 | 121k| 29k| 0.000000e+00 | -- | Inf
1797.02/1797.00 c
1797.02/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.00 c Solving Time (sec) : 1797.00
1797.02/1797.00 c Solving Nodes : 2226583
1797.02/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.02/1797.00 c Dual Bound : +0.00000000000000e+00
1797.02/1797.00 c Gap : infinite
1797.02/1797.00 s UNKNOWN
1797.02/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.02/1797.00 c Total Time : 1797.00
1797.02/1797.00 c solving : 1797.00
1797.02/1797.00 c presolving : 0.03 (included in solving)
1797.02/1797.00 c reading : 0.01 (included in solving)
1797.02/1797.00 c Original Problem :
1797.02/1797.00 c Problem name : HOME/instance-3489044-1307750361.opb
1797.02/1797.00 c Variables : 490 (490 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.00 c Constraints : 737 initial, 737 maximal
1797.02/1797.00 c Presolved Problem :
1797.02/1797.00 c Problem name : t_HOME/instance-3489044-1307750361.opb
1797.02/1797.00 c Variables : 482 (482 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.02/1797.00 c Constraints : 725 initial, 3707 maximal
1797.02/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.02/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c implics : 0.00 0 8 0 0 0 0 0 0 0
1797.02/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c setppc : 0.00 0 0 0 0 0 12 0 0 0
1797.02/1797.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.02/1797.00 c root node : - 0 - - 0 - - - - -
1797.02/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.02/1797.00 c integral : 0 0 0 1122827 0 1 0 820 5689 0 0 2235088
1797.02/1797.00 c knapsack : 340 5 5507737 0 1 0 18717787 757277 22958791 545 0 0
1797.02/1797.00 c setppc : 241 5 4677789 0 1 0 3181106 2231 5613472 0 0 0
1797.02/1797.00 c linear : 0+ 5 6885 0 0 0 0 5 1 0 0 0
1797.02/1797.00 c logicor : 144+ 5 3628270 0 1 0 82643 14281 2963718 0 0 0
1797.02/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.02/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.02/1797.00 c integral : 61.72 0.00 0.00 61.72 0.00 0.00 0.00
1797.02/1797.00 c knapsack : 73.40 0.02 67.10 0.00 0.00 0.00 6.28
1797.02/1797.00 c setppc : 10.32 0.00 9.63 0.00 0.00 0.00 0.69
1797.02/1797.00 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.02/1797.00 c logicor : 23.85 0.00 23.75 0.00 0.00 0.00 0.10
1797.02/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.02/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.02/1797.00 c vbounds : 0 0 0 0
1797.02/1797.00 c rootredcost : 0 0 0 0
1797.02/1797.00 c pseudoobj : 0 0 0 0
1797.02/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.02/1797.00 c vbounds : 0.75 0.75 0.00
1797.02/1797.00 c rootredcost : 0.81 0.81 0.00
1797.02/1797.00 c pseudoobj : 0.56 0.56 0.00
1797.02/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.02/1797.00 c propagation : 24.09 109996 98394 872120 110.8 964 127.9 -
1797.02/1797.00 c infeasible LP : 42.77 342492 0 0 0.0 0 0.0 0
1797.02/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.02/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.02/1797.00 c applied globally : - - - 121897 23.3 - - -
1797.02/1797.00 c applied locally : - - - 268 118.0 - - -
1797.02/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.02/1797.00 c cut pool : 0.00 4 - - 90 - (maximal pool size: 2802)
1797.02/1797.00 c redcost : 7.96 1119849 0 0 0 0
1797.02/1797.00 c impliedbounds : 0.00 5 0 0 1473 0
1797.02/1797.00 c intobj : 0.00 0 0 0 0 0
1797.02/1797.00 c gomory : 0.38 5 0 0 588 0
1797.02/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.02/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.02/1797.00 c strongcg : 0.27 5 0 0 2302 0
1797.02/1797.00 c cmir : 0.00 0 0 0 0 0
1797.02/1797.00 c flowcover : 0.00 0 0 0 0 0
1797.02/1797.00 c clique : 0.00 1 0 0 0 0
1797.02/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.02/1797.00 c mcf : 0.00 1 0 0 0 0
1797.02/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.02/1797.00 c rapidlearning : 0.04 1 0 0 0 4
1797.02/1797.00 c Pricers : Time Calls Vars
1797.02/1797.00 c problem variables: 0.00 0 0
1797.02/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.02/1797.00 c relpscost : 61.13 1122827 820 5689 0 0 2235088
1797.02/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.02/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.02/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.02/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.02/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.02/1797.00 c random : 0.00 0 0 0 0 0 0
1797.02/1797.00 c Primal Heuristics : Time Calls Found
1797.02/1797.00 c LP solutions : 0.00 - 0
1797.02/1797.00 c pseudo solutions : 0.00 - 0
1797.02/1797.00 c trivial : 0.00 1 0
1797.02/1797.00 c shiftandpropagate: 0.00 0 0
1797.02/1797.00 c simplerounding : 0.00 0 0
1797.02/1797.00 c zirounding : 0.00 0 0
1797.02/1797.00 c rounding : 0.00 0 0
1797.02/1797.00 c shifting : 0.00 0 0
1797.02/1797.00 c intshifting : 0.00 0 0
1797.02/1797.00 c oneopt : 0.00 0 0
1797.02/1797.00 c twoopt : 0.00 0 0
1797.02/1797.00 c fixandinfer : 0.00 0 0
1797.02/1797.00 c feaspump : 0.00 0 0
1797.02/1797.00 c clique : 0.00 0 0
1797.02/1797.00 c coefdiving : 0.00 0 0
1797.02/1797.00 c pscostdiving : 0.00 0 0
1797.02/1797.00 c fracdiving : 0.00 0 0
1797.02/1797.00 c veclendiving : 0.00 0 0
1797.02/1797.00 c intdiving : 0.00 0 0
1797.02/1797.00 c actconsdiving : 0.00 0 0
1797.02/1797.00 c objpscostdiving : 0.00 0 0
1797.02/1797.00 c rootsoldiving : 0.00 0 0
1797.02/1797.00 c linesearchdiving : 0.00 0 0
1797.02/1797.00 c guideddiving : 0.00 0 0
1797.02/1797.00 c octane : 0.00 0 0
1797.02/1797.00 c rens : 0.00 0 0
1797.02/1797.00 c rins : 0.00 0 0
1797.02/1797.00 c localbranching : 0.00 0 0
1797.02/1797.00 c mutation : 0.00 0 0
1797.02/1797.00 c crossover : 0.00 0 0
1797.02/1797.00 c dins : 0.00 0 0
1797.02/1797.00 c vbounds : 0.00 0 0
1797.02/1797.00 c undercover : 0.00 0 0
1797.02/1797.00 c subnlp : 0.00 0 0
1797.02/1797.00 c trysol : 0.00 0 0
1797.02/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.02/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.02/1797.00 c dual LP : 1336.49 1463413 20239715 13.83 15143.91
1797.02/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.02/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.02/1797.00 c diving/probing LP: 0.00 0 0 0.00 -
1797.02/1797.00 c strong branching : 48.14 29245 571317 19.54 11867.33
1797.02/1797.00 c (at root node) : - 10 3576 357.60 -
1797.02/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.02/1797.00 c B&B Tree :
1797.02/1797.00 c number of runs : 1
1797.02/1797.00 c nodes : 2226583
1797.02/1797.00 c nodes (total) : 2226583
1797.02/1797.00 c nodes left : 204
1797.02/1797.00 c max depth : 63
1797.02/1797.00 c max depth (total): 63
1797.02/1797.00 c backtracks : 301772 (13.6%)
1797.02/1797.00 c delayed cutoffs : 8304
1797.02/1797.00 c repropagations : 238290 (619537 domain reductions, 8068 cutoffs)
1797.02/1797.00 c avg switch length: 2.75
1797.02/1797.00 c switching time : 79.88
1797.02/1797.00 c Solution :
1797.02/1797.00 c Solutions found : 0 (0 improvements)
1797.02/1797.00 c Primal Bound : -
1797.02/1797.00 c Dual Bound : +0.00000000000000e+00
1797.02/1797.00 c Gap : infinite
1797.02/1797.00 c Root Dual Bound : +0.00000000000000e+00
1797.02/1797.00 c Root Iterations : 2736
1797.02/1797.01 c Time complete: 1797.03.
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-3489044-1307750361/watcher-3489044-1307750361 -o /tmp/evaluation-result-3489044-1307750361/solver-3489044-1307750361 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489044-1307750361.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.90 0.91 0.37 2/177 27167
/proc/meminfo: memFree=31661116/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=12700 CPUtime=0 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 2167 0 0 0 0 0 0 0 25 0 1 0 886637006 13004800 2122 33554432000 4194304 9016284 140733355766704 18446744073709551615 7824814 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27167/statm: 3175 2122 353 1178 0 1993 0
[startup+0.086524 s]
/proc/loadavg: 1.90 0.91 0.37 2/177 27167
/proc/meminfo: memFree=31661116/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=25776 CPUtime=0.08 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 5718 0 0 0 8 0 0 0 18 0 1 0 886637006 26394624 5416 33554432000 4194304 9016284 140733355766704 18446744073709551615 7824814 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27167/statm: 6731 5435 660 1178 0 5549 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25776
[startup+0.100538 s]
/proc/loadavg: 1.90 0.91 0.37 2/177 27167
/proc/meminfo: memFree=31661116/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=40380 CPUtime=0.09 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 9019 0 0 0 9 0 0 0 18 0 1 0 886637006 41349120 8717 33554432000 4194304 9016284 140733355766704 18446744073709551615 5165641 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27167/statm: 10095 8717 666 1178 0 8913 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40380
[startup+0.300485 s]
/proc/loadavg: 1.90 0.91 0.37 2/177 27167
/proc/meminfo: memFree=31661116/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=38936 CPUtime=0.29 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 9407 0 0 0 29 0 0 0 18 0 1 0 886637006 39870464 8399 33554432000 4194304 9016284 140733355766704 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27167/statm: 9734 8399 683 1178 0 8552 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38936
[startup+0.700415 s]
/proc/loadavg: 1.90 0.91 0.37 2/177 27167
/proc/meminfo: memFree=31661116/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=39196 CPUtime=0.69 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 9795 0 0 0 68 1 0 0 18 0 1 0 886637006 40136704 8787 33554432000 4194304 9016284 140733355766704 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27167/statm: 9799 8787 683 1178 0 8617 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39196
[startup+1.50029 s]
/proc/loadavg: 1.90 0.91 0.37 3/178 27168
/proc/meminfo: memFree=31625968/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=44220 CPUtime=1.49 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 10993 0 0 0 145 4 0 0 19 0 1 0 886637006 45281280 9985 33554432000 4194304 9016284 140733355766704 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27167/statm: 11055 9985 684 1178 0 9873 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44220
[startup+3.10099 s]
/proc/loadavg: 1.90 0.91 0.37 3/178 27168
/proc/meminfo: memFree=31623488/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=44220 CPUtime=3.09 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 10998 0 0 0 296 13 0 0 25 0 1 0 886637006 45281280 9990 33554432000 4194304 9016284 140733355766704 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27167/statm: 11055 9990 688 1178 0 9873 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44220
[startup+6.30042 s]
/proc/loadavg: 1.91 0.93 0.38 3/178 27168
/proc/meminfo: memFree=31623440/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=44220 CPUtime=6.29 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 10998 0 0 0 598 31 0 0 25 0 1 0 886637006 45281280 9990 33554432000 4194304 9016284 140733355766704 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27167/statm: 11055 9990 688 1178 0 9873 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44220
[startup+12.7003 s]
/proc/loadavg: 1.92 0.94 0.39 3/178 27168
/proc/meminfo: memFree=31623308/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=44220 CPUtime=12.7 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 10998 0 0 0 1203 67 0 0 25 0 1 0 886637006 45281280 9990 33554432000 4194304 9016284 140733355766704 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27167/statm: 11055 9990 688 1178 0 9873 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 44220
[startup+25.501 s]
/proc/loadavg: 1.93 1.00 0.41 3/178 27169
/proc/meminfo: memFree=31623572/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=44220 CPUtime=25.49 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 11011 0 0 0 2411 138 0 0 25 0 1 0 886637006 45281280 10003 33554432000 4194304 9016284 140733355766704 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27167/statm: 11055 10003 688 1178 0 9873 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 44220
[startup+51.1005 s]
/proc/loadavg: 1.96 1.07 0.45 3/178 27169
/proc/meminfo: memFree=31622072/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=44784 CPUtime=51.09 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 11202 0 0 0 4824 285 0 0 25 0 1 0 886637006 45858816 10194 33554432000 4194304 9016284 140733355766704 18446744073709551615 5215038 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27167/statm: 11196 10194 688 1178 0 10014 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 44784
[startup+102.306 s]
/proc/loadavg: 1.98 1.21 0.53 3/178 27180
/proc/meminfo: memFree=31619108/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=45884 CPUtime=102.3 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 11473 0 0 0 9660 570 0 0 25 0 1 0 886637006 46985216 10465 33554432000 4194304 9016284 140733355766704 18446744073709551615 6469615 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/27167/statm: 11471 10465 688 1178 0 10289 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 45884
[startup+162.301 s]
/proc/loadavg: 1.99 1.36 0.62 3/178 27181
/proc/meminfo: memFree=31619856/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=46352 CPUtime=162.29 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 11565 0 0 0 15321 908 0 0 25 0 1 0 886637006 47464448 10557 33554432000 4194304 9016284 140733355766704 18446744073709551615 6523379 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27167/statm: 11588 10557 688 1178 0 10406 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 46352
[startup+222.3 s]
/proc/loadavg: 1.99 1.47 0.70 3/178 27183
/proc/meminfo: memFree=31619552/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=46816 CPUtime=222.3 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 11664 0 0 0 20994 1236 0 0 25 0 1 0 886637006 47939584 10656 33554432000 4194304 9016284 140733355766704 18446744073709551615 6776119 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27167/statm: 11704 10656 688 1178 0 10522 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 46816
[startup+282.301 s]
/proc/loadavg: 1.99 1.56 0.78 3/178 27187
/proc/meminfo: memFree=31618496/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=47812 CPUtime=282.29 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 11935 0 0 0 26660 1569 0 0 25 0 1 0 886637006 48959488 10925 33554432000 4194304 9016284 140733355766704 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27167/statm: 11953 10925 688 1178 0 10771 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 47812
[startup+342.301 s]
/proc/loadavg: 1.99 1.64 0.86 3/178 27189
/proc/meminfo: memFree=31617704/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=47944 CPUtime=342.3 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 11965 0 0 0 32332 1898 0 0 25 0 1 0 886637006 49094656 10955 33554432000 4194304 9016284 140733355766704 18446744073709551615 7818343 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27167/statm: 11986 10955 688 1178 0 10804 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 47944
[startup+402.3 s]
/proc/loadavg: 1.99 1.70 0.93 3/178 27191
/proc/meminfo: memFree=31617780/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=47944 CPUtime=402.3 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 11972 0 0 0 37988 2242 0 0 25 0 1 0 886637006 49094656 10962 33554432000 4194304 9016284 140733355766704 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27167/statm: 11986 10962 688 1178 0 10804 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 47944
[startup+462.301 s]
/proc/loadavg: 1.99 1.75 0.99 3/178 27192
/proc/meminfo: memFree=31617720/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=47944 CPUtime=462.29 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 11983 0 0 0 43660 2569 0 0 25 0 1 0 886637006 49094656 10973 33554432000 4194304 9016284 140733355766704 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27167/statm: 11986 10973 688 1178 0 10804 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 47944
[startup+522.301 s]
/proc/loadavg: 1.99 1.80 1.05 3/178 27194
/proc/meminfo: memFree=31617528/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=47944 CPUtime=522.3 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 11993 0 0 0 49320 2910 0 0 25 0 1 0 886637006 49094656 10983 33554432000 4194304 9016284 140733355766704 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27167/statm: 11986 10983 688 1178 0 10804 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 47944
[startup+582.3 s]
/proc/loadavg: 1.99 1.83 1.11 3/178 27195
/proc/meminfo: memFree=31617204/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=48104 CPUtime=582.29 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 12007 0 0 0 54986 3243 0 0 25 0 1 0 886637006 49258496 10997 33554432000 4194304 9016284 140733355766704 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27167/statm: 12026 10997 688 1178 0 10844 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 48104
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31614472/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=48728 CPUtime=1122.31 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 12180 0 0 0 106085 6146 0 0 25 0 1 0 886637006 49897472 11170 33554432000 4194304 9016284 140733355766704 18446744073709551615 7260632 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27167/statm: 12182 11170 688 1178 0 11000 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 48728
[startup+1182.3 s]
/proc/loadavg: 1.99 1.96 1.51 3/178 27211
/proc/meminfo: memFree=31614176/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=48728 CPUtime=1182.31 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 12185 0 0 0 111761 6470 0 0 25 0 1 0 886637006 49897472 11175 33554432000 4194304 9016284 140733355766704 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27167/statm: 12182 11175 688 1178 0 11000 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 48728
[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.54 3/178 27213
/proc/meminfo: memFree=31614240/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=48728 CPUtime=1242.31 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 12185 0 0 0 117413 6818 0 0 25 0 1 0 886637006 49897472 11175 33554432000 4194304 9016284 140733355766704 18446744073709551615 6469440 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27167/statm: 12182 11175 688 1178 0 11000 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 48728
[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.56 3/178 27215
/proc/meminfo: memFree=31613936/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=48728 CPUtime=1302.32 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 12185 0 0 0 123086 7146 0 0 25 0 1 0 886637006 49897472 11175 33554432000 4194304 9016284 140733355766704 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27167/statm: 12182 11175 688 1178 0 11000 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 48728
[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.59 3/178 27216
/proc/meminfo: memFree=31613740/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=48728 CPUtime=1362.31 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 12185 0 0 0 128771 7460 0 0 25 0 1 0 886637006 49897472 11175 33554432000 4194304 9016284 140733355766704 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27167/statm: 12182 11175 688 1178 0 11000 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 48728
[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.61 3/178 27218
/proc/meminfo: memFree=31613552/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=48728 CPUtime=1422.32 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 12185 0 0 0 134436 7796 0 0 25 0 1 0 886637006 49897472 11175 33554432000 4194304 9016284 140733355766704 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27167/statm: 12182 11175 688 1178 0 11000 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 48728
[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.63 3/178 27219
/proc/meminfo: memFree=31613608/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=49000 CPUtime=1482.32 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 12234 0 0 0 140102 8130 0 0 25 0 1 0 886637006 50176000 11224 33554432000 4194304 9016284 140733355766704 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27167/statm: 12250 11224 688 1178 0 11068 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 49000
[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.65 3/178 27221
/proc/meminfo: memFree=31613308/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=49000 CPUtime=1542.32 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 12241 0 0 0 145772 8460 0 0 25 0 1 0 886637006 50176000 11231 33554432000 4194304 9016284 140733355766704 18446744073709551615 7851332 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27167/statm: 12250 11231 688 1178 0 11068 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 49000
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.67 3/178 27223
/proc/meminfo: memFree=31613244/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=49000 CPUtime=1602.32 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 12244 0 0 0 151449 8783 0 0 25 0 1 0 886637006 50176000 11234 33554432000 4194304 9016284 140733355766704 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27167/statm: 12250 11234 688 1178 0 11068 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 49000
[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.69 3/178 27224
/proc/meminfo: memFree=31613076/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=49148 CPUtime=1662.32 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 12265 0 0 0 157110 9122 0 0 25 0 1 0 886637006 50327552 11255 33554432000 4194304 9016284 140733355766704 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27167/statm: 12287 11255 688 1178 0 11105 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 49148
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.70 3/178 27302
/proc/meminfo: memFree=31614068/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=49148 CPUtime=1722.32 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 12266 0 0 0 162777 9455 0 0 25 0 1 0 886637006 50327552 11256 33554432000 4194304 9016284 140733355766704 18446744073709551615 7199020 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27167/statm: 12287 11256 688 1178 0 11105 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 49148
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.72 3/178 27303
/proc/meminfo: memFree=31611832/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=49148 CPUtime=1782.33 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 12274 0 0 0 168443 9790 0 0 25 0 1 0 886637006 50327552 11264 33554432000 4194304 9016284 140733355766704 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27167/statm: 12287 11264 688 1178 0 11105 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 49148
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.99 1.97 1.72 3/178 27304
/proc/meminfo: memFree=31611460/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=49148 CPUtime=1785.52 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 12274 0 0 0 168749 9803 0 0 25 0 1 0 886637006 50327552 11264 33554432000 4194304 9016284 140733355766704 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27167/statm: 12287 11264 688 1178 0 11105 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 49148
[startup+1791.91 s]
/proc/loadavg: 1.99 1.97 1.73 3/178 27304
/proc/meminfo: memFree=31611712/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=49148 CPUtime=1791.93 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 12274 0 0 0 169353 9840 0 0 25 0 1 0 886637006 50327552 11264 33554432000 4194304 9016284 140733355766704 18446744073709551615 6606425 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27167/statm: 12287 11264 688 1178 0 11105 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 49148
[startup+1795.1 s]
/proc/loadavg: 1.99 1.97 1.73 3/178 27304
/proc/meminfo: memFree=31611588/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=49148 CPUtime=1795.13 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 12274 0 0 0 169654 9859 0 0 25 0 1 0 886637006 50327552 11264 33554432000 4194304 9016284 140733355766704 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27167/statm: 12287 11264 688 1178 0 11105 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 49148
[startup+1795.9 s]
/proc/loadavg: 1.99 1.97 1.73 3/178 27304
/proc/meminfo: memFree=31611588/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=49148 CPUtime=1795.92 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 12274 0 0 0 169728 9864 0 0 25 0 1 0 886637006 50327552 11264 33554432000 4194304 9016284 140733355766704 18446744073709551615 4322139 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27167/statm: 12287 11264 688 1178 0 11105 0
Current children cumulated CPU time (s) 1795.92
Current children cumulated vsize (KiB) 49148
[startup+1796.7 s]
/proc/loadavg: 1.99 1.97 1.73 3/178 27304
/proc/meminfo: memFree=31611588/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=49148 CPUtime=1796.72 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 12274 0 0 0 169804 9868 0 0 25 0 1 0 886637006 50327552 11264 33554432000 4194304 9016284 140733355766704 18446744073709551615 7213589 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27167/statm: 12287 11264 688 1178 0 11105 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 49148
[startup+1796.9 s]
/proc/loadavg: 1.99 1.97 1.73 3/178 27304
/proc/meminfo: memFree=31611588/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=49148 CPUtime=1796.92 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 12274 0 0 0 169823 9869 0 0 25 0 1 0 886637006 50327552 11264 33554432000 4194304 9016284 140733355766704 18446744073709551615 7213597 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27167/statm: 12287 11264 688 1178 0 11105 0
Current children cumulated CPU time (s) 1796.92
Current children cumulated vsize (KiB) 49148
[startup+1797 s]
/proc/loadavg: 1.99 1.97 1.73 3/178 27304
/proc/meminfo: memFree=31611588/32951124 swapFree=67052292/67111528
[pid=27167] ppid=27165 vsize=49148 CPUtime=1797.02 cores=1,3,5,7
/proc/27167/stat : 27167 (scip-2.0.1.4b_2) R 27165 27167 26964 0 -1 4202496 12275 0 0 0 169833 9869 0 0 25 0 1 0 886637006 50327552 11265 33554432000 4194304 9016284 140733355766704 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27167/statm: 12287 11265 689 1178 0 11105 0
Current children cumulated CPU time (s) 1797.02
Current children cumulated vsize (KiB) 49148
Child status: 0
Real time (s): 1797.02
CPU time (s): 1797.05
CPU user time (s): 1698.35
CPU system time (s): 98.699
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 49148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1698.35
system time used= 98.699
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12282
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= 21607
runsolver used 2.36464 second user time and 5.81611 second system time
The end