| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3583.81 | 3598.11 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K134.opb |
| MD5SUM | 963edb3c79c326322e0bda3e585d3232 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 15946 |
| Total number of constraints | 16216 |
| Number of constraints which are clauses | 16082 |
| Number of constraints which are cardinality constraints (but not clauses) | 134 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 134 |
| 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 | 135 |
| 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.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4506734-1751175853.opb>
0.00/0.07 c original problem has 15946 variables (15946 bin, 0 int, 0 impl, 0 cont) and 16216 constraints
0.00/0.07 c problem read in 0.07
0.00/0.07 c No objective function, only one solution is needed.
0.09/0.14 c presolving:
0.09/0.17 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, 1835 clqs
0.09/0.18 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, 1819 clqs
0.09/0.18 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, 1840 clqs
0.09/0.19 c (round 4, fast) 1055 del vars, 536 del conss, 0 add conss, 262 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1873 clqs
0.09/0.19 c (round 5, fast) 1130 del vars, 591 del conss, 0 add conss, 286 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1894 clqs
0.09/0.19 c (round 6, fast) 1171 del vars, 625 del conss, 0 add conss, 300 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1904 clqs
0.20/0.24 c (0.2s) running MILP presolver
0.39/0.42 c (0.4s) MILP presolver (4 rounds): 0 aggregations, 138 fixings, 0 bound changes
0.39/0.43 c (round 7, medium) 1319 del vars, 635 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1913 clqs
0.39/0.44 c (round 8, fast) 1319 del vars, 773 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1916 clqs
0.39/0.46 c (round 9, exhaustive) 1319 del vars, 905 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1916 clqs
0.49/0.55 c (round 10, exhaustive) 1319 del vars, 905 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 15311 upgd conss, 0 impls, 1916 clqs
0.68/0.70 c (round 11, exhaustive) 1425 del vars, 905 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 105 chg coeffs, 15311 upgd conss, 0 impls, 1904 clqs
0.68/0.71 c (round 12, fast) 1531 del vars, 1011 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 105 chg coeffs, 15311 upgd conss, 0 impls, 1904 clqs
2.48/2.51 c (round 13, exhaustive) 1557 del vars, 1012 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 105 chg coeffs, 15311 upgd conss, 0 impls, 96815 clqs
2.48/2.52 c (round 14, fast) 1558 del vars, 1038 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 159 chg coeffs, 15311 upgd conss, 0 impls, 96826 clqs
4.57/4.62 c (round 15, exhaustive) 1583 del vars, 1038 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 159 chg coeffs, 15311 upgd conss, 0 impls, 96800 clqs
4.57/4.63 c (round 16, fast) 1583 del vars, 1063 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 212 chg coeffs, 15311 upgd conss, 0 impls, 96809 clqs
6.07/6.17 c (round 17, exhaustive) 1609 del vars, 1063 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 212 chg coeffs, 15311 upgd conss, 0 impls, 96809 clqs
6.07/6.18 c (round 18, fast) 1610 del vars, 1089 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 275 chg coeffs, 15311 upgd conss, 0 impls, 96826 clqs
6.76/6.83 c (round 19, exhaustive) 1635 del vars, 1089 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 275 chg coeffs, 15311 upgd conss, 0 impls, 96823 clqs
6.76/6.84 c (round 20, fast) 1635 del vars, 1114 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 336 chg coeffs, 15311 upgd conss, 0 impls, 96835 clqs
7.56/7.62 c (round 21, exhaustive) 1660 del vars, 1114 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 336 chg coeffs, 15311 upgd conss, 0 impls, 96851 clqs
7.56/7.63 c (round 22, fast) 1660 del vars, 1139 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 393 chg coeffs, 15311 upgd conss, 0 impls, 96867 clqs
7.75/7.88 c (round 23, exhaustive) 1686 del vars, 1139 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 393 chg coeffs, 15311 upgd conss, 0 impls, 96855 clqs
7.75/7.88 c (round 24, fast) 1687 del vars, 1165 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 459 chg coeffs, 15311 upgd conss, 0 impls, 96863 clqs
8.15/8.21 c (round 25, exhaustive) 1712 del vars, 1165 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 459 chg coeffs, 15311 upgd conss, 0 impls, 96905 clqs
8.15/8.21 c (round 26, fast) 1712 del vars, 1190 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 518 chg coeffs, 15311 upgd conss, 0 impls, 96911 clqs
8.45/8.52 c (8.5s) probing: 1000/14960 (6.7%) - 177 fixings, 0 aggregations, 1063752 implications, 0 bound changes
8.85/8.92 c (round 27, exhaustive) 1740 del vars, 1190 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 518 chg coeffs, 15311 upgd conss, 0 impls, 94614 clqs
8.85/8.92 c (round 28, fast) 1743 del vars, 1218 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 622 chg coeffs, 15311 upgd conss, 0 impls, 94642 clqs
13.13/13.23 c (round 29, exhaustive) 1768 del vars, 1218 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 622 chg coeffs, 15311 upgd conss, 0 impls, 96855 clqs
13.13/13.23 c (round 30, fast) 1768 del vars, 1243 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 681 chg coeffs, 15311 upgd conss, 0 impls, 96864 clqs
13.43/13.52 c (round 31, exhaustive) 1793 del vars, 1243 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 681 chg coeffs, 15311 upgd conss, 0 impls, 96923 clqs
13.43/13.53 c (round 32, fast) 1793 del vars, 1268 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 734 chg coeffs, 15311 upgd conss, 0 impls, 96929 clqs
13.73/13.83 c (round 33, exhaustive) 1819 del vars, 1268 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 734 chg coeffs, 15311 upgd conss, 0 impls, 96923 clqs
13.73/13.84 c (round 34, fast) 1821 del vars, 1295 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 785 chg coeffs, 15311 upgd conss, 0 impls, 96931 clqs
13.93/14.07 c (round 35, exhaustive) 1846 del vars, 1295 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 786 chg coeffs, 15311 upgd conss, 0 impls, 96846 clqs
13.93/14.07 c (round 36, fast) 1846 del vars, 1320 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 810 chg coeffs, 15311 upgd conss, 0 impls, 96846 clqs
14.23/14.30 c (round 37, exhaustive) 1871 del vars, 1320 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 810 chg coeffs, 15311 upgd conss, 0 impls, 96763 clqs
14.23/14.31 c (round 38, fast) 1871 del vars, 1345 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 834 chg coeffs, 15311 upgd conss, 0 impls, 96763 clqs
14.43/14.53 c (round 39, exhaustive) 1909 del vars, 1345 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 834 chg coeffs, 15311 upgd conss, 0 impls, 96683 clqs
14.43/14.54 c (round 40, fast) 1922 del vars, 1383 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 901 chg coeffs, 15311 upgd conss, 0 impls, 96689 clqs
14.63/14.76 c (round 41, exhaustive) 1947 del vars, 1383 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 901 chg coeffs, 15311 upgd conss, 0 impls, 96629 clqs
14.63/14.77 c (round 42, fast) 1947 del vars, 1408 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 926 chg coeffs, 15311 upgd conss, 0 impls, 96629 clqs
16.72/16.82 c (16.8s) probing: 2000/14960 (13.4%) - 396 fixings, 1 aggregations, 2361210 implications, 0 bound changes
17.62/17.75 c (round 43, exhaustive) 1972 del vars, 1408 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 926 chg coeffs, 15311 upgd conss, 0 impls, 97016 clqs
17.62/17.75 c (round 44, fast) 1972 del vars, 1433 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 950 chg coeffs, 15311 upgd conss, 0 impls, 97016 clqs
17.82/17.98 c (round 45, exhaustive) 1997 del vars, 1433 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 950 chg coeffs, 15311 upgd conss, 0 impls, 97040 clqs
17.82/17.99 c (round 46, fast) 1997 del vars, 1458 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 976 chg coeffs, 15311 upgd conss, 0 impls, 97040 clqs
23.00/23.13 c (23.1s) probing: 3000/14960 (20.1%) - 447 fixings, 1 aggregations, 3496619 implications, 0 bound changes
23.69/23.82 c (round 47, exhaustive) 2022 del vars, 1458 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 976 chg coeffs, 15311 upgd conss, 0 impls, 97069 clqs
23.69/23.82 c (round 48, fast) 2022 del vars, 1483 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1004 chg coeffs, 15311 upgd conss, 0 impls, 97069 clqs
24.79/24.92 c (round 49, exhaustive) 2047 del vars, 1483 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1004 chg coeffs, 15311 upgd conss, 0 impls, 97079 clqs
24.79/24.93 c (round 50, fast) 2047 del vars, 1508 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1031 chg coeffs, 15311 upgd conss, 0 impls, 97079 clqs
28.28/28.40 c (round 51, exhaustive) 2072 del vars, 1508 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1031 chg coeffs, 15311 upgd conss, 0 impls, 97078 clqs
28.28/28.41 c (round 52, fast) 2072 del vars, 1533 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1062 chg coeffs, 15311 upgd conss, 0 impls, 97078 clqs
28.88/29.01 c (29.0s) probing: 4000/14960 (26.7%) - 503 fixings, 1 aggregations, 4436236 implications, 0 bound changes
33.66/33.88 c (33.9s) probing: 4924/14960 (32.9%) - 503 fixings, 1 aggregations, 5284926 implications, 0 bound changes
33.66/33.88 c (33.9s) probing aborted: 1000/1000 successive useless probings
33.76/33.92 c (33.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
33.76/34.00 c (34.0s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.03)
33.86/34.00 c dynamic symmetry handling statistics:
33.86/34.00 c orbitopal reduction: no components
33.86/34.00 c orbital reduction: no components
33.86/34.00 c lexicographic reduction: 3 permutations with support sizes 1222, 512, 244
33.86/34.00 c handled 4 out of 4 symmetry components
33.86/34.02 c presolving (53 rounds: 53 fast, 25 medium, 24 exhaustive):
33.86/34.02 c 2079 deleted vars, 1537 deleted constraints, 1 added constraints, 303 tightened bounds, 0 added holes, 0 changed sides, 1067 changed coefficients
33.86/34.02 c 0 implications, 97111 cliques
33.86/34.02 c presolved problem has 14432 variables (14432 bin, 0 int, 0 impl, 0 cont) and 14680 constraints
33.86/34.02 c 1807 constraints of type <setppc>
33.86/34.02 c 1 constraints of type <orbitope>
33.86/34.02 c 12872 constraints of type <logicor>
33.86/34.02 c transformed objective value is always integral (scale: 1)
33.86/34.02 c Presolving Time: 33.89
33.86/34.02 c - non default parameters ----------------------------------------------------------------------
33.86/34.02 c # SCIP version 10.0.0
33.86/34.02 c
33.86/34.02 c # maximal time in seconds to run
33.86/34.02 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
33.86/34.02 c limits/time = 3596.997013
33.86/34.02 c
33.86/34.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
33.86/34.02 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
33.86/34.02 c limits/memory = 27900
33.86/34.02 c
33.86/34.02 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
33.86/34.02 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
33.86/34.02 c limits/solutions = 1
33.86/34.02 c
33.86/34.02 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.
33.86/34.02 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
33.86/34.02 c misc/usesymmetry = 3
33.86/34.02 c
33.86/34.02 c # belongs reading time to solving time?
33.86/34.02 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
33.86/34.02 c timing/reading = TRUE
33.86/34.02 c
33.86/34.02 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
33.86/34.02 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
33.86/34.02 c propagating/symmetry/detectdoublelex = FALSE
33.86/34.02 c
33.86/34.02 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
33.86/34.02 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
33.86/34.02 c propagating/symmetry/detectsubgroups = FALSE
33.86/34.02 c
33.86/34.02 c # Type of symmetries that shall be computed?
33.86/34.02 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
33.86/34.02 c propagating/symmetry/symtype = 1
33.86/34.02 c
33.86/34.02 c # Should components consisting of a single full reflection be handled?
33.86/34.02 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
33.86/34.02 c propagating/symmetry/usesimplesgncomp = FALSE
33.86/34.02 c
33.86/34.02 c -----------------------------------------------------------------------------------------------
33.86/34.02 c start solving
33.86/34.03 c
50.69/50.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
50.69/50.98 c 51.0s| 1 | 0 | 15790 | - | 196M | 0 | 14k| 14k| 14k| 0 | 0 | 122 | 0 | 0.000000e+00 | -- | Inf | unknown
192.00/192.80 c 193s| 1 | 0 | 97678 | - | 219M | 0 | 14k| 14k| 14k| 5 | 1 | 123 | 0 | 0.000000e+00 | -- | Inf | unknown
209.24/210.11 c 210s| 1 | 0 |108127 | - | 224M | 0 | 14k| 14k| 14k| 9 | 2 | 124 | 0 | 0.000000e+00 | -- | Inf | unknown
230.84/231.83 c 232s| 1 | 0 |118818 | - | 229M | 0 | 14k| 14k| 14k| 20 | 3 | 126 | 0 | 0.000000e+00 | -- | Inf | unknown
256.43/257.53 c 258s| 1 | 0 |130981 | - | 232M | 0 | 14k| 14k| 14k| 37 | 4 | 132 | 0 | 0.000000e+00 | -- | Inf | unknown
282.32/283.57 c 284s| 1 | 0 |142500 | - | 237M | 0 | 14k| 14k| 14k| 56 | 5 | 139 | 0 | 0.000000e+00 | -- | Inf | unknown
310.10/311.44 c 311s| 1 | 0 |154539 | - | 240M | 0 | 14k| 14k| 14k| 67 | 6 | 145 | 0 | 0.000000e+00 | -- | Inf | unknown
341.77/343.20 c 343s| 1 | 0 |167777 | - | 242M | 0 | 14k| 14k| 14k| 87 | 7 | 149 | 0 | 0.000000e+00 | -- | Inf | unknown
370.46/372.05 c 372s| 1 | 0 |179892 | - | 245M | 0 | 14k| 14k| 14k| 100 | 8 | 150 | 0 | 0.000000e+00 | -- | Inf | unknown
405.81/407.53 c 408s| 1 | 0 |193750 | - | 250M | 0 | 14k| 14k| 14k| 118 | 9 | 155 | 0 | 0.000000e+00 | -- | Inf | unknown
438.87/440.73 c 441s| 1 | 0 |206823 | - | 253M | 0 | 14k| 14k| 14k| 134 | 10 | 157 | 0 | 0.000000e+00 | -- | Inf | unknown
466.35/468.32 c 468s| 1 | 0 |218390 | - | 255M | 0 | 14k| 14k| 14k| 140 | 11 | 158 | 0 | 0.000000e+00 | -- | Inf | unknown
647.71/650.45 c 650s| 1 | 2 |258073 | - | 257M | 0 | 14k| 14k| 14k| 140 | 11 | 165 | 19 | 0.000000e+00 | -- | Inf | unknown
2909.35/2921.34 c 2921s| 100 | 34 | 1820k|16187.5 | 285M | 35 | 14k| 14k| 14k| 181 | 1 | 279 | 19 | 0.000000e+00 | -- | Inf | unknown
3583.70/3598.02 c
3583.70/3598.02 c SCIP Status : solving was interrupted [time limit reached]
3583.70/3598.02 c Solving Time (sec) : 3598.01
3583.70/3598.02 c Solving Nodes : 106
3583.70/3598.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3583.70/3598.02 c Dual Bound : +0.00000000000000e+00
3583.70/3598.02 c Gap : infinite
3583.70/3598.02 s UNKNOWN
3583.70/3598.02 c SCIP Status : solving was interrupted [time limit reached]
3583.70/3598.02 c Total Time : 3598.01
3583.70/3598.02 c solving : 3598.01
3583.70/3598.02 c presolving : 33.89 (included in solving)
3583.70/3598.02 c reading : 0.07 (included in solving)
3583.70/3598.02 c copying : 0.13 (3 #copies) (minimal 0.04, maximal 0.05, average 0.04)
3583.70/3598.02 c Original Problem :
3583.70/3598.02 c Problem name : HOME/instance-4506734-1751175853.opb
3583.70/3598.02 c Variables : 15946 (15946 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.70/3598.02 c Constraints : 16216 initial, 16216 maximal
3583.70/3598.02 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3583.70/3598.02 c Presolved Problem :
3583.70/3598.02 c Problem name : t_HOME/instance-4506734-1751175853.opb
3583.70/3598.02 c Variables : 14432 (14432 binary, 0 integer, 0 implicit integer, 0 continuous)
3583.70/3598.02 c Constraints : 14680 initial, 14876 maximal
3583.70/3598.02 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3583.70/3598.02 c Nonzeros : 80172 constraint, 208391 clique table
3583.70/3598.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3583.70/3598.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c domcol : 0.92 0.00 21 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c dualsparsify : 0.03 0.00 1 0 0 0 0 0 4 0 0 5
3583.70/3598.02 c gateextraction : 0.22 0.00 22 0 0 0 0 0 1 0 0 0
3583.70/3598.02 c implics : 0.00 0.00 25 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c milp : 0.22 0.00 1 138 0 0 0 0 0 0 0 0
3583.70/3598.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c sparsify : 0.52 0.00 4 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c trivial : 0.03 0.00 53 565 0 0 0 0 0 0 0 0
3583.70/3598.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c dualfix : 0.02 0.00 53 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c probing : 28.10 0.00 21 503 1 0 0 0 0 0 0 0
3583.70/3598.02 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c symmetry : 0.09 0.00 1 3 0 0 0 0 0 1 0 0
3583.70/3598.02 c vbounds : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c setppc : 0.17 0.00 87 0 0 0 0 0 109 0 0 0
3583.70/3598.02 c linear : 0.14 0.01 12 303 0 0 303 0 905 0 0 0
3583.70/3598.02 c orbitope : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c logicor : 3.34 0.01 87 107 0 0 0 0 518 0 0 1062
3583.70/3598.02 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c root node : - - - 0 - - 0 - - - - -
3583.70/3598.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3583.70/3598.02 c benderslp : 0 0 0 0 72 0 0 10 0 0 0 0 0 0 0
3583.70/3598.02 c integral : 0 0 0 0 72 0 0 10 0 0 0 0 0 0 144
3583.70/3598.02 c setppc : 1807+ 1898 11 143301 0 0 0 6 59724 352 12535 0 0 0 0
3583.70/3598.02 c linear : 0+ 1 0 7675 0 0 0 3 2 0 0 0 0 0 0
3583.70/3598.02 c orbitope : 1 1 0 12600 0 0 0 0 248 0 21 0 0 0 0
3583.70/3598.02 c logicor : 12872+ 12988 11 80079 0 0 0 0 173362 121 34019 14 7 0 0
3583.70/3598.02 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3583.70/3598.02 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.70/3598.02 c integral : 41.99 0.00 0.00 0.00 41.99 0.00 0.00 0.00 0.00 0.00
3583.70/3598.02 c setppc : 2.53 0.00 0.01 2.49 0.00 0.00 0.00 0.00 0.02 0.01
3583.70/3598.02 c linear : 0.02 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.70/3598.02 c orbitope : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3583.70/3598.02 c logicor : 7.68 0.01 0.03 7.54 0.00 0.00 0.00 0.00 0.09 0.02
3583.70/3598.02 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.70/3598.02 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.70/3598.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.70/3598.02 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3583.70/3598.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3583.70/3598.02 c dualfix : 1 0 0 0
3583.70/3598.02 c genvbounds : 0 0 0 0
3583.70/3598.02 c nlobbt : 0 0 0 0
3583.70/3598.02 c obbt : 0 0 0 0
3583.70/3598.02 c probing : 0 0 0 0
3583.70/3598.02 c pseudoobj : 0 0 0 0
3583.70/3598.02 c redcost : 0 0 0 0
3583.70/3598.02 c rootredcost : 0 0 0 0
3583.70/3598.02 c symmetry : 1364 0 0 0
3583.70/3598.02 c vbounds : 5896 0 0 0
3583.70/3598.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3583.70/3598.02 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3583.70/3598.02 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3583.70/3598.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3583.70/3598.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3583.70/3598.02 c probing : 28.10 0.00 28.10 0.00 0.00 0.00
3583.70/3598.02 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3583.70/3598.02 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3583.70/3598.02 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3583.70/3598.02 c symmetry : 0.10 0.00 0.09 0.01 0.00 0.00
3583.70/3598.02 c vbounds : 0.10 0.00 0.03 0.06 0.00 0.00
3583.70/3598.02 c Symmetry :
3583.70/3598.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
3583.70/3598.02 c orbital reduction: 0 reductions applied, 0 cutoffs
3583.70/3598.02 c lexicographic red: 0 reductions applied, 0 cutoffs
3583.70/3598.02 c shadow tree time : 0.00 s
3583.70/3598.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3583.70/3598.02 c propagation : 0.04 468 119 - 724 153.9 6 11.2 - - -
3583.70/3598.02 c infeasible LP : 0.62 41 29 - 493 1274.3 0 0.0 1 1147.0 0
3583.70/3598.02 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3583.70/3598.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3583.70/3598.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3583.70/3598.02 c applied globally : 0.01 - - 0 285 174.8 - - 1 - -
3583.70/3598.02 c applied locally : - - - 0 0 0.0 - - 0 - -
3583.70/3598.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3583.70/3598.02 c cut pool : 0.00 - 35 21 - - 264 417 - - - - - (maximal pool size: 264)
3583.70/3598.02 c aggregation : 0.07 0.00 17 11 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c > cmir : - - - - - - - 0 0 0 0 0 -
3583.70/3598.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
3583.70/3598.02 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3583.70/3598.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c clique : 1.45 0.00 11 11 0 0 72 164 0 71 71 0 0
3583.70/3598.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c gomory : 18.82 0.00 16 10 0 0 107 87 50 6 6 0 0
3583.70/3598.02 c > gomorymi : - - - - - - - 43 25 2 2 0 -
3583.70/3598.02 c > strongcg : - - - - - - - 44 25 4 4 0 -
3583.70/3598.02 c impliedbounds : 0.10 0.00 17 11 0 0 49 67 0 16 16 0 0
3583.70/3598.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c multilinear : 0.00 0.00 18 11 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c rlt : 0.00 0.00 13 10 0 0 0 0 0 0 0 0 0
3583.70/3598.02 c zerohalf : 17.81 0.00 17 11 0 0 94 99 8 100 93 7 0
3583.70/3598.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3583.70/3598.02 c hybrid : 0.00 0.00 19 11 200 0 289 140 0 117
3583.70/3598.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3583.70/3598.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3583.70/3598.02 c Pricers : ExecTime SetupTime Calls Vars
3583.70/3598.02 c problem variables: 0.00 - 0 0
3583.70/3598.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3583.70/3598.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3583.70/3598.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3583.70/3598.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3583.70/3598.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3583.70/3598.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3583.70/3598.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3583.70/3598.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3583.70/3598.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3583.70/3598.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3583.70/3598.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3583.70/3598.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3583.70/3598.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3583.70/3598.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3583.70/3598.02 c relpscost : 41.99 0.00 72 0 0 0 0 0 0 144
3583.70/3598.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3583.70/3598.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3583.70/3598.02 c LP solutions : 0.00 - - 0 0
3583.70/3598.02 c relax solutions : 0.00 - - 0 0
3583.70/3598.02 c pseudo solutions : 0.00 - - 0 0
3583.70/3598.02 c strong branching : 0.00 - - 0 0
3583.70/3598.02 c actconsdiving : 0.00 0.00 0 0 0
3583.70/3598.02 c adaptivediving : 203.02 0.00 1 0 0
3583.70/3598.02 c alns : 0.36 0.00 2 0 0
3583.70/3598.02 c bound : 0.00 0.00 0 0 0
3583.70/3598.02 c clique : 0.07 0.00 1 0 0
3583.70/3598.02 c coefdiving : 0.00 0.00 0 0 0
3583.70/3598.02 c completesol : 0.00 0.00 0 0 0
3583.70/3598.02 c conflictdiving : 139.82 0.00 1 0 0
3583.70/3598.02 c crossover : 0.00 0.00 0 0 0
3583.70/3598.02 c dins : 0.00 0.00 0 0 0
3583.70/3598.02 c distributiondivin: 0.03 0.00 0 0 0
3583.70/3598.02 c dps : 0.00 0.00 0 0 0
3583.70/3598.02 c dualval : 0.00 0.00 0 0 0
3583.70/3598.02 c farkasdiving : 0.00 0.00 0 0 0
3583.70/3598.02 c feasjump : 0.04 0.00 1 0 0
3583.70/3598.02 c feaspump : 127.78 0.00 1 0 0
3583.70/3598.02 c fixandinfer : 0.00 0.00 0 0 0
3583.70/3598.02 c fracdiving : 118.25 0.00 1 0 0
3583.70/3598.02 c gins : 0.00 0.00 0 0 0
3583.70/3598.02 c guideddiving : 0.00 0.00 0 0 0
3583.70/3598.02 c indcoefdiving : 0.00 0.00 0 0 0
3583.70/3598.02 c indicator : 0.00 0.00 0 0 0
3583.70/3598.02 c indicatordiving : 0.00 0.00 0 0 0
3583.70/3598.02 c indoneopt : 0.00 0.00 0 0 0
3583.70/3598.02 c indrounding : 0.00 0.00 0 0 0
3583.70/3598.02 c indtwoopt : 0.00 0.00 0 0 0
3583.70/3598.02 c intdiving : 0.00 0.00 0 0 0
3583.70/3598.02 c intshifting : 0.00 0.00 0 0 0
3583.70/3598.02 c linesearchdiving : 0.00 0.00 0 0 0
3583.70/3598.02 c localbranching : 0.00 0.00 0 0 0
3583.70/3598.02 c locks : 0.06 0.00 1 0 0
3583.70/3598.02 c lpface : 0.00 0.00 0 0 0
3583.70/3598.02 c mpec : 0.00 0.00 0 0 0
3583.70/3598.02 c multistart : 0.00 0.00 0 0 0
3583.70/3598.02 c mutation : 0.00 0.00 0 0 0
3583.70/3598.02 c nlpdiving : 0.00 0.00 0 0 0
3583.70/3598.02 c objpscostdiving : 290.66 0.00 1 0 0
3583.70/3598.02 c octane : 0.00 0.00 0 0 0
3583.70/3598.02 c ofins : 0.00 0.00 0 0 0
3583.70/3598.02 c oneopt : 0.00 0.00 0 0 0
3583.70/3598.02 c padm : 0.00 0.00 0 0 0
3583.70/3598.02 c proximity : 0.00 0.00 0 0 0
3583.70/3598.02 c pscostdiving : 30.62 0.00 1 0 0
3583.70/3598.02 c randrounding : 0.21 0.00 15 0 0
3583.70/3598.02 c rens : 0.29 0.00 1 0 0
3583.70/3598.02 c reoptsols : 0.00 0.00 0 0 0
3583.70/3598.02 c repair : 0.00 0.00 0 0 0
3583.70/3598.02 c rins : 0.00 0.00 0 0 0
3583.70/3598.02 c rootsoldiving : 0.00 0.00 0 0 0
3583.70/3598.02 c rounding : 0.10 0.00 91 0 0
3583.70/3598.02 c scheduler : 0.00 0.00 0 0 0
3583.70/3598.02 c shiftandpropagate: 0.02 0.00 1 0 0
3583.70/3598.02 c shifting : 0.28 0.00 25 0 0
3583.70/3598.02 c simplerounding : 0.00 0.00 0 0 0
3583.70/3598.02 c smallcard : 0.00 0.00 0 0 0
3583.70/3598.02 c subnlp : 0.00 0.00 0 0 0
3583.70/3598.02 c trivial : 0.01 0.00 2 0 0
3583.70/3598.02 c trivialnegation : 0.00 0.00 0 0 0
3583.70/3598.02 c trustregion : 0.00 0.00 0 0 0
3583.70/3598.02 c trysol : 0.00 0.00 0 0 0
3583.70/3598.02 c twoopt : 0.00 0.00 0 0 0
3583.70/3598.02 c undercover : 0.00 0.00 0 0 0
3583.70/3598.02 c vbounds : 0.12 0.00 1 0 0
3583.70/3598.02 c veclendiving : 145.70 0.00 1 0 0
3583.70/3598.02 c zeroobj : 0.00 0.00 0 0 0
3583.70/3598.02 c zirounding : 0.04 0.00 71 0 0
3583.70/3598.02 c other solutions : - - - 0 -
3583.70/3598.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3583.70/3598.02 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
3583.70/3598.02 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
3583.70/3598.02 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
3583.70/3598.02 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
3583.70/3598.02 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
3583.70/3598.02 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
3583.70/3598.02 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
3583.70/3598.02 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
3583.70/3598.02 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
3583.70/3598.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3583.70/3598.02 c primal LP : 0.13 4 0 0.00 0.00 0.13 4
3583.70/3598.02 c dual LP : 2425.00 140 1625822 13111.47 670.44 0.74 16
3583.70/3598.02 c lex dual LP : 0.00 0 0 0.00 -
3583.70/3598.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3583.70/3598.02 c resolve instable : 178.27 9 186898 20766.44 1048.42
3583.70/3598.02 c diving/probing LP: 1061.34 122 469463 3848.06 442.33
3583.70/3598.02 c strong branching : 34.95 19 18987 999.32 543.31 - - 37
3583.70/3598.02 c (at root node) : - 19 18987 999.32 -
3583.70/3598.02 c conflict analysis: 0.00 0 0 0.00 -
3583.70/3598.02 c B&B Tree :
3583.70/3598.02 c number of runs : 1
3583.70/3598.02 c nodes : 106 (72 internal, 34 leaves)
3583.70/3598.02 c feasible leaves : 0
3583.70/3598.02 c infeas. leaves : 34
3583.70/3598.02 c objective leaves : 0
3583.70/3598.02 c nodes (total) : 106 (72 internal, 34 leaves)
3583.70/3598.02 c nodes left : 38
3583.70/3598.02 c max depth : 35
3583.70/3598.02 c max depth (total): 35
3583.70/3598.02 c backtracks : 14 (13.2%)
3583.70/3598.02 c early backtracks : 0 (0.0%)
3583.70/3598.02 c nodes exc. ref. : 0 (0.0%)
3583.70/3598.02 c delayed cutoffs : 1
3583.70/3598.02 c repropagations : 198 (896 domain reductions, 1 cutoffs)
3583.70/3598.02 c avg switch length: 5.46
3583.70/3598.02 c switching time : 0.26
3583.70/3598.02 c Root Node :
3583.70/3598.02 c First LP value : +0.00000000000000e+00
3583.70/3598.02 c First LP Iters : 15790 (948.37 Iter/sec)
3583.70/3598.02 c First LP Time : 16.65
3583.70/3598.02 c Final Dual Bound : +0.00000000000000e+00
3583.70/3598.02 c Final Root Iters : 218390
3583.70/3598.02 c Root LP Estimate : +1.89615198301091e-03
3583.70/3598.02 c Solution :
3583.70/3598.02 c Solutions found : 0 (0 improvements)
3583.70/3598.02 c Primal Bound : -
3583.70/3598.02 c Dual Bound : +0.00000000000000e+00
3583.70/3598.02 c Gap : infinite
3583.70/3598.02 c Integrals : Total Avg%
3583.70/3598.02 c primal-dual : 359800.86 100.00
3583.70/3598.02 c primal-ref : - - (not evaluated)
3583.70/3598.02 c dual-ref : - - (not evaluated)
3583.80/3598.10 c Time complete: 3583.8.
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (48085 MiB free)
memory of node 1: 64507 MiB (59073 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506734-1751175853/watcher-4506734-1751175853 -o /tmp/evaluation-result-4506734-1751175853/solver-4506734-1751175853 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751168386-23686 --watchdog 3760 pbscip -f HOME/instance-4506734-1751175853.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24805, runsolver pid=24802
[startup+0.100072 s]*
/proc/loadavg: 4.08 4.10 4.09 5/264 24806
/proc/meminfo: memFree=109686912/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=89480 memory=63400 CPUtime=0.09 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 12745 0 0 0 8 1 0 0 20 0 1 0 33263115 91627520 15850 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 22370 15850 3520 3530 0 13821 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 89480 KiB
Current children cumulated memory: 63400 KiB
[startup+0.205833 s]*
/proc/loadavg: 4.08 4.10 4.09 5/264 24806
/proc/meminfo: memFree=109662972/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=116228 memory=85800 CPUtime=0.2 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 18336 0 0 0 18 2 0 0 20 0 1 0 33263115 119017472 21450 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 29057 21450 3552 3530 0 20508 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 116228 KiB
Current children cumulated memory: 85800 KiB
[startup+0.305758 s]*
/proc/loadavg: 4.08 4.10 4.09 6/264 24806
/proc/meminfo: memFree=109646844/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=132088 memory=103312 CPUtime=0.29 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 24392 0 0 0 26 3 0 0 20 0 1 0 33263115 135258112 25828 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 33022 25828 3680 3530 0 24473 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 132088 KiB
Current children cumulated memory: 103312 KiB
[startup+0.7002 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 24806
/proc/meminfo: memFree=109646844/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=142244 memory=112168 CPUtime=0.68 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 28909 0 0 0 64 4 0 0 20 0 1 0 33263115 145657856 28042 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 35561 28042 3680 3530 0 27012 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 142244 KiB
Current children cumulated memory: 112168 KiB
[startup+1.50019 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 24806
/proc/meminfo: memFree=109617484/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=176004 memory=145464 CPUtime=1.48 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 34660 0 0 0 143 5 0 0 20 0 1 0 33263115 180228096 36366 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 44001 36366 3712 3530 0 35452 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 176004 KiB
Current children cumulated memory: 145464 KiB
[startup+3.10566 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 24806
/proc/meminfo: memFree=109601476/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=177712 memory=147128 CPUtime=3.08 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 35080 0 0 0 303 5 0 0 20 0 1 0 33263115 181977088 36782 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 44428 36782 3712 3530 0 35879 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 177712 KiB
Current children cumulated memory: 147128 KiB
[startup+6.30019 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 24806
/proc/meminfo: memFree=109601692/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=177712 memory=147128 CPUtime=6.26 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 35081 0 0 0 621 5 0 0 20 0 1 0 33263115 181977088 36782 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 44428 36782 3712 3530 0 35879 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 177712 KiB
Current children cumulated memory: 147128 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 24806
/proc/meminfo: memFree=109601692/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=185200 memory=153784 CPUtime=12.63 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 36780 0 0 0 1258 5 0 0 20 0 1 0 33263115 189644800 38446 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 46300 38446 3712 3530 0 37751 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 185200 KiB
Current children cumulated memory: 153784 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 24807
/proc/meminfo: memFree=109601716/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=185656 memory=154296 CPUtime=25.39 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 36913 0 0 0 2534 5 0 0 20 0 1 0 33263115 190111744 38574 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 46414 38574 3712 3530 0 37865 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 185656 KiB
Current children cumulated memory: 154296 KiB
[startup+51.1058 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 24807
/proc/meminfo: memFree=109525612/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=267744 memory=212784 CPUtime=50.89 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 55094 0 0 0 5082 7 0 0 20 0 1 0 33263115 274169856 53196 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 66936 53196 3936 3530 0 58387 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 267744 KiB
Current children cumulated memory: 212784 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 24809
/proc/meminfo: memFree=109438860/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=269532 memory=214960 CPUtime=101.89 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 55623 0 0 0 10181 8 0 0 20 0 1 0 33263115 276000768 53740 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 67383 53740 3936 3530 0 58834 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 269532 KiB
Current children cumulated memory: 214960 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 24811
/proc/meminfo: memFree=109426532/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=269532 memory=214960 CPUtime=161.63 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 55623 0 0 0 16155 8 0 0 20 0 1 0 33263115 276000768 53740 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 67383 53740 3936 3530 0 58834 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 269532 KiB
Current children cumulated memory: 214960 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 24820
/proc/meminfo: memFree=109277060/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=336104 memory=277528 CPUtime=221.38 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 64143 0 0 0 22128 10 0 0 20 0 1 0 33263115 344170496 69382 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 84026 69382 3936 3530 0 75477 0
Current children cumulated CPU time: 221.38 s
Current children cumulated vsize: 336104 KiB
Current children cumulated memory: 277528 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 24822
/proc/meminfo: memFree=109285672/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=348712 memory=290396 CPUtime=281.13 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 66846 0 0 0 28103 10 0 0 20 0 1 0 33263115 357081088 72599 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 87178 72599 3936 3530 0 78629 0
Current children cumulated CPU time: 281.13 s
Current children cumulated vsize: 348712 KiB
Current children cumulated memory: 290396 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 24825
/proc/meminfo: memFree=109280080/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=362656 memory=298868 CPUtime=340.88 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 68459 0 0 0 34077 11 0 0 20 0 1 0 33263115 371359744 74717 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 90664 74717 3936 3530 0 82115 0
Current children cumulated CPU time: 340.88 s
Current children cumulated vsize: 362656 KiB
Current children cumulated memory: 298868 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 24827
/proc/meminfo: memFree=109270108/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=365492 memory=302324 CPUtime=400.63 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 69335 0 0 0 40052 11 0 0 20 0 1 0 33263115 374263808 75581 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 91373 75581 3936 3530 0 82824 0
Current children cumulated CPU time: 400.63 s
Current children cumulated vsize: 365492 KiB
Current children cumulated memory: 302324 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/264 24829
/proc/meminfo: memFree=104819656/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=368716 memory=305652 CPUtime=460.37 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 70165 0 0 0 46026 11 0 0 20 0 1 0 33263115 377565184 76413 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 92179 76413 3936 3530 0 83630 0
Current children cumulated CPU time: 460.37 s
################
# More data... #
################
/proc/loadavg: 4.42 4.19 4.12 5/264 25017
/proc/meminfo: memFree=119365160/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=429376 memory=367476 CPUtime=3209.12 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 85425 0 0 0 320898 14 0 0 20 0 1 0 33263115 439681024 91869 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 107344 91869 4160 3530 0 98795 0
Current children cumulated CPU time: 3209.12 s
Current children cumulated vsize: 429376 KiB
Current children cumulated memory: 367476 KiB
[startup+3282.3 s]
/proc/loadavg: 4.21 4.18 4.12 5/263 25026
/proc/meminfo: memFree=119373632/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=429376 memory=367476 CPUtime=3268.88 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 85425 0 0 0 326874 14 0 0 20 0 1 0 33263115 439681024 91869 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 107344 91869 4160 3530 0 98795 0
Current children cumulated CPU time: 3268.88 s
Current children cumulated vsize: 429376 KiB
Current children cumulated memory: 367476 KiB
[startup+3342.3 s]
/proc/loadavg: 3.97 4.13 4.10 4/257 25059
/proc/meminfo: memFree=124927772/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=429376 memory=367476 CPUtime=3328.66 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 85425 0 0 0 332852 14 0 0 20 0 1 0 33263115 439681024 91869 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 107344 91869 4160 3530 0 98795 0
Current children cumulated CPU time: 3328.66 s
Current children cumulated vsize: 429376 KiB
Current children cumulated memory: 367476 KiB
[startup+3402.3 s]
/proc/loadavg: 3.46 3.95 4.04 4/257 25061
/proc/meminfo: memFree=124900944/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=429376 memory=367476 CPUtime=3388.48 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 85425 0 0 0 338834 14 0 0 20 0 1 0 33263115 439681024 91869 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 107344 91869 4160 3530 0 98795 0
Current children cumulated CPU time: 3388.48 s
Current children cumulated vsize: 429376 KiB
Current children cumulated memory: 367476 KiB
[startup+3462.3 s]
/proc/loadavg: 3.23 3.79 3.98 4/257 25063
/proc/meminfo: memFree=124903108/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=429376 memory=367476 CPUtime=3448.31 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 85425 0 0 0 344817 14 0 0 20 0 1 0 33263115 439681024 91869 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 107344 91869 4160 3530 0 98795 0
Current children cumulated CPU time: 3448.31 s
Current children cumulated vsize: 429376 KiB
Current children cumulated memory: 367476 KiB
[startup+3522.3 s]
/proc/loadavg: 2.60 3.51 3.87 3/251 25095
/proc/meminfo: memFree=129232236/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=429376 memory=370932 CPUtime=3508.16 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 85426 0 0 0 350802 14 0 0 20 0 1 0 33263115 439681024 92733 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 107344 92733 4160 3530 0 98795 0
Current children cumulated CPU time: 3508.16 s
Current children cumulated vsize: 429376 KiB
Current children cumulated memory: 370932 KiB
[startup+3582.3 s]
/proc/loadavg: 2.28 3.24 3.75 3/251 25098
/proc/meminfo: memFree=129228096/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=429376 memory=375924 CPUtime=3568.03 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 85437 0 0 0 356789 14 0 0 20 0 1 0 33263115 439681024 93981 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 107344 93981 4160 3530 0 98795 0
Current children cumulated CPU time: 3568.03 s
Current children cumulated vsize: 429376 KiB
Current children cumulated memory: 375924 KiB
[startup+3598.11 s]
# the end of solver process 24805 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.66 s, system=0.147357 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.28 3.24 3.75 3/251 25098
/proc/meminfo: memFree=129228096/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=429376 memory=375924 CPUtime=3569.73 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 85437 0 0 0 356959 14 0 0 20 0 1 0 33263115 439681024 93981 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 107344 93981 4160 3530 0 98795 0
Current children cumulated CPU time: 3569.73 s
Current children cumulated vsize: 429376 KiB
Current children cumulated memory: 375924 KiB
[startup+3590.4 s]
/proc/loadavg: 2.26 3.22 3.74 3/251 25098
/proc/meminfo: memFree=129228096/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=429376 memory=378740 CPUtime=3576.11 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 85438 0 0 0 357597 14 0 0 20 0 1 0 33263115 439681024 94685 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 107344 94685 4160 3530 0 98795 0
Current children cumulated CPU time: 3576.11 s
Current children cumulated vsize: 429376 KiB
Current children cumulated memory: 378740 KiB
[startup+3593.6 s]
/proc/loadavg: 2.24 3.20 3.73 3/251 25098
/proc/meminfo: memFree=129228004/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=429376 memory=378740 CPUtime=3579.3 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 85438 0 0 0 357916 14 0 0 20 0 1 0 33263115 439681024 94685 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 107344 94685 4160 3530 0 98795 0
Current children cumulated CPU time: 3579.3 s
Current children cumulated vsize: 429376 KiB
Current children cumulated memory: 378740 KiB
[startup+3595.2 s]
/proc/loadavg: 2.24 3.20 3.73 3/251 25099
/proc/meminfo: memFree=129227548/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=429376 memory=378740 CPUtime=3580.9 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 85438 0 0 0 358076 14 0 0 20 0 1 0 33263115 439681024 94685 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 107344 94685 4160 3530 0 98795 0
Current children cumulated CPU time: 3580.9 s
Current children cumulated vsize: 429376 KiB
Current children cumulated memory: 378740 KiB
[startup+3596.8 s]
/proc/loadavg: 2.24 3.20 3.73 3/251 25099
/proc/meminfo: memFree=129227548/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=429376 memory=378740 CPUtime=3582.5 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 85438 0 0 0 358236 14 0 0 20 0 1 0 33263115 439681024 94685 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 107344 94685 4160 3530 0 98795 0
Current children cumulated CPU time: 3582.5 s
Current children cumulated vsize: 429376 KiB
Current children cumulated memory: 378740 KiB
[startup+3597.6 s]
/proc/loadavg: 2.22 3.18 3.72 3/251 25099
/proc/meminfo: memFree=129227800/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=429376 memory=378740 CPUtime=3583.29 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 85438 0 0 0 358315 14 0 0 20 0 1 0 33263115 439681024 94685 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 107344 94685 4160 3530 0 98795 0
Current children cumulated CPU time: 3583.29 s
Current children cumulated vsize: 429376 KiB
Current children cumulated memory: 378740 KiB
[startup+3598 s]*
/proc/loadavg: 2.22 3.18 3.72 3/251 25099
/proc/meminfo: memFree=129227800/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=429376 memory=378740 CPUtime=3583.7 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 85438 0 0 0 358356 14 0 0 20 0 1 0 33263115 439681024 94685 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 107344 94685 4160 3530 0 98795 0
Current children cumulated CPU time: 3583.7 s
Current children cumulated vsize: 429376 KiB
Current children cumulated memory: 378740 KiB
[startup+3598.1 s]
/proc/loadavg: 2.22 3.18 3.72 3/251 25099
/proc/meminfo: memFree=129227800/131250000 swapFree=33010684/33010684
[pid=24805] ppid=24802 vsize=348576 memory=299384 CPUtime=3583.8 cores=1,3
/proc/24805/stat : 24805 (pbscip) R 24802 24805 23674 0 -1 4194304 85439 0 0 0 358366 14 0 0 20 0 1 0 33263115 356941824 74846 18446744073709551615 4235264 18693293 140736405449280 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 59670528 140736405457289 140736405457388 140736405457388 140736405462990 0
/proc/24805/statm: 87144 74846 4160 3530 0 78595 0
Current children cumulated CPU time: 3583.8 s
Current children cumulated vsize: 348576 KiB
Current children cumulated memory: 299384 KiB
Child status: 0
Real time (s): 3598.11
CPU time (s): 3583.81
CPU user time (s): 3583.66
CPU system time (s): 0.147357
CPU usage (%): 99.6026
Max. virtual memory (cumulated for all children) (KiB): 429376
Max. memory (cumulated for all children) (KiB): 378740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.66
system time used= 0.147357
maximum resident set size= 378740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85446
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= 97
involuntary context switches= 6283
# summary of solver processes directly reported to runsolver:
# pid: 24805
# total CPU time (s): 3583.81
# total CPU user time (s): 3583.66
# total CPU system time (s): 0.147357
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79685 second user time and 16.2447 second system time
The end
Begin job on nodeC018 at 2025-06-29 07:44:13 IDJOB=4506734 IDBENCH=158262 IDSOLVER=3365 FILE ID=nodeC018/4506734-1751175853 RUNJOBID= nodeC018-1751168386-23686 SLURM_JOB_ID= 9587511 Free space on /tmp= 432672 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K134.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506734-1751175853/watcher-4506734-1751175853 -o /tmp/evaluation-result-4506734-1751175853/solver-4506734-1751175853 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751168386-23686 --watchdog 3760 pbscip -f HOME/instance-4506734-1751175853.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 963edb3c79c326322e0bda3e585d3232 RANDOM SEED=1295929869 nodeC018 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.820 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.66 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 : 3594.366 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.66 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 : 3598.441 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.66 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 : 3599.538 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.66 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.837 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.66 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.800 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.66 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 : 3558.193 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.66 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.66 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 109731000 kB MemAvailable: 109785404 kB Buffers: 3280 kB Cached: 864412 kB SwapCached: 0 kB Active: 20247092 kB Inactive: 607244 kB Active(anon): 20004720 kB Inactive(anon): 0 kB Active(file): 242372 kB Inactive(file): 607244 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 19748 kB Writeback: 0 kB AnonPages: 19989164 kB Mapped: 136516 kB Shmem: 18076 kB KReclaimable: 87652 kB Slab: 170980 kB SReclaimable: 87652 kB SUnreclaim: 83328 kB KernelStack: 4256 kB PageTables: 42596 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 21009824 kB VmallocTotal: 34359738367 kB VmallocUsed: 150488 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 5337088 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: 201428 kB DirectMap2M: 7958528 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433024 MiB End job on nodeC018 at 2025-06-29 08:44:11