| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | UNSAT | 15.6916 | 15.7526 |
| Name | PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat10_9identity_complement.opb |
| MD5SUM | ab67e3b90eb3931507bbeeb5ae959313 |
| 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.33317 |
| 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 | 900 |
| Total number of constraints | 19855 |
| Number of constraints which are clauses | 18235 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1620 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 9 |
| 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 | 8 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 17 |
| 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-4544502-1753217067.opb>
0.00/0.03 c original problem has 900 variables (900 bin, 0 int, 0 cont) and 19855 constraints
0.00/0.03 c problem read in 0.029 seconds
0.00/0.03 c problem without objective
0.00/0.05 c presolving:
0.00/0.07 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 810 chg coeffs, 0 upgd conss, 0 impls, 11340 clqs
0.00/0.09 c (0.1s) running MILP presolver
0.09/0.11 c (0.1s) MILP presolver found nothing
0.09/0.15 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 810 chg coeffs, 19855 upgd conss, 0 impls, 11340 clqs
0.09/0.17 c (round 3, medium) 0 del vars, 810 del conss, 1620 add conss, 0 chg bounds, 0 chg sides, 810 chg coeffs, 19855 upgd conss, 0 impls, 12960 clqs
0.09/0.19 c (round 4, exhaustive) 0 del vars, 3048 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 810 chg coeffs, 19855 upgd conss, 0 impls, 12960 clqs
0.19/0.22 c (round 5, exhaustive) 9 del vars, 3057 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 810 chg coeffs, 19855 upgd conss, 0 impls, 12942 clqs
0.19/0.24 c (round 6, exhaustive) 9 del vars, 3453 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 12942 clqs
0.48/0.56 c (round 7, exhaustive) 34 del vars, 3453 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 17893 clqs
0.48/0.57 c (round 8, fast) 34 del vars, 3542 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 17893 clqs
0.67/0.71 c (round 9, exhaustive) 59 del vars, 3542 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 18353 clqs
0.67/0.72 c (round 10, fast) 59 del vars, 3684 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 18353 clqs
0.77/0.85 c (round 11, exhaustive) 84 del vars, 3690 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 18395 clqs
0.77/0.85 c (round 12, fast) 84 del vars, 3898 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 18395 clqs
0.87/0.96 c (round 13, exhaustive) 109 del vars, 3902 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 18081 clqs
0.87/0.97 c (round 14, fast) 109 del vars, 4175 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 18081 clqs
0.99/1.06 c (round 15, exhaustive) 134 del vars, 4184 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 17484 clqs
0.99/1.07 c (round 16, fast) 134 del vars, 4532 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 17484 clqs
1.08/1.17 c (round 17, exhaustive) 159 del vars, 4544 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 16984 clqs
1.08/1.17 c (round 18, fast) 159 del vars, 4945 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 16984 clqs
1.08/1.19 c (round 19, exhaustive) 159 del vars, 4964 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 16984 clqs
1.18/1.28 c (round 20, exhaustive) 184 del vars, 4964 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 16426 clqs
1.18/1.29 c (round 21, fast) 184 del vars, 5446 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 16426 clqs
1.28/1.31 c (round 22, exhaustive) 184 del vars, 5467 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 16426 clqs
1.28/1.39 c (round 23, exhaustive) 209 del vars, 5467 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 15748 clqs
1.38/1.40 c (round 24, fast) 209 del vars, 6017 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 15748 clqs
1.38/1.42 c (round 25, exhaustive) 209 del vars, 6039 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 15748 clqs
1.48/1.50 c (round 26, exhaustive) 234 del vars, 6039 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 15044 clqs
1.48/1.51 c (round 27, fast) 234 del vars, 6627 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 15044 clqs
1.48/1.53 c (round 28, exhaustive) 234 del vars, 6645 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 15044 clqs
1.58/1.61 c (round 29, exhaustive) 259 del vars, 6645 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 14332 clqs
1.58/1.61 c (round 30, fast) 259 del vars, 7312 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 14332 clqs
1.58/1.63 c (round 31, exhaustive) 259 del vars, 7331 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 14332 clqs
1.68/1.70 c (round 32, exhaustive) 284 del vars, 7331 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 13544 clqs
1.68/1.71 c (round 33, fast) 284 del vars, 8059 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 13544 clqs
1.68/1.73 c (round 34, exhaustive) 284 del vars, 8087 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 13544 clqs
1.68/1.79 c (round 35, exhaustive) 309 del vars, 8087 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 12746 clqs
1.78/1.80 c (round 36, fast) 309 del vars, 8888 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 12746 clqs
1.78/1.82 c (round 37, exhaustive) 309 del vars, 8918 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 12746 clqs
1.78/1.87 c (round 38, exhaustive) 334 del vars, 8918 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 11922 clqs
1.78/1.88 c (round 39, fast) 334 del vars, 9796 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 11922 clqs
1.88/1.90 c (round 40, exhaustive) 334 del vars, 9833 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 11922 clqs
1.88/1.95 c (round 41, exhaustive) 359 del vars, 9833 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 11094 clqs
1.88/1.96 c (round 42, fast) 359 del vars, 10758 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 11094 clqs
1.88/1.98 c (round 43, exhaustive) 359 del vars, 10794 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 11094 clqs
1.98/2.03 c (round 44, exhaustive) 384 del vars, 10794 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 10298 clqs
1.98/2.03 c (round 45, fast) 384 del vars, 11797 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 10298 clqs
1.98/2.04 c (round 46, exhaustive) 384 del vars, 11834 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 10298 clqs
2.08/2.19 c (2.2s) probing cycle finished: starting next cycle
2.17/2.23 c (2.2s) probing: 50/495 (10.1%) - 0 fixings, 396 aggregations, 18045 implications, 0 bound changes
2.17/2.23 c (2.2s) probing aborted: 50/50 successive totally useless probings
2.17/2.23 c (round 47, exhaustive) 405 del vars, 11834 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 10125 clqs
2.17/2.24 c (round 48, fast) 405 del vars, 12719 del conss, 2366 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 10125 clqs
2.17/2.25 c (round 49, exhaustive) 405 del vars, 12758 del conss, 2376 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 10125 clqs
2.17/2.26 c (round 50, exhaustive) 405 del vars, 12768 del conss, 2376 add conss, 0 chg bounds, 0 chg sides, 819 chg coeffs, 19855 upgd conss, 0 impls, 10134 clqs
2.17/2.28 c (2.3s) probing: 55/495 (11.1%) - 0 fixings, 396 aggregations, 18045 implications, 0 bound changes
2.17/2.28 c (2.3s) probing aborted: 50/50 successive totally useless probings
2.17/2.28 c (2.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.27/2.30 c (2.3s) symmetry computation finished: 6 generators found (max: 1500, log10 of symmetry group size: 124.11) (symcode time: 0.01)
2.27/2.30 c dynamic symmetry handling statistics:
2.27/2.30 c orbitopal reduction: 1 components: 55x7
2.27/2.30 c orbital reduction: no components
2.27/2.30 c lexicographic reduction: no permutations
2.27/2.30 c handled 1 out of 1 symmetry components
2.27/2.31 c presolving (51 rounds: 51 fast, 34 medium, 33 exhaustive):
2.27/2.31 c 405 deleted vars, 12768 deleted constraints, 2376 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 819 changed coefficients
2.27/2.31 c 0 implications, 10134 cliques
2.27/2.31 c presolved problem has 495 variables (495 bin, 0 int, 0 cont) and 9463 constraints
2.27/2.31 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
2.27/2.31 c 5745 constraints of type <setppc>
2.27/2.31 c 400 constraints of type <and>
2.27/2.31 c 3318 constraints of type <logicor>
2.27/2.31 c transformed objective value is always integral (scale: 1)
2.27/2.31 c Presolving Time: 2.26
2.27/2.31 c
2.27/2.31 c - non default parameters ----------------------------------------------------------------------
2.27/2.31 c
2.27/2.31 c # SCIP version 10.0.0
2.27/2.31 c
2.27/2.31 c # maximal time in seconds to run
2.27/2.31 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.27/2.31 c limits/time = 3596.998008
2.27/2.31 c
2.27/2.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.27/2.31 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.27/2.31 c limits/memory = 27900
2.27/2.31 c
2.27/2.31 c # belongs reading time to solving time?
2.27/2.31 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.27/2.31 c timing/reading = TRUE
2.27/2.31 c
2.27/2.31 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
2.27/2.31 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
2.27/2.31 c reading/opbreader/maxintsize = 47
2.27/2.31 c
2.27/2.31 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
2.27/2.31 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
2.27/2.31 c propagating/genvbounds/timingmask = 0
2.27/2.31 c
2.27/2.31 c -----------------------------------------------------------------------------------------------
2.27/2.31 c
2.27/2.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.27/2.38 c 2.4s| 1 | 0 | 523 | - | 60M | 0 | 495 |9560 |9863 | 0 | 0 | 96 | 0 | 0.000000e+00 | -- | Inf | unknown
3.08/3.17 c 3.2s| 1 | 0 | 6059 | - | 64M | 0 | 495 |9741 |9906 | 43 | 1 | 104 | 0 | 0.000000e+00 | -- | Inf | unknown
3.17/3.28 c 3.3s| 1 | 0 | 6386 | - | 65M | 0 | 495 |9743 |9946 | 83 | 2 | 106 | 0 | 0.000000e+00 | -- | Inf | unknown
3.27/3.39 c 3.4s| 1 | 0 | 6557 | - | 67M | 0 | 495 |9744 |9979 | 116 | 3 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
3.47/3.57 c 3.6s| 1 | 0 | 6769 | - | 68M | 0 | 495 |9744 |9997 | 134 | 4 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
3.67/3.77 c 3.8s| 1 | 0 | 6980 | - | 70M | 0 | 495 |9744 | 10k| 158 | 5 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
3.87/3.92 c 3.9s| 1 | 0 | 7291 | - | 73M | 0 | 495 |9744 | 10k| 180 | 6 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
4.07/4.17 c 4.2s| 1 | 0 | 7515 | - | 75M | 0 | 495 |9744 | 10k| 193 | 7 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
4.27/4.39 c 4.4s| 1 | 0 | 7715 | - | 79M | 0 | 495 |9745 | 10k| 205 | 8 | 108 | 0 | 0.000000e+00 | -- | Inf | unknown
4.47/4.59 c 4.6s| 1 | 0 | 7899 | - | 83M | 0 | 495 |9746 | 10k| 229 | 9 | 109 | 0 | 0.000000e+00 | -- | Inf | unknown
4.87/4.98 c 5.0s| 1 | 0 | 8175 | - | 86M | 0 | 495 |9747 | 10k| 246 | 10 | 110 | 0 | 0.000000e+00 | -- | Inf | unknown
4.97/5.01 c 5.0s| 1 | 0 | 8268 | - | 87M | 0 | 495 |9756 | 10k| 267 | 11 | 119 | 0 | 0.000000e+00 | -- | Inf | unknown
4.97/5.04 c 5.0s| 1 | 0 | 8333 | - | 88M | 0 | 495 |9757 | 10k| 280 | 12 | 120 | 0 | 0.000000e+00 | -- | Inf | unknown
4.97/5.07 c 5.1s| 1 | 0 | 8391 | - | 89M | 0 | 495 |9758 | 10k| 293 | 13 | 121 | 0 | 0.000000e+00 | -- | Inf | unknown
5.56/5.65 c 5.7s| 1 | 2 | 10022 | - | 89M | 0 | 495 |9768 | 10k| 293 | 13 | 131 | 10 | 0.000000e+00 | -- | Inf | unknown
10.55/10.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.55/10.60 c 10.6s| 100 | 10 | 23657 | 154.2 | 106M | 16 | 495 |9932 | 0 |1069 | 0 | 322 | 10 | 0.000000e+00 | -- | Inf | 35.08%
13.24/13.31 c 13.3s| 200 | 6 | 28235 | 99.7 | 113M | 17 | 495 |9956 | 0 |1513 | 0 | 414 | 10 | 0.000000e+00 | -- | Inf | 79.69%
15.53/15.69 c
15.53/15.69 c SCIP Status : problem is solved [infeasible]
15.53/15.69 c Solving Time (sec) : 15.69
15.53/15.69 c Solving Nodes : 271
15.53/15.69 c Primal Bound : +1.00000000000000e+20 (0 solutions)
15.53/15.69 c Dual Bound : +1.00000000000000e+20
15.53/15.69 c Gap : 0.00 %
15.53/15.69 s UNSATISFIABLE
15.53/15.69 c SCIP Status : problem is solved [infeasible]
15.53/15.69 c Total Time : 15.69
15.53/15.69 c solving : 15.69
15.53/15.69 c presolving : 2.26 (included in solving)
15.53/15.69 c reading : 0.03 (included in solving)
15.53/15.69 c copying : 0.19 (14 #copies) (minimal 0.01, maximal 0.01, average 0.01)
15.53/15.69 c Original Problem :
15.53/15.69 c Problem name : HOME/instance-4544502-1753217067.opb
15.53/15.69 c Variables : 900 (900 binary, 0 integer, 0 continuous)
15.53/15.69 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
15.53/15.69 c Constraints : 19855 initial, 19855 maximal
15.53/15.69 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
15.53/15.69 c Presolved Problem :
15.53/15.69 c Problem name : t_HOME/instance-4544502-1753217067.opb
15.53/15.69 c Variables : 495 (495 binary, 0 integer, 0 continuous)
15.53/15.69 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
15.53/15.69 c Constraints : 9463 initial, 10028 maximal
15.53/15.69 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
15.53/15.69 c Nonzeros : 22714 constraint, 20277 clique table
15.53/15.69 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
15.53/15.69 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c domcol : 0.00 0.00 17 0 0 0 0 0 0 0 0 0
15.53/15.69 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
15.53/15.69 c gateextraction : 0.23 0.00 32 0 0 0 0 0 2248 746 0 0
15.53/15.69 c implics : 0.00 0.00 34 0 0 0 0 0 0 0 0 0
15.53/15.69 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c milp : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
15.53/15.69 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
15.53/15.69 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c trivial : 0.00 0.00 51 0 0 0 0 0 0 0 0 0
15.53/15.69 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c dualfix : 0.00 0.00 51 0 0 0 0 0 0 0 0 0
15.53/15.69 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c probing : 1.31 0.00 17 0 396 0 0 0 0 0 0 0
15.53/15.69 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
15.53/15.69 c vbounds : 0.01 0.00 7 0 0 0 0 0 0 0 0 0
15.53/15.69 c knapsack : 0.00 0.00 2 0 0 0 0 0 810 1620 0 0
15.53/15.69 c setppc : 0.25 0.00 112 0 0 0 0 0 5733 0 0 0
15.53/15.69 c and : 0.05 0.00 77 0 9 0 0 0 346 10 0 0
15.53/15.69 c linear : 0.06 0.00 3 0 0 0 0 0 0 0 0 810
15.53/15.69 c logicor : 0.25 0.00 100 0 0 0 0 0 3631 0 0 9
15.53/15.69 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
15.53/15.69 c root node : - - - 210 - - 210 - - - - -
15.53/15.69 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
15.53/15.69 c integral : 0 0 0 0 138 0 0 11 0 0 0 0 0 0 276
15.53/15.69 c knapsack : 0+ 11 0 1233 0 0 0 0 7 6 47 0 0 0 0
15.53/15.69 c setppc : 5745+ 5757 13 5686 0 0 0 7 1815 17 5463 0 0 0 0
15.53/15.69 c and : 400 400 289 5669 0 0 0 4 1989 16 3233 2392 1196 0 0
15.53/15.69 c linear : 0+ 249 13 1611 0 0 0 3 32 17 209 0 0 0 0
15.53/15.69 c logicor : 3318+ 3622 13 3352 0 0 0 2 761 28 4064 0 0 0 0
15.53/15.69 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
15.53/15.69 c integral : 0.32 0.00 0.00 0.00 0.32 0.00 0.00 0.00 0.00 0.00
15.53/15.69 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.53/15.69 c setppc : 0.38 0.00 0.01 0.36 0.00 0.00 0.00 0.00 0.00 0.00
15.53/15.69 c and : 0.12 0.00 0.03 0.09 0.00 0.00 0.00 0.00 0.00 0.00
15.53/15.69 c linear : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
15.53/15.69 c logicor : 0.16 0.00 0.01 0.14 0.00 0.00 0.00 0.00 0.00 0.00
15.53/15.69 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.53/15.69 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.53/15.69 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
15.53/15.69 c Propagators : #Propagate #ResProp Cutoffs DomReds
15.53/15.69 c dualfix : 1 0 0 0
15.53/15.69 c genvbounds : 0 0 0 0
15.53/15.69 c nlobbt : 0 0 0 0
15.53/15.69 c obbt : 0 0 0 0
15.53/15.69 c probing : 0 0 0 0
15.53/15.69 c pseudoobj : 0 0 0 0
15.53/15.69 c redcost : 0 0 0 0
15.53/15.69 c rootredcost : 0 0 0 0
15.53/15.69 c symmetry : 768 0 21 325
15.53/15.69 c vbounds : 1823 0 0 0
15.53/15.69 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
15.53/15.69 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
15.53/15.69 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
15.53/15.69 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
15.53/15.69 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
15.53/15.69 c probing : 1.31 0.00 1.31 0.00 0.00 0.00
15.53/15.69 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
15.53/15.69 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
15.53/15.69 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
15.53/15.69 c symmetry : 0.03 0.00 0.02 0.01 0.00 0.00
15.53/15.69 c vbounds : 0.01 0.00 0.01 0.00 0.00 0.00
15.53/15.69 c Symmetry :
15.53/15.69 c #affected vars : 385 (385 bin, 0 int, 0 cont)
15.53/15.69 c orbitopal red. : 325 reductions applied, 21 cutoffs
15.53/15.69 c orbital reduction: 0 reductions applied, 0 cutoffs
15.53/15.69 c lexicographic red: 0 reductions applied, 0 cutoffs
15.53/15.69 c shadow tree time : 0.00 s
15.53/15.69 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
15.53/15.69 c propagation : 0.00 63 59 - 215 15.9 1 2.0 - - -
15.53/15.69 c infeasible LP : 0.03 80 80 - 324 21.5 0 0.0 79 44.6 0
15.53/15.69 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
15.53/15.69 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
15.53/15.69 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
15.53/15.69 c applied globally : 0.01 - - 0 431 14.8 - - 79 - -
15.53/15.69 c applied locally : - - - 0 0 0.0 - - 0 - -
15.53/15.69 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
15.53/15.69 c cut pool : 0.03 - 73 25 - - 3870 5555 - - - - - (maximal pool size: 3870)
15.53/15.69 c aggregation : 0.05 0.00 37 13 0 0 0 0 0 0 0 0 0
15.53/15.69 c > cmir : - - - - - - - 0 0 0 0 0 -
15.53/15.69 c > flowcover : - - - - - - - 0 0 0 0 0 -
15.53/15.69 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
15.53/15.69 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c clique : 0.04 0.00 13 13 0 0 98 485 0 68 68 0 0
15.53/15.69 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c gomory : 4.01 0.00 34 10 0 0 3210 4045 0 99 99 0 0
15.53/15.69 c > gomorymi : - - - - - - - 1749 0 17 17 0 -
15.53/15.69 c > strongcg : - - - - - - - 2296 0 82 82 0 -
15.53/15.69 c impliedbounds : 0.03 0.00 37 13 0 0 349 567 0 249 249 0 0
15.53/15.69 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
15.53/15.69 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c multilinear : 0.00 0.00 37 13 0 0 0 0 0 0 0 0 0
15.53/15.69 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
15.53/15.69 c rapidlearning : 3.26 0.00 13 1 0 433 0 0 0 0 0 0 273
15.53/15.69 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
15.53/15.69 c zerohalf : 0.11 0.00 37 13 0 0 213 458 0 197 197 0 0
15.53/15.69 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
15.53/15.69 c hybrid : 0.01 0.00 230 13 1809 0 6106 293 0 3110
15.53/15.69 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
15.53/15.69 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
15.53/15.69 c Pricers : ExecTime SetupTime Calls Vars
15.53/15.69 c problem variables: 0.00 - 0 0
15.53/15.69 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
15.53/15.69 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
15.53/15.69 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
15.53/15.69 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
15.53/15.69 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
15.53/15.69 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
15.53/15.69 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
15.53/15.69 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
15.53/15.69 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
15.53/15.69 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
15.53/15.69 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
15.53/15.69 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
15.53/15.69 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
15.53/15.69 c random : 0.00 0.00 0 0 0 0 0 0 0 0
15.53/15.69 c relpscost : 0.32 0.00 138 0 0 0 0 0 0 276
15.53/15.69 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
15.53/15.69 c Primal Heuristics : ExecTime SetupTime Calls Found Best
15.53/15.69 c LP solutions : 0.00 - - 0 0
15.53/15.69 c relax solutions : 0.00 - - 0 0
15.53/15.69 c pseudo solutions : 0.00 - - 0 0
15.53/15.69 c strong branching : 0.00 - - 0 0
15.53/15.69 c actconsdiving : 0.00 0.00 0 0 0
15.53/15.69 c adaptivediving : 0.22 0.00 1 0 0
15.53/15.69 c alns : 0.03 0.00 1 0 0
15.53/15.69 c bound : 0.00 0.00 0 0 0
15.53/15.69 c clique : 0.02 0.00 1 0 0
15.53/15.69 c coefdiving : 0.00 0.00 0 0 0
15.53/15.69 c completesol : 0.00 0.00 0 0 0
15.53/15.69 c conflictdiving : 0.25 0.00 1 0 0
15.53/15.69 c crossover : 0.00 0.00 0 0 0
15.53/15.69 c dins : 0.00 0.00 0 0 0
15.53/15.69 c distributiondivin: 0.13 0.00 1 0 0
15.53/15.69 c dks : 0.00 0.00 0 0 0
15.53/15.69 c dps : 0.00 0.00 0 0 0
15.53/15.69 c dualval : 0.00 0.00 0 0 0
15.53/15.69 c farkasdiving : 0.00 0.00 0 0 0
15.53/15.69 c feaspump : 0.44 0.00 1 0 0
15.53/15.69 c fixandinfer : 0.00 0.00 0 0 0
15.53/15.69 c fracdiving : 0.14 0.00 1 0 0
15.53/15.69 c gins : 0.00 0.00 0 0 0
15.53/15.69 c guideddiving : 0.00 0.00 0 0 0
15.53/15.69 c indicator : 0.00 0.00 0 0 0
15.53/15.69 c indicatordiving : 0.00 0.00 0 0 0
15.53/15.69 c intdiving : 0.00 0.00 0 0 0
15.53/15.69 c intshifting : 0.00 0.00 0 0 0
15.53/15.69 c linesearchdiving : 0.05 0.00 1 0 0
15.53/15.69 c localbranching : 0.00 0.00 0 0 0
15.53/15.69 c locks : 0.01 0.00 1 0 0
15.53/15.69 c lpface : 0.00 0.00 0 0 0
15.53/15.69 c mpec : 0.00 0.00 0 0 0
15.53/15.69 c multistart : 0.00 0.00 0 0 0
15.53/15.69 c mutation : 0.00 0.00 0 0 0
15.53/15.69 c nlpdiving : 0.00 0.00 0 0 0
15.53/15.69 c objpscostdiving : 0.31 0.00 1 0 0
15.53/15.69 c octane : 0.00 0.00 0 0 0
15.53/15.69 c ofins : 0.00 0.00 0 0 0
15.53/15.69 c oneopt : 0.00 0.00 0 0 0
15.53/15.69 c padm : 0.00 0.00 0 0 0
15.53/15.69 c proximity : 0.00 0.00 0 0 0
15.53/15.69 c pscostdiving : 0.20 0.00 1 0 0
15.53/15.69 c randrounding : 0.08 0.00 14 0 0
15.53/15.69 c rens : 0.00 0.00 0 0 0
15.53/15.69 c reoptsols : 0.00 0.00 0 0 0
15.53/15.69 c repair : 0.00 0.00 0 0 0
15.53/15.69 c rins : 0.00 0.00 0 0 0
15.53/15.69 c rootsoldiving : 0.05 0.00 1 0 0
15.53/15.69 c rounding : 0.04 0.00 228 0 0
15.53/15.69 c scheduler : 0.00 0.00 0 0 0
15.53/15.69 c shiftandpropagate: 0.01 0.00 1 0 0
15.53/15.69 c shifting : 0.04 0.00 43 0 0
15.53/15.69 c simplerounding : 0.00 0.00 0 0 0
15.53/15.69 c subnlp : 0.00 0.00 0 0 0
15.53/15.69 c trivial : 0.00 0.00 2 0 0
15.53/15.69 c trivialnegation : 0.00 0.00 0 0 0
15.53/15.69 c trustregion : 0.00 0.00 0 0 0
15.53/15.69 c trysol : 0.00 0.00 0 0 0
15.53/15.69 c twoopt : 0.00 0.00 0 0 0
15.53/15.69 c undercover : 0.00 0.00 1 0 0
15.53/15.69 c vbounds : 0.02 0.00 1 0 0
15.53/15.69 c veclendiving : 0.14 0.00 1 0 0
15.53/15.69 c zeroobj : 0.00 0.00 0 0 0
15.53/15.69 c zirounding : 0.03 0.00 138 0 0
15.53/15.69 c other solutions : - - - 0 -
15.53/15.69 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
15.53/15.69 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
15.53/15.69 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
15.53/15.69 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
15.53/15.69 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
15.53/15.69 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
15.53/15.69 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
15.53/15.69 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
15.53/15.69 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
15.53/15.69 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
15.53/15.69 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
15.53/15.69 c primal LP : 0.01 15 0 0.00 0.00 0.01 15
15.53/15.69 c dual LP : 2.64 440 20899 47.71 7929.54 0.00 2
15.53/15.69 c lex dual LP : 0.00 0 0 0.00 -
15.53/15.69 c barrier LP : 0.00 0 0 0.00 - 0.00 0
15.53/15.69 c resolve instable : 0.00 0 0 0.00 -
15.53/15.69 c diving/probing LP: 1.84 76 10916 143.63 5928.93
15.53/15.69 c strong branching : 0.23 10 1802 180.20 7880.42 - - 0
15.53/15.69 c (at root node) : - 10 1802 180.20 -
15.53/15.69 c conflict analysis: 0.00 0 0 0.00 -
15.53/15.69 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
15.53/15.69 c benders : 0.00 0 0 0 0.00 0 0 0
15.53/15.69 c B&B Tree :
15.53/15.69 c number of runs : 1
15.53/15.69 c nodes : 271 (138 internal, 133 leaves)
15.53/15.69 c feasible leaves : 0
15.53/15.69 c infeas. leaves : 133
15.53/15.69 c objective leaves : 0
15.53/15.69 c nodes (total) : 271 (138 internal, 133 leaves)
15.53/15.69 c nodes left : 0
15.53/15.69 c max depth : 17
15.53/15.69 c max depth (total): 17
15.53/15.69 c backtracks : 73 (26.9%)
15.53/15.69 c early backtracks : 0 (0.0%)
15.53/15.69 c nodes exc. ref. : 0 (0.0%)
15.53/15.69 c delayed cutoffs : 6
15.53/15.69 c repropagations : 38 (737 domain reductions, 6 cutoffs)
15.53/15.69 c avg switch length: 2.93
15.53/15.69 c switching time : 0.12
15.53/15.69 c Root Node :
15.53/15.69 c First LP value : +0.00000000000000e+00
15.53/15.69 c First LP Iters : 523 (39498.53 Iter/sec)
15.53/15.69 c First LP Time : 0.01
15.53/15.69 c Final Dual Bound : +0.00000000000000e+00
15.53/15.69 c Final Root Iters : 8391
15.53/15.69 c Root LP Estimate : +1.02860616260985e-02
15.53/15.69 c Solution :
15.53/15.69 c Solutions found : 0 (0 improvements)
15.53/15.69 c Primal Bound : infeasible
15.53/15.69 c Dual Bound : -
15.53/15.69 c Gap : 0.00 %
15.53/15.69 c Integrals : Total Avg%
15.53/15.69 c primal-dual : - - (problem infeasible)
15.53/15.69 c primal-ref : - - (problem infeasible)
15.53/15.69 c dual-ref : - - (problem infeasible)
15.63/15.74 c Time complete (sec): 15.681
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (57788 MiB free)
memory of node 1: 64507 MiB (59659 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544502-1753217067/watcher-4544502-1753217067 -o /tmp/evaluation-result-4544502-1753217067/solver-4544502-1753217067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753209881-168480 --watchdog 3760 pbsolver -f HOME/instance-4544502-1753217067.opb -t 3600 -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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=169425, runsolver pid=169422
[startup+0.100066 s]*
/proc/loadavg: 4.08 4.08 4.09 5/262 169426
/proc/meminfo: memFree=120242476/131249996 swapFree=33010672/33010684
[pid=169425] ppid=169422 vsize=63604 memory=53816 CPUtime=0.09 cores=5,7
/proc/169425/stat : 169425 (pbsolver) R 169422 169425 168467 0 -1 4194304 12416 0 0 0 7 2 0 0 20 0 1 0 237384645 65130496 13454 18446744073709551615 4198400 14743177 140720946742624 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 16769280 16853168 32788480 140720946747784 140720946747880 140720946747880 140720946753484 0
/proc/169425/statm: 15901 13454 2496 2575 0 12808 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 63604 KiB
Current children cumulated memory: 53816 KiB
[startup+0.205533 s]*
/proc/loadavg: 4.08 4.08 4.09 5/262 169426
/proc/meminfo: memFree=120241720/131249996 swapFree=33010672/33010684
[pid=169425] ppid=169422 vsize=67520 memory=57592 CPUtime=0.19 cores=5,7
/proc/169425/stat : 169425 (pbsolver) R 169422 169425 168467 0 -1 4194304 14897 0 0 0 17 2 0 0 20 0 1 0 237384645 69140480 14398 18446744073709551615 4198400 14743177 140720946742624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32788480 140720946747784 140720946747880 140720946747880 140720946753484 0
/proc/169425/statm: 16880 14398 2592 2575 0 13787 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67520 KiB
Current children cumulated memory: 57592 KiB
[startup+0.30558 s]*
/proc/loadavg: 4.08 4.08 4.09 5/262 169426
/proc/meminfo: memFree=120241720/131249996 swapFree=33010672/33010684
[pid=169425] ppid=169422 vsize=68008 memory=57976 CPUtime=0.28 cores=5,7
/proc/169425/stat : 169425 (pbsolver) R 169422 169425 168467 0 -1 4194304 15020 0 0 0 26 2 0 0 20 0 1 0 237384645 69640192 14494 18446744073709551615 4198400 14743177 140720946742624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32788480 140720946747784 140720946747880 140720946747880 140720946753484 0
/proc/169425/statm: 17002 14494 2592 2575 0 13909 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 68008 KiB
Current children cumulated memory: 57976 KiB
[startup+0.700194 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 169426
/proc/meminfo: memFree=120241784/131249996 swapFree=33010672/33010684
[pid=169425] ppid=169422 vsize=64348 memory=54388 CPUtime=0.67 cores=5,7
/proc/169425/stat : 169425 (pbsolver) R 169422 169425 168467 0 -1 4194304 15126 0 0 0 65 2 0 0 20 0 1 0 237384645 65892352 13597 18446744073709551615 4198400 14743177 140720946742624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32788480 140720946747784 140720946747880 140720946747880 140720946753484 0
/proc/169425/statm: 16087 13597 2592 2575 0 12994 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 64348 KiB
Current children cumulated memory: 54388 KiB
[startup+1.50019 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 169426
/proc/meminfo: memFree=120241784/131249996 swapFree=33010672/33010684
[pid=169425] ppid=169422 vsize=66652 memory=56692 CPUtime=1.48 cores=5,7
/proc/169425/stat : 169425 (pbsolver) R 169422 169425 168467 0 -1 4194304 15726 0 0 0 145 3 0 0 20 0 1 0 237384645 68251648 14173 18446744073709551615 4198400 14743177 140720946742624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32788480 140720946747784 140720946747880 140720946747880 140720946753484 0
/proc/169425/statm: 16663 14173 2592 2575 0 13570 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 66652 KiB
Current children cumulated memory: 56692 KiB
[startup+3.10546 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 169426
/proc/meminfo: memFree=120201792/131249996 swapFree=33010672/33010684
[pid=169425] ppid=169422 vsize=116060 memory=102900 CPUtime=3.08 cores=5,7
/proc/169425/stat : 169425 (pbsolver) R 169422 169425 168467 0 -1 4194304 27195 0 0 0 303 5 0 0 20 0 1 0 237384645 118845440 25725 18446744073709551615 4198400 14743177 140720946742624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32788480 140720946747784 140720946747880 140720946747880 140720946753484 0
/proc/169425/statm: 29015 25725 2688 2575 0 25922 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 116060 KiB
Current children cumulated memory: 102900 KiB
[startup+6.30017 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 169426
/proc/meminfo: memFree=120185664/131249996 swapFree=33010672/33010684
[pid=169425] ppid=169422 vsize=128688 memory=114916 CPUtime=6.25 cores=5,7
/proc/169425/stat : 169425 (pbsolver) R 169422 169425 168467 0 -1 4194304 30789 0 0 0 620 5 0 0 20 0 1 0 237384645 131776512 28729 18446744073709551615 4198400 14743177 140720946742624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32788480 140720946747784 140720946747880 140720946747880 140720946753484 0
/proc/169425/statm: 32172 28729 2688 2575 0 29079 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 128688 KiB
Current children cumulated memory: 114916 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.08 4.09 5/262 169426
/proc/meminfo: memFree=120146056/131249996 swapFree=33010672/33010684
[pid=169425] ppid=169422 vsize=162036 memory=148272 CPUtime=12.64 cores=5,7
/proc/169425/stat : 169425 (pbsolver) R 169422 169425 168467 0 -1 4194304 40706 0 0 0 1256 8 0 0 20 0 1 0 237384645 165924864 37068 18446744073709551615 4198400 14743177 140720946742624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32788480 140720946747784 140720946747880 140720946747880 140720946753484 0
/proc/169425/statm: 40509 37068 2688 2575 0 37416 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 162036 KiB
Current children cumulated memory: 148272 KiB
[startup+15.7526 s]
# the end of solver process 169425 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=15.5909 s, system=0.100688 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 4.06 4.08 4.09 5/262 169426
/proc/meminfo: memFree=120146056/131249996 swapFree=33010672/33010684
[pid=169425] ppid=169422 vsize=162036 memory=148272 CPUtime=12.74 cores=5,7
/proc/169425/stat : 169425 (pbsolver) R 169422 169425 168467 0 -1 4194304 40706 0 0 0 1266 8 0 0 20 0 1 0 237384645 165924864 37068 18446744073709551615 4198400 14743177 140720946742624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32788480 140720946747784 140720946747880 140720946747880 140720946753484 0
/proc/169425/statm: 40509 37068 2688 2575 0 37416 0
Current children cumulated CPU time: 12.74 s
Current children cumulated vsize: 162036 KiB
Current children cumulated memory: 148272 KiB
[startup+14.4002 s]
/proc/loadavg: 4.06 4.08 4.09 5/262 169426
/proc/meminfo: memFree=120145300/131249996 swapFree=33010672/33010684
[pid=169425] ppid=169422 vsize=164868 memory=151108 CPUtime=14.33 cores=5,7
/proc/169425/stat : 169425 (pbsolver) R 169422 169425 168467 0 -1 4194304 42168 0 0 0 1425 8 0 0 20 0 1 0 237384645 168824832 37777 18446744073709551615 4198400 14743177 140720946742624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32788480 140720946747784 140720946747880 140720946747880 140720946753484 0
/proc/169425/statm: 41217 37777 2688 2575 0 38124 0
Current children cumulated CPU time: 14.33 s
Current children cumulated vsize: 164868 KiB
Current children cumulated memory: 151108 KiB
[startup+15.2002 s]
/proc/loadavg: 4.06 4.08 4.09 5/262 169426
/proc/meminfo: memFree=120145300/131249996 swapFree=33010672/33010684
[pid=169425] ppid=169422 vsize=167348 memory=153668 CPUtime=15.13 cores=5,7
/proc/169425/stat : 169425 (pbsolver) R 169422 169425 168467 0 -1 4194304 42809 0 0 0 1504 9 0 0 20 0 1 0 237384645 171364352 38417 18446744073709551615 4198400 14743177 140720946742624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32788480 140720946747784 140720946747880 140720946747880 140720946753484 0
/proc/169425/statm: 41837 38417 2688 2575 0 38744 0
Current children cumulated CPU time: 15.13 s
Current children cumulated vsize: 167348 KiB
Current children cumulated memory: 153668 KiB
[startup+15.6002 s]
/proc/loadavg: 4.06 4.08 4.09 5/262 169426
/proc/meminfo: memFree=120145300/131249996 swapFree=33010672/33010684
[pid=169425] ppid=169422 vsize=167620 memory=153924 CPUtime=15.53 cores=5,7
/proc/169425/stat : 169425 (pbsolver) R 169422 169425 168467 0 -1 4194304 42883 0 0 0 1544 9 0 0 20 0 1 0 237384645 171642880 38481 18446744073709551615 4198400 14743177 140720946742624 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32788480 140720946747784 140720946747880 140720946747880 140720946753484 0
/proc/169425/statm: 41905 38481 2688 2575 0 38812 0
Current children cumulated CPU time: 15.53 s
Current children cumulated vsize: 167620 KiB
Current children cumulated memory: 153924 KiB
[startup+15.7002 s]
/proc/loadavg: 4.06 4.08 4.09 5/262 169426
/proc/meminfo: memFree=120145300/131249996 swapFree=33010672/33010684
[pid=169425] ppid=169422 vsize=167620 memory=153924 CPUtime=15.63 cores=5,7
/proc/169425/stat : 169425 (pbsolver) R 169422 169425 168467 0 -1 4194304 42883 0 0 0 1554 9 0 0 20 0 1 0 237384645 171642880 38481 18446744073709551615 4198400 14743177 140720946742624 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 32788480 140720946747784 140720946747880 140720946747880 140720946753484 0
/proc/169425/statm: 41905 38481 2688 2575 0 38812 0
Current children cumulated CPU time: 15.63 s
Current children cumulated vsize: 167620 KiB
Current children cumulated memory: 153924 KiB
Child status: 0
Real time (s): 15.7526
CPU time (s): 15.6916
CPU user time (s): 15.5909
CPU system time (s): 0.100688
CPU usage (%): 99.6123
Max. virtual memory (cumulated for all children) (KiB): 167620
Max. memory (cumulated for all children) (KiB): 153924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.5909
system time used= 0.100688
maximum resident set size= 153924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42883
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= 27
# summary of solver processes directly reported to runsolver:
# pid: 169425
# total CPU time (s): 15.6916
# total CPU user time (s): 15.5909
# total CPU system time (s): 0.100688
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.050441 second user time and 0.09291 second system time
The end
Begin job on nodeC024 at 2025-07-22 22:44:27 IDJOB=4544502 IDBENCH=180673 IDSOLVER=3366 FILE ID=nodeC024/4544502-1753217067 RUNJOBID= nodeC024-1753209881-168480 SLURM_JOB_ID= 9687777 Free space on /tmp= 432976 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB25/normalized-PB25/DEC-LIN/koops/normalized-mat10_9identity_complement.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544502-1753217067/watcher-4544502-1753217067 -o /tmp/evaluation-result-4544502-1753217067/solver-4544502-1753217067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753209881-168480 --watchdog 3760 pbsolver -f HOME/instance-4544502-1753217067.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ab67e3b90eb3931507bbeeb5ae959313 RANDOM SEED=1125925715 nodeC024 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.705 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.36 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.659 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.36 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 : 3599.674 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.36 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 : 3592.182 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.36 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.634 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.36 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 : 3611.137 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.36 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 : 3700.000 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.36 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 : 3599.682 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 120266368 kB MemAvailable: 120863608 kB Buffers: 2128 kB Cached: 1359664 kB SwapCached: 8 kB Active: 9994944 kB Inactive: 232432 kB Active(anon): 8890248 kB Inactive(anon): 1588 kB Active(file): 1104696 kB Inactive(file): 230844 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010672 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 15284 kB Writeback: 24 kB AnonPages: 8866128 kB Mapped: 141200 kB Shmem: 26248 kB KReclaimable: 201476 kB Slab: 296864 kB SReclaimable: 201476 kB SUnreclaim: 95388 kB KernelStack: 4160 kB PageTables: 20976 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 9800632 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3904 kB HardwareCorrupted: 0 kB AnonHugePages: 743424 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: 195284 kB DirectMap2M: 6916096 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432964 MiB End job on nodeC024 at 2025-07-22 22:44:43