0.19/0.22 c SCIP version 1.1.0.7
0.19/0.22 c LP-Solver SoPlex 1.4.1
0.19/0.22 c user parameter file <scip.set> not found - using default parameters
0.19/0.22 c read problem <HOME/instance-1885047-1245262386.opb>
0.19/0.22 c original problem has 1677 variables (1677 bin, 0 int, 0 impl, 0 cont) and 15063 constraints
0.19/0.27 c No objective function, only one solution is needed.
0.19/0.27 c start presolving problem
0.19/0.27 c presolving:
0.39/0.46 c (round 1) 0 del vars, 400 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 14663 upgd conss, 36608 impls, 0 clqs
0.39/0.48 c presolving (2 rounds):
0.39/0.48 c 0 deleted vars, 400 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.48 c 36608 implications, 0 cliques
0.39/0.48 c presolved problem has 1677 variables (1677 bin, 0 int, 0 impl, 0 cont) and 14663 constraints
0.39/0.48 c 14663 constraints of type <logicor>
0.39/0.48 c transformed objective value is always integral (scale: 1)
0.39/0.48 c Presolving Time: 0.18
0.39/0.48 c PURESAT
0.39/0.48 c -----------------------------------------------------------------------------------------------
0.39/0.48 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.48 c separating/flowcover/freq = c -1
0.39/0.48 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.48 c separating/cmir/freq = c -1
0.39/0.48 c # additional number of allowed LP iterations
0.39/0.48 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48 c heuristics/veclendiving/maxlpiterofs = c 1500
0.39/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48 c heuristics/veclendiving/maxlpiterquot = c 0.075
0.39/0.48 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48 c heuristics/veclendiving/freq = c -1
0.39/0.48 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.48 c heuristics/simplerounding/freq = c -1
0.39/0.48 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48 c heuristics/shifting/freq = c -1
0.39/0.48 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.48 c heuristics/rounding/freq = c -1
0.39/0.48 c # additional number of allowed LP iterations
0.39/0.48 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48 c heuristics/rootsoldiving/maxlpiterofs = c 1500
0.39/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.39/0.48 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
0.39/0.48 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.48 c heuristics/rootsoldiving/freq = c -1
0.39/0.48 c # number of nodes added to the contingent of the total nodes
0.39/0.48 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.48 c heuristics/rens/nodesofs = c 2000
0.39/0.48 c # minimum percentage of integer variables that have to be fixable
0.39/0.48 c # [type: real, range: [0,1], default: 0.5]
0.39/0.48 c heuristics/rens/minfixingrate = c 0.3
0.39/0.48 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.48 c heuristics/rens/freq = c -1
0.39/0.48 c # additional number of allowed LP iterations
0.39/0.48 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48 c heuristics/pscostdiving/maxlpiterofs = c 1500
0.39/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48 c heuristics/pscostdiving/maxlpiterquot = c 0.075
0.39/0.48 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48 c heuristics/pscostdiving/freq = c -1
0.39/0.48 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.48 c heuristics/oneopt/freq = c -1
0.39/0.48 c # additional number of allowed LP iterations
0.39/0.48 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48 c heuristics/objpscostdiving/maxlpiterofs = c 1500
0.39/0.48 c # maximal fraction of diving LP iterations compared to total iteration number
0.39/0.48 c # [type: real, range: [0,1], default: 0.01]
0.39/0.48 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
0.39/0.48 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.48 c heuristics/objpscostdiving/freq = c -1
0.39/0.48 c # additional number of allowed LP iterations
0.39/0.48 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48 c heuristics/linesearchdiving/maxlpiterofs = c 1500
0.39/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
0.39/0.48 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48 c heuristics/linesearchdiving/freq = c -1
0.39/0.48 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48 c heuristics/intshifting/freq = c -1
0.39/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48 c heuristics/intdiving/maxlpiterquot = c 0.075
0.39/0.48 c # additional number of allowed LP iterations
0.39/0.48 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48 c heuristics/guideddiving/maxlpiterofs = c 1500
0.39/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48 c heuristics/guideddiving/maxlpiterquot = c 0.075
0.39/0.48 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48 c heuristics/guideddiving/freq = c -1
0.39/0.48 c # additional number of allowed LP iterations
0.39/0.48 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48 c heuristics/fracdiving/maxlpiterofs = c 1500
0.39/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48 c heuristics/fracdiving/maxlpiterquot = c 0.075
0.39/0.48 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48 c heuristics/fracdiving/freq = c -1
0.39/0.48 c # additional number of allowed LP iterations
0.39/0.48 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48 c heuristics/feaspump/maxlpiterofs = c 2000
0.39/0.48 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 20]
0.39/0.48 c heuristics/feaspump/freq = c -1
0.39/0.48 c # minimum percentage of integer variables that have to be fixed
0.39/0.48 c # [type: real, range: [0,1], default: 0.666]
0.39/0.48 c heuristics/crossover/minfixingrate = c 0.5
0.39/0.48 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.39/0.48 c # [type: real, range: [0,1], default: 0.1]
0.39/0.48 c heuristics/crossover/nodesquot = c 0.15
0.39/0.48 c # number of nodes without incumbent change that heuristic should wait
0.39/0.48 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.39/0.48 c heuristics/crossover/nwaitingnodes = c 100
0.39/0.48 c # number of nodes added to the contingent of the total nodes
0.39/0.48 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.39/0.48 c heuristics/crossover/nodesofs = c 750
0.39/0.48 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 30]
0.39/0.48 c heuristics/crossover/freq = c -1
0.39/0.48 c # additional number of allowed LP iterations
0.39/0.48 c # [type: int, range: [0,2147483647], default: 1000]
0.39/0.48 c heuristics/coefdiving/maxlpiterofs = c 1500
0.39/0.48 c # maximal fraction of diving LP iterations compared to node LP iterations
0.39/0.48 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.39/0.48 c heuristics/coefdiving/maxlpiterquot = c 0.075
0.39/0.48 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: 10]
0.39/0.48 c heuristics/coefdiving/freq = c -1
0.39/0.48 c # priority of node selection rule <dfs> in standard mode
0.39/0.48 c # [type: int, range: [-536870912,536870911], default: 0]
0.39/0.48 c nodeselection/dfs/stdpriority = c 1000000
0.39/0.48 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.39/0.48 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.48 c presolving/probing/maxrounds = c 0
0.39/0.48 c # should presolving try to simplify knapsacks
0.39/0.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.48 c constraints/knapsack/simplifyinequalities = c TRUE
0.39/0.48 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.39/0.48 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.39/0.48 c constraints/knapsack/disaggregation = c FALSE
0.39/0.48 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.49 c constraints/knapsack/maxnumcardlift = c 0
0.39/0.49 c # should presolving try to simplify inequalities
0.39/0.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.49 c constraints/linear/simplifyinequalities = c TRUE
0.39/0.49 c # maximal number of separation rounds in the root node (-1: unlimited)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.49 c separating/maxroundsroot = c 5
0.39/0.49 c # maximal number of separation rounds per node (-1: unlimited)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 5]
0.39/0.49 c separating/maxrounds = c 1
0.39/0.49 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.39/0.49 c # [type: char, range: {lafpsqd}, default: l]
0.39/0.49 c lp/pricing = c a
0.39/0.49 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 1]
0.39/0.49 c lp/solvefreq = c 0
0.39/0.49 c # solving stops, if the given number of solutions were found (-1: no limit)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.49 c limits/solutions = c 1
0.39/0.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.49 c limits/memory = c 1620
0.39/0.49 c # maximal time in seconds to run
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.49 c limits/time = c 1791
0.39/0.49 c # frequency for displaying node information lines
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.49 c display/freq = c 10000
0.39/0.49 c # should enforcement of pseudo solution be disabled?
0.39/0.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.49 c constraints/disableenfops = c TRUE
0.39/0.49 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.49 c constraints/agelimit = c 1
0.39/0.49 c # should binary conflicts be preferred?
0.39/0.49 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.49 c conflict/preferbinary = c TRUE
0.39/0.49 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.49 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.49 c conflict/interconss = c 0
0.39/0.49 c -----------------------------------------------------------------------------------------------
0.39/0.49 c start solving problem
0.39/0.49 c
7.38/7.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.38/7.48 c 7.2s| 1 | 0 | 3128 | 21M| 0 | 719 |1677 | 14k| 14k|1677 | 14k| 0 | 0 | 0 | 1.330000e+02 | -- | Inf
29.48/29.58 c 29.2s| 1 | 0 | 4419 | 28M| 0 | 753 |1677 | 14k| 14k|1677 | 14k| 6 | 0 | 0 | 1.330000e+02 | -- | Inf
52.36/52.40 c 51.9s| 1 | 0 | 5741 | 35M| 0 | 752 |1677 | 14k| 14k|1677 | 14k| 11 | 0 | 0 | 1.330000e+02 | -- | Inf
76.65/76.77 c 76.2s| 1 | 0 | 7468 | 44M| 0 | 802 |1677 | 14k| 14k|1677 | 14k| 15 | 0 | 0 | 1.330000e+02 | -- | Inf
99.44/99.54 c 99.0s| 1 | 0 | 8758 | 52M| 0 | 845 |1677 | 14k| 14k|1677 | 14k| 21 | 0 | 0 | 1.330000e+02 | -- | Inf
122.54/122.61 c 122s| 1 | 0 | 9795 | 61M| 0 | 834 |1677 | 14k| 14k|1677 | 14k| 29 | 0 | 0 | 1.330000e+02 | -- | Inf
240.19/240.32 c 240s| 1 | 0 | 11009 | 61M| 0 | 875 |1677 | 14k| 14k|1677 | 14k| 29 | 0 | 31 | 1.330000e+02 | -- | Inf
354.65/354.89 c 354s| 1 | 2 | 11009 | 61M| 0 | 875 |1677 | 14k| 14k|1677 | 14k| 29 | 0 | 62 | 1.330000e+02 | -- | Inf
362.64/362.83 c 362s| 10000 | 60 | 11009 | 62M| 373 | - |1677 | 16k| 11k| 0 | 0 | 29 |7104 | 62 | 1.330000e+02 | -- | Inf
370.14/370.33 c 369s| 20000 | 48 | 11009 | 62M| 373 | - |1677 | 15k| 11k| 0 | 0 | 29 | 14k| 62 | 1.330000e+02 | -- | Inf
377.64/377.89 c 376s| 30000 | 34 | 11009 | 62M| 373 | - |1677 | 15k| 11k| 0 | 0 | 29 | 21k| 62 | 1.330000e+02 | -- | Inf
389.14/389.37 c 388s| 40000 | 68 | 11009 | 62M| 373 | - |1677 | 14k|7253 | 0 | 0 | 29 | 27k| 62 | 1.330000e+02 | -- | Inf
402.13/402.35 c 400s| 50000 | 72 | 11009 | 62M| 373 | - |1677 | 14k|6502 | 0 | 0 | 29 | 34k| 62 | 1.330000e+02 | -- | Inf
416.22/416.40 c 414s| 60000 | 68 | 11009 | 62M| 373 | - |1677 | 14k|8150 | 0 | 0 | 29 | 42k| 62 | 1.330000e+02 | -- | Inf
431.12/431.38 c 429s| 70000 | 66 | 11009 | 62M| 373 | - |1677 | 14k|7826 | 0 | 0 | 29 | 50k| 62 | 1.330000e+02 | -- | Inf
445.71/445.97 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
445.71/445.97 c 443s| 80000 | 69 | 11009 | 62M| 373 | - |1677 | 14k|7228 | 0 | 0 | 29 | 57k| 62 | 1.330000e+02 | -- | Inf
458.91/459.16 c 456s| 90000 | 81 | 11009 | 62M| 373 | - |1677 | 14k|8238 | 0 | 0 | 29 | 65k| 62 | 1.330000e+02 | -- | Inf
472.41/472.66 c 470s|100000 | 75 | 11009 | 62M| 373 | - |1677 | 14k|7690 | 0 | 0 | 29 | 72k| 62 | 1.330000e+02 | -- | Inf
485.90/486.18 c 483s|110000 | 70 | 11009 | 62M| 373 | - |1677 | 14k|7455 | 0 | 0 | 29 | 79k| 62 | 1.330000e+02 | -- | Inf
499.40/499.62 c 496s|120000 | 74 | 11009 | 62M| 373 | - |1677 | 14k|7907 | 0 | 0 | 29 | 86k| 62 | 1.330000e+02 | -- | Inf
513.69/513.95 c 510s|130000 | 81 | 11009 | 62M| 373 | - |1677 | 14k|6915 | 0 | 0 | 29 | 94k| 62 | 1.330000e+02 | -- | Inf
527.18/527.41 c 524s|140000 | 70 | 11009 | 62M| 373 | - |1677 | 14k|7015 | 0 | 0 | 29 | 101k| 62 | 1.330000e+02 | -- | Inf
540.77/541.04 c 537s|150000 | 67 | 11009 | 62M| 373 | - |1677 | 14k|6932 | 0 | 0 | 29 | 109k| 62 | 1.330000e+02 | -- | Inf
555.18/555.50 c 551s|160000 | 75 | 11009 | 62M| 373 | - |1677 | 14k|6253 | 0 | 0 | 29 | 116k| 62 | 1.330000e+02 | -- | Inf
568.67/568.97 c 565s|170000 | 59 | 11009 | 62M| 373 | - |1677 | 14k|7636 | 0 | 0 | 29 | 124k| 62 | 1.330000e+02 | -- | Inf
578.86/579.16 c 575s|180000 | 95 | 11009 | 62M| 373 | - |1677 | 14k| 10k| 0 | 0 | 29 | 130k| 62 | 1.330000e+02 | -- | Inf
586.36/586.66 c 582s|190000 | 77 | 11009 | 62M| 373 | - |1677 | 14k|8854 | 0 | 0 | 29 | 137k| 62 | 1.330000e+02 | -- | Inf
596.46/596.71 c 592s|200000 | 60 | 11009 | 62M| 373 | - |1677 | 14k|6636 | 0 | 0 | 29 | 143k| 62 | 1.330000e+02 | -- | Inf
609.75/610.06 c 605s|210000 | 64 | 11009 | 62M| 373 | - |1677 | 15k|6700 | 0 | 0 | 29 | 151k| 62 | 1.330000e+02 | -- | Inf
625.34/625.65 c 620s|220000 | 66 | 11009 | 63M| 373 | - |1677 | 15k|6486 | 0 | 0 | 29 | 159k| 62 | 1.330000e+02 | -- | Inf
639.74/640.03 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
639.74/640.03 c 634s|230000 | 64 | 11009 | 63M| 373 | - |1677 | 15k|7470 | 0 | 0 | 29 | 167k| 62 | 1.330000e+02 | -- | Inf
654.04/654.33 c 649s|240000 | 59 | 11009 | 63M| 373 | - |1677 | 15k|7471 | 0 | 0 | 29 | 175k| 62 | 1.330000e+02 | -- | Inf
666.43/666.71 c 661s|250000 | 64 | 11009 | 63M| 373 | - |1677 | 15k|6333 | 0 | 0 | 29 | 183k| 62 | 1.330000e+02 | -- | Inf
679.62/679.93 c 674s|260000 | 55 | 11009 | 63M| 373 | - |1677 | 16k|7099 | 0 | 0 | 29 | 190k| 62 | 1.330000e+02 | -- | Inf
694.42/694.74 c 688s|270000 | 56 | 11009 | 63M| 373 | - |1677 | 17k|7479 | 0 | 0 | 29 | 198k| 62 | 1.330000e+02 | -- | Inf
709.52/709.85 c 703s|280000 | 60 | 11009 | 64M| 373 | - |1677 | 17k|6252 | 0 | 0 | 29 | 207k| 62 | 1.330000e+02 | -- | Inf
724.31/724.60 c 718s|290000 | 57 | 11009 | 63M| 373 | - |1677 | 14k|7363 | 0 | 0 | 29 | 215k| 62 | 1.330000e+02 | -- | Inf
738.50/738.84 c 732s|300000 | 60 | 11009 | 63M| 373 | - |1677 | 15k|7914 | 0 | 0 | 29 | 223k| 62 | 1.330000e+02 | -- | Inf
751.80/752.17 c 745s|310000 | 50 | 11009 | 63M| 373 | - |1677 | 16k|7027 | 0 | 0 | 29 | 230k| 62 | 1.330000e+02 | -- | Inf
764.49/764.85 c 757s|320000 | 69 | 11009 | 63M| 373 | - |1677 | 16k|6963 | 0 | 0 | 29 | 238k| 62 | 1.330000e+02 | -- | Inf
776.89/777.26 c 770s|330000 | 69 | 11009 | 62M| 373 | - |1677 | 14k|8913 | 0 | 0 | 29 | 246k| 62 | 1.330000e+02 | -- | Inf
789.58/789.91 c 782s|340000 | 53 | 11009 | 63M| 373 | - |1677 | 15k|7799 | 0 | 0 | 29 | 254k| 62 | 1.330000e+02 | -- | Inf
802.59/802.92 c 795s|350000 | 50 | 11009 | 63M| 373 | - |1677 | 15k|7842 | 0 | 0 | 29 | 262k| 62 | 1.330000e+02 | -- | Inf
815.08/815.47 c 807s|360000 | 46 | 11009 | 63M| 373 | - |1677 | 15k|8080 | 0 | 0 | 29 | 269k| 62 | 1.330000e+02 | -- | Inf
827.48/827.89 c 820s|370000 | 142 | 11009 | 63M| 373 | - |1677 | 14k|9671 | 0 | 0 | 29 | 277k| 62 | 1.330000e+02 | -- | Inf
838.97/839.34 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
838.97/839.34 c 831s|380000 | 74 | 11009 | 63M| 373 | - |1677 | 14k|6774 | 0 | 0 | 29 | 285k| 62 | 1.330000e+02 | -- | Inf
851.86/852.29 c 844s|390000 | 64 | 11009 | 63M| 373 | - |1677 | 14k|7630 | 0 | 0 | 29 | 293k| 62 | 1.330000e+02 | -- | Inf
864.76/865.13 c 856s|400000 | 65 | 11009 | 63M| 373 | - |1677 | 14k|6918 | 0 | 0 | 29 | 300k| 62 | 1.330000e+02 | -- | Inf
879.55/879.99 c 871s|410000 | 71 | 11009 | 63M| 373 | - |1677 | 14k|6356 | 0 | 0 | 29 | 308k| 62 | 1.330000e+02 | -- | Inf
894.44/894.88 c 886s|420000 | 69 | 11009 | 63M| 373 | - |1677 | 15k|7419 | 0 | 0 | 29 | 316k| 62 | 1.330000e+02 | -- | Inf
907.85/908.25 c 899s|430000 | 64 | 11009 | 63M| 373 | - |1677 | 15k|7354 | 0 | 0 | 29 | 324k| 62 | 1.330000e+02 | -- | Inf
922.23/922.65 c 913s|440000 | 65 | 11009 | 63M| 373 | - |1677 | 15k|6718 | 0 | 0 | 29 | 332k| 62 | 1.330000e+02 | -- | Inf
939.03/939.47 c 929s|450000 | 58 | 11009 | 63M| 373 | - |1677 | 15k|7683 | 0 | 0 | 29 | 340k| 62 | 1.330000e+02 | -- | Inf
953.93/954.32 c 944s|460000 | 53 | 11009 | 63M| 373 | - |1677 | 16k|6710 | 0 | 0 | 29 | 348k| 62 | 1.330000e+02 | -- | Inf
969.82/970.26 c 960s|470000 | 51 | 11009 | 63M| 373 | - |1677 | 16k|7399 | 0 | 0 | 29 | 356k| 62 | 1.330000e+02 | -- | Inf
985.01/985.43 c 975s|480000 | 54 | 11009 | 63M| 373 | - |1677 | 16k|7104 | 0 | 0 | 29 | 364k| 62 | 1.330000e+02 | -- | Inf
1000.90/1001.31 c 990s|490000 | 49 | 11009 | 64M| 373 | - |1677 | 17k|7187 | 0 | 0 | 29 | 372k| 62 | 1.330000e+02 | -- | Inf
1015.50/1015.97 c 1005s|500000 | 54 | 11009 | 64M| 373 | - |1677 | 17k|7093 | 0 | 0 | 29 | 380k| 62 | 1.330000e+02 | -- | Inf
1031.50/1031.96 c 1021s|510000 | 53 | 11009 | 64M| 373 | - |1677 | 18k|6280 | 0 | 0 | 29 | 388k| 62 | 1.330000e+02 | -- | Inf
1046.59/1047.09 c 1036s|520000 | 54 | 11009 | 64M| 373 | - |1677 | 18k|7203 | 0 | 0 | 29 | 395k| 62 | 1.330000e+02 | -- | Inf
1062.28/1062.74 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1062.28/1062.74 c 1051s|530000 | 40 | 11009 | 64M| 373 | - |1677 | 19k|7395 | 0 | 0 | 29 | 404k| 62 | 1.330000e+02 | -- | Inf
1075.18/1075.63 c 1064s|540000 | 59 | 11009 | 64M| 373 | - |1677 | 18k|7064 | 0 | 0 | 29 | 412k| 62 | 1.330000e+02 | -- | Inf
1089.58/1090.10 c 1078s|550000 | 60 | 11009 | 64M| 373 | - |1677 | 18k|6944 | 0 | 0 | 29 | 419k| 62 | 1.330000e+02 | -- | Inf
1101.87/1102.30 c 1090s|560000 | 52 | 11009 | 64M| 373 | - |1677 | 19k|7168 | 0 | 0 | 29 | 428k| 62 | 1.330000e+02 | -- | Inf
1114.97/1115.47 c 1103s|570000 | 52 | 11009 | 65M| 373 | - |1677 | 20k|6616 | 0 | 0 | 29 | 435k| 62 | 1.330000e+02 | -- | Inf
1129.06/1129.58 c 1117s|580000 | 52 | 11009 | 65M| 373 | - |1677 | 20k|6741 | 0 | 0 | 29 | 443k| 62 | 1.330000e+02 | -- | Inf
1142.46/1142.94 c 1130s|590000 | 57 | 11009 | 65M| 373 | - |1677 | 20k|7805 | 0 | 0 | 29 | 451k| 62 | 1.330000e+02 | -- | Inf
1158.35/1158.83 c 1146s|600000 | 61 | 11009 | 65M| 373 | - |1677 | 21k|6984 | 0 | 0 | 29 | 459k| 62 | 1.330000e+02 | -- | Inf
1175.14/1175.62 c 1162s|610000 | 49 | 11009 | 65M| 373 | - |1677 | 21k|6515 | 0 | 0 | 29 | 467k| 62 | 1.330000e+02 | -- | Inf
1192.23/1192.71 c 1179s|620000 | 57 | 11009 | 65M| 373 | - |1677 | 21k|6988 | 0 | 0 | 29 | 474k| 62 | 1.330000e+02 | -- | Inf
1207.93/1208.47 c 1195s|630000 | 52 | 11009 | 65M| 373 | - |1677 | 21k|6991 | 0 | 0 | 29 | 482k| 62 | 1.330000e+02 | -- | Inf
1222.62/1223.17 c 1209s|640000 | 56 | 11009 | 65M| 373 | - |1677 | 21k|7648 | 0 | 0 | 29 | 490k| 62 | 1.330000e+02 | -- | Inf
1237.02/1237.59 c 1223s|650000 | 50 | 11009 | 65M| 373 | - |1677 | 22k|6554 | 0 | 0 | 29 | 497k| 62 | 1.330000e+02 | -- | Inf
1251.12/1251.69 c 1237s|660000 | 50 | 11009 | 65M| 373 | - |1677 | 22k| 11k| 0 | 0 | 29 | 505k| 62 | 1.330000e+02 | -- | Inf
1261.81/1262.36 c 1248s|670000 | 127 | 11009 | 63M| 373 | - |1677 | 14k|8456 | 0 | 0 | 29 | 513k| 62 | 1.330000e+02 | -- | Inf
1273.50/1274.02 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1273.50/1274.02 c 1259s|680000 | 113 | 11009 | 63M| 373 | - |1677 | 14k|6787 | 0 | 0 | 29 | 521k| 62 | 1.330000e+02 | -- | Inf
1287.20/1287.78 c 1273s|690000 | 108 | 11009 | 63M| 373 | - |1677 | 14k|7037 | 0 | 0 | 29 | 528k| 62 | 1.330000e+02 | -- | Inf
1301.79/1302.33 c 1287s|700000 | 104 | 11009 | 63M| 373 | - |1677 | 14k|9365 | 0 | 0 | 29 | 536k| 62 | 1.330000e+02 | -- | Inf
1317.88/1318.42 c 1303s|710000 | 96 | 11009 | 63M| 373 | - |1677 | 14k|7982 | 0 | 0 | 29 | 544k| 62 | 1.330000e+02 | -- | Inf
1332.28/1332.81 c 1317s|720000 | 101 | 11009 | 63M| 373 | - |1677 | 14k|6641 | 0 | 0 | 29 | 551k| 62 | 1.330000e+02 | -- | Inf
1345.27/1345.89 c 1330s|730000 | 107 | 11009 | 63M| 373 | - |1677 | 14k|7275 | 0 | 0 | 29 | 558k| 62 | 1.330000e+02 | -- | Inf
1358.88/1359.40 c 1343s|740000 | 98 | 11009 | 63M| 373 | - |1677 | 14k|6816 | 0 | 0 | 29 | 566k| 62 | 1.330000e+02 | -- | Inf
1374.07/1374.66 c 1358s|750000 | 96 | 11009 | 63M| 373 | - |1677 | 15k|6245 | 0 | 0 | 29 | 574k| 62 | 1.330000e+02 | -- | Inf
1389.96/1390.59 c 1374s|760000 | 95 | 11009 | 63M| 373 | - |1677 | 15k|6991 | 0 | 0 | 29 | 582k| 62 | 1.330000e+02 | -- | Inf
1405.36/1405.94 c 1389s|770000 | 91 | 11009 | 63M| 373 | - |1677 | 15k|6827 | 0 | 0 | 29 | 590k| 62 | 1.330000e+02 | -- | Inf
1420.75/1421.32 c 1404s|780000 | 89 | 11009 | 64M| 373 | - |1677 | 16k|6235 | 0 | 0 | 29 | 597k| 62 | 1.330000e+02 | -- | Inf
1434.25/1434.83 c 1418s|790000 | 88 | 11009 | 64M| 373 | - |1677 | 16k|7087 | 0 | 0 | 29 | 605k| 62 | 1.330000e+02 | -- | Inf
1449.84/1450.40 c 1433s|800000 | 98 | 11009 | 64M| 373 | - |1677 | 17k|6372 | 0 | 0 | 29 | 613k| 62 | 1.330000e+02 | -- | Inf
1464.14/1464.78 c 1447s|810000 | 93 | 11009 | 63M| 373 | - |1677 | 14k|7842 | 0 | 0 | 29 | 621k| 62 | 1.330000e+02 | -- | Inf
1479.83/1480.50 c 1463s|820000 | 93 | 11009 | 63M| 373 | - |1677 | 15k|6610 | 0 | 0 | 29 | 629k| 62 | 1.330000e+02 | -- | Inf
1494.22/1494.81 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1494.22/1494.81 c 1477s|830000 | 80 | 11009 | 63M| 373 | - |1677 | 15k|6924 | 0 | 0 | 29 | 637k| 62 | 1.330000e+02 | -- | Inf
1509.72/1510.34 c 1492s|840000 | 84 | 11009 | 63M| 373 | - |1677 | 14k|7065 | 0 | 0 | 29 | 645k| 62 | 1.330000e+02 | -- | Inf
1524.71/1525.33 c 1507s|850000 | 86 | 11009 | 63M| 373 | - |1677 | 15k|6406 | 0 | 0 | 29 | 653k| 62 | 1.330000e+02 | -- | Inf
1539.41/1540.01 c 1522s|860000 | 91 | 11009 | 63M| 373 | - |1677 | 14k|7201 | 0 | 0 | 29 | 661k| 62 | 1.330000e+02 | -- | Inf
1552.51/1553.17 c 1534s|870000 | 81 | 11009 | 63M| 373 | - |1677 | 15k|6808 | 0 | 0 | 29 | 669k| 62 | 1.330000e+02 | -- | Inf
1566.29/1566.92 c 1548s|880000 | 88 | 11009 | 63M| 373 | - |1677 | 14k|6519 | 0 | 0 | 29 | 676k| 62 | 1.330000e+02 | -- | Inf
1581.19/1581.81 c 1563s|890000 | 98 | 11009 | 63M| 373 | - |1677 | 15k|6522 | 0 | 0 | 29 | 684k| 62 | 1.330000e+02 | -- | Inf
1596.49/1597.18 c 1578s|900000 | 85 | 11009 | 63M| 373 | - |1677 | 15k|6680 | 0 | 0 | 29 | 692k| 62 | 1.330000e+02 | -- | Inf
1611.18/1611.85 c 1592s|910000 | 81 | 11009 | 64M| 373 | - |1677 | 15k|7462 | 0 | 0 | 29 | 700k| 62 | 1.330000e+02 | -- | Inf
1626.68/1627.30 c 1607s|920000 | 76 | 11009 | 63M| 373 | - |1677 | 14k|6892 | 0 | 0 | 29 | 708k| 62 | 1.330000e+02 | -- | Inf
1641.57/1642.27 c 1622s|930000 | 62 | 11009 | 63M| 373 | - |1677 | 14k|7240 | 0 | 0 | 29 | 716k| 62 | 1.330000e+02 | -- | Inf
1655.56/1656.21 c 1636s|940000 | 69 | 11009 | 64M| 373 | - |1677 | 15k|6210 | 0 | 0 | 29 | 724k| 62 | 1.330000e+02 | -- | Inf
1670.86/1671.52 c 1651s|950000 | 67 | 11009 | 63M| 373 | - |1677 | 14k|6965 | 0 | 0 | 29 | 732k| 62 | 1.330000e+02 | -- | Inf
1685.25/1685.94 c 1665s|960000 | 112 | 11009 | 63M| 373 | - |1677 | 14k|7271 | 0 | 0 | 29 | 740k| 62 | 1.330000e+02 | -- | Inf
1700.95/1701.66 c 1681s|970000 | 82 | 11009 | 63M| 373 | - |1677 | 14k|7834 | 0 | 0 | 29 | 748k| 62 | 1.330000e+02 | -- | Inf
1716.04/1716.80 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1716.04/1716.80 c 1696s|980000 | 89 | 11009 | 63M| 373 | - |1677 | 14k|6299 | 0 | 0 | 29 | 756k| 62 | 1.330000e+02 | -- | Inf
1731.03/1731.79 c 1710s|990000 | 85 | 11009 | 63M| 373 | - |1677 | 15k|6726 | 0 | 0 | 29 | 765k| 62 | 1.330000e+02 | -- | Inf
1746.23/1746.90 c 1725s| 1000k| 111 | 11009 | 64M| 373 | - |1677 | 15k|7157 | 0 | 0 | 29 | 774k| 62 | 1.330000e+02 | -- | Inf
1764.52/1765.30 c 1743s| 1010k| 88 | 11009 | 63M| 373 | - |1677 | 15k|7197 | 0 | 0 | 29 | 783k| 62 | 1.330000e+02 | -- | Inf
1781.71/1782.46 c 1760s| 1020k| 71 | 11009 | 64M| 373 | - |1677 | 15k|7181 | 0 | 0 | 29 | 792k| 62 | 1.330000e+02 | -- | Inf
1795.81/1796.59 c 1774s| 1030k| 84 | 11009 | 64M| 373 | - |1677 | 16k|5624 | 0 | 0 | 29 | 801k| 62 | 1.330000e+02 | -- | Inf
1800.02/1800.70 c
1800.02/1800.70 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.70 c Solving Time (sec) : 1778.26
1800.02/1800.70 c Solving Nodes : 1033568
1800.02/1800.70 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.02/1800.70 c Dual Bound : +1.33000000000000e+02
1800.02/1800.70 c Gap : infinite
1800.02/1800.71 c NODE 1033568
1800.02/1800.71 c DUAL BOUND 133
1800.02/1800.71 c PRIMAL BOUND 1e+20
1800.02/1800.71 c GAP 1e+20
1800.02/1800.71 s UNKNOWN
1800.02/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.02/1800.71 c Solving Time : 1778.26
1800.02/1800.71 c Original Problem :
1800.02/1800.71 c Problem name : HOME/instance-1885047-1245262386.opb
1800.02/1800.71 c Variables : 1677 (1677 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.71 c Constraints : 15063 initial, 15063 maximal
1800.02/1800.71 c Presolved Problem :
1800.02/1800.71 c Problem name : t_HOME/instance-1885047-1245262386.opb
1800.02/1800.71 c Variables : 1677 (1677 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.71 c Constraints : 14663 initial, 23164 maximal
1800.02/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.02/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c probing : 0.00 0 0 0 0 0 0 0 0
1800.02/1800.71 c linear : 0.11 0 0 0 0 0 400 0 0
1800.02/1800.71 c logicor : 0.05 0 0 0 0 0 0 0 0
1800.02/1800.71 c root node : - 2 - - 2 - - - -
1800.02/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.02/1800.71 c integral : 0 0 0 2 0 0 2 0 0 2
1800.02/1800.71 c logicor : 14663+ 5 5043591 0 0 519823 38836737 0 0 0
1800.02/1800.71 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.02/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.02/1800.71 c integral : 227.44 0.00 0.00 227.44 0.00
1800.02/1800.71 c logicor : 546.31 0.01 546.30 0.00 0.00
1800.02/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.02/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.02/1800.71 c rootredcost : 1.92 0 0 0
1800.02/1800.71 c pseudoobj : 426.92 6035326 0 0
1800.02/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.02/1800.71 c propagation : 168.95 519823 519823 519823 30.6 285115 28.9 -
1800.02/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.02/1800.71 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.02/1800.71 c applied globally : - - - 804376 29.9 - - -
1800.02/1800.71 c applied locally : - - - 0 0.0 - - -
1800.02/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.02/1800.71 c cut pool : 0.02 4 - - 10 - (maximal pool size: 1211)
1800.02/1800.71 c redcost : 0.00 5 0 0 0 0
1800.02/1800.71 c impliedbounds : 0.01 5 0 0 0 0
1800.02/1800.71 c intobj : 0.00 0 0 0 0 0
1800.02/1800.71 c gomory : 86.24 5 0 0 207 0
1800.02/1800.71 c strongcg : 5.52 5 0 0 2500 0
1800.02/1800.71 c cmir : 0.00 0 0 0 0 0
1800.02/1800.71 c flowcover : 0.00 0 0 0 0 0
1800.02/1800.71 c clique : 0.07 5 0 0 44 0
1800.02/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.02/1800.71 c mcf : 0.02 1 0 0 0 0
1800.02/1800.71 c Pricers : Time Calls Vars
1800.02/1800.71 c problem variables: 0.00 0 0
1800.02/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.02/1800.71 c relpscost : 227.44 2 0 2 0 0 2
1800.02/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.02/1800.71 c inference : 99.45 768632 0 0 0 0 1537264
1800.02/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.02/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.02/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.02/1800.71 c random : 0.00 0 0 0 0 0 0
1800.02/1800.71 c Primal Heuristics : Time Calls Found
1800.02/1800.71 c LP solutions : 0.00 - 0
1800.02/1800.71 c pseudo solutions : 0.00 - 0
1800.02/1800.71 c simplerounding : 0.00 0 0
1800.02/1800.71 c rounding : 0.00 0 0
1800.02/1800.71 c shifting : 0.00 0 0
1800.02/1800.71 c intshifting : 0.00 0 0
1800.02/1800.71 c oneopt : 0.00 0 0
1800.02/1800.71 c fixandinfer : 0.00 0 0
1800.02/1800.71 c feaspump : 0.00 0 0
1800.02/1800.71 c coefdiving : 0.00 0 0
1800.02/1800.71 c pscostdiving : 0.00 0 0
1800.02/1800.71 c fracdiving : 0.00 0 0
1800.02/1800.71 c veclendiving : 0.00 0 0
1800.02/1800.71 c intdiving : 0.00 0 0
1800.02/1800.71 c actconsdiving : 0.00 0 0
1800.02/1800.71 c objpscostdiving : 0.00 0 0
1800.02/1800.71 c rootsoldiving : 0.00 0 0
1800.02/1800.71 c linesearchdiving : 0.00 0 0
1800.02/1800.71 c guideddiving : 0.00 0 0
1800.02/1800.71 c octane : 0.00 0 0
1800.02/1800.71 c rens : 0.00 0 0
1800.02/1800.71 c rins : 0.00 0 0
1800.02/1800.71 c localbranching : 0.00 0 0
1800.02/1800.71 c mutation : 0.00 0 0
1800.02/1800.71 c crossover : 0.00 0 0
1800.02/1800.71 c dins : 0.00 0 0
1800.02/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.02/1800.71 c primal LP : 0.02 0 0 0.00 0.00
1800.02/1800.71 c dual LP : 34.12 7 11009 1572.71 322.66
1800.02/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.02/1800.71 c diving/probing LP: 0.00 0 0 0.00 -
1800.02/1800.71 c strong branching : 227.44 62 61159 986.44 268.90
1800.02/1800.71 c (at root node) : - 62 61159 986.44 -
1800.02/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.02/1800.71 c B&B Tree :
1800.02/1800.71 c number of runs : 1
1800.02/1800.71 c nodes : 1033568
1800.02/1800.71 c nodes (total) : 1033568
1800.02/1800.71 c nodes left : 78
1800.02/1800.71 c max depth : 373
1800.02/1800.71 c max depth (total): 373
1800.02/1800.71 c backtracks : 324574 (31.4%)
1800.02/1800.71 c delayed cutoffs : 503621
1800.02/1800.71 c repropagations : 1350465 (19117914 domain reductions, 254888 cutoffs)
1800.02/1800.71 c avg switch length: 3.73
1800.02/1800.71 c switching time : 235.62
1800.02/1800.71 c Solution :
1800.02/1800.71 c Solutions found : 0 (0 improvements)
1800.02/1800.71 c Primal Bound : -
1800.02/1800.71 c Dual Bound : +1.33000000000000e+02
1800.02/1800.71 c Gap : infinite
1800.02/1800.71 c Root Dual Bound : +1.33000000000000e+02
1800.11/1800.80 c Time complete: 1800.11.