| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3588.22 | 3597.13 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K166.opb |
| MD5SUM | 50117bf6e22b142cc615b717d0d3b45a |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 462.134 |
| 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 | 19754 |
| Total number of constraints | 20088 |
| Number of constraints which are clauses | 19922 |
| Number of constraints which are cardinality constraints (but not clauses) | 166 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 166 |
| 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 | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 167 |
| Number of bits of the biggest sum of numbers | 8 |
| 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-4506915-1751179066.opb>
0.00/0.07 c original problem has 19754 variables (19754 bin, 0 int, 0 cont) and 20088 constraints
0.00/0.07 c problem read in 0.067 seconds
0.00/0.07 c problem without objective
0.09/0.14 c presolving:
0.09/0.18 c (round 1, fast) 250 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2283 clqs
0.09/0.19 c (round 2, fast) 682 del vars, 262 del conss, 0 add conss, 121 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2267 clqs
0.09/0.19 c (round 3, fast) 900 del vars, 412 del conss, 0 add conss, 206 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2288 clqs
0.09/0.19 c (round 4, fast) 1055 del vars, 535 del conss, 0 add conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2319 clqs
0.09/0.20 c (round 5, fast) 1131 del vars, 591 del conss, 0 add conss, 285 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2342 clqs
0.19/0.21 c (round 6, fast) 1172 del vars, 625 del conss, 0 add conss, 299 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2352 clqs
0.19/0.26 c (0.3s) running MILP presolver
0.47/0.59 c (0.6s) MILP presolver (4 rounds): 1 aggregations, 166 fixings, 0 bound changes
0.47/0.60 c (round 7, medium) 1349 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2361 clqs
0.57/0.61 c (round 8, fast) 1349 del vars, 803 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2367 clqs
0.57/0.63 c (round 9, exhaustive) 1349 del vars, 966 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2367 clqs
0.66/0.72 c (round 10, exhaustive) 1349 del vars, 966 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 19122 upgd conss, 0 impls, 2367 clqs
0.86/0.90 c (round 11, exhaustive) 1457 del vars, 966 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 19122 upgd conss, 0 impls, 2355 clqs
0.86/0.91 c (round 12, fast) 1565 del vars, 1074 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 19122 upgd conss, 0 impls, 2355 clqs
2.75/2.87 c (round 13, exhaustive) 1591 del vars, 1075 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 19122 upgd conss, 0 impls, 119979 clqs
2.75/2.88 c (round 14, fast) 1592 del vars, 1101 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 163 chg coeffs, 19122 upgd conss, 0 impls, 119993 clqs
4.45/4.59 c (round 15, exhaustive) 1617 del vars, 1101 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 163 chg coeffs, 19122 upgd conss, 0 impls, 119987 clqs
4.45/4.59 c (round 16, fast) 1617 del vars, 1126 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 214 chg coeffs, 19122 upgd conss, 0 impls, 119996 clqs
5.24/5.39 c (round 17, exhaustive) 1644 del vars, 1126 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 214 chg coeffs, 19122 upgd conss, 0 impls, 119981 clqs
5.34/5.40 c (round 18, fast) 1646 del vars, 1153 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 279 chg coeffs, 19122 upgd conss, 0 impls, 119994 clqs
6.34/6.47 c (round 19, exhaustive) 1672 del vars, 1153 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 279 chg coeffs, 19122 upgd conss, 0 impls, 120005 clqs
6.34/6.47 c (round 20, fast) 1673 del vars, 1179 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 342 chg coeffs, 19122 upgd conss, 0 impls, 120013 clqs
6.74/6.86 c (6.9s) probing: 1000/18737 (5.3%) - 107 fixings, 0 aggregations, 1105668 implications, 0 bound changes
7.24/7.30 c (round 21, exhaustive) 1700 del vars, 1179 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 342 chg coeffs, 19122 upgd conss, 0 impls, 120030 clqs
7.24/7.31 c (round 22, fast) 1702 del vars, 1206 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 409 chg coeffs, 19122 upgd conss, 0 impls, 120044 clqs
7.94/8.02 c (round 23, exhaustive) 1727 del vars, 1206 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 409 chg coeffs, 19122 upgd conss, 0 impls, 120038 clqs
7.94/8.03 c (round 24, fast) 1727 del vars, 1231 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 475 chg coeffs, 19122 upgd conss, 0 impls, 120057 clqs
8.13/8.28 c (round 25, exhaustive) 1754 del vars, 1231 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 475 chg coeffs, 19122 upgd conss, 0 impls, 120063 clqs
8.13/8.29 c (round 26, fast) 1754 del vars, 1258 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 543 chg coeffs, 19122 upgd conss, 0 impls, 120076 clqs
8.94/9.02 c (round 27, exhaustive) 1786 del vars, 1258 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 543 chg coeffs, 19122 upgd conss, 0 impls, 118195 clqs
8.94/9.03 c (round 28, fast) 1786 del vars, 1290 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 639 chg coeffs, 19122 upgd conss, 0 impls, 118215 clqs
12.52/12.64 c (round 29, exhaustive) 1812 del vars, 1290 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 639 chg coeffs, 19122 upgd conss, 0 impls, 119097 clqs
12.52/12.65 c (round 30, fast) 1812 del vars, 1316 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 717 chg coeffs, 19122 upgd conss, 0 impls, 119115 clqs
12.72/12.87 c (round 31, exhaustive) 1841 del vars, 1316 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 717 chg coeffs, 19122 upgd conss, 0 impls, 120098 clqs
12.72/12.88 c (round 32, fast) 1841 del vars, 1345 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 775 chg coeffs, 19122 upgd conss, 0 impls, 120105 clqs
14.91/15.03 c (round 33, exhaustive) 1866 del vars, 1345 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 775 chg coeffs, 19122 upgd conss, 0 impls, 120093 clqs
14.91/15.04 c (round 34, fast) 1866 del vars, 1370 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 825 chg coeffs, 19122 upgd conss, 0 impls, 120100 clqs
15.21/15.30 c (round 35, exhaustive) 1891 del vars, 1370 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 825 chg coeffs, 19122 upgd conss, 0 impls, 120062 clqs
15.21/15.30 c (round 36, fast) 1891 del vars, 1395 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 866 chg coeffs, 19122 upgd conss, 0 impls, 120067 clqs
15.41/15.55 c (round 37, exhaustive) 1916 del vars, 1395 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 866 chg coeffs, 19122 upgd conss, 0 impls, 120036 clqs
15.41/15.56 c (round 38, fast) 1916 del vars, 1420 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 891 chg coeffs, 19122 upgd conss, 0 impls, 120036 clqs
15.71/15.80 c (round 39, exhaustive) 1941 del vars, 1420 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 891 chg coeffs, 19122 upgd conss, 0 impls, 119999 clqs
15.71/15.81 c (round 40, fast) 1941 del vars, 1445 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 915 chg coeffs, 19122 upgd conss, 0 impls, 119999 clqs
15.91/16.04 c (16.0s) probing: 2000/18737 (10.7%) - 364 fixings, 1 aggregations, 2872124 implications, 0 bound changes
15.91/16.05 c (round 41, exhaustive) 1966 del vars, 1445 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 915 chg coeffs, 19122 upgd conss, 0 impls, 119958 clqs
15.91/16.06 c (round 42, fast) 1966 del vars, 1470 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 939 chg coeffs, 19122 upgd conss, 0 impls, 119958 clqs
16.31/16.44 c (round 43, exhaustive) 1991 del vars, 1470 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 939 chg coeffs, 19122 upgd conss, 0 impls, 120171 clqs
16.31/16.44 c (round 44, fast) 1991 del vars, 1495 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 966 chg coeffs, 19122 upgd conss, 0 impls, 120172 clqs
17.70/17.81 c (round 45, exhaustive) 2016 del vars, 1495 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 966 chg coeffs, 19122 upgd conss, 0 impls, 120197 clqs
17.70/17.82 c (round 46, fast) 2016 del vars, 1520 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 992 chg coeffs, 19122 upgd conss, 0 impls, 120197 clqs
17.91/18.07 c (round 47, exhaustive) 2041 del vars, 1520 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 992 chg coeffs, 19122 upgd conss, 0 impls, 120169 clqs
17.91/18.07 c (round 48, fast) 2041 del vars, 1545 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1017 chg coeffs, 19122 upgd conss, 0 impls, 120169 clqs
21.49/21.67 c (21.7s) probing: 3000/18737 (16.0%) - 474 fixings, 1 aggregations, 3953083 implications, 0 bound changes
26.48/26.61 c (26.6s) probing: 4000/18737 (21.3%) - 479 fixings, 1 aggregations, 5192495 implications, 0 bound changes
30.67/30.84 c (30.8s) probing: 5000/18737 (26.7%) - 485 fixings, 1 aggregations, 6176131 implications, 0 bound changes
32.46/32.61 c (round 49, exhaustive) 2066 del vars, 1545 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1017 chg coeffs, 19122 upgd conss, 0 impls, 120229 clqs
32.46/32.61 c (round 50, fast) 2066 del vars, 1570 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1051 chg coeffs, 19122 upgd conss, 0 impls, 120230 clqs
32.66/32.87 c (round 51, exhaustive) 2091 del vars, 1570 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1051 chg coeffs, 19122 upgd conss, 0 impls, 120234 clqs
32.66/32.88 c (round 52, fast) 2091 del vars, 1595 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1084 chg coeffs, 19122 upgd conss, 0 impls, 120234 clqs
35.15/35.31 c (35.3s) probing: 6000/18737 (32.0%) - 514 fixings, 1 aggregations, 7078404 implications, 0 bound changes
39.34/39.51 c (39.5s) probing: 7000/18737 (37.4%) - 516 fixings, 1 aggregations, 8032509 implications, 0 bound changes
42.94/43.16 c (43.2s) probing: 7869/18737 (42.0%) - 516 fixings, 1 aggregations, 8855157 implications, 0 bound changes
42.94/43.16 c (43.2s) probing aborted: 1000/1000 successive useless probings
42.94/43.19 c (43.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
43.03/43.24 c (43.2s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 1.68) (symcode time: 0.02)
43.03/43.27 c dynamic symmetry handling statistics:
43.03/43.27 c orbitopal reduction: no components
43.03/43.27 c orbital reduction: no components
43.03/43.27 c lexicographic reduction: 3 permutations with support sizes 1542, 640, 308
43.03/43.27 c handled 4 out of 4 symmetry components
43.14/43.30 c presolving (53 rounds: 53 fast, 25 medium, 24 exhaustive):
43.14/43.30 c 2097 deleted vars, 1598 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1087 changed coefficients
43.14/43.30 c 0 implications, 120262 cliques
43.14/43.30 c presolved problem has 18211 variables (18211 bin, 0 int, 0 cont) and 18491 constraints
43.14/43.30 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
43.14/43.30 c 1 constraints of type <knapsack>
43.14/43.30 c 2255 constraints of type <setppc>
43.14/43.30 c 1 constraints of type <orbitope_pp>
43.14/43.30 c 16234 constraints of type <logicor>
43.14/43.30 c transformed objective value is always integral (scale: 1)
43.14/43.30 c Presolving Time: 43.16
43.14/43.30 c
43.14/43.30 c - non default parameters ----------------------------------------------------------------------
43.14/43.30 c
43.14/43.30 c # SCIP version 10.0.0
43.14/43.30 c
43.14/43.30 c # maximal time in seconds to run
43.14/43.30 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
43.14/43.30 c limits/time = 3596.998039
43.14/43.30 c
43.14/43.30 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
43.14/43.30 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
43.14/43.30 c limits/memory = 27900
43.14/43.30 c
43.14/43.30 c # belongs reading time to solving time?
43.14/43.30 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
43.14/43.30 c timing/reading = TRUE
43.14/43.30 c
43.14/43.30 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
43.14/43.30 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
43.14/43.30 c reading/opbreader/maxintsize = 47
43.14/43.30 c
43.14/43.30 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
43.14/43.30 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
43.14/43.30 c propagating/genvbounds/timingmask = 0
43.14/43.30 c
43.14/43.30 c -----------------------------------------------------------------------------------------------
43.14/43.30 c
65.17/65.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
65.17/65.45 c 65.5s| 1 | 0 | 17644 | - | 350M | 0 | 18k| 18k| 18k| 0 | 0 | 147 | 0 | 0.000000e+00 | -- | Inf | unknown
227.33/228.02 c 228s| 1 | 0 |112217 | - | 374M | 0 | 18k| 18k| 18k| 7 | 1 | 152 | 0 | 0.000000e+00 | -- | Inf | unknown
262.24/263.08 c 263s| 1 | 0 |127099 | - | 382M | 0 | 18k| 18k| 18k| 18 | 2 | 155 | 0 | 0.000000e+00 | -- | Inf | unknown
291.56/292.48 c 292s| 1 | 0 |139167 | - | 388M | 0 | 18k| 18k| 18k| 34 | 3 | 164 | 0 | 0.000000e+00 | -- | Inf | unknown
323.28/324.24 c 324s| 1 | 0 |151650 | - | 394M | 0 | 18k| 18k| 18k| 49 | 4 | 165 | 0 | 0.000000e+00 | -- | Inf | unknown
354.80/355.87 c 356s| 1 | 0 |163867 | - | 399M | 0 | 18k| 18k| 18k| 55 | 5 | 171 | 0 | 0.000000e+00 | -- | Inf | unknown
385.03/386.13 c 386s| 1 | 0 |175659 | - | 402M | 0 | 18k| 18k| 18k| 63 | 6 | 173 | 0 | 0.000000e+00 | -- | Inf | unknown
418.55/419.70 c 420s| 1 | 0 |188382 | - | 404M | 0 | 18k| 18k| 18k| 69 | 7 | 176 | 0 | 0.000000e+00 | -- | Inf | unknown
464.04/465.37 c 465s| 1 | 0 |205550 | - | 407M | 0 | 18k| 18k| 18k| 87 | 8 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
498.56/499.97 c 500s| 1 | 0 |218574 | - | 410M | 0 | 18k| 18k| 18k| 96 | 9 | 183 | 0 | 0.000000e+00 | -- | Inf | unknown
530.58/532.08 c 532s| 1 | 0 |230701 | - | 411M | 0 | 18k| 18k| 18k| 100 | 10 | 186 | 0 | 0.000000e+00 | -- | Inf | unknown
569.79/571.31 c 571s| 1 | 0 |245519 | - | 415M | 0 | 18k| 18k| 18k| 115 | 11 | 187 | 0 | 0.000000e+00 | -- | Inf | unknown
845.84/848.09 c 848s| 1 | 2 |323701 | - | 429M | 0 | 18k| 18k| 18k| 115 | 11 | 203 | 19 | 0.000000e+00 | -- | Inf | unknown
2090.37/2095.66 c 2096s| 100 | 27 | 1134k|8983.0 | 464M | 40 | 18k| 18k| 0 | 150 | 0 | 294 | 19 | 0.000000e+00 | -- | Inf | unknown
3021.27/3028.81 c 3029s| 200 | 27 | 1933k|8480.4 | 499M | 49 | 18k| 18k| 18k| 206 | 1 | 351 | 19 | 0.000000e+00 | -- | Inf | unknown
3587.98/3597.00 c
3587.98/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.98/3597.00 c Solving Time (sec) : 3597.00
3587.98/3597.00 c Solving Nodes : 271
3587.98/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.98/3597.00 c Dual Bound : +0.00000000000000e+00
3587.98/3597.00 c Gap : infinite
3587.98/3597.00 s UNKNOWN
3587.98/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.98/3597.00 c Total Time : 3597.00
3587.98/3597.00 c solving : 3597.00
3587.98/3597.00 c presolving : 43.16 (included in solving)
3587.98/3597.00 c reading : 0.07 (included in solving)
3587.98/3597.00 c copying : 0.21 (5 #copies) (minimal 0.04, maximal 0.05, average 0.04)
3587.98/3597.00 c Original Problem :
3587.98/3597.00 c Problem name : HOME/instance-4506915-1751179066.opb
3587.98/3597.00 c Variables : 19754 (19754 binary, 0 integer, 0 continuous)
3587.98/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.98/3597.00 c Constraints : 20088 initial, 20088 maximal
3587.98/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.98/3597.00 c Presolved Problem :
3587.98/3597.00 c Problem name : t_HOME/instance-4506915-1751179066.opb
3587.98/3597.00 c Variables : 18211 (18211 binary, 0 integer, 0 continuous)
3587.98/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.98/3597.00 c Constraints : 18491 initial, 18795 maximal
3587.98/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.98/3597.00 c Nonzeros : 101222 constraint, 258411 clique table
3587.98/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.98/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c domcol : 0.94 0.00 21 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c dualsparsify : 0.04 0.00 1 0 0 0 0 0 3 0 0 3
3587.98/3597.00 c gateextraction : 0.18 0.00 22 0 0 0 0 0 1 0 0 0
3587.98/3597.00 c implics : 0.00 0.00 25 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c milp : 0.38 0.00 1 166 1 0 0 0 0 0 0 0
3587.98/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c sparsify : 0.50 0.00 4 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c trivial : 0.03 0.00 53 554 0 0 0 0 0 0 0 0
3587.98/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c dualfix : 0.02 0.00 53 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c probing : 36.84 0.00 21 516 1 0 0 0 0 0 0 0
3587.98/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c symmetry : 0.08 0.00 1 3 0 0 0 0 0 1 0 0
3587.98/3597.00 c vbounds : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c knapsack : 0.01 0.00 87 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c setppc : 0.17 0.00 87 0 0 0 0 0 111 0 0 0
3587.98/3597.00 c linear : 0.16 0.02 12 302 0 0 302 0 966 0 0 0
3587.98/3597.00 c orbitope_pp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c logicor : 3.73 0.01 87 108 0 0 0 0 517 0 0 1084
3587.98/3597.00 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.98/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.98/3597.00 c integral : 0 0 0 0 149 0 0 23 0 0 0 0 0 0 298
3587.98/3597.00 c knapsack : 1 1 11 442870 0 0 0 19 0 0 0 0 0 0 0
3587.98/3597.00 c setppc : 2255+ 2348 11 450620 0 0 0 12 161706 339 28843 0 0 0 0
3587.98/3597.00 c orbitope_pp : 1 1 0 9031 0 0 0 0 175 0 12 0 0 0 0
3587.98/3597.00 c logicor : 16234+ 16445 11 128213 0 0 0 0 332872 125 46458 21 12 0 0
3587.98/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.98/3597.00 c integral : 39.51 0.00 0.00 0.00 39.51 0.00 0.00 0.00 0.00 0.00
3587.98/3597.00 c knapsack : 0.25 0.00 0.01 0.23 0.00 0.00 0.00 0.00 0.00 0.00
3587.98/3597.00 c setppc : 3.98 0.00 0.01 3.79 0.00 0.00 0.00 0.00 0.07 0.11
3587.98/3597.00 c orbitope_pp : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.98/3597.00 c logicor : 11.12 0.01 0.03 10.92 0.00 0.00 0.00 0.00 0.13 0.03
3587.98/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.98/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.98/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.98/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.98/3597.00 c dualfix : 1 0 0 0
3587.98/3597.00 c genvbounds : 0 0 0 0
3587.98/3597.00 c nlobbt : 0 0 0 0
3587.98/3597.00 c obbt : 0 0 0 0
3587.98/3597.00 c probing : 0 0 0 0
3587.98/3597.00 c pseudoobj : 0 0 0 0
3587.98/3597.00 c redcost : 0 0 0 0
3587.98/3597.00 c rootredcost : 0 0 0 0
3587.98/3597.00 c symmetry : 1745 0 0 1
3587.98/3597.00 c vbounds : 6340 0 0 0
3587.98/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.98/3597.00 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3587.98/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.98/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.98/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.98/3597.00 c probing : 36.84 0.00 36.84 0.00 0.00 0.00
3587.98/3597.00 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3587.98/3597.00 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3587.98/3597.00 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3587.98/3597.00 c symmetry : 0.10 0.00 0.08 0.02 0.00 0.00
3587.98/3597.00 c vbounds : 0.12 0.00 0.03 0.09 0.00 0.00
3587.98/3597.00 c Symmetry :
3587.98/3597.00 c #affected vars : 2952 (2952 bin, 0 int, 0 cont)
3587.98/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.98/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.98/3597.00 c lexicographic red: 1 reductions applied, 0 cutoffs
3587.98/3597.00 c shadow tree time : 0.00 s
3587.98/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.98/3597.00 c propagation : 0.03 462 128 - 451 75.5 6 8.7 - - -
3587.98/3597.00 c infeasible LP : 1.80 105 47 - 1187 3018.1 2 5.5 0 0.0 0
3587.98/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.98/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.98/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.98/3597.00 c applied globally : 0.02 - - 0 388 330.6 - - 0 - -
3587.98/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.98/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.98/3597.00 c cut pool : 0.01 - 58 21 - - 518 885 - - - - - (maximal pool size: 518)
3587.98/3597.00 c aggregation : 0.10 0.00 25 11 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.98/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.98/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.98/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c clique : 1.75 0.00 11 11 0 0 87 159 0 32 32 0 0
3587.98/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c gomory : 25.97 0.00 24 10 0 0 318 533 20 33 31 2 0
3587.98/3597.00 c > gomorymi : - - - - - - - 240 10 22 20 2 -
3587.98/3597.00 c > strongcg : - - - - - - - 293 10 11 11 0 -
3587.98/3597.00 c impliedbounds : 0.14 0.00 25 11 0 0 57 102 0 41 41 0 0
3587.98/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c multilinear : 0.00 0.00 15 11 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3587.98/3597.00 c zerohalf : 17.84 0.00 25 11 0 0 109 91 33 116 84 32 0
3587.98/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.98/3597.00 c hybrid : 0.00 0.00 33 11 234 0 725 115 0 164
3587.98/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.98/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.98/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.98/3597.00 c problem variables: 0.00 - 0 0
3587.98/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.98/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.98/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.98/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.98/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.98/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.98/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.98/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.98/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.98/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.98/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.98/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.98/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.98/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.98/3597.00 c relpscost : 39.51 0.00 149 0 0 0 0 0 0 298
3587.98/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.98/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.98/3597.00 c LP solutions : 0.00 - - 0 0
3587.98/3597.00 c relax solutions : 0.00 - - 0 0
3587.98/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.98/3597.00 c strong branching : 0.00 - - 0 0
3587.98/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.98/3597.00 c adaptivediving : 0.00 0.00 0 0 0
3587.98/3597.00 c alns : 1.85 0.00 5 0 0
3587.98/3597.00 c bound : 0.00 0.00 0 0 0
3587.98/3597.00 c clique : 0.08 0.00 1 0 0
3587.98/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.98/3597.00 c completesol : 0.00 0.00 0 0 0
3587.98/3597.00 c conflictdiving : 236.92 0.00 1 0 0
3587.98/3597.00 c crossover : 0.00 0.00 0 0 0
3587.98/3597.00 c dins : 0.00 0.00 0 0 0
3587.98/3597.00 c distributiondivin: 0.05 0.00 0 0 0
3587.98/3597.00 c dks : 0.00 0.00 0 0 0
3587.98/3597.00 c dps : 0.00 0.00 0 0 0
3587.98/3597.00 c dualval : 0.00 0.00 0 0 0
3587.98/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.98/3597.00 c feaspump : 134.26 0.00 1 0 0
3587.98/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.98/3597.00 c fracdiving : 0.00 0.00 0 0 0
3587.98/3597.00 c gins : 0.00 0.00 0 0 0
3587.98/3597.00 c guideddiving : 0.00 0.00 0 0 0
3587.98/3597.00 c indicator : 0.00 0.00 0 0 0
3587.98/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.98/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.98/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.98/3597.00 c linesearchdiving : 0.00 0.00 0 0 0
3587.98/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.98/3597.00 c locks : 0.07 0.00 1 0 0
3587.98/3597.00 c lpface : 0.01 0.00 0 0 0
3588.08/3597.00 c mpec : 0.00 0.00 0 0 0
3588.08/3597.00 c multistart : 0.00 0.00 0 0 0
3588.08/3597.00 c mutation : 0.00 0.00 0 0 0
3588.08/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3588.08/3597.00 c objpscostdiving : 0.00 0.00 0 0 0
3588.08/3597.00 c octane : 0.00 0.00 0 0 0
3588.08/3597.00 c ofins : 0.00 0.00 0 0 0
3588.08/3597.00 c oneopt : 0.00 0.00 0 0 0
3588.08/3597.00 c padm : 0.00 0.00 0 0 0
3588.08/3597.00 c proximity : 0.00 0.00 0 0 0
3588.08/3597.00 c pscostdiving : 0.00 0.00 0 0 0
3588.08/3597.00 c randrounding : 0.20 0.00 28 0 0
3588.08/3597.00 c rens : 0.36 0.00 1 0 0
3588.08/3597.00 c reoptsols : 0.00 0.00 0 0 0
3588.08/3597.00 c repair : 0.00 0.00 0 0 0
3588.08/3597.00 c rins : 0.00 0.00 0 0 0
3588.08/3597.00 c rootsoldiving : 0.00 0.00 0 0 0
3588.08/3597.00 c rounding : 0.12 0.00 135 0 0
3588.08/3597.00 c scheduler : 0.00 0.00 0 0 0
3588.08/3597.00 c shiftandpropagate: 0.02 0.00 1 0 0
3588.08/3597.00 c shifting : 0.34 0.00 44 0 0
3588.08/3597.00 c simplerounding : 0.00 0.00 0 0 0
3588.08/3597.00 c subnlp : 0.00 0.00 0 0 0
3588.08/3597.00 c trivial : 0.01 0.00 2 0 0
3588.08/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3588.08/3597.00 c trustregion : 0.00 0.00 0 0 0
3588.08/3597.00 c trysol : 0.00 0.00 0 0 0
3588.08/3597.00 c twoopt : 0.00 0.00 0 0 0
3588.08/3597.00 c undercover : 0.00 0.00 0 0 0
3588.08/3597.00 c vbounds : 0.13 0.00 1 0 0
3588.08/3597.00 c veclendiving : 0.00 0.00 0 0 0
3588.08/3597.00 c zeroobj : 0.00 0.00 0 0 0
3588.08/3597.00 c zirounding : 0.03 0.00 149 0 0
3588.08/3597.00 c other solutions : - - - 0 -
3588.08/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3588.08/3597.00 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
3588.08/3597.00 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
3588.08/3597.00 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
3588.08/3597.00 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
3588.08/3597.00 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
3588.08/3597.00 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
3588.08/3597.00 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
3588.08/3597.00 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
3588.08/3597.00 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
3588.08/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3588.08/3597.00 c primal LP : 0.15 10 0 0.00 0.00 0.15 10
3588.08/3597.00 c dual LP : 3090.65 297 2261916 7826.70 731.86 2.20 8
3588.08/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3588.08/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3588.08/3597.00 c resolve instable : 52.49 2 58371 29185.50 1112.09
3588.08/3597.00 c diving/probing LP: 380.36 13 160518 12347.54 422.01
3588.08/3597.00 c strong branching : 29.63 19 15446 812.95 521.34 - - 29
3588.08/3597.00 c (at root node) : - 19 15446 812.95 -
3588.08/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3588.08/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3588.08/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3588.08/3597.00 c B&B Tree :
3588.08/3597.00 c number of runs : 1
3588.08/3597.00 c nodes : 271 (149 internal, 122 leaves)
3588.08/3597.00 c feasible leaves : 0
3588.08/3597.00 c infeas. leaves : 121
3588.08/3597.00 c objective leaves : 0
3588.08/3597.00 c nodes (total) : 271 (149 internal, 122 leaves)
3588.08/3597.00 c nodes left : 29
3588.08/3597.00 c max depth : 53
3588.08/3597.00 c max depth (total): 53
3588.08/3597.00 c backtracks : 21 (7.7%)
3588.08/3597.00 c early backtracks : 0 (0.0%)
3588.08/3597.00 c nodes exc. ref. : 0 (0.0%)
3588.08/3597.00 c delayed cutoffs : 0
3588.08/3597.00 c repropagations : 198 (254 domain reductions, 0 cutoffs)
3588.08/3597.00 c avg switch length: 2.86
3588.08/3597.00 c switching time : 0.31
3588.08/3597.00 c Root Node :
3588.08/3597.00 c First LP value : +0.00000000000000e+00
3588.08/3597.00 c First LP Iters : 17644 (808.01 Iter/sec)
3588.08/3597.00 c First LP Time : 21.84
3588.08/3597.00 c Final Dual Bound : +0.00000000000000e+00
3588.08/3597.00 c Final Root Iters : 245519
3588.08/3597.00 c Root LP Estimate : +9.30533610976670e-04
3588.08/3597.00 c Solution :
3588.08/3597.00 c Solutions found : 0 (0 improvements)
3588.08/3597.00 c Primal Bound : -
3588.08/3597.00 c Dual Bound : +0.00000000000000e+00
3588.08/3597.00 c Gap : infinite
3588.08/3597.00 c Integrals : Total Avg%
3588.08/3597.00 c primal-dual : 359700.01 100.00
3588.08/3597.00 c primal-ref : - - (not evaluated)
3588.08/3597.00 c dual-ref : - - (not evaluated)
3588.18/3597.13 c Time complete (sec): 3588.219
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (39132 MiB free)
memory of node 1: 64465 MiB (58048 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506915-1751179066/watcher-4506915-1751179066 -o /tmp/evaluation-result-4506915-1751179066/solver-4506915-1751179066 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751171866-20912 --watchdog 3760 pbsolver -f HOME/instance-4506915-1751179066.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21610, runsolver pid=21607
[startup+0.100069 s]*
/proc/loadavg: 4.07 4.08 4.09 5/264 21611
/proc/meminfo: memFree=99448760/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=80176 memory=70436 CPUtime=0.09 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 15526 0 0 0 8 1 0 0 20 0 1 0 33585224 82100224 17609 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 20044 17609 2368 2575 0 16951 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 80176 KiB
Current children cumulated memory: 70436 KiB
[startup+0.205598 s]*
/proc/loadavg: 4.07 4.08 4.09 5/264 21611
/proc/meminfo: memFree=99432632/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=104504 memory=92324 CPUtime=0.19 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 20980 0 0 0 17 2 0 0 20 0 1 0 33585224 107012096 23081 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 26126 23081 2400 2575 0 23033 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 104504 KiB
Current children cumulated memory: 92324 KiB
[startup+0.305583 s]*
/proc/loadavg: 4.07 4.08 4.09 5/264 21611
/proc/meminfo: memFree=99403588/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=131536 memory=119488 CPUtime=0.28 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 29064 0 0 0 25 3 0 0 20 0 1 0 33585224 134692864 29872 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 32884 29872 2496 2575 0 29791 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 131536 KiB
Current children cumulated memory: 119488 KiB
[startup+0.700207 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 21611
/proc/meminfo: memFree=99403588/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=136460 memory=124788 CPUtime=0.66 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 32613 0 0 0 62 4 0 0 20 0 1 0 33585224 139735040 31197 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 34115 31197 2496 2575 0 31022 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 136460 KiB
Current children cumulated memory: 124788 KiB
[startup+1.50017 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 21611
/proc/meminfo: memFree=99395904/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=180356 memory=165676 CPUtime=1.46 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 41619 0 0 0 141 5 0 0 20 0 1 0 33585224 184684544 41419 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 45089 41419 2592 2575 0 41996 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 180356 KiB
Current children cumulated memory: 165676 KiB
[startup+3.10568 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 21611
/proc/meminfo: memFree=99380728/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=188260 memory=173484 CPUtime=3.06 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 43545 0 0 0 301 5 0 0 20 0 1 0 33585224 192778240 43371 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 47065 43371 2592 2575 0 43972 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 188260 KiB
Current children cumulated memory: 173484 KiB
[startup+6.30018 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 21612
/proc/meminfo: memFree=99385228/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=191552 memory=176684 CPUtime=6.24 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 44371 0 0 0 619 5 0 0 20 0 1 0 33585224 196149248 44171 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 47888 44171 2592 2575 0 44795 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 191552 KiB
Current children cumulated memory: 176684 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.09 4.09 5/266 21663
/proc/meminfo: memFree=118620252/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=197756 memory=182956 CPUtime=12.62 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 45932 0 0 0 1256 6 0 0 20 0 1 0 33585224 202502144 45739 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 49439 45739 2592 2575 0 46346 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 197756 KiB
Current children cumulated memory: 182956 KiB
[startup+25.5001 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 21708
/proc/meminfo: memFree=129160916/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=199376 memory=184620 CPUtime=25.38 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 46335 0 0 0 2532 6 0 0 20 0 1 0 33585224 204161024 46155 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 49844 46155 2592 2575 0 46751 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 199376 KiB
Current children cumulated memory: 184620 KiB
[startup+51.1053 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 21709
/proc/meminfo: memFree=128871124/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=396048 memory=323408 CPUtime=50.92 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 80756 0 0 0 5081 11 0 0 20 0 1 0 33585224 405553152 80852 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 99012 80852 2656 2575 0 95919 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 396048 KiB
Current children cumulated memory: 323408 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.10 4.09 5/266 21711
/proc/meminfo: memFree=128699556/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=407236 memory=333380 CPUtime=101.96 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 82733 0 0 0 10185 11 0 0 20 0 1 0 33585224 417009664 83345 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 101809 83345 2656 2575 0 98716 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 407236 KiB
Current children cumulated memory: 333380 KiB
[startup+162.3 s]
/proc/loadavg: 4.34 4.18 4.12 5/266 21757
/proc/meminfo: memFree=129016040/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=407236 memory=336196 CPUtime=161.8 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 82738 0 0 0 16169 11 0 0 20 0 1 0 33585224 417009664 84049 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 101809 84049 2656 2575 0 98716 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 407236 KiB
Current children cumulated memory: 336196 KiB
[startup+222.3 s]
/proc/loadavg: 4.24 4.18 4.12 5/266 21759
/proc/meminfo: memFree=128785520/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=481876 memory=416384 CPUtime=221.64 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 89634 0 0 0 22150 14 0 0 20 0 1 0 33585224 493441024 104096 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 120469 104096 2688 2575 0 117376 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 481876 KiB
Current children cumulated memory: 416384 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/265 21761
/proc/meminfo: memFree=128615900/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=499876 memory=457344 CPUtime=281.49 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 93925 0 0 0 28134 15 0 0 20 0 1 0 33585224 511873024 114336 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 124969 114336 2688 2575 0 121876 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 499876 KiB
Current children cumulated memory: 457344 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.13 4.11 5/263 21763
/proc/meminfo: memFree=128574524/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=511672 memory=475264 CPUtime=341.33 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 96909 0 0 0 34118 15 0 0 20 0 1 0 33585224 523952128 118816 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 127918 118816 2688 2575 0 124825 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 511672 KiB
Current children cumulated memory: 475264 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/263 21766
/proc/meminfo: memFree=128479104/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=519404 memory=487296 CPUtime=401.2 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 98848 0 0 0 40104 16 0 0 20 0 1 0 33585224 531869696 121824 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 129851 121824 2688 2575 0 126758 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 519404 KiB
Current children cumulated memory: 487296 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/263 21768
/proc/meminfo: memFree=128401512/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=523156 memory=490752 CPUtime=461.05 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 99724 0 0 0 46089 16 0 0 20 0 1 0 33585224 535711744 122688 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 130789 122688 2688 2575 0 127696 0
################
# More data... #
################
/proc/loadavg: 4.07 4.08 4.09 5/264 21917
/proc/meminfo: memFree=127773048/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=691192 memory=659968 CPUtime=3214.29 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 142806 0 0 0 321405 24 0 0 20 0 1 0 33585224 707780608 164992 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 172798 164992 2944 2575 0 169705 0
Current children cumulated CPU time: 3214.29 s
Current children cumulated vsize: 691192 KiB
Current children cumulated memory: 659968 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 21919
/proc/meminfo: memFree=127772672/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=691192 memory=659968 CPUtime=3274.14 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 142887 0 0 0 327390 24 0 0 20 0 1 0 33585224 707780608 164992 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 172798 164992 2944 2575 0 169705 0
Current children cumulated CPU time: 3274.14 s
Current children cumulated vsize: 691192 KiB
Current children cumulated memory: 659968 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 21922
/proc/meminfo: memFree=127775904/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=691192 memory=659968 CPUtime=3334 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 142994 0 0 0 333376 24 0 0 20 0 1 0 33585224 707780608 164992 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 172798 164992 2944 2575 0 169705 0
Current children cumulated CPU time: 3334 s
Current children cumulated vsize: 691192 KiB
Current children cumulated memory: 659968 KiB
[startup+3402.3 s]
/proc/loadavg: 4.42 4.18 4.12 5/264 21924
/proc/meminfo: memFree=127767224/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=691192 memory=660864 CPUtime=3393.85 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 143053 0 0 0 339361 24 0 0 20 0 1 0 33585224 707780608 165216 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 172798 165216 2944 2575 0 169705 0
Current children cumulated CPU time: 3393.85 s
Current children cumulated vsize: 691192 KiB
Current children cumulated memory: 660864 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.16 4.12 5/264 21926
/proc/meminfo: memFree=127766972/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=691192 memory=660864 CPUtime=3453.7 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 143063 0 0 0 345346 24 0 0 20 0 1 0 33585224 707780608 165216 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 172798 165216 2944 2575 0 169705 0
Current children cumulated CPU time: 3453.7 s
Current children cumulated vsize: 691192 KiB
Current children cumulated memory: 660864 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/264 21928
/proc/meminfo: memFree=127766964/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=691192 memory=660864 CPUtime=3513.55 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 143065 0 0 0 351331 24 0 0 20 0 1 0 33585224 707780608 165216 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 172798 165216 2944 2575 0 169705 0
Current children cumulated CPU time: 3513.55 s
Current children cumulated vsize: 691192 KiB
Current children cumulated memory: 660864 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/264 21930
/proc/meminfo: memFree=127766860/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=691192 memory=660864 CPUtime=3573.41 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 143071 0 0 0 357317 24 0 0 20 0 1 0 33585224 707780608 165216 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 172798 165216 2944 2575 0 169705 0
Current children cumulated CPU time: 3573.41 s
Current children cumulated vsize: 691192 KiB
Current children cumulated memory: 660864 KiB
[startup+3597.13 s]
# the end of solver process 21610 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.97 s, system=0.250674 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.13 4.10 5/264 21930
/proc/meminfo: memFree=127766860/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=691192 memory=660864 CPUtime=3575.11 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 143071 0 0 0 357487 24 0 0 20 0 1 0 33585224 707780608 165216 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 172798 165216 2944 2575 0 169705 0
Current children cumulated CPU time: 3575.11 s
Current children cumulated vsize: 691192 KiB
Current children cumulated memory: 660864 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.13 4.10 5/264 21930
/proc/meminfo: memFree=127766860/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=691192 memory=660864 CPUtime=3581.49 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 143071 0 0 0 358125 24 0 0 20 0 1 0 33585224 707780608 165216 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 172798 165216 2944 2575 0 169705 0
Current children cumulated CPU time: 3581.49 s
Current children cumulated vsize: 691192 KiB
Current children cumulated memory: 660864 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.13 4.10 5/264 21930
/proc/meminfo: memFree=127766860/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=691192 memory=660864 CPUtime=3584.69 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 143071 0 0 0 358445 24 0 0 20 0 1 0 33585224 707780608 165216 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 172798 165216 2944 2575 0 169705 0
Current children cumulated CPU time: 3584.69 s
Current children cumulated vsize: 691192 KiB
Current children cumulated memory: 660864 KiB
[startup+3595.2 s]
/proc/loadavg: 4.09 4.13 4.10 5/264 21930
/proc/meminfo: memFree=127766860/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=691192 memory=660864 CPUtime=3586.28 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 143071 0 0 0 358604 24 0 0 20 0 1 0 33585224 707780608 165216 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 172798 165216 2944 2575 0 169705 0
Current children cumulated CPU time: 3586.28 s
Current children cumulated vsize: 691192 KiB
Current children cumulated memory: 660864 KiB
[startup+3596 s]*
/proc/loadavg: 4.09 4.13 4.10 5/264 21930
/proc/meminfo: memFree=127766860/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=691192 memory=660864 CPUtime=3587.09 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 143071 0 0 0 358685 24 0 0 20 0 1 0 33585224 707780608 165216 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 172798 165216 2944 2575 0 169705 0
Current children cumulated CPU time: 3587.09 s
Current children cumulated vsize: 691192 KiB
Current children cumulated memory: 660864 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.13 4.10 5/264 21930
/proc/meminfo: memFree=127766860/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=691192 memory=660864 CPUtime=3587.88 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 143071 0 0 0 358764 24 0 0 20 0 1 0 33585224 707780608 165216 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 172798 165216 2944 2575 0 169705 0
Current children cumulated CPU time: 3587.88 s
Current children cumulated vsize: 691192 KiB
Current children cumulated memory: 660864 KiB
[startup+3597 s]*
/proc/loadavg: 4.09 4.13 4.10 5/264 21930
/proc/meminfo: memFree=127766860/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=691192 memory=660864 CPUtime=3588.08 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 143072 0 0 0 358784 24 0 0 20 0 1 0 33585224 707780608 165216 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 172798 165216 2944 2575 0 169705 0
Current children cumulated CPU time: 3588.08 s
Current children cumulated vsize: 691192 KiB
Current children cumulated memory: 660864 KiB
[startup+3597.11 s]
/proc/loadavg: 4.09 4.13 4.10 5/264 21930
/proc/meminfo: memFree=127766860/131249996 swapFree=33010684/33010684
[pid=21610] ppid=21607 vsize=641504 memory=611268 CPUtime=3588.18 cores=4,6
/proc/21610/stat : 21610 (pbsolver) R 21607 21610 20901 0 -1 4194304 143125 0 0 0 358794 24 0 0 20 0 1 0 33585224 656900096 152817 18446744073709551615 4198400 14743177 140735888728624 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 46092288 140735888730506 140735888730602 140735888730602 140735888736204 0
/proc/21610/statm: 160376 152817 2944 2575 0 157283 0
Current children cumulated CPU time: 3588.18 s
Current children cumulated vsize: 641504 KiB
Current children cumulated memory: 611268 KiB
Child status: 0
Real time (s): 3597.13
CPU time (s): 3588.22
CPU user time (s): 3587.97
CPU system time (s): 0.250674
CPU usage (%): 99.7522
Max. virtual memory (cumulated for all children) (KiB): 691192
Max. memory (cumulated for all children) (KiB): 660864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.97
system time used= 0.250674
maximum resident set size= 660864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143141
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= 28
involuntary context switches= 1904
# summary of solver processes directly reported to runsolver:
# pid: 21610
# total CPU time (s): 3588.22
# total CPU user time (s): 3587.97
# total CPU system time (s): 0.250674
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.53917 second user time and 15.4664 second system time
The end
Begin job on nodeC032 at 2025-06-29 08:37:46 IDJOB=4506915 IDBENCH=158308 IDSOLVER=3366 FILE ID=nodeC032/4506915-1751179066 RUNJOBID= nodeC032-1751171866-20912 SLURM_JOB_ID= 9587537 Free space on /tmp= 431724 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K166.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506915-1751179066/watcher-4506915-1751179066 -o /tmp/evaluation-result-4506915-1751179066/solver-4506915-1751179066 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751171866-20912 --watchdog 3760 pbsolver -f HOME/instance-4506915-1751179066.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 50117bf6e22b142cc615b717d0d3b45a RANDOM SEED=505574314 nodeC032 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.803 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.69 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.841 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.69 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 : 3613.658 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.69 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 : 3589.114 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.69 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 : 3672.096 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.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.444 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.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.831 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.69 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 : 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 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.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 99512768 kB MemAvailable: 99479004 kB Buffers: 3280 kB Cached: 776984 kB SwapCached: 0 kB Active: 30470820 kB Inactive: 536028 kB Active(anon): 30244684 kB Inactive(anon): 0 kB Active(file): 226136 kB Inactive(file): 536028 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 16336 kB Writeback: 28 kB AnonPages: 30227764 kB Mapped: 135956 kB Shmem: 18068 kB KReclaimable: 86624 kB Slab: 169644 kB SReclaimable: 86624 kB SUnreclaim: 83020 kB KernelStack: 4256 kB PageTables: 63052 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 33768012 kB VmallocTotal: 34359738367 kB VmallocUsed: 150568 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 13584384 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: 203476 kB DirectMap2M: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432008 MiB End job on nodeC032 at 2025-06-29 09:37:43