0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute 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-4447095-1721345880.opb>
0.00/0.03 c original problem has 7276 variables (7276 bin, 0 int, 0 impl, 0 cont) and 7492 constraints
0.00/0.03 c problem read in 0.02
0.00/0.03 c No objective function, only one solution is needed.
0.00/0.05 c presolving:
0.00/0.06 c (round 1, fast) 148 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1457 clqs
0.00/0.06 c (round 2, fast) 392 del vars, 155 del conss, 0 add conss, 66 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1444 clqs
0.00/0.06 c (round 3, fast) 506 del vars, 237 del conss, 0 add conss, 114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1449 clqs
0.00/0.07 c (round 4, fast) 570 del vars, 294 del conss, 0 add conss, 139 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1475 clqs
0.00/0.07 c (round 5, fast) 581 del vars, 303 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1490 clqs
0.00/0.08 c (0.1s) running MILP presolver
0.09/0.15 c (0.1s) MILP presolver (5 rounds): 0 aggregations, 113 fixings, 0 bound changes
0.09/0.15 c (round 6, medium) 696 del vars, 305 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1489 clqs
0.09/0.15 c (round 7, fast) 696 del vars, 418 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1495 clqs
0.09/0.16 c (round 8, exhaustive) 696 del vars, 523 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1495 clqs
0.09/0.19 c (round 9, exhaustive) 696 del vars, 523 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 6969 upgd conss, 0 impls, 1495 clqs
0.20/0.23 c (round 10, exhaustive) 758 del vars, 523 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 62 chg coeffs, 6969 upgd conss, 0 impls, 1483 clqs
0.20/0.23 c (round 11, fast) 820 del vars, 585 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 62 chg coeffs, 6969 upgd conss, 0 impls, 1483 clqs
0.59/0.63 c (round 12, exhaustive) 847 del vars, 586 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 62 chg coeffs, 6969 upgd conss, 0 impls, 42967 clqs
0.59/0.64 c (round 13, fast) 847 del vars, 613 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 122 chg coeffs, 6969 upgd conss, 0 impls, 42983 clqs
1.48/1.50 c (round 14, exhaustive) 873 del vars, 613 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 122 chg coeffs, 6969 upgd conss, 0 impls, 43436 clqs
1.48/1.50 c (round 15, fast) 874 del vars, 639 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 179 chg coeffs, 6969 upgd conss, 0 impls, 43447 clqs
1.68/1.71 c (round 16, exhaustive) 901 del vars, 639 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 179 chg coeffs, 6969 upgd conss, 0 impls, 43462 clqs
1.68/1.71 c (round 17, fast) 903 del vars, 666 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 231 chg coeffs, 6969 upgd conss, 0 impls, 43469 clqs
1.99/2.00 c (round 18, exhaustive) 932 del vars, 666 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 231 chg coeffs, 6969 upgd conss, 0 impls, 43454 clqs
1.99/2.01 c (round 19, fast) 932 del vars, 695 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 285 chg coeffs, 6969 upgd conss, 0 impls, 43460 clqs
1.99/2.07 c (round 20, exhaustive) 957 del vars, 695 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 285 chg coeffs, 6969 upgd conss, 0 impls, 43440 clqs
1.99/2.07 c (round 21, fast) 957 del vars, 720 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 326 chg coeffs, 6969 upgd conss, 0 impls, 43446 clqs
2.09/2.12 c (round 22, exhaustive) 982 del vars, 720 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 326 chg coeffs, 6969 upgd conss, 0 impls, 43270 clqs
2.09/2.13 c (round 23, fast) 982 del vars, 745 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 348 chg coeffs, 6969 upgd conss, 0 impls, 43270 clqs
2.18/2.28 c (2.3s) probing: 1000/6739 (14.8%) - 161 fixings, 1 aggregations, 667394 implications, 0 bound changes
3.47/3.57 c (3.6s) probing: 2000/6739 (29.7%) - 163 fixings, 1 aggregations, 1241690 implications, 0 bound changes
4.47/4.55 c (round 24, exhaustive) 1007 del vars, 745 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 348 chg coeffs, 6969 upgd conss, 0 impls, 43491 clqs
4.47/4.55 c (round 25, fast) 1007 del vars, 770 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 388 chg coeffs, 6969 upgd conss, 0 impls, 43491 clqs
4.57/4.68 c (4.7s) probing: 3000/6739 (44.5%) - 196 fixings, 1 aggregations, 1685585 implications, 0 bound changes
5.47/5.51 c (round 26, exhaustive) 1032 del vars, 770 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 388 chg coeffs, 6969 upgd conss, 0 impls, 43514 clqs
5.47/5.51 c (round 27, fast) 1032 del vars, 795 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 429 chg coeffs, 6969 upgd conss, 0 impls, 43517 clqs
5.67/5.74 c (5.7s) probing: 4000/6739 (59.4%) - 210 fixings, 1 aggregations, 2115831 implications, 0 bound changes
6.57/6.68 c (6.7s) probing: 5000/6739 (74.2%) - 211 fixings, 1 aggregations, 2538912 implications, 0 bound changes
6.67/6.71 c (6.7s) probing: 5040/6739 (74.8%) - 211 fixings, 1 aggregations, 2555606 implications, 0 bound changes
6.67/6.71 c (6.7s) probing aborted: 1000/1000 successive useless probings
6.67/6.71 c (round 28, exhaustive) 1038 del vars, 795 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 429 chg coeffs, 6969 upgd conss, 0 impls, 43499 clqs
6.67/6.72 c (round 29, fast) 1038 del vars, 801 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 437 chg coeffs, 6969 upgd conss, 0 impls, 43500 clqs
6.77/6.86 c (6.9s) probing: 5140/6739 (76.3%) - 211 fixings, 1 aggregations, 2594007 implications, 0 bound changes
6.77/6.86 c (6.9s) probing aborted: 1000/1000 successive useless probings
6.77/6.87 c (6.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
6.87/6.90 c (6.9s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
6.87/6.90 c dynamic symmetry handling statistics:
6.87/6.90 c orbitopal reduction: no components
6.87/6.90 c orbital reduction: no components
6.87/6.90 c lexicographic reduction: 4 permutations with support sizes 202, 400, 202, 186
6.87/6.90 c handled 5 out of 5 symmetry components
6.87/6.90 c (round 30, exhaustive) 1044 del vars, 801 del conss, 1 add conss, 141 chg bounds, 0 chg sides, 437 chg coeffs, 6969 upgd conss, 0 impls, 43572 clqs
6.87/6.90 c (round 31, fast) 1044 del vars, 807 del conss, 1 add conss, 141 chg bounds, 0 chg sides, 449 chg coeffs, 6969 upgd conss, 0 impls, 43572 clqs
6.97/7.03 c (7.0s) probing: 5240/6739 (77.8%) - 211 fixings, 1 aggregations, 2631899 implications, 0 bound changes
6.97/7.03 c (7.0s) probing aborted: 1000/1000 successive useless probings
6.97/7.04 c presolving (32 rounds: 32 fast, 15 medium, 14 exhaustive):
6.97/7.04 c 1044 deleted vars, 807 deleted constraints, 1 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 449 changed coefficients
6.97/7.04 c 0 implications, 43585 cliques
6.97/7.04 c presolved problem has 6518 variables (6518 bin, 0 int, 0 impl, 0 cont) and 6686 constraints
6.97/7.04 c 1416 constraints of type <setppc>
6.97/7.04 c 1 constraints of type <orbitope>
6.97/7.04 c 5269 constraints of type <logicor>
6.97/7.04 c transformed objective value is always integral (scale: 1)
6.97/7.04 c Presolving Time: 6.99
6.97/7.04 c - non default parameters ----------------------------------------------------------------------
6.97/7.04 c # SCIP version 10.0.0
6.97/7.04 c
6.97/7.04 c # maximal time in seconds to run
6.97/7.04 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
6.97/7.04 c limits/time = 3596.998006
6.97/7.04 c
6.97/7.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.97/7.04 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
6.97/7.04 c limits/memory = 27900
6.97/7.04 c
6.97/7.04 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
6.97/7.04 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
6.97/7.04 c limits/solutions = 1
6.97/7.04 c
6.97/7.04 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
6.97/7.04 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
6.97/7.04 c misc/usesymmetry = 3
6.97/7.04 c
6.97/7.04 c # belongs reading time to solving time?
6.97/7.04 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
6.97/7.04 c timing/reading = TRUE
6.97/7.04 c
6.97/7.04 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
6.97/7.04 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
6.97/7.04 c propagating/symmetry/detectdoublelex = FALSE
6.97/7.04 c
6.97/7.04 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
6.97/7.04 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
6.97/7.04 c propagating/symmetry/detectsubgroups = FALSE
6.97/7.04 c
6.97/7.04 c # Type of symmetries that shall be computed?
6.97/7.04 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
6.97/7.04 c propagating/symmetry/symtype = 1
6.97/7.04 c
6.97/7.04 c # Should components consisting of a single full reflection be handled?
6.97/7.04 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
6.97/7.04 c propagating/symmetry/usesimplesgncomp = FALSE
6.97/7.04 c
6.97/7.04 c -----------------------------------------------------------------------------------------------
6.97/7.04 c start solving
6.97/7.04 c
12.06/12.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.06/12.11 c 12.1s| 1 | 0 | 12462 | - | 98M | 0 |6518 |6809 |6685 | 0 | 0 | 122 | 0 | 0.000000e+00 | -- | Inf | unknown
46.08/46.25 c 46.3s| 1 | 0 | 66597 | - | 108M | 0 |6518 |7016 |6693 | 8 | 1 | 129 | 0 | 0.000000e+00 | -- | Inf | unknown
49.77/49.92 c 49.9s| 1 | 0 | 73567 | - | 111M | 0 |6518 |7017 |6706 | 21 | 2 | 130 | 0 | 0.000000e+00 | -- | Inf | unknown
52.36/52.58 c 52.6s| 1 | 0 | 77941 | - | 113M | 0 |6518 |7008 |6712 | 27 | 3 | 132 | 0 | 0.000000e+00 | -- | Inf | unknown
55.15/55.37 c 55.4s| 1 | 0 | 82564 | - | 114M | 0 |6518 |7013 |6718 | 33 | 4 | 137 | 0 | 0.000000e+00 | -- | Inf | unknown
59.74/59.99 c 60.0s| 1 | 0 | 90809 | - | 115M | 0 |6518 |7022 |6732 | 47 | 5 | 146 | 0 | 0.000000e+00 | -- | Inf | unknown
63.23/63.47 c 63.5s| 1 | 0 | 96465 | - | 117M | 0 |6518 |7024 |6741 | 56 | 6 | 150 | 0 | 0.000000e+00 | -- | Inf | unknown
70.41/70.65 c 70.6s| 1 | 0 |107682 | - | 120M | 0 |6518 |7028 |6754 | 69 | 7 | 154 | 0 | 0.000000e+00 | -- | Inf | unknown
77.20/77.45 c 77.5s| 1 | 0 |117952 | - | 121M | 0 |6518 |7027 |6761 | 76 | 8 | 156 | 0 | 0.000000e+00 | -- | Inf | unknown
84.08/84.33 c 84.3s| 1 | 0 |128169 | - | 123M | 0 |6518 |7028 |6777 | 92 | 9 | 158 | 0 | 0.000000e+00 | -- | Inf | unknown
88.57/88.85 c 88.8s| 1 | 0 |134488 | - | 125M | 0 |6518 |7030 |6793 | 108 | 10 | 160 | 0 | 0.000000e+00 | -- | Inf | unknown
94.56/94.83 c 94.8s| 1 | 0 |144646 | - | 126M | 0 |6518 |7037 |6805 | 120 | 11 | 167 | 0 | 0.000000e+00 | -- | Inf | unknown
129.87/130.24 c 130s| 1 | 2 |183906 | - | 127M | 0 |6518 |7037 |6805 | 120 | 11 | 190 | 11 | 0.000000e+00 | -- | Inf | unknown
225.43/226.02 c 226s| 100 | 35 |354070 |2115.4 | 140M | 40 |6518 |7037 |6757 | 147 | 1 | 263 | 11 | 0.000000e+00 | -- | Inf | 50.00%
275.02/275.70 c 276s| 200 | 71 |494325 |1757.2 | 158M | 40 |6518 |7094 |6761 | 203 | 1 | 587 | 11 | 0.000000e+00 | -- | Inf | 50.20%
327.19/328.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
327.19/328.06 c 328s| 300 | 84 |634847 |1639.5 | 175M | 40 |6518 |7139 |6754 | 280 | 1 | 790 | 11 | 0.000000e+00 | -- | Inf | 50.24%
406.46/407.58 c 408s| 400 | 90 |823353 |1701.0 | 183M | 40 |6518 |7165 |6761 | 306 | 0 | 835 | 11 | 0.000000e+00 | -- | Inf | 50.27%
500.49/501.85 c 502s| 500 | 94 | 1061k|1836.8 | 188M | 40 |6518 |7150 |6756 | 342 | 1 | 877 | 11 | 0.000000e+00 | -- | Inf | 50.33%
580.15/581.71 c 582s| 600 | 101 | 1271k|1881.0 | 194M | 40 |6518 |7119 |6773 | 426 | 2 | 952 | 11 | 0.000000e+00 | -- | Inf | 50.38%
641.87/643.62 c 644s| 700 | 125 | 1448k|1865.2 | 199M | 40 |6518 |7130 |6763 | 515 | 1 |1049 | 11 | 0.000000e+00 | -- | Inf | 50.60%
701.89/703.86 c 704s| 800 | 135 | 1619k|1845.8 | 206M | 40 |6518 |7170 |6769 | 596 | 1 |1210 | 11 | 0.000000e+00 | -- | Inf | 50.79%
767.30/769.42 c 769s| 900 | 139 | 1797k|1838.7 | 208M | 40 |6518 |7158 |6764 | 722 | 0 |1236 | 11 | 0.000000e+00 | -- | Inf | 50.93%
842.09/844.43 c 844s| 1000 | 149 | 2007k|1865.0 | 210M | 40 |6518 |7229 |6758 | 793 | 0 |1433 | 11 | 0.000000e+00 | -- | Inf | 50.97%
887.56/890.09 c 890s| 1100 | 144 | 2138k|1814.1 | 212M | 40 |6518 |7266 |6762 | 833 | 1 |1561 | 11 | 0.000000e+00 | -- | Inf | 50.98%
887.56/890.09 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
887.75/890.21 c (run 1, node 1101) performing user restart
887.75/890.21 c
887.75/890.21 c (restart) converted 56 cuts from the global cut pool into linear constraints
887.75/890.21 c
887.75/890.24 c presolving:
887.75/890.25 c (round 1, fast) 51 del vars, 24 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 172 chg coeffs, 0 upgd conss, 0 impls, 35498 clqs
887.75/890.27 c (round 2, exhaustive) 51 del vars, 27 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 172 chg coeffs, 0 upgd conss, 0 impls, 35498 clqs
887.75/890.28 c (round 3, exhaustive) 51 del vars, 27 del conss, 0 add conss, 0 chg bounds, 4 chg sides, 172 chg coeffs, 244 upgd conss, 0 impls, 35498 clqs
887.75/890.29 c (round 4, medium) 51 del vars, 28 del conss, 5 add conss, 0 chg bounds, 20 chg sides, 200 chg coeffs, 244 upgd conss, 0 impls, 35498 clqs
888.15/890.68 c (round 5, exhaustive) 51 del vars, 39 del conss, 5 add conss, 0 chg bounds, 20 chg sides, 4094 chg coeffs, 244 upgd conss, 0 impls, 35498 clqs
888.15/890.69 c (round 6, exhaustive) 51 del vars, 54 del conss, 5 add conss, 0 chg bounds, 20 chg sides, 4106 chg coeffs, 244 upgd conss, 0 impls, 35498 clqs
888.45/890.97 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
888.45/890.97 c 51 deleted vars, 54 deleted constraints, 5 added constraints, 0 tightened bounds, 0 added holes, 20 changed sides, 4143 changed coefficients
888.45/890.97 c 0 implications, 35498 cliques
888.45/890.97 c presolved problem has 6467 variables (6467 bin, 0 int, 0 impl, 0 cont) and 7271 constraints
888.45/890.97 c 31 constraints of type <knapsack>
888.45/890.97 c 1532 constraints of type <setppc>
888.45/890.97 c 8 constraints of type <linear>
888.45/890.97 c 1 constraints of type <orbitope>
888.45/890.97 c 5699 constraints of type <logicor>
888.45/890.97 c transformed objective value is always integral (scale: 1)
888.45/890.97 c Presolving Time: 7.73
888.45/890.97 c
893.54/896.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
893.54/896.07 c 896s| 1 | 0 | 2151k| - | 217M | 0 |6467 |7278 |6680 | 0 | 0 |1586 | 11 | 0.000000e+00 | -- | Inf | unknown
897.53/900.00 c 900s| 1 | 0 | 2156k| - | 219M | 0 |6467 |7227 |6696 | 16 | 1 |1588 | 11 | 0.000000e+00 | -- | Inf | unknown
901.31/903.86 c 904s| 1 | 0 | 2163k| - | 220M | 0 |6467 |7223 |6710 | 30 | 2 |1594 | 11 | 0.000000e+00 | -- | Inf | unknown
905.00/907.59 c 908s| 1 | 0 | 2170k| - | 220M | 0 |6467 |7220 |6725 | 45 | 3 |1595 | 11 | 0.000000e+00 | -- | Inf | unknown
908.50/911.09 c 911s| 1 | 0 | 2176k| - | 222M | 0 |6467 |7201 |6737 | 57 | 4 |1596 | 11 | 0.000000e+00 | -- | Inf | unknown
911.88/914.48 c 914s| 1 | 0 | 2181k| - | 222M | 0 |6467 |7196 |6746 | 66 | 5 |1597 | 11 | 0.000000e+00 | -- | Inf | unknown
915.67/918.25 c 918s| 1 | 0 | 2188k| - | 223M | 0 |6467 |7191 |6757 | 77 | 6 |1598 | 11 | 0.000000e+00 | -- | Inf | unknown
919.06/921.69 c 922s| 1 | 0 | 2193k| - | 223M | 0 |6467 |7186 |6765 | 85 | 7 |1604 | 11 | 0.000000e+00 | -- | Inf | unknown
925.45/928.08 c 928s| 1 | 0 | 2204k| - | 224M | 0 |6467 |7179 |6783 | 103 | 8 |1606 | 11 | 0.000000e+00 | -- | Inf | unknown
931.32/933.97 c 934s| 1 | 0 | 2213k| - | 224M | 0 |6467 |7174 |6803 | 123 | 9 |1611 | 11 | 0.000000e+00 | -- | Inf | unknown
939.80/942.43 c 942s| 1 | 0 | 2226k| - | 225M | 0 |6467 |7174 |6825 | 145 | 10 |1618 | 11 | 0.000000e+00 | -- | Inf | unknown
946.58/949.22 c 949s| 1 | 0 | 2236k| - | 226M | 0 |6467 |7167 |6799 | 168 | 11 |1619 | 11 | 0.000000e+00 | -- | Inf | unknown
980.68/983.45 c 983s| 1 | 2 | 2275k| - | 226M | 0 |6467 |7143 |6799 | 168 | 11 |1642 | 23 | 0.000000e+00 | -- | Inf | unknown
1069.77/1072.72 c 1073s| 100 | 27 | 2470k|1856.6 | 230M | 37 |6467 |7156 |6737 | 193 | 1 |1668 | 23 | 0.000000e+00 | -- | Inf | unknown
1135.22/1138.37 c 1138s| 200 | 40 | 2638k|1843.3 | 236M | 39 |6467 |7202 |6737 | 225 | 1 |1770 | 23 | 0.000000e+00 | -- | Inf | unknown
1156.37/1159.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1156.37/1159.53 c 1160s| 300 | 42 | 2705k|1759.1 | 241M | 41 |6467 |7252 |6741 | 295 | 1 |1853 | 23 | 0.000000e+00 | -- | Inf | unknown
1172.14/1175.35 c 1175s| 400 | 43 | 2756k|1676.1 | 244M | 41 |6467 |7260 |6747 | 326 | 0 |1882 | 23 | 0.000000e+00 | -- | Inf | unknown
1194.79/1198.01 c 1198s| 500 | 54 | 2829k|1617.2 | 247M | 41 |6467 |7222 |6744 | 380 | 0 |1914 | 23 | 0.000000e+00 | -- | Inf | unknown
1209.94/1213.27 c 1213s| 600 | 52 | 2881k|1552.2 | 251M | 41 |6467 |7250 |6743 | 426 | 1 |1964 | 23 | 0.000000e+00 | -- | Inf | unknown
1226.71/1230.08 c 1230s| 700 | 54 | 2938k|1497.7 | 253M | 41 |6467 |7272 |6743 | 461 | 0 |2019 | 23 | 0.000000e+00 | -- | Inf | unknown
1242.06/1245.45 c 1245s| 800 | 52 | 2991k|1447.0 | 260M | 41 |6467 |7293 |6745 | 492 | 1 |2085 | 23 | 0.000000e+00 | -- | Inf | unknown
1258.14/1261.56 c 1262s| 900 | 50 | 3045k|1401.5 | 261M | 41 |6467 |7306 |6748 | 524 | 2 |2163 | 23 | 0.000000e+00 | -- | Inf | unknown
1274.49/1277.94 c 1278s| 1000 | 49 | 3099k|1360.5 | 264M | 41 |6467 |7371 |6743 | 586 | 1 |2285 | 23 | 0.000000e+00 | -- | Inf | unknown
1288.76/1292.24 c 1292s| 1100 | 53 | 3148k|1321.0 | 265M | 41 |6467 |7378 |6745 | 607 | 0 |2353 | 23 | 0.000000e+00 | -- | Inf | unknown
1301.33/1304.90 c 1305s| 1200 | 50 | 3193k|1282.9 | 268M | 41 |6467 |7413 |6749 | 631 | 0 |2403 | 23 | 0.000000e+00 | -- | Inf | unknown
1317.89/1321.47 c 1321s| 1300 | 50 | 3248k|1252.8 | 273M | 41 |6467 |7416 |6749 | 681 | 0 |2448 | 23 | 0.000000e+00 | -- | Inf | unknown
1332.75/1336.30 c 1336s| 1400 | 53 | 3299k|1222.9 | 276M | 41 |6467 |7424 | 0 | 714 | 0 |2545 | 23 | 0.000000e+00 | -- | Inf | unknown
1345.82/1349.46 c 1349s| 1500 | 51 | 3344k|1193.1 | 280M | 43 |6467 |7424 |6759 | 751 | 2 |2640 | 23 | 0.000000e+00 | -- | Inf | unknown
1360.09/1363.76 c 1364s| 1600 | 48 | 3392k|1166.5 | 284M | 46 |6467 |7401 |6759 | 798 | 0 |2704 | 23 | 0.000000e+00 | -- | Inf | unknown
1376.85/1380.57 c 1381s| 1700 | 50 | 3448k|1144.9 | 286M | 46 |6467 |7441 |6756 | 892 | 1 |2776 | 23 | 0.000000e+00 | -- | Inf | unknown
1392.11/1395.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1392.11/1395.85 c 1396s| 1800 | 52 | 3499k|1123.0 | 292M | 46 |6467 |7455 | 0 | 953 | 0 |2864 | 23 | 0.000000e+00 | -- | Inf | unknown
1408.97/1412.79 c 1413s| 1900 | 51 | 3557k|1104.9 | 293M | 46 |6467 |7433 |6743 |1046 | 1 |2969 | 23 | 0.000000e+00 | -- | Inf | unknown
1424.14/1427.98 c 1428s| 2000 | 55 | 3606k|1085.3 | 295M | 46 |6467 |7441 |6776 |1108 | 1 |3081 | 23 | 0.000000e+00 | -- | Inf | unknown
1443.39/1447.21 c 1447s| 2100 | 52 | 3671k|1071.5 | 296M | 46 |6467 |7423 |6761 |1207 | 1 |3138 | 23 | 0.000000e+00 | -- | Inf | unknown
1458.86/1462.78 c 1463s| 2200 | 52 | 3722k|1054.6 | 302M | 50 |6467 |7440 |6749 |1282 | 1 |3220 | 23 | 0.000000e+00 | -- | Inf | unknown
1477.12/1481.06 c 1481s| 2300 | 55 | 3778k|1039.9 | 302M | 50 |6467 |7424 |6744 |1345 | 0 |3345 | 23 | 0.000000e+00 | -- | Inf | unknown
1495.08/1499.07 c 1499s| 2400 | 61 | 3837k|1027.3 | 304M | 50 |6467 |7523 |6753 |1420 | 1 |3610 | 23 | 0.000000e+00 | -- | Inf | unknown
1511.83/1515.89 c 1516s| 2500 | 57 | 3891k|1013.5 | 308M | 50 |6467 |7580 | 0 |1489 | 0 |3761 | 23 | 0.000000e+00 | -- | Inf | unknown
1531.48/1535.50 c 1535s| 2600 | 58 | 3955k|1003.6 | 323M | 50 |6467 |7586 |6756 |1548 | 1 |3873 | 23 | 0.000000e+00 | -- | Inf | unknown
1549.64/1553.74 c 1554s| 2700 | 74 | 4015k| 993.0 | 324M | 50 |6467 |7536 |6757 |1628 | 1 |3973 | 23 | 0.000000e+00 | -- | Inf | unknown
1567.30/1571.45 c 1571s| 2800 | 88 | 4073k| 982.2 | 324M | 50 |6467 |7526 |6755 |1677 | 1 |4117 | 23 | 0.000000e+00 | -- | Inf | unknown
1583.36/1587.50 c 1587s| 2900 | 85 | 4125k| 970.8 | 325M | 50 |6467 |7586 |6765 |1793 | 0 |4206 | 23 | 0.000000e+00 | -- | Inf | unknown
1601.32/1605.55 c 1606s| 3000 | 83 | 4184k| 961.5 | 325M | 50 |6467 |7581 |6758 |1884 | 2 |4303 | 23 | 0.000000e+00 | -- | Inf | unknown
1620.27/1624.53 c 1625s| 3100 | 87 | 4246k| 953.4 | 325M | 50 |6467 |7619 |6781 |1972 | 1 |4380 | 23 | 0.000000e+00 | -- | Inf | unknown
1634.84/1639.19 c 1639s| 3200 | 91 | 4294k| 942.3 | 326M | 50 |6467 |7617 |6753 |2014 | 1 |4432 | 23 | 0.000000e+00 | -- | Inf | unknown
1656.19/1660.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1656.19/1660.59 c 1661s| 3300 | 97 | 4366k| 937.2 | 328M | 50 |6467 |7641 |6755 |2108 | 0 |4517 | 23 | 0.000000e+00 | -- | Inf | unknown
1670.35/1674.79 c 1675s| 3400 | 96 | 4411k| 926.5 | 329M | 51 |6467 |7702 |6765 |2158 | 1 |4650 | 23 | 0.000000e+00 | -- | Inf | unknown
1690.51/1695.00 c 1695s| 3500 | 98 | 4475k| 920.2 | 330M | 55 |6467 |7747 |6756 |2279 | 1 |4737 | 23 | 0.000000e+00 | -- | Inf | unknown
1711.56/1716.04 c 1716s| 3600 | 98 | 4541k| 914.8 | 335M | 58 |6467 |7796 |6753 |2379 | 0 |4835 | 23 | 0.000000e+00 | -- | Inf | unknown
1734.00/1738.57 c 1739s| 3700 | 104 | 4613k| 910.6 | 343M | 58 |6467 |7846 |6790 |2527 | 2 |4970 | 23 | 0.000000e+00 | -- | Inf | unknown
1750.57/1755.10 c 1755s| 3800 | 101 | 4665k| 902.8 | 357M | 63 |6467 |7818 | 0 |2679 | 0 |5033 | 23 | 0.000000e+00 | -- | Inf | unknown
1765.03/1769.66 c 1770s| 3900 | 103 | 4712k| 894.0 | 362M | 63 |6467 |7854 |6753 |2768 | 0 |5135 | 23 | 0.000000e+00 | -- | Inf | unknown
1780.00/1784.67 c 1785s| 4000 | 101 | 4758k| 885.6 | 371M | 63 |6467 |7800 |6759 |2923 | 0 |5202 | 23 | 0.000000e+00 | -- | Inf | unknown
1791.48/1796.14 c 1796s| 4100 | 106 | 4794k| 875.4 | 371M | 63 |6467 |7784 |6767 |3025 | 1 |5285 | 23 | 0.000000e+00 | -- | Inf | unknown
1803.35/1808.08 c 1808s| 4200 | 105 | 4832k| 866.1 | 371M | 63 |6467 |7834 |6772 |3095 | 1 |5415 | 23 | 0.000000e+00 | -- | Inf | unknown
1818.90/1823.62 c 1824s| 4300 | 105 | 4881k| 859.0 | 372M | 63 |6467 |7860 |6780 |3199 | 1 |5512 | 23 | 0.000000e+00 | -- | Inf | unknown
1833.38/1838.17 c 1838s| 4400 | 105 | 4927k| 851.8 | 372M | 63 |6467 |7932 |6785 |3225 | 1 |5589 | 23 | 0.000000e+00 | -- | Inf | unknown
1852.62/1857.40 c 1857s| 4500 | 105 | 4985k| 847.0 | 374M | 63 |6467 |8010 |6760 |3388 | 1 |5734 | 23 | 0.000000e+00 | -- | Inf | unknown
1867.79/1872.68 c 1873s| 4600 | 105 | 5034k| 840.7 | 374M | 63 |6467 |7912 |6764 |3500 | 0 |5779 | 23 | 0.000000e+00 | -- | Inf | unknown
1882.05/1886.93 c 1887s| 4700 | 101 | 5079k| 834.0 | 374M | 63 |6467 |7917 |6765 |3629 | 1 |5958 | 23 | 0.000000e+00 | -- | Inf | unknown
1899.51/1904.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1899.51/1904.44 c 1904s| 4800 | 93 | 5135k| 829.4 | 374M | 63 |6467 |7891 |6770 |3738 | 1 |6092 | 23 | 0.000000e+00 | -- | Inf | unknown
1916.66/1921.62 c 1922s| 4900 | 93 | 5191k| 824.8 | 375M | 63 |6467 |7895 |6772 |3825 | 1 |6156 | 23 | 0.000000e+00 | -- | Inf | unknown
1930.33/1935.31 c 1935s| 5000 | 94 | 5236k| 818.7 | 375M | 63 |6467 |7899 |6767 |3908 | 0 |6240 | 23 | 0.000000e+00 | -- | Inf | unknown
1947.39/1952.41 c 1952s| 5100 | 92 | 5293k| 814.6 | 376M | 63 |6467 |7881 |6765 |3937 | 0 |6266 | 23 | 0.000000e+00 | -- | Inf | unknown
1965.34/1970.49 c 1970s| 5200 | 91 | 5351k| 811.0 | 376M | 63 |6467 |7905 |6754 |4030 | 0 |6394 | 23 | 0.000000e+00 | -- | Inf | unknown
1985.40/1990.54 c 1991s| 5300 | 83 | 5416k| 808.5 | 377M | 63 |6467 |7867 |6755 |4135 | 1 |6464 | 23 | 0.000000e+00 | -- | Inf | unknown
2003.26/2008.40 c 2008s| 5400 | 86 | 5475k| 805.1 | 378M | 63 |6467 |7857 |6767 |4246 | 1 |6562 | 23 | 0.000000e+00 | -- | Inf | unknown
2018.02/2023.20 c 2023s| 5500 | 86 | 5524k| 800.4 | 380M | 63 |6467 |7827 |6760 |4338 | 1 |6616 | 23 | 0.000000e+00 | -- | Inf | unknown
2032.99/2038.25 c 2038s| 5600 | 84 | 5575k| 795.9 | 381M | 63 |6467 |7776 |6764 |4445 | 1 |6678 | 23 | 0.000000e+00 | -- | Inf | unknown
2047.35/2052.62 c 2053s| 5700 | 80 | 5621k| 791.1 | 382M | 63 |6467 |7818 |6774 |4536 | 0 |6836 | 23 | 0.000000e+00 | -- | Inf | unknown
2061.01/2066.37 c 2066s| 5800 | 78 | 5666k| 786.2 | 382M | 63 |6467 |7832 |6766 |4667 | 0 |6932 | 23 | 0.000000e+00 | -- | Inf | unknown
2075.06/2080.40 c 2080s| 5900 | 77 | 5713k| 781.6 | 383M | 63 |6467 |7791 |6765 |4667 | 0 |6997 | 23 | 0.000000e+00 | -- | Inf | unknown
2091.02/2096.42 c 2096s| 6000 | 77 | 5766k| 778.1 | 383M | 63 |6467 |7787 |6761 |4809 | 0 |7065 | 23 | 0.000000e+00 | -- | Inf | unknown
2108.16/2113.67 c 2114s| 6100 | 81 | 5822k| 775.0 | 384M | 63 |6467 |7805 |6779 |4959 | 1 |7150 | 23 | 0.000000e+00 | -- | Inf | unknown
2126.91/2132.48 c 2132s| 6200 | 85 | 5883k| 772.8 | 384M | 63 |6467 |7811 |6772 |5084 | 0 |7252 | 23 | 0.000000e+00 | -- | Inf | unknown
2141.57/2147.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2141.57/2147.14 c 2147s| 6300 | 91 | 5931k| 768.8 | 385M | 63 |6467 |7878 |6771 |5190 | 1 |7408 | 23 | 0.000000e+00 | -- | Inf | unknown
2156.82/2162.40 c 2162s| 6400 | 87 | 5982k| 765.4 | 385M | 63 |6467 |7858 |6761 |5366 | 0 |7595 | 23 | 0.000000e+00 | -- | Inf | unknown
2172.17/2177.80 c 2178s| 6500 | 86 | 6032k| 761.9 | 385M | 63 |6467 |7866 |6778 |5430 | 1 |7765 | 23 | 0.000000e+00 | -- | Inf | unknown
2188.72/2194.42 c 2194s| 6600 | 79 | 6087k| 759.1 | 386M | 63 |6467 |7794 |6747 |5490 | 0 |7886 | 23 | 0.000000e+00 | -- | Inf | unknown
2206.28/2212.01 c 2212s| 6700 | 78 | 6144k| 756.7 | 386M | 63 |6467 |7793 |6760 |5647 | 1 |7962 | 23 | 0.000000e+00 | -- | Inf | unknown
2226.82/2232.64 c 2233s| 6800 | 73 | 6212k| 755.7 | 387M | 63 |6467 |7645 |6785 |5878 | 2 |8054 | 23 | 0.000000e+00 | -- | Inf | unknown
2245.36/2251.21 c 2251s| 6900 | 73 | 6272k| 753.7 | 387M | 63 |6467 |7678 |6764 |5964 | 1 |8164 | 23 | 0.000000e+00 | -- | Inf | unknown
2255.63/2261.57 c 2262s| 7000 | 69 | 6307k| 748.7 | 387M | 63 |6467 |7711 | 0 |6120 | 0 |8257 | 23 | 0.000000e+00 | -- | Inf | unknown
2265.40/2271.33 c 2271s| 7100 | 72 | 6340k| 743.6 | 387M | 63 |6467 |7759 |6762 |6187 | 1 |8375 | 23 | 0.000000e+00 | -- | Inf | unknown
2277.27/2283.27 c 2283s| 7200 | 70 | 6378k| 739.3 | 389M | 63 |6467 |7780 |6766 |6298 | 1 |8494 | 23 | 0.000000e+00 | -- | Inf | unknown
2292.03/2298.08 c 2298s| 7300 | 69 | 6426k| 736.2 | 390M | 63 |6467 |7709 |6764 |6415 | 2 |8623 | 23 | 0.000000e+00 | -- | Inf | unknown
2307.47/2313.52 c 2314s| 7400 | 68 | 6477k| 733.5 | 390M | 63 |6467 |7711 |6769 |6540 | 1 |8706 | 23 | 0.000000e+00 | -- | Inf | unknown
2324.62/2330.78 c 2331s| 7500 | 65 | 6533k| 731.5 | 390M | 63 |6467 |7738 |6773 |6630 | 1 |8869 | 23 | 0.000000e+00 | -- | Inf | unknown
2341.17/2347.36 c 2347s| 7600 | 65 | 6586k| 729.3 | 390M | 63 |6467 |7685 |6764 |6687 | 1 |8949 | 23 | 0.000000e+00 | -- | Inf | unknown
2359.71/2365.94 c 2366s| 7700 | 67 | 6642k| 727.3 | 391M | 63 |6467 |7763 |6782 |6807 | 1 |9110 | 23 | 0.000000e+00 | -- | Inf | unknown
2378.06/2384.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2378.06/2384.37 c 2384s| 7800 | 69 | 6701k| 725.8 | 391M | 63 |6467 |7732 |6773 |6840 | 1 |9252 | 23 | 0.000000e+00 | -- | Inf | unknown
2395.71/2402.04 c 2402s| 7900 | 68 | 6758k| 724.1 | 391M | 63 |6467 |7789 |6763 |6918 | 1 |9327 | 23 | 0.000000e+00 | -- | Inf | unknown
2411.46/2417.89 c 2418s| 8000 | 66 | 6811k| 721.8 | 392M | 63 |6467 |7801 |6768 |6986 | 0 |9414 | 23 | 0.000000e+00 | -- | Inf | unknown
2428.31/2434.78 c 2435s| 8100 | 66 | 6865k| 719.9 | 393M | 63 |6467 |7752 |6771 |7148 | 1 |9525 | 23 | 0.000000e+00 | -- | Inf | unknown
2444.96/2451.46 c 2451s| 8200 | 64 | 6918k| 717.8 | 394M | 63 |6467 |7752 |6783 |7201 | 0 |9627 | 23 | 0.000000e+00 | -- | Inf | unknown
2463.70/2470.28 c 2470s| 8300 | 65 | 6979k| 716.7 | 394M | 63 |6467 |7736 |6763 |7351 | 0 |9780 | 23 | 0.000000e+00 | -- | Inf | unknown
2476.97/2483.53 c 2484s| 8400 | 65 | 7022k| 713.7 | 395M | 63 |6467 |7812 |6767 |7403 | 0 |9886 | 23 | 0.000000e+00 | -- | Inf | unknown
2498.10/2504.72 c 2505s| 8500 | 66 | 7087k| 713.0 | 395M | 63 |6467 |7812 |6787 |7595 | 0 | 10k| 23 | 0.000000e+00 | -- | Inf | unknown
2516.05/2522.79 c 2523s| 8600 | 60 | 7145k| 711.7 | 395M | 63 |6467 |7696 |6760 |7708 | 1 | 10k| 23 | 0.000000e+00 | -- | Inf | unknown
2534.69/2541.40 c 2541s| 8700 | 60 | 7203k| 710.3 | 395M | 63 |6467 |7715 |6779 |7810 | 1 | 10k| 23 | 0.000000e+00 | -- | Inf | unknown
2553.84/2560.64 c 2561s| 8800 | 60 | 7263k| 709.2 | 395M | 63 |6467 |7716 |6783 |7944 | 0 | 10k| 23 | 0.000000e+00 | -- | Inf | unknown
2575.37/2582.20 c 2582s| 8900 | 58 | 7331k| 708.9 | 396M | 63 |6467 |7741 |6746 |8012 | 1 | 10k| 23 | 0.000000e+00 | -- | Inf | unknown
2593.62/2600.51 c 2601s| 9000 | 58 | 7390k| 707.8 | 396M | 64 |6467 |7736 |6767 |8115 | 1 | 10k| 23 | 0.000000e+00 | -- | Inf | unknown
2610.48/2617.40 c 2617s| 9100 | 58 | 7444k| 706.1 | 396M | 64 |6467 |7728 |6738 |8235 | 1 | 10k| 23 | 0.000000e+00 | -- | Inf | unknown
2629.72/2636.78 c 2637s| 9200 | 60 | 7507k| 705.3 | 397M | 64 |6467 |7675 | 0 |8403 | 0 | 10k| 23 | 0.000000e+00 | -- | Inf | unknown
2655.24/2662.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2655.24/2662.31 c 2662s| 9300 | 66 | 7583k| 705.9 | 397M | 64 |6467 |7664 |6750 |8618 | 1 | 10k| 23 | 0.000000e+00 | -- | Inf | unknown
2671.19/2678.36 c 2678s| 9400 | 66 | 7634k| 704.0 | 397M | 64 |6467 |7693 |6769 |8919 | 1 | 10k| 23 | 0.000000e+00 | -- | Inf | unknown
2691.04/2698.29 c 2698s| 9500 | 66 | 7697k| 703.3 | 397M | 64 |6467 |7685 |6771 |8997 | 0 | 10k| 23 | 0.000000e+00 | -- | Inf | unknown
2722.64/2729.99 c 2730s| 9600 | 76 | 7786k| 705.0 | 398M | 64 |6467 |7698 |6773 |9156 | 2 | 10k| 23 | 0.000000e+00 | -- | Inf | unknown
2739.80/2747.16 c 2747s| 9700 | 75 | 7839k| 703.4 | 398M | 64 |6467 |7724 |6771 |9260 | 0 | 10k| 23 | 0.000000e+00 | -- | Inf | unknown
2760.63/2768.08 c 2768s| 9800 | 77 | 7904k| 702.9 | 398M | 64 |6467 |7725 |6783 |9333 | 0 | 10k| 23 | 0.000000e+00 | -- | Inf | unknown
2778.18/2785.66 c 2786s| 9900 | 81 | 7959k| 701.6 | 398M | 64 |6467 |7729 |6771 |9354 | 1 | 10k| 23 | 0.000000e+00 | -- | Inf | unknown
2802.20/2809.72 c 2810s| 10000 | 75 | 8033k| 701.9 | 398M | 64 |6467 |7711 |6776 |9448 | 0 | 10k| 23 | 0.000000e+00 | -- | Inf | unknown
2825.93/2833.53 c 2834s| 10100 | 75 | 8106k| 702.2 | 399M | 64 |6467 |7725 |6774 |9558 | 0 | 10k| 23 | 0.000000e+00 | -- | Inf | unknown
2845.48/2853.18 c 2853s| 10200 | 87 | 8167k| 701.4 | 400M | 64 |6467 |7777 |6785 |9631 | 1 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
2864.82/2872.54 c 2873s| 10300 | 87 | 8228k| 700.5 | 400M | 64 |6467 |7774 |6776 |9699 | 0 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
2886.57/2894.36 c 2894s| 10400 | 83 | 8294k| 700.2 | 400M | 64 |6467 |7770 |6791 |9798 | 2 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
2904.62/2912.49 c 2912s| 10500 | 81 | 8351k| 699.1 | 401M | 64 |6467 |7762 |6782 |9817 | 1 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
2924.58/2932.42 c 2932s| 10600 | 77 | 8414k| 698.5 | 401M | 64 |6467 |7757 |6776 |9823 | 1 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
2945.42/2953.33 c 2953s| 10700 | 75 | 8478k| 698.0 | 401M | 64 |6467 |7755 |6773 |9904 | 0 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
2973.36/2981.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2973.36/2981.33 c 2981s| 10800 | 77 | 8564k| 699.4 | 404M | 64 |6467 |7758 |6781 | 10k| 0 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
2997.50/3005.53 c 3006s| 10900 | 81 | 8639k| 699.8 | 406M | 64 |6467 |7764 |6787 | 10k| 0 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
3023.04/3031.18 c 3031s| 11000 | 83 | 8720k| 700.6 | 406M | 64 |6467 |7758 |6781 | 10k| 1 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
3054.36/3062.53 c 3063s| 11100 | 83 | 8818k| 702.9 | 406M | 64 |6467 |7770 |6784 | 10k| 0 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
3078.50/3086.80 c 3087s| 11200 | 79 | 8895k| 703.5 | 406M | 64 |6467 |7788 |6778 | 10k| 1 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
3104.34/3112.60 c 3113s| 11300 | 77 | 8977k| 704.4 | 406M | 64 |6467 |7786 |6789 | 10k| 1 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
3127.39/3135.78 c 3136s| 11400 | 77 | 9052k| 704.8 | 406M | 64 |6467 |7826 |6781 | 10k| 1 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
3156.72/3165.14 c 3165s| 11500 | 81 | 9144k| 706.5 | 406M | 64 |6467 |7822 |6797 | 10k| 1 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
3184.95/3193.49 c 3193s| 11600 | 79 | 9236k| 708.2 | 406M | 64 |6467 |7825 |6777 | 10k| 0 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
3210.19/3218.70 c 3219s| 11700 | 81 | 9318k| 709.0 | 407M | 64 |6467 |7830 |6792 | 10k| 1 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
3237.43/3246.02 c 3246s| 11800 | 73 | 9405k| 710.3 | 407M | 64 |6467 |7842 |6786 | 10k| 0 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
3267.75/3276.44 c 3276s| 11900 | 82 | 9503k| 712.4 | 407M | 64 |6467 |7825 |6780 | 10k| 1 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
3300.57/3309.34 c 3309s| 12000 | 78 | 9607k| 714.9 | 407M | 64 |6467 |7841 |6783 | 10k| 0 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
3331.30/3340.13 c 3340s| 12100 | 74 | 9706k| 717.0 | 408M | 64 |6467 |7838 |6781 | 10k| 0 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
3359.83/3368.76 c 3369s| 12200 | 78 | 9797k| 718.4 | 409M | 64 |6467 |7829 |6779 | 11k| 1 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
3383.57/3392.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3383.57/3392.58 c 3393s| 12300 | 76 | 9874k| 718.8 | 409M | 64 |6467 |7833 |6791 | 11k| 0 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
3415.79/3424.80 c 3425s| 12400 | 78 | 9974k| 720.9 | 409M | 64 |6467 |7825 |6798 | 11k| 1 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
3442.33/3451.40 c 3451s| 12500 | 80 | 10056k| 721.6 | 410M | 64 |6467 |7823 |6810 | 11k| 0 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
3469.67/3478.81 c 3479s| 12600 | 80 | 10142k| 722.7 | 411M | 64 |6467 |7824 |6797 | 11k| 0 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
3501.69/3510.93 c 3511s| 12700 | 78 | 10242k| 724.6 | 411M | 64 |6467 |7845 |6794 | 11k| 0 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
3528.73/3538.10 c 3538s| 12800 | 78 | 10327k| 725.5 | 411M | 64 |6467 |7867 |6799 | 11k| 2 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
3559.66/3569.03 c 3569s| 12900 | 76 | 10423k| 727.2 | 412M | 64 |6467 |7869 |6779 | 11k| 0 | 11k| 23 | 0.000000e+00 | -- | Inf | unknown
3587.48/3597.00 c
3587.48/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.48/3597.00 c Solving Time (sec) : 3597.00
3587.48/3597.00 c Solving Nodes : 12996 (total of 14097 nodes in 2 runs)
3587.48/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.48/3597.00 c Dual Bound : +0.00000000000000e+00
3587.48/3597.00 c Gap : infinite
3587.48/3597.00 s UNKNOWN
3587.48/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.48/3597.00 c Total Time : 3597.00
3587.48/3597.00 c solving : 3597.00
3587.48/3597.00 c presolving : 7.73 (included in solving)
3587.48/3597.00 c reading : 0.02 (included in solving)
3587.48/3597.00 c copying : 1.96 (106 #copies) (minimal 0.02, maximal 0.02, average 0.02)
3587.48/3597.00 c Original Problem :
3587.48/3597.00 c Problem name : HOME/instance-4447095-1721345880.opb
3587.48/3597.00 c Variables : 7276 (7276 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.48/3597.00 c Constraints : 7492 initial, 7492 maximal
3587.48/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.48/3597.00 c Presolved Problem :
3587.48/3597.00 c Problem name : t_HOME/instance-4447095-1721345880.opb
3587.48/3597.00 c Variables : 6467 (6467 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.48/3597.00 c Constraints : 7271 initial, 8021 maximal
3587.48/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.48/3597.00 c Nonzeros : 104566 constraint, 77500 clique table
3587.48/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.48/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c domcol : 0.11 0.00 12 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c gateextraction : 0.06 0.00 17 0 0 0 0 0 1 0 0 0
3587.48/3597.00 c implics : 0.00 0.00 21 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c milp : 0.08 0.00 1 113 0 0 0 0 0 0 0 0
3587.48/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c sparsify : 0.16 0.00 3 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c trivial : 0.00 0.00 39 337 0 0 0 0 0 0 0 0
3587.48/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c dualfix : 0.00 0.00 39 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c probing : 6.04 0.00 11 211 1 0 0 0 0 0 0 0
3587.48/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c symmetry : 0.03 0.00 1 6 0 0 0 0 0 1 0 0
3587.48/3597.00 c vbounds : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c knapsack : 0.01 0.00 11 0 0 0 0 0 0 5 16 71
3587.48/3597.00 c setppc : 0.06 0.00 65 0 0 0 0 0 97 0 0 0
3587.48/3597.00 c linear : 0.06 0.01 22 141 0 0 141 0 526 0 4 1
3587.48/3597.00 c orbitope : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c logicor : 1.03 0.01 62 62 0 0 0 0 237 0 0 4520
3587.48/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c root node : - - - 51 - - 51 - - - - -
3587.48/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.48/3597.00 c benderslp : 0 0 0 0 7219 0 0 988 0 0 0 0 0 0 0
3587.48/3597.00 c integral : 0 0 0 0 7219 0 0 988 0 0 0 0 0 0 14438
3587.48/3597.00 c knapsack : 31+ 34 11 89606 0 0 0 0 55135 4 22438 0 0 0 0
3587.48/3597.00 c setppc : 1532+ 1674 22 191431 0 0 0 983 2489418 343 348481 1 1 0 0
3587.48/3597.00 c linear : 8+ 44 22 95273 0 0 0 3 1673 333 6349 4 4 0 0
3587.48/3597.00 c orbitope : 1 1 0 99151 0 0 0 0 21096 25 3630 0 0 0 0
3587.48/3597.00 c logicor : 5699+ 6367 22 151264 0 0 0 0 4461786 999 514915 83 42 0 0
3587.48/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.48/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.00 c integral : 17.49 0.00 0.00 0.00 17.49 0.00 0.00 0.00 0.00 0.00
3587.48/3597.00 c knapsack : 0.27 0.00 0.04 0.22 0.00 0.00 0.00 0.00 0.01 0.00
3587.48/3597.00 c setppc : 2.39 0.00 0.00 1.74 0.00 0.00 0.00 0.01 0.61 0.03
3587.48/3597.00 c linear : 0.25 0.01 0.00 0.21 0.00 0.00 0.00 0.00 0.02 0.01
3587.48/3597.00 c orbitope : 0.26 0.00 0.00 0.26 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.00 c logicor : 5.79 0.01 0.02 3.94 0.00 0.00 0.00 0.00 1.80 0.02
3587.48/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.48/3597.00 c dualfix : 2 0 0 0
3587.48/3597.00 c genvbounds : 0 0 0 0
3587.48/3597.00 c nlobbt : 0 0 0 0
3587.48/3597.00 c obbt : 0 0 0 0
3587.48/3597.00 c probing : 0 0 0 0
3587.48/3597.00 c pseudoobj : 0 0 0 0
3587.48/3597.00 c redcost : 0 0 0 0
3587.48/3597.00 c rootredcost : 0 0 0 0
3587.48/3597.00 c symmetry : 9664 0 0 15
3587.48/3597.00 c vbounds : 65558 0 0 0
3587.48/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.48/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.00 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3587.48/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.48/3597.00 c probing : 6.04 0.00 6.04 0.00 0.00 0.00
3587.48/3597.00 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3587.48/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.48/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.48/3597.00 c symmetry : 0.08 0.00 0.03 0.05 0.00 0.00
3587.48/3597.00 c vbounds : 1.14 0.00 0.01 1.13 0.00 0.00
3587.48/3597.00 c Symmetry :
3587.48/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.48/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.48/3597.00 c lexicographic red: 15 reductions applied, 0 cutoffs
3587.48/3597.00 c shadow tree time : 0.03 s
3587.48/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.48/3597.00 c propagation : 1.05 1382 1238 - 11938 339.5 192 82.2 - - -
3587.48/3597.00 c infeasible LP : 23.88 5729 1848 - 41994 1378.1 71 39.0 135 591.1 0
3587.48/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.48/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.48/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.48/3597.00 c applied globally : 0.51 - - 0 11381 348.7 - - 125 - -
3587.48/3597.00 c applied locally : - - - 0 161 922.9 - - 10 - -
3587.48/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.48/3597.00 c cut pool : 3.56 - 1989 42 - - 9123 222932 - - - - - (maximal pool size: 2114)
3587.48/3597.00 c aggregation : 0.60 0.00 513 22 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.48/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.48/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.48/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c clique : 0.86 0.00 22 22 0 0 157 515 0 255 255 0 0
3587.48/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c gomory : 32.16 0.00 511 20 0 0 9534 214043 952 8346 8294 52 0
3587.48/3597.00 c > gomorymi : - - - - - - - 101671 480 4531 4501 30 -
3587.48/3597.00 c > strongcg : - - - - - - - 112372 472 3815 3793 22 -
3587.48/3597.00 c impliedbounds : 0.74 0.00 513 22 0 0 101 361 0 199 199 0 0
3587.48/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c multilinear : 0.00 0.00 79 22 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c rapidlearning : 33.37 0.00 100 2 0 31749 0 0 0 0 0 0 502
3587.48/3597.00 c rlt : 0.00 0.00 358 20 0 0 0 0 0 0 0 0 0
3587.48/3597.00 c zerohalf : 9.16 0.00 513 22 0 0 1436 8013 1153 3815 2770 1045 0
3587.48/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.48/3597.00 c hybrid : 0.79 0.00 1545 22 12678 0 211862 288 0 245
3587.48/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.48/3597.00 c problem variables: 0.00 - 0 0
3587.48/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.48/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c relpscost : 17.48 0.00 7219 0 0 0 0 0 0 14438
3587.48/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.48/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.48/3597.00 c LP solutions : 0.00 - - 0 0
3587.48/3597.00 c relax solutions : 0.00 - - 0 0
3587.48/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.48/3597.00 c strong branching : 0.00 - - 0 0
3587.59/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.59/3597.00 c adaptivediving : 20.22 0.00 16 0 0
3587.59/3597.00 c alns : 7.10 0.00 4 0 0
3587.59/3597.00 c bound : 0.00 0.00 0 0 0
3587.59/3597.00 c clique : 0.03 0.00 1 0 0
3587.59/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.59/3597.00 c completesol : 0.00 0.00 0 0 0
3587.59/3597.00 c conflictdiving : 57.21 0.00 10 0 0
3587.59/3597.00 c crossover : 0.00 0.00 0 0 0
3587.59/3597.00 c dins : 0.00 0.00 0 0 0
3587.59/3597.00 c distributiondivin: 7.04 0.00 9 0 0
3587.59/3597.00 c dps : 0.00 0.00 0 0 0
3587.59/3597.00 c dualval : 0.00 0.00 0 0 0
3587.59/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.59/3597.00 c feasjump : 0.06 0.00 2 0 0
3587.59/3597.00 c feaspump : 44.84 0.00 5 0 0
3587.59/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.59/3597.00 c fracdiving : 14.72 0.00 9 0 0
3587.59/3597.00 c gins : 0.00 0.00 0 0 0
3587.59/3597.00 c guideddiving : 0.00 0.00 0 0 0
3587.59/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3587.59/3597.00 c indicator : 0.00 0.00 0 0 0
3587.59/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.59/3597.00 c indoneopt : 0.00 0.00 0 0 0
3587.59/3597.00 c indrounding : 0.00 0.00 0 0 0
3587.59/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3587.59/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.59/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.59/3597.00 c linesearchdiving : 37.91 0.00 9 0 0
3587.59/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.59/3597.00 c locks : 0.02 0.00 1 0 0
3587.59/3597.00 c lpface : 0.08 0.00 0 0 0
3587.59/3597.00 c mpec : 0.00 0.00 0 0 0
3587.59/3597.00 c multistart : 0.00 0.00 0 0 0
3587.59/3597.00 c mutation : 0.00 0.00 0 0 0
3587.59/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.59/3597.00 c objpscostdiving : 35.41 0.00 5 0 0
3587.59/3597.00 c octane : 0.00 0.00 0 0 0
3587.59/3597.00 c ofins : 0.00 0.00 0 0 0
3587.59/3597.00 c oneopt : 0.01 0.00 0 0 0
3587.59/3597.00 c padm : 0.00 0.00 0 0 0
3587.59/3597.00 c proximity : 0.00 0.00 0 0 0
3587.59/3597.00 c pscostdiving : 18.15 0.00 10 0 0
3587.59/3597.00 c randrounding : 0.40 0.00 998 0 0
3587.59/3597.00 c rens : 0.22 0.00 2 0 0
3587.59/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.59/3597.00 c repair : 0.00 0.00 0 0 0
3587.59/3597.00 c rins : 0.00 0.00 0 0 0
3587.59/3597.00 c rootsoldiving : 11.37 0.00 5 0 0
3587.59/3597.00 c rounding : 0.23 0.00 1308 0 0
3587.59/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.59/3597.00 c shiftandpropagate: 0.05 0.00 2 0 0
3587.59/3597.00 c shifting : 0.64 0.00 608 0 0
3587.59/3597.00 c simplerounding : 0.00 0.00 0 0 0
3587.59/3597.00 c smallcard : 0.00 0.00 0 0 0
3587.59/3597.00 c subnlp : 0.01 0.00 0 0 0
3587.59/3597.00 c trivial : 0.01 0.00 4 0 0
3587.59/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.59/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.59/3597.00 c trysol : 0.00 0.00 0 0 0
3587.59/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.59/3597.00 c undercover : 0.00 0.00 0 0 0
3587.59/3597.00 c vbounds : 0.04 0.00 2 0 0
3587.59/3597.00 c veclendiving : 13.91 0.00 9 0 0
3587.59/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.59/3597.00 c zirounding : 0.06 0.00 1000 0 0
3587.59/3597.00 c other solutions : - - - 0 -
3587.59/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.59/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.59/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.59/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.59/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.59/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.59/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.59/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.59/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.59/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.59/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.59/3597.00 c primal LP : 3.10 821 0 0.00 0.00 3.10 821
3587.59/3597.00 c dual LP : 3167.45 14550 9873768 680.25 3117.26 0.07 35
3587.59/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.59/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.59/3597.00 c resolve instable : 0.00 0 0 0.00 -
3587.59/3597.00 c diving/probing LP: 263.31 1060 636770 600.73 2418.32
3587.59/3597.00 c strong branching : 9.37 23 16173 703.17 1726.37 - - 27
3587.59/3597.00 c (at root node) : - 23 16173 703.17 -
3587.59/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3587.59/3597.00 c B&B Tree :
3587.59/3597.00 c number of runs : 2
3587.59/3597.00 c nodes : 12996 (6594 internal, 6402 leaves)
3587.59/3597.00 c feasible leaves : 0
3587.59/3597.00 c infeas. leaves : 6401
3587.59/3597.00 c objective leaves : 0
3587.59/3597.00 c nodes (total) : 14097 (7219 internal, 6878 leaves)
3587.59/3597.00 c nodes left : 81
3587.59/3597.00 c max depth : 64
3587.59/3597.00 c max depth (total): 64
3587.59/3597.00 c backtracks : 2082 (16.0%)
3587.59/3597.00 c early backtracks : 0 (0.0%)
3587.59/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.59/3597.00 c delayed cutoffs : 113
3587.59/3597.00 c repropagations : 5077 (32118 domain reductions, 85 cutoffs)
3587.59/3597.00 c avg switch length: 3.24
3587.59/3597.00 c switching time : 6.35
3587.59/3597.00 c Root Node :
3587.59/3597.00 c First LP value : +0.00000000000000e+00
3587.59/3597.00 c First LP Iters : 12462 (2521.10 Iter/sec)
3587.59/3597.00 c First LP Time : 4.94
3587.59/3597.00 c Final Dual Bound : +0.00000000000000e+00
3587.59/3597.00 c Final Root Iters : 242382
3587.59/3597.00 c Root LP Estimate : +2.13540458589013e-02
3587.59/3597.00 c Solution :
3587.59/3597.00 c Solutions found : 0 (0 improvements)
3587.59/3597.00 c Primal Bound : -
3587.59/3597.00 c Dual Bound : +0.00000000000000e+00
3587.59/3597.00 c Gap : infinite
3587.59/3597.00 c Integrals : Total Avg%
3587.59/3597.00 c primal-dual : 359699.83 100.00
3587.59/3597.00 c primal-ref : - - (not evaluated)
3587.59/3597.00 c dual-ref : - - (not evaluated)
3587.69/3597.11 c Time complete: 3587.71.