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: a3bf3a4-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-3690607-1338024339.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.06/0.07 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.06/0.08 c presolving (3 rounds):
0.06/0.08 c 24 deleted vars, 45 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 42 changed sides, 0 changed coefficients
0.06/0.08 c 0 implications, 807 cliques
0.06/0.08 c presolved problem has 1713 variables (1713 bin, 0 int, 0 impl, 0 cont) and 996 constraints
0.06/0.08 c 144 constraints of type <knapsack>
0.06/0.08 c 765 constraints of type <setppc>
0.06/0.08 c 87 constraints of type <linear>
0.06/0.08 c transformed objective value is always integral (scale: 1)
0.06/0.08 c Presolving Time: 0.07
0.06/0.08 c - non default parameters ----------------------------------------------------------------------
0.06/0.08 c # SCIP version 2.1.1.4
0.06/0.08 c
0.06/0.08 c # maximal time in seconds to run
0.06/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.06/0.08 c limits/time = 1797
0.06/0.08 c
0.06/0.08 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.06/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.06/0.08 c limits/memory = 13950
0.06/0.08 c
0.06/0.08 c # solving stops, if the given number of solutions were found (-1: no limit)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.08 c limits/solutions = 1
0.06/0.08 c
0.06/0.08 c # maximal number of separation rounds per node (-1: unlimited)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 5]
0.06/0.08 c separating/maxrounds = 1
0.06/0.08 c
0.06/0.08 c # maximal number of separation rounds in the root node (-1: unlimited)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.08 c separating/maxroundsroot = 5
0.06/0.08 c
0.06/0.08 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.06/0.08 c # [type: int, range: [1,2], default: 1]
0.06/0.08 c timing/clocktype = 2
0.06/0.08 c
0.06/0.08 c # belongs reading time to solving time?
0.06/0.08 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.06/0.08 c timing/reading = TRUE
0.06/0.08 c
0.06/0.08 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.06/0.08 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.06/0.08 c constraints/knapsack/disaggregation = FALSE
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.08 c heuristics/coefdiving/freq = -1
0.06/0.08 c
0.06/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.08 c heuristics/coefdiving/maxlpiterquot = 0.075
0.06/0.08 c
0.06/0.08 c # additional number of allowed LP iterations
0.06/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.08 c heuristics/coefdiving/maxlpiterofs = 1500
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 30]
0.06/0.08 c heuristics/crossover/freq = -1
0.06/0.08 c
0.06/0.08 c # number of nodes added to the contingent of the total nodes
0.06/0.08 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.06/0.08 c heuristics/crossover/nodesofs = 750
0.06/0.08 c
0.06/0.08 c # number of nodes without incumbent change that heuristic should wait
0.06/0.08 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.06/0.08 c heuristics/crossover/nwaitingnodes = 100
0.06/0.08 c
0.06/0.08 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.06/0.08 c # [type: real, range: [0,1], default: 0.1]
0.06/0.08 c heuristics/crossover/nodesquot = 0.15
0.06/0.08 c
0.06/0.08 c # minimum percentage of integer variables that have to be fixed
0.06/0.08 c # [type: real, range: [0,1], default: 0.666]
0.06/0.08 c heuristics/crossover/minfixingrate = 0.5
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 20]
0.06/0.08 c heuristics/feaspump/freq = -1
0.06/0.08 c
0.06/0.08 c # additional number of allowed LP iterations
0.06/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.08 c heuristics/feaspump/maxlpiterofs = 2000
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.08 c heuristics/fracdiving/freq = -1
0.06/0.08 c
0.06/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.08 c heuristics/fracdiving/maxlpiterquot = 0.075
0.06/0.08 c
0.06/0.08 c # additional number of allowed LP iterations
0.06/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.08 c heuristics/fracdiving/maxlpiterofs = 1500
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.08 c heuristics/guideddiving/freq = -1
0.06/0.08 c
0.06/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.08 c heuristics/guideddiving/maxlpiterquot = 0.075
0.06/0.08 c
0.06/0.08 c # additional number of allowed LP iterations
0.06/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.08 c heuristics/guideddiving/maxlpiterofs = 1500
0.06/0.08 c
0.06/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.08 c heuristics/intdiving/maxlpiterquot = 0.075
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.08 c heuristics/intshifting/freq = -1
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.08 c heuristics/linesearchdiving/freq = -1
0.06/0.08 c
0.06/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.08 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.06/0.08 c
0.06/0.08 c # additional number of allowed LP iterations
0.06/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.08 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 20]
0.06/0.08 c heuristics/objpscostdiving/freq = -1
0.06/0.08 c
0.06/0.08 c # maximal fraction of diving LP iterations compared to total iteration number
0.06/0.08 c # [type: real, range: [0,1], default: 0.01]
0.06/0.08 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.06/0.08 c
0.06/0.08 c # additional number of allowed LP iterations
0.06/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.08 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.08 c heuristics/oneopt/freq = -1
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.08 c heuristics/pscostdiving/freq = -1
0.06/0.08 c
0.06/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.08 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.06/0.08 c
0.06/0.08 c # additional number of allowed LP iterations
0.06/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.08 c heuristics/pscostdiving/maxlpiterofs = 1500
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.06/0.08 c heuristics/rens/freq = -1
0.06/0.08 c
0.06/0.08 c # minimum percentage of integer variables that have to be fixable
0.06/0.08 c # [type: real, range: [0,1], default: 0.5]
0.06/0.08 c heuristics/rens/minfixingrate = 0.3
0.06/0.08 c
0.06/0.08 c # number of nodes added to the contingent of the total nodes
0.06/0.08 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.06/0.08 c heuristics/rens/nodesofs = 2000
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 20]
0.06/0.08 c heuristics/rootsoldiving/freq = -1
0.06/0.08 c
0.06/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.06/0.08 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.06/0.08 c
0.06/0.08 c # additional number of allowed LP iterations
0.06/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.08 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.08 c heuristics/rounding/freq = -1
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.06/0.08 c heuristics/shiftandpropagate/freq = -1
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.08 c heuristics/shifting/freq = -1
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.08 c heuristics/simplerounding/freq = -1
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.08 c heuristics/subnlp/freq = -1
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.06/0.08 c heuristics/trivial/freq = -1
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.08 c heuristics/trysol/freq = -1
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.06/0.08 c heuristics/undercover/freq = -1
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 10]
0.06/0.08 c heuristics/veclendiving/freq = -1
0.06/0.08 c
0.06/0.08 c # maximal fraction of diving LP iterations compared to node LP iterations
0.06/0.08 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.06/0.08 c heuristics/veclendiving/maxlpiterquot = 0.075
0.06/0.08 c
0.06/0.08 c # additional number of allowed LP iterations
0.06/0.08 c # [type: int, range: [0,2147483647], default: 1000]
0.06/0.08 c heuristics/veclendiving/maxlpiterofs = 1500
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.08 c heuristics/zirounding/freq = -1
0.06/0.08 c
0.06/0.08 c # maximal number of presolving rounds the propagator participates in (-1: no limit)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.08 c propagating/probing/maxprerounds = 0
0.06/0.08 c
0.06/0.08 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.06/0.08 c separating/cmir/freq = -1
0.06/0.08 c
0.06/0.08 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 0]
0.06/0.08 c separating/flowcover/freq = -1
0.06/0.08 c
0.06/0.08 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: -1]
0.06/0.08 c separating/rapidlearning/freq = 0
0.06/0.08 c
0.06/0.08 c # frequency for calling primal heuristic <indoneopt> (-1: never, 0: only at depth freqofs)
0.06/0.08 c # [type: int, range: [-1,2147483647], default: 1]
0.06/0.08 c heuristics/indoneopt/freq = -1
0.06/0.08 c
0.06/0.08 c -----------------------------------------------------------------------------------------------
0.06/0.08 c start solving
0.06/0.08 c
1.49/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.49/1.58 c 1.6s| 1 | 0 | 10931 | - |7951k| 0 | 402 |1713 | 996 |1713 | 996 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.89/1.98 c 2.0s| 1 | 0 | 11227 | - |9908k| 0 | 426 |1713 |2066 |1713 |1002 | 6 | 0 | 0 | 0.000000e+00 | -- | Inf
1.99/2.07 c 2.1s| 1 | 0 | 11416 | - |9918k| 0 | 445 |1713 |2066 |1713 |1012 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
2.09/2.15 c 2.2s| 1 | 0 | 11533 | - |9928k| 0 | 459 |1713 |2066 |1713 |1018 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf
2.20/2.25 c 2.2s| 1 | 0 | 11685 | - |9938k| 0 | 473 |1713 |2066 |1713 |1026 | 30 | 0 | 0 | 0.000000e+00 | -- | Inf
2.29/2.34 c 2.3s| 1 | 0 | 11765 | - |9949k| 0 | 483 |1713 |2066 |1713 |1037 | 41 | 0 | 0 | 0.000000e+00 | -- | Inf
3.08/3.26 c 3.3s| 1 | 2 | 11765 | - |9949k| 0 | 483 |1713 |2066 |1713 |1037 | 41 | 0 | 9 | 0.000000e+00 | -- | Inf
30.58/30.63 c 30.6s| 100 | 51 | 30176 | 186.0 | 10M| 40 | 60 |1713 |2142 |1713 |1032 | 41 | 76 | 356 | 0.000000e+00 | -- | Inf
32.78/32.83 c 32.8s| 200 | 64 | 40407 | 143.9 | 10M| 41 | 265 |1713 |2230 |1713 |1032 | 41 | 164 | 372 | 0.000000e+00 | -- | Inf
35.98/36.05 c 36.1s| 300 | 65 | 55717 | 147.0 | 10M| 41 | - |1713 |2289 |1713 |1032 | 41 | 223 | 401 | 0.000000e+00 | -- | Inf
38.39/38.45 c 38.4s| 400 | 84 | 65977 | 135.9 | 11M| 41 | 192 |1713 |2434 |1713 |1032 | 41 | 368 | 417 | 0.000000e+00 | -- | Inf
39.98/40.00 c 40.0s| 500 | 85 | 73187 | 123.1 | 11M| 45 | - |1713 |2568 |1713 |1032 | 41 | 502 | 434 | 0.000000e+00 | -- | Inf
41.48/41.59 c 41.6s| 600 | 85 | 80590 | 114.9 | 11M| 47 | - |1713 |2614 |1713 |1032 | 41 | 548 | 460 | 0.000000e+00 | -- | Inf
43.08/43.19 c 43.2s| 700 | 85 | 87777 | 108.7 | 11M| 49 | - |1713 |2643 |1713 |1032 | 41 | 577 | 486 | 0.000000e+00 | -- | Inf
44.98/45.05 c 45.0s| 800 | 85 | 96377 | 105.9 | 11M| 49 | - |1713 |2682 |1713 |1032 | 41 | 616 | 526 | 0.000000e+00 | -- | Inf
46.48/46.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.48/46.59 c 46.6s| 900 | 82 |102956 | 101.4 | 11M| 49 | 177 |1713 |2715 |1713 |1032 | 41 | 649 | 554 | 0.000000e+00 | -- | Inf
47.78/47.88 c 47.9s| 1000 | 82 |108482 | 96.8 | 11M| 52 | 184 |1713 |2792 |1713 |1032 | 41 | 726 | 592 | 0.000000e+00 | -- | Inf
49.28/49.33 c 49.3s| 1100 | 84 |114926 | 93.9 | 11M| 52 | 120 |1713 |2870 |1713 |1032 | 41 | 804 | 615 | 0.000000e+00 | -- | Inf
50.69/50.75 c 50.7s| 1200 | 80 |121228 | 91.3 | 11M| 52 | 211 |1713 |2991 |1713 |1032 | 41 | 925 | 631 | 0.000000e+00 | -- | Inf
53.78/53.90 c 53.9s| 1300 | 88 |136178 | 95.8 | 11M| 52 | 153 |1713 |3013 |1713 |1032 | 41 | 948 | 664 | 0.000000e+00 | -- | Inf
57.29/57.36 c 57.4s| 1400 | 86 |152945 | 100.9 | 11M| 52 | 204 |1713 |3028 |1713 |1032 | 41 | 963 | 702 | 0.000000e+00 | -- | Inf
60.08/60.12 c 60.1s| 1500 | 90 |166139 | 103.0 | 11M| 52 | 182 |1713 |3083 |1713 |1032 | 41 |1021 | 729 | 0.000000e+00 | -- | Inf
63.68/63.72 c 63.7s| 1600 | 118 |181470 | 106.1 | 11M| 52 | - |1713 |3169 |1713 |1032 | 41 |1109 | 761 | 0.000000e+00 | -- | Inf
67.58/67.68 c 67.7s| 1700 | 162 |198133 | 109.7 | 12M| 52 | 304 |1713 |3202 |1713 |1032 | 41 |1147 | 801 | 0.000000e+00 | -- | Inf
70.07/70.19 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.93 c 75.9s| 2000 | 217 |234209 | 111.3 | 12M| 52 | - |1713 |3293 |1713 |1032 | 41 |1314 | 879 | 0.000000e+00 | -- | Inf
78.37/78.46 c 78.5s| 2100 | 211 |246601 | 111.9 | 12M| 52 | 200 |1713 |3360 |1713 |1032 | 41 |1390 | 904 | 0.000000e+00 | -- | Inf
80.98/81.04 c 81.0s| 2200 | 213 |258561 | 112.2 | 12M| 52 | 253 |1713 |3411 |1713 |1032 | 41 |1448 | 932 | 0.000000e+00 | -- | Inf
82.87/82.90 c 82.9s| 2300 | 219 |266902 | 111.0 | 12M| 52 | - |1713 |3437 |1713 |1032 | 41 |1503 | 948 | 0.000000e+00 | -- | Inf
86.37/86.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.37/86.44 c 86.4s| 2400 | 243 |282334 | 112.8 | 12M| 52 | - |1713 |3497 |1713 |1032 | 41 |1595 | 984 | 0.000000e+00 | -- | Inf
88.87/88.95 c 89.0s| 2500 | 255 |293692 | 112.8 | 12M| 52 | - |1713 |3582 |1713 |1032 | 41 |1710 |1017 | 0.000000e+00 | -- | Inf
92.07/92.13 c 92.1s| 2600 | 286 |306811 | 113.5 | 12M| 52 | 212 |1713 |3504 |1713 |1032 | 41 |1792 |1041 | 0.000000e+00 | -- | Inf
94.97/95.07 c 95.1s| 2700 | 306 |319528 | 114.0 | 13M| 52 | 351 |1713 |3528 |1713 |1032 | 41 |1860 |1070 | 0.000000e+00 | -- | Inf
97.67/97.77 c 97.8s| 2800 | 322 |331641 | 114.3 | 13M| 52 | 185 |1713 |3538 |1713 |1032 | 41 |1947 |1099 | 0.000000e+00 | -- | Inf
99.77/99.87 c 99.9s| 2900 | 326 |341199 | 113.6 | 13M| 52 | 247 |1713 |3566 |1713 |1032 | 41 |2009 |1126 | 0.000000e+00 | -- | Inf
102.28/102.33 c 102s| 3000 | 338 |352328 | 113.6 | 13M| 52 | 202 |1713 |3664 |1713 |1032 | 41 |2154 |1148 | 0.000000e+00 | -- | Inf
104.27/104.39 c 104s| 3100 | 343 |360252 | 112.5 | 13M| 52 | - |1713 |3692 |1713 |1032 | 41 |2218 |1172 | 0.000000e+00 | -- | Inf
106.27/106.33 c 106s| 3200 | 349 |370305 | 112.1 | 13M| 52 | 185 |1713 |3675 |1713 |1032 | 41 |2313 |1189 | 0.000000e+00 | -- | Inf
108.47/108.56 c 109s| 3300 | 350 |380020 | 111.6 | 13M| 57 | - |1713 |3726 |1713 |1032 | 41 |2383 |1220 | 0.000000e+00 | -- | Inf
110.47/110.56 c 111s| 3400 | 363 |389442 | 111.1 | 13M| 57 | - |1713 |3720 |1713 |1032 | 41 |2426 |1236 | 0.000000e+00 | -- | Inf
112.67/112.72 c 113s| 3500 | 366 |398979 | 110.7 | 13M| 57 | - |1713 |3759 |1713 |1032 | 41 |2506 |1260 | 0.000000e+00 | -- | Inf
115.57/115.67 c 116s| 3600 | 376 |410902 | 110.9 | 13M| 57 | - |1713 |3732 |1713 |1032 | 41 |2550 |1295 | 0.000000e+00 | -- | Inf
118.97/119.05 c 119s| 3700 | 391 |424807 | 111.7 | 13M| 57 | 188 |1713 |3709 |1713 |1032 | 41 |2622 |1326 | 0.000000e+00 | -- | Inf
125.87/125.96 c 126s| 3800 | 424 |447396 | 114.7 | 13M| 57 | 366 |1713 |3601 |1713 |1032 | 41 |2683 |1375 | 0.000000e+00 | -- | Inf
128.57/128.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.57/128.70 c 129s| 3900 | 444 |458722 | 114.6 | 13M| 57 | - |1713 |3569 |1713 |1032 | 41 |2710 |1391 | 0.000000e+00 | -- | Inf
131.06/131.18 c 131s| 4000 | 453 |469823 | 114.5 | 13M| 57 | 224 |1713 |3366 |1713 |1032 | 41 |2763 |1419 | 0.000000e+00 | -- | Inf
132.97/133.02 c 133s| 4100 | 456 |478708 | 113.9 | 13M| 57 | - |1713 |3355 |1713 |1032 | 41 |2820 |1443 | 0.000000e+00 | -- | Inf
134.97/135.01 c 135s| 4200 | 468 |487626 | 113.3 | 13M| 57 | - |1713 |3351 |1713 |1032 | 41 |2897 |1472 | 0.000000e+00 | -- | Inf
137.27/137.37 c 137s| 4300 | 473 |498309 | 113.2 | 13M| 57 | 254 |1713 |3366 |1713 |1032 | 41 |2981 |1499 | 0.000000e+00 | -- | Inf
140.16/140.27 c 140s| 4400 | 488 |510890 | 113.5 | 13M| 57 | 58 |1713 |3314 |1713 |1032 | 41 |3086 |1525 | 0.000000e+00 | -- | Inf
142.26/142.39 c 142s| 4500 | 492 |518848 | 112.7 | 13M| 57 | 258 |1713 |3382 |1713 |1032 | 41 |3227 |1549 | 0.000000e+00 | -- | Inf
143.87/143.95 c 144s| 4600 | 500 |526885 | 112.0 | 13M| 57 | - |1713 |3383 |1713 |1032 | 41 |3267 |1563 | 0.000000e+00 | -- | Inf
146.37/146.42 c 146s| 4700 | 509 |537031 | 111.8 | 14M| 57 | 184 |1713 |3406 |1713 |1032 | 41 |3383 |1595 | 0.000000e+00 | -- | Inf
148.36/148.45 c 148s| 4800 | 522 |547021 | 111.5 | 14M| 57 | 201 |1713 |3406 |1713 |1032 | 41 |3420 |1618 | 0.000000e+00 | -- | Inf
152.47/152.59 c 153s| 4900 | 549 |563637 | 112.6 | 14M| 57 | 145 |1713 |3275 |1713 |1032 | 41 |3506 |1650 | 0.000000e+00 | -- | Inf
156.17/156.23 c 156s| 5000 | 566 |580072 | 113.7 | 14M| 57 | - |1713 |3272 |1713 |1032 | 41 |3608 |1684 | 0.000000e+00 | -- | Inf
158.66/158.78 c 159s| 5100 | 568 |591526 | 113.7 | 14M| 57 | - |1713 |3280 |1713 |1032 | 41 |3695 |1715 | 0.000000e+00 | -- | Inf
160.86/160.97 c 161s| 5200 | 564 |601671 | 113.5 | 14M| 57 | 218 |1713 |3305 |1713 |1032 | 41 |3791 |1743 | 0.000000e+00 | -- | Inf
162.46/162.57 c 163s| 5300 | 564 |608430 | 112.6 | 14M| 57 | - |1713 |3348 | 0 | 0 | 41 |3900 |1759 | 0.000000e+00 | -- | Inf
164.26/164.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.26/164.34 c 164s| 5400 | 568 |616598 | 112.0 | 14M| 57 | 141 |1713 |3424 |1713 |1032 | 41 |4034 |1787 | 0.000000e+00 | -- | Inf
166.07/166.19 c 166s| 5500 | 570 |624727 | 111.5 | 14M| 57 | - |1713 |3433 | 0 | 0 | 41 |4205 |1815 | 0.000000e+00 | -- | Inf
168.76/168.81 c 169s| 5600 | 576 |635536 | 111.4 | 14M| 57 | 183 |1713 |3474 |1713 |1032 | 41 |4364 |1854 | 0.000000e+00 | -- | Inf
170.76/170.88 c 171s| 5700 | 585 |645605 | 111.2 | 14M| 57 | 268 |1713 |3449 |1713 |1032 | 41 |4427 |1886 | 0.000000e+00 | -- | Inf
173.96/174.00 c 174s| 5800 | 608 |659044 | 111.6 | 14M| 57 | - |1713 |3444 |1713 |1032 | 41 |4506 |1916 | 0.000000e+00 | -- | Inf
176.56/176.69 c 177s| 5900 | 621 |671746 | 111.9 | 14M| 57 | 270 |1713 |3455 |1713 |1032 | 41 |4622 |1953 | 0.000000e+00 | -- | Inf
178.36/178.47 c 178s| 6000 | 626 |679425 | 111.3 | 14M| 57 | - |1713 |3452 |1713 |1032 | 41 |4680 |1977 | 0.000000e+00 | -- | Inf
181.56/181.61 c 182s| 6100 | 651 |692834 | 111.7 | 14M| 57 | - |1713 |3382 |1713 |1032 | 41 |4756 |2018 | 0.000000e+00 | -- | Inf
182.96/183.09 c 183s| 6200 | 661 |699874 | 111.0 | 14M| 57 | - |1713 |3384 |1713 |1032 | 41 |4860 |2035 | 0.000000e+00 | -- | Inf
186.65/186.75 c 187s| 6300 | 691 |714567 | 111.6 | 14M| 57 | - |1713 |3260 |1713 |1032 | 41 |4914 |2074 | 0.000000e+00 | -- | Inf
189.16/189.23 c 189s| 6400 | 691 |725529 | 111.5 | 14M| 57 | - |1713 |3225 |1713 |1032 | 41 |4985 |2108 | 0.000000e+00 | -- | Inf
192.06/192.13 c 192s| 6500 | 704 |738641 | 111.8 | 14M| 57 | - |1713 |3186 | 0 | 0 | 41 |5036 |2149 | 0.000000e+00 | -- | Inf
194.05/194.14 c 194s| 6600 | 712 |748427 | 111.6 | 14M| 57 | 275 |1713 |3171 |1713 |1032 | 41 |5097 |2172 | 0.000000e+00 | -- | Inf
197.85/197.90 c 198s| 6700 | 748 |764762 | 112.4 | 14M| 57 | 272 |1713 |3049 |1713 |1032 | 41 |5117 |2221 | 0.000000e+00 | -- | Inf
201.37/201.48 c 201s| 6800 | 774 |776304 | 112.4 | 14M| 57 | - |1713 |2956 |1713 |1032 | 41 |5206 |2257 | 0.000000e+00 | -- | Inf
204.36/204.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
204.36/204.45 c 204s| 6900 | 810 |791365 | 113.0 | 14M| 57 | - |1713 |2916 |1713 |1032 | 41 |5289 |2283 | 0.000000e+00 | -- | Inf
206.46/206.51 c 207s| 7000 | 821 |802162 | 112.9 | 14M| 57 | 309 |1713 |2913 |1713 |1032 | 41 |5367 |2296 | 0.000000e+00 | -- | Inf
213.55/213.62 c 214s| 7100 | 855 |821180 | 114.0 | 14M| 57 | 166 |1713 |2834 |1713 |1032 | 41 |5456 |2364 | 0.000000e+00 | -- | Inf
216.15/216.24 c 216s| 7200 | 871 |834759 | 114.3 | 14M| 57 | - |1713 |2815 |1713 |1032 | 41 |5526 |2372 | 0.000000e+00 | -- | Inf
219.26/219.33 c 219s| 7300 | 890 |845009 | 114.2 | 15M| 57 | - |1713 |2795 |1713 |1032 | 41 |5580 |2404 | 0.000000e+00 | -- | Inf
220.95/221.04 c 221s| 7400 | 894 |851790 | 113.5 | 15M| 57 | - |1713 |2849 |1713 |1032 | 41 |5650 |2420 | 0.000000e+00 | -- | Inf
222.96/223.05 c 223s| 7500 | 901 |862605 | 113.5 | 15M| 57 | - |1713 |2780 |1713 |1032 | 41 |5713 |2431 | 0.000000e+00 | -- | Inf
224.15/224.21 c 224s| 7600 | 903 |870358 | 113.0 | 15M| 57 | 206 |1713 |2820 |1713 |1032 | 41 |5800 |2431 | 0.000000e+00 | -- | Inf
230.65/230.72 c 231s| 7700 | 922 |887541 | 113.8 | 15M| 57 | 249 |1713 |2717 |1713 |1032 | 41 |5871 |2487 | 0.000000e+00 | -- | Inf
232.75/232.85 c 233s| 7800 | 934 |899608 | 113.8 | 15M| 57 | - |1713 |2715 |1713 |1032 | 41 |5976 |2497 | 0.000000e+00 | -- | Inf
236.95/237.09 c 237s| 7900 | 944 |909836 | 113.7 | 15M| 57 | 429 |1713 |2661 |1713 |1032 | 41 |6015 |2537 | 0.000000e+00 | -- | Inf
239.86/239.94 c 240s| 8000 | 959 |924865 | 114.2 | 15M| 57 | 190 |1713 |2595 |1713 |1032 | 41 |6038 |2546 | 0.000000e+00 | -- | Inf
241.54/241.66 c 242s| 8100 | 966 |936796 | 114.2 | 15M| 57 | 315 |1713 |2567 |1713 |1032 | 41 |6089 |2547 | 0.000000e+00 | -- | Inf
244.54/244.68 c 245s| 8200 | 989 |949589 | 114.4 | 15M| 57 | 28 |1713 |2560 |1713 |1032 | 41 |6165 |2568 | 0.000000e+00 | -- | Inf
246.25/246.33 c 246s| 8300 | 1005 |960010 | 114.3 | 15M| 57 | 264 |1713 |2575 |1713 |1032 | 41 |6276 |2571 | 0.000000e+00 | -- | Inf
248.45/248.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
248.45/248.55 c 249s| 8400 | 1009 |973630 | 114.5 | 15M| 57 | 188 |1713 |2500 |1713 |1032 | 41 |6312 |2575 | 0.000000e+00 | -- | Inf
249.65/249.77 c 250s| 8500 | 1011 |981980 | 114.2 | 15M| 57 | - |1713 |2539 |1713 |1032 | 41 |6372 |2575 | 0.000000e+00 | -- | Inf
251.45/251.51 c 252s| 8600 | 1009 |993713 | 114.2 | 15M| 57 | - |1713 |2554 |1713 |1032 | 41 |6427 |2575 | 0.000000e+00 | -- | Inf
254.45/254.54 c 255s| 8700 | 1030 | 1008k| 114.6 | 15M| 57 | 196 |1713 |2536 |1713 |1032 | 41 |6491 |2598 | 0.000000e+00 | -- | Inf
255.84/255.97 c 256s| 8800 | 1041 | 1018k| 114.4 | 15M| 57 | - |1713 |2553 |1713 |1032 | 41 |6532 |2598 | 0.000000e+00 | -- | Inf
257.45/257.57 c 258s| 8900 | 1041 | 1029k| 114.4 | 15M| 57 | 179 |1713 |2606 |1713 |1032 | 41 |6616 |2598 | 0.000000e+00 | -- | Inf
258.85/258.98 c 259s| 9000 | 1045 | 1038k| 114.1 | 15M| 57 | 160 |1713 |2625 |1713 |1032 | 41 |6671 |2598 | 0.000000e+00 | -- | Inf
262.65/262.70 c 263s| 9100 | 1065 | 1050k| 114.1 | 15M| 57 | - |1713 |2598 |1713 |1032 | 41 |6729 |2628 | 0.000000e+00 | -- | Inf
263.54/263.63 c 264s| 9200 | 1067 | 1056k| 113.6 | 15M| 57 | - |1713 |2620 |1713 |1032 | 41 |6781 |2628 | 0.000000e+00 | -- | Inf
264.74/264.82 c 265s| 9300 | 1068 | 1064k| 113.2 | 15M| 57 | 238 |1713 |2641 |1713 |1032 | 41 |6825 |2628 | 0.000000e+00 | -- | Inf
268.55/268.68 c 269s| 9400 | 1087 | 1074k| 113.1 | 15M| 57 | - |1713 |2624 | 0 | 0 | 41 |6902 |2662 | 0.000000e+00 | -- | Inf
269.55/269.61 c 270s| 9500 | 1086 | 1080k| 112.5 | 15M| 57 | - |1713 |2623 | 0 | 0 | 41 |6954 |2662 | 0.000000e+00 | -- | Inf
271.14/271.27 c 271s| 9600 | 1090 | 1091k| 112.5 | 15M| 57 | 357 |1713 |2626 |1713 |1032 | 41 |7066 |2662 | 0.000000e+00 | -- | Inf
274.74/274.81 c 275s| 9700 | 1119 | 1106k| 112.8 | 15M| 57 | 218 |1713 |2556 |1713 |1032 | 41 |7124 |2687 | 0.000000e+00 | -- | Inf
275.54/275.63 c 276s| 9800 | 1121 | 1111k| 112.2 | 15M| 57 | 197 |1713 |2653 |1713 |1032 | 41 |7239 |2687 | 0.000000e+00 | -- | Inf
276.65/276.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
276.65/276.75 c 277s| 9900 | 1122 | 1119k| 111.9 | 15M| 57 | - |1713 |2632 |1713 |1032 | 41 |7278 |2687 | 0.000000e+00 | -- | Inf
277.64/277.79 c 278s| 10000 | 1128 | 1125k| 111.4 | 15M| 57 | 91 |1713 |2687 |1713 |1032 | 41 |7364 |2687 | 0.000000e+00 | -- | Inf
278.84/278.90 c 279s| 10100 | 1123 | 1133k| 111.1 | 15M| 57 | - |1713 |2742 |1713 |1032 | 41 |7457 |2687 | 0.000000e+00 | -- | Inf
280.04/280.15 c 280s| 10200 | 1125 | 1142k| 110.9 | 15M| 57 | - |1713 |2739 |1713 |1032 | 41 |7475 |2687 | 0.000000e+00 | -- | Inf
281.55/281.62 c 282s| 10300 | 1123 | 1153k| 110.8 | 15M| 57 | - |1713 |2735 |1713 |1032 | 41 |7483 |2687 | 0.000000e+00 | -- | Inf
283.75/283.87 c 284s| 10400 | 1123 | 1164k| 110.8 | 15M| 57 | 110 |1713 |2740 |1713 |1032 | 41 |7509 |2709 | 0.000000e+00 | -- | Inf
286.34/286.48 c 286s| 10500 | 1123 | 1177k| 111.0 | 15M| 57 | - |1713 |2733 |1713 |1032 | 41 |7551 |2737 | 0.000000e+00 | -- | Inf
288.64/288.78 c 289s| 10600 | 1127 | 1187k| 110.9 | 15M| 57 | - |1713 |2715 |1713 |1032 | 41 |7588 |2767 | 0.000000e+00 | -- | Inf
290.84/290.97 c 291s| 10700 | 1140 | 1197k| 110.8 | 15M| 57 | 171 |1713 |2714 |1713 |1032 | 41 |7638 |2789 | 0.000000e+00 | -- | Inf
293.04/293.13 c 293s| 10800 | 1140 | 1207k| 110.7 | 15M| 57 | - |1713 |2744 |1713 |1032 | 41 |7741 |2811 | 0.000000e+00 | -- | Inf
294.94/295.09 c 295s| 10900 | 1147 | 1216k| 110.6 | 15M| 57 | 143 |1713 |2806 |1713 |1032 | 41 |7832 |2828 | 0.000000e+00 | -- | Inf
297.14/297.22 c 297s| 11000 | 1147 | 1226k| 110.5 | 15M| 57 | - |1713 |2843 |1713 |1032 | 41 |7896 |2856 | 0.000000e+00 | -- | Inf
300.04/300.18 c 300s| 11100 | 1160 | 1238k| 110.6 | 15M| 57 | 184 |1713 |2811 |1713 |1032 | 41 |7928 |2880 | 0.000000e+00 | -- | Inf
301.53/301.69 c 302s| 11200 | 1172 | 1245k| 110.2 | 15M| 57 | 141 |1713 |2845 |1713 |1032 | 41 |8012 |2894 | 0.000000e+00 | -- | Inf
304.14/304.21 c 304s| 11300 | 1186 | 1257k| 110.3 | 15M| 57 | - |1713 |2854 |1713 |1032 | 41 |8108 |2911 | 0.000000e+00 | -- | Inf
306.64/306.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.64/306.76 c 307s| 11400 | 1203 | 1268k| 110.3 | 15M| 57 | - |1713 |2873 |1713 |1032 | 41 |8223 |2939 | 0.000000e+00 | -- | Inf
308.74/308.88 c 309s| 11500 | 1212 | 1277k| 110.1 | 15M| 57 | 199 |1713 |2895 |1713 |1032 | 41 |8322 |2961 | 0.000000e+00 | -- | Inf
310.83/310.96 c 311s| 11600 | 1209 | 1288k| 110.1 | 15M| 57 | - |1713 |2945 | 0 | 0 | 41 |8393 |2978 | 0.000000e+00 | -- | Inf
314.04/314.10 c 314s| 11700 | 1232 | 1300k| 110.1 | 15M| 57 | - |1713 |2883 |1713 |1032 | 41 |8466 |3012 | 0.000000e+00 | -- | Inf
316.94/317.01 c 317s| 11800 | 1241 | 1314k| 110.4 | 15M| 57 | - |1713 |2848 |1713 |1032 | 41 |8541 |3037 | 0.000000e+00 | -- | Inf
320.93/321.02 c 321s| 11900 | 1257 | 1332k| 111.0 | 15M| 57 | 311 |1713 |2625 |1713 |1032 | 41 |8608 |3074 | 0.000000e+00 | -- | Inf
323.45/323.57 c 324s| 12000 | 1265 | 1345k| 111.1 | 16M| 57 | - |1713 |2645 |1713 |1032 | 41 |8680 |3096 | 0.000000e+00 | -- | Inf
325.54/325.63 c 326s| 12100 | 1274 | 1355k| 111.1 | 16M| 57 | - |1713 |2618 |1713 |1032 | 41 |8720 |3116 | 0.000000e+00 | -- | Inf
328.14/328.29 c 328s| 12200 | 1285 | 1367k| 111.1 | 16M| 57 | - |1713 |2593 | 0 | 0 | 41 |8779 |3148 | 0.000000e+00 | -- | Inf
330.73/330.88 c 331s| 12300 | 1278 | 1379k| 111.2 | 16M| 57 | 315 |1713 |2568 |1713 |1032 | 41 |8818 |3175 | 0.000000e+00 | -- | Inf
333.03/333.18 c 333s| 12400 | 1289 | 1391k| 111.2 | 16M| 57 | 81 |1713 |2607 |1713 |1032 | 41 |8905 |3191 | 0.000000e+00 | -- | Inf
336.14/336.24 c 336s| 12500 | 1318 | 1405k| 111.5 | 16M| 57 | 202 |1713 |2571 |1713 |1032 | 41 |8946 |3225 | 0.000000e+00 | -- | Inf
338.74/338.84 c 339s| 12600 | 1321 | 1416k| 111.5 | 16M| 58 | 266 |1713 |2585 |1713 |1032 | 41 |9009 |3254 | 0.000000e+00 | -- | Inf
341.44/341.55 c 342s| 12700 | 1326 | 1429k| 111.6 | 16M| 58 | 200 |1713 |2550 |1713 |1032 | 41 |9085 |3278 | 0.000000e+00 | -- | Inf
343.44/343.51 c 344s| 12800 | 1325 | 1439k| 111.6 | 16M| 58 | - |1713 |2560 | 0 | 0 | 41 |9145 |3291 | 0.000000e+00 | -- | Inf
346.13/346.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
346.13/346.23 c 346s| 12900 | 1338 | 1451k| 111.6 | 16M| 58 | 247 |1713 |2554 |1713 |1032 | 41 |9202 |3318 | 0.000000e+00 | -- | Inf
348.63/348.78 c 349s| 13000 | 1358 | 1462k| 111.6 | 16M| 58 | 143 |1713 |2541 |1713 |1032 | 41 |9247 |3343 | 0.000000e+00 | -- | Inf
350.73/350.90 c 351s| 13100 | 1351 | 1471k| 111.4 | 16M| 58 | - |1713 |2611 |1713 |1032 | 41 |9335 |3381 | 0.000000e+00 | -- | Inf
352.53/352.64 c 353s| 13200 | 1347 | 1480k| 111.3 | 16M| 58 | 200 |1713 |2633 |1713 |1032 | 41 |9417 |3393 | 0.000000e+00 | -- | Inf
354.73/354.85 c 355s| 13300 | 1356 | 1490k| 111.2 | 16M| 58 | 153 |1713 |2649 |1713 |1032 | 41 |9492 |3412 | 0.000000e+00 | -- | Inf
357.23/357.31 c 357s| 13400 | 1351 | 1503k| 111.3 | 16M| 58 | - |1713 |2712 |1713 |1032 | 41 |9617 |3430 | 0.000000e+00 | -- | Inf
360.33/360.40 c 360s| 13500 | 1350 | 1517k| 111.5 | 16M| 58 | - |1713 |2706 |1713 |1032 | 41 |9775 |3457 | 0.000000e+00 | -- | Inf
362.23/362.32 c 362s| 13600 | 1351 | 1527k| 111.4 | 16M| 58 | - |1713 |2746 |1713 |1032 | 41 |9852 |3475 | 0.000000e+00 | -- | Inf
364.92/365.03 c 365s| 13700 | 1349 | 1540k| 111.6 | 16M| 58 | 152 |1713 |2758 |1713 |1032 | 41 |9925 |3501 | 0.000000e+00 | -- | Inf
367.82/367.95 c 368s| 13800 | 1363 | 1553k| 111.7 | 16M| 58 | 207 |1713 |2745 |1713 |1032 | 41 |9980 |3531 | 0.000000e+00 | -- | Inf
370.22/370.39 c 370s| 13900 | 1374 | 1564k| 111.7 | 16M| 58 | - |1713 |2696 |1713 |1032 | 41 | 10k|3555 | 0.000000e+00 | -- | Inf
372.93/373.05 c 373s| 14000 | 1391 | 1576k| 111.8 | 16M| 58 | 204 |1713 |2684 |1713 |1032 | 41 | 10k|3576 | 0.000000e+00 | -- | Inf
375.12/375.24 c 375s| 14100 | 1397 | 1587k| 111.8 | 16M| 58 | 208 |1713 |2738 |1713 |1032 | 41 | 10k|3592 | 0.000000e+00 | -- | Inf
378.22/378.33 c 378s| 14200 | 1410 | 1600k| 111.9 | 16M| 58 | 175 |1713 |2716 |1713 |1032 | 41 | 10k|3625 | 0.000000e+00 | -- | Inf
380.42/380.55 c 381s| 14300 | 1406 | 1612k| 112.0 | 16M| 58 | - |1713 |2730 |1713 |1032 | 41 | 10k|3644 | 0.000000e+00 | -- | Inf
384.11/384.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
384.11/384.29 c 384s| 14400 | 1415 | 1629k| 112.4 | 16M| 58 | 285 |1713 |2660 |1713 |1032 | 41 | 10k|3676 | 0.000000e+00 | -- | Inf
387.12/387.23 c 387s| 14500 | 1433 | 1643k| 112.6 | 16M| 58 | - |1713 |2617 | 0 | 0 | 41 | 10k|3697 | 0.000000e+00 | -- | Inf
389.52/389.60 c 390s| 14600 | 1446 | 1654k| 112.5 | 16M| 58 | - |1713 |2507 |1713 |1032 | 41 | 10k|3719 | 0.000000e+00 | -- | Inf
392.01/392.11 c 392s| 14700 | 1444 | 1665k| 112.5 | 16M| 58 | 193 |1713 |2558 |1713 |1032 | 41 | 10k|3743 | 0.000000e+00 | -- | Inf
393.62/393.71 c 394s| 14800 | 1448 | 1674k| 112.3 | 16M| 58 | - |1713 |2581 |1713 |1032 | 41 | 10k|3755 | 0.000000e+00 | -- | Inf
395.22/395.39 c 395s| 14900 | 1449 | 1682k| 112.1 | 16M| 58 | - |1713 |2626 |1713 |1032 | 41 | 10k|3785 | 0.000000e+00 | -- | Inf
397.61/397.74 c 398s| 15000 | 1461 | 1692k| 112.0 | 16M| 58 | - |1713 |2644 |1713 |1032 | 41 | 10k|3806 | 0.000000e+00 | -- | Inf
399.61/399.76 c 400s| 15100 | 1460 | 1700k| 111.8 | 16M| 58 | - |1713 |2708 |1713 |1032 | 41 | 10k|3828 | 0.000000e+00 | -- | Inf
402.81/402.95 c 403s| 15200 | 1477 | 1714k| 112.0 | 16M| 58 | 192 |1713 |2655 |1713 |1032 | 41 | 11k|3853 | 0.000000e+00 | -- | Inf
405.61/405.73 c 406s| 15300 | 1480 | 1728k| 112.2 | 16M| 58 | 200 |1713 |2691 |1713 |1032 | 41 | 11k|3873 | 0.000000e+00 | -- | Inf
408.31/408.47 c 408s| 15400 | 1482 | 1741k| 112.3 | 16M| 58 | - |1713 |2720 |1713 |1032 | 41 | 11k|3904 | 0.000000e+00 | -- | Inf
411.71/411.81 c 412s| 15500 | 1493 | 1756k| 112.6 | 16M| 58 | - |1713 |2719 |1713 |1032 | 41 | 11k|3929 | 0.000000e+00 | -- | Inf
413.52/413.63 c 414s| 15600 | 1496 | 1765k| 112.4 | 16M| 58 | 111 |1713 |2764 |1713 |1032 | 41 | 11k|3954 | 0.000000e+00 | -- | Inf
416.61/416.72 c 417s| 15700 | 1492 | 1779k| 112.6 | 16M| 58 | 361 |1713 |2707 |1713 |1032 | 41 | 11k|3985 | 0.000000e+00 | -- | Inf
419.81/419.90 c 420s| 15800 | 1516 | 1794k| 112.8 | 16M| 58 | 207 |1713 |2684 |1713 |1032 | 41 | 11k|4015 | 0.000000e+00 | -- | Inf
423.01/423.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
423.01/423.15 c 423s| 15900 | 1530 | 1808k| 113.0 | 16M| 58 | - |1713 |2665 |1713 |1032 | 41 | 11k|4048 | 0.000000e+00 | -- | Inf
424.81/424.90 c 425s| 16000 | 1532 | 1816k| 112.8 | 16M| 58 | - |1713 |2661 |1713 |1032 | 41 | 11k|4068 | 0.000000e+00 | -- | Inf
427.91/428.01 c 428s| 16100 | 1531 | 1832k| 113.1 | 16M| 58 | - |1713 |2670 |1713 |1032 | 41 | 11k|4099 | 0.000000e+00 | -- | Inf
430.31/430.46 c 430s| 16200 | 1537 | 1843k| 113.1 | 16M| 58 | 181 |1713 |2691 |1713 |1032 | 41 | 11k|4121 | 0.000000e+00 | -- | Inf
432.21/432.33 c 432s| 16300 | 1538 | 1852k| 113.0 | 17M| 58 | - |1713 |2754 |1713 |1032 | 41 | 11k|4137 | 0.000000e+00 | -- | Inf
433.90/434.00 c 434s| 16400 | 1545 | 1861k| 112.8 | 17M| 58 | 192 |1713 |2763 |1713 |1032 | 41 | 11k|4154 | 0.000000e+00 | -- | Inf
436.30/436.48 c 436s| 16500 | 1552 | 1873k| 112.9 | 17M| 58 | - |1713 |2754 |1713 |1032 | 41 | 11k|4176 | 0.000000e+00 | -- | Inf
438.50/438.67 c 439s| 16600 | 1540 | 1884k| 112.8 | 17M| 58 | 191 |1713 |2800 |1713 |1032 | 41 | 12k|4198 | 0.000000e+00 | -- | Inf
440.60/440.76 c 441s| 16700 | 1533 | 1895k| 112.8 | 17M| 58 | - |1713 |2840 |1713 |1032 | 41 | 12k|4216 | 0.000000e+00 | -- | Inf
443.80/443.99 c 444s| 16800 | 1548 | 1906k| 112.8 | 17M| 58 | - |1713 |2810 |1713 |1032 | 41 | 12k|4252 | 0.000000e+00 | -- | Inf
445.21/445.39 c 445s| 16900 | 1550 | 1915k| 112.7 | 17M| 58 | - |1713 |2845 |1713 |1032 | 41 | 12k|4256 | 0.000000e+00 | -- | Inf
446.51/446.64 c 447s| 17000 | 1551 | 1924k| 112.5 | 17M| 58 | 111 |1713 |2944 |1713 |1032 | 41 | 12k|4257 | 0.000000e+00 | -- | Inf
448.21/448.32 c 448s| 17100 | 1553 | 1935k| 112.5 | 17M| 58 | 170 |1713 |2985 |1713 |1032 | 41 | 12k|4260 | 0.000000e+00 | -- | Inf
449.81/449.92 c 450s| 17200 | 1547 | 1943k| 112.3 | 17M| 58 | 236 |1713 |3048 |1713 |1032 | 41 | 12k|4271 | 0.000000e+00 | -- | Inf
451.41/451.59 c 452s| 17300 | 1550 | 1955k| 112.4 | 17M| 58 | - |1713 |3083 |1713 |1032 | 41 | 12k|4274 | 0.000000e+00 | -- | Inf
453.71/453.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
453.71/453.88 c 454s| 17400 | 1553 | 1965k| 112.3 | 17M| 58 | - |1713 |3100 |1713 |1032 | 41 | 12k|4293 | 0.000000e+00 | -- | Inf
456.91/457.09 c 457s| 17500 | 1561 | 1980k| 112.5 | 17M| 58 | 182 |1713 |3127 |1713 |1032 | 41 | 12k|4326 | 0.000000e+00 | -- | Inf
462.40/462.57 c 463s| 17600 | 1568 | 1994k| 112.6 | 17M| 58 | 122 |1713 |3087 |1713 |1032 | 41 | 12k|4385 | 0.000000e+00 | -- | Inf
463.80/463.98 c 464s| 17700 | 1576 | 2003k| 112.5 | 17M| 58 | 152 |1713 |3107 |1713 |1032 | 41 | 12k|4388 | 0.000000e+00 | -- | Inf
465.90/466.03 c 466s| 17800 | 1577 | 2016k| 112.6 | 17M| 58 | 191 |1713 |3131 |1713 |1032 | 41 | 12k|4392 | 0.000000e+00 | -- | Inf
468.61/468.73 c 469s| 17900 | 1579 | 2031k| 112.8 | 17M| 58 | 343 |1713 |3108 |1713 |1032 | 41 | 13k|4403 | 0.000000e+00 | -- | Inf
476.50/476.67 c 477s| 18000 | 1595 | 2046k| 113.0 | 17M| 58 | - |1713 |3047 |1713 |1032 | 41 | 13k|4502 | 0.000000e+00 | -- | Inf
477.80/477.98 c 478s| 18100 | 1591 | 2055k| 112.9 | 17M| 58 | 254 |1713 |3106 |1713 |1032 | 41 | 13k|4502 | 0.000000e+00 | -- | Inf
479.20/479.35 c 479s| 18200 | 1596 | 2065k| 112.8 | 17M| 58 | 150 |1713 |3136 |1713 |1032 | 41 | 13k|4502 | 0.000000e+00 | -- | Inf
480.50/480.67 c 481s| 18300 | 1592 | 2074k| 112.7 | 17M| 58 | 251 |1713 |3169 |1713 |1032 | 41 | 13k|4504 | 0.000000e+00 | -- | Inf
482.20/482.33 c 482s| 18400 | 1599 | 2085k| 112.7 | 17M| 58 | 137 |1713 |3232 |1713 |1032 | 41 | 13k|4506 | 0.000000e+00 | -- | Inf
484.01/484.17 c 484s| 18500 | 1601 | 2098k| 112.8 | 17M| 58 | 228 |1713 |3232 |1713 |1032 | 41 | 13k|4507 | 0.000000e+00 | -- | Inf
488.20/488.32 c 488s| 18600 | 1596 | 2112k| 112.9 | 17M| 58 | - |1713 |3203 |1713 |1032 | 41 | 13k|4562 | 0.000000e+00 | -- | Inf
489.80/489.96 c 490s| 18700 | 1604 | 2123k| 112.9 | 17M| 58 | 198 |1713 |3245 |1713 |1032 | 41 | 13k|4563 | 0.000000e+00 | -- | Inf
491.40/491.51 c 492s| 18800 | 1605 | 2134k| 112.9 | 17M| 58 | - |1713 |3265 |1713 |1032 | 41 | 13k|4563 | 0.000000e+00 | -- | Inf
492.90/493.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
492.90/493.04 c 493s| 18900 | 1619 | 2144k| 112.9 | 17M| 58 | - |1713 |3305 |1713 |1032 | 41 | 13k|4564 | 0.000000e+00 | -- | Inf
494.09/494.20 c 494s| 19000 | 1623 | 2152k| 112.7 | 17M| 58 | 119 |1713 |3328 |1713 |1032 | 41 | 13k|4564 | 0.000000e+00 | -- | Inf
495.80/495.94 c 496s| 19100 | 1623 | 2164k| 112.7 | 17M| 58 | 250 |1713 |3326 |1713 |1032 | 41 | 13k|4565 | 0.000000e+00 | -- | Inf
497.50/497.62 c 498s| 19200 | 1623 | 2176k| 112.7 | 17M| 58 | 185 |1713 |3346 |1713 |1032 | 41 | 14k|4567 | 0.000000e+00 | -- | Inf
499.20/499.32 c 499s| 19300 | 1628 | 2187k| 112.7 | 17M| 58 | - |1713 |3349 | 0 | 0 | 41 | 14k|4568 | 0.000000e+00 | -- | Inf
501.10/501.22 c 501s| 19400 | 1638 | 2199k| 112.8 | 17M| 58 | - |1713 |3343 |1713 |1032 | 41 | 14k|4570 | 0.000000e+00 | -- | Inf
503.10/503.26 c 503s| 19500 | 1641 | 2211k| 112.8 | 17M| 58 | - |1713 |3338 |1713 |1032 | 41 | 14k|4577 | 0.000000e+00 | -- | Inf
504.70/504.86 c 505s| 19600 | 1646 | 2222k| 112.8 | 17M| 58 | 186 |1713 |3337 |1713 |1032 | 41 | 14k|4579 | 0.000000e+00 | -- | Inf
506.20/506.37 c 506s| 19700 | 1651 | 2233k| 112.8 | 17M| 58 | - |1713 |3343 |1713 |1032 | 41 | 14k|4579 | 0.000000e+00 | -- | Inf
508.30/508.46 c 508s| 19800 | 1666 | 2245k| 112.8 | 17M| 58 | 218 |1713 |3368 |1713 |1032 | 41 | 14k|4586 | 0.000000e+00 | -- | Inf
509.70/509.80 c 510s| 19900 | 1668 | 2254k| 112.7 | 18M| 58 | - |1713 |3395 | 0 | 0 | 41 | 14k|4587 | 0.000000e+00 | -- | Inf
510.60/510.75 c 511s| 20000 | 1663 | 2260k| 112.4 | 18M| 58 | - |1713 |3447 |1713 |1032 | 41 | 14k|4587 | 0.000000e+00 | -- | Inf
512.30/512.43 c 512s| 20100 | 1669 | 2272k| 112.5 | 18M| 58 | 179 |1713 |3436 |1713 |1032 | 41 | 14k|4587 | 0.000000e+00 | -- | Inf
513.60/513.78 c 514s| 20200 | 1664 | 2281k| 112.4 | 18M| 58 | 198 |1713 |3491 |1713 |1032 | 41 | 14k|4587 | 0.000000e+00 | -- | Inf
515.39/515.52 c 516s| 20300 | 1671 | 2293k| 112.4 | 18M| 58 | 176 |1713 |3499 |1713 |1032 | 41 | 14k|4587 | 0.000000e+00 | -- | Inf
516.49/516.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
516.49/516.68 c 517s| 20400 | 1671 | 2301k| 112.2 | 18M| 58 | 167 |1713 |3502 |1713 |1032 | 41 | 14k|4587 | 0.000000e+00 | -- | Inf
522.19/522.32 c 522s| 20500 | 1693 | 2321k| 112.7 | 18M| 58 | 200 |1713 |3430 |1713 |1032 | 41 | 14k|4631 | 0.000000e+00 | -- | Inf
523.79/523.96 c 524s| 20600 | 1686 | 2332k| 112.7 | 18M| 58 | - |1713 |3436 |1713 |1032 | 41 | 15k|4631 | 0.000000e+00 | -- | Inf
525.39/525.58 c 526s| 20700 | 1684 | 2344k| 112.7 | 18M| 58 | 229 |1713 |3443 |1713 |1032 | 41 | 15k|4632 | 0.000000e+00 | -- | Inf
527.19/527.32 c 527s| 20800 | 1682 | 2355k| 112.7 | 18M| 58 | 252 |1713 |3495 |1713 |1032 | 41 | 15k|4632 | 0.000000e+00 | -- | Inf
530.49/530.63 c 531s| 20900 | 1694 | 2373k| 113.0 | 18M| 58 | - |1713 |3365 |1713 |1032 | 41 | 15k|4643 | 0.000000e+00 | -- | Inf
532.00/532.14 c 532s| 21000 | 1704 | 2383k| 113.0 | 18M| 58 | - |1713 |3402 |1713 |1032 | 41 | 15k|4643 | 0.000000e+00 | -- | Inf
533.89/534.01 c 534s| 21100 | 1714 | 2397k| 113.1 | 18M| 58 | - |1713 |3373 |1713 |1032 | 41 | 15k|4643 | 0.000000e+00 | -- | Inf
535.29/535.40 c 535s| 21200 | 1719 | 2407k| 113.0 | 18M| 58 | - |1713 |3414 |1713 |1032 | 41 | 15k|4643 | 0.000000e+00 | -- | Inf
536.80/536.93 c 537s| 21300 | 1717 | 2417k| 113.0 | 18M| 58 | - |1713 |3457 |1713 |1032 | 41 | 15k|4643 | 0.000000e+00 | -- | Inf
538.80/538.95 c 539s| 21400 | 1718 | 2427k| 112.9 | 18M| 58 | 198 |1713 |3492 |1713 |1032 | 41 | 15k|4663 | 0.000000e+00 | -- | Inf
540.10/540.30 c 540s| 21500 | 1713 | 2435k| 112.7 | 18M| 58 | 218 |1713 |3515 |1713 |1032 | 41 | 15k|4671 | 0.000000e+00 | -- | Inf
542.09/542.27 c 542s| 21600 | 1716 | 2445k| 112.7 | 18M| 58 | - |1713 |3525 |1713 |1032 | 41 | 15k|4688 | 0.000000e+00 | -- | Inf
544.09/544.20 c 544s| 21700 | 1713 | 2454k| 112.6 | 18M| 58 | - |1713 |3540 |1713 |1032 | 41 | 15k|4710 | 0.000000e+00 | -- | Inf
546.39/546.50 c 546s| 21800 | 1717 | 2465k| 112.6 | 18M| 58 | - |1713 |3515 |1713 |1032 | 41 | 15k|4731 | 0.000000e+00 | -- | Inf
547.80/547.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
547.80/547.97 c 548s| 21900 | 1719 | 2472k| 112.4 | 18M| 58 | 171 |1713 |3573 |1713 |1032 | 41 | 15k|4749 | 0.000000e+00 | -- | Inf
549.39/549.50 c 549s| 22000 | 1714 | 2481k| 112.3 | 18M| 58 | - |1713 |3603 |1713 |1032 | 41 | 15k|4765 | 0.000000e+00 | -- | Inf
551.29/551.46 c 551s| 22100 | 1724 | 2490k| 112.2 | 18M| 58 | - |1713 |3562 | 0 | 0 | 41 | 15k|4781 | 0.000000e+00 | -- | Inf
554.09/554.21 c 554s| 22200 | 1730 | 2501k| 112.1 | 18M| 58 | 168 |1713 |3493 |1713 |1032 | 41 | 16k|4806 | 0.000000e+00 | -- | Inf
556.60/556.79 c 557s| 22300 | 1729 | 2510k| 112.0 | 18M| 58 | 388 |1713 |3480 |1713 |1032 | 41 | 16k|4833 | 0.000000e+00 | -- | Inf
558.69/558.84 c 559s| 22400 | 1726 | 2521k| 112.1 | 18M| 58 | 210 |1713 |3490 |1713 |1032 | 41 | 16k|4839 | 0.000000e+00 | -- | Inf
560.79/561.00 c 561s| 22500 | 1728 | 2531k| 112.0 | 18M| 58 | - |1713 |3504 |1713 |1032 | 41 | 16k|4859 | 0.000000e+00 | -- | Inf
562.99/563.14 c 563s| 22600 | 1728 | 2542k| 112.0 | 18M| 58 | - |1713 |3506 |1713 |1032 | 41 | 16k|4879 | 0.000000e+00 | -- | Inf
565.40/565.56 c 566s| 22700 | 1722 | 2555k| 112.1 | 18M| 58 | 337 |1713 |3482 |1713 |1032 | 41 | 16k|4899 | 0.000000e+00 | -- | Inf
567.59/567.79 c 568s| 22800 | 1730 | 2566k| 112.1 | 18M| 58 | 194 |1713 |3453 |1713 |1032 | 41 | 16k|4909 | 0.000000e+00 | -- | Inf
570.19/570.38 c 570s| 22900 | 1737 | 2579k| 112.1 | 18M| 58 | 176 |1713 |3483 |1713 |1032 | 41 | 16k|4928 | 0.000000e+00 | -- | Inf
572.68/572.89 c 573s| 23000 | 1741 | 2590k| 112.1 | 18M| 58 | 213 |1713 |3517 |1713 |1032 | 41 | 16k|4950 | 0.000000e+00 | -- | Inf
575.39/575.52 c 576s| 23100 | 1750 | 2603k| 112.2 | 18M| 58 | - |1713 |3435 |1713 |1032 | 41 | 16k|4972 | 0.000000e+00 | -- | Inf
577.68/577.84 c 578s| 23200 | 1754 | 2614k| 112.2 | 18M| 58 | 157 |1713 |3448 |1713 |1032 | 41 | 16k|4997 | 0.000000e+00 | -- | Inf
580.39/580.54 c 581s| 23300 | 1755 | 2627k| 112.3 | 18M| 58 | - |1713 |3463 |1713 |1032 | 41 | 16k|5021 | 0.000000e+00 | -- | Inf
586.08/586.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
586.08/586.28 c 586s| 23400 | 1782 | 2646k| 112.6 | 18M| 58 | - |1713 |3407 |1713 |1032 | 41 | 16k|5076 | 0.000000e+00 | -- | Inf
587.78/587.99 c 588s| 23500 | 1782 | 2658k| 112.6 | 18M| 58 | - |1713 |3475 |1713 |1032 | 41 | 16k|5076 | 0.000000e+00 | -- | Inf
591.38/591.54 c 592s| 23600 | 1784 | 2672k| 112.7 | 18M| 58 | - |1713 |3446 |1713 |1032 | 41 | 17k|5099 | 0.000000e+00 | -- | Inf
594.18/594.33 c 594s| 23700 | 1799 | 2688k| 113.0 | 18M| 58 | - |1713 |3359 | 0 | 0 | 41 | 17k|5107 | 0.000000e+00 | -- | Inf
596.78/596.96 c 597s| 23800 | 1803 | 2699k| 112.9 | 18M| 58 | 204 |1713 |3354 |1713 |1032 | 41 | 17k|5132 | 0.000000e+00 | -- | Inf
598.78/598.96 c 599s| 23900 | 1820 | 2709k| 112.9 | 18M| 58 | 174 |1713 |3375 |1713 |1032 | 41 | 17k|5143 | 0.000000e+00 | -- | Inf
600.78/600.91 c 601s| 24000 | 1824 | 2717k| 112.8 | 18M| 58 | - |1713 |3389 |1713 |1032 | 41 | 17k|5159 | 0.000000e+00 | -- | Inf
602.08/602.26 c 602s| 24100 | 1820 | 2724k| 112.6 | 18M| 58 | - |1713 |3455 |1713 |1032 | 41 | 17k|5170 | 0.000000e+00 | -- | Inf
605.28/605.41 c 605s| 24200 | 1827 | 2739k| 112.7 | 18M| 58 | - |1713 |3440 |1713 |1032 | 41 | 17k|5194 | 0.000000e+00 | -- | Inf
607.78/607.90 c 608s| 24300 | 1824 | 2751k| 112.8 | 18M| 58 | 168 |1713 |3419 |1713 |1032 | 41 | 17k|5224 | 0.000000e+00 | -- | Inf
610.28/610.41 c 610s| 24400 | 1839 | 2763k| 112.8 | 18M| 58 | - |1713 |3399 |1713 |1032 | 41 | 17k|5240 | 0.000000e+00 | -- | Inf
613.18/613.32 c 613s| 24500 | 1850 | 2775k| 112.8 | 18M| 58 | 239 |1713 |3406 |1713 |1032 | 41 | 17k|5266 | 0.000000e+00 | -- | Inf
615.08/615.23 c 615s| 24600 | 1849 | 2785k| 112.8 | 18M| 58 | - |1713 |3393 |1713 |1032 | 41 | 17k|5280 | 0.000000e+00 | -- | Inf
619.08/619.26 c 619s| 24700 | 1869 | 2803k| 113.0 | 18M| 58 | - |1713 |3358 |1713 |1032 | 41 | 17k|5300 | 0.000000e+00 | -- | Inf
621.68/621.80 c 622s| 24800 | 1885 | 2814k| 113.0 | 18M| 58 | 240 |1713 |3277 |1713 |1032 | 41 | 17k|5320 | 0.000000e+00 | -- | Inf
625.47/625.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
625.47/625.67 c 626s| 24900 | 1896 | 2829k| 113.2 | 18M| 58 | - |1713 |3257 |1713 |1032 | 41 | 17k|5355 | 0.000000e+00 | -- | Inf
626.77/626.91 c 627s| 25000 | 1903 | 2837k| 113.0 | 18M| 58 | 209 |1713 |3235 |1713 |1032 | 41 | 17k|5355 | 0.000000e+00 | -- | Inf
628.58/628.76 c 629s| 25100 | 1901 | 2845k| 112.9 | 18M| 58 | - |1713 |3278 |1713 |1032 | 41 | 18k|5374 | 0.000000e+00 | -- | Inf
629.78/629.92 c 630s| 25200 | 1897 | 2852k| 112.7 | 18M| 58 | 191 |1713 |3293 |1713 |1032 | 41 | 18k|5383 | 0.000000e+00 | -- | Inf
631.18/631.30 c 631s| 25300 | 1901 | 2858k| 112.5 | 18M| 58 | - |1713 |3322 |1713 |1032 | 41 | 18k|5407 | 0.000000e+00 | -- | Inf
634.87/635.01 c 635s| 25400 | 1917 | 2873k| 112.7 | 18M| 58 | - |1713 |3271 | 0 | 0 | 41 | 18k|5427 | 0.000000e+00 | -- | Inf
637.17/637.39 c 637s| 25500 | 1925 | 2883k| 112.6 | 18M| 58 | 219 |1713 |3252 |1713 |1032 | 41 | 18k|5450 | 0.000000e+00 | -- | Inf
638.77/638.98 c 639s| 25600 | 1930 | 2891k| 112.5 | 18M| 58 | 217 |1713 |3281 |1713 |1032 | 41 | 18k|5464 | 0.000000e+00 | -- | Inf
640.67/640.83 c 641s| 25700 | 1935 | 2901k| 112.4 | 18M| 58 | 190 |1713 |3323 |1713 |1032 | 41 | 18k|5476 | 0.000000e+00 | -- | Inf
645.47/645.62 c 646s| 25800 | 1971 | 2921k| 112.8 | 18M| 58 | 169 |1713 |3204 |1713 |1032 | 41 | 18k|5519 | 0.000000e+00 | -- | Inf
647.18/647.34 c 647s| 25900 | 1969 | 2930k| 112.7 | 18M| 58 | - |1713 |3242 | 0 | 0 | 41 | 18k|5536 | 0.000000e+00 | -- | Inf
650.57/650.75 c 651s| 26000 | 1992 | 2944k| 112.8 | 18M| 58 | - |1713 |3170 |1713 |1032 | 41 | 18k|5563 | 0.000000e+00 | -- | Inf
653.18/653.30 c 653s| 26100 | 1998 | 2956k| 112.8 | 18M| 58 | 206 |1713 |3181 |1713 |1032 | 41 | 18k|5582 | 0.000000e+00 | -- | Inf
654.87/655.02 c 655s| 26200 | 2000 | 2964k| 112.7 | 19M| 58 | - |1713 |3202 |1713 |1032 | 41 | 18k|5594 | 0.000000e+00 | -- | Inf
657.07/657.21 c 657s| 26300 | 1998 | 2976k| 112.7 | 19M| 58 | - |1713 |3194 |1713 |1032 | 41 | 18k|5612 | 0.000000e+00 | -- | Inf
660.27/660.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
660.27/660.43 c 660s| 26400 | 2029 | 2989k| 112.8 | 19M| 58 | - |1713 |3163 |1713 |1032 | 41 | 18k|5631 | 0.000000e+00 | -- | Inf
662.37/662.50 c 663s| 26500 | 2019 | 2999k| 112.8 | 19M| 58 | 226 |1713 |3169 |1713 |1032 | 41 | 18k|5653 | 0.000000e+00 | -- | Inf
664.77/664.98 c 665s| 26600 | 2034 | 3012k| 112.8 | 19M| 58 | - |1713 |3191 |1713 |1032 | 41 | 18k|5677 | 0.000000e+00 | -- | Inf
667.17/667.31 c 667s| 26700 | 2040 | 3025k| 112.9 | 19M| 58 | - |1713 |3244 |1713 |1032 | 41 | 19k|5696 | 0.000000e+00 | -- | Inf
669.67/669.80 c 670s| 26800 | 2045 | 3038k| 112.9 | 19M| 58 | 197 |1713 |3249 |1713 |1032 | 41 | 19k|5716 | 0.000000e+00 | -- | Inf
671.17/671.32 c 671s| 26900 | 2045 | 3045k| 112.8 | 19M| 58 | 185 |1713 |3278 |1713 |1032 | 41 | 19k|5733 | 0.000000e+00 | -- | Inf
672.96/673.16 c 673s| 27000 | 2040 | 3055k| 112.7 | 19M| 58 | 183 |1713 |3269 |1713 |1032 | 41 | 19k|5763 | 0.000000e+00 | -- | Inf
675.07/675.20 c 675s| 27100 | 2044 | 3064k| 112.7 | 19M| 58 | 175 |1713 |3320 |1713 |1032 | 41 | 19k|5786 | 0.000000e+00 | -- | Inf
677.06/677.22 c 677s| 27200 | 2052 | 3074k| 112.6 | 19M| 58 | - |1713 |3304 |1713 |1032 | 41 | 19k|5800 | 0.000000e+00 | -- | Inf
678.86/679.03 c 679s| 27300 | 2050 | 3084k| 112.6 | 19M| 58 | 262 |1713 |3325 |1713 |1032 | 41 | 19k|5813 | 0.000000e+00 | -- | Inf
681.77/681.98 c 682s| 27400 | 2062 | 3098k| 112.7 | 19M| 58 | - |1713 |3307 |1713 |1032 | 41 | 19k|5833 | 0.000000e+00 | -- | Inf
684.07/684.27 c 684s| 27500 | 2064 | 3108k| 112.6 | 19M| 58 | 279 |1713 |3306 |1713 |1032 | 41 | 19k|5868 | 0.000000e+00 | -- | Inf
686.76/686.93 c 687s| 27600 | 2078 | 3121k| 112.7 | 19M| 58 | 138 |1713 |3268 |1713 |1032 | 41 | 19k|5883 | 0.000000e+00 | -- | Inf
688.66/688.89 c 689s| 27700 | 2072 | 3129k| 112.5 | 19M| 58 | 451 |1713 |3339 |1713 |1032 | 41 | 19k|5906 | 0.000000e+00 | -- | Inf
691.97/692.15 c 692s| 27800 | 2082 | 3145k| 112.7 | 19M| 58 | - |1713 |3305 |1713 |1032 | 41 | 19k|5927 | 0.000000e+00 | -- | Inf
693.56/693.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.56/693.79 c 694s| 27900 | 2087 | 3153k| 112.6 | 19M| 58 | - |1713 |3400 |1713 |1032 | 41 | 19k|5942 | 0.000000e+00 | -- | Inf
696.06/696.20 c 696s| 28000 | 2093 | 3165k| 112.6 | 19M| 58 | - |1713 |3383 |1713 |1032 | 41 | 19k|5964 | 0.000000e+00 | -- | Inf
697.97/698.12 c 698s| 28100 | 2089 | 3175k| 112.6 | 19M| 58 | - |1713 |3402 |1713 |1032 | 41 | 19k|5981 | 0.000000e+00 | -- | Inf
701.77/701.94 c 702s| 28200 | 2108 | 3191k| 112.8 | 19M| 58 | - |1713 |3324 |1713 |1032 | 41 | 20k|6010 | 0.000000e+00 | -- | Inf
704.66/704.84 c 705s| 28300 | 2126 | 3204k| 112.8 | 19M| 58 | 239 |1713 |3319 |1713 |1032 | 41 | 20k|6030 | 0.000000e+00 | -- | Inf
706.96/707.11 c 707s| 28400 | 2129 | 3217k| 112.9 | 19M| 58 | 235 |1713 |3328 |1713 |1032 | 41 | 20k|6047 | 0.000000e+00 | -- | Inf
709.37/709.58 c 710s| 28500 | 2134 | 3228k| 112.9 | 19M| 58 | - |1713 |3340 | 0 | 0 | 41 | 20k|6084 | 0.000000e+00 | -- | Inf
711.56/711.72 c 712s| 28600 | 2140 | 3239k| 112.9 | 19M| 58 | 230 |1713 |3324 |1713 |1032 | 41 | 20k|6094 | 0.000000e+00 | -- | Inf
714.46/714.61 c 715s| 28700 | 2143 | 3253k| 113.0 | 19M| 58 | 175 |1713 |3346 |1713 |1032 | 41 | 20k|6128 | 0.000000e+00 | -- | Inf
717.16/717.35 c 717s| 28800 | 2151 | 3266k| 113.0 | 19M| 58 | 243 |1713 |3315 |1713 |1032 | 41 | 20k|6155 | 0.000000e+00 | -- | Inf
720.16/720.30 c 720s| 28900 | 2160 | 3280k| 113.1 | 19M| 58 | - |1713 |3215 |1713 |1032 | 41 | 20k|6176 | 0.000000e+00 | -- | Inf
722.67/722.87 c 723s| 29000 | 2158 | 3292k| 113.1 | 19M| 58 | 185 |1713 |3285 |1713 |1032 | 41 | 20k|6200 | 0.000000e+00 | -- | Inf
724.66/724.90 c 725s| 29100 | 2166 | 3303k| 113.1 | 19M| 58 | 130 |1713 |3308 |1713 |1032 | 41 | 20k|6209 | 0.000000e+00 | -- | Inf
727.66/727.88 c 728s| 29200 | 2184 | 3316k| 113.2 | 19M| 58 | 191 |1713 |3288 |1713 |1032 | 41 | 20k|6239 | 0.000000e+00 | -- | Inf
730.66/730.84 c 731s| 29300 | 2191 | 3329k| 113.2 | 19M| 58 | 385 |1713 |3260 |1713 |1032 | 41 | 20k|6261 | 0.000000e+00 | -- | Inf
734.06/734.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
734.06/734.24 c 734s| 29400 | 2201 | 3345k| 113.4 | 19M| 58 | - |1713 |3236 |1713 |1032 | 41 | 20k|6296 | 0.000000e+00 | -- | Inf
736.56/736.78 c 737s| 29500 | 2212 | 3359k| 113.5 | 19M| 58 | - |1713 |3297 |1713 |1032 | 41 | 21k|6312 | 0.000000e+00 | -- | Inf
739.86/740.04 c 740s| 29600 | 2218 | 3374k| 113.6 | 19M| 58 | 185 |1713 |3274 |1713 |1032 | 41 | 21k|6333 | 0.000000e+00 | -- | Inf
742.46/742.69 c 743s| 29700 | 2220 | 3388k| 113.7 | 19M| 58 | - |1713 |3238 |1713 |1032 | 41 | 21k|6350 | 0.000000e+00 | -- | Inf
745.46/745.69 c 746s| 29800 | 2219 | 3404k| 113.8 | 19M| 58 | - |1713 |3270 |1713 |1032 | 41 | 21k|6372 | 0.000000e+00 | -- | Inf
747.06/747.29 c 747s| 29900 | 2227 | 3413k| 113.8 | 19M| 58 | 176 |1713 |3302 |1713 |1032 | 41 | 21k|6383 | 0.000000e+00 | -- | Inf
750.06/750.27 c 750s| 30000 | 2246 | 3426k| 113.8 | 19M| 58 | 137 |1713 |3253 |1713 |1032 | 41 | 21k|6408 | 0.000000e+00 | -- | Inf
751.16/751.37 c 751s| 30100 | 2240 | 3432k| 113.7 | 19M| 58 | - |1713 |3285 |1713 |1032 | 41 | 21k|6414 | 0.000000e+00 | -- | Inf
752.56/752.73 c 753s| 30200 | 2250 | 3440k| 113.5 | 19M| 58 | 179 |1713 |3302 |1713 |1032 | 41 | 21k|6425 | 0.000000e+00 | -- | Inf
756.96/757.18 c 757s| 30300 | 2257 | 3453k| 113.6 | 19M| 58 | 405 |1713 |3266 |1713 |1032 | 41 | 21k|6469 | 0.000000e+00 | -- | Inf
759.66/759.85 c 760s| 30400 | 2268 | 3467k| 113.7 | 19M| 58 | 183 |1713 |3259 |1713 |1032 | 41 | 21k|6478 | 0.000000e+00 | -- | Inf
761.46/761.65 c 762s| 30500 | 2270 | 3477k| 113.6 | 19M| 58 | - |1713 |3262 | 0 | 0 | 41 | 21k|6488 | 0.000000e+00 | -- | Inf
764.06/764.22 c 764s| 30600 | 2278 | 3488k| 113.6 | 19M| 58 | 207 |1713 |3249 |1713 |1032 | 41 | 21k|6513 | 0.000000e+00 | -- | Inf
765.16/765.31 c 765s| 30700 | 2282 | 3495k| 113.5 | 19M| 58 | 213 |1713 |3291 |1713 |1032 | 41 | 21k|6516 | 0.000000e+00 | -- | Inf
766.15/766.39 c 766s| 30800 | 2283 | 3503k| 113.4 | 19M| 58 | 203 |1713 |3406 |1713 |1032 | 41 | 21k|6516 | 0.000000e+00 | -- | Inf
770.55/770.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
770.55/770.78 c 771s| 30900 | 2289 | 3516k| 113.4 | 19M| 58 | 196 |1713 |3424 |1713 |1032 | 41 | 21k|6555 | 0.000000e+00 | -- | Inf
773.35/773.55 c 774s| 31000 | 2301 | 3529k| 113.5 | 20M| 58 | - |1713 |3360 |1713 |1032 | 41 | 22k|6572 | 0.000000e+00 | -- | Inf
774.36/774.50 c 775s| 31100 | 2302 | 3535k| 113.3 | 20M| 58 | 174 |1713 |3461 |1713 |1032 | 41 | 22k|6572 | 0.000000e+00 | -- | Inf
777.45/777.61 c 778s| 31200 | 2320 | 3547k| 113.3 | 20M| 58 | - |1713 |3443 |1713 |1032 | 41 | 22k|6599 | 0.000000e+00 | -- | Inf
778.85/779.06 c 779s| 31300 | 2319 | 3556k| 113.2 | 20M| 58 | 279 |1713 |3510 |1713 |1032 | 41 | 22k|6603 | 0.000000e+00 | -- | Inf
779.96/780.16 c 780s| 31400 | 2327 | 3563k| 113.1 | 20M| 58 | - |1713 |3556 |1713 |1032 | 41 | 22k|6603 | 0.000000e+00 | -- | Inf
784.25/784.41 c 784s| 31500 | 2329 | 3573k| 113.1 | 20M| 58 | 208 |1713 |3575 |1713 |1032 | 41 | 22k|6642 | 0.000000e+00 | -- | Inf
785.65/785.80 c 786s| 31600 | 2329 | 3582k| 113.0 | 20M| 58 | 202 |1713 |3556 |1713 |1032 | 41 | 22k|6642 | 0.000000e+00 | -- | Inf
786.76/786.96 c 787s| 31700 | 2334 | 3590k| 112.9 | 20M| 58 | - |1713 |3580 |1713 |1032 | 41 | 22k|6642 | 0.000000e+00 | -- | Inf
788.46/788.65 c 789s| 31800 | 2330 | 3602k| 112.9 | 20M| 58 | - |1713 |3583 |1713 |1032 | 41 | 22k|6642 | 0.000000e+00 | -- | Inf
789.65/789.87 c 790s| 31900 | 2331 | 3611k| 112.8 | 20M| 58 | - |1713 |3630 |1713 |1032 | 41 | 22k|6642 | 0.000000e+00 | -- | Inf
790.95/791.14 c 791s| 32000 | 2331 | 3620k| 112.8 | 20M| 58 | - |1713 |3643 | 0 | 0 | 41 | 22k|6642 | 0.000000e+00 | -- | Inf
798.95/799.18 c 799s| 32100 | 2347 | 3635k| 112.9 | 20M| 58 | 286 |1713 |3561 |1713 |1032 | 41 | 22k|6731 | 0.000000e+00 | -- | Inf
800.65/800.82 c 801s| 32200 | 2363 | 3646k| 112.9 | 20M| 58 | - |1713 |3605 |1713 |1032 | 41 | 22k|6733 | 0.000000e+00 | -- | Inf
802.14/802.31 c 802s| 32300 | 2363 | 3655k| 112.8 | 20M| 58 | - |1713 |3634 |1713 |1032 | 41 | 23k|6737 | 0.000000e+00 | -- | Inf
803.45/803.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
803.45/803.66 c 804s| 32400 | 2360 | 3664k| 112.7 | 20M| 58 | - |1713 |3638 |1713 |1032 | 41 | 23k|6737 | 0.000000e+00 | -- | Inf
804.44/804.64 c 805s| 32500 | 2362 | 3671k| 112.6 | 20M| 58 | 124 |1713 |3722 |1713 |1032 | 41 | 23k|6737 | 0.000000e+00 | -- | Inf
809.55/809.73 c 810s| 32600 | 2381 | 3682k| 112.6 | 20M| 58 | 245 |1713 |3584 |1713 |1032 | 41 | 23k|6785 | 0.000000e+00 | -- | Inf
811.14/811.38 c 811s| 32700 | 2380 | 3694k| 112.6 | 20M| 58 | 179 |1713 |3527 |1713 |1032 | 41 | 23k|6785 | 0.000000e+00 | -- | Inf
812.65/812.85 c 813s| 32800 | 2387 | 3704k| 112.6 | 20M| 58 | 168 |1713 |3549 |1713 |1032 | 41 | 23k|6785 | 0.000000e+00 | -- | Inf
814.05/814.20 c 814s| 32900 | 2380 | 3713k| 112.5 | 20M| 58 | 217 |1713 |3607 |1713 |1032 | 41 | 23k|6785 | 0.000000e+00 | -- | Inf
815.74/815.93 c 816s| 33000 | 2390 | 3723k| 112.5 | 20M| 58 | - |1713 |3559 |1713 |1032 | 41 | 23k|6789 | 0.000000e+00 | -- | Inf
816.84/817.02 c 817s| 33100 | 2388 | 3731k| 112.4 | 20M| 58 | 202 |1713 |3628 |1713 |1032 | 41 | 23k|6789 | 0.000000e+00 | -- | Inf
819.15/819.34 c 819s| 33200 | 2389 | 3741k| 112.3 | 20M| 58 | 417 |1713 |3585 |1713 |1032 | 41 | 23k|6801 | 0.000000e+00 | -- | Inf
820.84/821.05 c 821s| 33300 | 2403 | 3752k| 112.3 | 20M| 58 | - |1713 |3540 |1713 |1032 | 41 | 23k|6801 | 0.000000e+00 | -- | Inf
822.35/822.53 c 823s| 33400 | 2394 | 3761k| 112.3 | 20M| 58 | - |1713 |3572 |1713 |1032 | 41 | 23k|6806 | 0.000000e+00 | -- | Inf
823.95/824.12 c 824s| 33500 | 2402 | 3772k| 112.3 | 20M| 58 | 131 |1713 |3615 |1713 |1032 | 41 | 23k|6806 | 0.000000e+00 | -- | Inf
825.14/825.39 c 825s| 33600 | 2398 | 3781k| 112.2 | 20M| 58 | - |1713 |3617 |1713 |1032 | 41 | 23k|6806 | 0.000000e+00 | -- | Inf
827.95/828.16 c 828s| 33700 | 2425 | 3798k| 112.4 | 20M| 58 | 173 |1713 |3505 |1713 |1032 | 41 | 24k|6812 | 0.000000e+00 | -- | Inf
829.85/830.05 c 830s| 33800 | 2437 | 3810k| 112.4 | 20M| 58 | 148 |1713 |3406 |1713 |1032 | 41 | 24k|6814 | 0.000000e+00 | -- | Inf
831.25/831.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
831.25/831.44 c 831s| 33900 | 2428 | 3820k| 112.3 | 20M| 58 | - |1713 |3476 |1713 |1032 | 41 | 24k|6814 | 0.000000e+00 | -- | Inf
832.34/832.51 c 833s| 34000 | 2428 | 3827k| 112.2 | 20M| 58 | 176 |1713 |3541 |1713 |1032 | 41 | 24k|6814 | 0.000000e+00 | -- | Inf
836.74/836.93 c 837s| 34100 | 2436 | 3839k| 112.3 | 20M| 58 | 218 |1713 |3508 |1713 |1032 | 41 | 24k|6850 | 0.000000e+00 | -- | Inf
838.45/838.62 c 839s| 34200 | 2439 | 3851k| 112.3 | 20M| 58 | 220 |1713 |3424 |1713 |1032 | 41 | 24k|6850 | 0.000000e+00 | -- | Inf
839.55/839.73 c 840s| 34300 | 2438 | 3858k| 112.2 | 20M| 58 | - |1713 |3460 |1713 |1032 | 41 | 24k|6850 | 0.000000e+00 | -- | Inf
840.64/840.82 c 841s| 34400 | 2440 | 3866k| 112.1 | 20M| 58 | - |1713 |3478 |1713 |1032 | 41 | 24k|6850 | 0.000000e+00 | -- | Inf
841.54/841.74 c 842s| 34500 | 2444 | 3872k| 111.9 | 20M| 58 | 149 |1713 |3484 |1713 |1032 | 41 | 24k|6850 | 0.000000e+00 | -- | Inf
842.64/842.84 c 843s| 34600 | 2440 | 3880k| 111.8 | 20M| 58 | - |1713 |3513 |1713 |1032 | 41 | 24k|6850 | 0.000000e+00 | -- | Inf
843.55/843.79 c 844s| 34700 | 2446 | 3887k| 111.7 | 20M| 58 | 168 |1713 |3536 |1713 |1032 | 41 | 24k|6850 | 0.000000e+00 | -- | Inf
845.14/845.39 c 845s| 34800 | 2444 | 3896k| 111.6 | 20M| 58 | 190 |1713 |3500 |1713 |1032 | 41 | 24k|6853 | 0.000000e+00 | -- | Inf
846.65/846.89 c 847s| 34900 | 2444 | 3906k| 111.6 | 20M| 58 | - |1713 |3536 |1713 |1032 | 41 | 24k|6853 | 0.000000e+00 | -- | Inf
847.44/847.61 c 848s| 35000 | 2446 | 3912k| 111.4 | 20M| 58 | - |1713 |3535 |1713 |1032 | 41 | 24k|6853 | 0.000000e+00 | -- | Inf
848.14/848.31 c 848s| 35100 | 2443 | 3917k| 111.3 | 20M| 58 | - |1713 |3577 |1713 |1032 | 41 | 24k|6853 | 0.000000e+00 | -- | Inf
849.05/849.25 c 849s| 35200 | 2442 | 3923k| 111.1 | 20M| 58 | 233 |1713 |3588 |1713 |1032 | 41 | 24k|6853 | 0.000000e+00 | -- | Inf
850.44/850.61 c 851s| 35300 | 2449 | 3932k| 111.1 | 20M| 58 | 230 |1713 |3599 |1713 |1032 | 41 | 25k|6853 | 0.000000e+00 | -- | Inf
853.14/853.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
853.14/853.34 c 853s| 35400 | 2467 | 3948k| 111.2 | 20M| 58 | 238 |1713 |3527 |1713 |1032 | 41 | 25k|6859 | 0.000000e+00 | -- | Inf
854.24/854.41 c 854s| 35500 | 2468 | 3955k| 111.1 | 20M| 58 | - |1713 |3598 |1713 |1032 | 41 | 25k|6859 | 0.000000e+00 | -- | Inf
855.84/856.09 c 856s| 35600 | 2475 | 3967k| 111.1 | 20M| 58 | - |1713 |3599 |1713 |1032 | 41 | 25k|6859 | 0.000000e+00 | -- | Inf
857.24/857.49 c 857s| 35700 | 2477 | 3977k| 111.1 | 20M| 58 | 201 |1713 |3657 |1713 |1032 | 41 | 25k|6859 | 0.000000e+00 | -- | Inf
858.54/858.79 c 859s| 35800 | 2477 | 3986k| 111.0 | 20M| 58 | - |1713 |3673 |1713 |1032 | 41 | 25k|6859 | 0.000000e+00 | -- | Inf
859.64/859.89 c 860s| 35900 | 2478 | 3994k| 110.9 | 20M| 58 | 170 |1713 |3744 |1713 |1032 | 41 | 25k|6859 | 0.000000e+00 | -- | Inf
861.44/861.60 c 862s| 36000 | 2474 | 4006k| 111.0 | 20M| 58 | - |1713 |3762 |1713 |1032 | 41 | 25k|6859 | 0.000000e+00 | -- | Inf
862.64/862.87 c 863s| 36100 | 2471 | 4015k| 110.9 | 20M| 58 | - |1713 |3783 |1713 |1032 | 41 | 25k|6859 | 0.000000e+00 | -- | Inf
864.63/864.88 c 865s| 36200 | 2474 | 4030k| 111.0 | 20M| 58 | 119 |1713 |3767 |1713 |1032 | 41 | 25k|6859 | 0.000000e+00 | -- | Inf
866.54/866.71 c 867s| 36300 | 2476 | 4042k| 111.1 | 20M| 58 | 384 |1713 |3680 |1713 |1032 | 41 | 25k|6859 | 0.000000e+00 | -- | Inf
868.64/868.87 c 869s| 36400 | 2484 | 4052k| 111.0 | 20M| 58 | - |1713 |3692 |1713 |1032 | 41 | 25k|6867 | 0.000000e+00 | -- | Inf
870.14/870.37 c 870s| 36500 | 2500 | 4063k| 111.0 | 20M| 58 | - |1713 |3689 |1713 |1032 | 41 | 25k|6867 | 0.000000e+00 | -- | Inf
871.54/871.71 c 872s| 36600 | 2503 | 4073k| 111.0 | 20M| 58 | 140 |1713 |3706 |1713 |1032 | 41 | 25k|6867 | 0.000000e+00 | -- | Inf
874.14/874.30 c 874s| 36700 | 2507 | 4084k| 111.0 | 20M| 58 | - |1713 |3686 |1713 |1032 | 41 | 25k|6879 | 0.000000e+00 | -- | Inf
875.23/875.43 c 875s| 36800 | 2511 | 4092k| 110.9 | 20M| 58 | 145 |1713 |3703 |1713 |1032 | 41 | 25k|6879 | 0.000000e+00 | -- | Inf
876.44/876.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
876.44/876.60 c 877s| 36900 | 2511 | 4100k| 110.8 | 20M| 58 | 177 |1713 |3727 |1713 |1032 | 41 | 26k|6879 | 0.000000e+00 | -- | Inf
878.34/878.59 c 879s| 37000 | 2510 | 4112k| 110.8 | 20M| 58 | 234 |1713 |3690 |1713 |1032 | 41 | 26k|6883 | 0.000000e+00 | -- | Inf
879.85/880.05 c 880s| 37100 | 2519 | 4121k| 110.8 | 21M| 58 | 187 |1713 |3700 |1713 |1032 | 41 | 26k|6884 | 0.000000e+00 | -- | Inf
881.73/881.90 c 882s| 37200 | 2518 | 4134k| 110.8 | 21M| 58 | - |1713 |3716 |1713 |1032 | 41 | 26k|6884 | 0.000000e+00 | -- | Inf
883.24/883.46 c 883s| 37300 | 2514 | 4145k| 110.8 | 21M| 58 | 226 |1713 |3732 |1713 |1032 | 41 | 26k|6884 | 0.000000e+00 | -- | Inf
885.34/885.54 c 886s| 37400 | 2523 | 4159k| 110.9 | 21M| 58 | - |1713 |3721 |1713 |1032 | 41 | 26k|6884 | 0.000000e+00 | -- | Inf
887.34/887.50 c 887s| 37500 | 2520 | 4173k| 111.0 | 21M| 58 | - |1713 |3745 |1713 |1032 | 41 | 26k|6884 | 0.000000e+00 | -- | Inf
888.75/888.99 c 889s| 37600 | 2524 | 4182k| 110.9 | 21M| 58 | - |1713 |3745 |1713 |1032 | 41 | 26k|6890 | 0.000000e+00 | -- | Inf
891.54/891.77 c 892s| 37700 | 2531 | 4196k| 111.0 | 21M| 58 | 147 |1713 |3744 |1713 |1032 | 41 | 26k|6915 | 0.000000e+00 | -- | Inf
894.25/894.47 c 894s| 37800 | 2541 | 4211k| 111.1 | 21M| 58 | 205 |1713 |3701 |1713 |1032 | 41 | 26k|6933 | 0.000000e+00 | -- | Inf
895.73/895.91 c 896s| 37900 | 2542 | 4218k| 111.0 | 21M| 58 | 184 |1713 |3735 |1713 |1032 | 41 | 26k|6945 | 0.000000e+00 | -- | Inf
897.33/897.51 c 898s| 38000 | 2537 | 4226k| 110.9 | 21M| 58 | - |1713 |3764 |1713 |1032 | 41 | 26k|6974 | 0.000000e+00 | -- | Inf
899.44/899.63 c 900s| 38100 | 2536 | 4238k| 110.9 | 21M| 58 | 236 |1713 |3776 |1713 |1032 | 41 | 26k|6992 | 0.000000e+00 | -- | Inf
900.94/901.19 c 901s| 38200 | 2539 | 4245k| 110.8 | 21M| 58 | - |1713 |3776 | 0 | 0 | 41 | 26k|7001 | 0.000000e+00 | -- | Inf
902.43/902.61 c 903s| 38300 | 2541 | 4253k| 110.7 | 21M| 58 | - |1713 |3817 |1713 |1032 | 41 | 26k|7013 | 0.000000e+00 | -- | Inf
904.14/904.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
904.14/904.35 c 904s| 38400 | 2542 | 4260k| 110.7 | 21M| 58 | 197 |1713 |3868 |1713 |1032 | 41 | 27k|7036 | 0.000000e+00 | -- | Inf
906.03/906.23 c 906s| 38500 | 2547 | 4270k| 110.6 | 21M| 58 | - |1713 |3820 |1713 |1032 | 41 | 27k|7048 | 0.000000e+00 | -- | Inf
908.14/908.37 c 908s| 38600 | 2558 | 4281k| 110.6 | 21M| 58 | 166 |1713 |3792 |1713 |1032 | 41 | 27k|7068 | 0.000000e+00 | -- | Inf
910.13/910.38 c 910s| 38700 | 2556 | 4292k| 110.6 | 21M| 58 | 204 |1713 |3850 |1713 |1032 | 41 | 27k|7086 | 0.000000e+00 | -- | Inf
912.63/912.82 c 913s| 38800 | 2555 | 4304k| 110.6 | 21M| 58 | 187 |1713 |3858 |1713 |1032 | 41 | 27k|7100 | 0.000000e+00 | -- | Inf
915.24/915.41 c 915s| 38900 | 2555 | 4317k| 110.7 | 21M| 58 | 228 |1713 |3890 |1713 |1032 | 41 | 27k|7123 | 0.000000e+00 | -- | Inf
917.73/917.90 c 918s| 39000 | 2570 | 4331k| 110.8 | 21M| 58 | - |1713 |3803 |1713 |1032 | 41 | 27k|7137 | 0.000000e+00 | -- | Inf
920.83/921.04 c 921s| 39100 | 2577 | 4346k| 110.9 | 21M| 58 | - |1713 |3732 |1713 |1032 | 41 | 27k|7160 | 0.000000e+00 | -- | Inf
923.43/923.68 c 924s| 39200 | 2589 | 4360k| 110.9 | 21M| 58 | 126 |1713 |3724 |1713 |1032 | 41 | 27k|7177 | 0.000000e+00 | -- | Inf
926.04/926.29 c 926s| 39300 | 2590 | 4371k| 110.9 | 21M| 58 | - |1713 |3695 |1713 |1032 | 41 | 27k|7205 | 0.000000e+00 | -- | Inf
927.83/928.00 c 928s| 39400 | 2588 | 4380k| 110.9 | 21M| 58 | - |1713 |3712 |1713 |1032 | 41 | 27k|7219 | 0.000000e+00 | -- | Inf
929.33/929.60 c 930s| 39500 | 2593 | 4388k| 110.8 | 21M| 58 | - |1713 |3747 |1713 |1032 | 41 | 27k|7238 | 0.000000e+00 | -- | Inf
931.42/931.67 c 932s| 39600 | 2605 | 4399k| 110.8 | 21M| 58 | 121 |1713 |3772 |1713 |1032 | 41 | 27k|7249 | 0.000000e+00 | -- | Inf
933.52/933.79 c 934s| 39700 | 2604 | 4409k| 110.8 | 21M| 58 | - |1713 |3813 | 0 | 0 | 41 | 28k|7267 | 0.000000e+00 | -- | Inf
935.13/935.34 c 935s| 39800 | 2601 | 4417k| 110.7 | 21M| 58 | - |1713 |3831 |1713 |1032 | 41 | 28k|7280 | 0.000000e+00 | -- | Inf
936.73/936.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
936.73/936.96 c 937s| 39900 | 2600 | 4427k| 110.7 | 21M| 58 | 225 |1713 |3837 |1713 |1032 | 41 | 28k|7289 | 0.000000e+00 | -- | Inf
938.03/938.20 c * 938s| 39990 | 0 | 4433k| 110.6 | 12M| 58 | - |1713 |3899 |1713 |1032 | 41 | 28k|7306 | 0.000000e+00 | 0.000000e+00 | 0.00%
938.03/938.20 c
938.03/938.20 c SCIP Status : problem is solved [optimal solution found]
938.03/938.20 c Solving Time (sec) : 938.20
938.03/938.20 c Solving Nodes : 39990
938.03/938.20 c Primal Bound : +0.00000000000000e+00 (1 solutions)
938.03/938.20 c Dual Bound : +0.00000000000000e+00
938.03/938.20 c Gap : 0.00 %
938.03/938.20 s SATISFIABLE
938.03/938.20 v -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 x1731 -x1730 x1729 x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 x1720 x1719
938.03/938.20 v -x1718 x1717 -x1716 -x1715 -x1714 -x1713 -x1712 x1711 -x1710 -x1709 -x1708 -x1707 x1706 x1705 x1704 -x1703 -x1702 -x1701 -x1700
938.03/938.20 v x1699 x1698 -x1697 -x1696 -x1695 -x1694 x1693 -x1692 -x1691 -x1690 -x1689 x1688 -x1687 -x1686 x1685 -x1684 -x1683 -x1682
938.03/938.20 v x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 x1673 -x1672 -x1671 -x1670 -x1669 -x1668 x1667 x1666 -x1665 -x1664 -x1663
938.03/938.20 v -x1662 -x1661 x1660 -x1659 -x1658 x1657 x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645
938.03/938.20 v x1644 x1643 -x1642 -x1641 -x1640 x1639 -x1638 -x1637 x1636 x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 x1627 x1626
938.03/938.20 v -x1625 -x1624 -x1623 -x1622 -x1621 x1620 x1619 x1618 x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608
938.03/938.20 v x1607 x1606 -x1605 -x1604 x1603 -x1602 -x1601 -x1600 -x1599 -x1598 x1597 x1596 x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589
938.03/938.20 v -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 x1582 -x1581 -x1580 x1579 -x1578 x1577 -x1576 -x1575 -x1574 -x1573 x1572 -x1571 x1570
938.03/938.20 v x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 x1558 x1557 -x1556 -x1555 x1554 -x1553 -x1552
938.03/938.20 v -x1551 -x1550 x1549 x1548 -x1547 -x1546 x1545 -x1544 -x1543 x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533
938.03/938.20 v -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516
938.03/938.20 v -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 x1498 -x1497
938.03/938.20 v -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480
938.03/938.20 v -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462
938.03/938.20 v -x1461 -x1460 -x1459 x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444
938.03/938.20 v -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426
938.03/938.20 v -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408
938.03/938.20 v -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390
938.03/938.20 v -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372
938.03/938.20 v -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 x1355 -x1354
938.03/938.20 v -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 x1340 -x1339 -x1338 -x1337 -x1336
938.03/938.20 v -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 x1318
938.03/938.20 v -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 x1300
938.03/938.20 v -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282
938.03/938.20 v -x1281 -x1280 -x1279 x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264
938.03/938.20 v -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 x1247 -x1246
938.03/938.20 v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 x1228
938.03/938.20 v -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210
938.03/938.20 v -x1209 -x1208 -x1207 -x1206 x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 x1192
938.03/938.20 v -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174
938.03/938.20 v -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 x1156
938.03/938.20 v -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139 -x1138
938.03/938.20 v -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120
938.03/938.20 v x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102
938.03/938.20 v -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084
938.03/938.20 v -x1083 x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066
938.03/938.20 v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 x1052 -x1051 -x1050 -x1049 x1048
938.03/938.20 v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030
938.03/938.20 v -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 x1017 -x1016 -x1015 -x1014 -x1013 -x1012
938.03/938.20 v -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993
938.03/938.20 v -x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972
938.03/938.20 v -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 x955 -x954 -x953 -x952 -x951
938.03/938.20 v -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930
938.03/938.20 v -x929 -x928 -x927 x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909
938.03/938.20 v -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888
938.03/938.20 v -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867
938.03/938.20 v -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846
938.03/938.20 v -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825
938.03/938.20 v -x824 -x823 -x822 x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804
938.03/938.20 v -x803 -x802 -x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783
938.03/938.20 v -x782 -x781 -x780 -x779 -x778 -x777 -x776 x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762
938.03/938.20 v -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741
938.03/938.20 v -x740 -x739 x738 -x737 -x736 -x735 -x734 -x733 -x732 x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720
938.03/938.20 v -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 x704 -x703 -x702 -x701 -x700 -x699
938.03/938.20 v -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678
938.03/938.20 v x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657
938.03/938.20 v -x656 -x655 -x654 -x653 -x652 -x651 -x650 x649 -x648 -x647 x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636
938.03/938.20 v -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 x618 -x617 -x616 -x615
938.03/938.20 v -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594
938.03/938.20 v x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 x577 -x576 -x575 -x574 -x573
938.03/938.20 v -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552
938.03/938.20 v -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 x543 -x542 -x541 -x540 -x539 -x538 -x537 x536 -x535 -x534 -x533 -x532 -x531
938.03/938.20 v -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510
938.03/938.20 v x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 x494 -x493 -x492 -x491 -x490 -x489
938.03/938.20 v -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468
938.03/938.20 v -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447
938.03/938.20 v -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 -x432 -x431 -x430 x429 -x428 -x427 -x426
938.03/938.20 v -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405
938.03/938.20 v -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384
938.03/938.20 v -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 x369 x368 -x367 -x366 -x365 -x364 -x363
938.03/938.20 v -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342
938.03/938.20 v x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 x323 -x322 -x321
938.03/938.20 v -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300
938.03/938.20 v -x299 -x298 -x297 -x296 -x295 -x294 -x293 x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279
938.03/938.20 v -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258
938.03/938.20 v -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 x239 -x238 -x237
938.03/938.20 v -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216
938.03/938.20 v -x215 -x214 -x213 -x212 x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195
938.03/938.20 v -x194 -x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174
938.03/938.20 v -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153
938.03/938.20 v -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132
938.03/938.20 v -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111
938.03/938.20 v -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89
938.03/938.20 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
938.03/938.20 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
938.03/938.20 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
938.03/938.20 v -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 x4 -x3 -x2 -x1
938.03/938.20 c SCIP Status : problem is solved [optimal solution found]
938.03/938.20 c Total Time : 938.20
938.03/938.20 c solving : 938.20
938.03/938.20 c presolving : 0.07 (included in solving)
938.03/938.20 c reading : 0.01 (included in solving)
938.03/938.20 c copying : 0.01 (1 #copies) (minimal 0.01, maximal 0.01, average 0.01)
938.03/938.20 c Original Problem :
938.03/938.20 c Problem name : HOME/instance-3690607-1338024339.opb
938.03/938.20 c Variables : 1737 (1737 binary, 0 integer, 0 implicit integer, 0 continuous)
938.03/938.20 c Constraints : 1041 initial, 1041 maximal
938.03/938.20 c Objective sense : minimize
938.03/938.20 c Presolved Problem :
938.03/938.20 c Problem name : t_HOME/instance-3690607-1338024339.opb
938.03/938.20 c Variables : 1713 (1713 binary, 0 integer, 0 implicit integer, 0 continuous)
938.03/938.20 c Constraints : 996 initial, 3900 maximal
938.03/938.20 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
938.03/938.20 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
938.03/938.20 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
938.03/938.20 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
938.03/938.20 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
938.03/938.20 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
938.03/938.20 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
938.03/938.20 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
938.03/938.20 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
938.03/938.20 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
938.03/938.20 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
938.03/938.20 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
938.03/938.20 c knapsack : 0.02 0.00 0 0 0 0 0 0 0 0 0
938.03/938.20 c setppc : 0.01 0.00 24 0 0 0 0 3 0 0 0
938.03/938.20 c linear : 0.03 0.00 0 0 0 0 0 42 0 42 0
938.03/938.20 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
938.03/938.20 c root node : - - 0 - - 0 - - - - -
938.03/938.20 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
938.03/938.20 c integral : 0 0 0 0 22631 0 3 0 207 1902 0 0 43544
938.03/938.20 c knapsack : 144 144 5 134679 1 0 0 79913 25 101386 0 0 0
938.03/938.20 c setppc : 765 765 5 134654 1 0 0 1676111 996 824701 0 0 0
938.03/938.20 c linear : 87+ 1157 6 133658 1 0 0 205547 457 86303 1 0 0
938.03/938.20 c logicor : 0+ 2619 0 66694 0 0 0 33933 495 36503 0 0 0
938.03/938.20 c countsols : 0 0 0 0 1 0 2 0 0 0 0 0 0
938.03/938.20 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
938.03/938.20 c integral : 278.66 0.00 0.00 0.00 278.66 0.00 0.00 0.00
938.03/938.20 c knapsack : 0.95 0.00 0.00 0.90 0.00 0.00 0.00 0.04
938.03/938.20 c setppc : 3.34 0.00 0.00 2.77 0.00 0.00 0.00 0.57
938.03/938.20 c linear : 1.37 0.00 0.00 1.10 0.00 0.00 0.00 0.26
938.03/938.20 c logicor : 1.53 0.00 0.00 1.43 0.00 0.00 0.00 0.09
938.03/938.20 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
938.03/938.20 c Propagators : #Propagate #ResProp Cutoffs DomReds
938.03/938.20 c rootredcost : 0 0 0 0
938.03/938.20 c pseudoobj : 0 0 0 0
938.03/938.20 c vbounds : 0 0 0 0
938.03/938.20 c redcost : 22636 0 0 0
938.03/938.20 c probing : 0 0 0 0
938.03/938.20 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
938.03/938.20 c rootredcost : 0.04 0.00 0.00 0.04 0.00
938.03/938.20 c pseudoobj : 0.04 0.00 0.00 0.04 0.00
938.03/938.20 c vbounds : 0.03 0.00 0.00 0.03 0.00
938.03/938.20 c redcost : 0.55 0.00 0.00 0.55 0.00
938.03/938.20 c probing : 0.00 0.00 0.00 0.00 0.00
938.03/938.20 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
938.03/938.20 c propagation : 0.67 1973 1972 30683 96.8 910 23.2 -
938.03/938.20 c infeasible LP : 12.71 16328 4433 109607 202.7 1003 22.5 0
938.03/938.20 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
938.03/938.20 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
938.03/938.20 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
938.03/938.20 c applied globally : - - - 28297 68.3 - - -
938.03/938.20 c applied locally : - - - 11 306.8 - - -
938.03/938.20 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
938.03/938.20 c cut pool : 0.00 4 - - 4 - (maximal pool size: 41)
938.03/938.20 c closecuts : 0.00 0.00 0 0 0 0 0
938.03/938.20 c impliedbounds : 0.00 0.00 5 0 0 0 0
938.03/938.20 c intobj : 0.00 0.00 0 0 0 0 0
938.03/938.20 c gomory : 0.10 0.00 5 0 0 0 0
938.03/938.20 c cgmip : 0.00 0.00 0 0 0 0 0
938.03/938.20 c strongcg : 0.10 0.00 5 0 0 0 0
938.03/938.20 c cmir : 0.00 0.00 0 0 0 0 0
938.03/938.20 c flowcover : 0.00 0.00 0 0 0 0 0
938.03/938.20 c clique : 0.04 0.00 5 0 0 41 0
938.03/938.20 c zerohalf : 0.00 0.00 0 0 0 0 0
938.03/938.20 c mcf : 0.00 0.00 1 0 0 0 0
938.03/938.20 c oddcycle : 0.00 0.00 0 0 0 0 0
938.03/938.20 c rapidlearning : 0.30 0.00 1 0 0 0 1070
938.03/938.20 c Pricers : ExecTime SetupTime Calls Vars
938.03/938.20 c problem variables: 0.00 - 0 0
938.03/938.20 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
938.03/938.20 c relpscost : 278.64 0.00 22630 207 1902 0 0 43544
938.03/938.20 c pscost : 0.00 0.00 0 0 0 0 0 0
938.03/938.20 c inference : 0.00 0.00 0 0 0 0 0 0
938.03/938.20 c mostinf : 0.00 0.00 0 0 0 0 0 0
938.03/938.20 c leastinf : 0.00 0.00 0 0 0 0 0 0
938.03/938.20 c fullstrong : 0.00 0.00 0 0 0 0 0 0
938.03/938.20 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
938.03/938.20 c random : 0.00 0.00 0 0 0 0 0 0
938.03/938.20 c Primal Heuristics : ExecTime SetupTime Calls Found
938.03/938.20 c LP solutions : 0.01 - - 1
938.03/938.20 c pseudo solutions : 0.00 - - 0
938.03/938.20 c smallcard : 0.00 0.00 0 0
938.03/938.20 c trivial : 0.00 0.00 1 0
938.03/938.20 c shiftandpropagate: 0.00 0.00 0 0
938.03/938.20 c simplerounding : 0.00 0.00 0 0
938.03/938.20 c zirounding : 0.00 0.00 0 0
938.03/938.20 c rounding : 0.00 0.00 0 0
938.03/938.20 c shifting : 0.00 0.00 0 0
938.03/938.20 c intshifting : 0.00 0.00 0 0
938.03/938.20 c oneopt : 0.00 0.00 0 0
938.03/938.20 c twoopt : 0.00 0.00 0 0
938.03/938.20 c indtwoopt : 0.00 0.00 0 0
938.03/938.20 c indoneopt : 0.00 0.00 0 0
938.03/938.20 c fixandinfer : 0.00 0.00 0 0
938.03/938.20 c feaspump : 0.00 0.00 0 0
938.03/938.20 c clique : 0.00 0.00 0 0
938.03/938.20 c indrounding : 0.00 0.00 0 0
938.03/938.20 c indcoefdiving : 0.00 0.00 0 0
938.03/938.20 c coefdiving : 0.00 0.00 0 0
938.03/938.20 c pscostdiving : 0.00 0.00 0 0
938.03/938.20 c nlpdiving : 0.00 0.00 0 0
938.03/938.20 c fracdiving : 0.00 0.00 0 0
938.03/938.20 c veclendiving : 0.00 0.00 0 0
938.03/938.20 c intdiving : 0.00 0.00 0 0
938.03/938.20 c actconsdiving : 0.00 0.00 0 0
938.03/938.20 c objpscostdiving : 0.00 0.00 0 0
938.03/938.20 c rootsoldiving : 0.00 0.00 0 0
938.03/938.20 c linesearchdiving : 0.00 0.00 0 0
938.03/938.20 c guideddiving : 0.00 0.00 0 0
938.03/938.20 c octane : 0.00 0.00 0 0
938.03/938.20 c rens : 0.00 0.00 0 0
938.03/938.20 c rins : 0.00 0.00 0 0
938.03/938.20 c localbranching : 0.00 0.00 0 0
938.03/938.20 c mutation : 0.00 0.00 0 0
938.03/938.20 c crossover : 0.00 0.00 0 0
938.03/938.20 c dins : 0.00 0.00 0 0
938.03/938.20 c vbounds : 0.00 0.00 0 0
938.03/938.20 c undercover : 0.00 0.00 0 0
938.03/938.20 c subnlp : 0.00 0.00 0 0
938.03/938.20 c trysol : 0.00 0.00 0 0
938.03/938.20 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
938.03/938.20 c primal LP : 0.01 1 0 0.00 - 0.01 1
938.03/938.20 c dual LP : 623.79 38964 4433321 114.39 7107.13 0.10 207
938.03/938.20 c lex dual LP : 0.00 0 0 0.00 -
938.03/938.20 c barrier LP : 0.00 0 0 0.00 - 0.00 0
938.03/938.20 c diving/probing LP: 0.00 0 0 0.00 -
938.03/938.20 c strong branching : 277.43 7306 1624317 222.33 5854.78
938.03/938.20 c (at root node) : - 9 3583 398.11 -
938.03/938.20 c conflict analysis: 0.00 0 0 0.00 -
938.03/938.20 c B&B Tree :
938.03/938.20 c number of runs : 1
938.03/938.20 c nodes : 39990
938.03/938.20 c nodes (total) : 39990
938.03/938.20 c nodes left : 0
938.03/938.20 c max depth : 58
938.03/938.20 c max depth (total): 58
938.03/938.20 c backtracks : 7946 (19.9%)
938.03/938.20 c delayed cutoffs : 947
938.03/938.20 c repropagations : 19191 (85469 domain reductions, 430 cutoffs)
938.03/938.20 c avg switch length: 6.41
938.03/938.20 c switching time : 7.91
938.03/938.20 c Solution :
938.03/938.20 c Solutions found : 1 (1 improvements)
938.03/938.20 c First Solution : +0.00000000000000e+00 (in run 1, after 39990 nodes, 938.19 seconds, depth 48, found by <relaxation>)
938.03/938.20 c Primal Bound : +0.00000000000000e+00 (in run 1, after 39990 nodes, 938.19 seconds, depth 48, found by <relaxation>)
938.03/938.20 c Dual Bound : +0.00000000000000e+00
938.03/938.20 c Gap : 0.00 %
938.03/938.20 c Root Dual Bound : +0.00000000000000e+00
938.03/938.20 c Root Iterations : 11765
938.03/938.22 c Time complete: 938.05.
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-3690607-1338024339/watcher-3690607-1338024339 -o /tmp/evaluation-result-3690607-1338024339/solver-3690607-1338024339 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690607-1338024339.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 562
/proc/meminfo: memFree=28380668/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=6596 CPUtime=0 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 481 0 0 0 0 0 0 0 20 0 1 0 268559792 6754304 436 33554432000 4194304 10173063 140733993945904 140735510168696 8800002 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/562/statm: 1649 439 304 1460 0 180 0
[startup+0.073519 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 562
/proc/meminfo: memFree=28380668/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=27556 CPUtime=0.06 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 5718 0 0 0 6 0 0 0 20 0 1 0 268559792 28217344 5416 33554432000 4194304 10173063 140733993945904 140735510168696 8963895 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/562/statm: 6889 5416 582 1460 0 5420 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 27556
[startup+0.100273 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 562
/proc/meminfo: memFree=28380668/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=33156 CPUtime=0.08 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 7283 0 0 0 8 0 0 0 20 0 1 0 268559792 33951744 6923 33554432000 4194304 10173063 140733993945904 140735510168696 7795859 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/562/statm: 8289 6923 709 1460 0 6820 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 33156
[startup+0.301018 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 562
/proc/meminfo: memFree=28380668/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=33632 CPUtime=0.28 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 7458 0 0 0 28 0 0 0 20 0 1 0 268559792 34439168 7088 33554432000 4194304 10173063 140733993945904 140735510168696 8982074 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/562/statm: 8408 7088 743 1460 0 6939 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 33632
[startup+0.701047 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 562
/proc/meminfo: memFree=28380668/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=33632 CPUtime=0.68 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 7480 0 0 0 68 0 0 0 20 0 1 0 268559792 34439168 7110 33554432000 4194304 10173063 140733993945904 140733993939160 8982074 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/562/statm: 8408 7110 743 1460 0 6939 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 33632
[startup+1.50102 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 563
/proc/meminfo: memFree=28354852/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=34676 CPUtime=1.49 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 7748 0 0 0 148 1 0 0 20 0 1 0 268559792 35508224 7378 33554432000 4194304 10173063 140733993945904 140733993939208 8982074 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/562/statm: 8669 7378 747 1460 0 7200 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34676
[startup+3.10021 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 563
/proc/meminfo: memFree=28333268/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=55748 CPUtime=3.08 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 12986 0 0 0 304 4 0 0 20 0 1 0 268559792 57085952 12523 33554432000 4194304 10173063 140733993945904 140733993939320 8982074 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/562/statm: 13937 12523 831 1460 0 12468 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 55748
[startup+6.30102 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 563
/proc/meminfo: memFree=28333288/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=55748 CPUtime=6.29 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 12988 0 0 0 623 6 0 0 20 0 1 0 268559792 57085952 12525 33554432000 4194304 10173063 140733993945904 140733993939400 8982074 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/562/statm: 13937 12525 833 1460 0 12468 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55748
[startup+12.7002 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 563
/proc/meminfo: memFree=28333912/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=55748 CPUtime=12.68 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 12988 0 0 0 1259 9 0 0 20 0 1 0 268559792 57085952 12525 33554432000 4194304 10173063 140733993945904 140733993939160 8982074 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/562/statm: 13937 12525 833 1460 0 12468 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 55748
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 563
/proc/meminfo: memFree=28334812/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=55748 CPUtime=25.49 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 12988 0 0 0 2533 16 0 0 20 0 1 0 268559792 57085952 12525 33554432000 4194304 10173063 140733993945904 140733993939352 8982074 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/562/statm: 13937 12525 833 1460 0 12468 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55748
[startup+51.1002 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 563
/proc/meminfo: memFree=28335092/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=55748 CPUtime=51.08 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 13073 0 0 0 5066 42 0 0 20 0 1 0 268559792 57085952 12610 33554432000 4194304 10173063 140733993945904 140733993939208 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/562/statm: 13937 12610 836 1460 0 12468 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 55748
[startup+102.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 564
/proc/meminfo: memFree=28335208/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=55748 CPUtime=102.28 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 13073 0 0 0 10142 86 0 0 20 0 1 0 268559792 57085952 12610 33554432000 4194304 10173063 140733993945904 140733993938840 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/562/statm: 13937 12610 836 1460 0 12468 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 55748
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 564
/proc/meminfo: memFree=28334724/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=55748 CPUtime=162.26 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 13074 0 0 0 16089 137 0 0 20 0 1 0 268559792 57085952 12611 33554432000 4194304 10173063 140733993945904 140733993942376 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/562/statm: 13937 12611 836 1460 0 12468 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 55748
[startup+222.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 564
/proc/meminfo: memFree=28330016/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=55748 CPUtime=222.25 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 13327 0 0 0 22039 186 0 0 20 0 1 0 268559792 57085952 12864 33554432000 4194304 10173063 140733993945904 140733993939160 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/562/statm: 13937 12864 836 1460 0 12468 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 55748
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 568
/proc/meminfo: memFree=28330496/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=55748 CPUtime=282.24 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 13330 0 0 0 27989 235 0 0 20 0 1 0 268559792 57085952 12867 33554432000 4194304 10173063 140733993945904 140733993939160 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/562/statm: 13937 12867 836 1460 0 12468 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 55748
[startup+342.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 568
/proc/meminfo: memFree=28330264/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=55748 CPUtime=342.24 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 13330 0 0 0 33931 293 0 0 20 0 1 0 268559792 57085952 12867 33554432000 4194304 10173063 140733993945904 140733993939256 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/562/statm: 13937 12867 836 1460 0 12468 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 55748
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 606
/proc/meminfo: memFree=29235356/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=55748 CPUtime=402.22 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 13342 0 0 0 39877 345 0 0 20 0 1 0 268559792 57085952 13022 33554432000 4194304 10173063 140733993945904 140733993939160 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/562/statm: 13937 13022 836 1460 0 12468 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 55748
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 606
/proc/meminfo: memFree=29232604/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=55748 CPUtime=462.2 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 13343 0 0 0 45828 392 0 0 20 0 1 0 268559792 57085952 13023 33554432000 4194304 10173063 140733993945904 140733993939400 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/562/statm: 13937 13023 836 1460 0 12468 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 55748
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 606
/proc/meminfo: memFree=29232120/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=56280 CPUtime=522.19 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 13423 0 0 0 51776 443 0 0 20 0 1 0 268559792 57630720 13103 33554432000 4194304 10173063 140733993945904 140733993939160 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/562/statm: 14070 13103 836 1460 0 12601 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 56280
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 607
/proc/meminfo: memFree=29231756/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=56756 CPUtime=582.18 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 13518 0 0 0 57725 493 0 0 20 0 1 0 268559792 58118144 13198 33554432000 4194304 10173063 140733993945904 140733993939160 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/562/statm: 14189 13198 836 1460 0 12720 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 56756
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 607
/proc/meminfo: memFree=29229824/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=57472 CPUtime=642.17 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 13759 0 0 0 63680 537 0 0 20 0 1 0 268559792 58851328 13673 33554432000 4194304 10173063 140733993945904 140733993939256 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/562/statm: 14368 13673 836 1460 0 12899 0
Current children cumulated CPU time (s) 642.17
Current children cumulated vsize (KiB) 57472
[startup+702.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 607
/proc/meminfo: memFree=29229580/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=57472 CPUtime=702.17 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 13785 0 0 0 69631 586 0 0 20 0 1 0 268559792 58851328 13699 33554432000 4194304 10173063 140733993945904 140733993939544 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/562/statm: 14368 13699 836 1460 0 12899 0
Current children cumulated CPU time (s) 702.17
Current children cumulated vsize (KiB) 57472
[startup+762.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 607
/proc/meminfo: memFree=29228928/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=58456 CPUtime=762.16 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 15204 0 0 0 75583 633 0 0 20 0 1 0 268559792 59858944 13899 33554432000 4194304 10173063 140733993945904 140733993938520 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/562/statm: 14614 13899 836 1460 0 13145 0
Current children cumulated CPU time (s) 762.16
Current children cumulated vsize (KiB) 58456
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 607
/proc/meminfo: memFree=29227940/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=59524 CPUtime=822.15 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 17269 0 0 0 81537 678 0 0 20 0 1 0 268559792 60952576 14184 33554432000 4194304 10173063 140733993945904 140733993942376 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/562/statm: 14881 14184 836 1460 0 13412 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 59524
[startup+882.308 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 611
/proc/meminfo: memFree=29226732/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=60788 CPUtime=882.15 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 18070 0 0 0 87486 729 0 0 20 0 1 0 268559792 62246912 14482 33554432000 4194304 10173063 140733993945904 140733993939160 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/562/statm: 15197 14482 836 1460 0 13728 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 60788
Solver just ended. Dumping a history of the last processes samples
[startup+896 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 611
/proc/meminfo: memFree=29226736/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=60788 CPUtime=895.83 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 18085 0 0 0 88842 741 0 0 20 0 1 0 268559792 62246912 14497 33554432000 4194304 10173063 140733993945904 140733993939256 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/562/statm: 15197 14497 836 1460 0 13728 0
Current children cumulated CPU time (s) 895.83
Current children cumulated vsize (KiB) 60788
[startup+921.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 611
/proc/meminfo: memFree=29226248/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=61228 CPUtime=921.43 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 18210 0 0 0 91382 761 0 0 20 0 1 0 268559792 62697472 14622 33554432000 4194304 10173063 140733993945904 140733993939256 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/562/statm: 15307 14622 836 1460 0 13838 0
Current children cumulated CPU time (s) 921.43
Current children cumulated vsize (KiB) 61228
[startup+928 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 611
/proc/meminfo: memFree=29226008/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=60048 CPUtime=927.83 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 18350 0 0 0 92018 765 0 0 20 0 1 0 268559792 61489152 14282 33554432000 4194304 10173063 140733993945904 140733993939256 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/562/statm: 15012 14282 836 1460 0 13543 0
Current children cumulated CPU time (s) 927.83
Current children cumulated vsize (KiB) 60048
[startup+934.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 611
/proc/meminfo: memFree=29225692/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=61120 CPUtime=934.22 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 18591 0 0 0 92650 772 0 0 20 0 1 0 268559792 62586880 14594 33554432000 4194304 10173063 140733993945904 140733993939256 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/562/statm: 15280 14594 836 1460 0 13811 0
Current children cumulated CPU time (s) 934.22
Current children cumulated vsize (KiB) 61120
[startup+936 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 611
/proc/meminfo: memFree=29225692/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=61120 CPUtime=935.83 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 18591 0 0 0 92809 774 0 0 20 0 1 0 268559792 62586880 14594 33554432000 4194304 10173063 140733993945904 140733993938888 8963895 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/562/statm: 15280 14594 836 1460 0 13811 0
Current children cumulated CPU time (s) 935.83
Current children cumulated vsize (KiB) 61120
[startup+937.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 611
/proc/meminfo: memFree=29225692/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=61120 CPUtime=937.42 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 18591 0 0 0 92967 775 0 0 20 0 1 0 268559792 62586880 14594 33554432000 4194304 10173063 140733993945904 140733993939160 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/562/statm: 15280 14594 836 1460 0 13811 0
Current children cumulated CPU time (s) 937.42
Current children cumulated vsize (KiB) 61120
[startup+938 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 611
/proc/meminfo: memFree=29225692/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=61120 CPUtime=937.83 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 18591 0 0 0 93007 776 0 0 20 0 1 0 268559792 62586880 14594 33554432000 4194304 10173063 140733993945904 140733993939544 8982074 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/562/statm: 15280 14594 836 1460 0 13811 0
Current children cumulated CPU time (s) 937.83
Current children cumulated vsize (KiB) 61120
[startup+938.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 611
/proc/meminfo: memFree=29225692/32873648 swapFree=6844/6844
[pid=562] ppid=560 vsize=61120 CPUtime=938.03 cores=1,3,5,7
/proc/562/stat : 562 (scip-2.1.1.4fix) R 560 562 32411 0 -1 4202496 18592 0 0 0 93027 776 0 0 20 0 1 0 268559792 62586880 14595 33554432000 4194304 10173063 140733993945904 140733993939544 7545032 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/562/statm: 15280 14595 837 1460 0 13811 0
Current children cumulated CPU time (s) 938.03
Current children cumulated vsize (KiB) 61120
Child status: 0
Real time (s): 938.227
CPU time (s): 938.062
CPU user time (s): 930.298
CPU system time (s): 7.76482
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 61484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 930.298
system time used= 7.76482
maximum resident set size= 58764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18597
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= 19
involuntary context switches= 1030
runsolver used 1.55176 second user time and 4.47732 second system time
The end