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-4448625-1721367626.opb>
0.00/0.00 c original problem has 421 variables (421 bin, 0 int, 0 impl, 0 cont) and 211 constraints
0.00/0.00 c problem read in 0.00
0.00/0.00 c No objective function, only one solution is needed.
0.00/0.00 c presolving:
0.00/0.00 c (round 1, fast) 1 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.00 c (0.0s) running MILP presolver
0.00/0.00 c (0.0s) MILP presolver found nothing
0.00/0.01 c (0.0s) probing: 51/420 (12.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.01 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.01 c (0.0s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.00/0.01 c dynamic symmetry handling statistics:
0.00/0.01 c orbitopal reduction: no components
0.00/0.01 c orbital reduction: 1 components of sizes 1
0.00/0.01 c lexicographic reduction: 2 permutations with support sizes 280, 415
0.00/0.01 c handled 1 out of 1 symmetry components
0.00/0.01 c presolving (2 rounds: 2 fast, 1 medium, 1 exhaustive):
0.00/0.01 c 1 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 0 cliques
0.00/0.01 c presolved problem has 420 variables (420 bin, 0 int, 0 impl, 0 cont) and 210 constraints
0.00/0.01 c 210 constraints of type <linear>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.00
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 10.0.0
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.01 c limits/time = 3596.998011
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.01 c limits/memory = 27900
0.00/0.01 c
0.00/0.01 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.01 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.01 c limits/solutions = 1
0.00/0.01 c
0.00/0.01 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.00/0.01 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.01 c misc/usesymmetry = 3
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.01 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.01 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.01 c
0.00/0.01 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.01 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.01 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.01 c
0.00/0.01 c # Type of symmetries that shall be computed?
0.00/0.01 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.01 c propagating/symmetry/symtype = 1
0.00/0.01 c
0.00/0.01 c # Should components consisting of a single full reflection be handled?
0.00/0.01 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.01 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.03 c 0.0s| 1 | 0 | 224 | - | 4919k | 0 | 420 | 219 | 210 | 0 | 0 | 9 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.05 c 0.0s| 1 | 0 | 262 | - | 5321k | 0 | 420 | 365 | 212 | 2 | 1 | 9 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.05 c 0.1s| 1 | 0 | 304 | - | 5598k | 0 | 420 | 365 | 215 | 5 | 2 | 9 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.06 c 0.1s| 1 | 0 | 326 | - | 6810k | 0 | 420 | 365 | 219 | 9 | 3 | 9 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.07 c 0.1s| 1 | 0 | 327 | - | 7224k | 0 | 420 | 365 | 221 | 11 | 4 | 9 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.07 c 0.1s| 1 | 0 | 341 | - | 7548k | 0 | 420 | 365 | 223 | 13 | 5 | 9 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.07 c 0.1s| 1 | 0 | 348 | - | 8727k | 0 | 420 | 365 | 225 | 15 | 6 | 9 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 359 | - | 9179k | 0 | 420 | 365 | 227 | 17 | 7 | 9 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.08 c 0.1s| 1 | 0 | 362 | - | 9442k | 0 | 420 | 365 | 230 | 20 | 8 | 9 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 363 | - | 10M | 0 | 420 | 365 | 232 | 22 | 9 | 9 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 387 | - | 10M | 0 | 420 | 365 | 234 | 24 | 10 | 9 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 396 | - | 10M | 0 | 420 | 366 | 237 | 27 | 11 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.09 c 0.1s| 1 | 0 | 416 | - | 10M | 0 | 420 | 366 | 239 | 29 | 12 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.00/0.10 c 0.1s| 1 | 0 | 417 | - | 10M | 0 | 420 | 366 | 240 | 30 | 13 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.10 c 0.1s| 1 | 0 | 432 | - | 10M | 0 | 420 | 366 | 241 | 31 | 14 | 10 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.10 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.10 c 0.1s| 1 | 0 | 437 | - | 10M | 0 | 420 | 367 | 242 | 32 | 15 | 11 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.11 c 0.1s| 1 | 0 | 443 | - | 10M | 0 | 420 | 368 | 229 | 33 | 16 | 12 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.11 c 0.1s| 1 | 0 | 446 | - | 10M | 0 | 420 | 371 | 231 | 35 | 17 | 15 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.11 c 0.1s| 1 | 0 | 449 | - | 10M | 0 | 420 | 372 | 233 | 37 | 18 | 16 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.11 c 0.1s| 1 | 0 | 450 | - | 10M | 0 | 420 | 373 | 234 | 38 | 19 | 17 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.11 c 0.1s| 1 | 0 | 452 | - | 10M | 0 | 420 | 375 | 235 | 39 | 20 | 19 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.13 c 0.1s| 1 | 2 | 488 | - | 10M | 0 | 420 | 381 | 235 | 39 | 21 | 25 | 11 | 0.000000e+00 | -- | Inf | unknown
0.29/0.33 c 0.3s| 100 | 88 | 3140 | 27.2 | 12M | 18 | 420 | 538 | 219 | 180 | 2 | 182 | 11 | 0.000000e+00 | -- | Inf | 0.78%
0.78/0.85 c 0.9s| 200 | 175 | 5264 | 24.2 | 12M | 22 | 420 | 694 | 213 | 255 | 1 | 338 | 11 | 0.000000e+00 | -- | Inf | 0.93%
1.09/1.17 c 1.2s| 300 | 261 | 7230 | 22.7 | 12M | 33 | 420 | 825 | 215 | 354 | 1 | 470 | 11 | 0.000000e+00 | -- | Inf | 1.13%
1.48/1.52 c 1.5s| 400 | 353 | 8385 | 19.9 | 12M | 33 | 420 | 929 | 216 | 429 | 1 | 574 | 11 | 0.000000e+00 | -- | Inf | 1.13%
1.78/1.85 c 1.8s| 500 | 446 | 9678 | 18.5 | 13M | 33 | 420 |1058 | 215 | 529 | 1 | 705 | 11 | 0.000000e+00 | -- | Inf | 1.13%
2.38/2.40 c 2.4s| 600 | 538 | 11267 | 18.1 | 14M | 33 | 420 |1152 | 215 | 632 | 1 | 800 | 11 | 0.000000e+00 | -- | Inf | 1.13%
2.48/2.56 c 2.6s| 700 | 632 | 11925 | 16.4 | 14M | 57 | 420 |1214 | 224 | 667 | 1 | 863 | 11 | 0.000000e+00 | -- | Inf | 1.13%
2.58/2.60 c 2.6s| 800 | 673 | 12220 | 14.7 | 14M | 64 | 420 |1307 | 224 | 667 | 1 | 957 | 11 | 0.000000e+00 | -- | Inf | 1.13%
2.58/2.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.58/2.69 c 2.7s| 900 | 735 | 12612 | 13.5 | 14M | 64 | 420 |1383 | 224 | 670 | 1 |1033 | 11 | 0.000000e+00 | -- | Inf | 1.13%
2.68/2.75 c 2.8s| 1000 | 768 | 13130 | 12.7 | 14M | 64 | 420 |1490 | 0 | 688 | 0 |1141 | 11 | 0.000000e+00 | -- | Inf | 1.13%
2.68/2.79 c 2.8s| 1100 | 809 | 13324 | 11.7 | 14M | 70 | 420 |1586 | 0 | 688 | 0 |1240 | 11 | 0.000000e+00 | -- | Inf | 1.13%
2.78/2.83 c 2.8s| 1200 | 813 | 13504 | 10.9 | 14M | 70 | 420 |1742 | 222 | 688 | 1 |1398 | 11 | 0.000000e+00 | -- | Inf | 1.13%
2.78/2.87 c 2.9s| 1300 | 830 | 13665 | 10.2 | 14M | 71 | 420 |1820 | 222 | 688 | 1 |1478 | 11 | 0.000000e+00 | -- | Inf | 1.13%
2.88/2.90 c 2.9s| 1400 | 865 | 13888 | 9.6 | 15M | 71 | 420 |1872 | 0 | 688 | 0 |1536 | 11 | 0.000000e+00 | -- | Inf | 1.13%
2.88/2.94 c 2.9s| 1500 | 872 | 14054 | 9.1 | 15M | 71 | 420 |1982 | 0 | 688 | 0 |1652 | 11 | 0.000000e+00 | -- | Inf | 1.13%
2.88/2.99 c 3.0s| 1600 | 861 | 14181 | 8.6 | 15M | 71 | 420 |2129 | 222 | 688 | 1 |1801 | 11 | 0.000000e+00 | -- | Inf | 1.13%
2.98/3.03 c 3.0s| 1700 | 903 | 14444 | 8.2 | 15M | 71 | 420 |2221 | 225 | 693 | 0 |1900 | 11 | 0.000000e+00 | -- | Inf | 1.13%
2.98/3.07 c 3.1s| 1800 | 946 | 14754 | 7.9 | 15M | 71 | 420 |2271 | 225 | 693 | 1 |1955 | 11 | 0.000000e+00 | -- | Inf | 1.13%
3.08/3.10 c 3.1s| 1900 | 966 | 14945 | 7.6 | 15M | 71 | 420 |2323 | 225 | 693 | 1 |2012 | 11 | 0.000000e+00 | -- | Inf | 1.13%
3.08/3.14 c 3.1s| 2000 | 992 | 15205 | 7.4 | 15M | 71 | 420 |2392 | 225 | 693 | 1 |2087 | 11 | 0.000000e+00 | -- | Inf | 1.13%
3.08/3.18 c 3.2s| 2100 | 1012 | 15427 | 7.1 | 15M | 71 | 420 |2470 | 0 | 696 | 0 |2169 | 11 | 0.000000e+00 | -- | Inf | 1.13%
3.18/3.23 c 3.2s| 2200 | 1037 | 15783 | 7.0 | 15M | 71 | 420 |2512 | 225 | 712 | 1 |2219 | 11 | 0.000000e+00 | -- | Inf | 1.13%
3.18/3.28 c 3.3s| 2300 | 1114 | 16145 | 6.8 | 15M | 71 | 420 |2537 | 225 | 715 | 1 |2251 | 11 | 0.000000e+00 | -- | Inf | 1.13%
3.28/3.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.28/3.32 c 3.3s| 2400 | 1136 | 16423 | 6.7 | 15M | 71 | 420 |2605 | 218 | 724 | 1 |2326 | 11 | 0.000000e+00 | -- | Inf | 1.13%
3.28/3.37 c 3.4s| 2500 | 1206 | 16906 | 6.6 | 16M | 71 | 420 |2668 | 0 | 732 | 0 |2400 | 11 | 0.000000e+00 | -- | Inf | 1.13%
3.37/3.41 c 3.4s| 2600 | 1224 | 17154 | 6.4 | 16M | 71 | 420 |2752 | 222 | 735 | 1 |2521 | 11 | 0.000000e+00 | -- | Inf | 1.13%
3.37/3.45 c 3.4s| 2700 | 1253 | 17338 | 6.3 | 16M | 71 | 420 |2826 | 222 | 735 | 1 |2625 | 11 | 0.000000e+00 | -- | Inf | 1.13%
3.37/3.49 c 3.5s| 2800 | 1292 | 17536 | 6.1 | 16M | 71 | 420 |2912 | 222 | 735 | 1 |2736 | 11 | 0.000000e+00 | -- | Inf | 1.13%
3.47/3.53 c 3.5s| 2900 | 1318 | 17853 | 6.0 | 16M | 71 | 420 |3036 | 222 | 739 | 1 |2885 | 11 | 0.000000e+00 | -- | Inf | 1.13%
3.47/3.58 c 3.6s| 3000 | 1345 | 18072 | 5.9 | 16M | 71 | 420 |3099 | 222 | 739 | 1 |2974 | 11 | 0.000000e+00 | -- | Inf | 1.13%
3.57/3.62 c 3.6s| 3100 | 1373 | 18276 | 5.8 | 16M | 71 | 420 |3278 | 222 | 739 | 1 |3169 | 11 | 0.000000e+00 | -- | Inf | 1.13%
3.57/3.66 c 3.7s| 3200 | 1371 | 18445 | 5.6 | 16M | 71 | 420 |3327 | 225 | 739 | 1 |3282 | 11 | 0.000000e+00 | -- | Inf | 1.13%
3.67/3.70 c 3.7s| 3300 | 1392 | 18654 | 5.5 | 16M | 71 | 420 |3365 | 222 | 739 | 1 |3373 | 11 | 0.000000e+00 | -- | Inf | 1.13%
3.67/3.74 c 3.7s| 3400 | 1426 | 18848 | 5.4 | 16M | 71 | 420 |3398 | 222 | 739 | 1 |3469 | 11 | 0.000000e+00 | -- | Inf | 1.13%
3.67/3.78 c 3.8s| 3500 | 1472 | 19149 | 5.3 | 17M | 71 | 420 |3455 | 225 | 745 | 1 |3548 | 11 | 0.000000e+00 | -- | Inf | 1.13%
3.77/3.82 c 3.8s| 3600 | 1482 | 19332 | 5.2 | 17M | 71 | 420 |3545 | 0 | 745 | 0 |3689 | 11 | 0.000000e+00 | -- | Inf | 1.13%
3.77/3.85 c 3.9s| 3700 | 1501 | 19615 | 5.2 | 17M | 71 | 420 |3569 | 224 | 748 | 1 |3758 | 11 | 0.000000e+00 | -- | Inf | 1.13%
3.87/3.93 c 3.9s| 3800 | 1592 | 20211 | 5.2 | 17M | 71 | 420 |3528 | 225 | 794 | 1 |3828 | 11 | 0.000000e+00 | -- | Inf | 1.13%
3.87/3.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.87/3.99 c 4.0s| 3900 | 1659 | 20678 | 5.2 | 17M | 75 | 420 |3628 | 0 | 798 | 0 |3953 | 11 | 0.000000e+00 | -- | Inf | 1.13%
3.98/4.03 c 4.0s| 4000 | 1731 | 20949 | 5.1 | 18M | 75 | 420 |3599 | 225 | 799 | 1 |3968 | 11 | 0.000000e+00 | -- | Inf | 1.13%
4.08/4.14 c 4.1s| 4100 | 1783 | 21314 | 5.1 | 18M | 76 | 420 |3617 | 226 | 806 | 2 |4036 | 11 | 0.000000e+00 | -- | Inf | 1.13%
4.08/4.18 c 4.2s| 4200 | 1807 | 21603 | 5.0 | 18M | 76 | 420 |3677 | 0 | 816 | 0 |4136 | 11 | 0.000000e+00 | -- | Inf | 1.13%
4.17/4.22 c 4.2s| 4300 | 1853 | 21889 | 5.0 | 18M | 76 | 420 |3681 | 226 | 824 | 2 |4219 | 11 | 0.000000e+00 | -- | Inf | 1.13%
4.17/4.26 c 4.3s| 4400 | 1899 | 22207 | 4.9 | 18M | 76 | 420 |3745 | 225 | 831 | 1 |4305 | 11 | 0.000000e+00 | -- | Inf | 1.13%
4.27/4.31 c 4.3s| 4500 | 1930 | 22555 | 4.9 | 18M | 76 | 420 |3812 | 225 | 835 | 1 |4402 | 11 | 0.000000e+00 | -- | Inf | 1.13%
4.27/4.35 c 4.4s| 4600 | 1985 | 22889 | 4.9 | 18M | 76 | 420 |3797 | 226 | 839 | 0 |4494 | 11 | 0.000000e+00 | -- | Inf | 1.13%
4.37/4.40 c 4.4s| 4700 | 2044 | 23191 | 4.8 | 18M | 76 | 420 |3775 | 225 | 844 | 1 |4524 | 11 | 0.000000e+00 | -- | Inf | 1.13%
4.37/4.44 c 4.4s| 4800 | 2080 | 23445 | 4.8 | 18M | 76 | 420 |3804 | 225 | 853 | 1 |4576 | 11 | 0.000000e+00 | -- | Inf | 1.13%
4.37/4.49 c 4.5s| 4900 | 2129 | 23767 | 4.8 | 18M | 76 | 420 |3801 | 0 | 857 | 0 |4652 | 11 | 0.000000e+00 | -- | Inf | 1.13%
4.47/4.53 c 4.5s| 5000 | 2172 | 24007 | 4.7 | 18M | 76 | 420 |3776 | 225 | 859 | 1 |4696 | 11 | 0.000000e+00 | -- | Inf | 1.13%
4.47/4.57 c 4.6s| 5100 | 2205 | 24235 | 4.7 | 18M | 76 | 420 |3741 | 225 | 861 | 1 |4739 | 11 | 0.000000e+00 | -- | Inf | 1.13%
4.57/4.61 c 4.6s| 5200 | 2246 | 24485 | 4.6 | 18M | 76 | 420 |3684 | 0 | 864 | 0 |4755 | 11 | 0.000000e+00 | -- | Inf | 1.13%
4.57/4.66 c 4.7s| 5300 | 2293 | 24756 | 4.6 | 19M | 76 | 420 |3659 | 225 | 869 | 1 |4775 | 11 | 0.000000e+00 | -- | Inf | 1.13%
4.67/4.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.67/4.70 c 4.7s| 5400 | 2325 | 24956 | 4.5 | 19M | 76 | 420 |3534 | 0 | 879 | 0 |4787 | 11 | 0.000000e+00 | -- | Inf | 1.13%
4.67/4.74 c 4.7s| 5500 | 2359 | 25208 | 4.5 | 19M | 76 | 420 |3483 | 225 | 882 | 1 |4819 | 11 | 0.000000e+00 | -- | Inf | 1.13%
4.67/4.78 c 4.8s| 5600 | 2385 | 25469 | 4.5 | 19M | 76 | 420 |3493 | 0 | 885 | 0 |4860 | 11 | 0.000000e+00 | -- | Inf | 1.13%
4.77/4.81 c 4.8s| 5700 | 2417 | 25667 | 4.4 | 19M | 76 | 420 |3464 | 225 | 887 | 1 |4887 | 11 | 0.000000e+00 | -- | Inf | 1.13%
4.77/4.85 c 4.8s| 5800 | 2447 | 25925 | 4.4 | 19M | 76 | 420 |3453 | 225 | 890 | 1 |4901 | 11 | 0.000000e+00 | -- | Inf | 1.13%
4.77/4.89 c 4.9s| 5900 | 2476 | 26164 | 4.4 | 19M | 76 | 420 |3365 | 225 | 896 | 1 |4918 | 11 | 0.000000e+00 | -- | Inf | 1.13%
4.87/4.92 c 4.9s| 6000 | 2489 | 26392 | 4.3 | 19M | 76 | 420 |3346 | 225 | 899 | 1 |4943 | 11 | 0.000000e+00 | -- | Inf | 1.13%
4.87/4.96 c 5.0s| 6100 | 2514 | 26619 | 4.3 | 19M | 76 | 420 |3385 | 0 | 906 | 0 |5025 | 11 | 0.000000e+00 | -- | Inf | 1.13%
4.97/5.01 c 5.0s| 6200 | 2574 | 26953 | 4.3 | 19M | 76 | 420 |3060 | 225 | 914 | 1 |5075 | 11 | 0.000000e+00 | -- | Inf | 1.13%
4.97/5.06 c 5.1s| 6300 | 2645 | 27324 | 4.3 | 19M | 76 | 420 |3054 | 0 | 914 | 0 |5146 | 11 | 0.000000e+00 | -- | Inf | 1.13%
5.07/5.11 c 5.1s| 6400 | 2700 | 27694 | 4.3 | 20M | 76 | 420 |2847 | 0 | 914 | 0 |5226 | 11 | 0.000000e+00 | -- | Inf | 1.13%
5.07/5.17 c 5.2s| 6500 | 2751 | 28020 | 4.2 | 20M | 76 | 420 |2905 | 225 | 914 | 1 |5335 | 11 | 0.000000e+00 | -- | Inf | 1.13%
5.17/5.21 c 5.2s| 6600 | 2802 | 28324 | 4.2 | 20M | 76 | 420 |2846 | 225 | 914 | 1 |5388 | 11 | 0.000000e+00 | -- | Inf | 1.13%
5.17/5.27 c 5.3s| 6700 | 2836 | 28623 | 4.2 | 20M | 76 | 420 |2599 | 225 | 918 | 1 |5442 | 11 | 0.000000e+00 | -- | Inf | 1.13%
5.27/5.31 c 5.3s| 6800 | 2865 | 28904 | 4.2 | 20M | 76 | 420 |2669 | 0 | 919 | 0 |5567 | 11 | 0.000000e+00 | -- | Inf | 1.13%
5.27/5.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.27/5.35 c 5.3s| 6900 | 2884 | 29158 | 4.2 | 20M | 76 | 420 |2689 | 225 | 919 | 1 |5694 | 11 | 0.000000e+00 | -- | Inf | 1.13%
5.27/5.39 c 5.4s| 7000 | 2912 | 29441 | 4.1 | 20M | 76 | 420 |2684 | 225 | 923 | 1 |5768 | 11 | 0.000000e+00 | -- | Inf | 1.13%
5.37/5.43 c 5.4s| 7100 | 2965 | 29691 | 4.1 | 20M | 76 | 420 |2826 | 225 | 923 | 1 |5937 | 11 | 0.000000e+00 | -- | Inf | 1.13%
5.37/5.48 c 5.5s| 7200 | 3019 | 30004 | 4.1 | 20M | 76 | 420 |2799 | 224 | 925 | 1 |6036 | 11 | 0.000000e+00 | -- | Inf | 1.13%
5.46/5.53 c 5.5s| 7300 | 3064 | 30271 | 4.1 | 20M | 76 | 420 |2680 | 225 | 930 | 1 |6090 | 11 | 0.000000e+00 | -- | Inf | 1.13%
5.46/5.57 c 5.6s| 7400 | 3108 | 30540 | 4.1 | 20M | 76 | 420 |2568 | 0 | 932 | 0 |6192 | 11 | 0.000000e+00 | -- | Inf | 1.13%
5.56/5.61 c 5.6s| 7500 | 3165 | 30902 | 4.1 | 20M | 76 | 420 |2501 | 224 | 937 | 1 |6263 | 11 | 0.000000e+00 | -- | Inf | 1.13%
5.56/5.65 c 5.7s| 7600 | 3211 | 31144 | 4.0 | 20M | 76 | 420 |2521 | 225 | 948 | 1 |6354 | 11 | 0.000000e+00 | -- | Inf | 1.13%
5.56/5.69 c 5.7s| 7700 | 3253 | 31424 | 4.0 | 20M | 76 | 420 |2483 | 226 | 948 | 1 |6432 | 11 | 0.000000e+00 | -- | Inf | 1.13%
5.66/5.74 c 5.7s| 7800 | 3302 | 31775 | 4.0 | 20M | 76 | 420 |2485 | 224 | 951 | 1 |6500 | 11 | 0.000000e+00 | -- | Inf | 1.13%
5.66/5.79 c 5.8s| 7900 | 3338 | 32234 | 4.0 | 20M | 76 | 420 |2035 | 222 | 960 | 1 |6581 | 11 | 0.000000e+00 | -- | Inf | 1.13%
5.87/5.91 c 5.9s| 8000 | 3396 | 32663 | 4.0 | 20M | 76 | 420 |1954 | 217 | 975 | 1 |6656 | 11 | 0.000000e+00 | -- | Inf | 1.13%
6.16/6.21 c 6.2s| 8100 | 3496 | 33722 | 4.1 | 20M | 76 | 420 |1705 | 216 |1008 | 1 |6701 | 11 | 0.000000e+00 | -- | Inf | 1.13%
6.36/6.43 c 6.4s| 8200 | 3594 | 34705 | 4.2 | 20M | 76 | 420 |1514 | 220 |1041 | 2 |6797 | 11 | 0.000000e+00 | -- | Inf | 1.13%
6.36/6.48 c 6.5s| 8300 | 3634 | 35021 | 4.2 | 20M | 76 | 420 |1478 | 222 |1049 | 1 |6888 | 11 | 0.000000e+00 | -- | Inf | 1.13%
6.46/6.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.46/6.53 c 6.5s| 8400 | 3679 | 35296 | 4.1 | 20M | 76 | 420 |1518 | 0 |1053 | 0 |6969 | 11 | 0.000000e+00 | -- | Inf | 1.13%
6.56/6.64 c 6.6s| 8500 | 3718 | 35611 | 4.1 | 21M | 76 | 420 |1485 | 219 |1073 | 2 |7060 | 11 | 0.000000e+00 | -- | Inf | 1.13%
6.66/6.75 c 6.8s| 8600 | 3794 | 36209 | 4.2 | 21M | 76 | 420 |1483 | 225 |1106 | 2 |7149 | 11 | 0.000000e+00 | -- | Inf | 1.13%
6.76/6.80 c 6.8s| 8700 | 3849 | 36593 | 4.2 | 21M | 76 | 420 |1437 | 226 |1108 | 1 |7205 | 11 | 0.000000e+00 | -- | Inf | 1.13%
6.76/6.84 c 6.8s| 8800 | 3883 | 36887 | 4.1 | 21M | 76 | 420 |1449 | 225 |1108 | 1 |7253 | 11 | 0.000000e+00 | -- | Inf | 1.13%
6.76/6.89 c 6.9s| 8900 | 3942 | 37307 | 4.1 | 21M | 76 | 420 |1475 | 224 |1118 | 1 |7313 | 11 | 0.000000e+00 | -- | Inf | 1.13%
6.86/6.93 c 6.9s| 9000 | 3982 | 37566 | 4.1 | 21M | 76 | 420 |1452 | 0 |1130 | 0 |7360 | 11 | 0.000000e+00 | -- | Inf | 1.13%
6.86/6.97 c 7.0s| 9100 | 4033 | 37847 | 4.1 | 21M | 76 | 420 |1475 | 225 |1132 | 1 |7413 | 11 | 0.000000e+00 | -- | Inf | 1.13%
6.97/7.02 c 7.0s| 9200 | 4082 | 38145 | 4.1 | 21M | 76 | 420 |1451 | 225 |1134 | 1 |7433 | 11 | 0.000000e+00 | -- | Inf | 1.13%
6.97/7.08 c 7.1s| 9300 | 4143 | 38606 | 4.1 | 21M | 76 | 420 |1441 | 225 |1152 | 1 |7491 | 11 | 0.000000e+00 | -- | Inf | 1.13%
7.07/7.13 c 7.1s| 9400 | 4180 | 38871 | 4.1 | 21M | 76 | 420 |1488 | 226 |1153 | 1 |7582 | 11 | 0.000000e+00 | -- | Inf | 1.13%
7.07/7.16 c 7.2s| 9500 | 4198 | 39038 | 4.1 | 21M | 76 | 420 |1552 | 225 |1155 | 1 |7665 | 11 | 0.000000e+00 | -- | Inf | 1.13%
7.16/7.20 c 7.2s| 9600 | 4225 | 39240 | 4.0 | 21M | 76 | 420 |1586 | 224 |1158 | 1 |7725 | 11 | 0.000000e+00 | -- | Inf | 1.13%
7.16/7.24 c 7.2s| 9700 | 4267 | 39494 | 4.0 | 21M | 76 | 420 |1632 | 225 |1158 | 1 |7796 | 11 | 0.000000e+00 | -- | Inf | 1.13%
7.16/7.28 c 7.3s| 9800 | 4316 | 39746 | 4.0 | 21M | 76 | 420 |1755 | 0 |1159 | 0 |7949 | 11 | 0.000000e+00 | -- | Inf | 1.13%
7.26/7.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
7.26/7.33 c 7.3s| 9900 | 4366 | 40031 | 4.0 | 21M | 76 | 420 |1806 | 225 |1160 | 1 |8070 | 11 | 0.000000e+00 | -- | Inf | 1.13%
7.26/7.37 c 7.4s| 10000 | 4404 | 40292 | 4.0 | 21M | 76 | 420 |1825 | 226 |1160 | 1 |8136 | 11 | 0.000000e+00 | -- | Inf | 1.13%
7.36/7.40 c 7.4s| 10100 | 4452 | 40573 | 4.0 | 21M | 76 | 420 |1847 | 224 |1160 | 1 |8181 | 11 | 0.000000e+00 | -- | Inf | 1.13%
7.36/7.45 c 7.5s| 10200 | 4469 | 40784 | 4.0 | 21M | 76 | 420 |1886 | 225 |1165 | 1 |8317 | 11 | 0.000000e+00 | -- | Inf | 1.13%
7.46/7.50 c 7.5s| 10300 | 4508 | 41203 | 4.0 | 21M | 76 | 420 |1856 | 224 |1173 | 1 |8412 | 11 | 0.000000e+00 | -- | Inf | 1.13%
7.46/7.55 c 7.5s| 10400 | 4519 | 41381 | 3.9 | 21M | 76 | 420 |1826 | 224 |1173 | 1 |8498 | 11 | 0.000000e+00 | -- | Inf | 1.13%
7.76/7.81 c 7.8s| 10500 | 4568 | 41939 | 4.0 | 21M | 76 | 420 |1791 | 0 |1193 | 0 |8591 | 11 | 0.000000e+00 | -- | Inf | 1.13%
7.76/7.85 c 7.9s| 10600 | 4610 | 42205 | 3.9 | 21M | 76 | 420 |1771 | 225 |1195 | 1 |8677 | 11 | 0.000000e+00 | -- | Inf | 1.13%
7.86/7.90 c 7.9s| 10700 | 4655 | 42479 | 3.9 | 21M | 76 | 420 |1790 | 226 |1197 | 1 |8766 | 11 | 0.000000e+00 | -- | Inf | 1.13%
7.96/8.01 c 8.0s| 10800 | 4686 | 42824 | 3.9 | 21M | 76 | 420 |1795 | 217 |1214 | 1 |8905 | 11 | 0.000000e+00 | -- | Inf | 1.13%
8.16/8.23 c 8.2s| 10900 | 4772 | 43429 | 3.9 | 22M | 76 | 420 |1748 | 227 |1237 | 1 |9008 | 11 | 0.000000e+00 | -- | Inf | 1.13%
8.16/8.27 c 8.3s| 11000 | 4812 | 43698 | 3.9 | 22M | 76 | 420 |1755 | 226 |1246 | 1 |9070 | 11 | 0.000000e+00 | -- | Inf | 1.13%
8.26/8.32 c 8.3s| 11100 | 4854 | 43972 | 3.9 | 22M | 76 | 420 |1786 | 226 |1251 | 1 |9142 | 11 | 0.000000e+00 | -- | Inf | 1.13%
8.26/8.37 c 8.4s| 11200 | 4873 | 44218 | 3.9 | 22M | 76 | 420 |1673 | 0 |1255 | 0 |9260 | 11 | 0.000000e+00 | -- | Inf | 1.13%
8.36/8.42 c 8.4s| 11300 | 4920 | 44549 | 3.9 | 22M | 76 | 420 |1612 | 226 |1269 | 1 |9375 | 11 | 0.000000e+00 | -- | Inf | 1.13%
8.46/8.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.46/8.50 c 8.5s| 11400 | 4944 | 44931 | 3.9 | 22M | 76 | 420 |1666 | 0 |1291 | 0 |9562 | 11 | 0.000000e+00 | -- | Inf | 1.13%
8.55/8.61 c 8.6s| 11500 | 5009 | 45454 | 3.9 | 22M | 76 | 420 |1630 | 224 |1341 | 1 |9663 | 11 | 0.000000e+00 | -- | Inf | 1.13%
8.55/8.65 c 8.6s| 11600 | 5018 | 45575 | 3.9 | 22M | 76 | 420 |1631 | 224 |1352 | 1 |9685 | 11 | 0.000000e+00 | -- | Inf | 1.13%
8.55/8.68 c 8.7s| 11700 | 5038 | 45732 | 3.9 | 22M | 76 | 420 |1615 | 224 |1357 | 1 |9696 | 11 | 0.000000e+00 | -- | Inf | 1.13%
8.65/8.72 c 8.7s| 11800 | 5048 | 45908 | 3.9 | 22M | 76 | 420 |1621 | 227 |1366 | 1 |9735 | 11 | 0.000000e+00 | -- | Inf | 1.13%
8.85/8.93 c 8.9s| 11900 | 5107 | 46436 | 3.9 | 23M | 76 | 420 |1592 | 224 |1392 | 1 |9832 | 11 | 0.000000e+00 | -- | Inf | 1.13%
8.96/9.02 c 9.0s| 12000 | 5148 | 46709 | 3.9 | 23M | 76 | 420 |1586 | 225 |1402 | 1 |9916 | 11 | 0.000000e+00 | -- | Inf | 1.13%
8.96/9.07 c 9.1s| 12100 | 5180 | 46965 | 3.8 | 23M | 76 | 420 |1623 | 225 |1408 | 1 | 10k| 11 | 0.000000e+00 | -- | Inf | 1.13%
9.06/9.11 c 9.1s| 12200 | 5217 | 47266 | 3.8 | 23M | 76 | 420 |1673 | 225 |1416 | 1 | 10k| 11 | 0.000000e+00 | -- | Inf | 1.13%
9.06/9.16 c 9.2s| 12300 | 5273 | 47592 | 3.8 | 23M | 76 | 420 |1689 | 225 |1421 | 1 | 10k| 11 | 0.000000e+00 | -- | Inf | 1.13%
9.15/9.20 c 9.2s| 12400 | 5322 | 47864 | 3.8 | 23M | 76 | 420 |1698 | 225 |1421 | 1 | 10k| 11 | 0.000000e+00 | -- | Inf | 1.13%
9.15/9.25 c 9.2s| 12500 | 5372 | 48224 | 3.8 | 23M | 76 | 420 |1810 | 224 |1425 | 1 | 10k| 11 | 0.000000e+00 | -- | Inf | 1.13%
9.25/9.34 c 9.3s| 12600 | 5446 | 48517 | 3.8 | 23M | 76 | 420 |1847 | 0 |1427 | 0 | 10k| 11 | 0.000000e+00 | -- | Inf | 1.13%
9.25/9.39 c 9.4s| 12700 | 5514 | 48895 | 3.8 | 24M | 76 | 420 |1853 | 225 |1448 | 1 | 10k| 11 | 0.000000e+00 | -- | Inf | 1.13%
9.35/9.46 c 9.5s| 12800 | 5586 | 49497 | 3.8 | 24M | 76 | 420 |1848 | 225 |1489 | 1 | 10k| 11 | 0.000000e+00 | -- | Inf | 1.13%
9.45/9.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.45/9.51 c 9.5s| 12900 | 5660 | 49953 | 3.8 | 25M | 76 | 420 |1774 | 224 |1512 | 1 | 10k| 11 | 0.000000e+00 | -- | Inf | 1.13%
9.45/9.56 c 9.6s| 13000 | 5693 | 50184 | 3.8 | 25M | 76 | 420 |1783 | 225 |1512 | 1 | 10k| 11 | 0.000000e+00 | -- | Inf | 1.13%
9.55/9.60 c 9.6s| 13100 | 5736 | 50411 | 3.8 | 25M | 76 | 420 |1806 | 225 |1512 | 1 | 11k| 11 | 0.000000e+00 | -- | Inf | 1.13%
9.55/9.64 c 9.6s| 13200 | 5771 | 50608 | 3.8 | 25M | 76 | 420 |1816 | 227 |1512 | 1 | 11k| 11 | 0.000000e+00 | -- | Inf | 1.13%
9.55/9.68 c 9.7s| 13300 | 5825 | 50905 | 3.8 | 25M | 76 | 420 |1796 | 0 |1514 | 0 | 11k| 11 | 0.000000e+00 | -- | Inf | 1.13%
9.65/9.73 c 9.7s| 13400 | 5840 | 51098 | 3.8 | 25M | 76 | 420 |1839 | 225 |1514 | 1 | 11k| 11 | 0.000000e+00 | -- | Inf | 1.13%
9.65/9.77 c 9.8s| 13500 | 5876 | 51312 | 3.8 | 25M | 76 | 420 |1849 | 226 |1514 | 1 | 11k| 11 | 0.000000e+00 | -- | Inf | 1.13%
9.75/9.82 c 9.8s| 13600 | 5904 | 51581 | 3.8 | 25M | 76 | 420 |1774 | 226 |1520 | 1 | 11k| 11 | 0.000000e+00 | -- | Inf | 1.13%
9.75/9.86 c 9.9s| 13700 | 5944 | 51820 | 3.7 | 25M | 76 | 420 |1781 | 225 |1524 | 1 | 11k| 11 | 0.000000e+00 | -- | Inf | 1.13%
9.85/9.96 c 10.0s| 13800 | 5970 | 52189 | 3.7 | 25M | 76 | 420 |1836 | 225 |1532 | 1 | 11k| 11 | 0.000000e+00 | -- | Inf | 1.13%
9.95/10.01 c 10.0s| 13900 | 6023 | 52541 | 3.7 | 25M | 76 | 420 |1841 | 0 |1548 | 0 | 11k| 11 | 0.000000e+00 | -- | Inf | 1.13%
9.95/10.05 c 10.1s| 14000 | 6038 | 52736 | 3.7 | 25M | 76 | 420 |2123 | 0 |1548 | 0 | 12k| 11 | 0.000000e+00 | -- | Inf | 1.13%
9.95/10.10 c 10.1s| 14100 | 6079 | 53039 | 3.7 | 25M | 76 | 420 |2189 | 224 |1550 | 1 | 12k| 11 | 0.000000e+00 | -- | Inf | 1.13%
10.05/10.15 c 10.2s| 14200 | 6136 | 53417 | 3.7 | 25M | 76 | 420 |2244 | 225 |1563 | 1 | 12k| 11 | 0.000000e+00 | -- | Inf | 1.13%
10.15/10.20 c 10.2s| 14300 | 6177 | 53691 | 3.7 | 25M | 76 | 420 |2277 | 225 |1568 | 1 | 12k| 11 | 0.000000e+00 | -- | Inf | 1.13%
10.15/10.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.15/10.26 c 10.3s| 14400 | 6219 | 54075 | 3.7 | 26M | 76 | 420 |2271 | 224 |1578 | 1 | 12k| 11 | 0.000000e+00 | -- | Inf | 1.13%
10.25/10.30 c 10.3s| 14500 | 6262 | 54380 | 3.7 | 26M | 76 | 420 |2327 | 224 |1589 | 0 | 12k| 11 | 0.000000e+00 | -- | Inf | 1.13%
10.25/10.35 c 10.3s| 14600 | 6292 | 54644 | 3.7 | 26M | 76 | 420 |2264 | 229 |1598 | 1 | 12k| 11 | 0.000000e+00 | -- | Inf | 1.13%
10.34/10.40 c 10.4s| 14700 | 6348 | 54932 | 3.7 | 26M | 76 | 420 |2236 | 213 |1604 | 1 | 12k| 11 | 0.000000e+00 | -- | Inf | 1.13%
10.44/10.51 c 10.5s| 14800 | 6366 | 55289 | 3.7 | 26M | 76 | 420 |2257 | 224 |1612 | 0 | 12k| 11 | 0.000000e+00 | -- | Inf | 1.13%
10.75/10.85 c 10.8s| 14900 | 6421 | 55936 | 3.7 | 26M | 76 | 420 |2044 | 228 |1653 | 1 | 12k| 11 | 0.000000e+00 | -- | Inf | 1.13%
11.06/11.14 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
11.06/11.14 c (run 1, node 14993) performing user restart
11.06/11.14 c
11.06/11.14 c (restart) converted 1 cuts from the global cut pool into linear constraints
11.06/11.14 c
11.06/11.15 c presolving:
11.06/11.16 c (round 1, fast) 0 del vars, 37 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
11.06/11.16 c (round 2, exhaustive) 0 del vars, 55 del conss, 0 add conss, 0 chg bounds, 18 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
11.06/11.16 c (round 3, exhaustive) 0 del vars, 55 del conss, 0 add conss, 0 chg bounds, 18 chg sides, 0 chg coeffs, 129 upgd conss, 0 impls, 0 clqs
11.06/11.17 c (round 4, exhaustive) 0 del vars, 179 del conss, 0 add conss, 0 chg bounds, 18 chg sides, 482 chg coeffs, 129 upgd conss, 0 impls, 0 clqs
11.06/11.18 c (round 5, exhaustive) 0 del vars, 189 del conss, 0 add conss, 0 chg bounds, 18 chg sides, 482 chg coeffs, 129 upgd conss, 0 impls, 0 clqs
11.06/11.19 c presolving (6 rounds: 6 fast, 5 medium, 5 exhaustive):
11.06/11.19 c 0 deleted vars, 189 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 18 changed sides, 482 changed coefficients
11.06/11.19 c 0 implications, 0 cliques
11.06/11.19 c presolved problem has 420 variables (420 bin, 0 int, 0 impl, 0 cont) and 1670 constraints
11.06/11.19 c 48 constraints of type <knapsack>
11.06/11.19 c 248 constraints of type <linear>
11.06/11.19 c 1374 constraints of type <logicor>
11.06/11.19 c transformed objective value is always integral (scale: 1)
11.06/11.19 c Presolving Time: 0.04
11.06/11.19 c
11.15/11.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.15/11.21 c 11.2s| 1 | 0 | 56771 | - | 27M | 0 | 420 |1695 | 211 | 0 | 0 | 13k| 11 | 0.000000e+00 | -- | Inf | unknown
11.15/11.26 c 11.3s| 1 | 0 | 56793 | - | 27M | 0 | 420 |1889 | 224 | 13 | 1 | 13k| 11 | 0.000000e+00 | -- | Inf | unknown
11.15/11.27 c 11.3s| 1 | 0 | 56801 | - | 27M | 0 | 420 |1889 | 233 | 22 | 2 | 13k| 11 | 0.000000e+00 | -- | Inf | unknown
11.15/11.27 c 11.3s| 1 | 0 | 56839 | - | 27M | 0 | 420 |1889 | 239 | 28 | 3 | 13k| 11 | 0.000000e+00 | -- | Inf | unknown
11.15/11.29 c 11.3s| 1 | 0 | 56922 | - | 28M | 0 | 420 |1890 | 243 | 32 | 4 | 13k| 11 | 0.000000e+00 | -- | Inf | unknown
11.25/11.31 c 11.3s| 1 | 0 | 56983 | - | 30M | 0 | 420 |1892 | 247 | 36 | 5 | 13k| 11 | 0.000000e+00 | -- | Inf | unknown
11.25/11.33 c 11.3s| 1 | 0 | 57008 | - | 32M | 0 | 420 |1893 | 250 | 39 | 6 | 13k| 11 | 0.000000e+00 | -- | Inf | unknown
11.25/11.34 c 11.3s| 1 | 0 | 57037 | - | 33M | 0 | 420 |1894 | 254 | 43 | 7 | 13k| 11 | 0.000000e+00 | -- | Inf | unknown
11.25/11.37 c 11.4s| 1 | 0 | 57063 | - | 35M | 0 | 420 |1895 | 256 | 45 | 8 | 13k| 11 | 0.000000e+00 | -- | Inf | unknown
11.25/11.38 c 11.4s| 1 | 0 | 57081 | - | 37M | 0 | 420 |1895 | 259 | 48 | 9 | 13k| 11 | 0.000000e+00 | -- | Inf | unknown
11.35/11.40 c 11.4s| 1 | 0 | 57098 | - | 39M | 0 | 420 |1896 | 264 | 53 | 10 | 13k| 11 | 0.000000e+00 | -- | Inf | unknown
11.35/11.41 c 11.4s| 1 | 0 | 57099 | - | 39M | 0 | 420 |1897 | 267 | 56 | 11 | 13k| 11 | cutoff | -- | 0.00%| unknown
11.35/11.41 c 11.4s| 1 | 0 | 57099 | - | 39M | 0 | 420 |1897 | 267 | 56 | 11 | 13k| 11 | cutoff | -- | 0.00%| unknown
11.35/11.41 c
11.35/11.41 c SCIP Status : problem is solved [infeasible]
11.35/11.41 c Solving Time (sec) : 11.41
11.35/11.41 c Solving Nodes : 1 (total of 14994 nodes in 2 runs)
11.35/11.41 c Primal Bound : +1.00000000000000e+20 (0 solutions)
11.35/11.41 c Dual Bound : +1.00000000000000e+20
11.35/11.41 c Gap : 0.00 %
11.35/11.41 s UNSATISFIABLE
11.35/11.41 c SCIP Status : problem is solved [infeasible]
11.35/11.41 c Total Time : 11.41
11.35/11.41 c solving : 11.41
11.35/11.41 c presolving : 0.04 (included in solving)
11.35/11.41 c reading : 0.00 (included in solving)
11.35/11.41 c copying : 0.44 (103 #copies) (minimal 0.00, maximal 0.01, average 0.00)
11.35/11.41 c Original Problem :
11.35/11.41 c Problem name : HOME/instance-4448625-1721367626.opb
11.35/11.41 c Variables : 421 (421 binary, 0 integer, 0 implicit integer, 0 continuous)
11.35/11.41 c Constraints : 211 initial, 211 maximal
11.35/11.41 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
11.35/11.41 c Presolved Problem :
11.35/11.41 c Problem name : t_HOME/instance-4448625-1721367626.opb
11.35/11.41 c Variables : 420 (420 binary, 0 integer, 0 implicit integer, 0 continuous)
11.35/11.41 c Constraints : 1670 initial, 1897 maximal
11.35/11.41 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
11.35/11.41 c Nonzeros : 27084 constraint, 0 clique table
11.35/11.41 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
11.35/11.41 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
11.35/11.41 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
11.35/11.41 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
11.35/11.41 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c milp : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
11.35/11.41 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
11.35/11.41 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c trivial : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
11.35/11.41 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c dualfix : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
11.35/11.41 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
11.35/11.41 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
11.35/11.41 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
11.35/11.41 c vbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c knapsack : 0.00 0.00 16 0 0 0 0 0 0 0 0 0
11.35/11.41 c linear : 0.00 0.00 14 0 1 0 0 0 19 0 18 0
11.35/11.41 c logicor : 0.02 0.00 14 0 0 0 0 0 171 0 0 482
11.35/11.41 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
11.35/11.41 c root node : - - - 0 - - 0 - - - - -
11.35/11.41 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
11.35/11.41 c benderslp : 0 0 0 0 11400 0 0 1056 0 0 0 0 0 0 0
11.35/11.41 c integral : 0 0 0 0 11400 0 0 1056 0 0 0 0 0 0 22800
11.35/11.41 c knapsack : 48 48 11 58714 0 0 0 0 24273 1033 27676 0 0 0 0
11.35/11.41 c linear : 248+ 442 34 58979 0 0 0 1054 35841 3713 56888 0 0 0 0
11.35/11.41 c logicor : 1374+ 1407 32 31867 0 0 0 0 10501 700 8930 2 1 0 0
11.35/11.41 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
11.35/11.41 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
11.35/11.41 c integral : 0.11 0.00 0.00 0.00 0.11 0.00 0.00 0.00 0.00 0.00
11.35/11.41 c knapsack : 0.20 0.00 0.00 0.18 0.00 0.00 0.00 0.00 0.01 0.00
11.35/11.41 c linear : 0.35 0.00 0.00 0.32 0.00 0.00 0.00 0.01 0.02 0.00
11.35/11.41 c logicor : 0.26 0.00 0.00 0.24 0.00 0.00 0.00 0.00 0.01 0.00
11.35/11.41 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
11.35/11.41 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
11.35/11.41 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
11.35/11.41 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
11.35/11.41 c Propagators : #Propagate #ResProp Cutoffs DomReds
11.35/11.41 c dualfix : 2 0 0 0
11.35/11.41 c genvbounds : 0 0 0 0
11.35/11.41 c nlobbt : 0 0 0 0
11.35/11.41 c obbt : 0 0 0 0
11.35/11.41 c probing : 0 0 0 0
11.35/11.41 c pseudoobj : 0 0 0 0
11.35/11.41 c redcost : 0 0 0 0
11.35/11.41 c rootredcost : 0 0 0 0
11.35/11.41 c symmetry : 52735 0 6 26
11.35/11.41 c vbounds : 0 0 0 0
11.35/11.41 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
11.35/11.41 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
11.35/11.41 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
11.35/11.41 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
11.35/11.41 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
11.35/11.41 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
11.35/11.41 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
11.35/11.41 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
11.35/11.41 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
11.35/11.41 c symmetry : 1.38 0.00 0.00 1.38 0.00 0.00
11.35/11.41 c vbounds : 0.01 0.00 0.00 0.01 0.00 0.00
11.35/11.41 c Symmetry :
11.35/11.41 c orbitopal red. : 0 reductions applied, 0 cutoffs
11.35/11.41 c orbital reduction: 13 reductions applied, 2 cutoffs
11.35/11.41 c lexicographic red: 52 reductions applied, 4 cutoffs
11.35/11.41 c shadow tree time : 0.01 s
11.35/11.41 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
11.35/11.41 c propagation : 0.09 3505 3497 - 17357 32.3 226 16.5 - - -
11.35/11.41 c infeasible LP : 0.05 643 642 - 2394 24.2 63 16.0 635 26.2 0
11.35/11.41 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
11.35/11.41 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
11.35/11.41 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
11.35/11.41 c applied globally : 0.01 - - 0 12415 26.9 - - 635 - -
11.35/11.41 c applied locally : - - - 0 16 34.3 - - 0 - -
11.35/11.41 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
11.35/11.41 c cut pool : 0.05 - 1967 61 - - 2986 26989 - - - - - (maximal pool size: 1060)
11.35/11.41 c aggregation : 0.03 0.00 203 32 0 0 10 8 2 2 2 0 0
11.35/11.41 c > cmir : - - - - - - - 6 0 1 1 0 -
11.35/11.41 c > flowcover : - - - - - - - 1 0 1 1 0 -
11.35/11.41 c > knapsackcover : - - - - - - - 1 2 0 0 0 -
11.35/11.41 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c clique : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
11.35/11.41 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c gomory : 0.17 0.00 190 20 0 0 2965 26719 114 1550 1536 14 0
11.35/11.41 c > gomorymi : - - - - - - - 1597 57 39 32 7 -
11.35/11.41 c > strongcg : - - - - - - - 25122 57 1511 1504 7 -
11.35/11.41 c impliedbounds : 0.00 0.00 203 32 0 0 0 0 0 0 0 0 0
11.35/11.41 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
11.35/11.41 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c multilinear : 0.00 0.00 684 32 0 0 0 0 0 0 0 0 0
11.35/11.41 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
11.35/11.41 c rapidlearning : 3.28 0.00 97 2 0 1017 0 0 0 0 0 0 1118
11.35/11.41 c rlt : 0.00 0.00 102 20 0 0 0 0 0 0 0 0 0
11.35/11.41 c zerohalf : 0.03 0.00 201 31 0 0 199 262 72 188 151 37 0
11.35/11.41 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
11.35/11.41 c hybrid : 0.01 0.00 842 31 1742 0 24891 95 0 2021
11.35/11.41 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
11.35/11.41 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
11.35/11.41 c Pricers : ExecTime SetupTime Calls Vars
11.35/11.41 c problem variables: 0.00 - 0 0
11.35/11.41 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
11.35/11.41 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
11.35/11.41 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
11.35/11.41 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
11.35/11.41 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
11.35/11.41 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
11.35/11.41 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
11.35/11.41 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
11.35/11.41 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
11.35/11.41 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
11.35/11.41 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
11.35/11.41 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
11.35/11.41 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
11.35/11.41 c random : 0.00 0.00 0 0 0 0 0 0 0 0
11.35/11.41 c relpscost : 0.11 0.00 11400 0 0 0 0 0 0 22800
11.35/11.41 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
11.35/11.41 c Primal Heuristics : ExecTime SetupTime Calls Found Best
11.35/11.41 c LP solutions : 0.00 - - 0 0
11.35/11.41 c relax solutions : 0.00 - - 0 0
11.35/11.41 c pseudo solutions : 0.00 - - 0 0
11.35/11.41 c strong branching : 0.00 - - 0 0
11.35/11.41 c actconsdiving : 0.00 0.00 0 0 0
11.35/11.41 c adaptivediving : 0.15 0.00 60 0 0
11.35/11.41 c alns : 0.13 0.00 5 0 0
11.35/11.41 c bound : 0.00 0.00 0 0 0
11.35/11.41 c clique : 0.00 0.00 0 0 0
11.35/11.41 c coefdiving : 0.00 0.00 0 0 0
11.35/11.41 c completesol : 0.00 0.00 0 0 0
11.35/11.41 c conflictdiving : 0.13 0.00 71 0 0
11.35/11.41 c crossover : 0.00 0.00 0 0 0
11.35/11.41 c dins : 0.00 0.00 0 0 0
11.35/11.41 c distributiondivin: 0.20 0.00 70 0 0
11.35/11.41 c dps : 0.00 0.00 0 0 0
11.35/11.41 c dualval : 0.00 0.00 0 0 0
11.35/11.41 c farkasdiving : 0.00 0.00 0 0 0
11.35/11.41 c feasjump : 0.03 0.00 2 0 0
11.35/11.41 c feaspump : 0.11 0.00 35 0 0
11.35/11.41 c fixandinfer : 0.00 0.00 0 0 0
11.35/11.41 c fracdiving : 0.13 0.00 71 0 0
11.35/11.41 c gins : 0.00 0.00 0 0 0
11.35/11.41 c guideddiving : 0.00 0.00 0 0 0
11.35/11.41 c indcoefdiving : 0.00 0.00 0 0 0
11.35/11.41 c indicator : 0.00 0.00 0 0 0
11.35/11.41 c indicatordiving : 0.00 0.00 0 0 0
11.35/11.41 c indoneopt : 0.00 0.00 0 0 0
11.35/11.41 c indrounding : 0.00 0.00 0 0 0
11.35/11.41 c indtwoopt : 0.00 0.00 0 0 0
11.35/11.41 c intdiving : 0.00 0.00 0 0 0
11.35/11.41 c intshifting : 0.00 0.00 0 0 0
11.35/11.41 c linesearchdiving : 0.23 0.00 71 0 0
11.35/11.41 c localbranching : 0.00 0.00 0 0 0
11.35/11.41 c locks : 0.00 0.00 1 0 0
11.35/11.41 c lpface : 0.00 0.00 0 0 0
11.35/11.41 c mpec : 0.00 0.00 0 0 0
11.35/11.41 c multistart : 0.00 0.00 0 0 0
11.35/11.41 c mutation : 0.00 0.00 0 0 0
11.35/11.41 c nlpdiving : 0.00 0.00 0 0 0
11.35/11.41 c objpscostdiving : 0.08 0.00 21 0 0
11.35/11.41 c octane : 0.00 0.00 0 0 0
11.35/11.41 c ofins : 0.00 0.00 0 0 0
11.35/11.41 c oneopt : 0.00 0.00 0 0 0
11.35/11.41 c padm : 0.00 0.00 0 0 0
11.35/11.41 c proximity : 0.00 0.00 0 0 0
11.35/11.41 c pscostdiving : 0.27 0.00 57 0 0
11.35/11.41 c randrounding : 0.03 0.00 1062 0 0
11.35/11.41 c rens : 0.00 0.00 1 0 0
11.35/11.41 c reoptsols : 0.00 0.00 0 0 0
11.35/11.41 c repair : 0.00 0.00 0 0 0
11.35/11.41 c rins : 0.00 0.00 0 0 0
11.35/11.41 c rootsoldiving : 0.10 0.00 14 0 0
11.35/11.41 c rounding : 0.01 0.00 1538 0 0
11.35/11.41 c scheduler : 0.00 0.00 0 0 0
11.35/11.41 c shiftandpropagate: 0.00 0.00 2 0 0
11.35/11.41 c shifting : 0.02 0.00 614 0 0
11.35/11.41 c simplerounding : 0.00 0.00 0 0 0
11.35/11.41 c smallcard : 0.00 0.00 0 0 0
11.35/11.41 c subnlp : 0.00 0.00 0 0 0
11.35/11.41 c trivial : 0.00 0.00 4 0 0
11.35/11.41 c trivialnegation : 0.00 0.00 0 0 0
11.35/11.41 c trustregion : 0.00 0.00 0 0 0
11.35/11.41 c trysol : 0.00 0.00 0 0 0
11.35/11.41 c twoopt : 0.00 0.00 0 0 0
11.35/11.41 c undercover : 0.00 0.00 0 0 0
11.35/11.41 c vbounds : 0.00 0.00 0 0 0
11.35/11.41 c veclendiving : 0.10 0.00 71 0 0
11.35/11.41 c zeroobj : 0.00 0.00 0 0 0
11.35/11.41 c zirounding : 0.00 0.00 1000 0 0
11.35/11.41 c other solutions : - - - 0 -
11.35/11.41 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
11.35/11.41 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
11.35/11.41 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
11.35/11.41 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
11.35/11.41 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
11.35/11.41 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
11.35/11.41 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
11.35/11.41 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
11.35/11.41 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
11.35/11.41 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
11.35/11.41 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
11.35/11.41 c primal LP : 0.03 236 0 0.00 0.00 0.03 236
11.35/11.41 c dual LP : 2.24 12834 40160 3.19 17934.30 0.03 231
11.35/11.41 c lex dual LP : 0.00 0 0 0.00 -
11.35/11.41 c barrier LP : 0.00 0 0 0.00 - 0.00 0
11.35/11.41 c resolve instable : 0.00 0 0 0.00 -
11.35/11.41 c diving/probing LP: 0.73 3684 16939 4.60 23054.45
11.35/11.41 c strong branching : 0.00 11 51 4.64 - - - 0
11.35/11.41 c (at root node) : - 11 51 4.64 -
11.35/11.41 c conflict analysis: 0.00 0 0 0.00 -
11.35/11.41 c B&B Tree :
11.35/11.41 c number of runs : 2
11.35/11.41 c nodes : 1 (0 internal, 1 leaves)
11.35/11.41 c feasible leaves : 0
11.35/11.41 c infeas. leaves : 1
11.35/11.41 c objective leaves : 0
11.35/11.41 c nodes (total) : 14994 (11400 internal, 3594 leaves)
11.35/11.41 c nodes left : 0
11.35/11.41 c max depth : 0
11.35/11.41 c max depth (total): 76
11.35/11.41 c backtracks : 0 (0.0%)
11.35/11.41 c early backtracks : 0 (0.0%)
11.35/11.41 c nodes exc. ref. : 0 (0.0%)
11.35/11.41 c delayed cutoffs : 0
11.35/11.41 c repropagations : 0 (0 domain reductions, 0 cutoffs)
11.35/11.41 c avg switch length: 2.00
11.35/11.41 c switching time : 0.62
11.35/11.41 c Root Node :
11.35/11.41 c First LP value : +0.00000000000000e+00
11.35/11.41 c First LP Iters : 224 (225579.05 Iter/sec)
11.35/11.41 c First LP Time : 0.00
11.35/11.41 c Final Dual Bound : -
11.35/11.41 c Final Root Iters : 1010
11.35/11.41 c Root LP Estimate : -
11.35/11.41 c Solution :
11.35/11.41 c Solutions found : 0 (0 improvements)
11.35/11.41 c Primal Bound : infeasible
11.35/11.41 c Dual Bound : -
11.35/11.41 c Gap : 0.00 %
11.35/11.41 c Integrals : Total Avg%
11.35/11.41 c primal-dual : - - (problem infeasible)
11.35/11.41 c primal-ref : - - (problem infeasible)
11.35/11.41 c dual-ref : - - (problem infeasible)
11.35/11.42 c Time complete: 11.38.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61590 MiB free)
memory of node 1: 64510 MiB (62594 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448625-1721367626/watcher-4448625-1721367626 -o /tmp/evaluation-result-4448625-1721367626/solver-4448625-1721367626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721367638-1021980 --watchdog 3760 pbscip -f HOME/instance-4448625-1721367626.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1022133, runsolver pid=1022130
[startup+0.100942 s]*
/proc/loadavg: 1.11 1.44 2.28 6/258 1022134
/proc/meminfo: memFree=127142796/131524600 swapFree=131071996/131071996
[pid=1022133] ppid=1022130 vsize=65968 memory=27580 CPUtime=0.09 cores=1,3
/proc/1022133/stat : 1022133 (pbscip) R 1022130 1022133 1021968 0 -1 4194304 3208 0 0 0 9 0 0 0 20 0 1 0 188924485 67551232 6895 134679101440 4194304 18693293 140728023018416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30572544 140728023024642 140728023024741 140728023024741 140728023031758 0
/proc/1022133/statm: 16492 6895 4025 3540 0 4749 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65968 KiB
Current children cumulated memory: 27580 KiB
[startup+0.205202 s]*
/proc/loadavg: 1.11 1.44 2.28 7/258 1022134
/proc/meminfo: memFree=127135380/131524600 swapFree=131071996/131071996
[pid=1022133] ppid=1022130 vsize=70900 memory=31368 CPUtime=0.2 cores=1,3
/proc/1022133/stat : 1022133 (pbscip) R 1022130 1022133 1021968 0 -1 4194304 4406 0 0 0 20 0 0 0 20 0 1 0 188924485 72601600 7842 134679101440 4194304 18693293 140728023018416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30572544 140728023024642 140728023024741 140728023024741 140728023031758 0
/proc/1022133/statm: 17725 7842 4025 3540 0 5982 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 70900 KiB
Current children cumulated memory: 31368 KiB
[startup+0.305121 s]*
/proc/loadavg: 1.11 1.44 2.28 6/258 1022134
/proc/meminfo: memFree=127135448/131524600 swapFree=131071996/131071996
[pid=1022133] ppid=1022130 vsize=70900 memory=31368 CPUtime=0.29 cores=1,3
/proc/1022133/stat : 1022133 (pbscip) R 1022130 1022133 1021968 0 -1 4194304 4406 0 0 0 29 0 0 0 20 0 1 0 188924485 72601600 7842 134679101440 4194304 18693293 140728023018416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30572544 140728023024642 140728023024741 140728023024741 140728023031758 0
/proc/1022133/statm: 17725 7842 4025 3540 0 5982 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 70900 KiB
Current children cumulated memory: 31368 KiB
[startup+0.700152 s]
/proc/loadavg: 1.11 1.44 2.28 6/258 1022134
/proc/meminfo: memFree=127127932/131524600 swapFree=131071996/131071996
[pid=1022133] ppid=1022130 vsize=74388 memory=35844 CPUtime=0.68 cores=1,3
/proc/1022133/stat : 1022133 (pbscip) R 1022130 1022133 1021968 0 -1 4194304 5813 0 0 0 68 0 0 0 20 0 1 0 188924485 76173312 8961 134679101440 4194304 18693293 140728023018416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30572544 140728023024642 140728023024741 140728023024741 140728023031758 0
/proc/1022133/statm: 18597 8961 4025 3540 0 6854 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 74388 KiB
Current children cumulated memory: 35844 KiB
[startup+1.50019 s]
/proc/loadavg: 1.11 1.44 2.28 6/258 1022134
/proc/meminfo: memFree=127118660/131524600 swapFree=131071996/131071996
[pid=1022133] ppid=1022130 vsize=75248 memory=36796 CPUtime=1.48 cores=1,3
/proc/1022133/stat : 1022133 (pbscip) R 1022130 1022133 1021968 0 -1 4194304 8054 0 0 0 148 0 0 0 20 0 1 0 188924485 77053952 9199 134679101440 4194304 18693293 140728023018416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30572544 140728023024642 140728023024741 140728023024741 140728023031758 0
/proc/1022133/statm: 18812 9199 4025 3540 0 7069 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 75248 KiB
Current children cumulated memory: 36796 KiB
[startup+3.10607 s]
/proc/loadavg: 1.34 1.49 2.29 5/258 1022226
/proc/meminfo: memFree=127099924/131524600 swapFree=131071996/131071996
[pid=1022133] ppid=1022130 vsize=78016 memory=39684 CPUtime=3.08 cores=1,3
/proc/1022133/stat : 1022133 (pbscip) R 1022130 1022133 1021968 0 -1 4194304 11152 0 0 0 307 1 0 0 20 0 1 0 188924485 79888384 9921 134679101440 4194304 18693293 140728023018416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30572544 140728023024642 140728023024741 140728023024741 140728023031758 0
/proc/1022133/statm: 19504 9921 4025 3540 0 7761 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 78016 KiB
Current children cumulated memory: 39684 KiB
[startup+6.30015 s]
/proc/loadavg: 1.34 1.49 2.29 5/258 1022228
/proc/meminfo: memFree=127062428/131524600 swapFree=131071996/131071996
[pid=1022133] ppid=1022130 vsize=88420 memory=50156 CPUtime=6.26 cores=1,3
/proc/1022133/stat : 1022133 (pbscip) R 1022130 1022133 1021968 0 -1 4194304 15321 0 0 0 624 2 0 0 20 0 1 0 188924485 90542080 12539 134679101440 4194304 18693293 140728023018416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30572544 140728023024642 140728023024741 140728023024741 140728023031758 0
/proc/1022133/statm: 22105 12539 4025 3540 0 10362 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 88420 KiB
Current children cumulated memory: 50156 KiB
[startup+11.43 s]
# the end of solver process 1022133 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=11.3477 s, system=0.03783 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40022 s]
/proc/loadavg: 1.34 1.49 2.29 5/258 1022228
/proc/meminfo: memFree=127062428/131524600 swapFree=131071996/131071996
[pid=1022133] ppid=1022130 vsize=88420 memory=50156 CPUtime=6.36 cores=1,3
/proc/1022133/stat : 1022133 (pbscip) R 1022130 1022133 1021968 0 -1 4194304 15321 0 0 0 634 2 0 0 20 0 1 0 188924485 90542080 12539 134679101440 4194304 18693293 140728023018416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30572544 140728023024642 140728023024741 140728023024741 140728023031758 0
/proc/1022133/statm: 22105 12539 4025 3540 0 10362 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 88420 KiB
Current children cumulated memory: 50156 KiB
[startup+9.60016 s]
/proc/loadavg: 1.55 1.53 2.29 5/258 1022228
/proc/meminfo: memFree=127030200/131524600 swapFree=131071996/131071996
[pid=1022133] ppid=1022130 vsize=89532 memory=51116 CPUtime=9.55 cores=1,3
/proc/1022133/stat : 1022133 (pbscip) R 1022130 1022133 1021968 0 -1 4194304 16062 0 0 0 953 2 0 0 20 0 1 0 188924485 91680768 12779 134679101440 4194304 18693293 140728023018416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30572544 140728023024642 140728023024741 140728023024741 140728023031758 0
/proc/1022133/statm: 22383 12779 4025 3540 0 10640 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 89532 KiB
Current children cumulated memory: 51116 KiB
[startup+10.4001 s]
/proc/loadavg: 1.55 1.53 2.29 5/258 1022228
/proc/meminfo: memFree=127028440/131524600 swapFree=131071996/131071996
[pid=1022133] ppid=1022130 vsize=93064 memory=53756 CPUtime=10.34 cores=1,3
/proc/1022133/stat : 1022133 (pbscip) R 1022130 1022133 1021968 0 -1 4194304 16695 0 0 0 1032 2 0 0 20 0 1 0 188924485 95297536 13439 134679101440 4194304 18693293 140728023018416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30572544 140728023024642 140728023024741 140728023024741 140728023031758 0
/proc/1022133/statm: 23266 13439 4025 3540 0 11523 0
Current children cumulated CPU time: 10.34 s
Current children cumulated vsize: 93064 KiB
Current children cumulated memory: 53756 KiB
[startup+11.2002 s]
/proc/loadavg: 1.55 1.53 2.29 5/258 1022228
/proc/meminfo: memFree=127023512/131524600 swapFree=131071996/131071996
[pid=1022133] ppid=1022130 vsize=95604 memory=57372 CPUtime=11.15 cores=1,3
/proc/1022133/stat : 1022133 (pbscip) R 1022130 1022133 1021968 0 -1 4194304 18030 0 0 0 1112 3 0 0 20 0 1 0 188924485 97898496 14343 134679101440 4194304 18693293 140728023018416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30572544 140728023024642 140728023024741 140728023024741 140728023031758 0
/proc/1022133/statm: 23901 14343 4025 3540 0 12158 0
Current children cumulated CPU time: 11.15 s
Current children cumulated vsize: 95604 KiB
Current children cumulated memory: 57372 KiB
[startup+11.4002 s]
/proc/loadavg: 1.55 1.53 2.29 5/258 1022228
/proc/meminfo: memFree=127023512/131524600 swapFree=131071996/131071996
[pid=1022133] ppid=1022130 vsize=96332 memory=57900 CPUtime=11.35 cores=1,3
/proc/1022133/stat : 1022133 (pbscip) R 1022130 1022133 1021968 0 -1 4194304 18160 0 0 0 1132 3 0 0 20 0 1 0 188924485 98643968 14475 134679101440 4194304 18693293 140728023018416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 30572544 140728023024642 140728023024741 140728023024741 140728023031758 0
/proc/1022133/statm: 24083 14475 4025 3540 0 12340 0
Current children cumulated CPU time: 11.35 s
Current children cumulated vsize: 96332 KiB
Current children cumulated memory: 57900 KiB
Child status: 0
Real time (s): 11.4301
CPU time (s): 11.3855
CPU user time (s): 11.3477
CPU system time (s): 0.03783
CPU usage (%): 99.6102
Max. virtual memory (cumulated for all children) (KiB): 96332
Max. memory (cumulated for all children) (KiB): 57900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.3477
system time used= 0.03783
maximum resident set size= 58396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18211
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 21
# summary of solver processes directly reported to runsolver:
# pid: 1022133
# total CPU time (s): 11.3855
# total CPU user time (s): 11.3477
# total CPU system time (s): 0.03783
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045795 second user time and 0.078252 second system time
The end