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-3489045-1307750422.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.02/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.02/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.02/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.02/0.03 c presolving (5 rounds):
0.02/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.02/0.03 c 15484 implications, 0 cliques
0.02/0.03 c presolved problem has 420 variables (420 bin, 0 int, 0 impl, 0 cont) and 632 constraints
0.02/0.03 c 290 constraints of type <knapsack>
0.02/0.03 c 210 constraints of type <setppc>
0.02/0.03 c 132 constraints of type <logicor>
0.02/0.03 c transformed objective value is always integral (scale: 1)
0.02/0.03 c Presolving Time: 0.02
0.02/0.03 c - non default parameters ----------------------------------------------------------------------
0.02/0.03 c # SCIP version 2.0.1.5
0.02/0.03 c
0.02/0.03 c # frequency for displaying node information lines
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.03 c display/freq = 10000
0.02/0.03 c
0.02/0.03 c # maximal time in seconds to run
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.03 c limits/time = 1797
0.02/0.03 c
0.02/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.03 c limits/memory = 13950
0.02/0.03 c
0.02/0.03 c # solving stops, if the given number of solutions were found (-1: no limit)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.03 c limits/solutions = 1
0.02/0.03 c
0.02/0.03 c # maximal number of separation rounds per node (-1: unlimited)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 5]
0.02/0.03 c separating/maxrounds = 1
0.02/0.03 c
0.02/0.03 c # maximal number of separation rounds in the root node (-1: unlimited)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.03 c separating/maxroundsroot = 5
0.02/0.03 c
0.02/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.03 c # [type: int, range: [1,2], default: 1]
0.02/0.03 c timing/clocktype = 2
0.02/0.03 c
0.02/0.03 c # belongs reading time to solving time?
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c timing/reading = TRUE
0.02/0.03 c
0.02/0.03 c # should presolving try to simplify inequalities
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c constraints/linear/simplifyinequalities = TRUE
0.02/0.03 c
0.02/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c constraints/indicator/addCouplingCons = TRUE
0.02/0.03 c
0.02/0.03 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.02/0.03 c constraints/knapsack/disaggregation = FALSE
0.02/0.03 c
0.02/0.03 c # should presolving try to simplify knapsacks
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.03 c
0.02/0.03 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.03 c presolving/probing/maxrounds = 0
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.03 c heuristics/coefdiving/freq = -1
0.02/0.03 c
0.02/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.03 c heuristics/coefdiving/maxlpiterquot = 0.075
0.02/0.03 c
0.02/0.03 c # additional number of allowed LP iterations
0.02/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.03 c heuristics/coefdiving/maxlpiterofs = 1500
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 30]
0.02/0.03 c heuristics/crossover/freq = -1
0.02/0.03 c
0.02/0.03 c # number of nodes added to the contingent of the total nodes
0.02/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.02/0.03 c heuristics/crossover/nodesofs = 750
0.02/0.03 c
0.02/0.03 c # number of nodes without incumbent change that heuristic should wait
0.02/0.03 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.02/0.03 c heuristics/crossover/nwaitingnodes = 100
0.02/0.03 c
0.02/0.03 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.02/0.03 c # [type: real, range: [0,1], default: 0.1]
0.02/0.03 c heuristics/crossover/nodesquot = 0.15
0.02/0.03 c
0.02/0.03 c # minimum percentage of integer variables that have to be fixed
0.02/0.03 c # [type: real, range: [0,1], default: 0.666]
0.02/0.03 c heuristics/crossover/minfixingrate = 0.5
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.02/0.03 c heuristics/feaspump/freq = -1
0.02/0.03 c
0.02/0.03 c # additional number of allowed LP iterations
0.02/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.03 c heuristics/feaspump/maxlpiterofs = 2000
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.03 c heuristics/fracdiving/freq = -1
0.02/0.03 c
0.02/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.03 c heuristics/fracdiving/maxlpiterquot = 0.075
0.02/0.03 c
0.02/0.03 c # additional number of allowed LP iterations
0.02/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.03 c heuristics/fracdiving/maxlpiterofs = 1500
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.03 c heuristics/guideddiving/freq = -1
0.02/0.03 c
0.02/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.03 c heuristics/guideddiving/maxlpiterquot = 0.075
0.02/0.03 c
0.02/0.03 c # additional number of allowed LP iterations
0.02/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.03 c heuristics/guideddiving/maxlpiterofs = 1500
0.02/0.03 c
0.02/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.03 c heuristics/intdiving/maxlpiterquot = 0.075
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.03 c heuristics/intshifting/freq = -1
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.03 c heuristics/linesearchdiving/freq = -1
0.02/0.03 c
0.02/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.03 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.02/0.03 c
0.02/0.03 c # additional number of allowed LP iterations
0.02/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.03 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.02/0.03 c heuristics/objpscostdiving/freq = -1
0.02/0.03 c
0.02/0.03 c # maximal fraction of diving LP iterations compared to total iteration number
0.02/0.03 c # [type: real, range: [0,1], default: 0.01]
0.02/0.03 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.02/0.03 c
0.02/0.03 c # additional number of allowed LP iterations
0.02/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.03 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.03 c heuristics/oneopt/freq = -1
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.03 c heuristics/pscostdiving/freq = -1
0.02/0.03 c
0.02/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.03 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.02/0.03 c
0.02/0.03 c # additional number of allowed LP iterations
0.02/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.03 c heuristics/pscostdiving/maxlpiterofs = 1500
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.03 c heuristics/rens/freq = -1
0.02/0.03 c
0.02/0.03 c # minimum percentage of integer variables that have to be fixable
0.02/0.03 c # [type: real, range: [0,1], default: 0.5]
0.02/0.03 c heuristics/rens/minfixingrate = 0.3
0.02/0.03 c
0.02/0.03 c # number of nodes added to the contingent of the total nodes
0.02/0.03 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.02/0.03 c heuristics/rens/nodesofs = 2000
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 20]
0.02/0.03 c heuristics/rootsoldiving/freq = -1
0.02/0.03 c
0.02/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.02/0.03 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.02/0.03 c
0.02/0.03 c # additional number of allowed LP iterations
0.02/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.03 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.03 c heuristics/rounding/freq = -1
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.03 c heuristics/shiftandpropagate/freq = -1
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.03 c heuristics/shifting/freq = -1
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.03 c heuristics/simplerounding/freq = -1
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.03 c heuristics/subnlp/freq = -1
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.03 c heuristics/trivial/freq = -1
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.03 c heuristics/trysol/freq = -1
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.03 c heuristics/undercover/freq = -1
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 10]
0.02/0.03 c heuristics/veclendiving/freq = -1
0.02/0.03 c
0.02/0.03 c # maximal fraction of diving LP iterations compared to node LP iterations
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.02/0.03 c heuristics/veclendiving/maxlpiterquot = 0.075
0.02/0.03 c
0.02/0.03 c # additional number of allowed LP iterations
0.02/0.03 c # [type: int, range: [0,2147483647], default: 1000]
0.02/0.03 c heuristics/veclendiving/maxlpiterofs = 1500
0.02/0.03 c
0.02/0.03 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.03 c heuristics/zirounding/freq = -1
0.02/0.03 c
0.02/0.03 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.03 c separating/cmir/freq = -1
0.02/0.03 c
0.02/0.03 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.03 c separating/flowcover/freq = -1
0.02/0.03 c
0.02/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.03 c separating/rapidlearning/freq = 0
0.02/0.03 c
0.02/0.03 c -----------------------------------------------------------------------------------------------
0.02/0.03 c start solving
0.02/0.03 c
0.02/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.02/0.04 c 0.0s| 1 | 0 | 251 | - |2752k| 0 | 113 | 420 | 632 | 420 | 632 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.08/0.19 c 0.2s| 1 | 0 | 1386 | - |3874k| 0 | 204 | 420 | 632 | 420 | 946 | 314 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.40 c 0.4s| 1 | 0 | 1750 | - |7372k| 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.83 c 0.8s| 1 | 0 | 2293 | - | 12M| 0 | 247 | 420 | 632 | 420 |1367 | 735 | 0 | 0 | 0.000000e+00 | -- | Inf
1.00/1.02 c 1.0s| 1 | 0 | 2442 | - | 15M| 0 | 245 | 420 | 632 | 420 |1395 | 763 | 0 | 0 | 0.000000e+00 | -- | Inf
1.09/1.15 c 1.1s| 1 | 2 | 2442 | - | 15M| 0 | 245 | 420 | 632 | 420 |1395 | 763 | 0 | 10 | 0.000000e+00 | -- | Inf
15.79/15.81 c 15.8s| 10000 | 49 |129945 | 12.8 | 15M| 37 | - | 420 | 804 | 420 | 848 | 763 | 369 |2829 | 0.000000e+00 | -- | Inf
24.79/24.86 c 24.9s| 20000 | 70 |251059 | 12.4 | 16M| 38 | 42 | 420 | 929 | 420 | 848 | 763 | 694 |2970 | 0.000000e+00 | -- | Inf
32.89/32.99 c 33.0s| 30000 | 62 |354054 | 11.7 | 16M| 48 | 38 | 420 |1088 | 420 | 848 | 763 |1174 |3214 | 0.000000e+00 | -- | Inf
43.39/43.41 c 43.4s| 40000 | 80 |469581 | 11.7 | 16M| 51 | - | 420 |1081 | 420 | 848 | 763 |1486 |3798 | 0.000000e+00 | -- | Inf
55.49/55.59 c 55.6s| 50000 | 84 |599283 | 11.9 | 16M| 51 | - | 420 |1088 | 420 | 848 | 763 |1791 |4667 | 0.000000e+00 | -- | Inf
65.60/65.68 c 65.7s| 60000 | 98 |716695 | 11.9 | 16M| 51 | - | 420 |1059 | 0 | 0 | 763 |2152 |4961 | 0.000000e+00 | -- | Inf
76.59/76.68 c 76.7s| 70000 | 91 |842480 | 12.0 | 16M| 51 | 38 | 420 |1044 | 420 | 848 | 763 |2444 |5438 | 0.000000e+00 | -- | Inf
88.59/88.68 c 88.7s| 80000 | 109 |980928 | 12.2 | 16M| 51 | - | 420 |1064 | 0 | 0 | 763 |2710 |5984 | 0.000000e+00 | -- | Inf
99.70/99.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.70/99.79 c 99.8s| 90000 | 110 | 1112k| 12.3 | 16M| 51 | - | 420 |1113 | 420 | 848 | 763 |3012 |6359 | 0.000000e+00 | -- | Inf
108.00/108.07 c 108s|100000 | 109 | 1206k| 12.0 | 16M| 52 | 36 | 420 |1302 | 420 | 848 | 763 |3560 |6547 | 0.000000e+00 | -- | Inf
115.59/115.68 c 116s|110000 | 129 | 1292k| 11.7 | 16M| 52 | - | 420 |1561 | 0 | 0 | 763 |4118 |6698 | 0.000000e+00 | -- | Inf
124.10/124.14 c 124s|120000 | 127 | 1389k| 11.6 | 16M| 53 | 22 | 420 |1563 | 420 | 848 | 763 |4566 |6819 | 0.000000e+00 | -- | Inf
133.69/133.71 c 134s|130000 | 124 | 1494k| 11.5 | 16M| 60 | - | 420 |1475 | 0 | 0 | 763 |4995 |7324 | 0.000000e+00 | -- | Inf
144.20/144.25 c 144s|140000 | 146 | 1616k| 11.5 | 16M| 60 | - | 420 |1477 | 420 | 848 | 763 |5302 |7620 | 0.000000e+00 | -- | Inf
153.69/153.71 c 154s|150000 | 155 | 1728k| 11.5 | 16M| 60 | - | 420 |1580 | 420 | 848 | 763 |5613 |7777 | 0.000000e+00 | -- | Inf
162.09/162.17 c 162s|160000 | 163 | 1824k| 11.4 | 16M| 60 | - | 420 |1677 | 0 | 0 | 763 |6013 |7898 | 0.000000e+00 | -- | Inf
171.50/171.55 c 172s|170000 | 152 | 1929k| 11.3 | 16M| 60 | 36 | 420 |1623 | 420 | 848 | 763 |6353 |8189 | 0.000000e+00 | -- | Inf
180.59/180.63 c 181s|180000 | 171 | 2034k| 11.3 | 16M| 60 | - | 420 |1708 | 0 | 0 | 763 |6687 |8340 | 0.000000e+00 | -- | Inf
189.29/189.40 c 189s|190000 | 204 | 2135k| 11.2 | 16M| 60 | - | 420 |1761 | 420 | 848 | 763 |7039 |8435 | 0.000000e+00 | -- | Inf
198.60/198.68 c 199s|200000 | 196 | 2241k| 11.2 | 16M| 63 | 23 | 420 |1662 | 420 | 848 | 763 |7330 |8637 | 0.000000e+00 | -- | Inf
208.59/208.62 c 209s|210000 | 221 | 2358k| 11.2 | 17M| 63 | 24 | 420 |1757 | 420 | 848 | 763 |7686 |8850 | 0.000000e+00 | -- | Inf
219.10/219.14 c 219s|220000 | 209 | 2479k| 11.3 | 16M| 63 | 18 | 420 |1634 | 420 | 848 | 763 |7969 |9082 | 0.000000e+00 | -- | Inf
227.50/227.60 c 228s|230000 | 242 | 2576k| 11.2 | 17M| 63 | - | 420 |1847 | 420 | 848 | 763 |8420 |9277 | 0.000000e+00 | -- | Inf
236.09/236.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
236.09/236.15 c 236s|240000 | 252 | 2675k| 11.1 | 17M| 63 | 30 | 420 |2056 | 420 | 848 | 763 |8946 |9393 | 0.000000e+00 | -- | Inf
244.49/244.54 c 245s|250000 | 236 | 2772k| 11.1 | 17M| 63 | - | 420 |2165 | 0 | 0 | 763 |9467 |9521 | 0.000000e+00 | -- | Inf
253.09/253.16 c 253s|260000 | 227 | 2870k| 11.0 | 17M| 63 | - | 420 |1980 | 420 | 848 | 763 |9917 |9678 | 0.000000e+00 | -- | Inf
261.99/262.07 c 262s|270000 | 236 | 2974k| 11.0 | 17M| 63 | 42 | 420 |2057 | 420 | 848 | 763 | 10k|9834 | 0.000000e+00 | -- | Inf
270.89/270.95 c 271s|280000 | 230 | 3079k| 11.0 | 17M| 63 | 34 | 420 |2043 | 420 | 848 | 763 | 10k|9980 | 0.000000e+00 | -- | Inf
280.90/280.91 c 281s|290000 | 232 | 3198k| 11.0 | 17M| 63 | 22 | 420 |2037 | 420 | 848 | 763 | 10k| 10k| 0.000000e+00 | -- | Inf
289.40/289.42 c 289s|300000 | 241 | 3297k| 11.0 | 17M| 63 | 31 | 420 |2108 | 420 | 848 | 763 | 11k| 10k| 0.000000e+00 | -- | Inf
299.00/299.02 c 299s|310000 | 252 | 3410k| 11.0 | 17M| 63 | 29 | 420 |2057 | 420 | 848 | 763 | 11k| 10k| 0.000000e+00 | -- | Inf
308.40/308.43 c 308s|320000 | 256 | 3519k| 11.0 | 17M| 63 | 39 | 420 |2175 | 420 | 848 | 763 | 12k| 10k| 0.000000e+00 | -- | Inf
318.00/318.04 c 318s|330000 | 275 | 3629k| 11.0 | 17M| 63 | - | 420 |2086 | 0 | 0 | 763 | 12k| 10k| 0.000000e+00 | -- | Inf
327.70/327.79 c 328s|340000 | 268 | 3743k| 11.0 | 17M| 63 | 31 | 420 |2122 | 420 | 848 | 763 | 12k| 10k| 0.000000e+00 | -- | Inf
338.10/338.19 c 338s|350000 | 258 | 3868k| 11.0 | 17M| 63 | - | 420 |2022 | 0 | 0 | 763 | 13k| 11k| 0.000000e+00 | -- | Inf
347.80/347.88 c 348s|360000 | 241 | 3982k| 11.1 | 17M| 63 | 27 | 420 |1757 | 420 | 848 | 763 | 13k| 11k| 0.000000e+00 | -- | Inf
355.70/355.76 c 356s|370000 | 302 | 4073k| 11.0 | 17M| 63 | - | 420 |1904 | 0 | 0 | 763 | 13k| 11k| 0.000000e+00 | -- | Inf
363.50/363.52 c 364s|380000 | 252 | 4161k| 10.9 | 17M| 63 | - | 420 |1892 | 0 | 0 | 763 | 14k| 11k| 0.000000e+00 | -- | Inf
371.90/371.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
371.90/371.99 c 372s|390000 | 260 | 4261k| 10.9 | 17M| 63 | - | 420 |2001 | 0 | 0 | 763 | 14k| 11k| 0.000000e+00 | -- | Inf
380.40/380.43 c 380s|400000 | 314 | 4359k| 10.9 | 17M| 68 | 37 | 420 |2040 | 420 | 848 | 763 | 15k| 11k| 0.000000e+00 | -- | Inf
389.00/389.06 c 389s|410000 | 281 | 4460k| 10.9 | 17M| 68 | - | 420 |2075 | 0 | 0 | 763 | 15k| 11k| 0.000000e+00 | -- | Inf
397.50/397.52 c 398s|420000 | 264 | 4558k| 10.8 | 17M| 68 | 27 | 420 |2130 | 420 | 848 | 763 | 16k| 11k| 0.000000e+00 | -- | Inf
405.91/405.98 c 406s|430000 | 260 | 4656k| 10.8 | 17M| 68 | - | 420 |2102 | 0 | 0 | 763 | 16k| 11k| 0.000000e+00 | -- | Inf
415.00/415.03 c 415s|440000 | 250 | 4761k| 10.8 | 17M| 68 | - | 420 |2128 | 0 | 0 | 763 | 16k| 12k| 0.000000e+00 | -- | Inf
423.70/423.78 c 424s|450000 | 252 | 4861k| 10.8 | 17M| 68 | 31 | 420 |2076 | 420 | 848 | 763 | 17k| 12k| 0.000000e+00 | -- | Inf
431.90/431.97 c 432s|460000 | 260 | 4956k| 10.8 | 17M| 68 | 38 | 420 |2102 | 420 | 848 | 763 | 17k| 12k| 0.000000e+00 | -- | Inf
441.40/441.47 c 441s|470000 | 239 | 5066k| 10.8 | 17M| 68 | 35 | 420 |1874 | 420 | 848 | 763 | 18k| 12k| 0.000000e+00 | -- | Inf
451.01/451.06 c 451s|480000 | 242 | 5181k| 10.8 | 17M| 68 | 26 | 420 |1936 | 420 | 848 | 763 | 18k| 12k| 0.000000e+00 | -- | Inf
459.60/459.62 c 460s|490000 | 246 | 5279k| 10.8 | 17M| 68 | 41 | 420 |1978 | 420 | 848 | 763 | 18k| 12k| 0.000000e+00 | -- | Inf
468.40/468.46 c 468s|500000 | 261 | 5381k| 10.8 | 17M| 68 | 52 | 420 |2020 | 420 | 848 | 763 | 19k| 12k| 0.000000e+00 | -- | Inf
478.10/478.19 c 478s|510000 | 260 | 5495k| 10.8 | 17M| 68 | - | 420 |2041 | 0 | 0 | 763 | 19k| 12k| 0.000000e+00 | -- | Inf
487.91/487.92 c 488s|520000 | 256 | 5609k| 10.8 | 17M| 68 | - | 420 |1813 | 420 | 848 | 763 | 19k| 12k| 0.000000e+00 | -- | Inf
497.11/497.15 c 497s|530000 | 269 | 5717k| 10.8 | 17M| 68 | - | 420 |1888 | 420 | 848 | 763 | 20k| 13k| 0.000000e+00 | -- | Inf
506.30/506.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
506.30/506.39 c 506s|540000 | 273 | 5823k| 10.8 | 17M| 68 | 44 | 420 |1966 | 420 | 848 | 763 | 20k| 13k| 0.000000e+00 | -- | Inf
516.20/516.29 c 516s|550000 | 273 | 5940k| 10.8 | 17M| 68 | 35 | 420 |1957 | 420 | 848 | 763 | 20k| 13k| 0.000000e+00 | -- | Inf
526.51/526.55 c 527s|560000 | 280 | 6062k| 10.8 | 17M| 68 | 58 | 420 |1956 | 420 | 848 | 763 | 21k| 13k| 0.000000e+00 | -- | Inf
536.60/536.62 c 537s|570000 | 275 | 6178k| 10.8 | 17M| 68 | 41 | 420 |1829 | 420 | 848 | 763 | 21k| 13k| 0.000000e+00 | -- | Inf
545.91/545.91 c 546s|580000 | 302 | 6287k| 10.8 | 17M| 68 | 27 | 420 |1741 | 420 | 848 | 763 | 21k| 13k| 0.000000e+00 | -- | Inf
555.10/555.14 c 555s|590000 | 274 | 6395k| 10.8 | 17M| 68 | - | 420 |1634 | 420 | 848 | 763 | 22k| 13k| 0.000000e+00 | -- | Inf
565.00/565.03 c 565s|600000 | 269 | 6514k| 10.9 | 17M| 68 | 47 | 420 |1567 | 420 | 848 | 763 | 22k| 13k| 0.000000e+00 | -- | Inf
575.50/575.53 c 576s|610000 | 273 | 6641k| 10.9 | 17M| 68 | - | 420 |1551 | 420 | 848 | 763 | 22k| 13k| 0.000000e+00 | -- | Inf
585.61/585.63 c 586s|620000 | 274 | 6761k| 10.9 | 17M| 68 | - | 420 |1560 | 420 | 848 | 763 | 23k| 14k| 0.000000e+00 | -- | Inf
594.61/594.62 c 595s|630000 | 295 | 6863k| 10.9 | 17M| 68 | - | 420 |1703 | 420 | 848 | 763 | 23k| 14k| 0.000000e+00 | -- | Inf
603.61/603.69 c 604s|640000 | 294 | 6968k| 10.9 | 17M| 68 | 38 | 420 |1640 | 420 | 848 | 763 | 23k| 14k| 0.000000e+00 | -- | Inf
612.71/612.70 c 613s|650000 | 324 | 7075k| 10.9 | 17M| 68 | 32 | 420 |1693 | 420 | 848 | 763 | 24k| 14k| 0.000000e+00 | -- | Inf
621.31/621.36 c 621s|660000 | 309 | 7173k| 10.9 | 17M| 68 | 36 | 420 |1637 | 420 | 848 | 763 | 24k| 14k| 0.000000e+00 | -- | Inf
630.71/630.78 c 631s|670000 | 318 | 7284k| 10.9 | 17M| 68 | - | 420 |1726 | 0 | 0 | 763 | 24k| 14k| 0.000000e+00 | -- | Inf
640.71/640.70 c 641s|680000 | 347 | 7401k| 10.9 | 17M| 68 | 38 | 420 |1622 | 420 | 848 | 763 | 25k| 14k| 0.000000e+00 | -- | Inf
650.71/650.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
650.71/650.76 c 651s|690000 | 330 | 7520k| 10.9 | 17M| 68 | 50 | 420 |1598 | 420 | 848 | 763 | 25k| 14k| 0.000000e+00 | -- | Inf
660.71/660.78 c 661s|700000 | 322 | 7640k| 10.9 | 17M| 68 | 42 | 420 |1606 | 420 | 848 | 763 | 25k| 14k| 0.000000e+00 | -- | Inf
670.11/670.14 c 670s|710000 | 322 | 7750k| 10.9 | 17M| 68 | 26 | 420 |1568 | 420 | 848 | 763 | 26k| 14k| 0.000000e+00 | -- | Inf
678.71/678.71 c 679s|720000 | 302 | 7852k| 10.9 | 17M| 68 | - | 420 |1677 | 420 | 848 | 763 | 26k| 14k| 0.000000e+00 | -- | Inf
687.91/687.93 c 688s|730000 | 321 | 7958k| 10.9 | 17M| 68 | - | 420 |1670 | 0 | 0 | 763 | 26k| 15k| 0.000000e+00 | -- | Inf
697.01/697.00 c 697s|740000 | 318 | 8065k| 10.9 | 17M| 68 | - | 420 |1727 | 420 | 848 | 763 | 27k| 15k| 0.000000e+00 | -- | Inf
706.91/706.91 c 707s|750000 | 346 | 8183k| 10.9 | 17M| 68 | 45 | 420 |1742 | 420 | 848 | 763 | 27k| 15k| 0.000000e+00 | -- | Inf
717.31/717.35 c 717s|760000 | 337 | 8309k| 10.9 | 17M| 68 | 29 | 420 |1645 | 420 | 848 | 763 | 28k| 15k| 0.000000e+00 | -- | Inf
727.31/727.37 c 727s|770000 | 319 | 8429k| 10.9 | 17M| 70 | - | 420 |1630 | 420 | 848 | 763 | 28k| 15k| 0.000000e+00 | -- | Inf
737.21/737.23 c 737s|780000 | 309 | 8545k| 11.0 | 17M| 70 | - | 420 |1553 | 0 | 0 | 763 | 28k| 15k| 0.000000e+00 | -- | Inf
746.31/746.37 c 746s|790000 | 307 | 8653k| 11.0 | 17M| 70 | 39 | 420 |1664 | 420 | 848 | 763 | 29k| 15k| 0.000000e+00 | -- | Inf
760.12/760.16 c 760s|800000 | 287 | 8767k| 11.0 | 17M| 70 | - | 420 |1593 | 0 | 0 | 763 | 29k| 17k| 0.000000e+00 | -- | Inf
771.21/771.25 c 771s|810000 | 289 | 8876k| 11.0 | 17M| 70 | - | 420 |1611 | 0 | 0 | 763 | 29k| 18k| 0.000000e+00 | -- | Inf
780.62/780.64 c 781s|820000 | 286 | 8989k| 11.0 | 17M| 70 | 41 | 420 |1531 | 420 | 848 | 763 | 30k| 18k| 0.000000e+00 | -- | Inf
789.51/789.56 c 790s|830000 | 282 | 9097k| 11.0 | 17M| 70 | - | 420 |1634 | 0 | 0 | 763 | 30k| 18k| 0.000000e+00 | -- | Inf
798.82/798.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
798.82/798.89 c 799s|840000 | 272 | 9209k| 11.0 | 17M| 70 | 26 | 420 |1491 | 420 | 848 | 763 | 30k| 18k| 0.000000e+00 | -- | Inf
807.42/807.42 c 807s|850000 | 268 | 9309k| 11.0 | 17M| 70 | 35 | 420 |1574 | 420 | 848 | 763 | 31k| 18k| 0.000000e+00 | -- | Inf
819.22/819.23 c 819s|860000 | 264 | 9437k| 11.0 | 17M| 70 | - | 420 |1243 | 0 | 0 | 763 | 31k| 19k| 0.000000e+00 | -- | Inf
829.21/829.28 c 829s|870000 | 292 | 9560k| 11.0 | 17M| 70 | - | 420 |1314 | 420 | 848 | 763 | 31k| 19k| 0.000000e+00 | -- | Inf
838.12/838.16 c 838s|880000 | 305 | 9665k| 11.0 | 17M| 70 | - | 420 |1372 | 0 | 0 | 763 | 32k| 19k| 0.000000e+00 | -- | Inf
847.02/847.02 c 847s|890000 | 354 | 9770k| 11.0 | 17M| 70 | 41 | 420 |1435 | 420 | 848 | 763 | 32k| 19k| 0.000000e+00 | -- | Inf
856.22/856.25 c 856s|900000 | 343 | 9880k| 11.0 | 17M| 70 | - | 420 |1422 | 420 | 848 | 763 | 32k| 19k| 0.000000e+00 | -- | Inf
865.42/865.44 c 865s|910000 | 336 | 9989k| 11.0 | 17M| 70 | - | 420 |1480 | 0 | 0 | 763 | 33k| 19k| 0.000000e+00 | -- | Inf
874.92/874.93 c 875s|920000 | 362 | 10103k| 11.0 | 17M| 70 | - | 420 |1478 | 420 | 848 | 763 | 33k| 19k| 0.000000e+00 | -- | Inf
884.51/884.52 c 885s|930000 | 403 | 10218k| 11.0 | 17M| 70 | 40 | 420 |1468 | 420 | 848 | 763 | 33k| 19k| 0.000000e+00 | -- | Inf
894.01/894.09 c 894s|940000 | 378 | 10333k| 11.0 | 17M| 70 | - | 420 |1540 | 0 | 0 | 763 | 34k| 19k| 0.000000e+00 | -- | Inf
903.22/903.24 c 903s|950000 | 348 | 10443k| 11.0 | 17M| 70 | - | 420 |1521 | 420 | 848 | 763 | 34k| 19k| 0.000000e+00 | -- | Inf
912.92/912.91 c 913s|960000 | 394 | 10560k| 11.0 | 17M| 70 | 45 | 420 |1454 | 420 | 848 | 763 | 34k| 19k| 0.000000e+00 | -- | Inf
922.01/922.01 c 922s|970000 | 400 | 10670k| 11.0 | 17M| 70 | 31 | 420 |1520 | 420 | 848 | 763 | 35k| 19k| 0.000000e+00 | -- | Inf
931.22/931.27 c 931s|980000 | 397 | 10779k| 11.0 | 17M| 70 | 32 | 420 |1554 | 420 | 848 | 763 | 35k| 19k| 0.000000e+00 | -- | Inf
940.81/940.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
940.81/940.85 c 941s|990000 | 413 | 10894k| 11.0 | 17M| 70 | 35 | 420 |1463 | 420 | 848 | 763 | 35k| 19k| 0.000000e+00 | -- | Inf
950.02/950.02 c 950s| 1000k| 462 | 11005k| 11.0 | 18M| 70 | 41 | 420 |1535 | 420 | 848 | 763 | 35k| 19k| 0.000000e+00 | -- | Inf
959.62/959.68 c 960s| 1010k| 594 | 11123k| 11.0 | 18M| 70 | 39 | 420 |1594 | 420 | 848 | 763 | 36k| 19k| 0.000000e+00 | -- | Inf
969.72/969.75 c 970s| 1020k| 590 | 11245k| 11.0 | 18M| 70 | 33 | 420 |1537 | 420 | 848 | 763 | 36k| 19k| 0.000000e+00 | -- | Inf
980.03/980.03 c 980s| 1030k| 577 | 11369k| 11.0 | 18M| 70 | 44 | 420 |1525 | 420 | 848 | 763 | 36k| 19k| 0.000000e+00 | -- | Inf
989.62/989.64 c 990s| 1040k| 586 | 11485k| 11.0 | 18M| 70 | 35 | 420 |1595 | 420 | 848 | 763 | 37k| 19k| 0.000000e+00 | -- | Inf
999.82/999.85 c 1000s| 1050k| 632 | 11608k| 11.1 | 18M| 70 | 31 | 420 |1489 | 420 | 848 | 763 | 37k| 19k| 0.000000e+00 | -- | Inf
1010.22/1010.26 c 1010s| 1060k| 599 | 11732k| 11.1 | 18M| 70 | - | 420 |1476 | 420 | 848 | 763 | 37k| 19k| 0.000000e+00 | -- | Inf
1020.72/1020.76 c 1021s| 1070k| 564 | 11858k| 11.1 | 18M| 70 | - | 420 |1472 | 420 | 848 | 763 | 37k| 19k| 0.000000e+00 | -- | Inf
1030.32/1030.31 c 1030s| 1080k| 543 | 11972k| 11.1 | 18M| 70 | - | 420 |1446 | 420 | 848 | 763 | 38k| 19k| 0.000000e+00 | -- | Inf
1039.21/1039.21 c 1039s| 1090k| 550 | 12079k| 11.1 | 18M| 70 | - | 420 |1470 | 0 | 0 | 763 | 38k| 19k| 0.000000e+00 | -- | Inf
1048.92/1048.94 c 1049s| 1100k| 567 | 12196k| 11.1 | 18M| 70 | - | 420 |1516 | 0 | 0 | 763 | 38k| 19k| 0.000000e+00 | -- | Inf
1058.32/1058.37 c 1058s| 1110k| 563 | 12308k| 11.1 | 18M| 70 | 41 | 420 |1559 | 420 | 848 | 763 | 39k| 20k| 0.000000e+00 | -- | Inf
1066.52/1066.50 c 1066s| 1120k| 565 | 12402k| 11.1 | 18M| 70 | 35 | 420 |1565 | 420 | 848 | 763 | 39k| 20k| 0.000000e+00 | -- | Inf
1075.12/1075.13 c 1075s| 1130k| 580 | 12503k| 11.1 | 18M| 70 | 42 | 420 |1645 | 420 | 848 | 763 | 39k| 20k| 0.000000e+00 | -- | Inf
1085.02/1085.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1085.02/1085.02 c 1085s| 1140k| 584 | 12619k| 11.1 | 18M| 70 | 35 | 420 |1530 | 420 | 848 | 763 | 40k| 20k| 0.000000e+00 | -- | Inf
1094.53/1094.55 c 1095s| 1150k| 579 | 12732k| 11.1 | 18M| 70 | 47 | 420 |1556 | 420 | 848 | 763 | 40k| 20k| 0.000000e+00 | -- | Inf
1104.43/1104.45 c 1104s| 1160k| 564 | 12848k| 11.1 | 18M| 70 | - | 420 |1440 | 0 | 0 | 763 | 40k| 20k| 0.000000e+00 | -- | Inf
1113.63/1113.63 c 1114s| 1170k| 581 | 12956k| 11.1 | 18M| 70 | 45 | 420 |1545 | 420 | 848 | 763 | 40k| 20k| 0.000000e+00 | -- | Inf
1127.53/1127.54 c 1128s| 1180k| 540 | 13085k| 11.1 | 18M| 70 | 53 | 420 |1128 | 420 | 848 | 763 | 41k| 22k| 0.000000e+00 | -- | Inf
1137.82/1137.81 c 1138s| 1190k| 509 | 13204k| 11.1 | 18M| 70 | - | 420 |1157 | 420 | 848 | 763 | 41k| 22k| 0.000000e+00 | -- | Inf
1148.12/1148.19 c 1148s| 1200k| 506 | 13333k| 11.1 | 18M| 70 | - | 420 |1164 | 0 | 0 | 763 | 41k| 22k| 0.000000e+00 | -- | Inf
1158.02/1158.09 c 1158s| 1210k| 480 | 13451k| 11.1 | 18M| 70 | 48 | 420 |1150 | 420 | 848 | 763 | 42k| 22k| 0.000000e+00 | -- | Inf
1168.23/1168.21 c 1168s| 1220k| 484 | 13575k| 11.1 | 18M| 70 | 46 | 420 |1115 | 420 | 848 | 763 | 42k| 22k| 0.000000e+00 | -- | Inf
1179.63/1179.61 c 1180s| 1230k| 481 | 13698k| 11.1 | 18M| 70 | - | 420 |1135 | 420 | 848 | 763 | 42k| 23k| 0.000000e+00 | -- | Inf
1190.23/1190.28 c 1190s| 1240k| 479 | 13830k| 11.2 | 18M| 70 | 51 | 420 |1090 | 420 | 848 | 763 | 42k| 23k| 0.000000e+00 | -- | Inf
1199.23/1199.26 c 1199s| 1250k| 492 | 13938k| 11.1 | 18M| 70 | 25 | 420 |1144 | 420 | 848 | 763 | 43k| 23k| 0.000000e+00 | -- | Inf
1208.13/1208.16 c 1208s| 1260k| 511 | 14045k| 11.1 | 18M| 70 | - | 420 |1323 | 0 | 0 | 763 | 43k| 23k| 0.000000e+00 | -- | Inf
1217.12/1217.13 c 1217s| 1270k| 521 | 14154k| 11.1 | 18M| 70 | - | 420 |1414 | 0 | 0 | 763 | 43k| 23k| 0.000000e+00 | -- | Inf
1226.23/1226.23 c 1226s| 1280k| 598 | 14264k| 11.1 | 18M| 70 | 43 | 420 |1457 | 420 | 848 | 763 | 44k| 23k| 0.000000e+00 | -- | Inf
1235.62/1235.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1235.62/1235.60 c 1236s| 1290k| 672 | 14378k| 11.1 | 18M| 70 | - | 420 |1457 | 420 | 848 | 763 | 44k| 23k| 0.000000e+00 | -- | Inf
1245.03/1245.01 c 1245s| 1300k| 664 | 14492k| 11.1 | 18M| 70 | 30 | 420 |1473 | 420 | 848 | 763 | 44k| 23k| 0.000000e+00 | -- | Inf
1255.03/1255.08 c 1255s| 1310k| 700 | 14617k| 11.2 | 18M| 70 | 49 | 420 |1556 | 420 | 848 | 763 | 45k| 23k| 0.000000e+00 | -- | Inf
1264.52/1264.58 c 1265s| 1320k| 711 | 14732k| 11.2 | 18M| 70 | 28 | 420 |1541 | 420 | 848 | 763 | 45k| 23k| 0.000000e+00 | -- | Inf
1273.83/1273.82 c 1274s| 1330k| 707 | 14844k| 11.2 | 18M| 70 | - | 420 |1506 | 0 | 0 | 763 | 45k| 23k| 0.000000e+00 | -- | Inf
1282.03/1282.06 c 1282s| 1340k| 717 | 14942k| 11.1 | 19M| 70 | 28 | 420 |1637 | 420 | 848 | 763 | 46k| 23k| 0.000000e+00 | -- | Inf
1290.63/1290.64 c 1291s| 1350k| 734 | 15043k| 11.1 | 19M| 70 | - | 420 |1621 | 420 | 848 | 763 | 46k| 23k| 0.000000e+00 | -- | Inf
1300.33/1300.33 c 1300s| 1360k| 774 | 15160k| 11.1 | 19M| 70 | 32 | 420 |1611 | 420 | 848 | 763 | 47k| 23k| 0.000000e+00 | -- | Inf
1309.83/1309.86 c 1310s| 1370k| 779 | 15275k| 11.1 | 19M| 70 | - | 420 |1405 | 0 | 0 | 763 | 47k| 23k| 0.000000e+00 | -- | Inf
1319.53/1319.54 c 1320s| 1380k| 841 | 15392k| 11.2 | 19M| 70 | 34 | 420 |1485 | 420 | 848 | 763 | 47k| 23k| 0.000000e+00 | -- | Inf
1328.63/1328.66 c 1329s| 1390k| 847 | 15501k| 11.2 | 19M| 70 | - | 420 |1480 | 420 | 848 | 763 | 47k| 23k| 0.000000e+00 | -- | Inf
1338.23/1338.20 c 1338s| 1400k| 857 | 15616k| 11.2 | 19M| 70 | - | 420 |1577 | 0 | 0 | 763 | 48k| 23k| 0.000000e+00 | -- | Inf
1348.33/1348.30 c 1348s| 1410k| 842 | 15742k| 11.2 | 19M| 70 | - | 420 |1526 | 0 | 0 | 763 | 48k| 23k| 0.000000e+00 | -- | Inf
1357.72/1357.72 c 1358s| 1420k| 857 | 15853k| 11.2 | 19M| 70 | 30 | 420 |1575 | 420 | 848 | 763 | 48k| 23k| 0.000000e+00 | -- | Inf
1367.13/1367.14 c 1367s| 1430k| 852 | 15966k| 11.2 | 19M| 70 | - | 420 |1565 | 0 | 0 | 763 | 49k| 23k| 0.000000e+00 | -- | Inf
1376.23/1376.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1376.23/1376.28 c 1376s| 1440k| 845 | 16075k| 11.2 | 19M| 70 | - | 420 |1536 | 0 | 0 | 763 | 49k| 23k| 0.000000e+00 | -- | Inf
1386.14/1386.17 c 1386s| 1450k| 879 | 16192k| 11.2 | 19M| 70 | 51 | 420 |1541 | 420 | 848 | 763 | 49k| 23k| 0.000000e+00 | -- | Inf
1395.53/1395.56 c 1396s| 1460k| 919 | 16305k| 11.2 | 19M| 70 | - | 420 |1507 | 0 | 0 | 763 | 50k| 23k| 0.000000e+00 | -- | Inf
1404.83/1404.85 c 1405s| 1470k| 966 | 16416k| 11.2 | 19M| 70 | 43 | 420 |1518 | 420 | 848 | 763 | 50k| 23k| 0.000000e+00 | -- | Inf
1414.73/1414.74 c 1415s| 1480k| 968 | 16536k| 11.2 | 19M| 70 | 43 | 420 |1477 | 420 | 848 | 763 | 50k| 23k| 0.000000e+00 | -- | Inf
1424.44/1424.47 c 1424s| 1490k| 935 | 16652k| 11.2 | 19M| 70 | 46 | 420 |1431 | 420 | 848 | 763 | 50k| 23k| 0.000000e+00 | -- | Inf
1433.63/1433.65 c 1434s| 1500k| 945 | 16761k| 11.2 | 19M| 70 | 33 | 420 |1517 | 420 | 848 | 763 | 51k| 23k| 0.000000e+00 | -- | Inf
1443.33/1443.38 c 1443s| 1510k| 938 | 16879k| 11.2 | 19M| 70 | 58 | 420 |1481 | 420 | 848 | 763 | 51k| 23k| 0.000000e+00 | -- | Inf
1452.83/1452.83 c 1453s| 1520k| 1014 | 16991k| 11.2 | 19M| 71 | 32 | 420 |1527 | 420 | 848 | 763 | 51k| 23k| 0.000000e+00 | -- | Inf
1462.33/1462.31 c 1462s| 1530k| 1036 | 17103k| 11.2 | 20M| 71 | 25 | 420 |1534 | 420 | 848 | 763 | 52k| 24k| 0.000000e+00 | -- | Inf
1472.04/1472.04 c 1472s| 1540k| 1001 | 17218k| 11.2 | 19M| 71 | 51 | 420 |1495 | 420 | 848 | 763 | 52k| 24k| 0.000000e+00 | -- | Inf
1482.04/1482.03 c 1482s| 1550k| 1006 | 17339k| 11.2 | 19M| 71 | - | 420 |1537 | 420 | 848 | 763 | 52k| 24k| 0.000000e+00 | -- | Inf
1491.44/1491.45 c 1491s| 1560k| 1010 | 17450k| 11.2 | 19M| 71 | 46 | 420 |1534 | 420 | 848 | 763 | 53k| 24k| 0.000000e+00 | -- | Inf
1500.73/1500.77 c 1501s| 1570k| 1026 | 17562k| 11.2 | 20M| 72 | 35 | 420 |1603 | 420 | 848 | 763 | 53k| 24k| 0.000000e+00 | -- | Inf
1510.53/1510.50 c 1510s| 1580k| 1004 | 17679k| 11.2 | 19M| 72 | 47 | 420 |1541 | 420 | 848 | 763 | 53k| 24k| 0.000000e+00 | -- | Inf
1520.63/1520.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1520.63/1520.63 c 1521s| 1590k| 993 | 17799k| 11.2 | 19M| 72 | 30 | 420 |1464 | 420 | 848 | 763 | 53k| 24k| 0.000000e+00 | -- | Inf
1530.04/1530.05 c 1530s| 1600k| 1007 | 17911k| 11.2 | 20M| 72 | - | 420 |1543 | 0 | 0 | 763 | 54k| 24k| 0.000000e+00 | -- | Inf
1539.63/1539.60 c 1540s| 1610k| 987 | 18025k| 11.2 | 19M| 72 | - | 420 |1509 | 0 | 0 | 763 | 54k| 24k| 0.000000e+00 | -- | Inf
1549.23/1549.20 c 1549s| 1620k| 972 | 18140k| 11.2 | 19M| 72 | - | 420 |1497 | 0 | 0 | 763 | 54k| 24k| 0.000000e+00 | -- | Inf
1558.83/1558.83 c 1559s| 1630k| 969 | 18253k| 11.2 | 19M| 72 | 32 | 420 |1389 | 420 | 848 | 763 | 55k| 24k| 0.000000e+00 | -- | Inf
1568.04/1568.06 c 1568s| 1640k| 963 | 18365k| 11.2 | 19M| 72 | - | 420 |1400 | 0 | 0 | 763 | 55k| 24k| 0.000000e+00 | -- | Inf
1576.84/1576.85 c 1577s| 1650k| 968 | 18470k| 11.2 | 19M| 72 | - | 420 |1284 | 420 | 848 | 763 | 55k| 24k| 0.000000e+00 | -- | Inf
1586.24/1586.22 c 1586s| 1660k| 970 | 18585k| 11.2 | 19M| 72 | 40 | 420 |1359 | 420 | 848 | 763 | 56k| 24k| 0.000000e+00 | -- | Inf
1596.44/1596.45 c 1596s| 1670k| 980 | 18709k| 11.2 | 19M| 72 | 41 | 420 |1366 | 420 | 848 | 763 | 56k| 24k| 0.000000e+00 | -- | Inf
1606.34/1606.32 c 1606s| 1680k| 958 | 18828k| 11.2 | 19M| 72 | 29 | 420 |1366 | 420 | 848 | 763 | 56k| 24k| 0.000000e+00 | -- | Inf
1616.24/1616.26 c 1616s| 1690k| 979 | 18949k| 11.2 | 19M| 72 | - | 420 |1360 | 0 | 0 | 763 | 57k| 24k| 0.000000e+00 | -- | Inf
1626.74/1626.80 c 1627s| 1700k| 958 | 19076k| 11.2 | 19M| 75 | 44 | 420 |1347 | 420 | 848 | 763 | 57k| 24k| 0.000000e+00 | -- | Inf
1636.14/1636.19 c 1636s| 1710k| 950 | 19190k| 11.2 | 19M| 75 | - | 420 |1439 | 0 | 0 | 763 | 57k| 24k| 0.000000e+00 | -- | Inf
1645.54/1645.59 c 1646s| 1720k| 964 | 19301k| 11.2 | 19M| 75 | - | 420 |1457 | 0 | 0 | 763 | 58k| 25k| 0.000000e+00 | -- | Inf
1655.54/1655.55 c 1656s| 1730k| 938 | 19421k| 11.2 | 19M| 75 | 32 | 420 |1276 | 420 | 848 | 763 | 58k| 25k| 0.000000e+00 | -- | Inf
1665.14/1665.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1665.14/1665.16 c 1665s| 1740k| 930 | 19537k| 11.2 | 19M| 75 | 39 | 420 |1384 | 420 | 848 | 763 | 58k| 25k| 0.000000e+00 | -- | Inf
1675.44/1675.43 c 1675s| 1750k| 937 | 19663k| 11.2 | 19M| 75 | - | 420 |1371 | 420 | 848 | 763 | 58k| 25k| 0.000000e+00 | -- | Inf
1685.54/1685.58 c 1686s| 1760k| 958 | 19786k| 11.2 | 19M| 75 | - | 420 |1393 | 420 | 848 | 763 | 59k| 25k| 0.000000e+00 | -- | Inf
1695.74/1695.77 c 1696s| 1770k| 999 | 19912k| 11.2 | 20M| 75 | 34 | 420 |1448 | 420 | 848 | 763 | 59k| 25k| 0.000000e+00 | -- | Inf
1706.45/1706.49 c 1706s| 1780k| 977 | 20042k| 11.3 | 20M| 75 | 43 | 420 |1358 | 420 | 848 | 763 | 59k| 25k| 0.000000e+00 | -- | Inf
1716.84/1716.89 c 1717s| 1790k| 976 | 20170k| 11.3 | 20M| 75 | - | 420 |1457 | 420 | 848 | 763 | 60k| 25k| 0.000000e+00 | -- | Inf
1727.74/1727.74 c 1728s| 1800k| 941 | 20304k| 11.3 | 19M| 75 | 58 | 420 |1391 | 420 | 848 | 763 | 60k| 25k| 0.000000e+00 | -- | Inf
1737.04/1737.01 c 1737s| 1810k| 947 | 20414k| 11.3 | 20M| 75 | 30 | 420 |1511 | 420 | 848 | 763 | 60k| 25k| 0.000000e+00 | -- | Inf
1746.45/1746.43 c 1746s| 1820k| 946 | 20527k| 11.3 | 19M| 75 | - | 420 |1286 | 0 | 0 | 763 | 61k| 25k| 0.000000e+00 | -- | Inf
1756.75/1756.78 c 1757s| 1830k| 919 | 20653k| 11.3 | 19M| 75 | - | 420 |1283 | 0 | 0 | 763 | 61k| 25k| 0.000000e+00 | -- | Inf
1766.44/1766.47 c 1766s| 1840k| 905 | 20771k| 11.3 | 19M| 75 | - | 420 |1268 | 0 | 0 | 763 | 61k| 25k| 0.000000e+00 | -- | Inf
1775.24/1775.30 c 1775s| 1850k| 914 | 20877k| 11.3 | 19M| 75 | - | 420 |1411 | 420 | 848 | 763 | 62k| 25k| 0.000000e+00 | -- | Inf
1783.84/1783.84 c 1784s| 1860k| 932 | 20978k| 11.3 | 19M| 75 | - | 420 |1421 | 0 | 0 | 763 | 62k| 25k| 0.000000e+00 | -- | Inf
1792.54/1792.56 c 1793s| 1870k| 951 | 21082k| 11.3 | 20M| 75 | - | 420 |1450 | 420 | 848 | 763 | 62k| 25k| 0.000000e+00 | -- | Inf
1797.04/1797.00 c
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Solving Time (sec) : 1797.00
1797.04/1797.00 c Solving Nodes : 1875056
1797.04/1797.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.04/1797.00 c Dual Bound : +0.00000000000000e+00
1797.04/1797.00 c Gap : infinite
1797.04/1797.00 s UNKNOWN
1797.04/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.00 c Total Time : 1797.00
1797.04/1797.00 c solving : 1797.00
1797.04/1797.00 c presolving : 0.02 (included in solving)
1797.04/1797.00 c reading : 0.01 (included in solving)
1797.04/1797.00 c Original Problem :
1797.04/1797.00 c Problem name : HOME/instance-3489045-1307750422.opb
1797.04/1797.00 c Variables : 428 (428 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 644 initial, 644 maximal
1797.04/1797.00 c Presolved Problem :
1797.04/1797.00 c Problem name : t_HOME/instance-3489045-1307750422.opb
1797.04/1797.00 c Variables : 420 (420 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.00 c Constraints : 632 initial, 2230 maximal
1797.04/1797.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.04/1797.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c implics : 0.00 0 8 0 0 0 0 0 0 0
1797.04/1797.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c knapsack : 0.01 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c setppc : 0.00 0 0 0 0 0 12 0 0 0
1797.04/1797.00 c linear : 0.01 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c logicor : 0.00 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c root node : - 0 - - 0 - - - - -
1797.04/1797.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c integral : 0 0 0 943727 0 1 0 754 5601 0 0 1878152
1797.04/1797.00 c knapsack : 290 5 4554193 0 0 0 9620635 562805 19588425 608 0 0
1797.04/1797.00 c setppc : 210 5 3937948 0 0 0 1690589 710 5530006 0 0 0
1797.04/1797.00 c logicor : 132+ 5 3009632 0 0 0 19063 6952 2682263 0 0 0
1797.04/1797.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.04/1797.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.04/1797.00 c integral : 59.81 0.00 0.00 59.81 0.00 0.00 0.00
1797.04/1797.00 c knapsack : 50.91 0.01 47.36 0.00 0.00 0.00 3.55
1797.04/1797.00 c setppc : 9.20 0.00 8.81 0.00 0.00 0.00 0.40
1797.04/1797.00 c logicor : 15.52 0.00 15.48 0.00 0.00 0.00 0.04
1797.04/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.04/1797.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.04/1797.00 c vbounds : 0 0 0 0
1797.04/1797.00 c rootredcost : 0 0 0 0
1797.04/1797.00 c pseudoobj : 0 0 0 0
1797.04/1797.00 c Propagator Timings : TotalTime Propagate Resprop
1797.04/1797.00 c vbounds : 0.69 0.69 0.00
1797.04/1797.00 c rootredcost : 0.79 0.79 0.00
1797.04/1797.00 c pseudoobj : 0.51 0.51 0.00
1797.04/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.00 c propagation : 11.99 68896 62075 458766 93.8 400 109.0 -
1797.04/1797.00 c infeasible LP : 37.98 366840 0 0 0.0 0 0.0 0
1797.04/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.00 c applied globally : - - - 60141 22.6 - - -
1797.04/1797.00 c applied locally : - - - 3017 49.0 - - -
1797.04/1797.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.00 c cut pool : 0.00 4 - - 132 - (maximal pool size: 2432)
1797.04/1797.00 c redcost : 6.45 941063 0 0 0 0
1797.04/1797.00 c impliedbounds : 0.00 5 0 0 1205 0
1797.04/1797.00 c intobj : 0.00 0 0 0 0 0
1797.04/1797.00 c gomory : 0.35 5 0 0 294 0
1797.04/1797.00 c cgmip : 0.00 0 0 0 0 0
1797.04/1797.00 c closecuts : 0.00 0 0 0 0 0
1797.04/1797.00 c strongcg : 0.31 5 0 0 2241 0
1797.04/1797.00 c cmir : 0.00 0 0 0 0 0
1797.04/1797.00 c flowcover : 0.00 0 0 0 0 0
1797.04/1797.00 c clique : 0.00 1 0 0 0 0
1797.04/1797.00 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.00 c mcf : 0.00 1 0 0 0 0
1797.04/1797.00 c oddcycle : 0.00 0 0 0 0 0
1797.04/1797.00 c rapidlearning : 0.03 1 0 0 0 0
1797.04/1797.00 c Pricers : Time Calls Vars
1797.04/1797.00 c problem variables: 0.00 0 0
1797.04/1797.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.00 c relpscost : 59.28 943727 754 5601 0 0 1878152
1797.04/1797.00 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.00 c inference : 0.00 0 0 0 0 0 0
1797.04/1797.00 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.00 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.00 c random : 0.00 0 0 0 0 0 0
1797.04/1797.00 c Primal Heuristics : Time Calls Found
1797.04/1797.00 c LP solutions : 0.00 - 0
1797.04/1797.00 c pseudo solutions : 0.00 - 0
1797.04/1797.00 c trivial : 0.00 1 0
1797.04/1797.00 c shiftandpropagate: 0.00 0 0
1797.04/1797.00 c simplerounding : 0.00 0 0
1797.04/1797.00 c zirounding : 0.00 0 0
1797.04/1797.00 c rounding : 0.00 0 0
1797.04/1797.00 c shifting : 0.00 0 0
1797.04/1797.00 c intshifting : 0.00 0 0
1797.04/1797.00 c oneopt : 0.00 0 0
1797.04/1797.00 c twoopt : 0.00 0 0
1797.04/1797.00 c fixandinfer : 0.00 0 0
1797.04/1797.00 c feaspump : 0.00 0 0
1797.04/1797.00 c clique : 0.00 0 0
1797.04/1797.00 c coefdiving : 0.00 0 0
1797.04/1797.00 c pscostdiving : 0.00 0 0
1797.04/1797.00 c fracdiving : 0.00 0 0
1797.04/1797.00 c veclendiving : 0.00 0 0
1797.04/1797.00 c intdiving : 0.00 0 0
1797.04/1797.00 c actconsdiving : 0.00 0 0
1797.04/1797.00 c objpscostdiving : 0.00 0 0
1797.04/1797.00 c rootsoldiving : 0.00 0 0
1797.04/1797.00 c linesearchdiving : 0.00 0 0
1797.04/1797.00 c guideddiving : 0.00 0 0
1797.04/1797.00 c octane : 0.00 0 0
1797.04/1797.00 c rens : 0.00 0 0
1797.04/1797.00 c rins : 0.00 0 0
1797.04/1797.00 c localbranching : 0.00 0 0
1797.04/1797.00 c mutation : 0.00 0 0
1797.04/1797.00 c crossover : 0.00 0 0
1797.04/1797.00 c dins : 0.00 0 0
1797.04/1797.00 c vbounds : 0.00 0 0
1797.04/1797.00 c undercover : 0.00 0 0
1797.04/1797.00 c subnlp : 0.00 0 0
1797.04/1797.00 c trysol : 0.00 0 0
1797.04/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.00 c primal LP : 0.00 0 0 0.00 -
1797.04/1797.00 c dual LP : 1408.66 1309047 21133941 16.14 15002.83
1797.04/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1797.04/1797.00 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.00 c diving/probing LP: 0.00 0 0 0.00 -
1797.04/1797.00 c strong branching : 46.63 25791 559632 21.70 12000.77
1797.04/1797.00 c (at root node) : - 10 1140 114.00 -
1797.04/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.00 c B&B Tree :
1797.04/1797.00 c number of runs : 1
1797.04/1797.00 c nodes : 1875056
1797.04/1797.00 c nodes (total) : 1875056
1797.04/1797.00 c nodes left : 935
1797.04/1797.00 c max depth : 75
1797.04/1797.00 c max depth (total): 75
1797.04/1797.00 c backtracks : 253693 (13.5%)
1797.04/1797.00 c delayed cutoffs : 2162
1797.04/1797.00 c repropagations : 158685 (278932 domain reductions, 2081 cutoffs)
1797.04/1797.00 c avg switch length: 2.83
1797.04/1797.00 c switching time : 64.70
1797.04/1797.00 c Solution :
1797.04/1797.00 c Solutions found : 0 (0 improvements)
1797.04/1797.00 c Primal Bound : -
1797.04/1797.00 c Dual Bound : +0.00000000000000e+00
1797.04/1797.01 c Gap : infinite
1797.04/1797.01 c Root Dual Bound : +0.00000000000000e+00
1797.04/1797.01 c Root Iterations : 2442
1797.04/1797.02 c Time complete: 1797.07.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3489045-1307750422/watcher-3489045-1307750422 -o /tmp/evaluation-result-3489045-1307750422/solver-3489045-1307750422 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3489045-1307750422.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.96 1.11 0.45 3/174 29423
/proc/meminfo: memFree=31576504/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=9916 CPUtime=0 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 1565 0 0 0 0 0 0 0 25 0 1 0 886642620 10153984 1521 33554432000 4194304 9016284 140735554629488 18446744073709551615 7875499 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/29423/statm: 2479 1531 335 1178 0 1297 0
[startup+0.027076 s]
/proc/loadavg: 1.96 1.11 0.45 3/174 29423
/proc/meminfo: memFree=31576504/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=20600 CPUtime=0.02 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 4189 0 0 0 2 0 0 0 25 0 1 0 886642620 21094400 3887 33554432000 4194304 9016284 140735554629488 18446744073709551615 6480433 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29423/statm: 5150 3887 505 1178 0 3968 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20600
[startup+0.101093 s]
/proc/loadavg: 1.96 1.11 0.45 3/174 29423
/proc/meminfo: memFree=31576504/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=40180 CPUtime=0.08 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 8977 0 0 0 8 0 0 0 18 0 1 0 886642620 41144320 8675 33554432000 4194304 9016284 140735554629488 18446744073709551615 4447402 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29423/statm: 10045 8675 681 1178 0 8863 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 40180
[startup+0.301053 s]
/proc/loadavg: 1.96 1.11 0.45 3/174 29423
/proc/meminfo: memFree=31576504/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=28028 CPUtime=0.29 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 9415 0 0 0 28 1 0 0 18 0 1 0 886642620 28700672 5999 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29423/statm: 7007 5999 682 1178 0 5825 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28028
[startup+0.700995 s]
/proc/loadavg: 1.96 1.11 0.45 3/174 29423
/proc/meminfo: memFree=31576504/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=35232 CPUtime=0.69 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 11073 0 0 0 67 2 0 0 18 0 1 0 886642620 36077568 7653 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29423/statm: 8808 7653 683 1178 0 7626 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35232
[startup+1.5008 s]
/proc/loadavg: 1.96 1.11 0.45 3/175 29424
/proc/meminfo: memFree=31542420/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=41652 CPUtime=1.49 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 12779 0 0 0 146 3 0 0 19 0 1 0 886642620 42651648 9358 33554432000 4194304 9016284 140735554629488 18446744073709551615 7081839 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29423/statm: 10413 9358 685 1178 0 9231 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41652
[startup+3.10054 s]
/proc/loadavg: 1.96 1.11 0.45 3/175 29424
/proc/meminfo: memFree=31541800/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=41652 CPUtime=3.09 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 12782 0 0 0 305 4 0 0 25 0 1 0 886642620 42651648 9361 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29423/statm: 10413 9361 687 1178 0 9231 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41652
[startup+6.30094 s]
/proc/loadavg: 1.97 1.13 0.46 3/175 29424
/proc/meminfo: memFree=31541180/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=41652 CPUtime=6.29 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 12782 0 0 0 620 9 0 0 25 0 1 0 886642620 42651648 9361 33554432000 4194304 9016284 140735554629488 18446744073709551615 7214028 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29423/statm: 10413 9361 687 1178 0 9231 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41652
[startup+12.7008 s]
/proc/loadavg: 1.97 1.14 0.47 3/175 29424
/proc/meminfo: memFree=31540840/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=41652 CPUtime=12.69 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 12782 0 0 0 1248 21 0 0 25 0 1 0 886642620 42651648 9361 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29423/statm: 10413 9361 687 1178 0 9231 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41652
[startup+25.5004 s]
/proc/loadavg: 1.98 1.18 0.49 3/175 29424
/proc/meminfo: memFree=31540192/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=41652 CPUtime=25.49 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 12804 0 0 0 2509 40 0 0 25 0 1 0 886642620 42651648 9383 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/29423/statm: 10413 9383 687 1178 0 9231 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41652
[startup+51.1006 s]
/proc/loadavg: 1.98 1.25 0.53 3/175 29434
/proc/meminfo: memFree=31539252/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=41920 CPUtime=51.09 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 12851 0 0 0 5031 78 0 0 25 0 1 0 886642620 42926080 9430 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 10480 9430 687 1178 0 9298 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 41920
[startup+102.306 s]
/proc/loadavg: 2.09 1.39 0.62 3/175 29435
/proc/meminfo: memFree=31530992/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=42336 CPUtime=102.3 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 12944 0 0 0 10077 153 0 0 25 0 1 0 886642620 43352064 9523 33554432000 4194304 9016284 140735554629488 18446744073709551615 4332180 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 10584 9523 687 1178 0 9402 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 42336
[startup+162.301 s]
/proc/loadavg: 2.03 1.50 0.70 3/175 29437
/proc/meminfo: memFree=31525860/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=42852 CPUtime=162.29 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 13098 0 0 0 15992 237 0 0 25 0 1 0 886642620 43880448 9677 33554432000 4194304 9016284 140735554629488 18446744073709551615 7102720 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 10713 9677 687 1178 0 9531 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 42852
[startup+222.301 s]
/proc/loadavg: 2.01 1.59 0.78 3/175 29442
/proc/meminfo: memFree=31522808/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=43152 CPUtime=222.29 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 13160 0 0 0 21899 330 0 0 25 0 1 0 886642620 44187648 9739 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 10788 9739 687 1178 0 9606 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 43152
[startup+282.301 s]
/proc/loadavg: 2.00 1.66 0.85 3/175 29443
/proc/meminfo: memFree=31516796/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=43596 CPUtime=282.3 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 13295 0 0 0 27814 416 0 0 25 0 1 0 886642620 44642304 9874 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 10899 9874 687 1178 0 9717 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 43596
[startup+342.301 s]
/proc/loadavg: 2.00 1.72 0.92 3/175 29445
/proc/meminfo: memFree=31513652/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=44424 CPUtime=342.3 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 13477 0 0 0 33729 501 0 0 25 0 1 0 886642620 45490176 10056 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 11106 10056 687 1178 0 9924 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 44424
[startup+402.301 s]
/proc/loadavg: 2.00 1.77 0.99 3/175 29446
/proc/meminfo: memFree=31512248/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=44424 CPUtime=402.3 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 13500 0 0 0 39639 591 0 0 25 0 1 0 886642620 45490176 10079 33554432000 4194304 9016284 140735554629488 18446744073709551615 7198978 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 11106 10079 687 1178 0 9924 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 44424
[startup+462.3 s]
/proc/loadavg: 2.00 1.81 1.05 3/175 29448
/proc/meminfo: memFree=31507252/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=44564 CPUtime=462.3 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 13510 0 0 0 45553 677 0 0 25 0 1 0 886642620 45633536 10089 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 11141 10089 687 1178 0 9959 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 44564
[startup+522.3 s]
/proc/loadavg: 2.00 1.84 1.10 3/175 29450
/proc/meminfo: memFree=31506212/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=44564 CPUtime=522.3 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 13518 0 0 0 51463 767 0 0 25 0 1 0 886642620 45633536 10097 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 11141 10097 687 1178 0 9959 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 44564
[startup+582.301 s]
/proc/loadavg: 2.00 1.87 1.16 3/175 29451
/proc/meminfo: memFree=31504668/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=44564 CPUtime=582.3 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 13519 0 0 0 57373 857 0 0 25 0 1 0 886642620 45633536 10098 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 11141 10098 687 1178 0 9959 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 44564
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31484072/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=46692 CPUtime=1122.32 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 14034 0 0 0 110572 1660 0 0 25 0 1 0 886642620 47812608 10613 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 11673 10613 687 1178 0 10491 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 46692
[startup+1182.3 s]
/proc/loadavg: 2.08 2.00 1.55 3/175 29467
/proc/meminfo: memFree=31482660/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=46692 CPUtime=1182.33 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 14034 0 0 0 116484 1749 0 0 25 0 1 0 886642620 47812608 10613 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 11673 10613 687 1178 0 10491 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 46692
[startup+1242.3 s]
/proc/loadavg: 2.03 2.00 1.57 3/175 29469
/proc/meminfo: memFree=31481252/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=46692 CPUtime=1242.33 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 14059 0 0 0 122398 1835 0 0 25 0 1 0 886642620 47812608 10638 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 11673 10638 687 1178 0 10491 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 46692
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.59 3/175 29470
/proc/meminfo: memFree=31479600/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=47168 CPUtime=1302.33 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 14165 0 0 0 128310 1923 0 0 25 0 1 0 886642620 48300032 10744 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 11792 10744 687 1178 0 10610 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 47168
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.62 3/175 29472
/proc/meminfo: memFree=31477696/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=47500 CPUtime=1362.33 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 14238 0 0 0 134222 2011 0 0 25 0 1 0 886642620 48640000 10817 33554432000 4194304 9016284 140735554629488 18446744073709551615 7199015 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 11875 10817 687 1178 0 10693 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 47500
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.64 3/175 29474
/proc/meminfo: memFree=31476912/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=48208 CPUtime=1422.34 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 14422 0 0 0 140135 2099 0 0 25 0 1 0 886642620 49364992 11001 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 12052 11001 687 1178 0 10870 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 48208
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.66 3/175 29475
/proc/meminfo: memFree=31473524/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=48340 CPUtime=1482.33 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 14475 0 0 0 146051 2182 0 0 25 0 1 0 886642620 49500160 11054 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 12085 11054 687 1178 0 10903 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 48340
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.68 3/175 29477
/proc/meminfo: memFree=31473484/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=48340 CPUtime=1542.33 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 14475 0 0 0 151953 2280 0 0 25 0 1 0 886642620 49500160 11054 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 12085 11054 687 1178 0 10903 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 48340
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.69 3/175 29554
/proc/meminfo: memFree=31600020/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=48476 CPUtime=1602.34 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 14492 0 0 0 157865 2369 0 0 25 0 1 0 886642620 49639424 11071 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 12119 11071 687 1178 0 10937 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 48476
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.71 3/175 29594
/proc/meminfo: memFree=31600164/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=48476 CPUtime=1662.34 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 14493 0 0 0 163777 2457 0 0 25 0 1 0 886642620 49639424 11072 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 12119 11072 687 1178 0 10937 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 48476
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.73 3/175 29634
/proc/meminfo: memFree=31599684/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=48476 CPUtime=1722.35 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 14518 0 0 0 169688 2547 0 0 25 0 1 0 886642620 49639424 11097 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 12119 11097 687 1178 0 10937 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 48476
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.74 3/175 29635
/proc/meminfo: memFree=31598432/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=48476 CPUtime=1782.34 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 14519 0 0 0 175593 2641 0 0 25 0 1 0 886642620 49639424 11098 33554432000 4194304 9016284 140735554629488 18446744073709551615 7080773 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 12119 11098 687 1178 0 10937 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 48476
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.00 1.74 3/175 29635
/proc/meminfo: memFree=31598176/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=48476 CPUtime=1785.55 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 14519 0 0 0 175908 2647 0 0 25 0 1 0 886642620 49639424 11098 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 12119 11098 687 1178 0 10937 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 48476
[startup+1791.91 s]
/proc/loadavg: 2.01 2.00 1.75 3/175 29636
/proc/meminfo: memFree=31598052/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=48476 CPUtime=1791.95 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 14519 0 0 0 176538 2657 0 0 25 0 1 0 886642620 49639424 11098 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 12119 11098 687 1178 0 10937 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 48476
[startup+1795.1 s]
/proc/loadavg: 2.01 2.00 1.75 3/175 29636
/proc/meminfo: memFree=31598172/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=48476 CPUtime=1795.15 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 14519 0 0 0 176854 2661 0 0 25 0 1 0 886642620 49639424 11098 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 12119 11098 687 1178 0 10937 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 48476
[startup+1795.9 s]
/proc/loadavg: 2.01 2.00 1.75 3/175 29636
/proc/meminfo: memFree=31598172/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=48476 CPUtime=1795.95 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 14519 0 0 0 176932 2663 0 0 25 0 1 0 886642620 49639424 11098 33554432000 4194304 9016284 140735554629488 18446744073709551615 7103848 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 12119 11098 687 1178 0 10937 0
Current children cumulated CPU time (s) 1795.95
Current children cumulated vsize (KiB) 48476
[startup+1796.7 s]
/proc/loadavg: 2.01 2.00 1.75 3/175 29636
/proc/meminfo: memFree=31598172/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=48476 CPUtime=1796.74 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 14519 0 0 0 177010 2664 0 0 25 0 1 0 886642620 49639424 11098 33554432000 4194304 9016284 140735554629488 18446744073709551615 4332575 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 12119 11098 687 1178 0 10937 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 48476
[startup+1796.9 s]
/proc/loadavg: 2.01 2.00 1.75 3/175 29636
/proc/meminfo: memFree=31598172/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=48476 CPUtime=1796.94 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 14519 0 0 0 177030 2664 0 0 25 0 1 0 886642620 49639424 11098 33554432000 4194304 9016284 140735554629488 18446744073709551615 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 12119 11098 687 1178 0 10937 0
Current children cumulated CPU time (s) 1796.94
Current children cumulated vsize (KiB) 48476
[startup+1797 s]
/proc/loadavg: 2.01 2.00 1.75 3/175 29636
/proc/meminfo: memFree=31598172/32951124 swapFree=67064368/67111528
[pid=29423] ppid=29421 vsize=48476 CPUtime=1797.04 cores=0,2,4,6
/proc/29423/stat : 29423 (scip-2.0.1.4b_2) R 29421 29423 29294 0 -1 4202496 14519 0 0 0 177040 2664 0 0 25 0 1 0 886642620 49639424 11098 33554432000 4194304 9016284 140735554629488 18446744073709551615 6818111 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/29423/statm: 12119 11098 687 1178 0 10937 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (KiB) 48476
Child status: 0
Real time (s): 1797.02
CPU time (s): 1797.07
CPU user time (s): 1770.42
CPU system time (s): 26.6519
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 48476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.42
system time used= 26.6519
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14526
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= 5744
runsolver used 2.81757 second user time and 5.36418 second system time
The end