0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3691773-1338041774.opb>
0.00/0.01 c original problem has 1737 variables (1737 bin, 0 int, 0 impl, 0 cont) and 1041 constraints
0.00/0.01 c problem read in 0.01
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.00/0.05 c (round 1) 0 del vars, 42 del conss, 0 add conss, 0 chg bounds, 42 chg sides, 0 chg coeffs, 912 upgd conss, 0 impls, 810 clqs
0.00/0.08 c (round 2) 24 del vars, 45 del conss, 0 add conss, 0 chg bounds, 42 chg sides, 0 chg coeffs, 912 upgd conss, 0 impls, 807 clqs
0.00/0.09 c presolving (3 rounds):
0.00/0.09 c 24 deleted vars, 45 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 42 changed sides, 0 changed coefficients
0.00/0.09 c 0 implications, 807 cliques
0.00/0.09 c presolved problem has 1713 variables (1713 bin, 0 int, 0 impl, 0 cont) and 996 constraints
0.00/0.09 c 144 constraints of type <knapsack>
0.00/0.09 c 765 constraints of type <setppc>
0.00/0.09 c 87 constraints of type <linear>
0.00/0.09 c transformed objective value is always integral (scale: 1)
0.00/0.09 c Presolving Time: 0.07
0.00/0.09 c - non default parameters ----------------------------------------------------------------------
0.00/0.09 c # SCIP version 2.1.1.4
0.00/0.09 c
0.00/0.09 c # maximal time in seconds to run
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.09 c limits/time = 1797
0.00/0.09 c
0.00/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.09 c limits/memory = 13950
0.00/0.09 c
0.00/0.09 c # solving stops, if the given number of solutions were found (-1: no limit)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.09 c limits/solutions = 1
0.00/0.09 c
0.00/0.09 c # maximal number of separation rounds per node (-1: unlimited)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 5]
0.00/0.09 c separating/maxrounds = 1
0.00/0.09 c
0.00/0.09 c # maximal number of separation rounds in the root node (-1: unlimited)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.09 c separating/maxroundsroot = 5
0.00/0.09 c
0.00/0.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.09 c # [type: int, range: [1,2], default: 1]
0.00/0.09 c timing/clocktype = 2
0.00/0.09 c
0.00/0.09 c # belongs reading time to solving time?
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.09 c timing/reading = TRUE
0.00/0.09 c
0.00/0.09 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.00/0.09 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.00/0.09 c constraints/knapsack/disaggregation = FALSE
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.09 c heuristics/coefdiving/freq = -1
0.00/0.09 c
0.00/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.09 c heuristics/coefdiving/maxlpiterquot = 0.075
0.00/0.09 c
0.00/0.09 c # additional number of allowed LP iterations
0.00/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.09 c heuristics/coefdiving/maxlpiterofs = 1500
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 30]
0.00/0.09 c heuristics/crossover/freq = -1
0.00/0.09 c
0.00/0.09 c # number of nodes added to the contingent of the total nodes
0.00/0.09 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.09 c heuristics/crossover/nodesofs = 750
0.00/0.09 c
0.00/0.09 c # number of nodes without incumbent change that heuristic should wait
0.00/0.09 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.00/0.09 c heuristics/crossover/nwaitingnodes = 100
0.00/0.09 c
0.00/0.09 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.00/0.09 c # [type: real, range: [0,1], default: 0.1]
0.00/0.09 c heuristics/crossover/nodesquot = 0.15
0.00/0.09 c
0.00/0.09 c # minimum percentage of integer variables that have to be fixed
0.00/0.09 c # [type: real, range: [0,1], default: 0.666]
0.00/0.09 c heuristics/crossover/minfixingrate = 0.5
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.09 c heuristics/feaspump/freq = -1
0.00/0.09 c
0.00/0.09 c # additional number of allowed LP iterations
0.00/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.09 c heuristics/feaspump/maxlpiterofs = 2000
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.09 c heuristics/fracdiving/freq = -1
0.00/0.09 c
0.00/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.09 c heuristics/fracdiving/maxlpiterquot = 0.075
0.00/0.09 c
0.00/0.09 c # additional number of allowed LP iterations
0.00/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.09 c heuristics/fracdiving/maxlpiterofs = 1500
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.09 c heuristics/guideddiving/freq = -1
0.00/0.09 c
0.00/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.09 c heuristics/guideddiving/maxlpiterquot = 0.075
0.00/0.09 c
0.00/0.09 c # additional number of allowed LP iterations
0.00/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.09 c heuristics/guideddiving/maxlpiterofs = 1500
0.00/0.09 c
0.00/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.09 c heuristics/intdiving/maxlpiterquot = 0.075
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.09 c heuristics/intshifting/freq = -1
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.09 c heuristics/linesearchdiving/freq = -1
0.00/0.09 c
0.00/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.09 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.00/0.09 c
0.00/0.09 c # additional number of allowed LP iterations
0.00/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.09 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.09 c heuristics/objpscostdiving/freq = -1
0.00/0.09 c
0.00/0.09 c # maximal fraction of diving LP iterations compared to total iteration number
0.00/0.09 c # [type: real, range: [0,1], default: 0.01]
0.00/0.09 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.00/0.09 c
0.00/0.09 c # additional number of allowed LP iterations
0.00/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.09 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.09 c heuristics/oneopt/freq = -1
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.09 c heuristics/pscostdiving/freq = -1
0.00/0.09 c
0.00/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.09 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.00/0.09 c
0.00/0.09 c # additional number of allowed LP iterations
0.00/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.09 c heuristics/pscostdiving/maxlpiterofs = 1500
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.09 c heuristics/rens/freq = -1
0.00/0.09 c
0.00/0.09 c # minimum percentage of integer variables that have to be fixable
0.00/0.09 c # [type: real, range: [0,1], default: 0.5]
0.00/0.09 c heuristics/rens/minfixingrate = 0.3
0.00/0.09 c
0.00/0.09 c # number of nodes added to the contingent of the total nodes
0.00/0.09 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.00/0.09 c heuristics/rens/nodesofs = 2000
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 20]
0.00/0.09 c heuristics/rootsoldiving/freq = -1
0.00/0.09 c
0.00/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.00/0.09 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.00/0.09 c
0.00/0.09 c # additional number of allowed LP iterations
0.00/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.09 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.09 c heuristics/rounding/freq = -1
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.09 c heuristics/shiftandpropagate/freq = -1
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.09 c heuristics/shifting/freq = -1
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.09 c heuristics/simplerounding/freq = -1
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.09 c heuristics/subnlp/freq = -1
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.09 c heuristics/trivial/freq = -1
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.09 c heuristics/trysol/freq = -1
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.09 c heuristics/undercover/freq = -1
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 10]
0.00/0.09 c heuristics/veclendiving/freq = -1
0.00/0.09 c
0.00/0.09 c # maximal fraction of diving LP iterations compared to node LP iterations
0.00/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.00/0.09 c heuristics/veclendiving/maxlpiterquot = 0.075
0.00/0.09 c
0.00/0.09 c # additional number of allowed LP iterations
0.00/0.09 c # [type: int, range: [0,2147483647], default: 1000]
0.00/0.09 c heuristics/veclendiving/maxlpiterofs = 1500
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.09 c heuristics/zirounding/freq = -1
0.00/0.09 c
0.00/0.09 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.09 c propagating/probing/maxprerounds = 0
0.00/0.09 c
0.00/0.09 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.09 c separating/cmir/freq = -1
0.00/0.09 c
0.00/0.09 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 0]
0.00/0.09 c separating/flowcover/freq = -1
0.00/0.09 c
0.00/0.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.09 c separating/rapidlearning/freq = 0
0.00/0.09 c
0.00/0.09 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.00/0.09 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.09 c heuristics/indoneopt/freq = -1
0.00/0.09 c
0.00/0.09 c -----------------------------------------------------------------------------------------------
0.00/0.09 c start solving
0.00/0.09 c
1.48/1.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.48/1.58 c 1.6s| 1 | 0 | 10931 | - |8086k| 0 | 402 |1713 | 996 |1713 | 996 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.99/2.08 c 2.1s| 1 | 0 | 11227 | - | 10M| 0 | 426 |1713 |2066 |1713 |1002 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
2.09/2.18 c 2.2s| 1 | 0 | 11416 | - | 10M| 0 | 445 |1713 |2066 |1713 |1012 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
2.20/2.26 c 2.3s| 1 | 0 | 11533 | - | 10M| 0 | 459 |1713 |2066 |1713 |1018 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf
2.29/2.36 c 2.4s| 1 | 0 | 11685 | - | 10M| 0 | 473 |1713 |2066 |1713 |1026 | 30 | 0 | 0 | 0.000000e+00 | -- | Inf
2.39/2.46 c 2.5s| 1 | 0 | 11765 | - | 10M| 0 | 483 |1713 |2066 |1713 |1037 | 41 | 0 | 0 | 0.000000e+00 | -- | Inf
3.29/3.38 c 3.4s| 1 | 2 | 11765 | - | 10M| 0 | 483 |1713 |2066 |1713 |1037 | 41 | 0 | 9 | 0.000000e+00 | -- | Inf
30.68/30.78 c 30.8s| 100 | 51 | 30176 | 186.0 | 10M| 40 | 60 |1713 |2142 |1713 |1032 | 41 | 76 | 356 | 0.000000e+00 | -- | Inf
32.88/32.97 c 33.0s| 200 | 64 | 40407 | 143.9 | 10M| 41 | 265 |1713 |2230 |1713 |1032 | 41 | 164 | 372 | 0.000000e+00 | -- | Inf
36.08/36.18 c 36.2s| 300 | 65 | 55717 | 147.0 | 11M| 41 | - |1713 |2289 |1713 |1032 | 41 | 223 | 401 | 0.000000e+00 | -- | Inf
38.49/38.58 c 38.6s| 400 | 84 | 65977 | 135.9 | 11M| 41 | 192 |1713 |2434 |1713 |1032 | 41 | 368 | 417 | 0.000000e+00 | -- | Inf
40.08/40.13 c 40.1s| 500 | 85 | 73187 | 123.1 | 11M| 45 | - |1713 |2568 |1713 |1032 | 41 | 502 | 434 | 0.000000e+00 | -- | Inf
41.67/41.72 c 41.7s| 600 | 85 | 80590 | 114.9 | 11M| 47 | - |1713 |2614 |1713 |1032 | 41 | 548 | 460 | 0.000000e+00 | -- | Inf
43.27/43.32 c 43.3s| 700 | 85 | 87777 | 108.7 | 11M| 49 | - |1713 |2643 |1713 |1032 | 41 | 577 | 486 | 0.000000e+00 | -- | Inf
45.08/45.17 c 45.2s| 800 | 85 | 96377 | 105.9 | 11M| 49 | - |1713 |2682 |1713 |1032 | 41 | 616 | 526 | 0.000000e+00 | -- | Inf
46.68/46.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.68/46.71 c 46.7s| 900 | 82 |102956 | 101.4 | 11M| 49 | 177 |1713 |2715 |1713 |1032 | 41 | 649 | 554 | 0.000000e+00 | -- | Inf
47.98/48.00 c 48.0s| 1000 | 82 |108482 | 96.8 | 11M| 52 | 184 |1713 |2792 |1713 |1032 | 41 | 726 | 592 | 0.000000e+00 | -- | Inf
49.37/49.46 c 49.5s| 1100 | 84 |114926 | 93.9 | 11M| 52 | 120 |1713 |2870 |1713 |1032 | 41 | 804 | 615 | 0.000000e+00 | -- | Inf
50.78/50.88 c 50.9s| 1200 | 80 |121228 | 91.3 | 11M| 52 | 211 |1713 |2991 |1713 |1032 | 41 | 925 | 631 | 0.000000e+00 | -- | Inf
53.98/54.01 c 54.0s| 1300 | 88 |136178 | 95.8 | 11M| 52 | 153 |1713 |3013 |1713 |1032 | 41 | 948 | 664 | 0.000000e+00 | -- | Inf
57.37/57.45 c 57.4s| 1400 | 86 |152945 | 100.9 | 11M| 52 | 204 |1713 |3028 |1713 |1032 | 41 | 963 | 702 | 0.000000e+00 | -- | Inf
60.17/60.20 c 60.2s| 1500 | 90 |166139 | 103.0 | 11M| 52 | 182 |1713 |3083 |1713 |1032 | 41 |1021 | 729 | 0.000000e+00 | -- | Inf
63.67/63.77 c 63.8s| 1600 | 118 |181470 | 106.1 | 12M| 52 | - |1713 |3169 |1713 |1032 | 41 |1109 | 761 | 0.000000e+00 | -- | Inf
67.67/67.71 c 67.7s| 1700 | 162 |198133 | 109.7 | 12M| 52 | 304 |1713 |3202 |1713 |1032 | 41 |1147 | 801 | 0.000000e+00 | -- | Inf
70.17/70.21 c 70.2s| 1800 | 176 |209960 | 110.2 | 12M| 52 | - |1713 |3280 | 0 | 0 | 41 |1241 | 824 | 0.000000e+00 | -- | Inf
72.37/72.47 c 72.5s| 1900 | 187 |220113 | 109.7 | 12M| 52 | - |1713 |3294 | 0 | 0 | 41 |1265 | 849 | 0.000000e+00 | -- | Inf
75.88/75.92 c 75.9s| 2000 | 217 |234209 | 111.3 | 12M| 52 | - |1713 |3293 |1713 |1032 | 41 |1314 | 879 | 0.000000e+00 | -- | Inf
78.37/78.44 c 78.4s| 2100 | 211 |246601 | 111.9 | 12M| 52 | 200 |1713 |3360 |1713 |1032 | 41 |1390 | 904 | 0.000000e+00 | -- | Inf
80.97/81.00 c 81.0s| 2200 | 213 |258561 | 112.2 | 12M| 52 | 253 |1713 |3411 |1713 |1032 | 41 |1448 | 932 | 0.000000e+00 | -- | Inf
82.77/82.85 c 82.9s| 2300 | 219 |266902 | 111.0 | 12M| 52 | - |1713 |3437 |1713 |1032 | 41 |1503 | 948 | 0.000000e+00 | -- | Inf
86.27/86.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.27/86.38 c 86.4s| 2400 | 243 |282334 | 112.8 | 12M| 52 | - |1713 |3497 |1713 |1032 | 41 |1595 | 984 | 0.000000e+00 | -- | Inf
88.77/88.88 c 88.9s| 2500 | 255 |293692 | 112.8 | 12M| 52 | - |1713 |3582 |1713 |1032 | 41 |1710 |1017 | 0.000000e+00 | -- | Inf
91.97/92.05 c 92.1s| 2600 | 286 |306811 | 113.5 | 13M| 52 | 212 |1713 |3504 |1713 |1032 | 41 |1792 |1041 | 0.000000e+00 | -- | Inf
94.86/94.97 c 95.0s| 2700 | 306 |319528 | 114.0 | 13M| 52 | 351 |1713 |3528 |1713 |1032 | 41 |1860 |1070 | 0.000000e+00 | -- | Inf
97.56/97.67 c 97.7s| 2800 | 322 |331641 | 114.3 | 13M| 52 | 185 |1713 |3537 |1713 |1032 | 41 |1947 |1099 | 0.000000e+00 | -- | Inf
99.66/99.76 c 99.8s| 2900 | 326 |341199 | 113.6 | 13M| 52 | 247 |1713 |3565 |1713 |1032 | 41 |2009 |1126 | 0.000000e+00 | -- | Inf
102.16/102.21 c 102s| 3000 | 338 |352328 | 113.6 | 13M| 52 | 202 |1713 |3663 |1713 |1032 | 41 |2154 |1148 | 0.000000e+00 | -- | Inf
104.17/104.27 c 104s| 3100 | 343 |360252 | 112.5 | 13M| 52 | - |1713 |3692 |1713 |1032 | 41 |2218 |1172 | 0.000000e+00 | -- | Inf
106.16/106.21 c 106s| 3200 | 349 |370305 | 112.1 | 13M| 52 | 185 |1713 |3675 |1713 |1032 | 41 |2313 |1189 | 0.000000e+00 | -- | Inf
108.37/108.42 c 108s| 3300 | 350 |380020 | 111.6 | 13M| 57 | - |1713 |3725 |1713 |1032 | 41 |2383 |1220 | 0.000000e+00 | -- | Inf
110.36/110.41 c 110s| 3400 | 363 |389442 | 111.1 | 13M| 57 | - |1713 |3719 |1713 |1032 | 41 |2426 |1236 | 0.000000e+00 | -- | Inf
112.46/112.55 c 113s| 3500 | 366 |398979 | 110.7 | 13M| 57 | - |1713 |3760 |1713 |1032 | 41 |2508 |1260 | 0.000000e+00 | -- | Inf
115.36/115.49 c 115s| 3600 | 376 |410902 | 110.9 | 13M| 57 | - |1713 |3733 |1713 |1032 | 41 |2552 |1295 | 0.000000e+00 | -- | Inf
118.77/118.86 c 119s| 3700 | 391 |424807 | 111.7 | 13M| 57 | 188 |1713 |3710 |1713 |1032 | 41 |2624 |1326 | 0.000000e+00 | -- | Inf
125.66/125.74 c 126s| 3800 | 424 |447396 | 114.7 | 13M| 57 | 366 |1713 |3601 |1713 |1032 | 41 |2685 |1375 | 0.000000e+00 | -- | Inf
128.16/128.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.16/128.22 c 128s| 3900 | 442 |457539 | 114.3 | 13M| 57 | - |1713 |3590 |1713 |1032 | 41 |2741 |1388 | 0.000000e+00 | -- | Inf
130.46/130.56 c 131s| 4000 | 455 |467647 | 114.0 | 13M| 57 | 188 |1713 |3613 |1713 |1032 | 41 |2805 |1420 | 0.000000e+00 | -- | Inf
132.46/132.54 c 133s| 4100 | 452 |477434 | 113.6 | 13M| 57 | - |1713 |3452 |1713 |1032 | 41 |2941 |1436 | 0.000000e+00 | -- | Inf
135.76/135.81 c 136s| 4200 | 465 |489516 | 113.8 | 13M| 57 | - |1713 |3359 |1713 |1032 | 41 |3032 |1468 | 0.000000e+00 | -- | Inf
137.76/137.87 c 138s| 4300 | 474 |498582 | 113.2 | 13M| 57 | - |1713 |3303 |1713 |1032 | 41 |3096 |1489 | 0.000000e+00 | -- | Inf
141.16/141.26 c 141s| 4400 | 488 |511390 | 113.6 | 13M| 57 | 219 |1713 |3319 |1713 |1032 | 41 |3182 |1513 | 0.000000e+00 | -- | Inf
144.26/144.34 c 144s| 4500 | 500 |526220 | 114.3 | 14M| 57 | 251 |1713 |3345 |1713 |1032 | 41 |3260 |1538 | 0.000000e+00 | -- | Inf
147.16/147.25 c 147s| 4600 | 513 |539154 | 114.7 | 14M| 57 | 185 |1713 |3328 |1713 |1032 | 41 |3326 |1573 | 0.000000e+00 | -- | Inf
148.96/149.05 c 149s| 4700 | 506 |547438 | 114.0 | 14M| 57 | 384 |1713 |3276 |1713 |1032 | 41 |3361 |1595 | 0.000000e+00 | -- | Inf
151.46/151.51 c 152s| 4800 | 520 |558110 | 113.8 | 14M| 57 | 213 |1713 |3245 |1713 |1032 | 41 |3449 |1619 | 0.000000e+00 | -- | Inf
154.46/154.55 c 155s| 4900 | 538 |571102 | 114.2 | 14M| 57 | 197 |1713 |3179 |1713 |1032 | 41 |3485 |1651 | 0.000000e+00 | -- | Inf
158.36/158.43 c 158s| 5000 | 561 |588686 | 115.4 | 14M| 57 | 227 |1713 |3180 |1713 |1032 | 41 |3553 |1691 | 0.000000e+00 | -- | Inf
161.15/161.28 c 161s| 5100 | 569 |601021 | 115.6 | 14M| 57 | - |1713 |3172 | 0 | 0 | 41 |3647 |1728 | 0.000000e+00 | -- | Inf
163.66/163.70 c 164s| 5200 | 571 |612009 | 115.5 | 14M| 57 | 184 |1713 |3108 |1713 |1032 | 41 |3712 |1761 | 0.000000e+00 | -- | Inf
165.96/166.06 c 166s| 5300 | 581 |622718 | 115.3 | 14M| 57 | 269 |1713 |3134 |1713 |1032 | 41 |3825 |1786 | 0.000000e+00 | -- | Inf
168.15/168.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
168.15/168.25 c 168s| 5400 | 602 |632263 | 114.9 | 14M| 57 | 172 |1713 |3146 |1713 |1032 | 41 |3896 |1824 | 0.000000e+00 | -- | Inf
170.57/170.61 c 171s| 5500 | 605 |642233 | 114.7 | 14M| 57 | - |1713 |3144 |1713 |1032 | 41 |3992 |1857 | 0.000000e+00 | -- | Inf
173.56/173.61 c 174s| 5600 | 624 |655730 | 115.0 | 14M| 57 | 247 |1713 |3090 |1713 |1032 | 41 |4063 |1886 | 0.000000e+00 | -- | Inf
176.26/176.37 c 176s| 5700 | 639 |668414 | 115.2 | 14M| 57 | 227 |1713 |3049 |1713 |1032 | 41 |4113 |1923 | 0.000000e+00 | -- | Inf
178.76/178.84 c 179s| 5800 | 653 |679010 | 115.1 | 14M| 57 | 190 |1713 |3050 |1713 |1032 | 41 |4173 |1954 | 0.000000e+00 | -- | Inf
181.65/181.73 c 182s| 5900 | 669 |691547 | 115.2 | 14M| 57 | - |1713 |3037 |1713 |1032 | 41 |4242 |1977 | 0.000000e+00 | -- | Inf
184.05/184.18 c 184s| 6000 | 693 |701730 | 115.0 | 14M| 57 | - |1713 |3052 |1713 |1032 | 41 |4320 |2011 | 0.000000e+00 | -- | Inf
185.96/186.00 c 186s| 6100 | 698 |711090 | 114.7 | 14M| 57 | - |1713 |3027 |1713 |1032 | 41 |4362 |2033 | 0.000000e+00 | -- | Inf
189.26/189.35 c 189s| 6200 | 720 |724207 | 114.9 | 14M| 57 | - |1713 |2988 |1713 |1032 | 41 |4433 |2077 | 0.000000e+00 | -- | Inf
191.46/191.57 c 192s| 6300 | 733 |734249 | 114.7 | 14M| 57 | - |1713 |3042 |1713 |1032 | 41 |4550 |2102 | 0.000000e+00 | -- | Inf
194.76/194.88 c 195s| 6400 | 741 |746513 | 114.8 | 14M| 57 | 423 |1713 |3003 |1713 |1032 | 41 |4681 |2141 | 0.000000e+00 | -- | Inf
197.66/197.78 c 198s| 6500 | 770 |760589 | 115.2 | 14M| 57 | 216 |1713 |3000 |1713 |1032 | 41 |4776 |2163 | 0.000000e+00 | -- | Inf
200.96/201.05 c 201s| 6600 | 805 |775332 | 115.7 | 14M| 57 | 180 |1713 |2966 |1713 |1032 | 41 |4902 |2195 | 0.000000e+00 | -- | Inf
206.86/206.98 c 207s| 6700 | 832 |798126 | 117.4 | 14M| 57 | - |1713 |2819 |1713 |1032 | 41 |4947 |2242 | 0.000000e+00 | -- | Inf
208.85/208.97 c 209s| 6800 | 838 |810150 | 117.4 | 15M| 57 | - |1713 |2799 |1713 |1032 | 41 |5013 |2249 | 0.000000e+00 | -- | Inf
215.65/215.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
215.65/215.76 c 216s| 6900 | 850 |827275 | 118.2 | 15M| 57 | - |1713 |2744 |1713 |1032 | 41 |5092 |2306 | 0.000000e+00 | -- | Inf
218.55/218.68 c 219s| 7000 | 856 |839461 | 118.3 | 15M| 57 | 321 |1713 |2744 |1713 |1032 | 41 |5179 |2328 | 0.000000e+00 | -- | Inf
223.05/223.13 c 223s| 7100 | 878 |856687 | 119.0 | 15M| 57 | - |1713 |2766 |1713 |1032 | 41 |5286 |2355 | 0.000000e+00 | -- | Inf
225.25/225.35 c 225s| 7200 | 903 |869892 | 119.2 | 15M| 57 | 127 |1713 |2755 |1713 |1032 | 41 |5348 |2362 | 0.000000e+00 | -- | Inf
227.35/227.42 c 227s| 7300 | 919 |882772 | 119.3 | 15M| 57 | 192 |1713 |2757 |1713 |1032 | 41 |5445 |2367 | 0.000000e+00 | -- | Inf
228.64/228.74 c 229s| 7400 | 927 |890264 | 118.7 | 15M| 57 | - |1713 |2802 | 0 | 0 | 41 |5528 |2371 | 0.000000e+00 | -- | Inf
230.45/230.54 c 231s| 7500 | 929 |902596 | 118.8 | 15M| 57 | 103 |1713 |2799 |1713 |1032 | 41 |5605 |2371 | 0.000000e+00 | -- | Inf
231.54/231.65 c 232s| 7600 | 931 |910064 | 118.2 | 15M| 57 | - |1713 |2832 |1713 |1032 | 41 |5675 |2371 | 0.000000e+00 | -- | Inf
235.45/235.58 c 236s| 7700 | 963 |922491 | 118.3 | 15M| 57 | 199 |1713 |2840 |1713 |1032 | 41 |5768 |2438 | 0.000000e+00 | -- | Inf
236.56/236.68 c 237s| 7800 | 964 |930260 | 117.8 | 15M| 57 | - |1713 |2875 |1713 |1032 | 41 |5834 |2438 | 0.000000e+00 | -- | Inf
238.65/238.74 c 239s| 7900 | 972 |944481 | 118.1 | 15M| 57 | 195 |1713 |2810 |1713 |1032 | 41 |5893 |2438 | 0.000000e+00 | -- | Inf
245.14/245.26 c 245s| 8000 | 1003 |961720 | 118.8 | 15M| 57 | 179 |1713 |2733 |1713 |1032 | 41 |5959 |2501 | 0.000000e+00 | -- | Inf
250.55/250.60 c 251s| 8100 | 1008 |974352 | 118.9 | 15M| 57 | - |1713 |2700 |1713 |1032 | 41 |6038 |2552 | 0.000000e+00 | -- | Inf
251.85/251.93 c 252s| 8200 | 1015 |983449 | 118.5 | 15M| 57 | 173 |1713 |2733 |1713 |1032 | 41 |6113 |2552 | 0.000000e+00 | -- | Inf
253.85/253.99 c 254s| 8300 | 1023 |996531 | 118.7 | 15M| 57 | 135 |1713 |2642 |1713 |1032 | 41 |6201 |2553 | 0.000000e+00 | -- | Inf
256.04/256.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
256.04/256.12 c 256s| 8400 | 1022 | 1007k| 118.6 | 15M| 57 | - |1713 |2661 |1713 |1032 | 41 |6336 |2569 | 0.000000e+00 | -- | Inf
258.34/258.49 c 258s| 8500 | 1028 | 1021k| 118.8 | 15M| 57 | - |1713 |2667 | 0 | 0 | 41 |6431 |2582 | 0.000000e+00 | -- | Inf
260.94/261.01 c 261s| 8600 | 1036 | 1036k| 119.1 | 15M| 57 | - |1713 |2713 |1713 |1032 | 41 |6581 |2591 | 0.000000e+00 | -- | Inf
263.04/263.15 c 263s| 8700 | 1053 | 1050k| 119.4 | 15M| 57 | 226 |1713 |2696 |1713 |1032 | 41 |6664 |2593 | 0.000000e+00 | -- | Inf
265.34/265.43 c 265s| 8800 | 1054 | 1065k| 119.8 | 15M| 57 | - |1713 |2669 |1713 |1032 | 41 |6698 |2593 | 0.000000e+00 | -- | Inf
267.34/267.48 c 267s| 8900 | 1086 | 1079k| 120.0 | 15M| 57 | - |1713 |2591 |1713 |1032 | 41 |6781 |2593 | 0.000000e+00 | -- | Inf
269.34/269.41 c 269s| 9000 | 1093 | 1092k| 120.1 | 15M| 57 | - |1713 |2468 |1713 |1032 | 41 |6840 |2593 | 0.000000e+00 | -- | Inf
271.14/271.28 c 271s| 9100 | 1107 | 1105k| 120.2 | 15M| 57 | - |1713 |2471 |1713 |1032 | 41 |6857 |2593 | 0.000000e+00 | -- | Inf
272.85/272.95 c 273s| 9200 | 1111 | 1116k| 120.1 | 15M| 57 | 209 |1713 |2511 |1713 |1032 | 41 |6898 |2593 | 0.000000e+00 | -- | Inf
275.34/275.45 c 275s| 9300 | 1104 | 1131k| 120.4 | 15M| 57 | - |1713 |2535 |1713 |1032 | 41 |6939 |2605 | 0.000000e+00 | -- | Inf
277.94/278.09 c 278s| 9400 | 1116 | 1144k| 120.5 | 15M| 57 | 194 |1713 |2547 |1713 |1032 | 41 |7028 |2623 | 0.000000e+00 | -- | Inf
281.34/281.42 c 281s| 9500 | 1130 | 1158k| 120.7 | 15M| 57 | 251 |1713 |2537 |1713 |1032 | 41 |7071 |2661 | 0.000000e+00 | -- | Inf
284.43/284.56 c 285s| 9600 | 1145 | 1174k| 121.1 | 15M| 57 | 196 |1713 |2539 |1713 |1032 | 41 |7121 |2680 | 0.000000e+00 | -- | Inf
287.84/287.97 c 288s| 9700 | 1157 | 1190k| 121.5 | 15M| 57 | 227 |1713 |2462 |1713 |1032 | 41 |7187 |2708 | 0.000000e+00 | -- | Inf
289.74/289.86 c 290s| 9800 | 1153 | 1199k| 121.2 | 15M| 57 | 359 |1713 |2500 |1713 |1032 | 41 |7270 |2725 | 0.000000e+00 | -- | Inf
293.04/293.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
293.04/293.15 c 293s| 9900 | 1183 | 1214k| 121.5 | 15M| 57 | - |1713 |2494 |1713 |1032 | 41 |7333 |2754 | 0.000000e+00 | -- | Inf
296.44/296.51 c 297s| 10000 | 1194 | 1228k| 121.7 | 15M| 57 | 385 |1713 |2524 |1713 |1032 | 41 |7423 |2784 | 0.000000e+00 | -- | Inf
299.04/299.12 c 299s| 10100 | 1207 | 1242k| 121.8 | 15M| 57 | - |1713 |2578 |1713 |1032 | 41 |7505 |2799 | 0.000000e+00 | -- | Inf
301.04/301.10 c 301s| 10200 | 1207 | 1251k| 121.6 | 15M| 57 | - |1713 |2577 |1713 |1032 | 41 |7513 |2827 | 0.000000e+00 | -- | Inf
303.64/303.72 c 304s| 10300 | 1210 | 1263k| 121.5 | 15M| 57 | 320 |1713 |2585 |1713 |1032 | 41 |7565 |2852 | 0.000000e+00 | -- | Inf
305.53/305.67 c 306s| 10400 | 1218 | 1273k| 121.4 | 15M| 57 | 168 |1713 |2628 |1713 |1032 | 41 |7635 |2872 | 0.000000e+00 | -- | Inf
308.43/308.53 c 309s| 10500 | 1218 | 1288k| 121.6 | 15M| 57 | 179 |1713 |2644 |1713 |1032 | 41 |7668 |2896 | 0.000000e+00 | -- | Inf
310.53/310.64 c 311s| 10600 | 1219 | 1298k| 121.4 | 15M| 57 | 230 |1713 |2671 |1713 |1032 | 41 |7717 |2915 | 0.000000e+00 | -- | Inf
313.13/313.28 c 313s| 10700 | 1222 | 1311k| 121.5 | 15M| 57 | - |1713 |2663 |1713 |1032 | 41 |7780 |2945 | 0.000000e+00 | -- | Inf
316.04/316.18 c 316s| 10800 | 1227 | 1324k| 121.6 | 15M| 57 | - |1713 |2651 |1713 |1032 | 41 |7826 |2968 | 0.000000e+00 | -- | Inf
317.53/317.66 c 318s| 10900 | 1225 | 1331k| 121.1 | 16M| 57 | - |1713 |2696 |1713 |1032 | 41 |7904 |2983 | 0.000000e+00 | -- | Inf
321.03/321.19 c 321s| 11000 | 1234 | 1347k| 121.4 | 15M| 57 | 225 |1713 |2642 |1713 |1032 | 41 |8010 |3027 | 0.000000e+00 | -- | Inf
323.23/323.35 c 323s| 11100 | 1230 | 1357k| 121.3 | 15M| 57 | 237 |1713 |2646 |1713 |1032 | 41 |8088 |3047 | 0.000000e+00 | -- | Inf
325.14/325.29 c 325s| 11200 | 1233 | 1367k| 121.0 | 15M| 57 | - |1713 |2667 |1713 |1032 | 41 |8146 |3064 | 0.000000e+00 | -- | Inf
327.33/327.43 c 327s| 11300 | 1236 | 1378k| 121.0 | 16M| 57 | - |1713 |2724 | 0 | 0 | 41 |8227 |3083 | 0.000000e+00 | -- | Inf
329.03/329.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
329.03/329.15 c 329s| 11400 | 1231 | 1387k| 120.7 | 16M| 57 | 200 |1713 |2785 |1713 |1032 | 41 |8307 |3102 | 0.000000e+00 | -- | Inf
331.33/331.40 c 331s| 11500 | 1242 | 1396k| 120.4 | 16M| 57 | 155 |1713 |2844 |1713 |1032 | 41 |8410 |3137 | 0.000000e+00 | -- | Inf
332.53/332.64 c 333s| 11600 | 1242 | 1403k| 120.0 | 16M| 57 | - |1713 |2907 |1713 |1032 | 41 |8485 |3151 | 0.000000e+00 | -- | Inf
334.54/334.64 c 335s| 11700 | 1239 | 1413k| 119.8 | 16M| 57 | 192 |1713 |2916 |1713 |1032 | 41 |8529 |3173 | 0.000000e+00 | -- | Inf
337.03/337.14 c 337s| 11800 | 1241 | 1425k| 119.8 | 16M| 57 | 257 |1713 |2925 |1713 |1032 | 41 |8613 |3197 | 0.000000e+00 | -- | Inf
340.03/340.14 c 340s| 11900 | 1253 | 1438k| 119.9 | 16M| 57 | 299 |1713 |2886 |1713 |1032 | 41 |8659 |3229 | 0.000000e+00 | -- | Inf
343.24/343.36 c 343s| 12000 | 1267 | 1454k| 120.2 | 16M| 57 | - |1713 |2852 |1713 |1032 | 41 |8710 |3254 | 0.000000e+00 | -- | Inf
346.63/346.74 c 347s| 12100 | 1279 | 1469k| 120.5 | 16M| 57 | 189 |1713 |2769 |1713 |1032 | 41 |8729 |3286 | 0.000000e+00 | -- | Inf
349.43/349.55 c 350s| 12200 | 1289 | 1482k| 120.5 | 16M| 57 | 169 |1713 |2791 |1713 |1032 | 41 |8810 |3321 | 0.000000e+00 | -- | Inf
351.73/351.89 c 352s| 12300 | 1293 | 1495k| 120.6 | 16M| 57 | - |1713 |2794 |1713 |1032 | 41 |8857 |3332 | 0.000000e+00 | -- | Inf
355.24/355.39 c 355s| 12400 | 1293 | 1511k| 120.9 | 16M| 57 | 189 |1713 |2799 |1713 |1032 | 41 |8897 |3365 | 0.000000e+00 | -- | Inf
357.13/357.22 c 357s| 12500 | 1302 | 1521k| 120.8 | 16M| 57 | 176 |1713 |2823 |1713 |1032 | 41 |8973 |3382 | 0.000000e+00 | -- | Inf
360.02/360.15 c 360s| 12600 | 1328 | 1533k| 120.8 | 16M| 57 | 165 |1713 |2828 |1713 |1032 | 41 |9074 |3409 | 0.000000e+00 | -- | Inf
361.93/362.09 c 362s| 12700 | 1326 | 1543k| 120.6 | 16M| 57 | 239 |1713 |2846 |1713 |1032 | 41 |9144 |3426 | 0.000000e+00 | -- | Inf
363.73/363.84 c 364s| 12800 | 1332 | 1552k| 120.4 | 16M| 57 | 144 |1713 |2914 |1713 |1032 | 41 |9266 |3444 | 0.000000e+00 | -- | Inf
365.53/365.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
365.53/365.62 c 366s| 12900 | 1330 | 1559k| 120.0 | 16M| 57 | 208 |1713 |3022 |1713 |1032 | 41 |9393 |3470 | 0.000000e+00 | -- | Inf
368.83/368.96 c 369s| 13000 | 1336 | 1575k| 120.3 | 16M| 57 | 238 |1713 |2996 |1713 |1032 | 41 |9453 |3499 | 0.000000e+00 | -- | Inf
371.13/371.28 c 371s| 13100 | 1338 | 1587k| 120.3 | 16M| 57 | - |1713 |3050 |1713 |1032 | 41 |9535 |3520 | 0.000000e+00 | -- | Inf
373.32/373.44 c 373s| 13200 | 1335 | 1599k| 120.3 | 16M| 57 | - |1713 |3085 |1713 |1032 | 41 |9593 |3536 | 0.000000e+00 | -- | Inf
376.83/376.94 c 377s| 13300 | 1353 | 1615k| 120.6 | 16M| 57 | - |1713 |3059 |1713 |1032 | 41 |9649 |3568 | 0.000000e+00 | -- | Inf
380.42/380.59 c 381s| 13400 | 1382 | 1631k| 120.8 | 16M| 57 | 321 |1713 |2921 |1713 |1032 | 41 |9719 |3599 | 0.000000e+00 | -- | Inf
383.22/383.33 c 383s| 13500 | 1400 | 1644k| 120.9 | 16M| 57 | - |1713 |2889 |1713 |1032 | 41 |9777 |3622 | 0.000000e+00 | -- | Inf
385.42/385.58 c 386s| 13600 | 1405 | 1655k| 120.9 | 16M| 57 | - |1713 |2902 |1713 |1032 | 41 |9842 |3646 | 0.000000e+00 | -- | Inf
388.33/388.49 c 388s| 13700 | 1417 | 1668k| 120.9 | 16M| 57 | 208 |1713 |2861 |1713 |1032 | 41 |9900 |3675 | 0.000000e+00 | -- | Inf
391.32/391.41 c 391s| 13800 | 1430 | 1681k| 121.0 | 16M| 57 | 212 |1713 |2807 |1713 |1032 | 41 |9945 |3700 | 0.000000e+00 | -- | Inf
393.52/393.65 c 394s| 13900 | 1430 | 1692k| 120.9 | 16M| 57 | - |1713 |2823 |1713 |1032 | 41 |9996 |3722 | 0.000000e+00 | -- | Inf
396.32/396.46 c 396s| 14000 | 1428 | 1705k| 121.0 | 16M| 57 | 183 |1713 |2850 |1713 |1032 | 41 | 10k|3753 | 0.000000e+00 | -- | Inf
399.82/399.90 c 400s| 14100 | 1447 | 1721k| 121.2 | 16M| 57 | 302 |1713 |2800 |1713 |1032 | 41 | 10k|3781 | 0.000000e+00 | -- | Inf
403.73/403.83 c 404s| 14200 | 1461 | 1738k| 121.6 | 16M| 57 | - |1713 |2809 |1713 |1032 | 41 | 10k|3819 | 0.000000e+00 | -- | Inf
405.42/405.58 c 406s| 14300 | 1463 | 1747k| 121.4 | 16M| 57 | 181 |1713 |2879 |1713 |1032 | 41 | 10k|3832 | 0.000000e+00 | -- | Inf
408.13/408.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
408.13/408.26 c 408s| 14400 | 1477 | 1758k| 121.3 | 16M| 57 | 257 |1713 |2838 |1713 |1032 | 41 | 10k|3875 | 0.000000e+00 | -- | Inf
411.12/411.29 c 411s| 14500 | 1496 | 1772k| 121.4 | 17M| 57 | 304 |1713 |2828 |1713 |1032 | 41 | 10k|3901 | 0.000000e+00 | -- | Inf
414.02/414.11 c 414s| 14600 | 1496 | 1786k| 121.5 | 17M| 57 | 186 |1713 |2825 |1713 |1032 | 41 | 10k|3923 | 0.000000e+00 | -- | Inf
416.22/416.38 c 416s| 14700 | 1508 | 1798k| 121.5 | 17M| 57 | 195 |1713 |2871 |1713 |1032 | 41 | 10k|3940 | 0.000000e+00 | -- | Inf
419.12/419.29 c 419s| 14800 | 1512 | 1811k| 121.6 | 17M| 57 | - |1713 |2885 |1713 |1032 | 41 | 10k|3973 | 0.000000e+00 | -- | Inf
421.32/421.48 c 421s| 14900 | 1516 | 1822k| 121.6 | 17M| 57 | - |1713 |2911 |1713 |1032 | 41 | 10k|3991 | 0.000000e+00 | -- | Inf
424.22/424.32 c 424s| 15000 | 1515 | 1836k| 121.7 | 17M| 57 | - |1713 |2961 |1713 |1032 | 41 | 10k|4023 | 0.000000e+00 | -- | Inf
425.91/426.03 c 426s| 15100 | 1514 | 1845k| 121.5 | 17M| 57 | - |1713 |2986 |1713 |1032 | 41 | 10k|4036 | 0.000000e+00 | -- | Inf
429.03/429.18 c 429s| 15200 | 1527 | 1859k| 121.5 | 17M| 57 | - |1713 |2987 |1713 |1032 | 41 | 10k|4065 | 0.000000e+00 | -- | Inf
432.22/432.34 c 432s| 15300 | 1542 | 1873k| 121.7 | 17M| 57 | - |1713 |3064 |1713 |1032 | 41 | 10k|4097 | 0.000000e+00 | -- | Inf
435.11/435.24 c 435s| 15400 | 1551 | 1885k| 121.7 | 17M| 57 | 192 |1713 |3075 |1713 |1032 | 41 | 10k|4126 | 0.000000e+00 | -- | Inf
437.21/437.37 c 437s| 15500 | 1553 | 1896k| 121.6 | 17M| 57 | 195 |1713 |3121 |1713 |1032 | 41 | 11k|4145 | 0.000000e+00 | -- | Inf
440.21/440.33 c 440s| 15600 | 1556 | 1909k| 121.7 | 17M| 57 | 173 |1713 |3091 |1713 |1032 | 41 | 11k|4168 | 0.000000e+00 | -- | Inf
442.22/442.39 c 442s| 15700 | 1568 | 1920k| 121.6 | 17M| 57 | - |1713 |3124 |1713 |1032 | 41 | 11k|4182 | 0.000000e+00 | -- | Inf
445.71/445.80 c 446s| 15800 | 1581 | 1932k| 121.6 | 17M| 57 | 251 |1713 |3134 |1713 |1032 | 41 | 11k|4216 | 0.000000e+00 | -- | Inf
447.62/447.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
447.62/447.72 c 448s| 15900 | 1586 | 1942k| 121.4 | 17M| 57 | - |1713 |3171 |1713 |1032 | 41 | 11k|4230 | 0.000000e+00 | -- | Inf
449.92/450.09 c 450s| 16000 | 1589 | 1954k| 121.4 | 17M| 57 | 229 |1713 |3178 |1713 |1032 | 41 | 11k|4249 | 0.000000e+00 | -- | Inf
453.92/454.05 c 454s| 16100 | 1611 | 1968k| 121.5 | 17M| 57 | 230 |1713 |3145 |1713 |1032 | 41 | 11k|4285 | 0.000000e+00 | -- | Inf
456.42/456.59 c 457s| 16200 | 1623 | 1981k| 121.6 | 17M| 57 | - |1713 |3156 |1713 |1032 | 41 | 11k|4297 | 0.000000e+00 | -- | Inf
459.41/459.52 c 460s| 16300 | 1632 | 1995k| 121.7 | 17M| 57 | 198 |1713 |3184 |1713 |1032 | 41 | 11k|4322 | 0.000000e+00 | -- | Inf
461.11/461.20 c 461s| 16400 | 1627 | 2006k| 121.7 | 17M| 57 | - |1713 |3214 |1713 |1032 | 41 | 11k|4326 | 0.000000e+00 | -- | Inf
463.12/463.21 c 463s| 16500 | 1628 | 2018k| 121.6 | 17M| 57 | 192 |1713 |3236 |1713 |1032 | 41 | 11k|4337 | 0.000000e+00 | -- | Inf
464.31/464.45 c 464s| 16600 | 1632 | 2026k| 121.4 | 17M| 57 | 176 |1713 |3313 |1713 |1032 | 41 | 11k|4337 | 0.000000e+00 | -- | Inf
468.01/468.10 c 468s| 16700 | 1633 | 2036k| 121.2 | 17M| 57 | - |1713 |3345 |1713 |1032 | 41 | 11k|4405 | 0.000000e+00 | -- | Inf
469.62/469.79 c 470s| 16800 | 1621 | 2045k| 121.1 | 17M| 57 | - |1713 |3413 |1713 |1032 | 41 | 11k|4419 | 0.000000e+00 | -- | Inf
472.11/472.20 c 472s| 16900 | 1633 | 2057k| 121.1 | 18M| 57 | 197 |1713 |3474 |1713 |1032 | 41 | 12k|4437 | 0.000000e+00 | -- | Inf
474.21/474.36 c 474s| 17000 | 1642 | 2069k| 121.1 | 18M| 57 | - |1713 |3463 |1713 |1032 | 41 | 12k|4444 | 0.000000e+00 | -- | Inf
475.91/476.09 c 476s| 17100 | 1641 | 2080k| 121.0 | 18M| 57 | - |1713 |3456 |1713 |1032 | 41 | 12k|4449 | 0.000000e+00 | -- | Inf
477.71/477.87 c 478s| 17200 | 1647 | 2092k| 121.0 | 18M| 57 | 239 |1713 |3387 |1713 |1032 | 41 | 12k|4450 | 0.000000e+00 | -- | Inf
479.81/479.94 c 480s| 17300 | 1651 | 2101k| 120.8 | 18M| 57 | 306 |1713 |3439 |1713 |1032 | 41 | 12k|4466 | 0.000000e+00 | -- | Inf
481.31/481.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
481.31/481.44 c 481s| 17400 | 1654 | 2110k| 120.6 | 18M| 57 | - |1713 |3559 |1713 |1032 | 41 | 12k|4468 | 0.000000e+00 | -- | Inf
483.51/483.60 c 484s| 17500 | 1654 | 2126k| 120.8 | 18M| 57 | 183 |1713 |3567 |1713 |1032 | 41 | 12k|4469 | 0.000000e+00 | -- | Inf
485.51/485.69 c 486s| 17600 | 1662 | 2139k| 120.9 | 18M| 57 | 234 |1713 |3543 |1713 |1032 | 41 | 12k|4474 | 0.000000e+00 | -- | Inf
487.91/488.09 c 488s| 17700 | 1670 | 2151k| 120.9 | 18M| 57 | - |1713 |3533 |1713 |1032 | 41 | 12k|4488 | 0.000000e+00 | -- | Inf
489.90/490.09 c 490s| 17800 | 1684 | 2162k| 120.9 | 18M| 57 | - |1713 |3541 |1713 |1032 | 41 | 12k|4496 | 0.000000e+00 | -- | Inf
495.41/495.52 c 496s| 17900 | 1691 | 2177k| 121.0 | 18M| 57 | - |1713 |3482 |1713 |1032 | 41 | 12k|4550 | 0.000000e+00 | -- | Inf
498.41/498.55 c 499s| 18000 | 1709 | 2191k| 121.1 | 18M| 57 | - |1713 |3430 |1713 |1032 | 41 | 12k|4568 | 0.000000e+00 | -- | Inf
502.40/502.59 c 503s| 18100 | 1715 | 2202k| 121.0 | 18M| 57 | 186 |1713 |3445 |1713 |1032 | 41 | 12k|4625 | 0.000000e+00 | -- | Inf
504.71/504.89 c 505s| 18200 | 1721 | 2213k| 121.0 | 18M| 57 | 179 |1713 |3466 |1713 |1032 | 41 | 12k|4645 | 0.000000e+00 | -- | Inf
506.61/506.71 c 507s| 18300 | 1723 | 2226k| 121.0 | 18M| 57 | - |1713 |3506 |1713 |1032 | 41 | 12k|4646 | 0.000000e+00 | -- | Inf
507.80/507.96 c 508s| 18400 | 1725 | 2234k| 120.8 | 18M| 57 | 196 |1713 |3550 |1713 |1032 | 41 | 13k|4646 | 0.000000e+00 | -- | Inf
511.20/511.32 c 511s| 18500 | 1739 | 2251k| 121.1 | 18M| 57 | 123 |1713 |3510 |1713 |1032 | 41 | 13k|4660 | 0.000000e+00 | -- | Inf
513.71/513.80 c 514s| 18600 | 1739 | 2268k| 121.3 | 18M| 57 | 298 |1713 |3509 |1713 |1032 | 41 | 13k|4664 | 0.000000e+00 | -- | Inf
515.11/515.21 c 515s| 18700 | 1745 | 2277k| 121.2 | 18M| 57 | - |1713 |3535 |1713 |1032 | 41 | 13k|4664 | 0.000000e+00 | -- | Inf
516.50/516.67 c 517s| 18800 | 1745 | 2287k| 121.1 | 18M| 57 | 145 |1713 |3552 |1713 |1032 | 41 | 13k|4666 | 0.000000e+00 | -- | Inf
517.80/517.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
517.80/517.90 c 518s| 18900 | 1745 | 2296k| 120.9 | 18M| 57 | - |1713 |3562 |1713 |1032 | 41 | 13k|4666 | 0.000000e+00 | -- | Inf
519.00/519.14 c 519s| 19000 | 1743 | 2305k| 120.7 | 18M| 57 | - |1713 |3590 |1713 |1032 | 41 | 13k|4666 | 0.000000e+00 | -- | Inf
520.40/520.55 c 521s| 19100 | 1745 | 2314k| 120.6 | 18M| 57 | - |1713 |3617 | 0 | 0 | 41 | 13k|4666 | 0.000000e+00 | -- | Inf
521.70/521.88 c 522s| 19200 | 1745 | 2324k| 120.5 | 18M| 57 | - |1713 |3631 |1713 |1032 | 41 | 13k|4666 | 0.000000e+00 | -- | Inf
523.20/523.32 c 523s| 19300 | 1741 | 2334k| 120.4 | 18M| 57 | - |1713 |3647 |1713 |1032 | 41 | 13k|4666 | 0.000000e+00 | -- | Inf
524.61/524.76 c 525s| 19400 | 1746 | 2344k| 120.2 | 18M| 57 | - |1713 |3661 |1713 |1032 | 41 | 13k|4666 | 0.000000e+00 | -- | Inf
526.20/526.32 c 526s| 19500 | 1742 | 2355k| 120.2 | 18M| 57 | - |1713 |3632 |1713 |1032 | 41 | 13k|4666 | 0.000000e+00 | -- | Inf
527.71/527.85 c 528s| 19600 | 1740 | 2365k| 120.1 | 18M| 57 | 213 |1713 |3604 |1713 |1032 | 41 | 13k|4667 | 0.000000e+00 | -- | Inf
529.60/529.76 c 530s| 19700 | 1758 | 2377k| 120.1 | 18M| 57 | 199 |1713 |3570 |1713 |1032 | 41 | 13k|4669 | 0.000000e+00 | -- | Inf
531.10/531.30 c 531s| 19800 | 1759 | 2388k| 120.0 | 18M| 57 | - |1713 |3556 |1713 |1032 | 41 | 13k|4669 | 0.000000e+00 | -- | Inf
533.30/533.46 c 533s| 19900 | 1770 | 2402k| 120.1 | 18M| 57 | - |1713 |3533 |1713 |1032 | 41 | 13k|4672 | 0.000000e+00 | -- | Inf
537.10/537.25 c 537s| 20000 | 1789 | 2417k| 120.3 | 18M| 57 | - |1713 |3462 |1713 |1032 | 41 | 13k|4699 | 0.000000e+00 | -- | Inf
539.20/539.34 c 539s| 20100 | 1791 | 2432k| 120.4 | 18M| 57 | - |1713 |3495 |1713 |1032 | 41 | 13k|4700 | 0.000000e+00 | -- | Inf
541.00/541.12 c 541s| 20200 | 1787 | 2444k| 120.5 | 18M| 57 | 199 |1713 |3537 |1713 |1032 | 41 | 14k|4700 | 0.000000e+00 | -- | Inf
542.70/542.89 c 543s| 20300 | 1793 | 2456k| 120.4 | 18M| 57 | 189 |1713 |3529 |1713 |1032 | 41 | 14k|4704 | 0.000000e+00 | -- | Inf
544.70/544.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
544.70/544.87 c 545s| 20400 | 1802 | 2469k| 120.5 | 18M| 57 | 231 |1713 |3552 |1713 |1032 | 41 | 14k|4705 | 0.000000e+00 | -- | Inf
546.30/546.48 c 546s| 20500 | 1806 | 2479k| 120.4 | 18M| 57 | 304 |1713 |3515 |1713 |1032 | 41 | 14k|4705 | 0.000000e+00 | -- | Inf
548.30/548.45 c 548s| 20600 | 1811 | 2492k| 120.5 | 18M| 57 | - |1713 |3491 |1713 |1032 | 41 | 14k|4706 | 0.000000e+00 | -- | Inf
549.80/549.97 c 550s| 20700 | 1821 | 2503k| 120.4 | 18M| 57 | - |1713 |3538 |1713 |1032 | 41 | 14k|4706 | 0.000000e+00 | -- | Inf
551.60/551.74 c 552s| 20800 | 1823 | 2513k| 120.3 | 18M| 57 | 146 |1713 |3561 |1713 |1032 | 41 | 14k|4717 | 0.000000e+00 | -- | Inf
553.59/553.71 c 554s| 20900 | 1825 | 2523k| 120.2 | 18M| 57 | 156 |1713 |3582 |1713 |1032 | 41 | 14k|4736 | 0.000000e+00 | -- | Inf
555.60/555.72 c 556s| 21000 | 1819 | 2533k| 120.1 | 18M| 57 | 200 |1713 |3590 |1713 |1032 | 41 | 14k|4759 | 0.000000e+00 | -- | Inf
557.20/557.37 c 557s| 21100 | 1817 | 2542k| 119.9 | 18M| 57 | - |1713 |3639 |1713 |1032 | 41 | 14k|4777 | 0.000000e+00 | -- | Inf
560.10/560.20 c 560s| 21200 | 1821 | 2556k| 120.0 | 18M| 57 | - |1713 |3681 |1713 |1032 | 41 | 14k|4800 | 0.000000e+00 | -- | Inf
562.89/563.00 c 563s| 21300 | 1836 | 2569k| 120.1 | 18M| 57 | 221 |1713 |3682 |1713 |1032 | 41 | 14k|4820 | 0.000000e+00 | -- | Inf
564.90/565.09 c 565s| 21400 | 1842 | 2580k| 120.1 | 18M| 57 | 182 |1713 |3701 |1713 |1032 | 41 | 14k|4839 | 0.000000e+00 | -- | Inf
567.19/567.33 c 567s| 21500 | 1845 | 2591k| 120.0 | 18M| 57 | 153 |1713 |3700 |1713 |1032 | 41 | 14k|4861 | 0.000000e+00 | -- | Inf
569.29/569.47 c 569s| 21600 | 1849 | 2602k| 119.9 | 18M| 57 | 216 |1713 |3686 |1713 |1032 | 41 | 14k|4876 | 0.000000e+00 | -- | Inf
571.49/571.67 c 572s| 21700 | 1848 | 2613k| 119.9 | 19M| 57 | 208 |1713 |3751 |1713 |1032 | 41 | 15k|4892 | 0.000000e+00 | -- | Inf
573.79/573.95 c 574s| 21800 | 1848 | 2624k| 119.8 | 19M| 57 | - |1713 |3772 |1713 |1032 | 41 | 15k|4916 | 0.000000e+00 | -- | Inf
576.50/576.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
576.50/576.61 c 577s| 21900 | 1845 | 2636k| 119.9 | 19M| 57 | 230 |1713 |3803 |1713 |1032 | 41 | 15k|4944 | 0.000000e+00 | -- | Inf
582.69/582.84 c 583s| 22000 | 1867 | 2652k| 120.0 | 19M| 57 | 297 |1713 |3654 |1713 |1032 | 41 | 15k|5014 | 0.000000e+00 | -- | Inf
584.39/584.58 c 585s| 22100 | 1866 | 2664k| 120.0 | 19M| 57 | - |1713 |3703 |1713 |1032 | 41 | 15k|5014 | 0.000000e+00 | -- | Inf
586.59/586.75 c 587s| 22200 | 1883 | 2679k| 120.2 | 19M| 57 | - |1713 |3616 |1713 |1032 | 41 | 15k|5014 | 0.000000e+00 | -- | Inf
588.09/588.20 c 588s| 22300 | 1889 | 2689k| 120.1 | 19M| 57 | - |1713 |3605 |1713 |1032 | 41 | 15k|5014 | 0.000000e+00 | -- | Inf
591.39/591.51 c 592s| 22400 | 1898 | 2701k| 120.1 | 19M| 57 | - |1713 |3556 |1713 |1032 | 41 | 15k|5042 | 0.000000e+00 | -- | Inf
593.69/593.88 c 594s| 22500 | 1905 | 2714k| 120.1 | 19M| 57 | - |1713 |3514 |1713 |1032 | 41 | 15k|5050 | 0.000000e+00 | -- | Inf
598.19/598.37 c 598s| 22600 | 1925 | 2733k| 120.5 | 19M| 57 | - |1713 |3396 |1713 |1032 | 41 | 15k|5081 | 0.000000e+00 | -- | Inf
601.39/601.57 c 602s| 22700 | 1931 | 2749k| 120.6 | 19M| 57 | 238 |1713 |3407 |1713 |1032 | 41 | 15k|5102 | 0.000000e+00 | -- | Inf
603.69/603.81 c 604s| 22800 | 1937 | 2758k| 120.5 | 19M| 57 | - |1713 |3500 |1713 |1032 | 41 | 15k|5127 | 0.000000e+00 | -- | Inf
605.49/605.67 c 606s| 22900 | 1932 | 2769k| 120.4 | 19M| 57 | - |1713 |3507 |1713 |1032 | 41 | 15k|5139 | 0.000000e+00 | -- | Inf
608.38/608.53 c 609s| 23000 | 1943 | 2782k| 120.5 | 19M| 57 | 197 |1713 |3472 |1713 |1032 | 41 | 15k|5165 | 0.000000e+00 | -- | Inf
609.89/610.03 c 610s| 23100 | 1949 | 2790k| 120.3 | 19M| 57 | 169 |1713 |3504 |1713 |1032 | 41 | 16k|5174 | 0.000000e+00 | -- | Inf
611.79/611.93 c 612s| 23200 | 1952 | 2799k| 120.2 | 19M| 57 | 193 |1713 |3571 |1713 |1032 | 41 | 16k|5198 | 0.000000e+00 | -- | Inf
613.69/613.87 c 614s| 23300 | 1957 | 2809k| 120.1 | 19M| 57 | - |1713 |3612 |1713 |1032 | 41 | 16k|5210 | 0.000000e+00 | -- | Inf
615.99/616.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
615.99/616.10 c 616s| 23400 | 1955 | 2820k| 120.0 | 19M| 57 | - |1713 |3694 | 0 | 0 | 41 | 16k|5232 | 0.000000e+00 | -- | Inf
618.69/618.85 c 619s| 23500 | 1972 | 2833k| 120.1 | 19M| 57 | - |1713 |3629 |1713 |1032 | 41 | 16k|5250 | 0.000000e+00 | -- | Inf
620.98/621.12 c 621s| 23600 | 1976 | 2843k| 120.0 | 19M| 57 | 202 |1713 |3569 |1713 |1032 | 41 | 16k|5275 | 0.000000e+00 | -- | Inf
622.69/622.86 c 623s| 23700 | 1978 | 2852k| 119.9 | 19M| 57 | - |1713 |3599 |1713 |1032 | 41 | 16k|5288 | 0.000000e+00 | -- | Inf
624.58/624.78 c 625s| 23800 | 1989 | 2862k| 119.8 | 19M| 57 | - |1713 |3604 |1713 |1032 | 41 | 16k|5306 | 0.000000e+00 | -- | Inf
625.79/625.98 c 626s| 23900 | 1985 | 2868k| 119.5 | 19M| 57 | - |1713 |3635 |1713 |1032 | 41 | 16k|5326 | 0.000000e+00 | -- | Inf
627.58/627.70 c 628s| 24000 | 1987 | 2877k| 119.4 | 19M| 57 | 173 |1713 |3693 |1713 |1032 | 41 | 16k|5344 | 0.000000e+00 | -- | Inf
628.98/629.20 c 629s| 24100 | 1989 | 2884k| 119.2 | 19M| 57 | 161 |1713 |3722 |1713 |1032 | 41 | 16k|5363 | 0.000000e+00 | -- | Inf
630.59/630.72 c 631s| 24200 | 1986 | 2893k| 119.1 | 19M| 57 | 211 |1713 |3713 |1713 |1032 | 41 | 16k|5376 | 0.000000e+00 | -- | Inf
631.99/632.11 c 632s| 24300 | 1990 | 2900k| 118.9 | 19M| 57 | 205 |1713 |3747 |1713 |1032 | 41 | 16k|5390 | 0.000000e+00 | -- | Inf
633.68/633.80 c 634s| 24400 | 1990 | 2908k| 118.7 | 19M| 57 | - |1713 |3787 |1713 |1032 | 41 | 16k|5408 | 0.000000e+00 | -- | Inf
635.19/635.36 c 635s| 24500 | 1990 | 2916k| 118.6 | 19M| 57 | 162 |1713 |3820 |1713 |1032 | 41 | 16k|5423 | 0.000000e+00 | -- | Inf
636.79/636.90 c 637s| 24600 | 1990 | 2924k| 118.4 | 19M| 57 | - |1713 |3852 |1713 |1032 | 41 | 16k|5435 | 0.000000e+00 | -- | Inf
638.68/638.87 c 639s| 24700 | 1992 | 2934k| 118.3 | 19M| 57 | - |1713 |3853 |1713 |1032 | 41 | 16k|5459 | 0.000000e+00 | -- | Inf
640.48/640.62 c 641s| 24800 | 1996 | 2942k| 118.2 | 19M| 57 | - |1713 |3890 |1713 |1032 | 41 | 17k|5483 | 0.000000e+00 | -- | Inf
642.99/643.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
642.99/643.12 c 643s| 24900 | 1999 | 2954k| 118.2 | 19M| 57 | - |1713 |3837 |1713 |1032 | 41 | 17k|5493 | 0.000000e+00 | -- | Inf
646.08/646.22 c 646s| 25000 | 2010 | 2968k| 118.3 | 19M| 57 | - |1713 |3823 |1713 |1032 | 41 | 17k|5524 | 0.000000e+00 | -- | Inf
648.08/648.20 c 648s| 25100 | 2012 | 2978k| 118.2 | 19M| 57 | - |1713 |3872 |1713 |1032 | 41 | 17k|5545 | 0.000000e+00 | -- | Inf
650.38/650.58 c 651s| 25200 | 2012 | 2990k| 118.2 | 19M| 57 | 179 |1713 |3848 |1713 |1032 | 41 | 17k|5567 | 0.000000e+00 | -- | Inf
653.08/653.24 c 653s| 25300 | 2017 | 3003k| 118.2 | 19M| 57 | 194 |1713 |3838 |1713 |1032 | 41 | 17k|5587 | 0.000000e+00 | -- | Inf
654.58/654.78 c 655s| 25400 | 2019 | 3011k| 118.1 | 19M| 57 | - |1713 |3870 |1713 |1032 | 41 | 17k|5599 | 0.000000e+00 | -- | Inf
656.28/656.44 c 656s| 25500 | 2021 | 3019k| 118.0 | 19M| 57 | 200 |1713 |3924 |1713 |1032 | 41 | 17k|5616 | 0.000000e+00 | -- | Inf
658.89/659.04 c 659s| 25600 | 2017 | 3032k| 118.0 | 19M| 57 | - |1713 |3926 |1713 |1032 | 41 | 17k|5642 | 0.000000e+00 | -- | Inf
660.38/660.50 c 660s| 25700 | 2021 | 3040k| 117.8 | 19M| 57 | 144 |1713 |3943 |1713 |1032 | 41 | 17k|5661 | 0.000000e+00 | -- | Inf
661.58/661.79 c 662s| 25800 | 2024 | 3046k| 117.6 | 19M| 57 | - |1713 |3997 |1713 |1032 | 41 | 17k|5674 | 0.000000e+00 | -- | Inf
663.19/663.31 c 663s| 25900 | 2019 | 3054k| 117.5 | 19M| 57 | - |1713 |3910 | 0 | 0 | 41 | 17k|5687 | 0.000000e+00 | -- | Inf
666.49/666.64 c 667s| 26000 | 2030 | 3069k| 117.6 | 19M| 57 | - |1713 |3665 |1713 |1032 | 41 | 17k|5712 | 0.000000e+00 | -- | Inf
670.18/670.35 c 670s| 26100 | 2028 | 3082k| 117.6 | 19M| 57 | - |1713 |3585 |1713 |1032 | 41 | 17k|5748 | 0.000000e+00 | -- | Inf
671.88/672.09 c 672s| 26200 | 2030 | 3092k| 117.6 | 19M| 57 | 162 |1713 |3630 |1713 |1032 | 41 | 18k|5754 | 0.000000e+00 | -- | Inf
673.68/673.80 c 674s| 26300 | 2031 | 3100k| 117.5 | 19M| 57 | 166 |1713 |3677 |1713 |1032 | 41 | 18k|5774 | 0.000000e+00 | -- | Inf
675.28/675.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
675.28/675.49 c 675s| 26400 | 2028 | 3109k| 117.3 | 19M| 57 | - |1713 |3700 |1713 |1032 | 41 | 18k|5791 | 0.000000e+00 | -- | Inf
677.49/677.69 c 678s| 26500 | 2039 | 3120k| 117.3 | 19M| 57 | 182 |1713 |3673 |1713 |1032 | 41 | 18k|5821 | 0.000000e+00 | -- | Inf
678.88/679.05 c 679s| 26600 | 2038 | 3126k| 117.1 | 19M| 57 | - |1713 |3706 |1713 |1032 | 41 | 18k|5844 | 0.000000e+00 | -- | Inf
680.88/681.04 c 681s| 26700 | 2036 | 3135k| 117.0 | 19M| 57 | - |1713 |3748 |1713 |1032 | 41 | 18k|5870 | 0.000000e+00 | -- | Inf
682.78/682.92 c 683s| 26800 | 2039 | 3144k| 116.9 | 19M| 57 | 331 |1713 |3769 |1713 |1032 | 41 | 18k|5891 | 0.000000e+00 | -- | Inf
685.88/686.07 c 686s| 26900 | 2051 | 3158k| 117.0 | 19M| 57 | 184 |1713 |3710 |1713 |1032 | 41 | 18k|5910 | 0.000000e+00 | -- | Inf
687.68/687.85 c 688s| 27000 | 2057 | 3168k| 116.9 | 19M| 57 | 169 |1713 |3686 |1713 |1032 | 41 | 18k|5921 | 0.000000e+00 | -- | Inf
689.88/690.00 c 690s| 27100 | 2076 | 3177k| 116.8 | 19M| 57 | - |1713 |3649 |1713 |1032 | 41 | 18k|5935 | 0.000000e+00 | -- | Inf
691.58/691.71 c 692s| 27200 | 2070 | 3186k| 116.7 | 19M| 57 | 195 |1713 |3670 |1713 |1032 | 41 | 18k|5958 | 0.000000e+00 | -- | Inf
693.78/693.93 c 694s| 27300 | 2076 | 3196k| 116.7 | 19M| 57 | 177 |1713 |3668 |1713 |1032 | 41 | 18k|5986 | 0.000000e+00 | -- | Inf
696.57/696.72 c 697s| 27400 | 2082 | 3209k| 116.7 | 19M| 57 | 342 |1713 |3605 |1713 |1032 | 41 | 18k|6009 | 0.000000e+00 | -- | Inf
699.07/699.27 c 699s| 27500 | 2095 | 3221k| 116.7 | 19M| 57 | 155 |1713 |3590 |1713 |1032 | 41 | 18k|6030 | 0.000000e+00 | -- | Inf
701.68/701.81 c 702s| 27600 | 2105 | 3233k| 116.7 | 19M| 57 | 205 |1713 |3553 |1713 |1032 | 41 | 18k|6052 | 0.000000e+00 | -- | Inf
705.08/705.22 c 705s| 27700 | 2110 | 3247k| 116.8 | 19M| 57 | 393 |1713 |3484 |1713 |1032 | 41 | 18k|6087 | 0.000000e+00 | -- | Inf
707.47/707.69 c 708s| 27800 | 2135 | 3260k| 116.8 | 19M| 57 | - |1713 |3433 |1713 |1032 | 41 | 19k|6108 | 0.000000e+00 | -- | Inf
708.67/708.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
708.67/708.87 c 709s| 27900 | 2124 | 3266k| 116.7 | 19M| 57 | 204 |1713 |3487 |1713 |1032 | 41 | 19k|6115 | 0.000000e+00 | -- | Inf
710.87/711.06 c 711s| 28000 | 2128 | 3276k| 116.6 | 19M| 57 | 176 |1713 |3503 |1713 |1032 | 41 | 19k|6135 | 0.000000e+00 | -- | Inf
713.27/713.45 c 713s| 28100 | 2145 | 3286k| 116.6 | 19M| 57 | 183 |1713 |3375 |1713 |1032 | 41 | 19k|6154 | 0.000000e+00 | -- | Inf
715.58/715.70 c 716s| 28200 | 2160 | 3297k| 116.5 | 19M| 57 | 122 |1713 |3344 |1713 |1032 | 41 | 19k|6172 | 0.000000e+00 | -- | Inf
718.77/718.98 c 719s| 28300 | 2166 | 3312k| 116.6 | 19M| 57 | 142 |1713 |3285 |1713 |1032 | 41 | 19k|6193 | 0.000000e+00 | -- | Inf
721.58/721.77 c 722s| 28400 | 2179 | 3326k| 116.7 | 19M| 57 | 193 |1713 |3249 |1713 |1032 | 41 | 19k|6221 | 0.000000e+00 | -- | Inf
724.07/724.20 c 724s| 28500 | 2181 | 3338k| 116.7 | 19M| 57 | 350 |1713 |3227 |1713 |1032 | 41 | 19k|6243 | 0.000000e+00 | -- | Inf
727.67/727.85 c 728s| 28600 | 2197 | 3354k| 116.9 | 19M| 57 | - |1713 |3205 |1713 |1032 | 41 | 19k|6278 | 0.000000e+00 | -- | Inf
730.87/731.08 c 731s| 28700 | 2198 | 3368k| 117.0 | 19M| 57 | - |1713 |3219 |1713 |1032 | 41 | 19k|6309 | 0.000000e+00 | -- | Inf
734.97/735.15 c 735s| 28800 | 2225 | 3386k| 117.2 | 20M| 57 | - |1713 |3145 |1713 |1032 | 41 | 19k|6329 | 0.000000e+00 | -- | Inf
736.27/736.47 c 736s| 28900 | 2235 | 3393k| 117.0 | 20M| 57 | 184 |1713 |3177 |1713 |1032 | 41 | 19k|6341 | 0.000000e+00 | -- | Inf
737.77/737.90 c 738s| 29000 | 2231 | 3400k| 116.9 | 20M| 57 | 195 |1713 |3189 |1713 |1032 | 41 | 19k|6360 | 0.000000e+00 | -- | Inf
739.37/739.58 c 740s| 29100 | 2227 | 3409k| 116.8 | 20M| 57 | 211 |1713 |3180 |1713 |1032 | 41 | 19k|6379 | 0.000000e+00 | -- | Inf
741.57/741.72 c 742s| 29200 | 2234 | 3420k| 116.7 | 20M| 57 | 223 |1713 |3257 |1713 |1032 | 41 | 19k|6400 | 0.000000e+00 | -- | Inf
743.76/743.95 c 744s| 29300 | 2239 | 3431k| 116.7 | 20M| 57 | - |1713 |3272 |1713 |1032 | 41 | 20k|6417 | 0.000000e+00 | -- | Inf
744.87/745.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
744.87/745.04 c 745s| 29400 | 2242 | 3437k| 116.5 | 20M| 57 | 119 |1713 |3324 |1713 |1032 | 41 | 20k|6432 | 0.000000e+00 | -- | Inf
747.77/747.93 c 748s| 29500 | 2247 | 3450k| 116.6 | 20M| 57 | - |1713 |3346 |1713 |1032 | 41 | 20k|6460 | 0.000000e+00 | -- | Inf
749.67/749.83 c 750s| 29600 | 2250 | 3459k| 116.5 | 20M| 57 | - |1713 |3390 |1713 |1032 | 41 | 20k|6484 | 0.000000e+00 | -- | Inf
751.87/752.03 c 752s| 29700 | 2260 | 3470k| 116.4 | 20M| 57 | 180 |1713 |3386 |1713 |1032 | 41 | 20k|6497 | 0.000000e+00 | -- | Inf
754.77/754.90 c 755s| 29800 | 2268 | 3483k| 116.5 | 20M| 57 | 203 |1713 |3329 |1713 |1032 | 41 | 20k|6519 | 0.000000e+00 | -- | Inf
757.17/757.35 c 757s| 29900 | 2274 | 3496k| 116.5 | 20M| 57 | - |1713 |3345 |1713 |1032 | 41 | 20k|6542 | 0.000000e+00 | -- | Inf
760.17/760.37 c 760s| 30000 | 2298 | 3509k| 116.6 | 20M| 57 | 197 |1713 |3252 |1713 |1032 | 41 | 20k|6563 | 0.000000e+00 | -- | Inf
763.46/763.63 c 764s| 30100 | 2313 | 3524k| 116.7 | 20M| 57 | 221 |1713 |3231 |1713 |1032 | 41 | 20k|6596 | 0.000000e+00 | -- | Inf
766.47/766.69 c 767s| 30200 | 2330 | 3540k| 116.8 | 20M| 57 | - |1713 |3222 |1713 |1032 | 41 | 20k|6619 | 0.000000e+00 | -- | Inf
768.67/768.81 c 769s| 30300 | 2334 | 3550k| 116.8 | 20M| 57 | - |1713 |3242 |1713 |1032 | 41 | 20k|6639 | 0.000000e+00 | -- | Inf
770.06/770.27 c 770s| 30400 | 2332 | 3560k| 116.7 | 20M| 57 | - |1713 |3256 |1713 |1032 | 41 | 20k|6642 | 0.000000e+00 | -- | Inf
773.36/773.56 c 774s| 30500 | 2342 | 3570k| 116.7 | 20M| 57 | 224 |1713 |2972 |1713 |1032 | 41 | 20k|6679 | 0.000000e+00 | -- | Inf
775.76/775.91 c 776s| 30600 | 2345 | 3582k| 116.7 | 20M| 57 | - |1713 |2996 |1713 |1032 | 41 | 20k|6689 | 0.000000e+00 | -- | Inf
776.76/776.95 c 777s| 30700 | 2348 | 3589k| 116.5 | 20M| 57 | - |1713 |3040 | 0 | 0 | 41 | 20k|6692 | 0.000000e+00 | -- | Inf
780.46/780.60 c 781s| 30800 | 2356 | 3603k| 116.6 | 20M| 57 | 400 |1713 |3009 |1713 |1032 | 41 | 20k|6721 | 0.000000e+00 | -- | Inf
783.36/783.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
783.36/783.53 c 784s| 30900 | 2361 | 3618k| 116.7 | 20M| 57 | - |1713 |3034 |1713 |1032 | 41 | 21k|6745 | 0.000000e+00 | -- | Inf
786.46/786.65 c 787s| 31000 | 2376 | 3633k| 116.8 | 20M| 57 | 287 |1713 |3055 |1713 |1032 | 41 | 21k|6771 | 0.000000e+00 | -- | Inf
788.06/788.20 c 788s| 31100 | 2383 | 3642k| 116.7 | 20M| 57 | 199 |1713 |3086 |1713 |1032 | 41 | 21k|6780 | 0.000000e+00 | -- | Inf
790.26/790.45 c 790s| 31200 | 2389 | 3654k| 116.8 | 20M| 57 | 190 |1713 |3089 |1713 |1032 | 41 | 21k|6795 | 0.000000e+00 | -- | Inf
793.86/794.08 c 794s| 31300 | 2400 | 3668k| 116.8 | 20M| 57 | 130 |1713 |3086 |1713 |1032 | 41 | 21k|6818 | 0.000000e+00 | -- | Inf
796.27/796.47 c 796s| 31400 | 2400 | 3680k| 116.8 | 20M| 57 | 177 |1713 |3103 |1713 |1032 | 41 | 21k|6846 | 0.000000e+00 | -- | Inf
797.96/798.17 c 798s| 31500 | 2404 | 3689k| 116.8 | 20M| 57 | 200 |1713 |3131 |1713 |1032 | 41 | 21k|6855 | 0.000000e+00 | -- | Inf
799.66/799.81 c 800s| 31600 | 2404 | 3699k| 116.7 | 20M| 57 | - |1713 |3239 |1713 |1032 | 41 | 21k|6866 | 0.000000e+00 | -- | Inf
804.66/804.86 c 805s| 31700 | 2421 | 3712k| 116.7 | 20M| 57 | - |1713 |3226 |1713 |1032 | 41 | 21k|6909 | 0.000000e+00 | -- | Inf
805.66/805.86 c 806s| 31800 | 2419 | 3719k| 116.6 | 20M| 57 | - |1713 |3271 |1713 |1032 | 41 | 21k|6909 | 0.000000e+00 | -- | Inf
806.66/806.88 c 807s| 31900 | 2418 | 3725k| 116.4 | 20M| 57 | - |1713 |3338 |1713 |1032 | 41 | 21k|6909 | 0.000000e+00 | -- | Inf
809.57/809.73 c 810s| 32000 | 2423 | 3733k| 116.3 | 20M| 57 | 280 |1713 |3341 |1713 |1032 | 41 | 21k|6951 | 0.000000e+00 | -- | Inf
810.56/810.71 c 811s| 32100 | 2432 | 3740k| 116.2 | 20M| 57 | 112 |1713 |3425 |1713 |1032 | 41 | 21k|6951 | 0.000000e+00 | -- | Inf
812.16/812.32 c 812s| 32200 | 2432 | 3751k| 116.1 | 20M| 57 | 266 |1713 |3424 |1713 |1032 | 41 | 22k|6952 | 0.000000e+00 | -- | Inf
818.36/818.57 c 819s| 32300 | 2471 | 3770k| 116.4 | 20M| 57 | 214 |1713 |3273 |1713 |1032 | 41 | 22k|7002 | 0.000000e+00 | -- | Inf
820.47/820.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
820.47/820.69 c 821s| 32400 | 2469 | 3780k| 116.3 | 20M| 57 | - |1713 |3236 |1713 |1032 | 41 | 22k|7013 | 0.000000e+00 | -- | Inf
823.15/823.33 c 823s| 32500 | 2493 | 3794k| 116.4 | 20M| 57 | 189 |1713 |3189 |1713 |1032 | 41 | 22k|7022 | 0.000000e+00 | -- | Inf
825.76/825.92 c 826s| 32600 | 2515 | 3809k| 116.5 | 20M| 57 | - |1713 |3190 |1713 |1032 | 41 | 22k|7031 | 0.000000e+00 | -- | Inf
829.75/829.96 c 830s| 32700 | 2526 | 3820k| 116.5 | 20M| 57 | 85 |1713 |3087 |1713 |1032 | 41 | 22k|7064 | 0.000000e+00 | -- | Inf
831.25/831.44 c 831s| 32800 | 2522 | 3831k| 116.5 | 20M| 57 | - |1713 |3087 |1713 |1032 | 41 | 22k|7064 | 0.000000e+00 | -- | Inf
832.86/833.03 c 833s| 32900 | 2530 | 3841k| 116.4 | 20M| 57 | - |1713 |3121 |1713 |1032 | 41 | 22k|7069 | 0.000000e+00 | -- | Inf
835.96/836.17 c 836s| 33000 | 2535 | 3852k| 116.4 | 20M| 57 | 276 |1713 |3088 |1713 |1032 | 41 | 22k|7094 | 0.000000e+00 | -- | Inf
838.16/838.36 c 838s| 33100 | 2541 | 3863k| 116.4 | 21M| 57 | - |1713 |3122 |1713 |1032 | 41 | 22k|7100 | 0.000000e+00 | -- | Inf
840.37/840.57 c 841s| 33200 | 2548 | 3879k| 116.5 | 21M| 57 | - |1713 |3111 |1713 |1032 | 41 | 22k|7101 | 0.000000e+00 | -- | Inf
841.76/841.96 c 842s| 33300 | 2557 | 3888k| 116.4 | 21M| 57 | - |1713 |3095 |1713 |1032 | 41 | 22k|7102 | 0.000000e+00 | -- | Inf
843.56/843.71 c 844s| 33400 | 2559 | 3899k| 116.4 | 21M| 57 | 195 |1713 |3081 |1713 |1032 | 41 | 22k|7104 | 0.000000e+00 | -- | Inf
844.45/844.66 c 845s| 33500 | 2563 | 3905k| 116.2 | 21M| 57 | - |1713 |3151 |1713 |1032 | 41 | 22k|7105 | 0.000000e+00 | -- | Inf
845.36/845.56 c 846s| 33600 | 2563 | 3911k| 116.1 | 21M| 57 | 206 |1713 |3191 |1713 |1032 | 41 | 22k|7105 | 0.000000e+00 | -- | Inf
847.16/847.36 c 847s| 33700 | 2570 | 3923k| 116.1 | 21M| 57 | 208 |1713 |3203 |1713 |1032 | 41 | 22k|7105 | 0.000000e+00 | -- | Inf
848.95/849.19 c 849s| 33800 | 2578 | 3936k| 116.1 | 21M| 57 | - |1713 |3188 |1713 |1032 | 41 | 22k|7105 | 0.000000e+00 | -- | Inf
850.96/851.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
850.96/851.11 c 851s| 33900 | 2582 | 3950k| 116.2 | 21M| 57 | - |1713 |3203 |1713 |1032 | 41 | 22k|7105 | 0.000000e+00 | -- | Inf
852.76/852.91 c 853s| 34000 | 2600 | 3962k| 116.2 | 21M| 57 | 176 |1713 |3119 |1713 |1032 | 41 | 23k|7105 | 0.000000e+00 | -- | Inf
856.55/856.71 c 857s| 34100 | 2614 | 3976k| 116.3 | 21M| 57 | - |1713 |3063 |1713 |1032 | 41 | 23k|7128 | 0.000000e+00 | -- | Inf
858.85/859.01 c 859s| 34200 | 2619 | 3988k| 116.3 | 21M| 57 | - |1713 |3091 |1713 |1032 | 41 | 23k|7136 | 0.000000e+00 | -- | Inf
860.25/860.44 c 860s| 34300 | 2619 | 3998k| 116.2 | 21M| 57 | - |1713 |3099 |1713 |1032 | 41 | 23k|7136 | 0.000000e+00 | -- | Inf
861.45/861.61 c 862s| 34400 | 2623 | 4006k| 116.1 | 21M| 57 | - |1713 |3146 |1713 |1032 | 41 | 23k|7136 | 0.000000e+00 | -- | Inf
862.65/862.87 c 863s| 34500 | 2623 | 4015k| 116.1 | 21M| 57 | - |1713 |3172 |1713 |1032 | 41 | 23k|7136 | 0.000000e+00 | -- | Inf
863.95/864.12 c 864s| 34600 | 2621 | 4024k| 116.0 | 21M| 57 | 172 |1713 |3200 |1713 |1032 | 41 | 23k|7136 | 0.000000e+00 | -- | Inf
865.15/865.32 c 865s| 34700 | 2623 | 4032k| 115.9 | 21M| 57 | - |1713 |3204 | 0 | 0 | 41 | 23k|7136 | 0.000000e+00 | -- | Inf
866.95/867.11 c 867s| 34800 | 2629 | 4041k| 115.8 | 21M| 57 | - |1713 |3210 |1713 |1032 | 41 | 23k|7141 | 0.000000e+00 | -- | Inf
868.55/868.75 c 869s| 34900 | 2636 | 4053k| 115.8 | 21M| 57 | - |1713 |3242 |1713 |1032 | 41 | 23k|7141 | 0.000000e+00 | -- | Inf
869.85/870.07 c 870s| 35000 | 2637 | 4062k| 115.7 | 21M| 57 | 259 |1713 |3264 |1713 |1032 | 41 | 23k|7141 | 0.000000e+00 | -- | Inf
871.15/871.37 c 871s| 35100 | 2649 | 4070k| 115.7 | 21M| 57 | - |1713 |3316 | 0 | 0 | 41 | 23k|7141 | 0.000000e+00 | -- | Inf
872.95/873.14 c 873s| 35200 | 2661 | 4083k| 115.7 | 21M| 57 | - |1713 |3295 |1713 |1032 | 41 | 23k|7141 | 0.000000e+00 | -- | Inf
874.75/874.92 c 875s| 35300 | 2665 | 4094k| 115.7 | 21M| 57 | - |1713 |3265 |1713 |1032 | 41 | 23k|7142 | 0.000000e+00 | -- | Inf
875.95/876.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
875.95/876.10 c 876s| 35400 | 2663 | 4102k| 115.6 | 21M| 57 | - |1713 |3344 |1713 |1032 | 41 | 23k|7142 | 0.000000e+00 | -- | Inf
877.66/877.89 c 878s| 35500 | 2676 | 4114k| 115.6 | 21M| 57 | - |1713 |3301 |1713 |1032 | 41 | 23k|7142 | 0.000000e+00 | -- | Inf
879.55/879.79 c 880s| 35600 | 2692 | 4126k| 115.6 | 21M| 57 | - |1713 |3249 |1713 |1032 | 41 | 23k|7146 | 0.000000e+00 | -- | Inf
881.75/881.94 c 882s| 35700 | 2698 | 4141k| 115.7 | 21M| 57 | 265 |1713 |3239 |1713 |1032 | 41 | 24k|7146 | 0.000000e+00 | -- | Inf
883.35/883.52 c 884s| 35800 | 2711 | 4151k| 115.6 | 21M| 57 | 255 |1713 |3247 |1713 |1032 | 41 | 24k|7146 | 0.000000e+00 | -- | Inf
887.05/887.22 c 887s| 35900 | 2726 | 4168k| 115.8 | 21M| 57 | - |1713 |3203 | 0 | 0 | 41 | 24k|7160 | 0.000000e+00 | -- | Inf
888.95/889.16 c 889s| 36000 | 2740 | 4181k| 115.8 | 21M| 57 | - |1713 |3183 | 0 | 0 | 41 | 24k|7160 | 0.000000e+00 | -- | Inf
890.25/890.45 c 890s| 36100 | 2740 | 4190k| 115.7 | 21M| 57 | - |1713 |3187 |1713 |1032 | 41 | 24k|7160 | 0.000000e+00 | -- | Inf
891.65/891.84 c 892s| 36200 | 2749 | 4199k| 115.7 | 21M| 57 | 142 |1713 |3242 |1713 |1032 | 41 | 24k|7160 | 0.000000e+00 | -- | Inf
892.75/892.96 c 893s| 36300 | 2748 | 4207k| 115.6 | 21M| 57 | 199 |1713 |3293 |1713 |1032 | 41 | 24k|7160 | 0.000000e+00 | -- | Inf
893.85/894.01 c 894s| 36400 | 2749 | 4214k| 115.5 | 21M| 57 | 187 |1713 |3342 |1713 |1032 | 41 | 24k|7160 | 0.000000e+00 | -- | Inf
895.45/895.65 c 896s| 36500 | 2751 | 4226k| 115.5 | 21M| 57 | 194 |1713 |3345 |1713 |1032 | 41 | 24k|7160 | 0.000000e+00 | -- | Inf
897.55/897.73 c 898s| 36600 | 2751 | 4240k| 115.5 | 21M| 57 | 210 |1713 |3373 |1713 |1032 | 41 | 24k|7160 | 0.000000e+00 | -- | Inf
899.14/899.34 c 899s| 36700 | 2747 | 4250k| 115.5 | 21M| 57 | 439 |1713 |3331 |1713 |1032 | 41 | 24k|7162 | 0.000000e+00 | -- | Inf
900.75/900.96 c 901s| 36800 | 2753 | 4260k| 115.5 | 22M| 57 | - |1713 |3379 |1713 |1032 | 41 | 24k|7163 | 0.000000e+00 | -- | Inf
902.24/902.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
902.24/902.40 c 902s| 36900 | 2757 | 4270k| 115.4 | 22M| 57 | 193 |1713 |3397 |1713 |1032 | 41 | 24k|7163 | 0.000000e+00 | -- | Inf
903.35/903.56 c 904s| 37000 | 2761 | 4278k| 115.3 | 22M| 57 | 192 |1713 |3437 |1713 |1032 | 41 | 24k|7163 | 0.000000e+00 | -- | Inf
904.85/905.07 c 905s| 37100 | 2757 | 4289k| 115.3 | 22M| 57 | 185 |1713 |3469 |1713 |1032 | 41 | 24k|7163 | 0.000000e+00 | -- | Inf
906.45/906.65 c 907s| 37200 | 2753 | 4300k| 115.3 | 22M| 57 | 188 |1713 |3493 |1713 |1032 | 41 | 24k|7163 | 0.000000e+00 | -- | Inf
907.64/907.87 c 908s| 37300 | 2751 | 4308k| 115.2 | 22M| 57 | - |1713 |3547 |1713 |1032 | 41 | 24k|7163 | 0.000000e+00 | -- | Inf
908.84/909.06 c 909s| 37400 | 2754 | 4317k| 115.1 | 22M| 57 | - |1713 |3624 |1713 |1032 | 41 | 25k|7163 | 0.000000e+00 | -- | Inf
911.24/911.42 c 911s| 37500 | 2770 | 4329k| 115.1 | 22M| 57 | 179 |1713 |3567 |1713 |1032 | 41 | 25k|7168 | 0.000000e+00 | -- | Inf
912.04/912.20 c 912s| 37600 | 2770 | 4334k| 115.0 | 22M| 57 | 149 |1713 |3663 |1713 |1032 | 41 | 25k|7168 | 0.000000e+00 | -- | Inf
914.14/914.32 c 914s| 37700 | 2772 | 4347k| 115.0 | 22M| 57 | 191 |1713 |3636 |1713 |1032 | 41 | 25k|7179 | 0.000000e+00 | -- | Inf
916.34/916.52 c 917s| 37800 | 2780 | 4357k| 115.0 | 22M| 57 | - |1713 |3644 |1713 |1032 | 41 | 25k|7199 | 0.000000e+00 | -- | Inf
918.64/918.80 c 919s| 37900 | 2778 | 4369k| 115.0 | 22M| 57 | - |1713 |3652 |1713 |1032 | 41 | 25k|7216 | 0.000000e+00 | -- | Inf
920.25/920.40 c 920s| 38000 | 2782 | 4378k| 114.9 | 22M| 57 | 184 |1713 |3679 |1713 |1032 | 41 | 25k|7227 | 0.000000e+00 | -- | Inf
922.55/922.76 c 923s| 38100 | 2785 | 4389k| 114.9 | 22M| 57 | 192 |1713 |3552 |1713 |1032 | 41 | 25k|7249 | 0.000000e+00 | -- | Inf
925.15/925.32 c 925s| 38200 | 2787 | 4402k| 115.0 | 22M| 57 | 175 |1713 |3493 |1713 |1032 | 41 | 25k|7270 | 0.000000e+00 | -- | Inf
927.54/927.73 c 928s| 38300 | 2793 | 4413k| 114.9 | 22M| 57 | - |1713 |3486 |1713 |1032 | 41 | 25k|7292 | 0.000000e+00 | -- | Inf
930.14/930.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
930.14/930.36 c 930s| 38400 | 2799 | 4427k| 115.0 | 22M| 57 | - |1713 |3443 |1713 |1032 | 41 | 25k|7300 | 0.000000e+00 | -- | Inf
932.94/933.12 c 933s| 38500 | 2803 | 4441k| 115.0 | 22M| 57 | 178 |1713 |3385 |1713 |1032 | 41 | 25k|7320 | 0.000000e+00 | -- | Inf
934.64/934.81 c 935s| 38600 | 2805 | 4449k| 115.0 | 22M| 57 | 145 |1713 |3425 |1713 |1032 | 41 | 25k|7339 | 0.000000e+00 | -- | Inf
936.74/936.96 c 937s| 38700 | 2806 | 4460k| 115.0 | 22M| 57 | 226 |1713 |3444 |1713 |1032 | 41 | 25k|7357 | 0.000000e+00 | -- | Inf
939.35/939.51 c 940s| 38800 | 2812 | 4472k| 115.0 | 22M| 57 | 151 |1713 |3459 |1713 |1032 | 41 | 25k|7389 | 0.000000e+00 | -- | Inf
940.94/941.18 c 941s| 38900 | 2820 | 4482k| 114.9 | 22M| 57 | 174 |1713 |3481 |1713 |1032 | 41 | 25k|7400 | 0.000000e+00 | -- | Inf
943.04/943.21 c 943s| 39000 | 2817 | 4493k| 114.9 | 22M| 57 | 152 |1713 |3481 |1713 |1032 | 41 | 25k|7424 | 0.000000e+00 | -- | Inf
945.14/945.34 c 945s| 39100 | 2811 | 4505k| 114.9 | 22M| 57 | - |1713 |3528 |1713 |1032 | 41 | 26k|7438 | 0.000000e+00 | -- | Inf
947.13/947.33 c 947s| 39200 | 2805 | 4515k| 114.9 | 22M| 57 | - |1713 |3602 |1713 |1032 | 41 | 26k|7457 | 0.000000e+00 | -- | Inf
948.74/948.96 c 949s| 39300 | 2813 | 4523k| 114.8 | 22M| 57 | 177 |1713 |3611 |1713 |1032 | 41 | 26k|7468 | 0.000000e+00 | -- | Inf
950.03/950.28 c 950s| 39400 | 2814 | 4530k| 114.7 | 22M| 57 | - |1713 |3638 |1713 |1032 | 41 | 26k|7479 | 0.000000e+00 | -- | Inf
951.63/951.86 c 952s| 39500 | 2815 | 4538k| 114.6 | 22M| 57 | - |1713 |3688 | 0 | 0 | 41 | 26k|7497 | 0.000000e+00 | -- | Inf
953.23/953.47 c 953s| 39600 | 2813 | 4548k| 114.6 | 22M| 57 | 102 |1713 |3697 |1713 |1032 | 41 | 26k|7507 | 0.000000e+00 | -- | Inf
955.34/955.50 c 956s| 39700 | 2810 | 4557k| 114.5 | 22M| 57 | - |1713 |3723 |1713 |1032 | 41 | 26k|7528 | 0.000000e+00 | -- | Inf
956.84/957.04 c 957s| 39800 | 2816 | 4566k| 114.4 | 22M| 57 | - |1713 |3720 |1713 |1032 | 41 | 26k|7539 | 0.000000e+00 | -- | Inf
958.93/959.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
958.93/959.12 c 959s| 39900 | 2818 | 4577k| 114.4 | 22M| 57 | 263 |1713 |3732 |1713 |1032 | 41 | 26k|7559 | 0.000000e+00 | -- | Inf
961.63/961.80 c 962s| 40000 | 2821 | 4590k| 114.5 | 22M| 57 | - |1713 |3786 |1713 |1032 | 41 | 26k|7585 | 0.000000e+00 | -- | Inf
963.33/963.58 c 964s| 40100 | 2834 | 4599k| 114.4 | 22M| 57 | 70 |1713 |3769 |1713 |1032 | 41 | 26k|7603 | 0.000000e+00 | -- | Inf
964.94/965.17 c 965s| 40200 | 2831 | 4608k| 114.3 | 22M| 57 | 164 |1713 |3832 |1713 |1032 | 41 | 26k|7614 | 0.000000e+00 | -- | Inf
967.63/967.87 c 968s| 40300 | 2839 | 4620k| 114.4 | 22M| 57 | 177 |1713 |3810 |1713 |1032 | 41 | 26k|7638 | 0.000000e+00 | -- | Inf
969.43/969.68 c 970s| 40400 | 2837 | 4630k| 114.3 | 22M| 57 | 173 |1713 |3774 |1713 |1032 | 41 | 26k|7649 | 0.000000e+00 | -- | Inf
971.73/971.91 c 972s| 40500 | 2836 | 4642k| 114.3 | 22M| 57 | - |1713 |3786 |1713 |1032 | 41 | 26k|7668 | 0.000000e+00 | -- | Inf
973.64/973.85 c 974s| 40600 | 2846 | 4652k| 114.3 | 22M| 57 | 200 |1713 |3699 |1713 |1032 | 41 | 26k|7689 | 0.000000e+00 | -- | Inf
975.74/975.94 c 976s| 40700 | 2848 | 4663k| 114.3 | 22M| 57 | - |1713 |3707 |1713 |1032 | 41 | 26k|7710 | 0.000000e+00 | -- | Inf
977.84/978.04 c 978s| 40800 | 2868 | 4674k| 114.3 | 22M| 57 | - |1713 |3731 |1713 |1032 | 41 | 27k|7722 | 0.000000e+00 | -- | Inf
979.64/979.84 c 980s| 40900 | 2865 | 4683k| 114.2 | 22M| 57 | - |1713 |3772 | 0 | 0 | 41 | 27k|7737 | 0.000000e+00 | -- | Inf
983.04/983.23 c 983s| 41000 | 2875 | 4699k| 114.3 | 22M| 57 | 249 |1713 |3649 |1713 |1032 | 41 | 27k|7760 | 0.000000e+00 | -- | Inf
985.54/985.74 c 986s| 41100 | 2890 | 4710k| 114.3 | 22M| 57 | - |1713 |3643 |1713 |1032 | 41 | 27k|7780 | 0.000000e+00 | -- | Inf
987.54/987.76 c 988s| 41200 | 2902 | 4721k| 114.3 | 22M| 57 | 206 |1713 |3621 |1713 |1032 | 41 | 27k|7803 | 0.000000e+00 | -- | Inf
989.84/990.05 c 990s| 41300 | 2901 | 4733k| 114.3 | 22M| 57 | 216 |1713 |3630 |1713 |1032 | 41 | 27k|7824 | 0.000000e+00 | -- | Inf
990.94/991.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
990.94/991.10 c 991s| 41400 | 2911 | 4738k| 114.2 | 22M| 57 | - |1713 |3668 |1713 |1032 | 41 | 27k|7834 | 0.000000e+00 | -- | Inf
991.83/992.04 c 992s| 41500 | 2905 | 4744k| 114.0 | 22M| 57 | - |1713 |3721 |1713 |1032 | 41 | 27k|7841 | 0.000000e+00 | -- | Inf
993.13/993.36 c 993s| 41600 | 2907 | 4750k| 113.9 | 22M| 57 | - |1713 |3744 |1713 |1032 | 41 | 27k|7864 | 0.000000e+00 | -- | Inf
994.73/994.93 c 995s| 41700 | 2903 | 4757k| 113.8 | 22M| 57 | 163 |1713 |3792 |1713 |1032 | 41 | 27k|7888 | 0.000000e+00 | -- | Inf
995.83/996.03 c 996s| 41800 | 2899 | 4763k| 113.7 | 22M| 57 | - |1713 |3861 |1713 |1032 | 41 | 27k|7894 | 0.000000e+00 | -- | Inf
997.83/998.00 c 998s| 41900 | 2907 | 4773k| 113.6 | 22M| 57 | 223 |1713 |3843 |1713 |1032 | 41 | 27k|7914 | 0.000000e+00 | -- | Inf
999.43/999.65 c 1000s| 42000 | 2904 | 4781k| 113.6 | 22M| 57 | - |1713 |3866 |1713 |1032 | 41 | 27k|7933 | 0.000000e+00 | -- | Inf
1001.43/1001.66 c 1002s| 42100 | 2913 | 4792k| 113.6 | 22M| 57 | - |1713 |3870 |1713 |1032 | 41 | 27k|7949 | 0.000000e+00 | -- | Inf
1003.53/1003.76 c 1004s| 42200 | 2918 | 4803k| 113.6 | 22M| 57 | - |1713 |3874 |1713 |1032 | 41 | 27k|7968 | 0.000000e+00 | -- | Inf
1005.53/1005.70 c 1006s| 42300 | 2919 | 4812k| 113.5 | 23M| 57 | - |1713 |3920 |1713 |1032 | 41 | 27k|7984 | 0.000000e+00 | -- | Inf
1007.63/1007.82 c 1008s| 42400 | 2926 | 4824k| 113.5 | 22M| 57 | - |1713 |3893 | 0 | 0 | 41 | 28k|8002 | 0.000000e+00 | -- | Inf
1009.73/1009.94 c 1010s| 42500 | 2921 | 4834k| 113.5 | 23M| 57 | 183 |1713 |3930 |1713 |1032 | 41 | 28k|8034 | 0.000000e+00 | -- | Inf
1010.53/1010.75 c 1011s| 42600 | 2923 | 4839k| 113.3 | 23M| 57 | - |1713 |3962 |1713 |1032 | 41 | 28k|8034 | 0.000000e+00 | -- | Inf
1011.94/1012.17 c 1012s| 42700 | 2921 | 4846k| 113.2 | 23M| 57 | - |1713 |4032 | 0 | 0 | 41 | 28k|8050 | 0.000000e+00 | -- | Inf
1013.43/1013.60 c 1014s| 42800 | 2924 | 4854k| 113.1 | 23M| 57 | - |1713 |4062 |1713 |1032 | 41 | 28k|8063 | 0.000000e+00 | -- | Inf
1015.42/1015.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1015.42/1015.65 c 1016s| 42900 | 2919 | 4862k| 113.1 | 23M| 57 | 231 |1713 |4074 |1713 |1032 | 41 | 28k|8090 | 0.000000e+00 | -- | Inf
1018.82/1019.09 c 1019s| 43000 | 2941 | 4879k| 113.2 | 23M| 57 | - |1713 |3963 |1713 |1032 | 41 | 28k|8109 | 0.000000e+00 | -- | Inf
1021.33/1021.53 c 1022s| 43100 | 2939 | 4893k| 113.3 | 23M| 57 | 186 |1713 |3980 |1713 |1032 | 41 | 28k|8128 | 0.000000e+00 | -- | Inf
1023.52/1023.75 c 1024s| 43200 | 2943 | 4902k| 113.2 | 23M| 57 | - |1713 |4040 |1713 |1032 | 41 | 28k|8157 | 0.000000e+00 | -- | Inf
1025.23/1025.49 c 1025s| 43300 | 2946 | 4912k| 113.2 | 23M| 57 | 175 |1713 |4039 |1713 |1032 | 41 | 28k|8171 | 0.000000e+00 | -- | Inf
1027.23/1027.41 c 1027s| 43400 | 2948 | 4922k| 113.2 | 23M| 57 | 237 |1713 |4040 |1713 |1032 | 41 | 28k|8191 | 0.000000e+00 | -- | Inf
1028.72/1028.91 c 1029s| 43500 | 2960 | 4930k| 113.1 | 23M| 57 | - |1713 |4118 |1713 |1032 | 41 | 28k|8203 | 0.000000e+00 | -- | Inf
1030.33/1030.53 c 1031s| 43600 | 2958 | 4938k| 113.0 | 23M| 57 | 152 |1713 |4167 |1713 |1032 | 41 | 28k|8224 | 0.000000e+00 | -- | Inf
1032.42/1032.66 c 1033s| 43700 | 2970 | 4950k| 113.0 | 23M| 57 | - |1713 |4122 |1713 |1032 | 41 | 28k|8250 | 0.000000e+00 | -- | Inf
1033.83/1034.09 c 1034s| 43800 | 2967 | 4956k| 112.9 | 23M| 57 | - |1713 |4146 |1713 |1032 | 41 | 28k|8267 | 0.000000e+00 | -- | Inf
1035.72/1035.91 c 1036s| 43900 | 2968 | 4965k| 112.8 | 23M| 57 | - |1713 |4183 |1713 |1032 | 41 | 29k|8289 | 0.000000e+00 | -- | Inf
1037.52/1037.77 c 1038s| 44000 | 2974 | 4975k| 112.8 | 23M| 57 | - |1713 |4111 |1713 |1032 | 41 | 29k|8300 | 0.000000e+00 | -- | Inf
1040.32/1040.56 c 1041s| 44100 | 3004 | 4988k| 112.9 | 23M| 57 | - |1713 |4017 |1713 |1032 | 41 | 29k|8321 | 0.000000e+00 | -- | Inf
1042.83/1043.08 c 1043s| 44200 | 3010 | 5001k| 112.9 | 23M| 57 | 190 |1713 |4024 |1713 |1032 | 41 | 29k|8345 | 0.000000e+00 | -- | Inf
1044.32/1044.55 c 1045s| 44300 | 3010 | 5010k| 112.8 | 23M| 57 | - |1713 |4035 |1713 |1032 | 41 | 29k|8353 | 0.000000e+00 | -- | Inf
1045.72/1045.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1045.72/1045.96 c 1046s| 44400 | 3012 | 5017k| 112.7 | 23M| 57 | 165 |1713 |4061 |1713 |1032 | 41 | 29k|8367 | 0.000000e+00 | -- | Inf
1047.92/1048.14 c 1048s| 44500 | 3022 | 5027k| 112.7 | 23M| 57 | 154 |1713 |4023 |1713 |1032 | 41 | 29k|8389 | 0.000000e+00 | -- | Inf
1049.82/1050.02 c 1050s| 44600 | 3022 | 5036k| 112.7 | 23M| 57 | - |1713 |4048 |1713 |1032 | 41 | 29k|8413 | 0.000000e+00 | -- | Inf
1051.42/1051.64 c 1052s| 44700 | 3026 | 5045k| 112.6 | 23M| 57 | - |1713 |4095 |1713 |1032 | 41 | 29k|8425 | 0.000000e+00 | -- | Inf
1052.92/1053.14 c 1053s| 44800 | 3024 | 5054k| 112.6 | 23M| 57 | 200 |1713 |4120 |1713 |1032 | 41 | 29k|8436 | 0.000000e+00 | -- | Inf
1054.83/1055.02 c 1055s| 44900 | 3022 | 5063k| 112.5 | 23M| 57 | - |1713 |4153 |1713 |1032 | 41 | 29k|8454 | 0.000000e+00 | -- | Inf
1056.22/1056.47 c 1056s| 45000 | 3018 | 5071k| 112.4 | 23M| 57 | - |1713 |4180 | 0 | 0 | 41 | 29k|8467 | 0.000000e+00 | -- | Inf
1058.42/1058.66 c 1059s| 45100 | 3026 | 5082k| 112.4 | 23M| 57 | - |1713 |4083 |1713 |1032 | 41 | 29k|8484 | 0.000000e+00 | -- | Inf
1061.92/1062.17 c 1062s| 45200 | 3036 | 5097k| 112.5 | 23M| 57 | 227 |1713 |3997 |1713 |1032 | 41 | 29k|8522 | 0.000000e+00 | -- | Inf
1063.11/1063.38 c 1063s| 45300 | 3044 | 5105k| 112.4 | 23M| 57 | 132 |1713 |4034 |1713 |1032 | 41 | 29k|8524 | 0.000000e+00 | -- | Inf
1065.02/1065.20 c 1065s| 45400 | 3052 | 5113k| 112.4 | 23M| 57 | 181 |1713 |4052 |1713 |1032 | 41 | 29k|8549 | 0.000000e+00 | -- | Inf
1067.12/1067.37 c 1067s| 45500 | 3052 | 5124k| 112.4 | 23M| 57 | 221 |1713 |4027 |1713 |1032 | 41 | 29k|8574 | 0.000000e+00 | -- | Inf
1068.92/1069.12 c 1069s| 45600 | 3058 | 5134k| 112.3 | 23M| 57 | 178 |1713 |4050 |1713 |1032 | 41 | 29k|8590 | 0.000000e+00 | -- | Inf
1071.52/1071.71 c 1072s| 45700 | 3061 | 5146k| 112.4 | 23M| 57 | - |1713 |4037 | 0 | 0 | 41 | 30k|8622 | 0.000000e+00 | -- | Inf
1072.51/1072.71 c 1073s| 45800 | 3063 | 5152k| 112.2 | 23M| 57 | 196 |1713 |4069 |1713 |1032 | 41 | 30k|8631 | 0.000000e+00 | -- | Inf
1075.12/1075.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1075.12/1075.33 c 1075s| 45900 | 3064 | 5164k| 112.3 | 23M| 57 | 225 |1713 |4090 |1713 |1032 | 41 | 30k|8663 | 0.000000e+00 | -- | Inf
1077.22/1077.42 c 1077s| 46000 | 3070 | 5175k| 112.3 | 23M| 57 | 104 |1713 |4118 |1713 |1032 | 41 | 30k|8678 | 0.000000e+00 | -- | Inf
1079.61/1079.83 c 1080s| 46100 | 3089 | 5188k| 112.3 | 23M| 57 | 169 |1713 |4112 |1713 |1032 | 41 | 30k|8693 | 0.000000e+00 | -- | Inf
1082.32/1082.54 c 1083s| 46200 | 3089 | 5201k| 112.3 | 23M| 57 | - |1713 |4071 |1713 |1032 | 41 | 30k|8720 | 0.000000e+00 | -- | Inf
1085.72/1085.96 c 1086s| 46300 | 3112 | 5217k| 112.4 | 23M| 57 | 138 |1713 |3985 |1713 |1032 | 41 | 30k|8744 | 0.000000e+00 | -- | Inf
1088.92/1089.16 c 1089s| 46400 | 3135 | 5231k| 112.5 | 23M| 57 | 192 |1713 |3918 |1713 |1032 | 41 | 30k|8764 | 0.000000e+00 | -- | Inf
1090.41/1090.68 c 1091s| 46500 | 3146 | 5240k| 112.4 | 23M| 57 | 173 |1713 |3921 |1713 |1032 | 41 | 30k|8771 | 0.000000e+00 | -- | Inf
1092.32/1092.52 c 1093s| 46600 | 3152 | 5248k| 112.4 | 23M| 57 | - |1713 |3980 |1713 |1032 | 41 | 30k|8797 | 0.000000e+00 | -- | Inf
1093.61/1093.89 c 1094s| 46700 | 3153 | 5255k| 112.3 | 23M| 57 | 184 |1713 |4043 |1713 |1032 | 41 | 30k|8816 | 0.000000e+00 | -- | Inf
1095.91/1096.10 c 1096s| 46800 | 3155 | 5266k| 112.3 | 23M| 57 | - |1713 |4045 |1713 |1032 | 41 | 30k|8831 | 0.000000e+00 | -- | Inf
1098.31/1098.56 c 1099s| 46900 | 3164 | 5277k| 112.3 | 23M| 57 | 240 |1713 |4081 |1713 |1032 | 41 | 30k|8860 | 0.000000e+00 | -- | Inf
1100.52/1100.78 c 1101s| 47000 | 3178 | 5288k| 112.3 | 23M| 57 | - |1713 |4073 |1713 |1032 | 41 | 30k|8869 | 0.000000e+00 | -- | Inf
1102.71/1102.91 c 1103s| 47100 | 3186 | 5299k| 112.3 | 23M| 57 | 202 |1713 |4051 |1713 |1032 | 41 | 31k|8887 | 0.000000e+00 | -- | Inf
1104.41/1104.68 c 1105s| 47200 | 3187 | 5310k| 112.3 | 23M| 57 | - |1713 |4044 |1713 |1032 | 41 | 31k|8893 | 0.000000e+00 | -- | Inf
1107.62/1107.86 c 1108s| 47300 | 3187 | 5324k| 112.3 | 23M| 57 | - |1713 |4000 |1713 |1032 | 41 | 31k|8929 | 0.000000e+00 | -- | Inf
1109.82/1110.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1109.82/1110.04 c 1110s| 47400 | 3195 | 5334k| 112.3 | 23M| 57 | - |1713 |4005 |1713 |1032 | 41 | 31k|8949 | 0.000000e+00 | -- | Inf
1111.61/1111.82 c 1112s| 47500 | 3194 | 5345k| 112.3 | 23M| 57 | - |1713 |4017 |1713 |1032 | 41 | 31k|8961 | 0.000000e+00 | -- | Inf
1114.41/1114.61 c 1115s| 47600 | 3211 | 5358k| 112.3 | 23M| 57 | 206 |1713 |3987 |1713 |1032 | 41 | 31k|8990 | 0.000000e+00 | -- | Inf
1115.91/1116.12 c 1116s| 47700 | 3216 | 5368k| 112.3 | 24M| 57 | 180 |1713 |4060 |1713 |1032 | 41 | 31k|8991 | 0.000000e+00 | -- | Inf
1117.41/1117.67 c 1118s| 47800 | 3222 | 5377k| 112.2 | 24M| 57 | 158 |1713 |4056 |1713 |1032 | 41 | 31k|9003 | 0.000000e+00 | -- | Inf
1119.11/1119.37 c 1119s| 47900 | 3223 | 5385k| 112.2 | 24M| 57 | 177 |1713 |4121 |1713 |1032 | 41 | 31k|9019 | 0.000000e+00 | -- | Inf
1121.41/1121.61 c 1122s| 48000 | 3225 | 5395k| 112.2 | 24M| 57 | - |1713 |4124 |1713 |1032 | 41 | 31k|9043 | 0.000000e+00 | -- | Inf
1123.41/1123.63 c 1124s| 48100 | 3225 | 5408k| 112.2 | 24M| 57 | - |1713 |4159 |1713 |1032 | 41 | 31k|9048 | 0.000000e+00 | -- | Inf
1124.61/1124.85 c 1125s| 48200 | 3223 | 5416k| 112.1 | 24M| 57 | - |1713 |4168 |1713 |1032 | 41 | 31k|9050 | 0.000000e+00 | -- | Inf
1127.31/1127.59 c 1128s| 48300 | 3235 | 5430k| 112.2 | 24M| 57 | - |1713 |4056 |1713 |1032 | 41 | 31k|9067 | 0.000000e+00 | -- | Inf
1128.90/1129.16 c 1129s| 48400 | 3237 | 5441k| 112.2 | 24M| 57 | - |1713 |4019 |1713 |1032 | 41 | 31k|9068 | 0.000000e+00 | -- | Inf
1130.51/1130.70 c 1131s| 48500 | 3245 | 5452k| 112.2 | 24M| 57 | 182 |1713 |3958 |1713 |1032 | 41 | 31k|9069 | 0.000000e+00 | -- | Inf
1131.91/1132.12 c 1132s| 48600 | 3247 | 5460k| 112.1 | 24M| 57 | 185 |1713 |3984 |1713 |1032 | 41 | 31k|9072 | 0.000000e+00 | -- | Inf
1132.91/1133.11 c 1133s| 48700 | 3243 | 5467k| 112.0 | 24M| 57 | 194 |1713 |4024 |1713 |1032 | 41 | 32k|9072 | 0.000000e+00 | -- | Inf
1134.41/1134.61 c 1135s| 48800 | 3236 | 5478k| 112.0 | 24M| 57 | 223 |1713 |4037 |1713 |1032 | 41 | 32k|9072 | 0.000000e+00 | -- | Inf
1135.71/1135.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1135.71/1135.92 c 1136s| 48900 | 3238 | 5487k| 112.0 | 24M| 57 | 179 |1713 |4081 |1713 |1032 | 41 | 32k|9072 | 0.000000e+00 | -- | Inf
1136.91/1137.17 c 1137s| 49000 | 3241 | 5494k| 111.9 | 24M| 57 | 159 |1713 |4183 |1713 |1032 | 41 | 32k|9075 | 0.000000e+00 | -- | Inf
1141.00/1141.25 c 1141s| 49100 | 3247 | 5505k| 111.9 | 24M| 57 | - |1713 |4125 |1713 |1032 | 41 | 32k|9122 | 0.000000e+00 | -- | Inf
1142.11/1142.32 c 1142s| 49200 | 3249 | 5512k| 111.8 | 24M| 57 | 176 |1713 |4146 |1713 |1032 | 41 | 32k|9122 | 0.000000e+00 | -- | Inf
1143.20/1143.41 c 1143s| 49300 | 3248 | 5520k| 111.7 | 24M| 57 | - |1713 |4199 |1713 |1032 | 41 | 32k|9122 | 0.000000e+00 | -- | Inf
1144.40/1144.62 c 1145s| 49400 | 3245 | 5528k| 111.7 | 24M| 57 | - |1713 |4238 |1713 |1032 | 41 | 32k|9123 | 0.000000e+00 | -- | Inf
1146.12/1146.32 c 1146s| 49500 | 3248 | 5538k| 111.7 | 24M| 57 | - |1713 |4262 | 0 | 0 | 41 | 32k|9136 | 0.000000e+00 | -- | Inf
1147.31/1147.52 c 1148s| 49600 | 3249 | 5545k| 111.6 | 24M| 57 | - |1713 |4307 |1713 |1032 | 41 | 32k|9139 | 0.000000e+00 | -- | Inf
1149.50/1149.75 c 1150s| 49700 | 3252 | 5557k| 111.6 | 24M| 57 | - |1713 |4241 |1713 |1032 | 41 | 32k|9149 | 0.000000e+00 | -- | Inf
1151.20/1151.48 c 1151s| 49800 | 3266 | 5568k| 111.6 | 24M| 57 | - |1713 |4228 |1713 |1032 | 41 | 32k|9154 | 0.000000e+00 | -- | Inf
1153.10/1153.35 c 1153s| 49900 | 3274 | 5580k| 111.6 | 24M| 57 | 218 |1713 |4219 |1713 |1032 | 41 | 32k|9158 | 0.000000e+00 | -- | Inf
1155.01/1155.26 c 1155s| 50000 | 3285 | 5592k| 111.6 | 24M| 57 | 221 |1713 |4206 |1713 |1032 | 41 | 32k|9161 | 0.000000e+00 | -- | Inf
1159.51/1159.73 c 1160s| 50100 | 3302 | 5603k| 111.6 | 24M| 57 | - |1713 |4174 |1713 |1032 | 41 | 33k|9211 | 0.000000e+00 | -- | Inf
1160.41/1160.61 c 1161s| 50200 | 3298 | 5609k| 111.5 | 24M| 57 | - |1713 |4231 |1713 |1032 | 41 | 33k|9211 | 0.000000e+00 | -- | Inf
1161.80/1162.02 c 1162s| 50300 | 3306 | 5619k| 111.5 | 24M| 57 | 183 |1713 |4198 |1713 |1032 | 41 | 33k|9211 | 0.000000e+00 | -- | Inf
1163.20/1163.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1163.20/1163.46 c 1163s| 50400 | 3308 | 5629k| 111.5 | 24M| 57 | 170 |1713 |4219 |1713 |1032 | 41 | 33k|9211 | 0.000000e+00 | -- | Inf
1165.11/1165.36 c 1165s| 50500 | 3321 | 5642k| 111.5 | 24M| 57 | 319 |1713 |4187 |1713 |1032 | 41 | 33k|9211 | 0.000000e+00 | -- | Inf
1166.80/1167.09 c 1167s| 50600 | 3331 | 5652k| 111.5 | 24M| 57 | - |1713 |4188 |1713 |1032 | 41 | 33k|9218 | 0.000000e+00 | -- | Inf
1168.71/1168.91 c 1169s| 50700 | 3339 | 5665k| 111.5 | 24M| 57 | 138 |1713 |4134 |1713 |1032 | 41 | 33k|9219 | 0.000000e+00 | -- | Inf
1170.40/1170.68 c 1171s| 50800 | 3352 | 5677k| 111.5 | 24M| 57 | 141 |1713 |4111 |1713 |1032 | 41 | 33k|9220 | 0.000000e+00 | -- | Inf
1171.50/1171.72 c 1172s| 50900 | 3352 | 5684k| 111.4 | 24M| 57 | - |1713 |4168 |1713 |1032 | 41 | 33k|9220 | 0.000000e+00 | -- | Inf
1173.31/1173.53 c 1174s| 51000 | 3346 | 5696k| 111.5 | 24M| 57 | - |1713 |4222 |1713 |1032 | 41 | 33k|9221 | 0.000000e+00 | -- | Inf
1174.61/1174.82 c 1175s| 51100 | 3349 | 5705k| 111.4 | 24M| 57 | - |1713 |4225 |1713 |1032 | 41 | 33k|9221 | 0.000000e+00 | -- | Inf
1176.00/1176.20 c 1176s| 51200 | 3350 | 5714k| 111.4 | 24M| 57 | 215 |1713 |4276 |1713 |1032 | 41 | 33k|9221 | 0.000000e+00 | -- | Inf
1180.60/1180.86 c 1181s| 51300 | 3356 | 5727k| 111.4 | 24M| 57 | - |1713 |4259 |1713 |1032 | 41 | 33k|9267 | 0.000000e+00 | -- | Inf
1182.30/1182.56 c 1183s| 51400 | 3358 | 5738k| 111.4 | 24M| 57 | 173 |1713 |4265 |1713 |1032 | 41 | 34k|9267 | 0.000000e+00 | -- | Inf
1183.80/1184.01 c 1184s| 51500 | 3366 | 5747k| 111.4 | 24M| 57 | - |1713 |4279 |1713 |1032 | 41 | 34k|9271 | 0.000000e+00 | -- | Inf
1185.90/1186.11 c 1186s| 51600 | 3377 | 5762k| 111.5 | 24M| 57 | 157 |1713 |4243 |1713 |1032 | 41 | 34k|9271 | 0.000000e+00 | -- | Inf
1187.40/1187.67 c 1188s| 51700 | 3375 | 5773k| 111.5 | 24M| 57 | - |1713 |4269 |1713 |1032 | 41 | 34k|9271 | 0.000000e+00 | -- | Inf
1189.10/1189.33 c 1189s| 51800 | 3373 | 5785k| 111.5 | 24M| 57 | 188 |1713 |4287 |1713 |1032 | 41 | 34k|9271 | 0.000000e+00 | -- | Inf
1190.80/1191.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1190.80/1191.05 c 1191s| 51900 | 3371 | 5797k| 111.5 | 24M| 57 | 217 |1713 |4289 |1713 |1032 | 41 | 34k|9271 | 0.000000e+00 | -- | Inf
1192.10/1192.35 c 1192s| 52000 | 3372 | 5807k| 111.5 | 24M| 57 | - |1713 |4289 |1713 |1032 | 41 | 34k|9271 | 0.000000e+00 | -- | Inf
1193.60/1193.86 c 1194s| 52100 | 3374 | 5817k| 111.4 | 24M| 57 | - |1713 |4295 |1713 |1032 | 41 | 34k|9271 | 0.000000e+00 | -- | Inf
1195.39/1195.68 c 1196s| 52200 | 3380 | 5829k| 111.5 | 24M| 57 | - |1713 |4277 |1713 |1032 | 41 | 34k|9274 | 0.000000e+00 | -- | Inf
1196.40/1196.63 c 1197s| 52300 | 3379 | 5836k| 111.4 | 24M| 57 | - |1713 |4292 | 0 | 0 | 41 | 34k|9274 | 0.000000e+00 | -- | Inf
1197.20/1197.47 c 1197s| 52400 | 3381 | 5842k| 111.3 | 24M| 57 | 196 |1713 |4329 |1713 |1032 | 41 | 34k|9274 | 0.000000e+00 | -- | Inf
1198.40/1198.69 c 1199s| 52500 | 3382 | 5850k| 111.2 | 24M| 57 | 183 |1713 |4346 |1713 |1032 | 41 | 34k|9274 | 0.000000e+00 | -- | Inf
1199.59/1199.83 c 1200s| 52600 | 3383 | 5858k| 111.2 | 24M| 57 | 190 |1713 |4358 |1713 |1032 | 41 | 34k|9274 | 0.000000e+00 | -- | Inf
1200.69/1200.93 c 1201s| 52700 | 3381 | 5866k| 111.1 | 24M| 57 | 164 |1713 |4348 |1713 |1032 | 41 | 34k|9274 | 0.000000e+00 | -- | Inf
1202.50/1202.74 c 1203s| 52800 | 3394 | 5878k| 111.1 | 24M| 57 | 215 |1713 |4311 |1713 |1032 | 41 | 34k|9274 | 0.000000e+00 | -- | Inf
1203.80/1204.08 c 1204s| 52900 | 3391 | 5887k| 111.1 | 24M| 57 | 224 |1713 |4326 |1713 |1032 | 41 | 34k|9274 | 0.000000e+00 | -- | Inf
1204.80/1205.02 c 1205s| 53000 | 3403 | 5893k| 111.0 | 24M| 57 | 149 |1713 |4383 |1713 |1032 | 41 | 34k|9275 | 0.000000e+00 | -- | Inf
1206.61/1206.86 c 1207s| 53100 | 3408 | 5903k| 111.0 | 24M| 57 | 212 |1713 |4371 |1713 |1032 | 41 | 34k|9284 | 0.000000e+00 | -- | Inf
1207.89/1208.14 c 1208s| 53200 | 3408 | 5912k| 110.9 | 24M| 57 | - |1713 |4401 |1713 |1032 | 41 | 35k|9284 | 0.000000e+00 | -- | Inf
1209.10/1209.32 c 1209s| 53300 | 3408 | 5920k| 110.9 | 24M| 57 | 152 |1713 |4437 |1713 |1032 | 41 | 35k|9284 | 0.000000e+00 | -- | Inf
1211.00/1211.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1211.00/1211.20 c 1211s| 53400 | 3434 | 5933k| 110.9 | 25M| 57 | 212 |1713 |4376 |1713 |1032 | 41 | 35k|9284 | 0.000000e+00 | -- | Inf
1212.70/1212.94 c 1213s| 53500 | 3433 | 5945k| 110.9 | 25M| 57 | 211 |1713 |4404 |1713 |1032 | 41 | 35k|9285 | 0.000000e+00 | -- | Inf
1214.00/1214.23 c 1214s| 53600 | 3440 | 5953k| 110.9 | 25M| 57 | 195 |1713 |4454 |1713 |1032 | 41 | 35k|9285 | 0.000000e+00 | -- | Inf
1216.30/1216.58 c 1217s| 53700 | 3448 | 5966k| 110.9 | 25M| 57 | - |1713 |4362 |1713 |1032 | 41 | 35k|9293 | 0.000000e+00 | -- | Inf
1217.39/1217.65 c 1218s| 53800 | 3454 | 5973k| 110.8 | 25M| 57 | 170 |1713 |4379 |1713 |1032 | 41 | 35k|9293 | 0.000000e+00 | -- | Inf
1218.50/1218.79 c 1219s| 53900 | 3450 | 5981k| 110.8 | 25M| 57 | - |1713 |4371 |1713 |1032 | 41 | 35k|9293 | 0.000000e+00 | -- | Inf
1219.00/1219.21 c *1219s| 53945 | 0 | 5984k| 110.7 | 12M| 57 | - |1713 |4393 |1713 |1032 | 41 | 35k|9293 | 0.000000e+00 | 0.000000e+00 | 0.00%
1219.00/1219.22 c
1219.00/1219.22 c SCIP Status : problem is solved [optimal solution found]
1219.00/1219.22 c Solving Time (sec) : 1219.22
1219.00/1219.22 c Solving Nodes : 53945
1219.00/1219.22 c Primal Bound : +0.00000000000000e+00 (1 solutions)
1219.00/1219.22 c Dual Bound : +0.00000000000000e+00
1219.00/1219.22 c Gap : 0.00 %
1219.00/1219.22 s SATISFIABLE
1219.00/1219.22 v -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 x1731 -x1730 -x1729 x1728 x1727 x1726 x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719
1219.00/1219.22 v -x1718 -x1717 x1716 -x1715 -x1714 -x1713 -x1712 x1711 -x1710 -x1709 x1708 -x1707 -x1706 -x1705 x1704 -x1703 x1702 x1701 -x1700
1219.00/1219.22 v -x1699 x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 x1691 -x1690 -x1689 x1688 -x1687 -x1686 -x1685 -x1684 x1683 -x1682
1219.00/1219.22 v x1681 -x1680 -x1679 -x1678 -x1677 x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 x1668 x1667 -x1666 -x1665 -x1664 -x1663
1219.00/1219.22 v x1662 x1661 -x1660 -x1659 x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 x1650 -x1649 -x1648 -x1647 -x1646 x1645
1219.00/1219.22 v -x1644 -x1643 x1642 -x1641 -x1640 x1639 x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 x1627 x1626
1219.00/1219.22 v -x1625 -x1624 -x1623 x1622 -x1621 -x1620 x1619 -x1618 x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 x1610 -x1609 x1608 -x1607
1219.00/1219.22 v -x1606 -x1605 -x1604 x1603 -x1602 x1601 -x1600 -x1599 x1598 -x1597 x1596 x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589
1219.00/1219.22 v -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 x1580 x1579 x1578 -x1577 -x1576 -x1575 -x1574 -x1573 x1572 x1571 x1570
1219.00/1219.22 v -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 x1556 x1555 x1554 x1553 -x1552
1219.00/1219.22 v -x1551 -x1550 x1549 -x1548 -x1547 -x1546 x1545 -x1544 -x1543 -x1542 x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533
1219.00/1219.22 v -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516
1219.00/1219.22 v -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498
1219.00/1219.22 v -x1497 -x1496 -x1495 -x1494 -x1493 x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480
1219.00/1219.22 v -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 x1462
1219.00/1219.22 v -x1461 -x1460 -x1459 -x1458 x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444
1219.00/1219.22 v -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 x1427 -x1426
1219.00/1219.22 v -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408
1219.00/1219.22 v -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390
1219.00/1219.22 v -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372
1219.00/1219.22 v x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 x1354
1219.00/1219.22 v -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 x1339 -x1338 -x1337 -x1336
1219.00/1219.22 v -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318
1219.00/1219.22 v -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 x1300
1219.00/1219.22 v -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282
1219.00/1219.22 v -x1281 -x1280 -x1279 x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264
1219.00/1219.22 v -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246
1219.00/1219.22 v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 x1230 -x1229 -x1228
1219.00/1219.22 v -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210
1219.00/1219.22 v -x1209 -x1208 -x1207 x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 x1192
1219.00/1219.22 v -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174
1219.00/1219.22 v -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 x1156
1219.00/1219.22 v -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138
1219.00/1219.22 v -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 x1122 -x1121 -x1120
1219.00/1219.22 v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 x1105 -x1104 -x1103 -x1102
1219.00/1219.22 v -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 x1088 -x1087 -x1086 -x1085 -x1084
1219.00/1219.22 v -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066
1219.00/1219.22 v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 x1052 -x1051 -x1050 -x1049 -x1048
1219.00/1219.22 v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030
1219.00/1219.22 v x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012
1219.00/1219.22 v x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993
1219.00/1219.22 v -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 x973 -x972
1219.00/1219.22 v -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951
1219.00/1219.22 v -x950 -x949 -x948 -x947 -x946 x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930
1219.00/1219.22 v -x929 -x928 -x927 x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909
1219.00/1219.22 v -x908 -x907 -x906 -x905 x904 -x903 -x902 -x901 x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888
1219.00/1219.22 v -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 x869 -x868 -x867
1219.00/1219.22 v -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846
1219.00/1219.22 v -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825
1219.00/1219.22 v -x824 -x823 -x822 x821 -x820 -x819 x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804
1219.00/1219.22 v -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 x789 -x788 -x787 -x786 -x785 -x784 -x783
1219.00/1219.22 v -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762
1219.00/1219.22 v -x761 -x760 x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 x741
1219.00/1219.22 v -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720
1219.00/1219.22 v -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699
1219.00/1219.22 v -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 x678
1219.00/1219.22 v -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657
1219.00/1219.22 v -x656 -x655 -x654 -x653 -x652 -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636
1219.00/1219.22 v -x635 x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 x618 -x617 -x616 -x615
1219.00/1219.22 v -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 x596 -x595 -x594
1219.00/1219.22 v -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573
1219.00/1219.22 v -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552
1219.00/1219.22 v x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 x536 -x535 -x534 -x533 -x532 -x531
1219.00/1219.22 v -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510
1219.00/1219.22 v -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489
1219.00/1219.22 v -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468
1219.00/1219.22 v -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 x459 -x458 -x457 -x456 -x455 -x454 x453 -x452 -x451 -x450 -x449 -x448 -x447
1219.00/1219.22 v -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 x429 -x428 -x427 -x426
1219.00/1219.22 v -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405
1219.00/1219.22 v -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384
1219.00/1219.22 v -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363
1219.00/1219.22 v x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342
1219.00/1219.22 v x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 x324 -x323 -x322 -x321
1219.00/1219.22 v -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300
1219.00/1219.22 v -x299 -x298 -x297 -x296 -x295 -x294 x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279
1219.00/1219.22 v -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258
1219.00/1219.22 v -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 x241 -x240 -x239 x238 -x237
1219.00/1219.22 v -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216
1219.00/1219.22 v -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195
1219.00/1219.22 v -x194 -x193 -x192 x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174
1219.00/1219.22 v -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153
1219.00/1219.22 v -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132
1219.00/1219.22 v -x131 -x130 -x129 x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111
1219.00/1219.22 v -x110 -x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89
1219.00/1219.22 v -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63
1219.00/1219.22 v -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38
1219.00/1219.22 v -x37 -x36 -x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13
1219.00/1219.22 v -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 -x1
1219.00/1219.22 c SCIP Status : problem is solved [optimal solution found]
1219.00/1219.22 c Total Time : 1219.22
1219.00/1219.22 c solving : 1219.22
1219.00/1219.22 c presolving : 0.07 (included in solving)
1219.00/1219.22 c reading : 0.01 (included in solving)
1219.00/1219.22 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1219.00/1219.22 c Original Problem :
1219.00/1219.22 c Problem name : HOME/instance-3691773-1338041774.opb
1219.00/1219.22 c Variables : 1737 (1737 binary, 0 integer, 0 implicit integer, 0 continuous)
1219.00/1219.22 c Constraints : 1041 initial, 1041 maximal
1219.00/1219.22 c Objective sense : minimize
1219.00/1219.22 c Presolved Problem :
1219.00/1219.22 c Problem name : t_HOME/instance-3691773-1338041774.opb
1219.00/1219.22 c Variables : 1713 (1713 binary, 0 integer, 0 implicit integer, 0 continuous)
1219.00/1219.22 c Constraints : 996 initial, 4463 maximal
1219.00/1219.22 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1219.00/1219.22 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1219.00/1219.22 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1219.00/1219.22 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1219.00/1219.22 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1219.00/1219.22 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1219.00/1219.22 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1219.00/1219.22 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1219.00/1219.22 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1219.00/1219.22 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1219.00/1219.22 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1219.00/1219.22 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1219.00/1219.22 c knapsack : 0.02 0.00 0 0 0 0 0 0 0 0 0
1219.00/1219.22 c setppc : 0.01 0.00 24 0 0 0 0 3 0 0 0
1219.00/1219.22 c linear : 0.03 0.00 0 0 0 0 0 42 0 42 0
1219.00/1219.22 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1219.00/1219.22 c root node : - - 0 - - 0 - - - - -
1219.00/1219.22 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1219.00/1219.22 c integral : 0 0 0 0 30409 0 3 0 267 2721 0 0 58416
1219.00/1219.22 c knapsack : 144 144 5 174742 1 0 0 110781 30 125861 0 0 0
1219.00/1219.22 c setppc : 765 765 5 174712 1 0 0 2039280 1162 1043530 0 0 0
1219.00/1219.22 c linear : 87+ 1157 6 173550 1 0 0 239376 562 108326 1 0 0
1219.00/1219.22 c logicor : 0+ 3228 0 84419 0 0 0 41037 528 44640 0 0 0
1219.00/1219.22 c countsols : 0 0 0 0 1 0 2 0 0 0 0 0 0
1219.00/1219.22 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1219.00/1219.22 c integral : 335.55 0.00 0.00 0.00 335.55 0.00 0.00 0.00
1219.00/1219.22 c knapsack : 1.30 0.00 0.01 1.17 0.00 0.00 0.00 0.13
1219.00/1219.22 c setppc : 5.37 0.00 0.00 3.42 0.00 0.00 0.00 1.96
1219.00/1219.22 c linear : 1.96 0.00 0.00 1.46 0.00 0.00 0.00 0.50
1219.00/1219.22 c logicor : 1.77 0.00 0.00 1.65 0.00 0.00 0.00 0.13
1219.00/1219.22 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1219.00/1219.22 c Propagators : #Propagate #ResProp Cutoffs DomReds
1219.00/1219.22 c rootredcost : 0 0 0 0
1219.00/1219.22 c pseudoobj : 0 0 0 0
1219.00/1219.22 c vbounds : 0 0 0 0
1219.00/1219.22 c redcost : 30414 0 0 0
1219.00/1219.22 c probing : 0 0 0 0
1219.00/1219.22 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1219.00/1219.22 c rootredcost : 0.16 0.00 0.00 0.16 0.00
1219.00/1219.22 c pseudoobj : 0.17 0.00 0.00 0.17 0.00
1219.00/1219.22 c vbounds : 0.15 0.00 0.00 0.15 0.00
1219.00/1219.22 c redcost : 0.78 0.00 0.00 0.78 0.00
1219.00/1219.22 c probing : 0.00 0.00 0.00 0.00 0.00
1219.00/1219.22 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1219.00/1219.22 c propagation : 0.99 2282 2282 33063 85.2 1030 23.2 -
1219.00/1219.22 c infeasible LP : 19.41 22510 5758 141926 194.9 1357 21.9 0
1219.00/1219.22 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1219.00/1219.22 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1219.00/1219.22 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1219.00/1219.22 c applied globally : - - - 35492 67.1 - - -
1219.00/1219.22 c applied locally : - - - 7 265.9 - - -
1219.00/1219.22 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1219.00/1219.22 c cut pool : 0.00 4 - - 4 - (maximal pool size: 41)
1219.00/1219.22 c closecuts : 0.00 0.00 0 0 0 0 0
1219.00/1219.22 c impliedbounds : 0.00 0.00 5 0 0 0 0
1219.00/1219.22 c intobj : 0.00 0.00 0 0 0 0 0
1219.00/1219.22 c gomory : 0.11 0.00 5 0 0 0 0
1219.00/1219.22 c cgmip : 0.00 0.00 0 0 0 0 0
1219.00/1219.22 c strongcg : 0.11 0.00 5 0 0 0 0
1219.00/1219.22 c cmir : 0.00 0.00 0 0 0 0 0
1219.00/1219.22 c flowcover : 0.00 0.00 0 0 0 0 0
1219.00/1219.22 c clique : 0.04 0.00 5 0 0 41 0
1219.00/1219.22 c zerohalf : 0.00 0.00 0 0 0 0 0
1219.00/1219.22 c mcf : 0.00 0.00 1 0 0 0 0
1219.00/1219.22 c oddcycle : 0.00 0.00 0 0 0 0 0
1219.00/1219.22 c rapidlearning : 0.40 0.00 1 0 0 0 1070
1219.00/1219.22 c Pricers : ExecTime SetupTime Calls Vars
1219.00/1219.22 c problem variables: 0.00 - 0 0
1219.00/1219.22 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1219.00/1219.22 c relpscost : 335.45 0.00 30408 267 2721 0 0 58416
1219.00/1219.22 c pscost : 0.00 0.00 0 0 0 0 0 0
1219.00/1219.22 c inference : 0.00 0.00 0 0 0 0 0 0
1219.00/1219.22 c mostinf : 0.00 0.00 0 0 0 0 0 0
1219.00/1219.22 c leastinf : 0.00 0.00 0 0 0 0 0 0
1219.00/1219.22 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1219.00/1219.22 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1219.00/1219.22 c random : 0.00 0.00 0 0 0 0 0 0
1219.00/1219.22 c Primal Heuristics : ExecTime SetupTime Calls Found
1219.00/1219.22 c LP solutions : 0.01 - - 1
1219.00/1219.22 c pseudo solutions : 0.00 - - 0
1219.00/1219.22 c smallcard : 0.00 0.00 0 0
1219.00/1219.22 c trivial : 0.00 0.00 1 0
1219.00/1219.22 c shiftandpropagate: 0.00 0.00 0 0
1219.00/1219.22 c simplerounding : 0.00 0.00 0 0
1219.00/1219.22 c zirounding : 0.00 0.00 0 0
1219.00/1219.22 c rounding : 0.00 0.00 0 0
1219.00/1219.22 c shifting : 0.00 0.00 0 0
1219.00/1219.22 c intshifting : 0.00 0.00 0 0
1219.00/1219.22 c oneopt : 0.00 0.00 0 0
1219.00/1219.22 c twoopt : 0.00 0.00 0 0
1219.00/1219.22 c indtwoopt : 0.00 0.00 0 0
1219.00/1219.22 c indoneopt : 0.00 0.00 0 0
1219.00/1219.22 c fixandinfer : 0.00 0.00 0 0
1219.00/1219.22 c feaspump : 0.00 0.00 0 0
1219.00/1219.22 c clique : 0.00 0.00 0 0
1219.00/1219.22 c indrounding : 0.00 0.00 0 0
1219.00/1219.22 c indcoefdiving : 0.00 0.00 0 0
1219.00/1219.22 c coefdiving : 0.00 0.00 0 0
1219.00/1219.22 c pscostdiving : 0.00 0.00 0 0
1219.00/1219.22 c nlpdiving : 0.00 0.00 0 0
1219.00/1219.22 c fracdiving : 0.00 0.00 0 0
1219.00/1219.22 c veclendiving : 0.00 0.00 0 0
1219.00/1219.22 c intdiving : 0.00 0.00 0 0
1219.00/1219.22 c actconsdiving : 0.00 0.00 0 0
1219.00/1219.22 c objpscostdiving : 0.00 0.00 0 0
1219.00/1219.22 c rootsoldiving : 0.00 0.00 0 0
1219.00/1219.22 c linesearchdiving : 0.00 0.00 0 0
1219.00/1219.22 c guideddiving : 0.00 0.00 0 0
1219.00/1219.22 c octane : 0.00 0.00 0 0
1219.00/1219.22 c rens : 0.00 0.00 0 0
1219.00/1219.22 c rins : 0.00 0.00 0 0
1219.00/1219.22 c localbranching : 0.00 0.00 0 0
1219.00/1219.22 c mutation : 0.00 0.00 0 0
1219.00/1219.22 c crossover : 0.00 0.00 0 0
1219.00/1219.22 c dins : 0.00 0.00 0 0
1219.00/1219.22 c vbounds : 0.00 0.00 0 0
1219.00/1219.22 c undercover : 0.00 0.00 0 0
1219.00/1219.22 c subnlp : 0.00 0.00 0 0
1219.00/1219.22 c trysol : 0.00 0.00 0 0
1219.00/1219.22 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1219.00/1219.22 c primal LP : 0.01 1 0 0.00 - 0.01 1
1219.00/1219.22 c dual LP : 833.72 52924 5984865 113.61 7178.47 0.11 243
1219.00/1219.22 c lex dual LP : 0.00 0 0 0.00 -
1219.00/1219.22 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1219.00/1219.22 c diving/probing LP: 0.00 0 0 0.00 -
1219.00/1219.22 c strong branching : 333.78 9293 2019273 217.29 6049.77
1219.00/1219.22 c (at root node) : - 9 3583 398.11 -
1219.00/1219.22 c conflict analysis: 0.00 0 0 0.00 -
1219.00/1219.22 c B&B Tree :
1219.00/1219.22 c number of runs : 1
1219.00/1219.22 c nodes : 53945
1219.00/1219.22 c nodes (total) : 53945
1219.00/1219.22 c nodes left : 0
1219.00/1219.22 c max depth : 57
1219.00/1219.22 c max depth (total): 57
1219.00/1219.22 c backtracks : 10434 (19.3%)
1219.00/1219.22 c delayed cutoffs : 1012
1219.00/1219.22 c repropagations : 24548 (98754 domain reductions, 488 cutoffs)
1219.00/1219.22 c avg switch length: 6.28
1219.00/1219.22 c switching time : 9.05
1219.00/1219.22 c Solution :
1219.00/1219.22 c Solutions found : 1 (1 improvements)
1219.00/1219.22 c First Solution : +0.00000000000000e+00 (in run 1, after 53945 nodes, 1219.21 seconds, depth 49, found by <relaxation>)
1219.00/1219.22 c Primal Bound : +0.00000000000000e+00 (in run 1, after 53945 nodes, 1219.21 seconds, depth 49, found by <relaxation>)
1219.00/1219.22 c Dual Bound : +0.00000000000000e+00
1219.00/1219.22 c Gap : 0.00 %
1219.00/1219.22 c Root Dual Bound : +0.00000000000000e+00
1219.00/1219.22 c Root Iterations : 11765
1219.00/1219.24 c Time complete: 1219.04.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3691773-1338041774/watcher-3691773-1338041774 -o /tmp/evaluation-result-3691773-1338041774/solver-3691773-1338041774 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3691773-1338041774.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: 2.00 2.00 2.00 3/176 32359
/proc/meminfo: memFree=26887416/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=12888 CPUtime=0 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 1962 0 0 0 0 0 0 0 20 0 1 0 270305980 13197312 1916 33554432000 4194304 10219143 140733236853536 140735108800088 7589947 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 3222 1930 419 1471 0 1742 0
[startup+0.101327 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32359
/proc/meminfo: memFree=26887416/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=34604 CPUtime=0.09 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 7562 0 0 0 8 1 0 0 20 0 1 0 270305980 35434496 7240 33554432000 4194304 10219143 140733236853536 140735108800088 8930944 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 8651 7241 676 1471 0 7171 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34604
[startup+0.200319 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32359
/proc/meminfo: memFree=26887416/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=35000 CPUtime=0.19 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 7753 0 0 0 17 2 0 0 20 0 1 0 270305980 35840000 7424 33554432000 4194304 10219143 140733236853536 140735108800088 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 8750 7424 738 1471 0 7270 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 35000
[startup+0.300265 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32359
/proc/meminfo: memFree=26887416/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=35000 CPUtime=0.29 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 7762 0 0 0 27 2 0 0 20 0 1 0 270305980 35840000 7433 33554432000 4194304 10219143 140733236853536 140735108800088 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 8750 7433 738 1471 0 7270 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35000
[startup+0.70024 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32359
/proc/meminfo: memFree=26887416/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=35000 CPUtime=0.69 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 7764 0 0 0 67 2 0 0 20 0 1 0 270305980 35840000 7435 33554432000 4194304 10219143 140733236853536 140735108800088 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 8750 7435 738 1471 0 7270 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35000
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32360
/proc/meminfo: memFree=26860376/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=36080 CPUtime=1.48 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 8021 0 0 0 146 2 0 0 20 0 1 0 270305980 36945920 7692 33554432000 4194304 10219143 140733236853536 140733236846792 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 9020 7692 741 1471 0 7540 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 36080
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32360
/proc/meminfo: memFree=26837172/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=58584 CPUtime=3.08 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 14042 0 0 0 293 15 0 0 20 0 1 0 270305980 59990016 13276 33554432000 4194304 10219143 140733236853536 140733236846984 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 14646 13276 816 1471 0 13166 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 58584
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32360
/proc/meminfo: memFree=26837048/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=58584 CPUtime=6.29 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 14066 0 0 0 612 17 0 0 20 0 1 0 270305980 59990016 13300 33554432000 4194304 10219143 140733236853536 140733236847080 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 14646 13300 817 1471 0 13166 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58584
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32360
/proc/meminfo: memFree=26630728/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=58584 CPUtime=12.69 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 14092 0 0 0 1247 22 0 0 20 0 1 0 270305980 59990016 13326 33554432000 4194304 10219143 140733236853536 140733236847080 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 14646 13326 817 1471 0 13166 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58584
[startup+25.5003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 32398
/proc/meminfo: memFree=28515020/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=58584 CPUtime=25.47 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 14099 0 0 0 2518 29 0 0 20 0 1 0 270305980 59990016 13442 33554432000 4194304 10219143 140733236853536 140733236847032 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 14646 13442 818 1471 0 13166 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 58584
[startup+51.1003 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 32398
/proc/meminfo: memFree=28490828/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=58584 CPUtime=51.08 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 14235 0 0 0 5045 63 0 0 20 0 1 0 270305980 59990016 13836 33554432000 4194304 10219143 140733236853536 140733236846840 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 14646 13836 821 1471 0 13166 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 58584
[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/177 32398
/proc/meminfo: memFree=28489504/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=58584 CPUtime=102.27 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 14235 0 0 0 10110 117 0 0 20 0 1 0 270305980 59990016 13836 33554432000 4194304 10219143 140733236853536 140733236848904 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 14646 13836 821 1471 0 13166 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 58584
[startup+162.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 32398
/proc/meminfo: memFree=28488944/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=58584 CPUtime=162.26 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 14235 0 0 0 16045 181 0 0 20 0 1 0 270305980 59990016 13836 33554432000 4194304 10219143 140733236853536 140733236846888 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 14646 13836 821 1471 0 13166 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 58584
[startup+222.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 32437
/proc/meminfo: memFree=26835404/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=58584 CPUtime=222.25 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 14235 0 0 0 21979 246 0 0 20 0 1 0 270305980 59990016 13836 33554432000 4194304 10219143 140733236853536 140733236846792 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 14646 13836 821 1471 0 13166 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 58584
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 32440
/proc/meminfo: memFree=27106252/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=58584 CPUtime=282.24 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 14237 0 0 0 27906 318 0 0 20 0 1 0 270305980 59990016 13838 33554432000 4194304 10219143 140733236853536 140733236846888 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 14646 13838 821 1471 0 13166 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 58584
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 32440
/proc/meminfo: memFree=27103544/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=58584 CPUtime=342.23 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 14237 0 0 0 33830 393 0 0 20 0 1 0 270305980 59990016 13838 33554432000 4194304 10219143 140733236853536 140733236846840 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 14646 13838 821 1471 0 13166 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 58584
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32440
/proc/meminfo: memFree=27101976/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=58584 CPUtime=402.22 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 14237 0 0 0 39757 465 0 0 20 0 1 0 270305980 59990016 13838 33554432000 4194304 10219143 140733236853536 140733236850120 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 14646 13838 821 1471 0 13166 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 58584
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32440
/proc/meminfo: memFree=27099396/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=58584 CPUtime=462.22 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 14237 0 0 0 45687 535 0 0 20 0 1 0 270305980 59990016 13838 33554432000 4194304 10219143 140733236853536 140733236846792 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 14646 13838 821 1471 0 13166 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 58584
[startup+522.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 32441
/proc/meminfo: memFree=27098992/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=58584 CPUtime=522.2 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 14238 0 0 0 51611 609 0 0 20 0 1 0 270305980 59990016 13839 33554432000 4194304 10219143 140733236853536 140733236846888 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 14646 13839 821 1471 0 13166 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 58584
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 32441
/proc/meminfo: memFree=27095948/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=58584 CPUtime=582.19 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 14238 0 0 0 57533 686 0 0 20 0 1 0 270305980 59990016 13839 33554432000 4194304 10219143 140733236853536 140733236846888 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 14646 13839 821 1471 0 13166 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 58584
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32441
/proc/meminfo: memFree=27093824/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=58584 CPUtime=642.18 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 14379 0 0 0 63460 758 0 0 20 0 1 0 270305980 59990016 13980 33554432000 4194304 10219143 140733236853536 140733236846248 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 14646 13980 962 1471 0 13166 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 58584
[startup+702.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32441
/proc/meminfo: memFree=27093232/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=59308 CPUtime=702.18 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 14486 0 0 0 69384 834 0 0 20 0 1 0 270305980 60731392 14087 33554432000 4194304 10219143 140733236853536 140733236846888 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 14827 14087 962 1471 0 13347 0
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (KiB) 59308
[startup+762.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 32441
/proc/meminfo: memFree=27091508/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=60656 CPUtime=762.18 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 14821 0 0 0 75309 909 0 0 20 0 1 0 270305980 62111744 14422 33554432000 4194304 10219143 140733236853536 140733236847368 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 15164 14422 962 1471 0 13684 0
Current children cumulated CPU time (s) 762.18
Current children cumulated vsize (KiB) 60656
[startup+822.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 32442
/proc/meminfo: memFree=27090064/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=62016 CPUtime=822.16 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 15224 0 0 0 81236 980 0 0 20 0 1 0 270305980 63504384 14825 33554432000 4194304 10219143 140733236853536 140733236846888 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 15504 14825 962 1471 0 14024 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 62016
[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32445
/proc/meminfo: memFree=27088952/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=62480 CPUtime=882.16 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 15270 0 0 0 87156 1060 0 0 20 0 1 0 270305980 63979520 14871 33554432000 4194304 10219143 140733236853536 140733236846888 7955688 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 15620 14871 962 1471 0 14140 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 62480
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32445
/proc/meminfo: memFree=27087764/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=62640 CPUtime=942.13 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 15397 0 0 0 93078 1135 0 0 20 0 1 0 270305980 64143360 14998 33554432000 4194304 10219143 140733236853536 140733236846840 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 15660 14998 962 1471 0 14180 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 62640
[startup+1002.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/177 32445
/proc/meminfo: memFree=27087732/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=63012 CPUtime=1002.13 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 15405 0 0 0 98998 1215 0 0 20 0 1 0 270305980 64524288 15006 33554432000 4194304 10219143 140733236853536 140733236846472 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 15753 15006 962 1471 0 14273 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 63012
[startup+1062.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/177 32445
/proc/meminfo: memFree=27086672/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=64244 CPUtime=1062.12 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 15708 0 0 0 104919 1293 0 0 20 0 1 0 270305980 65785856 15307 33554432000 4194304 10219143 140733236853536 140733236847080 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 16061 15307 962 1471 0 14581 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 64244
[startup+1122.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 32446
/proc/meminfo: memFree=27084068/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=64244 CPUtime=1122.1 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 15716 0 0 0 110845 1365 0 0 20 0 1 0 270305980 65785856 15315 33554432000 4194304 10219143 140733236853536 140733236846792 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 16061 15315 962 1471 0 14581 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 64244
[startup+1182.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/178 32447
/proc/meminfo: memFree=27082324/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=65588 CPUtime=1182.1 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 16124 0 0 0 116765 1445 0 0 20 0 1 0 270305980 67162112 15723 33554432000 4194304 10219143 140733236853536 140733236846840 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 16397 15723 962 1471 0 14917 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 65588
Solver just ended. Dumping a history of the last processes samples
[startup+1203.2 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 32447
/proc/meminfo: memFree=27082332/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=65588 CPUtime=1203 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 16124 0 0 0 118827 1473 0 0 20 0 1 0 270305980 67162112 15723 33554432000 4194304 10219143 140733236853536 140733236846792 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 16397 15723 962 1471 0 14917 0
Current children cumulated CPU time (s) 1203
Current children cumulated vsize (KiB) 65588
[startup+1209.6 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 32447
/proc/meminfo: memFree=27081712/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=65588 CPUtime=1209.39 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 16124 0 0 0 119454 1485 0 0 20 0 1 0 270305980 67162112 15723 33554432000 4194304 10219143 140733236853536 140733236847176 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 16397 15723 962 1471 0 14917 0
Current children cumulated CPU time (s) 1209.39
Current children cumulated vsize (KiB) 65588
[startup+1216 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 32447
/proc/meminfo: memFree=27081836/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=65588 CPUtime=1215.8 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 16124 0 0 0 120086 1494 0 0 20 0 1 0 270305980 67162112 15723 33554432000 4194304 10219143 140733236853536 140733236846792 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 16397 15723 962 1471 0 14917 0
Current children cumulated CPU time (s) 1215.8
Current children cumulated vsize (KiB) 65588
[startup+1217.6 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 32447
/proc/meminfo: memFree=27081836/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=65588 CPUtime=1217.39 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 16124 0 0 0 120243 1496 0 0 20 0 1 0 270305980 67162112 15723 33554432000 4194304 10219143 140733236853536 140733236847176 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 16397 15723 962 1471 0 14917 0
Current children cumulated CPU time (s) 1217.39
Current children cumulated vsize (KiB) 65588
[startup+1218.4 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 32447
/proc/meminfo: memFree=27081836/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=65588 CPUtime=1218.19 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 16124 0 0 0 120321 1498 0 0 20 0 1 0 270305980 67162112 15723 33554432000 4194304 10219143 140733236853536 140733236846792 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 16397 15723 962 1471 0 14917 0
Current children cumulated CPU time (s) 1218.19
Current children cumulated vsize (KiB) 65588
[startup+1218.8 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 32447
/proc/meminfo: memFree=27081712/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=65588 CPUtime=1218.6 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 16124 0 0 0 120361 1499 0 0 20 0 1 0 270305980 67162112 15723 33554432000 4194304 10219143 140733236853536 140733236846792 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 16397 15723 962 1471 0 14917 0
Current children cumulated CPU time (s) 1218.6
Current children cumulated vsize (KiB) 65588
[startup+1219.2 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 32447
/proc/meminfo: memFree=27081712/32873844 swapFree=7620/7620
[pid=32359] ppid=32357 vsize=65588 CPUtime=1219 cores=0,2,4,6
/proc/32359/stat : 32359 (scip-2.1.1.4exp) R 32357 32359 30301 0 -1 4202496 16124 0 0 0 120400 1500 0 0 20 0 1 0 270305980 67162112 15723 33554432000 4194304 10219143 140733236853536 140733236846792 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32359/statm: 16397 15723 962 1471 0 14917 0
Current children cumulated CPU time (s) 1219
Current children cumulated vsize (KiB) 65588
Child status: 0
Real time (s): 1219.24
CPU time (s): 1219.05
CPU user time (s): 1204.05
CPU system time (s): 15.0027
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 65588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1204.04
system time used= 15.0027
maximum resident set size= 62908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16129
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= 11
involuntary context switches= 1267
runsolver used 2.44163 second user time and 5.80012 second system time
The end