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-4444485-1721301799.opb>
0.00/0.01 c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 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.01 c presolving:
0.00/0.02 c (0.0s) running MILP presolver
0.00/0.02 c (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.00/0.02 c (round 1, exhaustive) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 143 clqs
0.00/0.03 c (round 2, exhaustive) 0 del vars, 187 del conss, 0 add conss, 0 chg bounds, 44 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 143 clqs
0.00/0.03 c (round 3, exhaustive) 0 del vars, 198 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 143 clqs
0.00/0.04 c (round 4, exhaustive) 0 del vars, 198 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 2509 upgd conss, 0 impls, 143 clqs
0.00/0.04 c (round 5, exhaustive) 0 del vars, 264 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 2509 upgd conss, 0 impls, 143 clqs
0.00/0.05 c (0.0s) probing: 51/231 (22.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.05 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.05 c (0.1s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.00/0.05 c dynamic symmetry handling statistics:
0.00/0.05 c orbitopal reduction: no components
0.00/0.05 c orbital reduction: 1 components of sizes 1
0.00/0.05 c lexicographic reduction: 1 permutations with support sizes 121
0.00/0.05 c handled 1 out of 1 symmetry components
0.00/0.05 c presolving (6 rounds: 6 fast, 6 medium, 6 exhaustive):
0.00/0.05 c 0 deleted vars, 264 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 55 changed sides, 0 changed coefficients
0.00/0.05 c 0 implications, 143 cliques
0.00/0.05 c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.00/0.05 c 1 constraints of type <knapsack>
0.00/0.05 c 22 constraints of type <setppc>
0.00/0.05 c 2420 constraints of type <logicor>
0.00/0.05 c transformed objective value is always integral (scale: 1)
0.00/0.05 c Presolving Time: 0.04
0.00/0.05 c - non default parameters ----------------------------------------------------------------------
0.00/0.05 c # SCIP version 10.0.0
0.00/0.05 c
0.00/0.05 c # maximal time in seconds to run
0.00/0.05 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.05 c limits/time = 3596.997062
0.00/0.05 c
0.00/0.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.05 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.05 c limits/memory = 27900
0.00/0.05 c
0.00/0.05 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.05 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.05 c limits/solutions = 1
0.00/0.05 c
0.00/0.05 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.05 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.05 c misc/usesymmetry = 3
0.00/0.05 c
0.00/0.05 c # belongs reading time to solving time?
0.00/0.05 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.05 c timing/reading = TRUE
0.00/0.05 c
0.00/0.05 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.05 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c propagating/symmetry/detectdoublelex = FALSE
0.00/0.05 c
0.00/0.05 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.05 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c propagating/symmetry/detectsubgroups = FALSE
0.00/0.05 c
0.00/0.05 c # Type of symmetries that shall be computed?
0.00/0.05 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.05 c propagating/symmetry/symtype = 1
0.00/0.05 c
0.00/0.05 c # Should components consisting of a single full reflection be handled?
0.00/0.05 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.05 c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.05 c
0.00/0.05 c -----------------------------------------------------------------------------------------------
0.00/0.05 c start solving
0.00/0.05 c
0.00/0.08 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.08 c 0.1s| 1 | 0 | 95 | - | 11M | 0 | 231 |2483 |2443 | 0 | 0 | 39 | 0 | 0.000000e+00 | -- | Inf | unknown
0.20/0.21 c 0.2s| 1 | 0 | 1478 | - | 12M | 0 | 231 |2487 |2445 | 2 | 1 | 43 | 0 | 0.000000e+00 | -- | Inf | unknown
0.20/0.25 c 0.3s| 1 | 0 | 1497 | - | 14M | 0 | 231 |2489 |2449 | 6 | 2 | 45 | 0 | 0.000000e+00 | -- | Inf | unknown
0.20/0.30 c 0.3s| 1 | 0 | 1519 | - | 18M | 0 | 231 |2493 |2454 | 11 | 3 | 49 | 0 | 0.000000e+00 | -- | Inf | unknown
0.30/0.34 c 0.3s| 1 | 0 | 1538 | - | 20M | 0 | 231 |2495 |2457 | 14 | 4 | 51 | 0 | 0.000000e+00 | -- | Inf | unknown
0.30/0.39 c 0.4s| 1 | 0 | 1559 | - | 25M | 0 | 231 |2498 |2461 | 18 | 5 | 54 | 0 | 0.000000e+00 | -- | Inf | unknown
0.40/0.45 c 0.5s| 1 | 0 | 1571 | - | 29M | 0 | 231 |2500 |2463 | 20 | 6 | 56 | 0 | 0.000000e+00 | -- | Inf | unknown
0.50/0.52 c 0.5s| 1 | 0 | 1591 | - | 33M | 0 | 231 |2504 |2466 | 23 | 7 | 60 | 0 | 0.000000e+00 | -- | Inf | unknown
0.50/0.58 c 0.6s| 1 | 0 | 1606 | - | 37M | 0 | 231 |2510 |2469 | 26 | 8 | 66 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.64 c 0.6s| 1 | 0 | 1622 | - | 40M | 0 | 231 |2514 |2471 | 28 | 9 | 70 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.69 c 0.7s| 1 | 0 | 1633 | - | 43M | 0 | 231 |2516 |2473 | 30 | 10 | 72 | 0 | 0.000000e+00 | -- | Inf | unknown
0.69/0.70 c 0.7s| 1 | 0 | 1639 | - | 43M | 0 | 231 |2519 |2476 | 33 | 11 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown
0.79/0.80 c 0.8s| 1 | 2 | 2028 | - | 43M | 0 | 231 |2536 |2476 | 33 | 11 | 92 | 19 | 0.000000e+00 | -- | Inf | unknown
1.18/1.27 c 1.3s| 100 | 7 | 4181 | 25.7 | 45M | 20 | 231 |2620 |2448 | 52 | 1 | 178 | 19 | 0.000000e+00 | -- | Inf | 74.61%
1.58/1.68 c 1.7s| 200 | 5 | 5726 | 20.5 | 47M | 20 | 231 |2686 |2452 | 90 | 1 | 244 | 19 | 0.000000e+00 | -- | Inf | 79.68%
1.99/2.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.99/2.03 c 2.0s| 300 | 5 | 7109 | 18.3 | 53M | 20 | 231 |2767 |2451 | 126 | 0 | 327 | 19 | 0.000000e+00 | -- | Inf | 82.59%
2.18/2.29 c 2.3s| 400 | 5 | 8798 | 17.9 | 53M | 20 | 231 |2857 | 0 | 149 | 0 | 425 | 19 | 0.000000e+00 | -- | Inf | 83.53%
2.48/2.56 c 2.6s| 500 | 7 | 10185 | 17.1 | 58M | 20 | 231 |2942 |2450 | 184 | 0 | 516 | 19 | 0.000000e+00 | -- | Inf | 84.27%
2.78/2.81 c 2.8s| 600 | 7 | 11716 | 16.8 | 58M | 20 | 231 |3017 |2448 | 193 | 1 | 598 | 19 | 0.000000e+00 | -- | Inf | 84.94%
3.08/3.11 c 3.1s| 700 | 5 | 13170 | 16.5 | 59M | 20 | 231 |3065 |2454 | 238 | 0 | 652 | 19 | 0.000000e+00 | -- | Inf | 85.83%
3.28/3.32 c 3.3s| 800 | 5 | 14773 | 16.4 | 63M | 20 | 231 |3138 |2448 | 259 | 1 | 727 | 19 | 0.000000e+00 | -- | Inf | 86.52%
3.58/3.64 c 3.6s| 900 | 9 | 16671 | 16.7 | 63M | 20 | 231 |3201 |2452 | 278 | 1 | 793 | 19 | 0.000000e+00 | -- | Inf | 86.78%
3.88/3.90 c 3.9s| 1000 | 5 | 18447 | 16.8 | 63M | 20 | 231 |3275 |2451 | 291 | 1 | 870 | 19 | 0.000000e+00 | -- | Inf | 87.00%
3.98/4.04 c 4.0s| 1100 | 9 | 20049 | 16.8 | 63M | 20 | 231 |3363 |2449 | 298 | 1 | 961 | 19 | 0.000000e+00 | -- | Inf | 87.07%
4.37/4.42 c 4.4s| 1200 | 7 | 21768 | 16.8 | 63M | 20 | 231 |3458 |2453 | 318 | 1 |1059 | 19 | 0.000000e+00 | -- | Inf | 87.27%
4.47/4.59 c 4.6s| 1300 | 5 | 23760 | 17.0 | 63M | 20 | 231 |3532 |2451 | 339 | 0 |1136 | 19 | 0.000000e+00 | -- | Inf | 87.45%
4.87/4.98 c 5.0s| 1400 | 5 | 25861 | 17.3 | 63M | 20 | 231 |3602 |2448 | 356 | 0 |1206 | 19 | 0.000000e+00 | -- | Inf | 89.45%
5.27/5.31 c 5.3s| 1500 | 5 | 27308 | 17.1 | 63M | 20 | 231 |3675 |2451 | 378 | 0 |1281 | 19 | 0.000000e+00 | -- | Inf | 90.60%
5.47/5.57 c 5.6s| 1600 | 5 | 28644 | 16.9 | 63M | 30 | 231 |3785 |2453 | 381 | 1 |1392 | 19 | 0.000000e+00 | -- | Inf | 90.62%
5.87/5.97 c 6.0s| 1700 | 9 | 30136 | 16.8 | 63M | 30 | 231 |3867 |2451 | 400 | 1 |1476 | 19 | 0.000000e+00 | -- | Inf | 91.94%
6.17/6.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.17/6.23 c 6.2s| 1800 | 6 | 31730 | 16.7 | 64M | 30 | 231 |3933 |2453 | 417 | 1 |1554 | 19 | 0.000000e+00 | -- | Inf | 92.16%
6.27/6.37 c 6.4s| 1900 | 8 | 33225 | 16.6 | 64M | 30 | 231 |4001 |2452 | 432 | 0 |1631 | 19 | 0.000000e+00 | -- | Inf | 92.57%
6.66/6.75 c 6.8s| 2000 | 7 | 34588 | 16.5 | 64M | 30 | 231 |4099 |2454 | 451 | 2 |1731 | 19 | 0.000000e+00 | -- | Inf | 92.77%
6.86/6.94 c 6.9s| 2100 | 7 | 35878 | 16.3 | 64M | 30 | 231 |4161 |2450 | 459 | 1 |1796 | 19 | 0.000000e+00 | -- | Inf | 92.94%
7.07/7.18 c 7.2s| 2200 | 9 | 37399 | 16.3 | 64M | 30 | 231 |4224 |2454 | 472 | 1 |1865 | 19 | 0.000000e+00 | -- | Inf | 93.15%
7.36/7.44 c 7.4s| 2300 | 11 | 39030 | 16.3 | 64M | 30 | 231 |4281 |2451 | 487 | 1 |1931 | 19 | 0.000000e+00 | -- | Inf | 93.32%
7.56/7.68 c 7.7s| 2400 | 7 | 40577 | 16.2 | 64M | 30 | 231 |4349 |2451 | 507 | 1 |2004 | 19 | 0.000000e+00 | -- | Inf | 93.63%
7.96/8.09 c 8.1s| 2500 | 5 | 42398 | 16.3 | 63M | 30 | 231 |4428 |2451 | 516 | 1 |2092 | 19 | 0.000000e+00 | -- | Inf | 93.73%
8.46/8.50 c 8.5s| 2600 | 7 | 44464 | 16.5 | 65M | 30 | 231 |4485 |2454 | 530 | 0 |2179 | 19 | 0.000000e+00 | -- | Inf | 93.94%
8.75/8.89 c 8.9s| 2700 | 6 | 46183 | 16.5 | 65M | 30 | 231 |4585 |2451 | 555 | 1 |2296 | 19 | 0.000000e+00 | -- | Inf | 94.47%
8.96/9.07 c 9.1s| 2800 | 6 | 47725 | 16.5 | 65M | 30 | 231 |4639 |2452 | 578 | 0 |2358 | 19 | 0.000000e+00 | -- | Inf | 94.91%
9.15/9.29 c 9.3s| 2900 | 6 | 49401 | 16.5 | 65M | 30 | 231 |4723 |2451 | 590 | 1 |2453 | 19 | 0.000000e+00 | -- | Inf | 95.12%
9.45/9.54 c 9.5s| 3000 | 8 | 51010 | 16.5 | 65M | 30 | 231 |4794 |2451 | 608 | 0 |2532 | 19 | 0.000000e+00 | -- | Inf | 95.73%
9.65/9.79 c 9.8s| 3100 | 8 | 52789 | 16.5 | 65M | 30 | 231 |4879 |2451 | 615 | 1 |2623 | 19 | 0.000000e+00 | -- | Inf | 95.89%
10.35/10.42 c 10.4s| 3200 | 8 | 54446 | 16.5 | 65M | 30 | 231 |4958 |2452 | 618 | 0 |2706 | 19 | 0.000000e+00 | -- | Inf | 95.89%
10.84/10.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.84/10.92 c 10.9s| 3300 | 8 | 56344 | 16.6 | 65M | 30 | 231 |5030 |2451 | 634 | 0 |2791 | 19 | 0.000000e+00 | -- | Inf | 96.19%
11.35/11.45 c 11.5s| 3400 | 6 | 58085 | 16.6 | 65M | 30 | 231 |5085 |2451 | 677 | 0 |2853 | 19 | 0.000000e+00 | -- | Inf | 97.70%
11.55/11.69 c 11.7s| 3500 | 10 | 60098 | 16.7 | 65M | 30 | 231 |5137 |2453 | 703 | 1 |2925 | 19 | 0.000000e+00 | -- | Inf | 97.96%
11.85/11.91 c 11.9s| 3600 | 14 | 61951 | 16.8 | 65M | 30 | 231 |5205 |2452 | 714 | 1 |3008 | 19 | 0.000000e+00 | -- | Inf | 98.01%
11.95/12.02 c 12.0s| 3700 | 16 | 63548 | 16.7 | 65M | 30 | 231 |5314 |2453 | 715 | 1 |3124 | 19 | 0.000000e+00 | -- | Inf | 98.03%
12.05/12.14 c 12.1s| 3800 | 10 | 64924 | 16.7 | 65M | 30 | 231 |5403 |2454 | 716 | 1 |3228 | 19 | 0.000000e+00 | -- | Inf | 98.04%
12.14/12.25 c 12.3s| 3900 | 10 | 66224 | 16.6 | 65M | 31 | 231 |5480 |2452 | 718 | 1 |3324 | 19 | 0.000000e+00 | -- | Inf | 98.05%
12.24/12.36 c 12.4s| 4000 | 10 | 67574 | 16.5 | 65M | 31 | 231 |5559 |2454 | 719 | 0 |3415 | 19 | 0.000000e+00 | -- | Inf | 98.08%
12.34/12.46 c 12.5s| 4100 | 9 | 68735 | 16.4 | 65M | 31 | 231 |5677 |2455 | 720 | 1 |3539 | 19 | 0.000000e+00 | -- | Inf | 98.09%
12.44/12.58 c 12.6s| 4200 | 9 | 70279 | 16.3 | 65M | 31 | 231 |5797 |2455 | 720 | 1 |3660 | 19 | 0.000000e+00 | -- | Inf | 98.09%
12.64/12.71 c 12.7s| 4300 | 7 | 72137 | 16.4 | 65M | 31 | 231 |5882 |2455 | 720 | 0 |3753 | 19 | 0.000000e+00 | -- | Inf | 98.10%
12.74/12.83 c 12.8s| 4400 | 11 | 73786 | 16.4 | 65M | 31 | 231 |6004 |2453 | 720 | 0 |3886 | 19 | 0.000000e+00 | -- | Inf | 98.11%
12.84/12.96 c 13.0s| 4500 | 7 | 75530 | 16.4 | 66M | 31 | 231 |6131 |2455 | 721 | 0 |4030 | 19 | 0.000000e+00 | -- | Inf | 98.11%
13.05/13.10 c 13.1s| 4600 | 9 | 77512 | 16.5 | 66M | 31 | 231 |6232 |2455 | 726 | 0 |4140 | 19 | 0.000000e+00 | -- | Inf | 98.12%
13.14/13.23 c 13.2s| 4700 | 11 | 79208 | 16.5 | 66M | 33 | 231 |6343 |2455 | 726 | 1 |4264 | 19 | 0.000000e+00 | -- | Inf | 98.12%
13.24/13.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.24/13.36 c 13.4s| 4800 | 12 | 80780 | 16.5 | 66M | 33 | 231 |6445 |2454 | 728 | 2 |4372 | 19 | 0.000000e+00 | -- | Inf | 98.13%
13.34/13.47 c 13.5s| 4900 | 11 | 82150 | 16.4 | 66M | 33 | 231 |6570 |2453 | 731 | 1 |4497 | 19 | 0.000000e+00 | -- | Inf | 98.13%
13.44/13.57 c 13.6s| 5000 | 10 | 83430 | 16.4 | 66M | 33 | 231 |6677 |2453 | 732 | 1 |4609 | 19 | 0.000000e+00 | -- | Inf | 98.13%
13.64/13.72 c 13.7s| 5100 | 9 | 85212 | 16.4 | 66M | 34 | 231 |6773 |2454 | 740 | 0 |4714 | 19 | 0.000000e+00 | -- | Inf | 98.13%
13.74/13.83 c 13.8s| 5200 | 9 | 86481 | 16.3 | 66M | 34 | 231 |6886 |2454 | 740 | 0 |4832 | 19 | 0.000000e+00 | -- | Inf | 98.16%
13.84/13.93 c 13.9s| 5300 | 9 | 87822 | 16.3 | 66M | 34 | 231 |7008 |2454 | 740 | 0 |4965 | 19 | 0.000000e+00 | -- | Inf | 98.18%
13.94/14.06 c 14.1s| 5400 | 8 | 89625 | 16.3 | 66M | 34 | 231 |7110 |2454 | 741 | 1 |5071 | 19 | 0.000000e+00 | -- | Inf | 98.23%
14.14/14.28 c 14.3s| 5500 | 8 | 91255 | 16.3 | 66M | 34 | 231 |7193 |2453 | 765 | 1 |5171 | 19 | 0.000000e+00 | -- | Inf | 98.73%
14.34/14.41 c 14.4s| 5600 | 8 | 92933 | 16.3 | 66M | 34 | 231 |7276 |2454 | 769 | 0 |5265 | 19 | 0.000000e+00 | -- | Inf | 98.75%
14.44/14.54 c 14.5s| 5700 | 8 | 94724 | 16.3 | 66M | 34 | 231 |7403 |2455 | 772 | 1 |5406 | 19 | 0.000000e+00 | -- | Inf | 98.75%
14.53/14.68 c 14.7s| 5800 | 7 | 96498 | 16.4 | 66M | 34 | 231 |7491 |2454 | 775 | 1 |5522 | 19 | 0.000000e+00 | -- | Inf | 98.80%
14.73/14.88 c 14.9s| 5900 | 8 | 98599 | 16.4 | 66M | 34 | 231 |7589 |2455 | 786 | 1 |5655 | 19 | 0.000000e+00 | -- | Inf | 99.19%
15.04/15.16 c 15.2s| 6000 | 6 |100459 | 16.5 | 66M | 34 | 231 |7673 |2452 | 810 | 1 |5776 | 19 | 0.000000e+00 | -- | Inf | 99.53%
15.23/15.32 c 15.3s| 6100 | 8 |102689 | 16.6 | 66M | 34 | 231 |7742 |2454 | 812 | 1 |5896 | 19 | 0.000000e+00 | -- | Inf | 99.55%
15.33/15.45 c 15.4s| 6200 | 7 |104675 | 16.6 | 66M | 34 | 231 |7853 |2454 | 812 | 1 |6030 | 19 | 0.000000e+00 | -- | Inf | 99.55%
15.53/15.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.53/15.60 c 15.6s| 6300 | 5 |106659 | 16.7 | 66M | 34 | 231 |7946 | 0 | 812 | 0 |6158 | 19 | 0.000000e+00 | -- | Inf | 99.56%
15.63/15.74 c 15.7s| 6400 | 6 |108476 | 16.7 | 66M | 34 | 231 |7975 |2453 | 812 | 1 |6261 | 19 | 0.000000e+00 | -- | Inf | 99.59%
15.83/15.97 c 16.0s| 6500 | 2 |110647 | 16.8 | 66M | 34 | 231 |6453 |2451 | 820 | 0 |6351 | 19 | 0.000000e+00 | -- | Inf | 99.83%
15.93/16.10 c
15.93/16.10 c SCIP Status : problem is solved [infeasible]
15.93/16.10 c Solving Time (sec) : 16.10
15.93/16.10 c Solving Nodes : 6546
15.93/16.10 c Primal Bound : +1.00000000000000e+20 (0 solutions)
15.93/16.10 c Dual Bound : +1.00000000000000e+20
15.93/16.10 c Gap : 0.00 %
15.93/16.10 s UNSATISFIABLE
15.93/16.10 c SCIP Status : problem is solved [infeasible]
15.93/16.10 c Total Time : 16.10
15.93/16.10 c solving : 16.10
15.93/16.10 c presolving : 0.04 (included in solving)
15.93/16.10 c reading : 0.01 (included in solving)
15.93/16.10 c copying : 0.79 (105 #copies) (minimal 0.00, maximal 0.01, average 0.01)
15.93/16.10 c Original Problem :
15.93/16.10 c Problem name : HOME/instance-4444485-1721301799.opb
15.93/16.10 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
15.93/16.10 c Constraints : 2707 initial, 2707 maximal
15.93/16.10 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
15.93/16.10 c Presolved Problem :
15.93/16.10 c Problem name : t_HOME/instance-4444485-1721301799.opb
15.93/16.10 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
15.93/16.10 c Constraints : 2443 initial, 8018 maximal
15.93/16.10 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
15.93/16.10 c Nonzeros : 7612 constraint, 214 clique table
15.93/16.10 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
15.93/16.10 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
15.93/16.10 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
15.93/16.10 c gateextraction : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
15.93/16.10 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
15.93/16.10 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
15.93/16.10 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
15.93/16.10 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c trivial : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
15.93/16.10 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c dualfix : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
15.93/16.10 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
15.93/16.10 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
15.93/16.10 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
15.93/16.10 c knapsack : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
15.93/16.10 c setppc : 0.00 0.00 6 0 0 0 0 0 66 0 0 0
15.93/16.10 c linear : 0.02 0.00 8 0 0 0 0 0 198 0 55 0
15.93/16.10 c logicor : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
15.93/16.10 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
15.93/16.10 c root node : - - - 104 - - 104 - - - - -
15.93/16.10 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
15.93/16.10 c benderslp : 0 0 0 0 3291 0 0 259 0 0 0 0 0 0 0
15.93/16.10 c integral : 0 0 0 0 3291 0 0 259 0 0 0 0 0 0 6582
15.93/16.10 c knapsack : 1+ 3 11 24683 0 0 0 256 1080 29 7071 2 0 0 0
15.93/16.10 c setppc : 22 22 11 24668 0 0 0 138 53517 114 34367 0 0 0 0
15.93/16.10 c linear : 0+ 20 0 14591 0 0 0 2 0 0 143 0 0 0 0
15.93/16.10 c logicor : 2420+ 7987 11 12310 0 0 0 1 20771 40 37019 0 0 0 0
15.93/16.10 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
15.93/16.10 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.93/16.10 c integral : 0.16 0.00 0.00 0.00 0.16 0.00 0.00 0.00 0.00 0.00
15.93/16.10 c knapsack : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
15.93/16.10 c setppc : 0.08 0.00 0.00 0.07 0.00 0.00 0.00 0.00 0.01 0.00
15.93/16.10 c linear : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
15.93/16.10 c logicor : 0.44 0.00 0.00 0.43 0.00 0.00 0.00 0.00 0.01 0.00
15.93/16.10 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.93/16.10 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.93/16.10 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.93/16.10 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.93/16.10 c Propagators : #Propagate #ResProp Cutoffs DomReds
15.93/16.10 c dualfix : 1 0 0 0
15.93/16.10 c genvbounds : 0 0 0 0
15.93/16.10 c nlobbt : 0 0 0 0
15.93/16.10 c obbt : 0 0 0 0
15.93/16.10 c probing : 0 0 0 0
15.93/16.10 c pseudoobj : 0 0 0 0
15.93/16.10 c redcost : 0 0 0 0
15.93/16.10 c rootredcost : 0 0 0 0
15.93/16.10 c symmetry : 23939 0 0 10
15.93/16.10 c vbounds : 17026 0 0 0
15.93/16.10 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
15.93/16.10 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
15.93/16.10 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
15.93/16.10 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
15.93/16.10 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
15.93/16.10 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
15.93/16.10 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
15.93/16.10 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
15.93/16.10 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
15.93/16.10 c symmetry : 0.18 0.00 0.01 0.17 0.00 0.00
15.93/16.10 c vbounds : 0.02 0.00 0.00 0.02 0.00 0.00
15.93/16.10 c Symmetry :
15.93/16.10 c orbitopal red. : 0 reductions applied, 0 cutoffs
15.93/16.10 c orbital reduction: 10 reductions applied, 0 cutoffs
15.93/16.10 c lexicographic red: 0 reductions applied, 0 cutoffs
15.93/16.10 c shadow tree time : 0.01 s
15.93/16.10 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
15.93/16.10 c propagation : 0.00 180 178 - 797 12.2 4 11.2 - - -
15.93/16.10 c infeasible LP : 0.34 3157 2890 - 14881 22.1 15 12.1 14 12.1 0
15.93/16.10 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
15.93/16.10 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
15.93/16.10 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
15.93/16.10 c applied globally : 0.03 - - 1 6369 9.4 - - 14 - -
15.93/16.10 c applied locally : - - - 0 0 0.0 - - 0 - -
15.93/16.10 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
15.93/16.10 c cut pool : 0.36 - 658 21 - - 9067 11145 - - - - - (maximal pool size: 3835)
15.93/16.10 c aggregation : 0.08 0.00 222 11 0 0 7 6 1 0 0 0 0
15.93/16.10 c > cmir : - - - - - - - 5 0 0 0 0 -
15.93/16.10 c > flowcover : - - - - - - - 1 0 0 0 0 -
15.93/16.10 c > knapsackcover : - - - - - - - 0 1 0 0 0 -
15.93/16.10 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c clique : 0.00 0.00 11 11 0 0 0 0 0 0 0 0 0
15.93/16.10 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c gomory : 3.69 0.00 221 10 0 0 12376 11087 3342 569 470 99 0
15.93/16.10 c > gomorymi : - - - - - - - 5700 1671 204 148 56 -
15.93/16.10 c > strongcg : - - - - - - - 5387 1671 365 322 43 -
15.93/16.10 c impliedbounds : 0.00 0.00 222 11 0 0 0 0 0 0 0 0 0
15.93/16.10 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
15.93/16.10 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c multilinear : 0.00 0.00 289 11 0 0 0 0 0 0 0 0 0
15.93/16.10 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.93/16.10 c rapidlearning : 3.45 0.00 100 1 0 6245 0 0 0 0 0 0 272
15.93/16.10 c rlt : 0.00 0.00 114 10 0 0 0 0 0 0 0 0 0
15.93/16.10 c zerohalf : 0.10 0.00 222 11 0 0 452 52 425 264 11 253 0
15.93/16.10 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
15.93/16.10 c hybrid : 0.02 0.00 268 11 833 0 14033 33 0 2760
15.93/16.10 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
15.93/16.10 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
15.93/16.10 c Pricers : ExecTime SetupTime Calls Vars
15.93/16.10 c problem variables: 0.00 - 0 0
15.93/16.10 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
15.93/16.10 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
15.93/16.10 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
15.93/16.10 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
15.93/16.10 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
15.93/16.10 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
15.93/16.10 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
15.93/16.10 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
15.93/16.10 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
15.93/16.10 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
15.93/16.10 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
15.93/16.10 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
15.93/16.10 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
15.93/16.10 c random : 0.00 0.00 0 0 0 0 0 0 0 0
15.93/16.10 c relpscost : 0.16 0.00 3291 0 0 0 0 0 0 6582
15.93/16.10 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
15.93/16.10 c Primal Heuristics : ExecTime SetupTime Calls Found Best
15.93/16.10 c LP solutions : 0.00 - - 0 0
15.93/16.10 c relax solutions : 0.00 - - 0 0
15.93/16.10 c pseudo solutions : 0.00 - - 0 0
15.93/16.10 c strong branching : 0.00 - - 0 0
15.93/16.10 c actconsdiving : 0.00 0.00 0 0 0
15.93/16.10 c adaptivediving : 0.02 0.00 2 0 0
15.93/16.10 c alns : 0.05 0.00 5 0 0
15.93/16.10 c bound : 0.00 0.00 0 0 0
15.93/16.10 c clique : 0.00 0.00 1 0 0
15.93/16.10 c coefdiving : 0.00 0.00 0 0 0
15.93/16.10 c completesol : 0.00 0.00 0 0 0
15.93/16.10 c conflictdiving : 0.03 0.00 2 0 0
15.93/16.10 c crossover : 0.00 0.00 0 0 0
15.93/16.10 c dins : 0.00 0.00 0 0 0
15.93/16.10 c distributiondivin: 0.05 0.00 1 0 0
15.93/16.10 c dps : 0.00 0.00 0 0 0
15.93/16.10 c dualval : 0.00 0.00 0 0 0
15.93/16.10 c farkasdiving : 0.00 0.00 0 0 0
15.93/16.10 c feasjump : 0.02 0.00 1 0 0
15.93/16.10 c feaspump : 0.06 0.00 1 0 0
15.93/16.10 c fixandinfer : 0.00 0.00 0 0 0
15.93/16.10 c fracdiving : 0.01 0.00 2 0 0
15.93/16.10 c gins : 0.00 0.00 0 0 0
15.93/16.10 c guideddiving : 0.00 0.00 0 0 0
15.93/16.10 c indcoefdiving : 0.00 0.00 0 0 0
15.93/16.10 c indicator : 0.00 0.00 0 0 0
15.93/16.10 c indicatordiving : 0.00 0.00 0 0 0
15.93/16.10 c indoneopt : 0.00 0.00 0 0 0
15.93/16.10 c indrounding : 0.00 0.00 0 0 0
15.93/16.10 c indtwoopt : 0.00 0.00 0 0 0
15.93/16.10 c intdiving : 0.00 0.00 0 0 0
15.93/16.10 c intshifting : 0.00 0.00 0 0 0
15.93/16.10 c linesearchdiving : 0.01 0.00 1 0 0
15.93/16.10 c localbranching : 0.00 0.00 0 0 0
15.93/16.10 c locks : 0.00 0.00 1 0 0
15.93/16.10 c lpface : 0.00 0.00 0 0 0
15.93/16.10 c mpec : 0.00 0.00 0 0 0
15.93/16.10 c multistart : 0.00 0.00 0 0 0
15.93/16.10 c mutation : 0.00 0.00 0 0 0
15.93/16.10 c nlpdiving : 0.00 0.00 0 0 0
15.93/16.10 c objpscostdiving : 0.02 0.00 1 0 0
15.93/16.10 c octane : 0.00 0.00 0 0 0
15.93/16.10 c ofins : 0.00 0.00 0 0 0
15.93/16.10 c oneopt : 0.00 0.00 0 0 0
15.93/16.10 c padm : 0.00 0.00 0 0 0
15.93/16.10 c proximity : 0.00 0.00 0 0 0
15.93/16.10 c pscostdiving : 0.02 0.00 2 0 0
15.93/16.10 c randrounding : 0.01 0.00 266 0 0
15.93/16.10 c rens : 0.01 0.00 1 0 0
15.93/16.10 c reoptsols : 0.00 0.00 0 0 0
15.93/16.10 c repair : 0.00 0.00 0 0 0
15.93/16.10 c rins : 0.00 0.00 0 0 0
15.93/16.10 c rootsoldiving : 0.01 0.00 1 0 0
15.93/16.10 c rounding : 0.04 0.00 819 0 0
15.93/16.10 c scheduler : 0.00 0.00 0 0 0
15.93/16.10 c shiftandpropagate: 0.00 0.00 1 0 0
15.93/16.10 c shifting : 0.05 0.00 288 0 0
15.93/16.10 c simplerounding : 0.00 0.00 0 0 0
15.93/16.10 c smallcard : 0.00 0.00 0 0 0
15.93/16.10 c subnlp : 0.00 0.00 0 0 0
15.93/16.10 c trivial : 0.00 0.00 2 0 0
15.93/16.10 c trivialnegation : 0.00 0.00 0 0 0
15.93/16.10 c trustregion : 0.00 0.00 0 0 0
15.93/16.10 c trysol : 0.00 0.00 0 0 0
15.93/16.10 c twoopt : 0.00 0.00 0 0 0
15.93/16.10 c undercover : 0.00 0.00 0 0 0
15.93/16.10 c vbounds : 0.00 0.00 0 0 0
15.93/16.10 c veclendiving : 0.01 0.00 1 0 0
15.93/16.10 c zeroobj : 0.00 0.00 0 0 0
15.93/16.10 c zirounding : 0.01 0.00 1000 0 0
15.93/16.10 c other solutions : - - - 0 -
15.93/16.10 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
15.93/16.10 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
15.93/16.10 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
15.93/16.10 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
15.93/16.10 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
15.93/16.10 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
15.93/16.10 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
15.93/16.10 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
15.93/16.10 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
15.93/16.10 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
15.93/16.10 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
15.93/16.10 c primal LP : 0.03 119 0 0.00 0.00 0.03 119
15.93/16.10 c dual LP : 5.14 6772 108282 16.04 21082.34 0.00 20
15.93/16.10 c lex dual LP : 0.00 0 0 0.00 -
15.93/16.10 c barrier LP : 0.00 0 0 0.00 - 0.00 0
15.93/16.10 c resolve instable : 0.00 0 0 0.00 -
15.93/16.10 c diving/probing LP: 0.16 92 3325 36.14 21418.86
15.93/16.10 c strong branching : 0.04 19 813 42.79 18610.93 - - 0
15.93/16.10 c (at root node) : - 19 813 42.79 -
15.93/16.10 c conflict analysis: 0.00 0 0 0.00 -
15.93/16.10 c B&B Tree :
15.93/16.10 c number of runs : 1
15.93/16.10 c nodes : 6546 (3291 internal, 3255 leaves)
15.93/16.10 c feasible leaves : 0
15.93/16.10 c infeas. leaves : 3255
15.93/16.10 c objective leaves : 0
15.93/16.10 c nodes (total) : 6546 (3291 internal, 3255 leaves)
15.93/16.10 c nodes left : 0
15.93/16.10 c max depth : 34
15.93/16.10 c max depth (total): 34
15.93/16.10 c backtracks : 794 (12.1%)
15.93/16.10 c early backtracks : 0 (0.0%)
15.93/16.10 c nodes exc. ref. : 0 (0.0%)
15.93/16.10 c delayed cutoffs : 37
15.93/16.10 c repropagations : 9857 (10957 domain reductions, 36 cutoffs)
15.93/16.10 c avg switch length: 4.53
15.93/16.10 c switching time : 0.44
15.93/16.10 c Root Node :
15.93/16.10 c First LP value : +0.00000000000000e+00
15.93/16.10 c First LP Iters : 95 (30448.72 Iter/sec)
15.93/16.10 c First LP Time : 0.00
15.93/16.10 c Final Dual Bound : -
15.93/16.10 c Final Root Iters : 1639
15.93/16.10 c Root LP Estimate : +2.87761387315034e-03
15.93/16.10 c Solution :
15.93/16.10 c Solutions found : 0 (0 improvements)
15.93/16.10 c Primal Bound : infeasible
15.93/16.10 c Dual Bound : -
15.93/16.10 c Gap : 0.00 %
15.93/16.10 c Integrals : Total Avg%
15.93/16.10 c primal-dual : - - (problem infeasible)
15.93/16.10 c primal-ref : - - (problem infeasible)
15.93/16.10 c dual-ref : - - (problem infeasible)
16.03/16.11 c Time complete: 16.0523.
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: 63968 MiB (57542 MiB free)
memory of node 1: 64473 MiB (59485 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444485-1721301799/watcher-4444485-1721301799 -o /tmp/evaluation-result-4444485-1721301799/solver-4444485-1721301799 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721294195-967151 --watchdog 3760 pbscip -f HOME/instance-4444485-1721301799.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
solver pid=972834, runsolver pid=972831
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 4.12 4.09 4.09 5/256 972835
/proc/meminfo: memFree=119821920/131524600 swapFree=131071216/131071996
[pid=972834] ppid=972831 vsize=67492 memory=29368 CPUtime=0.09 cores=1,3
/proc/972834/stat : 972834 (pbscip) R 972831 972834 967139 0 -1 4194304 3982 0 0 0 9 0 0 0 20 0 1 0 182342294 69111808 7342 134679101440 4194304 18693293 140726417496320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140726417503235 140726417503334 140726417503334 140726417510350 0
/proc/972834/statm: 16873 7342 3907 3540 0 5130 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 67492 KiB
Current children cumulated memory: 29368 KiB
[startup+0.205778 s]*
/proc/loadavg: 4.12 4.09 4.09 5/256 972835
/proc/meminfo: memFree=119812680/131524600 swapFree=131071216/131071996
[pid=972834] ppid=972831 vsize=78104 memory=38968 CPUtime=0.2 cores=1,3
/proc/972834/stat : 972834 (pbscip) R 972831 972834 967139 0 -1 4194304 6266 0 0 0 19 1 0 0 20 0 1 0 182342294 79978496 9742 134679101440 4194304 18693293 140726417496320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140726417503235 140726417503334 140726417503334 140726417510350 0
/proc/972834/statm: 19526 9742 4003 3540 0 7783 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 78104 KiB
Current children cumulated memory: 38968 KiB
[startup+0.30569 s]*
/proc/loadavg: 4.12 4.09 4.09 5/256 972835
/proc/meminfo: memFree=119812540/131524600 swapFree=131071216/131071996
[pid=972834] ppid=972831 vsize=77260 memory=38876 CPUtime=0.3 cores=1,3
/proc/972834/stat : 972834 (pbscip) R 972831 972834 967139 0 -1 4194304 6407 0 0 0 29 1 0 0 20 0 1 0 182342294 79114240 9719 134679101440 4194304 18693293 140726417496320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140726417503235 140726417503334 140726417503334 140726417510350 0
/proc/972834/statm: 19315 9719 4035 3540 0 7572 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 77260 KiB
Current children cumulated memory: 38876 KiB
[startup+0.700215 s]
/proc/loadavg: 4.12 4.09 4.09 5/256 972835
/proc/meminfo: memFree=119802320/131524600 swapFree=131071216/131071996
[pid=972834] ppid=972831 vsize=99528 memory=57884 CPUtime=0.69 cores=1,3
/proc/972834/stat : 972834 (pbscip) R 972831 972834 967139 0 -1 4194304 11153 0 0 0 67 2 0 0 20 0 1 0 182342294 101916672 14471 134679101440 4194304 18693293 140726417496320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140726417503235 140726417503334 140726417503334 140726417510350 0
/proc/972834/statm: 24882 14471 4035 3540 0 13139 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 99528 KiB
Current children cumulated memory: 57884 KiB
[startup+1.50025 s]
/proc/loadavg: 4.12 4.09 4.09 5/256 972881
/proc/meminfo: memFree=119865176/131524600 swapFree=131071216/131071996
[pid=972834] ppid=972831 vsize=111196 memory=69236 CPUtime=1.48 cores=1,3
/proc/972834/stat : 972834 (pbscip) R 972831 972834 967139 0 -1 4194304 14026 0 0 0 146 2 0 0 20 0 1 0 182342294 113864704 17309 134679101440 4194304 18693293 140726417496320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140726417503235 140726417503334 140726417503334 140726417510350 0
/proc/972834/statm: 27799 17309 4035 3540 0 16056 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 111196 KiB
Current children cumulated memory: 69236 KiB
[startup+3.10552 s]
/proc/loadavg: 4.11 4.09 4.09 5/256 972881
/proc/meminfo: memFree=119802640/131524600 swapFree=131071216/131071996
[pid=972834] ppid=972831 vsize=123240 memory=80060 CPUtime=3.08 cores=1,3
/proc/972834/stat : 972834 (pbscip) R 972831 972834 967139 0 -1 4194304 16705 0 0 0 305 3 0 0 20 0 1 0 182342294 126197760 20015 134679101440 4194304 18693293 140726417496320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140726417503235 140726417503334 140726417503334 140726417510350 0
/proc/972834/statm: 30810 20015 4035 3540 0 19067 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 123240 KiB
Current children cumulated memory: 80060 KiB
[startup+6.30022 s]
/proc/loadavg: 4.11 4.09 4.09 5/256 972881
/proc/meminfo: memFree=119784884/131524600 swapFree=131071216/131071996
[pid=972834] ppid=972831 vsize=130472 memory=87816 CPUtime=6.27 cores=1,3
/proc/972834/stat : 972834 (pbscip) R 972831 972834 967139 0 -1 4194304 18892 0 0 0 624 3 0 0 20 0 1 0 182342294 133603328 21954 134679101440 4194304 18693293 140726417496320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140726417503235 140726417503334 140726417503334 140726417510350 0
/proc/972834/statm: 32618 21954 4035 3540 0 20875 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 130472 KiB
Current children cumulated memory: 87816 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 972882
/proc/meminfo: memFree=119766704/131524600 swapFree=131071216/131071996
[pid=972834] ppid=972831 vsize=135448 memory=91968 CPUtime=12.64 cores=1,3
/proc/972834/stat : 972834 (pbscip) R 972831 972834 967139 0 -1 4194304 31689 0 0 0 1259 5 0 0 20 0 1 0 182342294 138698752 22992 134679101440 4194304 18693293 140726417496320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140726417503235 140726417503334 140726417503334 140726417510350 0
/proc/972834/statm: 33862 22992 4035 3540 0 22119 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 135448 KiB
Current children cumulated memory: 91968 KiB
[startup+16.1207 s]
# the end of solver process 972834 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=15.9993 s, system=0.058721 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 972882
/proc/meminfo: memFree=119766704/131524600 swapFree=131071216/131071996
[pid=972834] ppid=972831 vsize=135448 memory=91968 CPUtime=12.74 cores=1,3
/proc/972834/stat : 972834 (pbscip) R 972831 972834 967139 0 -1 4194304 31689 0 0 0 1269 5 0 0 20 0 1 0 182342294 138698752 22992 134679101440 4194304 18693293 140726417496320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140726417503235 140726417503334 140726417503334 140726417510350 0
/proc/972834/statm: 33862 22992 4035 3540 0 22119 0
Current children cumulated CPU time: 12.74 s
Current children cumulated vsize: 135448 KiB
Current children cumulated memory: 91968 KiB
[startup+14.4002 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 972882
/proc/meminfo: memFree=119765368/131524600 swapFree=131071216/131071996
[pid=972834] ppid=972831 vsize=135448 memory=91968 CPUtime=14.34 cores=1,3
/proc/972834/stat : 972834 (pbscip) R 972831 972834 967139 0 -1 4194304 31689 0 0 0 1429 5 0 0 20 0 1 0 182342294 138698752 22992 134679101440 4194304 18693293 140726417496320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140726417503235 140726417503334 140726417503334 140726417510350 0
/proc/972834/statm: 33862 22992 4035 3540 0 22119 0
Current children cumulated CPU time: 14.34 s
Current children cumulated vsize: 135448 KiB
Current children cumulated memory: 91968 KiB
[startup+15.2002 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 972882
/proc/meminfo: memFree=119765240/131524600 swapFree=131071216/131071996
[pid=972834] ppid=972831 vsize=135448 memory=91968 CPUtime=15.13 cores=1,3
/proc/972834/stat : 972834 (pbscip) R 972831 972834 967139 0 -1 4194304 31689 0 0 0 1508 5 0 0 20 0 1 0 182342294 138698752 22992 134679101440 4194304 18693293 140726417496320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140726417503235 140726417503334 140726417503334 140726417510350 0
/proc/972834/statm: 33862 22992 4035 3540 0 22119 0
Current children cumulated CPU time: 15.13 s
Current children cumulated vsize: 135448 KiB
Current children cumulated memory: 91968 KiB
[startup+15.6002 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 972882
/proc/meminfo: memFree=119765240/131524600 swapFree=131071216/131071996
[pid=972834] ppid=972831 vsize=135448 memory=91968 CPUtime=15.53 cores=1,3
/proc/972834/stat : 972834 (pbscip) R 972831 972834 967139 0 -1 4194304 31689 0 0 0 1548 5 0 0 20 0 1 0 182342294 138698752 22992 134679101440 4194304 18693293 140726417496320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140726417503235 140726417503334 140726417503334 140726417510350 0
/proc/972834/statm: 33862 22992 4035 3540 0 22119 0
Current children cumulated CPU time: 15.53 s
Current children cumulated vsize: 135448 KiB
Current children cumulated memory: 91968 KiB
[startup+16.0002 s]*
/proc/loadavg: 4.09 4.09 4.09 5/256 972882
/proc/meminfo: memFree=119765340/131524600 swapFree=131071216/131071996
[pid=972834] ppid=972831 vsize=135448 memory=91968 CPUtime=15.93 cores=1,3
/proc/972834/stat : 972834 (pbscip) R 972831 972834 967139 0 -1 4194304 31689 0 0 0 1588 5 0 0 20 0 1 0 182342294 138698752 22992 134679101440 4194304 18693293 140726417496320 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140726417503235 140726417503334 140726417503334 140726417510350 0
/proc/972834/statm: 33862 22992 4035 3540 0 22119 0
Current children cumulated CPU time: 15.93 s
Current children cumulated vsize: 135448 KiB
Current children cumulated memory: 91968 KiB
[startup+16.1055 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 972882
/proc/meminfo: memFree=119765340/131524600 swapFree=131071216/131071996
[pid=972834] ppid=972831 vsize=135448 memory=91968 CPUtime=16.03 cores=1,3
/proc/972834/stat : 972834 (pbscip) R 972831 972834 967139 0 -1 4194304 31689 0 0 0 1598 5 0 0 20 0 1 0 182342294 138698752 22992 134679101440 4194304 18693293 140726417496320 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59695104 140726417503235 140726417503334 140726417503334 140726417510350 0
/proc/972834/statm: 33862 22992 4035 3540 0 22119 0
Current children cumulated CPU time: 16.03 s
Current children cumulated vsize: 135448 KiB
Current children cumulated memory: 91968 KiB
Child status: 0
Real time (s): 16.1207
CPU time (s): 16.058
CPU user time (s): 15.9993
CPU system time (s): 0.058721
CPU usage (%): 99.6111
Max. virtual memory (cumulated for all children) (KiB): 135448
Max. memory (cumulated for all children) (KiB): 91968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.9993
system time used= 0.058721
maximum resident set size= 91968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31694
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= 25
# summary of solver processes directly reported to runsolver:
# pid: 972834
# total CPU time (s): 16.058
# total CPU user time (s): 15.9993
# total CPU system time (s): 0.058721
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030439 second user time and 0.120585 second system time
The end