| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | UNSAT | 138.067 | 138.463 |
| Name | PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-ab71-20-100.0.u.opb |
| MD5SUM | 5a0bcd4a9e5bc1c51804f47b1691eae0 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 39.0848 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6689 |
| Total number of constraints | 6377 |
| Number of constraints which are clauses | 6255 |
| Number of constraints which are cardinality constraints (but not clauses) | 121 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 6255 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1966006 |
| Number of bits of the biggest number in a constraint | 21 |
| Biggest sum of numbers in a constraint | 501966013 |
| Number of bits of the biggest sum of numbers | 29 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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-4515248-1751232454.opb>
0.00/0.03 c original problem has 6689 variables (6689 bin, 0 int, 0 impl, 0 cont) and 6377 constraints
0.00/0.03 c problem read in 0.02
0.00/0.03 c No objective function, only one solution is needed.
0.00/0.05 c presolving:
0.00/0.08 c (0.1s) running MILP presolver
0.09/0.10 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 1 fixings, 0 bound changes
0.09/0.17 c (round 1, exhaustive) 2 del vars, 2 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6374 upgd conss, 0 impls, 6374 clqs
1.88/1.91 c (1.9s) probing: 1000/6687 (15.0%) - 0 fixings, 0 aggregations, 473308 implications, 0 bound changes
1.88/1.91 c (1.9s) probing: 1001/6687 (15.0%) - 0 fixings, 0 aggregations, 474267 implications, 0 bound changes
1.88/1.91 c (1.9s) probing aborted: 1000/1000 successive useless probings
1.88/1.95 c (1.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
10.75/10.80 c (10.8s) symmetry computation finished: 1149 generators found (max: 1500, log10 of symmetry group size: 430.0) (symcode time: 8.83)
10.85/10.98 c dynamic symmetry handling statistics:
10.85/10.98 c orbitopal reduction: no components
10.85/10.98 c orbital reduction: no components
10.85/10.98 c lexicographic reduction: 12 permutations with support sizes 16, 16, 16, 16, 16, 16, 16, 16, 20, 20, 20, 20
10.85/10.98 c handled 523 out of 523 symmetry components
10.85/10.98 c (round 2, exhaustive) 836 del vars, 174 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6375 upgd conss, 0 impls, 19177 clqs
10.85/10.99 c (round 3, fast) 837 del vars, 940 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6375 upgd conss, 0 impls, 19177 clqs
10.96/11.01 c (round 4, medium) 925 del vars, 1141 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6375 upgd conss, 0 impls, 18580 clqs
10.96/11.01 c (round 5, fast) 925 del vars, 1165 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6375 upgd conss, 0 impls, 18580 clqs
10.96/11.03 c (round 6, medium) 938 del vars, 1198 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6375 upgd conss, 0 impls, 18350 clqs
10.96/11.04 c (round 7, fast) 938 del vars, 1207 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6375 upgd conss, 0 impls, 18350 clqs
10.96/11.06 c (round 8, medium) 944 del vars, 1210 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6375 upgd conss, 0 impls, 18281 clqs
10.96/11.09 c (round 9, exhaustive) 944 del vars, 1215 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 18281 clqs
11.06/11.15 c (round 10, exhaustive) 969 del vars, 1215 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 32946 clqs
11.06/11.16 c (round 11, fast) 969 del vars, 1265 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 32946 clqs
11.15/11.25 c (round 12, exhaustive) 996 del vars, 1269 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33951 clqs
11.15/11.25 c (round 13, fast) 996 del vars, 1319 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33951 clqs
11.25/11.34 c (round 14, exhaustive) 1021 del vars, 1319 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33931 clqs
11.25/11.34 c (round 15, fast) 1021 del vars, 1369 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33931 clqs
11.35/11.42 c (round 16, exhaustive) 1046 del vars, 1369 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33972 clqs
11.35/11.42 c (round 17, fast) 1046 del vars, 1419 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33972 clqs
11.45/11.55 c (round 18, exhaustive) 1072 del vars, 1420 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 34014 clqs
11.45/11.55 c (round 19, fast) 1072 del vars, 1470 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 34014 clqs
11.55/11.63 c (round 20, exhaustive) 1097 del vars, 1470 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33988 clqs
11.55/11.63 c (round 21, fast) 1097 del vars, 1520 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33988 clqs
11.65/11.72 c (round 22, exhaustive) 1122 del vars, 1520 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 34018 clqs
11.65/11.72 c (round 23, fast) 1122 del vars, 1570 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 34018 clqs
11.75/11.80 c (round 24, exhaustive) 1147 del vars, 1570 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33980 clqs
11.75/11.80 c (round 25, fast) 1147 del vars, 1620 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 33980 clqs
11.75/11.88 c (round 26, exhaustive) 1172 del vars, 1620 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 34030 clqs
11.75/11.88 c (round 27, fast) 1172 del vars, 1670 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 34030 clqs
11.85/11.96 c (round 28, exhaustive) 1198 del vars, 1671 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 34035 clqs
11.85/11.97 c (round 29, fast) 1198 del vars, 1721 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 34035 clqs
11.96/12.04 c (round 30, exhaustive) 1223 del vars, 1721 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 34035 clqs
11.96/12.05 c (round 31, fast) 1223 del vars, 1771 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 34035 clqs
12.06/12.13 c (round 32, exhaustive) 1248 del vars, 1771 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 34074 clqs
12.06/12.13 c (round 33, fast) 1248 del vars, 1821 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 34074 clqs
12.15/12.22 c (round 34, exhaustive) 1273 del vars, 1821 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 34033 clqs
12.15/12.22 c (round 35, fast) 1273 del vars, 1871 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 34033 clqs
12.25/12.30 c (round 36, exhaustive) 1299 del vars, 1872 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 34062 clqs
12.25/12.30 c (round 37, fast) 1299 del vars, 1922 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 34062 clqs
12.25/12.37 c (round 38, exhaustive) 1325 del vars, 1923 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 34016 clqs
12.25/12.38 c (round 39, fast) 1325 del vars, 1973 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 34016 clqs
13.85/13.97 c (14.0s) probing: 2000/6687 (29.9%) - 386 fixings, 0 aggregations, 1373891 implications, 0 bound changes
14.95/15.07 c (15.1s) probing: 2402/6687 (35.9%) - 386 fixings, 0 aggregations, 1814696 implications, 0 bound changes
14.95/15.07 c (15.1s) probing aborted: 1000/1000 successive useless probings
14.95/15.07 c (round 40, exhaustive) 1336 del vars, 1973 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 34188 clqs
14.95/15.07 c (round 41, fast) 1336 del vars, 1995 del conss, 1135 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6835 upgd conss, 0 impls, 34188 clqs
15.24/15.38 c (15.4s) probing: 2502/6687 (37.4%) - 386 fixings, 0 aggregations, 1923681 implications, 0 bound changes
15.24/15.38 c (15.4s) probing aborted: 1000/1000 successive useless probings
15.24/15.38 c presolving (42 rounds: 42 fast, 23 medium, 20 exhaustive):
15.24/15.38 c 1337 deleted vars, 1996 deleted constraints, 1135 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
15.24/15.38 c 0 implications, 34290 cliques
15.24/15.38 c presolved problem has 5353 variables (5353 bin, 0 int, 0 impl, 0 cont) and 5516 constraints
15.24/15.38 c 1 constraints of type <knapsack>
15.24/15.38 c 5253 constraints of type <setppc>
15.24/15.38 c 262 constraints of type <orbitope>
15.24/15.38 c transformed objective value is always integral (scale: 1)
15.24/15.38 c Presolving Time: 15.34
15.24/15.38 c - non default parameters ----------------------------------------------------------------------
15.24/15.38 c # SCIP version 10.0.0
15.24/15.38 c
15.24/15.38 c # maximal time in seconds to run
15.24/15.38 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
15.24/15.38 c limits/time = 3596.997011
15.24/15.38 c
15.24/15.38 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
15.24/15.38 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
15.24/15.38 c limits/memory = 27900
15.24/15.38 c
15.24/15.38 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
15.24/15.38 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
15.24/15.38 c limits/solutions = 1
15.24/15.38 c
15.24/15.38 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
15.24/15.38 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
15.24/15.38 c misc/usesymmetry = 3
15.24/15.38 c
15.24/15.38 c # belongs reading time to solving time?
15.24/15.38 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
15.24/15.38 c timing/reading = TRUE
15.24/15.38 c
15.24/15.38 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
15.24/15.38 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
15.24/15.38 c propagating/symmetry/detectdoublelex = FALSE
15.24/15.38 c
15.24/15.38 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
15.24/15.38 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
15.24/15.38 c propagating/symmetry/detectsubgroups = FALSE
15.24/15.38 c
15.24/15.38 c # Type of symmetries that shall be computed?
15.24/15.38 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
15.24/15.38 c propagating/symmetry/symtype = 1
15.24/15.38 c
15.24/15.38 c # Should components consisting of a single full reflection be handled?
15.24/15.38 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
15.24/15.38 c propagating/symmetry/usesimplesgncomp = FALSE
15.24/15.38 c
15.24/15.38 c -----------------------------------------------------------------------------------------------
15.24/15.38 c start solving
15.24/15.38 c
17.94/18.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.94/18.09 c 18.1s| 1 | 0 | 7986 | - | 159M | 0 |5353 |5533 |5254 | 0 | 0 | 20 | 0 | 0.000000e+00 | -- | Inf | unknown
20.23/20.31 c 20.3s| 1 | 0 | 18484 | - | 163M | 0 |5353 |5534 |5248 | 4 | 1 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
20.63/20.76 c 20.8s| 1 | 0 | 19281 | - | 164M | 0 |5353 |5525 |5253 | 9 | 2 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
21.04/21.15 c 21.1s| 1 | 0 | 19875 | - | 165M | 0 |5353 |5525 |5256 | 12 | 3 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
21.43/21.54 c 21.5s| 1 | 0 | 20442 | - | 165M | 0 |5353 |5525 |5261 | 17 | 4 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
21.83/21.96 c 22.0s| 1 | 0 | 20770 | - | 166M | 0 |5353 |5525 |5265 | 21 | 5 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
22.33/22.43 c 22.4s| 1 | 0 | 21470 | - | 167M | 0 |5353 |5525 |5272 | 28 | 6 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
22.72/22.83 c 22.8s| 1 | 0 | 21877 | - | 167M | 0 |5353 |5525 |5277 | 33 | 7 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
23.32/23.45 c 23.4s| 1 | 0 | 23454 | - | 168M | 0 |5353 |5525 |5283 | 39 | 8 | 22 | 0 | 0.000000e+00 | -- | Inf | unknown
23.72/23.88 c 23.9s| 1 | 0 | 24203 | - | 168M | 0 |5353 |5526 |5290 | 46 | 9 | 23 | 0 | 0.000000e+00 | -- | Inf | unknown
24.12/24.26 c 24.3s| 1 | 0 | 24640 | - | 170M | 0 |5353 |5527 |5298 | 54 | 10 | 24 | 0 | 0.000000e+00 | -- | Inf | unknown
24.32/24.49 c 24.5s| 1 | 0 | 25342 | - | 171M | 0 |5353 |5528 |5305 | 61 | 11 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown
24.42/24.53 c 24.5s| 1 | 0 | 25342 | - | 171M | 0 |5353 |5528 |5305 | 61 | 11 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown
24.62/24.70 c 24.7s| 1 | 0 | 25854 | - | 172M | 0 |5353 |5528 |5310 | 66 | 12 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown
24.82/24.90 c 24.9s| 1 | 0 | 26311 | - | 172M | 0 |5353 |5528 |5313 | 69 | 13 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown
25.02/25.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
25.02/25.11 c 25.1s| 1 | 0 | 26856 | - | 174M | 0 |5353 |5528 |5316 | 72 | 14 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown
25.42/25.51 c 25.5s| 1 | 0 | 28031 | - | 175M | 0 |5353 |5528 |5320 | 76 | 15 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
25.62/25.75 c 25.7s| 1 | 0 | 28595 | - | 176M | 0 |5353 |5528 |5323 | 79 | 16 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
26.02/26.14 c 26.1s| 1 | 0 | 29741 | - | 178M | 0 |5353 |5528 |5329 | 85 | 17 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
26.22/26.36 c 26.4s| 1 | 0 | 30281 | - | 179M | 0 |5353 |5528 |5332 | 88 | 18 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
26.71/26.87 c 26.9s| 1 | 0 | 31857 | - | 179M | 0 |5353 |5528 |5297 | 96 | 19 | 27 | 0 | 0.000000e+00 | -- | Inf | unknown
27.02/27.14 c 27.1s| 1 | 0 | 32593 | - | 180M | 0 |5353 |5507 |5302 | 101 | 20 | 27 | 0 | 0.000000e+00 | -- | Inf | unknown
27.51/27.61 c 27.6s| 1 | 0 | 34211 | - | 180M | 0 |5353 |5507 |5307 | 107 | 21 | 28 | 0 | 0.000000e+00 | -- | Inf | unknown
27.81/27.93 c 27.9s| 1 | 0 | 35198 | - | 180M | 0 |5353 |5506 |5314 | 114 | 22 | 28 | 0 | 0.000000e+00 | -- | Inf | unknown
27.81/27.98 c 28.0s| 1 | 0 | 35198 | - | 180M | 0 |5353 |5506 |5314 | 114 | 22 | 28 | 0 | 0.000000e+00 | -- | Inf | unknown
28.02/28.19 c 28.2s| 1 | 0 | 35867 | - | 180M | 0 |5353 |5506 |5320 | 120 | 23 | 28 | 0 | 0.000000e+00 | -- | Inf | unknown
28.21/28.37 c 28.4s| 1 | 0 | 36208 | - | 181M | 0 |5353 |5506 |5308 | 124 | 24 | 28 | 0 | 0.000000e+00 | -- | Inf | unknown
28.51/28.60 c 28.6s| 1 | 0 | 36824 | - | 181M | 0 |5353 |5506 |5313 | 129 | 25 | 28 | 0 | 0.000000e+00 | -- | Inf | unknown
28.61/28.75 c 28.7s| 1 | 0 | 37140 | - | 181M | 0 |5353 |5507 |5317 | 133 | 26 | 29 | 0 | 0.000000e+00 | -- | Inf | unknown
28.91/29.07 c 29.1s| 1 | 0 | 38080 | - | 181M | 0 |5353 |5507 |5322 | 138 | 27 | 30 | 0 | 0.000000e+00 | -- | Inf | unknown
29.11/29.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
29.11/29.24 c 29.2s| 1 | 0 | 38480 | - | 182M | 0 |5353 |5507 |5328 | 144 | 28 | 30 | 0 | 0.000000e+00 | -- | Inf | unknown
29.41/29.57 c 29.6s| 1 | 0 | 39403 | - | 182M | 0 |5353 |5507 |5320 | 150 | 29 | 30 | 0 | 0.000000e+00 | -- | Inf | unknown
29.61/29.73 c 29.7s| 1 | 0 | 39707 | - | 182M | 0 |5353 |5507 |5328 | 158 | 30 | 30 | 0 | 0.000000e+00 | -- | Inf | unknown
30.01/30.17 c 30.2s| 1 | 0 | 41119 | - | 182M | 0 |5353 |5507 |5331 | 161 | 31 | 30 | 0 | 0.000000e+00 | -- | Inf | unknown
30.20/30.30 c 30.3s| 1 | 0 | 41402 | - | 183M | 0 |5353 |5508 |5333 | 163 | 32 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
30.60/30.75 c 30.7s| 1 | 0 | 42784 | - | 183M | 0 |5353 |5508 |5336 | 166 | 33 | 32 | 0 | 0.000000e+00 | -- | Inf | unknown
35.99/36.18 c 36.2s| 1 | 0 | 54123 | - | 183M | 0 |5353 |5530 |5336 | 166 | 33 | 64 | 13 | 0.000000e+00 | -- | Inf | unknown
36.28/36.42 c 36.4s| 1 | 0 | 54796 | - | 183M | 0 |5353 |5530 |5292 | 169 | 34 | 64 | 13 | 0.000000e+00 | -- | Inf | unknown
36.48/36.62 c 36.6s| 1 | 0 | 55417 | - | 183M | 0 |5353 |5530 |5297 | 174 | 35 | 64 | 13 | 0.000000e+00 | -- | Inf | unknown
38.48/38.68 c 38.7s| 1 | 2 | 55556 | - | 183M | 0 |5353 |5521 |5297 | 174 | 35 | 65 | 24 | 0.000000e+00 | -- | Inf | unknown
61.41/61.63 c 61.6s| 100 | 17 |152113 |1104.6 | 199M | 11 |5353 |5592 |5268 | 245 | 1 | 143 | 24 | 0.000000e+00 | -- | Inf | 83.74%
73.58/73.83 c 73.8s| 200 | 13 |205599 | 818.3 | 204M | 21 |5353 |5634 |5280 | 296 | 2 | 204 | 24 | 0.000000e+00 | -- | Inf | 97.17%
96.51/96.86 c 96.9s| 300 | 13 |305470 | 878.6 | 207M | 21 |5353 |5433 |5273 | 394 | 0 | 437 | 24 | 0.000000e+00 | -- | Inf | 98.23%
113.17/113.59 c 114s| 400 | 13 |377928 | 840.0 | 209M | 21 |5353 |5595 |5281 | 447 | 0 | 614 | 24 | 0.000000e+00 | -- | Inf | 99.16%
134.11/134.56 c 135s| 500 | 5 |470100 | 856.4 | 211M | 21 |5353 |5664 |5281 | 506 | 1 | 793 | 24 | 0.000000e+00 | -- | Inf | 99.99%
138.00/138.40 c
138.00/138.40 c SCIP Status : problem is solved [infeasible]
138.00/138.40 c Solving Time (sec) : 138.40
138.00/138.40 c Solving Nodes : 523
138.00/138.40 c Primal Bound : +1.00000000000000e+20 (0 solutions)
138.00/138.40 c Dual Bound : +1.00000000000000e+20
138.00/138.40 c Gap : 0.00 %
138.00/138.40 s UNSATISFIABLE
138.00/138.40 c SCIP Status : problem is solved [infeasible]
138.00/138.40 c Total Time : 138.40
138.00/138.40 c solving : 138.40
138.00/138.40 c presolving : 15.34 (included in solving)
138.00/138.40 c reading : 0.02 (included in solving)
138.00/138.40 c copying : 0.42 (27 #copies) (minimal 0.01, maximal 0.02, average 0.02)
138.00/138.40 c Original Problem :
138.00/138.40 c Problem name : HOME/instance-4515248-1751232454.opb
138.00/138.40 c Variables : 6689 (6689 binary, 0 integer, 0 implicit integer, 0 continuous)
138.00/138.40 c Constraints : 6377 initial, 6377 maximal
138.00/138.40 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
138.00/138.40 c Presolved Problem :
138.00/138.40 c Problem name : t_HOME/instance-4515248-1751232454.opb
138.00/138.40 c Variables : 5353 (5353 binary, 0 integer, 0 implicit integer, 0 continuous)
138.00/138.40 c Constraints : 5516 initial, 5707 maximal
138.00/138.40 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
138.00/138.40 c Nonzeros : 44969 constraint, 80425 clique table
138.00/138.40 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
138.00/138.40 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c domcol : 0.02 0.00 18 0 0 0 0 0 0 0 0 0
138.00/138.40 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c dualsparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
138.00/138.40 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c implics : 0.00 0.00 23 0 0 0 0 0 0 0 0 0
138.00/138.40 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c milp : 0.04 0.00 1 1 0 0 0 0 0 0 0 0
138.00/138.40 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c sparsify : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
138.00/138.40 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c trivial : 0.00 0.00 42 1 0 0 0 0 0 0 0 0
138.00/138.40 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c dualfix : 0.00 0.00 42 1 0 0 0 0 0 0 0 0
138.00/138.40 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c probing : 5.42 0.00 18 386 0 0 0 0 0 0 0 0
138.00/138.40 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c symmetry : 9.03 0.00 1 833 0 0 0 0 172 1135 0 0
138.00/138.40 c vbounds : 0.01 0.00 3 2 0 0 0 0 0 0 0 0
138.00/138.40 c knapsack : 0.41 0.00 82 0 0 0 0 0 0 0 0 0
138.00/138.40 c setppc : 0.25 0.00 82 0 5 0 0 0 1581 0 0 0
138.00/138.40 c linear : 0.08 0.00 12 0 0 0 0 0 2 0 0 0
138.00/138.40 c orbitope : 0.00 0.00 21 107 0 0 0 0 241 0 0 0
138.00/138.40 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
138.00/138.40 c root node : - - - 1691 - - 1691 - - - - -
138.00/138.40 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
138.00/138.40 c benderslp : 0 0 0 0 262 0 0 48 0 0 0 0 0 0 0
138.00/138.40 c integral : 0 0 0 0 262 0 0 48 0 0 1 0 0 0 522
138.00/138.40 c knapsack : 1 1 34 24981 0 0 0 44 164 7 549 0 0 0 0
138.00/138.40 c setppc : 5253+ 5270 34 24974 0 0 0 7 164408 28 174892 5 5 0 0
138.00/138.40 c orbitope : 262 262 0 21566 0 0 0 0 213 12 195 0 0 0 0
138.00/138.40 c logicor : 0+ 691 34 830 0 0 0 0 552 4 169 0 0 0 0
138.00/138.40 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
138.00/138.40 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
138.00/138.40 c integral : 4.89 0.00 0.00 0.00 4.89 0.00 0.00 0.00 0.00 0.00
138.00/138.40 c knapsack : 1.95 0.00 0.61 1.31 0.00 0.00 0.00 0.01 0.00 0.01
138.00/138.40 c setppc : 2.14 0.00 0.01 2.05 0.00 0.00 0.00 0.00 0.04 0.04
138.00/138.40 c orbitope : 0.54 0.00 0.00 0.53 0.00 0.00 0.00 0.00 0.00 0.00
138.00/138.40 c logicor : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
138.00/138.40 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
138.00/138.40 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
138.00/138.40 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
138.00/138.40 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
138.00/138.40 c Propagators : #Propagate #ResProp Cutoffs DomReds
138.00/138.40 c dualfix : 5 0 0 0
138.00/138.40 c genvbounds : 0 0 0 0
138.00/138.40 c nlobbt : 0 0 0 0
138.00/138.40 c obbt : 0 0 0 0
138.00/138.40 c probing : 0 0 0 0
138.00/138.40 c pseudoobj : 0 0 0 0
138.00/138.40 c redcost : 0 0 0 0
138.00/138.40 c rootredcost : 0 0 0 0
138.00/138.40 c symmetry : 0 0 0 0
138.00/138.40 c vbounds : 3962 0 0 0
138.00/138.40 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
138.00/138.40 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
138.00/138.40 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
138.00/138.40 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
138.00/138.40 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
138.00/138.40 c probing : 5.42 0.00 5.42 0.00 0.00 0.00
138.00/138.40 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
138.00/138.40 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
138.00/138.40 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
138.00/138.40 c symmetry : 9.05 0.00 9.03 0.01 0.00 0.00
138.00/138.40 c vbounds : 0.04 0.00 0.01 0.03 0.00 0.00
138.00/138.40 c Symmetry :
138.00/138.40 c orbitopal red. : 0 reductions applied, 0 cutoffs
138.00/138.40 c orbital reduction: 0 reductions applied, 0 cutoffs
138.00/138.40 c lexicographic red: 0 reductions applied, 0 cutoffs
138.00/138.40 c shadow tree time : 0.00 s
138.00/138.40 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
138.00/138.40 c propagation : 0.05 44 41 - 140 2636.6 0 0.0 - - -
138.00/138.40 c infeasible LP : 0.94 293 196 - 1991 330.6 0 0.0 1 3039.0 0
138.00/138.40 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
138.00/138.40 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
138.00/138.40 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
138.00/138.40 c applied globally : 0.37 - - 0 826 193.5 - - 1 - -
138.00/138.40 c applied locally : - - - 0 1 4742.0 - - 0 - -
138.00/138.40 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
138.00/138.40 c cut pool : 0.02 - 141 68 - - 378 2968 - - - - - (maximal pool size: 377)
138.00/138.40 c aggregation : 0.18 0.00 67 34 0 0 0 0 0 0 0 0 0
138.00/138.40 c > cmir : - - - - - - - 0 0 0 0 0 -
138.00/138.40 c > flowcover : - - - - - - - 0 0 0 0 0 -
138.00/138.40 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
138.00/138.40 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c clique : 0.34 0.00 34 34 0 0 303 2559 0 370 370 0 0
138.00/138.40 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
138.00/138.40 c gomory : 4.16 0.00 43 10 0 0 36 165 0 39 39 0 0
138.00/138.41 c > gomorymi : - - - - - - - 34 0 4 4 0 -
138.00/138.41 c > strongcg : - - - - - - - 131 0 35 35 0 -
138.00/138.41 c impliedbounds : 0.11 0.00 67 34 0 26 0 0 0 0 0 0 0
138.00/138.41 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
138.00/138.41 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
138.00/138.41 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
138.00/138.41 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
138.00/138.41 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
138.00/138.41 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
138.00/138.41 c multilinear : 0.00 0.00 64 34 0 0 0 0 0 0 0 0 0
138.00/138.41 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
138.00/138.41 c rapidlearning : 2.58 0.00 24 1 0 41 0 0 0 0 0 0 0
138.00/138.41 c rlt : 0.00 0.00 28 10 0 0 0 0 0 0 0 0 0
138.00/138.41 c zerohalf : 0.26 0.00 53 20 0 0 91 244 52 102 69 33 0
138.00/138.41 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
138.00/138.41 c hybrid : 0.01 0.00 85 35 516 0 2509 174 0 1024
138.00/138.41 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
138.00/138.41 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
138.00/138.41 c Pricers : ExecTime SetupTime Calls Vars
138.00/138.41 c problem variables: 0.00 - 0 0
138.00/138.41 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
138.00/138.41 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
138.00/138.41 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
138.00/138.41 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
138.00/138.41 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
138.00/138.41 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
138.00/138.41 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
138.00/138.41 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
138.00/138.41 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
138.00/138.41 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
138.00/138.41 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
138.00/138.41 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
138.00/138.41 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
138.00/138.41 c random : 0.00 0.00 0 0 0 0 0 0 0 0
138.00/138.41 c relpscost : 4.89 0.00 262 0 0 0 1 0 0 522
138.00/138.41 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
138.00/138.41 c Primal Heuristics : ExecTime SetupTime Calls Found Best
138.00/138.41 c LP solutions : 0.00 - - 0 0
138.00/138.41 c relax solutions : 0.00 - - 0 0
138.00/138.41 c pseudo solutions : 0.00 - - 0 0
138.00/138.41 c strong branching : 0.00 - - 0 0
138.00/138.41 c actconsdiving : 0.00 0.00 0 0 0
138.00/138.41 c adaptivediving : 2.38 0.00 2 0 0
138.00/138.41 c alns : 0.26 0.00 4 0 0
138.00/138.41 c bound : 0.00 0.00 0 0 0
138.00/138.41 c clique : 0.03 0.00 1 0 0
138.00/138.41 c coefdiving : 0.00 0.00 0 0 0
138.00/138.41 c completesol : 0.00 0.00 0 0 0
138.00/138.41 c conflictdiving : 3.94 0.00 2 0 0
138.00/138.41 c crossover : 0.00 0.00 0 0 0
138.00/138.41 c dins : 0.00 0.00 0 0 0
138.00/138.41 c distributiondivin: 0.30 0.00 1 0 0
138.00/138.41 c dps : 0.00 0.00 0 0 0
138.00/138.41 c dualval : 0.00 0.00 0 0 0
138.00/138.41 c farkasdiving : 0.00 0.00 0 0 0
138.00/138.41 c feasjump : 0.17 0.00 1 0 0
138.00/138.41 c feaspump : 1.57 0.00 1 0 0
138.00/138.41 c fixandinfer : 0.00 0.00 0 0 0
138.00/138.41 c fracdiving : 1.17 0.00 1 0 0
138.00/138.41 c gins : 0.00 0.00 0 0 0
138.00/138.41 c guideddiving : 0.00 0.00 0 0 0
138.00/138.41 c indcoefdiving : 0.00 0.00 0 0 0
138.00/138.41 c indicator : 0.00 0.00 0 0 0
138.00/138.41 c indicatordiving : 0.00 0.00 0 0 0
138.00/138.41 c indoneopt : 0.00 0.00 0 0 0
138.00/138.41 c indrounding : 0.00 0.00 0 0 0
138.00/138.41 c indtwoopt : 0.00 0.00 0 0 0
138.00/138.41 c intdiving : 0.00 0.00 0 0 0
138.00/138.41 c intshifting : 0.00 0.00 0 0 0
138.00/138.41 c linesearchdiving : 0.35 0.00 1 0 0
138.00/138.41 c localbranching : 0.00 0.00 0 0 0
138.00/138.41 c locks : 0.04 0.00 1 0 0
138.00/138.41 c lpface : 0.00 0.00 0 0 0
138.00/138.41 c mpec : 0.00 0.00 0 0 0
138.00/138.41 c multistart : 0.00 0.00 0 0 0
138.00/138.41 c mutation : 0.00 0.00 0 0 0
138.00/138.41 c nlpdiving : 0.00 0.00 0 0 0
138.00/138.41 c objpscostdiving : 0.29 0.00 1 0 0
138.00/138.41 c octane : 0.00 0.00 0 0 0
138.00/138.41 c ofins : 0.00 0.00 0 0 0
138.00/138.41 c oneopt : 0.00 0.00 0 0 0
138.00/138.41 c padm : 0.00 0.00 0 0 0
138.00/138.41 c proximity : 0.00 0.00 0 0 0
138.00/138.41 c pscostdiving : 2.30 0.00 1 0 0
138.00/138.41 c randrounding : 1.35 0.00 56 0 0
138.00/138.41 c rens : 0.11 0.00 1 0 0
138.00/138.41 c reoptsols : 0.00 0.00 0 0 0
138.00/138.41 c repair : 0.00 0.00 0 0 0
138.00/138.41 c rins : 0.00 0.00 0 0 0
138.00/138.41 c rootsoldiving : 0.13 0.00 1 0 0
138.00/138.41 c rounding : 0.60 0.00 210 0 0
138.00/138.41 c scheduler : 0.00 0.00 0 0 0
138.00/138.41 c shiftandpropagate: 0.42 0.00 1 0 0
138.00/138.41 c shifting : 1.64 0.00 98 0 0
138.00/138.41 c simplerounding : 0.00 0.00 0 0 0
138.00/138.41 c smallcard : 0.00 0.00 0 0 0
138.00/138.41 c subnlp : 0.00 0.00 0 0 0
138.00/138.41 c trivial : 0.00 0.00 2 0 0
138.00/138.41 c trivialnegation : 0.00 0.00 0 0 0
138.00/138.41 c trustregion : 0.00 0.00 0 0 0
138.00/138.41 c trysol : 0.00 0.00 0 0 0
138.00/138.41 c twoopt : 0.00 0.00 0 0 0
138.00/138.41 c undercover : 0.00 0.00 0 0 0
138.00/138.41 c vbounds : 0.62 0.00 1 0 0
138.00/138.41 c veclendiving : 0.19 0.00 1 0 0
138.00/138.41 c zeroobj : 0.00 0.00 0 0 0
138.00/138.41 c zirounding : 0.03 0.00 260 0 0
138.00/138.41 c other solutions : - - - 0 -
138.00/138.41 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
138.00/138.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
138.00/138.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
138.00/138.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
138.00/138.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
138.00/138.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
138.00/138.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
138.00/138.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
138.00/138.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
138.00/138.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
138.00/138.41 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
138.00/138.41 c primal LP : 0.09 34 0 0.00 0.00 0.09 34
138.00/138.41 c dual LP : 89.83 628 421195 691.62 4688.86 0.03 19
138.00/138.41 c lex dual LP : 0.00 0 0 0.00 -
138.00/138.41 c barrier LP : 0.00 0 0 0.00 - 0.00 0
138.00/138.41 c resolve instable : 0.00 0 0 0.00 -
138.00/138.41 c diving/probing LP: 13.43 121 65727 543.20 4893.48
138.00/138.41 c strong branching : 4.40 24 16755 698.12 3803.76 - - 29
138.00/138.41 c (at root node) : - 24 16755 698.12 -
138.00/138.41 c conflict analysis: 0.00 0 0 0.00 -
138.00/138.41 c B&B Tree :
138.00/138.41 c number of runs : 1
138.00/138.41 c nodes : 523 (261 internal, 262 leaves)
138.00/138.41 c feasible leaves : 0
138.00/138.41 c infeas. leaves : 262
138.00/138.41 c objective leaves : 0
138.00/138.41 c nodes (total) : 523 (261 internal, 262 leaves)
138.00/138.41 c nodes left : 0
138.00/138.41 c max depth : 21
138.00/138.41 c max depth (total): 21
138.00/138.41 c backtracks : 125 (23.9%)
138.00/138.41 c early backtracks : 0 (0.0%)
138.00/138.41 c nodes exc. ref. : 0 (0.0%)
138.00/138.41 c delayed cutoffs : 0
138.00/138.41 c repropagations : 419 (8885 domain reductions, 0 cutoffs)
138.00/138.41 c avg switch length: 4.59
138.00/138.41 c switching time : 0.30
138.00/138.41 c Root Node :
138.00/138.41 c First LP value : +0.00000000000000e+00
138.00/138.41 c First LP Iters : 6669 (4687.15 Iter/sec)
138.00/138.41 c First LP Time : 1.42
138.00/138.41 c Final Dual Bound : -
138.00/138.41 c Final Root Iters : 42761
138.00/138.41 c Root LP Estimate : +5.71960082068450e-03
138.00/138.41 c Solution :
138.00/138.41 c Solutions found : 0 (0 improvements)
138.00/138.41 c Primal Bound : infeasible
138.00/138.41 c Dual Bound : -
138.00/138.41 c Gap : 0.00 %
138.00/138.41 c Integrals : Total Avg%
138.00/138.41 c primal-dual : - - (problem infeasible)
138.00/138.41 c primal-ref : - - (problem infeasible)
138.00/138.41 c dual-ref : - - (problem infeasible)
138.00/138.45 c Time complete: 138.057.
ERROR: no interpretation found !
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: 63665 MiB (62131 MiB free)
memory of node 1: 64507 MiB (37067 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515248-1751232454/watcher-4515248-1751232454 -o /tmp/evaluation-result-4515248-1751232454/solver-4515248-1751232454 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751227488-29472 --watchdog 3760 pbscip -f HOME/instance-4515248-1751232454.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=30731, runsolver pid=30728
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 4.13 4.12 4.08 5/263 30732
/proc/meminfo: memFree=101543872/131249988 swapFree=33010684/33010684
[pid=30731] ppid=30728 vsize=82724 memory=56232 CPUtime=0.09 cores=0,2
/proc/30731/stat : 30731 (pbscip) R 30728 30731 29462 0 -1 4194304 11792 0 0 0 8 1 0 0 20 0 1 0 38924254 84709376 14058 18446744073709551615 4235264 18693293 140736976434352 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35938304 140736976443785 140736976443884 140736976443884 140736976449486 0
/proc/30731/statm: 20681 14058 3744 3530 0 12132 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 82724 KiB
Current children cumulated memory: 56232 KiB
[startup+0.205687 s]*
/proc/loadavg: 4.13 4.12 4.08 5/263 30732
/proc/meminfo: memFree=101543872/131249988 swapFree=33010684/33010684
[pid=30731] ppid=30728 vsize=88008 memory=61916 CPUtime=0.2 cores=0,2
/proc/30731/stat : 30731 (pbscip) R 30728 30731 29462 0 -1 4194304 13868 0 0 0 18 2 0 0 20 0 1 0 38924254 90120192 15479 18446744073709551615 4235264 18693293 140736976434352 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35938304 140736976443785 140736976443884 140736976443884 140736976449486 0
/proc/30731/statm: 22002 15479 3808 3530 0 13453 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 88008 KiB
Current children cumulated memory: 61916 KiB
[startup+0.305468 s]*
/proc/loadavg: 4.13 4.12 4.08 5/263 30732
/proc/meminfo: memFree=101543888/131249988 swapFree=33010684/33010684
[pid=30731] ppid=30728 vsize=88636 memory=62556 CPUtime=0.3 cores=0,2
/proc/30731/stat : 30731 (pbscip) R 30728 30731 29462 0 -1 4194304 14017 0 0 0 28 2 0 0 20 0 1 0 38924254 90763264 15639 18446744073709551615 4235264 18693293 140736976434352 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35938304 140736976443785 140736976443884 140736976443884 140736976449486 0
/proc/30731/statm: 22159 15639 3808 3530 0 13610 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 88636 KiB
Current children cumulated memory: 62556 KiB
[startup+0.700128 s]
/proc/loadavg: 4.12 4.12 4.08 5/263 30732
/proc/meminfo: memFree=101542124/131249988 swapFree=33010684/33010684
[pid=30731] ppid=30728 vsize=95568 memory=68700 CPUtime=0.68 cores=0,2
/proc/30731/stat : 30731 (pbscip) R 30728 30731 29462 0 -1 4194304 15569 0 0 0 66 2 0 0 20 0 1 0 38924254 97861632 17175 18446744073709551615 4235264 18693293 140736976434352 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35938304 140736976443785 140736976443884 140736976443884 140736976449486 0
/proc/30731/statm: 23892 17175 3808 3530 0 15343 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 95568 KiB
Current children cumulated memory: 68700 KiB
[startup+1.50016 s]
/proc/loadavg: 4.12 4.12 4.08 5/263 30732
/proc/meminfo: memFree=101536076/131249988 swapFree=33010684/33010684
[pid=30731] ppid=30728 vsize=95568 memory=68700 CPUtime=1.48 cores=0,2
/proc/30731/stat : 30731 (pbscip) R 30728 30731 29462 0 -1 4194304 15573 0 0 0 146 2 0 0 20 0 1 0 38924254 97861632 17175 18446744073709551615 4235264 18693293 140736976434352 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35938304 140736976443785 140736976443884 140736976443884 140736976449486 0
/proc/30731/statm: 23892 17175 3808 3530 0 15343 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 95568 KiB
Current children cumulated memory: 68700 KiB
[startup+3.10542 s]
/proc/loadavg: 4.12 4.12 4.08 5/263 30733
/proc/meminfo: memFree=101502232/131249988 swapFree=33010684/33010684
[pid=30731] ppid=30728 vsize=148992 memory=113236 CPUtime=3.08 cores=0,2
/proc/30731/stat : 30731 (pbscip) R 30728 30731 29462 0 -1 4194304 26271 0 0 0 304 4 0 0 20 0 1 0 38924254 152567808 28309 18446744073709551615 4235264 18693293 140736976434352 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35938304 140736976443785 140736976443884 140736976443884 140736976449486 0
/proc/30731/statm: 37248 28309 3808 3530 0 28699 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 148992 KiB
Current children cumulated memory: 113236 KiB
[startup+6.30015 s]
/proc/loadavg: 4.11 4.12 4.08 5/263 30733
/proc/meminfo: memFree=101478040/131249988 swapFree=33010684/33010684
[pid=30731] ppid=30728 vsize=169844 memory=133972 CPUtime=6.27 cores=0,2
/proc/30731/stat : 30731 (pbscip) R 30728 30731 29462 0 -1 4194304 31461 0 0 0 623 4 0 0 20 0 1 0 38924254 173920256 33493 18446744073709551615 4235264 18693293 140736976434352 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35938304 140736976443785 140736976443884 140736976443884 140736976449486 0
/proc/30731/statm: 42461 33493 3808 3530 0 33912 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 169844 KiB
Current children cumulated memory: 133972 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.12 4.08 5/263 30733
/proc/meminfo: memFree=101462448/131249988 swapFree=33010684/33010684
[pid=30731] ppid=30728 vsize=186724 memory=151380 CPUtime=12.65 cores=0,2
/proc/30731/stat : 30731 (pbscip) R 30728 30731 29462 0 -1 4194304 35797 0 0 0 1261 4 0 0 20 0 1 0 38924254 191205376 37845 18446744073709551615 4235264 18693293 140736976434352 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35938304 140736976443785 140736976443884 140736976443884 140736976449486 0
/proc/30731/statm: 46681 37845 3808 3530 0 38132 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 186724 KiB
Current children cumulated memory: 151380 KiB
[startup+25.5001 s]
/proc/loadavg: 4.09 4.11 4.08 5/262 30733
/proc/meminfo: memFree=101407220/131249988 swapFree=33010684/33010684
[pid=30731] ppid=30728 vsize=255368 memory=215864 CPUtime=25.42 cores=0,2
/proc/30731/stat : 30731 (pbscip) R 30728 30731 29462 0 -1 4194304 53362 0 0 0 2535 7 0 0 20 0 1 0 38924254 261496832 53966 18446744073709551615 4235264 18693293 140736976434352 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35938304 140736976443785 140736976443884 140736976443884 140736976449486 0
/proc/30731/statm: 63842 53966 4000 3530 0 55293 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 255368 KiB
Current children cumulated memory: 215864 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.12 4.08 5/262 30733
/proc/meminfo: memFree=101376672/131249988 swapFree=33010684/33010684
[pid=30731] ppid=30728 vsize=277376 memory=238424 CPUtime=50.95 cores=0,2
/proc/30731/stat : 30731 (pbscip) R 30728 30731 29462 0 -1 4194304 59815 0 0 0 5087 8 0 0 20 0 1 0 38924254 284033024 59606 18446744073709551615 4235264 18693293 140736976434352 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35938304 140736976443785 140736976443884 140736976443884 140736976449486 0
/proc/30731/statm: 69344 59606 4000 3530 0 60795 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 277376 KiB
Current children cumulated memory: 238424 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/262 30735
/proc/meminfo: memFree=101280204/131249988 swapFree=33010684/33010684
[pid=30731] ppid=30728 vsize=294076 memory=256668 CPUtime=101.99 cores=0,2
/proc/30731/stat : 30731 (pbscip) R 30728 30731 29462 0 -1 4194304 68311 0 0 0 10190 9 0 0 20 0 1 0 38924254 301133824 64167 18446744073709551615 4235264 18693293 140736976434352 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35938304 140736976443785 140736976443884 140736976443884 140736976449486 0
/proc/30731/statm: 73519 64167 4000 3530 0 64970 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 294076 KiB
Current children cumulated memory: 256668 KiB
[startup+138.463 s]
# the end of solver process 30731 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=137.947 s, system=0.120623 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.10 4.11 4.08 5/262 30735
/proc/meminfo: memFree=101280204/131249988 swapFree=33010684/33010684
[pid=30731] ppid=30728 vsize=294076 memory=256668 CPUtime=102.09 cores=0,2
/proc/30731/stat : 30731 (pbscip) R 30728 30731 29462 0 -1 4194304 68311 0 0 0 10200 9 0 0 20 0 1 0 38924254 301133824 64167 18446744073709551615 4235264 18693293 140736976434352 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35938304 140736976443785 140736976443884 140736976443884 140736976449486 0
/proc/30731/statm: 73519 64167 4000 3530 0 64970 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 294076 KiB
Current children cumulated memory: 256668 KiB
[startup+115.2 s]
/proc/loadavg: 4.08 4.11 4.08 5/262 30735
/proc/meminfo: memFree=101277376/131249988 swapFree=33010684/33010684
[pid=30731] ppid=30728 vsize=300936 memory=263452 CPUtime=114.86 cores=0,2
/proc/30731/stat : 30731 (pbscip) R 30728 30731 29462 0 -1 4194304 70011 0 0 0 11476 10 0 0 20 0 1 0 38924254 308158464 65863 18446744073709551615 4235264 18693293 140736976434352 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35938304 140736976443785 140736976443884 140736976443884 140736976449486 0
/proc/30731/statm: 75234 65863 4000 3530 0 66685 0
Current children cumulated CPU time: 114.86 s
Current children cumulated vsize: 300936 KiB
Current children cumulated memory: 263452 KiB
[startup+128 s]*
/proc/loadavg: 4.14 4.12 4.08 5/263 30742
/proc/meminfo: memFree=101283400/131249988 swapFree=33010684/33010684
[pid=30731] ppid=30728 vsize=299628 memory=262236 CPUtime=127.63 cores=0,2
/proc/30731/stat : 30731 (pbscip) R 30728 30731 29462 0 -1 4194304 72369 0 0 0 12753 10 0 0 20 0 1 0 38924254 306819072 65559 18446744073709551615 4235264 18693293 140736976434352 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35938304 140736976443785 140736976443884 140736976443884 140736976449486 0
/proc/30731/statm: 74907 65559 4000 3530 0 66358 0
Current children cumulated CPU time: 127.63 s
Current children cumulated vsize: 299628 KiB
Current children cumulated memory: 262236 KiB
[startup+134.4 s]
/proc/loadavg: 4.13 4.12 4.08 5/263 30742
/proc/meminfo: memFree=101280056/131249988 swapFree=33010684/33010684
[pid=30731] ppid=30728 vsize=308000 memory=270316 CPUtime=134.01 cores=0,2
/proc/30731/stat : 30731 (pbscip) R 30728 30731 29462 0 -1 4194304 75165 0 0 0 13390 11 0 0 20 0 1 0 38924254 315392000 67579 18446744073709551615 4235264 18693293 140736976434352 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35938304 140736976443785 140736976443884 140736976443884 140736976449486 0
/proc/30731/statm: 77000 67579 4000 3530 0 68451 0
Current children cumulated CPU time: 134.01 s
Current children cumulated vsize: 308000 KiB
Current children cumulated memory: 270316 KiB
[startup+136 s]*
/proc/loadavg: 4.12 4.11 4.08 5/263 30742
/proc/meminfo: memFree=101268464/131249988 swapFree=33010684/33010684
[pid=30731] ppid=30728 vsize=308000 memory=270316 CPUtime=135.61 cores=0,2
/proc/30731/stat : 30731 (pbscip) R 30728 30731 29462 0 -1 4194304 75166 0 0 0 13550 11 0 0 20 0 1 0 38924254 315392000 67579 18446744073709551615 4235264 18693293 140736976434352 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35938304 140736976443785 140736976443884 140736976443884 140736976449486 0
/proc/30731/statm: 77000 67579 4000 3530 0 68451 0
Current children cumulated CPU time: 135.61 s
Current children cumulated vsize: 308000 KiB
Current children cumulated memory: 270316 KiB
[startup+137.6 s]
/proc/loadavg: 4.12 4.11 4.08 5/263 30742
/proc/meminfo: memFree=101268464/131249988 swapFree=33010684/33010684
[pid=30731] ppid=30728 vsize=308000 memory=270316 CPUtime=137.2 cores=0,2
/proc/30731/stat : 30731 (pbscip) R 30728 30731 29462 0 -1 4194304 75166 0 0 0 13709 11 0 0 20 0 1 0 38924254 315392000 67579 18446744073709551615 4235264 18693293 140736976434352 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35938304 140736976443785 140736976443884 140736976443884 140736976449486 0
/proc/30731/statm: 77000 67579 4000 3530 0 68451 0
Current children cumulated CPU time: 137.2 s
Current children cumulated vsize: 308000 KiB
Current children cumulated memory: 270316 KiB
[startup+138 s]*
/proc/loadavg: 4.12 4.11 4.08 5/263 30742
/proc/meminfo: memFree=101268464/131249988 swapFree=33010684/33010684
[pid=30731] ppid=30728 vsize=308000 memory=270316 CPUtime=137.6 cores=0,2
/proc/30731/stat : 30731 (pbscip) R 30728 30731 29462 0 -1 4194304 75166 0 0 0 13749 11 0 0 20 0 1 0 38924254 315392000 67579 18446744073709551615 4235264 18693293 140736976434352 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35938304 140736976443785 140736976443884 140736976443884 140736976449486 0
/proc/30731/statm: 77000 67579 4000 3530 0 68451 0
Current children cumulated CPU time: 137.6 s
Current children cumulated vsize: 308000 KiB
Current children cumulated memory: 270316 KiB
[startup+138.4 s]
/proc/loadavg: 4.12 4.11 4.08 5/263 30742
/proc/meminfo: memFree=101268464/131249988 swapFree=33010684/33010684
[pid=30731] ppid=30728 vsize=304840 memory=267464 CPUtime=138 cores=0,2
/proc/30731/stat : 30731 (pbscip) R 30728 30731 29462 0 -1 4194304 75193 0 0 0 13789 11 0 0 20 0 1 0 38924254 312156160 66866 18446744073709551615 4235264 18693293 140736976434352 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 35938304 140736976443785 140736976443884 140736976443884 140736976449486 0
/proc/30731/statm: 76210 66866 4000 3530 0 67661 0
Current children cumulated CPU time: 138 s
Current children cumulated vsize: 304840 KiB
Current children cumulated memory: 267464 KiB
Child status: 0
Real time (s): 138.463
CPU time (s): 138.067
CPU user time (s): 137.947
CPU system time (s): 0.120623
CPU usage (%): 99.7139
Max. virtual memory (cumulated for all children) (KiB): 308000
Max. memory (cumulated for all children) (KiB): 270316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 137.947
system time used= 0.120623
maximum resident set size= 270316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75199
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= 84
involuntary context switches= 314
# summary of solver processes directly reported to runsolver:
# pid: 30731
# total CPU time (s): 138.067
# total CPU user time (s): 137.947
# total CPU system time (s): 0.120623
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.210874 second user time and 0.653317 second system time
The end
Begin job on nodeC034 at 2025-06-29 23:27:34 IDJOB=4515248 IDBENCH=164254 IDSOLVER=3365 FILE ID=nodeC034/4515248-1751232454 RUNJOBID= nodeC034-1751227488-29472 SLURM_JOB_ID= 9587686 Free space on /tmp= 432572 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-ab71-20-100.0.u.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515248-1751232454/watcher-4515248-1751232454 -o /tmp/evaluation-result-4515248-1751232454/solver-4515248-1751232454 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751227488-29472 --watchdog 3760 pbscip -f HOME/instance-4515248-1751232454.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5a0bcd4a9e5bc1c51804f47b1691eae0 RANDOM SEED=282706038 nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.821 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.753 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3598.708 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3598.621 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.685 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.757 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.213 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3603.545 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 101579904 kB MemAvailable: 101862676 kB Buffers: 3280 kB Cached: 1091952 kB SwapCached: 0 kB Active: 28070556 kB Inactive: 869792 kB Active(anon): 27863220 kB Inactive(anon): 0 kB Active(file): 207336 kB Inactive(file): 869792 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 19180 kB Writeback: 0 kB AnonPages: 27846612 kB Mapped: 137044 kB Shmem: 18104 kB KReclaimable: 89364 kB Slab: 175724 kB SReclaimable: 89364 kB SUnreclaim: 86360 kB KernelStack: 4240 kB PageTables: 58592 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 30191152 kB VmallocTotal: 34359738367 kB VmallocUsed: 150568 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 8925184 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 189140 kB DirectMap2M: 7970816 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432552 MiB End job on nodeC034 at 2025-06-29 23:29:53