0.00/0.02 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.02 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-3452785-1307067367.opb>
0.00/0.02 c original problem has 428 variables (428 bin, 0 int, 0 impl, 0 cont) and 644 constraints
0.00/0.02 c problem read
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.02 c presolving settings loaded
0.00/0.02 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 = 1800
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.10/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.41 c 0.4s| 1 | 0 | 1750 | - |7325k| 0 | 235 | 420 | 632 | 420 |1250 | 618 | 0 | 0 | 0.000000e+00 | -- | Inf
0.59/0.62 c 0.6s| 1 | 0 | 2040 | - | 10M| 0 | 250 | 420 | 632 | 420 |1291 | 659 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.84 c 0.8s| 1 | 0 | 2293 | - | 12M| 0 | 247 | 420 | 632 | 420 |1367 | 735 | 0 | 0 | 0.000000e+00 | -- | Inf
0.99/1.03 c 1.0s| 1 | 0 | 2442 | - | 15M| 0 | 245 | 420 | 632 | 420 |1395 | 763 | 0 | 0 | 0.000000e+00 | -- | Inf
1.09/1.17 c 1.2s| 1 | 2 | 2442 | - | 15M| 0 | 245 | 420 | 632 | 420 |1395 | 763 | 0 | 10 | 0.000000e+00 | -- | Inf
15.69/15.72 c 15.7s| 10000 | 49 |129945 | 12.8 | 15M| 37 | - | 420 | 804 | 420 | 848 | 763 | 369 |2829 | 0.000000e+00 | -- | Inf
24.69/24.73 c 24.7s| 20000 | 70 |251059 | 12.4 | 16M| 38 | 42 | 420 | 929 | 420 | 848 | 763 | 694 |2970 | 0.000000e+00 | -- | Inf
32.79/32.80 c 32.8s| 30000 | 62 |354054 | 11.7 | 16M| 48 | 38 | 420 |1088 | 420 | 848 | 763 |1174 |3214 | 0.000000e+00 | -- | Inf
42.29/42.33 c 42.3s| 40000 | 80 |469581 | 11.7 | 16M| 51 | - | 420 |1081 | 420 | 848 | 763 |1486 |3798 | 0.000000e+00 | -- | Inf
53.29/53.33 c 53.3s| 50000 | 84 |599283 | 11.9 | 16M| 51 | - | 420 |1088 | 420 | 848 | 763 |1791 |4667 | 0.000000e+00 | -- | Inf
62.39/62.42 c 62.4s| 60000 | 98 |716695 | 11.9 | 16M| 51 | - | 420 |1059 | 0 | 0 | 763 |2152 |4961 | 0.000000e+00 | -- | Inf
72.29/72.33 c 72.3s| 70000 | 91 |842480 | 12.0 | 16M| 51 | 38 | 420 |1044 | 420 | 848 | 763 |2444 |5438 | 0.000000e+00 | -- | Inf
83.09/83.17 c 83.2s| 80000 | 109 |980928 | 12.2 | 16M| 51 | - | 420 |1064 | 0 | 0 | 763 |2710 |5984 | 0.000000e+00 | -- | Inf
93.10/93.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
93.10/93.18 c 93.2s| 90000 | 110 | 1112k| 12.3 | 16M| 51 | - | 420 |1113 | 420 | 848 | 763 |3012 |6359 | 0.000000e+00 | -- | Inf
100.60/100.61 c 101s|100000 | 109 | 1206k| 12.0 | 16M| 52 | 36 | 420 |1302 | 420 | 848 | 763 |3560 |6547 | 0.000000e+00 | -- | Inf
107.39/107.44 c 107s|110000 | 129 | 1292k| 11.7 | 16M| 52 | - | 420 |1561 | 0 | 0 | 763 |4118 |6698 | 0.000000e+00 | -- | Inf
114.99/115.04 c 115s|120000 | 127 | 1389k| 11.6 | 16M| 53 | 22 | 420 |1563 | 420 | 848 | 763 |4566 |6819 | 0.000000e+00 | -- | Inf
123.60/123.66 c 124s|130000 | 124 | 1494k| 11.5 | 16M| 60 | - | 420 |1475 | 0 | 0 | 763 |4995 |7324 | 0.000000e+00 | -- | Inf
133.10/133.14 c 133s|140000 | 146 | 1616k| 11.5 | 16M| 60 | - | 420 |1477 | 420 | 848 | 763 |5302 |7620 | 0.000000e+00 | -- | Inf
141.59/141.68 c 142s|150000 | 155 | 1728k| 11.5 | 16M| 60 | - | 420 |1580 | 420 | 848 | 763 |5613 |7777 | 0.000000e+00 | -- | Inf
149.19/149.28 c 149s|160000 | 163 | 1824k| 11.4 | 16M| 60 | - | 420 |1677 | 0 | 0 | 763 |6013 |7898 | 0.000000e+00 | -- | Inf
157.69/157.71 c 158s|170000 | 152 | 1929k| 11.3 | 16M| 60 | 36 | 420 |1623 | 420 | 848 | 763 |6353 |8189 | 0.000000e+00 | -- | Inf
165.80/165.88 c 166s|180000 | 171 | 2034k| 11.3 | 16M| 60 | - | 420 |1708 | 0 | 0 | 763 |6687 |8340 | 0.000000e+00 | -- | Inf
173.70/173.74 c 174s|190000 | 204 | 2135k| 11.2 | 16M| 60 | - | 420 |1761 | 420 | 848 | 763 |7039 |8435 | 0.000000e+00 | -- | Inf
182.10/182.10 c 182s|200000 | 196 | 2241k| 11.2 | 16M| 63 | 23 | 420 |1662 | 420 | 848 | 763 |7330 |8637 | 0.000000e+00 | -- | Inf
191.00/191.04 c 191s|210000 | 221 | 2358k| 11.2 | 17M| 63 | 24 | 420 |1757 | 420 | 848 | 763 |7686 |8850 | 0.000000e+00 | -- | Inf
200.50/200.53 c 201s|220000 | 209 | 2479k| 11.3 | 16M| 63 | 18 | 420 |1634 | 420 | 848 | 763 |7969 |9082 | 0.000000e+00 | -- | Inf
208.10/208.14 c 208s|230000 | 242 | 2576k| 11.2 | 17M| 63 | - | 420 |1847 | 420 | 848 | 763 |8420 |9277 | 0.000000e+00 | -- | Inf
215.80/215.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
215.80/215.85 c 216s|240000 | 252 | 2675k| 11.1 | 17M| 63 | 30 | 420 |2056 | 420 | 848 | 763 |8946 |9393 | 0.000000e+00 | -- | Inf
223.42/223.42 c 223s|250000 | 236 | 2772k| 11.1 | 17M| 63 | - | 420 |2165 | 0 | 0 | 763 |9467 |9521 | 0.000000e+00 | -- | Inf
231.12/231.17 c 231s|260000 | 227 | 2870k| 11.0 | 17M| 63 | - | 420 |1980 | 420 | 848 | 763 |9917 |9678 | 0.000000e+00 | -- | Inf
239.10/239.19 c 239s|270000 | 236 | 2974k| 11.0 | 17M| 63 | 42 | 420 |2057 | 420 | 848 | 763 | 10k|9834 | 0.000000e+00 | -- | Inf
247.10/247.19 c 247s|280000 | 230 | 3079k| 11.0 | 17M| 63 | 34 | 420 |2043 | 420 | 848 | 763 | 10k|9980 | 0.000000e+00 | -- | Inf
256.10/256.16 c 256s|290000 | 232 | 3198k| 11.0 | 17M| 63 | 22 | 420 |2037 | 420 | 848 | 763 | 10k| 10k| 0.000000e+00 | -- | Inf
263.80/263.82 c 264s|300000 | 241 | 3297k| 11.0 | 17M| 63 | 31 | 420 |2108 | 420 | 848 | 763 | 11k| 10k| 0.000000e+00 | -- | Inf
272.40/272.46 c 272s|310000 | 252 | 3410k| 11.0 | 17M| 63 | 29 | 420 |2057 | 420 | 848 | 763 | 11k| 10k| 0.000000e+00 | -- | Inf
280.90/280.92 c 281s|320000 | 256 | 3519k| 11.0 | 17M| 63 | 39 | 420 |2175 | 420 | 848 | 763 | 12k| 10k| 0.000000e+00 | -- | Inf
289.50/289.58 c 290s|330000 | 275 | 3629k| 11.0 | 17M| 63 | - | 420 |2086 | 0 | 0 | 763 | 12k| 10k| 0.000000e+00 | -- | Inf
298.30/298.35 c 298s|340000 | 268 | 3743k| 11.0 | 17M| 63 | 31 | 420 |2122 | 420 | 848 | 763 | 12k| 10k| 0.000000e+00 | -- | Inf
307.70/307.73 c 308s|350000 | 258 | 3868k| 11.0 | 17M| 63 | - | 420 |2022 | 0 | 0 | 763 | 13k| 11k| 0.000000e+00 | -- | Inf
316.41/316.44 c 316s|360000 | 241 | 3982k| 11.1 | 17M| 63 | 27 | 420 |1757 | 420 | 848 | 763 | 13k| 11k| 0.000000e+00 | -- | Inf
323.52/323.55 c 324s|370000 | 302 | 4073k| 11.0 | 17M| 63 | - | 420 |1904 | 0 | 0 | 763 | 13k| 11k| 0.000000e+00 | -- | Inf
330.50/330.54 c 331s|380000 | 252 | 4161k| 10.9 | 17M| 63 | - | 420 |1892 | 0 | 0 | 763 | 14k| 11k| 0.000000e+00 | -- | Inf
338.10/338.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
338.10/338.15 c 338s|390000 | 260 | 4261k| 10.9 | 17M| 63 | - | 420 |2001 | 0 | 0 | 763 | 14k| 11k| 0.000000e+00 | -- | Inf
345.70/345.75 c 346s|400000 | 314 | 4359k| 10.9 | 17M| 68 | 37 | 420 |2040 | 420 | 848 | 763 | 15k| 11k| 0.000000e+00 | -- | Inf
353.51/353.53 c 354s|410000 | 281 | 4460k| 10.9 | 17M| 68 | - | 420 |2075 | 0 | 0 | 763 | 15k| 11k| 0.000000e+00 | -- | Inf
361.11/361.14 c 361s|420000 | 264 | 4558k| 10.8 | 17M| 68 | 27 | 420 |2130 | 420 | 848 | 763 | 16k| 11k| 0.000000e+00 | -- | Inf
368.71/368.74 c 369s|430000 | 260 | 4656k| 10.8 | 17M| 68 | - | 420 |2102 | 0 | 0 | 763 | 16k| 11k| 0.000000e+00 | -- | Inf
376.91/376.91 c 377s|440000 | 250 | 4761k| 10.8 | 17M| 68 | - | 420 |2128 | 0 | 0 | 763 | 16k| 12k| 0.000000e+00 | -- | Inf
384.71/384.78 c 385s|450000 | 252 | 4861k| 10.8 | 17M| 68 | 31 | 420 |2076 | 420 | 848 | 763 | 17k| 12k| 0.000000e+00 | -- | Inf
392.10/392.14 c 392s|460000 | 260 | 4956k| 10.8 | 17M| 68 | 38 | 420 |2102 | 420 | 848 | 763 | 17k| 12k| 0.000000e+00 | -- | Inf
400.71/400.71 c 401s|470000 | 239 | 5066k| 10.8 | 17M| 68 | 35 | 420 |1874 | 420 | 848 | 763 | 18k| 12k| 0.000000e+00 | -- | Inf
409.32/409.34 c 409s|480000 | 242 | 5181k| 10.8 | 17M| 68 | 26 | 420 |1936 | 420 | 848 | 763 | 18k| 12k| 0.000000e+00 | -- | Inf
417.02/417.03 c 417s|490000 | 246 | 5279k| 10.8 | 17M| 68 | 41 | 420 |1978 | 420 | 848 | 763 | 18k| 12k| 0.000000e+00 | -- | Inf
425.00/425.00 c 425s|500000 | 261 | 5381k| 10.8 | 17M| 68 | 52 | 420 |2020 | 420 | 848 | 763 | 19k| 12k| 0.000000e+00 | -- | Inf
433.71/433.73 c 434s|510000 | 260 | 5495k| 10.8 | 17M| 68 | - | 420 |2041 | 0 | 0 | 763 | 19k| 12k| 0.000000e+00 | -- | Inf
442.51/442.50 c 442s|520000 | 256 | 5609k| 10.8 | 17M| 68 | - | 420 |1813 | 420 | 848 | 763 | 19k| 12k| 0.000000e+00 | -- | Inf
450.71/450.79 c 451s|530000 | 269 | 5717k| 10.8 | 17M| 68 | - | 420 |1888 | 420 | 848 | 763 | 20k| 13k| 0.000000e+00 | -- | Inf
459.11/459.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
459.11/459.10 c 459s|540000 | 273 | 5823k| 10.8 | 17M| 68 | 44 | 420 |1966 | 420 | 848 | 763 | 20k| 13k| 0.000000e+00 | -- | Inf
468.01/468.01 c 468s|550000 | 273 | 5940k| 10.8 | 17M| 68 | 35 | 420 |1957 | 420 | 848 | 763 | 20k| 13k| 0.000000e+00 | -- | Inf
477.20/477.26 c 477s|560000 | 280 | 6062k| 10.8 | 17M| 68 | 58 | 420 |1956 | 420 | 848 | 763 | 21k| 13k| 0.000000e+00 | -- | Inf
486.21/486.30 c 486s|570000 | 275 | 6178k| 10.8 | 17M| 68 | 41 | 420 |1829 | 420 | 848 | 763 | 21k| 13k| 0.000000e+00 | -- | Inf
494.60/494.66 c 495s|580000 | 302 | 6287k| 10.8 | 17M| 68 | 27 | 420 |1741 | 420 | 848 | 763 | 21k| 13k| 0.000000e+00 | -- | Inf
502.91/502.97 c 503s|590000 | 274 | 6395k| 10.8 | 17M| 68 | - | 420 |1634 | 420 | 848 | 763 | 22k| 13k| 0.000000e+00 | -- | Inf
511.81/511.86 c 512s|600000 | 269 | 6514k| 10.9 | 17M| 68 | 47 | 420 |1567 | 420 | 848 | 763 | 22k| 13k| 0.000000e+00 | -- | Inf
521.31/521.33 c 521s|610000 | 273 | 6641k| 10.9 | 17M| 68 | - | 420 |1551 | 420 | 848 | 763 | 22k| 13k| 0.000000e+00 | -- | Inf
530.40/530.44 c 530s|620000 | 274 | 6761k| 10.9 | 17M| 68 | - | 420 |1560 | 420 | 848 | 763 | 23k| 14k| 0.000000e+00 | -- | Inf
538.51/538.51 c 539s|630000 | 295 | 6863k| 10.9 | 17M| 68 | - | 420 |1703 | 420 | 848 | 763 | 23k| 14k| 0.000000e+00 | -- | Inf
546.61/546.65 c 547s|640000 | 294 | 6968k| 10.9 | 17M| 68 | 38 | 420 |1640 | 420 | 848 | 763 | 23k| 14k| 0.000000e+00 | -- | Inf
554.71/554.78 c 555s|650000 | 324 | 7075k| 10.9 | 17M| 68 | 32 | 420 |1693 | 420 | 848 | 763 | 24k| 14k| 0.000000e+00 | -- | Inf
562.51/562.55 c 563s|660000 | 309 | 7173k| 10.9 | 17M| 68 | 36 | 420 |1637 | 420 | 848 | 763 | 24k| 14k| 0.000000e+00 | -- | Inf
570.91/571.01 c 571s|670000 | 318 | 7284k| 10.9 | 17M| 68 | - | 420 |1726 | 0 | 0 | 763 | 24k| 14k| 0.000000e+00 | -- | Inf
579.91/579.95 c 580s|680000 | 347 | 7401k| 10.9 | 17M| 68 | 38 | 420 |1622 | 420 | 848 | 763 | 25k| 14k| 0.000000e+00 | -- | Inf
589.01/589.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
589.01/589.00 c 589s|690000 | 330 | 7520k| 10.9 | 17M| 68 | 50 | 420 |1598 | 420 | 848 | 763 | 25k| 14k| 0.000000e+00 | -- | Inf
598.01/598.03 c 598s|700000 | 322 | 7640k| 10.9 | 17M| 68 | 42 | 420 |1606 | 420 | 848 | 763 | 25k| 14k| 0.000000e+00 | -- | Inf
606.41/606.43 c 606s|710000 | 322 | 7750k| 10.9 | 17M| 68 | 26 | 420 |1568 | 420 | 848 | 763 | 26k| 14k| 0.000000e+00 | -- | Inf
614.11/614.16 c 614s|720000 | 302 | 7852k| 10.9 | 17M| 68 | - | 420 |1677 | 420 | 848 | 763 | 26k| 14k| 0.000000e+00 | -- | Inf
622.41/622.45 c 622s|730000 | 321 | 7958k| 10.9 | 17M| 68 | - | 420 |1670 | 0 | 0 | 763 | 26k| 15k| 0.000000e+00 | -- | Inf
630.61/630.62 c 631s|740000 | 318 | 8065k| 10.9 | 17M| 68 | - | 420 |1727 | 420 | 848 | 763 | 27k| 15k| 0.000000e+00 | -- | Inf
639.51/639.54 c 640s|750000 | 346 | 8183k| 10.9 | 17M| 68 | 45 | 420 |1742 | 420 | 848 | 763 | 27k| 15k| 0.000000e+00 | -- | Inf
648.91/648.96 c 649s|760000 | 337 | 8309k| 10.9 | 17M| 68 | 29 | 420 |1645 | 420 | 848 | 763 | 28k| 15k| 0.000000e+00 | -- | Inf
657.93/657.96 c 658s|770000 | 319 | 8429k| 10.9 | 17M| 70 | - | 420 |1630 | 420 | 848 | 763 | 28k| 15k| 0.000000e+00 | -- | Inf
666.81/666.84 c 667s|780000 | 309 | 8545k| 11.0 | 17M| 70 | - | 420 |1553 | 0 | 0 | 763 | 28k| 15k| 0.000000e+00 | -- | Inf
675.01/675.06 c 675s|790000 | 307 | 8653k| 11.0 | 17M| 70 | 39 | 420 |1664 | 420 | 848 | 763 | 29k| 15k| 0.000000e+00 | -- | Inf
687.42/687.42 c 687s|800000 | 287 | 8767k| 11.0 | 17M| 70 | - | 420 |1593 | 0 | 0 | 763 | 29k| 17k| 0.000000e+00 | -- | Inf
697.32/697.39 c 697s|810000 | 289 | 8876k| 11.0 | 17M| 70 | - | 420 |1611 | 0 | 0 | 763 | 29k| 18k| 0.000000e+00 | -- | Inf
705.82/705.82 c 706s|820000 | 286 | 8989k| 11.0 | 17M| 70 | 41 | 420 |1531 | 420 | 848 | 763 | 30k| 18k| 0.000000e+00 | -- | Inf
713.81/713.87 c 714s|830000 | 282 | 9097k| 11.0 | 17M| 70 | - | 420 |1634 | 0 | 0 | 763 | 30k| 18k| 0.000000e+00 | -- | Inf
722.21/722.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
722.21/722.24 c 722s|840000 | 272 | 9209k| 11.0 | 17M| 70 | 26 | 420 |1491 | 420 | 848 | 763 | 30k| 18k| 0.000000e+00 | -- | Inf
729.81/729.89 c 730s|850000 | 268 | 9309k| 11.0 | 17M| 70 | 35 | 420 |1574 | 420 | 848 | 763 | 31k| 18k| 0.000000e+00 | -- | Inf
740.52/740.53 c 741s|860000 | 264 | 9437k| 11.0 | 17M| 70 | - | 420 |1243 | 0 | 0 | 763 | 31k| 19k| 0.000000e+00 | -- | Inf
749.61/749.61 c 750s|870000 | 292 | 9560k| 11.0 | 17M| 70 | - | 420 |1314 | 420 | 848 | 763 | 31k| 19k| 0.000000e+00 | -- | Inf
757.51/757.59 c 758s|880000 | 305 | 9665k| 11.0 | 17M| 70 | - | 420 |1372 | 0 | 0 | 763 | 32k| 19k| 0.000000e+00 | -- | Inf
765.52/765.55 c 766s|890000 | 354 | 9770k| 11.0 | 17M| 70 | 41 | 420 |1435 | 420 | 848 | 763 | 32k| 19k| 0.000000e+00 | -- | Inf
773.82/773.85 c 774s|900000 | 343 | 9880k| 11.0 | 17M| 70 | - | 420 |1422 | 420 | 848 | 763 | 32k| 19k| 0.000000e+00 | -- | Inf
782.13/782.11 c 782s|910000 | 336 | 9989k| 11.0 | 17M| 70 | - | 420 |1480 | 0 | 0 | 763 | 33k| 19k| 0.000000e+00 | -- | Inf
790.62/790.66 c 791s|920000 | 362 | 10103k| 11.0 | 17M| 70 | - | 420 |1478 | 420 | 848 | 763 | 33k| 19k| 0.000000e+00 | -- | Inf
799.22/799.28 c 799s|930000 | 403 | 10218k| 11.0 | 17M| 70 | 40 | 420 |1468 | 420 | 848 | 763 | 33k| 19k| 0.000000e+00 | -- | Inf
807.91/807.91 c 808s|940000 | 378 | 10333k| 11.0 | 17M| 70 | - | 420 |1540 | 0 | 0 | 763 | 34k| 19k| 0.000000e+00 | -- | Inf
816.11/816.13 c 816s|950000 | 348 | 10443k| 11.0 | 17M| 70 | - | 420 |1521 | 420 | 848 | 763 | 34k| 19k| 0.000000e+00 | -- | Inf
824.82/824.82 c 825s|960000 | 394 | 10560k| 11.0 | 17M| 70 | 45 | 420 |1454 | 420 | 848 | 763 | 34k| 19k| 0.000000e+00 | -- | Inf
833.02/833.01 c 833s|970000 | 400 | 10670k| 11.0 | 17M| 70 | 31 | 420 |1520 | 420 | 848 | 763 | 35k| 19k| 0.000000e+00 | -- | Inf
841.32/841.31 c 841s|980000 | 397 | 10779k| 11.0 | 17M| 70 | 32 | 420 |1554 | 420 | 848 | 763 | 35k| 19k| 0.000000e+00 | -- | Inf
849.93/849.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
849.93/849.93 c 850s|990000 | 413 | 10894k| 11.0 | 17M| 70 | 35 | 420 |1463 | 420 | 848 | 763 | 35k| 19k| 0.000000e+00 | -- | Inf
858.14/858.15 c 858s| 1000k| 462 | 11005k| 11.0 | 18M| 70 | 41 | 420 |1535 | 420 | 848 | 763 | 35k| 19k| 0.000000e+00 | -- | Inf
866.83/866.84 c 867s| 1010k| 594 | 11123k| 11.0 | 18M| 70 | 39 | 420 |1594 | 420 | 848 | 763 | 36k| 19k| 0.000000e+00 | -- | Inf
875.82/875.89 c 876s| 1020k| 590 | 11245k| 11.0 | 18M| 70 | 33 | 420 |1537 | 420 | 848 | 763 | 36k| 19k| 0.000000e+00 | -- | Inf
885.12/885.14 c 885s| 1030k| 577 | 11369k| 11.0 | 18M| 70 | 44 | 420 |1525 | 420 | 848 | 763 | 36k| 19k| 0.000000e+00 | -- | Inf
893.73/893.77 c 894s| 1040k| 586 | 11485k| 11.0 | 18M| 70 | 35 | 420 |1595 | 420 | 848 | 763 | 37k| 19k| 0.000000e+00 | -- | Inf
902.92/902.96 c 903s| 1050k| 632 | 11608k| 11.1 | 18M| 70 | 31 | 420 |1489 | 420 | 848 | 763 | 37k| 19k| 0.000000e+00 | -- | Inf
912.32/912.30 c 912s| 1060k| 599 | 11732k| 11.1 | 18M| 70 | - | 420 |1476 | 420 | 848 | 763 | 37k| 19k| 0.000000e+00 | -- | Inf
921.72/921.74 c 922s| 1070k| 564 | 11858k| 11.1 | 18M| 70 | - | 420 |1472 | 420 | 848 | 763 | 37k| 19k| 0.000000e+00 | -- | Inf
930.33/930.31 c 930s| 1080k| 543 | 11972k| 11.1 | 18M| 70 | - | 420 |1446 | 420 | 848 | 763 | 38k| 19k| 0.000000e+00 | -- | Inf
938.33/938.33 c 938s| 1090k| 550 | 12079k| 11.1 | 18M| 70 | - | 420 |1470 | 0 | 0 | 763 | 38k| 19k| 0.000000e+00 | -- | Inf
947.03/947.07 c 947s| 1100k| 567 | 12196k| 11.1 | 18M| 70 | - | 420 |1516 | 0 | 0 | 763 | 38k| 19k| 0.000000e+00 | -- | Inf
955.53/955.56 c 956s| 1110k| 563 | 12308k| 11.1 | 18M| 70 | 41 | 420 |1559 | 420 | 848 | 763 | 39k| 20k| 0.000000e+00 | -- | Inf
962.82/962.86 c 963s| 1120k| 565 | 12402k| 11.1 | 18M| 70 | 35 | 420 |1565 | 420 | 848 | 763 | 39k| 20k| 0.000000e+00 | -- | Inf
970.62/970.60 c 971s| 1130k| 580 | 12503k| 11.1 | 18M| 70 | 42 | 420 |1645 | 420 | 848 | 763 | 39k| 20k| 0.000000e+00 | -- | Inf
979.52/979.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
979.52/979.50 c 980s| 1140k| 584 | 12619k| 11.1 | 18M| 70 | 35 | 420 |1530 | 420 | 848 | 763 | 40k| 20k| 0.000000e+00 | -- | Inf
988.03/988.06 c 988s| 1150k| 579 | 12732k| 11.1 | 18M| 70 | 47 | 420 |1556 | 420 | 848 | 763 | 40k| 20k| 0.000000e+00 | -- | Inf
996.93/996.96 c 997s| 1160k| 564 | 12848k| 11.1 | 18M| 70 | - | 420 |1440 | 0 | 0 | 763 | 40k| 20k| 0.000000e+00 | -- | Inf
1005.22/1005.20 c 1005s| 1170k| 581 | 12956k| 11.1 | 18M| 70 | 45 | 420 |1545 | 420 | 848 | 763 | 40k| 20k| 0.000000e+00 | -- | Inf
1017.73/1017.71 c 1018s| 1180k| 540 | 13085k| 11.1 | 18M| 70 | 53 | 420 |1128 | 420 | 848 | 763 | 41k| 22k| 0.000000e+00 | -- | Inf
1026.92/1026.96 c 1027s| 1190k| 509 | 13204k| 11.1 | 18M| 70 | - | 420 |1157 | 420 | 848 | 763 | 41k| 22k| 0.000000e+00 | -- | Inf
1036.24/1036.29 c 1036s| 1200k| 506 | 13333k| 11.1 | 18M| 70 | - | 420 |1164 | 0 | 0 | 763 | 41k| 22k| 0.000000e+00 | -- | Inf
1045.23/1045.21 c 1045s| 1210k| 480 | 13451k| 11.1 | 18M| 70 | 48 | 420 |1150 | 420 | 848 | 763 | 42k| 22k| 0.000000e+00 | -- | Inf
1054.33/1054.31 c 1054s| 1220k| 484 | 13575k| 11.1 | 18M| 70 | 46 | 420 |1115 | 420 | 848 | 763 | 42k| 22k| 0.000000e+00 | -- | Inf
1064.53/1064.59 c 1065s| 1230k| 481 | 13698k| 11.1 | 18M| 70 | - | 420 |1135 | 420 | 848 | 763 | 42k| 23k| 0.000000e+00 | -- | Inf
1074.22/1074.22 c 1074s| 1240k| 479 | 13830k| 11.2 | 18M| 70 | 51 | 420 |1090 | 420 | 848 | 763 | 42k| 23k| 0.000000e+00 | -- | Inf
1082.33/1082.30 c 1082s| 1250k| 492 | 13938k| 11.1 | 18M| 70 | 25 | 420 |1144 | 420 | 848 | 763 | 43k| 23k| 0.000000e+00 | -- | Inf
1090.33/1090.30 c 1090s| 1260k| 511 | 14045k| 11.1 | 18M| 70 | - | 420 |1323 | 0 | 0 | 763 | 43k| 23k| 0.000000e+00 | -- | Inf
1098.33/1098.39 c 1098s| 1270k| 521 | 14154k| 11.1 | 18M| 70 | - | 420 |1414 | 0 | 0 | 763 | 43k| 23k| 0.000000e+00 | -- | Inf
1106.53/1106.58 c 1107s| 1280k| 598 | 14264k| 11.1 | 18M| 70 | 43 | 420 |1457 | 420 | 848 | 763 | 44k| 23k| 0.000000e+00 | -- | Inf
1115.03/1115.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1115.03/1115.03 c 1115s| 1290k| 672 | 14378k| 11.1 | 18M| 70 | - | 420 |1457 | 420 | 848 | 763 | 44k| 23k| 0.000000e+00 | -- | Inf
1123.43/1123.48 c 1123s| 1300k| 664 | 14492k| 11.1 | 18M| 70 | 30 | 420 |1473 | 420 | 848 | 763 | 44k| 23k| 0.000000e+00 | -- | Inf
1132.53/1132.57 c 1133s| 1310k| 700 | 14617k| 11.2 | 18M| 70 | 49 | 420 |1556 | 420 | 848 | 763 | 45k| 23k| 0.000000e+00 | -- | Inf
1141.13/1141.10 c 1141s| 1320k| 711 | 14732k| 11.2 | 18M| 70 | 28 | 420 |1541 | 420 | 848 | 763 | 45k| 23k| 0.000000e+00 | -- | Inf
1149.43/1149.41 c 1149s| 1330k| 707 | 14844k| 11.2 | 18M| 70 | - | 420 |1506 | 0 | 0 | 763 | 45k| 23k| 0.000000e+00 | -- | Inf
1156.83/1156.84 c 1157s| 1340k| 717 | 14942k| 11.1 | 19M| 70 | 28 | 420 |1637 | 420 | 848 | 763 | 46k| 23k| 0.000000e+00 | -- | Inf
1164.53/1164.54 c 1165s| 1350k| 734 | 15043k| 11.1 | 19M| 70 | - | 420 |1621 | 420 | 848 | 763 | 46k| 23k| 0.000000e+00 | -- | Inf
1173.23/1173.26 c 1173s| 1360k| 774 | 15160k| 11.1 | 19M| 70 | 32 | 420 |1611 | 420 | 848 | 763 | 47k| 23k| 0.000000e+00 | -- | Inf
1181.84/1181.85 c 1182s| 1370k| 779 | 15275k| 11.1 | 19M| 70 | - | 420 |1405 | 0 | 0 | 763 | 47k| 23k| 0.000000e+00 | -- | Inf
1190.53/1190.55 c 1191s| 1380k| 841 | 15392k| 11.2 | 19M| 70 | 34 | 420 |1485 | 420 | 848 | 763 | 47k| 23k| 0.000000e+00 | -- | Inf
1198.74/1198.77 c 1199s| 1390k| 847 | 15501k| 11.2 | 19M| 70 | - | 420 |1480 | 420 | 848 | 763 | 47k| 23k| 0.000000e+00 | -- | Inf
1207.33/1207.35 c 1207s| 1400k| 857 | 15616k| 11.2 | 19M| 70 | - | 420 |1577 | 0 | 0 | 763 | 48k| 23k| 0.000000e+00 | -- | Inf
1216.43/1216.46 c 1216s| 1410k| 842 | 15742k| 11.2 | 19M| 70 | - | 420 |1526 | 0 | 0 | 763 | 48k| 23k| 0.000000e+00 | -- | Inf
1224.94/1224.90 c 1225s| 1420k| 857 | 15853k| 11.2 | 19M| 70 | 30 | 420 |1575 | 420 | 848 | 763 | 48k| 23k| 0.000000e+00 | -- | Inf
1233.33/1233.39 c 1233s| 1430k| 852 | 15966k| 11.2 | 19M| 70 | - | 420 |1565 | 0 | 0 | 763 | 49k| 23k| 0.000000e+00 | -- | Inf
1241.54/1241.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1241.54/1241.59 c 1242s| 1440k| 845 | 16075k| 11.2 | 19M| 70 | - | 420 |1536 | 0 | 0 | 763 | 49k| 23k| 0.000000e+00 | -- | Inf
1250.54/1250.50 c 1250s| 1450k| 879 | 16192k| 11.2 | 19M| 70 | 51 | 420 |1541 | 420 | 848 | 763 | 49k| 23k| 0.000000e+00 | -- | Inf
1258.94/1258.93 c 1259s| 1460k| 919 | 16305k| 11.2 | 19M| 70 | - | 420 |1507 | 0 | 0 | 763 | 50k| 23k| 0.000000e+00 | -- | Inf
1267.25/1267.26 c 1267s| 1470k| 966 | 16416k| 11.2 | 19M| 70 | 43 | 420 |1518 | 420 | 848 | 763 | 50k| 23k| 0.000000e+00 | -- | Inf
1276.16/1276.16 c 1276s| 1480k| 968 | 16536k| 11.2 | 19M| 70 | 43 | 420 |1477 | 420 | 848 | 763 | 50k| 23k| 0.000000e+00 | -- | Inf
1284.84/1284.89 c 1285s| 1490k| 935 | 16652k| 11.2 | 19M| 70 | 46 | 420 |1431 | 420 | 848 | 763 | 50k| 23k| 0.000000e+00 | -- | Inf
1293.13/1293.16 c 1293s| 1500k| 945 | 16761k| 11.2 | 19M| 70 | 33 | 420 |1517 | 420 | 848 | 763 | 51k| 23k| 0.000000e+00 | -- | Inf
1301.93/1301.90 c 1302s| 1510k| 938 | 16879k| 11.2 | 19M| 70 | 58 | 420 |1481 | 420 | 848 | 763 | 51k| 23k| 0.000000e+00 | -- | Inf
1310.44/1310.42 c 1310s| 1520k| 1014 | 16991k| 11.2 | 19M| 71 | 32 | 420 |1527 | 420 | 848 | 763 | 51k| 23k| 0.000000e+00 | -- | Inf
1318.94/1318.93 c 1319s| 1530k| 1036 | 17103k| 11.2 | 19M| 71 | 25 | 420 |1534 | 420 | 848 | 763 | 52k| 24k| 0.000000e+00 | -- | Inf
1327.64/1327.69 c 1328s| 1540k| 1001 | 17218k| 11.2 | 19M| 71 | 51 | 420 |1495 | 420 | 848 | 763 | 52k| 24k| 0.000000e+00 | -- | Inf
1336.65/1336.66 c 1337s| 1550k| 1006 | 17339k| 11.2 | 19M| 71 | - | 420 |1537 | 420 | 848 | 763 | 52k| 24k| 0.000000e+00 | -- | Inf
1345.13/1345.14 c 1345s| 1560k| 1010 | 17450k| 11.2 | 19M| 71 | 46 | 420 |1534 | 420 | 848 | 763 | 53k| 24k| 0.000000e+00 | -- | Inf
1353.54/1353.51 c 1354s| 1570k| 1026 | 17562k| 11.2 | 20M| 72 | 35 | 420 |1603 | 420 | 848 | 763 | 53k| 24k| 0.000000e+00 | -- | Inf
1362.24/1362.25 c 1362s| 1580k| 1004 | 17679k| 11.2 | 19M| 72 | 47 | 420 |1541 | 420 | 848 | 763 | 53k| 24k| 0.000000e+00 | -- | Inf
1371.34/1371.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1371.34/1371.35 c 1371s| 1590k| 993 | 17799k| 11.2 | 19M| 72 | 30 | 420 |1464 | 420 | 848 | 763 | 53k| 24k| 0.000000e+00 | -- | Inf
1379.84/1379.82 c 1380s| 1600k| 1007 | 17911k| 11.2 | 19M| 72 | - | 420 |1543 | 0 | 0 | 763 | 54k| 24k| 0.000000e+00 | -- | Inf
1388.44/1388.40 c 1388s| 1610k| 987 | 18025k| 11.2 | 19M| 72 | - | 420 |1509 | 0 | 0 | 763 | 54k| 24k| 0.000000e+00 | -- | Inf
1397.04/1397.03 c 1397s| 1620k| 972 | 18140k| 11.2 | 19M| 72 | - | 420 |1497 | 0 | 0 | 763 | 54k| 24k| 0.000000e+00 | -- | Inf
1405.75/1405.71 c 1406s| 1630k| 969 | 18253k| 11.2 | 19M| 72 | 32 | 420 |1389 | 420 | 848 | 763 | 55k| 24k| 0.000000e+00 | -- | Inf
1414.04/1414.00 c 1414s| 1640k| 963 | 18365k| 11.2 | 19M| 72 | - | 420 |1400 | 0 | 0 | 763 | 55k| 24k| 0.000000e+00 | -- | Inf
1421.94/1421.94 c 1422s| 1650k| 968 | 18470k| 11.2 | 19M| 72 | - | 420 |1284 | 420 | 848 | 763 | 55k| 24k| 0.000000e+00 | -- | Inf
1430.35/1430.36 c 1430s| 1660k| 970 | 18585k| 11.2 | 19M| 72 | 40 | 420 |1359 | 420 | 848 | 763 | 56k| 24k| 0.000000e+00 | -- | Inf
1439.54/1439.58 c 1440s| 1670k| 980 | 18709k| 11.2 | 19M| 72 | 41 | 420 |1366 | 420 | 848 | 763 | 56k| 24k| 0.000000e+00 | -- | Inf
1448.44/1448.45 c 1448s| 1680k| 958 | 18828k| 11.2 | 19M| 72 | 29 | 420 |1366 | 420 | 848 | 763 | 56k| 24k| 0.000000e+00 | -- | Inf
1457.45/1457.42 c 1457s| 1690k| 979 | 18949k| 11.2 | 19M| 72 | - | 420 |1360 | 0 | 0 | 763 | 57k| 24k| 0.000000e+00 | -- | Inf
1466.85/1466.88 c 1467s| 1700k| 958 | 19076k| 11.2 | 19M| 75 | 44 | 420 |1347 | 420 | 848 | 763 | 57k| 24k| 0.000000e+00 | -- | Inf
1475.34/1475.34 c 1475s| 1710k| 950 | 19190k| 11.2 | 19M| 75 | - | 420 |1439 | 0 | 0 | 763 | 57k| 24k| 0.000000e+00 | -- | Inf
1483.74/1483.78 c 1484s| 1720k| 964 | 19301k| 11.2 | 19M| 75 | - | 420 |1457 | 0 | 0 | 763 | 58k| 25k| 0.000000e+00 | -- | Inf
1492.75/1492.75 c 1493s| 1730k| 938 | 19421k| 11.2 | 19M| 75 | 32 | 420 |1276 | 420 | 848 | 763 | 58k| 25k| 0.000000e+00 | -- | Inf
1501.45/1501.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1501.45/1501.41 c 1501s| 1740k| 930 | 19537k| 11.2 | 19M| 75 | 39 | 420 |1384 | 420 | 848 | 763 | 58k| 25k| 0.000000e+00 | -- | Inf
1510.64/1510.66 c 1511s| 1750k| 937 | 19663k| 11.2 | 19M| 75 | - | 420 |1371 | 420 | 848 | 763 | 58k| 25k| 0.000000e+00 | -- | Inf
1519.75/1519.79 c 1520s| 1760k| 958 | 19786k| 11.2 | 19M| 75 | - | 420 |1393 | 420 | 848 | 763 | 59k| 25k| 0.000000e+00 | -- | Inf
1528.94/1528.99 c 1529s| 1770k| 999 | 19912k| 11.2 | 20M| 75 | 34 | 420 |1448 | 420 | 848 | 763 | 59k| 25k| 0.000000e+00 | -- | Inf
1538.65/1538.62 c 1539s| 1780k| 977 | 20042k| 11.3 | 19M| 75 | 43 | 420 |1358 | 420 | 848 | 763 | 59k| 25k| 0.000000e+00 | -- | Inf
1547.94/1548.00 c 1548s| 1790k| 976 | 20170k| 11.3 | 20M| 75 | - | 420 |1457 | 420 | 848 | 763 | 60k| 25k| 0.000000e+00 | -- | Inf
1557.76/1557.79 c 1558s| 1800k| 941 | 20304k| 11.3 | 19M| 75 | 58 | 420 |1391 | 420 | 848 | 763 | 60k| 25k| 0.000000e+00 | -- | Inf
1566.15/1566.11 c 1566s| 1810k| 947 | 20414k| 11.3 | 19M| 75 | 30 | 420 |1511 | 420 | 848 | 763 | 60k| 25k| 0.000000e+00 | -- | Inf
1574.55/1574.59 c 1575s| 1820k| 946 | 20527k| 11.3 | 19M| 75 | - | 420 |1286 | 0 | 0 | 763 | 61k| 25k| 0.000000e+00 | -- | Inf
1583.95/1583.93 c 1584s| 1830k| 919 | 20653k| 11.3 | 19M| 75 | - | 420 |1283 | 0 | 0 | 763 | 61k| 25k| 0.000000e+00 | -- | Inf
1592.65/1592.65 c 1593s| 1840k| 905 | 20771k| 11.3 | 19M| 75 | - | 420 |1268 | 0 | 0 | 763 | 61k| 25k| 0.000000e+00 | -- | Inf
1600.56/1600.60 c 1601s| 1850k| 914 | 20877k| 11.3 | 19M| 75 | - | 420 |1411 | 420 | 848 | 763 | 62k| 25k| 0.000000e+00 | -- | Inf
1608.26/1608.27 c 1608s| 1860k| 932 | 20978k| 11.3 | 19M| 75 | - | 420 |1421 | 0 | 0 | 763 | 62k| 25k| 0.000000e+00 | -- | Inf
1616.15/1616.13 c 1616s| 1870k| 951 | 21082k| 11.3 | 19M| 75 | - | 420 |1450 | 420 | 848 | 763 | 62k| 25k| 0.000000e+00 | -- | Inf
1624.05/1624.08 c 1624s| 1880k| 942 | 21186k| 11.3 | 19M| 75 | - | 420 |1428 | 0 | 0 | 763 | 63k| 25k| 0.000000e+00 | -- | Inf
1632.05/1632.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1632.05/1632.03 c 1632s| 1890k| 974 | 21291k| 11.3 | 20M| 75 | - | 420 |1574 | 0 | 0 | 763 | 63k| 25k| 0.000000e+00 | -- | Inf
1639.65/1639.65 c 1640s| 1900k| 1019 | 21391k| 11.3 | 20M| 75 | - | 420 |1641 | 0 | 0 | 763 | 64k| 25k| 0.000000e+00 | -- | Inf
1647.45/1647.40 c 1647s| 1910k| 1038 | 21492k| 11.3 | 20M| 75 | - | 420 |1639 | 420 | 848 | 763 | 64k| 25k| 0.000000e+00 | -- | Inf
1655.35/1655.36 c 1655s| 1920k| 1064 | 21595k| 11.2 | 20M| 75 | 13 | 420 |1672 | 420 | 848 | 763 | 64k| 25k| 0.000000e+00 | -- | Inf
1662.75/1662.73 c 1663s| 1930k| 1053 | 21693k| 11.2 | 20M| 75 | 33 | 420 |1727 | 420 | 848 | 763 | 65k| 25k| 0.000000e+00 | -- | Inf
1670.75/1670.73 c 1671s| 1940k| 1096 | 21797k| 11.2 | 20M| 75 | - | 420 |1727 | 0 | 0 | 763 | 65k| 26k| 0.000000e+00 | -- | Inf
1678.35/1678.36 c 1678s| 1950k| 1105 | 21897k| 11.2 | 20M| 75 | 28 | 420 |1686 | 420 | 848 | 763 | 66k| 26k| 0.000000e+00 | -- | Inf
1686.05/1686.05 c 1686s| 1960k| 1111 | 21996k| 11.2 | 20M| 75 | - | 420 |1639 | 0 | 0 | 763 | 66k| 26k| 0.000000e+00 | -- | Inf
1693.55/1693.51 c 1694s| 1970k| 1125 | 22093k| 11.2 | 20M| 75 | 24 | 420 |1664 | 420 | 848 | 763 | 66k| 26k| 0.000000e+00 | -- | Inf
1701.05/1701.08 c 1701s| 1980k| 1169 | 22190k| 11.2 | 20M| 75 | 26 | 420 |1661 | 420 | 848 | 763 | 67k| 26k| 0.000000e+00 | -- | Inf
1709.05/1709.06 c 1709s| 1990k| 1105 | 22294k| 11.2 | 20M| 75 | 38 | 420 |1563 | 420 | 848 | 763 | 67k| 26k| 0.000000e+00 | -- | Inf
1716.75/1716.73 c 1717s| 2000k| 1091 | 22392k| 11.2 | 20M| 75 | - | 420 |1559 | 0 | 0 | 763 | 68k| 26k| 0.000000e+00 | -- | Inf
1724.86/1724.88 c 1725s| 2010k| 1089 | 22500k| 11.2 | 20M| 75 | - | 420 |1583 | 0 | 0 | 763 | 68k| 26k| 0.000000e+00 | -- | Inf
1732.85/1732.81 c 1733s| 2020k| 1173 | 22604k| 11.2 | 20M| 75 | - | 420 |1713 | 420 | 848 | 763 | 68k| 26k| 0.000000e+00 | -- | Inf
1740.75/1740.75 c 1741s| 2030k| 1092 | 22708k| 11.2 | 20M| 78 | 31 | 420 |1629 | 420 | 848 | 763 | 69k| 26k| 0.000000e+00 | -- | Inf
1748.45/1748.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1748.45/1748.46 c 1748s| 2040k| 1076 | 22806k| 11.2 | 20M| 78 | 35 | 420 |1515 | 420 | 848 | 763 | 69k| 26k| 0.000000e+00 | -- | Inf
1756.76/1756.71 c 1757s| 2050k| 1058 | 22915k| 11.2 | 20M| 78 | - | 420 |1559 | 420 | 848 | 763 | 69k| 26k| 0.000000e+00 | -- | Inf
1765.56/1765.56 c 1766s| 2060k| 1029 | 23031k| 11.2 | 20M| 78 | 46 | 420 |1497 | 420 | 848 | 763 | 70k| 26k| 0.000000e+00 | -- | Inf
1773.65/1773.68 c 1774s| 2070k| 1007 | 23136k| 11.2 | 20M| 78 | - | 420 |1436 | 0 | 0 | 763 | 70k| 26k| 0.000000e+00 | -- | Inf
1781.45/1781.43 c 1781s| 2080k| 1018 | 23236k| 11.2 | 20M| 78 | 39 | 420 |1503 | 420 | 848 | 763 | 70k| 26k| 0.000000e+00 | -- | Inf
1789.56/1789.50 c 1789s| 2090k| 966 | 23340k| 11.2 | 20M| 78 | 33 | 420 |1482 | 420 | 848 | 763 | 71k| 26k| 0.000000e+00 | -- | Inf
1798.68/1798.67 c 1799s| 2100k| 954 | 23461k| 11.2 | 20M| 78 | 50 | 420 |1440 | 420 | 848 | 763 | 71k| 26k| 0.000000e+00 | -- | Inf
1800.05/1800.01 c
1800.05/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.01 c Solving Time (sec) : 1800.00
1800.05/1800.01 c Solving Nodes : 2101397
1800.05/1800.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.01 s UNKNOWN
1800.05/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.01 c Total Time : 1800.00
1800.05/1800.01 c solving : 1800.00
1800.05/1800.01 c presolving : 0.02 (included in solving)
1800.05/1800.01 c reading : 0.01 (included in solving)
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-3452785-1307067367.opb
1800.05/1800.01 c Variables : 428 (428 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.01 c Constraints : 644 initial, 644 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-3452785-1307067367.opb
1800.05/1800.01 c Variables : 420 (420 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.01 c Constraints : 632 initial, 2230 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 8 0 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c setppc : 0.00 0 0 0 0 0 12 0 0 0
1800.05/1800.01 c linear : 0.01 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.01 c root node : - 0 - - 0 - - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 1057246 0 1 0 799 5780 0 0 2104834
1800.05/1800.01 c knapsack : 290 5 5099536 0 1 0 10895969 635080 21716504 608 0 0
1800.05/1800.01 c setppc : 210 5 4405644 0 1 0 1917584 802 6097253 0 0 0
1800.05/1800.01 c logicor : 132+ 5 3369731 0 1 0 21696 7735 2983478 0 0 0
1800.05/1800.01 c countsols : 0 0 0 0 1 0 0 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.01 c integral : 57.21 0.00 0.00 57.21 0.00 0.00 0.00
1800.05/1800.01 c knapsack : 53.59 0.01 49.91 0.00 0.00 0.00 3.66
1800.05/1800.01 c setppc : 9.67 0.00 9.27 0.00 0.00 0.00 0.40
1800.05/1800.01 c logicor : 16.10 0.00 16.06 0.00 0.00 0.00 0.04
1800.05/1800.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.01 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.01 c vbounds : 0 0 0 0
1800.05/1800.01 c rootredcost : 0 0 0 0
1800.05/1800.01 c pseudoobj : 0 0 0 0
1800.05/1800.01 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.01 c vbounds : 0.71 0.71 0.00
1800.05/1800.01 c rootredcost : 0.70 0.70 0.00
1800.05/1800.01 c pseudoobj : 0.53 0.53 0.00
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 12.88 78223 70393 521015 94.2 470 108.2 -
1800.05/1800.01 c infeasible LP : 33.61 406962 0 0 0.0 0 0.0 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.01 c applied globally : - - - 67595 22.9 - - -
1800.05/1800.01 c applied locally : - - - 3948 49.2 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 4 - - 132 - (maximal pool size: 2432)
1800.05/1800.01 c redcost : 6.04 1054522 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.00 5 0 0 1205 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.36 5 0 0 294 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c closecuts : 0.00 0 0 0 0 0
1800.05/1800.01 c strongcg : 0.32 5 0 0 2241 0
1800.05/1800.01 c cmir : 0.00 0 0 0 0 0
1800.05/1800.01 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.01 c clique : 0.00 1 0 0 0 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 1 0 0 0 0
1800.05/1800.01 c oddcycle : 0.00 0 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.03 1 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 56.63 1057246 799 5780 0 0 2104834
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 0.00 1 0 0 0 0 2
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.00 - 0
1800.05/1800.01 c trivial : 0.00 1 0
1800.05/1800.01 c shiftandpropagate: 0.00 0 0
1800.05/1800.01 c simplerounding : 0.00 0 0
1800.05/1800.01 c zirounding : 0.00 0 0
1800.05/1800.01 c rounding : 0.00 0 0
1800.05/1800.01 c shifting : 0.00 0 0
1800.05/1800.01 c intshifting : 0.00 0 0
1800.05/1800.01 c oneopt : 0.00 0 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c feaspump : 0.00 0 0
1800.05/1800.01 c clique : 0.00 0 0
1800.05/1800.01 c coefdiving : 0.00 0 0
1800.05/1800.01 c pscostdiving : 0.00 0 0
1800.05/1800.01 c fracdiving : 0.00 0 0
1800.05/1800.01 c veclendiving : 0.00 0 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c objpscostdiving : 0.00 0 0
1800.05/1800.01 c rootsoldiving : 0.00 0 0
1800.05/1800.01 c linesearchdiving : 0.00 0 0
1800.05/1800.01 c guideddiving : 0.00 0 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.00 0 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c crossover : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c vbounds : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c subnlp : 0.00 0 0
1800.05/1800.01 c trysol : 0.00 0 0
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 1419.11 1462523 23479802 16.05 16545.45
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.01 c strong branching : 43.72 26756 578135 21.61 13224.05
1800.05/1800.01 c (at root node) : - 10 1140 114.00 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 2101397
1800.05/1800.01 c nodes (total) : 2101397
1800.05/1800.01 c nodes left : 952
1800.05/1800.01 c max depth : 78
1800.05/1800.01 c max depth (total): 78
1800.05/1800.01 c backtracks : 282279 (13.4%)
1800.05/1800.01 c delayed cutoffs : 2488
1800.05/1800.01 c repropagations : 178619 (316902 domain reductions, 2399 cutoffs)
1800.05/1800.01 c avg switch length: 2.82
1800.05/1800.01 c switching time : 65.34
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 0 (0 improvements)
1800.05/1800.01 c Primal Bound : -
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Root Iterations : 2442
1800.05/1800.01 c Time complete: 1800.07.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3452785-1307067367/watcher-3452785-1307067367 -o /tmp/evaluation-result-3452785-1307067367/solver-3452785-1307067367 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452785-1307067367.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 4/514 2486
/proc/meminfo: memFree=23284140/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=10308 CPUtime=0 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 1575 0 0 0 0 0 0 0 20 0 1 0 896967377 10555392 1528 33554432000 4194304 9128323 140734430407296 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/2486/statm: 2577 1528 397 1205 0 1368 0
[startup+0.119588 s]
/proc/loadavg: 1.00 1.00 1.00 4/514 2486
/proc/meminfo: memFree=23284140/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=24956 CPUtime=0.1 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 8305 0 0 0 10 0 0 0 21 0 1 0 896967377 25554944 5236 33554432000 4194304 9128323 140734430407296 18446744073709551615 6678029 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 6239 5236 714 1205 0 5030 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 24956
[startup+0.200553 s]
/proc/loadavg: 1.00 1.00 1.00 4/514 2486
/proc/meminfo: memFree=23284140/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=25024 CPUtime=0.19 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 8336 0 0 0 18 1 0 0 21 0 1 0 896967377 25624576 5267 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 6256 5267 714 1205 0 5047 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25024
[startup+0.300541 s]
/proc/loadavg: 1.00 1.00 1.00 4/514 2486
/proc/meminfo: memFree=23284140/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=26696 CPUtime=0.29 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 8743 0 0 0 28 1 0 0 21 0 1 0 896967377 27336704 5674 33554432000 4194304 9128323 140734430407296 18446744073709551615 6637352 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 6674 5674 714 1205 0 5465 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26696
[startup+0.70047 s]
/proc/loadavg: 1.00 1.00 1.00 4/514 2486
/proc/meminfo: memFree=23284140/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=34220 CPUtime=0.69 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 10434 0 0 0 67 2 0 0 22 0 1 0 896967377 35041280 7364 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 8555 7364 714 1205 0 7346 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34220
[startup+1.50032 s]
/proc/loadavg: 1.00 1.00 1.00 3/516 2545
/proc/meminfo: memFree=23227352/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=40524 CPUtime=1.49 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 12153 0 0 0 145 4 0 0 25 0 1 0 896967377 41496576 9083 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 10131 9083 717 1205 0 8922 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40524
[startup+3.10101 s]
/proc/loadavg: 1.00 1.00 1.00 3/516 2574
/proc/meminfo: memFree=23226084/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=40524 CPUtime=3.09 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 12154 0 0 0 295 14 0 0 25 0 1 0 896967377 41496576 9084 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 10131 9084 717 1205 0 8922 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40524
[startup+6.30041 s]
/proc/loadavg: 1.08 1.02 1.01 3/516 2655
/proc/meminfo: memFree=23223188/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=40524 CPUtime=6.29 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 12154 0 0 0 597 32 0 0 25 0 1 0 896967377 41496576 9084 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 10131 9084 717 1205 0 8922 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40524
[startup+12.7002 s]
/proc/loadavg: 1.15 1.03 1.01 2/511 3003
/proc/meminfo: memFree=23255296/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=40524 CPUtime=12.69 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 12154 0 0 0 1198 71 0 0 25 0 1 0 896967377 41496576 9084 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 10131 9084 717 1205 0 8922 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40524
[startup+25.5008 s]
/proc/loadavg: 1.27 1.06 1.02 2/511 3587
/proc/meminfo: memFree=23252804/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=40524 CPUtime=25.49 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 12154 0 0 0 2408 141 0 0 25 0 1 0 896967377 41496576 9084 33554432000 4194304 9128323 140734430407296 18446744073709551615 6581557 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 10131 9084 717 1205 0 8922 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40524
[startup+51.1009 s]
/proc/loadavg: 1.52 1.14 1.04 3/516 4462
/proc/meminfo: memFree=23217984/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=40656 CPUtime=51.09 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 12200 0 0 0 4823 286 0 0 25 0 1 0 896967377 41631744 9130 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 10164 9130 717 1205 0 8955 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 40656
[startup+102.3 s]
/proc/loadavg: 1.93 1.31 1.11 3/516 5273
/proc/meminfo: memFree=23202244/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=41240 CPUtime=102.3 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 12334 0 0 0 9680 550 0 0 25 0 1 0 896967377 42229760 9264 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 10310 9264 717 1205 0 9101 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 41240
[startup+162.301 s]
/proc/loadavg: 2.07 1.45 1.17 3/516 5275
/proc/meminfo: memFree=23199820/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=41736 CPUtime=162.3 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 12476 0 0 0 15380 850 0 0 25 0 1 0 896967377 42737664 9406 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 10434 9406 717 1205 0 9225 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 41736
[startup+222.32 s]
/proc/loadavg: 2.05 1.57 1.22 3/516 5277
/proc/meminfo: memFree=23199632/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=42084 CPUtime=222.31 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 12571 0 0 0 21081 1150 0 0 25 0 1 0 896967377 43094016 9501 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 10521 9501 717 1205 0 9312 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 42084
[startup+282.301 s]
/proc/loadavg: 2.02 1.64 1.27 3/516 5278
/proc/meminfo: memFree=23200060/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=42396 CPUtime=282.3 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 12622 0 0 0 26784 1446 0 0 25 0 1 0 896967377 43413504 9552 33554432000 4194304 9128323 140734430407296 18446744073709551615 6856920 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 10599 9552 717 1205 0 9390 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 42396
[startup+342.3 s]
/proc/loadavg: 2.07 1.72 1.31 3/516 5334
/proc/meminfo: memFree=23202052/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=43140 CPUtime=342.3 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 12802 0 0 0 32490 1740 0 0 25 0 1 0 896967377 44175360 9732 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 10785 9732 717 1205 0 9576 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 43140
[startup+402.3 s]
/proc/loadavg: 2.02 1.77 1.35 3/516 5335
/proc/meminfo: memFree=23200876/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=43140 CPUtime=402.31 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 12828 0 0 0 38188 2043 0 0 25 0 1 0 896967377 44175360 9758 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 10785 9758 717 1205 0 9576 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 43140
[startup+462.301 s]
/proc/loadavg: 2.01 1.81 1.39 3/516 5337
/proc/meminfo: memFree=23199296/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=43140 CPUtime=462.31 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 12829 0 0 0 43893 2338 0 0 25 0 1 0 896967377 44175360 9759 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 10785 9759 717 1205 0 9576 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 43140
[startup+522.301 s]
/proc/loadavg: 2.00 1.84 1.43 3/516 5338
/proc/meminfo: memFree=23198868/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=43140 CPUtime=522.31 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 12836 0 0 0 49603 2628 0 0 25 0 1 0 896967377 44175360 9766 33554432000 4194304 9128323 140734430407296 18446744073709551615 4792790 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 10785 9766 717 1205 0 9576 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 43140
[startup+582.3 s]
/proc/loadavg: 2.00 1.87 1.46 3/516 5340
/proc/meminfo: memFree=23198180/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=43280 CPUtime=582.31 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 12851 0 0 0 55304 2927 0 0 25 0 1 0 896967377 44318720 9781 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 10820 9781 717 1205 0 9611 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 43280
[startup+642.301 s]
################
# More data... #
################
[startup+882.319 s]
/proc/loadavg: 2.03 2.00 1.63 3/516 5375
/proc/meminfo: memFree=23198456/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=45024 CPUtime=882.34 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 13296 0 0 0 83809 4425 0 0 25 0 1 0 896967377 46104576 10221 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 11256 10221 717 1205 0 10047 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 45024
[startup+942.301 s]
/proc/loadavg: 2.01 2.00 1.65 3/516 5377
/proc/meminfo: memFree=23196968/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=45164 CPUtime=942.33 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 13336 0 0 0 89498 4735 0 0 25 0 1 0 896967377 46247936 10261 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 11291 10261 717 1205 0 10082 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 45164
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.66 3/516 5378
/proc/meminfo: memFree=23195916/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=45300 CPUtime=1002.32 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 13340 0 0 0 95198 5034 0 0 25 0 1 0 896967377 46387200 10265 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 11325 10265 717 1205 0 10116 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 45300
[startup+1062.3 s]
/proc/loadavg: 2.08 2.03 1.69 3/516 5380
/proc/meminfo: memFree=23192024/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=45300 CPUtime=1062.33 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 13340 0 0 0 100894 5339 0 0 25 0 1 0 896967377 46387200 10265 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 11325 10265 717 1205 0 10116 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 45300
[startup+1122.3 s]
/proc/loadavg: 2.03 2.02 1.71 3/516 5382
/proc/meminfo: memFree=23189620/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=45300 CPUtime=1122.33 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 13370 0 0 0 106590 5643 0 0 25 0 1 0 896967377 46387200 10295 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 11325 10295 717 1205 0 10116 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 45300
[startup+1182.3 s]
/proc/loadavg: 2.17 2.05 1.74 3/516 5383
/proc/meminfo: memFree=23187704/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=45748 CPUtime=1182.33 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 13472 0 0 0 112282 5951 0 0 25 0 1 0 896967377 46845952 10397 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 11437 10397 717 1205 0 10228 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 45748
[startup+1242.3 s]
/proc/loadavg: 2.13 2.05 1.75 3/516 5385
/proc/meminfo: memFree=23186244/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=46036 CPUtime=1242.34 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 13559 0 0 0 117988 6246 0 0 25 0 1 0 896967377 47140864 10483 33554432000 4194304 9128323 140734430407296 18446744073709551615 6525274 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 11509 10483 717 1205 0 10300 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 46036
[startup+1302.3 s]
/proc/loadavg: 2.05 2.04 1.77 3/516 5386
/proc/meminfo: memFree=23185076/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=46712 CPUtime=1302.34 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 13729 0 0 0 123683 6551 0 0 25 0 1 0 896967377 47833088 10652 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 11678 10652 717 1205 0 10469 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 46712
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 1.78 3/516 5415
/proc/meminfo: memFree=23195448/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=46864 CPUtime=1362.34 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 13771 0 0 0 129392 6842 0 0 25 0 1 0 896967377 47988736 10694 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 11716 10694 717 1205 0 10507 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 46864
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 1.79 3/516 5447
/proc/meminfo: memFree=23195512/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=46864 CPUtime=1422.35 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 13777 0 0 0 135084 7151 0 0 25 0 1 0 896967377 47988736 10700 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 11716 10700 717 1205 0 10507 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 46864
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 1.80 3/516 5448
/proc/meminfo: memFree=23193380/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=46996 CPUtime=1482.34 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 13790 0 0 0 140781 7453 0 0 25 0 1 0 896967377 48123904 10713 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 11749 10713 717 1205 0 10540 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 46996
[startup+1542.32 s]
/proc/loadavg: 2.00 2.01 1.81 3/516 5504
/proc/meminfo: memFree=23194892/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=46996 CPUtime=1542.36 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 13810 0 0 0 146448 7788 0 0 25 0 1 0 896967377 48123904 10733 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 11749 10733 717 1205 0 10540 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 46996
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.82 3/516 5505
/proc/meminfo: memFree=23194500/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=47160 CPUtime=1602.34 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 13841 0 0 0 152048 8186 0 0 25 0 1 0 896967377 48291840 10764 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 11790 10764 717 1205 0 10581 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 47160
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/516 5588
/proc/meminfo: memFree=23195252/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=47160 CPUtime=1662.35 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 13850 0 0 0 157683 8552 0 0 25 0 1 0 896967377 48291840 10773 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 11790 10773 717 1205 0 10581 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 47160
[startup+1722.3 s]
/proc/loadavg: 2.12 2.04 1.85 3/516 5589
/proc/meminfo: memFree=23192896/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=47764 CPUtime=1722.35 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 13980 0 0 0 163304 8931 0 0 25 0 1 0 896967377 48910336 10903 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 11941 10903 717 1205 0 10732 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 47764
[startup+1782.3 s]
/proc/loadavg: 2.11 2.06 1.87 3/516 5591
/proc/meminfo: memFree=23191656/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=47764 CPUtime=1782.35 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 14000 0 0 0 168915 9320 0 0 25 0 1 0 896967377 48910336 10923 33554432000 4194304 9128323 140734430407296 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/2486/statm: 11941 10923 717 1205 0 10732 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 47764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.09 2.06 1.87 3/516 5592
/proc/meminfo: memFree=23191508/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=47764 CPUtime=1800.06 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 14004 0 0 0 170569 9437 0 0 25 0 1 0 896967377 48910336 10927 33554432000 4194304 9128323 140734430407296 18446744073709551615 7104112 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/2486/statm: 11941 10927 721 1205 0 10732 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 47764
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.09 2.06 1.87 3/516 5592
/proc/meminfo: memFree=23191508/32950928 swapFree=58671692/67111528
[pid=2486] ppid=2482 vsize=47764 CPUtime=1800.06 cores=1,3,5,7
/proc/2486/stat : 2486 (scip-2.0.1.4.li) R 2482 2486 1417 0 -1 4202496 14004 0 0 0 170569 9437 0 0 25 0 1 0 896967377 48910336 10927 33554432000 4194304 9128323 140734430407296 18446744073709551615 7104112 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/2486/statm: 11941 10927 721 1205 0 10732 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 47764
Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.08
CPU user time (s): 1705.7
CPU system time (s): 94.3776
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 47764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1705.7
system time used= 94.3777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14006
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 24459
runsolver used 8.78266 second user time and 21.0828 second system time
The end