| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | UNSAT | 26.4057 | 26.4997 |
| 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.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4544501-1753217670.opb>
0.00/0.10 c original problem has 900 variables (900 bin, 0 int, 0 impl, 0 cont) and 19855 constraints
0.00/0.10 c problem read in 0.09
0.00/0.10 c No objective function, only one solution is needed.
0.09/0.15 c presolving:
0.09/0.21 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.21/0.27 c (0.3s) running MILP presolver
0.31/0.33 c (0.3s) MILP presolver found nothing
0.31/0.41 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.40/0.45 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.40/0.50 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.50/0.54 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.50/0.58 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
1.00/1.09 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
1.00/1.09 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
1.18/1.29 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
1.18/1.29 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
1.38/1.45 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
1.38/1.46 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
1.48/1.58 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
1.48/1.59 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
1.58/1.69 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
1.68/1.70 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.78/1.81 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.78/1.81 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.78/1.84 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.88/1.94 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.88/1.94 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.88/1.97 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.99/2.05 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.99/2.05 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.99/2.08 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
2.09/2.15 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
2.09/2.16 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
2.09/2.18 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
2.18/2.25 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
2.18/2.26 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
2.18/2.28 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
2.28/2.35 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
2.28/2.35 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
2.28/2.37 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
2.38/2.44 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
2.38/2.44 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
2.38/2.46 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
2.48/2.52 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
2.48/2.52 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
2.48/2.54 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
2.48/2.59 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
2.57/2.60 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
2.57/2.61 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
2.57/2.66 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
2.57/2.67 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
2.57/2.68 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.77/2.82 c (2.8s) probing cycle finished: starting next cycle
2.77/2.87 c (2.9s) probing: 50/495 (10.1%) - 0 fixings, 396 aggregations, 18045 implications, 0 bound changes
2.77/2.87 c (2.9s) probing aborted: 50/50 successive totally useless probings
2.77/2.87 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.77/2.87 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.77/2.89 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.77/2.90 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.87/2.92 c (2.9s) probing: 55/495 (11.1%) - 0 fixings, 396 aggregations, 18045 implications, 0 bound changes
2.87/2.92 c (2.9s) probing aborted: 50/50 successive totally useless probings
2.87/2.92 c (2.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.87/2.94 c (2.9s) symmetry computation finished: 6 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
2.87/2.94 c dynamic symmetry handling statistics:
2.87/2.94 c orbitopal reduction: 1 components: 55x7
2.87/2.94 c orbital reduction: no components
2.87/2.94 c lexicographic reduction: no permutations
2.87/2.94 c handled 1 out of 1 symmetry components
2.87/2.94 c presolving (51 rounds: 51 fast, 34 medium, 33 exhaustive):
2.87/2.94 c 405 deleted vars, 12768 deleted constraints, 2376 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 819 changed coefficients
2.87/2.94 c 0 implications, 10134 cliques
2.87/2.94 c presolved problem has 495 variables (495 bin, 0 int, 0 impl, 0 cont) and 9463 constraints
2.87/2.94 c 5745 constraints of type <setppc>
2.87/2.94 c 400 constraints of type <and>
2.87/2.94 c 3318 constraints of type <logicor>
2.87/2.94 c transformed objective value is always integral (scale: 1)
2.87/2.94 c Presolving Time: 2.79
2.87/2.94 c - non default parameters ----------------------------------------------------------------------
2.87/2.94 c # SCIP version 10.0.0
2.87/2.94 c
2.87/2.94 c # maximal time in seconds to run
2.87/2.94 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.87/2.94 c limits/time = 3596.993162
2.87/2.94 c
2.87/2.94 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.87/2.94 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.87/2.94 c limits/memory = 27900
2.87/2.94 c
2.87/2.94 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
2.87/2.94 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
2.87/2.94 c limits/solutions = 1
2.87/2.94 c
2.87/2.94 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
2.87/2.94 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
2.87/2.94 c misc/usesymmetry = 3
2.87/2.94 c
2.87/2.94 c # belongs reading time to solving time?
2.87/2.94 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.87/2.94 c timing/reading = TRUE
2.87/2.94 c
2.87/2.94 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
2.87/2.94 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.87/2.94 c propagating/symmetry/detectdoublelex = FALSE
2.87/2.94 c
2.87/2.94 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
2.87/2.94 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.87/2.94 c propagating/symmetry/detectsubgroups = FALSE
2.87/2.94 c
2.87/2.94 c # Type of symmetries that shall be computed?
2.87/2.94 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
2.87/2.94 c propagating/symmetry/symtype = 1
2.87/2.94 c
2.87/2.94 c # Should components consisting of a single full reflection be handled?
2.87/2.94 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
2.87/2.94 c propagating/symmetry/usesimplesgncomp = FALSE
2.87/2.94 c
2.87/2.94 c -----------------------------------------------------------------------------------------------
2.87/2.94 c start solving
2.87/2.94 c
2.99/3.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.99/3.02 c 3.0s| 1 | 0 | 523 | - | 56M | 0 | 495 |9560 |9863 | 0 | 0 | 96 | 0 | 0.000000e+00 | -- | Inf | unknown
3.77/3.86 c 3.8s| 1 | 0 | 6059 | - | 62M | 0 | 495 |9741 |9906 | 43 | 1 | 104 | 0 | 0.000000e+00 | -- | Inf | unknown
3.98/4.02 c 4.0s| 1 | 0 | 6386 | - | 64M | 0 | 495 |9743 |9946 | 83 | 2 | 106 | 0 | 0.000000e+00 | -- | Inf | unknown
4.08/4.17 c 4.2s| 1 | 0 | 6557 | - | 65M | 0 | 495 |9744 |9979 | 116 | 3 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
4.26/4.38 c 4.4s| 1 | 0 | 6769 | - | 67M | 0 | 495 |9744 |9997 | 134 | 4 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
4.56/4.60 c 4.6s| 1 | 0 | 6980 | - | 69M | 0 | 495 |9744 | 10k| 158 | 5 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
4.66/4.78 c 4.8s| 1 | 0 | 7291 | - | 72M | 0 | 495 |9744 | 10k| 180 | 6 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
4.98/5.06 c 5.0s| 1 | 0 | 7491 | - | 73M | 0 | 495 |9744 | 10k| 193 | 7 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown
5.26/5.32 c 5.3s| 1 | 0 | 7656 | - | 77M | 0 | 495 |9745 | 10k| 215 | 8 | 108 | 0 | 0.000000e+00 | -- | Inf | unknown
5.36/5.48 c 5.5s| 1 | 0 | 7791 | - | 80M | 0 | 495 |9750 | 10k| 241 | 9 | 113 | 0 | 0.000000e+00 | -- | Inf | unknown
5.66/5.74 c 5.7s| 1 | 0 | 7881 | - | 81M | 0 | 495 |9752 | 10k| 262 | 10 | 115 | 0 | 0.000000e+00 | -- | Inf | unknown
5.66/5.77 c 5.8s| 1 | 0 | 7947 | - | 82M | 0 | 495 |9753 | 10k| 280 | 11 | 116 | 0 | 0.000000e+00 | -- | Inf | unknown
5.66/5.79 c 5.8s| 1 | 0 | 8008 | - | 83M | 0 | 495 |9760 | 10k| 302 | 12 | 123 | 0 | 0.000000e+00 | -- | Inf | unknown
5.76/5.83 c 5.8s| 1 | 0 | 8105 | - | 84M | 0 | 495 |9763 | 10k| 317 | 13 | 126 | 0 | 0.000000e+00 | -- | Inf | unknown
6.36/6.43 c 6.4s| 1 | 2 | 8980 | - | 85M | 0 | 495 |9774 | 10k| 317 | 13 | 137 | 10 | 0.000000e+00 | -- | Inf | unknown
14.05/14.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.05/14.15 c 14.1s| 100 | 37 | 41342 | 335.7 | 103M | 12 | 495 | 10k| 10k|1426 | 0 | 506 | 10 | 0.000000e+00 | -- | Inf | 15.48%
19.22/19.31 c 19.3s| 200 | 44 | 55669 | 239.0 | 129M | 17 | 495 | 10k| 10k|2298 | 2 | 744 | 10 | 0.000000e+00 | -- | Inf | 42.54%
21.32/21.47 c 21.5s| 300 | 26 | 61698 | 179.2 | 139M | 17 | 495 | 10k| 10k|2835 | 2 | 855 | 10 | 0.000000e+00 | -- | Inf | 74.63%
24.50/24.60 c 24.6s| 400 | 15 | 69397 | 153.6 | 157M | 17 | 495 | 10k| 10k|3400 | 0 |1018 | 10 | 0.000000e+00 | -- | Inf | 89.11%
26.29/26.43 c
26.29/26.43 c SCIP Status : problem is solved [infeasible]
26.29/26.43 c Solving Time (sec) : 26.41
26.29/26.43 c Solving Nodes : 488
26.29/26.43 c Primal Bound : +1.00000000000000e+20 (0 solutions)
26.29/26.43 c Dual Bound : +1.00000000000000e+20
26.29/26.43 c Gap : 0.00 %
26.29/26.43 s UNSATISFIABLE
26.29/26.43 c SCIP Status : problem is solved [infeasible]
26.29/26.43 c Total Time : 26.41
26.29/26.43 c solving : 26.41
26.29/26.43 c presolving : 2.79 (included in solving)
26.29/26.43 c reading : 0.09 (included in solving)
26.29/26.43 c copying : 0.09 (6 #copies) (minimal 0.01, maximal 0.02, average 0.02)
26.29/26.43 c Original Problem :
26.29/26.43 c Problem name : HOME/instance-4544501-1753217670.opb
26.29/26.43 c Variables : 900 (900 binary, 0 integer, 0 implicit integer, 0 continuous)
26.29/26.43 c Constraints : 19855 initial, 19855 maximal
26.29/26.43 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
26.29/26.43 c Presolved Problem :
26.29/26.43 c Problem name : t_HOME/instance-4544501-1753217670.opb
26.29/26.43 c Variables : 495 (495 binary, 0 integer, 0 implicit integer, 0 continuous)
26.29/26.43 c Constraints : 9463 initial, 10242 maximal
26.29/26.43 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
26.29/26.43 c Nonzeros : 22714 constraint, 14632 clique table
26.29/26.43 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
26.29/26.43 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c domcol : 0.00 0.00 17 0 0 0 0 0 0 0 0 0
26.29/26.43 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
26.29/26.43 c gateextraction : 0.36 0.00 32 0 0 0 0 0 2248 746 0 0
26.29/26.43 c implics : 0.00 0.00 34 0 0 0 0 0 0 0 0 0
26.29/26.43 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c milp : 0.12 0.00 1 0 0 0 0 0 0 0 0 0
26.29/26.43 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
26.29/26.43 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c trivial : 0.00 0.00 51 0 0 0 0 0 0 0 0 0
26.29/26.43 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c dualfix : 0.00 0.00 51 0 0 0 0 0 0 0 0 0
26.29/26.43 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c probing : 1.51 0.00 17 0 396 0 0 0 0 0 0 0
26.29/26.43 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
26.29/26.43 c vbounds : 0.01 0.00 7 0 0 0 0 0 0 0 0 0
26.29/26.43 c knapsack : 0.01 0.00 2 0 0 0 0 0 810 1620 0 0
26.29/26.43 c setppc : 0.27 0.00 112 0 0 0 0 0 5733 0 0 0
26.29/26.43 c and : 0.06 0.00 77 0 9 0 0 0 346 10 0 0
26.29/26.43 c linear : 0.13 0.01 3 0 0 0 0 0 0 0 0 810
26.29/26.43 c logicor : 0.26 0.00 100 0 0 0 0 0 3631 0 0 9
26.29/26.43 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
26.29/26.43 c root node : - - - 245 - - 245 - - - - -
26.29/26.43 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
26.29/26.43 c benderslp : 0 0 0 0 253 0 0 12 0 0 0 0 0 0 0
26.29/26.43 c integral : 0 0 0 0 253 0 0 12 0 0 0 0 0 0 506
26.29/26.43 c knapsack : 0+ 22 0 3181 0 0 0 0 46 6 204 0 0 0 0
26.29/26.43 c setppc : 5745+ 5762 13 7943 0 0 0 8 5496 45 12428 0 0 0 0
26.29/26.43 c and : 400 400 517 7898 0 0 0 5 5794 31 6965 4690 2322 0 0
26.29/26.43 c linear : 0+ 262 13 3824 0 0 0 3 123 70 542 0 0 0 0
26.29/26.43 c logicor : 3318+ 3819 13 4816 0 0 0 3 1791 88 7672 0 0 0 0
26.29/26.43 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
26.29/26.43 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
26.29/26.43 c integral : 0.37 0.00 0.00 0.00 0.37 0.00 0.00 0.00 0.00 0.00
26.29/26.43 c knapsack : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
26.29/26.43 c setppc : 0.51 0.00 0.01 0.50 0.00 0.00 0.00 0.00 0.00 0.00
26.29/26.43 c and : 0.20 0.00 0.04 0.16 0.00 0.00 0.00 0.00 0.00 0.00
26.29/26.43 c linear : 0.05 0.01 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
26.29/26.43 c logicor : 0.25 0.00 0.01 0.24 0.00 0.00 0.00 0.00 0.00 0.00
26.29/26.43 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
26.29/26.43 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
26.29/26.43 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
26.29/26.43 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
26.29/26.43 c Propagators : #Propagate #ResProp Cutoffs DomReds
26.29/26.43 c dualfix : 1 0 0 0
26.29/26.43 c genvbounds : 0 0 0 0
26.29/26.43 c nlobbt : 0 0 0 0
26.29/26.43 c obbt : 0 0 0 0
26.29/26.43 c probing : 0 0 0 0
26.29/26.43 c pseudoobj : 0 0 0 0
26.29/26.43 c redcost : 0 0 0 0
26.29/26.43 c rootredcost : 0 0 0 0
26.29/26.43 c symmetry : 1335 0 37 751
26.29/26.43 c vbounds : 3762 0 0 0
26.29/26.43 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
26.29/26.43 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
26.29/26.43 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
26.29/26.43 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
26.29/26.43 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
26.29/26.43 c probing : 1.51 0.00 1.51 0.00 0.00 0.00
26.29/26.43 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
26.29/26.43 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
26.29/26.43 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
26.29/26.43 c symmetry : 0.04 0.00 0.02 0.02 0.00 0.00
26.29/26.43 c vbounds : 0.02 0.00 0.01 0.01 0.00 0.00
26.29/26.43 c Symmetry :
26.29/26.43 c orbitopal red. : 751 reductions applied, 37 cutoffs
26.29/26.43 c orbital reduction: 0 reductions applied, 0 cutoffs
26.29/26.43 c lexicographic red: 0 reductions applied, 0 cutoffs
26.29/26.43 c shadow tree time : 0.00 s
26.29/26.43 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
26.29/26.43 c propagation : 0.01 178 154 - 611 20.9 7 7.0 - - -
26.29/26.43 c infeasible LP : 0.04 119 119 - 577 23.6 1 34.0 119 44.5 0
26.29/26.43 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
26.29/26.43 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
26.29/26.43 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
26.29/26.43 c applied globally : 0.03 - - 0 1039 17.9 - - 119 - -
26.29/26.43 c applied locally : - - - 0 0 0.0 - - 0 - -
26.29/26.43 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
26.29/26.43 c cut pool : 0.11 - 172 25 - - 6532 12552 - - - - - (maximal pool size: 6212)
26.29/26.43 c aggregation : 0.09 0.00 85 13 0 0 1 9 0 1 1 0 0
26.29/26.43 c > cmir : - - - - - - - 9 0 1 1 0 -
26.29/26.43 c > flowcover : - - - - - - - 0 0 0 0 0 -
26.29/26.43 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
26.29/26.43 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c clique : 0.04 0.00 13 13 0 0 100 1411 0 231 231 0 0
26.29/26.43 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c gomory : 7.22 0.00 82 10 0 0 5631 8556 0 265 265 0 0
26.29/26.43 c > gomorymi : - - - - - - - 3448 0 48 48 0 -
26.29/26.43 c > strongcg : - - - - - - - 5108 0 217 217 0 -
26.29/26.43 c impliedbounds : 0.06 0.00 85 13 0 0 448 986 0 420 420 0 0
26.29/26.43 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
26.29/26.43 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c multilinear : 0.00 0.00 34 13 0 0 0 0 0 0 0 0 0
26.29/26.43 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
26.29/26.43 c rapidlearning : 1.40 0.00 5 1 0 5 0 0 0 0 0 0 213
26.29/26.43 c rlt : 1.33 0.00 55 10 0 0 0 0 0 0 0 0 0
26.29/26.43 c zerohalf : 0.21 0.00 85 13 0 0 352 1590 0 524 524 0 0
26.29/26.43 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
26.29/26.43 c hybrid : 0.01 0.00 425 13 3770 0 13472 317 0 3231
26.29/26.43 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
26.29/26.43 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
26.29/26.43 c Pricers : ExecTime SetupTime Calls Vars
26.29/26.43 c problem variables: 0.00 - 0 0
26.29/26.43 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
26.29/26.43 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
26.29/26.43 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
26.29/26.43 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
26.29/26.43 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
26.29/26.43 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
26.29/26.43 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
26.29/26.43 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
26.29/26.43 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
26.29/26.43 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
26.29/26.43 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
26.29/26.43 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
26.29/26.43 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
26.29/26.43 c random : 0.00 0.00 0 0 0 0 0 0 0 0
26.29/26.43 c relpscost : 0.37 0.00 253 0 0 0 0 0 0 506
26.29/26.43 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
26.29/26.43 c Primal Heuristics : ExecTime SetupTime Calls Found Best
26.29/26.43 c LP solutions : 0.00 - - 0 0
26.29/26.43 c relax solutions : 0.00 - - 0 0
26.29/26.43 c pseudo solutions : 0.00 - - 0 0
26.29/26.43 c strong branching : 0.00 - - 0 0
26.29/26.43 c actconsdiving : 0.00 0.00 0 0 0
26.29/26.43 c adaptivediving : 0.60 0.00 6 0 0
26.29/26.43 c alns : 0.03 0.00 1 0 0
26.29/26.43 c bound : 0.00 0.00 0 0 0
26.29/26.43 c clique : 0.02 0.00 1 0 0
26.29/26.43 c coefdiving : 0.00 0.00 0 0 0
26.29/26.43 c completesol : 0.00 0.00 0 0 0
26.29/26.43 c conflictdiving : 0.56 0.00 7 0 0
26.29/26.43 c crossover : 0.00 0.00 0 0 0
26.29/26.43 c dins : 0.00 0.00 0 0 0
26.29/26.43 c distributiondivin: 0.54 0.00 4 0 0
26.29/26.43 c dps : 0.00 0.00 0 0 0
26.29/26.43 c dualval : 0.00 0.00 0 0 0
26.29/26.43 c farkasdiving : 0.00 0.00 0 0 0
26.29/26.43 c feasjump : 0.01 0.00 1 0 0
26.29/26.43 c feaspump : 0.44 0.00 1 0 0
26.29/26.43 c fixandinfer : 0.00 0.00 0 0 0
26.29/26.43 c fracdiving : 0.58 0.00 6 0 0
26.29/26.43 c gins : 0.00 0.00 0 0 0
26.29/26.43 c guideddiving : 0.00 0.00 0 0 0
26.29/26.43 c indcoefdiving : 0.00 0.00 0 0 0
26.29/26.43 c indicator : 0.00 0.00 0 0 0
26.29/26.43 c indicatordiving : 0.00 0.00 0 0 0
26.29/26.43 c indoneopt : 0.00 0.00 0 0 0
26.29/26.43 c indrounding : 0.00 0.00 0 0 0
26.29/26.43 c indtwoopt : 0.00 0.00 0 0 0
26.29/26.43 c intdiving : 0.00 0.00 0 0 0
26.29/26.43 c intshifting : 0.00 0.00 0 0 0
26.29/26.43 c linesearchdiving : 0.89 0.00 8 0 0
26.29/26.43 c localbranching : 0.00 0.00 0 0 0
26.29/26.43 c locks : 0.00 0.00 1 0 0
26.29/26.43 c lpface : 0.00 0.00 0 0 0
26.29/26.43 c mpec : 0.00 0.00 0 0 0
26.29/26.43 c multistart : 0.00 0.00 0 0 0
26.29/26.43 c mutation : 0.00 0.00 0 0 0
26.29/26.43 c nlpdiving : 0.00 0.00 0 0 0
26.29/26.43 c objpscostdiving : 0.99 0.00 1 0 0
26.29/26.43 c octane : 0.00 0.00 0 0 0
26.29/26.43 c ofins : 0.00 0.00 0 0 0
26.29/26.43 c oneopt : 0.00 0.00 0 0 0
26.29/26.43 c padm : 0.00 0.00 0 0 0
26.29/26.43 c proximity : 0.00 0.00 0 0 0
26.29/26.43 c pscostdiving : 0.68 0.00 7 0 0
26.29/26.43 c randrounding : 0.07 0.00 14 0 0
26.29/26.43 c rens : 0.00 0.00 0 0 0
26.29/26.43 c reoptsols : 0.00 0.00 0 0 0
26.29/26.43 c repair : 0.00 0.00 0 0 0
26.29/26.43 c rins : 0.00 0.00 0 0 0
26.29/26.43 c rootsoldiving : 0.31 0.00 2 0 0
26.29/26.43 c rounding : 0.06 0.00 326 0 0
26.29/26.43 c scheduler : 0.00 0.00 0 0 0
26.29/26.43 c shiftandpropagate: 0.01 0.00 1 0 0
26.29/26.43 c shifting : 0.07 0.00 101 0 0
26.29/26.43 c simplerounding : 0.00 0.00 0 0 0
26.29/26.43 c smallcard : 0.00 0.00 0 0 0
26.29/26.43 c subnlp : 0.00 0.00 0 0 0
26.29/26.43 c trivial : 0.00 0.00 2 0 0
26.29/26.43 c trivialnegation : 0.00 0.00 0 0 0
26.29/26.43 c trustregion : 0.00 0.00 0 0 0
26.29/26.43 c trysol : 0.00 0.00 0 0 0
26.29/26.43 c twoopt : 0.00 0.00 0 0 0
26.29/26.43 c undercover : 0.00 0.00 1 0 0
26.29/26.43 c vbounds : 0.02 0.00 1 0 0
26.29/26.43 c veclendiving : 0.64 0.00 7 0 0
26.29/26.43 c zeroobj : 0.00 0.00 0 0 0
26.29/26.43 c zirounding : 0.05 0.00 253 0 0
26.29/26.43 c other solutions : - - - 0 -
26.29/26.43 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
26.29/26.43 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
26.29/26.43 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
26.29/26.43 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
26.29/26.43 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
26.29/26.43 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
26.29/26.43 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
26.29/26.43 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
26.29/26.43 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
26.29/26.43 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
26.29/26.43 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
26.29/26.43 c primal LP : 0.05 46 0 0.00 0.00 0.05 46
26.29/26.43 c dual LP : 4.77 762 41186 54.26 8628.86 0.00 3
26.29/26.43 c lex dual LP : 0.00 0 0 0.00 -
26.29/26.43 c barrier LP : 0.00 0 0 0.00 - 0.00 0
26.29/26.43 c resolve instable : 0.00 0 0 0.00 -
26.29/26.43 c diving/probing LP: 5.72 239 33119 138.57 5787.78
26.29/26.43 c strong branching : 0.28 10 2120 212.00 7704.30 - - 0
26.29/26.43 c (at root node) : - 10 2120 212.00 -
26.29/26.43 c conflict analysis: 0.00 0 0 0.00 -
26.29/26.43 c B&B Tree :
26.29/26.43 c number of runs : 1
26.29/26.43 c nodes : 488 (253 internal, 235 leaves)
26.29/26.43 c feasible leaves : 0
26.29/26.43 c infeas. leaves : 235
26.29/26.43 c objective leaves : 0
26.29/26.43 c nodes (total) : 488 (253 internal, 235 leaves)
26.29/26.43 c nodes left : 0
26.29/26.43 c max depth : 17
26.29/26.43 c max depth (total): 17
26.29/26.43 c backtracks : 191 (39.1%)
26.29/26.43 c early backtracks : 0 (0.0%)
26.29/26.43 c nodes exc. ref. : 0 (0.0%)
26.29/26.43 c delayed cutoffs : 19
26.29/26.43 c repropagations : 67 (1360 domain reductions, 16 cutoffs)
26.29/26.43 c avg switch length: 4.73
26.29/26.43 c switching time : 0.33
26.29/26.43 c Root Node :
26.29/26.43 c First LP value : +0.00000000000000e+00
26.29/26.43 c First LP Iters : 523 (38253.36 Iter/sec)
26.29/26.43 c First LP Time : 0.01
26.29/26.43 c Final Dual Bound : +0.00000000000000e+00
26.29/26.43 c Final Root Iters : 8105
26.29/26.43 c Root LP Estimate : +1.23002277183561e-02
26.29/26.43 c Solution :
26.29/26.43 c Solutions found : 0 (0 improvements)
26.29/26.43 c Primal Bound : infeasible
26.29/26.43 c Dual Bound : -
26.29/26.43 c Gap : 0.00 %
26.29/26.43 c Integrals : Total Avg%
26.29/26.43 c primal-dual : - - (problem infeasible)
26.29/26.43 c primal-ref : - - (problem infeasible)
26.29/26.43 c dual-ref : - - (problem infeasible)
26.29/26.49 c Time complete: 26.3904.
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (48856 MiB free)
memory of node 1: 64465 MiB (50328 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544501-1753217670/watcher-4544501-1753217670 -o /tmp/evaluation-result-4544501-1753217670/solver-4544501-1753217670 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1753211112-158211 --watchdog 3760 pbscip -f HOME/instance-4544501-1753217670.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=160212, runsolver pid=160209
[startup+0.100104 s]*
/proc/loadavg: 3.95 4.04 4.08 5/250 160213
/proc/meminfo: memFree=101564064/131382112 swapFree=33001664/33010684
[pid=160212] ppid=160209 vsize=55532 memory=29008 CPUtime=0.09 cores=0,2
/proc/160212/stat : 160212 (pbscip) R 160209 160212 158201 0 -1 4194304 4153 0 0 0 8 1 0 0 20 0 1 0 237446390 56864768 7220 18446744073709551615 4235264 18693293 140730428454656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29200384 140730428459399 140730428459498 140730428459498 140730428465102 0
/proc/160212/statm: 13883 7220 3488 3530 0 5334 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55532 KiB
Current children cumulated memory: 29008 KiB
[startup+0.213207 s]*
/proc/loadavg: 3.95 4.04 4.08 6/250 160213
/proc/meminfo: memFree=101540124/131382112 swapFree=33001664/33010684
[pid=160212] ppid=160209 vsize=76184 memory=46928 CPUtime=0.21 cores=0,2
/proc/160212/stat : 160212 (pbscip) R 160209 160212 158201 0 -1 4194304 8620 0 0 0 18 3 0 0 20 0 1 0 237446390 78012416 11732 18446744073709551615 4235264 18693293 140730428454656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29200384 140730428459399 140730428459498 140730428459498 140730428465102 0
/proc/160212/statm: 19046 11732 3552 3530 0 10497 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 76184 KiB
Current children cumulated memory: 46928 KiB
[startup+0.313165 s]*
/proc/loadavg: 3.95 4.04 4.08 5/250 160213
/proc/meminfo: memFree=101532060/131382112 swapFree=33001664/33010684
[pid=160212] ppid=160209 vsize=84636 memory=57788 CPUtime=0.31 cores=0,2
/proc/160212/stat : 160212 (pbscip) R 160209 160212 158201 0 -1 4194304 12308 0 0 0 26 5 0 0 20 0 1 0 237446390 86667264 14447 18446744073709551615 4235264 18693293 140730428454656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29200384 140730428459399 140730428459498 140730428459498 140730428465102 0
/proc/160212/statm: 21159 14447 3680 3530 0 12610 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 84636 KiB
Current children cumulated memory: 57788 KiB
[startup+0.700344 s]
/proc/loadavg: 3.95 4.04 4.08 5/250 160213
/proc/meminfo: memFree=101531304/131382112 swapFree=33001664/33010684
[pid=160212] ppid=160209 vsize=89544 memory=62576 CPUtime=0.68 cores=0,2
/proc/160212/stat : 160212 (pbscip) R 160209 160212 158201 0 -1 4194304 15360 0 0 0 63 5 0 0 20 0 1 0 237446390 91693056 15644 18446744073709551615 4235264 18693293 140730428454656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29200384 140730428459399 140730428459498 140730428459498 140730428465102 0
/proc/160212/statm: 22386 15644 3744 3530 0 13837 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 89544 KiB
Current children cumulated memory: 62576 KiB
[startup+1.50035 s]
/proc/loadavg: 4.03 4.06 4.08 5/250 160213
/proc/meminfo: memFree=101530324/131382112 swapFree=33001664/33010684
[pid=160212] ppid=160209 vsize=86940 memory=60020 CPUtime=1.48 cores=0,2
/proc/160212/stat : 160212 (pbscip) R 160209 160212 158201 0 -1 4194304 15720 0 0 0 142 6 0 0 20 0 1 0 237446390 89026560 15005 18446744073709551615 4235264 18693293 140730428454656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29200384 140730428459399 140730428459498 140730428459498 140730428465102 0
/proc/160212/statm: 21735 15005 3744 3530 0 13186 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 86940 KiB
Current children cumulated memory: 60020 KiB
[startup+3.11295 s]
/proc/loadavg: 4.03 4.06 4.08 5/250 160213
/proc/meminfo: memFree=101515112/131382112 swapFree=33001664/33010684
[pid=160212] ppid=160209 vsize=105252 memory=78296 CPUtime=3.09 cores=0,2
/proc/160212/stat : 160212 (pbscip) R 160209 160212 158201 0 -1 4194304 20605 0 0 0 302 7 0 0 20 0 1 0 237446390 107778048 19574 18446744073709551615 4235264 18693293 140730428454656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29200384 140730428459399 140730428459498 140730428459498 140730428465102 0
/proc/160212/statm: 26313 19574 3936 3530 0 17764 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 105252 KiB
Current children cumulated memory: 78296 KiB
[startup+6.30035 s]
/proc/loadavg: 4.03 4.06 4.08 5/250 160213
/proc/meminfo: memFree=101507684/131382112 swapFree=33001664/33010684
[pid=160212] ppid=160209 vsize=146976 memory=118328 CPUtime=6.26 cores=0,2
/proc/160212/stat : 160212 (pbscip) R 160209 160212 158201 0 -1 4194304 31217 0 0 0 618 8 0 0 20 0 1 0 237446390 150503424 29582 18446744073709551615 4235264 18693293 140730428454656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29200384 140730428459399 140730428459498 140730428459498 140730428465102 0
/proc/160212/statm: 36744 29582 3936 3530 0 28195 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 146976 KiB
Current children cumulated memory: 118328 KiB
[startup+12.7004 s]
/proc/loadavg: 4.03 4.06 4.08 5/250 160213
/proc/meminfo: memFree=101523732/131382112 swapFree=33001664/33010684
[pid=160212] ppid=160209 vsize=160476 memory=131964 CPUtime=12.65 cores=0,2
/proc/160212/stat : 160212 (pbscip) R 160209 160212 158201 0 -1 4194304 36696 0 0 0 1255 10 0 0 20 0 1 0 237446390 164327424 32991 18446744073709551615 4235264 18693293 140730428454656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29200384 140730428459399 140730428459498 140730428459498 140730428465102 0
/proc/160212/statm: 40119 32991 3968 3530 0 31570 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 160476 KiB
Current children cumulated memory: 131964 KiB
[startup+25.5004 s]
/proc/loadavg: 4.02 4.06 4.08 5/250 160213
/proc/meminfo: memFree=101531372/131382112 swapFree=33001664/33010684
[pid=160212] ppid=160209 vsize=214528 memory=157052 CPUtime=25.4 cores=0,2
/proc/160212/stat : 160212 (pbscip) R 160209 160212 158201 0 -1 4194304 43007 0 0 0 2529 11 0 0 20 0 1 0 237446390 219676672 39263 18446744073709551615 4235264 18693293 140730428454656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29200384 140730428459399 140730428459498 140730428459498 140730428465102 0
/proc/160212/statm: 53632 39263 3968 3530 0 45083 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 214528 KiB
Current children cumulated memory: 157052 KiB
[startup+26.4996 s]
# the end of solver process 160212 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=26.2764 s, system=0.129278 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6004 s]
/proc/loadavg: 4.02 4.06 4.08 5/250 160213
/proc/meminfo: memFree=101531372/131382112 swapFree=33001664/33010684
[pid=160212] ppid=160209 vsize=214528 memory=157052 CPUtime=25.5 cores=0,2
/proc/160212/stat : 160212 (pbscip) R 160209 160212 158201 0 -1 4194304 43007 0 0 0 2539 11 0 0 20 0 1 0 237446390 219676672 39263 18446744073709551615 4235264 18693293 140730428454656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29200384 140730428459399 140730428459498 140730428459498 140730428465102 0
/proc/160212/statm: 53632 39263 3968 3530 0 45083 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 214528 KiB
Current children cumulated memory: 157052 KiB
[startup+26.0003 s]*
/proc/loadavg: 4.02 4.06 4.08 5/250 160213
/proc/meminfo: memFree=101529180/131382112 swapFree=33001664/33010684
[pid=160212] ppid=160209 vsize=214528 memory=157052 CPUtime=25.91 cores=0,2
/proc/160212/stat : 160212 (pbscip) R 160209 160212 158201 0 -1 4194304 43009 0 0 0 2580 11 0 0 20 0 1 0 237446390 219676672 39263 18446744073709551615 4235264 18693293 140730428454656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29200384 140730428459399 140730428459498 140730428459498 140730428465102 0
/proc/160212/statm: 53632 39263 3968 3530 0 45083 0
Current children cumulated CPU time: 25.91 s
Current children cumulated vsize: 214528 KiB
Current children cumulated memory: 157052 KiB
[startup+26.4003 s]
/proc/loadavg: 4.02 4.06 4.08 5/250 160213
/proc/meminfo: memFree=101529180/131382112 swapFree=33001664/33010684
[pid=160212] ppid=160209 vsize=215480 memory=157052 CPUtime=26.29 cores=0,2
/proc/160212/stat : 160212 (pbscip) R 160209 160212 158201 0 -1 4194304 43022 0 0 0 2618 11 0 0 20 0 1 0 237446390 220651520 39263 18446744073709551615 4235264 18693293 140730428454656 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 29200384 140730428459399 140730428459498 140730428459498 140730428465102 0
/proc/160212/statm: 53870 39263 3968 3530 0 45321 0
Current children cumulated CPU time: 26.29 s
Current children cumulated vsize: 215480 KiB
Current children cumulated memory: 157052 KiB
Child status: 0
Real time (s): 26.4997
CPU time (s): 26.4057
CPU user time (s): 26.2764
CPU system time (s): 0.129278
CPU usage (%): 99.6452
Max. virtual memory (cumulated for all children) (KiB): 215480
Max. memory (cumulated for all children) (KiB): 157052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.2764
system time used= 0.129278
maximum resident set size= 157052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43031
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= 80
involuntary context switches= 77
# summary of solver processes directly reported to runsolver:
# pid: 160212
# total CPU time (s): 26.4057
# total CPU user time (s): 26.2764
# total CPU system time (s): 0.129278
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.184701 second user time and 0.302642 second system time
The end
Begin job on nodeC005 at 2025-07-22 22:54:30 IDJOB=4544501 IDBENCH=180673 IDSOLVER=3365 FILE ID=nodeC005/4544501-1753217670 RUNJOBID= nodeC005-1753211112-158211 SLURM_JOB_ID= 9687789 Free space on /tmp= 432960 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB25/normalized-PB25/DEC-LIN/koops/normalized-mat10_9identity_complement.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544501-1753217670/watcher-4544501-1753217670 -o /tmp/evaluation-result-4544501-1753217670/solver-4544501-1753217670 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1753211112-158211 --watchdog 3760 pbscip -f HOME/instance-4544501-1753217670.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ab67e3b90eb3931507bbeeb5ae959313 RANDOM SEED=1911010096 nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.243 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3528.118 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.698 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3661.695 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3691.489 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 101565780 kB MemAvailable: 125722660 kB Buffers: 12 kB Cached: 24928264 kB SwapCached: 776 kB Active: 4464568 kB Inactive: 24514600 kB Active(anon): 4033072 kB Inactive(anon): 38384 kB Active(file): 431496 kB Inactive(file): 24476216 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33001664 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 48528 kB Writeback: 0 kB AnonPages: 4051132 kB Mapped: 135468 kB Shmem: 20564 kB KReclaimable: 177588 kB Slab: 268772 kB SReclaimable: 177588 kB SUnreclaim: 91184 kB KernelStack: 4032 kB PageTables: 11348 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 4712808 kB VmallocTotal: 34359738367 kB VmallocUsed: 149400 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 399360 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 201544 kB DirectMap2M: 8089600 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432940 MiB End job on nodeC005 at 2025-07-22 22:54:57