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-4447185-1721349477.opb>
0.00/0.01 c original problem has 3850 variables (3850 bin, 0 int, 0 impl, 0 cont) and 3992 constraints
0.00/0.01 c problem read in 0.01
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.02 c presolving:
0.00/0.03 c (round 1, fast) 174 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 727 clqs
0.00/0.03 c (round 2, fast) 434 del vars, 190 del conss, 0 add conss, 60 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 714 clqs
0.00/0.03 c (round 3, fast) 551 del vars, 276 del conss, 0 add conss, 116 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 711 clqs
0.00/0.03 c (round 4, fast) 644 del vars, 352 del conss, 0 add conss, 160 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 724 clqs
0.00/0.03 c (round 5, fast) 695 del vars, 391 del conss, 0 add conss, 182 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 744 clqs
0.00/0.03 c (round 6, fast) 717 del vars, 410 del conss, 0 add conss, 189 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 762 clqs
0.00/0.03 c (round 7, fast) 721 del vars, 414 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 771 clqs
0.00/0.04 c (0.0s) running MILP presolver
0.09/0.19 c (0.2s) MILP presolver (23 rounds): 4 aggregations, 175 fixings, 0 bound changes
0.09/0.19 c (round 8, medium) 900 del vars, 414 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 659 clqs
0.09/0.20 c (round 9, fast) 900 del vars, 593 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 661 clqs
0.09/0.20 c (round 10, exhaustive) 900 del vars, 659 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 661 clqs
0.20/0.21 c (round 11, exhaustive) 900 del vars, 659 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 0 chg coeffs, 3333 upgd conss, 0 impls, 661 clqs
0.20/0.23 c (round 12, exhaustive) 925 del vars, 660 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 29 chg coeffs, 3333 upgd conss, 0 impls, 661 clqs
0.20/0.23 c (round 13, fast) 950 del vars, 684 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 29 chg coeffs, 3333 upgd conss, 0 impls, 663 clqs
0.49/0.59 c (round 14, exhaustive) 975 del vars, 685 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 29 chg coeffs, 3333 upgd conss, 0 impls, 22036 clqs
0.49/0.59 c (round 15, fast) 975 del vars, 710 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 54 chg coeffs, 3333 upgd conss, 0 impls, 22037 clqs
0.59/0.64 c (round 16, exhaustive) 1000 del vars, 710 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 54 chg coeffs, 3333 upgd conss, 0 impls, 22419 clqs
0.59/0.64 c (round 17, fast) 1000 del vars, 735 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 83 chg coeffs, 3333 upgd conss, 0 impls, 22419 clqs
0.88/0.94 c (0.9s) probing: 1000/3190 (31.3%) - 66 fixings, 2 aggregations, 363407 implications, 0 bound changes
0.99/1.05 c (round 18, exhaustive) 1025 del vars, 735 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 83 chg coeffs, 3333 upgd conss, 0 impls, 22460 clqs
0.99/1.05 c (round 19, fast) 1026 del vars, 761 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 129 chg coeffs, 3333 upgd conss, 0 impls, 22469 clqs
0.99/1.09 c (round 20, exhaustive) 1051 del vars, 761 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 130 chg coeffs, 3333 upgd conss, 0 impls, 22466 clqs
0.99/1.09 c (round 21, fast) 1051 del vars, 786 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 179 chg coeffs, 3333 upgd conss, 0 impls, 22474 clqs
1.48/1.57 c (1.6s) probing: 2000/3190 (62.7%) - 121 fixings, 2 aggregations, 680158 implications, 0 bound changes
1.58/1.62 c (round 22, exhaustive) 1077 del vars, 786 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 181 chg coeffs, 3333 upgd conss, 0 impls, 22393 clqs
1.58/1.62 c (round 23, fast) 1077 del vars, 811 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 217 chg coeffs, 3333 upgd conss, 0 impls, 22396 clqs
2.08/2.14 c (2.1s) probing: 3000/3190 (94.0%) - 139 fixings, 2 aggregations, 986877 implications, 0 bound changes
2.18/2.21 c (2.2s) probing: 3119/3190 (97.8%) - 139 fixings, 2 aggregations, 1020771 implications, 0 bound changes
2.18/2.21 c (2.2s) probing aborted: 1000/1000 successive useless probings
2.18/2.21 c (round 24, exhaustive) 1095 del vars, 812 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 222 chg coeffs, 3333 upgd conss, 0 impls, 22396 clqs
2.18/2.21 c (round 25, fast) 1095 del vars, 827 del conss, 0 add conss, 190 chg bounds, 0 chg sides, 238 chg coeffs, 3333 upgd conss, 0 impls, 22396 clqs
2.18/2.26 c (2.3s) probing cycle finished: starting next cycle
2.18/2.28 c (2.3s) probing: 36/3048 (1.2%) - 139 fixings, 2 aggregations, 1050422 implications, 0 bound changes
2.18/2.28 c (2.3s) probing aborted: 1000/1000 successive useless probings
2.18/2.29 c (2.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.27/2.37 c (2.4s) symmetry computation finished: 3 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
2.27/2.37 c dynamic symmetry handling statistics:
2.27/2.37 c orbitopal reduction: no components
2.27/2.37 c orbital reduction: no components
2.27/2.37 c lexicographic reduction: 3 permutations with support sizes 306, 120, 114
2.27/2.37 c handled 3 out of 3 symmetry components
2.27/2.38 c presolving (26 rounds: 26 fast, 11 medium, 10 exhaustive):
2.27/2.38 c 1095 deleted vars, 827 deleted constraints, 0 added constraints, 190 tightened bounds, 0 added holes, 0 changed sides, 238 changed coefficients
2.27/2.38 c 0 implications, 22511 cliques
2.27/2.38 c presolved problem has 3048 variables (3048 bin, 0 int, 0 impl, 0 cont) and 3165 constraints
2.27/2.38 c 648 constraints of type <setppc>
2.27/2.38 c 2517 constraints of type <logicor>
2.27/2.38 c transformed objective value is always integral (scale: 1)
2.27/2.38 c Presolving Time: 2.35
2.27/2.38 c - non default parameters ----------------------------------------------------------------------
2.27/2.38 c # SCIP version 10.0.0
2.27/2.38 c
2.27/2.38 c # maximal time in seconds to run
2.27/2.38 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.27/2.38 c limits/time = 3596.997063
2.27/2.38 c
2.27/2.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.27/2.38 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.27/2.38 c limits/memory = 27900
2.27/2.38 c
2.27/2.38 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
2.27/2.38 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
2.27/2.38 c limits/solutions = 1
2.27/2.38 c
2.27/2.38 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.
2.27/2.38 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
2.27/2.38 c misc/usesymmetry = 3
2.27/2.38 c
2.27/2.38 c # belongs reading time to solving time?
2.27/2.38 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.27/2.38 c timing/reading = TRUE
2.27/2.38 c
2.27/2.38 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
2.27/2.38 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.27/2.38 c propagating/symmetry/detectdoublelex = FALSE
2.27/2.38 c
2.27/2.38 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
2.27/2.38 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.27/2.38 c propagating/symmetry/detectsubgroups = FALSE
2.27/2.38 c
2.27/2.38 c # Type of symmetries that shall be computed?
2.27/2.38 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
2.27/2.38 c propagating/symmetry/symtype = 1
2.27/2.38 c
2.27/2.38 c # Should components consisting of a single full reflection be handled?
2.27/2.38 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.27/2.38 c propagating/symmetry/usesimplesgncomp = FALSE
2.27/2.38 c
2.27/2.38 c -----------------------------------------------------------------------------------------------
2.27/2.38 c start solving
2.27/2.38 c
3.71/3.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.71/3.89 c 3.9s| 1 | 0 | 7856 | - | 50M | 0 |3048 |3244 |3165 | 0 | 0 | 78 | 0 | 0.000000e+00 | -- | Inf | unknown
11.58/11.70 c 11.7s| 1 | 0 | 37244 | - | 57M | 0 |3048 |3445 |3180 | 15 | 1 | 79 | 0 | 0.000000e+00 | -- | Inf | unknown
12.28/12.42 c 12.4s| 1 | 0 | 39433 | - | 57M | 0 |3048 |3453 |3190 | 25 | 2 | 87 | 0 | 0.000000e+00 | -- | Inf | unknown
13.18/13.33 c 13.3s| 1 | 0 | 42160 | - | 59M | 0 |3048 |3452 |3204 | 39 | 3 | 89 | 0 | 0.000000e+00 | -- | Inf | unknown
14.08/14.21 c 14.2s| 1 | 0 | 44724 | - | 60M | 0 |3048 |3455 |3214 | 49 | 4 | 95 | 0 | 0.000000e+00 | -- | Inf | unknown
14.67/14.90 c 14.9s| 1 | 0 | 46352 | - | 61M | 0 |3048 |3455 |3223 | 58 | 5 | 99 | 0 | 0.000000e+00 | -- | Inf | unknown
15.57/15.79 c 15.8s| 1 | 0 | 48635 | - | 61M | 0 |3048 |3457 |3231 | 66 | 6 | 101 | 0 | 0.000000e+00 | -- | Inf | unknown
16.67/16.84 c 16.8s| 1 | 0 | 51447 | - | 62M | 0 |3048 |3459 |3240 | 75 | 7 | 104 | 0 | 0.000000e+00 | -- | Inf | unknown
17.57/17.74 c 17.7s| 1 | 0 | 53873 | - | 64M | 0 |3048 |3453 |3251 | 86 | 8 | 106 | 0 | 0.000000e+00 | -- | Inf | unknown
18.76/19.00 c 19.0s| 1 | 0 | 57614 | - | 64M | 0 |3048 |3459 |3265 | 100 | 9 | 112 | 0 | 0.000000e+00 | -- | Inf | unknown
19.86/20.05 c 20.1s| 1 | 0 | 60207 | - | 67M | 0 |3048 |3469 |3271 | 106 | 10 | 122 | 0 | 0.000000e+00 | -- | Inf | unknown
20.96/21.15 c 21.2s| 1 | 0 | 63645 | - | 67M | 0 |3048 |3472 |3284 | 119 | 11 | 125 | 0 | 0.000000e+00 | -- | Inf | unknown
31.72/31.93 c 31.9s| 1 | 2 | 91264 | - | 67M | 0 |3048 |3465 |3284 | 119 | 11 | 133 | 11 | 0.000000e+00 | -- | Inf | unknown
167.07/167.62 c 168s| 100 | 49 |622359 |5643.6 | 81M | 20 |3048 |3590 |3220 | 186 | 1 | 419 | 11 | 0.000000e+00 | -- | Inf | 0.62%
182.33/182.98 c 183s| 200 | 47 |690707 |3151.1 | 83M | 20 |3048 |3611 |3218 | 244 | 0 | 449 | 11 | 0.000000e+00 | -- | Inf | 0.82%
216.22/216.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
216.22/216.96 c 217s| 300 | 51 |843785 |2609.2 | 85M | 20 |3048 |3824 |3229 | 361 | 1 | 695 | 11 | 0.000000e+00 | -- | Inf | 1.15%
240.14/240.92 c 241s| 400 | 55 |960726 |2248.3 | 86M | 20 |3048 |3835 |3215 | 392 | 1 | 721 | 11 | 0.000000e+00 | -- | Inf | 1.45%
257.49/258.30 c 258s| 500 | 55 | 1044k|1965.2 | 87M | 20 |3048 |3852 |3217 | 428 | 0 | 748 | 11 | 0.000000e+00 | -- | Inf | 1.52%
271.55/272.42 c 272s| 600 | 59 | 1111k|1750.1 | 87M | 20 |3048 |3878 |3217 | 476 | 1 | 788 | 11 | 0.000000e+00 | -- | Inf | 1.54%
287.70/288.68 c 289s| 700 | 57 | 1191k|1612.8 | 88M | 20 |3048 |3911 |3217 | 522 | 1 | 858 | 11 | 0.000000e+00 | -- | Inf | 1.55%
309.04/310.10 c 310s| 800 | 61 | 1291k|1537.4 | 88M | 45 |3048 |3936 |3224 | 565 | 1 | 900 | 11 | 0.000000e+00 | -- | Inf | 1.56%
322.60/323.69 c 324s| 900 | 61 | 1360k|1442.7 | 89M | 80 |3048 |3957 |3222 | 568 | 1 | 925 | 11 | 0.000000e+00 | -- | Inf | 1.56%
333.86/334.93 c 335s| 1000 | 58 | 1418k|1356.3 | 90M | 80 |3048 |3997 |3219 | 568 | 0 | 977 | 11 | 0.000000e+00 | -- | Inf | 1.56%
349.81/350.90 c 351s| 1100 | 60 | 1495k|1302.6 | 91M | 80 |3048 |3987 | 0 | 595 | 0 |1024 | 11 | 0.000000e+00 | -- | Inf | 1.56%
363.07/364.28 c 364s| 1200 | 59 | 1561k|1249.3 | 93M | 80 |3048 |4018 |3221 | 611 | 0 |1082 | 11 | 0.000000e+00 | -- | Inf | 1.56%
375.63/376.86 c 377s| 1300 | 59 | 1627k|1203.9 | 94M | 80 |3048 |4063 |3221 | 618 | 1 |1133 | 11 | 0.000000e+00 | -- | Inf | 1.56%
391.48/392.78 c 393s| 1400 | 59 | 1706k|1174.5 | 95M | 80 |3048 |4089 |3229 | 661 | 0 |1186 | 11 | 0.000000e+00 | -- | Inf | 1.56%
402.85/404.13 c 404s| 1500 | 59 | 1764k|1134.7 | 96M | 80 |3048 |4082 | 0 | 677 | 0 |1252 | 11 | 0.000000e+00 | -- | Inf | 1.56%
413.51/414.80 c 415s| 1600 | 55 | 1819k|1097.9 | 96M | 80 |3048 |4021 |3220 | 688 | 0 |1344 | 11 | 0.000000e+00 | -- | Inf | 1.56%
428.67/430.02 c 430s| 1700 | 61 | 1896k|1078.7 | 96M | 80 |3048 |4023 |3219 | 695 | 1 |1394 | 11 | 0.000000e+00 | -- | Inf | 1.56%
441.23/442.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
441.23/442.65 c 443s| 1800 | 65 | 1962k|1055.5 | 97M | 80 |3048 |4062 |3219 | 707 | 1 |1439 | 11 | 0.000000e+00 | -- | Inf | 1.56%
450.71/452.15 c 452s| 1900 | 63 | 2013k|1026.6 | 97M | 80 |3048 |4114 |3217 | 707 | 1 |1493 | 11 | 0.000000e+00 | -- | Inf | 1.56%
462.86/464.30 c 464s| 2000 | 61 | 2076k|1006.7 | 98M | 80 |3048 |4163 |3220 | 714 | 0 |1552 | 11 | 0.000000e+00 | -- | Inf | 1.56%
474.23/475.71 c 476s| 2100 | 60 | 2135k| 987.0 | 98M | 80 |3048 |4181 |3219 | 720 | 0 |1608 | 11 | 0.000000e+00 | -- | Inf | 1.56%
485.60/487.18 c 487s| 2200 | 62 | 2194k| 969.0 | 98M | 80 |3048 |4224 |3219 | 730 | 0 |1657 | 11 | 0.000000e+00 | -- | Inf | 1.56%
497.26/498.81 c 499s| 2300 | 62 | 2255k| 953.3 | 99M | 80 |3048 |4273 |3220 | 737 | 1 |1712 | 11 | 0.000000e+00 | -- | Inf | 1.56%
511.42/513.01 c 513s| 2400 | 59 | 2330k| 944.9 | 99M | 80 |3048 |4328 |3219 | 743 | 0 |1770 | 11 | 0.000000e+00 | -- | Inf | 1.56%
522.98/524.66 c 525s| 2500 | 63 | 2391k| 931.6 | 99M | 80 |3048 |4328 |3230 | 770 | 0 |1796 | 11 | 0.000000e+00 | -- | Inf | 1.56%
533.75/535.40 c 535s| 2600 | 63 | 2448k| 917.5 | 100M | 80 |3048 |4383 |3222 | 775 | 1 |1866 | 11 | 0.000000e+00 | -- | Inf | 1.56%
545.71/547.43 c 547s| 2700 | 67 | 2510k| 906.6 | 100M | 80 |3048 |4467 |3221 | 779 | 1 |1959 | 11 | 0.000000e+00 | -- | Inf | 1.56%
558.38/560.10 c 560s| 2800 | 69 | 2575k| 897.4 | 101M | 80 |3048 |4485 |3223 | 814 | 0 |2023 | 11 | 0.000000e+00 | -- | Inf | 1.56%
570.44/572.23 c 572s| 2900 | 62 | 2637k| 887.9 | 101M | 80 |3048 |4551 |3219 | 828 | 0 |2099 | 11 | 0.000000e+00 | -- | Inf | 1.56%
586.31/588.18 c 588s| 3000 | 63 | 2719k| 885.5 | 102M | 80 |3048 |4545 |3223 | 893 | 1 |2156 | 11 | 0.000000e+00 | -- | Inf | 1.56%
604.86/606.74 c 607s| 3100 | 60 | 2815k| 888.1 | 103M | 80 |3048 |4497 |3225 | 916 | 2 |2225 | 11 | 0.000000e+00 | -- | Inf | 1.56%
619.62/621.55 c 622s| 3200 | 61 | 2891k| 884.0 | 103M | 80 |3048 |4427 |3224 | 966 | 1 |2277 | 11 | 0.000000e+00 | -- | Inf | 1.57%
629.30/631.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
629.30/631.20 c 631s| 3300 | 57 | 2942k| 872.8 | 104M | 80 |3048 |4470 |3221 | 966 | 0 |2351 | 11 | 0.000000e+00 | -- | Inf | 1.57%
641.17/643.10 c 643s| 3400 | 60 | 3005k| 865.5 | 104M | 80 |3048 |4448 |3219 | 979 | 1 |2405 | 11 | 0.000000e+00 | -- | Inf | 1.57%
652.94/654.98 c 655s| 3500 | 60 | 3067k| 858.5 | 104M | 80 |3048 |4484 |3219 | 979 | 1 |2455 | 11 | 0.000000e+00 | -- | Inf | 1.57%
663.41/665.44 c 665s| 3600 | 59 | 3121k| 849.5 | 106M | 80 |3048 |4538 |3221 | 988 | 1 |2528 | 11 | 0.000000e+00 | -- | Inf | 1.57%
677.86/680.00 c 680s| 3700 | 57 | 3195k| 846.7 | 106M | 80 |3048 |4576 |3219 | 997 | 0 |2588 | 11 | 0.000000e+00 | -- | Inf | 1.57%
690.52/692.61 c 693s| 3800 | 57 | 3260k| 841.4 | 106M | 80 |3048 |4616 |3220 |1007 | 0 |2639 | 11 | 0.000000e+00 | -- | Inf | 1.57%
703.59/705.73 c 706s| 3900 | 58 | 3327k| 837.0 | 107M | 80 |3048 |4658 |3220 |1007 | 1 |2691 | 11 | 0.000000e+00 | -- | Inf | 1.57%
718.54/720.73 c 721s| 4000 | 56 | 3403k| 835.1 | 107M | 80 |3048 |4691 |3227 |1014 | 0 |2727 | 11 | 0.000000e+00 | -- | Inf | 1.57%
736.09/738.36 c 738s| 4100 | 60 | 3493k| 836.8 | 107M | 80 |3048 |4684 |3222 |1034 | 1 |2769 | 11 | 0.000000e+00 | -- | Inf | 1.57%
741.88/744.14 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
742.07/744.31 c (run 1, node 4139) performing user restart
742.07/744.31 c
742.07/744.32 c (restart) converted 48 cuts from the global cut pool into linear constraints
742.07/744.32 c
742.07/744.33 c presolving:
742.07/744.33 c (round 1, fast) 0 del vars, 55 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 22511 clqs
742.07/744.35 c (round 2, exhaustive) 0 del vars, 58 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 22511 clqs
742.07/744.35 c (round 3, exhaustive) 0 del vars, 58 del conss, 0 add conss, 0 chg bounds, 3 chg sides, 0 chg coeffs, 230 upgd conss, 0 impls, 22511 clqs
742.07/744.36 c (round 4, medium) 0 del vars, 63 del conss, 6 add conss, 0 chg bounds, 31 chg sides, 34 chg coeffs, 230 upgd conss, 0 impls, 22511 clqs
742.07/744.37 c (round 5, exhaustive) 0 del vars, 70 del conss, 6 add conss, 0 chg bounds, 31 chg sides, 65 chg coeffs, 230 upgd conss, 0 impls, 22511 clqs
742.17/744.46 c (round 6, exhaustive) 0 del vars, 249 del conss, 6 add conss, 0 chg bounds, 31 chg sides, 1733 chg coeffs, 230 upgd conss, 0 impls, 22511 clqs
742.27/744.54 c (round 7, exhaustive) 0 del vars, 253 del conss, 6 add conss, 0 chg bounds, 31 chg sides, 1745 chg coeffs, 230 upgd conss, 0 impls, 22511 clqs
742.37/744.60 c presolving (8 rounds: 8 fast, 7 medium, 6 exhaustive):
742.37/744.60 c 0 deleted vars, 253 deleted constraints, 6 added constraints, 0 tightened bounds, 0 added holes, 31 changed sides, 1775 changed coefficients
742.37/744.60 c 0 implications, 22511 cliques
742.37/744.60 c presolved problem has 3048 variables (3048 bin, 0 int, 0 impl, 0 cont) and 4482 constraints
742.37/744.60 c 34 constraints of type <knapsack>
742.37/744.60 c 866 constraints of type <setppc>
742.37/744.60 c 1 constraints of type <linear>
742.37/744.60 c 3581 constraints of type <logicor>
742.37/744.60 c transformed objective value is always integral (scale: 1)
742.37/744.60 c Presolving Time: 2.63
742.37/744.60 c
743.87/746.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
743.87/746.13 c 746s| 1 | 0 | 3532k| - | 112M | 0 |3048 |4499 |3207 | 0 | 0 |2808 | 11 | 0.000000e+00 | -- | Inf | unknown
744.56/746.86 c 747s| 1 | 0 | 3534k| - | 114M | 0 |3048 |4495 |3221 | 14 | 1 |2811 | 11 | 0.000000e+00 | -- | Inf | unknown
745.26/747.59 c 748s| 1 | 0 | 3536k| - | 114M | 0 |3048 |4501 |3230 | 23 | 2 |2821 | 11 | 0.000000e+00 | -- | Inf | unknown
747.35/749.61 c 750s| 1 | 0 | 3543k| - | 114M | 0 |3048 |4505 |3242 | 35 | 3 |2825 | 11 | 0.000000e+00 | -- | Inf | unknown
748.35/750.60 c 751s| 1 | 0 | 3546k| - | 115M | 0 |3048 |4509 |3254 | 47 | 4 |2831 | 11 | 0.000000e+00 | -- | Inf | unknown
749.15/751.44 c 751s| 1 | 0 | 3549k| - | 115M | 0 |3048 |4501 |3263 | 56 | 5 |2832 | 11 | 0.000000e+00 | -- | Inf | unknown
750.24/752.50 c 752s| 1 | 0 | 3551k| - | 117M | 0 |3048 |4426 |3276 | 69 | 6 |2834 | 11 | 0.000000e+00 | -- | Inf | unknown
751.44/753.79 c 754s| 1 | 0 | 3555k| - | 117M | 0 |3048 |4363 |3284 | 77 | 7 |2839 | 11 | 0.000000e+00 | -- | Inf | unknown
753.14/755.49 c 755s| 1 | 0 | 3560k| - | 117M | 0 |3048 |4341 |3296 | 89 | 8 |2840 | 11 | 0.000000e+00 | -- | Inf | unknown
755.43/757.74 c 758s| 1 | 0 | 3567k| - | 117M | 0 |3048 |4285 |3306 | 99 | 9 |2843 | 11 | 0.000000e+00 | -- | Inf | unknown
756.83/759.18 c 759s| 1 | 0 | 3571k| - | 118M | 0 |3048 |4277 |3314 | 107 | 10 |2844 | 11 | 0.000000e+00 | -- | Inf | unknown
758.43/760.70 c 761s| 1 | 0 | 3575k| - | 118M | 0 |3048 |4228 |3325 | 118 | 11 |2845 | 11 | 0.000000e+00 | -- | Inf | unknown
772.78/775.13 c 775s| 1 | 2 | 3609k| - | 118M | 0 |3048 |4128 |3325 | 118 | 11 |2880 | 30 | 0.000000e+00 | -- | Inf | unknown
836.39/838.94 c 839s| 100 | 27 | 3854k| 882.5 | 119M | 32 |3048 |4171 |3251 | 133 | 1 |2963 | 30 | 0.000000e+00 | -- | Inf | unknown
848.45/851.03 c 851s| 200 | 27 | 3917k| 876.6 | 119M | 40 |3048 |4216 |3251 | 144 | 0 |3024 | 30 | 0.000000e+00 | -- | Inf | unknown
865.60/868.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
865.60/868.22 c 868s| 300 | 27 | 4007k| 877.0 | 120M | 40 |3048 |4268 |3253 | 181 | 1 |3083 | 30 | 0.000000e+00 | -- | Inf | unknown
878.86/881.59 c 882s| 400 | 25 | 4075k| 872.8 | 120M | 40 |3048 |4316 | 0 | 195 | 0 |3158 | 30 | 0.000000e+00 | -- | Inf | unknown
892.42/895.11 c 895s| 500 | 24 | 4144k| 868.9 | 121M | 40 |3048 |4337 |3252 | 223 | 0 |3236 | 30 | 0.000000e+00 | -- | Inf | unknown
904.48/907.25 c 907s| 600 | 24 | 4206k| 863.6 | 121M | 40 |3048 |4377 |3252 | 232 | 0 |3292 | 30 | 0.000000e+00 | -- | Inf | unknown
918.04/920.82 c 921s| 700 | 24 | 4275k| 860.1 | 121M | 40 |3048 |4432 |3253 | 250 | 1 |3363 | 30 | 0.000000e+00 | -- | Inf | unknown
931.89/934.74 c 935s| 800 | 26 | 4347k| 857.2 | 121M | 40 |3048 |4467 | 0 | 277 | 0 |3412 | 30 | 0.000000e+00 | -- | Inf | unknown
946.35/949.29 c 949s| 900 | 26 | 4422k| 854.9 | 123M | 42 |3048 |4519 |3269 | 309 | 1 |3471 | 30 | 0.000000e+00 | -- | Inf | unknown
960.91/963.80 c 964s| 1000 | 25 | 4497k| 852.9 | 124M | 47 |3048 |4579 |3255 | 334 | 1 |3547 | 30 | 0.000000e+00 | -- | Inf | unknown
975.96/978.96 c 979s| 1100 | 23 | 4575k| 851.6 | 124M | 47 |3048 |4633 |3259 | 355 | 0 |3603 | 30 | 0.000000e+00 | -- | Inf | unknown
994.11/997.14 c 997s| 1200 | 27 | 4670k| 853.4 | 124M | 47 |3048 |4641 |3257 | 373 | 0 |3672 | 30 | 0.000000e+00 | -- | Inf | unknown
1006.47/1009.53 c 1010s| 1300 | 29 | 4733k| 849.4 | 124M | 47 |3048 |4690 |3258 | 386 | 1 |3729 | 30 | 0.000000e+00 | -- | Inf | unknown
1020.13/1023.23 c 1023s| 1400 | 27 | 4803k| 846.7 | 124M | 47 |3048 |4724 |3254 | 399 | 1 |3777 | 30 | 0.000000e+00 | -- | Inf | unknown
1035.08/1038.20 c 1038s| 1500 | 27 | 4880k| 845.3 | 124M | 47 |3048 |4736 |3261 | 431 | 1 |3819 | 30 | 0.000000e+00 | -- | Inf | unknown
1050.04/1053.23 c 1053s| 1600 | 27 | 4958k| 844.2 | 125M | 47 |3048 |4755 |3265 | 472 | 0 |3864 | 30 | 0.000000e+00 | -- | Inf | unknown
1071.57/1074.87 c 1075s| 1700 | 23 | 5074k| 849.5 | 125M | 47 |3048 |4796 |3259 | 506 | 1 |3922 | 30 | 0.000000e+00 | -- | Inf | unknown
1090.11/1093.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1090.11/1093.48 c 1093s| 1800 | 23 | 5170k| 851.4 | 125M | 47 |3048 |4818 |3255 | 553 | 0 |3965 | 30 | 0.000000e+00 | -- | Inf | unknown
1107.96/1111.33 c 1111s| 1900 | 25 | 5263k| 852.7 | 125M | 47 |3048 |4843 |3258 | 602 | 0 |3998 | 30 | 0.000000e+00 | -- | Inf | unknown
1125.21/1128.64 c 1129s| 2000 | 25 | 5353k| 853.5 | 125M | 47 |3048 |4864 | 0 | 643 | 0 |4024 | 30 | 0.000000e+00 | -- | Inf | unknown
1144.25/1147.70 c 1148s| 2100 | 23 | 5452k| 855.7 | 125M | 47 |3048 |4892 |3256 | 681 | 0 |4066 | 30 | 0.000000e+00 | -- | Inf | unknown
1159.10/1162.64 c 1163s| 2200 | 21 | 5529k| 854.3 | 126M | 47 |3048 |4920 |3262 | 700 | 1 |4106 | 30 | 0.000000e+00 | -- | Inf | unknown
1178.65/1182.25 c 1182s| 2300 | 17 | 5632k| 857.0 | 126M | 47 |3048 |4958 |3265 | 745 | 0 |4150 | 30 | 0.000000e+00 | -- | Inf | unknown
1206.68/1210.30 c 1210s| 2400 | 31 | 5783k| 867.0 | 126M | 47 |3048 |4992 |3260 | 779 | 1 |4225 | 30 | 0.000000e+00 | -- | Inf | unknown
1220.75/1224.40 c 1224s| 2500 | 35 | 5855k| 864.8 | 126M | 47 |3048 |4982 |3260 | 792 | 1 |4274 | 30 | 0.000000e+00 | -- | Inf | unknown
1231.72/1235.49 c 1235s| 2600 | 37 | 5913k| 860.6 | 127M | 47 |3048 |4975 |3261 | 820 | 0 |4280 | 30 | 0.000000e+00 | -- | Inf | unknown
1243.69/1247.49 c 1247s| 2700 | 33 | 5977k| 857.3 | 127M | 47 |3048 |4979 |3264 | 839 | 1 |4303 | 30 | 0.000000e+00 | -- | Inf | unknown
1256.66/1260.48 c 1260s| 2800 | 35 | 6043k| 854.5 | 127M | 47 |3048 |4945 |3260 | 851 | 1 |4316 | 30 | 0.000000e+00 | -- | Inf | 0.51%
1266.24/1270.03 c 1270s| 2900 | 37 | 6093k| 849.5 | 127M | 47 |3048 |4933 |3258 | 880 | 1 |4347 | 30 | 0.000000e+00 | -- | Inf | 0.51%
1282.59/1286.46 c 1286s| 3000 | 35 | 6179k| 849.6 | 127M | 47 |3048 |4932 |3256 | 897 | 1 |4365 | 30 | 0.000000e+00 | -- | Inf | 0.51%
1296.06/1299.98 c 1300s| 3100 | 35 | 6250k| 847.6 | 127M | 47 |3048 |4920 |3258 | 921 | 1 |4380 | 30 | 0.000000e+00 | -- | Inf | 0.61%
1308.03/1311.94 c 1312s| 3200 | 35 | 6313k| 844.7 | 127M | 47 |3048 |4925 |3262 | 941 | 1 |4387 | 30 | 0.000000e+00 | -- | Inf | 0.61%
1316.31/1320.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1316.31/1320.27 c 1320s| 3300 | 39 | 6357k| 839.3 | 127M | 47 |3048 |4926 |3259 | 959 | 0 |4420 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1324.49/1328.43 c 1328s| 3400 | 39 | 6401k| 834.0 | 127M | 47 |3048 |4941 |3258 | 980 | 1 |4475 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1332.08/1336.06 c 1336s| 3500 | 37 | 6442k| 828.4 | 127M | 47 |3048 |4956 |3258 | 993 | 1 |4521 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1341.85/1345.82 c 1346s| 3600 | 37 | 6492k| 824.2 | 127M | 47 |3048 |4897 |3257 |1015 | 1 |4559 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1350.14/1354.11 c 1354s| 3700 | 37 | 6536k| 819.3 | 127M | 47 |3048 |4935 |3256 |1027 | 1 |4627 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1360.01/1364.04 c 1364s| 3800 | 37 | 6588k| 815.5 | 127M | 47 |3048 |4961 |3258 |1038 | 0 |4672 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1371.78/1375.86 c 1376s| 3900 | 41 | 6651k| 813.2 | 127M | 47 |3048 |4995 |3258 |1047 | 1 |4722 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1383.55/1387.65 c 1388s| 4000 | 41 | 6714k| 811.0 | 127M | 47 |3048 |5030 |3254 |1061 | 1 |4764 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1395.12/1399.27 c 1399s| 4100 | 39 | 6776k| 808.7 | 127M | 47 |3048 |5043 |3252 |1070 | 0 |4791 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1408.29/1412.46 c 1412s| 4200 | 39 | 6846k| 807.4 | 127M | 47 |3048 |5060 |3255 |1083 | 0 |4830 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1420.76/1424.95 c 1425s| 4300 | 37 | 6912k| 805.7 | 127M | 47 |3048 |5074 |3255 |1090 | 0 |4857 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1434.53/1438.75 c 1439s| 4400 | 38 | 6984k| 804.6 | 127M | 47 |3048 |5119 |3255 |1118 | 1 |4913 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1444.91/1449.16 c 1449s| 4500 | 38 | 7039k| 801.7 | 127M | 47 |3048 |5142 |3256 |1134 | 0 |4944 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1456.47/1460.75 c 1461s| 4600 | 38 | 7101k| 799.5 | 128M | 47 |3048 |5167 |3255 |1148 | 1 |4977 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1469.54/1473.84 c 1474s| 4700 | 38 | 7170k| 798.3 | 128M | 47 |3048 |5183 |3262 |1169 | 0 |5001 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1483.71/1488.06 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1483.71/1488.06 c 1488s| 4800 | 38 | 7244k| 797.6 | 128M | 47 |3048 |5225 |3257 |1179 | 1 |5051 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1494.28/1498.67 c 1499s| 4900 | 38 | 7300k| 795.1 | 128M | 47 |3048 |5260 |3256 |1190 | 1 |5091 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1506.95/1511.35 c 1511s| 5000 | 40 | 7368k| 793.8 | 128M | 47 |3048 |5290 |3256 |1203 | 0 |5123 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1517.73/1522.19 c 1522s| 5100 | 38 | 7424k| 791.3 | 129M | 47 |3048 |5313 |3251 |1220 | 1 |5148 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1528.20/1532.64 c 1533s| 5200 | 38 | 7480k| 788.8 | 129M | 47 |3048 |5357 |3259 |1255 | 0 |5212 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1540.97/1545.48 c 1545s| 5300 | 38 | 7547k| 787.5 | 129M | 49 |3048 |5382 |3259 |1278 | 0 |5256 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1552.94/1557.41 c 1557s| 5400 | 38 | 7609k| 785.8 | 129M | 49 |3048 |5411 |3259 |1300 | 0 |5298 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1564.81/1569.32 c 1569s| 5500 | 38 | 7673k| 784.2 | 129M | 49 |3048 |5420 |3258 |1314 | 1 |5311 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1577.38/1581.92 c 1582s| 5600 | 36 | 7739k| 783.0 | 129M | 49 |3048 |5434 |3260 |1325 | 0 |5327 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1588.95/1593.54 c 1594s| 5700 | 38 | 7801k| 781.3 | 129M | 49 |3048 |5444 |3256 |1344 | 1 |5343 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1602.22/1606.82 c 1607s| 5800 | 36 | 7870k| 780.4 | 129M | 49 |3048 |5455 |3255 |1360 | 0 |5363 | 30 | 0.000000e+00 | -- | Inf | 0.62%
1617.08/1621.79 c 1622s| 5900 | 36 | 7949k| 780.5 | 129M | 49 |3048 |5475 |3258 |1394 | 0 |5397 | 30 | 0.000000e+00 | -- | Inf | 0.63%
1630.25/1634.91 c 1635s| 6000 | 34 | 8019k| 779.7 | 129M | 49 |3048 |5480 |3254 |1404 | 1 |5422 | 30 | 0.000000e+00 | -- | Inf | 0.63%
1639.53/1644.23 c 1644s| 6100 | 34 | 8070k| 777.0 | 129M | 49 |3048 |5504 |3259 |1415 | 0 |5456 | 30 | 0.000000e+00 | -- | Inf | 0.63%
1651.80/1656.55 c 1657s| 6200 | 32 | 8136k| 775.9 | 129M | 49 |3048 |5503 |3260 |1434 | 0 |5471 | 30 | 0.000000e+00 | -- | Inf | 0.63%
1662.47/1667.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1662.47/1667.21 c 1667s| 6300 | 34 | 8194k| 774.0 | 129M | 49 |3048 |5512 |3255 |1456 | 0 |5514 | 30 | 0.000000e+00 | -- | Inf | 0.63%
1670.05/1674.89 c 1675s| 6400 | 34 | 8235k| 770.6 | 129M | 49 |3048 |5557 |3258 |1471 | 0 |5574 | 30 | 0.000000e+00 | -- | Inf | 0.63%
1683.02/1687.81 c 1688s| 6500 | 33 | 8304k| 769.9 | 129M | 49 |3048 |5587 |3259 |1494 | 0 |5625 | 30 | 0.000000e+00 | -- | Inf | 0.64%
1694.59/1699.40 c 1699s| 6600 | 35 | 8367k| 768.5 | 129M | 49 |3048 |5606 |3251 |1513 | 0 |5659 | 30 | 0.000000e+00 | -- | Inf | 0.64%
1704.07/1708.98 c 1709s| 6700 | 37 | 8418k| 766.2 | 129M | 49 |3048 |5658 |3256 |1546 | 1 |5737 | 30 | 0.000000e+00 | -- | Inf | 0.64%
1715.84/1720.76 c 1721s| 6800 | 35 | 8482k| 765.0 | 129M | 49 |3048 |5674 | 0 |1603 | 0 |5772 | 30 | 0.000000e+00 | -- | Inf | 0.64%
1726.92/1731.83 c 1732s| 6900 | 35 | 8542k| 763.5 | 129M | 49 |3048 |5692 |3256 |1617 | 1 |5797 | 30 | 0.000000e+00 | -- | Inf | 0.64%
1738.19/1743.19 c 1743s| 7000 | 35 | 8602k| 762.1 | 129M | 49 |3048 |5693 |3259 |1625 | 1 |5811 | 30 | 0.000000e+00 | -- | Inf | 0.64%
1748.86/1753.84 c 1754s| 7100 | 33 | 8658k| 760.3 | 129M | 49 |3048 |5718 |3258 |1639 | 0 |5858 | 30 | 0.000000e+00 | -- | Inf | 0.65%
1758.84/1763.84 c 1764s| 7200 | 37 | 8712k| 758.3 | 129M | 49 |3048 |5712 |3258 |1653 | 0 |5886 | 30 | 0.000000e+00 | -- | Inf | 0.65%
1771.31/1776.34 c 1776s| 7300 | 34 | 8779k| 757.5 | 129M | 49 |3048 |5726 |3257 |1663 | 1 |5917 | 30 | 0.000000e+00 | -- | Inf | 0.65%
1783.98/1789.00 c 1789s| 7400 | 38 | 8844k| 756.6 | 130M | 49 |3048 |5724 |3260 |1676 | 0 |5958 | 30 | 0.000000e+00 | -- | Inf | 0.67%
1790.66/1795.79 c 1796s| 7500 | 36 | 8879k| 753.1 | 130M | 49 |3048 |5791 |3261 |1692 | 0 |6034 | 30 | 0.000000e+00 | -- | Inf | 0.67%
1798.64/1803.73 c 1804s| 7600 | 36 | 8920k| 750.2 | 130M | 49 |3048 |5779 |3246 |1702 | 1 |6088 | 30 | 0.000000e+00 | -- | Inf | 0.70%
1809.02/1814.14 c 1814s| 7700 | 36 | 8975k| 748.5 | 130M | 49 |3048 |5813 |3248 |1712 | 1 |6200 | 30 | 0.000000e+00 | -- | Inf | 0.70%
1819.89/1825.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1819.89/1825.09 c 1825s| 7800 | 43 | 9030k| 746.9 | 130M | 49 |3048 |5813 | 0 |1722 | 0 |6264 | 30 | 0.000000e+00 | -- | Inf | 0.71%
1829.87/1835.08 c 1835s| 7900 | 39 | 9083k| 745.0 | 130M | 49 |3048 |5837 |3259 |1731 | 1 |6364 | 30 | 0.000000e+00 | -- | Inf | 0.71%
1838.05/1843.24 c 1843s| 8000 | 36 | 9125k| 742.4 | 130M | 49 |3048 |5801 |3259 |1736 | 0 |6414 | 30 | 0.000000e+00 | -- | Inf | 0.71%
1849.52/1854.72 c 1855s| 8100 | 35 | 9184k| 741.1 | 130M | 49 |3048 |5805 |3246 |1743 | 1 |6513 | 30 | 0.000000e+00 | -- | Inf | 0.75%
1857.80/1863.10 c 1863s| 8200 | 37 | 9230k| 738.8 | 130M | 49 |3048 |5822 |3260 |1750 | 0 |6544 | 30 | 0.000000e+00 | -- | Inf | 0.76%
1868.27/1873.59 c 1874s| 8300 | 34 | 9285k| 737.3 | 130M | 49 |3048 |5838 |3260 |1750 | 1 |6584 | 30 | 0.000000e+00 | -- | Inf | 0.76%
1878.65/1883.97 c 1884s| 8400 | 38 | 9340k| 735.8 | 131M | 49 |3048 |5801 | 0 |1757 | 0 |6624 | 30 | 0.000000e+00 | -- | Inf | 0.79%
1887.13/1892.43 c 1892s| 8500 | 40 | 9385k| 733.5 | 131M | 49 |3048 |5784 |3260 |1764 | 1 |6643 | 30 | 0.000000e+00 | -- | Inf | 0.80%
1894.31/1899.62 c 1900s| 8600 | 36 | 9424k| 730.8 | 131M | 49 |3048 |5846 | 0 |1767 | 0 |6716 | 30 | 0.000000e+00 | -- | Inf | 0.80%
1902.09/1907.40 c 1907s| 8700 | 38 | 9466k| 728.4 | 131M | 49 |3048 |5856 |3271 |1782 | 1 |6736 | 30 | 0.000000e+00 | -- | Inf | 0.80%
1910.07/1915.49 c 1915s| 8800 | 38 | 9514k| 726.5 | 131M | 49 |3048 |5864 |3265 |1797 | 1 |6744 | 30 | 0.000000e+00 | -- | Inf | 0.80%
1920.05/1925.41 c 1925s| 8900 | 36 | 9569k| 725.1 | 131M | 49 |3048 |5886 |3262 |1819 | 1 |6768 | 30 | 0.000000e+00 | -- | Inf | 0.80%
1932.72/1938.11 c 1938s| 9000 | 36 | 9637k| 724.8 | 136M | 49 |3048 |5892 |3263 |1860 | 0 |6780 | 30 | 0.000000e+00 | -- | Inf | 0.80%
1942.19/1947.60 c 1948s| 9100 | 34 | 9688k| 723.2 | 136M | 49 |3048 |5907 |3261 |1896 | 0 |6801 | 30 | 0.000000e+00 | -- | Inf | 0.80%
1955.17/1960.68 c 1961s| 9200 | 36 | 9756k| 722.9 | 137M | 51 |3048 |5932 |3271 |1927 | 1 |6833 | 30 | 0.000000e+00 | -- | Inf | 0.80%
1965.24/1970.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1965.24/1970.76 c 1971s| 9300 | 30 | 9809k| 721.4 | 137M | 51 |3048 |5957 |3262 |1942 | 0 |6890 | 30 | 0.000000e+00 | -- | Inf | 0.80%
1974.92/1980.45 c 1980s| 9400 | 30 | 9861k| 719.9 | 137M | 51 |3048 |5954 |3258 |1969 | 0 |6930 | 30 | 0.000000e+00 | -- | Inf | 0.81%
1986.39/1991.91 c 1992s| 9500 | 30 | 9923k| 719.2 | 137M | 51 |3048 |5933 |3263 |1998 | 0 |6946 | 30 | 0.000000e+00 | -- | Inf | 0.81%
1999.06/2004.63 c 2005s| 9600 | 30 | 9991k| 718.9 | 137M | 51 |3048 |5927 |3263 |2028 | 1 |6970 | 30 | 0.000000e+00 | -- | Inf | 0.81%
2011.43/2017.02 c 2017s| 9700 | 31 | 10054k| 718.3 | 137M | 51 |3048 |5919 |3255 |2055 | 0 |7028 | 30 | 0.000000e+00 | -- | Inf | 0.86%
2023.60/2029.21 c 2029s| 9800 | 33 | 10118k| 717.7 | 137M | 51 |3048 |5963 |3245 |2078 | 0 |7125 | 30 | 0.000000e+00 | -- | Inf | 0.88%
2034.27/2039.91 c 2040s| 9900 | 35 | 10174k| 716.6 | 138M | 51 |3048 |6024 | 0 |2099 | 0 |7215 | 30 | 0.000000e+00 | -- | Inf | 0.88%
2043.95/2049.62 c 2050s| 10000 | 37 | 10224k| 715.1 | 138M | 51 |3048 |6130 | 0 |2129 | 0 |7329 | 30 | 0.000000e+00 | -- | Inf | 0.88%
2057.02/2062.71 c 2063s| 10100 | 35 | 10293k| 714.9 | 138M | 51 |3048 |6175 |3255 |2140 | 0 |7415 | 30 | 0.000000e+00 | -- | Inf | 0.88%
2068.89/2074.64 c 2075s| 10200 | 32 | 10356k| 714.3 | 138M | 51 |3048 |6216 |3257 |2157 | 0 |7483 | 30 | 0.000000e+00 | -- | Inf | 0.88%
2079.37/2085.15 c 2085s| 10300 | 31 | 10410k| 713.1 | 138M | 51 |3048 |6215 |3262 |2168 | 2 |7522 | 30 | 0.000000e+00 | -- | Inf | 0.89%
2090.54/2096.31 c 2096s| 10400 | 31 | 10468k| 712.2 | 138M | 51 |3048 |6211 |3263 |2174 | 0 |7532 | 30 | 0.000000e+00 | -- | Inf | 0.90%
2103.11/2108.90 c 2109s| 10500 | 33 | 10534k| 711.8 | 138M | 51 |3048 |6205 |3251 |2189 | 0 |7558 | 30 | 0.000000e+00 | -- | Inf | 0.90%
2117.77/2123.65 c 2124s| 10600 | 35 | 10597k| 711.3 | 138M | 51 |3048 |6225 |3261 |2193 | 1 |7584 | 30 | 0.000000e+00 | -- | Inf | 0.90%
2129.84/2135.76 c 2136s| 10700 | 31 | 10661k| 710.8 | 138M | 51 |3048 |6227 |3264 |2203 | 0 |7596 | 30 | 0.000000e+00 | -- | Inf | 0.90%
2143.22/2149.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2143.22/2149.17 c 2149s| 10800 | 28 | 10731k| 710.7 | 138M | 51 |3048 |6238 |3264 |2205 | 0 |7618 | 30 | 0.000000e+00 | -- | Inf | 0.90%
2156.78/2162.79 c 2163s| 10900 | 34 | 10802k| 710.7 | 138M | 51 |3048 |6228 |3253 |2241 | 1 |7672 | 30 | 0.000000e+00 | -- | Inf | 0.91%
2166.06/2172.06 c 2172s| 11000 | 34 | 10850k| 709.2 | 138M | 51 |3048 |6254 |3258 |2256 | 2 |7731 | 30 | 0.000000e+00 | -- | Inf | 0.91%
2180.32/2186.39 c 2186s| 11100 | 32 | 10923k| 709.3 | 138M | 51 |3048 |6199 |3258 |2283 | 0 |7793 | 30 | 0.000000e+00 | -- | Inf | 0.95%
2191.49/2197.50 c 2197s| 11200 | 34 | 10982k| 708.6 | 138M | 51 |3048 |6199 |3261 |2296 | 1 |7858 | 30 | 0.000000e+00 | -- | Inf | 0.96%
2204.26/2210.36 c 2210s| 11300 | 34 | 11050k| 708.4 | 138M | 51 |3048 |6230 |3258 |2303 | 1 |7966 | 30 | 0.000000e+00 | -- | Inf | 0.99%
2216.83/2222.94 c 2223s| 11400 | 35 | 11115k| 708.0 | 138M | 51 |3048 |6253 |3261 |2322 | 1 |8040 | 30 | 0.000000e+00 | -- | Inf | 1.00%
2229.30/2235.45 c 2235s| 11500 | 33 | 11180k| 707.6 | 138M | 51 |3048 |6198 |3258 |2332 | 1 |8092 | 30 | 0.000000e+00 | -- | Inf | 1.02%
2241.97/2248.17 c 2248s| 11600 | 33 | 11247k| 707.4 | 138M | 51 |3048 |6199 | 0 |2354 | 0 |8136 | 30 | 0.000000e+00 | -- | Inf | 1.02%
2259.32/2265.56 c 2266s| 11700 | 34 | 11337k| 708.6 | 139M | 51 |3048 |6101 |3251 |2367 | 0 |8236 | 30 | 0.000000e+00 | -- | Inf | 1.05%
2271.00/2277.22 c 2277s| 11800 | 36 | 11396k| 707.9 | 139M | 51 |3048 |6098 |3250 |2381 | 0 |8306 | 30 | 0.000000e+00 | -- | Inf | 1.05%
2284.36/2290.68 c 2291s| 11900 | 35 | 11465k| 707.7 | 139M | 51 |3048 |6026 |3259 |2396 | 0 |8372 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2295.74/2302.02 c 2302s| 12000 | 33 | 11524k| 707.0 | 139M | 51 |3048 |6116 |3256 |2433 | 0 |8463 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2310.90/2317.29 c 2317s| 12100 | 33 | 11603k| 707.5 | 139M | 51 |3048 |6167 |3256 |2449 | 1 |8518 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2324.77/2331.13 c 2331s| 12200 | 37 | 11674k| 707.5 | 139M | 51 |3048 |6202 |3254 |2469 | 1 |8574 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2336.04/2342.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2336.04/2342.42 c 2342s| 12300 | 35 | 11733k| 706.8 | 139M | 51 |3048 |6251 |3257 |2483 | 0 |8634 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2350.40/2356.89 c 2357s| 12400 | 35 | 11807k| 707.0 | 139M | 51 |3048 |6286 |3252 |2497 | 1 |8682 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2366.06/2372.55 c 2373s| 12500 | 35 | 11888k| 707.6 | 139M | 51 |3048 |6345 |3252 |2501 | 1 |8757 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2381.93/2388.47 c 2388s| 12600 | 36 | 11970k| 708.3 | 139M | 51 |3048 |6379 |3252 |2507 | 1 |8807 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2397.59/2404.10 c 2404s| 12700 | 32 | 12050k| 708.9 | 139M | 51 |3048 |6428 |3254 |2512 | 1 |8865 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2412.65/2419.20 c 2419s| 12800 | 32 | 12129k| 709.3 | 139M | 51 |3048 |6451 |3256 |2554 | 0 |8906 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2428.11/2434.75 c 2435s| 12900 | 34 | 12210k| 709.9 | 139M | 51 |3048 |6469 |3255 |2595 | 0 |8943 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2443.97/2450.63 c 2451s| 13000 | 33 | 12292k| 710.5 | 139M | 51 |3048 |6505 |3253 |2609 | 0 |8992 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2455.14/2461.88 c 2462s| 13100 | 34 | 12351k| 709.9 | 139M | 51 |3048 |6551 |3253 |2631 | 0 |9054 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2468.51/2475.26 c 2475s| 13200 | 35 | 12420k| 709.8 | 139M | 51 |3048 |6574 |3254 |2645 | 0 |9098 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2482.08/2488.87 c 2489s| 13300 | 35 | 12491k| 709.7 | 139M | 51 |3048 |6613 |3254 |2656 | 0 |9143 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2497.14/2503.98 c 2504s| 13400 | 35 | 12569k| 710.1 | 140M | 51 |3048 |6650 |3253 |2659 | 0 |9188 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2510.61/2517.44 c 2517s| 13500 | 33 | 12639k| 710.1 | 140M | 51 |3048 |6686 | 0 |2699 | 0 |9236 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2523.28/2530.16 c 2530s| 13600 | 32 | 12705k| 709.8 | 140M | 51 |3048 |6723 |3256 |2720 | 0 |9283 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2534.95/2541.81 c 2542s| 13700 | 33 | 12765k| 709.2 | 140M | 51 |3048 |6764 |3254 |2729 | 1 |9329 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2548.52/2555.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2548.52/2555.46 c 2555s| 13800 | 41 | 12836k| 709.2 | 140M | 51 |3048 |6798 |3252 |2746 | 1 |9373 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2556.40/2563.37 c 2563s| 13900 | 39 | 12877k| 707.6 | 140M | 51 |3048 |6820 |3254 |2755 | 1 |9404 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2564.58/2571.55 c 2572s| 14000 | 35 | 12920k| 706.0 | 140M | 51 |3048 |6843 |3253 |2758 | 0 |9452 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2572.86/2579.87 c 2580s| 14100 | 35 | 12964k| 704.5 | 140M | 51 |3048 |6867 |3251 |2771 | 0 |9484 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2581.73/2588.70 c 2589s| 14200 | 33 | 13010k| 703.2 | 140M | 51 |3048 |6884 |3253 |2779 | 0 |9512 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2592.91/2599.92 c 2600s| 14300 | 34 | 13069k| 702.6 | 140M | 51 |3048 |6912 |3253 |2782 | 1 |9555 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2603.28/2610.33 c 2610s| 14400 | 36 | 13123k| 701.7 | 140M | 51 |3048 |6968 |3251 |2787 | 1 |9615 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2615.55/2622.68 c 2623s| 14500 | 35 | 13188k| 701.4 | 140M | 51 |3048 |7010 |3254 |2799 | 0 |9663 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2628.52/2635.60 c 2636s| 14600 | 35 | 13255k| 701.3 | 140M | 51 |3048 |7042 |3255 |2807 | 0 |9703 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2639.78/2646.92 c 2647s| 14700 | 35 | 13313k| 700.6 | 140M | 51 |3048 |7088 |3258 |2818 | 1 |9769 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2654.34/2661.50 c 2662s| 14800 | 33 | 13388k| 700.9 | 140M | 51 |3048 |7117 |3254 |2841 | 0 |9820 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2665.71/2672.99 c 2673s| 14900 | 33 | 13447k| 700.3 | 140M | 51 |3048 |7151 |3254 |2857 | 0 |9870 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2676.17/2683.45 c 2683s| 15000 | 32 | 13501k| 699.5 | 140M | 51 |3048 |7223 |3254 |2879 | 0 |9956 | 30 | 0.000000e+00 | -- | Inf | 1.06%
2707.68/2715.03 c 2715s| 15100 | 32 | 13571k| 699.5 | 141M | 51 |3048 |7268 |3255 |2898 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 1.06%
2722.03/2729.40 c 2729s| 15200 | 32 | 13646k| 699.7 | 141M | 51 |3048 |7310 |3253 |2917 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 1.06%
2737.09/2744.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2737.09/2744.52 c 2745s| 15300 | 32 | 13725k| 700.2 | 141M | 51 |3048 |7304 |3253 |2933 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 1.06%
2751.55/2759.03 c 2759s| 15400 | 33 | 13800k| 700.5 | 141M | 51 |3048 |7283 | 0 |2946 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 1.06%
2765.00/2772.57 c 2773s| 15500 | 38 | 13872k| 700.5 | 141M | 51 |3048 |7281 |3256 |2969 | 2 | 10k| 30 | 0.000000e+00 | -- | Inf | 1.07%
2777.66/2785.27 c 2785s| 15600 | 33 | 13941k| 700.5 | 141M | 51 |3048 |7335 |3254 |2978 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 1.07%
2788.33/2795.93 c 2796s| 15700 | 36 | 13998k| 699.9 | 141M | 51 |3048 |7307 |3252 |3003 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 1.07%
2801.69/2809.34 c 2809s| 15800 | 36 | 14071k| 700.0 | 141M | 51 |3048 |7322 |3250 |3021 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 1.07%
2812.76/2820.44 c 2820s| 15900 | 37 | 14129k| 699.4 | 141M | 51 |3048 |7326 |3252 |3049 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 1.07%
2826.51/2834.27 c 2834s| 16000 | 35 | 14202k| 699.6 | 141M | 51 |3048 |7302 |3254 |3075 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 1.07%
2838.08/2845.89 c 2846s| 16100 | 33 | 14262k| 699.1 | 141M | 51 |3048 |7323 |3251 |3087 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 1.08%
2848.75/2856.59 c 2857s| 16200 | 39 | 14319k| 698.4 | 141M | 51 |3048 |7336 |3252 |3111 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 1.08%
2863.10/2870.93 c 2871s| 16300 | 34 | 14396k| 698.8 | 141M | 51 |3048 |7356 |3251 |3123 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 1.08%
2876.27/2884.13 c 2884s| 16400 | 35 | 14466k| 698.8 | 141M | 51 |3048 |7409 |3251 |3131 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 1.08%
2888.23/2896.10 c 2896s| 16500 | 35 | 14529k| 698.4 | 141M | 51 |3048 |7371 |3248 |3138 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 1.08%
2899.59/2907.54 c 2908s| 16600 | 35 | 14589k| 698.0 | 141M | 51 |3048 |7367 |3252 |3160 | 1 | 10k| 30 | 0.000000e+00 | -- | Inf | 1.08%
2910.46/2918.40 c 2918s| 16700 | 37 | 14645k| 697.3 | 141M | 51 |3048 |7401 |3251 |3166 | 0 | 10k| 30 | 0.000000e+00 | -- | Inf | 1.08%
2922.82/2930.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2922.82/2930.83 c 2931s| 16800 | 35 | 14711k| 697.1 | 141M | 51 |3048 |7441 |3248 |3184 | 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.08%
2935.68/2943.75 c 2944s| 16900 | 37 | 14779k| 697.0 | 141M | 51 |3048 |7489 |3249 |3196 | 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.08%
2950.05/2958.14 c 2958s| 17000 | 32 | 14854k| 697.3 | 141M | 51 |3048 |7573 |3251 |3207 | 2 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.09%
2962.20/2970.30 c 2970s| 17100 | 34 | 14917k| 697.0 | 141M | 51 |3048 |7609 |3252 |3217 | 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.09%
2974.76/2983.00 c 2983s| 17200 | 31 | 14983k| 696.8 | 141M | 51 |3048 |7538 |3253 |3224 | 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.09%
2991.71/2999.90 c 3000s| 17300 | 31 | 15071k| 697.7 | 141M | 51 |3048 |7488 |3252 |3240 | 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.09%
3003.48/3011.74 c 3012s| 17400 | 29 | 15132k| 697.3 | 141M | 51 |3048 |7517 |3256 |3265 | 2 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.09%
3017.54/3025.86 c 3026s| 17500 | 29 | 15205k| 697.4 | 141M | 51 |3048 |7198 |3252 |3273 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.13%
3028.10/3036.46 c 3036s| 17600 | 31 | 15262k| 696.8 | 142M | 51 |3048 |7111 |3256 |3288 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.18%
3037.87/3046.23 c 3046s| 17700 | 31 | 15314k| 696.0 | 142M | 51 |3048 |7038 |3258 |3304 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.19%
3045.55/3053.98 c 3054s| 17800 | 33 | 15356k| 694.7 | 142M | 51 |3048 |7030 |3258 |3319 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.20%
3052.83/3061.29 c 3061s| 17900 | 33 | 15395k| 693.4 | 142M | 51 |3048 |7033 |3259 |3341 | 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.20%
3061.90/3070.30 c 3070s| 18000 | 32 | 15443k| 692.4 | 142M | 56 |3048 |7000 |3260 |3388 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.20%
3071.37/3079.82 c 3080s| 18100 | 34 | 15493k| 691.5 | 142M | 56 |3048 |6968 |3262 |3410 | 1 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.20%
3081.44/3089.97 c 3090s| 18200 | 34 | 15547k| 690.9 | 142M | 56 |3048 |6956 |3254 |3430 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.20%
3090.62/3099.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3090.62/3099.17 c 3099s| 18300 | 34 | 15597k| 690.0 | 142M | 56 |3048 |6993 |3264 |3483 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.20%
3098.79/3107.37 c 3107s| 18400 | 34 | 15642k| 688.9 | 142M | 56 |3048 |7058 |3260 |3509 | 0 | 11k| 30 | 0.000000e+00 | -- | Inf | 1.20%
3107.58/3116.14 c 3116s| 18500 | 32 | 15689k| 688.0 | 142M | 56 |3048 |7123 |3266 |3525 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.21%
3119.34/3127.92 c 3128s| 18600 | 34 | 15752k| 687.7 | 142M | 56 |3048 |7087 |3268 |3557 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.21%
3126.53/3135.16 c 3135s| 18700 | 36 | 15788k| 686.3 | 142M | 62 |3048 |7023 |3267 |3588 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.21%
3133.71/3142.37 c 3142s| 18800 | 32 | 15824k| 684.9 | 142M | 74 |3048 |7049 |3262 |3619 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.21%
3141.59/3150.27 c 3150s| 18900 | 34 | 15864k| 683.7 | 143M | 74 |3048 |7067 |3267 |3654 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.21%
3150.67/3159.38 c 3159s| 19000 | 34 | 15912k| 682.8 | 143M | 74 |3048 |7084 |3266 |3706 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.21%
3158.95/3167.68 c 3168s| 19100 | 32 | 15955k| 681.7 | 143M | 74 |3048 |7109 |3261 |3723 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.21%
3166.73/3175.41 c 3175s| 19200 | 34 | 15993k| 680.4 | 143M | 74 |3048 |7119 |3278 |3759 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.21%
3175.61/3184.34 c 3184s| 19300 | 34 | 16038k| 679.4 | 143M | 74 |3048 |7129 |3273 |3776 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.21%
3187.48/3196.27 c 3196s| 19400 | 34 | 16100k| 679.2 | 143M | 74 |3048 |7139 |3262 |3813 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.21%
3197.95/3206.70 c 3207s| 19500 | 34 | 16158k| 678.7 | 143M | 74 |3048 |7166 |3276 |3849 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.21%
3208.03/3216.82 c 3217s| 19600 | 32 | 16213k| 678.2 | 143M | 74 |3048 |7173 |3265 |3859 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.21%
3224.19/3233.02 c 3233s| 19700 | 32 | 16301k| 679.0 | 143M | 74 |3048 |7160 |3263 |3893 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.21%
3235.56/3244.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3235.56/3244.48 c 3244s| 19800 | 34 | 16361k| 678.7 | 143M | 74 |3048 |7171 |3263 |3949 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.21%
3248.03/3256.92 c 3257s| 19900 | 32 | 16424k| 678.5 | 143M | 74 |3048 |7224 | 0 |3983 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.21%
3261.30/3270.23 c 3270s| 20000 | 34 | 16493k| 678.5 | 143M | 74 |3048 |7260 |3266 |4038 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.22%
3271.08/3280.01 c 3280s| 20100 | 34 | 16547k| 678.0 | 144M | 74 |3048 |7285 |3263 |4063 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.22%
3280.95/3289.96 c 3290s| 20200 | 38 | 16602k| 677.4 | 144M | 74 |3048 |7317 |3263 |4103 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.22%
3288.93/3297.98 c 3298s| 20300 | 36 | 16647k| 676.5 | 144M | 74 |3048 |7326 |3263 |4120 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.22%
3297.41/3306.47 c 3306s| 20400 | 36 | 16694k| 675.7 | 144M | 74 |3048 |7345 |3264 |4141 | 0 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.22%
3307.09/3316.17 c 3316s| 20500 | 38 | 16746k| 675.0 | 144M | 74 |3048 |7353 |3263 |4184 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.22%
3315.47/3324.50 c 3324s| 20600 | 34 | 16791k| 674.1 | 144M | 74 |3048 |7383 |3277 |4195 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.22%
3323.85/3332.90 c 3333s| 20700 | 32 | 16836k| 673.2 | 144M | 76 |3048 |7473 |3273 |4228 | 1 | 12k| 30 | 0.000000e+00 | -- | Inf | 1.22%
3331.83/3340.90 c 3341s| 20800 | 36 | 16879k| 672.2 | 144M | 76 |3048 |7478 |3268 |4244 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 1.22%
3338.81/3347.90 c 3348s| 20900 | 36 | 16916k| 671.1 | 144M | 76 |3048 |7552 |3270 |4259 | 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 1.22%
3349.78/3358.90 c 3359s| 21000 | 34 | 16975k| 670.7 | 144M | 76 |3048 |7595 |3271 |4271 | 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 1.22%
3362.75/3371.94 c 3372s| 21100 | 32 | 17043k| 670.8 | 144M | 76 |3048 |7589 |3273 |4293 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 1.22%
3375.93/3385.12 c 3385s| 21200 | 34 | 17113k| 670.9 | 144M | 76 |3048 |7556 |3278 |4350 | 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 1.22%
3383.81/3393.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3383.81/3393.03 c 3393s| 21300 | 34 | 17154k| 669.9 | 144M | 76 |3048 |7618 |3272 |4362 | 2 | 13k| 30 | 0.000000e+00 | -- | Inf | 1.22%
3394.18/3403.44 c 3403s| 21400 | 34 | 17209k| 669.4 | 145M | 76 |3048 |7637 |3274 |4375 | 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 1.22%
3407.94/3417.20 c 3417s| 21500 | 32 | 17280k| 669.5 | 145M | 76 |3048 |7650 |3287 |4410 | 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 1.22%
3423.71/3433.04 c 3433s| 21600 | 33 | 17363k| 670.2 | 145M | 76 |3048 |7610 |3257 |4443 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 1.22%
3434.38/3443.76 c 3444s| 21700 | 32 | 17422k| 669.9 | 145M | 76 |3048 |7561 |3264 |4467 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 1.22%
3443.06/3452.47 c 3452s| 21800 | 32 | 17469k| 669.1 | 145M | 76 |3048 |7566 |3260 |4486 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 1.22%
3452.54/3461.92 c 3462s| 21900 | 32 | 17519k| 668.4 | 145M | 76 |3048 |7569 |3266 |4507 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 1.22%
3463.61/3473.03 c 3473s| 22000 | 32 | 17576k| 668.0 | 145M | 76 |3048 |7569 |3272 |4523 | 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 1.22%
3476.88/3486.31 c 3486s| 22100 | 30 | 17644k| 668.1 | 146M | 76 |3048 |7585 |3275 |4570 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 1.22%
3493.34/3502.83 c 3503s| 22200 | 32 | 17728k| 668.8 | 147M | 76 |3048 |7608 |3266 |4605 | 2 | 13k| 30 | 0.000000e+00 | -- | Inf | 1.23%
3504.62/3514.11 c 3514s| 22300 | 32 | 17787k| 668.4 | 147M | 76 |3048 |7637 | 0 |4634 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 1.24%
3515.08/3524.63 c 3525s| 22400 | 34 | 17841k| 668.0 | 148M | 76 |3048 |7611 |3255 |4638 | 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 1.24%
3527.95/3537.54 c 3538s| 22500 | 32 | 17908k| 668.0 | 148M | 76 |3048 |7449 |3279 |4666 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 1.24%
3540.53/3550.18 c 3550s| 22600 | 34 | 17972k| 667.9 | 148M | 76 |3048 |7438 |3278 |4689 | 0 | 13k| 30 | 0.000000e+00 | -- | Inf | 1.24%
3551.50/3561.19 c 3561s| 22700 | 34 | 18028k| 667.5 | 149M | 76 |3048 |7471 |3283 |4743 | 1 | 13k| 30 | 0.000000e+00 | -- | Inf | 1.24%
3562.07/3571.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3562.07/3571.70 c 3572s| 22800 | 31 | 18081k| 666.9 | 150M | 76 |3048 |7577 |3284 |4803 | 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 1.24%
3572.65/3582.38 c 3582s| 22900 | 40 | 18134k| 666.4 | 150M | 76 |3048 |7473 |3251 |4819 | 1 | 14k| 30 | 0.000000e+00 | -- | Inf | 1.24%
3580.93/3590.66 c 3591s| 23000 | 42 | 18177k| 665.6 | 150M | 76 |3048 |7363 |3252 |4833 | 0 | 14k| 30 | 0.000000e+00 | -- | Inf | 1.24%
3587.21/3597.00 c
3587.21/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.21/3597.00 c Solving Time (sec) : 3597.00
3587.21/3597.00 c Solving Nodes : 23047 (total of 27186 nodes in 2 runs)
3587.21/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.21/3597.00 c Dual Bound : +0.00000000000000e+00
3587.21/3597.00 c Gap : infinite
3587.21/3597.00 s UNKNOWN
3587.21/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.21/3597.00 c Total Time : 3597.00
3587.21/3597.00 c solving : 3597.00
3587.21/3597.00 c presolving : 2.63 (included in solving)
3587.21/3597.00 c reading : 0.01 (included in solving)
3587.21/3597.00 c copying : 1.06 (107 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3587.21/3597.00 c Original Problem :
3587.21/3597.00 c Problem name : HOME/instance-4447185-1721349477.opb
3587.21/3597.00 c Variables : 3850 (3850 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.21/3597.00 c Constraints : 3992 initial, 3992 maximal
3587.32/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.32/3597.00 c Presolved Problem :
3587.32/3597.00 c Problem name : t_HOME/instance-4447185-1721349477.opb
3587.32/3597.00 c Variables : 3048 (3048 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.32/3597.00 c Constraints : 4482 initial, 7658 maximal
3587.32/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.32/3597.00 c Nonzeros : 83744 constraint, 48517 clique table
3587.32/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.32/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c domcol : 0.04 0.00 8 0 0 0 0 0 0 0 0 6
3587.32/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c gateextraction : 0.03 0.00 14 0 0 0 0 0 1 0 0 0
3587.32/3597.00 c implics : 0.00 0.00 18 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c milp : 0.16 0.00 1 175 4 0 0 0 0 0 0 0
3587.32/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c sparsify : 0.04 0.00 2 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c trivial : 0.00 0.00 34 290 0 0 0 0 0 0 0 0
3587.32/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c dualfix : 0.00 0.00 34 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c probing : 1.88 0.00 7 139 2 0 0 0 0 0 0 0
3587.32/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c symmetry : 0.08 0.00 1 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c vbounds : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c knapsack : 0.01 0.01 14 0 0 0 0 0 0 6 28 104
3587.32/3597.00 c setppc : 0.02 0.00 52 0 0 0 0 0 39 0 0 0
3587.32/3597.00 c linear : 0.03 0.00 26 190 1 0 190 0 662 0 3 0
3587.32/3597.00 c logicor : 0.29 0.02 49 29 0 0 0 0 378 0 0 1903
3587.32/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.32/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.32/3597.00 c benderslp : 0 0 0 0 13713 0 0 1952 0 0 0 0 0 0 0
3587.32/3597.00 c integral : 0 0 0 0 13713 0 0 1952 0 0 0 0 0 0 27426
3587.32/3597.00 c knapsack : 34+ 36 11 158397 0 0 0 0 268573 16 80675 0 0 0 0
3587.32/3597.00 c setppc : 866+ 1505 22 243831 0 0 0 1947 3434382 314 990045 0 0 0 0
3587.32/3597.00 c linear : 1+ 23 22 198709 0 0 0 3 2481 47 9054 1 0 0 0
3587.32/3597.00 c logicor : 3581+ 6404 22 200037 0 0 0 0 6890581 1776 1899068 35 21 0 0
3587.32/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.32/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.32/3597.00 c integral : 10.02 0.00 0.00 0.00 10.01 0.00 0.00 0.00 0.00 0.00
3587.32/3597.00 c knapsack : 0.72 0.01 0.04 0.62 0.00 0.00 0.00 0.00 0.05 0.00
3587.32/3597.00 c setppc : 2.43 0.00 0.00 1.57 0.00 0.00 0.00 0.03 0.82 0.00
3587.32/3597.00 c linear : 0.16 0.00 0.00 0.15 0.00 0.00 0.00 0.00 0.01 0.00
3587.32/3597.00 c logicor : 7.19 0.02 0.01 4.68 0.00 0.00 0.00 0.00 2.46 0.01
3587.32/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.32/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.32/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.32/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.32/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.32/3597.00 c dualfix : 2 0 0 0
3587.32/3597.00 c genvbounds : 0 0 0 0
3587.32/3597.00 c nlobbt : 0 0 0 0
3587.32/3597.00 c obbt : 0 0 0 0
3587.32/3597.00 c probing : 0 0 0 0
3587.32/3597.00 c pseudoobj : 0 0 0 0
3587.32/3597.00 c redcost : 0 0 0 0
3587.32/3597.00 c rootredcost : 0 0 0 0
3587.32/3597.00 c symmetry : 12307 0 0 135
3587.32/3597.00 c vbounds : 153187 0 0 0
3587.32/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.32/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.32/3597.00 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3587.32/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.32/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.32/3597.00 c probing : 1.88 0.00 1.88 0.00 0.00 0.00
3587.32/3597.00 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
3587.32/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.32/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.32/3597.00 c symmetry : 0.22 0.00 0.08 0.14 0.00 0.00
3587.32/3597.00 c vbounds : 1.85 0.00 0.01 1.85 0.00 0.00
3587.32/3597.00 c Symmetry :
3587.32/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.32/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.32/3597.00 c lexicographic red: 135 reductions applied, 0 cutoffs
3587.32/3597.00 c shadow tree time : 0.04 s
3587.32/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.32/3597.00 c propagation : 0.59 2098 1958 - 12116 95.7 539 19.4 - - -
3587.32/3597.00 c infeasible LP : 20.53 11736 5822 - 107917 608.1 129 4.3 91 194.0 0
3587.32/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.32/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.32/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.32/3597.00 c applied globally : 0.66 - - 0 14222 73.3 - - 85 - -
3587.32/3597.00 c applied locally : - - - 0 40 651.6 - - 6 - -
3587.32/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.32/3597.00 c cut pool : 0.34 - 2913 42 - - 3917 27303 - - - - - (maximal pool size: 608)
3587.32/3597.00 c aggregation : 0.21 0.00 330 22 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.32/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.32/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.32/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c clique : 0.34 0.00 22 22 0 0 148 725 0 375 375 0 0
3587.32/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c gomory : 11.54 0.00 328 20 0 0 3806 22227 752 2202 2175 27 0
3587.32/3597.00 c > gomorymi : - - - - - - - 9901 376 1238 1214 24 -
3587.32/3597.00 c > strongcg : - - - - - - - 12326 376 964 961 3 -
3587.32/3597.00 c impliedbounds : 0.26 0.00 330 22 0 0 458 2343 0 1295 1295 0 0
3587.32/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c multilinear : 0.00 0.00 260 22 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c rapidlearning : 11.25 0.00 100 1 0 3678 0 0 0 0 0 0 260
3587.32/3597.00 c rlt : 0.00 0.00 208 20 0 0 0 0 0 0 0 0 0
3587.32/3597.00 c zerohalf : 5.40 0.00 330 22 0 0 927 2008 670 2007 1395 612 0
3587.32/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.32/3597.00 c hybrid : 0.04 0.00 1904 22 5901 0 22854 237 0 274
3587.32/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.32/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.32/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.32/3597.00 c problem variables: 0.00 - 0 0
3587.32/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.32/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.32/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.32/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.32/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.32/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.32/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.32/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.32/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.32/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.32/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.32/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.32/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.32/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.32/3597.00 c relpscost : 10.00 0.00 13713 0 0 0 0 0 0 27426
3587.32/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.32/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.32/3597.00 c LP solutions : 0.00 - - 0 0
3587.32/3597.00 c relax solutions : 0.00 - - 0 0
3587.32/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.32/3597.00 c strong branching : 0.00 - - 0 0
3587.32/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.32/3597.00 c adaptivediving : 18.97 0.00 8 0 0
3587.32/3597.00 c alns : 19.94 0.00 5 0 0
3587.32/3597.00 c bound : 0.00 0.00 0 0 0
3587.32/3597.00 c clique : 0.01 0.00 1 0 0
3587.32/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.32/3597.00 c completesol : 0.00 0.00 0 0 0
3587.32/3597.00 c conflictdiving : 21.86 0.00 5 0 0
3587.32/3597.00 c crossover : 0.01 0.00 0 0 0
3587.32/3597.00 c dins : 0.00 0.00 0 0 0
3587.32/3597.00 c distributiondivin: 13.49 0.00 4 0 0
3587.32/3597.00 c dps : 0.00 0.00 0 0 0
3587.32/3597.00 c dualval : 0.00 0.00 0 0 0
3587.32/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.32/3597.00 c feasjump : 0.03 0.00 2 0 0
3587.32/3597.00 c feaspump : 5.99 0.00 2 0 0
3587.32/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.32/3597.00 c fracdiving : 11.30 0.00 5 0 0
3587.32/3597.00 c gins : 0.00 0.00 0 0 0
3587.32/3597.00 c guideddiving : 0.00 0.00 0 0 0
3587.32/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3587.32/3597.00 c indicator : 0.01 0.00 0 0 0
3587.32/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.32/3597.00 c indoneopt : 0.01 0.00 0 0 0
3587.32/3597.00 c indrounding : 0.00 0.00 0 0 0
3587.32/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3587.32/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.32/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.32/3597.00 c linesearchdiving : 10.38 0.00 4 0 0
3587.32/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.32/3597.00 c locks : 0.00 0.00 1 0 0
3587.32/3597.00 c lpface : 0.05 0.00 0 0 0
3587.32/3597.00 c mpec : 0.00 0.00 0 0 0
3587.32/3597.00 c multistart : 0.00 0.00 0 0 0
3587.32/3597.00 c mutation : 0.00 0.00 0 0 0
3587.32/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.32/3597.00 c objpscostdiving : 56.90 0.00 3 0 0
3587.32/3597.00 c octane : 0.00 0.00 0 0 0
3587.32/3597.00 c ofins : 0.00 0.00 0 0 0
3587.32/3597.00 c oneopt : 0.01 0.00 0 0 0
3587.32/3597.00 c padm : 0.00 0.00 0 0 0
3587.32/3597.00 c proximity : 0.00 0.00 0 0 0
3587.32/3597.00 c pscostdiving : 15.72 0.00 4 0 0
3587.32/3597.00 c randrounding : 0.32 0.00 1962 0 0
3587.32/3597.00 c rens : 0.09 0.00 2 0 0
3587.32/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.32/3597.00 c repair : 0.00 0.00 0 0 0
3587.32/3597.00 c rins : 0.00 0.00 0 0 0
3587.32/3597.00 c rootsoldiving : 20.71 0.00 3 0 0
3587.32/3597.00 c rounding : 0.20 0.00 1709 0 0
3587.32/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.32/3597.00 c shiftandpropagate: 0.03 0.00 2 0 0
3587.32/3597.00 c shifting : 0.53 0.00 755 0 0
3587.32/3597.00 c simplerounding : 0.01 0.00 0 0 0
3587.32/3597.00 c smallcard : 0.00 0.00 0 0 0
3587.32/3597.00 c subnlp : 0.01 0.00 0 0 0
3587.32/3597.00 c trivial : 0.00 0.00 4 0 0
3587.32/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.32/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.32/3597.00 c trysol : 0.01 0.00 0 0 0
3587.32/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.32/3597.00 c undercover : 0.00 0.00 0 0 0
3587.32/3597.00 c vbounds : 0.02 0.00 2 0 0
3587.32/3597.00 c veclendiving : 19.85 0.00 4 0 0
3587.32/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.32/3597.00 c zirounding : 0.04 0.00 1000 0 0
3587.32/3597.00 c other solutions : - - - 0 -
3587.32/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.32/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.32/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.32/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.32/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.32/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.32/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.32/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.32/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.32/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.32/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.32/3597.00 c primal LP : 1.23 728 0 0.00 0.00 1.23 728
3587.32/3597.00 c dual LP : 3287.81 27356 17447224 638.16 5306.64 0.01 16
3587.32/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.32/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.32/3597.00 c resolve instable : 0.04 1 28 28.00 645.07
3587.32/3597.00 c diving/probing LP: 193.71 1144 763919 667.76 3943.52
3587.32/3597.00 c strong branching : 7.34 30 23604 786.80 3215.54 - - 41
3587.32/3597.00 c (at root node) : - 30 23604 786.80 -
3587.32/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3587.32/3597.00 c B&B Tree :
3587.32/3597.00 c number of runs : 2
3587.32/3597.00 c nodes : 23047 (11606 internal, 11441 leaves)
3587.32/3597.00 c feasible leaves : 0
3587.32/3597.00 c infeas. leaves : 11440
3587.32/3597.00 c objective leaves : 0
3587.32/3597.00 c nodes (total) : 27186 (13713 internal, 13473 leaves)
3587.32/3597.00 c nodes left : 41
3587.32/3597.00 c max depth : 76
3587.32/3597.00 c max depth (total): 80
3587.32/3597.00 c backtracks : 2354 (10.2%)
3587.32/3597.00 c early backtracks : 0 (0.0%)
3587.32/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.32/3597.00 c delayed cutoffs : 126
3587.32/3597.00 c repropagations : 17422 (96525 domain reductions, 117 cutoffs)
3587.32/3597.00 c avg switch length: 3.44
3587.32/3597.00 c switching time : 6.26
3587.32/3597.00 c Root Node :
3587.32/3597.00 c First LP value : +0.00000000000000e+00
3587.32/3597.00 c First LP Iters : 7856 (5413.10 Iter/sec)
3587.32/3597.00 c First LP Time : 1.45
3587.32/3597.00 c Final Dual Bound : +0.00000000000000e+00
3587.32/3597.00 c Final Root Iters : 114870
3587.32/3597.00 c Root LP Estimate : +3.05480596403333e-02
3587.32/3597.00 c Solution :
3587.32/3597.00 c Solutions found : 0 (0 improvements)
3587.32/3597.00 c Primal Bound : -
3587.32/3597.00 c Dual Bound : +0.00000000000000e+00
3587.32/3597.00 c Gap : infinite
3587.32/3597.00 c Integrals : Total Avg%
3587.32/3597.00 c primal-dual : 359699.72 100.00
3587.32/3597.00 c primal-ref : - - (not evaluated)
3587.32/3597.00 c dual-ref : - - (not evaluated)
3587.32/3597.03 c Time complete: 3587.36.