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-4450625-1721415749.opb>
0.00/0.02 c original problem has 4288 variables (4288 bin, 0 int, 0 impl, 0 cont) and 9504 constraints
0.00/0.02 c problem read in 0.02
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.04 c presolving:
0.00/0.05 c (round 1, fast) 593 del vars, 1004 del conss, 681 add conss, 520 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 321 clqs
0.00/0.06 c (round 2, fast) 890 del vars, 1724 del conss, 778 add conss, 679 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 442 clqs
0.00/0.06 c (round 3, fast) 890 del vars, 1727 del conss, 800 add conss, 679 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 465 clqs
0.00/0.07 c (0.1s) running MILP presolver
0.00/0.09 c (0.1s) MILP presolver (4 rounds): 63 aggregations, 2 fixings, 0 bound changes
0.00/0.09 c (round 4, medium) 955 del vars, 1727 del conss, 800 add conss, 679 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 336 clqs
0.00/0.09 c (round 5, fast) 955 del vars, 1813 del conss, 857 add conss, 679 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 356 clqs
0.00/0.10 c (round 6, exhaustive) 955 del vars, 2508 del conss, 857 add conss, 679 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 356 clqs
0.10/0.12 c (round 7, exhaustive) 955 del vars, 2508 del conss, 857 add conss, 679 chg bounds, 3 chg sides, 0 chg coeffs, 6455 upgd conss, 0 impls, 356 clqs
0.10/0.13 c (round 8, exhaustive) 955 del vars, 2604 del conss, 889 add conss, 679 chg bounds, 3 chg sides, 0 chg coeffs, 6455 upgd conss, 0 impls, 356 clqs
0.10/0.15 c (round 9, exhaustive) 955 del vars, 2604 del conss, 889 add conss, 679 chg bounds, 60 chg sides, 0 chg coeffs, 6455 upgd conss, 0 impls, 356 clqs
0.10/0.16 c (round 10, exhaustive) 955 del vars, 2604 del conss, 889 add conss, 679 chg bounds, 60 chg sides, 0 chg coeffs, 6512 upgd conss, 0 impls, 356 clqs
0.19/0.28 c (0.3s) probing: 1000/3388 (29.5%) - 0 fixings, 1 aggregations, 316 implications, 0 bound changes
0.19/0.29 c (0.3s) probing: 1107/3388 (32.7%) - 0 fixings, 1 aggregations, 332 implications, 0 bound changes
0.19/0.29 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.19/0.29 c (0.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.29/0.31 c (0.3s) no symmetry present (symcode time: 0.00)
0.29/0.32 c presolving (11 rounds: 11 fast, 7 medium, 6 exhaustive):
0.29/0.32 c 956 deleted vars, 2604 deleted constraints, 889 added constraints, 679 tightened bounds, 0 added holes, 60 changed sides, 33 changed coefficients
0.29/0.32 c 0 implications, 682 cliques
0.29/0.32 c presolved problem has 3387 variables (3387 bin, 0 int, 0 impl, 0 cont) and 7789 constraints
0.29/0.32 c 32 constraints of type <and>
0.29/0.32 c 1341 constraints of type <linear>
0.29/0.32 c 6416 constraints of type <logicor>
0.29/0.32 c transformed objective value is always integral (scale: 1)
0.29/0.32 c Presolving Time: 0.28
0.29/0.32 c - non default parameters ----------------------------------------------------------------------
0.29/0.32 c # SCIP version 10.0.0
0.29/0.32 c
0.29/0.32 c # maximal time in seconds to run
0.29/0.32 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.29/0.32 c limits/time = 3596.997011
0.29/0.32 c
0.29/0.32 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.32 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.29/0.32 c limits/memory = 27900
0.29/0.32 c
0.29/0.32 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.29/0.32 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.29/0.32 c limits/solutions = 1
0.29/0.32 c
0.29/0.32 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.
0.29/0.32 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.29/0.32 c misc/usesymmetry = 3
0.29/0.32 c
0.29/0.32 c # belongs reading time to solving time?
0.29/0.32 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.29/0.32 c timing/reading = TRUE
0.29/0.32 c
0.29/0.32 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.29/0.32 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.29/0.32 c propagating/symmetry/detectdoublelex = FALSE
0.29/0.32 c
0.29/0.32 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.29/0.32 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.29/0.32 c propagating/symmetry/detectsubgroups = FALSE
0.29/0.32 c
0.29/0.32 c # Type of symmetries that shall be computed?
0.29/0.32 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.29/0.32 c propagating/symmetry/symtype = 1
0.29/0.32 c
0.29/0.32 c # Should components consisting of a single full reflection be handled?
0.29/0.32 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.29/0.32 c propagating/symmetry/usesimplesgncomp = FALSE
0.29/0.32 c
0.29/0.32 c -----------------------------------------------------------------------------------------------
0.29/0.32 c start solving
0.29/0.32 c
0.39/0.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.39/0.44 c 0.4s| 1 | 0 | 946 | - | 62M | 0 |3387 |7863 |7821 | 0 | 0 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
0.89/0.94 c 0.9s| 1 | 0 | 2742 | - | 67M | 0 |3387 |7863 |8105 | 284 | 1 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
1.99/2.10 c 2.1s| 1 | 0 | 4903 | - | 71M | 0 |3387 |7863 |8392 | 571 | 2 | 74 | 0 | 0.000000e+00 | -- | Inf | unknown
3.88/3.99 c 4.0s| 1 | 0 | 8084 | - | 74M | 0 |3387 |7864 |8682 | 861 | 3 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown
5.98/6.02 c 6.0s| 1 | 0 | 11344 | - | 76M | 0 |3387 |7864 |8972 |1151 | 4 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown
7.87/7.91 c 7.9s| 1 | 0 | 14113 | - | 78M | 0 |3387 |7864 |9163 |1342 | 5 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown
9.97/10.10 c 10.1s| 1 | 0 | 17362 | - | 82M | 0 |3387 |7864 |9438 |1617 | 6 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown
13.06/13.20 c 13.2s| 1 | 0 | 22589 | - | 83M | 0 |3387 |7865 |9708 |1887 | 7 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
16.25/16.36 c 16.4s| 1 | 0 | 27471 | - | 86M | 0 |3387 |7866 |9985 |2164 | 8 | 77 | 0 | 0.000000e+00 | -- | Inf | unknown
19.44/19.53 c 19.5s| 1 | 0 | 31800 | - | 89M | 0 |3387 |7866 | 10k|2393 | 9 | 77 | 0 | 0.000000e+00 | -- | Inf | unknown
22.93/23.03 c 23.0s| 1 | 0 | 36565 | - | 91M | 0 |3387 |7865 | 10k|2520 | 10 | 77 | 0 | 0.000000e+00 | -- | Inf | unknown
25.32/25.45 c 25.4s| 1 | 0 | 41321 | - | 92M | 0 |3387 |7865 | 10k|2627 | 11 | 77 | 0 | 0.000000e+00 | -- | Inf | unknown
39.59/39.73 c 39.7s| 1 | 2 | 50813 | - | 92M | 0 |3387 |7857 | 10k|2627 | 11 | 77 | 11 | 0.000000e+00 | -- | Inf | unknown
354.78/355.73 c 356s| 100 | 101 |321335 |2828.4 | 94M | 15 |3387 |7853 |8003 |4436 | 1 | 116 | 11 | 0.000000e+00 | -- | Inf | unknown
378.13/379.10 c 379s| 200 | 201 |362788 |1615.4 | 95M | 17 |3387 |7854 |8083 |4848 | 2 | 120 | 11 | 0.000000e+00 | -- | Inf | unknown
446.84/448.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
446.84/448.08 c 448s| 300 | 301 |522477 |1609.2 | 96M | 23 |3387 |7866 |8308 |8851 | 1 | 142 | 11 | 0.000000e+00 | -- | Inf | unknown
487.24/488.57 c 489s| 400 | 401 |597539 |1394.0 | 96M | 23 |3387 |7871 |8086 | 11k| 1 | 156 | 11 | 0.000000e+00 | -- | Inf | unknown
522.45/523.84 c 524s| 500 | 501 |666011 |1251.9 | 96M | 23 |3387 |7894 |8156 | 13k| 1 | 183 | 11 | 0.000000e+00 | -- | Inf | unknown
548.48/549.99 c 550s| 600 | 601 |718494 |1130.5 | 97M | 27 |3387 |7904 |8163 | 14k| 1 | 194 | 11 | 0.000000e+00 | -- | Inf | unknown
562.24/563.76 c 564s| 700 | 701 |748574 |1011.8 | 98M | 27 |3387 |7905 |8159 | 15k| 1 | 196 | 11 | 0.000000e+00 | -- | Inf | unknown
577.70/579.24 c 579s| 800 | 801 |780162 | 924.7 | 98M | 27 |3387 |7914 |8102 | 16k| 1 | 209 | 11 | 0.000000e+00 | -- | Inf | unknown
626.36/628.01 c 628s| 900 | 901 |887637 | 941.4 | 98M | 27 |3387 |7905 |8161 | 18k| 1 | 212 | 11 | 0.000000e+00 | -- | Inf | unknown
641.72/643.42 c 643s| 1000 | 1001 |919750 | 879.3 | 98M | 27 |3387 |7896 |8156 | 19k| 1 | 213 | 11 | 0.000000e+00 | -- | Inf | unknown
652.08/653.88 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
652.08/653.88 c (run 1, node 1049) performing user restart
652.08/653.88 c
652.08/653.88 c (restart) converted 861 cuts from the global cut pool into linear constraints
652.08/653.88 c
652.08/653.89 c presolving:
652.19/653.90 c (round 1, fast) 0 del vars, 3 del conss, 621 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 691 clqs
652.19/653.91 c (round 2, exhaustive) 0 del vars, 46 del conss, 621 add conss, 0 chg bounds, 0 chg sides, 1 chg coeffs, 0 upgd conss, 0 impls, 691 clqs
652.19/653.92 c (round 3, exhaustive) 0 del vars, 46 del conss, 621 add conss, 0 chg bounds, 0 chg sides, 1 chg coeffs, 1393 upgd conss, 0 impls, 691 clqs
652.19/653.92 c (round 4, fast) 0 del vars, 578 del conss, 621 add conss, 0 chg bounds, 0 chg sides, 1 chg coeffs, 1393 upgd conss, 0 impls, 691 clqs
652.19/653.93 c (round 5, exhaustive) 0 del vars, 580 del conss, 624 add conss, 0 chg bounds, 47 chg sides, 3 chg coeffs, 1393 upgd conss, 0 impls, 691 clqs
652.19/653.94 c (round 6, exhaustive) 0 del vars, 580 del conss, 624 add conss, 0 chg bounds, 47 chg sides, 3 chg coeffs, 1439 upgd conss, 0 impls, 691 clqs
652.19/653.94 c (round 7, fast) 0 del vars, 626 del conss, 624 add conss, 0 chg bounds, 47 chg sides, 3 chg coeffs, 1439 upgd conss, 0 impls, 691 clqs
652.19/653.96 c presolving (8 rounds: 8 fast, 5 medium, 5 exhaustive):
652.19/653.96 c 0 deleted vars, 627 deleted constraints, 624 added constraints, 0 tightened bounds, 0 added holes, 47 changed sides, 4 changed coefficients
652.19/653.96 c 0 implications, 691 cliques
652.19/653.96 c presolved problem has 3387 variables (3387 bin, 0 int, 0 impl, 0 cont) and 8750 constraints
652.19/653.96 c 60 constraints of type <knapsack>
652.19/653.96 c 120 constraints of type <setppc>
652.19/653.96 c 32 constraints of type <and>
652.19/653.96 c 1345 constraints of type <linear>
652.19/653.96 c 7193 constraints of type <logicor>
652.19/653.96 c transformed objective value is always integral (scale: 1)
652.19/653.96 c Presolving Time: 0.35
652.19/653.96 c
652.39/654.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
652.39/654.18 c 654s| 1 | 0 |941736 | - | 97M | 0 |3387 |8750 |8683 | 0 | 0 | 214 | 11 | 0.000000e+00 | -- | Inf | unknown
654.59/656.38 c 656s| 1 | 0 |945712 | - | 99M | 0 |3387 |8750 |8973 | 290 | 1 | 214 | 11 | 0.000000e+00 | -- | Inf | unknown
657.48/659.23 c 659s| 1 | 0 |950512 | - | 100M | 0 |3387 |8750 |9252 | 569 | 2 | 214 | 11 | 0.000000e+00 | -- | Inf | unknown
660.47/662.27 c 662s| 1 | 0 |955549 | - | 102M | 0 |3387 |8750 |9543 | 860 | 3 | 214 | 11 | 0.000000e+00 | -- | Inf | unknown
663.27/665.10 c 665s| 1 | 0 |959996 | - | 103M | 0 |3387 |8750 |9811 |1128 | 4 | 214 | 11 | 0.000000e+00 | -- | Inf | unknown
666.65/668.49 c 668s| 1 | 0 |965080 | - | 104M | 0 |3387 |8751 | 10k|1400 | 5 | 215 | 11 | 0.000000e+00 | -- | Inf | unknown
669.94/671.78 c 672s| 1 | 0 |969690 | - | 105M | 0 |3387 |8751 | 10k|1558 | 6 | 215 | 11 | 0.000000e+00 | -- | Inf | unknown
672.84/674.66 c 675s| 1 | 0 |973603 | - | 106M | 0 |3387 |8751 | 10k|1683 | 7 | 215 | 11 | 0.000000e+00 | -- | Inf | unknown
677.03/678.81 c 679s| 1 | 0 |979535 | - | 107M | 0 |3387 |8751 | 10k|1892 | 8 | 215 | 11 | 0.000000e+00 | -- | Inf | unknown
680.72/682.50 c 683s| 1 | 0 |984690 | - | 109M | 0 |3387 |8751 | 10k|2054 | 9 | 215 | 11 | 0.000000e+00 | -- | Inf | unknown
684.31/686.12 c 686s| 1 | 0 |989463 | - | 110M | 0 |3387 |8752 | 10k|2153 | 10 | 216 | 11 | 0.000000e+00 | -- | Inf | unknown
686.40/688.29 c 688s| 1 | 0 |993488 | - | 112M | 0 |3387 |8752 | 10k|2242 | 11 | 216 | 11 | 0.000000e+00 | -- | Inf | unknown
694.48/696.30 c 696s| 1 | 2 |993704 | - | 112M | 0 |3387 |8755 | 10k|2242 | 11 | 219 | 22 | 0.000000e+00 | -- | Inf | unknown
766.49/768.55 c 769s| 100 | 101 | 1131k| 903.0 | 113M | 33 |3387 |8790 |8434 |5220 | 1 | 256 | 22 | 0.000000e+00 | -- | Inf | unknown
802.49/804.69 c 805s| 200 | 201 | 1207k| 891.7 | 116M | 44 |3387 |8815 |8582 |8550 | 2 | 283 | 22 | 0.000000e+00 | -- | Inf | unknown
844.18/846.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
844.18/846.45 c 846s| 300 | 301 | 1299k| 894.1 | 117M | 55 |3387 |8820 |8671 | 11k| 1 | 293 | 22 | 0.000000e+00 | -- | Inf | unknown
869.81/872.16 c 872s| 400 | 397 | 1356k| 871.2 | 118M | 55 |3387 |8849 |8572 | 13k| 2 | 322 | 22 | 0.000000e+00 | -- | Inf | unknown
888.45/890.80 c 891s| 500 | 487 | 1404k| 846.0 | 118M | 65 |3387 |8848 | 0 | 15k| 0 | 325 | 22 | 0.000000e+00 | -- | Inf | unknown
900.02/902.45 c 902s| 600 | 587 | 1427k| 808.5 | 118M | 144 |3387 |8855 |8823 | 15k| 1 | 333 | 22 | 0.000000e+00 | -- | Inf | unknown
910.79/913.25 c 913s| 700 | 681 | 1461k| 782.1 | 124M | 166 |3387 |8868 |8948 | 16k| 1 | 346 | 22 | 0.000000e+00 | -- | Inf | unknown
940.90/943.44 c 943s| 800 | 773 | 1549k| 787.3 | 134M | 167 |3387 |8883 |9069 | 18k| 1 | 361 | 22 | 0.000000e+00 | -- | Inf | unknown
952.48/955.01 c 955s| 900 | 871 | 1586k| 766.0 | 138M | 172 |3387 |8895 |8966 | 20k| 2 | 374 | 22 | 0.000000e+00 | -- | Inf | unknown
983.09/985.76 c 986s| 1000 | 969 | 1669k| 769.0 | 143M | 172 |3387 |8901 |8820 | 22k| 1 | 380 | 22 | 0.000000e+00 | -- | Inf | unknown
1003.34/1006.06 c 1006s| 1100 | 1061 | 1725k| 759.4 | 144M | 175 |3387 |8898 |8816 | 24k| 1 | 384 | 22 | 0.000000e+00 | -- | Inf | unknown
1023.67/1026.41 c 1026s| 1200 | 1157 | 1781k| 750.5 | 146M | 175 |3387 |8913 |9086 | 26k| 1 | 405 | 22 | 0.000000e+00 | -- | Inf | unknown
1048.41/1051.20 c 1051s| 1300 | 1253 | 1850k| 748.0 | 147M | 175 |3387 |8954 |8976 | 28k| 1 | 450 | 22 | 0.000000e+00 | -- | Inf | unknown
1068.45/1071.31 c 1071s| 1400 | 1335 | 1909k| 741.5 | 148M | 176 |3387 |8988 |8820 | 30k| 1 | 487 | 22 | 0.000000e+00 | -- | Inf | unknown
1091.78/1094.71 c 1095s| 1500 | 1427 | 1977k| 739.1 | 151M | 185 |3387 |8971 |9176 | 32k| 1 | 491 | 22 | 0.000000e+00 | -- | Inf | unknown
1112.83/1115.81 c 1116s| 1600 | 1515 | 2047k| 737.6 | 151M | 188 |3387 |8971 |9159 | 33k| 1 | 494 | 22 | 0.000000e+00 | -- | Inf | unknown
1135.56/1138.60 c 1139s| 1700 | 1597 | 2114k| 734.9 | 152M | 188 |3387 |9011 |8968 | 35k| 1 | 555 | 22 | 0.000000e+00 | -- | Inf | unknown
1162.39/1165.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1162.39/1165.57 c 1166s| 1800 | 1693 | 2193k| 736.8 | 152M | 198 |3387 |9076 |9090 | 37k| 1 | 629 | 22 | 0.000000e+00 | -- | Inf | unknown
1186.92/1190.15 c 1190s| 1900 | 1782 | 2263k| 735.6 | 153M | 198 |3387 |9061 |8818 | 38k| 1 | 665 | 22 | 0.000000e+00 | -- | Inf | unknown
1206.56/1209.84 c 1210s| 2000 | 1882 | 2326k| 732.1 | 155M | 198 |3387 |9054 |9158 | 40k| 2 | 683 | 22 | 0.000000e+00 | -- | Inf | unknown
1230.39/1233.71 c 1234s| 2100 | 1982 | 2401k| 732.7 | 157M | 198 |3387 |9062 |9020 | 42k| 2 | 709 | 22 | 0.000000e+00 | -- | Inf | unknown
1379.00/1382.71 c 1383s| 2200 | 2076 | 2643k| 784.7 | 157M | 198 |3387 |9064 |8968 | 44k| 1 | 727 | 22 | 0.000000e+00 | -- | Inf | unknown
1397.65/1401.48 c 1401s| 2300 | 2174 | 2696k| 777.3 | 157M | 198 |3387 |9062 |9131 | 46k| 2 | 748 | 22 | 0.000000e+00 | -- | Inf | unknown
1423.68/1427.52 c 1428s| 2400 | 2274 | 2766k| 774.8 | 159M | 198 |3387 |9060 |9102 | 47k| 1 | 782 | 22 | 0.000000e+00 | -- | Inf | unknown
1442.93/1446.88 c 1447s| 2500 | 2372 | 2822k| 768.9 | 159M | 198 |3387 |9078 |9061 | 49k| 1 | 822 | 22 | 0.000000e+00 | -- | Inf | unknown
1463.37/1467.37 c 1467s| 2600 | 2470 | 2881k| 763.9 | 160M | 198 |3387 |9086 |8973 | 51k| 1 | 851 | 22 | 0.000000e+00 | -- | Inf | unknown
1494.58/1498.68 c 1499s| 2700 | 2568 | 2969k| 767.1 | 161M | 198 |3387 |9051 |9106 | 53k| 1 | 863 | 22 | 0.000000e+00 | -- | Inf | unknown
1515.83/1519.98 c 1520s| 2800 | 2666 | 3031k| 763.3 | 163M | 198 |3387 |9060 |8972 | 55k| 1 | 909 | 22 | 0.000000e+00 | -- | Inf | unknown
1534.88/1539.06 c 1539s| 2900 | 2760 | 3089k| 758.6 | 163M | 198 |3387 |9058 |8976 | 57k| 1 | 937 | 22 | 0.000000e+00 | -- | Inf | unknown
1555.52/1559.72 c 1560s| 3000 | 2860 | 3148k| 754.4 | 164M | 198 |3387 |9061 |8801 | 59k| 1 | 953 | 22 | 0.000000e+00 | -- | Inf | unknown
1579.25/1583.50 c 1583s| 3100 | 2955 | 3214k| 752.2 | 164M | 198 |3387 |9029 |8973 | 61k| 1 | 970 | 22 | 0.000000e+00 | -- | Inf | unknown
1605.98/1610.39 c 1610s| 3200 | 3053 | 3295k| 753.5 | 164M | 198 |3387 |9023 |8968 | 63k| 1 | 978 | 22 | 0.000000e+00 | -- | Inf | unknown
1632.11/1636.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1632.11/1636.59 c 1637s| 3300 | 3149 | 3375k| 754.7 | 164M | 198 |3387 |9025 |8904 | 64k| 2 | 987 | 22 | 0.000000e+00 | -- | Inf | unknown
1661.23/1665.70 c 1666s| 3400 | 3247 | 3462k| 757.2 | 166M | 198 |3387 |9039 |8953 | 66k| 2 |1012 | 22 | 0.000000e+00 | -- | Inf | unknown
1681.17/1685.79 c 1686s| 3500 | 3345 | 3526k| 754.6 | 166M | 199 |3387 |9084 |8820 | 68k| 1 |1065 | 22 | 0.000000e+00 | -- | Inf | unknown
1701.52/1706.11 c 1706s| 3600 | 3439 | 3585k| 751.0 | 168M | 199 |3387 |9103 |9101 | 70k| 1 |1096 | 22 | 0.000000e+00 | -- | Inf | unknown
1725.06/1729.77 c 1730s| 3700 | 3535 | 3650k| 748.8 | 170M | 199 |3387 |9117 |9104 | 72k| 1 |1124 | 22 | 0.000000e+00 | -- | Inf | unknown
1746.01/1750.70 c 1751s| 3800 | 3627 | 3711k| 746.0 | 171M | 199 |3387 |9108 |9171 | 74k| 1 |1152 | 22 | 0.000000e+00 | -- | Inf | unknown
1766.15/1770.93 c 1771s| 3900 | 3723 | 3773k| 743.4 | 172M | 199 |3387 |9109 |9193 | 75k| 1 |1191 | 22 | 0.000000e+00 | -- | Inf | unknown
1787.99/1792.86 c 1793s| 4000 | 3817 | 3837k| 741.5 | 173M | 199 |3387 |9115 |9205 | 77k| 1 |1210 | 22 | 0.000000e+00 | -- | Inf | unknown
1811.23/1816.14 c 1816s| 4100 | 3913 | 3905k| 740.3 | 173M | 199 |3387 |9099 |9019 | 79k| 2 |1232 | 22 | 0.000000e+00 | -- | Inf | unknown
1840.05/1845.05 c 1845s| 4200 | 4011 | 3989k| 742.1 | 173M | 199 |3387 |9072 |8818 | 81k| 1 |1244 | 22 | 0.000000e+00 | -- | Inf | unknown
1858.30/1863.37 c 1863s| 4300 | 4107 | 4047k| 739.2 | 174M | 206 |3387 |9093 |9306 | 82k| 1 |1275 | 22 | 0.000000e+00 | -- | Inf | unknown
1885.22/1890.38 c 1890s| 4400 | 4201 | 4124k| 739.8 | 175M | 207 |3387 |9117 |9216 | 84k| 1 |1316 | 22 | 0.000000e+00 | -- | Inf | unknown
1912.95/1918.13 c 1918s| 4500 | 4299 | 4215k| 742.9 | 175M | 207 |3387 |9109 |9207 | 86k| 2 |1332 | 22 | 0.000000e+00 | -- | Inf | unknown
1935.17/1940.42 c 1940s| 4600 | 4389 | 4279k| 740.9 | 176M | 207 |3387 |9118 |9250 | 87k| 1 |1357 | 22 | 0.000000e+00 | -- | Inf | unknown
1964.07/1969.41 c 1969s| 4700 | 4484 | 4376k| 745.0 | 177M | 207 |3387 |9151 |8971 | 89k| 1 |1406 | 22 | 0.000000e+00 | -- | Inf | unknown
1991.27/1996.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1991.27/1996.75 c 1997s| 4800 | 4584 | 4455k| 745.7 | 180M | 207 |3387 |9145 |9113 | 91k| 1 |1425 | 22 | 0.000000e+00 | -- | Inf | unknown
2009.51/2015.08 c 2015s| 4900 | 4684 | 4512k| 742.7 | 180M | 207 |3387 |9154 |9237 | 93k| 1 |1450 | 22 | 0.000000e+00 | -- | Inf | unknown
2030.82/2036.41 c 2036s| 5000 | 4780 | 4574k| 740.7 | 181M | 209 |3387 |9136 |8963 | 94k| 2 |1469 | 22 | 0.000000e+00 | -- | Inf | unknown
2051.75/2057.41 c 2057s| 5100 | 4878 | 4635k| 738.6 | 182M | 209 |3387 |9142 |9204 | 96k| 1 |1499 | 22 | 0.000000e+00 | -- | Inf | unknown
2081.94/2087.79 c 2088s| 5200 | 4974 | 4731k| 742.2 | 183M | 209 |3387 |9148 |9158 | 98k| 1 |1513 | 22 | 0.000000e+00 | -- | Inf | unknown
2107.35/2113.25 c 2113s| 5300 | 5072 | 4809k| 742.7 | 183M | 209 |3387 |9123 |9167 | 100k| 2 |1513 | 22 | 0.000000e+00 | -- | Inf | unknown
2127.08/2133.06 c 2133s| 5400 | 5168 | 4871k| 740.8 | 183M | 209 |3387 |9107 |8972 | 101k| 1 |1519 | 22 | 0.000000e+00 | -- | Inf | unknown
2144.51/2150.57 c 2151s| 5500 | 5266 | 4927k| 738.1 | 184M | 209 |3387 |9135 |9184 | 103k| 1 |1553 | 22 | 0.000000e+00 | -- | Inf | unknown
2167.62/2173.76 c 2174s| 5600 | 5366 | 4996k| 737.4 | 184M | 209 |3387 |9135 |9044 | 104k| 1 |1564 | 22 | 0.000000e+00 | -- | Inf | unknown
2191.34/2197.57 c 2198s| 5700 | 5466 | 5067k| 736.9 | 184M | 209 |3387 |9156 |9104 | 106k| 1 |1599 | 22 | 0.000000e+00 | -- | Inf | unknown
2216.15/2222.46 c 2222s| 5800 | 5566 | 5151k| 738.4 | 186M | 209 |3387 |9169 |9088 | 108k| 1 |1622 | 22 | 0.000000e+00 | -- | Inf | unknown
2241.48/2247.87 c 2248s| 5900 | 5660 | 5228k| 738.9 | 188M | 209 |3387 |9160 |9098 | 110k| 1 |1625 | 22 | 0.000000e+00 | -- | Inf | unknown
2271.50/2277.90 c 2278s| 6000 | 5760 | 5315k| 740.7 | 188M | 209 |3387 |9140 |8966 | 112k| 1 |1639 | 22 | 0.000000e+00 | -- | Inf | unknown
2292.34/2298.81 c 2299s| 6100 | 5854 | 5375k| 738.7 | 189M | 209 |3387 |9118 |9310 | 114k| 2 |1649 | 22 | 0.000000e+00 | -- | Inf | unknown
2310.49/2317.08 c 2317s| 6200 | 5950 | 5432k| 736.5 | 192M | 210 |3387 |9114 |8985 | 116k| 1 |1667 | 22 | 0.000000e+00 | -- | Inf | unknown
2328.93/2335.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2328.93/2335.58 c 2336s| 6300 | 6044 | 5491k| 734.4 | 192M | 210 |3387 |9118 |9115 | 118k| 1 |1679 | 22 | 0.000000e+00 | -- | Inf | unknown
2363.83/2370.58 c 2371s| 6400 | 6138 | 5609k| 740.4 | 194M | 210 |3387 |9126 |9266 | 119k| 1 |1697 | 22 | 0.000000e+00 | -- | Inf | unknown
2386.28/2393.03 c 2393s| 6500 | 6220 | 5680k| 740.0 | 194M | 210 |3387 |9155 |9120 | 121k| 2 |1730 | 22 | 0.000000e+00 | -- | Inf | unknown
2406.22/2413.04 c 2413s| 6600 | 6312 | 5743k| 738.6 | 195M | 210 |3387 |9148 |9319 | 123k| 1 |1730 | 22 | 0.000000e+00 | -- | Inf | unknown
2431.75/2438.65 c 2439s| 6700 | 6402 | 5824k| 739.5 | 196M | 210 |3387 |9174 |9093 | 124k| 1 |1766 | 22 | 0.000000e+00 | -- | Inf | unknown
2449.51/2456.46 c 2456s| 6800 | 6492 | 5882k| 737.5 | 196M | 210 |3387 |9175 | 0 | 126k| 0 |1775 | 22 | 0.000000e+00 | -- | Inf | unknown
2468.46/2475.40 c 2475s| 6900 | 6588 | 5938k| 735.3 | 196M | 210 |3387 |9198 |9278 | 127k| 1 |1815 | 22 | 0.000000e+00 | -- | Inf | unknown
2496.18/2503.25 c 2503s| 7000 | 6680 | 6026k| 737.0 | 197M | 210 |3387 |9221 |9200 | 129k| 1 |1851 | 22 | 0.000000e+00 | -- | Inf | unknown
2513.94/2521.09 c 2521s| 7100 | 6776 | 6080k| 734.6 | 198M | 210 |3387 |9218 |9298 | 131k| 1 |1854 | 22 | 0.000000e+00 | -- | Inf | unknown
2534.08/2541.20 c 2541s| 7200 | 6868 | 6143k| 733.3 | 199M | 210 |3387 |9221 |9290 | 132k| 2 |1862 | 22 | 0.000000e+00 | -- | Inf | unknown
2553.93/2561.16 c 2561s| 7300 | 6950 | 6203k| 731.8 | 199M | 210 |3387 |9245 |9164 | 133k| 1 |1901 | 22 | 0.000000e+00 | -- | Inf | unknown
2577.36/2584.62 c 2585s| 7400 | 7038 | 6277k| 731.9 | 200M | 210 |3387 |9268 |9104 | 135k| 1 |1933 | 22 | 0.000000e+00 | -- | Inf | unknown
2598.20/2605.56 c 2606s| 7500 | 7127 | 6345k| 731.2 | 200M | 221 |3387 |9269 |9263 | 136k| 2 |1952 | 22 | 0.000000e+00 | -- | Inf | unknown
2617.54/2624.98 c 2625s| 7600 | 7225 | 6402k| 729.4 | 202M | 221 |3387 |9252 |9224 | 138k| 1 |1957 | 22 | 0.000000e+00 | -- | Inf | unknown
2638.99/2646.40 c 2646s| 7700 | 7318 | 6466k| 728.4 | 203M | 221 |3387 |9275 |9221 | 140k| 1 |1997 | 22 | 0.000000e+00 | -- | Inf | unknown
2667.91/2675.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2667.91/2675.49 c 2675s| 7800 | 7410 | 6547k| 729.3 | 205M | 221 |3387 |9266 | 0 | 142k| 0 |2022 | 22 | 0.000000e+00 | -- | Inf | unknown
2690.66/2698.21 c 2698s| 7900 | 7506 | 6615k| 728.8 | 205M | 221 |3387 |9231 |9092 | 144k| 2 |2027 | 22 | 0.000000e+00 | -- | Inf | unknown
2712.90/2720.53 c 2721s| 8000 | 7606 | 6689k| 728.9 | 208M | 221 |3387 |9241 |9114 | 145k| 1 |2058 | 22 | 0.000000e+00 | -- | Inf | unknown
2732.36/2740.02 c 2740s| 8100 | 7692 | 6751k| 727.6 | 208M | 221 |3387 |9254 |9301 | 147k| 1 |2101 | 22 | 0.000000e+00 | -- | Inf | unknown
2758.19/2765.99 c 2766s| 8200 | 7790 | 6832k| 728.6 | 215M | 221 |3387 |9288 |9358 | 148k| 1 |2149 | 22 | 0.000000e+00 | -- | Inf | unknown
2783.93/2791.76 c 2792s| 8300 | 7888 | 6918k| 730.0 | 216M | 221 |3387 |9265 |9314 | 150k| 2 |2155 | 22 | 0.000000e+00 | -- | Inf | unknown
2798.39/2806.29 c 2806s| 8400 | 7986 | 6970k| 727.7 | 218M | 221 |3387 |9268 |8982 | 151k| 1 |2183 | 22 | 0.000000e+00 | -- | Inf | unknown
2820.34/2828.20 c 2828s| 8500 | 8082 | 7043k| 727.8 | 218M | 221 |3387 |9241 |9111 | 153k| 1 |2198 | 22 | 0.000000e+00 | -- | Inf | unknown
2840.29/2848.27 c 2848s| 8600 | 8180 | 7106k| 726.7 | 218M | 221 |3387 |9258 |9176 | 155k| 1 |2226 | 22 | 0.000000e+00 | -- | Inf | unknown
2866.32/2874.32 c 2874s| 8700 | 8276 | 7192k| 728.1 | 218M | 221 |3387 |9253 |9110 | 156k| 1 |2232 | 22 | 0.000000e+00 | -- | Inf | unknown
2886.57/2894.60 c 2895s| 8800 | 8376 | 7257k| 727.3 | 219M | 221 |3387 |9276 |9370 | 158k| 1 |2264 | 22 | 0.000000e+00 | -- | Inf | unknown
2903.73/2911.85 c 2912s| 8900 | 8476 | 7310k| 725.3 | 219M | 221 |3387 |9264 |9354 | 159k| 1 |2269 | 22 | 0.000000e+00 | -- | Inf | unknown
2932.55/2940.77 c 2941s| 9000 | 8573 | 7406k| 727.7 | 220M | 221 |3387 |9282 |9261 | 161k| 2 |2314 | 22 | 0.000000e+00 | -- | Inf | unknown
2955.59/2963.80 c 2964s| 9100 | 8669 | 7479k| 727.7 | 221M | 221 |3387 |9256 |9099 | 162k| 1 |2317 | 22 | 0.000000e+00 | -- | Inf | unknown
2977.44/2985.77 c 2986s| 9200 | 8769 | 7549k| 727.4 | 222M | 221 |3387 |9273 |9357 | 164k| 1 |2354 | 22 | 0.000000e+00 | -- | Inf | unknown
2998.58/3006.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2998.58/3006.96 c 3007s| 9300 | 8869 | 7619k| 727.2 | 223M | 221 |3387 |9288 |9177 | 165k| 1 |2385 | 22 | 0.000000e+00 | -- | Inf | unknown
3017.93/3026.38 c 3026s| 9400 | 8969 | 7677k| 725.8 | 223M | 221 |3387 |9276 |9222 | 167k| 1 |2390 | 22 | 0.000000e+00 | -- | Inf | unknown
3040.28/3048.71 c 3049s| 9500 | 9069 | 7743k| 725.1 | 223M | 221 |3387 |9299 |9039 | 169k| 1 |2429 | 22 | 0.000000e+00 | -- | Inf | unknown
3067.21/3075.74 c 3076s| 9600 | 9167 | 7817k| 725.2 | 223M | 221 |3387 |9279 |9359 | 170k| 1 |2440 | 22 | 0.000000e+00 | -- | Inf | unknown
3094.24/3102.85 c 3103s| 9700 | 9259 | 7903k| 726.5 | 223M | 221 |3387 |9279 |8977 | 172k| 2 |2469 | 22 | 0.000000e+00 | -- | Inf | unknown
3129.16/3137.83 c 3138s| 9800 | 9357 | 8006k| 729.4 | 223M | 221 |3387 |9275 |9104 | 173k| 1 |2492 | 22 | 0.000000e+00 | -- | Inf | unknown
3150.90/3159.69 c 3160s| 9900 | 9454 | 8090k| 730.3 | 223M | 221 |3387 |9259 |9213 | 175k| 1 |2496 | 22 | 0.000000e+00 | -- | Inf | unknown
3178.53/3187.36 c 3187s| 10000 | 9554 | 8182k| 732.0 | 225M | 221 |3387 |9275 |9288 | 177k| 1 |2537 | 22 | 0.000000e+00 | -- | Inf | unknown
3199.08/3207.94 c 3208s| 10100 | 9644 | 8243k| 731.0 | 226M | 221 |3387 |9268 |8818 | 178k| 1 |2544 | 22 | 0.000000e+00 | -- | Inf | unknown
3219.43/3228.30 c 3228s| 10200 | 9728 | 8307k| 730.2 | 227M | 221 |3387 |9272 |9131 | 180k| 1 |2558 | 22 | 0.000000e+00 | -- | Inf | unknown
3238.48/3247.47 c 3247s| 10300 | 9822 | 8364k| 728.7 | 227M | 221 |3387 |9271 |9159 | 182k| 2 |2568 | 22 | 0.000000e+00 | -- | Inf | unknown
3256.64/3265.62 c 3266s| 10400 | 9922 | 8417k| 727.0 | 227M | 221 |3387 |9299 |9041 | 183k| 1 |2612 | 22 | 0.000000e+00 | -- | Inf | unknown
3278.48/3287.52 c 3288s| 10500 | 10020 | 8479k| 726.1 | 228M | 221 |3387 |9302 |9174 | 185k| 1 |2634 | 22 | 0.000000e+00 | -- | Inf | unknown
3301.52/3310.69 c 3311s| 10600 | 10118 | 8551k| 726.0 | 229M | 221 |3387 |9304 |9271 | 187k| 1 |2656 | 22 | 0.000000e+00 | -- | Inf | unknown
3320.58/3329.78 c 3330s| 10700 | 10212 | 8610k| 724.9 | 229M | 221 |3387 |9304 |9119 | 188k| 1 |2672 | 22 | 0.000000e+00 | -- | Inf | unknown
3339.83/3349.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3339.83/3349.03 c 3349s| 10800 | 10308 | 8673k| 724.1 | 230M | 221 |3387 |9302 |9310 | 190k| 1 |2700 | 22 | 0.000000e+00 | -- | Inf | unknown
3366.76/3376.06 c 3376s| 10900 | 10404 | 8754k| 724.8 | 231M | 221 |3387 |9300 |8965 | 192k| 2 |2725 | 22 | 0.000000e+00 | -- | Inf | unknown
3392.19/3401.57 c 3402s| 11000 | 10502 | 8829k| 725.0 | 234M | 221 |3387 |9318 |9131 | 194k| 1 |2762 | 22 | 0.000000e+00 | -- | Inf | unknown
3414.64/3424.04 c 3424s| 11100 | 10600 | 8889k| 724.0 | 234M | 221 |3387 |9302 |9368 | 195k| 1 |2770 | 22 | 0.000000e+00 | -- | Inf | unknown
3434.69/3444.13 c 3444s| 11200 | 10696 | 8949k| 723.0 | 234M | 221 |3387 |9293 |9290 | 197k| 1 |2774 | 22 | 0.000000e+00 | -- | Inf | unknown
3459.12/3468.69 c 3469s| 11300 | 10794 | 9026k| 723.3 | 234M | 221 |3387 |9304 |9110 | 199k| 1 |2810 | 22 | 0.000000e+00 | -- | Inf | unknown
3487.86/3497.41 c 3497s| 11400 | 10890 | 9106k| 724.0 | 235M | 221 |3387 |9298 |9392 | 200k| 2 |2820 | 22 | 0.000000e+00 | -- | Inf | unknown
3509.20/3518.89 c 3519s| 11500 | 10986 | 9175k| 723.7 | 236M | 221 |3387 |9284 |9227 | 202k| 1 |2820 | 22 | 0.000000e+00 | -- | Inf | unknown
3530.65/3540.35 c 3540s| 11600 | 11080 | 9254k| 724.2 | 237M | 221 |3387 |9322 |9316 | 204k| 1 |2863 | 22 | 0.000000e+00 | -- | Inf | unknown
3554.79/3564.50 c 3564s| 11700 | 11176 | 9326k| 724.2 | 237M | 221 |3387 |9344 |9159 | 205k| 1 |2905 | 22 | 0.000000e+00 | -- | Inf | unknown
3573.54/3583.30 c 3583s| 11800 | 11267 | 9386k| 723.2 | 239M | 221 |3387 |9336 |9020 | 207k| 2 |2915 | 22 | 0.000000e+00 | -- | Inf | unknown
3587.10/3597.00 c
3587.10/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.10/3597.00 c Solving Time (sec) : 3597.00
3587.10/3597.00 c Solving Nodes : 11868 (total of 12917 nodes in 2 runs)
3587.10/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.10/3597.00 c Dual Bound : +0.00000000000000e+00
3587.10/3597.00 c Gap : infinite
3587.10/3597.00 s UNKNOWN
3587.10/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.10/3597.00 c Total Time : 3597.00
3587.10/3597.00 c solving : 3597.00
3587.10/3597.00 c presolving : 0.35 (included in solving)
3587.10/3597.00 c reading : 0.02 (included in solving)
3587.10/3597.00 c copying : 0.38 (27 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3587.10/3597.00 c Original Problem :
3587.10/3597.00 c Problem name : HOME/instance-4450625-1721415749.opb
3587.10/3597.00 c Variables : 4288 (4288 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.10/3597.00 c Constraints : 9504 initial, 9504 maximal
3587.10/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.10/3597.00 c Presolved Problem :
3587.10/3597.00 c Problem name : t_HOME/instance-4450625-1721415749.opb
3587.10/3597.00 c Variables : 3387 (3387 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.10/3597.00 c Constraints : 8750 initial, 9375 maximal
3587.10/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.10/3597.00 c Nonzeros : 41028 constraint, 1390 clique table
3587.10/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.10/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c gateextraction : 0.01 0.00 4 0 0 0 0 0 96 32 0 0
3587.10/3597.00 c implics : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c milp : 0.03 0.00 1 2 63 0 0 0 0 0 0 0
3587.10/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c trivial : 0.00 0.00 19 55 0 0 0 0 0 0 0 0
3587.10/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c dualfix : 0.00 0.00 19 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c probing : 0.12 0.00 1 0 1 0 0 0 0 0 0 0
3587.10/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c knapsack : 0.00 0.00 18 0 0 0 0 0 1 3 1 3
3587.10/3597.00 c setppc : 0.00 0.00 13 0 0 0 0 0 1 0 0 0
3587.10/3597.00 c and : 0.00 0.00 19 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c linear : 0.09 0.00 29 679 101 0 679 0 2551 1478 106 0
3587.10/3597.00 c logicor : 0.05 0.01 23 0 0 0 0 0 582 0 0 34
3587.10/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.10/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.10/3597.00 c benderslp : 0 0 0 0 12653 0 0 2018 0 0 0 0 0 0 0
3587.10/3597.00 c integral : 0 0 0 0 12653 0 0 2018 0 0 0 0 0 0 25306
3587.10/3597.00 c knapsack : 60+ 67 11 348353 0 0 0 0 546 27 1739 85 12 0 0
3587.10/3597.00 c setppc : 120+ 127 11 302751 0 0 0 0 1341 16 1550 0 0 0 0
3587.10/3597.00 c and : 32 32 12986 346040 0 0 0 2013 1080 2 1621 732 662 0 0
3587.10/3597.00 c linear : 1345+ 1356 22 364902 0 0 0 204 46526 3381 69347 0 0 0 0
3587.10/3597.00 c logicor : 7193+ 7808 22 229974 0 0 0 0 11513 216 17614 9 6 0 0
3587.10/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.10/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.10/3597.00 c benderslp : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.10/3597.00 c integral : 19.00 0.00 0.00 0.00 19.00 0.00 0.00 0.00 0.00 0.00
3587.10/3597.00 c knapsack : 0.10 0.00 0.00 0.10 0.00 0.00 0.00 0.00 0.00 0.00
3587.10/3597.00 c setppc : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3587.10/3597.00 c and : 0.14 0.00 0.05 0.07 0.00 0.00 0.00 0.01 0.00 0.00
3587.10/3597.00 c linear : 1.34 0.00 0.00 1.30 0.00 0.00 0.00 0.00 0.03 0.00
3587.21/3597.00 c logicor : 1.16 0.01 0.02 1.13 0.00 0.00 0.00 0.00 0.01 0.00
3587.21/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.21/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.21/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.21/3597.00 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.21/3597.00 c dualfix : 2 0 0 0
3587.21/3597.00 c genvbounds : 0 0 0 0
3587.21/3597.00 c nlobbt : 0 0 0 0
3587.21/3597.00 c obbt : 0 0 0 0
3587.21/3597.00 c probing : 0 0 0 0
3587.21/3597.00 c pseudoobj : 0 0 0 0
3587.21/3597.00 c redcost : 0 0 0 0
3587.21/3597.00 c rootredcost : 0 0 0 0
3587.21/3597.00 c symmetry : 0 0 0 0
3587.21/3597.00 c vbounds : 69864 0 0 0
3587.21/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.21/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3587.21/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.21/3597.00 c probing : 0.12 0.00 0.12 0.00 0.00 0.00
3587.21/3597.00 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3587.21/3597.00 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3587.21/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.21/3597.00 c symmetry : 0.07 0.00 0.02 0.05 0.00 0.00
3587.21/3597.00 c vbounds : 0.09 0.00 0.00 0.09 0.00 0.00
3587.21/3597.00 c Symmetry :
3587.21/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.21/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.21/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.21/3597.00 c shadow tree time : 0.00 s
3587.21/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.21/3597.00 c propagation : 0.11 525 524 - 6384 159.3 374 8.8 - - -
3587.21/3597.00 c infeasible LP : 0.10 67 65 - 2126 303.2 41 7.5 60 122.0 0
3587.21/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.21/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.21/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.21/3597.00 c applied globally : 0.01 - - 0 2907 50.4 - - 60 - -
3587.21/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.21/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.21/3597.00 c cut pool : 1.33 - 2711 42 - - 15914 802088 - - - - - (maximal pool size: 5397)
3587.21/3597.00 c aggregation : 0.47 0.00 90 22 0 0 10302 428088 385 139071 138799 272 0
3587.21/3597.00 c > cmir : - - - - - - - 178695 0 39421 39421 0 -
3587.21/3597.00 c > flowcover : - - - - - - - 147331 0 55478 55478 0 -
3587.21/3597.00 c > knapsackcover : - - - - - - - 102062 385 44172 43900 272 -
3587.21/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c clique : 0.03 0.00 22 22 0 0 10 146 0 49 49 0 0
3587.21/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c gomory : 16.70 0.00 89 20 0 0 4531 226980 142 17946 17930 16 0
3587.21/3597.00 c > gomorymi : - - - - - - - 106835 71 12775 12762 13 -
3587.21/3597.00 c > strongcg : - - - - - - - 120145 71 5171 5168 3 -
3587.21/3597.00 c impliedbounds : 0.01 0.00 91 22 0 0 779 25969 0 12433 12433 0 0
3587.21/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c multilinear : 0.00 0.00 151 22 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.21/3597.00 c rapidlearning : 2.59 0.00 23 2 0 20 0 0 0 0 0 0 22
3587.21/3597.00 c rlt : 1.30 0.00 76 20 0 0 18 27 3 10 10 0 0
3587.21/3597.00 c zerohalf : 1.47 0.00 86 22 0 0 1260 120878 457 57524 57109 415 0
3587.21/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.21/3597.00 c hybrid : 1.83 0.00 3207 22 227713 0 576188 4869 0 7693
3587.21/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.21/3597.00 c problem variables: 0.00 - 0 0
3587.21/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.21/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c relpscost : 18.98 0.00 12653 0 0 0 0 0 0 25306
3587.21/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.21/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.21/3597.00 c LP solutions : 0.00 - - 0 0
3587.21/3597.00 c relax solutions : 0.00 - - 0 0
3587.21/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.21/3597.00 c strong branching : 0.00 - - 0 0
3587.21/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.21/3597.00 c adaptivediving : 28.20 0.00 15 0 0
3587.21/3597.00 c alns : 0.13 0.00 4 0 0
3587.21/3597.00 c bound : 0.00 0.00 0 0 0
3587.21/3597.00 c clique : 0.02 0.00 1 0 0
3587.21/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.21/3597.00 c completesol : 0.00 0.00 0 0 0
3587.21/3597.00 c conflictdiving : 368.49 0.00 229 0 0
3587.21/3597.00 c crossover : 0.00 0.00 0 0 0
3587.21/3597.00 c dins : 0.00 0.00 0 0 0
3587.21/3597.00 c distributiondivin: 185.67 0.00 67 0 0
3587.21/3597.00 c dps : 0.00 0.00 0 0 0
3587.21/3597.00 c dualval : 0.00 0.00 0 0 0
3587.21/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.21/3597.00 c feasjump : 0.03 0.00 2 0 0
3587.21/3597.00 c feaspump : 42.23 0.00 11 0 0
3587.21/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.21/3597.00 c fracdiving : 189.90 0.00 69 0 0
3587.21/3597.00 c gins : 0.00 0.00 0 0 0
3587.21/3597.00 c guideddiving : 0.00 0.00 0 0 0
3587.21/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3587.21/3597.00 c indicator : 0.01 0.00 0 0 0
3587.21/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.21/3597.00 c indoneopt : 0.00 0.00 0 0 0
3587.21/3597.00 c indrounding : 0.00 0.00 0 0 0
3587.21/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3587.21/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.21/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.21/3597.00 c linesearchdiving : 191.45 0.00 63 0 0
3587.21/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.21/3597.00 c locks : 0.04 0.00 1 0 0
3587.21/3597.00 c lpface : 0.05 0.00 0 0 0
3587.21/3597.00 c mpec : 0.00 0.00 0 0 0
3587.21/3597.00 c multistart : 0.00 0.00 0 0 0
3587.21/3597.00 c mutation : 0.00 0.00 0 0 0
3587.21/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.21/3597.00 c objpscostdiving : 335.58 0.00 2 0 0
3587.21/3597.00 c octane : 0.00 0.00 0 0 0
3587.21/3597.00 c ofins : 0.00 0.00 0 0 0
3587.21/3597.00 c oneopt : 0.01 0.00 0 0 0
3587.21/3597.00 c padm : 0.00 0.00 0 0 0
3587.21/3597.00 c proximity : 0.00 0.00 0 0 0
3587.21/3597.00 c pscostdiving : 207.58 0.00 37 0 0
3587.21/3597.00 c randrounding : 0.52 0.00 2028 0 0
3587.21/3597.00 c rens : 0.00 0.00 0 0 0
3587.21/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.21/3597.00 c repair : 0.00 0.00 0 0 0
3587.21/3597.00 c rins : 0.00 0.00 0 0 0
3587.21/3597.00 c rootsoldiving : 27.28 0.00 12 0 0
3587.21/3597.00 c rounding : 0.38 0.00 1736 0 0
3587.21/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.21/3597.00 c shiftandpropagate: 0.04 0.00 2 0 0
3587.21/3597.00 c shifting : 1.04 0.00 818 0 0
3587.21/3597.00 c simplerounding : 0.01 0.00 0 0 0
3587.21/3597.00 c smallcard : 0.00 0.00 0 0 0
3587.21/3597.00 c subnlp : 0.01 0.00 0 0 0
3587.21/3597.00 c trivial : 0.00 0.00 4 0 0
3587.21/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.21/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.21/3597.00 c trysol : 0.00 0.00 0 0 0
3587.21/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.21/3597.00 c undercover : 0.00 0.00 1 0 0
3587.21/3597.00 c vbounds : 0.00 0.00 0 0 0
3587.21/3597.00 c veclendiving : 201.47 0.00 147 0 0
3587.21/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.21/3597.00 c zirounding : 0.25 0.00 1000 0 0
3587.21/3597.00 c other solutions : - - - 0 -
3587.21/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.21/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.21/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.21/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.21/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.21/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.21/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.21/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.21/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.21/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.21/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.21/3597.00 c primal LP : 1.54 1297 0 0.00 0.00 1.54 1297
3587.21/3597.00 c dual LP : 1747.95 15868 6162586 388.46 3525.62 0.01 4
3587.21/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.21/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.21/3597.00 c resolve instable : 0.00 0 0 0.00 -
3587.21/3597.00 c diving/probing LP: 1761.63 3613 3266197 904.01 1854.08
3587.21/3597.00 c strong branching : 12.46 22 21343 970.14 1713.42 - - 42
3587.21/3597.00 c (at root node) : - 22 21343 970.14 -
3587.21/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3587.21/3597.00 c B&B Tree :
3587.21/3597.00 c number of runs : 2
3587.21/3597.00 c nodes : 11868 (11604 internal, 264 leaves)
3587.21/3597.00 c feasible leaves : 0
3587.21/3597.00 c infeas. leaves : 263
3587.21/3597.00 c objective leaves : 0
3587.21/3597.00 c nodes (total) : 12917 (12653 internal, 264 leaves)
3587.21/3597.00 c nodes left : 11334
3587.21/3597.00 c max depth : 221
3587.21/3597.00 c max depth (total): 221
3587.21/3597.00 c backtracks : 629 (5.3%)
3587.21/3597.00 c early backtracks : 0 (0.0%)
3587.21/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.21/3597.00 c delayed cutoffs : 8
3587.21/3597.00 c repropagations : 1322 (404 domain reductions, 1 cutoffs)
3587.21/3597.00 c avg switch length: 3.54
3587.21/3597.00 c switching time : 3.44
3587.21/3597.00 c Root Node :
3587.21/3597.00 c First LP value : +0.00000000000000e+00
3587.21/3597.00 c First LP Iters : 946 (30070.89 Iter/sec)
3587.21/3597.00 c First LP Time : 0.03
3587.21/3597.00 c Final Dual Bound : +0.00000000000000e+00
3587.21/3597.00 c Final Root Iters : 94626
3587.21/3597.00 c Root LP Estimate : +3.18231910585099e-01
3587.21/3597.00 c Solution :
3587.21/3597.00 c Solutions found : 0 (0 improvements)
3587.21/3597.00 c Primal Bound : -
3587.21/3597.00 c Dual Bound : +0.00000000000000e+00
3587.21/3597.00 c Gap : infinite
3587.21/3597.00 c Integrals : Total Avg%
3587.21/3597.00 c primal-dual : 359699.74 100.00
3587.21/3597.00 c primal-ref : - - (not evaluated)
3587.21/3597.00 c dual-ref : - - (not evaluated)
3587.21/3597.05 c Time complete: 3587.26.