| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3586.61 | 3597.11 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K138.opb |
| MD5SUM | df8f338dbd068337fef89bf4c43df9f5 |
| 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 | 16422 |
| Total number of constraints | 16700 |
| Number of constraints which are clauses | 16562 |
| Number of constraints which are cardinality constraints (but not clauses) | 138 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 138 |
| 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 | 139 |
| 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-4506807-1751176726.opb>
0.00/0.06 c original problem has 16422 variables (16422 bin, 0 int, 0 cont) and 16700 constraints
0.00/0.06 c problem read in 0.059 seconds
0.00/0.06 c problem without objective
0.10/0.12 c presolving:
0.10/0.15 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, 1891 clqs
0.10/0.15 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, 1875 clqs
0.10/0.16 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, 1896 clqs
0.10/0.16 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, 1927 clqs
0.10/0.17 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, 1950 clqs
0.10/0.17 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, 1960 clqs
0.20/0.21 c (0.2s) running MILP presolver
0.39/0.46 c (0.5s) MILP presolver (4 rounds): 1 aggregations, 139 fixings, 0 bound changes
0.39/0.47 c (round 7, medium) 1322 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1970 clqs
0.39/0.48 c (round 8, fast) 1322 del vars, 776 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1978 clqs
0.39/0.50 c (round 9, exhaustive) 1322 del vars, 911 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1978 clqs
0.49/0.58 c (round 10, exhaustive) 1322 del vars, 911 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 15789 upgd conss, 0 impls, 1978 clqs
0.69/0.73 c (round 11, exhaustive) 1430 del vars, 911 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 107 chg coeffs, 15789 upgd conss, 0 impls, 1965 clqs
0.69/0.74 c (round 12, fast) 1538 del vars, 1019 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 107 chg coeffs, 15789 upgd conss, 0 impls, 1965 clqs
2.28/2.36 c (round 13, exhaustive) 1564 del vars, 1020 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 107 chg coeffs, 15789 upgd conss, 0 impls, 99706 clqs
2.28/2.36 c (round 14, fast) 1565 del vars, 1046 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 164 chg coeffs, 15789 upgd conss, 0 impls, 99722 clqs
3.28/3.39 c (round 15, exhaustive) 1590 del vars, 1046 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 164 chg coeffs, 15789 upgd conss, 0 impls, 99715 clqs
3.28/3.39 c (round 16, fast) 1590 del vars, 1071 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 224 chg coeffs, 15789 upgd conss, 0 impls, 99726 clqs
3.98/4.00 c (round 17, exhaustive) 1616 del vars, 1071 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 224 chg coeffs, 15789 upgd conss, 0 impls, 99704 clqs
3.98/4.01 c (round 18, fast) 1617 del vars, 1097 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 288 chg coeffs, 15789 upgd conss, 0 impls, 99717 clqs
5.27/5.31 c (round 19, exhaustive) 1643 del vars, 1097 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 288 chg coeffs, 15789 upgd conss, 0 impls, 99711 clqs
5.27/5.32 c (round 20, fast) 1644 del vars, 1123 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 347 chg coeffs, 15789 upgd conss, 0 impls, 99723 clqs
5.47/5.59 c (round 21, exhaustive) 1670 del vars, 1123 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 347 chg coeffs, 15789 upgd conss, 0 impls, 99742 clqs
5.57/5.60 c (round 22, fast) 1670 del vars, 1149 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 410 chg coeffs, 15789 upgd conss, 0 impls, 99756 clqs
6.17/6.23 c (round 23, exhaustive) 1696 del vars, 1149 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 410 chg coeffs, 15789 upgd conss, 0 impls, 99758 clqs
6.17/6.24 c (round 24, fast) 1697 del vars, 1175 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 478 chg coeffs, 15789 upgd conss, 0 impls, 99775 clqs
6.37/6.44 c (round 25, exhaustive) 1735 del vars, 1175 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 478 chg coeffs, 15789 upgd conss, 0 impls, 99760 clqs
6.37/6.45 c (round 26, fast) 1735 del vars, 1213 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 561 chg coeffs, 15789 upgd conss, 0 impls, 99771 clqs
6.67/6.71 c (6.7s) probing: 1000/15432 (6.5%) - 197 fixings, 0 aggregations, 1050487 implications, 0 bound changes
6.77/6.87 c (round 27, exhaustive) 1762 del vars, 1213 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 561 chg coeffs, 15789 upgd conss, 0 impls, 99794 clqs
6.77/6.88 c (round 28, fast) 1762 del vars, 1240 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 618 chg coeffs, 15789 upgd conss, 0 impls, 99801 clqs
7.86/7.90 c (round 29, exhaustive) 1787 del vars, 1240 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 618 chg coeffs, 15789 upgd conss, 0 impls, 97685 clqs
7.86/7.91 c (round 30, fast) 1787 del vars, 1265 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 707 chg coeffs, 15789 upgd conss, 0 impls, 97703 clqs
8.07/8.14 c (round 31, exhaustive) 1812 del vars, 1265 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 707 chg coeffs, 15789 upgd conss, 0 impls, 98540 clqs
8.07/8.14 c (round 32, fast) 1812 del vars, 1290 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 759 chg coeffs, 15789 upgd conss, 0 impls, 98548 clqs
11.55/11.60 c (round 33, exhaustive) 1837 del vars, 1290 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 760 chg coeffs, 15789 upgd conss, 0 impls, 99488 clqs
11.55/11.60 c (round 34, fast) 1837 del vars, 1315 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 822 chg coeffs, 15789 upgd conss, 0 impls, 99500 clqs
11.75/11.86 c (round 35, exhaustive) 1864 del vars, 1315 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 824 chg coeffs, 15789 upgd conss, 0 impls, 99779 clqs
11.75/11.87 c (round 36, fast) 1867 del vars, 1343 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 877 chg coeffs, 15789 upgd conss, 0 impls, 99781 clqs
11.96/12.09 c (round 37, exhaustive) 1892 del vars, 1343 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 878 chg coeffs, 15789 upgd conss, 0 impls, 99589 clqs
11.96/12.10 c (round 38, fast) 1892 del vars, 1368 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 901 chg coeffs, 15789 upgd conss, 0 impls, 99589 clqs
12.25/12.32 c (round 39, exhaustive) 1917 del vars, 1368 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 901 chg coeffs, 15789 upgd conss, 0 impls, 99403 clqs
12.25/12.33 c (round 40, fast) 1917 del vars, 1393 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 925 chg coeffs, 15789 upgd conss, 0 impls, 99403 clqs
12.45/12.54 c (round 41, exhaustive) 1942 del vars, 1393 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 925 chg coeffs, 15789 upgd conss, 0 impls, 99221 clqs
12.45/12.54 c (round 42, fast) 1942 del vars, 1418 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 948 chg coeffs, 15789 upgd conss, 0 impls, 99221 clqs
12.75/12.87 c (round 43, exhaustive) 1968 del vars, 1418 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 948 chg coeffs, 15789 upgd conss, 0 impls, 99086 clqs
12.75/12.87 c (round 44, fast) 1969 del vars, 1444 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 982 chg coeffs, 15789 upgd conss, 0 impls, 99088 clqs
14.24/14.34 c (14.3s) probing: 2000/15432 (13.0%) - 439 fixings, 1 aggregations, 2425739 implications, 0 bound changes
14.34/14.40 c (round 45, exhaustive) 1994 del vars, 1444 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 982 chg coeffs, 15789 upgd conss, 0 impls, 99857 clqs
14.34/14.41 c (round 46, fast) 1994 del vars, 1469 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1007 chg coeffs, 15789 upgd conss, 0 impls, 99857 clqs
14.54/14.62 c (round 47, exhaustive) 2019 del vars, 1469 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1007 chg coeffs, 15789 upgd conss, 0 impls, 99740 clqs
14.54/14.63 c (round 48, fast) 2019 del vars, 1494 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1033 chg coeffs, 15789 upgd conss, 0 impls, 99740 clqs
19.82/19.99 c (20.0s) probing: 3000/15432 (19.4%) - 477 fixings, 1 aggregations, 3571524 implications, 0 bound changes
24.81/24.95 c (25.0s) probing: 4000/15432 (25.9%) - 482 fixings, 1 aggregations, 4625090 implications, 0 bound changes
29.29/29.46 c (29.5s) probing: 5000/15432 (32.4%) - 485 fixings, 1 aggregations, 5544884 implications, 0 bound changes
33.89/34.07 c (34.1s) probing: 6000/15432 (38.9%) - 489 fixings, 1 aggregations, 6458486 implications, 0 bound changes
35.18/35.38 c (round 49, exhaustive) 2044 del vars, 1494 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1033 chg coeffs, 15789 upgd conss, 0 impls, 99879 clqs
35.18/35.39 c (round 50, fast) 2044 del vars, 1519 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1072 chg coeffs, 15789 upgd conss, 0 impls, 99882 clqs
37.97/38.18 c (38.2s) probing: 7000/15432 (45.4%) - 510 fixings, 1 aggregations, 7356817 implications, 0 bound changes
39.76/39.90 c (39.9s) probing: 7444/15432 (48.2%) - 510 fixings, 1 aggregations, 7770640 implications, 0 bound changes
39.76/39.90 c (39.9s) probing aborted: 1000/1000 successive useless probings
39.76/39.90 c (round 51, exhaustive) 2064 del vars, 1519 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1072 chg coeffs, 15789 upgd conss, 0 impls, 99902 clqs
39.76/39.91 c (round 52, fast) 2064 del vars, 1539 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1097 chg coeffs, 15789 upgd conss, 0 impls, 99903 clqs
42.05/42.23 c (42.2s) probing: 8000/15432 (51.8%) - 515 fixings, 1 aggregations, 8283778 implications, 0 bound changes
46.03/46.23 c (46.2s) probing: 9000/15432 (58.3%) - 516 fixings, 1 aggregations, 9205306 implications, 0 bound changes
46.43/46.62 c (46.6s) probing: 9087/15432 (58.9%) - 516 fixings, 1 aggregations, 9282040 implications, 0 bound changes
46.43/46.62 c (46.6s) probing aborted: 1000/1000 successive useless probings
46.43/46.65 c (46.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
46.43/46.69 c (46.7s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 1.68) (symcode time: 0.02)
46.53/46.71 c dynamic symmetry handling statistics:
46.53/46.71 c orbitopal reduction: no components
46.53/46.71 c orbital reduction: no components
46.53/46.71 c lexicographic reduction: 3 permutations with support sizes 1262, 528, 252
46.53/46.71 c handled 4 out of 4 symmetry components
46.53/46.74 c presolving (53 rounds: 53 fast, 25 medium, 24 exhaustive):
46.53/46.74 c 2073 deleted vars, 1545 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1105 changed coefficients
46.53/46.74 c 0 implications, 99975 cliques
46.53/46.74 c presolved problem has 14904 variables (14904 bin, 0 int, 0 cont) and 15156 constraints
46.53/46.74 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
46.53/46.74 c 1 constraints of type <knapsack>
46.53/46.74 c 1863 constraints of type <setppc>
46.53/46.74 c 1 constraints of type <orbitope_pp>
46.53/46.74 c 13291 constraints of type <logicor>
46.53/46.74 c transformed objective value is always integral (scale: 1)
46.53/46.74 c Presolving Time: 46.63
46.53/46.74 c
46.53/46.74 c - non default parameters ----------------------------------------------------------------------
46.53/46.74 c
46.53/46.74 c # SCIP version 10.0.0
46.53/46.74 c
46.53/46.74 c # maximal time in seconds to run
46.53/46.74 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
46.53/46.74 c limits/time = 3596.999006
46.53/46.74 c
46.53/46.74 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
46.53/46.74 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
46.53/46.74 c limits/memory = 27900
46.53/46.74 c
46.53/46.74 c # belongs reading time to solving time?
46.53/46.74 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
46.53/46.74 c timing/reading = TRUE
46.53/46.74 c
46.53/46.74 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
46.53/46.74 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
46.53/46.74 c reading/opbreader/maxintsize = 47
46.53/46.74 c
46.53/46.74 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
46.53/46.74 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
46.53/46.74 c propagating/genvbounds/timingmask = 0
46.53/46.74 c
46.53/46.74 c -----------------------------------------------------------------------------------------------
46.53/46.74 c
62.97/63.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
62.97/63.27 c 63.3s| 1 | 0 | 16983 | - | 294M | 0 | 14k| 15k| 15k| 0 | 0 | 135 | 0 | 0.000000e+00 | -- | Inf | unknown
234.83/235.72 c 236s| 1 | 0 |107407 | - | 317M | 0 | 14k| 15k| 15k| 6 | 1 | 138 | 0 | 0.000000e+00 | -- | Inf | unknown
253.27/254.27 c 254s| 1 | 0 |118013 | - | 320M | 0 | 14k| 15k| 15k| 11 | 2 | 145 | 0 | 0.000000e+00 | -- | Inf | unknown
277.19/278.23 c 278s| 1 | 0 |130589 | - | 324M | 0 | 14k| 15k| 15k| 27 | 3 | 150 | 0 | 0.000000e+00 | -- | Inf | unknown
299.01/300.18 c 300s| 1 | 0 |141427 | - | 333M | 0 | 14k| 15k| 15k| 32 | 4 | 158 | 0 | 0.000000e+00 | -- | Inf | unknown
324.81/326.00 c 326s| 1 | 0 |153934 | - | 336M | 0 | 14k| 15k| 15k| 51 | 5 | 159 | 0 | 0.000000e+00 | -- | Inf | unknown
350.72/352.06 c 352s| 1 | 0 |166269 | - | 340M | 0 | 14k| 15k| 15k| 64 | 6 | 165 | 0 | 0.000000e+00 | -- | Inf | unknown
379.31/380.74 c 381s| 1 | 0 |179274 | - | 344M | 0 | 14k| 15k| 15k| 86 | 7 | 170 | 0 | 0.000000e+00 | -- | Inf | unknown
409.51/411.05 c 411s| 1 | 0 |193018 | - | 345M | 0 | 14k| 15k| 15k| 103 | 8 | 177 | 0 | 0.000000e+00 | -- | Inf | unknown
440.79/442.45 c 442s| 1 | 0 |206674 | - | 347M | 0 | 14k| 15k| 15k| 122 | 9 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
474.56/476.32 c 476s| 1 | 0 |220388 | - | 354M | 0 | 14k| 15k| 15k| 145 | 10 | 185 | 0 | 0.000000e+00 | -- | Inf | unknown
506.64/508.59 c 509s| 1 | 0 |234148 | - | 355M | 0 | 14k| 15k| 15k| 159 | 11 | 186 | 0 | 0.000000e+00 | -- | Inf | unknown
817.02/820.00 c 820s| 1 | 2 |365496 | - | 362M | 0 | 14k| 15k| 15k| 159 | 11 | 211 | 19 | 0.000000e+00 | -- | Inf | unknown
2265.85/2273.15 c 2273s| 100 | 20 | 1453k|12321.0 | 409M | 28 | 14k| 15k| 15k| 193 | 1 | 258 | 19 | 0.000000e+00 | -- | Inf | 12.93%
3050.91/3060.12 c 3060s| 200 | 20 | 2237k|10066.7 | 442M | 40 | 14k| 15k| 15k| 214 | 2 | 319 | 19 | 0.000000e+00 | -- | Inf | 12.94%
3586.39/3597.00 c
3586.39/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.39/3597.00 c Solving Time (sec) : 3597.00
3586.39/3597.00 c Solving Nodes : 293
3586.39/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.39/3597.00 c Dual Bound : +0.00000000000000e+00
3586.39/3597.00 c Gap : infinite
3586.39/3597.00 s UNKNOWN
3586.39/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.39/3597.00 c Total Time : 3597.00
3586.39/3597.00 c solving : 3597.00
3586.39/3597.00 c presolving : 46.63 (included in solving)
3586.39/3597.00 c reading : 0.06 (included in solving)
3586.39/3597.00 c copying : 0.18 (5 #copies) (minimal 0.03, maximal 0.04, average 0.04)
3586.39/3597.00 c Original Problem :
3586.39/3597.00 c Problem name : HOME/instance-4506807-1751176726.opb
3586.39/3597.00 c Variables : 16422 (16422 binary, 0 integer, 0 continuous)
3586.39/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.39/3597.00 c Constraints : 16700 initial, 16700 maximal
3586.39/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.39/3597.00 c Presolved Problem :
3586.39/3597.00 c Problem name : t_HOME/instance-4506807-1751176726.opb
3586.39/3597.00 c Variables : 14904 (14904 binary, 0 integer, 0 continuous)
3586.39/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.39/3597.00 c Constraints : 15156 initial, 15458 maximal
3586.39/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.39/3597.00 c Nonzeros : 82805 constraint, 214586 clique table
3586.39/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.39/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c domcol : 0.77 0.00 21 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c dualsparsify : 0.03 0.00 1 0 0 0 0 0 6 0 0 8
3586.39/3597.00 c gateextraction : 0.15 0.00 22 0 0 0 0 0 1 0 0 0
3586.39/3597.00 c implics : 0.00 0.00 25 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c milp : 0.29 0.00 1 139 1 0 0 0 0 0 0 0
3586.39/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c sparsify : 0.43 0.00 4 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c trivial : 0.02 0.00 53 555 0 0 0 0 0 0 0 0
3586.39/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c dualfix : 0.02 0.00 53 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c probing : 41.17 0.00 21 516 1 0 0 0 0 0 0 0
3586.39/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c symmetry : 0.06 0.00 1 3 0 0 0 0 0 1 0 0
3586.39/3597.00 c vbounds : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c knapsack : 0.01 0.00 87 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c setppc : 0.15 0.00 87 0 0 0 0 0 114 0 0 0
3586.39/3597.00 c linear : 0.13 0.01 12 302 0 0 302 0 911 0 0 0
3586.39/3597.00 c orbitope_pp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c logicor : 3.29 0.01 87 109 0 0 0 0 513 0 0 1097
3586.39/3597.00 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.39/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.39/3597.00 c integral : 0 0 0 0 157 0 0 28 0 0 0 0 0 0 314
3586.39/3597.00 c knapsack : 1 1 11 294737 0 0 0 24 2 0 0 0 0 0 0
3586.39/3597.00 c setppc : 1863+ 1936 11 302403 0 0 0 15 239182 335 22171 0 0 0 0
3586.39/3597.00 c orbitope_pp : 1 1 0 15113 0 0 0 0 319 0 3 0 0 0 0
3586.39/3597.00 c logicor : 13291+ 13520 11 145735 0 0 0 0 781788 108 50594 18 8 0 0
3586.39/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.39/3597.00 c integral : 39.28 0.00 0.00 0.00 39.28 0.00 0.00 0.00 0.00 0.00
3586.39/3597.00 c knapsack : 0.24 0.00 0.01 0.23 0.00 0.00 0.00 0.00 0.00 0.00
3586.39/3597.00 c setppc : 3.56 0.00 0.01 3.49 0.00 0.00 0.00 0.00 0.06 0.01
3586.39/3597.00 c orbitope_pp : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3586.39/3597.00 c logicor : 12.63 0.01 0.03 12.28 0.00 0.00 0.00 0.00 0.29 0.03
3586.39/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.39/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.39/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.39/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.39/3597.00 c dualfix : 1 0 0 0
3586.39/3597.00 c genvbounds : 0 0 0 0
3586.39/3597.00 c nlobbt : 0 0 0 0
3586.39/3597.00 c obbt : 0 0 0 0
3586.39/3597.00 c probing : 0 0 0 0
3586.39/3597.00 c pseudoobj : 0 0 0 0
3586.39/3597.00 c redcost : 0 0 0 0
3586.39/3597.00 c rootredcost : 0 0 0 0
3586.39/3597.00 c symmetry : 3616 0 0 2
3586.39/3597.00 c vbounds : 6460 0 0 0
3586.39/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.39/3597.00 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3586.39/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.39/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.39/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.39/3597.00 c probing : 41.17 0.00 41.17 0.00 0.00 0.00
3586.39/3597.00 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3586.39/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.39/3597.00 c rootredcost : 0.02 0.00 0.00 0.02 0.00 0.00
3586.39/3597.00 c symmetry : 0.08 0.00 0.06 0.02 0.00 0.00
3586.39/3597.00 c vbounds : 0.21 0.00 0.03 0.18 0.00 0.00
3586.39/3597.00 c Symmetry :
3586.39/3597.00 c #affected vars : 2420 (2420 bin, 0 int, 0 cont)
3586.39/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.39/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.39/3597.00 c lexicographic red: 2 reductions applied, 0 cutoffs
3586.39/3597.00 c shadow tree time : 0.00 s
3586.39/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.39/3597.00 c propagation : 0.03 432 102 - 546 155.1 3 6.3 - - -
3586.39/3597.00 c infeasible LP : 2.07 134 125 - 2005 2322.3 2 5.5 0 0.0 0
3586.39/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.39/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.39/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.39/3597.00 c applied globally : 0.01 - - 0 369 179.5 - - 0 - -
3586.39/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.39/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.39/3597.00 c cut pool : 0.01 - 54 21 - - 351 529 - - - - - (maximal pool size: 351)
3586.39/3597.00 c aggregation : 0.06 0.00 15 11 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.39/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.39/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.39/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c clique : 1.36 0.00 11 11 0 0 87 193 0 50 50 0 0
3586.39/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c gomory : 15.14 0.00 14 10 0 0 65 99 0 9 9 0 0
3586.39/3597.00 c > gomorymi : - - - - - - - 57 0 8 8 0 -
3586.39/3597.00 c > strongcg : - - - - - - - 42 0 1 1 0 -
3586.39/3597.00 c impliedbounds : 0.08 0.00 15 11 0 0 82 115 0 45 45 0 0
3586.39/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c multilinear : 0.00 0.00 17 11 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3586.39/3597.00 c zerohalf : 12.68 0.00 15 11 0 0 120 122 3 122 119 3 0
3586.39/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.39/3597.00 c hybrid : 0.00 0.00 30 11 234 0 316 159 0 129
3586.39/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.39/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.39/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.39/3597.00 c problem variables: 0.00 - 0 0
3586.39/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.39/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.39/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.39/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.39/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.39/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.39/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.39/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.39/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.39/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.39/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.39/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.39/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.39/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.49/3597.00 c relpscost : 39.27 0.00 157 0 0 0 0 0 0 314
3586.49/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.49/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.49/3597.00 c LP solutions : 0.00 - - 0 0
3586.49/3597.00 c relax solutions : 0.00 - - 0 0
3586.49/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.49/3597.00 c strong branching : 0.00 - - 0 0
3586.49/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.49/3597.00 c adaptivediving : 71.93 0.00 1 0 0
3586.49/3597.00 c alns : 178.44 0.00 4 0 0
3586.49/3597.00 c bound : 0.00 0.00 0 0 0
3586.49/3597.00 c clique : 0.08 0.00 1 0 0
3586.49/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.49/3597.00 c completesol : 0.00 0.00 0 0 0
3586.49/3597.00 c conflictdiving : 271.93 0.00 1 0 0
3586.49/3597.00 c crossover : 0.00 0.00 0 0 0
3586.49/3597.00 c dins : 0.00 0.00 0 0 0
3586.49/3597.00 c distributiondivin: 0.10 0.00 0 0 0
3586.49/3597.00 c dks : 0.00 0.00 0 0 0
3586.49/3597.00 c dps : 0.00 0.00 0 0 0
3586.49/3597.00 c dualval : 0.00 0.00 0 0 0
3586.49/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.49/3597.00 c feaspump : 154.00 0.00 1 0 0
3586.49/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.49/3597.00 c fracdiving : 0.00 0.00 0 0 0
3586.49/3597.00 c gins : 0.00 0.00 0 0 0
3586.49/3597.00 c guideddiving : 0.00 0.00 0 0 0
3586.49/3597.00 c indicator : 0.00 0.00 0 0 0
3586.49/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.49/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.49/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.49/3597.00 c linesearchdiving : 0.00 0.00 0 0 0
3586.49/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.49/3597.00 c locks : 0.06 0.00 1 0 0
3586.49/3597.00 c lpface : 0.01 0.00 0 0 0
3586.49/3597.00 c mpec : 0.00 0.00 0 0 0
3586.49/3597.00 c multistart : 0.00 0.00 0 0 0
3586.49/3597.00 c mutation : 0.00 0.00 0 0 0
3586.49/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.49/3597.00 c objpscostdiving : 0.00 0.00 0 0 0
3586.49/3597.00 c octane : 0.00 0.00 0 0 0
3586.49/3597.00 c ofins : 0.00 0.00 0 0 0
3586.49/3597.00 c oneopt : 0.00 0.00 0 0 0
3586.49/3597.00 c padm : 0.00 0.00 0 0 0
3586.49/3597.00 c proximity : 0.00 0.00 0 0 0
3586.49/3597.00 c pscostdiving : 84.22 0.00 1 0 0
3586.49/3597.00 c randrounding : 0.20 0.00 33 0 0
3586.49/3597.00 c rens : 0.31 0.00 1 0 0
3586.49/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.49/3597.00 c repair : 0.00 0.00 0 0 0
3586.49/3597.00 c rins : 0.00 0.00 0 0 0
3586.49/3597.00 c rootsoldiving : 0.00 0.00 0 0 0
3586.49/3597.00 c rounding : 0.10 0.00 142 0 0
3586.49/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.49/3597.00 c shiftandpropagate: 0.02 0.00 1 0 0
3586.49/3597.00 c shifting : 0.33 0.00 47 0 0
3586.49/3597.00 c simplerounding : 0.00 0.00 0 0 0
3586.49/3597.00 c subnlp : 0.00 0.00 0 0 0
3586.49/3597.00 c trivial : 0.01 0.00 2 0 0
3586.49/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.49/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.49/3597.00 c trysol : 0.00 0.00 0 0 0
3586.49/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.49/3597.00 c undercover : 0.00 0.00 0 0 0
3586.49/3597.00 c vbounds : 0.11 0.00 1 0 0
3586.49/3597.00 c veclendiving : 0.00 0.00 0 0 0
3586.49/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.49/3597.00 c zirounding : 0.03 0.00 157 0 0
3586.49/3597.00 c other solutions : - - - 0 -
3586.49/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.49/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.49/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.49/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.49/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.49/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.49/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.49/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.49/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.49/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.49/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.49/3597.00 c primal LP : 0.23 12 0 0.00 0.00 0.23 12
3586.49/3597.00 c dual LP : 2716.30 330 2435522 7658.87 896.63 0.03 12
3586.49/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.49/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.49/3597.00 c resolve instable : 75.86 4 95713 23928.25 1261.64
3586.49/3597.00 c diving/probing LP: 588.87 24 341466 14227.75 579.87
3586.49/3597.00 c strong branching : 31.83 19 18028 948.84 566.35 - - 35
3586.49/3597.00 c (at root node) : - 19 18028 948.84 -
3586.49/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3586.49/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.49/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3586.49/3597.00 c B&B Tree :
3586.49/3597.00 c number of runs : 1
3586.49/3597.00 c nodes : 293 (157 internal, 136 leaves)
3586.49/3597.00 c feasible leaves : 0
3586.49/3597.00 c infeas. leaves : 135
3586.49/3597.00 c objective leaves : 0
3586.49/3597.00 c nodes (total) : 293 (157 internal, 136 leaves)
3586.49/3597.00 c nodes left : 20
3586.49/3597.00 c max depth : 40
3586.49/3597.00 c max depth (total): 40
3586.49/3597.00 c backtracks : 44 (15.0%)
3586.49/3597.00 c early backtracks : 0 (0.0%)
3586.49/3597.00 c nodes exc. ref. : 0 (0.0%)
3586.49/3597.00 c delayed cutoffs : 3
3586.49/3597.00 c repropagations : 351 (6063 domain reductions, 3 cutoffs)
3586.49/3597.00 c avg switch length: 3.49
3586.49/3597.00 c switching time : 0.35
3586.49/3597.00 c Root Node :
3586.49/3597.00 c First LP value : +0.00000000000000e+00
3586.49/3597.00 c First LP Iters : 16983 (1044.45 Iter/sec)
3586.49/3597.00 c First LP Time : 16.26
3586.49/3597.00 c Final Dual Bound : +0.00000000000000e+00
3586.49/3597.00 c Final Root Iters : 234148
3586.49/3597.00 c Root LP Estimate : +1.39958329319013e-03
3586.49/3597.00 c Solution :
3586.49/3597.00 c Solutions found : 0 (0 improvements)
3586.49/3597.00 c Primal Bound : -
3586.49/3597.00 c Dual Bound : +0.00000000000000e+00
3586.49/3597.00 c Gap : infinite
3586.49/3597.00 c Integrals : Total Avg%
3586.49/3597.00 c primal-dual : 359700.03 100.00
3586.49/3597.00 c primal-ref : - - (not evaluated)
3586.49/3597.00 c dual-ref : - - (not evaluated)
3586.49/3597.10 c Time complete (sec): 3586.602
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 (62887 MiB free)
memory of node 1: 64465 MiB (62846 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506807-1751176726/watcher-4506807-1751176726 -o /tmp/evaluation-result-4506807-1751176726/solver-4506807-1751176726 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751169526-28920 --watchdog 3760 pbsolver -f HOME/instance-4506807-1751176726.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
solver pid=29692, runsolver pid=29688
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.15 4.11 4.09 5/261 29698
/proc/meminfo: memFree=128695572/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=80708 memory=71340 CPUtime=0.1 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 15745 0 0 0 7 3 0 0 20 0 1 0 33351341 82644992 17803 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 20177 17803 2368 2575 0 17084 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 80708 KiB
Current children cumulated memory: 71340 KiB
[startup+0.205864 s]*
/proc/loadavg: 4.15 4.11 4.09 5/265 29707
/proc/meminfo: memFree=128663516/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=107600 memory=95600 CPUtime=0.2 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 21302 0 0 0 16 4 0 0 20 0 1 0 33351341 110182400 23900 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 26900 23900 2432 2575 0 23807 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107600 KiB
Current children cumulated memory: 95600 KiB
[startup+0.305771 s]*
/proc/loadavg: 4.15 4.11 4.09 5/265 29707
/proc/meminfo: memFree=128591192/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=113880 memory=102196 CPUtime=0.3 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 25253 0 0 0 26 4 0 0 20 0 1 0 33351341 116613120 25549 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 28470 25549 2496 2575 0 25377 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 113880 KiB
Current children cumulated memory: 102196 KiB
[startup+0.700177 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 29707
/proc/meminfo: memFree=128542860/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=122976 memory=110684 CPUtime=0.69 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 29922 0 0 0 64 5 0 0 20 0 1 0 33351341 125927424 27671 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 30744 27671 2560 2575 0 27651 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 122976 KiB
Current children cumulated memory: 110684 KiB
[startup+1.50017 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 29707
/proc/meminfo: memFree=128519676/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=159876 memory=145608 CPUtime=1.48 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 36816 0 0 0 142 6 0 0 20 0 1 0 33351341 163713024 36402 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 39969 36402 2592 2575 0 36876 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 159876 KiB
Current children cumulated memory: 145608 KiB
[startup+3.1056 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 29707
/proc/meminfo: memFree=128445452/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=161852 memory=147656 CPUtime=3.08 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 37330 0 0 0 302 6 0 0 20 0 1 0 33351341 165736448 36914 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 40463 36914 2592 2575 0 37370 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 161852 KiB
Current children cumulated memory: 147656 KiB
[startup+6.30016 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 29707
/proc/meminfo: memFree=128445612/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=163028 memory=148936 CPUtime=6.27 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 37638 0 0 0 621 6 0 0 20 0 1 0 33351341 166940672 37234 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 40757 37234 2592 2575 0 37664 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 163028 KiB
Current children cumulated memory: 148936 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 29707
/proc/meminfo: memFree=128426460/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=169420 memory=155208 CPUtime=12.65 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 39213 0 0 0 1259 6 0 0 20 0 1 0 33351341 173486080 38802 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 42355 38802 2592 2575 0 39262 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 169420 KiB
Current children cumulated memory: 155208 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 29707
/proc/meminfo: memFree=128390732/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=169552 memory=155336 CPUtime=25.4 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 39248 0 0 0 2534 6 0 0 20 0 1 0 33351341 173621248 38834 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 42388 38834 2592 2575 0 39295 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 169552 KiB
Current children cumulated memory: 155336 KiB
[startup+51.1055 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 29707
/proc/meminfo: memFree=128096936/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=335688 memory=273096 CPUtime=50.92 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 68835 0 0 0 5080 12 0 0 20 0 1 0 33351341 343744512 68274 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 83922 68274 2688 2575 0 80829 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 335688 KiB
Current children cumulated memory: 273096 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 29714
/proc/meminfo: memFree=127957804/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=343124 memory=280392 CPUtime=101.92 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 70665 0 0 0 10180 12 0 0 20 0 1 0 33351341 351358976 70098 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 85781 70098 2688 2575 0 82688 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 343124 KiB
Current children cumulated memory: 280392 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 29727
/proc/meminfo: memFree=127946016/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=347820 memory=284272 CPUtime=161.69 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 71129 0 0 0 16157 12 0 0 20 0 1 0 33351341 356167680 71068 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 86955 71068 2688 2575 0 83862 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 347820 KiB
Current children cumulated memory: 284272 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 29729
/proc/meminfo: memFree=127899724/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=402368 memory=336836 CPUtime=221.48 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 76605 0 0 0 22134 14 0 0 20 0 1 0 33351341 412024832 84209 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 100592 84209 2688 2575 0 97499 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 402368 KiB
Current children cumulated memory: 336836 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 29731
/proc/meminfo: memFree=127772340/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=419696 memory=351300 CPUtime=281.27 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 80227 0 0 0 28112 15 0 0 20 0 1 0 33351341 429768704 87825 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 104924 87825 2688 2575 0 101831 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 419696 KiB
Current children cumulated memory: 351300 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/263 29733
/proc/meminfo: memFree=127749692/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=431272 memory=362284 CPUtime=341.04 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 82489 0 0 0 34089 15 0 0 20 0 1 0 33351341 441622528 90571 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 107818 90571 2688 2575 0 104725 0
Current children cumulated CPU time: 341.04 s
Current children cumulated vsize: 431272 KiB
Current children cumulated memory: 362284 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 29735
/proc/meminfo: memFree=127654008/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=436580 memory=367916 CPUtime=400.84 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 83900 0 0 0 40068 16 0 0 20 0 1 0 33351341 447057920 91979 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 109145 91979 2688 2575 0 106052 0
Current children cumulated CPU time: 400.84 s
Current children cumulated vsize: 436580 KiB
Current children cumulated memory: 367916 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 29738
/proc/meminfo: memFree=127624712/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=446060 memory=377644 CPUtime=460.61 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 86337 0 0 0 46045 16 0 0 20 0 1 0 33351341 456765440 94411 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 111515 94411 2688 2575 0 108422 0
Current children cumulated CPU time: 460.61 s
################
# More data... #
################
/proc/loadavg: 4.12 4.10 4.09 5/265 29921
/proc/meminfo: memFree=127736956/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=575696 memory=549980 CPUtime=3152.85 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 121661 0 0 0 315264 21 0 0 20 0 1 0 33351341 589512704 137495 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 143924 137495 2976 2575 0 140831 0
Current children cumulated CPU time: 3152.85 s
Current children cumulated vsize: 575696 KiB
Current children cumulated memory: 549980 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 29924
/proc/meminfo: memFree=127735720/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=575696 memory=551132 CPUtime=3212.7 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 121823 0 0 0 321249 21 0 0 20 0 1 0 33351341 589512704 137783 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 143924 137783 2976 2575 0 140831 0
Current children cumulated CPU time: 3212.7 s
Current children cumulated vsize: 575696 KiB
Current children cumulated memory: 551132 KiB
[startup+3282.3 s]
/proc/loadavg: 4.46 4.20 4.12 5/266 29926
/proc/meminfo: memFree=127735388/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=575696 memory=551132 CPUtime=3272.55 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 121835 0 0 0 327234 21 0 0 20 0 1 0 33351341 589512704 137783 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 143924 137783 2976 2575 0 140831 0
Current children cumulated CPU time: 3272.55 s
Current children cumulated vsize: 575696 KiB
Current children cumulated memory: 551132 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.17 4.12 5/265 29928
/proc/meminfo: memFree=127735508/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=575696 memory=551132 CPUtime=3332.4 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 122003 0 0 0 333219 21 0 0 20 0 1 0 33351341 589512704 137783 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 143924 137783 2976 2575 0 140831 0
Current children cumulated CPU time: 3332.4 s
Current children cumulated vsize: 575696 KiB
Current children cumulated memory: 551132 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.17 4.12 5/265 29930
/proc/meminfo: memFree=127735388/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=575696 memory=551132 CPUtime=3392.26 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 122089 0 0 0 339205 21 0 0 20 0 1 0 33351341 589512704 137783 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 143924 137783 2976 2575 0 140831 0
Current children cumulated CPU time: 3392.26 s
Current children cumulated vsize: 575696 KiB
Current children cumulated memory: 551132 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.17 4.12 5/263 29932
/proc/meminfo: memFree=127735516/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=575696 memory=551132 CPUtime=3452.11 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 122178 0 0 0 345190 21 0 0 20 0 1 0 33351341 589512704 137783 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 143924 137783 2976 2575 0 140831 0
Current children cumulated CPU time: 3452.11 s
Current children cumulated vsize: 575696 KiB
Current children cumulated memory: 551132 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/263 29935
/proc/meminfo: memFree=127735636/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=575696 memory=551132 CPUtime=3511.97 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 122326 0 0 0 351176 21 0 0 20 0 1 0 33351341 589512704 137783 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 143924 137783 2976 2575 0 140831 0
Current children cumulated CPU time: 3511.97 s
Current children cumulated vsize: 575696 KiB
Current children cumulated memory: 551132 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/263 29937
/proc/meminfo: memFree=127735500/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=575696 memory=551132 CPUtime=3571.82 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 122351 0 0 0 357161 21 0 0 20 0 1 0 33351341 589512704 137783 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 143924 137783 2976 2575 0 140831 0
Current children cumulated CPU time: 3571.82 s
Current children cumulated vsize: 575696 KiB
Current children cumulated memory: 551132 KiB
[startup+3597.11 s]
# the end of solver process 29692 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.38 s, system=0.224208 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.15 4.11 5/263 29937
/proc/meminfo: memFree=127735516/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=575696 memory=551132 CPUtime=3573.52 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 122352 0 0 0 357331 21 0 0 20 0 1 0 33351341 589512704 137783 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 143924 137783 2976 2575 0 140831 0
Current children cumulated CPU time: 3573.52 s
Current children cumulated vsize: 575696 KiB
Current children cumulated memory: 551132 KiB
[startup+3590.4 s]
/proc/loadavg: 4.12 4.15 4.11 5/263 29937
/proc/meminfo: memFree=127735532/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=575696 memory=551132 CPUtime=3579.9 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 122352 0 0 0 357969 21 0 0 20 0 1 0 33351341 589512704 137783 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 143924 137783 2976 2575 0 140831 0
Current children cumulated CPU time: 3579.9 s
Current children cumulated vsize: 575696 KiB
Current children cumulated memory: 551132 KiB
[startup+3593.6 s]
/proc/loadavg: 4.12 4.15 4.11 5/263 29937
/proc/meminfo: memFree=127735532/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=575696 memory=551132 CPUtime=3583.1 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 122434 0 0 0 358289 21 0 0 20 0 1 0 33351341 589512704 137783 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 143924 137783 2976 2575 0 140831 0
Current children cumulated CPU time: 3583.1 s
Current children cumulated vsize: 575696 KiB
Current children cumulated memory: 551132 KiB
[startup+3595.2 s]
/proc/loadavg: 4.11 4.14 4.11 5/263 29937
/proc/meminfo: memFree=127735532/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=575696 memory=551132 CPUtime=3584.69 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 122434 0 0 0 358448 21 0 0 20 0 1 0 33351341 589512704 137783 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 143924 137783 2976 2575 0 140831 0
Current children cumulated CPU time: 3584.69 s
Current children cumulated vsize: 575696 KiB
Current children cumulated memory: 551132 KiB
[startup+3596 s]*
/proc/loadavg: 4.11 4.14 4.11 5/263 29937
/proc/meminfo: memFree=127735532/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=575696 memory=551132 CPUtime=3585.49 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 122434 0 0 0 358528 21 0 0 20 0 1 0 33351341 589512704 137783 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 143924 137783 2976 2575 0 140831 0
Current children cumulated CPU time: 3585.49 s
Current children cumulated vsize: 575696 KiB
Current children cumulated memory: 551132 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.14 4.11 5/263 29937
/proc/meminfo: memFree=127735532/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=575696 memory=551132 CPUtime=3586.29 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 122434 0 0 0 358608 21 0 0 20 0 1 0 33351341 589512704 137783 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 143924 137783 2976 2575 0 140831 0
Current children cumulated CPU time: 3586.29 s
Current children cumulated vsize: 575696 KiB
Current children cumulated memory: 551132 KiB
[startup+3597 s]*
/proc/loadavg: 4.11 4.14 4.11 5/259 29945
/proc/meminfo: memFree=128302724/131249992 swapFree=33010684/33010684
[pid=29692] ppid=29688 vsize=575696 memory=551132 CPUtime=3586.49 cores=1,3
/proc/29692/stat : 29692 (pbsolver) R 29688 29692 28908 0 -1 4194304 122435 0 0 0 358628 21 0 0 20 0 1 0 33351341 589512704 137783 18446744073709551615 4198400 14743177 140737005472784 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 22233088 140737005476234 140737005476330 140737005476330 140737005481932 0
/proc/29692/statm: 143924 137783 2976 2575 0 140831 0
Current children cumulated CPU time: 3586.49 s
Current children cumulated vsize: 575696 KiB
Current children cumulated memory: 551132 KiB
Child status: 0
Real time (s): 3597.11
CPU time (s): 3586.61
CPU user time (s): 3586.38
CPU system time (s): 0.224208
CPU usage (%): 99.7081
Max. virtual memory (cumulated for all children) (KiB): 587496
Max. memory (cumulated for all children) (KiB): 558508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.38
system time used= 0.224208
maximum resident set size= 558508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122487
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= 29
involuntary context switches= 5043
# summary of solver processes directly reported to runsolver:
# pid: 29692
# total CPU time (s): 3586.61
# total CPU user time (s): 3586.38
# total CPU system time (s): 0.224208
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.4708 second user time and 15.2193 second system time
The end
Begin job on nodeC025 at 2025-06-29 07:58:46 IDJOB=4506807 IDBENCH=158265 IDSOLVER=3366 FILE ID=nodeC025/4506807-1751176726 RUNJOBID= nodeC025-1751169526-28920 SLURM_JOB_ID= 9587520 Free space on /tmp= 432964 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K138.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506807-1751176726/watcher-4506807-1751176726 -o /tmp/evaluation-result-4506807-1751176726/solver-4506807-1751176726 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751169526-28920 --watchdog 3760 pbsolver -f HOME/instance-4506807-1751176726.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= df8f338dbd068337fef89bf4c43df9f5 RANDOM SEED=1176018454 nodeC025 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.804 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.67 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 : 3600.199 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.67 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 : 3601.041 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.67 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 : 3670.556 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.67 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 : 3600.102 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.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.864 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.67 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.850 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.67 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 : 3589.349 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.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249992 kB MemFree: 128687516 kB MemAvailable: 128445004 kB Buffers: 3280 kB Cached: 567460 kB SwapCached: 0 kB Active: 1616480 kB Inactive: 309308 kB Active(anon): 1373168 kB Inactive(anon): 0 kB Active(file): 243312 kB Inactive(file): 309308 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 27056 kB Writeback: 8 kB AnonPages: 1357328 kB Mapped: 124040 kB Shmem: 18084 kB KReclaimable: 88212 kB Slab: 172776 kB SReclaimable: 88212 kB SUnreclaim: 84564 kB KernelStack: 4224 kB PageTables: 5828 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 2100500 kB VmallocTotal: 34359738367 kB VmallocUsed: 150472 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 206848 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: 207572 kB DirectMap2M: 9000960 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433000 MiB End job on nodeC025 at 2025-06-29 08:58:43