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-4443105-1721297799.opb>
0.00/0.04 c original problem has 14400 variables (14400 bin, 0 int, 0 impl, 0 cont) and 1088 constraints
0.00/0.04 c problem read in 0.04
0.00/0.04 c No objective function, only one solution is needed.
0.00/0.08 c presolving:
0.10/0.15 c (0.1s) running MILP presolver
0.20/0.21 c (0.2s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.20/0.21 c (round 1, medium) 0 del vars, 1088 del conss, 608 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 480 clqs
0.30/0.34 c (round 2, exhaustive) 0 del vars, 1088 del conss, 608 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 480 clqs
0.59/0.65 c (0.7s) probing: 51/14400 (0.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.65 c (0.7s) probing aborted: 50/50 successive totally useless probings
0.59/0.66 c (0.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.79/0.88 c (0.9s) symmetry computation finished: 36 generators found (max: 1500, log10 of symmetry group size: 30.0) (symcode time: 0.20)
0.89/0.90 c dynamic symmetry handling statistics:
0.89/0.90 c orbitopal reduction: no components
0.89/0.90 c orbital reduction: no components
0.89/0.90 c lexicographic reduction: no permutations
0.89/0.90 c handled 1 out of 1 symmetry components
0.89/0.90 c (round 3, exhaustive) 232 del vars, 1088 del conss, 644 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 480 clqs
0.89/0.91 c (round 4, medium) 248 del vars, 1088 del conss, 644 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 480 clqs
1.58/1.64 c (round 5, exhaustive) 278 del vars, 1088 del conss, 644 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 16082 clqs
1.58/1.68 c (round 6, exhaustive) 649 del vars, 1088 del conss, 644 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 15045 clqs
1.58/1.68 c (round 7, fast) 649 del vars, 1094 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 608 upgd conss, 0 impls, 15046 clqs
2.09/2.11 c (round 8, exhaustive) 678 del vars, 1094 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 4 chg coeffs, 608 upgd conss, 0 impls, 34450 clqs
2.38/2.42 c (round 9, exhaustive) 717 del vars, 1094 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 9 chg coeffs, 608 upgd conss, 0 impls, 45962 clqs
2.48/2.51 c (round 10, exhaustive) 749 del vars, 1094 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 48683 clqs
2.48/2.51 c (round 11, fast) 752 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 48683 clqs
2.88/2.93 c (round 12, exhaustive) 777 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 72512 clqs
2.98/3.04 c (3.0s) probing: 1000/14400 (6.9%) - 514 fixings, 0 aggregations, 83525 implications, 0 bound changes
3.28/3.36 c (round 13, exhaustive) 804 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 95578 clqs
3.48/3.57 c (round 14, exhaustive) 833 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 97248 clqs
3.98/4.06 c (round 15, exhaustive) 858 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 108355 clqs
4.57/4.61 c (round 16, exhaustive) 883 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 115407 clqs
4.77/4.80 c (round 17, exhaustive) 916 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 112287 clqs
5.07/5.11 c (round 18, exhaustive) 941 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116114 clqs
5.27/5.38 c (round 19, exhaustive) 966 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116329 clqs
5.37/5.43 c (5.4s) probing: 2000/14400 (13.9%) - 696 fixings, 0 aggregations, 146198 implications, 0 bound changes
5.77/5.80 c (round 20, exhaustive) 991 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116552 clqs
5.97/6.06 c (round 21, exhaustive) 1016 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116049 clqs
6.36/6.41 c (round 22, exhaustive) 1065 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 110733 clqs
6.56/6.60 c (round 23, exhaustive) 1090 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 110540 clqs
6.86/6.94 c (round 24, exhaustive) 1115 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 112122 clqs
7.07/7.17 c (round 25, exhaustive) 1146 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 111952 clqs
7.36/7.44 c (round 26, exhaustive) 1172 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 114969 clqs
7.56/7.67 c (7.7s) probing: 3000/14400 (20.8%) - 914 fixings, 0 aggregations, 177772 implications, 0 bound changes
7.66/7.79 c (round 27, exhaustive) 1197 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116874 clqs
7.96/8.02 c (round 28, exhaustive) 1222 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 117084 clqs
8.46/8.53 c (round 29, exhaustive) 1247 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116189 clqs
8.96/9.06 c (round 30, exhaustive) 1272 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116442 clqs
9.45/9.57 c (round 31, exhaustive) 1297 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 115539 clqs
9.75/9.83 c (9.8s) probing: 4000/14400 (27.8%) - 1037 fixings, 0 aggregations, 231068 implications, 0 bound changes
9.75/9.87 c (round 32, exhaustive) 1327 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 113203 clqs
10.35/10.43 c (round 33, exhaustive) 1352 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116116 clqs
11.05/11.16 c (round 34, exhaustive) 1377 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116275 clqs
11.74/11.85 c (round 35, exhaustive) 1402 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116005 clqs
11.95/12.05 c (12.1s) probing: 5000/14400 (34.7%) - 1151 fixings, 0 aggregations, 289657 implications, 0 bound changes
11.95/12.09 c (round 36, exhaustive) 1427 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 113893 clqs
12.64/12.76 c (round 37, exhaustive) 1452 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116738 clqs
13.24/13.32 c (round 38, exhaustive) 1477 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116349 clqs
13.34/13.44 c (round 39, exhaustive) 1518 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 109880 clqs
14.14/14.23 c (round 40, exhaustive) 1543 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116824 clqs
14.24/14.32 c (14.3s) probing: 6000/14400 (41.7%) - 1274 fixings, 0 aggregations, 336585 implications, 0 bound changes
14.44/14.59 c (round 41, exhaustive) 1575 del vars, 1095 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116586 clqs
14.44/14.59 c (round 42, fast) 1576 del vars, 1096 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 116578 clqs
14.74/14.82 c (round 43, exhaustive) 1602 del vars, 1096 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 115442 clqs
15.94/16.01 c (round 44, exhaustive) 1627 del vars, 1096 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 117222 clqs
16.43/16.52 c (16.5s) probing: 7000/14400 (48.6%) - 1361 fixings, 0 aggregations, 384369 implications, 0 bound changes
16.83/16.98 c (round 45, exhaustive) 1652 del vars, 1096 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 117512 clqs
16.94/17.08 c (round 46, exhaustive) 1749 del vars, 1096 del conss, 646 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 108847 clqs
16.94/17.08 c (round 47, fast) 1821 del vars, 1106 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 108850 clqs
17.43/17.58 c (round 48, exhaustive) 1982 del vars, 1106 del conss, 650 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 112559 clqs
17.43/17.59 c (round 49, fast) 2100 del vars, 1113 del conss, 652 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 112560 clqs
17.53/17.63 c (round 50, exhaustive) 2103 del vars, 1116 del conss, 652 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 106250 clqs
17.53/17.63 c (round 51, fast) 2225 del vars, 1116 del conss, 652 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 106250 clqs
17.53/17.64 c (round 52, medium) 2352 del vars, 1116 del conss, 652 add conss, 0 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 99386 clqs
17.53/17.64 c (round 53, fast) 2575 del vars, 1125 del conss, 654 add conss, 105 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 97117 clqs
17.53/17.65 c (round 54, fast) 2783 del vars, 1134 del conss, 658 add conss, 105 chg bounds, 0 chg sides, 10 chg coeffs, 608 upgd conss, 0 impls, 97121 clqs
18.63/18.79 c (18.8s) probing: 8000/14400 (55.6%) - 1443 fixings, 0 aggregations, 427666 implications, 0 bound changes
20.12/20.22 c (20.2s) probing: 8685/14400 (60.3%) - 1443 fixings, 0 aggregations, 439065 implications, 0 bound changes
20.12/20.22 c (20.2s) probing aborted: 1000/1000 successive useless probings
20.12/20.25 c presolving (55 rounds: 55 fast, 47 medium, 44 exhaustive):
20.12/20.25 c 2786 deleted vars, 1134 deleted constraints, 658 added constraints, 105 tightened bounds, 0 added holes, 0 changed sides, 10 changed coefficients
20.12/20.25 c 0 implications, 119311 cliques
20.12/20.25 c presolved problem has 12025 variables (12025 bin, 0 int, 0 impl, 0 cont) and 612 constraints
20.12/20.25 c 114 constraints of type <knapsack>
20.12/20.25 c 462 constraints of type <setppc>
20.12/20.25 c 36 constraints of type <orbitope>
20.12/20.25 c transformed objective value is always integral (scale: 1)
20.12/20.25 c Presolving Time: 20.17
20.12/20.25 c - non default parameters ----------------------------------------------------------------------
20.12/20.25 c # SCIP version 10.0.0
20.12/20.25 c
20.12/20.25 c # maximal time in seconds to run
20.12/20.25 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
20.12/20.25 c limits/time = 3596.998011
20.12/20.25 c
20.12/20.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
20.12/20.25 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
20.12/20.25 c limits/memory = 27900
20.12/20.25 c
20.12/20.25 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
20.12/20.25 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
20.12/20.25 c limits/solutions = 1
20.12/20.25 c
20.12/20.25 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.
20.12/20.25 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
20.12/20.25 c misc/usesymmetry = 3
20.12/20.25 c
20.12/20.25 c # belongs reading time to solving time?
20.12/20.25 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
20.12/20.25 c timing/reading = TRUE
20.12/20.25 c
20.12/20.25 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
20.12/20.25 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
20.12/20.25 c propagating/symmetry/detectdoublelex = FALSE
20.12/20.25 c
20.12/20.25 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
20.12/20.25 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
20.12/20.25 c propagating/symmetry/detectsubgroups = FALSE
20.12/20.25 c
20.12/20.25 c # Type of symmetries that shall be computed?
20.12/20.25 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
20.12/20.25 c propagating/symmetry/symtype = 1
20.12/20.25 c
20.12/20.25 c # Should components consisting of a single full reflection be handled?
20.12/20.25 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
20.12/20.25 c propagating/symmetry/usesimplesgncomp = FALSE
20.12/20.25 c
20.12/20.25 c -----------------------------------------------------------------------------------------------
20.12/20.25 c start solving
20.12/20.25 c
118.29/118.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
118.29/118.76 c 119s| 1 | 0 |274531 | - | 253M | 0 | 12k| 687 | 576 | 0 | 0 | 74 | 0 | 0.000000e+00 | -- | Inf | unknown
141.70/142.23 c 142s| 1 | 0 |348433 | - | 258M | 0 | 12k| 687 | 584 | 8 | 1 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
142.00/142.58 c 143s| 1 | 0 |348774 | - | 261M | 0 | 12k| 688 | 589 | 13 | 2 | 77 | 0 | 0.000000e+00 | -- | Inf | unknown
142.20/142.79 c 143s| 1 | 0 |348850 | - | 261M | 0 | 12k| 690 | 594 | 18 | 3 | 79 | 0 | 0.000000e+00 | -- | Inf | unknown
142.50/143.07 c 143s| 1 | 0 |348936 | - | 261M | 0 | 12k| 695 | 597 | 21 | 4 | 84 | 0 | 0.000000e+00 | -- | Inf | unknown
142.80/143.33 c 143s| 1 | 0 |349048 | - | 261M | 0 | 12k| 697 | 604 | 28 | 5 | 86 | 0 | 0.000000e+00 | -- | Inf | unknown
142.99/143.57 c 144s| 1 | 0 |349112 | - | 261M | 0 | 12k| 698 | 613 | 37 | 6 | 87 | 0 | 0.000000e+00 | -- | Inf | unknown
143.29/143.82 c 144s| 1 | 0 |349192 | - | 262M | 0 | 12k| 699 | 621 | 45 | 7 | 88 | 0 | 0.000000e+00 | -- | Inf | unknown
143.50/144.05 c 144s| 1 | 0 |349267 | - | 262M | 0 | 12k| 700 | 632 | 56 | 8 | 89 | 0 | 0.000000e+00 | -- | Inf | unknown
143.79/144.31 c 144s| 1 | 0 |349319 | - | 262M | 0 | 12k| 705 | 641 | 65 | 9 | 94 | 0 | 0.000000e+00 | -- | Inf | unknown
144.09/144.60 c 145s| 1 | 0 |349399 | - | 262M | 0 | 12k| 706 | 656 | 80 | 10 | 95 | 0 | 0.000000e+00 | -- | Inf | unknown
144.19/144.78 c 145s| 1 | 0 |349455 | - | 262M | 0 | 12k| 707 | 666 | 90 | 11 | 96 | 0 | 0.000000e+00 | -- | Inf | unknown
229.38/230.29 c 230s| 1 | 0 |546508 | - | 265M | 0 | 12k| 782 | 666 | 90 | 11 | 171 | 14 | 0.000000e+00 | -- | Inf | unknown
229.58/230.47 c 230s| 1 | 0 |546562 | - | 265M | 0 | 12k| 785 | 675 | 99 | 12 | 174 | 14 | 0.000000e+00 | -- | Inf | unknown
229.78/230.62 c 231s| 1 | 0 |546593 | - | 265M | 0 | 12k| 789 | 682 | 106 | 13 | 178 | 14 | 0.000000e+00 | -- | Inf | unknown
237.05/237.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
237.05/237.96 c 238s| 1 | 0 |546650 | - | 265M | 0 | 12k| 792 | 670 | 106 | 13 | 182 | 34 | 0.000000e+00 | -- | Inf | unknown
237.25/238.17 c 238s| 1 | 0 |546715 | - | 265M | 0 | 12k| 792 | 678 | 114 | 14 | 184 | 34 | 0.000000e+00 | -- | Inf | unknown
237.45/238.34 c 238s| 1 | 0 |546736 | - | 265M | 0 | 12k| 794 | 681 | 117 | 15 | 187 | 34 | 0.000000e+00 | -- | Inf | unknown
245.02/245.98 c 246s| 1 | 2 |546759 | - | 265M | 0 | 12k| 796 | 681 | 117 | 15 | 190 | 53 | 0.000000e+00 | -- | Inf | unknown
1328.37/1333.01 c 1333s| 100 | 82 | 3104k|27824.1 | 274M | 21 | 12k|1188 | 643 | 194 | 1 | 599 | 53 | 0.000000e+00 | -- | Inf | 0.63%
1780.26/1786.35 c 1786s| 200 | 148 | 4131k|19004.5 | 276M | 32 | 12k|1308 | 645 | 216 | 2 | 724 | 53 | 0.000000e+00 | -- | Inf | 0.66%
2334.43/2342.29 c 2342s| 300 | 199 | 5529k|17324.9 | 280M | 39 | 12k|1420 | 635 | 312 | 1 | 860 | 53 | 0.000000e+00 | -- | Inf | 4.03%
2713.19/2722.27 c 2722s| 400 | 269 | 6565k|15577.6 | 286M | 41 | 12k|1737 | 645 | 455 | 1 |1189 | 53 | 0.000000e+00 | -- | Inf | 4.65%
2824.59/2834.07 c 2834s| 500 | 365 | 6877k|13081.8 | 293M | 46 | 12k|2290 | 647 | 520 | 1 |1759 | 53 | 0.000000e+00 | -- | Inf | 4.65%
2892.94/2902.65 c 2903s| 600 | 465 | 7067k|11214.2 | 299M | 59 | 12k|2725 | 647 | 520 | 1 |2198 | 53 | 0.000000e+00 | -- | Inf | 4.65%
2916.96/2926.78 c 2927s| 700 | 506 | 7146k|9723.1 | 309M | 94 | 12k|2837 | 647 | 520 | 1 |2316 | 53 | 0.000000e+00 | -- | Inf | 4.65%
2926.12/2935.99 c 2936s| 800 | 506 | 7179k|8548.0 | 312M | 108 | 12k|2841 | 647 | 520 | 1 |2322 | 53 | 0.000000e+00 | -- | Inf | 4.65%
2934.89/2944.72 c 2945s| 900 | 508 | 7210k|7631.9 | 318M | 112 | 12k|2862 | 647 | 520 | 0 |2343 | 53 | 0.000000e+00 | -- | Inf | 4.65%
2941.07/2951.00 c 2951s| 1000 | 512 | 7232k|6889.7 | 328M | 112 | 12k|2882 | 647 | 520 | 1 |2363 | 53 | 0.000000e+00 | -- | Inf | 4.65%
2950.63/2960.50 c 2960s| 1100 | 510 | 7266k|6293.8 | 331M | 112 | 12k|2896 | 647 | 520 | 1 |2377 | 53 | 0.000000e+00 | -- | Inf | 4.65%
2959.70/2969.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2959.70/2969.64 c 2970s| 1200 | 510 | 7299k|5796.1 | 332M | 112 | 12k|2895 | 647 | 520 | 1 |2377 | 53 | 0.000000e+00 | -- | Inf | 4.65%
2971.35/2981.34 c 2981s| 1300 | 508 | 7342k|5382.8 | 337M | 114 | 12k|2895 | 647 | 520 | 1 |2388 | 53 | 0.000000e+00 | -- | Inf | 4.65%
2978.63/2988.67 c 2989s| 1400 | 514 | 7367k|5016.6 | 337M | 114 | 12k|2893 | 647 | 520 | 0 |2398 | 53 | 0.000000e+00 | -- | Inf | 4.65%
2986.29/2996.30 c 2996s| 1500 | 516 | 7394k|4699.7 | 355M | 114 | 12k|2910 | 647 | 520 | 1 |2424 | 53 | 0.000000e+00 | -- | Inf | 4.65%
2994.07/3004.17 c 3004s| 1600 | 514 | 7422k|4423.3 | 361M | 116 | 12k|2933 | 647 | 520 | 0 |2457 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3003.43/3013.57 c 3014s| 1700 | 514 | 7456k|4183.0 | 366M | 116 | 12k|2927 | 647 | 520 | 0 |2466 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3012.01/3022.14 c 3022s| 1800 | 514 | 7487k|3967.4 | 372M | 116 | 12k|2930 | 647 | 520 | 1 |2477 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3020.18/3030.38 c 3030s| 1900 | 512 | 7516k|3774.1 | 374M | 116 | 12k|2940 | 647 | 520 | 1 |2494 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3028.54/3038.72 c 3039s| 2000 | 508 | 7546k|3600.2 | 381M | 116 | 12k|2945 | 647 | 520 | 0 |2508 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3037.11/3047.37 c 3047s| 2100 | 510 | 7577k|3443.4 | 394M | 116 | 12k|2976 | 647 | 520 | 1 |2541 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3045.18/3055.44 c 3055s| 2200 | 512 | 7606k|3299.9 | 397M | 116 | 12k|2975 | 647 | 520 | 0 |2554 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3055.84/3066.15 c 3066s| 2300 | 510 | 7645k|3173.5 | 398M | 116 | 12k|2966 | 647 | 520 | 1 |2555 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3064.30/3074.60 c 3075s| 2400 | 510 | 7675k|3053.8 | 401M | 116 | 12k|2995 | 647 | 520 | 0 |2586 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3072.78/3083.19 c 3083s| 2500 | 510 | 7706k|2944.0 | 403M | 116 | 12k|3016 | 647 | 520 | 1 |2611 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3084.83/3095.27 c 3095s| 2600 | 508 | 7751k|2847.8 | 406M | 116 | 12k|3057 | 647 | 520 | 0 |2659 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3092.11/3102.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3092.11/3102.58 c 3103s| 2700 | 510 | 7776k|2751.9 | 408M | 116 | 12k|3033 | 647 | 520 | 1 |2662 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3100.68/3111.14 c 3111s| 2800 | 510 | 7807k|2664.6 | 408M | 116 | 12k|3038 | 647 | 520 | 0 |2693 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3107.65/3118.19 c 3118s| 2900 | 508 | 7831k|2581.0 | 417M | 119 | 12k|3098 | 647 | 520 | 0 |2762 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3118.41/3128.90 c 3129s| 3000 | 508 | 7871k|2508.1 | 418M | 119 | 12k|3091 | 647 | 520 | 1 |2767 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3127.48/3138.08 c 3138s| 3100 | 506 | 7904k|2437.9 | 420M | 119 | 12k|3104 | 647 | 520 | 0 |2792 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3132.75/3143.36 c 3143s| 3200 | 512 | 7921k|2366.9 | 430M | 119 | 12k|3186 | 647 | 520 | 1 |2902 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3138.84/3149.49 c 3149s| 3300 | 516 | 7942k|2301.5 | 433M | 119 | 12k|3191 | 647 | 520 | 1 |2945 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3145.81/3156.43 c 3156s| 3400 | 518 | 7965k|2240.7 | 438M | 119 | 12k|3245 | 647 | 520 | 1 |3030 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3151.79/3162.48 c 3162s| 3500 | 514 | 7986k|2182.5 | 441M | 119 | 12k|3281 | 647 | 520 | 1 |3080 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3158.16/3168.87 c 3169s| 3600 | 520 | 8008k|2128.0 | 441M | 119 | 12k|3278 | 647 | 520 | 1 |3110 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3163.74/3174.48 c 3174s| 3700 | 520 | 8027k|2075.5 | 444M | 119 | 12k|3323 | 647 | 520 | 1 |3179 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3170.82/3181.52 c 3182s| 3800 | 516 | 8051k|2027.3 | 445M | 119 | 12k|3324 | 647 | 520 | 0 |3202 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3176.50/3187.21 c 3187s| 3900 | 520 | 8070k|1980.2 | 450M | 119 | 12k|3358 | 647 | 520 | 1 |3245 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3184.17/3194.94 c 3195s| 4000 | 516 | 8097k|1937.6 | 451M | 119 | 12k|3382 | 647 | 520 | 0 |3279 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3190.25/3201.10 c 3201s| 4100 | 516 | 8118k|1895.3 | 454M | 119 | 12k|3437 | 647 | 520 | 0 |3342 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3198.71/3209.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3198.71/3209.54 c 3210s| 4200 | 516 | 8148k|1857.3 | 455M | 119 | 12k|3459 | 647 | 520 | 0 |3385 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3204.79/3215.67 c 3216s| 4300 | 516 | 8169k|1818.9 | 458M | 119 | 12k|3457 | 647 | 520 | 0 |3445 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3212.27/3223.14 c 3223s| 4400 | 514 | 8195k|1783.5 | 464M | 119 | 12k|3395 | 647 | 520 | 0 |3493 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3217.04/3227.91 c 3228s| 4500 | 520 | 8210k|1747.3 | 465M | 119 | 12k|3386 | 647 | 520 | 1 |3538 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3223.02/3233.98 c 3234s| 4600 | 520 | 8231k|1713.8 | 466M | 119 | 12k|3382 | 647 | 520 | 1 |3558 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3230.29/3241.21 c 3241s| 4700 | 520 | 8256k|1682.7 | 467M | 119 | 12k|3428 | 0 | 520 | 0 |3632 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3235.87/3246.83 c 3247s| 4800 | 520 | 8275k|1651.6 | 469M | 119 | 12k|3422 | 647 | 520 | 0 |3638 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3241.75/3252.72 c 3253s| 4900 | 522 | 8295k|1621.9 | 471M | 119 | 12k|3456 | 0 | 520 | 0 |3702 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3247.33/3258.35 c 3258s| 5000 | 520 | 8314k|1593.2 | 473M | 119 | 12k|3483 | 647 | 520 | 0 |3743 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3252.31/3263.39 c 3263s| 5100 | 518 | 8330k|1565.2 | 475M | 119 | 12k|3520 | 647 | 520 | 1 |3799 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3257.99/3269.08 c 3269s| 5200 | 520 | 8349k|1538.8 | 476M | 119 | 12k|3558 | 647 | 520 | 1 |3890 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3264.16/3275.21 c 3275s| 5300 | 522 | 8370k|1513.7 | 477M | 119 | 12k|3584 | 647 | 520 | 0 |3954 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3269.84/3280.99 c 3281s| 5400 | 526 | 8389k|1489.2 | 480M | 119 | 12k|3634 | 647 | 520 | 1 |4043 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3277.81/3288.90 c 3289s| 5500 | 524 | 8417k|1467.2 | 482M | 119 | 12k|3679 | 647 | 520 | 1 |4116 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3287.28/3298.47 c 3298s| 5600 | 522 | 8452k|1447.2 | 482M | 119 | 12k|3662 | 647 | 520 | 0 |4146 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3294.45/3305.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3294.45/3305.62 c 3306s| 5700 | 522 | 8477k|1426.2 | 487M | 119 | 12k|3673 | 647 | 520 | 0 |4185 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3303.22/3314.40 c 3314s| 5800 | 520 | 8508k|1407.0 | 487M | 119 | 12k|3641 | 647 | 520 | 1 |4220 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3310.69/3321.96 c 3322s| 5900 | 518 | 8535k|1387.6 | 491M | 119 | 12k|3614 | 647 | 520 | 0 |4239 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3318.66/3329.90 c 3330s| 6000 | 518 | 8563k|1369.2 | 492M | 119 | 12k|3618 | 647 | 520 | 1 |4276 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3326.43/3337.76 c 3338s| 6100 | 516 | 8591k|1351.3 | 493M | 119 | 12k|3664 | 647 | 520 | 0 |4342 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3335.09/3346.49 c 3346s| 6200 | 516 | 8622k|1334.6 | 493M | 119 | 12k|3691 | 647 | 520 | 0 |4400 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3344.16/3355.53 c 3356s| 6300 | 518 | 8654k|1318.5 | 494M | 119 | 12k|3712 | 647 | 520 | 0 |4448 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3353.74/3365.13 c 3365s| 6400 | 518 | 8689k|1303.3 | 494M | 119 | 12k|3668 | 647 | 520 | 1 |4461 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3362.00/3373.41 c 3373s| 6500 | 516 | 8718k|1287.7 | 494M | 119 | 12k|3435 | 647 | 520 | 1 |4497 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3369.47/3380.96 c 3381s| 6600 | 514 | 8744k|1272.2 | 495M | 119 | 12k|3379 | 647 | 520 | 0 |4527 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3376.95/3388.49 c 3388s| 6700 | 514 | 8770k|1257.1 | 497M | 119 | 12k|3332 | 647 | 520 | 0 |4552 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3382.82/3394.32 c 3394s| 6800 | 516 | 8790k|1241.5 | 497M | 119 | 12k|3345 | 647 | 520 | 0 |4587 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3390.19/3401.73 c 3402s| 6900 | 516 | 8816k|1227.2 | 499M | 119 | 12k|3346 | 647 | 520 | 0 |4610 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3397.57/3409.12 c 3409s| 7000 | 518 | 8842k|1213.4 | 500M | 119 | 12k|3291 | 647 | 520 | 0 |4640 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3404.24/3415.87 c 3416s| 7100 | 516 | 8865k|1199.6 | 500M | 119 | 12k|3272 | 647 | 520 | 1 |4650 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3410.62/3422.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3410.62/3422.28 c 3422s| 7200 | 516 | 8887k|1186.0 | 500M | 119 | 12k|3267 | 647 | 520 | 1 |4685 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3417.09/3428.73 c 3429s| 7300 | 516 | 8909k|1172.8 | 501M | 119 | 12k|3286 | 647 | 520 | 1 |4722 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3425.06/3436.78 c 3437s| 7400 | 516 | 8937k|1160.7 | 502M | 119 | 12k|3287 | 647 | 520 | 0 |4753 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3433.34/3445.07 c 3445s| 7500 | 516 | 8967k|1149.1 | 502M | 119 | 12k|3303 | 647 | 520 | 1 |4800 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3442.90/3454.64 c 3455s| 7600 | 512 | 9001k|1138.5 | 502M | 119 | 12k|3269 | 647 | 520 | 0 |4828 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3449.67/3461.42 c 3461s| 7700 | 514 | 9024k|1126.8 | 504M | 119 | 12k|3318 | 647 | 520 | 0 |4891 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3457.94/3469.72 c 3470s| 7800 | 516 | 9054k|1116.1 | 506M | 120 | 12k|3306 | 647 | 520 | 1 |4936 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3464.61/3476.49 c 3476s| 7900 | 511 | 9077k|1104.9 | 506M | 120 | 12k|3299 | 647 | 520 | 1 |4966 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3472.09/3483.93 c 3484s| 8000 | 511 | 9103k|1094.3 | 507M | 120 | 12k|3279 | 647 | 520 | 0 |5025 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3479.06/3490.95 c 3491s| 8100 | 513 | 9127k|1083.8 | 508M | 120 | 12k|3276 | 647 | 520 | 0 |5049 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3486.34/3498.25 c 3498s| 8200 | 511 | 9152k|1073.7 | 508M | 120 | 12k|3264 | 647 | 520 | 1 |5073 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3494.51/3506.40 c 3506s| 8300 | 511 | 9181k|1064.2 | 508M | 120 | 12k|3276 | 647 | 520 | 1 |5112 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3501.09/3513.10 c 3513s| 8400 | 515 | 9204k|1054.3 | 508M | 120 | 12k|3290 | 647 | 520 | 0 |5141 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3510.06/3522.05 c 3522s| 8500 | 513 | 9236k|1045.7 | 509M | 120 | 12k|3322 | 647 | 520 | 0 |5183 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3517.82/3529.80 c 3530s| 8600 | 513 | 9264k|1036.7 | 509M | 120 | 12k|3322 | 647 | 520 | 0 |5211 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3525.49/3537.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3525.49/3537.51 c 3538s| 8700 | 513 | 9291k|1027.9 | 509M | 120 | 12k|3334 | 647 | 520 | 0 |5234 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3532.08/3544.14 c 3544s| 8800 | 515 | 9314k|1018.8 | 510M | 120 | 12k|3331 | 647 | 520 | 1 |5238 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3537.45/3549.55 c 3550s| 8900 | 517 | 9332k|1009.4 | 511M | 120 | 12k|3338 | 647 | 520 | 1 |5256 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3542.13/3554.24 c 3554s| 9000 | 515 | 9347k| 999.8 | 511M | 120 | 12k|3363 | 647 | 520 | 0 |5294 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3548.21/3560.31 c 3560s| 9100 | 515 | 9367k| 991.1 | 513M | 120 | 12k|3354 | 647 | 520 | 1 |5300 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3554.29/3566.42 c 3566s| 9200 | 515 | 9388k| 982.6 | 513M | 120 | 12k|3379 | 647 | 520 | 1 |5330 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3561.66/3573.80 c 3574s| 9300 | 513 | 9414k| 974.8 | 514M | 120 | 12k|3325 | 647 | 520 | 1 |5386 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3568.14/3580.35 c 3580s| 9400 | 513 | 9436k| 966.8 | 515M | 120 | 12k|3318 | 647 | 520 | 1 |5414 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3574.11/3586.37 c 3586s| 9500 | 511 | 9457k| 958.8 | 517M | 120 | 12k|3308 | 647 | 520 | 0 |5429 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3579.39/3591.61 c 3592s| 9600 | 515 | 9474k| 950.6 | 517M | 120 | 12k|3318 | 647 | 520 | 1 |5444 | 53 | 0.000000e+00 | -- | Inf | 4.65%
3584.67/3597.00 c
3584.67/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3584.67/3597.00 c Solving Time (sec) : 3597.00
3584.67/3597.00 c Solving Nodes : 9677
3584.67/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3584.67/3597.00 c Dual Bound : +0.00000000000000e+00
3584.67/3597.00 c Gap : infinite
3584.67/3597.00 s UNKNOWN
3584.67/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3584.67/3597.00 c Total Time : 3597.00
3584.67/3597.00 c solving : 3597.00
3584.67/3597.00 c presolving : 20.17 (included in solving)
3584.67/3597.00 c reading : 0.04 (included in solving)
3584.67/3597.00 c copying : 0.12 (5 #copies) (minimal 0.02, maximal 0.05, average 0.02)
3584.67/3597.00 c Original Problem :
3584.67/3597.00 c Problem name : HOME/instance-4443105-1721297799.opb
3584.67/3597.00 c Variables : 14400 (14400 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.67/3597.00 c Constraints : 1088 initial, 1088 maximal
3584.67/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3584.67/3597.00 c Presolved Problem :
3584.67/3597.00 c Problem name : t_HOME/instance-4443105-1721297799.opb
3584.67/3597.00 c Variables : 12025 (12025 binary, 0 integer, 0 implicit integer, 0 continuous)
3584.67/3597.00 c Constraints : 612 initial, 3722 maximal
3584.67/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3584.67/3597.00 c Nonzeros : 174636 constraint, 268101 clique table
3584.67/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3584.67/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c domcol : 0.01 0.00 42 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c implics : 0.00 0.00 47 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c milp : 0.11 0.00 1 0 0 0 0 0 1088 608 0 0
3584.67/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c sparsify : 0.21 0.00 2 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c trivial : 0.01 0.00 55 638 0 0 0 0 0 0 0 0
3584.67/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c dualfix : 0.01 0.00 55 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c probing : 17.98 0.00 42 1443 0 0 0 0 0 0 0 0
3584.67/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c symmetry : 0.23 0.00 1 232 0 0 0 0 0 36 0 0
3584.67/3597.00 c vbounds : 0.09 0.00 12 3 0 0 0 0 0 0 0 0
3584.67/3597.00 c knapsack : 0.79 0.00 141 0 0 0 0 0 14 14 0 10
3584.67/3597.00 c setppc : 0.40 0.00 141 1 6 0 105 0 32 0 0 0
3584.67/3597.00 c linear : 0.15 0.01 3 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c orbitope : 0.03 0.00 44 52 0 0 0 0 0 0 0 0
3584.67/3597.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c components : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c root node : - - - 35 - - 35 - - - - -
3584.67/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3584.67/3597.00 c benderslp : 0 0 0 0 5100 0 0 418 0 0 0 0 0 0 0
3584.67/3597.00 c integral : 0 0 0 0 5100 0 0 418 0 0 17 0 0 2 10196
3584.67/3597.00 c knapsack : 114+ 118 13 72324 0 0 0 415 287010 28 149572 0 0 0 0
3584.67/3597.00 c setppc : 462+ 555 13 72296 0 0 0 1 1199865 499 347741 0 0 0 0
3584.67/3597.00 c linear : 0+ 3 0 18056 0 0 0 2 18132 1 585 0 0 0 0
3584.67/3597.00 c orbitope : 36 36 0 71696 0 0 0 0 199190 772 3988 0 0 0 0
3584.67/3597.00 c logicor : 0+ 3013 13 11878 0 0 0 0 3622 44 3778 0 0 0 0
3584.67/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3584.67/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3584.67/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.67/3597.00 c integral : 21.22 0.00 0.00 0.00 21.22 0.00 0.00 0.00 0.00 0.00
3584.67/3597.00 c knapsack : 1.11 0.00 0.02 0.55 0.00 0.00 0.00 0.03 0.51 0.00
3584.67/3597.00 c setppc : 2.19 0.00 0.00 1.80 0.00 0.00 0.00 0.00 0.36 0.02
3584.67/3597.00 c linear : 0.77 0.01 0.00 0.01 0.00 0.00 0.00 0.00 0.74 0.00
3584.67/3597.00 c orbitope : 35.01 0.00 0.00 34.89 0.00 0.00 0.00 0.00 0.01 0.12
3584.67/3597.00 c logicor : 0.16 0.00 0.00 0.14 0.00 0.00 0.00 0.00 0.02 0.00
3584.67/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.67/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.67/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3584.67/3597.00 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3584.78/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3584.78/3597.00 c dualfix : 3 0 0 0
3584.78/3597.00 c genvbounds : 0 0 0 0
3584.78/3597.00 c nlobbt : 0 0 0 0
3584.78/3597.00 c obbt : 0 0 0 0
3584.78/3597.00 c probing : 0 0 0 0
3584.78/3597.00 c pseudoobj : 0 0 0 0
3584.78/3597.00 c redcost : 0 0 0 0
3584.78/3597.00 c rootredcost : 0 0 0 0
3584.78/3597.00 c symmetry : 0 0 0 0
3584.78/3597.00 c vbounds : 14186 0 0 0
3584.78/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3584.78/3597.00 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
3584.78/3597.00 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3584.78/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.78/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3584.78/3597.00 c probing : 17.98 0.00 17.98 0.00 0.00 0.00
3584.78/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3584.78/3597.00 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3584.78/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3584.78/3597.00 c symmetry : 0.25 0.00 0.23 0.01 0.00 0.00
3584.78/3597.00 c vbounds : 0.38 0.00 0.09 0.29 0.00 0.00
3584.78/3597.00 c Symmetry :
3584.78/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3584.78/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3584.78/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3584.78/3597.00 c shadow tree time : 0.00 s
3584.78/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3584.78/3597.00 c propagation : 0.95 1332 581 - 9607 508.7 251 152.2 - - -
3584.78/3597.00 c infeasible LP : 56.86 4366 364 - 18020 2453.6 118 114.5 19 947.0 0
3584.78/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3584.78/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3584.78/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3584.78/3597.00 c applied globally : 0.87 - - 0 5440 437.0 - - 19 - -
3584.78/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3584.78/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3584.78/3597.00 c cut pool : 0.01 - 656 27 - - 455 1050 - - - - - (maximal pool size: 443)
3584.78/3597.00 c aggregation : 0.28 0.00 96 13 0 0 0 0 0 0 0 0 0
3584.78/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3584.78/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3584.78/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3584.78/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.00 c clique : 0.62 0.00 13 13 0 0 113 441 0 130 130 0 0
3584.78/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.00 c gomory : 3.24 0.00 93 10 0 0 4 4 0 3 3 0 0
3584.78/3597.00 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3584.78/3597.00 c > strongcg : - - - - - - - 4 0 3 3 0 -
3584.78/3597.00 c impliedbounds : 0.60 0.00 96 13 0 0 311 557 0 170 170 0 0
3584.78/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.00 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
3584.78/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.00 c multilinear : 0.00 0.00 35 13 0 0 0 0 0 0 0 0 0
3584.78/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3584.78/3597.00 c rlt : 0.00 0.00 52 10 0 0 0 0 0 0 0 0 0
3584.78/3597.00 c zerohalf : 1.94 0.00 96 13 0 0 209 48 182 217 41 176 0
3584.78/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3584.78/3597.00 c hybrid : 0.00 0.00 102 15 520 0 712 117 0 177
3584.78/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3584.78/3597.00 c problem variables: 0.00 - 0 0
3584.78/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3584.78/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.00 c relpscost : 21.22 0.00 5100 0 0 0 17 0 2 10196
3584.78/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3584.78/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3584.78/3597.00 c LP solutions : 0.00 - - 0 0
3584.78/3597.00 c relax solutions : 0.00 - - 0 0
3584.78/3597.00 c pseudo solutions : 0.00 - - 0 0
3584.78/3597.00 c strong branching : 0.00 - - 0 0
3584.78/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3584.78/3597.00 c adaptivediving : 28.63 0.00 8 0 0
3584.78/3597.00 c alns : 148.80 0.00 4 0 0
3584.78/3597.00 c bound : 0.00 0.00 0 0 0
3584.78/3597.00 c clique : 0.07 0.00 1 0 0
3584.78/3597.00 c coefdiving : 0.00 0.00 0 0 0
3584.78/3597.00 c completesol : 0.00 0.00 0 0 0
3584.78/3597.00 c conflictdiving : 225.53 0.00 18 0 0
3584.78/3597.00 c crossover : 0.00 0.00 0 0 0
3584.78/3597.00 c dins : 0.00 0.00 0 0 0
3584.78/3597.00 c distributiondivin: 206.70 0.00 7 0 0
3584.78/3597.00 c dps : 0.00 0.00 0 0 0
3584.78/3597.00 c dualval : 0.00 0.00 0 0 0
3584.78/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3584.78/3597.00 c feasjump : 0.06 0.00 1 0 0
3584.78/3597.00 c feaspump : 63.87 0.00 5 0 0
3584.78/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3584.78/3597.00 c fracdiving : 172.83 0.00 9 0 0
3584.78/3597.00 c gins : 0.00 0.00 0 0 0
3584.78/3597.00 c guideddiving : 0.00 0.00 0 0 0
3584.78/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3584.78/3597.00 c indicator : 0.00 0.00 0 0 0
3584.78/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3584.78/3597.00 c indoneopt : 0.00 0.00 0 0 0
3584.78/3597.00 c indrounding : 0.00 0.00 0 0 0
3584.78/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3584.78/3597.00 c intdiving : 0.00 0.00 0 0 0
3584.78/3597.00 c intshifting : 0.00 0.00 0 0 0
3584.78/3597.00 c linesearchdiving : 103.77 0.00 18 0 0
3584.78/3597.00 c localbranching : 0.00 0.00 0 0 0
3584.78/3597.00 c locks : 4.82 0.00 1 0 0
3584.78/3597.00 c lpface : 0.07 0.00 0 0 0
3584.78/3597.00 c mpec : 0.00 0.00 0 0 0
3584.78/3597.00 c multistart : 0.00 0.00 0 0 0
3584.78/3597.00 c mutation : 0.00 0.00 0 0 0
3584.78/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3584.78/3597.00 c objpscostdiving : 60.93 0.00 3 0 0
3584.78/3597.00 c octane : 0.00 0.00 0 0 0
3584.78/3597.00 c ofins : 0.00 0.00 0 0 0
3584.78/3597.00 c oneopt : 0.00 0.00 0 0 0
3584.78/3597.00 c padm : 0.00 0.00 0 0 0
3584.78/3597.00 c proximity : 0.00 0.00 0 0 0
3584.78/3597.00 c pscostdiving : 16.85 0.00 18 0 0
3584.78/3597.00 c randrounding : 1.35 0.00 431 0 0
3584.78/3597.00 c rens : 0.17 0.00 1 0 0
3584.78/3597.00 c reoptsols : 0.00 0.00 0 0 0
3584.78/3597.00 c repair : 0.00 0.00 0 0 0
3584.78/3597.00 c rins : 0.00 0.00 0 0 0
3584.78/3597.00 c rootsoldiving : 69.31 0.00 3 0 0
3584.78/3597.00 c rounding : 0.67 0.00 969 0 0
3584.78/3597.00 c scheduler : 0.00 0.00 0 0 0
3584.78/3597.00 c shiftandpropagate: 0.06 0.00 1 0 0
3584.78/3597.00 c shifting : 0.57 0.00 322 0 0
3584.78/3597.00 c simplerounding : 0.00 0.00 0 0 0
3584.78/3597.00 c smallcard : 0.00 0.00 0 0 0
3584.78/3597.00 c subnlp : 0.01 0.00 0 0 0
3584.78/3597.00 c trivial : 0.00 0.00 2 0 0
3584.78/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3584.78/3597.00 c trustregion : 0.00 0.00 0 0 0
3584.78/3597.00 c trysol : 0.00 0.00 0 0 0
3584.78/3597.00 c twoopt : 0.00 0.00 0 0 0
3584.78/3597.00 c undercover : 0.00 0.00 0 0 0
3584.78/3597.00 c vbounds : 0.20 0.00 1 0 0
3584.78/3597.00 c veclendiving : 156.17 0.00 9 0 0
3584.78/3597.00 c zeroobj : 0.00 0.00 0 0 0
3584.78/3597.00 c zirounding : 0.06 0.00 1000 0 0
3584.78/3597.00 c other solutions : - - - 0 -
3584.78/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
3584.78/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
3584.78/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
3584.78/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
3584.78/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
3584.78/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
3584.78/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
3584.78/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
3584.78/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
3584.78/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
3584.78/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3584.78/3597.00 c primal LP : 0.47 30 0 0.00 0.00 0.47 30
3584.78/3597.00 c dual LP : 2203.08 9551 6471026 678.09 2937.26 0.01 8
3584.78/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3584.78/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3584.78/3597.00 c resolve instable : 40.55 173 128940 745.32 3179.55
3584.78/3597.00 c diving/probing LP: 1091.48 1393 3021934 2169.37 2768.67
3584.78/3597.00 c strong branching : 19.99 53 23850 450.00 1192.86 - - 22
3584.78/3597.00 c (at root node) : - 53 23850 450.00 -
3584.78/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3584.78/3597.00 c B&B Tree :
3584.78/3597.00 c number of runs : 1
3584.78/3597.00 c nodes : 9677 (5098 internal, 4579 leaves)
3584.78/3597.00 c feasible leaves : 0
3584.78/3597.00 c infeas. leaves : 4578
3584.78/3597.00 c objective leaves : 0
3584.78/3597.00 c nodes (total) : 9677 (5098 internal, 4579 leaves)
3584.78/3597.00 c nodes left : 515
3584.78/3597.00 c max depth : 120
3584.78/3597.00 c max depth (total): 120
3584.78/3597.00 c backtracks : 1097 (11.3%)
3584.78/3597.00 c early backtracks : 0 (0.0%)
3584.78/3597.00 c nodes exc. ref. : 0 (0.0%)
3584.78/3597.00 c delayed cutoffs : 6
3584.78/3597.00 c repropagations : 2058 (3616 domain reductions, 3 cutoffs)
3584.78/3597.00 c avg switch length: 2.71
3584.78/3597.00 c switching time : 1.54
3584.78/3597.00 c Root Node :
3584.78/3597.00 c First LP value : +0.00000000000000e+00
3584.78/3597.00 c First LP Iters : 274531 (2942.31 Iter/sec)
3584.78/3597.00 c First LP Time : 93.30
3584.78/3597.00 c Final Dual Bound : +0.00000000000000e+00
3584.78/3597.00 c Final Root Iters : 349697
3584.78/3597.00 c Root LP Estimate : +1.03894309791828e-02
3584.78/3597.00 c Solution :
3584.78/3597.00 c Solutions found : 0 (0 improvements)
3584.78/3597.00 c Primal Bound : -
3584.78/3597.00 c Dual Bound : +0.00000000000000e+00
3584.78/3597.00 c Gap : infinite
3584.78/3597.00 c Integrals : Total Avg%
3584.78/3597.00 c primal-dual : 359699.84 100.00
3584.78/3597.00 c primal-ref : - - (not evaluated)
3584.78/3597.00 c dual-ref : - - (not evaluated)
3584.78/3597.10 c Time complete: 3584.88.