| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3587.71 | 3597.33 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K159.opb |
| MD5SUM | 27d58ce279c297ab3aeba38d0412d1d9 |
| 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 | 2789.9 |
| 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 | 18921 |
| Total number of constraints | 19241 |
| Number of constraints which are clauses | 19082 |
| Number of constraints which are cardinality constraints (but not clauses) | 159 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 159 |
| 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 | 160 |
| 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.20 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.20 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.20 c
0.00/0.20 c user parameter file <scip.set> not found - using default parameters
0.00/0.20 c reading problem <HOME/instance-4506986-1751182186.opb>
0.00/0.26 c original problem has 18921 variables (18921 bin, 0 int, 0 impl, 0 cont) and 19241 constraints
0.00/0.26 c problem read in 0.07
0.00/0.27 c No objective function, only one solution is needed.
0.10/0.34 c presolving:
0.10/0.37 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, 2185 clqs
0.10/0.38 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, 2169 clqs
0.10/0.38 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, 2190 clqs
0.10/0.38 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, 2221 clqs
0.10/0.39 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, 2244 clqs
0.10/0.39 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, 2254 clqs
0.21/0.44 c (0.2s) running MILP presolver
0.30/0.57 c (0.4s) MILP presolver (3 rounds): 0 aggregations, 157 fixings, 0 bound changes
0.30/0.58 c (round 7, medium) 1339 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2265 clqs
0.30/0.59 c (round 8, fast) 1339 del vars, 792 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2267 clqs
0.39/0.62 c (round 9, exhaustive) 1339 del vars, 949 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2267 clqs
0.48/0.71 c (round 10, exhaustive) 1339 del vars, 949 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 18292 upgd conss, 0 impls, 2267 clqs
0.58/0.87 c (round 11, exhaustive) 1448 del vars, 949 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 18292 upgd conss, 0 impls, 2254 clqs
0.58/0.88 c (round 12, fast) 1557 del vars, 1058 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 18292 upgd conss, 0 impls, 2254 clqs
2.07/2.38 c (round 13, exhaustive) 1583 del vars, 1059 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 18292 upgd conss, 0 impls, 114885 clqs
2.07/2.39 c (round 14, fast) 1584 del vars, 1085 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 164 chg coeffs, 18292 upgd conss, 0 impls, 114897 clqs
3.87/4.12 c (round 15, exhaustive) 1610 del vars, 1085 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 164 chg coeffs, 18292 upgd conss, 0 impls, 114858 clqs
3.87/4.13 c (round 16, fast) 1611 del vars, 1111 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 218 chg coeffs, 18292 upgd conss, 0 impls, 114865 clqs
4.96/5.28 c (round 17, exhaustive) 1636 del vars, 1111 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 218 chg coeffs, 18292 upgd conss, 0 impls, 114856 clqs
4.96/5.29 c (round 18, fast) 1636 del vars, 1136 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 281 chg coeffs, 18292 upgd conss, 0 impls, 114875 clqs
5.46/5.70 c (round 19, exhaustive) 1662 del vars, 1136 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 281 chg coeffs, 18292 upgd conss, 0 impls, 114862 clqs
5.46/5.70 c (round 20, fast) 1663 del vars, 1162 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 348 chg coeffs, 18292 upgd conss, 0 impls, 114875 clqs
6.36/6.62 c (6.4s) probing: 1000/17913 (5.6%) - 116 fixings, 0 aggregations, 1095492 implications, 0 bound changes
6.46/6.79 c (round 21, exhaustive) 1689 del vars, 1162 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 348 chg coeffs, 18292 upgd conss, 0 impls, 114886 clqs
6.56/6.80 c (round 22, fast) 1690 del vars, 1188 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 408 chg coeffs, 18292 upgd conss, 0 impls, 114898 clqs
6.76/7.04 c (round 23, exhaustive) 1717 del vars, 1188 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 408 chg coeffs, 18292 upgd conss, 0 impls, 114913 clqs
6.76/7.04 c (round 24, fast) 1719 del vars, 1215 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 474 chg coeffs, 18292 upgd conss, 0 impls, 114924 clqs
8.06/8.39 c (round 25, exhaustive) 1763 del vars, 1215 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 474 chg coeffs, 18292 upgd conss, 0 impls, 112170 clqs
8.16/8.40 c (round 26, fast) 1763 del vars, 1259 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 618 chg coeffs, 18292 upgd conss, 0 impls, 112207 clqs
8.36/8.65 c (round 27, exhaustive) 1791 del vars, 1259 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 618 chg coeffs, 18292 upgd conss, 0 impls, 114495 clqs
8.36/8.66 c (round 28, fast) 1794 del vars, 1287 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 681 chg coeffs, 18292 upgd conss, 0 impls, 114507 clqs
11.15/11.48 c (round 29, exhaustive) 1820 del vars, 1287 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 681 chg coeffs, 18292 upgd conss, 0 impls, 114921 clqs
11.15/11.49 c (round 30, fast) 1820 del vars, 1313 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 743 chg coeffs, 18292 upgd conss, 0 impls, 114931 clqs
11.55/11.88 c (round 31, exhaustive) 1845 del vars, 1313 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 743 chg coeffs, 18292 upgd conss, 0 impls, 114971 clqs
11.55/11.89 c (round 32, fast) 1845 del vars, 1338 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 792 chg coeffs, 18292 upgd conss, 0 impls, 114976 clqs
13.35/13.68 c (round 33, exhaustive) 1870 del vars, 1338 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 793 chg coeffs, 18292 upgd conss, 0 impls, 114893 clqs
13.35/13.68 c (round 34, fast) 1870 del vars, 1363 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 831 chg coeffs, 18292 upgd conss, 0 impls, 114901 clqs
13.65/13.94 c (round 35, exhaustive) 1897 del vars, 1363 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 831 chg coeffs, 18292 upgd conss, 0 impls, 114941 clqs
13.65/13.94 c (round 36, fast) 1899 del vars, 1390 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 875 chg coeffs, 18292 upgd conss, 0 impls, 114945 clqs
13.85/14.18 c (round 37, exhaustive) 1924 del vars, 1390 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 875 chg coeffs, 18292 upgd conss, 0 impls, 114748 clqs
13.85/14.19 c (round 38, fast) 1924 del vars, 1415 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 900 chg coeffs, 18292 upgd conss, 0 impls, 114748 clqs
14.14/14.43 c (round 39, exhaustive) 1949 del vars, 1415 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 900 chg coeffs, 18292 upgd conss, 0 impls, 114522 clqs
14.14/14.43 c (round 40, fast) 1949 del vars, 1440 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 923 chg coeffs, 18292 upgd conss, 0 impls, 114522 clqs
14.64/14.91 c (14.7s) probing: 2000/17913 (11.2%) - 384 fixings, 1 aggregations, 2743173 implications, 0 bound changes
19.43/19.72 c (19.5s) probing: 3000/17913 (16.7%) - 393 fixings, 1 aggregations, 3969665 implications, 0 bound changes
20.43/20.77 c (round 41, exhaustive) 1974 del vars, 1440 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 923 chg coeffs, 18292 upgd conss, 0 impls, 114954 clqs
20.43/20.78 c (round 42, fast) 1974 del vars, 1465 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 950 chg coeffs, 18292 upgd conss, 0 impls, 114954 clqs
20.83/21.13 c (round 43, exhaustive) 2000 del vars, 1465 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 950 chg coeffs, 18292 upgd conss, 0 impls, 114829 clqs
20.83/21.14 c (round 44, fast) 2001 del vars, 1491 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 981 chg coeffs, 18292 upgd conss, 0 impls, 114830 clqs
23.42/23.77 c (round 45, exhaustive) 2026 del vars, 1491 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 981 chg coeffs, 18292 upgd conss, 0 impls, 115031 clqs
23.42/23.78 c (round 46, fast) 2026 del vars, 1516 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1008 chg coeffs, 18292 upgd conss, 0 impls, 115031 clqs
23.72/24.02 c (round 47, exhaustive) 2051 del vars, 1516 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1008 chg coeffs, 18292 upgd conss, 0 impls, 114872 clqs
23.72/24.03 c (round 48, fast) 2051 del vars, 1541 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1033 chg coeffs, 18292 upgd conss, 0 impls, 114872 clqs
24.91/25.22 c (25.0s) probing: 4000/17913 (22.3%) - 482 fixings, 1 aggregations, 5070782 implications, 0 bound changes
28.81/29.19 c (29.0s) probing: 5000/17913 (27.9%) - 485 fixings, 1 aggregations, 6011293 implications, 0 bound changes
32.80/33.11 c (32.9s) probing: 6000/17913 (33.5%) - 487 fixings, 1 aggregations, 6942507 implications, 0 bound changes
36.69/37.05 c (36.9s) probing: 7000/17913 (39.1%) - 491 fixings, 1 aggregations, 7880995 implications, 0 bound changes
38.57/39.00 c (round 49, exhaustive) 2076 del vars, 1541 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1033 chg coeffs, 18292 upgd conss, 0 impls, 115050 clqs
38.68/39.01 c (round 50, fast) 2076 del vars, 1566 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1071 chg coeffs, 18292 upgd conss, 0 impls, 115051 clqs
39.97/40.37 c (40.2s) probing: 8000/17913 (44.7%) - 511 fixings, 1 aggregations, 8785785 implications, 0 bound changes
42.16/42.52 c (42.3s) probing: 8652/17913 (48.3%) - 511 fixings, 1 aggregations, 9396446 implications, 0 bound changes
42.16/42.52 c (42.3s) probing aborted: 1000/1000 successive useless probings
42.16/42.52 c (round 51, exhaustive) 2093 del vars, 1566 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1071 chg coeffs, 18292 upgd conss, 0 impls, 115082 clqs
42.16/42.52 c (round 52, fast) 2093 del vars, 1583 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1092 chg coeffs, 18292 upgd conss, 0 impls, 115082 clqs
43.36/43.76 c (43.6s) probing: 9000/17913 (50.2%) - 514 fixings, 1 aggregations, 9724150 implications, 0 bound changes
45.76/46.11 c (45.9s) probing: 9655/17913 (53.9%) - 514 fixings, 1 aggregations, 10331242 implications, 0 bound changes
45.76/46.11 c (45.9s) probing aborted: 1000/1000 successive useless probings
45.76/46.15 c (45.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
45.85/46.24 c (46.0s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.04)
45.85/46.24 c dynamic symmetry handling statistics:
45.85/46.24 c orbitopal reduction: no components
45.85/46.24 c orbital reduction: no components
45.85/46.24 c lexicographic reduction: 3 permutations with support sizes 1472, 612, 294
45.85/46.24 c handled 4 out of 4 symmetry components
45.85/46.26 c presolving (53 rounds: 53 fast, 25 medium, 24 exhaustive):
45.85/46.26 c 2099 deleted vars, 1586 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1096 changed coefficients
45.85/46.26 c 0 implications, 115166 cliques
45.85/46.26 c presolved problem has 17383 variables (17383 bin, 0 int, 0 impl, 0 cont) and 17656 constraints
45.85/46.26 c 2158 constraints of type <setppc>
45.85/46.26 c 1 constraints of type <orbitope>
45.85/46.26 c 15497 constraints of type <logicor>
45.85/46.26 c transformed objective value is always integral (scale: 1)
45.85/46.26 c Presolving Time: 45.94
45.85/46.26 c - non default parameters ----------------------------------------------------------------------
45.85/46.26 c # SCIP version 10.0.0
45.85/46.26 c
45.85/46.26 c # maximal time in seconds to run
45.85/46.26 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
45.85/46.26 c limits/time = 3596.998013
45.85/46.26 c
45.85/46.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
45.85/46.26 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
45.85/46.26 c limits/memory = 27900
45.85/46.26 c
45.85/46.26 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
45.85/46.26 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
45.85/46.26 c limits/solutions = 1
45.85/46.26 c
45.85/46.26 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.
45.85/46.26 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
45.85/46.26 c misc/usesymmetry = 3
45.85/46.26 c
45.85/46.26 c # belongs reading time to solving time?
45.85/46.26 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
45.85/46.26 c timing/reading = TRUE
45.85/46.26 c
45.85/46.26 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
45.85/46.26 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
45.85/46.26 c propagating/symmetry/detectdoublelex = FALSE
45.85/46.26 c
45.85/46.26 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
45.85/46.26 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
45.85/46.26 c propagating/symmetry/detectsubgroups = FALSE
45.85/46.26 c
45.85/46.26 c # Type of symmetries that shall be computed?
45.85/46.26 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
45.85/46.26 c propagating/symmetry/symtype = 1
45.85/46.26 c
45.85/46.26 c # Should components consisting of a single full reflection be handled?
45.85/46.26 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
45.85/46.26 c propagating/symmetry/usesimplesgncomp = FALSE
45.85/46.26 c
45.85/46.26 c -----------------------------------------------------------------------------------------------
45.85/46.26 c start solving
45.85/46.27 c
66.29/66.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
66.29/66.74 c 66.5s| 1 | 0 | 17635 | - | 230M | 0 | 17k| 17k| 17k| 0 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf | unknown
252.86/253.82 c 254s| 1 | 0 |111562 | - | 260M | 0 | 17k| 17k| 17k| 12 | 1 | 158 | 0 | 0.000000e+00 | -- | Inf | unknown
280.40/281.45 c 281s| 1 | 0 |124321 | - | 264M | 0 | 17k| 17k| 17k| 31 | 2 | 159 | 0 | 0.000000e+00 | -- | Inf | unknown
307.73/308.81 c 309s| 1 | 0 |136672 | - | 267M | 0 | 17k| 17k| 17k| 42 | 3 | 161 | 0 | 0.000000e+00 | -- | Inf | unknown
335.15/336.36 c 336s| 1 | 0 |148474 | - | 274M | 0 | 17k| 17k| 17k| 50 | 4 | 162 | 0 | 0.000000e+00 | -- | Inf | unknown
364.88/366.10 c 366s| 1 | 0 |160954 | - | 276M | 0 | 17k| 17k| 17k| 58 | 5 | 163 | 0 | 0.000000e+00 | -- | Inf | unknown
403.07/404.44 c 404s| 1 | 0 |176866 | - | 280M | 0 | 17k| 17k| 17k| 72 | 6 | 164 | 0 | 0.000000e+00 | -- | Inf | unknown
436.98/438.44 c 438s| 1 | 0 |190795 | - | 281M | 0 | 17k| 17k| 17k| 88 | 7 | 167 | 0 | 0.000000e+00 | -- | Inf | unknown
469.90/471.42 c 471s| 1 | 0 |203724 | - | 285M | 0 | 17k| 17k| 17k| 103 | 8 | 168 | 0 | 0.000000e+00 | -- | Inf | unknown
503.71/505.30 c 505s| 1 | 0 |216754 | - | 287M | 0 | 17k| 17k| 17k| 120 | 9 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
541.21/542.94 c 543s| 1 | 0 |231407 | - | 292M | 0 | 17k| 17k| 17k| 136 | 10 | 180 | 0 | 0.000000e+00 | -- | Inf | unknown
586.20/588.01 c 588s| 1 | 0 |248966 | - | 294M | 0 | 17k| 17k| 17k| 156 | 11 | 185 | 0 | 0.000000e+00 | -- | Inf | unknown
889.20/891.85 c 892s| 1 | 2 |369550 | - | 311M | 0 | 17k| 17k| 17k| 156 | 11 | 201 | 19 | 0.000000e+00 | -- | Inf | unknown
3587.57/3597.20 c
3587.57/3597.20 c SCIP Status : solving was interrupted [time limit reached]
3587.57/3597.20 c Solving Time (sec) : 3597.00
3587.57/3597.20 c Solving Nodes : 31
3587.57/3597.20 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.57/3597.20 c Dual Bound : +0.00000000000000e+00
3587.57/3597.20 c Gap : infinite
3587.57/3597.20 s UNKNOWN
3587.57/3597.20 c SCIP Status : solving was interrupted [time limit reached]
3587.57/3597.20 c Total Time : 3597.00
3587.57/3597.20 c solving : 3597.00
3587.57/3597.20 c presolving : 45.94 (included in solving)
3587.57/3597.20 c reading : 0.07 (included in solving)
3587.57/3597.20 c copying : 0.09 (2 #copies) (minimal 0.05, maximal 0.05, average 0.05)
3587.57/3597.20 c Original Problem :
3587.57/3597.20 c Problem name : HOME/instance-4506986-1751182186.opb
3587.57/3597.20 c Variables : 18921 (18921 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.57/3597.20 c Constraints : 19241 initial, 19241 maximal
3587.57/3597.20 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.57/3597.20 c Presolved Problem :
3587.57/3597.20 c Problem name : t_HOME/instance-4506986-1751182186.opb
3587.57/3597.20 c Variables : 17383 (17383 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.57/3597.20 c Constraints : 17656 initial, 17843 maximal
3587.57/3597.20 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.57/3597.20 c Nonzeros : 96604 constraint, 230885 clique table
3587.57/3597.20 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.57/3597.20 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c domcol : 1.03 0.00 21 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c dualsparsify : 0.04 0.00 1 0 0 0 0 0 3 0 0 4
3587.57/3597.20 c gateextraction : 0.22 0.00 22 0 0 0 0 0 1 0 0 0
3587.57/3597.20 c implics : 0.00 0.00 25 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c milp : 0.18 0.00 1 157 0 0 0 0 0 0 0 0
3587.57/3597.20 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c sparsify : 0.48 0.00 4 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c trivial : 0.02 0.00 53 561 0 0 0 0 0 0 0 0
3587.57/3597.20 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c dualfix : 0.02 0.00 53 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c probing : 39.98 0.00 21 514 1 0 0 0 0 0 0 0
3587.57/3597.20 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c symmetry : 0.10 0.00 1 3 0 0 0 0 0 1 0 0
3587.57/3597.20 c vbounds : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c setppc : 0.18 0.00 87 0 0 0 0 0 109 0 0 0
3587.57/3597.20 c linear : 0.15 0.01 12 302 0 0 302 0 949 0 0 0
3587.57/3597.20 c orbitope : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c logicor : 3.44 0.01 87 109 0 0 0 0 524 0 0 1092
3587.57/3597.20 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c root node : - - - 93 - - 93 - - - - -
3587.57/3597.20 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.57/3597.20 c benderslp : 0 0 0 0 25 0 0 7 0 0 0 0 0 0 0
3587.57/3597.20 c integral : 0 0 0 0 25 0 0 7 0 0 0 0 0 0 50
3587.57/3597.20 c knapsack : 0+ 1 0 85 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c setppc : 2158+ 2259 11 524156 0 0 0 3 28523 350 27087 0 0 0 0
3587.57/3597.20 c linear : 0+ 1 0 12 0 0 0 3 0 0 0 0 0 0 0
3587.57/3597.20 c orbitope : 1 1 0 16112 0 0 0 0 7 0 11 0 0 0 0
3587.57/3597.20 c logicor : 15497+ 15583 11 158045 0 0 0 0 71114 121 6468 5 4 0 0
3587.57/3597.20 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.57/3597.20 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.20 c integral : 34.54 0.00 0.00 0.00 34.54 0.00 0.00 0.00 0.00 0.00
3587.57/3597.20 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.20 c setppc : 3.76 0.00 0.01 3.60 0.00 0.00 0.00 0.00 0.01 0.14
3587.57/3597.20 c linear : 0.02 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.20 c orbitope : 0.03 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.20 c logicor : 11.95 0.01 0.03 11.84 0.00 0.00 0.00 0.00 0.03 0.05
3587.57/3597.20 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.20 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.20 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.20 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.20 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.57/3597.20 c dualfix : 1 0 0 0
3587.57/3597.20 c genvbounds : 0 0 0 0
3587.57/3597.20 c nlobbt : 0 0 0 0
3587.57/3597.20 c obbt : 0 0 0 0
3587.57/3597.20 c probing : 0 0 0 0
3587.57/3597.20 c pseudoobj : 0 0 0 0
3587.57/3597.20 c redcost : 0 0 0 0
3587.57/3597.20 c rootredcost : 0 0 0 0
3587.57/3597.20 c symmetry : 0 0 0 0
3587.57/3597.20 c vbounds : 6650 0 0 0
3587.57/3597.20 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.57/3597.20 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3587.57/3597.20 c genvbounds : 0.02 0.00 0.00 0.02 0.00 0.00
3587.57/3597.20 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.20 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.57/3597.20 c probing : 39.98 0.00 39.98 0.00 0.00 0.00
3587.57/3597.20 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3587.57/3597.20 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3587.57/3597.20 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3587.57/3597.20 c symmetry : 0.12 0.00 0.10 0.02 0.00 0.00
3587.57/3597.20 c vbounds : 0.07 0.00 0.03 0.04 0.00 0.00
3587.57/3597.20 c Symmetry :
3587.57/3597.20 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.57/3597.20 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.57/3597.20 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.57/3597.20 c shadow tree time : 0.00 s
3587.57/3597.20 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.57/3597.20 c propagation : 0.02 460 121 - 491 82.1 1 2.0 - - -
3587.57/3597.20 c infeasible LP : 0.38 16 12 - 557 3700.8 3 14.7 3 721.0 0
3587.57/3597.20 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.57/3597.20 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.57/3597.20 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.57/3597.20 c applied globally : 0.00 - - 0 218 85.8 - - 3 - -
3587.57/3597.20 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.57/3597.20 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.57/3597.20 c cut pool : 0.00 - 29 21 - - 276 380 - - - - - (maximal pool size: 276)
3587.57/3597.20 c aggregation : 0.07 0.00 15 11 0 0 1 1 0 1 1 0 0
3587.57/3597.20 c > cmir : - - - - - - - 1 0 1 1 0 -
3587.57/3597.20 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.57/3597.20 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.57/3597.20 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c clique : 1.93 0.00 11 11 0 0 83 146 0 45 45 0 0
3587.57/3597.20 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c gomory : 22.86 0.00 14 10 0 0 45 58 0 5 5 0 0
3587.57/3597.20 c > gomorymi : - - - - - - - 26 0 4 4 0 -
3587.57/3597.20 c > strongcg : - - - - - - - 32 0 1 1 0 -
3587.57/3597.20 c impliedbounds : 0.08 0.00 15 11 0 0 27 37 0 16 16 0 0
3587.57/3597.20 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c multilinear : 0.00 0.00 14 11 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c rlt : 0.00 0.00 12 10 0 0 0 0 0 0 0 0 0
3587.57/3597.20 c zerohalf : 16.77 0.00 15 11 0 0 125 138 5 135 130 5 0
3587.57/3597.20 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.57/3597.20 c hybrid : 0.00 0.00 15 11 206 0 184 156 0 147
3587.57/3597.20 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.20 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.20 c Pricers : ExecTime SetupTime Calls Vars
3587.57/3597.20 c problem variables: 0.00 - 0 0
3587.57/3597.20 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.57/3597.20 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.20 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.20 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.20 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.20 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.20 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.20 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.20 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.20 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.20 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.20 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.20 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.20 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.20 c relpscost : 34.54 0.00 25 0 0 0 0 0 0 50
3587.57/3597.20 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.57/3597.20 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.57/3597.20 c LP solutions : 0.00 - - 0 0
3587.57/3597.20 c relax solutions : 0.00 - - 0 0
3587.57/3597.20 c pseudo solutions : 0.00 - - 0 0
3587.57/3597.20 c strong branching : 0.00 - - 0 0
3587.57/3597.20 c actconsdiving : 0.00 0.00 0 0 0
3587.57/3597.20 c adaptivediving : 89.28 0.00 1 0 0
3587.57/3597.20 c alns : 0.11 0.00 1 0 0
3587.57/3597.20 c bound : 0.00 0.00 0 0 0
3587.57/3597.20 c clique : 0.09 0.00 1 0 0
3587.57/3597.20 c coefdiving : 0.00 0.00 0 0 0
3587.57/3597.20 c completesol : 0.00 0.00 0 0 0
3587.57/3597.20 c conflictdiving : 268.82 0.00 1 0 0
3587.57/3597.20 c crossover : 0.00 0.00 0 0 0
3587.57/3597.20 c dins : 0.00 0.00 0 0 0
3587.57/3597.20 c distributiondivin: 160.82 0.00 1 0 0
3587.57/3597.20 c dps : 0.00 0.00 0 0 0
3587.57/3597.20 c dualval : 0.00 0.00 0 0 0
3587.57/3597.20 c farkasdiving : 0.00 0.00 0 0 0
3587.57/3597.20 c feasjump : 0.05 0.00 1 0 0
3587.57/3597.20 c feaspump : 162.97 0.00 1 0 0
3587.57/3597.20 c fixandinfer : 0.00 0.00 0 0 0
3587.57/3597.20 c fracdiving : 171.30 0.00 1 0 0
3587.57/3597.20 c gins : 0.00 0.00 0 0 0
3587.57/3597.20 c guideddiving : 0.00 0.00 0 0 0
3587.57/3597.20 c indcoefdiving : 0.00 0.00 0 0 0
3587.57/3597.20 c indicator : 0.00 0.00 0 0 0
3587.57/3597.20 c indicatordiving : 0.00 0.00 0 0 0
3587.57/3597.20 c indoneopt : 0.00 0.00 0 0 0
3587.57/3597.20 c indrounding : 0.00 0.00 0 0 0
3587.57/3597.20 c indtwoopt : 0.00 0.00 0 0 0
3587.57/3597.20 c intdiving : 0.00 0.00 0 0 0
3587.57/3597.20 c intshifting : 0.00 0.00 0 0 0
3587.57/3597.20 c linesearchdiving : 0.00 0.00 0 0 0
3587.57/3597.20 c localbranching : 0.00 0.00 0 0 0
3587.57/3597.20 c locks : 0.07 0.00 1 0 0
3587.57/3597.20 c lpface : 0.00 0.00 0 0 0
3587.57/3597.20 c mpec : 0.00 0.00 0 0 0
3587.57/3597.20 c multistart : 0.00 0.00 0 0 0
3587.57/3597.20 c mutation : 0.00 0.00 0 0 0
3587.57/3597.20 c nlpdiving : 0.00 0.00 0 0 0
3587.57/3597.20 c objpscostdiving : 0.00 0.00 0 0 0
3587.57/3597.20 c octane : 0.00 0.00 0 0 0
3587.57/3597.20 c ofins : 0.00 0.00 0 0 0
3587.57/3597.20 c oneopt : 0.00 0.00 0 0 0
3587.57/3597.20 c padm : 0.00 0.00 0 0 0
3587.57/3597.20 c proximity : 0.00 0.00 0 0 0
3587.57/3597.20 c pscostdiving : 113.07 0.00 1 0 0
3587.57/3597.20 c randrounding : 0.16 0.00 12 0 0
3587.57/3597.20 c rens : 0.38 0.00 1 0 0
3587.57/3597.20 c reoptsols : 0.00 0.00 0 0 0
3587.57/3597.20 c repair : 0.00 0.00 0 0 0
3587.57/3597.20 c rins : 0.00 0.00 0 0 0
3587.57/3597.20 c rootsoldiving : 0.00 0.00 0 0 0
3587.57/3597.20 c rounding : 0.05 0.00 40 0 0
3587.57/3597.20 c scheduler : 0.00 0.00 0 0 0
3587.57/3597.20 c shiftandpropagate: 0.02 0.00 1 0 0
3587.57/3597.20 c shifting : 0.18 0.00 18 0 0
3587.57/3597.20 c simplerounding : 0.00 0.00 0 0 0
3587.57/3597.20 c smallcard : 0.00 0.00 0 0 0
3587.57/3597.20 c subnlp : 0.00 0.00 0 0 0
3587.57/3597.20 c trivial : 0.01 0.00 2 0 0
3587.57/3597.20 c trivialnegation : 0.00 0.00 0 0 0
3587.57/3597.20 c trustregion : 0.00 0.00 0 0 0
3587.57/3597.20 c trysol : 0.00 0.00 0 0 0
3587.57/3597.20 c twoopt : 0.00 0.00 0 0 0
3587.57/3597.20 c undercover : 0.00 0.00 0 0 0
3587.57/3597.20 c vbounds : 0.09 0.00 1 0 0
3587.57/3597.20 c veclendiving : 0.00 0.00 0 0 0
3587.57/3597.20 c zeroobj : 0.00 0.00 0 0 0
3587.57/3597.20 c zirounding : 0.01 0.00 25 0 0
3587.57/3597.20 c other solutions : - - - 0 -
3587.57/3597.20 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.57/3597.20 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
3587.57/3597.20 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
3587.57/3597.20 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
3587.57/3597.20 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
3587.57/3597.20 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
3587.57/3597.20 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
3587.57/3597.20 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
3587.57/3597.20 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
3587.57/3597.20 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
3587.57/3597.20 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.57/3597.20 c primal LP : 695.70 7 531572 132893.00 764.08 0.08 3
3587.57/3597.20 c dual LP : 1811.15 54 1112257 23172.02 614.12 0.02 6
3587.57/3597.20 c lex dual LP : 0.00 0 0 0.00 -
3587.57/3597.20 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.57/3597.20 c resolve instable : 1164.81 6 897485 149580.83 770.50
3587.57/3597.20 c diving/probing LP: 969.84 41 423914 10339.37 437.10
3587.57/3597.20 c strong branching : 28.60 19 16564 871.79 579.18 - - 28
3587.57/3597.20 c (at root node) : - 19 16564 871.79 -
3587.57/3597.20 c conflict analysis: 0.00 0 0 0.00 -
3587.57/3597.20 c B&B Tree :
3587.57/3597.20 c number of runs : 1
3587.57/3597.20 c nodes : 31 (25 internal, 6 leaves)
3587.57/3597.20 c feasible leaves : 0
3587.57/3597.20 c infeas. leaves : 5
3587.57/3597.20 c objective leaves : 0
3587.57/3597.20 c nodes (total) : 31 (25 internal, 6 leaves)
3587.57/3597.20 c nodes left : 21
3587.57/3597.20 c max depth : 19
3587.57/3597.20 c max depth (total): 19
3587.57/3597.20 c backtracks : 7 (22.6%)
3587.57/3597.20 c early backtracks : 0 (0.0%)
3587.57/3597.20 c nodes exc. ref. : 0 (0.0%)
3587.57/3597.20 c delayed cutoffs : 0
3587.57/3597.20 c repropagations : 10 (93 domain reductions, 0 cutoffs)
3587.57/3597.20 c avg switch length: 2.06
3587.57/3597.20 c switching time : 0.12
3587.57/3597.20 c Root Node :
3587.57/3597.20 c First LP value : +0.00000000000000e+00
3587.57/3597.20 c First LP Iters : 17635 (874.71 Iter/sec)
3587.57/3597.20 c First LP Time : 20.16
3587.57/3597.20 c Final Dual Bound : +0.00000000000000e+00
3587.57/3597.20 c Final Root Iters : 248966
3587.57/3597.20 c Root LP Estimate : +3.02814567207203e-04
3587.57/3597.20 c Solution :
3587.57/3597.20 c Solutions found : 0 (0 improvements)
3587.57/3597.20 c Primal Bound : -
3587.57/3597.20 c Dual Bound : +0.00000000000000e+00
3587.57/3597.20 c Gap : infinite
3587.57/3597.20 c Integrals : Total Avg%
3587.57/3597.20 c primal-dual : 359700.01 100.00
3587.57/3597.20 c primal-ref : - - (not evaluated)
3587.57/3597.20 c dual-ref : - - (not evaluated)
3587.67/3597.32 c Time complete: 3587.7.
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 (63049 MiB free)
memory of node 1: 64465 MiB (63891 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506986-1751182186/watcher-4506986-1751182186 -o /tmp/evaluation-result-4506986-1751182186/solver-4506986-1751182186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751182186-23751 --watchdog 3760 pbscip -f HOME/instance-4506986-1751182186.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=23805, runsolver pid=23790
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 1.05 1.12 1.59 2/270 23807
/proc/meminfo: memFree=129987188/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=28424 memory=512 CPUtime=0 cores=5,7
/proc/23805/stat : 23805 (pbscip) D 23790 23805 23738 0 -1 4194304 88 0 2 0 0 0 0 0 20 0 1 0 33897319 29106176 128 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 7106 128 128 3530 0 1342 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 28424 KiB
Current children cumulated memory: 512 KiB
[startup+0.205432 s]*
/proc/loadavg: 1.05 1.12 1.59 6/270 23807
/proc/meminfo: memFree=129977112/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=53320 memory=25728 CPUtime=0 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 3520 0 9 0 0 0 0 0 20 0 1 0 33897319 54599680 6432 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 13330 6432 3200 3530 0 4781 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 53320 KiB
Current children cumulated memory: 25728 KiB
[startup+0.305809 s]*
/proc/loadavg: 1.05 1.12 1.59 6/270 23807
/proc/meminfo: memFree=129739980/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=105488 memory=78664 CPUtime=0.1 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 16572 0 9 0 7 3 0 0 20 0 1 0 33897319 108019712 19666 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 26372 19666 3488 3530 0 17823 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 105488 KiB
Current children cumulated memory: 78664 KiB
[startup+0.700149 s]
/proc/loadavg: 1.05 1.12 1.59 6/270 23807
/proc/meminfo: memFree=129565952/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=157776 memory=128924 CPUtime=0.48 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 33104 0 9 0 41 7 0 0 20 0 1 0 33897319 161562624 32231 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 39444 32231 3648 3530 0 30895 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 157776 KiB
Current children cumulated memory: 128924 KiB
[startup+1.50016 s]
/proc/loadavg: 1.05 1.12 1.59 6/270 23808
/proc/meminfo: memFree=129518576/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=196792 memory=164128 CPUtime=1.28 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 40299 0 9 0 120 8 0 0 20 0 1 0 33897319 201515008 41032 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 49198 41032 3712 3530 0 40649 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 196792 KiB
Current children cumulated memory: 164128 KiB
[startup+3.10585 s]
/proc/loadavg: 1.05 1.12 1.59 6/270 23808
/proc/meminfo: memFree=129386544/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=200512 memory=167584 CPUtime=2.88 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 41183 0 9 0 280 8 0 0 20 0 1 0 33897319 205324288 41896 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 50128 41896 3712 3530 0 41579 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 200512 KiB
Current children cumulated memory: 167584 KiB
[startup+6.30014 s]
/proc/loadavg: 1.29 1.17 1.61 6/270 23808
/proc/meminfo: memFree=129378816/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=202560 memory=169120 CPUtime=6.06 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 41571 0 9 0 598 8 0 0 20 0 1 0 33897319 207421440 42280 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 50640 42280 3712 3530 0 42091 0
Current children cumulated CPU time: 6.06 s
Current children cumulated vsize: 202560 KiB
Current children cumulated memory: 169120 KiB
[startup+12.7002 s]
/proc/loadavg: 1.58 1.23 1.63 6/270 23808
/proc/meminfo: memFree=129362744/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=207168 memory=173728 CPUtime=12.45 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 42772 0 9 0 1236 9 0 0 20 0 1 0 33897319 212140032 43432 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 51792 43432 3712 3530 0 43243 0
Current children cumulated CPU time: 12.45 s
Current children cumulated vsize: 207168 KiB
Current children cumulated memory: 173728 KiB
[startup+25.5002 s]
/proc/loadavg: 2.12 1.37 1.66 6/268 23808
/proc/meminfo: memFree=129354808/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=208648 memory=175264 CPUtime=25.21 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 43130 0 9 0 2512 9 0 0 20 0 1 0 33897319 213655552 43816 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 52162 43816 3712 3530 0 43613 0
Current children cumulated CPU time: 25.21 s
Current children cumulated vsize: 208648 KiB
Current children cumulated memory: 175264 KiB
[startup+51.1056 s]
/proc/loadavg: 2.83 1.60 1.73 6/268 23808
/proc/meminfo: memFree=129169980/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=301124 memory=243500 CPUtime=50.74 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 62490 0 9 0 5062 12 0 0 20 0 1 0 33897319 308350976 60875 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 75281 60875 3904 3530 0 66732 0
Current children cumulated CPU time: 50.74 s
Current children cumulated vsize: 301124 KiB
Current children cumulated memory: 243500 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 1.99 1.86 6/267 23810
/proc/meminfo: memFree=129031608/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=310408 memory=254636 CPUtime=101.79 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 64517 0 9 0 10167 12 0 0 20 0 1 0 33897319 317857792 63659 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 77602 63659 3936 3530 0 69053 0
Current children cumulated CPU time: 101.79 s
Current children cumulated vsize: 310408 KiB
Current children cumulated memory: 254636 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 2.35 2.00 6/267 23812
/proc/meminfo: memFree=129011172/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=310408 memory=258988 CPUtime=161.61 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 64527 0 9 0 16149 12 0 0 20 0 1 0 33897319 317857792 64747 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 77602 64747 3936 3530 0 69053 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 310408 KiB
Current children cumulated memory: 258988 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 2.72 2.15 6/267 23814
/proc/meminfo: memFree=128957024/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=314656 memory=268836 CPUtime=221.44 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 65010 0 9 0 22132 12 0 0 20 0 1 0 33897319 322207744 67209 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 78664 67209 3936 3530 0 70115 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 314656 KiB
Current children cumulated memory: 268836 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 2.97 2.27 6/263 23816
/proc/meminfo: memFree=128690912/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=393660 memory=343384 CPUtime=281.3 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 73015 0 9 0 28114 16 0 0 20 0 1 0 33897319 403107840 85846 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 98415 85846 3936 3530 0 89866 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 393660 KiB
Current children cumulated memory: 343384 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.17 2.39 6/264 23819
/proc/meminfo: memFree=128648900/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=404104 memory=351832 CPUtime=341.14 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 75138 0 9 0 34098 16 0 0 20 0 1 0 33897319 413802496 87958 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 101026 87958 3936 3530 0 92477 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 404104 KiB
Current children cumulated memory: 351832 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.34 2.50 6/265 23822
/proc/meminfo: memFree=128632852/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=411812 memory=358616 CPUtime=400.98 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 76944 0 9 0 40082 16 0 0 20 0 1 0 33897319 421695488 89654 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 102953 89654 3936 3530 0 94404 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 411812 KiB
Current children cumulated memory: 358616 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.48 2.60 6/265 23824
/proc/meminfo: memFree=128616428/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=416996 memory=362328 CPUtime=460.83 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 77897 0 9 0 46066 17 0 0 20 0 1 0 33897319 427003904 90582 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 104249 90582 3936 3530 0 95700 0
Current children cumulated CPU time: 460.83 s
################
# More data... #
################
/proc/loadavg: 4.24 4.14 4.05 6/265 23972
/proc/meminfo: memFree=128190192/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=506900 memory=462168 CPUtime=3213.67 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 100794 0 9 0 321348 19 0 0 20 0 1 0 33897319 519065600 115542 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 126725 115542 4128 3530 0 118176 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 506900 KiB
Current children cumulated memory: 462168 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.05 6/265 23974
/proc/meminfo: memFree=128161732/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=506900 memory=462168 CPUtime=3273.51 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 100794 0 9 0 327332 19 0 0 20 0 1 0 33897319 519065600 115542 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 126725 115542 4128 3530 0 118176 0
Current children cumulated CPU time: 3273.51 s
Current children cumulated vsize: 506900 KiB
Current children cumulated memory: 462168 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.05 6/265 23976
/proc/meminfo: memFree=128188904/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=506900 memory=462168 CPUtime=3333.35 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 100795 0 9 0 333316 19 0 0 20 0 1 0 33897319 519065600 115542 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 126725 115542 4128 3530 0 118176 0
Current children cumulated CPU time: 3333.35 s
Current children cumulated vsize: 506900 KiB
Current children cumulated memory: 462168 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.05 6/263 23978
/proc/meminfo: memFree=128189004/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=506900 memory=462168 CPUtime=3393.19 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 100795 0 9 0 339300 19 0 0 20 0 1 0 33897319 519065600 115542 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 126725 115542 4128 3530 0 118176 0
Current children cumulated CPU time: 3393.19 s
Current children cumulated vsize: 506900 KiB
Current children cumulated memory: 462168 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.05 6/264 23981
/proc/meminfo: memFree=128188028/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=506900 memory=462168 CPUtime=3453.03 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 100795 0 9 0 345284 19 0 0 20 0 1 0 33897319 519065600 115542 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 126725 115542 4128 3530 0 118176 0
Current children cumulated CPU time: 3453.03 s
Current children cumulated vsize: 506900 KiB
Current children cumulated memory: 462168 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.05 6/264 23985
/proc/meminfo: memFree=128189432/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=506900 memory=462168 CPUtime=3512.87 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 100795 0 9 0 351268 19 0 0 20 0 1 0 33897319 519065600 115542 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 126725 115542 4128 3530 0 118176 0
Current children cumulated CPU time: 3512.87 s
Current children cumulated vsize: 506900 KiB
Current children cumulated memory: 462168 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.06 6/263 23987
/proc/meminfo: memFree=128189744/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=506900 memory=462168 CPUtime=3572.71 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 100795 0 9 0 357252 19 0 0 20 0 1 0 33897319 519065600 115542 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 126725 115542 4128 3530 0 118176 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 506900 KiB
Current children cumulated memory: 462168 KiB
[startup+3597.33 s]
# the end of solver process 23805 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.51 s, system=0.200406 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.10 4.06 6/263 23987
/proc/meminfo: memFree=128189752/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=506900 memory=462168 CPUtime=3574.41 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 100795 0 9 0 357422 19 0 0 20 0 1 0 33897319 519065600 115542 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 126725 115542 4128 3530 0 118176 0
Current children cumulated CPU time: 3574.41 s
Current children cumulated vsize: 506900 KiB
Current children cumulated memory: 462168 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.10 4.05 6/263 23987
/proc/meminfo: memFree=128173440/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=506900 memory=462168 CPUtime=3580.79 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 100795 0 9 0 358060 19 0 0 20 0 1 0 33897319 519065600 115542 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 126725 115542 4128 3530 0 118176 0
Current children cumulated CPU time: 3580.79 s
Current children cumulated vsize: 506900 KiB
Current children cumulated memory: 462168 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.10 4.05 6/263 23987
/proc/meminfo: memFree=128173456/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=506900 memory=462168 CPUtime=3583.98 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 100795 0 9 0 358379 19 0 0 20 0 1 0 33897319 519065600 115542 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 126725 115542 4128 3530 0 118176 0
Current children cumulated CPU time: 3583.98 s
Current children cumulated vsize: 506900 KiB
Current children cumulated memory: 462168 KiB
[startup+3595.2 s]
/proc/loadavg: 4.10 4.10 4.05 6/263 23987
/proc/meminfo: memFree=128173456/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=506900 memory=462168 CPUtime=3585.57 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 100795 0 9 0 358538 19 0 0 20 0 1 0 33897319 519065600 115542 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 126725 115542 4128 3530 0 118176 0
Current children cumulated CPU time: 3585.57 s
Current children cumulated vsize: 506900 KiB
Current children cumulated memory: 462168 KiB
[startup+3596 s]*
/proc/loadavg: 4.10 4.10 4.05 6/263 23987
/proc/meminfo: memFree=128173472/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=506900 memory=462168 CPUtime=3586.38 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 100795 0 9 0 358619 19 0 0 20 0 1 0 33897319 519065600 115542 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 126725 115542 4128 3530 0 118176 0
Current children cumulated CPU time: 3586.38 s
Current children cumulated vsize: 506900 KiB
Current children cumulated memory: 462168 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.10 4.05 6/263 23987
/proc/meminfo: memFree=128173472/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=506900 memory=462168 CPUtime=3587.17 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 100795 0 9 0 358698 19 0 0 20 0 1 0 33897319 519065600 115542 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 126725 115542 4128 3530 0 118176 0
Current children cumulated CPU time: 3587.17 s
Current children cumulated vsize: 506900 KiB
Current children cumulated memory: 462168 KiB
[startup+3597.2 s]
/proc/loadavg: 4.10 4.10 4.05 6/263 23987
/proc/meminfo: memFree=128173472/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=506900 memory=462168 CPUtime=3587.57 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 100795 0 9 0 358738 19 0 0 20 0 1 0 33897319 519065600 115542 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 126725 115542 4128 3530 0 118176 0
Current children cumulated CPU time: 3587.57 s
Current children cumulated vsize: 506900 KiB
Current children cumulated memory: 462168 KiB
[startup+3597.3 s]
/proc/loadavg: 4.10 4.10 4.05 6/263 23987
/proc/meminfo: memFree=128173472/131250000 swapFree=33010684/33010684
[pid=23805] ppid=23790 vsize=461608 memory=416988 CPUtime=3587.67 cores=5,7
/proc/23805/stat : 23805 (pbscip) R 23790 23805 23738 0 -1 4194304 100797 0 9 0 358748 19 0 0 20 0 1 0 33897319 472686592 104247 18446744073709551615 4235264 18693293 140725715745664 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 43462656 140725715749257 140725715749356 140725715749356 140725715754958 0
/proc/23805/statm: 115402 104247 4128 3530 0 106853 0
Current children cumulated CPU time: 3587.67 s
Current children cumulated vsize: 461608 KiB
Current children cumulated memory: 416988 KiB
Child status: 0
Real time (s): 3597.33
CPU time (s): 3587.71
CPU user time (s): 3587.51
CPU system time (s): 0.200406
CPU usage (%): 99.7326
Max. virtual memory (cumulated for all children) (KiB): 506900
Max. memory (cumulated for all children) (KiB): 462168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.51
system time used= 0.200406
maximum resident set size= 462168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100827
page faults= 9
swaps= 0
block input operations= 928
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 199
involuntary context switches= 2300
# summary of solver processes directly reported to runsolver:
# pid: 23805
# total CPU time (s): 3587.71
# total CPU user time (s): 3587.51
# total CPU system time (s): 0.200406
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.34755 second user time and 13.6046 second system time
The end
Begin job on nodeC026 at 2025-06-29 09:29:46 IDJOB=4506986 IDBENCH=158311 IDSOLVER=3365 FILE ID=nodeC026/4506986-1751182186 RUNJOBID= nodeC026-1751182186-23751 SLURM_JOB_ID= 9587556 Free space on /tmp= 433052 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K159.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506986-1751182186/watcher-4506986-1751182186 -o /tmp/evaluation-result-4506986-1751182186/solver-4506986-1751182186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751182186-23751 --watchdog 3760 pbscip -f HOME/instance-4506986-1751182186.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 27d58ce279c297ab3aeba38d0412d1d9 RANDOM SEED=399878956 nodeC026 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.577 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.59 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.757 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.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.796 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.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.502 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.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.521 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.59 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 : 3680.385 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.59 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.777 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.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.788 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.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129992644 kB MemAvailable: 129800472 kB Buffers: 3280 kB Cached: 617620 kB SwapCached: 0 kB Active: 288424 kB Inactive: 398420 kB Active(anon): 84100 kB Inactive(anon): 0 kB Active(file): 204324 kB Inactive(file): 398420 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 79464 kB Writeback: 0 kB AnonPages: 69092 kB Mapped: 102880 kB Shmem: 18080 kB KReclaimable: 88644 kB Slab: 173908 kB SReclaimable: 88644 kB SUnreclaim: 85264 kB KernelStack: 4128 kB PageTables: 2792 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 329792 kB VmallocTotal: 34359738367 kB VmallocUsed: 150456 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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: 187092 kB DirectMap2M: 9021440 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432980 MiB End job on nodeC026 at 2025-06-29 10:29:44