0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 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-2664262-1276268856.opb>
0.01/0.05 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 410 constraints
0.01/0.05 c problem read
0.01/0.05 c No objective function, only one solution is needed.
0.01/0.05 c presolving settings loaded
0.01/0.05 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.01/0.07 c presolving:
0.01/0.09 c (round 1) 0 del vars, 180 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 50 upgd conss, 0 impls, 180 clqs
0.09/0.18 c (round 2) 0 del vars, 180 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 230 upgd conss, 0 impls, 180 clqs
0.09/0.19 c presolving (3 rounds):
0.09/0.19 c 0 deleted vars, 180 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19 c 0 implications, 180 cliques
0.09/0.19 c presolved problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 230 constraints
0.09/0.19 c 50 constraints of type <knapsack>
0.09/0.19 c 180 constraints of type <setppc>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.11
0.09/0.19 c - non default parameters ----------------------------------------------------------------------
0.09/0.19 c # SCIP version 1.2.1.2
0.09/0.19 c
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = 10000
0.09/0.19 c
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = 1799.96
0.09/0.19 c
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = 1620
0.09/0.19 c
0.09/0.19 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c limits/solutions = 1
0.09/0.19 c
0.09/0.19 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c lp/solvefreq = -1
0.09/0.19 c
0.09/0.19 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.19 c separating/maxrounds = 1
0.09/0.19 c
0.09/0.19 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c separating/maxroundsroot = 5
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify inequalities
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/linear/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.19 c constraints/knapsack/disaggregation = FALSE
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify knapsacks
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c presolving/probing/maxrounds = 0
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.19 c heuristics/coefdiving/freq = -1
0.09/0.19 c
0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.19 c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.19 c
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.19 c heuristics/crossover/freq = -1
0.09/0.19 c
0.09/0.19 c # number of nodes added to the contingent of the total nodes
0.09/0.19 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.19 c heuristics/crossover/nodesofs = 750
0.09/0.19 c
0.09/0.19 c # number of nodes without incumbent change that heuristic should wait
0.09/0.19 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.19 c heuristics/crossover/nwaitingnodes = 100
0.09/0.19 c
0.09/0.19 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.19 c # [type: real, range: [0,1], default: 0.1]
0.09/0.19 c heuristics/crossover/nodesquot = 0.15
0.09/0.19 c
0.09/0.19 c # minimum percentage of integer variables that have to be fixed
0.09/0.19 c # [type: real, range: [0,1], default: 0.666]
0.09/0.19 c heuristics/crossover/minfixingrate = 0.5
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.19 c heuristics/feaspump/freq = -1
0.09/0.19 c
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/feaspump/maxlpiterofs = 2000
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.19 c heuristics/fracdiving/freq = -1
0.09/0.19 c
0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.19 c heuristics/fracdiving/maxlpiterquot = 0.075
0.09/0.19 c
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/fracdiving/maxlpiterofs = 1500
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.19 c heuristics/guideddiving/freq = -1
0.09/0.19 c
0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.19 c heuristics/guideddiving/maxlpiterquot = 0.075
0.09/0.19 c
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/guideddiving/maxlpiterofs = 1500
0.09/0.19 c
0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.19 c heuristics/intdiving/maxlpiterquot = 0.075
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.19 c heuristics/intshifting/freq = -1
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.19 c heuristics/linesearchdiving/freq = -1
0.09/0.19 c
0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.19 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.09/0.19 c
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <nlp> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c heuristics/nlp/freq = -1
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.19 c heuristics/objpscostdiving/freq = -1
0.09/0.19 c
0.09/0.19 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.19 c # [type: real, range: [0,1], default: 0.01]
0.09/0.19 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.09/0.19 c
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c heuristics/oneopt/freq = -1
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.19 c heuristics/pscostdiving/freq = -1
0.09/0.19 c
0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.19 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.09/0.19 c
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/pscostdiving/maxlpiterofs = 1500
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.19 c heuristics/rens/freq = -1
0.09/0.19 c
0.09/0.19 c # minimum percentage of integer variables that have to be fixable
0.09/0.19 c # [type: real, range: [0,1], default: 0.5]
0.09/0.19 c heuristics/rens/minfixingrate = 0.3
0.09/0.19 c
0.09/0.19 c # number of nodes added to the contingent of the total nodes
0.09/0.19 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.19 c heuristics/rens/nodesofs = 2000
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.19 c heuristics/rootsoldiving/freq = -1
0.09/0.19 c
0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.19 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.09/0.19 c
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c heuristics/rounding/freq = -1
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.19 c heuristics/shifting/freq = -1
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c heuristics/simplerounding/freq = -1
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.19 c heuristics/trivial/freq = -1
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c heuristics/trysol/freq = -1
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.19 c heuristics/veclendiving/freq = -1
0.09/0.19 c
0.09/0.19 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.19 c heuristics/veclendiving/maxlpiterquot = 0.075
0.09/0.19 c
0.09/0.19 c # additional number of allowed LP iterations
0.09/0.19 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.19 c heuristics/veclendiving/maxlpiterofs = 1500
0.09/0.19 c
0.09/0.19 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c heuristics/zirounding/freq = -1
0.09/0.19 c
0.09/0.19 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.19 c separating/cmir/freq = -1
0.09/0.19 c
0.09/0.19 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.19 c separating/flowcover/freq = -1
0.09/0.19 c
0.09/0.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c separating/rapidlearning/freq = 0
0.09/0.19 c
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c start solving
0.09/0.19 c
0.09/0.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.19 c 0.1s| 1 | 2 | 0 | - |6320k| 0 | - |2025 | 230 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
8.59/8.61 c 8.4s| 10000 | 9910 | 0 | 0.0 | 10M| 939 | - |2025 | 456 | 0 | 0 | 0 | 227 | 0 | 0.000000e+00 | -- | Inf
18.08/18.18 c 17.8s| 20000 | 19831 | 0 | 0.0 | 14M| 939 | - |2025 | 671 | 0 | 0 | 0 | 443 | 0 | 0.000000e+00 | -- | Inf
27.08/27.14 c 26.6s| 30000 | 29758 | 0 | 0.0 | 17M| 939 | - |2025 | 790 | 0 | 0 | 0 | 577 | 0 | 0.000000e+00 | -- | Inf
35.88/35.96 c 35.3s| 40000 | 39683 | 0 | 0.0 | 20M| 939 | - |2025 | 939 | 0 | 0 | 0 | 765 | 0 | 0.000000e+00 | -- | Inf
44.68/44.77 c 44.0s| 50000 | 49590 | 0 | 0.0 | 24M| 939 | - |2025 |1116 | 0 | 0 | 0 | 986 | 0 | 0.000000e+00 | -- | Inf
52.68/52.70 c 51.8s| 60000 | 59471 | 0 | 0.0 | 28M| 939 | - |2025 |1356 | 0 | 0 | 0 |1309 | 0 | 0.000000e+00 | -- | Inf
60.48/60.51 c 59.5s| 70000 | 69326 | 0 | 0.0 | 32M| 939 | - |2025 |1595 | 0 | 0 | 0 |1717 | 0 | 0.000000e+00 | -- | Inf
68.08/68.16 c 66.9s| 80000 | 79172 | 0 | 0.0 | 36M| 939 | - |2025 |1915 | 0 | 0 | 0 |2269 | 0 | 0.000000e+00 | -- | Inf
75.37/75.49 c 74.1s| 90000 | 88994 | 0 | 0.0 | 41M| 939 | - |2025 |2189 | 0 | 0 | 0 |2864 | 0 | 0.000000e+00 | -- | Inf
82.56/82.68 c 81.2s|100000 | 98758 | 0 | 0.0 | 46M| 939 | - |2025 |2456 | 0 | 0 | 0 |3525 | 0 | 0.000000e+00 | -- | Inf
89.37/89.45 c 87.8s|110000 |108398 | 0 | 0.0 | 52M| 939 | - |2025 |2851 | 0 | 0 | 0 |4527 | 0 | 0.000000e+00 | -- | Inf
98.47/98.59 c 96.7s|120000 |117149 | 0 | 0.0 | 60M| 939 | - |2025 |2572 | 0 | 0 | 0 |6645 | 0 | 0.000000e+00 | -- | Inf
107.26/107.39 c 105s|130000 |127094 | 0 | 0.0 | 63M| 939 | - |2025 |1955 | 0 | 0 | 0 |6746 | 0 | 0.000000e+00 | -- | Inf
116.06/116.13 c 114s|140000 |137007 | 0 | 0.0 | 65M| 939 | - |2025 |1404 | 0 | 0 | 0 |6903 | 0 | 0.000000e+00 | -- | Inf
124.76/124.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.76/124.83 c 123s|150000 |146919 | 0 | 0.0 | 68M| 939 | - |2025 |1133 | 0 | 0 | 0 |7100 | 0 | 0.000000e+00 | -- | Inf
133.36/133.45 c 131s|160000 |156851 | 0 | 0.0 | 71M| 939 | - |2025 | 942 | 0 | 0 | 0 |7256 | 0 | 0.000000e+00 | -- | Inf
141.86/141.99 c 139s|170000 |166787 | 0 | 0.0 | 74M| 939 | - |2025 | 855 | 0 | 0 | 0 |7411 | 0 | 0.000000e+00 | -- | Inf
150.46/150.57 c 148s|180000 |176708 | 0 | 0.0 | 78M| 939 | - |2025 | 860 | 0 | 0 | 0 |7659 | 0 | 0.000000e+00 | -- | Inf
159.05/159.11 c 156s|190000 |186630 | 0 | 0.0 | 81M| 939 | - |2025 | 808 | 0 | 0 | 0 |7870 | 0 | 0.000000e+00 | -- | Inf
167.46/167.52 c 165s|200000 |196543 | 0 | 0.0 | 85M| 939 | - |2025 | 785 | 0 | 0 | 0 |8093 | 0 | 0.000000e+00 | -- | Inf
176.15/176.20 c 173s|210000 |206426 | 0 | 0.0 | 88M| 939 | - |2025 | 824 | 0 | 0 | 0 |8394 | 0 | 0.000000e+00 | -- | Inf
184.46/184.57 c 181s|220000 |216341 | 0 | 0.0 | 92M| 939 | - |2025 | 844 | 0 | 0 | 0 |8643 | 0 | 0.000000e+00 | -- | Inf
193.05/193.19 c 190s|230000 |226236 | 0 | 0.0 | 96M| 939 | - |2025 | 872 | 0 | 0 | 0 |8915 | 0 | 0.000000e+00 | -- | Inf
201.65/201.71 c 198s|240000 |236128 | 0 | 0.0 | 100M| 939 | - |2025 | 873 | 0 | 0 | 0 |9197 | 0 | 0.000000e+00 | -- | Inf
210.25/210.32 c 207s|250000 |246018 | 0 | 0.0 | 103M| 939 | - |2025 | 826 | 0 | 0 | 0 |9456 | 0 | 0.000000e+00 | -- | Inf
218.85/218.99 c 215s|260000 |255909 | 0 | 0.0 | 107M| 939 | - |2025 | 814 | 0 | 0 | 0 |9738 | 0 | 0.000000e+00 | -- | Inf
227.55/227.63 c 224s|270000 |265785 | 0 | 0.0 | 111M| 939 | - |2025 | 801 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
236.15/236.28 c 232s|280000 |275672 | 0 | 0.0 | 114M| 939 | - |2025 | 847 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
244.94/245.03 c 241s|290000 |285555 | 0 | 0.0 | 118M| 939 | - |2025 | 866 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
253.54/253.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
253.54/253.67 c 249s|300000 |295441 | 0 | 0.0 | 122M| 939 | - |2025 | 830 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
262.14/262.28 c 258s|310000 |305342 | 0 | 0.0 | 126M| 939 | - |2025 | 818 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
270.74/270.82 c 266s|320000 |315230 | 0 | 0.0 | 129M| 939 | - |2025 | 848 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
279.43/279.56 c 275s|330000 |325093 | 0 | 0.0 | 133M| 939 | - |2025 | 786 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | -- | Inf
288.23/288.33 c 283s|340000 |334975 | 0 | 0.0 | 137M| 939 | - |2025 | 767 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
297.03/297.10 c 292s|350000 |344852 | 0 | 0.0 | 140M| 939 | - |2025 | 810 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
305.74/305.84 c 301s|360000 |354748 | 0 | 0.0 | 144M| 939 | - |2025 | 806 | 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | -- | Inf
314.43/314.60 c 309s|370000 |364629 | 0 | 0.0 | 148M| 939 | - |2025 | 788 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
323.23/323.34 c 318s|380000 |374524 | 0 | 0.0 | 151M| 939 | - |2025 | 732 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
332.03/332.11 c 327s|390000 |384415 | 0 | 0.0 | 155M| 939 | - |2025 | 743 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
340.82/340.94 c 335s|400000 |394304 | 0 | 0.0 | 158M| 939 | - |2025 | 774 | 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | -- | Inf
349.63/349.74 c 344s|410000 |404198 | 0 | 0.0 | 162M| 939 | - |2025 | 721 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
358.32/358.49 c 353s|420000 |414061 | 0 | 0.0 | 166M| 939 | - |2025 | 810 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | -- | Inf
367.23/367.38 c 361s|430000 |423945 | 0 | 0.0 | 170M| 939 | - |2025 | 737 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
376.02/376.11 c 370s|440000 |433826 | 0 | 0.0 | 174M| 939 | - |2025 | 741 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
384.71/384.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
384.71/384.81 c 378s|450000 |443731 | 0 | 0.0 | 177M| 939 | - |2025 | 699 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
393.51/393.68 c 387s|460000 |453591 | 0 | 0.0 | 181M| 939 | - |2025 | 723 | 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | -- | Inf
402.20/402.34 c 396s|470000 |463459 | 0 | 0.0 | 185M| 939 | - |2025 | 794 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
411.00/411.15 c 404s|480000 |473354 | 0 | 0.0 | 188M| 939 | - |2025 | 784 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
419.90/420.05 c 413s|490000 |483252 | 0 | 0.0 | 192M| 939 | - |2025 | 746 | 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | -- | Inf
428.60/428.78 c 422s|500000 |493149 | 0 | 0.0 | 196M| 939 | - |2025 | 794 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
437.39/437.53 c 430s|510000 |502993 | 0 | 0.0 | 199M| 939 | - |2025 | 817 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
446.20/446.35 c 439s|520000 |512869 | 0 | 0.0 | 203M| 939 | - |2025 | 753 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | -- | Inf
454.89/455.02 c 447s|530000 |522774 | 0 | 0.0 | 207M| 939 | - |2025 | 769 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
463.38/463.60 c 456s|540000 |532645 | 0 | 0.0 | 210M| 939 | - |2025 | 798 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
472.18/472.37 c 465s|550000 |542540 | 0 | 0.0 | 214M| 939 | - |2025 | 763 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
480.98/481.13 c 473s|560000 |552441 | 0 | 0.0 | 218M| 939 | - |2025 | 778 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
489.68/489.86 c 482s|570000 |562338 | 0 | 0.0 | 221M| 939 | - |2025 | 772 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
498.38/498.57 c 490s|580000 |572216 | 0 | 0.0 | 225M| 939 | - |2025 | 805 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
507.08/507.22 c 499s|590000 |582112 | 0 | 0.0 | 229M| 939 | - |2025 | 796 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | -- | Inf
515.68/515.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
515.68/515.87 c 507s|600000 |592004 | 0 | 0.0 | 233M| 939 | - |2025 | 775 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
524.48/524.62 c 516s|610000 |601875 | 0 | 0.0 | 237M| 939 | - |2025 | 750 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
533.28/533.43 c 525s|620000 |611740 | 0 | 0.0 | 240M| 939 | - |2025 | 765 | 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | -- | Inf
542.08/542.21 c 533s|630000 |621630 | 0 | 0.0 | 244M| 939 | - |2025 | 736 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
550.67/550.82 c 542s|640000 |631509 | 0 | 0.0 | 248M| 939 | - |2025 | 764 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
559.27/559.47 c 550s|650000 |641424 | 0 | 0.0 | 251M| 939 | - |2025 | 708 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
567.96/568.15 c 559s|660000 |651281 | 0 | 0.0 | 255M| 939 | - |2025 | 802 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
576.76/576.99 c 568s|670000 |661179 | 0 | 0.0 | 259M| 939 | - |2025 | 718 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
585.56/585.78 c 576s|680000 |671030 | 0 | 0.0 | 262M| 939 | - |2025 | 810 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | -- | Inf
594.36/594.56 c 585s|690000 |680902 | 0 | 0.0 | 266M| 939 | - |2025 | 817 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
603.05/603.27 c 593s|700000 |690776 | 0 | 0.0 | 270M| 939 | - |2025 | 799 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
611.85/612.02 c 602s|710000 |700659 | 0 | 0.0 | 274M| 939 | - |2025 | 760 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | -- | Inf
620.45/620.69 c 610s|720000 |710550 | 0 | 0.0 | 277M| 939 | - |2025 | 727 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
629.25/629.47 c 619s|730000 |720425 | 0 | 0.0 | 281M| 939 | - |2025 | 738 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
638.03/638.22 c 628s|740000 |730303 | 0 | 0.0 | 285M| 939 | - |2025 | 778 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | -- | Inf
646.72/646.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
646.72/646.94 c 636s|750000 |740194 | 0 | 0.0 | 288M| 939 | - |2025 | 763 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
655.43/655.69 c 645s|760000 |750071 | 0 | 0.0 | 292M| 939 | - |2025 | 723 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
664.22/664.40 c 653s|770000 |759937 | 0 | 0.0 | 296M| 939 | - |2025 | 746 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | -- | Inf
673.03/673.23 c 662s|780000 |769831 | 0 | 0.0 | 299M| 939 | - |2025 | 712 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
681.82/682.08 c 671s|790000 |779694 | 0 | 0.0 | 303M| 939 | - |2025 | 743 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
690.62/690.81 c 679s|800000 |789576 | 0 | 0.0 | 307M| 939 | - |2025 | 771 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
699.21/699.43 c 688s|810000 |799459 | 0 | 0.0 | 310M| 939 | - |2025 | 767 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
707.90/708.11 c 696s|820000 |809328 | 0 | 0.0 | 314M| 939 | - |2025 | 788 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
716.60/716.89 c 705s|830000 |819193 | 0 | 0.0 | 318M| 939 | - |2025 | 790 | 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | -- | Inf
725.20/725.47 c 714s|840000 |829053 | 0 | 0.0 | 322M| 939 | - |2025 | 795 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
733.89/734.12 c 722s|850000 |838934 | 0 | 0.0 | 325M| 939 | - |2025 | 767 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
742.59/742.82 c 731s|860000 |848795 | 0 | 0.0 | 329M| 939 | - |2025 | 746 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | -- | Inf
751.19/751.40 c 739s|870000 |858662 | 0 | 0.0 | 333M| 939 | - |2025 | 746 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
759.79/760.09 c 748s|880000 |868544 | 0 | 0.0 | 336M| 939 | - |2025 | 720 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
768.48/768.78 c 756s|890000 |878385 | 0 | 0.0 | 340M| 939 | - |2025 | 816 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
777.29/777.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
777.29/777.58 c 765s|900000 |888242 | 0 | 0.0 | 344M| 939 | - |2025 | 770 | 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | -- | Inf
785.88/786.16 c 773s|910000 |898115 | 0 | 0.0 | 348M| 939 | - |2025 | 762 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
794.49/794.74 c 782s|920000 |908000 | 0 | 0.0 | 351M| 939 | - |2025 | 786 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
803.28/803.51 c 790s|930000 |917877 | 0 | 0.0 | 355M| 939 | - |2025 | 801 | 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | -- | Inf
811.98/812.20 c 799s|940000 |927732 | 0 | 0.0 | 359M| 939 | - |2025 | 819 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
820.57/820.87 c 807s|950000 |937586 | 0 | 0.0 | 363M| 939 | - |2025 | 836 | 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | -- | Inf
829.27/829.55 c 816s|960000 |947452 | 0 | 0.0 | 366M| 939 | - |2025 | 782 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
837.98/838.21 c 824s|970000 |957329 | 0 | 0.0 | 370M| 939 | - |2025 | 798 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
846.57/846.89 c 833s|980000 |967196 | 0 | 0.0 | 374M| 939 | - |2025 | 800 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | -- | Inf
855.26/855.55 c 841s|990000 |977084 | 0 | 0.0 | 377M| 939 | - |2025 | 752 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
864.16/864.48 c 850s| 1000k|986898 | 0 | 0.0 | 381M| 939 | - |2025 | 798 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
872.86/873.16 c 859s| 1010k|996769 | 0 | 0.0 | 385M| 939 | - |2025 | 759 | 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | -- | Inf
881.55/881.87 c 867s| 1020k| 1006k| 0 | 0.0 | 389M| 939 | - |2025 | 763 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
890.35/890.62 c 876s| 1030k| 1016k| 0 | 0.0 | 392M| 939 | - |2025 | 727 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
898.85/899.15 c 884s| 1040k| 1026k| 0 | 0.0 | 396M| 939 | - |2025 | 799 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
907.55/907.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
907.55/907.89 c 893s| 1050k| 1036k| 0 | 0.0 | 400M| 939 | - |2025 | 847 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
916.14/916.46 c 901s| 1060k| 1046k| 0 | 0.0 | 404M| 939 | - |2025 | 770 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
924.76/925.10 c 910s| 1070k| 1056k| 0 | 0.0 | 407M| 939 | - |2025 | 784 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | -- | Inf
933.44/933.77 c 918s| 1080k| 1065k| 0 | 0.0 | 411M| 939 | - |2025 | 778 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
942.14/942.41 c 927s| 1090k| 1075k| 0 | 0.0 | 414M| 939 | - |2025 | 766 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
950.64/950.98 c 935s| 1100k| 1085k| 0 | 0.0 | 418M| 939 | - |2025 | 765 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | -- | Inf
959.23/959.53 c 944s| 1110k| 1095k| 0 | 0.0 | 422M| 939 | - |2025 | 728 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
967.74/968.06 c 952s| 1120k| 1105k| 0 | 0.0 | 426M| 939 | - |2025 | 726 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
976.33/976.61 c 960s| 1130k| 1115k| 0 | 0.0 | 429M| 939 | - |2025 | 869 | 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | -- | Inf
985.12/985.43 c 969s| 1140k| 1125k| 0 | 0.0 | 433M| 939 | - |2025 | 851 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
994.03/994.33 c 978s| 1150k| 1134k| 0 | 0.0 | 437M| 939 | - |2025 | 839 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1002.73/1003.02 c 986s| 1160k| 1144k| 0 | 0.0 | 440M| 939 | - |2025 | 805 | 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | -- | Inf
1011.52/1011.83 c 995s| 1170k| 1154k| 0 | 0.0 | 444M| 939 | - |2025 | 773 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1020.32/1020.60 c 1004s| 1180k| 1164k| 0 | 0.0 | 448M| 939 | - |2025 | 805 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1028.92/1029.21 c 1012s| 1190k| 1174k| 0 | 0.0 | 452M| 939 | - |2025 | 816 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1037.72/1038.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1037.72/1038.02 c 1021s| 1200k| 1184k| 0 | 0.0 | 455M| 939 | - |2025 | 838 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | -- | Inf
1046.41/1046.78 c 1029s| 1210k| 1194k| 0 | 0.0 | 459M| 939 | - |2025 | 814 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1055.21/1055.51 c 1038s| 1220k| 1204k| 0 | 0.0 | 463M| 939 | - |2025 | 846 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1063.91/1064.24 c 1047s| 1230k| 1213k| 0 | 0.0 | 466M| 939 | - |2025 | 843 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1072.41/1072.74 c 1055s| 1240k| 1223k| 0 | 0.0 | 470M| 939 | - |2025 | 807 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1081.01/1081.35 c 1063s| 1250k| 1233k| 0 | 0.0 | 474M| 939 | - |2025 | 787 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1089.71/1090.10 c 1072s| 1260k| 1243k| 0 | 0.0 | 478M| 939 | - |2025 | 800 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1098.51/1098.81 c 1081s| 1270k| 1253k| 0 | 0.0 | 481M| 939 | - |2025 | 785 | 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | -- | Inf
1107.19/1107.56 c 1089s| 1280k| 1263k| 0 | 0.0 | 485M| 939 | - |2025 | 812 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1115.80/1116.15 c 1098s| 1290k| 1273k| 0 | 0.0 | 489M| 939 | - |2025 | 845 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1124.49/1124.88 c 1106s| 1300k| 1283k| 0 | 0.0 | 493M| 939 | - |2025 | 847 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | -- | Inf
1133.19/1133.55 c 1115s| 1310k| 1292k| 0 | 0.0 | 497M| 939 | - |2025 | 849 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1141.58/1141.96 c 1123s| 1320k| 1302k| 0 | 0.0 | 500M| 939 | - |2025 | 847 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1150.08/1150.49 c 1131s| 1330k| 1312k| 0 | 0.0 | 504M| 939 | - |2025 | 901 | 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | -- | Inf
1158.88/1159.28 c 1140s| 1340k| 1322k| 0 | 0.0 | 508M| 939 | - |2025 | 830 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1167.38/1167.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1167.38/1167.79 c 1148s| 1350k| 1332k| 0 | 0.0 | 512M| 939 | - |2025 | 852 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1176.08/1176.48 c 1157s| 1360k| 1342k| 0 | 0.0 | 515M| 939 | - |2025 | 874 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1184.57/1184.95 c 1165s| 1370k| 1352k| 0 | 0.0 | 519M| 939 | - |2025 | 878 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | -- | Inf
1193.08/1193.47 c 1174s| 1380k| 1362k| 0 | 0.0 | 523M| 939 | - |2025 | 876 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1201.77/1202.18 c 1182s| 1390k| 1371k| 0 | 0.0 | 527M| 939 | - |2025 | 854 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1210.37/1210.73 c 1191s| 1400k| 1381k| 0 | 0.0 | 530M| 939 | - |2025 | 803 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1218.86/1219.20 c 1199s| 1410k| 1391k| 0 | 0.0 | 534M| 939 | - |2025 | 818 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | -- | Inf
1227.36/1227.76 c 1207s| 1420k| 1401k| 0 | 0.0 | 537M| 939 | - |2025 | 792 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1235.86/1236.25 c 1216s| 1430k| 1411k| 0 | 0.0 | 541M| 939 | - |2025 | 839 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1244.45/1244.88 c 1224s| 1440k| 1421k| 0 | 0.0 | 545M| 939 | - |2025 | 816 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1253.05/1253.49 c 1233s| 1450k| 1431k| 0 | 0.0 | 548M| 939 | - |2025 | 832 | 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | -- | Inf
1261.65/1262.04 c 1241s| 1460k| 1441k| 0 | 0.0 | 552M| 939 | - |2025 | 812 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1270.24/1270.67 c 1250s| 1470k| 1451k| 0 | 0.0 | 556M| 939 | - |2025 | 851 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1278.85/1279.24 c 1258s| 1480k| 1460k| 0 | 0.0 | 560M| 939 | - |2025 | 851 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1287.24/1287.67 c 1266s| 1490k| 1470k| 0 | 0.0 | 563M| 939 | - |2025 | 939 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1295.74/1296.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1295.74/1296.13 c 1275s| 1500k| 1480k| 0 | 0.0 | 567M| 939 | - |2025 | 956 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1304.44/1304.90 c 1283s| 1510k| 1490k| 0 | 0.0 | 571M| 939 | - |2025 | 985 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1312.95/1313.38 c 1292s| 1520k| 1500k| 0 | 0.0 | 574M| 939 | - |2025 | 956 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | -- | Inf
1321.54/1321.93 c 1300s| 1530k| 1510k| 0 | 0.0 | 578M| 939 | - |2025 | 905 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1330.03/1330.41 c 1308s| 1540k| 1520k| 0 | 0.0 | 582M| 939 | - |2025 | 893 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1338.43/1338.84 c 1317s| 1550k| 1530k| 0 | 0.0 | 586M| 939 | - |2025 | 939 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | -- | Inf
1347.13/1347.58 c 1325s| 1560k| 1539k| 0 | 0.0 | 589M| 939 | - |2025 | 947 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1355.83/1356.28 c 1334s| 1570k| 1549k| 0 | 0.0 | 593M| 939 | - |2025 | 937 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1364.32/1364.78 c 1342s| 1580k| 1559k| 0 | 0.0 | 597M| 939 | - |2025 | 908 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | -- | Inf
1373.02/1373.43 c 1351s| 1590k| 1569k| 0 | 0.0 | 600M| 939 | - |2025 | 887 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1381.81/1382.22 c 1359s| 1600k| 1579k| 0 | 0.0 | 604M| 939 | - |2025 | 869 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1390.31/1390.76 c 1368s| 1610k| 1589k| 0 | 0.0 | 608M| 939 | - |2025 | 910 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1399.01/1399.44 c 1376s| 1620k| 1599k| 0 | 0.0 | 611M| 939 | - |2025 | 927 | 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | -- | Inf
1407.52/1407.98 c 1385s| 1630k| 1608k| 0 | 0.0 | 615M| 939 | - |2025 | 970 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1416.01/1416.47 c 1393s| 1640k| 1618k| 0 | 0.0 | 619M| 939 | - |2025 | 963 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1424.61/1425.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1424.61/1425.06 c 1401s| 1650k| 1628k| 0 | 0.0 | 622M| 939 | - |2025 | 893 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1433.10/1433.56 c 1410s| 1660k| 1638k| 0 | 0.0 | 626M| 939 | - |2025 | 903 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | -- | Inf
1441.71/1442.17 c 1418s| 1670k| 1648k| 0 | 0.0 | 629M| 939 | - |2025 | 964 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1450.40/1450.85 c 1427s| 1680k| 1658k| 0 | 0.0 | 633M| 939 | - |2025 | 986 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1459.10/1459.55 c 1435s| 1690k| 1668k| 0 | 0.0 | 637M| 939 | - |2025 | 975 | 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | -- | Inf
1467.69/1468.11 c 1444s| 1700k| 1678k| 0 | 0.0 | 641M| 939 | - |2025 | 961 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1476.19/1476.64 c 1452s| 1710k| 1688k| 0 | 0.0 | 644M| 939 | - |2025 | 952 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1484.69/1485.14 c 1461s| 1720k| 1697k| 0 | 0.0 | 648M| 939 | - |2025 |1019 | 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | -- | Inf
1493.19/1493.70 c 1469s| 1730k| 1707k| 0 | 0.0 | 652M| 939 | - |2025 | 987 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1501.78/1502.27 c 1477s| 1740k| 1717k| 0 | 0.0 | 656M| 939 | - |2025 |1006 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1510.38/1510.86 c 1486s| 1750k| 1727k| 0 | 0.0 | 659M| 939 | - |2025 | 983 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | -- | Inf
1519.08/1519.57 c 1494s| 1760k| 1737k| 0 | 0.0 | 663M| 939 | - |2025 | 936 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1527.58/1528.00 c 1503s| 1770k| 1747k| 0 | 0.0 | 667M| 939 | - |2025 | 974 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1536.08/1536.50 c 1511s| 1780k| 1757k| 0 | 0.0 | 670M| 939 | - |2025 | 988 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1544.38/1544.89 c 1519s| 1790k| 1766k| 0 | 0.0 | 674M| 939 | - |2025 | 941 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1552.97/1553.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1552.97/1553.42 c 1528s| 1800k| 1776k| 0 | 0.0 | 678M| 939 | - |2025 | 956 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1561.17/1561.61 c 1536s| 1810k| 1786k| 0 | 0.0 | 681M| 939 | - |2025 |1007 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1569.77/1570.27 c 1544s| 1820k| 1796k| 0 | 0.0 | 685M| 939 | - |2025 | 928 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1578.16/1578.66 c 1553s| 1830k| 1806k| 0 | 0.0 | 689M| 939 | - |2025 | 948 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | -- | Inf
1586.66/1587.12 c 1561s| 1840k| 1816k| 0 | 0.0 | 693M| 939 | - |2025 | 977 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1595.36/1595.84 c 1569s| 1850k| 1826k| 0 | 0.0 | 696M| 939 | - |2025 | 908 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1603.76/1604.23 c 1578s| 1860k| 1836k| 0 | 0.0 | 700M| 939 | - |2025 | 987 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1612.36/1612.84 c 1586s| 1870k| 1845k| 0 | 0.0 | 703M| 939 | - |2025 |1001 | 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | -- | Inf
1620.95/1621.45 c 1595s| 1880k| 1855k| 0 | 0.0 | 707M| 939 | - |2025 | 998 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1629.55/1630.01 c 1603s| 1890k| 1865k| 0 | 0.0 | 711M| 939 | - |2025 | 966 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1638.04/1638.54 c 1611s| 1900k| 1875k| 0 | 0.0 | 714M| 939 | - |2025 |1031 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | -- | Inf
1646.65/1647.11 c 1620s| 1910k| 1885k| 0 | 0.0 | 718M| 939 | - |2025 |1034 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1655.24/1655.80 c 1628s| 1920k| 1895k| 0 | 0.0 | 722M| 939 | - |2025 | 988 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1663.74/1664.28 c 1637s| 1930k| 1905k| 0 | 0.0 | 726M| 939 | - |2025 | 983 | 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | -- | Inf
1672.34/1672.84 c 1645s| 1940k| 1915k| 0 | 0.0 | 729M| 939 | - |2025 | 951 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1681.14/1681.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1681.14/1681.65 c 1654s| 1950k| 1924k| 0 | 0.0 | 733M| 939 | - |2025 | 965 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1689.63/1690.16 c 1662s| 1960k| 1934k| 0 | 0.0 | 737M| 939 | - |2025 |1011 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1698.63/1699.14 c 1671s| 1970k| 1944k| 0 | 0.0 | 740M| 939 | - |2025 | 989 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1707.03/1707.51 c 1679s| 1980k| 1954k| 0 | 0.0 | 744M| 939 | - |2025 |1042 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1715.72/1716.22 c 1688s| 1990k| 1964k| 0 | 0.0 | 748M| 939 | - |2025 |1057 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1724.02/1724.55 c 1696s| 2000k| 1974k| 0 | 0.0 | 751M| 939 | - |2025 |1027 | 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | -- | Inf
1732.42/1732.99 c 1704s| 2010k| 1984k| 0 | 0.0 | 755M| 939 | - |2025 |1051 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1740.91/1741.49 c 1713s| 2020k| 1994k| 0 | 0.0 | 758M| 939 | - |2025 |1005 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1749.62/1750.12 c 1721s| 2030k| 2003k| 0 | 0.0 | 762M| 939 | - |2025 |1036 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1758.01/1758.56 c 1729s| 2040k| 2013k| 0 | 0.0 | 766M| 939 | - |2025 |1091 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | -- | Inf
1766.61/1767.17 c 1738s| 2050k| 2023k| 0 | 0.0 | 770M| 939 | - |2025 |1054 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1775.01/1775.56 c 1746s| 2060k| 2033k| 0 | 0.0 | 774M| 939 | - |2025 |1050 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1783.41/1783.95 c 1754s| 2070k| 2043k| 0 | 0.0 | 778M| 939 | - |2025 |1039 | 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | -- | Inf
1792.00/1792.52 c 1763s| 2080k| 2053k| 0 | 0.0 | 782M| 939 | - |2025 |1105 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | -- | Inf
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.50 c
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time (sec) : 1770.74
1800.01/1800.50 c Solving Nodes : 2089217
1800.01/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.50 c Dual Bound : +0.00000000000000e+00
1800.01/1800.50 c Gap : infinite
1800.01/1800.50 s UNKNOWN
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time : 1770.74
1800.01/1800.50 c Original Problem :
1800.01/1800.50 c Problem name : HOME/instance-2664262-1276268856.opb
1800.01/1800.50 c Variables : 2025 (2025 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 410 initial, 410 maximal
1800.01/1800.50 c Presolved Problem :
1800.01/1800.50 c Problem name : t_HOME/instance-2664262-1276268856.opb
1800.01/1800.50 c Variables : 2025 (2025 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 230 initial, 3032 maximal
1800.01/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c probing : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c knapsack : 0.08 0 0 0 0 0 0 0 0
1800.01/1800.50 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c linear : 0.03 0 0 0 0 0 180 0 0
1800.01/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c root node : - 0 - - 0 - - - -
1800.01/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.50 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.50 c knapsack : 50 0 2333045 0 2079027 200 1565195 0 0 0
1800.01/1800.50 c setppc : 180 0 2332845 0 2079027 14131 4063020 0 0 0
1800.01/1800.50 c logicor : 0+ 0 170766 0 0 209 15232 0 0 0
1800.01/1800.50 c countsols : 0 0 0 0 2079027 0 0 0 0 0
1800.01/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.50 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.50 c knapsack : 349.83 0.00 23.84 0.00 325.99
1800.01/1800.50 c setppc : 680.84 0.00 38.98 0.00 641.86
1800.01/1800.50 c logicor : 4.05 0.00 4.05 0.00 0.00
1800.01/1800.50 c countsols : 0.94 0.00 0.00 0.00 0.94
1800.01/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.50 c vbounds : 1.06 1 0 0
1800.01/1800.50 c rootredcost : 1.18 0 0 0
1800.01/1800.50 c pseudoobj : 1.18 0 0 0
1800.01/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.50 c propagation : 18.16 14540 14540 129863 210.9 4067 75.7 -
1800.01/1800.50 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.50 c applied globally : - - - 65100 93.0 - - -
1800.01/1800.50 c applied locally : - - - 430 267.5 - - -
1800.01/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.50 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.50 c redcost : 0.00 0 0 0 0 0
1800.01/1800.50 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.50 c intobj : 0.00 0 0 0 0 0
1800.01/1800.50 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.50 c gomory : 0.00 0 0 0 0 0
1800.01/1800.50 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.51 c cmir : 0.00 0 0 0 0 0
1800.01/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.51 c clique : 0.00 0 0 0 0 0
1800.01/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.51 c mcf : 0.00 0 0 0 0 0
1800.01/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.51 c Pricers : Time Calls Vars
1800.01/1800.51 c problem variables: 0.00 0 0
1800.01/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c inference : 633.79 2079027 0 0 0 0 4158054
1800.01/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c random : 0.00 0 0 0 0 0 0
1800.01/1800.51 c Primal Heuristics : Time Calls Found
1800.01/1800.51 c LP solutions : 0.00 - 0
1800.01/1800.51 c pseudo solutions : 0.00 - 0
1800.01/1800.51 c trivial : 0.00 1 0
1800.01/1800.51 c simplerounding : 0.00 0 0
1800.01/1800.51 c zirounding : 0.00 0 0
1800.01/1800.51 c rounding : 0.00 0 0
1800.01/1800.51 c shifting : 0.00 0 0
1800.01/1800.51 c intshifting : 0.00 0 0
1800.01/1800.51 c oneopt : 0.00 0 0
1800.01/1800.51 c twoopt : 0.00 0 0
1800.01/1800.51 c fixandinfer : 0.00 0 0
1800.01/1800.51 c feaspump : 0.00 0 0
1800.01/1800.51 c coefdiving : 0.00 0 0
1800.01/1800.51 c pscostdiving : 0.00 0 0
1800.01/1800.51 c fracdiving : 0.00 0 0
1800.01/1800.51 c veclendiving : 0.00 0 0
1800.01/1800.51 c intdiving : 0.00 0 0
1800.01/1800.51 c actconsdiving : 0.00 0 0
1800.01/1800.51 c objpscostdiving : 0.00 0 0
1800.01/1800.51 c rootsoldiving : 0.00 0 0
1800.01/1800.51 c linesearchdiving : 0.00 0 0
1800.01/1800.51 c guideddiving : 0.00 0 0
1800.01/1800.51 c octane : 0.00 0 0
1800.01/1800.51 c rens : 0.00 0 0
1800.01/1800.51 c rins : 0.00 0 0
1800.01/1800.51 c localbranching : 0.00 0 0
1800.01/1800.51 c mutation : 0.00 0 0
1800.01/1800.51 c crossover : 0.00 0 0
1800.01/1800.51 c dins : 0.00 0 0
1800.01/1800.51 c undercover : 0.00 0 0
1800.01/1800.51 c nlp : 0.00 0 0
1800.01/1800.51 c trysol : 0.00 0 0
1800.01/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.51 c (at root node) : - 0 0 0.00 -
1800.01/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.51 c B&B Tree :
1800.01/1800.51 c number of runs : 1
1800.01/1800.51 c nodes : 2089217
1800.01/1800.51 c nodes (total) : 2089217
1800.01/1800.51 c nodes left : 2062321
1800.01/1800.51 c max depth : 939
1800.01/1800.51 c max depth (total): 939
1800.01/1800.51 c backtracks : 6458 (0.3%)
1800.01/1800.51 c delayed cutoffs : 6517
1800.01/1800.51 c repropagations : 89245 (798863 domain reductions, 4350 cutoffs)
1800.01/1800.51 c avg switch length: 2.42
1800.01/1800.51 c switching time : 44.06
1800.01/1800.51 c Solution :
1800.01/1800.51 c Solutions found : 0 (0 improvements)
1800.01/1800.51 c Primal Bound : -
1800.01/1800.51 c Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Gap : infinite
1800.01/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.51 c Root Iterations : 0