| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | UNSAT | 35.8168 | 36.0588 |
| Name | PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat12_11_identity_complement.opb |
| MD5SUM | 6b491c2baabcf28ebf0b874cd3568279 |
| 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 | 1.17133 |
| 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 | 1584 |
| Total number of constraints | 50832 |
| Number of constraints which are clauses | 47928 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2904 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 11 |
| 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 | 10 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| 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.02 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.02 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.02 c
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c reading problem <HOME/instance-4544813-1753220780.opb>
0.18/0.26 c original problem has 1584 variables (1584 bin, 0 int, 0 impl, 0 cont) and 50832 constraints
0.18/0.26 c problem read in 0.25
0.18/0.27 c No objective function, only one solution is needed.
0.28/0.39 c presolving:
0.48/0.53 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 1452 chg coeffs, 0 upgd conss, 0 impls, 32670 clqs
0.57/0.67 c (0.7s) running MILP presolver
0.75/0.85 c (0.8s) MILP presolver found nothing
0.94/1.04 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 1452 chg coeffs, 50832 upgd conss, 0 impls, 32670 clqs
1.05/1.14 c (round 3, medium) 0 del vars, 1452 del conss, 2904 add conss, 0 chg bounds, 0 chg sides, 1452 chg coeffs, 50832 upgd conss, 0 impls, 35574 clqs
1.14/1.27 c (round 4, exhaustive) 0 del vars, 5502 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1452 chg coeffs, 50832 upgd conss, 0 impls, 35574 clqs
1.24/1.39 c (round 5, exhaustive) 11 del vars, 5513 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1452 chg coeffs, 50832 upgd conss, 0 impls, 35552 clqs
1.43/1.52 c (round 6, exhaustive) 11 del vars, 6228 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 35552 clqs
2.92/3.09 c (round 7, exhaustive) 36 del vars, 6228 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 47728 clqs
3.02/3.11 c (round 8, fast) 36 del vars, 6309 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 47728 clqs
3.51/3.66 c (round 9, exhaustive) 61 del vars, 6309 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 49499 clqs
3.51/3.67 c (round 10, fast) 61 del vars, 6444 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 49499 clqs
4.10/4.25 c (round 11, exhaustive) 86 del vars, 6444 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 51002 clqs
4.10/4.27 c (round 12, fast) 86 del vars, 6621 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 51002 clqs
4.59/4.74 c (round 13, exhaustive) 111 del vars, 6625 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 51369 clqs
4.59/4.76 c (round 14, fast) 111 del vars, 6862 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 51369 clqs
5.00/5.13 c (round 15, exhaustive) 136 del vars, 6868 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 50872 clqs
5.00/5.15 c (round 16, fast) 136 del vars, 7165 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 50872 clqs
5.39/5.51 c (round 17, exhaustive) 161 del vars, 7170 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 50257 clqs
5.39/5.52 c (round 18, fast) 161 del vars, 7524 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 50257 clqs
5.79/5.94 c (round 19, exhaustive) 186 del vars, 7534 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 50216 clqs
5.79/5.95 c (round 20, fast) 186 del vars, 7945 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 50216 clqs
6.08/6.24 c (round 21, exhaustive) 211 del vars, 7955 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 49279 clqs
6.08/6.26 c (round 22, fast) 211 del vars, 8419 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 49279 clqs
6.38/6.57 c (round 23, exhaustive) 236 del vars, 8428 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 48533 clqs
6.38/6.59 c (round 24, fast) 236 del vars, 8952 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 48533 clqs
6.67/6.86 c (round 25, exhaustive) 261 del vars, 8965 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 47444 clqs
6.67/6.88 c (round 26, fast) 261 del vars, 9537 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 47444 clqs
6.97/7.16 c (round 27, exhaustive) 286 del vars, 9548 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 46439 clqs
6.97/7.18 c (round 28, fast) 286 del vars, 10164 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 46439 clqs
7.26/7.44 c (round 29, exhaustive) 311 del vars, 10187 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 45327 clqs
7.26/7.46 c (round 30, fast) 311 del vars, 10861 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 45327 clqs
7.56/7.74 c (round 31, exhaustive) 336 del vars, 10880 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 44307 clqs
7.56/7.76 c (round 32, fast) 336 del vars, 11597 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 44307 clqs
7.76/7.98 c (8.0s) probing: 1000/1573 (63.6%) - 0 fixings, 346 aggregations, 39412 implications, 0 bound changes
7.76/8.00 c (round 33, exhaustive) 361 del vars, 11614 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 43029 clqs
7.86/8.02 c (round 34, fast) 361 del vars, 12405 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 43029 clqs
8.15/8.31 c (round 35, exhaustive) 386 del vars, 12424 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 42058 clqs
8.15/8.33 c (round 36, fast) 386 del vars, 13287 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 42058 clqs
8.35/8.55 c (round 37, exhaustive) 411 del vars, 13308 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 40753 clqs
8.35/8.57 c (round 38, fast) 411 del vars, 14217 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 40753 clqs
8.65/8.80 c (round 39, exhaustive) 436 del vars, 14238 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 39477 clqs
8.65/8.82 c (round 40, fast) 436 del vars, 15156 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 39477 clqs
8.85/9.06 c (round 41, exhaustive) 461 del vars, 15179 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 38219 clqs
8.85/9.08 c (round 42, fast) 461 del vars, 16170 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 38219 clqs
9.14/9.31 c (round 43, exhaustive) 486 del vars, 16195 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 37016 clqs
9.14/9.33 c (round 44, fast) 486 del vars, 17234 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 37016 clqs
9.24/9.40 c (round 45, exhaustive) 486 del vars, 17265 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 37016 clqs
9.34/9.59 c (round 46, exhaustive) 511 del vars, 17265 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 35675 clqs
9.44/9.61 c (round 47, fast) 511 del vars, 18411 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 35675 clqs
9.64/9.82 c (round 48, exhaustive) 536 del vars, 18437 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 34368 clqs
9.64/9.83 c (round 49, fast) 536 del vars, 19601 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 34368 clqs
9.74/9.90 c (round 50, exhaustive) 536 del vars, 19633 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 34368 clqs
9.94/10.12 c (round 51, exhaustive) 561 del vars, 19633 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 33141 clqs
9.94/10.13 c (round 52, fast) 561 del vars, 20827 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 33141 clqs
10.03/10.20 c (round 53, exhaustive) 561 del vars, 20860 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 33141 clqs
10.23/10.41 c (round 54, exhaustive) 586 del vars, 20860 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 31868 clqs
10.23/10.42 c (round 55, fast) 586 del vars, 22126 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 31868 clqs
10.33/10.50 c (round 56, exhaustive) 586 del vars, 22159 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 31868 clqs
10.53/10.70 c (round 57, exhaustive) 611 del vars, 22159 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 30594 clqs
10.53/10.72 c (round 58, fast) 611 del vars, 23490 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 30594 clqs
10.53/10.79 c (round 59, exhaustive) 611 del vars, 23528 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 30594 clqs
10.73/10.97 c (round 60, exhaustive) 636 del vars, 23528 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 29311 clqs
10.73/10.99 c (round 61, fast) 636 del vars, 24906 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 29311 clqs
10.93/11.11 c (round 62, exhaustive) 636 del vars, 24949 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 29311 clqs
11.22/11.48 c (round 63, exhaustive) 661 del vars, 24949 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 28065 clqs
11.32/11.50 c (round 64, fast) 661 del vars, 26385 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 28065 clqs
11.32/11.59 c (round 65, exhaustive) 661 del vars, 26425 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 28065 clqs
11.62/11.84 c (round 66, exhaustive) 686 del vars, 26425 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 26837 clqs
11.62/11.86 c (round 67, fast) 686 del vars, 27930 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 26837 clqs
11.72/11.95 c (round 68, exhaustive) 686 del vars, 27967 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 26837 clqs
11.94/12.15 c (round 69, exhaustive) 711 del vars, 27967 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 25650 clqs
11.94/12.17 c (round 70, fast) 711 del vars, 29526 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 25650 clqs
12.02/12.24 c (round 71, exhaustive) 711 del vars, 29567 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 25650 clqs
12.62/12.83 c (12.8s) probing cycle finished: starting next cycle
12.72/12.97 c (13.0s) probing: 48/858 (5.6%) - 0 fixings, 715 aggregations, 47531 implications, 0 bound changes
12.72/12.97 c (13.0s) probing aborted: 50/50 successive totally useless probings
12.72/12.97 c (round 72, exhaustive) 726 del vars, 29567 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 25773 clqs
12.72/12.98 c (round 73, fast) 726 del vars, 30517 del conss, 4254 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 25773 clqs
12.83/13.03 c (round 74, exhaustive) 726 del vars, 30555 del conss, 4266 add conss, 0 chg bounds, 0 chg sides, 1463 chg coeffs, 50832 upgd conss, 0 impls, 25773 clqs
12.83/13.10 c (13.1s) probing: 53/858 (6.2%) - 0 fixings, 715 aggregations, 47531 implications, 0 bound changes
12.83/13.10 c (13.1s) probing aborted: 50/50 successive totally useless probings
12.83/13.10 c (13.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
12.93/13.17 c (13.2s) symmetry computation finished: 9 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.04)
12.93/13.17 c dynamic symmetry handling statistics:
12.93/13.17 c orbitopal reduction: 1 components: 78x10
12.93/13.17 c orbital reduction: no components
12.93/13.17 c lexicographic reduction: no permutations
12.93/13.17 c handled 1 out of 1 symmetry components
12.93/13.19 c presolving (75 rounds: 75 fast, 45 medium, 44 exhaustive):
12.93/13.19 c 726 deleted vars, 30567 deleted constraints, 4266 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 1463 changed coefficients
12.93/13.19 c 0 implications, 25784 cliques
12.93/13.19 c presolved problem has 858 variables (858 bin, 0 int, 0 impl, 0 cont) and 24531 constraints
12.93/13.19 c 16450 constraints of type <setppc>
12.93/13.19 c 711 constraints of type <and>
12.93/13.19 c 7370 constraints of type <logicor>
12.93/13.19 c transformed objective value is always integral (scale: 1)
12.93/13.19 c Presolving Time: 12.80
12.93/13.19 c - non default parameters ----------------------------------------------------------------------
12.93/13.19 c # SCIP version 10.0.0
12.93/13.19 c
12.93/13.19 c # maximal time in seconds to run
12.93/13.19 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
12.93/13.19 c limits/time = 3596.993196
12.93/13.19 c
12.93/13.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
12.93/13.19 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
12.93/13.19 c limits/memory = 27900
12.93/13.19 c
12.93/13.19 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
12.93/13.19 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
12.93/13.19 c limits/solutions = 1
12.93/13.19 c
12.93/13.19 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.
12.93/13.19 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
12.93/13.19 c misc/usesymmetry = 3
12.93/13.19 c
12.93/13.19 c # belongs reading time to solving time?
12.93/13.19 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
12.93/13.19 c timing/reading = TRUE
12.93/13.19 c
12.93/13.19 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
12.93/13.19 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
12.93/13.19 c propagating/symmetry/detectdoublelex = FALSE
12.93/13.19 c
12.93/13.19 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
12.93/13.19 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
12.93/13.19 c propagating/symmetry/detectsubgroups = FALSE
12.93/13.19 c
12.93/13.19 c # Type of symmetries that shall be computed?
12.93/13.19 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
12.93/13.19 c propagating/symmetry/symtype = 1
12.93/13.19 c
12.93/13.19 c # Should components consisting of a single full reflection be handled?
12.93/13.19 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
12.93/13.19 c propagating/symmetry/usesimplesgncomp = FALSE
12.93/13.19 c
12.93/13.19 c -----------------------------------------------------------------------------------------------
12.93/13.19 c start solving
12.93/13.19 c
13.21/13.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.21/13.44 c 13.4s| 1 | 0 | 1020 | - | 144M | 0 | 858 | 24k| 25k| 0 | 0 | 117 | 0 | 0.000000e+00 | -- | Inf | unknown
16.11/16.32 c 16.3s| 1 | 0 | 13600 | - | 152M | 0 | 858 | 24k| 25k| 42 | 1 | 117 | 0 | 0.000000e+00 | -- | Inf | unknown
16.61/16.89 c 16.9s| 1 | 0 | 14024 | - | 156M | 0 | 858 | 24k| 25k| 76 | 2 | 117 | 0 | 0.000000e+00 | -- | Inf | unknown
17.20/17.49 c 17.5s| 1 | 0 | 14485 | - | 161M | 0 | 858 | 24k| 25k| 105 | 3 | 118 | 0 | 0.000000e+00 | -- | Inf | unknown
17.60/17.83 c 17.8s| 1 | 0 | 14820 | - | 164M | 0 | 858 | 24k| 25k| 133 | 4 | 119 | 0 | 0.000000e+00 | -- | Inf | unknown
17.82/18.10 c 18.1s| 1 | 0 | 15006 | - | 167M | 0 | 858 | 24k| 25k| 150 | 5 | 120 | 0 | 0.000000e+00 | -- | Inf | unknown
18.30/18.58 c 18.6s| 1 | 0 | 15276 | - | 171M | 0 | 858 | 24k| 25k| 168 | 6 | 121 | 0 | 0.000000e+00 | -- | Inf | unknown
19.40/19.66 c 19.6s| 1 | 0 | 16161 | - | 175M | 0 | 858 | 24k| 25k| 187 | 7 | 122 | 0 | 0.000000e+00 | -- | Inf | unknown
19.99/20.26 c 20.2s| 1 | 0 | 16838 | - | 179M | 0 | 858 | 24k| 25k| 212 | 8 | 123 | 0 | 0.000000e+00 | -- | Inf | unknown
21.19/21.40 c 21.4s| 1 | 0 | 17117 | - | 184M | 0 | 858 | 24k| 25k| 231 | 9 | 124 | 0 | 0.000000e+00 | -- | Inf | unknown
21.60/21.85 c 21.8s| 1 | 0 | 17506 | - | 189M | 0 | 858 | 24k| 25k| 246 | 10 | 125 | 0 | 0.000000e+00 | -- | Inf | unknown
21.70/21.92 c 21.9s| 1 | 0 | 17655 | - | 191M | 0 | 858 | 24k| 25k| 265 | 11 | 125 | 0 | 0.000000e+00 | -- | Inf | unknown
24.18/24.46 c 24.4s| 1 | 2 | 19636 | - | 192M | 0 | 858 | 24k| 25k| 265 | 11 | 139 | 19 | 0.000000e+00 | -- | Inf | unknown
30.87/31.11 c 31.1s| 100 | 3 | 46310 | 289.4 | 203M | 10 | 858 | 24k| 25k| 755 | 0 | 392 | 19 | 0.000000e+00 | -- | Inf | 49.80%
35.64/35.96 c
35.64/35.96 c SCIP Status : problem is solved [infeasible]
35.64/35.96 c Solving Time (sec) : 35.94
35.64/35.96 c Solving Nodes : 176
35.64/35.96 c Primal Bound : +1.00000000000000e+20 (0 solutions)
35.64/35.96 c Dual Bound : +1.00000000000000e+20
35.64/35.96 c Gap : 0.00 %
35.64/35.96 s UNSATISFIABLE
35.64/35.96 c SCIP Status : problem is solved [infeasible]
35.64/35.96 c Total Time : 35.94
35.64/35.96 c solving : 35.94
35.64/35.96 c presolving : 12.80 (included in solving)
35.64/35.96 c reading : 0.25 (included in solving)
35.64/35.96 c copying : 0.04 (1 #copies) (minimal 0.04, maximal 0.04, average 0.04)
35.64/35.96 c Original Problem :
35.64/35.96 c Problem name : HOME/instance-4544813-1753220780.opb
35.64/35.96 c Variables : 1584 (1584 binary, 0 integer, 0 implicit integer, 0 continuous)
35.64/35.96 c Constraints : 50832 initial, 50832 maximal
35.64/35.96 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
35.64/35.96 c Presolved Problem :
35.64/35.96 c Problem name : t_HOME/instance-4544813-1753220780.opb
35.64/35.96 c Variables : 858 (858 binary, 0 integer, 0 implicit integer, 0 continuous)
35.64/35.96 c Constraints : 24531 initial, 24917 maximal
35.64/35.96 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
35.64/35.96 c Nonzeros : 57251 constraint, 48914 clique table
35.64/35.96 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
35.64/35.96 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c domcol : 0.00 0.00 30 0 0 0 0 0 0 0 0 0
35.64/35.96 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
35.64/35.96 c gateextraction : 1.67 0.00 43 0 0 0 0 0 4062 1350 0 0
35.64/35.96 c implics : 0.00 0.00 45 0 0 0 0 0 0 0 0 0
35.64/35.96 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c milp : 0.31 0.00 1 0 0 0 0 0 0 0 0 0
35.64/35.96 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
35.64/35.96 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c trivial : 0.00 0.00 75 0 0 0 0 0 0 0 0 0
35.64/35.96 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c dualfix : 0.00 0.00 75 0 0 0 0 0 0 0 0 0
35.64/35.96 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c probing : 7.47 0.00 30 0 715 0 0 0 0 0 0 0
35.64/35.96 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c symmetry : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
35.64/35.96 c vbounds : 0.02 0.00 6 0 0 0 0 0 0 0 0 0
35.64/35.96 c knapsack : 0.02 0.00 2 0 0 0 0 0 1452 2904 0 0
35.64/35.96 c setppc : 1.32 0.00 159 0 0 0 0 0 16436 0 0 0
35.64/35.96 c and : 0.19 0.00 113 0 11 0 0 0 639 12 0 0
35.64/35.96 c linear : 0.31 0.02 3 0 0 0 0 0 0 0 0 1452
35.64/35.96 c logicor : 1.29 0.00 148 0 0 0 0 0 7978 0 0 11
35.64/35.96 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
35.64/35.96 c root node : - - - 534 - - 534 - - - - -
35.64/35.96 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
35.64/35.96 c benderslp : 0 0 0 0 90 0 0 11 0 0 0 0 0 0 0
35.64/35.96 c integral : 0 0 0 0 90 0 0 11 0 0 0 0 0 0 180
35.64/35.96 c knapsack : 0+ 28 0 800 0 0 0 0 10 5 53 0 0 0 0
35.64/35.96 c setppc : 16450+ 16468 11 8312 0 0 0 7 3299 22 6666 0 0 0 0
35.64/35.96 c and : 711 711 183 8290 0 0 0 4 2319 22 2296 1756 877 0 0
35.64/35.96 c linear : 0+ 34 0 1050 0 0 0 3 20 9 136 0 0 0 0
35.64/35.96 c logicor : 7370+ 7769 11 4616 0 0 0 1 864 17 3782 1 0 0 0
35.64/35.96 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
35.64/35.96 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
35.64/35.96 c integral : 1.72 0.00 0.00 0.00 1.72 0.00 0.00 0.00 0.00 0.00
35.64/35.96 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
35.64/35.96 c setppc : 2.25 0.00 0.02 2.21 0.00 0.00 0.00 0.01 0.00 0.01
35.64/35.96 c and : 0.27 0.00 0.03 0.23 0.00 0.00 0.00 0.00 0.00 0.00
35.64/35.96 c linear : 0.03 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
35.64/35.96 c logicor : 0.42 0.00 0.02 0.40 0.00 0.00 0.00 0.00 0.00 0.00
35.64/35.96 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
35.64/35.96 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
35.64/35.96 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
35.64/35.96 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
35.64/35.96 c Propagators : #Propagate #ResProp Cutoffs DomReds
35.64/35.96 c dualfix : 1 0 0 0
35.64/35.96 c genvbounds : 0 0 0 0
35.64/35.96 c nlobbt : 0 0 0 0
35.64/35.96 c obbt : 0 0 0 0
35.64/35.96 c probing : 0 0 0 0
35.64/35.96 c pseudoobj : 0 0 0 0
35.64/35.96 c redcost : 0 0 0 0
35.64/35.96 c rootredcost : 0 0 0 0
35.64/35.96 c symmetry : 519 0 9 253
35.64/35.96 c vbounds : 1760 0 0 0
35.64/35.96 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
35.64/35.96 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
35.64/35.96 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
35.64/35.96 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
35.64/35.96 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
35.64/35.96 c probing : 7.47 0.00 7.47 0.00 0.00 0.00
35.64/35.96 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
35.64/35.96 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
35.64/35.96 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
35.64/35.96 c symmetry : 0.08 0.00 0.07 0.01 0.00 0.00
35.64/35.96 c vbounds : 0.03 0.00 0.02 0.01 0.00 0.00
35.64/35.96 c Symmetry :
35.64/35.96 c orbitopal red. : 253 reductions applied, 9 cutoffs
35.64/35.96 c orbital reduction: 0 reductions applied, 0 cutoffs
35.64/35.96 c lexicographic red: 0 reductions applied, 0 cutoffs
35.64/35.96 c shadow tree time : 0.00 s
35.64/35.96 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
35.64/35.96 c propagation : 0.00 64 60 - 274 23.2 1 13.0 - - -
35.64/35.96 c infeasible LP : 0.04 62 62 - 259 29.2 0 0.0 62 55.8 0
35.64/35.96 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
35.64/35.96 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
35.64/35.96 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
35.64/35.96 c applied globally : 0.02 - - 0 485 21.8 - - 62 - -
35.64/35.96 c applied locally : - - - 0 0 0.0 - - 0 - -
35.64/35.96 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
35.64/35.96 c cut pool : 0.02 - 43 21 - - 3080 3679 - - - - - (maximal pool size: 3080)
35.64/35.96 c aggregation : 0.05 0.00 22 11 0 0 0 0 0 0 0 0 0
35.64/35.96 c > cmir : - - - - - - - 0 0 0 0 0 -
35.64/35.96 c > flowcover : - - - - - - - 0 0 0 0 0 -
35.64/35.96 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
35.64/35.96 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c clique : 0.08 0.00 11 11 0 0 90 248 0 32 32 0 0
35.64/35.96 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c gomory : 4.58 0.00 21 10 0 0 2553 2852 0 56 56 0 0
35.64/35.96 c > gomorymi : - - - - - - - 1104 0 14 14 0 -
35.64/35.96 c > strongcg : - - - - - - - 1748 0 42 42 0 -
35.64/35.96 c impliedbounds : 0.04 0.00 22 11 0 0 241 307 0 134 134 0 0
35.64/35.96 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
35.64/35.96 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c multilinear : 0.00 0.00 32 11 0 0 0 0 0 0 0 0 0
35.64/35.96 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
35.64/35.96 c rlt : 1.73 0.00 21 10 0 0 0 0 0 0 0 0 0
35.64/35.96 c zerohalf : 0.16 0.00 22 11 0 0 196 272 0 174 174 0 0
35.64/35.96 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
35.64/35.96 c hybrid : 0.01 0.00 130 11 1273 0 4163 265 0 2675
35.64/35.96 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
35.64/35.96 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
35.64/35.96 c Pricers : ExecTime SetupTime Calls Vars
35.64/35.96 c problem variables: 0.00 - 0 0
35.64/35.96 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
35.64/35.96 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
35.64/35.96 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
35.64/35.96 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
35.64/35.96 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
35.64/35.96 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
35.64/35.96 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
35.64/35.96 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
35.64/35.96 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
35.64/35.96 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
35.64/35.96 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
35.64/35.96 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
35.64/35.96 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
35.64/35.96 c random : 0.00 0.00 0 0 0 0 0 0 0 0
35.64/35.96 c relpscost : 1.72 0.00 90 0 0 0 0 0 0 180
35.64/35.96 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
35.64/35.96 c Primal Heuristics : ExecTime SetupTime Calls Found Best
35.64/35.96 c LP solutions : 0.00 - - 0 0
35.64/35.96 c relax solutions : 0.00 - - 0 0
35.64/35.96 c pseudo solutions : 0.00 - - 0 0
35.64/35.96 c strong branching : 0.00 - - 0 0
35.64/35.96 c actconsdiving : 0.00 0.00 0 0 0
35.64/35.96 c adaptivediving : 0.29 0.00 2 0 0
35.64/35.96 c alns : 0.00 0.00 0 0 0
35.64/35.96 c bound : 0.00 0.00 0 0 0
35.64/35.96 c clique : 0.05 0.00 1 0 0
35.64/35.96 c coefdiving : 0.00 0.00 0 0 0
35.64/35.96 c completesol : 0.00 0.00 0 0 0
35.64/35.96 c conflictdiving : 0.72 0.00 1 0 0
35.64/35.96 c crossover : 0.00 0.00 0 0 0
35.64/35.96 c dins : 0.00 0.00 0 0 0
35.64/35.96 c distributiondivin: 0.29 0.00 1 0 0
35.64/35.96 c dps : 0.00 0.00 0 0 0
35.64/35.96 c dualval : 0.00 0.00 0 0 0
35.64/35.96 c farkasdiving : 0.00 0.00 0 0 0
35.64/35.96 c feasjump : 0.04 0.00 1 0 0
35.64/35.96 c feaspump : 2.48 0.00 1 0 0
35.64/35.96 c fixandinfer : 0.00 0.00 0 0 0
35.64/35.96 c fracdiving : 0.10 0.00 1 0 0
35.64/35.96 c gins : 0.00 0.00 0 0 0
35.64/35.96 c guideddiving : 0.00 0.00 0 0 0
35.64/35.96 c indcoefdiving : 0.00 0.00 0 0 0
35.64/35.96 c indicator : 0.00 0.00 0 0 0
35.64/35.96 c indicatordiving : 0.00 0.00 0 0 0
35.64/35.96 c indoneopt : 0.00 0.00 0 0 0
35.64/35.96 c indrounding : 0.00 0.00 0 0 0
35.64/35.96 c indtwoopt : 0.00 0.00 0 0 0
35.64/35.96 c intdiving : 0.00 0.00 0 0 0
35.64/35.96 c intshifting : 0.00 0.00 0 0 0
35.64/35.96 c linesearchdiving : 0.13 0.00 1 0 0
35.64/35.96 c localbranching : 0.00 0.00 0 0 0
35.64/35.96 c locks : 0.01 0.00 1 0 0
35.64/35.96 c lpface : 0.00 0.00 0 0 0
35.64/35.96 c mpec : 0.00 0.00 0 0 0
35.64/35.96 c multistart : 0.00 0.00 0 0 0
35.64/35.96 c mutation : 0.00 0.00 0 0 0
35.64/35.96 c nlpdiving : 0.00 0.00 0 0 0
35.64/35.96 c objpscostdiving : 2.26 0.00 1 0 0
35.64/35.96 c octane : 0.00 0.00 0 0 0
35.64/35.96 c ofins : 0.00 0.00 0 0 0
35.64/35.96 c oneopt : 0.00 0.00 0 0 0
35.64/35.96 c padm : 0.00 0.00 0 0 0
35.64/35.96 c proximity : 0.00 0.00 0 0 0
35.64/35.96 c pscostdiving : 0.48 0.00 2 0 0
35.64/35.96 c randrounding : 0.08 0.00 12 0 0
35.64/35.96 c rens : 0.11 0.00 1 0 0
35.64/35.96 c reoptsols : 0.00 0.00 0 0 0
35.64/35.96 c repair : 0.00 0.00 0 0 0
35.64/35.96 c rins : 0.00 0.00 0 0 0
35.64/35.96 c rootsoldiving : 0.28 0.00 1 0 0
35.64/35.96 c rounding : 0.09 0.00 165 0 0
35.64/35.96 c scheduler : 0.00 0.00 0 0 0
35.64/35.96 c shiftandpropagate: 0.02 0.00 1 0 0
35.64/35.96 c shifting : 0.04 0.00 23 0 0
35.64/35.96 c simplerounding : 0.00 0.00 0 0 0
35.64/35.96 c smallcard : 0.00 0.00 0 0 0
35.64/35.96 c subnlp : 0.00 0.00 0 0 0
35.64/35.96 c trivial : 0.00 0.00 2 0 0
35.64/35.96 c trivialnegation : 0.00 0.00 0 0 0
35.64/35.96 c trustregion : 0.00 0.00 0 0 0
35.64/35.96 c trysol : 0.00 0.00 0 0 0
35.64/35.96 c twoopt : 0.00 0.00 0 0 0
35.64/35.96 c undercover : 0.00 0.00 1 0 0
35.64/35.96 c vbounds : 0.05 0.00 1 0 0
35.64/35.96 c veclendiving : 0.83 0.00 2 0 0
35.64/35.96 c zeroobj : 0.00 0.00 0 0 0
35.64/35.96 c zirounding : 0.06 0.00 90 0 0
35.64/35.96 c other solutions : - - - 0 -
35.64/35.96 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
35.64/35.96 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
35.64/35.96 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
35.64/35.96 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
35.64/35.96 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
35.64/35.96 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
35.64/35.96 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
35.64/35.96 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
35.64/35.96 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
35.64/35.96 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
35.64/35.96 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
35.64/35.96 c primal LP : 0.03 11 0 0.00 0.00 0.03 11
35.64/35.96 c dual LP : 5.03 270 26033 96.42 5172.03 0.00 0
35.64/35.96 c lex dual LP : 0.00 0 0 0.00 -
35.64/35.96 c barrier LP : 0.00 0 0 0.00 - 0.00 0
35.64/35.96 c resolve instable : 0.00 0 0 0.00 -
35.64/35.96 c diving/probing LP: 7.66 102 33919 332.54 4430.71
35.64/35.96 c strong branching : 1.54 19 8224 432.84 5356.60 - - 5
35.64/35.96 c (at root node) : - 19 8224 432.84 -
35.64/35.96 c conflict analysis: 0.00 0 0 0.00 -
35.64/35.96 c B&B Tree :
35.64/35.96 c number of runs : 1
35.64/35.96 c nodes : 176 (90 internal, 86 leaves)
35.64/35.96 c feasible leaves : 0
35.64/35.96 c infeas. leaves : 86
35.64/35.96 c objective leaves : 0
35.64/35.96 c nodes (total) : 176 (90 internal, 86 leaves)
35.64/35.96 c nodes left : 0
35.64/35.96 c max depth : 10
35.64/35.96 c max depth (total): 10
35.64/35.96 c backtracks : 58 (33.0%)
35.64/35.96 c early backtracks : 0 (0.0%)
35.64/35.96 c nodes exc. ref. : 0 (0.0%)
35.64/35.96 c delayed cutoffs : 5
35.64/35.96 c repropagations : 28 (906 domain reductions, 4 cutoffs)
35.64/35.96 c avg switch length: 2.70
35.64/35.96 c switching time : 0.14
35.64/35.96 c Root Node :
35.64/35.96 c First LP value : +0.00000000000000e+00
35.64/35.96 c First LP Iters : 1020 (13900.25 Iter/sec)
35.64/35.96 c First LP Time : 0.07
35.64/35.96 c Final Dual Bound : +0.00000000000000e+00
35.64/35.96 c Final Root Iters : 17655
35.64/35.96 c Root LP Estimate : +1.91650415026889e-03
35.64/35.96 c Solution :
35.64/35.96 c Solutions found : 0 (0 improvements)
35.64/35.96 c Primal Bound : infeasible
35.64/35.96 c Dual Bound : -
35.64/35.96 c Gap : 0.00 %
35.64/35.96 c Integrals : Total Avg%
35.64/35.96 c primal-dual : - - (problem infeasible)
35.64/35.96 c primal-ref : - - (problem infeasible)
35.64/35.96 c dual-ref : - - (problem infeasible)
35.76/36.05 c Time complete: 35.8013.
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: 63837 MiB (46493 MiB free)
memory of node 1: 64465 MiB (50298 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544813-1753220780/watcher-4544813-1753220780 -o /tmp/evaluation-result-4544813-1753220780/solver-4544813-1753220780 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1753211112-158214 --watchdog 3760 pbscip -f HOME/instance-4544813-1753220780.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=160559, runsolver pid=160556
[startup+0.100073 s]*
/proc/loadavg: 4.13 4.10 4.11 5/250 160560
/proc/meminfo: memFree=99098944/131382112 swapFree=33001664/33010684
[pid=160559] ppid=160556 vsize=55164 memory=27520 CPUtime=0.09 cores=5,7
/proc/160559/stat : 160559 (pbscip) R 160556 160559 158201 0 -1 4194304 3964 0 0 0 8 1 0 0 20 0 1 0 237757422 56487936 6880 18446744073709551615 4235264 18693293 140720632508272 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 21375888 21430392 47132672 140720632510855 140720632510954 140720632510954 140720632516558 0
/proc/160559/statm: 13791 6880 3232 3530 0 5242 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55164 KiB
Current children cumulated memory: 27520 KiB
[startup+0.215579 s]*
/proc/loadavg: 4.13 4.10 4.11 5/250 160560
/proc/meminfo: memFree=99095164/131382112 swapFree=33001664/33010684
[pid=160559] ppid=160556 vsize=65668 memory=37760 CPUtime=0.18 cores=5,7
/proc/160559/stat : 160559 (pbscip) R 160556 160559 158201 0 -1 4194304 6529 0 0 0 17 1 0 0 20 0 1 0 237757422 67244032 9440 18446744073709551615 4235264 18693293 140720632508272 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 21375888 21430392 47132672 140720632510855 140720632510954 140720632510954 140720632516558 0
/proc/160559/statm: 16417 9440 3232 3530 0 7868 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 65668 KiB
Current children cumulated memory: 37760 KiB
[startup+0.313303 s]*
/proc/loadavg: 4.13 4.10 4.11 5/250 160560
/proc/meminfo: memFree=99075256/131382112 swapFree=33001664/33010684
[pid=160559] ppid=160556 vsize=88680 memory=61056 CPUtime=0.28 cores=5,7
/proc/160559/stat : 160559 (pbscip) R 160556 160559 158201 0 -1 4194304 12250 0 0 0 25 3 0 0 20 0 1 0 237757422 90808320 15232 18446744073709551615 4235264 18693293 140720632508272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47132672 140720632510855 140720632510954 140720632510954 140720632516558 0
/proc/160559/statm: 22170 15232 3520 3530 0 13621 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 88680 KiB
Current children cumulated memory: 61056 KiB
[startup+0.700265 s]
/proc/loadavg: 4.13 4.10 4.11 5/250 160560
/proc/meminfo: memFree=99059380/131382112 swapFree=33001664/33010684
[pid=160559] ppid=160556 vsize=140224 memory=112712 CPUtime=0.65 cores=5,7
/proc/160559/stat : 160559 (pbscip) R 160556 160559 158201 0 -1 4194304 25997 0 0 0 58 7 0 0 20 0 1 0 237757422 143589376 28178 18446744073709551615 4235264 18693293 140720632508272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 47132672 140720632510855 140720632510954 140720632510954 140720632516558 0
/proc/160559/statm: 35056 28178 3648 3530 0 26507 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 140224 KiB
Current children cumulated memory: 112712 KiB
[startup+1.50029 s]
/proc/loadavg: 4.13 4.10 4.11 5/250 160560
/proc/meminfo: memFree=99019500/131382112 swapFree=33001664/33010684
[pid=160559] ppid=160556 vsize=131924 memory=103884 CPUtime=1.43 cores=5,7
/proc/160559/stat : 160559 (pbscip) R 160556 160559 158201 0 -1 4194304 33535 0 0 0 134 9 0 0 20 0 1 0 237757422 135090176 25971 18446744073709551615 4235264 18693293 140720632508272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 47132672 140720632510855 140720632510954 140720632510954 140720632516558 0
/proc/160559/statm: 32981 25971 3712 3530 0 24432 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 131924 KiB
Current children cumulated memory: 103884 KiB
[startup+3.10564 s]
/proc/loadavg: 4.12 4.10 4.11 5/250 160560
/proc/meminfo: memFree=99011812/131382112 swapFree=33001664/33010684
[pid=160559] ppid=160556 vsize=134024 memory=106060 CPUtime=3.02 cores=5,7
/proc/160559/stat : 160559 (pbscip) R 160556 160559 158201 0 -1 4194304 34061 0 0 0 293 9 0 0 20 0 1 0 237757422 137240576 26515 18446744073709551615 4235264 18693293 140720632508272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 47132672 140720632510855 140720632510954 140720632510954 140720632516558 0
/proc/160559/statm: 33506 26515 3744 3530 0 24957 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 134024 KiB
Current children cumulated memory: 106060 KiB
[startup+6.30019 s]
/proc/loadavg: 4.12 4.10 4.11 5/250 160561
/proc/meminfo: memFree=99020896/131382112 swapFree=33001664/33010684
[pid=160559] ppid=160556 vsize=142860 memory=115020 CPUtime=6.18 cores=5,7
/proc/160559/stat : 160559 (pbscip) R 160556 160559 158201 0 -1 4194304 36292 0 0 0 608 10 0 0 20 0 1 0 237757422 146288640 28755 18446744073709551615 4235264 18693293 140720632508272 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 47132672 140720632510855 140720632510954 140720632510954 140720632516558 0
/proc/160559/statm: 35715 28755 3744 3530 0 27166 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 142860 KiB
Current children cumulated memory: 115020 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.10 4.11 5/250 160561
/proc/meminfo: memFree=98996016/131382112 swapFree=33001664/33010684
[pid=160559] ppid=160556 vsize=161840 memory=133836 CPUtime=12.52 cores=5,7
/proc/160559/stat : 160559 (pbscip) R 160556 160559 158201 0 -1 4194304 41022 0 0 0 1241 11 0 0 20 0 1 0 237757422 165724160 33459 18446744073709551615 4235264 18693293 140720632508272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47132672 140720632510855 140720632510954 140720632510954 140720632516558 0
/proc/160559/statm: 40460 33459 3744 3530 0 31911 0
Current children cumulated CPU time: 12.52 s
Current children cumulated vsize: 161840 KiB
Current children cumulated memory: 133836 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.09 4.11 5/251 160562
/proc/meminfo: memFree=98905212/131382112 swapFree=33001664/33010684
[pid=160559] ppid=160556 vsize=276828 memory=222704 CPUtime=25.28 cores=5,7
/proc/160559/stat : 160559 (pbscip) R 160556 160559 158201 0 -1 4194304 64395 0 0 0 2513 15 0 0 20 0 1 0 237757422 283471872 55676 18446744073709551615 4235264 18693293 140720632508272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47132672 140720632510855 140720632510954 140720632510954 140720632516558 0
/proc/160559/statm: 69207 55676 3936 3530 0 60658 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 276828 KiB
Current children cumulated memory: 222704 KiB
[startup+36.0587 s]
# the end of solver process 160559 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=35.6476 s, system=0.169237 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6004 s]
/proc/loadavg: 4.08 4.09 4.11 5/251 160562
/proc/meminfo: memFree=98905212/131382112 swapFree=33001664/33010684
[pid=160559] ppid=160556 vsize=276828 memory=222704 CPUtime=25.38 cores=5,7
/proc/160559/stat : 160559 (pbscip) R 160556 160559 158201 0 -1 4194304 64395 0 0 0 2523 15 0 0 20 0 1 0 237757422 283471872 55676 18446744073709551615 4235264 18693293 140720632508272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47132672 140720632510855 140720632510954 140720632510954 140720632516558 0
/proc/160559/statm: 69207 55676 3936 3530 0 60658 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 276828 KiB
Current children cumulated memory: 222704 KiB
[startup+32.0003 s]*
/proc/loadavg: 4.07 4.09 4.11 5/251 160562
/proc/meminfo: memFree=98905880/131382112 swapFree=33001664/33010684
[pid=160559] ppid=160556 vsize=276828 memory=222704 CPUtime=31.77 cores=5,7
/proc/160559/stat : 160559 (pbscip) R 160556 160559 158201 0 -1 4194304 64405 0 0 0 3162 15 0 0 20 0 1 0 237757422 283471872 55676 18446744073709551615 4235264 18693293 140720632508272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47132672 140720632510855 140720632510954 140720632510954 140720632516558 0
/proc/160559/statm: 69207 55676 3936 3530 0 60658 0
Current children cumulated CPU time: 31.77 s
Current children cumulated vsize: 276828 KiB
Current children cumulated memory: 222704 KiB
[startup+33.6003 s]
/proc/loadavg: 4.07 4.09 4.11 5/251 160562
/proc/meminfo: memFree=98906184/131382112 swapFree=33001664/33010684
[pid=160559] ppid=160556 vsize=276828 memory=222832 CPUtime=33.35 cores=5,7
/proc/160559/stat : 160559 (pbscip) R 160556 160559 158201 0 -1 4194304 64465 0 0 0 3320 15 0 0 20 0 1 0 237757422 283471872 55708 18446744073709551615 4235264 18693293 140720632508272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47132672 140720632510855 140720632510954 140720632510954 140720632516558 0
/proc/160559/statm: 69207 55708 3936 3530 0 60658 0
Current children cumulated CPU time: 33.35 s
Current children cumulated vsize: 276828 KiB
Current children cumulated memory: 222832 KiB
[startup+35.2003 s]
/proc/loadavg: 4.07 4.09 4.11 5/251 160562
/proc/meminfo: memFree=98906436/131382112 swapFree=33001664/33010684
[pid=160559] ppid=160556 vsize=279220 memory=222832 CPUtime=34.95 cores=5,7
/proc/160559/stat : 160559 (pbscip) R 160556 160559 158201 0 -1 4194304 64483 0 0 0 3480 15 0 0 20 0 1 0 237757422 285921280 55708 18446744073709551615 4235264 18693293 140720632508272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47132672 140720632510855 140720632510954 140720632510954 140720632516558 0
/proc/160559/statm: 69805 55708 3936 3530 0 61256 0
Current children cumulated CPU time: 34.95 s
Current children cumulated vsize: 279220 KiB
Current children cumulated memory: 222832 KiB
[startup+35.6003 s]
/proc/loadavg: 4.07 4.09 4.11 5/251 160562
/proc/meminfo: memFree=98906436/131382112 swapFree=33001664/33010684
[pid=160559] ppid=160556 vsize=284016 memory=222960 CPUtime=35.35 cores=5,7
/proc/160559/stat : 160559 (pbscip) R 160556 160559 158201 0 -1 4194304 64497 0 0 0 3520 15 0 0 20 0 1 0 237757422 290832384 55740 18446744073709551615 4235264 18693293 140720632508272 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47132672 140720632510855 140720632510954 140720632510954 140720632516558 0
/proc/160559/statm: 71004 55740 3936 3530 0 62455 0
Current children cumulated CPU time: 35.35 s
Current children cumulated vsize: 284016 KiB
Current children cumulated memory: 222960 KiB
[startup+36.0003 s]*
/proc/loadavg: 4.07 4.09 4.11 5/251 160562
/proc/meminfo: memFree=98906688/131382112 swapFree=33001664/33010684
[pid=160559] ppid=160556 vsize=284016 memory=222960 CPUtime=35.76 cores=5,7
/proc/160559/stat : 160559 (pbscip) R 160556 160559 158201 0 -1 4194304 64500 0 0 0 3561 15 0 0 20 0 1 0 237757422 290832384 55740 18446744073709551615 4235264 18693293 140720632508272 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47132672 140720632510855 140720632510954 140720632510954 140720632516558 0
/proc/160559/statm: 71004 55740 3936 3530 0 62455 0
Current children cumulated CPU time: 35.76 s
Current children cumulated vsize: 284016 KiB
Current children cumulated memory: 222960 KiB
Child status: 0
Real time (s): 36.0588
CPU time (s): 35.8168
CPU user time (s): 35.6476
CPU system time (s): 0.169237
CPU usage (%): 99.329
Max. virtual memory (cumulated for all children) (KiB): 284016
Max. memory (cumulated for all children) (KiB): 222960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.6476
system time used= 0.169237
maximum resident set size= 232044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64506
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= 193
# summary of solver processes directly reported to runsolver:
# pid: 160559
# total CPU time (s): 35.8168
# total CPU user time (s): 35.6476
# total CPU system time (s): 0.169237
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.211436 second user time and 0.347025 second system time
The end
Begin job on nodeC005 at 2025-07-22 23:46:20 IDJOB=4544813 IDBENCH=180683 IDSOLVER=3365 FILE ID=nodeC005/4544813-1753220780 RUNJOBID= nodeC005-1753211112-158214 SLURM_JOB_ID= 9687789 Free space on /tmp= 432928 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB25/normalized-PB25/DEC-LIN/koops/normalized-mat12_11_identity_complement.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544813-1753220780/watcher-4544813-1753220780 -o /tmp/evaluation-result-4544813-1753220780/solver-4544813-1753220780 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1753211112-158214 --watchdog 3760 pbscip -f HOME/instance-4544813-1753220780.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6b491c2baabcf28ebf0b874cd3568279 RANDOM SEED=275369362 nodeC005 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 : 0xb00001f cpu MHz : 3491.957 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90 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 : 0xb00001f cpu MHz : 3691.492 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90 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 : 0xb00001f cpu MHz : 1197.525 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90 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 : 0xb00001f cpu MHz : 1197.474 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90 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 : 0xb00001f cpu MHz : 3662.863 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90 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 : 0xb00001f cpu MHz : 1197.246 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90 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 : 0xb00001f cpu MHz : 1197.249 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90 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 : 0xb00001f cpu MHz : 3700.000 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 99114820 kB MemAvailable: 123305216 kB Buffers: 12 kB Cached: 24961780 kB SwapCached: 776 kB Active: 6940116 kB Inactive: 24548116 kB Active(anon): 6508620 kB Inactive(anon): 38384 kB Active(file): 431496 kB Inactive(file): 24509732 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33001664 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 20012 kB Writeback: 4 kB AnonPages: 6528736 kB Mapped: 138040 kB Shmem: 20564 kB KReclaimable: 177588 kB Slab: 268808 kB SReclaimable: 177588 kB SUnreclaim: 91220 kB KernelStack: 4032 kB PageTables: 16536 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 8502100 kB VmallocTotal: 34359738367 kB VmallocUsed: 149416 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 2736128 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: 201544 kB DirectMap2M: 8089600 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432908 MiB End job on nodeC005 at 2025-07-22 23:46:57