| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3589.32 | 3598.97 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K177.opb |
| MD5SUM | 4b187363ec0683eba575f162bd763393 |
| 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 | 211.425 |
| 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 | 21063 |
| Total number of constraints | 21419 |
| Number of constraints which are clauses | 21242 |
| Number of constraints which are cardinality constraints (but not clauses) | 177 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 177 |
| 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 | 178 |
| 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-4507238-1751185786.opb>
0.00/0.08 c original problem has 21063 variables (21063 bin, 0 int, 0 impl, 0 cont) and 21419 constraints
0.00/0.08 c problem read in 0.07
0.00/0.08 c No objective function, only one solution is needed.
0.09/0.16 c presolving:
0.09/0.19 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, 2437 clqs
0.09/0.20 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, 2421 clqs
0.19/0.21 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, 2442 clqs
0.19/0.21 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, 2473 clqs
0.19/0.22 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, 2496 clqs
0.19/0.22 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, 2506 clqs
0.19/0.28 c (0.3s) running MILP presolver
0.38/0.49 c (0.5s) MILP presolver (4 rounds): 0 aggregations, 181 fixings, 0 bound changes
0.38/0.50 c (round 7, medium) 1363 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2512 clqs
0.48/0.51 c (round 8, fast) 1363 del vars, 816 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2516 clqs
0.48/0.54 c (round 9, exhaustive) 1363 del vars, 991 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2516 clqs
0.59/0.64 c (round 10, exhaustive) 1363 del vars, 991 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 20428 upgd conss, 0 impls, 2516 clqs
0.77/0.83 c (round 11, exhaustive) 1471 del vars, 991 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 20428 upgd conss, 0 impls, 2503 clqs
0.77/0.84 c (round 12, fast) 1579 del vars, 1099 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 20428 upgd conss, 0 impls, 2503 clqs
2.57/2.61 c (round 13, exhaustive) 1605 del vars, 1100 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 20428 upgd conss, 0 impls, 127867 clqs
2.57/2.62 c (round 14, fast) 1606 del vars, 1126 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 165 chg coeffs, 20428 upgd conss, 0 impls, 127879 clqs
4.66/4.79 c (round 15, exhaustive) 1632 del vars, 1126 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 165 chg coeffs, 20428 upgd conss, 0 impls, 127843 clqs
4.76/4.80 c (round 16, fast) 1633 del vars, 1152 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 223 chg coeffs, 20428 upgd conss, 0 impls, 127851 clqs
5.96/6.08 c (6.1s) probing: 1000/20032 (5.0%) - 72 fixings, 0 aggregations, 1130072 implications, 0 bound changes
6.15/6.27 c (round 17, exhaustive) 1659 del vars, 1152 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 223 chg coeffs, 20428 upgd conss, 0 impls, 127832 clqs
6.15/6.28 c (round 18, fast) 1660 del vars, 1178 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 292 chg coeffs, 20428 upgd conss, 0 impls, 127852 clqs
6.76/6.84 c (round 19, exhaustive) 1687 del vars, 1178 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 292 chg coeffs, 20428 upgd conss, 0 impls, 127850 clqs
6.76/6.85 c (round 20, fast) 1689 del vars, 1205 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 364 chg coeffs, 20428 upgd conss, 0 impls, 127865 clqs
7.66/7.72 c (round 21, exhaustive) 1714 del vars, 1205 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 364 chg coeffs, 20428 upgd conss, 0 impls, 127854 clqs
7.66/7.73 c (round 22, fast) 1714 del vars, 1230 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 415 chg coeffs, 20428 upgd conss, 0 impls, 127863 clqs
7.96/8.04 c (round 23, exhaustive) 1740 del vars, 1230 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 415 chg coeffs, 20428 upgd conss, 0 impls, 127924 clqs
7.96/8.05 c (round 24, fast) 1742 del vars, 1257 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 489 chg coeffs, 20428 upgd conss, 0 impls, 127934 clqs
8.55/8.62 c (round 25, exhaustive) 1787 del vars, 1257 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 490 chg coeffs, 20428 upgd conss, 0 impls, 125041 clqs
8.55/8.62 c (round 26, fast) 1787 del vars, 1302 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 629 chg coeffs, 20428 upgd conss, 0 impls, 125074 clqs
13.84/13.90 c (13.9s) probing: 2000/20032 (10.0%) - 218 fixings, 0 aggregations, 3170701 implications, 0 bound changes
13.84/13.91 c (round 27, exhaustive) 1812 del vars, 1302 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 629 chg coeffs, 20428 upgd conss, 0 impls, 127886 clqs
13.84/13.92 c (round 28, fast) 1812 del vars, 1327 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 690 chg coeffs, 20428 upgd conss, 0 impls, 127895 clqs
14.23/14.30 c (round 29, exhaustive) 1853 del vars, 1327 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 690 chg coeffs, 20428 upgd conss, 0 impls, 127929 clqs
14.23/14.31 c (round 30, fast) 1853 del vars, 1368 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 766 chg coeffs, 20428 upgd conss, 0 impls, 127929 clqs
14.53/14.63 c (round 31, exhaustive) 1879 del vars, 1368 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 766 chg coeffs, 20428 upgd conss, 0 impls, 127952 clqs
14.53/14.63 c (round 32, fast) 1880 del vars, 1394 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 813 chg coeffs, 20428 upgd conss, 0 impls, 127958 clqs
14.73/14.89 c (round 33, exhaustive) 1905 del vars, 1394 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 813 chg coeffs, 20428 upgd conss, 0 impls, 127787 clqs
14.83/14.90 c (round 34, fast) 1905 del vars, 1419 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 837 chg coeffs, 20428 upgd conss, 0 impls, 127787 clqs
15.04/15.16 c (round 35, exhaustive) 1930 del vars, 1419 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 837 chg coeffs, 20428 upgd conss, 0 impls, 127588 clqs
15.04/15.16 c (round 36, fast) 1930 del vars, 1444 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 860 chg coeffs, 20428 upgd conss, 0 impls, 127588 clqs
15.33/15.42 c (round 37, exhaustive) 1960 del vars, 1444 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 860 chg coeffs, 20428 upgd conss, 0 impls, 127446 clqs
15.33/15.43 c (round 38, fast) 1966 del vars, 1475 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 908 chg coeffs, 20428 upgd conss, 0 impls, 127450 clqs
15.53/15.69 c (round 39, exhaustive) 1991 del vars, 1475 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 909 chg coeffs, 20428 upgd conss, 0 impls, 127333 clqs
15.53/15.69 c (round 40, fast) 1991 del vars, 1500 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 934 chg coeffs, 20428 upgd conss, 0 impls, 127333 clqs
19.02/19.16 c (19.1s) probing: 3000/20032 (15.0%) - 399 fixings, 1 aggregations, 4199801 implications, 0 bound changes
20.21/20.34 c (round 41, exhaustive) 2016 del vars, 1500 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 934 chg coeffs, 20428 upgd conss, 0 impls, 128063 clqs
20.21/20.34 c (round 42, fast) 2016 del vars, 1525 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 962 chg coeffs, 20428 upgd conss, 0 impls, 128063 clqs
20.61/20.72 c (round 43, exhaustive) 2041 del vars, 1525 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 963 chg coeffs, 20428 upgd conss, 0 impls, 128058 clqs
20.61/20.73 c (round 44, fast) 2041 del vars, 1550 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 988 chg coeffs, 20428 upgd conss, 0 impls, 128058 clqs
23.30/23.48 c (23.5s) probing: 4000/20032 (20.0%) - 454 fixings, 1 aggregations, 5372929 implications, 0 bound changes
23.90/24.01 c (round 45, exhaustive) 2066 del vars, 1550 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 988 chg coeffs, 20428 upgd conss, 0 impls, 128087 clqs
23.90/24.02 c (round 46, fast) 2066 del vars, 1575 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1018 chg coeffs, 20428 upgd conss, 0 impls, 128087 clqs
24.10/24.28 c (round 47, exhaustive) 2091 del vars, 1575 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1018 chg coeffs, 20428 upgd conss, 0 impls, 127946 clqs
24.10/24.28 c (round 48, fast) 2091 del vars, 1600 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1043 chg coeffs, 20428 upgd conss, 0 impls, 127946 clqs
27.09/27.29 c (27.3s) probing: 5000/20032 (25.0%) - 491 fixings, 1 aggregations, 6392669 implications, 0 bound changes
28.48/28.64 c (28.6s) probing: 5446/20032 (27.2%) - 491 fixings, 1 aggregations, 6813434 implications, 0 bound changes
28.48/28.64 c (28.6s) probing aborted: 1000/1000 successive useless probings
28.48/28.67 c (28.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
28.58/28.78 c (28.8s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.04)
28.58/28.78 c dynamic symmetry handling statistics:
28.58/28.78 c orbitopal reduction: no components
28.58/28.78 c orbital reduction: no components
28.58/28.78 c lexicographic reduction: 3 permutations with support sizes 1652, 684, 330
28.58/28.78 c handled 4 out of 4 symmetry components
28.68/28.81 c presolving (49 rounds: 49 fast, 23 medium, 22 exhaustive):
28.68/28.81 c 2100 deleted vars, 1606 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1049 changed coefficients
28.68/28.81 c 0 implications, 128169 cliques
28.68/28.81 c presolved problem has 19523 variables (19523 bin, 0 int, 0 impl, 0 cont) and 19814 constraints
28.68/28.81 c 2410 constraints of type <setppc>
28.68/28.81 c 1 constraints of type <orbitope>
28.68/28.81 c 17403 constraints of type <logicor>
28.68/28.81 c transformed objective value is always integral (scale: 1)
28.68/28.81 c Presolving Time: 28.66
28.68/28.81 c - non default parameters ----------------------------------------------------------------------
28.68/28.81 c # SCIP version 10.0.0
28.68/28.81 c
28.68/28.81 c # maximal time in seconds to run
28.68/28.81 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
28.68/28.81 c limits/time = 3596.997014
28.68/28.81 c
28.68/28.81 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
28.68/28.81 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
28.68/28.81 c limits/memory = 27900
28.68/28.81 c
28.68/28.81 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
28.68/28.81 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
28.68/28.81 c limits/solutions = 1
28.68/28.81 c
28.68/28.81 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.
28.68/28.81 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
28.68/28.81 c misc/usesymmetry = 3
28.68/28.81 c
28.68/28.81 c # belongs reading time to solving time?
28.68/28.81 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
28.68/28.81 c timing/reading = TRUE
28.68/28.81 c
28.68/28.81 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
28.68/28.81 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
28.68/28.81 c propagating/symmetry/detectdoublelex = FALSE
28.68/28.81 c
28.68/28.81 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
28.68/28.81 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
28.68/28.81 c propagating/symmetry/detectsubgroups = FALSE
28.68/28.81 c
28.68/28.81 c # Type of symmetries that shall be computed?
28.68/28.81 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
28.68/28.81 c propagating/symmetry/symtype = 1
28.68/28.81 c
28.68/28.81 c # Should components consisting of a single full reflection be handled?
28.68/28.81 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
28.68/28.81 c propagating/symmetry/usesimplesgncomp = FALSE
28.68/28.81 c
28.68/28.81 c -----------------------------------------------------------------------------------------------
28.68/28.81 c start solving
28.68/28.81 c
52.31/52.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
52.31/52.57 c 52.6s| 1 | 0 | 19074 | - | 255M | 0 | 19k| 19k| 19k| 0 | 0 | 154 | 0 | 0.000000e+00 | -- | Inf | unknown
266.81/267.64 c 268s| 1 | 0 |120106 | - | 281M | 0 | 19k| 19k| 19k| 9 | 1 | 156 | 0 | 0.000000e+00 | -- | Inf | unknown
299.32/300.24 c 300s| 1 | 0 |133475 | - | 290M | 0 | 19k| 19k| 19k| 28 | 2 | 158 | 0 | 0.000000e+00 | -- | Inf | unknown
330.15/331.12 c 331s| 1 | 0 |145602 | - | 296M | 0 | 19k| 19k| 19k| 36 | 3 | 159 | 0 | 0.000000e+00 | -- | Inf | unknown
362.76/363.80 c 364s| 1 | 0 |158005 | - | 300M | 0 | 19k| 19k| 19k| 47 | 4 | 160 | 0 | 0.000000e+00 | -- | Inf | unknown
396.17/397.36 c 397s| 1 | 0 |170504 | - | 302M | 0 | 19k| 19k| 19k| 53 | 5 | 161 | 0 | 0.000000e+00 | -- | Inf | unknown
444.84/446.19 c 446s| 1 | 0 |188119 | - | 305M | 0 | 19k| 19k| 19k| 71 | 6 | 162 | 0 | 0.000000e+00 | -- | Inf | unknown
482.24/483.68 c 484s| 1 | 0 |201571 | - | 308M | 0 | 19k| 19k| 19k| 77 | 7 | 165 | 0 | 0.000000e+00 | -- | Inf | unknown
525.32/526.81 c 527s| 1 | 0 |216563 | - | 314M | 0 | 19k| 19k| 19k| 98 | 8 | 173 | 0 | 0.000000e+00 | -- | Inf | unknown
563.01/564.69 c 565s| 1 | 0 |229497 | - | 320M | 0 | 19k| 19k| 19k| 104 | 9 | 183 | 0 | 0.000000e+00 | -- | Inf | unknown
606.89/608.66 c 609s| 1 | 0 |244442 | - | 321M | 0 | 19k| 19k| 19k| 130 | 10 | 188 | 0 | 0.000000e+00 | -- | Inf | unknown
640.90/642.73 c 643s| 1 | 0 |256522 | - | 325M | 0 | 19k| 19k| 19k| 142 | 11 | 193 | 0 | 0.000000e+00 | -- | Inf | unknown
1379.84/1383.73 c 1384s| 1 | 2 |692703 | - | 386M | 0 | 19k| 19k| 19k| 142 | 11 | 277 | 19 | 0.000000e+00 | -- | Inf | unknown
3589.14/3598.85 c
3589.14/3598.85 c SCIP Status : solving was interrupted [time limit reached]
3589.14/3598.85 c Solving Time (sec) : 3598.84
3589.14/3598.85 c Solving Nodes : 12
3589.14/3598.85 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3589.14/3598.85 c Dual Bound : +0.00000000000000e+00
3589.14/3598.85 c Gap : infinite
3589.14/3598.85 s UNKNOWN
3589.14/3598.85 c SCIP Status : solving was interrupted [time limit reached]
3589.14/3598.85 c Total Time : 3598.84
3589.14/3598.85 c solving : 3598.84
3589.14/3598.85 c presolving : 28.66 (included in solving)
3589.14/3598.85 c reading : 0.07 (included in solving)
3589.14/3598.85 c copying : 0.06 (1 #copies) (minimal 0.06, maximal 0.06, average 0.06)
3589.14/3598.85 c Original Problem :
3589.14/3598.85 c Problem name : HOME/instance-4507238-1751185786.opb
3589.14/3598.85 c Variables : 21063 (21063 binary, 0 integer, 0 implicit integer, 0 continuous)
3589.14/3598.85 c Constraints : 21419 initial, 21419 maximal
3589.14/3598.85 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3589.14/3598.85 c Presolved Problem :
3589.14/3598.85 c Problem name : t_HOME/instance-4507238-1751185786.opb
3589.14/3598.85 c Variables : 19523 (19523 binary, 0 integer, 0 implicit integer, 0 continuous)
3589.14/3598.85 c Constraints : 19814 initial, 20047 maximal
3589.14/3598.85 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3589.14/3598.85 c Nonzeros : 108515 constraint, 275512 clique table
3589.14/3598.85 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3589.14/3598.85 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c domcol : 1.03 0.00 19 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c dualsparsify : 0.04 0.00 1 0 0 0 0 0 6 0 0 6
3589.14/3598.85 c gateextraction : 0.23 0.00 20 0 0 0 0 0 1 0 0 0
3589.14/3598.85 c implics : 0.00 0.00 23 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c milp : 0.27 0.00 1 181 0 0 0 0 0 0 0 0
3589.14/3598.85 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c sparsify : 0.50 0.00 4 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c trivial : 0.02 0.00 49 560 0 0 0 0 0 0 0 0
3589.14/3598.85 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c dualfix : 0.02 0.00 49 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c probing : 22.39 0.00 19 491 1 0 0 0 0 0 0 0
3589.14/3598.85 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c symmetry : 0.11 0.00 1 3 0 0 0 0 0 1 0 0
3589.14/3598.85 c vbounds : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c setppc : 0.19 0.00 79 0 0 0 0 0 106 0 0 0
3589.14/3598.85 c linear : 0.17 0.02 12 302 0 0 302 0 991 0 0 0
3589.14/3598.85 c orbitope : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c logicor : 3.59 0.01 79 110 0 0 0 0 502 0 0 1043
3589.14/3598.85 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c root node : - - - 0 - - 0 - - - - -
3589.14/3598.85 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3589.14/3598.85 c benderslp : 0 0 0 0 12 0 0 7 0 0 0 0 0 0 0
3589.14/3598.85 c integral : 0 0 0 0 12 0 0 7 0 0 0 0 0 0 24
3589.14/3598.85 c setppc : 2410+ 2510 11 328410 0 0 0 3 62537 329 743 0 0 0 0
3589.14/3598.85 c orbitope : 1 1 0 24113 0 0 0 0 2 0 3 0 0 0 0
3589.14/3598.85 c logicor : 17403+ 17538 11 102048 0 0 0 0 158644 117 2113 14 5 0 0
3589.14/3598.85 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3589.14/3598.85 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.14/3598.85 c integral : 43.57 0.00 0.00 0.00 43.57 0.00 0.00 0.00 0.00 0.00
3589.14/3598.85 c setppc : 2.89 0.00 0.01 2.84 0.00 0.00 0.00 0.00 0.01 0.04
3589.14/3598.85 c orbitope : 0.04 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
3589.14/3598.85 c logicor : 7.10 0.01 0.03 6.98 0.00 0.00 0.00 0.00 0.06 0.02
3589.14/3598.85 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.14/3598.85 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.14/3598.85 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.14/3598.85 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.14/3598.85 c Propagators : #Propagate #ResProp Cutoffs DomReds
3589.14/3598.85 c dualfix : 1 0 0 0
3589.14/3598.85 c genvbounds : 0 0 0 0
3589.14/3598.85 c nlobbt : 0 0 0 0
3589.14/3598.85 c obbt : 0 0 0 0
3589.14/3598.85 c probing : 0 0 0 0
3589.14/3598.85 c pseudoobj : 0 0 0 0
3589.14/3598.85 c redcost : 0 0 0 0
3589.14/3598.85 c rootredcost : 0 0 0 0
3589.14/3598.85 c symmetry : 16930 0 0 1
3589.14/3598.85 c vbounds : 7534 0 0 0
3589.14/3598.85 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3589.14/3598.85 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3589.14/3598.85 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3589.14/3598.85 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3589.14/3598.85 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3589.14/3598.85 c probing : 22.39 0.00 22.39 0.00 0.00 0.00
3589.14/3598.85 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3589.14/3598.85 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3589.14/3598.85 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3589.14/3598.85 c symmetry : 0.13 0.00 0.11 0.02 0.00 0.00
3589.14/3598.85 c vbounds : 0.05 0.00 0.03 0.02 0.00 0.00
3589.14/3598.85 c Symmetry :
3589.14/3598.85 c orbitopal red. : 0 reductions applied, 0 cutoffs
3589.14/3598.85 c orbital reduction: 0 reductions applied, 0 cutoffs
3589.14/3598.85 c lexicographic red: 1 reductions applied, 0 cutoffs
3589.14/3598.85 c shadow tree time : 0.00 s
3589.14/3598.85 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3589.14/3598.85 c propagation : 0.04 444 125 - 944 248.9 29 20.9 - - -
3589.14/3598.85 c infeasible LP : 0.84 31 19 - 672 3530.0 0 0.0 0 0.0 0
3589.14/3598.85 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3589.14/3598.85 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3589.14/3598.85 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3589.14/3598.85 c applied globally : 0.01 - - 0 329 478.9 - - 0 - -
3589.14/3598.85 c applied locally : - - - 0 0 0.0 - - 0 - -
3589.14/3598.85 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3589.14/3598.85 c cut pool : 0.00 - 21 21 - - 158 174 - - - - - (maximal pool size: 158)
3589.14/3598.85 c aggregation : 0.06 0.00 11 11 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c > cmir : - - - - - - - 0 0 0 0 0 -
3589.14/3598.85 c > flowcover : - - - - - - - 0 0 0 0 0 -
3589.14/3598.85 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3589.14/3598.85 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c clique : 2.11 0.00 11 11 0 0 73 91 0 57 57 0 0
3589.14/3598.85 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c gomory : 19.19 0.00 10 10 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3589.14/3598.85 c > strongcg : - - - - - - - 0 0 0 0 0 -
3589.14/3598.85 c impliedbounds : 0.06 0.00 11 11 0 0 6 4 0 2 2 0 0
3589.14/3598.85 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c multilinear : 0.00 0.00 15 11 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3589.14/3598.85 c zerohalf : 16.51 0.00 11 11 0 0 79 79 0 78 78 0 0
3589.14/3598.85 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3589.14/3598.85 c hybrid : 0.00 0.00 11 11 142 0 46 142 0 46
3589.14/3598.85 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3589.14/3598.85 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3589.14/3598.85 c Pricers : ExecTime SetupTime Calls Vars
3589.14/3598.85 c problem variables: 0.00 - 0 0
3589.14/3598.85 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3589.14/3598.85 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3589.14/3598.85 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3589.14/3598.85 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3589.14/3598.85 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3589.14/3598.85 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3589.14/3598.85 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3589.14/3598.85 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3589.14/3598.85 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3589.14/3598.85 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3589.14/3598.85 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3589.14/3598.85 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3589.14/3598.85 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3589.14/3598.85 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3589.14/3598.85 c relpscost : 43.57 0.00 12 0 0 0 0 0 0 24
3589.14/3598.85 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3589.14/3598.85 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3589.14/3598.85 c LP solutions : 0.00 - - 0 0
3589.14/3598.85 c relax solutions : 0.00 - - 0 0
3589.14/3598.85 c pseudo solutions : 0.00 - - 0 0
3589.14/3598.85 c strong branching : 0.00 - - 0 0
3589.14/3598.85 c actconsdiving : 0.00 0.00 0 0 0
3589.14/3598.85 c adaptivediving : 163.93 0.00 1 0 0
3589.14/3598.85 c alns : 0.00 0.00 0 0 0
3589.14/3598.85 c bound : 0.00 0.00 0 0 0
3589.14/3598.85 c clique : 0.08 0.00 1 0 0
3589.14/3598.85 c coefdiving : 0.00 0.00 0 0 0
3589.14/3598.85 c completesol : 0.00 0.00 0 0 0
3589.14/3598.85 c conflictdiving : 697.07 0.00 1 0 0
3589.14/3598.85 c crossover : 0.00 0.00 0 0 0
3589.14/3598.85 c dins : 0.00 0.00 0 0 0
3589.14/3598.85 c distributiondivin: 319.05 0.00 1 0 0
3589.14/3598.85 c dps : 0.00 0.00 0 0 0
3589.14/3598.85 c dualval : 0.00 0.00 0 0 0
3589.14/3598.85 c farkasdiving : 0.00 0.00 0 0 0
3589.14/3598.85 c feasjump : 0.04 0.00 1 0 0
3589.14/3598.85 c feaspump : 187.08 0.00 1 0 0
3589.14/3598.85 c fixandinfer : 0.00 0.00 0 0 0
3589.14/3598.85 c fracdiving : 365.74 0.00 1 0 0
3589.14/3598.85 c gins : 0.00 0.00 0 0 0
3589.14/3598.85 c guideddiving : 0.00 0.00 0 0 0
3589.14/3598.85 c indcoefdiving : 0.00 0.00 0 0 0
3589.14/3598.85 c indicator : 0.00 0.00 0 0 0
3589.14/3598.85 c indicatordiving : 0.00 0.00 0 0 0
3589.14/3598.85 c indoneopt : 0.00 0.00 0 0 0
3589.14/3598.85 c indrounding : 0.00 0.00 0 0 0
3589.14/3598.85 c indtwoopt : 0.00 0.00 0 0 0
3589.14/3598.85 c intdiving : 0.00 0.00 0 0 0
3589.14/3598.85 c intshifting : 0.00 0.00 0 0 0
3589.14/3598.85 c linesearchdiving : 0.00 0.00 0 0 0
3589.14/3598.85 c localbranching : 0.00 0.00 0 0 0
3589.14/3598.85 c locks : 0.08 0.00 1 0 0
3589.14/3598.85 c lpface : 0.00 0.00 0 0 0
3589.14/3598.85 c mpec : 0.00 0.00 0 0 0
3589.14/3598.85 c multistart : 0.00 0.00 0 0 0
3589.14/3598.85 c mutation : 0.00 0.00 0 0 0
3589.14/3598.85 c nlpdiving : 0.00 0.00 0 0 0
3589.14/3598.85 c objpscostdiving : 434.98 0.00 1 0 0
3589.14/3598.85 c octane : 0.00 0.00 0 0 0
3589.14/3598.85 c ofins : 0.00 0.00 0 0 0
3589.14/3598.85 c oneopt : 0.00 0.00 0 0 0
3589.14/3598.85 c padm : 0.00 0.00 0 0 0
3589.14/3598.85 c proximity : 0.00 0.00 0 0 0
3589.14/3598.85 c pscostdiving : 599.26 0.00 1 0 0
3589.14/3598.85 c randrounding : 0.18 0.00 12 0 0
3589.14/3598.85 c rens : 0.34 0.00 1 0 0
3589.14/3598.85 c reoptsols : 0.00 0.00 0 0 0
3589.14/3598.85 c repair : 0.00 0.00 0 0 0
3589.14/3598.85 c rins : 0.00 0.00 0 0 0
3589.14/3598.85 c rootsoldiving : 0.00 0.00 0 0 0
3589.14/3598.85 c rounding : 0.03 0.00 23 0 0
3589.14/3598.85 c scheduler : 0.00 0.00 0 0 0
3589.14/3598.85 c shiftandpropagate: 0.02 0.00 1 0 0
3589.14/3598.85 c shifting : 0.14 0.00 12 0 0
3589.14/3598.85 c simplerounding : 0.00 0.00 0 0 0
3589.14/3598.85 c smallcard : 0.00 0.00 0 0 0
3589.14/3598.85 c subnlp : 0.00 0.00 0 0 0
3589.14/3598.85 c trivial : 0.01 0.00 2 0 0
3589.14/3598.85 c trivialnegation : 0.00 0.00 0 0 0
3589.14/3598.85 c trustregion : 0.00 0.00 0 0 0
3589.14/3598.85 c trysol : 0.00 0.00 0 0 0
3589.14/3598.85 c twoopt : 0.00 0.00 0 0 0
3589.14/3598.85 c undercover : 0.00 0.00 0 0 0
3589.14/3598.85 c vbounds : 0.13 0.00 1 0 0
3589.14/3598.85 c veclendiving : 142.77 0.00 1 0 0
3589.14/3598.85 c zeroobj : 0.00 0.00 0 0 0
3589.14/3598.85 c zirounding : 0.01 0.00 11 0 0
3589.14/3598.85 c other solutions : - - - 0 -
3589.14/3598.85 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3589.14/3598.85 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
3589.14/3598.85 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
3589.14/3598.85 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
3589.14/3598.85 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
3589.14/3598.85 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
3589.14/3598.85 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
3589.14/3598.85 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
3589.14/3598.85 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
3589.14/3598.85 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
3589.14/3598.85 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3589.14/3598.85 c primal LP : 0.03 1 0 0.00 0.00 0.03 1
3589.14/3598.85 c dual LP : 577.40 23 263181 11442.65 455.80 0.00 0
3589.14/3598.85 c lex dual LP : 0.00 0 0 0.00 -
3589.14/3598.85 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3589.14/3598.85 c resolve instable : 18.88 3 22959 7653.00 1215.77
3589.14/3598.85 c diving/probing LP: 2913.86 182 1056360 5804.18 362.53
3589.14/3598.85 c strong branching : 35.86 19 18449 971.00 514.42 - - 36
3589.14/3598.85 c (at root node) : - 19 18449 971.00 -
3589.14/3598.85 c conflict analysis: 0.00 0 0 0.00 -
3589.14/3598.85 c B&B Tree :
3589.14/3598.85 c number of runs : 1
3589.14/3598.85 c nodes : 12 (12 internal, 0 leaves)
3589.14/3598.85 c feasible leaves : 0
3589.14/3598.85 c infeas. leaves : 0
3589.14/3598.85 c objective leaves : 0
3589.14/3598.85 c nodes (total) : 12 (12 internal, 0 leaves)
3589.14/3598.85 c nodes left : 13
3589.14/3598.85 c max depth : 5
3589.14/3598.85 c max depth (total): 5
3589.14/3598.85 c backtracks : 5 (41.7%)
3589.14/3598.85 c early backtracks : 0 (0.0%)
3589.14/3598.85 c nodes exc. ref. : 0 (0.0%)
3589.14/3598.85 c delayed cutoffs : 0
3589.14/3598.85 c repropagations : 3 (1 domain reductions, 0 cutoffs)
3589.14/3598.85 c avg switch length: 2.25
3589.14/3598.85 c switching time : 0.04
3589.14/3598.85 c Root Node :
3589.14/3598.85 c First LP value : +0.00000000000000e+00
3589.14/3598.85 c First LP Iters : 19074 (814.82 Iter/sec)
3589.14/3598.85 c First LP Time : 23.41
3589.14/3598.85 c Final Dual Bound : +0.00000000000000e+00
3589.14/3598.85 c Final Root Iters : 256522
3589.14/3598.85 c Root LP Estimate : +2.34511836879973e-03
3589.14/3598.85 c Solution :
3589.14/3598.85 c Solutions found : 0 (0 improvements)
3589.14/3598.85 c Primal Bound : -
3589.14/3598.85 c Dual Bound : +0.00000000000000e+00
3589.14/3598.85 c Gap : infinite
3589.14/3598.85 c Integrals : Total Avg%
3589.14/3598.85 c primal-dual : 359883.61 100.00
3589.14/3598.85 c primal-ref : - - (not evaluated)
3589.14/3598.85 c dual-ref : - - (not evaluated)
3589.24/3598.97 c Time complete: 3589.32.
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 (63027 MiB free)
memory of node 1: 64465 MiB (63856 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507238-1751185786/watcher-4507238-1751185786 -o /tmp/evaluation-result-4507238-1751185786/solver-4507238-1751185786 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751182186-23748 --watchdog 3760 pbscip -f HOME/instance-4507238-1751185786.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24149, runsolver pid=24142
[startup+0.100064 s]*
/proc/loadavg: 4.10 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129818964/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=95508 memory=69444 CPUtime=0.09 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 14245 0 0 0 7 2 0 0 20 0 1 0 34257228 97800192 17361 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 23877 17361 3520 3530 0 15328 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 95508 KiB
Current children cumulated memory: 69444 KiB
[startup+0.205646 s]*
/proc/loadavg: 4.10 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129746592/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=130624 memory=101188 CPUtime=0.19 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 22153 0 0 0 16 3 0 0 20 0 1 0 34257228 133758976 25297 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 32656 25297 3552 3530 0 24107 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 130624 KiB
Current children cumulated memory: 101188 KiB
[startup+0.305632 s]*
/proc/loadavg: 4.10 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129675716/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=157740 memory=128068 CPUtime=0.28 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 31407 0 0 0 24 4 0 0 20 0 1 0 34257228 161525760 32017 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 39435 32017 3648 3530 0 30886 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 157740 KiB
Current children cumulated memory: 128068 KiB
[startup+0.70019 s]
/proc/loadavg: 4.10 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129645624/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=169492 memory=139364 CPUtime=0.67 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 37260 0 0 0 62 5 0 0 20 0 1 0 34257228 173559808 34841 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 42373 34841 3680 3530 0 33824 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 169492 KiB
Current children cumulated memory: 139364 KiB
[startup+1.50018 s]
/proc/loadavg: 4.10 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129638020/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=212912 memory=178752 CPUtime=1.47 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 45694 0 0 0 140 7 0 0 20 0 1 0 34257228 218021888 44688 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 53228 44688 3712 3530 0 44679 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 212912 KiB
Current children cumulated memory: 178752 KiB
[startup+3.10541 s]
/proc/loadavg: 4.09 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129593728/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=217672 memory=183488 CPUtime=3.07 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 46873 0 0 0 300 7 0 0 20 0 1 0 34257228 222896128 45872 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 54418 45872 3712 3530 0 45869 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 217672 KiB
Current children cumulated memory: 183488 KiB
[startup+6.30017 s]
/proc/loadavg: 4.09 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129594144/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=218696 memory=184512 CPUtime=6.25 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 47149 0 0 0 618 7 0 0 20 0 1 0 34257228 223944704 46128 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 54674 46128 3712 3530 0 46125 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 218696 KiB
Current children cumulated memory: 184512 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.09 4.05 5/265 24169
/proc/meminfo: memFree=129514284/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=226624 memory=192448 CPUtime=12.64 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 49170 0 0 0 1256 8 0 0 20 0 1 0 34257228 232062976 48112 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 56656 48112 3712 3530 0 48107 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 226624 KiB
Current children cumulated memory: 192448 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.09 4.05 5/265 24169
/proc/meminfo: memFree=129506248/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=228096 memory=193856 CPUtime=25.39 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 49544 0 0 0 2531 8 0 0 20 0 1 0 34257228 233570304 48464 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 57024 48464 3712 3530 0 48475 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 228096 KiB
Current children cumulated memory: 193856 KiB
[startup+51.1054 s]
/proc/loadavg: 4.04 4.08 4.05 5/265 24170
/proc/meminfo: memFree=129142068/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=333520 memory=275060 CPUtime=50.92 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 72387 0 0 0 5081 11 0 0 20 0 1 0 34257228 341524480 68765 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 83380 68765 3936 3530 0 74831 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 333520 KiB
Current children cumulated memory: 275060 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.06 5/266 24178
/proc/meminfo: memFree=129140812/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=336928 memory=280692 CPUtime=101.97 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 73314 0 0 0 10186 11 0 0 20 0 1 0 34257228 345014272 70173 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 84232 70173 3936 3530 0 75683 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 336928 KiB
Current children cumulated memory: 280692 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.06 5/265 24180
/proc/meminfo: memFree=129095240/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=337676 memory=287476 CPUtime=161.8 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 73458 0 0 0 16169 11 0 0 20 0 1 0 34257228 345780224 71869 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 84419 71869 3936 3530 0 75870 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 337676 KiB
Current children cumulated memory: 287476 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.06 5/266 24183
/proc/meminfo: memFree=129092464/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=341432 memory=291312 CPUtime=221.63 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 73923 0 0 0 22152 11 0 0 20 0 1 0 34257228 349626368 72828 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 85358 72828 3936 3530 0 76809 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 341432 KiB
Current children cumulated memory: 291312 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.08 4.06 5/266 24185
/proc/meminfo: memFree=128992180/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=434380 memory=379320 CPUtime=281.47 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 82738 0 0 0 28133 14 0 0 20 0 1 0 34257228 444805120 94830 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 108595 94830 3936 3530 0 100046 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 434380 KiB
Current children cumulated memory: 379320 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.08 4.06 5/264 24187
/proc/meminfo: memFree=128971908/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=444140 memory=388792 CPUtime=341.32 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 85191 0 0 0 34117 15 0 0 20 0 1 0 34257228 454799360 97198 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 111035 97198 3936 3530 0 102486 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 444140 KiB
Current children cumulated memory: 388792 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.10 4.06 5/263 24189
/proc/meminfo: memFree=128971760/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=449140 memory=392268 CPUtime=401.15 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 85646 0 0 0 40100 15 0 0 20 0 1 0 34257228 459919360 98067 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 112285 98067 3936 3530 0 103736 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 449140 KiB
Current children cumulated memory: 392268 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.08 4.06 5/263 24191
/proc/meminfo: memFree=128964748/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=458544 memory=402044 CPUtime=460.99 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 87165 0 0 0 46083 16 0 0 20 0 1 0 34257228 469549056 100511 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 114636 100511 3936 3530 0 106087 0
################
# More data... #
################
/proc/loadavg: 4.09 4.09 4.09 5/265 24350
/proc/meminfo: memFree=128668216/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=609312 memory=560508 CPUtime=3213.57 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 123709 0 0 0 321335 22 0 0 20 0 1 0 34257228 623935488 140127 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 152328 140127 4160 3530 0 143779 0
Current children cumulated CPU time: 3213.57 s
Current children cumulated vsize: 609312 KiB
Current children cumulated memory: 560508 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 24351
/proc/meminfo: memFree=128668248/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=609312 memory=560508 CPUtime=3273.42 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 123711 0 0 0 327320 22 0 0 20 0 1 0 34257228 623935488 140127 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 152328 140127 4160 3530 0 143779 0
Current children cumulated CPU time: 3273.42 s
Current children cumulated vsize: 609312 KiB
Current children cumulated memory: 560508 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 24353
/proc/meminfo: memFree=128668788/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=609312 memory=560508 CPUtime=3333.27 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 123711 0 0 0 333305 22 0 0 20 0 1 0 34257228 623935488 140127 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 152328 140127 4160 3530 0 143779 0
Current children cumulated CPU time: 3333.27 s
Current children cumulated vsize: 609312 KiB
Current children cumulated memory: 560508 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 24355
/proc/meminfo: memFree=128668532/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=609312 memory=560508 CPUtime=3393.12 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 123711 0 0 0 339290 22 0 0 20 0 1 0 34257228 623935488 140127 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 152328 140127 4160 3530 0 143779 0
Current children cumulated CPU time: 3393.12 s
Current children cumulated vsize: 609312 KiB
Current children cumulated memory: 560508 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/263 24357
/proc/meminfo: memFree=128667884/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=609312 memory=560508 CPUtime=3452.98 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 123711 0 0 0 345276 22 0 0 20 0 1 0 34257228 623935488 140127 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 152328 140127 4160 3530 0 143779 0
Current children cumulated CPU time: 3452.98 s
Current children cumulated vsize: 609312 KiB
Current children cumulated memory: 560508 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 24359
/proc/meminfo: memFree=128667996/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=609312 memory=560508 CPUtime=3512.83 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 123711 0 0 0 351261 22 0 0 20 0 1 0 34257228 623935488 140127 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 152328 140127 4160 3530 0 143779 0
Current children cumulated CPU time: 3512.83 s
Current children cumulated vsize: 609312 KiB
Current children cumulated memory: 560508 KiB
[startup+3582.3 s]
/proc/loadavg: 4.34 4.14 4.11 5/264 24364
/proc/meminfo: memFree=128668316/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=609312 memory=560508 CPUtime=3572.68 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 123817 0 0 0 357246 22 0 0 20 0 1 0 34257228 623935488 140127 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 152328 140127 4160 3530 0 143779 0
Current children cumulated CPU time: 3572.68 s
Current children cumulated vsize: 609312 KiB
Current children cumulated memory: 560508 KiB
[startup+3598.97 s]
# the end of solver process 24149 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.1 s, system=0.227232 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.48 4.17 4.12 5/264 24364
/proc/meminfo: memFree=128668340/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=609312 memory=560508 CPUtime=3574.38 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 123817 0 0 0 357416 22 0 0 20 0 1 0 34257228 623935488 140127 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 152328 140127 4160 3530 0 143779 0
Current children cumulated CPU time: 3574.38 s
Current children cumulated vsize: 609312 KiB
Current children cumulated memory: 560508 KiB
[startup+3590.4 s]
/proc/loadavg: 4.52 4.19 4.12 5/264 24365
/proc/meminfo: memFree=128668340/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=609312 memory=560508 CPUtime=3580.76 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 123817 0 0 0 358054 22 0 0 20 0 1 0 34257228 623935488 140127 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 152328 140127 4160 3530 0 143779 0
Current children cumulated CPU time: 3580.76 s
Current children cumulated vsize: 609312 KiB
Current children cumulated memory: 560508 KiB
[startup+3593.6 s]
/proc/loadavg: 4.48 4.18 4.12 5/264 24365
/proc/meminfo: memFree=128668372/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=609312 memory=560508 CPUtime=3583.96 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 123817 0 0 0 358374 22 0 0 20 0 1 0 34257228 623935488 140127 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 152328 140127 4160 3530 0 143779 0
Current children cumulated CPU time: 3583.96 s
Current children cumulated vsize: 609312 KiB
Current children cumulated memory: 560508 KiB
[startup+3596.8 s]
/proc/loadavg: 4.48 4.18 4.12 5/263 24365
/proc/meminfo: memFree=128668388/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=609312 memory=560508 CPUtime=3587.15 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 123817 0 0 0 358693 22 0 0 20 0 1 0 34257228 623935488 140127 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 152328 140127 4160 3530 0 143779 0
Current children cumulated CPU time: 3587.15 s
Current children cumulated vsize: 609312 KiB
Current children cumulated memory: 560508 KiB
[startup+3597.6 s]
/proc/loadavg: 4.48 4.18 4.12 5/263 24365
/proc/meminfo: memFree=128668388/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=609312 memory=560508 CPUtime=3587.95 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 123817 0 0 0 358773 22 0 0 20 0 1 0 34257228 623935488 140127 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 152328 140127 4160 3530 0 143779 0
Current children cumulated CPU time: 3587.95 s
Current children cumulated vsize: 609312 KiB
Current children cumulated memory: 560508 KiB
[startup+3598.4 s]
/proc/loadavg: 4.44 4.18 4.12 3/255 24432
/proc/meminfo: memFree=129412052/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=609312 memory=560508 CPUtime=3588.74 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 123817 0 0 0 358852 22 0 0 20 0 1 0 34257228 623935488 140127 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 152328 140127 4160 3530 0 143779 0
Current children cumulated CPU time: 3588.74 s
Current children cumulated vsize: 609312 KiB
Current children cumulated memory: 560508 KiB
[startup+3598.8 s]
/proc/loadavg: 4.44 4.18 4.12 3/255 24432
/proc/meminfo: memFree=129412052/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=609312 memory=560508 CPUtime=3589.14 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 123817 0 0 0 358892 22 0 0 20 0 1 0 34257228 623935488 140127 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 152328 140127 4160 3530 0 143779 0
Current children cumulated CPU time: 3589.14 s
Current children cumulated vsize: 609312 KiB
Current children cumulated memory: 560508 KiB
[startup+3598.9 s]
/proc/loadavg: 4.44 4.18 4.12 3/255 24432
/proc/meminfo: memFree=129412052/131250000 swapFree=33010684/33010684
[pid=24149] ppid=24142 vsize=553388 memory=504644 CPUtime=3589.24 cores=0,2
/proc/24149/stat : 24149 (pbscip) R 24142 24149 23738 0 -1 4194304 123863 0 0 0 358902 22 0 0 20 0 1 0 34257228 566669312 126161 18446744073709551615 4235264 18693293 140734341904752 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 42676224 140734341908873 140734341908972 140734341908972 140734341914574 0
/proc/24149/statm: 138347 126161 4160 3530 0 129798 0
Current children cumulated CPU time: 3589.24 s
Current children cumulated vsize: 553388 KiB
Current children cumulated memory: 504644 KiB
Child status: 0
Real time (s): 3598.97
CPU time (s): 3589.32
CPU user time (s): 3589.1
CPU system time (s): 0.227232
CPU usage (%): 99.7318
Max. virtual memory (cumulated for all children) (KiB): 609312
Max. memory (cumulated for all children) (KiB): 560508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.1
system time used= 0.227232
maximum resident set size= 560508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123908
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= 120
involuntary context switches= 7862
# summary of solver processes directly reported to runsolver:
# pid: 24149
# total CPU time (s): 3589.32
# total CPU user time (s): 3589.1
# total CPU system time (s): 0.227232
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.27426 second user time and 14.4426 second system time
The end
Begin job on nodeC026 at 2025-06-29 10:29:46 IDJOB=4507238 IDBENCH=158331 IDSOLVER=3365 FILE ID=nodeC026/4507238-1751185786 RUNJOBID= nodeC026-1751182186-23748 SLURM_JOB_ID= 9587556 Free space on /tmp= 433056 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K177.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507238-1751185786/watcher-4507238-1751185786 -o /tmp/evaluation-result-4507238-1751185786/solver-4507238-1751185786 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751182186-23748 --watchdog 3760 pbscip -f HOME/instance-4507238-1751185786.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4b187363ec0683eba575f162bd763393 RANDOM SEED=1593073636 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 : 3598.615 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 : 3495.474 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.992 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 : 3599.896 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.793 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 : 3563.090 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.701 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.792 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: 129970192 kB MemAvailable: 129744464 kB Buffers: 3280 kB Cached: 584084 kB SwapCached: 0 kB Active: 292736 kB Inactive: 363896 kB Active(anon): 87348 kB Inactive(anon): 0 kB Active(file): 205388 kB Inactive(file): 363896 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 43344 kB Writeback: 28 kB AnonPages: 72400 kB Mapped: 102816 kB Shmem: 18080 kB KReclaimable: 88452 kB Slab: 174032 kB SReclaimable: 88452 kB SUnreclaim: 85580 kB KernelStack: 4128 kB PageTables: 2888 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 333388 kB VmallocTotal: 34359738367 kB VmallocUsed: 150392 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= 432984 MiB End job on nodeC026 at 2025-06-29 11:29:45