| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3589.53 | 3599.03 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K155.opb |
| MD5SUM | 4394b20101c323a14e6df6504cadd31d |
| 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 | 18445 |
| Total number of constraints | 18757 |
| Number of constraints which are clauses | 18602 |
| Number of constraints which are cardinality constraints (but not clauses) | 155 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 155 |
| 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 | 156 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4507059-1751183686.opb>
0.00/0.06 c original problem has 18445 variables (18445 bin, 0 int, 0 cont) and 18757 constraints
0.00/0.06 c problem read in 0.061 seconds
0.00/0.06 c problem without objective
0.09/0.13 c presolving:
0.09/0.16 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, 2129 clqs
0.09/0.17 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, 2113 clqs
0.09/0.17 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, 2134 clqs
0.09/0.18 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, 2165 clqs
0.09/0.18 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, 2188 clqs
0.09/0.18 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, 2198 clqs
0.19/0.23 c (0.2s) running MILP presolver
0.49/0.52 c (0.5s) MILP presolver (4 rounds): 1 aggregations, 156 fixings, 0 bound changes
0.49/0.53 c (round 7, medium) 1339 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2208 clqs
0.49/0.54 c (round 8, fast) 1339 del vars, 793 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2213 clqs
0.49/0.56 c (round 9, exhaustive) 1339 del vars, 945 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2213 clqs
0.60/0.64 c (round 10, exhaustive) 1339 del vars, 945 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 17812 upgd conss, 0 impls, 2213 clqs
0.69/0.79 c (round 11, exhaustive) 1447 del vars, 945 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 107 chg coeffs, 17812 upgd conss, 0 impls, 2200 clqs
0.79/0.80 c (round 12, fast) 1555 del vars, 1053 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 107 chg coeffs, 17812 upgd conss, 0 impls, 2200 clqs
2.58/2.61 c (round 13, exhaustive) 1581 del vars, 1054 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 107 chg coeffs, 17812 upgd conss, 0 impls, 111987 clqs
2.58/2.61 c (round 14, fast) 1582 del vars, 1080 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 161 chg coeffs, 17812 upgd conss, 0 impls, 112001 clqs
3.77/3.80 c (round 15, exhaustive) 1608 del vars, 1080 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 161 chg coeffs, 17812 upgd conss, 0 impls, 111970 clqs
3.77/3.81 c (round 16, fast) 1609 del vars, 1106 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 216 chg coeffs, 17812 upgd conss, 0 impls, 111979 clqs
4.87/4.94 c (round 17, exhaustive) 1635 del vars, 1106 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 216 chg coeffs, 17812 upgd conss, 0 impls, 111971 clqs
4.87/4.95 c (round 18, fast) 1636 del vars, 1132 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 280 chg coeffs, 17812 upgd conss, 0 impls, 111989 clqs
5.48/5.56 c (round 19, exhaustive) 1662 del vars, 1132 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 280 chg coeffs, 17812 upgd conss, 0 impls, 111974 clqs
5.48/5.56 c (round 20, fast) 1663 del vars, 1158 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 344 chg coeffs, 17812 upgd conss, 0 impls, 111985 clqs
6.57/6.66 c (6.7s) probing: 1000/17438 (5.7%) - 116 fixings, 0 aggregations, 1099014 implications, 0 bound changes
6.77/6.89 c (round 21, exhaustive) 1689 del vars, 1158 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 344 chg coeffs, 17812 upgd conss, 0 impls, 112000 clqs
6.77/6.89 c (round 22, fast) 1690 del vars, 1184 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 405 chg coeffs, 17812 upgd conss, 0 impls, 112010 clqs
7.37/7.41 c (round 23, exhaustive) 1715 del vars, 1184 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 405 chg coeffs, 17812 upgd conss, 0 impls, 112028 clqs
7.37/7.41 c (round 24, fast) 1715 del vars, 1209 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 474 chg coeffs, 17812 upgd conss, 0 impls, 112045 clqs
8.17/8.23 c (round 25, exhaustive) 1748 del vars, 1209 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 474 chg coeffs, 17812 upgd conss, 0 impls, 110146 clqs
8.17/8.24 c (round 26, fast) 1748 del vars, 1242 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 576 chg coeffs, 17812 upgd conss, 0 impls, 110173 clqs
8.37/8.47 c (round 27, exhaustive) 1777 del vars, 1242 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 577 chg coeffs, 17812 upgd conss, 0 impls, 110891 clqs
8.37/8.48 c (round 28, fast) 1777 del vars, 1271 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 639 chg coeffs, 17812 upgd conss, 0 impls, 110904 clqs
8.76/8.85 c (round 29, exhaustive) 1803 del vars, 1271 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 639 chg coeffs, 17812 upgd conss, 0 impls, 112039 clqs
8.76/8.85 c (round 30, fast) 1803 del vars, 1297 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 696 chg coeffs, 17812 upgd conss, 0 impls, 112048 clqs
10.56/10.60 c (round 31, exhaustive) 1828 del vars, 1297 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 697 chg coeffs, 17812 upgd conss, 0 impls, 111385 clqs
10.56/10.61 c (round 32, fast) 1828 del vars, 1322 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 763 chg coeffs, 17812 upgd conss, 0 impls, 111397 clqs
11.86/11.93 c (round 33, exhaustive) 1854 del vars, 1322 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 764 chg coeffs, 17812 upgd conss, 0 impls, 112012 clqs
11.86/11.94 c (round 34, fast) 1855 del vars, 1348 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 822 chg coeffs, 17812 upgd conss, 0 impls, 112021 clqs
13.65/13.79 c (round 35, exhaustive) 1880 del vars, 1348 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 822 chg coeffs, 17812 upgd conss, 0 impls, 112038 clqs
13.65/13.79 c (round 36, fast) 1880 del vars, 1373 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 870 chg coeffs, 17812 upgd conss, 0 impls, 112042 clqs
13.95/14.02 c (round 37, exhaustive) 1907 del vars, 1373 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 870 chg coeffs, 17812 upgd conss, 0 impls, 111871 clqs
13.95/14.03 c (round 38, fast) 1909 del vars, 1400 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 911 chg coeffs, 17812 upgd conss, 0 impls, 111875 clqs
14.15/14.26 c (round 39, exhaustive) 1934 del vars, 1400 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 911 chg coeffs, 17812 upgd conss, 0 impls, 111560 clqs
14.15/14.27 c (round 40, fast) 1934 del vars, 1425 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 932 chg coeffs, 17812 upgd conss, 0 impls, 111560 clqs
14.35/14.49 c (round 41, exhaustive) 1959 del vars, 1425 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 932 chg coeffs, 17812 upgd conss, 0 impls, 111276 clqs
14.35/14.49 c (round 42, fast) 1959 del vars, 1450 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 957 chg coeffs, 17812 upgd conss, 0 impls, 111276 clqs
15.15/15.21 c (15.2s) probing: 2000/17438 (11.5%) - 403 fixings, 1 aggregations, 2679465 implications, 0 bound changes
19.63/19.74 c (19.7s) probing: 3000/17438 (17.2%) - 407 fixings, 1 aggregations, 3916811 implications, 0 bound changes
23.93/24.08 c (round 43, exhaustive) 1984 del vars, 1450 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 957 chg coeffs, 17812 upgd conss, 0 impls, 112038 clqs
23.93/24.09 c (round 44, fast) 1984 del vars, 1475 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 986 chg coeffs, 17812 upgd conss, 0 impls, 112040 clqs
24.22/24.32 c (round 45, exhaustive) 2009 del vars, 1475 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 986 chg coeffs, 17812 upgd conss, 0 impls, 111957 clqs
24.22/24.32 c (round 46, fast) 2009 del vars, 1500 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1022 chg coeffs, 17812 upgd conss, 0 impls, 111959 clqs
24.42/24.54 c (24.5s) probing: 4000/17438 (22.9%) - 454 fixings, 1 aggregations, 5038739 implications, 0 bound changes
24.42/24.57 c (round 47, exhaustive) 2034 del vars, 1500 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1022 chg coeffs, 17812 upgd conss, 0 impls, 112121 clqs
24.42/24.58 c (round 48, fast) 2034 del vars, 1525 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1048 chg coeffs, 17812 upgd conss, 0 impls, 112121 clqs
28.51/28.63 c (28.6s) probing: 5000/17438 (28.7%) - 467 fixings, 1 aggregations, 5951923 implications, 0 bound changes
32.40/32.51 c (32.5s) probing: 6000/17438 (34.4%) - 475 fixings, 1 aggregations, 6881389 implications, 0 bound changes
36.29/36.47 c (36.5s) probing: 7000/17438 (40.1%) - 479 fixings, 1 aggregations, 7821610 implications, 0 bound changes
39.88/40.02 c (round 49, exhaustive) 2059 del vars, 1525 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1048 chg coeffs, 17812 upgd conss, 0 impls, 112111 clqs
39.88/40.03 c (round 50, fast) 2059 del vars, 1550 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1099 chg coeffs, 17812 upgd conss, 0 impls, 112121 clqs
39.98/40.19 c (round 51, exhaustive) 2084 del vars, 1550 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1099 chg coeffs, 17812 upgd conss, 0 impls, 112102 clqs
40.08/40.20 c (round 52, fast) 2084 del vars, 1575 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1132 chg coeffs, 17812 upgd conss, 0 impls, 112102 clqs
40.38/40.55 c (40.6s) probing: 8000/17438 (45.9%) - 513 fixings, 1 aggregations, 8708150 implications, 0 bound changes
44.17/44.38 c (44.4s) probing: 8967/17438 (51.4%) - 513 fixings, 1 aggregations, 9611456 implications, 0 bound changes
44.17/44.38 c (44.4s) probing aborted: 1000/1000 successive useless probings
44.27/44.42 c (44.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
44.27/44.46 c (44.5s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 1.68) (symcode time: 0.02)
44.27/44.49 c dynamic symmetry handling statistics:
44.27/44.49 c orbitopal reduction: no components
44.27/44.49 c orbital reduction: no components
44.27/44.49 c lexicographic reduction: 3 permutations with support sizes 1432, 596, 286
44.27/44.49 c handled 4 out of 4 symmetry components
44.37/44.51 c presolving (53 rounds: 53 fast, 25 medium, 24 exhaustive):
44.37/44.51 c 2088 deleted vars, 1576 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1133 changed coefficients
44.37/44.51 c 0 implications, 112280 cliques
44.37/44.51 c presolved problem has 16913 variables (16913 bin, 0 int, 0 cont) and 17182 constraints
44.37/44.51 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
44.37/44.51 c 1 constraints of type <knapsack>
44.37/44.51 c 2102 constraints of type <setppc>
44.37/44.51 c 1 constraints of type <orbitope_pp>
44.37/44.51 c 15078 constraints of type <logicor>
44.37/44.51 c transformed objective value is always integral (scale: 1)
44.37/44.51 c Presolving Time: 44.39
44.37/44.51 c
44.37/44.51 c - non default parameters ----------------------------------------------------------------------
44.37/44.51 c
44.37/44.51 c # SCIP version 10.0.0
44.37/44.51 c
44.37/44.51 c # maximal time in seconds to run
44.37/44.51 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
44.37/44.51 c limits/time = 3596.998432
44.37/44.51 c
44.37/44.51 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
44.37/44.51 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
44.37/44.51 c limits/memory = 27900
44.37/44.51 c
44.37/44.51 c # belongs reading time to solving time?
44.37/44.51 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
44.37/44.51 c timing/reading = TRUE
44.37/44.51 c
44.37/44.51 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
44.37/44.51 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
44.37/44.51 c reading/opbreader/maxintsize = 47
44.37/44.51 c
44.37/44.51 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
44.37/44.51 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
44.37/44.51 c propagating/genvbounds/timingmask = 0
44.37/44.51 c
44.37/44.51 c -----------------------------------------------------------------------------------------------
44.37/44.52 c
64.91/65.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
64.91/65.13 c 65.1s| 1 | 0 | 17723 | - | 332M | 0 | 16k| 17k| 17k| 0 | 0 | 159 | 0 | 0.000000e+00 | -- | Inf | unknown
269.93/270.75 c 271s| 1 | 0 |115583 | - | 359M | 0 | 16k| 17k| 17k| 15 | 1 | 164 | 0 | 0.000000e+00 | -- | Inf | unknown
293.07/293.93 c 294s| 1 | 0 |126623 | - | 364M | 0 | 16k| 17k| 17k| 21 | 2 | 170 | 0 | 0.000000e+00 | -- | Inf | unknown
320.30/321.23 c 321s| 1 | 0 |138919 | - | 366M | 0 | 16k| 17k| 17k| 26 | 3 | 173 | 0 | 0.000000e+00 | -- | Inf | unknown
347.22/348.22 c 348s| 1 | 0 |150538 | - | 374M | 0 | 16k| 17k| 17k| 34 | 4 | 177 | 0 | 0.000000e+00 | -- | Inf | unknown
380.83/381.91 c 382s| 1 | 0 |164501 | - | 377M | 0 | 16k| 17k| 17k| 56 | 5 | 187 | 0 | 0.000000e+00 | -- | Inf | unknown
413.95/415.18 c 415s| 1 | 0 |178300 | - | 381M | 0 | 16k| 17k| 17k| 78 | 6 | 195 | 0 | 0.000000e+00 | -- | Inf | unknown
442.27/443.59 c 444s| 1 | 0 |189702 | - | 385M | 0 | 16k| 17k| 17k| 86 | 7 | 198 | 0 | 0.000000e+00 | -- | Inf | unknown
471.79/473.19 c 473s| 1 | 0 |201304 | - | 387M | 0 | 16k| 17k| 17k| 92 | 8 | 201 | 0 | 0.000000e+00 | -- | Inf | unknown
508.49/509.96 c 510s| 1 | 0 |215162 | - | 391M | 0 | 16k| 17k| 17k| 107 | 9 | 204 | 0 | 0.000000e+00 | -- | Inf | unknown
541.91/543.44 c 543s| 1 | 0 |228154 | - | 394M | 0 | 16k| 17k| 17k| 116 | 10 | 214 | 0 | 0.000000e+00 | -- | Inf | unknown
582.89/584.50 c 585s| 1 | 0 |243576 | - | 404M | 0 | 16k| 17k| 17k| 137 | 11 | 215 | 0 | 0.000000e+00 | -- | Inf | unknown
1110.31/1113.39 c 1113s| 1 | 2 |477566 | - | 407M | 0 | 16k| 17k| 17k| 137 | 11 | 225 | 19 | 0.000000e+00 | -- | Inf | unknown
3589.39/3598.92 c
3589.39/3598.92 c SCIP Status : solving was interrupted [time limit reached]
3589.39/3598.92 c Solving Time (sec) : 3598.92
3589.39/3598.92 c Solving Nodes : 27
3589.39/3598.92 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3589.39/3598.92 c Dual Bound : +0.00000000000000e+00
3589.39/3598.92 c Gap : infinite
3589.39/3598.92 s UNKNOWN
3589.39/3598.92 c SCIP Status : solving was interrupted [time limit reached]
3589.39/3598.92 c Total Time : 3598.92
3589.39/3598.92 c solving : 3598.92
3589.39/3598.92 c presolving : 44.39 (included in solving)
3589.39/3598.92 c reading : 0.06 (included in solving)
3589.39/3598.92 c copying : 0.07 (2 #copies) (minimal 0.03, maximal 0.04, average 0.04)
3589.39/3598.92 c Original Problem :
3589.39/3598.92 c Problem name : HOME/instance-4507059-1751183686.opb
3589.39/3598.92 c Variables : 18445 (18445 binary, 0 integer, 0 continuous)
3589.39/3598.92 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3589.39/3598.92 c Constraints : 18757 initial, 18757 maximal
3589.39/3598.92 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3589.39/3598.92 c Presolved Problem :
3589.39/3598.92 c Problem name : t_HOME/instance-4507059-1751183686.opb
3589.39/3598.92 c Variables : 16913 (16913 binary, 0 integer, 0 continuous)
3589.39/3598.92 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3589.39/3598.92 c Constraints : 17182 initial, 17443 maximal
3589.39/3598.92 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3589.39/3598.92 c Nonzeros : 93993 constraint, 241171 clique table
3589.39/3598.92 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3589.39/3598.92 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c domcol : 0.87 0.00 21 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c dualsparsify : 0.03 0.00 1 0 0 0 0 0 1 0 0 1
3589.39/3598.92 c gateextraction : 0.17 0.00 22 0 0 0 0 0 1 0 0 0
3589.39/3598.92 c implics : 0.00 0.00 25 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c milp : 0.34 0.00 1 156 1 0 0 0 0 0 0 0
3589.39/3598.92 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c sparsify : 0.48 0.00 4 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c trivial : 0.02 0.00 53 556 0 0 0 0 0 0 0 0
3589.39/3598.92 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c dualfix : 0.02 0.00 53 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c probing : 38.57 0.00 21 513 1 0 0 0 0 0 0 0
3589.39/3598.92 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c symmetry : 0.07 0.00 1 3 0 0 0 0 0 1 0 0
3589.39/3598.92 c vbounds : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c knapsack : 0.01 0.00 87 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c setppc : 0.17 0.00 87 0 0 0 0 0 110 0 0 0
3589.39/3598.92 c linear : 0.14 0.01 12 302 0 0 302 0 945 0 0 0
3589.39/3598.92 c orbitope_pp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c logicor : 3.41 0.01 87 108 0 0 0 0 519 0 0 1132
3589.39/3598.92 c components : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c root node : - - - 0 - - 0 - - - - -
3589.39/3598.92 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3589.39/3598.92 c integral : 0 0 0 0 26 0 0 7 0 0 0 0 0 0 52
3589.39/3598.92 c knapsack : 1 1 11 465344 0 0 0 3 0 0 0 0 0 0 0
3589.39/3598.92 c setppc : 2102+ 2212 11 471273 0 0 0 3 16685 328 10371 0 0 0 0
3589.39/3598.92 c linear : 0+ 1 0 10231 0 0 0 3 0 0 0 0 0 0 0
3589.39/3598.92 c orbitope_pp : 1 1 0 23742 0 0 0 0 38 0 6 0 0 0 0
3589.39/3598.92 c logicor : 15078+ 15228 11 152560 0 0 0 0 47786 143 4636 29 9 0 0
3589.39/3598.92 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3589.39/3598.92 c integral : 44.25 0.00 0.00 0.00 44.25 0.00 0.00 0.00 0.00 0.00
3589.39/3598.92 c knapsack : 0.30 0.00 0.01 0.29 0.00 0.00 0.00 0.00 0.00 0.00
3589.39/3598.92 c setppc : 3.80 0.00 0.00 3.73 0.00 0.00 0.00 0.00 0.01 0.06
3589.39/3598.92 c linear : 0.02 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.39/3598.92 c orbitope_pp : 0.04 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3589.39/3598.92 c logicor : 11.97 0.01 0.03 11.89 0.00 0.00 0.00 0.00 0.02 0.02
3589.39/3598.92 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.39/3598.92 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.39/3598.92 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3589.39/3598.92 c Propagators : #Propagate #ResProp Cutoffs DomReds
3589.39/3598.92 c dualfix : 1 0 0 0
3589.39/3598.92 c genvbounds : 0 0 0 0
3589.39/3598.92 c nlobbt : 0 0 0 0
3589.39/3598.92 c obbt : 0 0 0 0
3589.39/3598.92 c probing : 0 0 0 0
3589.39/3598.92 c pseudoobj : 0 0 0 0
3589.39/3598.92 c redcost : 0 0 0 0
3589.39/3598.92 c rootredcost : 0 0 0 0
3589.39/3598.92 c symmetry : 0 0 0 0
3589.39/3598.92 c vbounds : 7405 0 0 0
3589.39/3598.92 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3589.39/3598.92 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3589.39/3598.92 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3589.39/3598.92 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3589.39/3598.92 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3589.39/3598.92 c probing : 38.57 0.00 38.57 0.00 0.00 0.00
3589.39/3598.92 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3589.39/3598.92 c redcost : 0.02 0.00 0.00 0.02 0.00 0.00
3589.39/3598.92 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3589.39/3598.92 c symmetry : 0.10 0.00 0.07 0.02 0.00 0.00
3589.39/3598.92 c vbounds : 0.06 0.00 0.03 0.03 0.00 0.00
3589.39/3598.92 c Symmetry :
3589.39/3598.92 c #affected vars : 2743 (2743 bin, 0 int, 0 cont)
3589.39/3598.92 c orbitopal red. : 0 reductions applied, 0 cutoffs
3589.39/3598.92 c orbital reduction: 0 reductions applied, 0 cutoffs
3589.39/3598.92 c lexicographic red: 0 reductions applied, 0 cutoffs
3589.39/3598.92 c shadow tree time : 0.00 s
3589.39/3598.92 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3589.39/3598.92 c propagation : 0.03 463 145 - 697 109.5 4 6.8 - - -
3589.39/3598.92 c infeasible LP : 0.11 6 4 - 221 2576.0 1 9.0 1 2529.0 0
3589.39/3598.92 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3589.39/3598.92 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3589.39/3598.92 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3589.39/3598.92 c applied globally : 0.02 - - 0 336 163.1 - - 1 - -
3589.39/3598.92 c applied locally : - - - 0 0 0.0 - - 0 - -
3589.39/3598.92 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3589.39/3598.92 c cut pool : 0.00 - 35 21 - - 367 756 - - - - - (maximal pool size: 367)
3589.39/3598.92 c aggregation : 0.08 0.00 19 11 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c > cmir : - - - - - - - 0 0 0 0 0 -
3589.39/3598.92 c > flowcover : - - - - - - - 0 0 0 0 0 -
3589.39/3598.92 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3589.39/3598.92 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c clique : 1.63 0.00 11 11 0 0 86 126 0 34 34 0 0
3589.39/3598.92 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c gomory : 25.35 0.00 18 10 0 0 155 480 0 22 22 0 0
3589.39/3598.92 c > gomorymi : - - - - - - - 219 0 12 12 0 -
3589.39/3598.92 c > strongcg : - - - - - - - 261 0 10 10 0 -
3589.39/3598.92 c impliedbounds : 0.11 0.00 19 11 0 0 39 51 0 13 13 0 0
3589.39/3598.92 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c multilinear : 0.00 0.00 14 11 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3589.39/3598.92 c zerohalf : 21.31 0.00 19 11 0 0 103 99 16 108 97 11 0
3589.39/3598.92 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3589.39/3598.92 c hybrid : 0.00 0.00 19 11 186 0 615 137 0 183
3589.39/3598.92 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3589.39/3598.92 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3589.39/3598.92 c Pricers : ExecTime SetupTime Calls Vars
3589.39/3598.92 c problem variables: 0.00 - 0 0
3589.39/3598.92 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3589.39/3598.92 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3589.39/3598.92 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3589.39/3598.92 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3589.39/3598.92 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3589.39/3598.92 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3589.39/3598.92 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3589.39/3598.92 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3589.39/3598.92 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3589.39/3598.92 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3589.39/3598.92 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3589.39/3598.92 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3589.39/3598.92 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3589.39/3598.92 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3589.39/3598.92 c relpscost : 44.25 0.00 26 0 0 0 0 0 0 52
3589.39/3598.92 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3589.39/3598.92 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3589.39/3598.92 c LP solutions : 0.00 - - 0 0
3589.39/3598.92 c relax solutions : 0.00 - - 0 0
3589.39/3598.92 c pseudo solutions : 0.00 - - 0 0
3589.39/3598.92 c strong branching : 0.00 - - 0 0
3589.39/3598.92 c actconsdiving : 0.00 0.00 0 0 0
3589.39/3598.92 c adaptivediving : 125.27 0.00 1 0 0
3589.39/3598.92 c alns : 0.09 0.00 1 0 0
3589.39/3598.92 c bound : 0.00 0.00 0 0 0
3589.39/3598.92 c clique : 0.08 0.00 1 0 0
3589.39/3598.92 c coefdiving : 0.00 0.00 0 0 0
3589.39/3598.92 c completesol : 0.00 0.00 0 0 0
3589.39/3598.92 c conflictdiving : 484.19 0.00 1 0 0
3589.39/3598.92 c crossover : 0.00 0.00 0 0 0
3589.39/3598.92 c dins : 0.00 0.00 0 0 0
3589.39/3598.92 c distributiondivin: 229.34 0.00 1 0 0
3589.39/3598.92 c dks : 0.00 0.00 0 0 0
3589.39/3598.92 c dps : 0.00 0.00 0 0 0
3589.39/3598.92 c dualval : 0.00 0.00 0 0 0
3589.39/3598.92 c farkasdiving : 0.00 0.00 0 0 0
3589.39/3598.92 c feaspump : 173.67 0.00 1 0 0
3589.39/3598.92 c fixandinfer : 0.00 0.00 0 0 0
3589.39/3598.92 c fracdiving : 144.57 0.00 1 0 0
3589.39/3598.92 c gins : 0.00 0.00 0 0 0
3589.39/3598.92 c guideddiving : 0.00 0.00 0 0 0
3589.39/3598.92 c indicator : 0.00 0.00 0 0 0
3589.39/3598.92 c indicatordiving : 0.00 0.00 0 0 0
3589.39/3598.92 c intdiving : 0.00 0.00 0 0 0
3589.39/3598.92 c intshifting : 0.00 0.00 0 0 0
3589.39/3598.92 c linesearchdiving : 0.00 0.00 0 0 0
3589.39/3598.92 c localbranching : 0.00 0.00 0 0 0
3589.39/3598.92 c locks : 0.07 0.00 1 0 0
3589.39/3598.92 c lpface : 0.00 0.00 0 0 0
3589.39/3598.92 c mpec : 0.00 0.00 0 0 0
3589.39/3598.92 c multistart : 0.00 0.00 0 0 0
3589.39/3598.92 c mutation : 0.00 0.00 0 0 0
3589.39/3598.92 c nlpdiving : 0.00 0.00 0 0 0
3589.39/3598.92 c objpscostdiving : 428.99 0.00 1 0 0
3589.39/3598.92 c octane : 0.00 0.00 0 0 0
3589.39/3598.92 c ofins : 0.00 0.00 0 0 0
3589.39/3598.92 c oneopt : 0.00 0.00 0 0 0
3589.39/3598.92 c padm : 0.00 0.00 0 0 0
3589.39/3598.92 c proximity : 0.00 0.00 0 0 0
3589.39/3598.92 c pscostdiving : 472.48 0.00 1 0 0
3589.39/3598.92 c randrounding : 0.22 0.00 12 0 0
3589.39/3598.92 c rens : 0.37 0.00 1 0 0
3589.39/3598.92 c reoptsols : 0.00 0.00 0 0 0
3589.39/3598.92 c repair : 0.00 0.00 0 0 0
3589.39/3598.92 c rins : 0.00 0.00 0 0 0
3589.39/3598.92 c rootsoldiving : 0.00 0.00 0 0 0
3589.39/3598.92 c rounding : 0.06 0.00 45 0 0
3589.39/3598.92 c scheduler : 0.00 0.00 0 0 0
3589.39/3598.92 c shiftandpropagate: 0.02 0.00 1 0 0
3589.39/3598.92 c shifting : 0.27 0.00 24 0 0
3589.39/3598.92 c simplerounding : 0.00 0.00 0 0 0
3589.39/3598.92 c subnlp : 0.00 0.00 0 0 0
3589.39/3598.92 c trivial : 0.01 0.00 2 0 0
3589.39/3598.92 c trivialnegation : 0.00 0.00 0 0 0
3589.39/3598.92 c trustregion : 0.00 0.00 0 0 0
3589.39/3598.92 c trysol : 0.00 0.00 0 0 0
3589.39/3598.92 c twoopt : 0.00 0.00 0 0 0
3589.39/3598.92 c undercover : 0.00 0.00 0 0 0
3589.39/3598.92 c vbounds : 0.16 0.00 1 0 0
3589.39/3598.92 c veclendiving : 309.88 0.00 1 0 0
3589.39/3598.92 c zeroobj : 0.00 0.00 0 0 0
3589.39/3598.92 c zirounding : 0.01 0.00 25 0 0
3589.39/3598.92 c other solutions : - - - 0 -
3589.39/3598.92 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3589.39/3598.92 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.39/3598.92 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.39/3598.92 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.39/3598.92 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.39/3598.92 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.39/3598.92 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.39/3598.92 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.39/3598.92 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.39/3598.92 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.39/3598.92 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3589.39/3598.92 c primal LP : 0.09 3 0 0.00 0.00 0.09 3
3589.39/3598.92 c dual LP : 1091.55 46 559323 12159.20 512.41 0.00 0
3589.39/3598.92 c lex dual LP : 0.00 0 0 0.00 -
3589.39/3598.92 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3589.39/3598.92 c resolve instable : 58.31 10 1300 130.00 22.30
3589.39/3598.92 c diving/probing LP: 2375.32 153 935650 6115.36 393.90
3589.39/3598.92 c strong branching : 35.48 19 19000 1000.00 535.58 - - 38
3589.39/3598.92 c (at root node) : - 19 19000 1000.00 -
3589.39/3598.92 c conflict analysis: 0.00 0 0 0.00 -
3589.39/3598.92 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3589.39/3598.92 c benders : 0.00 0 0 0 0.00 0 0 0
3589.39/3598.92 c B&B Tree :
3589.39/3598.92 c number of runs : 1
3589.39/3598.92 c nodes : 27 (26 internal, 1 leaves)
3589.39/3598.92 c feasible leaves : 0
3589.39/3598.92 c infeas. leaves : 1
3589.39/3598.92 c objective leaves : 0
3589.39/3598.92 c nodes (total) : 27 (26 internal, 1 leaves)
3589.39/3598.92 c nodes left : 26
3589.39/3598.92 c max depth : 13
3589.39/3598.92 c max depth (total): 13
3589.39/3598.92 c backtracks : 6 (22.2%)
3589.39/3598.92 c early backtracks : 0 (0.0%)
3589.39/3598.92 c nodes exc. ref. : 0 (0.0%)
3589.39/3598.92 c delayed cutoffs : 0
3589.39/3598.92 c repropagations : 3 (80 domain reductions, 0 cutoffs)
3589.39/3598.92 c avg switch length: 1.93
3589.39/3598.92 c switching time : 0.11
3589.39/3598.92 c Root Node :
3589.39/3598.92 c First LP value : +0.00000000000000e+00
3589.39/3598.92 c First LP Iters : 17723 (874.17 Iter/sec)
3589.39/3598.92 c First LP Time : 20.27
3589.39/3598.92 c Final Dual Bound : +0.00000000000000e+00
3589.39/3598.92 c Final Root Iters : 243576
3589.39/3598.92 c Root LP Estimate : +2.22591154354744e-03
3589.39/3598.92 c Solution :
3589.39/3598.92 c Solutions found : 0 (0 improvements)
3589.39/3598.92 c Primal Bound : -
3589.39/3598.92 c Dual Bound : +0.00000000000000e+00
3589.39/3598.92 c Gap : infinite
3589.39/3598.92 c Integrals : Total Avg%
3589.39/3598.92 c primal-dual : 359892.08 100.00
3589.39/3598.92 c primal-ref : - - (not evaluated)
3589.39/3598.92 c dual-ref : - - (not evaluated)
3589.49/3599.03 c Time complete (sec): 3589.524
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 (63004 MiB free)
memory of node 1: 64465 MiB (63999 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507059-1751183686/watcher-4507059-1751183686 -o /tmp/evaluation-result-4507059-1751183686/solver-4507059-1751183686 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751183686-22783 --watchdog 3760 pbsolver -f HOME/instance-4507059-1751183686.opb -t 3600 -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=22831, runsolver pid=22822
[startup+0.100064 s]*
/proc/loadavg: 1.77 2.08 2.64 6/265 22840
/proc/meminfo: memFree=129823740/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=84028 memory=74328 CPUtime=0.09 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 16525 0 0 0 7 2 0 0 20 0 1 0 33991155 86044672 18582 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 21007 18582 2368 2575 0 17914 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 84028 KiB
Current children cumulated memory: 74328 KiB
[startup+0.205633 s]*
/proc/loadavg: 1.77 2.08 2.64 6/265 22840
/proc/meminfo: memFree=129695728/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=111416 memory=97776 CPUtime=0.19 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 21850 0 0 0 17 2 0 0 20 0 1 0 33991155 114089984 24444 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 27854 24444 2432 2575 0 24761 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 111416 KiB
Current children cumulated memory: 97776 KiB
[startup+0.305486 s]*
/proc/loadavg: 1.77 2.08 2.64 6/265 22840
/proc/meminfo: memFree=129607244/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=125956 memory=113628 CPUtime=0.29 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 27415 0 0 0 26 3 0 0 20 0 1 0 33991155 128978944 28407 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 31489 28407 2496 2575 0 28396 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 125956 KiB
Current children cumulated memory: 113628 KiB
[startup+0.700177 s]
/proc/loadavg: 1.77 2.08 2.64 6/265 22840
/proc/meminfo: memFree=129599180/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=136784 memory=124400 CPUtime=0.69 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 33126 0 0 0 65 4 0 0 20 0 1 0 33991155 140066816 31068 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 34270 31100 2560 2575 0 31177 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 136784 KiB
Current children cumulated memory: 124400 KiB
[startup+1.50016 s]
/proc/loadavg: 1.77 2.08 2.64 6/265 22840
/proc/meminfo: memFree=129532148/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=178572 memory=163536 CPUtime=1.48 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 39530 0 0 0 143 5 0 0 20 0 1 0 33991155 182857728 40884 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 44643 40884 2592 2575 0 41550 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 178572 KiB
Current children cumulated memory: 163536 KiB
[startup+3.1054 s]
/proc/loadavg: 1.95 2.11 2.65 6/265 22840
/proc/meminfo: memFree=129396788/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=179912 memory=164816 CPUtime=3.08 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 39865 0 0 0 303 5 0 0 20 0 1 0 33991155 184229888 41204 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 44978 41204 2592 2575 0 41885 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 179912 KiB
Current children cumulated memory: 164816 KiB
[startup+6.30016 s]
/proc/loadavg: 1.95 2.11 2.65 6/265 22840
/proc/meminfo: memFree=129389140/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=181296 memory=166224 CPUtime=6.27 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 40215 0 0 0 621 6 0 0 20 0 1 0 33991155 185647104 41556 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 45324 41556 2592 2575 0 42231 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 181296 KiB
Current children cumulated memory: 166224 KiB
[startup+12.7002 s]
/proc/loadavg: 2.27 2.17 2.67 6/265 22840
/proc/meminfo: memFree=129356884/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=187652 memory=172496 CPUtime=12.65 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 41794 0 0 0 1259 6 0 0 20 0 1 0 33991155 192155648 43124 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 46913 43124 2592 2575 0 43820 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 187652 KiB
Current children cumulated memory: 172496 KiB
[startup+25.5002 s]
/proc/loadavg: 2.53 2.23 2.68 6/265 22841
/proc/meminfo: memFree=129348820/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=189028 memory=173904 CPUtime=25.42 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 42138 0 0 0 2536 6 0 0 20 0 1 0 33991155 193564672 43476 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 47257 43476 2592 2575 0 44164 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 189028 KiB
Current children cumulated memory: 173904 KiB
[startup+51.1054 s]
/proc/loadavg: 3.11 2.39 2.72 6/264 22841
/proc/meminfo: memFree=128795996/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=377268 memory=308988 CPUtime=50.95 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 75578 0 0 0 5084 11 0 0 20 0 1 0 33991155 386322432 77247 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 94317 77247 2688 2575 0 91224 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 377268 KiB
Current children cumulated memory: 308988 KiB
[startup+102.3 s]
/proc/loadavg: 3.71 2.68 2.80 6/264 22844
/proc/meminfo: memFree=128718712/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=385528 memory=316036 CPUtime=102 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 76829 0 0 0 10188 12 0 0 20 0 1 0 33991155 394780672 79009 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 96382 79009 2688 2575 0 93289 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 385528 KiB
Current children cumulated memory: 316036 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.94 2.89 6/264 22846
/proc/meminfo: memFree=128708760/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=386972 memory=317572 CPUtime=161.83 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 77244 0 0 0 16171 12 0 0 20 0 1 0 33991155 396259328 79393 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 96743 79393 2688 2575 0 93650 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 386972 KiB
Current children cumulated memory: 317572 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 3.15 2.96 6/264 22848
/proc/meminfo: memFree=128671236/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=386972 memory=317572 CPUtime=221.66 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 77245 0 0 0 22154 12 0 0 20 0 1 0 33991155 396259328 79393 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 96743 79393 2688 2575 0 93650 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 386972 KiB
Current children cumulated memory: 317572 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.32 3.04 6/264 22850
/proc/meminfo: memFree=128303756/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=463416 memory=392284 CPUtime=281.5 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 86214 0 0 0 28135 15 0 0 20 0 1 0 33991155 474537984 98071 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 115854 98071 2688 2575 0 112761 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 463416 KiB
Current children cumulated memory: 392284 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.46 3.11 6/264 22855
/proc/meminfo: memFree=128252108/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=473508 memory=400732 CPUtime=341.34 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 88346 0 0 0 34119 15 0 0 20 0 1 0 33991155 484872192 100183 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 118377 100183 2688 2575 0 115284 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 473508 KiB
Current children cumulated memory: 400732 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.59 3.18 6/264 22868
/proc/meminfo: memFree=128235184/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=483900 memory=409820 CPUtime=401.18 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 90630 0 0 0 40103 15 0 0 20 0 1 0 33991155 495513600 102455 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 120975 102455 2688 2575 0 117882 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 483900 KiB
Current children cumulated memory: 409820 KiB
[startup+462.3 s]
/proc/loadavg: 4.04 3.67 3.23 6/264 22874
/proc/meminfo: memFree=128196880/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=489728 memory=414428 CPUtime=461.02 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 91774 0 0 0 46087 15 0 0 20 0 1 0 33991155 501481472 103607 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 122432 103607 2688 2575 0 119339 0
Current children cumulated CPU time: 461.02 s
################
# More data... #
################
/proc/loadavg: 4.10 4.13 4.09 6/263 22999
/proc/meminfo: memFree=127662536/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=577324 memory=550504 CPUtime=3154.09 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 114786 0 0 0 315390 19 0 0 20 0 1 0 33991155 591179776 137626 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 144331 137626 2976 2575 0 141238 0
Current children cumulated CPU time: 3154.09 s
Current children cumulated vsize: 577324 KiB
Current children cumulated memory: 550504 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.12 4.09 6/263 23001
/proc/meminfo: memFree=127666708/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=577324 memory=550504 CPUtime=3213.9 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 114884 0 0 0 321371 19 0 0 20 0 1 0 33991155 591179776 137626 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 144331 137626 2976 2575 0 141238 0
Current children cumulated CPU time: 3213.9 s
Current children cumulated vsize: 577324 KiB
Current children cumulated memory: 550504 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.09 6/263 23003
/proc/meminfo: memFree=127666436/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=577324 memory=550504 CPUtime=3273.72 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 114999 0 0 0 327353 19 0 0 20 0 1 0 33991155 591179776 137626 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 144331 137626 2976 2575 0 141238 0
Current children cumulated CPU time: 3273.72 s
Current children cumulated vsize: 577324 KiB
Current children cumulated memory: 550504 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/264 23007
/proc/meminfo: memFree=127665960/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=577324 memory=550504 CPUtime=3333.54 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 115000 0 0 0 333335 19 0 0 20 0 1 0 33991155 591179776 137626 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 144331 137626 2976 2575 0 141238 0
Current children cumulated CPU time: 3333.54 s
Current children cumulated vsize: 577324 KiB
Current children cumulated memory: 550504 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 6/264 23009
/proc/meminfo: memFree=127666308/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=577324 memory=550504 CPUtime=3393.37 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 115056 0 0 0 339318 19 0 0 20 0 1 0 33991155 591179776 137626 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 144331 137626 2976 2575 0 141238 0
Current children cumulated CPU time: 3393.37 s
Current children cumulated vsize: 577324 KiB
Current children cumulated memory: 550504 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/263 23015
/proc/meminfo: memFree=127666276/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=577324 memory=550504 CPUtime=3453.19 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 115103 0 0 0 345300 19 0 0 20 0 1 0 33991155 591179776 137626 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 144331 137626 2976 2575 0 141238 0
Current children cumulated CPU time: 3453.19 s
Current children cumulated vsize: 577324 KiB
Current children cumulated memory: 550504 KiB
[startup+3522.3 s]
/proc/loadavg: 4.04 4.08 4.08 6/263 23017
/proc/meminfo: memFree=127665876/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=577324 memory=550504 CPUtime=3513.01 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 115112 0 0 0 351282 19 0 0 20 0 1 0 33991155 591179776 137626 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 144331 137626 2976 2575 0 141238 0
Current children cumulated CPU time: 3513.01 s
Current children cumulated vsize: 577324 KiB
Current children cumulated memory: 550504 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/263 23019
/proc/meminfo: memFree=127665300/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=577324 memory=550504 CPUtime=3572.84 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 115113 0 0 0 357265 19 0 0 20 0 1 0 33991155 591179776 137626 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 144331 137626 2976 2575 0 141238 0
Current children cumulated CPU time: 3572.84 s
Current children cumulated vsize: 577324 KiB
Current children cumulated memory: 550504 KiB
[startup+3599.03 s]
# the end of solver process 22831 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.33 s, system=0.196449 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.10 4.09 6/263 23019
/proc/meminfo: memFree=127665300/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=577324 memory=550504 CPUtime=3574.54 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 115113 0 0 0 357435 19 0 0 20 0 1 0 33991155 591179776 137626 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 144331 137626 2976 2575 0 141238 0
Current children cumulated CPU time: 3574.54 s
Current children cumulated vsize: 577324 KiB
Current children cumulated memory: 550504 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.09 4.09 6/264 23021
/proc/meminfo: memFree=127665048/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=577324 memory=550504 CPUtime=3580.91 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 115113 0 0 0 358072 19 0 0 20 0 1 0 33991155 591179776 137626 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 144331 137626 2976 2575 0 141238 0
Current children cumulated CPU time: 3580.91 s
Current children cumulated vsize: 577324 KiB
Current children cumulated memory: 550504 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.09 4.09 6/264 23021
/proc/meminfo: memFree=127665300/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=577324 memory=550504 CPUtime=3584.1 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 115113 0 0 0 358391 19 0 0 20 0 1 0 33991155 591179776 137626 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 144331 137626 2976 2575 0 141238 0
Current children cumulated CPU time: 3584.1 s
Current children cumulated vsize: 577324 KiB
Current children cumulated memory: 550504 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.09 4.09 6/264 23021
/proc/meminfo: memFree=127665300/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=577324 memory=550504 CPUtime=3587.29 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 115113 0 0 0 358710 19 0 0 20 0 1 0 33991155 591179776 137626 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 144331 137626 2976 2575 0 141238 0
Current children cumulated CPU time: 3587.29 s
Current children cumulated vsize: 577324 KiB
Current children cumulated memory: 550504 KiB
[startup+3598.4 s]
/proc/loadavg: 4.01 4.07 4.08 3/255 23053
/proc/meminfo: memFree=129514240/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=577324 memory=550504 CPUtime=3588.89 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 115113 0 0 0 358870 19 0 0 20 0 1 0 33991155 591179776 137626 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 144331 137626 2976 2575 0 141238 0
Current children cumulated CPU time: 3588.89 s
Current children cumulated vsize: 577324 KiB
Current children cumulated memory: 550504 KiB
[startup+3598.8 s]
/proc/loadavg: 4.01 4.07 4.08 3/255 23053
/proc/meminfo: memFree=129514240/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=577324 memory=550504 CPUtime=3589.29 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 115113 0 0 0 358910 19 0 0 20 0 1 0 33991155 591179776 137626 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 144331 137626 2976 2575 0 141238 0
Current children cumulated CPU time: 3589.29 s
Current children cumulated vsize: 577324 KiB
Current children cumulated memory: 550504 KiB
[startup+3599 s]*
/proc/loadavg: 4.01 4.07 4.08 5/264 23156
/proc/meminfo: memFree=129305568/131250000 swapFree=33010684/33010684
[pid=22831] ppid=22822 vsize=534296 memory=507512 CPUtime=3589.49 cores=1,3
/proc/22831/stat : 22831 (pbsolver) R 22822 22831 22771 0 -1 4194304 115192 0 0 0 358930 19 0 0 20 0 1 0 33991155 547119104 126878 18446744073709551615 4198400 14743177 140735186438432 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22220800 140735186446730 140735186446826 140735186446826 140735186452428 0
/proc/22831/statm: 133574 126878 2976 2575 0 130481 0
Current children cumulated CPU time: 3589.49 s
Current children cumulated vsize: 534296 KiB
Current children cumulated memory: 507512 KiB
Child status: 0
Real time (s): 3599.03
CPU time (s): 3589.53
CPU user time (s): 3589.33
CPU system time (s): 0.196449
CPU usage (%): 99.7359
Max. virtual memory (cumulated for all children) (KiB): 577324
Max. memory (cumulated for all children) (KiB): 550504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.33
system time used= 0.196449
maximum resident set size= 550504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115206
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= 26
involuntary context switches= 4776
# summary of solver processes directly reported to runsolver:
# pid: 22831
# total CPU time (s): 3589.53
# total CPU user time (s): 3589.33
# total CPU system time (s): 0.196449
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.23345 second user time and 15.0185 second system time
The end
Begin job on nodeC028 at 2025-06-29 09:54:46 IDJOB=4507059 IDBENCH=158319 IDSOLVER=3366 FILE ID=nodeC028/4507059-1751183686 RUNJOBID= nodeC028-1751183686-22783 SLURM_JOB_ID= 9587572 Free space on /tmp= 433056 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K155.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507059-1751183686/watcher-4507059-1751183686 -o /tmp/evaluation-result-4507059-1751183686/solver-4507059-1751183686 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751183686-22783 --watchdog 3760 pbsolver -f HOME/instance-4507059-1751183686.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4394b20101c323a14e6df6504cadd31d RANDOM SEED=1630834033 nodeC028 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 : 3600.076 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 : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.488 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 : 7000.16 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.670 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 : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.116 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 : 7000.16 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 : 3603.654 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 : 7000.16 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 : 3600.990 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 : 7000.16 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 : 3600.081 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 : 7000.16 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 : 3600.083 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 : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 130051684 kB MemAvailable: 129765668 kB Buffers: 3280 kB Cached: 524740 kB SwapCached: 0 kB Active: 323172 kB Inactive: 268372 kB Active(anon): 81608 kB Inactive(anon): 0 kB Active(file): 241564 kB Inactive(file): 268372 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 64768 kB Writeback: 20 kB AnonPages: 66564 kB Mapped: 102080 kB Shmem: 18068 kB KReclaimable: 86572 kB Slab: 169856 kB SReclaimable: 86572 kB SUnreclaim: 83284 kB KernelStack: 3988 kB PageTables: 2888 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 330192 kB VmallocTotal: 34359738367 kB VmallocUsed: 150392 kB VmallocChunk: 0 kB Percpu: 3712 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 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: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433000 MiB End job on nodeC028 at 2025-06-29 10:54:46