| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | UNSAT | 31.9403 | 32.0564 |
| 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.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4544814-1753217275.opb>
0.00/0.08 c original problem has 1584 variables (1584 bin, 0 int, 0 cont) and 50832 constraints
0.00/0.08 c problem read in 0.079 seconds
0.00/0.08 c problem without objective
0.09/0.14 c presolving:
0.09/0.19 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.20/0.24 c (0.2s) running MILP presolver
0.20/0.30 c (0.3s) MILP presolver found nothing
0.30/0.40 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
0.39/0.44 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
0.49/0.51 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
0.49/0.57 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
0.60/0.64 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.09/2.11 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
2.09/2.13 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
2.68/2.71 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
2.68/2.73 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
3.28/3.30 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
3.28/3.31 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
3.67/3.76 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
3.67/3.77 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
4.08/4.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
4.08/4.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
4.37/4.49 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
4.47/4.51 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
4.87/4.95 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
4.87/4.96 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
5.17/5.27 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
5.17/5.29 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
5.56/5.62 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
5.56/5.64 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
5.86/5.93 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
5.86/5.95 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.16/6.24 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.16/6.26 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
6.45/6.54 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
6.45/6.56 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
6.76/6.85 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
6.76/6.87 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.07/7.10 c (7.1s) probing: 1000/1573 (63.6%) - 0 fixings, 346 aggregations, 39412 implications, 0 bound changes
7.07/7.13 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.07/7.15 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
7.36/7.46 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
7.36/7.48 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
7.66/7.72 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
7.66/7.74 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
7.86/7.98 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
7.96/8.00 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.15/8.25 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.15/8.26 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
8.45/8.52 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
8.45/8.54 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
8.55/8.60 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
8.75/8.81 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
8.75/8.82 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
8.96/9.04 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
8.96/9.06 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.05/9.13 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.25/9.35 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.25/9.37 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
9.35/9.43 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
9.55/9.63 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
9.55/9.64 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
9.64/9.70 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
9.74/9.89 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
9.84/9.91 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
9.84/9.97 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.05/10.15 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.05/10.16 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.14/10.22 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
10.24/10.38 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
10.24/10.39 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
10.34/10.43 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
10.44/10.56 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
10.44/10.58 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
10.54/10.63 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
10.64/10.79 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
10.74/10.81 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
10.74/10.85 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
11.34/11.45 c (11.4s) probing cycle finished: starting next cycle
11.44/11.59 c (11.6s) probing: 48/858 (5.6%) - 0 fixings, 715 aggregations, 47531 implications, 0 bound changes
11.44/11.59 c (11.6s) probing aborted: 50/50 successive totally useless probings
11.44/11.59 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
11.54/11.61 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
11.54/11.65 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
11.63/11.73 c (11.7s) probing: 53/858 (6.2%) - 0 fixings, 715 aggregations, 47531 implications, 0 bound changes
11.63/11.73 c (11.7s) probing aborted: 50/50 successive totally useless probings
11.63/11.73 c (11.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
11.63/11.79 c (11.8s) symmetry computation finished: 9 generators found (max: 1500, log10 of symmetry group size: 220.59) (symcode time: 0.04)
11.63/11.79 c dynamic symmetry handling statistics:
11.63/11.79 c orbitopal reduction: 1 components: 78x10
11.63/11.79 c orbital reduction: no components
11.63/11.79 c lexicographic reduction: no permutations
11.63/11.79 c handled 1 out of 1 symmetry components
11.74/11.80 c presolving (75 rounds: 75 fast, 45 medium, 44 exhaustive):
11.74/11.80 c 726 deleted vars, 30567 deleted constraints, 4266 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 1463 changed coefficients
11.74/11.80 c 0 implications, 25784 cliques
11.74/11.80 c presolved problem has 858 variables (858 bin, 0 int, 0 cont) and 24531 constraints
11.74/11.80 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
11.74/11.80 c 16450 constraints of type <setppc>
11.74/11.80 c 711 constraints of type <and>
11.74/11.80 c 7370 constraints of type <logicor>
11.74/11.80 c transformed objective value is always integral (scale: 1)
11.74/11.80 c Presolving Time: 11.67
11.74/11.80 c
11.74/11.80 c - non default parameters ----------------------------------------------------------------------
11.74/11.80 c
11.74/11.80 c # SCIP version 10.0.0
11.74/11.80 c
11.74/11.80 c # maximal time in seconds to run
11.74/11.80 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
11.74/11.80 c limits/time = 3596.99806
11.74/11.80 c
11.74/11.80 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
11.74/11.80 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
11.74/11.80 c limits/memory = 27900
11.74/11.80 c
11.74/11.80 c # belongs reading time to solving time?
11.74/11.80 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
11.74/11.80 c timing/reading = TRUE
11.74/11.80 c
11.74/11.80 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
11.74/11.80 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
11.74/11.80 c reading/opbreader/maxintsize = 47
11.74/11.80 c
11.74/11.80 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
11.74/11.80 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
11.74/11.80 c propagating/genvbounds/timingmask = 0
11.74/11.80 c
11.74/11.80 c -----------------------------------------------------------------------------------------------
11.74/11.80 c
11.94/12.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.94/12.02 c 12.0s| 1 | 0 | 1020 | - | 144M | 0 | 858 | 24k| 25k| 0 | 0 | 117 | 0 | 0.000000e+00 | -- | Inf | unknown
14.73/14.81 c 14.8s| 1 | 0 | 13600 | - | 151M | 0 | 858 | 24k| 25k| 42 | 1 | 117 | 0 | 0.000000e+00 | -- | Inf | unknown
15.23/15.31 c 15.3s| 1 | 0 | 14024 | - | 154M | 0 | 858 | 24k| 25k| 76 | 2 | 117 | 0 | 0.000000e+00 | -- | Inf | unknown
15.72/15.83 c 15.8s| 1 | 0 | 14485 | - | 159M | 0 | 858 | 24k| 25k| 105 | 3 | 118 | 0 | 0.000000e+00 | -- | Inf | unknown
15.93/16.08 c 16.1s| 1 | 0 | 14820 | - | 162M | 0 | 858 | 24k| 25k| 133 | 4 | 119 | 0 | 0.000000e+00 | -- | Inf | unknown
16.12/16.26 c 16.3s| 1 | 0 | 15006 | - | 165M | 0 | 858 | 24k| 25k| 150 | 5 | 120 | 0 | 0.000000e+00 | -- | Inf | unknown
16.52/16.69 c 16.7s| 1 | 0 | 15408 | - | 169M | 0 | 858 | 24k| 25k| 168 | 6 | 121 | 0 | 0.000000e+00 | -- | Inf | unknown
17.12/17.26 c 17.3s| 1 | 0 | 16168 | - | 173M | 0 | 858 | 24k| 25k| 194 | 7 | 122 | 0 | 0.000000e+00 | -- | Inf | unknown
17.52/17.70 c 17.7s| 1 | 0 | 17009 | - | 178M | 0 | 858 | 24k| 25k| 222 | 8 | 122 | 0 | 0.000000e+00 | -- | Inf | unknown
18.02/18.17 c 18.2s| 1 | 0 | 17590 | - | 180M | 0 | 858 | 24k| 25k| 247 | 9 | 122 | 0 | 0.000000e+00 | -- | Inf | unknown
18.71/18.80 c 18.8s| 1 | 0 | 18242 | - | 185M | 0 | 858 | 24k| 25k| 272 | 10 | 123 | 0 | 0.000000e+00 | -- | Inf | unknown
18.81/18.94 c 18.9s| 1 | 0 | 18663 | - | 187M | 0 | 858 | 24k| 25k| 293 | 11 | 123 | 0 | 0.000000e+00 | -- | Inf | unknown
22.11/22.28 c 22.3s| 1 | 2 | 20747 | - | 188M | 0 | 858 | 24k| 25k| 293 | 11 | 142 | 19 | 0.000000e+00 | -- | Inf | unknown
30.08/30.28 c 30.3s| 100 | 10 | 46783 | 284.0 | 217M | 11 | 858 | 24k| 25k|1182 | 2 | 407 | 19 | 0.000000e+00 | -- | Inf | 44.92%
31.77/31.95 c
31.77/31.95 c SCIP Status : problem is solved [infeasible]
31.77/31.95 c Solving Time (sec) : 31.95
31.77/31.95 c Solving Nodes : 131
31.77/31.95 c Primal Bound : +1.00000000000000e+20 (0 solutions)
31.77/31.95 c Dual Bound : +1.00000000000000e+20
31.77/31.95 c Gap : 0.00 %
31.77/31.95 s UNSATISFIABLE
31.77/31.95 c SCIP Status : problem is solved [infeasible]
31.77/31.95 c Total Time : 31.95
31.77/31.95 c solving : 31.95
31.77/31.95 c presolving : 11.67 (included in solving)
31.77/31.95 c reading : 0.08 (included in solving)
31.77/31.95 c copying : 0.03 (1 #copies) (minimal 0.03, maximal 0.03, average 0.03)
31.77/31.95 c Original Problem :
31.77/31.95 c Problem name : HOME/instance-4544814-1753217275.opb
31.77/31.95 c Variables : 1584 (1584 binary, 0 integer, 0 continuous)
31.77/31.95 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
31.77/31.95 c Constraints : 50832 initial, 50832 maximal
31.77/31.95 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
31.77/31.95 c Presolved Problem :
31.77/31.95 c Problem name : t_HOME/instance-4544814-1753217275.opb
31.77/31.95 c Variables : 858 (858 binary, 0 integer, 0 continuous)
31.77/31.95 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
31.77/31.95 c Constraints : 24531 initial, 24926 maximal
31.77/31.95 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
31.77/31.95 c Nonzeros : 57251 constraint, 51581 clique table
31.77/31.95 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
31.77/31.95 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c domcol : 0.00 0.00 30 0 0 0 0 0 0 0 0 0
31.77/31.95 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
31.77/31.95 c gateextraction : 1.02 0.00 43 0 0 0 0 0 4062 1350 0 0
31.77/31.95 c implics : 0.00 0.00 45 0 0 0 0 0 0 0 0 0
31.77/31.95 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c milp : 0.11 0.00 1 0 0 0 0 0 0 0 0 0
31.77/31.95 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
31.77/31.95 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c trivial : 0.00 0.00 75 0 0 0 0 0 0 0 0 0
31.77/31.95 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c dualfix : 0.00 0.00 75 0 0 0 0 0 0 0 0 0
31.77/31.95 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c probing : 7.61 0.00 30 0 715 0 0 0 0 0 0 0
31.77/31.95 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c symmetry : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
31.77/31.95 c vbounds : 0.02 0.00 6 0 0 0 0 0 0 0 0 0
31.77/31.95 c knapsack : 0.01 0.00 2 0 0 0 0 0 1452 2904 0 0
31.77/31.95 c setppc : 1.19 0.00 159 0 0 0 0 0 16436 0 0 0
31.77/31.95 c and : 0.17 0.00 113 0 11 0 0 0 639 12 0 0
31.77/31.95 c linear : 0.13 0.01 3 0 0 0 0 0 0 0 0 1452
31.77/31.95 c logicor : 1.24 0.00 148 0 0 0 0 0 7978 0 0 11
31.77/31.95 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
31.77/31.95 c root node : - - - 493 - - 493 - - - - -
31.77/31.95 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
31.77/31.95 c integral : 0 0 0 0 68 0 0 12 0 0 0 0 0 0 136
31.77/31.95 c knapsack : 0+ 10 0 415 0 0 0 0 9 1 38 0 0 0 0
31.77/31.95 c setppc : 16450+ 16456 11 8063 0 0 0 8 2346 20 5664 0 0 0 0
31.77/31.95 c and : 711 711 155 8043 0 0 0 5 1688 19 2004 1980 909 0 0
31.77/31.95 c linear : 0+ 37 0 818 0 0 0 3 25 6 98 0 0 0 0
31.77/31.95 c logicor : 7370+ 7713 11 4450 0 0 0 1 458 14 2542 0 0 0 0
31.77/31.95 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
31.77/31.95 c integral : 2.51 0.00 0.00 0.00 2.51 0.00 0.00 0.00 0.00 0.00
31.77/31.95 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
31.77/31.95 c setppc : 2.31 0.00 0.02 2.27 0.00 0.00 0.00 0.01 0.00 0.01
31.77/31.95 c and : 0.28 0.00 0.03 0.24 0.00 0.00 0.00 0.00 0.00 0.00
31.77/31.95 c linear : 0.01 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
31.77/31.95 c logicor : 0.43 0.00 0.02 0.40 0.00 0.00 0.00 0.00 0.00 0.00
31.77/31.95 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
31.77/31.95 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
31.77/31.95 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
31.77/31.95 c Propagators : #Propagate #ResProp Cutoffs DomReds
31.77/31.95 c dualfix : 1 0 0 0
31.77/31.95 c genvbounds : 0 0 0 0
31.77/31.95 c nlobbt : 0 0 0 0
31.77/31.95 c obbt : 0 0 0 0
31.77/31.95 c probing : 0 0 0 0
31.77/31.95 c pseudoobj : 0 0 0 0
31.77/31.95 c redcost : 0 0 0 0
31.77/31.95 c rootredcost : 0 0 0 0
31.77/31.95 c symmetry : 377 0 4 284
31.77/31.95 c vbounds : 1566 0 0 0
31.77/31.95 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
31.77/31.95 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
31.77/31.95 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
31.77/31.95 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
31.77/31.95 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
31.77/31.95 c probing : 7.61 0.00 7.61 0.00 0.00 0.00
31.77/31.95 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
31.77/31.95 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
31.77/31.95 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
31.77/31.95 c symmetry : 0.07 0.00 0.06 0.00 0.00 0.00
31.77/31.95 c vbounds : 0.02 0.00 0.02 0.00 0.00 0.00
31.77/31.95 c Symmetry :
31.77/31.95 c #affected vars : 780 (780 bin, 0 int, 0 cont)
31.77/31.95 c orbitopal red. : 284 reductions applied, 4 cutoffs
31.77/31.95 c orbital reduction: 0 reductions applied, 0 cutoffs
31.77/31.95 c lexicographic red: 0 reductions applied, 0 cutoffs
31.77/31.95 c shadow tree time : 0.00 s
31.77/31.95 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
31.77/31.95 c propagation : 0.00 51 47 - 222 20.3 2 17.5 - - -
31.77/31.95 c infeasible LP : 0.03 48 48 - 224 30.2 1 11.0 48 58.9 0
31.77/31.95 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
31.77/31.95 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
31.77/31.95 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
31.77/31.95 c applied globally : 0.02 - - 0 405 21.4 - - 48 - -
31.77/31.95 c applied locally : - - - 0 0 0.0 - - 0 - -
31.77/31.95 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
31.77/31.95 c cut pool : 0.02 - 47 21 - - 3212 4037 - - - - - (maximal pool size: 3212)
31.77/31.95 c aggregation : 0.05 0.00 24 11 0 0 0 0 0 0 0 0 0
31.77/31.95 c > cmir : - - - - - - - 0 0 0 0 0 -
31.77/31.95 c > flowcover : - - - - - - - 0 0 0 0 0 -
31.77/31.95 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
31.77/31.95 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c clique : 0.08 0.00 11 11 0 0 91 352 0 42 42 0 0
31.77/31.95 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c gomory : 4.80 0.00 23 10 0 0 2628 2983 0 56 56 0 0
31.77/31.95 c > gomorymi : - - - - - - - 1179 0 10 10 0 -
31.77/31.95 c > strongcg : - - - - - - - 1804 0 46 46 0 -
31.77/31.95 c impliedbounds : 0.05 0.00 24 11 0 0 300 423 0 170 170 0 0
31.77/31.95 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
31.77/31.95 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c multilinear : 0.00 0.00 24 11 0 0 0 0 0 0 0 0 0
31.77/31.95 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
31.77/31.95 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
31.77/31.95 c zerohalf : 0.17 0.00 24 11 0 0 193 279 0 188 188 0 0
31.77/31.95 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
31.77/31.95 c hybrid : 0.01 0.00 130 11 1365 0 4652 293 0 2806
31.77/31.95 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
31.77/31.95 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
31.77/31.95 c Pricers : ExecTime SetupTime Calls Vars
31.77/31.95 c problem variables: 0.00 - 0 0
31.77/31.95 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
31.77/31.95 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
31.77/31.95 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
31.77/31.95 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
31.77/31.95 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
31.77/31.95 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
31.77/31.95 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
31.77/31.95 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
31.77/31.95 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
31.77/31.95 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
31.77/31.95 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
31.77/31.95 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
31.77/31.95 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
31.77/31.95 c random : 0.00 0.00 0 0 0 0 0 0 0 0
31.77/31.95 c relpscost : 2.51 0.00 68 0 0 0 0 0 0 136
31.77/31.95 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
31.77/31.95 c Primal Heuristics : ExecTime SetupTime Calls Found Best
31.77/31.95 c LP solutions : 0.00 - - 0 0
31.77/31.95 c relax solutions : 0.00 - - 0 0
31.77/31.95 c pseudo solutions : 0.00 - - 0 0
31.77/31.95 c strong branching : 0.00 - - 0 0
31.77/31.95 c actconsdiving : 0.00 0.00 0 0 0
31.77/31.95 c adaptivediving : 0.55 0.00 2 0 0
31.77/31.95 c alns : 0.00 0.00 0 0 0
31.77/31.95 c bound : 0.00 0.00 0 0 0
31.77/31.95 c clique : 0.05 0.00 1 0 0
31.77/31.95 c coefdiving : 0.00 0.00 0 0 0
31.77/31.95 c completesol : 0.00 0.00 0 0 0
31.77/31.95 c conflictdiving : 0.72 0.00 1 0 0
31.77/31.95 c crossover : 0.00 0.00 0 0 0
31.77/31.95 c dins : 0.00 0.00 0 0 0
31.77/31.95 c distributiondivin: 0.00 0.00 0 0 0
31.77/31.95 c dks : 0.00 0.00 0 0 0
31.77/31.95 c dps : 0.00 0.00 0 0 0
31.77/31.95 c dualval : 0.00 0.00 0 0 0
31.77/31.95 c farkasdiving : 0.00 0.00 0 0 0
31.77/31.95 c feaspump : 2.49 0.00 1 0 0
31.77/31.95 c fixandinfer : 0.00 0.00 0 0 0
31.77/31.95 c fracdiving : 0.17 0.00 1 0 0
31.77/31.95 c gins : 0.00 0.00 0 0 0
31.77/31.95 c guideddiving : 0.00 0.00 0 0 0
31.77/31.95 c indicator : 0.00 0.00 0 0 0
31.77/31.95 c indicatordiving : 0.00 0.00 0 0 0
31.77/31.95 c intdiving : 0.00 0.00 0 0 0
31.77/31.95 c intshifting : 0.00 0.00 0 0 0
31.77/31.95 c linesearchdiving : 0.21 0.00 1 0 0
31.77/31.95 c localbranching : 0.00 0.00 0 0 0
31.77/31.95 c locks : 0.01 0.00 1 0 0
31.77/31.95 c lpface : 0.00 0.00 0 0 0
31.77/31.95 c mpec : 0.00 0.00 0 0 0
31.77/31.95 c multistart : 0.00 0.00 0 0 0
31.77/31.95 c mutation : 0.00 0.00 0 0 0
31.77/31.95 c nlpdiving : 0.00 0.00 0 0 0
31.77/31.95 c objpscostdiving : 0.74 0.00 1 0 0
31.77/31.95 c octane : 0.00 0.00 0 0 0
31.77/31.95 c ofins : 0.00 0.00 0 0 0
31.77/31.95 c oneopt : 0.00 0.00 0 0 0
31.77/31.95 c padm : 0.00 0.00 0 0 0
31.77/31.95 c proximity : 0.00 0.00 0 0 0
31.77/31.95 c pscostdiving : 0.49 0.00 1 0 0
31.77/31.95 c randrounding : 0.10 0.00 12 0 0
31.77/31.95 c rens : 0.12 0.00 1 0 0
31.77/31.95 c reoptsols : 0.00 0.00 0 0 0
31.77/31.95 c repair : 0.00 0.00 0 0 0
31.77/31.95 c rins : 0.00 0.00 0 0 0
31.77/31.95 c rootsoldiving : 0.17 0.00 1 0 0
31.77/31.95 c rounding : 0.09 0.00 160 0 0
31.77/31.95 c scheduler : 0.00 0.00 0 0 0
31.77/31.95 c shiftandpropagate: 0.02 0.00 1 0 0
31.77/31.95 c shifting : 0.05 0.00 26 0 0
31.77/31.95 c simplerounding : 0.00 0.00 0 0 0
31.77/31.95 c subnlp : 0.00 0.00 0 0 0
31.77/31.95 c trivial : 0.00 0.00 2 0 0
31.77/31.95 c trivialnegation : 0.00 0.00 0 0 0
31.77/31.95 c trustregion : 0.00 0.00 0 0 0
31.77/31.95 c trysol : 0.00 0.00 0 0 0
31.77/31.95 c twoopt : 0.00 0.00 0 0 0
31.77/31.95 c undercover : 0.00 0.00 1 0 0
31.77/31.95 c vbounds : 0.06 0.00 1 0 0
31.77/31.95 c veclendiving : 0.32 0.00 1 0 0
31.77/31.95 c zeroobj : 0.00 0.00 0 0 0
31.77/31.95 c zirounding : 0.05 0.00 68 0 0
31.77/31.95 c other solutions : - - - 0 -
31.77/31.95 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
31.77/31.95 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
31.77/31.95 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
31.77/31.95 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
31.77/31.95 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
31.77/31.95 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
31.77/31.95 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
31.77/31.95 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
31.77/31.95 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
31.77/31.95 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
31.77/31.95 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
31.77/31.95 c primal LP : 0.03 10 0 0.00 0.00 0.03 10
31.77/31.95 c dual LP : 5.22 234 25695 109.81 4925.13 0.00 0
31.77/31.95 c lex dual LP : 0.00 0 0 0.00 -
31.77/31.95 c barrier LP : 0.00 0 0 0.00 - 0.00 0
31.77/31.95 c resolve instable : 0.00 0 0 0.00 -
31.77/31.95 c diving/probing LP: 5.75 64 24659 385.30 4291.24
31.77/31.95 c strong branching : 2.30 19 11076 582.95 4805.27 - - 4
31.77/31.95 c (at root node) : - 19 11076 582.95 -
31.77/31.95 c conflict analysis: 0.00 0 0 0.00 -
31.77/31.95 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
31.77/31.95 c benders : 0.00 0 0 0 0.00 0 0 0
31.77/31.95 c B&B Tree :
31.77/31.95 c number of runs : 1
31.77/31.95 c nodes : 131 (68 internal, 63 leaves)
31.77/31.95 c feasible leaves : 0
31.77/31.95 c infeas. leaves : 63
31.77/31.95 c objective leaves : 0
31.77/31.95 c nodes (total) : 131 (68 internal, 63 leaves)
31.77/31.95 c nodes left : 0
31.77/31.95 c max depth : 11
31.77/31.95 c max depth (total): 11
31.77/31.95 c backtracks : 42 (32.1%)
31.77/31.95 c early backtracks : 0 (0.0%)
31.77/31.95 c nodes exc. ref. : 0 (0.0%)
31.77/31.95 c delayed cutoffs : 6
31.77/31.95 c repropagations : 23 (756 domain reductions, 3 cutoffs)
31.77/31.95 c avg switch length: 3.07
31.77/31.95 c switching time : 0.13
31.77/31.95 c Root Node :
31.77/31.95 c First LP value : +0.00000000000000e+00
31.77/31.95 c First LP Iters : 1020 (14532.40 Iter/sec)
31.77/31.95 c First LP Time : 0.07
31.77/31.95 c Final Dual Bound : -
31.77/31.95 c Final Root Iters : 18663
31.77/31.95 c Root LP Estimate : +2.32887553770084e-03
31.77/31.95 c Solution :
31.77/31.95 c Solutions found : 0 (0 improvements)
31.77/31.95 c Primal Bound : infeasible
31.77/31.95 c Dual Bound : -
31.77/31.95 c Gap : 0.00 %
31.77/31.95 c Integrals : Total Avg%
31.77/31.95 c primal-dual : - - (problem infeasible)
31.77/31.95 c primal-ref : - - (problem infeasible)
31.77/31.95 c dual-ref : - - (problem infeasible)
31.88/32.04 c Time complete (sec): 31.931
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: 63708 MiB (59858 MiB free)
memory of node 1: 64465 MiB (61180 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544814-1753217275/watcher-4544814-1753217275 -o /tmp/evaluation-result-4544814-1753217275/solver-4544814-1753217275 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753209881-158261 --watchdog 3760 pbsolver -f HOME/instance-4544814-1753217275.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=161394, runsolver pid=161391
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.17 4.13 4.10 5/267 161395
/proc/meminfo: memFree=123904880/131249992 swapFree=33009392/33010684
[pid=161394] ppid=161391 vsize=62712 memory=53960 CPUtime=0.09 cores=4,6
/proc/161394/stat : 161394 (pbsolver) R 161391 161394 158250 0 -1 4194304 11534 0 0 0 8 1 0 0 20 0 1 0 237402073 64217088 13490 18446744073709551615 4198400 14743177 140733960946528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47280128 140733960948104 140733960948200 140733960948200 140733960953804 0
/proc/161394/statm: 15678 13490 2368 2575 0 12585 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62712 KiB
Current children cumulated memory: 53960 KiB
[startup+0.205607 s]*
/proc/loadavg: 4.17 4.13 4.10 5/267 161395
/proc/meminfo: memFree=123880724/131249992 swapFree=33009392/33010684
[pid=161394] ppid=161391 vsize=97376 memory=85192 CPUtime=0.2 cores=4,6
/proc/161394/stat : 161394 (pbsolver) R 161391 161394 158250 0 -1 4194304 19296 0 0 0 17 3 0 0 20 0 1 0 237402073 99713024 21266 18446744073709551615 4198400 14743177 140733960946528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47280128 140733960948104 140733960948200 140733960948200 140733960953804 0
/proc/161394/statm: 24344 21266 2432 2575 0 21251 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 97376 KiB
Current children cumulated memory: 85192 KiB
[startup+0.305527 s]*
/proc/loadavg: 4.17 4.13 4.10 6/267 161395
/proc/meminfo: memFree=123856532/131249992 swapFree=33009392/33010684
[pid=161394] ppid=161391 vsize=99240 memory=88672 CPUtime=0.3 cores=4,6
/proc/161394/stat : 161394 (pbsolver) R 161391 161394 158250 0 -1 4194304 26551 0 0 0 26 4 0 0 20 0 1 0 237402073 101621760 22168 18446744073709551615 4198400 14743177 140733960946528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47280128 140733960948104 140733960948200 140733960948200 140733960953804 0
/proc/161394/statm: 24810 22168 2496 2575 0 21717 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 99240 KiB
Current children cumulated memory: 88672 KiB
[startup+0.700191 s]
/proc/loadavg: 4.17 4.13 4.10 5/267 161395
/proc/meminfo: memFree=123852752/131249992 swapFree=33009392/33010684
[pid=161394] ppid=161391 vsize=110108 memory=99280 CPUtime=0.69 cores=4,6
/proc/161394/stat : 161394 (pbsolver) R 161391 161394 158250 0 -1 4194304 33745 0 0 0 64 5 0 0 20 0 1 0 237402073 112750592 24820 18446744073709551615 4198400 14743177 140733960946528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47280128 140733960948104 140733960948200 140733960948200 140733960953804 0
/proc/161394/statm: 27527 24820 2560 2575 0 24434 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 110108 KiB
Current children cumulated memory: 99280 KiB
[startup+1.50018 s]
/proc/loadavg: 4.17 4.13 4.10 5/267 161395
/proc/meminfo: memFree=123852752/131249992 swapFree=33009392/33010684
[pid=161394] ppid=161391 vsize=111896 memory=101072 CPUtime=1.49 cores=4,6
/proc/161394/stat : 161394 (pbsolver) R 161391 161394 158250 0 -1 4194304 34184 0 0 0 144 5 0 0 20 0 1 0 237402073 114581504 25268 18446744073709551615 4198400 14743177 140733960946528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47280128 140733960948104 140733960948200 140733960948200 140733960953804 0
/proc/161394/statm: 27974 25268 2592 2575 0 24881 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 111896 KiB
Current children cumulated memory: 101072 KiB
[startup+3.10564 s]
/proc/loadavg: 4.17 4.13 4.10 5/267 161395
/proc/meminfo: memFree=123853248/131249992 swapFree=33009392/33010684
[pid=161394] ppid=161391 vsize=115180 memory=104400 CPUtime=3.08 cores=4,6
/proc/161394/stat : 161394 (pbsolver) R 161391 161394 158250 0 -1 4194304 35002 0 0 0 303 5 0 0 20 0 1 0 237402073 117944320 26100 18446744073709551615 4198400 14743177 140733960946528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47280128 140733960948104 140733960948200 140733960948200 140733960953804 0
/proc/161394/statm: 28795 26100 2592 2575 0 25702 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 115180 KiB
Current children cumulated memory: 104400 KiB
[startup+6.30018 s]
/proc/loadavg: 4.16 4.12 4.09 5/267 161395
/proc/meminfo: memFree=123849720/131249992 swapFree=33009392/33010684
[pid=161394] ppid=161391 vsize=124912 memory=114128 CPUtime=6.26 cores=4,6
/proc/161394/stat : 161394 (pbsolver) R 161391 161394 158250 0 -1 4194304 37448 0 0 0 621 5 0 0 20 0 1 0 237402073 127909888 28532 18446744073709551615 4198400 14743177 140733960946528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47280128 140733960948104 140733960948200 140733960948200 140733960953804 0
/proc/161394/statm: 31228 28532 2592 2575 0 28135 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 124912 KiB
Current children cumulated memory: 114128 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.12 4.09 5/267 161395
/proc/meminfo: memFree=123799076/131249992 swapFree=33009392/33010684
[pid=161394] ppid=161391 vsize=179128 memory=167120 CPUtime=12.63 cores=4,6
/proc/161394/stat : 161394 (pbsolver) R 161391 161394 158250 0 -1 4194304 50770 0 0 0 1255 8 0 0 20 0 1 0 237402073 183427072 41780 18446744073709551615 4198400 14743177 140733960946528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47280128 140733960948104 140733960948200 140733960948200 140733960953804 0
/proc/161394/statm: 44782 41780 2656 2575 0 41689 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 179128 KiB
Current children cumulated memory: 167120 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.13 4.10 5/267 161395
/proc/meminfo: memFree=123739764/131249992 swapFree=33009392/33010684
[pid=161394] ppid=161391 vsize=261556 memory=221648 CPUtime=25.39 cores=4,6
/proc/161394/stat : 161394 (pbsolver) R 161391 161394 158250 0 -1 4194304 64378 0 0 0 2528 11 0 0 20 0 1 0 237402073 267833344 55412 18446744073709551615 4198400 14743177 140733960946528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47280128 140733960948104 140733960948200 140733960948200 140733960953804 0
/proc/161394/statm: 65389 55412 2688 2575 0 62296 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 261556 KiB
Current children cumulated memory: 221648 KiB
[startup+32.0563 s]
# the end of solver process 161394 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=31.8127 s, system=0.127568 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 4.18 4.13 4.10 5/267 161395
/proc/meminfo: memFree=123739764/131249992 swapFree=33009392/33010684
[pid=161394] ppid=161391 vsize=261556 memory=221648 CPUtime=25.49 cores=4,6
/proc/161394/stat : 161394 (pbsolver) R 161391 161394 158250 0 -1 4194304 64378 0 0 0 2538 11 0 0 20 0 1 0 237402073 267833344 55412 18446744073709551615 4198400 14743177 140733960946528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47280128 140733960948104 140733960948200 140733960948200 140733960953804 0
/proc/161394/statm: 65389 55412 2688 2575 0 62296 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 261556 KiB
Current children cumulated memory: 221648 KiB
[startup+28.8001 s]
/proc/loadavg: 4.18 4.13 4.10 5/267 161395
/proc/meminfo: memFree=123740016/131249992 swapFree=33009392/33010684
[pid=161394] ppid=161391 vsize=263148 memory=221776 CPUtime=28.68 cores=4,6
/proc/161394/stat : 161394 (pbsolver) R 161391 161394 158250 0 -1 4194304 64403 0 0 0 2857 11 0 0 20 0 1 0 237402073 269463552 55444 18446744073709551615 4198400 14743177 140733960946528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47280128 140733960948104 140733960948200 140733960948200 140733960953804 0
/proc/161394/statm: 65787 55444 2688 2575 0 62694 0
Current children cumulated CPU time: 28.68 s
Current children cumulated vsize: 263148 KiB
Current children cumulated memory: 221776 KiB
[startup+30.4002 s]
/proc/loadavg: 4.17 4.13 4.10 5/267 161395
/proc/meminfo: memFree=123740016/131249992 swapFree=33009392/33010684
[pid=161394] ppid=161391 vsize=270304 memory=221904 CPUtime=30.28 cores=4,6
/proc/161394/stat : 161394 (pbsolver) R 161391 161394 158250 0 -1 4194304 64424 0 0 0 3017 11 0 0 20 0 1 0 237402073 276791296 55476 18446744073709551615 4198400 14743177 140733960946528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47280128 140733960948104 140733960948200 140733960948200 140733960953804 0
/proc/161394/statm: 67576 55476 2688 2575 0 64483 0
Current children cumulated CPU time: 30.28 s
Current children cumulated vsize: 270304 KiB
Current children cumulated memory: 221904 KiB
[startup+31.2002 s]
/proc/loadavg: 4.17 4.13 4.10 5/267 161395
/proc/meminfo: memFree=123742268/131249992 swapFree=33009392/33010684
[pid=161394] ppid=161391 vsize=272696 memory=221904 CPUtime=31.08 cores=4,6
/proc/161394/stat : 161394 (pbsolver) R 161391 161394 158250 0 -1 4194304 64426 0 0 0 3097 11 0 0 20 0 1 0 237402073 279240704 55476 18446744073709551615 4198400 14743177 140733960946528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47280128 140733960948104 140733960948200 140733960948200 140733960953804 0
/proc/161394/statm: 68174 55476 2688 2575 0 65081 0
Current children cumulated CPU time: 31.08 s
Current children cumulated vsize: 272696 KiB
Current children cumulated memory: 221904 KiB
[startup+31.6002 s]
/proc/loadavg: 4.17 4.13 4.10 5/267 161395
/proc/meminfo: memFree=123742268/131249992 swapFree=33009392/33010684
[pid=161394] ppid=161391 vsize=275084 memory=221904 CPUtime=31.47 cores=4,6
/proc/161394/stat : 161394 (pbsolver) R 161391 161394 158250 0 -1 4194304 64427 0 0 0 3136 11 0 0 20 0 1 0 237402073 281686016 55476 18446744073709551615 4198400 14743177 140733960946528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47280128 140733960948104 140733960948200 140733960948200 140733960953804 0
/proc/161394/statm: 68771 55476 2688 2575 0 65678 0
Current children cumulated CPU time: 31.47 s
Current children cumulated vsize: 275084 KiB
Current children cumulated memory: 221904 KiB
[startup+32.0002 s]*
/proc/loadavg: 4.17 4.13 4.10 5/267 161395
/proc/meminfo: memFree=123742556/131249992 swapFree=33009392/33010684
[pid=161394] ppid=161391 vsize=275084 memory=221904 CPUtime=31.88 cores=4,6
/proc/161394/stat : 161394 (pbsolver) R 161391 161394 158250 0 -1 4194304 64427 0 0 0 3177 11 0 0 20 0 1 0 237402073 281686016 55476 18446744073709551615 4198400 14743177 140733960946528 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 47280128 140733960948104 140733960948200 140733960948200 140733960953804 0
/proc/161394/statm: 68771 55476 2688 2575 0 65678 0
Current children cumulated CPU time: 31.88 s
Current children cumulated vsize: 275084 KiB
Current children cumulated memory: 221904 KiB
Child status: 0
Real time (s): 32.0564
CPU time (s): 31.9403
CPU user time (s): 31.8127
CPU system time (s): 0.127568
CPU usage (%): 99.6377
Max. virtual memory (cumulated for all children) (KiB): 275084
Max. memory (cumulated for all children) (KiB): 221904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.8127
system time used= 0.127568
maximum resident set size= 221904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64427
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= 3
involuntary context switches= 47
# summary of solver processes directly reported to runsolver:
# pid: 161394
# total CPU time (s): 31.9403
# total CPU user time (s): 31.8127
# total CPU system time (s): 0.127568
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.072007 second user time and 0.178374 second system time
The end
Begin job on nodeC035 at 2025-07-22 22:47:55 IDJOB=4544814 IDBENCH=180683 IDSOLVER=3366 FILE ID=nodeC035/4544814-1753217275 RUNJOBID= nodeC035-1753209881-158261 SLURM_JOB_ID= 9687779 Free space on /tmp= 432400 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB25/normalized-PB25/DEC-LIN/koops/normalized-mat12_11_identity_complement.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544814-1753217275/watcher-4544814-1753217275 -o /tmp/evaluation-result-4544814-1753217275/solver-4544814-1753217275 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753209881-158261 --watchdog 3760 pbsolver -f HOME/instance-4544814-1753217275.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6b491c2baabcf28ebf0b874cd3568279 RANDOM SEED=506039865 nodeC035 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.840 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.51 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.745 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.51 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 : 3563.413 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.51 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 : 3600.291 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.51 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.750 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.51 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.651 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.51 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 : 3599.734 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.51 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 : 3560.541 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.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249992 kB MemFree: 123944444 kB MemAvailable: 126215436 kB Buffers: 664 kB Cached: 3021932 kB SwapCached: 336 kB Active: 4382380 kB Inactive: 2151676 kB Active(anon): 3518456 kB Inactive(anon): 18908 kB Active(file): 863924 kB Inactive(file): 2132768 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009392 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 16212 kB Writeback: 0 kB AnonPages: 3513532 kB Mapped: 141356 kB Shmem: 25904 kB KReclaimable: 227076 kB Slab: 322588 kB SReclaimable: 227076 kB SUnreclaim: 95512 kB KernelStack: 4320 kB PageTables: 10404 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 5176480 kB VmallocTotal: 34359738367 kB VmallocUsed: 150616 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 839680 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: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432388 MiB End job on nodeC035 at 2025-07-22 22:48:28