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-3485603-1307750178.opb>
0.00/0.00 c original problem has 428 variables (428 bin, 0 int, 0 impl, 0 cont) and 644 constraints
0.00/0.00 c problem read
0.00/0.00 c No objective function, only one solution is needed.
0.00/0.00 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, 644 upgd conss, 460 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, 644 upgd conss, 15484 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, 644 upgd conss, 15484 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, 644 upgd conss, 15484 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 15484 implications, 0 cliques
0.00/0.03 c presolved problem has 420 variables (420 bin, 0 int, 0 impl, 0 cont) and 632 constraints
0.00/0.03 c 290 constraints of type <knapsack>
0.00/0.03 c 210 constraints of type <setppc>
0.00/0.03 c 132 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.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.0.1.4
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 | 251 | - |2704k| 0 | 113 | 420 | 632 | 420 | 632 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 c 0.2s| 1 | 0 | 1386 | - |3826k| 0 | 204 | 420 | 632 | 420 | 946 | 314 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.40 c 0.4s| 1 | 0 | 1750 | - |7325k| 0 | 235 | 420 | 632 | 420 |1250 | 618 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.61 c 0.6s| 1 | 0 | 2040 | - | 10M| 0 | 250 | 420 | 632 | 420 |1291 | 659 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.82 c 0.8s| 1 | 0 | 2293 | - | 12M| 0 | 247 | 420 | 632 | 420 |1367 | 735 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.01 c 1.0s| 1 | 0 | 2442 | - | 15M| 0 | 245 | 420 | 632 | 420 |1395 | 763 | 0 | 0 | 0.000000e+00 | -- | Inf
1.10/1.14 c 1.1s| 1 | 2 | 2442 | - | 15M| 0 | 245 | 420 | 632 | 420 |1395 | 763 | 0 | 10 | 0.000000e+00 | -- | Inf
15.79/15.80 c 15.8s| 10000 | 49 |129945 | 12.8 | 15M| 37 | - | 420 | 804 | 420 | 848 | 763 | 369 |2829 | 0.000000e+00 | -- | Inf
24.79/24.87 c 24.9s| 20000 | 70 |251059 | 12.4 | 16M| 38 | 42 | 420 | 929 | 420 | 848 | 763 | 694 |2970 | 0.000000e+00 | -- | Inf
33.00/33.01 c 33.0s| 30000 | 62 |354054 | 11.7 | 16M| 48 | 38 | 420 |1088 | 420 | 848 | 763 |1174 |3214 | 0.000000e+00 | -- | Inf
42.59/42.61 c 42.6s| 40000 | 80 |469581 | 11.7 | 16M| 51 | - | 420 |1081 | 420 | 848 | 763 |1486 |3798 | 0.000000e+00 | -- | Inf
53.59/53.68 c 53.7s| 50000 | 84 |599283 | 11.9 | 16M| 51 | - | 420 |1088 | 420 | 848 | 763 |1791 |4667 | 0.000000e+00 | -- | Inf
62.79/62.82 c 62.8s| 60000 | 98 |716695 | 11.9 | 16M| 51 | - | 420 |1059 | 0 | 0 | 763 |2152 |4961 | 0.000000e+00 | -- | Inf
72.79/72.80 c 72.8s| 70000 | 91 |842480 | 12.0 | 16M| 51 | 38 | 420 |1044 | 420 | 848 | 763 |2444 |5438 | 0.000000e+00 | -- | Inf
83.70/83.70 c 83.7s| 80000 | 109 |980928 | 12.2 | 16M| 51 | - | 420 |1064 | 0 | 0 | 763 |2710 |5984 | 0.000000e+00 | -- | Inf
93.70/93.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.70/93.77 c 93.8s| 90000 | 110 | 1112k| 12.3 | 16M| 51 | - | 420 |1113 | 420 | 848 | 763 |3012 |6359 | 0.000000e+00 | -- | Inf
101.20/101.28 c 101s|100000 | 109 | 1206k| 12.0 | 16M| 52 | 36 | 420 |1302 | 420 | 848 | 763 |3560 |6547 | 0.000000e+00 | -- | Inf
108.09/108.19 c 108s|110000 | 129 | 1292k| 11.7 | 16M| 52 | - | 420 |1561 | 0 | 0 | 763 |4118 |6698 | 0.000000e+00 | -- | Inf
115.79/115.85 c 116s|120000 | 127 | 1389k| 11.6 | 16M| 53 | 22 | 420 |1563 | 420 | 848 | 763 |4566 |6819 | 0.000000e+00 | -- | Inf
124.50/124.55 c 125s|130000 | 124 | 1494k| 11.5 | 16M| 60 | - | 420 |1475 | 0 | 0 | 763 |4995 |7324 | 0.000000e+00 | -- | Inf
133.99/134.10 c 134s|140000 | 146 | 1616k| 11.5 | 16M| 60 | - | 420 |1477 | 420 | 848 | 763 |5302 |7620 | 0.000000e+00 | -- | Inf
142.70/142.70 c 143s|150000 | 155 | 1728k| 11.5 | 16M| 60 | - | 420 |1580 | 420 | 848 | 763 |5613 |7777 | 0.000000e+00 | -- | Inf
150.30/150.37 c 150s|160000 | 163 | 1824k| 11.4 | 16M| 60 | - | 420 |1677 | 0 | 0 | 763 |6013 |7898 | 0.000000e+00 | -- | Inf
158.80/158.87 c 159s|170000 | 152 | 1929k| 11.3 | 16M| 60 | 36 | 420 |1623 | 420 | 848 | 763 |6353 |8189 | 0.000000e+00 | -- | Inf
167.11/167.10 c 167s|180000 | 171 | 2034k| 11.3 | 16M| 60 | - | 420 |1708 | 0 | 0 | 763 |6687 |8340 | 0.000000e+00 | -- | Inf
175.00/175.04 c 175s|190000 | 204 | 2135k| 11.2 | 16M| 60 | - | 420 |1761 | 420 | 848 | 763 |7039 |8435 | 0.000000e+00 | -- | Inf
183.40/183.45 c 183s|200000 | 196 | 2241k| 11.2 | 16M| 63 | 23 | 420 |1662 | 420 | 848 | 763 |7330 |8637 | 0.000000e+00 | -- | Inf
192.41/192.45 c 192s|210000 | 221 | 2358k| 11.2 | 17M| 63 | 24 | 420 |1757 | 420 | 848 | 763 |7686 |8850 | 0.000000e+00 | -- | Inf
202.00/202.00 c 202s|220000 | 209 | 2479k| 11.3 | 16M| 63 | 18 | 420 |1634 | 420 | 848 | 763 |7969 |9082 | 0.000000e+00 | -- | Inf
209.59/209.67 c 210s|230000 | 242 | 2576k| 11.2 | 17M| 63 | - | 420 |1847 | 420 | 848 | 763 |8420 |9277 | 0.000000e+00 | -- | Inf
217.39/217.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
217.39/217.42 c 217s|240000 | 252 | 2675k| 11.1 | 17M| 63 | 30 | 420 |2056 | 420 | 848 | 763 |8946 |9393 | 0.000000e+00 | -- | Inf
224.99/225.05 c 225s|250000 | 236 | 2772k| 11.1 | 17M| 63 | - | 420 |2165 | 0 | 0 | 763 |9467 |9521 | 0.000000e+00 | -- | Inf
232.79/232.86 c 233s|260000 | 227 | 2870k| 11.0 | 17M| 63 | - | 420 |1980 | 420 | 848 | 763 |9917 |9678 | 0.000000e+00 | -- | Inf
240.90/240.95 c 241s|270000 | 236 | 2974k| 11.0 | 17M| 63 | 42 | 420 |2057 | 420 | 848 | 763 | 10k|9834 | 0.000000e+00 | -- | Inf
249.00/249.02 c 249s|280000 | 230 | 3079k| 11.0 | 17M| 63 | 34 | 420 |2043 | 420 | 848 | 763 | 10k|9980 | 0.000000e+00 | -- | Inf
258.00/258.06 c 258s|290000 | 232 | 3198k| 11.0 | 17M| 63 | 22 | 420 |2037 | 420 | 848 | 763 | 10k| 10k| 0.000000e+00 | -- | Inf
265.70/265.78 c 266s|300000 | 241 | 3297k| 11.0 | 17M| 63 | 31 | 420 |2108 | 420 | 848 | 763 | 11k| 10k| 0.000000e+00 | -- | Inf
274.50/274.50 c 275s|310000 | 252 | 3410k| 11.0 | 17M| 63 | 29 | 420 |2057 | 420 | 848 | 763 | 11k| 10k| 0.000000e+00 | -- | Inf
283.00/283.03 c 283s|320000 | 256 | 3519k| 11.0 | 17M| 63 | 39 | 420 |2175 | 420 | 848 | 763 | 12k| 10k| 0.000000e+00 | -- | Inf
291.70/291.76 c 292s|330000 | 275 | 3629k| 11.0 | 17M| 63 | - | 420 |2086 | 0 | 0 | 763 | 12k| 10k| 0.000000e+00 | -- | Inf
300.50/300.59 c 301s|340000 | 268 | 3743k| 11.0 | 17M| 63 | 31 | 420 |2122 | 420 | 848 | 763 | 12k| 10k| 0.000000e+00 | -- | Inf
310.00/310.03 c 310s|350000 | 258 | 3868k| 11.0 | 17M| 63 | - | 420 |2022 | 0 | 0 | 763 | 13k| 11k| 0.000000e+00 | -- | Inf
318.80/318.80 c 319s|360000 | 241 | 3982k| 11.1 | 17M| 63 | 27 | 420 |1757 | 420 | 848 | 763 | 13k| 11k| 0.000000e+00 | -- | Inf
325.90/325.96 c 326s|370000 | 302 | 4073k| 11.0 | 17M| 63 | - | 420 |1904 | 0 | 0 | 763 | 13k| 11k| 0.000000e+00 | -- | Inf
333.00/333.00 c 333s|380000 | 252 | 4161k| 10.9 | 17M| 63 | - | 420 |1892 | 0 | 0 | 763 | 14k| 11k| 0.000000e+00 | -- | Inf
340.60/340.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
340.60/340.67 c 341s|390000 | 260 | 4261k| 10.9 | 17M| 63 | - | 420 |2001 | 0 | 0 | 763 | 14k| 11k| 0.000000e+00 | -- | Inf
348.30/348.31 c 348s|400000 | 314 | 4359k| 10.9 | 17M| 68 | 37 | 420 |2040 | 420 | 848 | 763 | 15k| 11k| 0.000000e+00 | -- | Inf
356.10/356.15 c 356s|410000 | 281 | 4460k| 10.9 | 17M| 68 | - | 420 |2075 | 0 | 0 | 763 | 15k| 11k| 0.000000e+00 | -- | Inf
363.80/363.82 c 364s|420000 | 264 | 4558k| 10.8 | 17M| 68 | 27 | 420 |2130 | 420 | 848 | 763 | 16k| 11k| 0.000000e+00 | -- | Inf
371.40/371.47 c 371s|430000 | 260 | 4656k| 10.8 | 17M| 68 | - | 420 |2102 | 0 | 0 | 763 | 16k| 11k| 0.000000e+00 | -- | Inf
379.60/379.69 c 380s|440000 | 250 | 4761k| 10.8 | 17M| 68 | - | 420 |2128 | 0 | 0 | 763 | 16k| 12k| 0.000000e+00 | -- | Inf
387.61/387.62 c 388s|450000 | 252 | 4861k| 10.8 | 17M| 68 | 31 | 420 |2076 | 420 | 848 | 763 | 17k| 12k| 0.000000e+00 | -- | Inf
395.01/395.03 c 395s|460000 | 260 | 4956k| 10.8 | 17M| 68 | 38 | 420 |2102 | 420 | 848 | 763 | 17k| 12k| 0.000000e+00 | -- | Inf
403.61/403.67 c 404s|470000 | 239 | 5066k| 10.8 | 17M| 68 | 35 | 420 |1874 | 420 | 848 | 763 | 18k| 12k| 0.000000e+00 | -- | Inf
412.31/412.36 c 412s|480000 | 242 | 5181k| 10.8 | 17M| 68 | 26 | 420 |1936 | 420 | 848 | 763 | 18k| 12k| 0.000000e+00 | -- | Inf
420.11/420.11 c 420s|490000 | 246 | 5279k| 10.8 | 17M| 68 | 41 | 420 |1978 | 420 | 848 | 763 | 18k| 12k| 0.000000e+00 | -- | Inf
428.11/428.15 c 428s|500000 | 261 | 5381k| 10.8 | 17M| 68 | 52 | 420 |2020 | 420 | 848 | 763 | 19k| 12k| 0.000000e+00 | -- | Inf
436.90/436.94 c 437s|510000 | 260 | 5495k| 10.8 | 17M| 68 | - | 420 |2041 | 0 | 0 | 763 | 19k| 12k| 0.000000e+00 | -- | Inf
445.70/445.78 c 446s|520000 | 256 | 5609k| 10.8 | 17M| 68 | - | 420 |1813 | 420 | 848 | 763 | 19k| 12k| 0.000000e+00 | -- | Inf
454.11/454.14 c 454s|530000 | 269 | 5717k| 10.8 | 17M| 68 | - | 420 |1888 | 420 | 848 | 763 | 20k| 13k| 0.000000e+00 | -- | Inf
462.50/462.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
462.50/462.52 c 463s|540000 | 273 | 5823k| 10.8 | 17M| 68 | 44 | 420 |1966 | 420 | 848 | 763 | 20k| 13k| 0.000000e+00 | -- | Inf
471.50/471.50 c 472s|550000 | 273 | 5940k| 10.8 | 17M| 68 | 35 | 420 |1957 | 420 | 848 | 763 | 20k| 13k| 0.000000e+00 | -- | Inf
480.81/480.82 c 481s|560000 | 280 | 6062k| 10.8 | 17M| 68 | 58 | 420 |1956 | 420 | 848 | 763 | 21k| 13k| 0.000000e+00 | -- | Inf
489.90/489.93 c 490s|570000 | 275 | 6178k| 10.8 | 17M| 68 | 41 | 420 |1829 | 420 | 848 | 763 | 21k| 13k| 0.000000e+00 | -- | Inf
498.31/498.36 c 498s|580000 | 302 | 6287k| 10.8 | 17M| 68 | 27 | 420 |1741 | 420 | 848 | 763 | 21k| 13k| 0.000000e+00 | -- | Inf
506.71/506.74 c 507s|590000 | 274 | 6395k| 10.8 | 17M| 68 | - | 420 |1634 | 420 | 848 | 763 | 22k| 13k| 0.000000e+00 | -- | Inf
515.60/515.69 c 516s|600000 | 269 | 6514k| 10.9 | 17M| 68 | 47 | 420 |1567 | 420 | 848 | 763 | 22k| 13k| 0.000000e+00 | -- | Inf
525.21/525.22 c 525s|610000 | 273 | 6641k| 10.9 | 17M| 68 | - | 420 |1551 | 420 | 848 | 763 | 22k| 13k| 0.000000e+00 | -- | Inf
534.30/534.39 c 534s|620000 | 274 | 6761k| 10.9 | 17M| 68 | - | 420 |1560 | 420 | 848 | 763 | 23k| 14k| 0.000000e+00 | -- | Inf
542.51/542.54 c 543s|630000 | 295 | 6863k| 10.9 | 17M| 68 | - | 420 |1703 | 420 | 848 | 763 | 23k| 14k| 0.000000e+00 | -- | Inf
550.71/550.75 c 551s|640000 | 294 | 6968k| 10.9 | 17M| 68 | 38 | 420 |1640 | 420 | 848 | 763 | 23k| 14k| 0.000000e+00 | -- | Inf
558.91/558.94 c 559s|650000 | 324 | 7075k| 10.9 | 17M| 68 | 32 | 420 |1693 | 420 | 848 | 763 | 24k| 14k| 0.000000e+00 | -- | Inf
566.71/566.78 c 567s|660000 | 309 | 7173k| 10.9 | 17M| 68 | 36 | 420 |1637 | 420 | 848 | 763 | 24k| 14k| 0.000000e+00 | -- | Inf
575.31/575.31 c 575s|670000 | 318 | 7284k| 10.9 | 17M| 68 | - | 420 |1726 | 0 | 0 | 763 | 24k| 14k| 0.000000e+00 | -- | Inf
584.30/584.32 c 584s|680000 | 347 | 7401k| 10.9 | 17M| 68 | 38 | 420 |1622 | 420 | 848 | 763 | 25k| 14k| 0.000000e+00 | -- | Inf
593.41/593.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
593.41/593.44 c 593s|690000 | 330 | 7520k| 10.9 | 17M| 68 | 50 | 420 |1598 | 420 | 848 | 763 | 25k| 14k| 0.000000e+00 | -- | Inf
602.50/602.53 c 603s|700000 | 322 | 7640k| 10.9 | 17M| 68 | 42 | 420 |1606 | 420 | 848 | 763 | 25k| 14k| 0.000000e+00 | -- | Inf
611.00/611.01 c 611s|710000 | 322 | 7750k| 10.9 | 17M| 68 | 26 | 420 |1568 | 420 | 848 | 763 | 26k| 14k| 0.000000e+00 | -- | Inf
618.81/618.81 c 619s|720000 | 302 | 7852k| 10.9 | 17M| 68 | - | 420 |1677 | 420 | 848 | 763 | 26k| 14k| 0.000000e+00 | -- | Inf
627.11/627.16 c 627s|730000 | 321 | 7958k| 10.9 | 17M| 68 | - | 420 |1670 | 0 | 0 | 763 | 26k| 15k| 0.000000e+00 | -- | Inf
635.41/635.40 c 635s|740000 | 318 | 8065k| 10.9 | 17M| 68 | - | 420 |1727 | 420 | 848 | 763 | 27k| 15k| 0.000000e+00 | -- | Inf
644.31/644.38 c 644s|750000 | 346 | 8183k| 10.9 | 17M| 68 | 45 | 420 |1742 | 420 | 848 | 763 | 27k| 15k| 0.000000e+00 | -- | Inf
653.81/653.86 c 654s|760000 | 337 | 8309k| 10.9 | 17M| 68 | 29 | 420 |1645 | 420 | 848 | 763 | 28k| 15k| 0.000000e+00 | -- | Inf
662.91/662.94 c 663s|770000 | 319 | 8429k| 10.9 | 17M| 70 | - | 420 |1630 | 420 | 848 | 763 | 28k| 15k| 0.000000e+00 | -- | Inf
671.81/671.89 c 672s|780000 | 309 | 8545k| 11.0 | 17M| 70 | - | 420 |1553 | 0 | 0 | 763 | 28k| 15k| 0.000000e+00 | -- | Inf
680.11/680.17 c 680s|790000 | 307 | 8653k| 11.0 | 17M| 70 | 39 | 420 |1664 | 420 | 848 | 763 | 29k| 15k| 0.000000e+00 | -- | Inf
692.61/692.66 c 693s|800000 | 287 | 8767k| 11.0 | 17M| 70 | - | 420 |1593 | 0 | 0 | 763 | 29k| 17k| 0.000000e+00 | -- | Inf
702.71/702.72 c 703s|810000 | 289 | 8876k| 11.0 | 17M| 70 | - | 420 |1611 | 0 | 0 | 763 | 29k| 18k| 0.000000e+00 | -- | Inf
711.22/711.22 c 711s|820000 | 286 | 8989k| 11.0 | 17M| 70 | 41 | 420 |1531 | 420 | 848 | 763 | 30k| 18k| 0.000000e+00 | -- | Inf
719.32/719.33 c 719s|830000 | 282 | 9097k| 11.0 | 17M| 70 | - | 420 |1634 | 0 | 0 | 763 | 30k| 18k| 0.000000e+00 | -- | Inf
727.71/727.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
727.71/727.77 c 728s|840000 | 272 | 9209k| 11.0 | 17M| 70 | 26 | 420 |1491 | 420 | 848 | 763 | 30k| 18k| 0.000000e+00 | -- | Inf
735.41/735.49 c 735s|850000 | 268 | 9309k| 11.0 | 17M| 70 | 35 | 420 |1574 | 420 | 848 | 763 | 31k| 18k| 0.000000e+00 | -- | Inf
746.21/746.21 c 746s|860000 | 264 | 9437k| 11.0 | 17M| 70 | - | 420 |1243 | 0 | 0 | 763 | 31k| 19k| 0.000000e+00 | -- | Inf
755.31/755.34 c 755s|870000 | 292 | 9560k| 11.0 | 17M| 70 | - | 420 |1314 | 420 | 848 | 763 | 31k| 19k| 0.000000e+00 | -- | Inf
763.31/763.38 c 763s|880000 | 305 | 9665k| 11.0 | 17M| 70 | - | 420 |1372 | 0 | 0 | 763 | 32k| 19k| 0.000000e+00 | -- | Inf
771.42/771.40 c 771s|890000 | 354 | 9770k| 11.0 | 17M| 70 | 41 | 420 |1435 | 420 | 848 | 763 | 32k| 19k| 0.000000e+00 | -- | Inf
779.72/779.78 c 780s|900000 | 343 | 9880k| 11.0 | 17M| 70 | - | 420 |1422 | 420 | 848 | 763 | 32k| 19k| 0.000000e+00 | -- | Inf
788.11/788.10 c 788s|910000 | 336 | 9989k| 11.0 | 17M| 70 | - | 420 |1480 | 0 | 0 | 763 | 33k| 19k| 0.000000e+00 | -- | Inf
796.71/796.71 c 797s|920000 | 362 | 10103k| 11.0 | 17M| 70 | - | 420 |1478 | 420 | 848 | 763 | 33k| 19k| 0.000000e+00 | -- | Inf
805.31/805.39 c 805s|930000 | 403 | 10218k| 11.0 | 17M| 70 | 40 | 420 |1468 | 420 | 848 | 763 | 33k| 19k| 0.000000e+00 | -- | Inf
814.02/814.09 c 814s|940000 | 378 | 10333k| 11.0 | 17M| 70 | - | 420 |1540 | 0 | 0 | 763 | 34k| 19k| 0.000000e+00 | -- | Inf
822.32/822.39 c 822s|950000 | 348 | 10443k| 11.0 | 17M| 70 | - | 420 |1521 | 420 | 848 | 763 | 34k| 19k| 0.000000e+00 | -- | Inf
831.11/831.15 c 831s|960000 | 394 | 10560k| 11.0 | 17M| 70 | 45 | 420 |1454 | 420 | 848 | 763 | 34k| 19k| 0.000000e+00 | -- | Inf
839.41/839.41 c 839s|970000 | 400 | 10670k| 11.0 | 17M| 70 | 31 | 420 |1520 | 420 | 848 | 763 | 35k| 19k| 0.000000e+00 | -- | Inf
847.72/847.79 c 848s|980000 | 397 | 10779k| 11.0 | 17M| 70 | 32 | 420 |1554 | 420 | 848 | 763 | 35k| 19k| 0.000000e+00 | -- | Inf
856.42/856.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
856.42/856.50 c 856s|990000 | 413 | 10894k| 11.0 | 17M| 70 | 35 | 420 |1463 | 420 | 848 | 763 | 35k| 19k| 0.000000e+00 | -- | Inf
864.72/864.79 c 865s| 1000k| 462 | 11005k| 11.0 | 18M| 70 | 41 | 420 |1535 | 420 | 848 | 763 | 35k| 19k| 0.000000e+00 | -- | Inf
873.52/873.56 c 874s| 1010k| 594 | 11123k| 11.0 | 18M| 70 | 39 | 420 |1594 | 420 | 848 | 763 | 36k| 19k| 0.000000e+00 | -- | Inf
882.61/882.68 c 883s| 1020k| 590 | 11245k| 11.0 | 18M| 70 | 33 | 420 |1537 | 420 | 848 | 763 | 36k| 19k| 0.000000e+00 | -- | Inf
892.03/892.01 c 892s| 1030k| 577 | 11369k| 11.0 | 18M| 70 | 44 | 420 |1525 | 420 | 848 | 763 | 36k| 19k| 0.000000e+00 | -- | Inf
900.72/900.70 c 901s| 1040k| 586 | 11485k| 11.0 | 18M| 70 | 35 | 420 |1595 | 420 | 848 | 763 | 37k| 19k| 0.000000e+00 | -- | Inf
909.92/909.98 c 910s| 1050k| 632 | 11608k| 11.1 | 18M| 70 | 31 | 420 |1489 | 420 | 848 | 763 | 37k| 19k| 0.000000e+00 | -- | Inf
919.42/919.40 c 919s| 1060k| 599 | 11732k| 11.1 | 18M| 70 | - | 420 |1476 | 420 | 848 | 763 | 37k| 19k| 0.000000e+00 | -- | Inf
928.91/928.92 c 929s| 1070k| 564 | 11858k| 11.1 | 18M| 70 | - | 420 |1472 | 420 | 848 | 763 | 37k| 19k| 0.000000e+00 | -- | Inf
937.52/937.57 c 938s| 1080k| 543 | 11972k| 11.1 | 18M| 70 | - | 420 |1446 | 420 | 848 | 763 | 38k| 19k| 0.000000e+00 | -- | Inf
945.62/945.65 c 946s| 1090k| 550 | 12079k| 11.1 | 18M| 70 | - | 420 |1470 | 0 | 0 | 763 | 38k| 19k| 0.000000e+00 | -- | Inf
954.42/954.45 c 954s| 1100k| 567 | 12196k| 11.1 | 18M| 70 | - | 420 |1516 | 0 | 0 | 763 | 38k| 19k| 0.000000e+00 | -- | Inf
963.01/963.02 c 963s| 1110k| 563 | 12308k| 11.1 | 18M| 70 | 41 | 420 |1559 | 420 | 848 | 763 | 39k| 20k| 0.000000e+00 | -- | Inf
970.32/970.38 c 970s| 1120k| 565 | 12402k| 11.1 | 18M| 70 | 35 | 420 |1565 | 420 | 848 | 763 | 39k| 20k| 0.000000e+00 | -- | Inf
978.22/978.20 c 978s| 1130k| 580 | 12503k| 11.1 | 18M| 70 | 42 | 420 |1645 | 420 | 848 | 763 | 39k| 20k| 0.000000e+00 | -- | Inf
987.12/987.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
987.12/987.18 c 987s| 1140k| 584 | 12619k| 11.1 | 18M| 70 | 35 | 420 |1530 | 420 | 848 | 763 | 40k| 20k| 0.000000e+00 | -- | Inf
995.82/995.82 c 996s| 1150k| 579 | 12732k| 11.1 | 18M| 70 | 47 | 420 |1556 | 420 | 848 | 763 | 40k| 20k| 0.000000e+00 | -- | Inf
1004.82/1004.80 c 1005s| 1160k| 564 | 12848k| 11.1 | 18M| 70 | - | 420 |1440 | 0 | 0 | 763 | 40k| 20k| 0.000000e+00 | -- | Inf
1013.13/1013.11 c 1013s| 1170k| 581 | 12956k| 11.1 | 18M| 70 | 45 | 420 |1545 | 420 | 848 | 763 | 40k| 20k| 0.000000e+00 | -- | Inf
1025.72/1025.72 c 1026s| 1180k| 540 | 13085k| 11.1 | 18M| 70 | 53 | 420 |1128 | 420 | 848 | 763 | 41k| 22k| 0.000000e+00 | -- | Inf
1035.03/1035.04 c 1035s| 1190k| 509 | 13204k| 11.1 | 18M| 70 | - | 420 |1157 | 420 | 848 | 763 | 41k| 22k| 0.000000e+00 | -- | Inf
1044.42/1044.44 c 1044s| 1200k| 506 | 13333k| 11.1 | 18M| 70 | - | 420 |1164 | 0 | 0 | 763 | 41k| 22k| 0.000000e+00 | -- | Inf
1053.42/1053.43 c 1053s| 1210k| 480 | 13451k| 11.1 | 18M| 70 | 48 | 420 |1150 | 420 | 848 | 763 | 42k| 22k| 0.000000e+00 | -- | Inf
1062.53/1062.58 c 1063s| 1220k| 484 | 13575k| 11.1 | 18M| 70 | 46 | 420 |1115 | 420 | 848 | 763 | 42k| 22k| 0.000000e+00 | -- | Inf
1072.92/1072.93 c 1073s| 1230k| 481 | 13698k| 11.1 | 18M| 70 | - | 420 |1135 | 420 | 848 | 763 | 42k| 23k| 0.000000e+00 | -- | Inf
1082.62/1082.62 c 1083s| 1240k| 479 | 13830k| 11.2 | 18M| 70 | 51 | 420 |1090 | 420 | 848 | 763 | 42k| 23k| 0.000000e+00 | -- | Inf
1090.72/1090.75 c 1091s| 1250k| 492 | 13938k| 11.1 | 18M| 70 | 25 | 420 |1144 | 420 | 848 | 763 | 43k| 23k| 0.000000e+00 | -- | Inf
1098.83/1098.82 c 1099s| 1260k| 511 | 14045k| 11.1 | 18M| 70 | - | 420 |1323 | 0 | 0 | 763 | 43k| 23k| 0.000000e+00 | -- | Inf
1106.92/1106.97 c 1107s| 1270k| 521 | 14154k| 11.1 | 18M| 70 | - | 420 |1414 | 0 | 0 | 763 | 43k| 23k| 0.000000e+00 | -- | Inf
1115.22/1115.21 c 1115s| 1280k| 598 | 14264k| 11.1 | 18M| 70 | 43 | 420 |1457 | 420 | 848 | 763 | 44k| 23k| 0.000000e+00 | -- | Inf
1123.72/1123.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1123.72/1123.72 c 1124s| 1290k| 672 | 14378k| 11.1 | 18M| 70 | - | 420 |1457 | 420 | 848 | 763 | 44k| 23k| 0.000000e+00 | -- | Inf
1132.23/1132.24 c 1132s| 1300k| 664 | 14492k| 11.1 | 18M| 70 | 30 | 420 |1473 | 420 | 848 | 763 | 44k| 23k| 0.000000e+00 | -- | Inf
1141.33/1141.38 c 1141s| 1310k| 700 | 14617k| 11.2 | 18M| 70 | 49 | 420 |1556 | 420 | 848 | 763 | 45k| 23k| 0.000000e+00 | -- | Inf
1149.93/1149.98 c 1150s| 1320k| 711 | 14732k| 11.2 | 18M| 70 | 28 | 420 |1541 | 420 | 848 | 763 | 45k| 23k| 0.000000e+00 | -- | Inf
1158.33/1158.36 c 1158s| 1330k| 707 | 14844k| 11.2 | 18M| 70 | - | 420 |1506 | 0 | 0 | 763 | 45k| 23k| 0.000000e+00 | -- | Inf
1165.82/1165.85 c 1166s| 1340k| 717 | 14942k| 11.1 | 19M| 70 | 28 | 420 |1637 | 420 | 848 | 763 | 46k| 23k| 0.000000e+00 | -- | Inf
1173.63/1173.61 c 1174s| 1350k| 734 | 15043k| 11.1 | 19M| 70 | - | 420 |1621 | 420 | 848 | 763 | 46k| 23k| 0.000000e+00 | -- | Inf
1182.43/1182.41 c 1182s| 1360k| 774 | 15160k| 11.1 | 19M| 70 | 32 | 420 |1611 | 420 | 848 | 763 | 47k| 23k| 0.000000e+00 | -- | Inf
1191.02/1191.07 c 1191s| 1370k| 779 | 15275k| 11.1 | 19M| 70 | - | 420 |1405 | 0 | 0 | 763 | 47k| 23k| 0.000000e+00 | -- | Inf
1199.82/1199.84 c 1200s| 1380k| 841 | 15392k| 11.2 | 19M| 70 | 34 | 420 |1485 | 420 | 848 | 763 | 47k| 23k| 0.000000e+00 | -- | Inf
1208.13/1208.12 c 1208s| 1390k| 847 | 15501k| 11.2 | 19M| 70 | - | 420 |1480 | 420 | 848 | 763 | 47k| 23k| 0.000000e+00 | -- | Inf
1216.72/1216.77 c 1217s| 1400k| 857 | 15616k| 11.2 | 19M| 70 | - | 420 |1577 | 0 | 0 | 763 | 48k| 23k| 0.000000e+00 | -- | Inf
1225.92/1225.95 c 1226s| 1410k| 842 | 15742k| 11.2 | 19M| 70 | - | 420 |1526 | 0 | 0 | 763 | 48k| 23k| 0.000000e+00 | -- | Inf
1234.43/1234.48 c 1234s| 1420k| 857 | 15853k| 11.2 | 19M| 70 | 30 | 420 |1575 | 420 | 848 | 763 | 48k| 23k| 0.000000e+00 | -- | Inf
1243.04/1243.05 c 1243s| 1430k| 852 | 15966k| 11.2 | 19M| 70 | - | 420 |1565 | 0 | 0 | 763 | 49k| 23k| 0.000000e+00 | -- | Inf
1251.33/1251.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1251.33/1251.33 c 1251s| 1440k| 845 | 16075k| 11.2 | 19M| 70 | - | 420 |1536 | 0 | 0 | 763 | 49k| 23k| 0.000000e+00 | -- | Inf
1260.33/1260.31 c 1260s| 1450k| 879 | 16192k| 11.2 | 19M| 70 | 51 | 420 |1541 | 420 | 848 | 763 | 49k| 23k| 0.000000e+00 | -- | Inf
1268.83/1268.82 c 1269s| 1460k| 919 | 16305k| 11.2 | 19M| 70 | - | 420 |1507 | 0 | 0 | 763 | 50k| 23k| 0.000000e+00 | -- | Inf
1277.23/1277.23 c 1277s| 1470k| 966 | 16416k| 11.2 | 19M| 70 | 43 | 420 |1518 | 420 | 848 | 763 | 50k| 23k| 0.000000e+00 | -- | Inf
1286.23/1286.22 c 1286s| 1480k| 968 | 16536k| 11.2 | 19M| 70 | 43 | 420 |1477 | 420 | 848 | 763 | 50k| 23k| 0.000000e+00 | -- | Inf
1295.02/1295.03 c 1295s| 1490k| 935 | 16652k| 11.2 | 19M| 70 | 46 | 420 |1431 | 420 | 848 | 763 | 50k| 23k| 0.000000e+00 | -- | Inf
1303.33/1303.38 c 1303s| 1500k| 945 | 16761k| 11.2 | 19M| 70 | 33 | 420 |1517 | 420 | 848 | 763 | 51k| 23k| 0.000000e+00 | -- | Inf
1312.12/1312.18 c 1312s| 1510k| 938 | 16879k| 11.2 | 19M| 70 | 58 | 420 |1481 | 420 | 848 | 763 | 51k| 23k| 0.000000e+00 | -- | Inf
1320.73/1320.77 c 1321s| 1520k| 1014 | 16991k| 11.2 | 19M| 71 | 32 | 420 |1527 | 420 | 848 | 763 | 51k| 23k| 0.000000e+00 | -- | Inf
1329.33/1329.36 c 1329s| 1530k| 1036 | 17103k| 11.2 | 19M| 71 | 25 | 420 |1534 | 420 | 848 | 763 | 52k| 24k| 0.000000e+00 | -- | Inf
1338.23/1338.20 c 1338s| 1540k| 1001 | 17218k| 11.2 | 19M| 71 | 51 | 420 |1495 | 420 | 848 | 763 | 52k| 24k| 0.000000e+00 | -- | Inf
1347.23/1347.25 c 1347s| 1550k| 1006 | 17339k| 11.2 | 19M| 71 | - | 420 |1537 | 420 | 848 | 763 | 52k| 24k| 0.000000e+00 | -- | Inf
1355.83/1355.80 c 1356s| 1560k| 1010 | 17450k| 11.2 | 19M| 71 | 46 | 420 |1534 | 420 | 848 | 763 | 53k| 24k| 0.000000e+00 | -- | Inf
1364.23/1364.23 c 1364s| 1570k| 1026 | 17562k| 11.2 | 20M| 72 | 35 | 420 |1603 | 420 | 848 | 763 | 53k| 24k| 0.000000e+00 | -- | Inf
1373.03/1373.05 c 1373s| 1580k| 1004 | 17679k| 11.2 | 19M| 72 | 47 | 420 |1541 | 420 | 848 | 763 | 53k| 24k| 0.000000e+00 | -- | Inf
1382.23/1382.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.23/1382.23 c 1382s| 1590k| 993 | 17799k| 11.2 | 19M| 72 | 30 | 420 |1464 | 420 | 848 | 763 | 53k| 24k| 0.000000e+00 | -- | Inf
1390.73/1390.78 c 1391s| 1600k| 1007 | 17911k| 11.2 | 19M| 72 | - | 420 |1543 | 0 | 0 | 763 | 54k| 24k| 0.000000e+00 | -- | Inf
1399.43/1399.44 c 1399s| 1610k| 987 | 18025k| 11.2 | 19M| 72 | - | 420 |1509 | 0 | 0 | 763 | 54k| 24k| 0.000000e+00 | -- | Inf
1408.13/1408.13 c 1408s| 1620k| 972 | 18140k| 11.2 | 19M| 72 | - | 420 |1497 | 0 | 0 | 763 | 54k| 24k| 0.000000e+00 | -- | Inf
1416.83/1416.89 c 1417s| 1630k| 969 | 18253k| 11.2 | 19M| 72 | 32 | 420 |1389 | 420 | 848 | 763 | 55k| 24k| 0.000000e+00 | -- | Inf
1425.23/1425.25 c 1425s| 1640k| 963 | 18365k| 11.2 | 19M| 72 | - | 420 |1400 | 0 | 0 | 763 | 55k| 24k| 0.000000e+00 | -- | Inf
1433.24/1433.24 c 1433s| 1650k| 968 | 18470k| 11.2 | 19M| 72 | - | 420 |1284 | 420 | 848 | 763 | 55k| 24k| 0.000000e+00 | -- | Inf
1441.73/1441.73 c 1442s| 1660k| 970 | 18585k| 11.2 | 19M| 72 | 40 | 420 |1359 | 420 | 848 | 763 | 56k| 24k| 0.000000e+00 | -- | Inf
1451.03/1451.01 c 1451s| 1670k| 980 | 18709k| 11.2 | 19M| 72 | 41 | 420 |1366 | 420 | 848 | 763 | 56k| 24k| 0.000000e+00 | -- | Inf
1459.93/1459.96 c 1460s| 1680k| 958 | 18828k| 11.2 | 19M| 72 | 29 | 420 |1366 | 420 | 848 | 763 | 56k| 24k| 0.000000e+00 | -- | Inf
1468.93/1468.99 c 1469s| 1690k| 979 | 18949k| 11.2 | 19M| 72 | - | 420 |1360 | 0 | 0 | 763 | 57k| 24k| 0.000000e+00 | -- | Inf
1478.53/1478.53 c 1479s| 1700k| 958 | 19076k| 11.2 | 19M| 75 | 44 | 420 |1347 | 420 | 848 | 763 | 57k| 24k| 0.000000e+00 | -- | Inf
1487.03/1487.06 c 1487s| 1710k| 950 | 19190k| 11.2 | 19M| 75 | - | 420 |1439 | 0 | 0 | 763 | 57k| 24k| 0.000000e+00 | -- | Inf
1495.53/1495.57 c 1496s| 1720k| 964 | 19301k| 11.2 | 19M| 75 | - | 420 |1457 | 0 | 0 | 763 | 58k| 25k| 0.000000e+00 | -- | Inf
1504.63/1504.61 c 1505s| 1730k| 938 | 19421k| 11.2 | 19M| 75 | 32 | 420 |1276 | 420 | 848 | 763 | 58k| 25k| 0.000000e+00 | -- | Inf
1513.33/1513.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1513.33/1513.34 c 1513s| 1740k| 930 | 19537k| 11.2 | 19M| 75 | 39 | 420 |1384 | 420 | 848 | 763 | 58k| 25k| 0.000000e+00 | -- | Inf
1522.63/1522.66 c 1523s| 1750k| 937 | 19663k| 11.2 | 19M| 75 | - | 420 |1371 | 420 | 848 | 763 | 58k| 25k| 0.000000e+00 | -- | Inf
1531.83/1531.85 c 1532s| 1760k| 958 | 19786k| 11.2 | 19M| 75 | - | 420 |1393 | 420 | 848 | 763 | 59k| 25k| 0.000000e+00 | -- | Inf
1541.14/1541.11 c 1541s| 1770k| 999 | 19912k| 11.2 | 20M| 75 | 34 | 420 |1448 | 420 | 848 | 763 | 59k| 25k| 0.000000e+00 | -- | Inf
1550.83/1550.81 c 1551s| 1780k| 977 | 20042k| 11.3 | 19M| 75 | 43 | 420 |1358 | 420 | 848 | 763 | 59k| 25k| 0.000000e+00 | -- | Inf
1560.23/1560.25 c 1560s| 1790k| 976 | 20170k| 11.3 | 20M| 75 | - | 420 |1457 | 420 | 848 | 763 | 60k| 25k| 0.000000e+00 | -- | Inf
1570.14/1570.11 c 1570s| 1800k| 941 | 20304k| 11.3 | 19M| 75 | 58 | 420 |1391 | 420 | 848 | 763 | 60k| 25k| 0.000000e+00 | -- | Inf
1578.54/1578.51 c 1579s| 1810k| 947 | 20414k| 11.3 | 19M| 75 | 30 | 420 |1511 | 420 | 848 | 763 | 60k| 25k| 0.000000e+00 | -- | Inf
1587.04/1587.05 c 1587s| 1820k| 946 | 20527k| 11.3 | 19M| 75 | - | 420 |1286 | 0 | 0 | 763 | 61k| 25k| 0.000000e+00 | -- | Inf
1596.44/1596.46 c 1596s| 1830k| 919 | 20653k| 11.3 | 19M| 75 | - | 420 |1283 | 0 | 0 | 763 | 61k| 25k| 0.000000e+00 | -- | Inf
1605.24/1605.26 c 1605s| 1840k| 905 | 20771k| 11.3 | 19M| 75 | - | 420 |1268 | 0 | 0 | 763 | 61k| 25k| 0.000000e+00 | -- | Inf
1613.24/1613.27 c 1613s| 1850k| 914 | 20877k| 11.3 | 19M| 75 | - | 420 |1411 | 420 | 848 | 763 | 62k| 25k| 0.000000e+00 | -- | Inf
1621.04/1621.01 c 1621s| 1860k| 932 | 20978k| 11.3 | 19M| 75 | - | 420 |1421 | 0 | 0 | 763 | 62k| 25k| 0.000000e+00 | -- | Inf
1628.94/1628.93 c 1629s| 1870k| 951 | 21082k| 11.3 | 19M| 75 | - | 420 |1450 | 420 | 848 | 763 | 62k| 25k| 0.000000e+00 | -- | Inf
1636.94/1636.96 c 1637s| 1880k| 942 | 21186k| 11.3 | 19M| 75 | - | 420 |1428 | 0 | 0 | 763 | 63k| 25k| 0.000000e+00 | -- | Inf
1644.93/1644.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1644.93/1644.97 c 1645s| 1890k| 974 | 21291k| 11.3 | 20M| 75 | - | 420 |1574 | 0 | 0 | 763 | 63k| 25k| 0.000000e+00 | -- | Inf
1652.64/1652.66 c 1653s| 1900k| 1019 | 21391k| 11.3 | 20M| 75 | - | 420 |1641 | 0 | 0 | 763 | 64k| 25k| 0.000000e+00 | -- | Inf
1660.44/1660.48 c 1660s| 1910k| 1038 | 21492k| 11.3 | 20M| 75 | - | 420 |1639 | 420 | 848 | 763 | 64k| 25k| 0.000000e+00 | -- | Inf
1668.54/1668.50 c 1669s| 1920k| 1064 | 21595k| 11.2 | 20M| 75 | 13 | 420 |1672 | 420 | 848 | 763 | 64k| 25k| 0.000000e+00 | -- | Inf
1675.94/1675.94 c 1676s| 1930k| 1053 | 21693k| 11.2 | 20M| 75 | 33 | 420 |1727 | 420 | 848 | 763 | 65k| 25k| 0.000000e+00 | -- | Inf
1684.05/1684.00 c 1684s| 1940k| 1096 | 21797k| 11.2 | 20M| 75 | - | 420 |1727 | 0 | 0 | 763 | 65k| 26k| 0.000000e+00 | -- | Inf
1691.75/1691.71 c 1692s| 1950k| 1105 | 21897k| 11.2 | 20M| 75 | 28 | 420 |1686 | 420 | 848 | 763 | 66k| 26k| 0.000000e+00 | -- | Inf
1699.44/1699.46 c 1699s| 1960k| 1111 | 21996k| 11.2 | 20M| 75 | - | 420 |1639 | 0 | 0 | 763 | 66k| 26k| 0.000000e+00 | -- | Inf
1706.94/1706.97 c 1707s| 1970k| 1125 | 22093k| 11.2 | 20M| 75 | 24 | 420 |1664 | 420 | 848 | 763 | 66k| 26k| 0.000000e+00 | -- | Inf
1714.63/1714.61 c 1715s| 1980k| 1169 | 22190k| 11.2 | 20M| 75 | 26 | 420 |1661 | 420 | 848 | 763 | 67k| 26k| 0.000000e+00 | -- | Inf
1722.64/1722.65 c 1723s| 1990k| 1105 | 22294k| 11.2 | 20M| 75 | 38 | 420 |1563 | 420 | 848 | 763 | 67k| 26k| 0.000000e+00 | -- | Inf
1730.35/1730.39 c 1730s| 2000k| 1091 | 22392k| 11.2 | 20M| 75 | - | 420 |1559 | 0 | 0 | 763 | 68k| 26k| 0.000000e+00 | -- | Inf
1738.64/1738.61 c 1739s| 2010k| 1089 | 22500k| 11.2 | 20M| 75 | - | 420 |1583 | 0 | 0 | 763 | 68k| 26k| 0.000000e+00 | -- | Inf
1746.64/1746.60 c 1747s| 2020k| 1173 | 22604k| 11.2 | 20M| 75 | - | 420 |1713 | 420 | 848 | 763 | 68k| 26k| 0.000000e+00 | -- | Inf
1754.64/1754.60 c 1755s| 2030k| 1092 | 22708k| 11.2 | 20M| 78 | 31 | 420 |1629 | 420 | 848 | 763 | 69k| 26k| 0.000000e+00 | -- | Inf
1762.34/1762.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1762.34/1762.38 c 1762s| 2040k| 1076 | 22806k| 11.2 | 20M| 78 | 35 | 420 |1515 | 420 | 848 | 763 | 69k| 26k| 0.000000e+00 | -- | Inf
1770.64/1770.68 c 1771s| 2050k| 1058 | 22915k| 11.2 | 20M| 78 | - | 420 |1559 | 420 | 848 | 763 | 69k| 26k| 0.000000e+00 | -- | Inf
1779.64/1779.60 c 1780s| 2060k| 1029 | 23031k| 11.2 | 20M| 78 | 46 | 420 |1497 | 420 | 848 | 763 | 70k| 26k| 0.000000e+00 | -- | Inf
1787.74/1787.79 c 1788s| 2070k| 1007 | 23136k| 11.2 | 20M| 78 | - | 420 |1436 | 0 | 0 | 763 | 70k| 26k| 0.000000e+00 | -- | Inf
1795.64/1795.60 c 1796s| 2080k| 1018 | 23236k| 11.2 | 20M| 78 | 39 | 420 |1503 | 420 | 848 | 763 | 70k| 26k| 0.000000e+00 | -- | Inf
1797.05/1797.00 c
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Solving Time (sec) : 1797.00
1797.05/1797.00 c Solving Nodes : 2081682
1797.05/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.05/1797.00 c Dual Bound : +0.00000000000000e+00
1797.05/1797.00 c Gap : infinite
1797.05/1797.00 s UNKNOWN
1797.05/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.05/1797.00 c Total Time : 1797.00
1797.05/1797.00 c solving : 1797.00
1797.05/1797.00 c presolving : 0.02 (included in solving)
1797.05/1797.00 c reading : 0.01 (included in solving)
1797.05/1797.00 c Original Problem :
1797.05/1797.00 c Problem name : HOME/instance-3485603-1307750178.opb
1797.05/1797.00 c Variables : 428 (428 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 644 initial, 644 maximal
1797.05/1797.00 c Presolved Problem :
1797.05/1797.00 c Problem name : t_HOME/instance-3485603-1307750178.opb
1797.05/1797.00 c Variables : 420 (420 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.05/1797.00 c Constraints : 632 initial, 2230 maximal
1797.05/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.05/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c implics : 0.00 0 8 0 0 0 0 0 0 0
1797.05/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c setppc : 0.00 0 0 0 0 0 12 0 0 0
1797.05/1797.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.05/1797.00 c root node : - 0 - - 0 - - - - -
1797.05/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c integral : 0 0 0 1047364 0 1 0 785 5737 0 0 2085160
1797.05/1797.00 c knapsack : 290 5 5051846 0 1 0 10798575 629218 21522815 608 0 0
1797.05/1797.00 c setppc : 210 5 4364282 0 1 0 1900601 797 6042757 0 0 0
1797.05/1797.00 c logicor : 132+ 5 3338305 0 1 0 21504 7679 2954550 0 0 0
1797.05/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1797.05/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.05/1797.00 c integral : 57.07 0.00 0.00 57.07 0.00 0.00 0.00
1797.05/1797.00 c knapsack : 51.63 0.01 47.97 0.00 0.00 0.00 3.65
1797.05/1797.00 c setppc : 9.28 0.00 8.88 0.00 0.00 0.00 0.40
1797.05/1797.00 c logicor : 15.85 0.00 15.81 0.00 0.00 0.00 0.04
1797.05/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.05/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.05/1797.00 c vbounds : 0 0 0 0
1797.05/1797.00 c rootredcost : 0 0 0 0
1797.05/1797.00 c pseudoobj : 0 0 0 0
1797.05/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.05/1797.00 c vbounds : 0.66 0.66 0.00
1797.05/1797.00 c rootredcost : 0.69 0.69 0.00
1797.05/1797.00 c pseudoobj : 0.51 0.51 0.00
1797.05/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.05/1797.00 c propagation : 12.33 77483 69713 516035 94.2 467 108.3 -
1797.05/1797.00 c infeasible LP : 38.08 403000 0 0 0.0 0 0.0 0
1797.05/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.05/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.05/1797.00 c applied globally : - - - 66947 22.9 - - -
1797.05/1797.00 c applied locally : - - - 3911 49.1 - - -
1797.05/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.05/1797.00 c cut pool : 0.00 4 - - 132 - (maximal pool size: 2432)
1797.05/1797.00 c redcost : 6.26 1044655 0 0 0 0
1797.05/1797.00 c impliedbounds : 0.00 5 0 0 1205 0
1797.05/1797.00 c intobj : 0.00 0 0 0 0 0
1797.05/1797.00 c gomory : 0.35 5 0 0 294 0
1797.05/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.05/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.05/1797.00 c strongcg : 0.31 5 0 0 2241 0
1797.05/1797.00 c cmir : 0.00 0 0 0 0 0
1797.05/1797.00 c flowcover : 0.00 0 0 0 0 0
1797.05/1797.00 c clique : 0.00 1 0 0 0 0
1797.05/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.05/1797.00 c mcf : 0.00 1 0 0 0 0
1797.05/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.05/1797.00 c rapidlearning : 0.03 1 0 0 0 0
1797.05/1797.00 c Pricers : Time Calls Vars
1797.05/1797.00 c problem variables: 0.00 0 0
1797.05/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.05/1797.00 c relpscost : 56.44 1047364 785 5737 0 0 2085160
1797.05/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.05/1797.00 c inference : 0.00 1 0 0 0 0 2
1797.05/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.05/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.05/1797.00 c random : 0.00 0 0 0 0 0 0
1797.05/1797.00 c Primal Heuristics : Time Calls Found
1797.05/1797.00 c LP solutions : 0.00 - 0
1797.05/1797.00 c pseudo solutions : 0.00 - 0
1797.05/1797.00 c trivial : 0.00 1 0
1797.05/1797.00 c shiftandpropagate: 0.00 0 0
1797.05/1797.00 c simplerounding : 0.00 0 0
1797.05/1797.00 c zirounding : 0.00 0 0
1797.05/1797.00 c rounding : 0.00 0 0
1797.05/1797.00 c shifting : 0.00 0 0
1797.05/1797.00 c intshifting : 0.00 0 0
1797.05/1797.00 c oneopt : 0.00 0 0
1797.05/1797.00 c twoopt : 0.00 0 0
1797.05/1797.00 c fixandinfer : 0.00 0 0
1797.05/1797.00 c feaspump : 0.00 0 0
1797.05/1797.00 c clique : 0.00 0 0
1797.05/1797.00 c coefdiving : 0.00 0 0
1797.05/1797.00 c pscostdiving : 0.00 0 0
1797.05/1797.00 c fracdiving : 0.00 0 0
1797.05/1797.00 c veclendiving : 0.00 0 0
1797.05/1797.00 c intdiving : 0.00 0 0
1797.05/1797.00 c actconsdiving : 0.00 0 0
1797.05/1797.00 c objpscostdiving : 0.00 0 0
1797.05/1797.00 c rootsoldiving : 0.00 0 0
1797.05/1797.00 c linesearchdiving : 0.00 0 0
1797.05/1797.00 c guideddiving : 0.00 0 0
1797.05/1797.00 c octane : 0.00 0 0
1797.05/1797.00 c rens : 0.00 0 0
1797.05/1797.00 c rins : 0.00 0 0
1797.05/1797.00 c localbranching : 0.00 0 0
1797.05/1797.00 c mutation : 0.00 0 0
1797.05/1797.00 c crossover : 0.00 0 0
1797.05/1797.00 c dins : 0.00 0 0
1797.05/1797.00 c vbounds : 0.00 0 0
1797.05/1797.00 c undercover : 0.00 0 0
1797.05/1797.00 c subnlp : 0.00 0 0
1797.05/1797.00 c trysol : 0.00 0 0
1797.05/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.05/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.05/1797.00 c dual LP : 1407.58 1448700 23255055 16.05 16521.34
1797.05/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.05/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.05/1797.00 c diving/probing LP: 0.00 0 0 0.00 -
1797.05/1797.00 c strong branching : 43.96 26566 574406 21.62 13066.00
1797.05/1797.00 c (at root node) : - 10 1140 114.00 -
1797.05/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.05/1797.00 c B&B Tree :
1797.05/1797.00 c number of runs : 1
1797.05/1797.00 c nodes : 2081682
1797.05/1797.00 c nodes (total) : 2081682
1797.05/1797.00 c nodes left : 1015
1797.05/1797.00 c max depth : 78
1797.05/1797.00 c max depth (total): 78
1797.05/1797.00 c backtracks : 279691 (13.4%)
1797.05/1797.00 c delayed cutoffs : 2466
1797.05/1797.00 c repropagations : 176870 (314110 domain reductions, 2378 cutoffs)
1797.05/1797.00 c avg switch length: 2.82
1797.05/1797.00 c switching time : 66.22
1797.05/1797.00 c Solution :
1797.05/1797.00 c Solutions found : 0 (0 improvements)
1797.05/1797.00 c Primal Bound : -
1797.05/1797.00 c Dual Bound : +0.00000000000000e+00
1797.05/1797.00 c Gap : infinite
1797.05/1797.00 c Root Dual Bound : +0.00000000000000e+00
1797.05/1797.00 c Root Iterations : 2442
1797.05/1797.01 c Time complete: 1797.06.
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-3485603-1307750178/watcher-3485603-1307750178 -o /tmp/evaluation-result-3485603-1307750178/solver-3485603-1307750178 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485603-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 2/172 16525
/proc/meminfo: memFree=31210192/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=10156 CPUtime=0 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 1547 0 0 0 0 0 0 0 19 0 1 0 342627311 10399744 1502 33554432000 4194304 8979876 140734364528784 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/16525/statm: 2539 1502 363 1169 0 1366 0
[startup+0.0501099 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 16525
/proc/meminfo: memFree=31210192/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=21700 CPUtime=0.04 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 4648 0 0 0 4 0 0 0 18 0 1 0 342627311 22220800 4344 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 5425 4344 658 1169 0 4252 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21700
[startup+0.101103 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 16525
/proc/meminfo: memFree=31210192/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=24804 CPUtime=0.09 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 8282 0 0 0 8 1 0 0 18 0 1 0 342627311 25399296 5214 33554432000 4194304 8979876 140734364528784 18446744073709551615 6584159 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 6201 5214 693 1169 0 5028 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24804
[startup+0.301063 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 16525
/proc/meminfo: memFree=31210192/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=26556 CPUtime=0.29 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 8722 0 0 0 27 2 0 0 18 0 1 0 342627311 27193344 5654 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 6639 5654 693 1169 0 5466 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26556
[startup+0.700994 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 16525
/proc/meminfo: memFree=31210192/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=34080 CPUtime=0.69 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 10434 0 0 0 65 4 0 0 18 0 1 0 342627311 34897920 7365 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 8520 7365 693 1169 0 7347 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34080
[startup+1.50085 s]
/proc/loadavg: 0.08 0.02 0.01 2/173 16526
/proc/meminfo: memFree=31176256/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=40576 CPUtime=1.49 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 12180 0 0 0 141 8 0 0 19 0 1 0 342627311 41549824 9111 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 10144 9111 695 1169 0 8971 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40576
[startup+3.10056 s]
/proc/loadavg: 0.08 0.02 0.01 2/173 16526
/proc/meminfo: memFree=31175760/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=40576 CPUtime=3.1 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 12184 0 0 0 289 21 0 0 25 0 1 0 342627311 41549824 9115 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 10144 9115 698 1169 0 8971 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 40576
[startup+6.30099 s]
/proc/loadavg: 0.08 0.02 0.01 2/173 16564
/proc/meminfo: memFree=31174076/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=40576 CPUtime=6.29 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 12184 0 0 0 583 46 0 0 25 0 1 0 342627311 41549824 9115 33554432000 4194304 8979876 140734364528784 18446744073709551615 4291237 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 10144 9115 698 1169 0 8971 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40576
[startup+12.7008 s]
/proc/loadavg: 0.22 0.05 0.02 2/173 16792
/proc/meminfo: memFree=31173052/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=40576 CPUtime=12.69 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 12184 0 0 0 1175 94 0 0 25 0 1 0 342627311 41549824 9115 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 10144 9115 698 1169 0 8971 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40576
[startup+25.5005 s]
/proc/loadavg: 0.49 0.11 0.04 3/178 17072
/proc/meminfo: memFree=31121900/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=40576 CPUtime=25.5 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 12184 0 0 0 2378 172 0 0 25 0 1 0 342627311 41549824 9115 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 10144 9115 698 1169 0 8971 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 40576
[startup+51.1009 s]
/proc/loadavg: 1.01 0.26 0.09 3/178 17111
/proc/meminfo: memFree=31122428/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=40576 CPUtime=51.09 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 12186 0 0 0 4803 306 0 0 25 0 1 0 342627311 41549824 9117 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 10144 9117 698 1169 0 8971 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 40576
[startup+102.306 s]
/proc/loadavg: 1.60 0.55 0.19 3/178 17150
/proc/meminfo: memFree=31121836/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=41116 CPUtime=102.3 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 12323 0 0 0 9633 597 0 0 25 0 1 0 342627311 42102784 9254 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 10279 9254 698 1169 0 9106 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 41116
[startup+162.301 s]
/proc/loadavg: 1.85 0.81 0.30 3/178 17152
/proc/meminfo: memFree=31121440/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=41576 CPUtime=162.3 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 12452 0 0 0 15238 992 0 0 25 0 1 0 342627311 42573824 9377 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 10394 9377 698 1169 0 9221 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 41576
[startup+222.301 s]
/proc/loadavg: 1.94 1.03 0.41 3/178 17154
/proc/meminfo: memFree=31120616/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=41900 CPUtime=222.3 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 12553 0 0 0 20855 1375 0 0 25 0 1 0 342627311 42905600 9478 33554432000 4194304 8979876 140734364528784 18446744073709551615 4318205 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 10475 9478 698 1169 0 9302 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 41900
[startup+282.3 s]
/proc/loadavg: 1.98 1.20 0.50 3/178 17155
/proc/meminfo: memFree=31119032/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=42080 CPUtime=282.3 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 12597 0 0 0 26460 1770 0 0 25 0 1 0 342627311 43089920 9522 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 10520 9522 698 1169 0 9347 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 42080
[startup+342.301 s]
/proc/loadavg: 1.99 1.34 0.59 3/178 17166
/proc/meminfo: memFree=31118172/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=42896 CPUtime=342.3 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 12802 0 0 0 32074 2156 0 0 25 0 1 0 342627311 43925504 9727 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 10724 9727 698 1169 0 9551 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 42896
[startup+402.301 s]
/proc/loadavg: 1.99 1.46 0.68 3/178 17167
/proc/meminfo: memFree=31117696/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=42896 CPUtime=402.3 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 12802 0 0 0 37692 2538 0 0 25 0 1 0 342627311 43925504 9727 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 10724 9727 698 1169 0 9551 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 42896
[startup+462.301 s]
/proc/loadavg: 1.99 1.56 0.76 3/178 17169
/proc/meminfo: memFree=31117492/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=43028 CPUtime=462.3 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 12816 0 0 0 43304 2926 0 0 25 0 1 0 342627311 44060672 9741 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 10757 9741 698 1169 0 9584 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 43028
[startup+522.301 s]
/proc/loadavg: 1.99 1.63 0.83 3/178 17171
/proc/meminfo: memFree=31117044/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=43164 CPUtime=522.3 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 12840 0 0 0 48914 3316 0 0 25 0 1 0 342627311 44199936 9765 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 10791 9765 698 1169 0 9618 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 43164
[startup+582.3 s]
/proc/loadavg: 1.99 1.70 0.90 3/178 17210
/proc/meminfo: memFree=31120256/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=43316 CPUtime=582.31 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 12858 0 0 0 54554 3677 0 0 25 0 1 0 342627311 44355584 9783 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 10829 9783 698 1169 0 9656 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 43316
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31115684/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=45224 CPUtime=1122.32 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 13349 0 0 0 105900 6332 0 0 25 0 1 0 342627311 46309376 10274 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 11306 10274 698 1169 0 10133 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 45224
[startup+1182.3 s]
/proc/loadavg: 2.02 1.97 1.41 3/178 17305
/proc/meminfo: memFree=31115364/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=45540 CPUtime=1182.32 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 13454 0 0 0 111612 6620 0 0 25 0 1 0 342627311 46632960 10379 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 11385 10379 698 1169 0 10212 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 45540
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.45 3/178 17307
/proc/meminfo: memFree=31114160/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=46116 CPUtime=1242.32 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 13576 0 0 0 117320 6912 0 0 25 0 1 0 342627311 47222784 10501 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 11529 10501 698 1169 0 10356 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 46116
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.48 3/178 17309
/proc/meminfo: memFree=31113196/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=46708 CPUtime=1302.33 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 13723 0 0 0 123030 7203 0 0 25 0 1 0 342627311 47828992 10648 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 11677 10648 698 1169 0 10504 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 46708
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/178 17310
/proc/meminfo: memFree=31112884/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=46876 CPUtime=1362.33 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 13754 0 0 0 128736 7497 0 0 25 0 1 0 342627311 48001024 10679 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 11719 10679 698 1169 0 10546 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 46876
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 3/178 17312
/proc/meminfo: memFree=31112768/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=46876 CPUtime=1422.34 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 13770 0 0 0 134445 7789 0 0 25 0 1 0 342627311 48001024 10695 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 11719 10695 698 1169 0 10546 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 46876
[startup+1482.3 s]
/proc/loadavg: 2.03 1.99 1.57 3/178 17389
/proc/meminfo: memFree=31115200/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=46876 CPUtime=1482.33 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 13790 0 0 0 140129 8104 0 0 25 0 1 0 342627311 48001024 10715 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 11719 10715 698 1169 0 10546 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 46876
[startup+1542.3 s]
/proc/loadavg: 2.01 1.99 1.59 3/178 17391
/proc/meminfo: memFree=31114352/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=46876 CPUtime=1542.34 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 13790 0 0 0 145833 8401 0 0 25 0 1 0 342627311 48001024 10715 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 11719 10715 698 1169 0 10546 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 46876
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.61 3/178 17392
/proc/meminfo: memFree=31113708/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=47172 CPUtime=1602.34 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 13814 0 0 0 151532 8702 0 0 25 0 1 0 342627311 48304128 10739 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 11793 10739 698 1169 0 10620 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 47172
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.64 3/178 17394
/proc/meminfo: memFree=31113124/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=47172 CPUtime=1662.34 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 13842 0 0 0 157254 8980 0 0 25 0 1 0 342627311 48304128 10767 33554432000 4194304 8979876 140734364528784 18446744073709551615 4291237 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 11793 10767 698 1169 0 10620 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 47172
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.65 3/178 17396
/proc/meminfo: memFree=31111040/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=47572 CPUtime=1722.34 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 13968 0 0 0 162971 9263 0 0 25 0 1 0 342627311 48713728 10893 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 11893 10893 698 1169 0 10720 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 47572
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.67 3/178 17397
/proc/meminfo: memFree=31110344/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=47704 CPUtime=1782.34 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 13976 0 0 0 168684 9550 0 0 25 0 1 0 342627311 48848896 10901 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 11926 10901 698 1169 0 10753 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 47704
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 1.99 1.67 3/178 17398
/proc/meminfo: memFree=31110096/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=47704 CPUtime=1785.55 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 13976 0 0 0 168990 9565 0 0 25 0 1 0 342627311 48848896 10901 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 11926 10901 698 1169 0 10753 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 47704
[startup+1791.91 s]
/proc/loadavg: 2.00 1.99 1.67 3/178 17398
/proc/meminfo: memFree=31110324/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=47704 CPUtime=1791.94 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 13976 0 0 0 169600 9594 0 0 25 0 1 0 342627311 48848896 10901 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 11926 10901 698 1169 0 10753 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 47704
[startup+1795.1 s]
/proc/loadavg: 2.00 1.99 1.67 3/178 17398
/proc/meminfo: memFree=31110312/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=47704 CPUtime=1795.15 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 13976 0 0 0 169908 9607 0 0 25 0 1 0 342627311 48848896 10901 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 11926 10901 698 1169 0 10753 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 47704
[startup+1795.9 s]
/proc/loadavg: 2.00 1.99 1.67 3/178 17398
/proc/meminfo: memFree=31110312/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=47704 CPUtime=1795.94 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 13976 0 0 0 169984 9610 0 0 25 0 1 0 342627311 48848896 10901 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 11926 10901 698 1169 0 10753 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (KiB) 47704
[startup+1796.7 s]
/proc/loadavg: 2.00 1.99 1.68 3/178 17398
/proc/meminfo: memFree=31110312/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=47704 CPUtime=1796.74 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 13976 0 0 0 170061 9613 0 0 25 0 1 0 342627311 48848896 10901 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 11926 10901 698 1169 0 10753 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 47704
[startup+1796.9 s]
/proc/loadavg: 2.00 1.99 1.68 3/178 17398
/proc/meminfo: memFree=31110312/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=47704 CPUtime=1796.94 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 13976 0 0 0 170079 9615 0 0 25 0 1 0 342627311 48848896 10901 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 11926 10901 698 1169 0 10753 0
Current children cumulated CPU time (s) 1796.94
Current children cumulated vsize (KiB) 47704
[startup+1797 s]
/proc/loadavg: 2.00 1.99 1.68 3/178 17398
/proc/meminfo: memFree=31110312/32950928 swapFree=67054696/67111528
[pid=16525] ppid=16523 vsize=47704 CPUtime=1797.05 cores=1,3,5,7
/proc/16525/stat : 16525 (scip-2.0.1.4_2.) R 16523 16525 16493 0 -1 4202496 13977 0 0 0 170089 9616 0 0 25 0 1 0 342627311 48848896 10902 33554432000 4194304 8979876 140734364528784 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/16525/statm: 11926 10902 699 1169 0 10753 0
Current children cumulated CPU time (s) 1797.05
Current children cumulated vsize (KiB) 47704
Child status: 0
Real time (s): 1797.02
CPU time (s): 1797.07
CPU user time (s): 1700.9
CPU system time (s): 96.1644
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 47704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1700.9
system time used= 96.1644
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13985
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= 7
involuntary context switches= 2699
runsolver used 2.32864 second user time and 5.85411 second system time
The end