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-3729118-1338681008.opb>
0.00/0.01 c original problem has 428 variables (428 bin, 0 int, 0 impl, 0 cont) and 644 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, 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.04 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.04 c presolving (5 rounds):
0.00/0.04 c 8 deleted vars, 12 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 15484 implications, 0 cliques
0.00/0.04 c presolved problem has 420 variables (420 bin, 0 int, 0 impl, 0 cont) and 632 constraints
0.00/0.04 c 290 constraints of type <knapsack>
0.00/0.04 c 210 constraints of type <setppc>
0.00/0.04 c 132 constraints of type <logicor>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.03
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 2.0.1.5
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1797
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c limits/solutions = 1
0.00/0.04 c
0.00/0.04 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.04 c separating/maxrounds = 1
0.00/0.04 c
0.00/0.04 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/maxroundsroot = 5
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/indicator/addCouplingCons = TRUE
0.00/0.04 c
0.00/0.04 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.04 c constraints/knapsack/disaggregation = FALSE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c presolving/probing/maxrounds = 0
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/coefdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.04 c heuristics/crossover/freq = -1
0.00/0.04 c
0.00/0.04 c # number of nodes added to the contingent of the total nodes
0.00/0.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.04 c heuristics/crossover/nodesofs = 750
0.00/0.04 c
0.00/0.04 c # number of nodes without incumbent change that heuristic should wait
0.00/0.04 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.04 c heuristics/crossover/nwaitingnodes = 100
0.00/0.04 c
0.00/0.04 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.04 c # [type: real, range: [0,1], default: 0.1]
0.00/0.04 c heuristics/crossover/nodesquot = 0.15
0.00/0.04 c
0.00/0.04 c # minimum percentage of integer variables that have to be fixed
0.00/0.04 c # [type: real, range: [0,1], default: 0.666]
0.00/0.04 c heuristics/crossover/minfixingrate = 0.5
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.04 c heuristics/feaspump/freq = -1
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/fracdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/guideddiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/intshifting/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/linesearchdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.04 c heuristics/objpscostdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.04 c # [type: real, range: [0,1], default: 0.01]
0.00/0.04 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/oneopt/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/pscostdiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c heuristics/rens/freq = -1
0.00/0.04 c
0.00/0.04 c # minimum percentage of integer variables that have to be fixable
0.00/0.04 c # [type: real, range: [0,1], default: 0.5]
0.00/0.04 c heuristics/rens/minfixingrate = 0.3
0.00/0.04 c
0.00/0.04 c # number of nodes added to the contingent of the total nodes
0.00/0.04 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.04 c heuristics/rens/nodesofs = 2000
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.04 c heuristics/rootsoldiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.04 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/rounding/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c heuristics/shiftandpropagate/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/shifting/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/simplerounding/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/subnlp/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c heuristics/trivial/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/trysol/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c heuristics/undercover/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.04 c heuristics/veclendiving/freq = -1
0.00/0.04 c
0.00/0.04 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.04 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.04 c
0.00/0.04 c # additional number of allowed LP iterations
0.00/0.04 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.04 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.04 c
0.00/0.04 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.04 c heuristics/zirounding/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c separating/cmir/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.04 c separating/flowcover/freq = -1
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.05 c 0.0s| 1 | 0 | 251 | - |2752k| 0 | 113 | 420 | 632 | 420 | 632 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 1386 | - |3874k| 0 | 204 | 420 | 632 | 420 | 946 | 314 | 0 | 0 | 0.000000e+00 | -- | Inf
0.38/0.43 c 0.4s| 1 | 0 | 1750 | - |7372k| 0 | 235 | 420 | 632 | 420 |1250 | 618 | 0 | 0 | 0.000000e+00 | -- | Inf
0.58/0.65 c 0.6s| 1 | 0 | 2040 | - | 10M| 0 | 250 | 420 | 632 | 420 |1291 | 659 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.87 c 0.9s| 1 | 0 | 2293 | - | 12M| 0 | 247 | 420 | 632 | 420 |1367 | 735 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.06 c 1.1s| 1 | 0 | 2442 | - | 15M| 0 | 245 | 420 | 632 | 420 |1395 | 763 | 0 | 0 | 0.000000e+00 | -- | Inf
1.09/1.19 c 1.2s| 1 | 2 | 2442 | - | 15M| 0 | 245 | 420 | 632 | 420 |1395 | 763 | 0 | 10 | 0.000000e+00 | -- | Inf
16.08/16.10 c 16.1s| 10000 | 49 |129945 | 12.8 | 15M| 37 | - | 420 | 804 | 420 | 848 | 763 | 369 |2829 | 0.000000e+00 | -- | Inf
25.29/25.36 c 25.4s| 20000 | 70 |251059 | 12.4 | 16M| 38 | 42 | 420 | 929 | 420 | 848 | 763 | 694 |2970 | 0.000000e+00 | -- | Inf
33.68/33.72 c 33.7s| 30000 | 62 |354054 | 11.7 | 16M| 48 | 38 | 420 |1088 | 420 | 848 | 763 |1174 |3214 | 0.000000e+00 | -- | Inf
43.47/43.50 c 43.5s| 40000 | 80 |469581 | 11.7 | 16M| 51 | - | 420 |1081 | 420 | 848 | 763 |1486 |3798 | 0.000000e+00 | -- | Inf
54.67/54.72 c 54.7s| 50000 | 84 |599283 | 11.9 | 16M| 51 | - | 420 |1088 | 420 | 848 | 763 |1791 |4667 | 0.000000e+00 | -- | Inf
63.97/64.06 c 64.1s| 60000 | 98 |716695 | 11.9 | 16M| 51 | - | 420 |1059 | 0 | 0 | 763 |2152 |4961 | 0.000000e+00 | -- | Inf
74.17/74.21 c 74.2s| 70000 | 91 |842480 | 12.0 | 16M| 51 | 38 | 420 |1044 | 420 | 848 | 763 |2444 |5438 | 0.000000e+00 | -- | Inf
85.16/85.25 c 85.2s| 80000 | 109 |980928 | 12.2 | 16M| 51 | - | 420 |1064 | 0 | 0 | 763 |2710 |5984 | 0.000000e+00 | -- | Inf
95.46/95.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.46/95.50 c 95.5s| 90000 | 110 | 1112k| 12.3 | 16M| 51 | - | 420 |1113 | 420 | 848 | 763 |3012 |6359 | 0.000000e+00 | -- | Inf
103.16/103.24 c 103s|100000 | 109 | 1206k| 12.0 | 16M| 52 | 36 | 420 |1302 | 420 | 848 | 763 |3560 |6547 | 0.000000e+00 | -- | Inf
110.27/110.39 c 110s|110000 | 129 | 1292k| 11.7 | 16M| 52 | - | 420 |1561 | 0 | 0 | 763 |4118 |6698 | 0.000000e+00 | -- | Inf
118.16/118.27 c 118s|120000 | 127 | 1389k| 11.6 | 16M| 53 | 22 | 420 |1563 | 420 | 848 | 763 |4566 |6819 | 0.000000e+00 | -- | Inf
127.06/127.18 c 127s|130000 | 124 | 1494k| 11.5 | 16M| 60 | - | 420 |1475 | 0 | 0 | 763 |4995 |7324 | 0.000000e+00 | -- | Inf
136.76/136.88 c 137s|140000 | 146 | 1616k| 11.5 | 16M| 60 | - | 420 |1477 | 420 | 848 | 763 |5302 |7620 | 0.000000e+00 | -- | Inf
145.56/145.66 c 146s|150000 | 155 | 1728k| 11.5 | 16M| 60 | - | 420 |1580 | 420 | 848 | 763 |5613 |7777 | 0.000000e+00 | -- | Inf
153.46/153.54 c 154s|160000 | 163 | 1824k| 11.4 | 16M| 60 | - | 420 |1677 | 0 | 0 | 763 |6013 |7898 | 0.000000e+00 | -- | Inf
162.15/162.23 c 162s|170000 | 152 | 1929k| 11.3 | 16M| 60 | 36 | 420 |1623 | 420 | 848 | 763 |6353 |8189 | 0.000000e+00 | -- | Inf
170.56/170.66 c 171s|180000 | 171 | 2034k| 11.3 | 16M| 60 | - | 420 |1708 | 0 | 0 | 763 |6687 |8340 | 0.000000e+00 | -- | Inf
178.65/178.78 c 179s|190000 | 204 | 2135k| 11.2 | 16M| 60 | - | 420 |1761 | 420 | 848 | 763 |7039 |8435 | 0.000000e+00 | -- | Inf
187.26/187.39 c 187s|200000 | 196 | 2241k| 11.2 | 16M| 63 | 23 | 420 |1662 | 420 | 848 | 763 |7330 |8637 | 0.000000e+00 | -- | Inf
196.45/196.57 c 197s|210000 | 221 | 2358k| 11.2 | 17M| 63 | 24 | 420 |1757 | 420 | 848 | 763 |7686 |8850 | 0.000000e+00 | -- | Inf
206.15/206.29 c 206s|220000 | 209 | 2479k| 11.3 | 16M| 63 | 18 | 420 |1634 | 420 | 848 | 763 |7969 |9082 | 0.000000e+00 | -- | Inf
214.05/214.18 c 214s|230000 | 242 | 2576k| 11.2 | 17M| 63 | - | 420 |1847 | 420 | 848 | 763 |8420 |9277 | 0.000000e+00 | -- | Inf
222.05/222.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
222.05/222.17 c 222s|240000 | 252 | 2675k| 11.1 | 17M| 63 | 30 | 420 |2056 | 420 | 848 | 763 |8946 |9393 | 0.000000e+00 | -- | Inf
229.95/230.04 c 230s|250000 | 236 | 2772k| 11.1 | 17M| 63 | - | 420 |2165 | 0 | 0 | 763 |9467 |9521 | 0.000000e+00 | -- | Inf
237.94/238.07 c 238s|260000 | 227 | 2870k| 11.0 | 17M| 63 | - | 420 |1980 | 420 | 848 | 763 |9917 |9678 | 0.000000e+00 | -- | Inf
246.25/246.33 c 246s|270000 | 236 | 2974k| 11.0 | 17M| 63 | 42 | 420 |2057 | 420 | 848 | 763 | 10k|9834 | 0.000000e+00 | -- | Inf
254.54/254.60 c 255s|280000 | 230 | 3079k| 11.0 | 17M| 63 | 34 | 420 |2043 | 420 | 848 | 763 | 10k|9980 | 0.000000e+00 | -- | Inf
263.74/263.81 c 264s|290000 | 232 | 3198k| 11.0 | 17M| 63 | 22 | 420 |2037 | 420 | 848 | 763 | 10k| 10k| 0.000000e+00 | -- | Inf
271.64/271.73 c 272s|300000 | 241 | 3297k| 11.0 | 17M| 63 | 31 | 420 |2108 | 420 | 848 | 763 | 11k| 10k| 0.000000e+00 | -- | Inf
280.54/280.62 c 281s|310000 | 252 | 3410k| 11.0 | 17M| 63 | 29 | 420 |2057 | 420 | 848 | 763 | 11k| 10k| 0.000000e+00 | -- | Inf
289.25/289.33 c 289s|320000 | 256 | 3519k| 11.0 | 17M| 63 | 39 | 420 |2175 | 420 | 848 | 763 | 12k| 10k| 0.000000e+00 | -- | Inf
298.14/298.24 c 298s|330000 | 275 | 3629k| 11.0 | 17M| 63 | - | 420 |2086 | 0 | 0 | 763 | 12k| 10k| 0.000000e+00 | -- | Inf
307.13/307.23 c 307s|340000 | 268 | 3743k| 11.0 | 17M| 63 | 31 | 420 |2122 | 420 | 848 | 763 | 12k| 10k| 0.000000e+00 | -- | Inf
316.74/316.83 c 317s|350000 | 258 | 3868k| 11.0 | 17M| 63 | - | 420 |2022 | 0 | 0 | 763 | 13k| 11k| 0.000000e+00 | -- | Inf
325.63/325.77 c 326s|360000 | 241 | 3982k| 11.1 | 17M| 63 | 27 | 420 |1757 | 420 | 848 | 763 | 13k| 11k| 0.000000e+00 | -- | Inf
333.03/333.18 c 333s|370000 | 302 | 4073k| 11.0 | 17M| 63 | - | 420 |1904 | 0 | 0 | 763 | 13k| 11k| 0.000000e+00 | -- | Inf
340.33/340.43 c 340s|380000 | 252 | 4161k| 10.9 | 17M| 63 | - | 420 |1892 | 0 | 0 | 763 | 14k| 11k| 0.000000e+00 | -- | Inf
348.23/348.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.23/348.31 c 348s|390000 | 260 | 4261k| 10.9 | 17M| 63 | - | 420 |2001 | 0 | 0 | 763 | 14k| 11k| 0.000000e+00 | -- | Inf
356.02/356.17 c 356s|400000 | 314 | 4359k| 10.9 | 17M| 68 | 37 | 420 |2040 | 420 | 848 | 763 | 15k| 11k| 0.000000e+00 | -- | Inf
364.13/364.22 c 364s|410000 | 281 | 4460k| 10.9 | 17M| 68 | - | 420 |2075 | 0 | 0 | 763 | 15k| 11k| 0.000000e+00 | -- | Inf
372.03/372.11 c 372s|420000 | 264 | 4558k| 10.8 | 17M| 68 | 27 | 420 |2130 | 420 | 848 | 763 | 16k| 11k| 0.000000e+00 | -- | Inf
379.82/379.98 c 380s|430000 | 260 | 4656k| 10.8 | 17M| 68 | - | 420 |2102 | 0 | 0 | 763 | 16k| 11k| 0.000000e+00 | -- | Inf
388.32/388.40 c 388s|440000 | 250 | 4761k| 10.8 | 17M| 68 | - | 420 |2128 | 0 | 0 | 763 | 16k| 12k| 0.000000e+00 | -- | Inf
396.42/396.54 c 397s|450000 | 252 | 4861k| 10.8 | 17M| 68 | 31 | 420 |2076 | 420 | 848 | 763 | 17k| 12k| 0.000000e+00 | -- | Inf
404.01/404.17 c 404s|460000 | 260 | 4956k| 10.8 | 17M| 68 | 38 | 420 |2102 | 420 | 848 | 763 | 17k| 12k| 0.000000e+00 | -- | Inf
412.82/412.98 c 413s|470000 | 239 | 5066k| 10.8 | 17M| 68 | 35 | 420 |1874 | 420 | 848 | 763 | 18k| 12k| 0.000000e+00 | -- | Inf
421.71/421.86 c 422s|480000 | 242 | 5181k| 10.8 | 17M| 68 | 26 | 420 |1936 | 420 | 848 | 763 | 18k| 12k| 0.000000e+00 | -- | Inf
429.71/429.80 c 430s|490000 | 246 | 5279k| 10.8 | 17M| 68 | 41 | 420 |1978 | 420 | 848 | 763 | 18k| 12k| 0.000000e+00 | -- | Inf
437.92/438.04 c 438s|500000 | 261 | 5381k| 10.8 | 17M| 68 | 52 | 420 |2020 | 420 | 848 | 763 | 19k| 12k| 0.000000e+00 | -- | Inf
446.92/447.03 c 447s|510000 | 260 | 5495k| 10.8 | 17M| 68 | - | 420 |2041 | 0 | 0 | 763 | 19k| 12k| 0.000000e+00 | -- | Inf
455.91/456.06 c 456s|520000 | 256 | 5609k| 10.8 | 17M| 68 | - | 420 |1813 | 420 | 848 | 763 | 19k| 12k| 0.000000e+00 | -- | Inf
464.50/464.61 c 465s|530000 | 269 | 5717k| 10.8 | 17M| 68 | - | 420 |1888 | 420 | 848 | 763 | 20k| 13k| 0.000000e+00 | -- | Inf
473.00/473.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
473.00/473.18 c 473s|540000 | 273 | 5823k| 10.8 | 17M| 68 | 44 | 420 |1966 | 420 | 848 | 763 | 20k| 13k| 0.000000e+00 | -- | Inf
482.21/482.32 c 482s|550000 | 273 | 5940k| 10.8 | 17M| 68 | 35 | 420 |1957 | 420 | 848 | 763 | 20k| 13k| 0.000000e+00 | -- | Inf
491.70/491.80 c 492s|560000 | 280 | 6062k| 10.8 | 17M| 68 | 58 | 420 |1956 | 420 | 848 | 763 | 21k| 13k| 0.000000e+00 | -- | Inf
500.90/501.08 c 501s|570000 | 275 | 6178k| 10.8 | 17M| 68 | 41 | 420 |1829 | 420 | 848 | 763 | 21k| 13k| 0.000000e+00 | -- | Inf
509.50/509.69 c 510s|580000 | 302 | 6287k| 10.8 | 17M| 68 | 27 | 420 |1741 | 420 | 848 | 763 | 21k| 13k| 0.000000e+00 | -- | Inf
518.10/518.25 c 518s|590000 | 274 | 6395k| 10.8 | 17M| 68 | - | 420 |1634 | 420 | 848 | 763 | 22k| 13k| 0.000000e+00 | -- | Inf
527.20/527.38 c 527s|600000 | 269 | 6514k| 10.9 | 17M| 68 | 47 | 420 |1567 | 420 | 848 | 763 | 22k| 13k| 0.000000e+00 | -- | Inf
536.90/537.08 c 537s|610000 | 273 | 6641k| 10.9 | 17M| 68 | - | 420 |1551 | 420 | 848 | 763 | 22k| 13k| 0.000000e+00 | -- | Inf
546.30/546.41 c 546s|620000 | 274 | 6761k| 10.9 | 17M| 68 | - | 420 |1560 | 420 | 848 | 763 | 23k| 14k| 0.000000e+00 | -- | Inf
554.59/554.74 c 555s|630000 | 295 | 6863k| 10.9 | 17M| 68 | - | 420 |1703 | 420 | 848 | 763 | 23k| 14k| 0.000000e+00 | -- | Inf
563.00/563.14 c 563s|640000 | 294 | 6968k| 10.9 | 17M| 68 | 38 | 420 |1640 | 420 | 848 | 763 | 23k| 14k| 0.000000e+00 | -- | Inf
571.40/571.51 c 572s|650000 | 324 | 7075k| 10.9 | 17M| 68 | 32 | 420 |1693 | 420 | 848 | 763 | 24k| 14k| 0.000000e+00 | -- | Inf
579.39/579.53 c 580s|660000 | 309 | 7173k| 10.9 | 17M| 68 | 36 | 420 |1637 | 420 | 848 | 763 | 24k| 14k| 0.000000e+00 | -- | Inf
588.09/588.24 c 588s|670000 | 318 | 7284k| 10.9 | 17M| 68 | - | 420 |1726 | 0 | 0 | 763 | 24k| 14k| 0.000000e+00 | -- | Inf
597.29/597.42 c 597s|680000 | 347 | 7401k| 10.9 | 17M| 68 | 38 | 420 |1622 | 420 | 848 | 763 | 25k| 14k| 0.000000e+00 | -- | Inf
606.59/606.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
606.59/606.71 c 607s|690000 | 330 | 7520k| 10.9 | 17M| 68 | 50 | 420 |1598 | 420 | 848 | 763 | 25k| 14k| 0.000000e+00 | -- | Inf
615.79/615.97 c 616s|700000 | 322 | 7640k| 10.9 | 17M| 68 | 42 | 420 |1606 | 420 | 848 | 763 | 25k| 14k| 0.000000e+00 | -- | Inf
624.48/624.65 c 625s|710000 | 322 | 7750k| 10.9 | 17M| 68 | 26 | 420 |1568 | 420 | 848 | 763 | 26k| 14k| 0.000000e+00 | -- | Inf
632.49/632.66 c 633s|720000 | 302 | 7852k| 10.9 | 17M| 68 | - | 420 |1677 | 420 | 848 | 763 | 26k| 14k| 0.000000e+00 | -- | Inf
641.08/641.20 c 641s|730000 | 321 | 7958k| 10.9 | 17M| 68 | - | 420 |1670 | 0 | 0 | 763 | 26k| 15k| 0.000000e+00 | -- | Inf
649.48/649.65 c 650s|740000 | 318 | 8065k| 10.9 | 17M| 68 | - | 420 |1727 | 420 | 848 | 763 | 27k| 15k| 0.000000e+00 | -- | Inf
658.69/658.82 c 659s|750000 | 346 | 8183k| 10.9 | 17M| 68 | 45 | 420 |1742 | 420 | 848 | 763 | 27k| 15k| 0.000000e+00 | -- | Inf
668.28/668.48 c 668s|760000 | 337 | 8309k| 10.9 | 17M| 68 | 29 | 420 |1645 | 420 | 848 | 763 | 28k| 15k| 0.000000e+00 | -- | Inf
677.58/677.74 c 678s|770000 | 319 | 8429k| 10.9 | 17M| 70 | - | 420 |1630 | 420 | 848 | 763 | 28k| 15k| 0.000000e+00 | -- | Inf
686.67/686.87 c 687s|780000 | 309 | 8545k| 11.0 | 17M| 70 | - | 420 |1553 | 0 | 0 | 763 | 28k| 15k| 0.000000e+00 | -- | Inf
695.17/695.34 c 695s|790000 | 307 | 8653k| 11.0 | 17M| 70 | 39 | 420 |1664 | 420 | 848 | 763 | 29k| 15k| 0.000000e+00 | -- | Inf
707.87/708.00 c 708s|800000 | 287 | 8767k| 11.0 | 17M| 70 | - | 420 |1593 | 0 | 0 | 763 | 29k| 17k| 0.000000e+00 | -- | Inf
718.07/718.24 c 718s|810000 | 289 | 8876k| 11.0 | 17M| 70 | - | 420 |1611 | 0 | 0 | 763 | 29k| 18k| 0.000000e+00 | -- | Inf
726.77/726.93 c 727s|820000 | 286 | 8989k| 11.0 | 17M| 70 | 41 | 420 |1531 | 420 | 848 | 763 | 30k| 18k| 0.000000e+00 | -- | Inf
735.06/735.24 c 735s|830000 | 282 | 9097k| 11.0 | 17M| 70 | - | 420 |1634 | 0 | 0 | 763 | 30k| 18k| 0.000000e+00 | -- | Inf
743.66/743.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
743.66/743.86 c 744s|840000 | 272 | 9209k| 11.0 | 17M| 70 | 26 | 420 |1491 | 420 | 848 | 763 | 30k| 18k| 0.000000e+00 | -- | Inf
751.56/751.77 c 752s|850000 | 268 | 9309k| 11.0 | 17M| 70 | 35 | 420 |1574 | 420 | 848 | 763 | 31k| 18k| 0.000000e+00 | -- | Inf
762.47/762.63 c 763s|860000 | 264 | 9437k| 11.0 | 17M| 70 | - | 420 |1243 | 0 | 0 | 763 | 31k| 19k| 0.000000e+00 | -- | Inf
771.77/771.93 c 772s|870000 | 292 | 9560k| 11.0 | 17M| 70 | - | 420 |1314 | 420 | 848 | 763 | 31k| 19k| 0.000000e+00 | -- | Inf
779.96/780.17 c 780s|880000 | 305 | 9665k| 11.0 | 17M| 70 | - | 420 |1372 | 0 | 0 | 763 | 32k| 19k| 0.000000e+00 | -- | Inf
788.16/788.40 c 788s|890000 | 354 | 9770k| 11.0 | 17M| 70 | 41 | 420 |1435 | 420 | 848 | 763 | 32k| 19k| 0.000000e+00 | -- | Inf
796.75/796.96 c 797s|900000 | 343 | 9880k| 11.0 | 17M| 70 | - | 420 |1422 | 420 | 848 | 763 | 32k| 19k| 0.000000e+00 | -- | Inf
805.26/805.47 c 805s|910000 | 336 | 9989k| 11.0 | 17M| 70 | - | 420 |1480 | 0 | 0 | 763 | 33k| 19k| 0.000000e+00 | -- | Inf
814.06/814.28 c 814s|920000 | 362 | 10103k| 11.0 | 17M| 70 | - | 420 |1478 | 420 | 848 | 763 | 33k| 19k| 0.000000e+00 | -- | Inf
822.95/823.14 c 823s|930000 | 403 | 10218k| 11.0 | 17M| 70 | 40 | 420 |1468 | 420 | 848 | 763 | 33k| 19k| 0.000000e+00 | -- | Inf
831.86/832.00 c 832s|940000 | 378 | 10333k| 11.0 | 17M| 70 | - | 420 |1540 | 0 | 0 | 763 | 34k| 19k| 0.000000e+00 | -- | Inf
840.26/840.47 c 840s|950000 | 348 | 10443k| 11.0 | 17M| 70 | - | 420 |1521 | 420 | 848 | 763 | 34k| 19k| 0.000000e+00 | -- | Inf
849.25/849.40 c 849s|960000 | 394 | 10560k| 11.0 | 17M| 70 | 45 | 420 |1454 | 420 | 848 | 763 | 34k| 19k| 0.000000e+00 | -- | Inf
857.65/857.86 c 858s|970000 | 400 | 10670k| 11.0 | 17M| 70 | 31 | 420 |1520 | 420 | 848 | 763 | 35k| 19k| 0.000000e+00 | -- | Inf
866.25/866.41 c 866s|980000 | 397 | 10779k| 11.0 | 17M| 70 | 32 | 420 |1554 | 420 | 848 | 763 | 35k| 19k| 0.000000e+00 | -- | Inf
875.04/875.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
875.04/875.29 c 875s|990000 | 413 | 10894k| 11.0 | 17M| 70 | 35 | 420 |1463 | 420 | 848 | 763 | 35k| 19k| 0.000000e+00 | -- | Inf
883.54/883.78 c 884s| 1000k| 462 | 11005k| 11.0 | 18M| 70 | 41 | 420 |1535 | 420 | 848 | 763 | 35k| 19k| 0.000000e+00 | -- | Inf
892.54/892.72 c 893s| 1010k| 594 | 11123k| 11.0 | 18M| 70 | 39 | 420 |1594 | 420 | 848 | 763 | 36k| 19k| 0.000000e+00 | -- | Inf
901.85/902.00 c 902s| 1020k| 590 | 11245k| 11.0 | 18M| 70 | 33 | 420 |1537 | 420 | 848 | 763 | 36k| 19k| 0.000000e+00 | -- | Inf
911.34/911.50 c 912s| 1030k| 577 | 11369k| 11.0 | 18M| 70 | 44 | 420 |1525 | 420 | 848 | 763 | 36k| 19k| 0.000000e+00 | -- | Inf
920.14/920.37 c 920s| 1040k| 586 | 11485k| 11.0 | 18M| 70 | 35 | 420 |1595 | 420 | 848 | 763 | 37k| 19k| 0.000000e+00 | -- | Inf
929.63/929.80 c 930s| 1050k| 632 | 11608k| 11.1 | 18M| 70 | 31 | 420 |1489 | 420 | 848 | 763 | 37k| 19k| 0.000000e+00 | -- | Inf
939.14/939.37 c 939s| 1060k| 599 | 11732k| 11.1 | 18M| 70 | - | 420 |1476 | 420 | 848 | 763 | 37k| 19k| 0.000000e+00 | -- | Inf
948.83/949.05 c 949s| 1070k| 564 | 11858k| 11.1 | 18M| 70 | - | 420 |1472 | 420 | 848 | 763 | 37k| 19k| 0.000000e+00 | -- | Inf
957.64/957.87 c 958s| 1080k| 543 | 11972k| 11.1 | 18M| 70 | - | 420 |1446 | 420 | 848 | 763 | 38k| 19k| 0.000000e+00 | -- | Inf
965.93/966.14 c 966s| 1090k| 550 | 12079k| 11.1 | 18M| 70 | - | 420 |1470 | 0 | 0 | 763 | 38k| 19k| 0.000000e+00 | -- | Inf
974.93/975.13 c 975s| 1100k| 567 | 12196k| 11.1 | 18M| 70 | - | 420 |1516 | 0 | 0 | 763 | 38k| 19k| 0.000000e+00 | -- | Inf
983.63/983.87 c 984s| 1110k| 563 | 12308k| 11.1 | 18M| 70 | 41 | 420 |1559 | 420 | 848 | 763 | 39k| 20k| 0.000000e+00 | -- | Inf
991.22/991.44 c 991s| 1120k| 565 | 12402k| 11.1 | 18M| 70 | 35 | 420 |1565 | 420 | 848 | 763 | 39k| 20k| 0.000000e+00 | -- | Inf
999.23/999.46 c 999s| 1130k| 580 | 12503k| 11.1 | 18M| 70 | 42 | 420 |1645 | 420 | 848 | 763 | 39k| 20k| 0.000000e+00 | -- | Inf
1008.32/1008.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1008.32/1008.59 c 1009s| 1140k| 584 | 12619k| 11.1 | 18M| 70 | 35 | 420 |1530 | 420 | 848 | 763 | 40k| 20k| 0.000000e+00 | -- | Inf
1017.13/1017.39 c 1017s| 1150k| 579 | 12732k| 11.1 | 18M| 70 | 47 | 420 |1556 | 420 | 848 | 763 | 40k| 20k| 0.000000e+00 | -- | Inf
1026.32/1026.54 c 1027s| 1160k| 564 | 12848k| 11.1 | 18M| 70 | - | 420 |1440 | 0 | 0 | 763 | 40k| 20k| 0.000000e+00 | -- | Inf
1034.83/1035.03 c 1035s| 1170k| 581 | 12956k| 11.1 | 18M| 70 | 45 | 420 |1545 | 420 | 848 | 763 | 40k| 20k| 0.000000e+00 | -- | Inf
1047.52/1047.78 c 1048s| 1180k| 540 | 13085k| 11.1 | 18M| 70 | 53 | 420 |1128 | 420 | 848 | 763 | 41k| 22k| 0.000000e+00 | -- | Inf
1057.01/1057.28 c 1057s| 1190k| 509 | 13204k| 11.1 | 18M| 70 | - | 420 |1157 | 420 | 848 | 763 | 41k| 22k| 0.000000e+00 | -- | Inf
1066.62/1066.85 c 1067s| 1200k| 506 | 13333k| 11.1 | 18M| 70 | - | 420 |1164 | 0 | 0 | 763 | 41k| 22k| 0.000000e+00 | -- | Inf
1075.82/1076.00 c 1076s| 1210k| 480 | 13451k| 11.1 | 18M| 70 | 48 | 420 |1150 | 420 | 848 | 763 | 42k| 22k| 0.000000e+00 | -- | Inf
1085.12/1085.32 c 1085s| 1220k| 484 | 13575k| 11.1 | 18M| 70 | 46 | 420 |1115 | 420 | 848 | 763 | 42k| 22k| 0.000000e+00 | -- | Inf
1095.61/1095.85 c 1096s| 1230k| 481 | 13698k| 11.1 | 18M| 70 | - | 420 |1135 | 420 | 848 | 763 | 42k| 23k| 0.000000e+00 | -- | Inf
1105.41/1105.68 c 1106s| 1240k| 479 | 13830k| 11.2 | 18M| 70 | 51 | 420 |1090 | 420 | 848 | 763 | 42k| 23k| 0.000000e+00 | -- | Inf
1113.81/1114.00 c 1114s| 1250k| 492 | 13938k| 11.1 | 18M| 70 | 25 | 420 |1144 | 420 | 848 | 763 | 43k| 23k| 0.000000e+00 | -- | Inf
1122.01/1122.27 c 1122s| 1260k| 511 | 14045k| 11.1 | 18M| 70 | - | 420 |1323 | 0 | 0 | 763 | 43k| 23k| 0.000000e+00 | -- | Inf
1130.41/1130.60 c 1131s| 1270k| 521 | 14154k| 11.1 | 18M| 70 | - | 420 |1414 | 0 | 0 | 763 | 43k| 23k| 0.000000e+00 | -- | Inf
1138.81/1139.03 c 1139s| 1280k| 598 | 14264k| 11.1 | 18M| 70 | 43 | 420 |1457 | 420 | 848 | 763 | 44k| 23k| 0.000000e+00 | -- | Inf
1147.51/1147.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1147.51/1147.73 c 1148s| 1290k| 672 | 14378k| 11.1 | 18M| 70 | - | 420 |1457 | 420 | 848 | 763 | 44k| 23k| 0.000000e+00 | -- | Inf
1156.21/1156.44 c 1156s| 1300k| 664 | 14492k| 11.1 | 18M| 70 | 30 | 420 |1473 | 420 | 848 | 763 | 44k| 23k| 0.000000e+00 | -- | Inf
1165.50/1165.74 c 1166s| 1310k| 700 | 14617k| 11.2 | 18M| 70 | 49 | 420 |1556 | 420 | 848 | 763 | 45k| 23k| 0.000000e+00 | -- | Inf
1174.31/1174.52 c 1175s| 1320k| 711 | 14732k| 11.2 | 18M| 70 | 28 | 420 |1541 | 420 | 848 | 763 | 45k| 23k| 0.000000e+00 | -- | Inf
1182.79/1183.08 c 1183s| 1330k| 707 | 14844k| 11.2 | 18M| 70 | - | 420 |1506 | 0 | 0 | 763 | 45k| 23k| 0.000000e+00 | -- | Inf
1190.49/1190.79 c 1191s| 1340k| 717 | 14942k| 11.1 | 19M| 70 | 28 | 420 |1637 | 420 | 848 | 763 | 46k| 23k| 0.000000e+00 | -- | Inf
1198.50/1198.74 c 1199s| 1350k| 734 | 15043k| 11.1 | 19M| 70 | - | 420 |1621 | 420 | 848 | 763 | 46k| 23k| 0.000000e+00 | -- | Inf
1207.50/1207.71 c 1208s| 1360k| 774 | 15160k| 11.1 | 19M| 70 | 32 | 420 |1611 | 420 | 848 | 763 | 47k| 23k| 0.000000e+00 | -- | Inf
1216.30/1216.53 c 1217s| 1370k| 779 | 15275k| 11.1 | 19M| 70 | - | 420 |1405 | 0 | 0 | 763 | 47k| 23k| 0.000000e+00 | -- | Inf
1225.20/1225.46 c 1225s| 1380k| 841 | 15392k| 11.2 | 19M| 70 | 34 | 420 |1485 | 420 | 848 | 763 | 47k| 23k| 0.000000e+00 | -- | Inf
1233.69/1233.94 c 1234s| 1390k| 847 | 15501k| 11.2 | 19M| 70 | - | 420 |1480 | 420 | 848 | 763 | 47k| 23k| 0.000000e+00 | -- | Inf
1242.49/1242.76 c 1243s| 1400k| 857 | 15616k| 11.2 | 19M| 70 | - | 420 |1577 | 0 | 0 | 763 | 48k| 23k| 0.000000e+00 | -- | Inf
1251.89/1252.10 c 1252s| 1410k| 842 | 15742k| 11.2 | 19M| 70 | - | 420 |1526 | 0 | 0 | 763 | 48k| 23k| 0.000000e+00 | -- | Inf
1260.59/1260.80 c 1261s| 1420k| 857 | 15853k| 11.2 | 19M| 70 | 30 | 420 |1575 | 420 | 848 | 763 | 48k| 23k| 0.000000e+00 | -- | Inf
1269.29/1269.54 c 1270s| 1430k| 852 | 15966k| 11.2 | 19M| 70 | - | 420 |1565 | 0 | 0 | 763 | 49k| 23k| 0.000000e+00 | -- | Inf
1277.68/1277.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1277.68/1277.99 c 1278s| 1440k| 845 | 16075k| 11.2 | 19M| 70 | - | 420 |1536 | 0 | 0 | 763 | 49k| 23k| 0.000000e+00 | -- | Inf
1286.89/1287.13 c 1287s| 1450k| 879 | 16192k| 11.2 | 19M| 70 | 51 | 420 |1541 | 420 | 848 | 763 | 49k| 23k| 0.000000e+00 | -- | Inf
1295.59/1295.80 c 1296s| 1460k| 919 | 16305k| 11.2 | 19M| 70 | - | 420 |1507 | 0 | 0 | 763 | 50k| 23k| 0.000000e+00 | -- | Inf
1304.09/1304.38 c 1304s| 1470k| 966 | 16416k| 11.2 | 19M| 70 | 43 | 420 |1518 | 420 | 848 | 763 | 50k| 23k| 0.000000e+00 | -- | Inf
1313.28/1313.52 c 1314s| 1480k| 968 | 16536k| 11.2 | 19M| 70 | 43 | 420 |1477 | 420 | 848 | 763 | 50k| 23k| 0.000000e+00 | -- | Inf
1322.17/1322.48 c 1322s| 1490k| 935 | 16652k| 11.2 | 19M| 70 | 46 | 420 |1431 | 420 | 848 | 763 | 50k| 23k| 0.000000e+00 | -- | Inf
1330.79/1331.02 c 1331s| 1500k| 945 | 16761k| 11.2 | 19M| 70 | 33 | 420 |1517 | 420 | 848 | 763 | 51k| 23k| 0.000000e+00 | -- | Inf
1339.67/1339.99 c 1340s| 1510k| 938 | 16879k| 11.2 | 19M| 70 | 58 | 420 |1481 | 420 | 848 | 763 | 51k| 23k| 0.000000e+00 | -- | Inf
1348.47/1348.76 c 1349s| 1520k| 1014 | 16991k| 11.2 | 19M| 71 | 32 | 420 |1527 | 420 | 848 | 763 | 51k| 23k| 0.000000e+00 | -- | Inf
1357.27/1357.52 c 1358s| 1530k| 1036 | 17103k| 11.2 | 20M| 71 | 25 | 420 |1534 | 420 | 848 | 763 | 52k| 24k| 0.000000e+00 | -- | Inf
1366.27/1366.53 c 1367s| 1540k| 1001 | 17218k| 11.2 | 19M| 71 | 51 | 420 |1495 | 420 | 848 | 763 | 52k| 24k| 0.000000e+00 | -- | Inf
1375.47/1375.73 c 1376s| 1550k| 1006 | 17339k| 11.2 | 19M| 71 | - | 420 |1537 | 420 | 848 | 763 | 52k| 24k| 0.000000e+00 | -- | Inf
1384.17/1384.45 c 1384s| 1560k| 1010 | 17450k| 11.2 | 19M| 71 | 46 | 420 |1534 | 420 | 848 | 763 | 53k| 24k| 0.000000e+00 | -- | Inf
1392.77/1393.08 c 1393s| 1570k| 1026 | 17562k| 11.2 | 20M| 72 | 35 | 420 |1603 | 420 | 848 | 763 | 53k| 24k| 0.000000e+00 | -- | Inf
1401.77/1402.07 c 1402s| 1580k| 1004 | 17679k| 11.2 | 19M| 72 | 47 | 420 |1541 | 420 | 848 | 763 | 53k| 24k| 0.000000e+00 | -- | Inf
1411.16/1411.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1411.16/1411.41 c 1411s| 1590k| 993 | 17799k| 11.2 | 19M| 72 | 30 | 420 |1464 | 420 | 848 | 763 | 53k| 24k| 0.000000e+00 | -- | Inf
1419.87/1420.13 c 1420s| 1600k| 1007 | 17911k| 11.2 | 20M| 72 | - | 420 |1543 | 0 | 0 | 763 | 54k| 24k| 0.000000e+00 | -- | Inf
1428.66/1428.97 c 1429s| 1610k| 987 | 18025k| 11.2 | 19M| 72 | - | 420 |1509 | 0 | 0 | 763 | 54k| 24k| 0.000000e+00 | -- | Inf
1437.56/1437.84 c 1438s| 1620k| 972 | 18140k| 11.2 | 19M| 72 | - | 420 |1497 | 0 | 0 | 763 | 54k| 24k| 0.000000e+00 | -- | Inf
1446.46/1446.77 c 1447s| 1630k| 969 | 18253k| 11.2 | 19M| 72 | 32 | 420 |1389 | 420 | 848 | 763 | 55k| 24k| 0.000000e+00 | -- | Inf
1455.06/1455.32 c 1455s| 1640k| 963 | 18365k| 11.2 | 19M| 72 | - | 420 |1400 | 0 | 0 | 763 | 55k| 24k| 0.000000e+00 | -- | Inf
1463.26/1463.50 c 1464s| 1650k| 968 | 18470k| 11.2 | 19M| 72 | - | 420 |1284 | 420 | 848 | 763 | 55k| 24k| 0.000000e+00 | -- | Inf
1471.86/1472.17 c 1472s| 1660k| 970 | 18585k| 11.2 | 19M| 72 | 40 | 420 |1359 | 420 | 848 | 763 | 56k| 24k| 0.000000e+00 | -- | Inf
1481.36/1481.62 c 1482s| 1670k| 980 | 18709k| 11.2 | 19M| 72 | 41 | 420 |1366 | 420 | 848 | 763 | 56k| 24k| 0.000000e+00 | -- | Inf
1490.45/1490.73 c 1491s| 1680k| 958 | 18828k| 11.2 | 19M| 72 | 29 | 420 |1366 | 420 | 848 | 763 | 56k| 24k| 0.000000e+00 | -- | Inf
1499.65/1499.94 c 1500s| 1690k| 979 | 18949k| 11.2 | 19M| 72 | - | 420 |1360 | 0 | 0 | 763 | 57k| 24k| 0.000000e+00 | -- | Inf
1509.35/1509.62 c 1510s| 1700k| 958 | 19076k| 11.2 | 19M| 75 | 44 | 420 |1347 | 420 | 848 | 763 | 57k| 24k| 0.000000e+00 | -- | Inf
1518.05/1518.33 c 1518s| 1710k| 950 | 19190k| 11.2 | 19M| 75 | - | 420 |1439 | 0 | 0 | 763 | 57k| 24k| 0.000000e+00 | -- | Inf
1526.75/1527.03 c 1527s| 1720k| 964 | 19301k| 11.2 | 19M| 75 | - | 420 |1457 | 0 | 0 | 763 | 58k| 25k| 0.000000e+00 | -- | Inf
1535.94/1536.24 c 1536s| 1730k| 938 | 19421k| 11.2 | 19M| 75 | 32 | 420 |1276 | 420 | 848 | 763 | 58k| 25k| 0.000000e+00 | -- | Inf
1544.84/1545.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.84/1545.15 c 1545s| 1740k| 930 | 19537k| 11.2 | 19M| 75 | 39 | 420 |1384 | 420 | 848 | 763 | 58k| 25k| 0.000000e+00 | -- | Inf
1554.34/1554.64 c 1555s| 1750k| 937 | 19663k| 11.2 | 19M| 75 | - | 420 |1371 | 420 | 848 | 763 | 58k| 25k| 0.000000e+00 | -- | Inf
1563.74/1564.00 c 1564s| 1760k| 958 | 19786k| 11.2 | 19M| 75 | - | 420 |1393 | 420 | 848 | 763 | 59k| 25k| 0.000000e+00 | -- | Inf
1573.14/1573.44 c 1573s| 1770k| 999 | 19912k| 11.2 | 20M| 75 | 34 | 420 |1448 | 420 | 848 | 763 | 59k| 25k| 0.000000e+00 | -- | Inf
1583.04/1583.31 c 1583s| 1780k| 977 | 20042k| 11.3 | 20M| 75 | 43 | 420 |1358 | 420 | 848 | 763 | 59k| 25k| 0.000000e+00 | -- | Inf
1592.64/1592.92 c 1593s| 1790k| 976 | 20170k| 11.3 | 20M| 75 | - | 420 |1457 | 420 | 848 | 763 | 60k| 25k| 0.000000e+00 | -- | Inf
1602.63/1602.95 c 1603s| 1800k| 941 | 20304k| 11.3 | 19M| 75 | 58 | 420 |1391 | 420 | 848 | 763 | 60k| 25k| 0.000000e+00 | -- | Inf
1611.24/1611.53 c 1612s| 1810k| 947 | 20414k| 11.3 | 20M| 75 | 30 | 420 |1511 | 420 | 848 | 763 | 60k| 25k| 0.000000e+00 | -- | Inf
1619.94/1620.26 c 1620s| 1820k| 946 | 20527k| 11.3 | 19M| 75 | - | 420 |1286 | 0 | 0 | 763 | 61k| 25k| 0.000000e+00 | -- | Inf
1629.53/1629.82 c 1630s| 1830k| 919 | 20653k| 11.3 | 19M| 75 | - | 420 |1283 | 0 | 0 | 763 | 61k| 25k| 0.000000e+00 | -- | Inf
1638.43/1638.79 c 1639s| 1840k| 905 | 20771k| 11.3 | 19M| 75 | - | 420 |1268 | 0 | 0 | 763 | 61k| 25k| 0.000000e+00 | -- | Inf
1646.73/1647.00 c 1647s| 1850k| 914 | 20877k| 11.3 | 19M| 75 | - | 420 |1411 | 420 | 848 | 763 | 62k| 25k| 0.000000e+00 | -- | Inf
1654.62/1654.95 c 1655s| 1860k| 932 | 20978k| 11.3 | 19M| 75 | - | 420 |1421 | 0 | 0 | 763 | 62k| 25k| 0.000000e+00 | -- | Inf
1662.73/1663.06 c 1663s| 1870k| 951 | 21082k| 11.3 | 20M| 75 | - | 420 |1450 | 420 | 848 | 763 | 62k| 25k| 0.000000e+00 | -- | Inf
1670.93/1671.28 c 1671s| 1880k| 942 | 21186k| 11.3 | 20M| 75 | - | 420 |1428 | 0 | 0 | 763 | 63k| 25k| 0.000000e+00 | -- | Inf
1679.22/1679.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1679.22/1679.50 c 1679s| 1890k| 974 | 21291k| 11.3 | 20M| 75 | - | 420 |1574 | 0 | 0 | 763 | 63k| 25k| 0.000000e+00 | -- | Inf
1687.03/1687.38 c 1687s| 1900k| 1019 | 21391k| 11.3 | 20M| 75 | - | 420 |1641 | 0 | 0 | 763 | 64k| 25k| 0.000000e+00 | -- | Inf
1695.12/1695.40 c 1695s| 1910k| 1038 | 21492k| 11.3 | 20M| 75 | - | 420 |1639 | 420 | 848 | 763 | 64k| 25k| 0.000000e+00 | -- | Inf
1703.32/1703.62 c 1704s| 1920k| 1064 | 21595k| 11.2 | 20M| 75 | 13 | 420 |1672 | 420 | 848 | 763 | 64k| 25k| 0.000000e+00 | -- | Inf
1710.92/1711.26 c 1711s| 1930k| 1053 | 21693k| 11.2 | 20M| 75 | 33 | 420 |1727 | 420 | 848 | 763 | 65k| 25k| 0.000000e+00 | -- | Inf
1719.22/1719.53 c 1720s| 1940k| 1096 | 21797k| 11.2 | 20M| 75 | - | 420 |1727 | 0 | 0 | 763 | 65k| 26k| 0.000000e+00 | -- | Inf
1727.12/1727.43 c 1727s| 1950k| 1105 | 21897k| 11.2 | 20M| 75 | 28 | 420 |1686 | 420 | 848 | 763 | 66k| 26k| 0.000000e+00 | -- | Inf
1735.02/1735.39 c 1735s| 1960k| 1111 | 21996k| 11.2 | 20M| 75 | - | 420 |1639 | 0 | 0 | 763 | 66k| 26k| 0.000000e+00 | -- | Inf
1742.82/1743.11 c 1743s| 1970k| 1125 | 22093k| 11.2 | 20M| 75 | 24 | 420 |1664 | 420 | 848 | 763 | 66k| 26k| 0.000000e+00 | -- | Inf
1750.61/1750.96 c 1751s| 1980k| 1169 | 22190k| 11.2 | 20M| 75 | 26 | 420 |1661 | 420 | 848 | 763 | 67k| 26k| 0.000000e+00 | -- | Inf
1758.91/1759.20 c 1759s| 1990k| 1105 | 22294k| 11.2 | 20M| 75 | 38 | 420 |1563 | 420 | 848 | 763 | 67k| 26k| 0.000000e+00 | -- | Inf
1766.81/1767.15 c 1767s| 2000k| 1091 | 22392k| 11.2 | 20M| 75 | - | 420 |1559 | 0 | 0 | 763 | 68k| 26k| 0.000000e+00 | -- | Inf
1775.21/1775.54 c 1776s| 2010k| 1089 | 22500k| 11.2 | 20M| 75 | - | 420 |1583 | 0 | 0 | 763 | 68k| 26k| 0.000000e+00 | -- | Inf
1783.41/1783.72 c 1784s| 2020k| 1173 | 22604k| 11.2 | 20M| 75 | - | 420 |1713 | 420 | 848 | 763 | 68k| 26k| 0.000000e+00 | -- | Inf
1791.61/1791.90 c 1792s| 2030k| 1092 | 22708k| 11.2 | 20M| 78 | 31 | 420 |1629 | 420 | 848 | 763 | 69k| 26k| 0.000000e+00 | -- | Inf
1796.71/1797.00 c
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Solving Time (sec) : 1797.00
1796.71/1797.00 c Solving Nodes : 2036467
1796.71/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.71/1797.00 c Dual Bound : +0.00000000000000e+00
1796.71/1797.00 c Gap : infinite
1796.71/1797.00 s UNKNOWN
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Total Time : 1797.00
1796.71/1797.00 c solving : 1797.00
1796.71/1797.00 c presolving : 0.03 (included in solving)
1796.71/1797.00 c reading : 0.01 (included in solving)
1796.71/1797.00 c Original Problem :
1796.71/1797.00 c Problem name : HOME/instance-3729118-1338681008.opb
1796.71/1797.00 c Variables : 428 (428 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 644 initial, 644 maximal
1796.71/1797.00 c Presolved Problem :
1796.71/1797.00 c Problem name : t_HOME/instance-3729118-1338681008.opb
1796.71/1797.00 c Variables : 420 (420 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 632 initial, 2230 maximal
1796.71/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c implics : 0.00 0 8 0 0 0 0 0 0 0
1796.71/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c setppc : 0.00 0 0 0 0 0 12 0 0 0
1796.71/1797.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c root node : - 0 - - 0 - - - - -
1796.71/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c integral : 0 0 0 1024730 0 1 0 781 5692 0 0 2039962
1796.71/1797.00 c knapsack : 290 5 4943210 0 1 0 10556368 615508 21102693 608 0 0
1796.71/1797.00 c setppc : 210 5 4270380 0 1 0 1857270 782 5928964 0 0 0
1796.71/1797.00 c logicor : 132+ 5 3266268 0 1 0 21006 7518 2893695 0 0 0
1796.71/1797.00 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1796.71/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1796.71/1797.00 c integral : 58.51 0.00 0.00 58.51 0.00 0.00 0.00
1796.71/1797.00 c knapsack : 69.25 0.01 59.86 0.00 0.00 0.00 9.38
1796.71/1797.00 c setppc : 12.00 0.00 10.63 0.00 0.00 0.00 1.37
1796.71/1797.00 c logicor : 16.33 0.00 16.28 0.00 0.00 0.00 0.05
1796.71/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1796.71/1797.00 c vbounds : 0 0 0 0
1796.71/1797.00 c rootredcost : 0 0 0 0
1796.71/1797.00 c pseudoobj : 0 0 0 0
1796.71/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1796.71/1797.00 c vbounds : 3.40 3.40 0.00
1796.71/1797.00 c rootredcost : 3.39 3.39 0.00
1796.71/1797.00 c pseudoobj : 3.28 3.28 0.00
1796.71/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.00 c propagation : 25.88 75702 68117 504147 94.2 454 108.4 -
1796.71/1797.00 c infeasible LP : 35.44 394224 0 0 0.0 0 0.0 0
1796.71/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.00 c applied globally : - - - 65506 22.8 - - -
1796.71/1797.00 c applied locally : - - - 3740 49.1 - - -
1796.71/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.71/1797.00 c cut pool : 0.00 4 - - 132 - (maximal pool size: 2432)
1796.71/1797.00 c redcost : 7.95 1022035 0 0 0 0
1796.71/1797.00 c impliedbounds : 0.00 5 0 0 1205 0
1796.71/1797.00 c intobj : 0.00 0 0 0 0 0
1796.71/1797.00 c gomory : 0.36 5 0 0 294 0
1796.71/1797.00 c cgmip : 0.00 0 0 0 0 0
1796.71/1797.00 c closecuts : 0.00 0 0 0 0 0
1796.71/1797.00 c strongcg : 0.32 5 0 0 2241 0
1796.71/1797.00 c cmir : 0.00 0 0 0 0 0
1796.71/1797.00 c flowcover : 0.00 0 0 0 0 0
1796.71/1797.00 c clique : 0.02 1 0 0 0 0
1796.71/1797.00 c zerohalf : 0.00 0 0 0 0 0
1796.71/1797.00 c mcf : 0.00 1 0 0 0 0
1796.71/1797.00 c oddcycle : 0.00 0 0 0 0 0
1796.71/1797.00 c rapidlearning : 0.04 1 0 0 0 0
1796.71/1797.00 c Pricers : Time Calls Vars
1796.71/1797.00 c problem variables: 0.00 0 0
1796.71/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c relpscost : 56.13 1024730 781 5692 0 0 2039962
1796.71/1797.00 c pscost : 0.00 0 0 0 0 0 0
1796.71/1797.00 c inference : 0.00 1 0 0 0 0 2
1796.71/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1796.71/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1796.71/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1796.71/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1796.71/1797.00 c random : 0.00 0 0 0 0 0 0
1796.71/1797.00 c Primal Heuristics : Time Calls Found
1796.71/1797.00 c LP solutions : 0.00 - 0
1796.71/1797.00 c pseudo solutions : 0.00 - 0
1796.71/1797.00 c trivial : 0.00 1 0
1796.71/1797.00 c shiftandpropagate: 0.00 0 0
1796.71/1797.00 c simplerounding : 0.00 0 0
1796.71/1797.00 c zirounding : 0.00 0 0
1796.71/1797.00 c rounding : 0.00 0 0
1796.71/1797.00 c shifting : 0.00 0 0
1796.71/1797.00 c intshifting : 0.00 0 0
1796.71/1797.00 c oneopt : 0.00 0 0
1796.71/1797.00 c twoopt : 0.00 0 0
1796.71/1797.00 c fixandinfer : 0.00 0 0
1796.71/1797.00 c feaspump : 0.00 0 0
1796.71/1797.00 c clique : 0.00 0 0
1796.71/1797.00 c coefdiving : 0.00 0 0
1796.71/1797.00 c pscostdiving : 0.00 0 0
1796.71/1797.00 c fracdiving : 0.00 0 0
1796.71/1797.00 c veclendiving : 0.00 0 0
1796.71/1797.00 c intdiving : 0.00 0 0
1796.71/1797.00 c actconsdiving : 0.00 0 0
1796.71/1797.00 c objpscostdiving : 0.00 0 0
1796.71/1797.00 c rootsoldiving : 0.00 0 0
1796.71/1797.00 c linesearchdiving : 0.00 0 0
1796.71/1797.00 c guideddiving : 0.00 0 0
1796.71/1797.00 c octane : 0.00 0 0
1796.71/1797.00 c rens : 0.00 0 0
1796.71/1797.00 c rins : 0.00 0 0
1796.71/1797.00 c localbranching : 0.00 0 0
1796.71/1797.00 c mutation : 0.00 0 0
1796.71/1797.00 c crossover : 0.00 0 0
1796.71/1797.00 c dins : 0.00 0 0
1796.71/1797.00 c vbounds : 0.00 0 0
1796.71/1797.00 c undercover : 0.00 0 0
1796.71/1797.00 c subnlp : 0.00 0 0
1796.71/1797.00 c trysol : 0.00 0 0
1796.71/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1796.71/1797.00 c primal LP : 0.00 0 0 0.00 -
1796.71/1797.00 c dual LP : 1365.44 1417325 22770977 16.07 16676.68
1796.71/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.00 c barrier LP : 0.00 0 0 0.00 -
1796.71/1797.00 c diving/probing LP: 0.00 0 0 0.00 -
1796.71/1797.00 c strong branching : 43.27 26331 569310 21.62 13158.51
1796.71/1797.00 c (at root node) : - 10 1140 114.00 -
1796.71/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.00 c B&B Tree :
1796.71/1797.00 c number of runs : 1
1796.71/1797.00 c nodes : 2036467
1796.71/1797.00 c nodes (total) : 2036467
1796.71/1797.00 c nodes left : 1083
1796.71/1797.00 c max depth : 78
1796.71/1797.00 c max depth (total): 78
1796.71/1797.00 c backtracks : 274033 (13.5%)
1796.71/1797.00 c delayed cutoffs : 2415
1796.71/1797.00 c repropagations : 173065 (307031 domain reductions, 2328 cutoffs)
1796.71/1797.00 c avg switch length: 2.82
1796.71/1797.00 c switching time : 61.30
1796.71/1797.00 c Solution :
1796.71/1797.00 c Solutions found : 0 (0 improvements)
1796.71/1797.00 c Primal Bound : -
1796.71/1797.00 c Dual Bound : +0.00000000000000e+00
1796.71/1797.00 c Gap : infinite
1796.71/1797.00 c Root Dual Bound : +0.00000000000000e+00
1796.71/1797.00 c Root Iterations : 2442
1796.71/1797.02 c Time complete: 1796.72.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3729118-1338681008/watcher-3729118-1338681008 -o /tmp/evaluation-result-3729118-1338681008/solver-3729118-1338681008 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3729118-1338681008.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.71 3/177 1966
/proc/meminfo: memFree=27880760/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=10952 CPUtime=0 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 1776 0 0 0 0 0 0 0 20 0 1 0 334167830 11214848 1731 33554432000 4194304 9016284 140735516281568 140734209656264 7870589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 2738 1743 340 1178 0 1556 0
[startup+0.085883 s]
/proc/loadavg: 1.92 1.98 1.71 3/177 1966
/proc/meminfo: memFree=27880760/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=24764 CPUtime=0.07 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 5432 0 0 0 7 0 0 0 20 0 1 0 334167830 25358336 5130 33554432000 4194304 9016284 140735516281568 140734209656264 4873730 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 6191 5130 651 1178 0 5009 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 24764
[startup+0.100312 s]
/proc/loadavg: 1.92 1.98 1.71 3/177 1966
/proc/meminfo: memFree=27880760/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=35240 CPUtime=0.09 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 7948 0 0 0 8 1 0 0 20 0 1 0 334167830 36085760 7647 33554432000 4194304 9016284 140735516281568 140734209656264 7824712 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 8810 7674 666 1178 0 7628 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35240
[startup+0.300271 s]
/proc/loadavg: 1.92 1.98 1.71 3/177 1966
/proc/meminfo: memFree=27880760/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=26364 CPUtime=0.29 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 9008 0 0 0 28 1 0 0 20 0 1 0 334167830 26996736 5592 33554432000 4194304 9016284 140735516281568 140734209656264 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 6591 5592 682 1178 0 5409 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26364
[startup+0.700256 s]
/proc/loadavg: 1.92 1.98 1.71 3/177 1966
/proc/meminfo: memFree=27880760/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=35240 CPUtime=0.69 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 11073 0 0 0 67 2 0 0 20 0 1 0 334167830 36085760 7652 33554432000 4194304 9016284 140735516281568 140735516276728 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 8810 7652 682 1178 0 7628 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35240
[startup+1.50024 s]
/proc/loadavg: 1.92 1.98 1.71 3/178 1967
/proc/meminfo: memFree=27849248/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=41660 CPUtime=1.49 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 12779 0 0 0 146 3 0 0 20 0 1 0 334167830 42659840 9358 33554432000 4194304 9016284 140735516281568 140735516275416 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 10415 9358 685 1178 0 9233 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41660
[startup+3.10024 s]
/proc/loadavg: 1.92 1.98 1.71 3/178 1967
/proc/meminfo: memFree=27845404/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=41660 CPUtime=3.08 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 12784 0 0 0 303 5 0 0 20 0 1 0 334167830 42659840 9361 33554432000 4194304 9016284 140735516281568 140735516275784 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 10415 9361 687 1178 0 9233 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 41660
[startup+6.30024 s]
/proc/loadavg: 1.93 1.98 1.71 3/178 1967
/proc/meminfo: memFree=27845268/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=41660 CPUtime=6.29 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 12784 0 0 0 618 11 0 0 20 0 1 0 334167830 42659840 9361 33554432000 4194304 9016284 140735516281568 140735516274824 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 10415 9361 687 1178 0 9233 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41660
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.71 3/178 1967
/proc/meminfo: memFree=27844664/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=41660 CPUtime=12.69 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 12784 0 0 0 1249 20 0 0 20 0 1 0 334167830 42659840 9361 33554432000 4194304 9016284 140735516281568 140735516275896 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 10415 9361 687 1178 0 9233 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41660
[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.72 3/178 1967
/proc/meminfo: memFree=27844952/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=41660 CPUtime=25.48 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 12810 0 0 0 2509 39 0 0 20 0 1 0 334167830 42659840 9425 33554432000 4194304 9016284 140735516281568 140735516275432 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 10415 9425 687 1178 0 9233 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41660
[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 1.72 3/178 1968
/proc/meminfo: memFree=27844952/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=41928 CPUtime=51.08 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 12857 0 0 0 5029 79 0 0 20 0 1 0 334167830 42934272 9472 33554432000 4194304 9016284 140735516281568 140735516275432 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 10482 9472 687 1178 0 9300 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 41928
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.73 3/177 1968
/proc/meminfo: memFree=27844212/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=42344 CPUtime=102.27 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 12981 0 0 0 10074 153 0 0 20 0 1 0 334167830 43360256 9594 33554432000 4194304 9016284 140735516281568 140735516275800 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 10586 9594 687 1178 0 9404 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 42344
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.75 3/177 1968
/proc/meminfo: memFree=27843220/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=42860 CPUtime=162.26 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 13112 0 0 0 15988 238 0 0 20 0 1 0 334167830 43888640 9725 33554432000 4194304 9016284 140735516281568 140735516275736 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 10715 9725 687 1178 0 9533 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 42860
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.76 3/177 1968
/proc/meminfo: memFree=27841980/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=43460 CPUtime=222.25 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 13245 0 0 0 21905 320 0 0 20 0 1 0 334167830 44503040 9858 33554432000 4194304 9016284 140735516281568 140735516275528 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 10865 9858 687 1178 0 9683 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 43460
[startup+282.3 s]
/proc/loadavg: 2.05 2.00 1.78 3/177 1968
/proc/meminfo: memFree=27841608/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=43740 CPUtime=282.24 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 13310 0 0 0 27816 408 0 0 20 0 1 0 334167830 44789760 9923 33554432000 4194304 9016284 140735516281568 140735516275480 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 10935 9923 687 1178 0 9753 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 43740
[startup+342.3 s]
/proc/loadavg: 2.05 2.01 1.79 3/177 1969
/proc/meminfo: memFree=27841180/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=44432 CPUtime=342.23 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 13498 0 0 0 33730 493 0 0 20 0 1 0 334167830 45498368 10110 33554432000 4194304 9016284 140735516281568 140735516275896 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 11108 10110 687 1178 0 9926 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 44432
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 1.80 3/177 1969
/proc/meminfo: memFree=27841172/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=44572 CPUtime=402.22 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 13519 0 0 0 39644 578 0 0 20 0 1 0 334167830 45641728 10131 33554432000 4194304 9016284 140735516281568 140735516275896 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 11143 10131 687 1178 0 9961 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 44572
[startup+462.3 s]
/proc/loadavg: 2.07 2.02 1.82 3/177 1969
/proc/meminfo: memFree=27840736/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=44572 CPUtime=462.21 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 13527 0 0 0 45555 666 0 0 20 0 1 0 334167830 45641728 10139 33554432000 4194304 9016284 140735516281568 140735516275528 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 11143 10139 687 1178 0 9961 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 44572
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 1.83 3/177 1969
/proc/meminfo: memFree=27840364/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=44572 CPUtime=522.2 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 13527 0 0 0 51458 762 0 0 20 0 1 0 334167830 45641728 10139 33554432000 4194304 9016284 140735516281568 140735516275896 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 11143 10139 687 1178 0 9961 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 44572
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 1.83 3/177 1969
/proc/meminfo: memFree=27840612/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=44720 CPUtime=582.19 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 13542 0 0 0 57364 855 0 0 20 0 1 0 334167830 45793280 10154 33554432000 4194304 9016284 140735516281568 140735516274984 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 11180 10154 687 1178 0 9998 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 44720
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27837076/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=46700 CPUtime=1122.1 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 14044 0 0 0 110570 1640 0 0 20 0 1 0 334167830 47820800 10655 33554432000 4194304 9016284 140735516281568 140735516275896 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 11675 10655 687 1178 0 10493 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 46700
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 1.91 3/177 1997
/proc/meminfo: memFree=27836828/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=46840 CPUtime=1182.1 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 14110 0 0 0 116478 1732 0 0 20 0 1 0 334167830 47964160 10721 33554432000 4194304 9016284 140735516281568 140735516275736 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 11710 10721 687 1178 0 10528 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 46840
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/178 2000
/proc/meminfo: memFree=27836448/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=47176 CPUtime=1242.09 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 14198 0 0 0 122388 1821 0 0 20 0 1 0 334167830 48308224 10809 33554432000 4194304 9016284 140735516281568 140735516275432 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 11794 10809 687 1178 0 10612 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 47176
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 2001
/proc/meminfo: memFree=27835712/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=47812 CPUtime=1302.09 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 14346 0 0 0 128299 1910 0 0 20 0 1 0 334167830 48959488 10957 33554432000 4194304 9016284 140735516281568 140735516275736 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 11953 10957 687 1178 0 10771 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 47812
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 2001
/proc/meminfo: memFree=27835152/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=48348 CPUtime=1362.07 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 14473 0 0 0 134209 1998 0 0 20 0 1 0 334167830 49508352 11083 33554432000 4194304 9016284 140735516281568 140735516275896 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 12087 11083 687 1178 0 10905 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 48348
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 2001
/proc/meminfo: memFree=27835028/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=48348 CPUtime=1422.07 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 14486 0 0 0 140120 2087 0 0 20 0 1 0 334167830 49508352 11096 33554432000 4194304 9016284 140735516281568 140735516275480 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 12087 11096 687 1178 0 10905 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 48348
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 2001
/proc/meminfo: memFree=27834780/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=48484 CPUtime=1482.05 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 14503 0 0 0 146030 2175 0 0 20 0 1 0 334167830 49647616 11113 33554432000 4194304 9016284 140735516281568 140735516275736 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 12121 11113 687 1178 0 10939 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 48484
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/177 2001
/proc/meminfo: memFree=27834780/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=48484 CPUtime=1542.04 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 14504 0 0 0 151943 2261 0 0 20 0 1 0 334167830 49647616 11114 33554432000 4194304 9016284 140735516281568 140735516275432 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 12121 11114 687 1178 0 10939 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 48484
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 2002
/proc/meminfo: memFree=27834532/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=48484 CPUtime=1602.03 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 14529 0 0 0 157857 2346 0 0 20 0 1 0 334167830 49647616 11139 33554432000 4194304 9016284 140735516281568 140735516275432 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 12121 11139 687 1178 0 10939 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 48484
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 2078
/proc/meminfo: memFree=27422420/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=48484 CPUtime=1662.03 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 14530 0 0 0 163775 2428 0 0 20 0 1 0 334167830 49647616 11140 33554432000 4194304 9016284 140735516281568 140735516275736 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 12121 11140 687 1178 0 10939 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 48484
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 2078
/proc/meminfo: memFree=27403344/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=48896 CPUtime=1722.01 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 14631 0 0 0 169690 2511 0 0 20 0 1 0 334167830 50069504 11241 33554432000 4194304 9016284 140735516281568 140735516275736 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 12224 11241 687 1178 0 11042 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 48896
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 2078
/proc/meminfo: memFree=27396824/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=49404 CPUtime=1782.01 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 14734 0 0 0 175608 2593 0 0 20 0 1 0 334167830 50589696 11344 33554432000 4194304 9016284 140735516281568 140735516275432 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 12351 11344 687 1178 0 11169 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 49404
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 2078
/proc/meminfo: memFree=27396944/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=49404 CPUtime=1785.21 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 14734 0 0 0 175922 2599 0 0 20 0 1 0 334167830 50589696 11344 33554432000 4194304 9016284 140735516281568 140735516275528 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 12351 11344 687 1178 0 11169 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 49404
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 2078
/proc/meminfo: memFree=27396944/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=49404 CPUtime=1791.61 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 14734 0 0 0 176553 2608 0 0 20 0 1 0 334167830 50589696 11344 33554432000 4194304 9016284 140735516281568 140735516275736 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 12351 11344 687 1178 0 11169 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 49404
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 2081
/proc/meminfo: memFree=27396740/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=49404 CPUtime=1794.81 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 14734 0 0 0 176868 2613 0 0 20 0 1 0 334167830 50589696 11344 33554432000 4194304 9016284 140735516281568 140735516275896 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 12351 11344 687 1178 0 11169 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 49404
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 2081
/proc/meminfo: memFree=27396740/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=49404 CPUtime=1795.61 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 14734 0 0 0 176947 2614 0 0 20 0 1 0 334167830 50589696 11344 33554432000 4194304 9016284 140735516281568 140735516274984 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 12351 11344 687 1178 0 11169 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (KiB) 49404
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 2081
/proc/meminfo: memFree=27396740/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=49404 CPUtime=1796.41 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 14734 0 0 0 177026 2615 0 0 20 0 1 0 334167830 50589696 11344 33554432000 4194304 9016284 140735516281568 140735516274616 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 12351 11344 687 1178 0 11169 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 49404
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 2081
/proc/meminfo: memFree=27396740/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=49404 CPUtime=1796.61 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 14734 0 0 0 177046 2615 0 0 20 0 1 0 334167830 50589696 11344 33554432000 4194304 9016284 140735516281568 140735516274616 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 12351 11344 687 1178 0 11169 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 49404
[startup+1797 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 2081
/proc/meminfo: memFree=27396740/32873844 swapFree=7128/7128
[pid=1966] ppid=1964 vsize=49404 CPUtime=1796.71 cores=0,2,4,6
/proc/1966/stat : 1966 (scip-2.0.1.4b_2) R 1964 1966 25330 0 -1 4202496 14735 0 0 0 177056 2615 0 0 20 0 1 0 334167830 50589696 11345 33554432000 4194304 9016284 140735516281568 140735516274616 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1966/statm: 12351 11345 688 1178 0 11169 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 49404
Child status: 0
Real time (s): 1797.02
CPU time (s): 1796.74
CPU user time (s): 1770.58
CPU system time (s): 26.156
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 49404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.58
system time used= 26.156
maximum resident set size= 45388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14742
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= 14
involuntary context switches= 1907
runsolver used 2.76758 second user time and 7.05993 second system time
The end