| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3586.18 | 3597.1 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K133.opb |
| MD5SUM | 9ec822d6c0cd68d217a6cdee070ca11c |
| 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 | 15827 |
| Total number of constraints | 16095 |
| Number of constraints which are clauses | 15962 |
| Number of constraints which are cardinality constraints (but not clauses) | 133 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 133 |
| 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 | 134 |
| 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-4506951-1751179077.opb>
0.00/0.05 c original problem has 15827 variables (15827 bin, 0 int, 0 cont) and 16095 constraints
0.00/0.05 c problem read in 0.053 seconds
0.00/0.05 c problem without objective
0.09/0.11 c presolving:
0.09/0.14 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, 1821 clqs
0.09/0.14 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, 1805 clqs
0.09/0.15 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, 1826 clqs
0.09/0.15 c (round 4, fast) 1055 del vars, 536 del conss, 0 add conss, 262 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1859 clqs
0.09/0.15 c (round 5, fast) 1130 del vars, 591 del conss, 0 add conss, 286 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1880 clqs
0.09/0.16 c (round 6, fast) 1171 del vars, 625 del conss, 0 add conss, 300 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1890 clqs
0.09/0.20 c (0.2s) running MILP presolver
0.38/0.42 c (0.4s) MILP presolver (4 rounds): 1 aggregations, 137 fixings, 0 bound changes
0.38/0.43 c (round 7, medium) 1319 del vars, 635 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1896 clqs
0.38/0.44 c (round 8, fast) 1319 del vars, 774 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1901 clqs
0.38/0.46 c (round 9, exhaustive) 1319 del vars, 904 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1901 clqs
0.48/0.52 c (round 10, exhaustive) 1319 del vars, 904 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 15191 upgd conss, 0 impls, 1901 clqs
0.58/0.65 c (round 11, exhaustive) 1424 del vars, 904 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 104 chg coeffs, 15191 upgd conss, 0 impls, 1892 clqs
0.58/0.66 c (round 12, fast) 1529 del vars, 1009 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 104 chg coeffs, 15191 upgd conss, 0 impls, 1892 clqs
1.77/1.81 c (round 13, exhaustive) 1554 del vars, 1010 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 104 chg coeffs, 15191 upgd conss, 0 impls, 96062 clqs
1.77/1.82 c (round 14, fast) 1554 del vars, 1035 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 158 chg coeffs, 15191 upgd conss, 0 impls, 96076 clqs
2.86/2.99 c (round 15, exhaustive) 1580 del vars, 1035 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 158 chg coeffs, 15191 upgd conss, 0 impls, 96056 clqs
2.86/2.99 c (round 16, fast) 1581 del vars, 1061 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 211 chg coeffs, 15191 upgd conss, 0 impls, 96065 clqs
4.06/4.13 c (round 17, exhaustive) 1607 del vars, 1061 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 211 chg coeffs, 15191 upgd conss, 0 impls, 96045 clqs
4.06/4.14 c (round 18, fast) 1608 del vars, 1087 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 280 chg coeffs, 15191 upgd conss, 0 impls, 96061 clqs
4.46/4.54 c (round 19, exhaustive) 1633 del vars, 1087 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 280 chg coeffs, 15191 upgd conss, 0 impls, 96064 clqs
4.46/4.55 c (round 20, fast) 1633 del vars, 1112 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 346 chg coeffs, 15191 upgd conss, 0 impls, 96075 clqs
4.86/4.95 c (round 21, exhaustive) 1658 del vars, 1112 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 346 chg coeffs, 15191 upgd conss, 0 impls, 96093 clqs
4.86/4.96 c (round 22, fast) 1658 del vars, 1137 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 410 chg coeffs, 15191 upgd conss, 0 impls, 96106 clqs
5.06/5.19 c (round 23, exhaustive) 1683 del vars, 1137 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 410 chg coeffs, 15191 upgd conss, 0 impls, 96128 clqs
5.06/5.19 c (round 24, fast) 1683 del vars, 1162 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 477 chg coeffs, 15191 upgd conss, 0 impls, 96144 clqs
5.65/5.78 c (round 25, exhaustive) 1710 del vars, 1162 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 477 chg coeffs, 15191 upgd conss, 0 impls, 94988 clqs
5.65/5.79 c (round 26, fast) 1710 del vars, 1189 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 560 chg coeffs, 15191 upgd conss, 0 impls, 95010 clqs
5.86/5.96 c (6.0s) probing: 1000/14842 (6.7%) - 182 fixings, 0 aggregations, 1073006 implications, 0 bound changes
5.86/5.97 c (round 27, exhaustive) 1736 del vars, 1189 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 560 chg coeffs, 15191 upgd conss, 0 impls, 95118 clqs
5.86/5.98 c (round 28, fast) 1737 del vars, 1215 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 620 chg coeffs, 15191 upgd conss, 0 impls, 95130 clqs
6.16/6.29 c (round 29, exhaustive) 1762 del vars, 1215 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 620 chg coeffs, 15191 upgd conss, 0 impls, 96118 clqs
6.26/6.30 c (round 30, fast) 1762 del vars, 1240 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 673 chg coeffs, 15191 upgd conss, 0 impls, 96129 clqs
8.45/8.59 c (round 31, exhaustive) 1788 del vars, 1240 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 675 chg coeffs, 15191 upgd conss, 0 impls, 95003 clqs
8.45/8.59 c (round 32, fast) 1790 del vars, 1267 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 759 chg coeffs, 15191 upgd conss, 0 impls, 95016 clqs
8.75/8.84 c (round 33, exhaustive) 1815 del vars, 1267 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 760 chg coeffs, 15191 upgd conss, 0 impls, 96140 clqs
8.75/8.84 c (round 34, fast) 1815 del vars, 1292 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 813 chg coeffs, 15191 upgd conss, 0 impls, 96145 clqs
9.75/9.81 c (round 35, exhaustive) 1840 del vars, 1292 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 815 chg coeffs, 15191 upgd conss, 0 impls, 96077 clqs
9.75/9.82 c (round 36, fast) 1840 del vars, 1317 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 853 chg coeffs, 15191 upgd conss, 0 impls, 96082 clqs
9.95/10.01 c (round 37, exhaustive) 1865 del vars, 1317 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 853 chg coeffs, 15191 upgd conss, 0 impls, 96087 clqs
9.95/10.02 c (round 38, fast) 1865 del vars, 1342 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 893 chg coeffs, 15191 upgd conss, 0 impls, 96089 clqs
10.15/10.20 c (round 39, exhaustive) 1890 del vars, 1342 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 893 chg coeffs, 15191 upgd conss, 0 impls, 95826 clqs
10.15/10.21 c (round 40, fast) 1890 del vars, 1367 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 917 chg coeffs, 15191 upgd conss, 0 impls, 95826 clqs
10.25/10.39 c (round 41, exhaustive) 1915 del vars, 1367 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 917 chg coeffs, 15191 upgd conss, 0 impls, 95587 clqs
10.35/10.40 c (round 42, fast) 1915 del vars, 1392 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 941 chg coeffs, 15191 upgd conss, 0 impls, 95587 clqs
11.95/12.03 c (12.0s) probing: 2000/14842 (13.5%) - 399 fixings, 1 aggregations, 2425203 implications, 0 bound changes
13.14/13.23 c (round 43, exhaustive) 1940 del vars, 1392 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 941 chg coeffs, 15191 upgd conss, 0 impls, 96072 clqs
13.14/13.24 c (round 44, fast) 1940 del vars, 1417 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 963 chg coeffs, 15191 upgd conss, 0 impls, 96072 clqs
13.33/13.40 c (round 45, exhaustive) 1965 del vars, 1417 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 963 chg coeffs, 15191 upgd conss, 0 impls, 95901 clqs
13.33/13.40 c (round 46, fast) 1965 del vars, 1442 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 988 chg coeffs, 15191 upgd conss, 0 impls, 95901 clqs
15.73/15.82 c (15.8s) probing: 3000/14842 (20.2%) - 446 fixings, 1 aggregations, 3556257 implications, 0 bound changes
17.22/17.37 c (round 47, exhaustive) 1990 del vars, 1442 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 988 chg coeffs, 15191 upgd conss, 0 impls, 96196 clqs
17.22/17.38 c (round 48, fast) 1990 del vars, 1467 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1018 chg coeffs, 15191 upgd conss, 0 impls, 96196 clqs
17.42/17.56 c (round 49, exhaustive) 2015 del vars, 1467 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1018 chg coeffs, 15191 upgd conss, 0 impls, 96039 clqs
17.42/17.56 c (round 50, fast) 2015 del vars, 1492 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1043 chg coeffs, 15191 upgd conss, 0 impls, 96039 clqs
19.32/19.41 c (19.4s) probing: 4000/14842 (27.0%) - 490 fixings, 1 aggregations, 4512387 implications, 0 bound changes
22.41/22.54 c (22.5s) probing: 5000/14842 (33.7%) - 491 fixings, 1 aggregations, 5443561 implications, 0 bound changes
22.51/22.66 c (22.7s) probing: 5039/14842 (34.0%) - 491 fixings, 1 aggregations, 5479056 implications, 0 bound changes
22.51/22.66 c (22.7s) probing aborted: 1000/1000 successive useless probings
22.51/22.66 c (round 51, exhaustive) 2030 del vars, 1492 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1043 chg coeffs, 15191 upgd conss, 0 impls, 96293 clqs
22.51/22.67 c (round 52, fast) 2030 del vars, 1507 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1061 chg coeffs, 15191 upgd conss, 0 impls, 96293 clqs
25.60/25.78 c (25.8s) probing: 6000/14842 (40.4%) - 512 fixings, 1 aggregations, 6324376 implications, 0 bound changes
28.69/28.89 c (28.9s) probing: 7000/14842 (47.2%) - 513 fixings, 1 aggregations, 7246115 implications, 0 bound changes
29.59/29.77 c (29.8s) probing: 7286/14842 (49.1%) - 513 fixings, 1 aggregations, 7507029 implications, 0 bound changes
29.59/29.77 c (29.8s) probing aborted: 1000/1000 successive useless probings
29.59/29.77 c (round 53, exhaustive) 2052 del vars, 1507 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1061 chg coeffs, 15191 upgd conss, 0 impls, 96264 clqs
29.59/29.78 c (round 54, fast) 2052 del vars, 1529 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1089 chg coeffs, 15191 upgd conss, 0 impls, 96264 clqs
31.78/31.96 c (32.0s) probing: 8000/14842 (53.9%) - 518 fixings, 1 aggregations, 8155264 implications, 0 bound changes
32.78/32.93 c (32.9s) probing: 8291/14842 (55.9%) - 518 fixings, 1 aggregations, 8422716 implications, 0 bound changes
32.78/32.93 c (32.9s) probing aborted: 1000/1000 successive useless probings
32.78/32.96 c (33.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
32.78/33.00 c (33.0s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 1.68) (symcode time: 0.01)
32.88/33.02 c dynamic symmetry handling statistics:
32.88/33.02 c orbitopal reduction: no components
32.88/33.02 c orbital reduction: no components
32.88/33.02 c lexicographic reduction: 3 permutations with support sizes 1212, 508, 242
32.88/33.02 c handled 4 out of 4 symmetry components
32.88/33.04 c presolving (55 rounds: 55 fast, 26 medium, 25 exhaustive):
32.88/33.04 c 2060 deleted vars, 1534 deleted constraints, 1 added constraints, 303 tightened bounds, 0 added holes, 0 changed sides, 1094 changed coefficients
32.88/33.04 c 0 implications, 96354 cliques
32.88/33.04 c presolved problem has 14315 variables (14315 bin, 0 int, 0 cont) and 14562 constraints
32.88/33.04 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
32.88/33.04 c 1 constraints of type <knapsack>
32.88/33.04 c 1793 constraints of type <setppc>
32.88/33.04 c 1 constraints of type <orbitope_pp>
32.88/33.04 c 12767 constraints of type <logicor>
32.88/33.04 c transformed objective value is always integral (scale: 1)
32.88/33.04 c Presolving Time: 32.94
32.88/33.04 c
32.88/33.04 c - non default parameters ----------------------------------------------------------------------
32.88/33.04 c
32.88/33.04 c # SCIP version 10.0.0
32.88/33.04 c
32.88/33.04 c # maximal time in seconds to run
32.88/33.04 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
32.88/33.04 c limits/time = 3596.998153
32.88/33.04 c
32.88/33.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
32.88/33.04 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
32.88/33.04 c limits/memory = 27900
32.88/33.04 c
32.88/33.04 c # belongs reading time to solving time?
32.88/33.04 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
32.88/33.04 c timing/reading = TRUE
32.88/33.04 c
32.88/33.04 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
32.88/33.04 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
32.88/33.04 c reading/opbreader/maxintsize = 47
32.88/33.04 c
32.88/33.04 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
32.88/33.04 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
32.88/33.04 c propagating/genvbounds/timingmask = 0
32.88/33.04 c
32.88/33.04 c -----------------------------------------------------------------------------------------------
32.88/33.04 c
49.02/49.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
49.02/49.23 c 49.2s| 1 | 0 | 16655 | - | 284M | 0 | 14k| 14k| 14k| 0 | 0 | 157 | 0 | 0.000000e+00 | -- | Inf | unknown
235.77/236.50 c 237s| 1 | 0 |107116 | - | 307M | 0 | 14k| 14k| 14k| 7 | 1 | 167 | 0 | 0.000000e+00 | -- | Inf | unknown
253.93/254.75 c 255s| 1 | 0 |117582 | - | 314M | 0 | 14k| 14k| 14k| 13 | 2 | 170 | 0 | 0.000000e+00 | -- | Inf | unknown
274.07/274.91 c 275s| 1 | 0 |128681 | - | 318M | 0 | 14k| 14k| 14k| 18 | 3 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
303.19/304.19 c 304s| 1 | 0 |143827 | - | 318M | 0 | 14k| 14k| 14k| 32 | 4 | 179 | 0 | 0.000000e+00 | -- | Inf | unknown
327.31/328.33 c 328s| 1 | 0 |156016 | - | 325M | 0 | 14k| 14k| 14k| 40 | 5 | 189 | 0 | 0.000000e+00 | -- | Inf | unknown
354.83/355.98 c 356s| 1 | 0 |169569 | - | 328M | 0 | 14k| 14k| 14k| 58 | 6 | 199 | 0 | 0.000000e+00 | -- | Inf | unknown
376.37/377.54 c 378s| 1 | 0 |180481 | - | 330M | 0 | 14k| 14k| 14k| 63 | 7 | 200 | 0 | 0.000000e+00 | -- | Inf | unknown
401.91/403.11 c 403s| 1 | 0 |192725 | - | 334M | 0 | 14k| 14k| 14k| 82 | 8 | 210 | 0 | 0.000000e+00 | -- | Inf | unknown
431.21/432.56 c 433s| 1 | 0 |206079 | - | 337M | 0 | 14k| 14k| 14k| 101 | 9 | 215 | 0 | 0.000000e+00 | -- | Inf | unknown
461.03/462.46 c 462s| 1 | 0 |219577 | - | 341M | 0 | 14k| 14k| 14k| 113 | 10 | 216 | 0 | 0.000000e+00 | -- | Inf | unknown
494.43/495.92 c 496s| 1 | 0 |235076 | - | 343M | 0 | 14k| 14k| 14k| 126 | 11 | 217 | 0 | 0.000000e+00 | -- | Inf | unknown
733.44/735.63 c 736s| 1 | 2 |332193 | - | 345M | 0 | 14k| 14k| 14k| 126 | 11 | 227 | 21 | 0.000000e+00 | -- | Inf | unknown
2367.84/2375.44 c 2375s| 100 | 21 | 1376k|11526.0 | 367M | 40 | 14k| 14k| 0 | 177 | 0 | 326 | 21 | 0.000000e+00 | -- | Inf | unknown
3585.97/3597.00 c
3585.97/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.97/3597.00 c Solving Time (sec) : 3597.00
3585.97/3597.00 c Solving Nodes : 184
3585.97/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3585.97/3597.00 c Dual Bound : +0.00000000000000e+00
3585.97/3597.00 c Gap : infinite
3585.97/3597.00 s UNKNOWN
3585.97/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3585.97/3597.00 c Total Time : 3597.00
3585.97/3597.00 c solving : 3597.00
3585.97/3597.00 c presolving : 32.94 (included in solving)
3585.97/3597.00 c reading : 0.05 (included in solving)
3585.97/3597.00 c copying : 0.16 (5 #copies) (minimal 0.03, maximal 0.04, average 0.03)
3585.97/3597.00 c Original Problem :
3585.97/3597.00 c Problem name : HOME/instance-4506951-1751179077.opb
3585.97/3597.00 c Variables : 15827 (15827 binary, 0 integer, 0 continuous)
3585.97/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3585.97/3597.00 c Constraints : 16095 initial, 16095 maximal
3585.97/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.97/3597.00 c Presolved Problem :
3585.97/3597.00 c Problem name : t_HOME/instance-4506951-1751179077.opb
3585.97/3597.00 c Variables : 14315 (14315 binary, 0 integer, 0 continuous)
3585.97/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3585.97/3597.00 c Constraints : 14562 initial, 14858 maximal
3585.97/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3585.97/3597.00 c Nonzeros : 79527 constraint, 206765 clique table
3585.97/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3585.97/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c domcol : 0.75 0.00 22 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c dualsparsify : 0.03 0.00 1 0 0 0 0 0 5 0 0 5
3585.97/3597.00 c gateextraction : 0.14 0.00 23 0 0 0 0 0 1 0 0 0
3585.97/3597.00 c implics : 0.00 0.00 26 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c milp : 0.27 0.00 1 137 1 0 0 0 0 0 0 0
3585.97/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c sparsify : 0.41 0.00 4 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c trivial : 0.02 0.00 55 548 0 0 0 0 0 0 0 0
3585.97/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c dualfix : 0.01 0.00 55 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c probing : 28.04 0.00 22 518 1 0 0 0 0 0 0 0
3585.97/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c symmetry : 0.06 0.00 1 3 0 0 0 0 0 1 0 0
3585.97/3597.00 c vbounds : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c knapsack : 0.01 0.00 91 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c setppc : 0.14 0.00 91 0 0 0 0 0 107 0 0 0
3585.97/3597.00 c linear : 0.12 0.02 12 303 0 0 303 0 904 0 0 0
3585.97/3597.00 c orbitope_pp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c logicor : 2.86 0.00 91 106 0 0 0 0 517 0 0 1089
3585.97/3597.00 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c root node : - - - 0 - - 0 - - - - -
3585.97/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3585.97/3597.00 c integral : 0 0 0 0 104 0 0 30 0 0 0 0 0 0 208
3585.97/3597.00 c knapsack : 1 1 11 244478 0 0 0 26 0 0 0 0 0 0 0
3585.97/3597.00 c setppc : 1793+ 1878 11 251270 0 0 0 17 100434 341 15052 0 0 0 0
3585.97/3597.00 c orbitope_pp : 1 1 0 11009 0 0 0 0 151 0 35 0 0 0 0
3585.97/3597.00 c logicor : 12767+ 12978 11 130277 0 0 0 0 297652 114 36233 5 3 0 0
3585.97/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3585.97/3597.00 c integral : 34.77 0.00 0.00 0.00 34.77 0.00 0.00 0.00 0.00 0.00
3585.97/3597.00 c knapsack : 0.21 0.00 0.01 0.20 0.00 0.00 0.00 0.00 0.00 0.00
3585.97/3597.00 c setppc : 2.70 0.00 0.00 2.65 0.00 0.00 0.00 0.00 0.04 0.01
3585.97/3597.00 c orbitope_pp : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3585.97/3597.00 c logicor : 10.20 0.00 0.03 10.05 0.00 0.00 0.00 0.00 0.10 0.02
3585.97/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.97/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.97/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3585.97/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3585.97/3597.00 c dualfix : 1 0 0 0
3585.97/3597.00 c genvbounds : 0 0 0 0
3585.97/3597.00 c nlobbt : 0 0 0 0
3585.97/3597.00 c obbt : 0 0 0 0
3585.97/3597.00 c probing : 0 0 0 0
3585.97/3597.00 c pseudoobj : 0 0 0 0
3585.97/3597.00 c redcost : 0 0 0 0
3585.97/3597.00 c rootredcost : 0 0 0 0
3585.97/3597.00 c symmetry : 1673 0 0 11
3585.97/3597.00 c vbounds : 4691 0 0 0
3585.97/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3585.97/3597.00 c dualfix : 0.02 0.00 0.01 0.00 0.00 0.00
3585.97/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3585.97/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.97/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3585.97/3597.00 c probing : 28.04 0.00 28.04 0.00 0.00 0.00
3585.97/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3585.97/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3585.97/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3585.97/3597.00 c symmetry : 0.07 0.00 0.06 0.01 0.00 0.00
3585.97/3597.00 c vbounds : 0.13 0.00 0.02 0.11 0.00 0.00
3585.97/3597.00 c Symmetry :
3585.97/3597.00 c #affected vars : 2325 (2325 bin, 0 int, 0 cont)
3585.97/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3585.97/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3585.97/3597.00 c lexicographic red: 11 reductions applied, 0 cutoffs
3585.97/3597.00 c shadow tree time : 0.00 s
3585.97/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3585.97/3597.00 c propagation : 0.02 451 116 - 618 103.0 0 0.0 - - -
3585.97/3597.00 c infeasible LP : 0.80 63 60 - 837 1469.9 1 3.0 0 0.0 0
3585.97/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3585.97/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3585.97/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3585.97/3597.00 c applied globally : 0.02 - - 0 415 145.3 - - 0 - -
3585.97/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3585.97/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3585.97/3597.00 c cut pool : 0.00 - 45 21 - - 309 812 - - - - - (maximal pool size: 309)
3585.97/3597.00 c aggregation : 0.05 0.00 14 11 0 0 1 1 0 1 1 0 0
3585.97/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3585.97/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3585.97/3597.00 c > knapsackcover : - - - - - - - 1 0 1 1 0 -
3585.97/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c clique : 1.28 0.00 11 11 0 0 93 326 0 64 64 0 0
3585.97/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c gomory : 13.97 0.00 13 10 0 0 60 196 0 19 19 0 0
3585.97/3597.00 c > gomorymi : - - - - - - - 106 0 14 14 0 -
3585.97/3597.00 c > strongcg : - - - - - - - 90 0 5 5 0 -
3585.97/3597.00 c impliedbounds : 0.07 0.00 14 11 0 0 67 195 0 44 44 0 0
3585.97/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c multilinear : 0.00 0.00 18 11 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3585.97/3597.00 c zerohalf : 13.96 0.00 14 11 0 0 90 94 2 93 92 1 0
3585.97/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3585.97/3597.00 c hybrid : 0.00 0.00 31 11 224 0 595 126 0 180
3585.97/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3585.97/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3585.97/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3585.97/3597.00 c problem variables: 0.00 - 0 0
3585.97/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3585.97/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.97/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3585.97/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3585.97/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3585.97/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3585.97/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3585.97/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.97/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3585.97/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3585.97/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3585.97/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3585.97/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3585.97/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3585.97/3597.00 c relpscost : 34.77 0.00 104 0 0 0 0 0 0 208
3585.97/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3585.97/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3585.97/3597.00 c LP solutions : 0.00 - - 0 0
3585.97/3597.00 c relax solutions : 0.00 - - 0 0
3585.97/3597.00 c pseudo solutions : 0.00 - - 0 0
3585.97/3597.00 c strong branching : 0.00 - - 0 0
3585.97/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3585.97/3597.00 c adaptivediving : 0.00 0.00 0 0 0
3585.97/3597.00 c alns : 299.13 0.00 4 0 0
3585.97/3597.00 c bound : 0.00 0.00 0 0 0
3585.97/3597.00 c clique : 0.06 0.00 1 0 0
3585.97/3597.00 c coefdiving : 0.00 0.00 0 0 0
3585.97/3597.00 c completesol : 0.00 0.00 0 0 0
3585.97/3597.00 c conflictdiving : 204.68 0.00 1 0 0
3585.97/3597.00 c crossover : 0.00 0.00 0 0 0
3585.97/3597.00 c dins : 0.00 0.00 0 0 0
3585.97/3597.00 c distributiondivin: 0.03 0.00 0 0 0
3585.97/3597.00 c dks : 0.00 0.00 0 0 0
3585.97/3597.00 c dps : 0.00 0.00 0 0 0
3585.97/3597.00 c dualval : 0.00 0.00 0 0 0
3585.97/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3585.97/3597.00 c feaspump : 166.02 0.00 1 0 0
3585.97/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3585.97/3597.00 c fracdiving : 0.00 0.00 0 0 0
3585.97/3597.00 c gins : 0.00 0.00 0 0 0
3585.97/3597.00 c guideddiving : 0.00 0.00 0 0 0
3585.97/3597.00 c indicator : 0.00 0.00 0 0 0
3585.97/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3585.97/3597.00 c intdiving : 0.00 0.00 0 0 0
3585.97/3597.00 c intshifting : 0.00 0.00 0 0 0
3585.97/3597.00 c linesearchdiving : 0.00 0.00 0 0 0
3585.97/3597.00 c localbranching : 0.00 0.00 0 0 0
3585.97/3597.00 c locks : 0.06 0.00 1 0 0
3585.97/3597.00 c lpface : 0.00 0.00 0 0 0
3585.97/3597.00 c mpec : 0.00 0.00 0 0 0
3585.97/3597.00 c multistart : 0.00 0.00 0 0 0
3585.97/3597.00 c mutation : 0.00 0.00 0 0 0
3585.97/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3585.97/3597.00 c objpscostdiving : 0.00 0.00 0 0 0
3585.97/3597.00 c octane : 0.00 0.00 0 0 0
3585.97/3597.00 c ofins : 0.00 0.00 0 0 0
3585.97/3597.00 c oneopt : 0.00 0.00 0 0 0
3585.97/3597.00 c padm : 0.00 0.00 0 0 0
3585.97/3597.00 c proximity : 0.00 0.00 0 0 0
3585.97/3597.00 c pscostdiving : 0.00 0.00 0 0 0
3585.97/3597.00 c randrounding : 0.16 0.00 35 0 0
3585.97/3597.00 c rens : 0.23 0.00 1 0 0
3585.97/3597.00 c reoptsols : 0.00 0.00 0 0 0
3585.97/3597.00 c repair : 0.00 0.00 0 0 0
3585.97/3597.00 c rins : 0.00 0.00 0 0 0
3585.97/3597.00 c rootsoldiving : 0.00 0.00 0 0 0
3585.97/3597.00 c rounding : 0.09 0.00 118 0 0
3585.97/3597.00 c scheduler : 0.00 0.00 0 0 0
3585.97/3597.00 c shiftandpropagate: 0.02 0.00 1 0 0
3585.97/3597.00 c shifting : 0.29 0.00 41 0 0
3585.97/3597.00 c simplerounding : 0.00 0.00 0 0 0
3585.97/3597.00 c subnlp : 0.00 0.00 0 0 0
3585.97/3597.00 c trivial : 0.01 0.00 2 0 0
3585.97/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3585.97/3597.00 c trustregion : 0.00 0.00 0 0 0
3585.97/3597.00 c trysol : 0.00 0.00 0 0 0
3585.97/3597.00 c twoopt : 0.00 0.00 0 0 0
3585.97/3597.00 c undercover : 0.00 0.00 0 0 0
3585.97/3597.00 c vbounds : 0.10 0.00 1 0 0
3585.97/3597.00 c veclendiving : 0.00 0.00 0 0 0
3585.97/3597.00 c zeroobj : 0.00 0.00 0 0 0
3585.97/3597.00 c zirounding : 0.02 0.00 104 0 0
3585.97/3597.00 c other solutions : - - - 0 -
3585.97/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
3585.97/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
3585.97/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
3585.97/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
3585.97/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
3585.97/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
3585.97/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
3585.97/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
3585.97/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
3585.97/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
3585.97/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3585.97/3597.00 c primal LP : 0.18 10 0 0.00 0.00 0.18 10
3585.97/3597.00 c dual LP : 2827.02 196 2272113 11592.41 803.71 0.00 0
3585.97/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3585.97/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3585.97/3597.00 c resolve instable : 0.00 0 0 0.00 -
3585.97/3597.00 c diving/probing LP: 372.78 9 175065 19451.67 469.62
3585.97/3597.00 c strong branching : 32.42 21 20390 970.95 628.94 - - 40
3585.97/3597.00 c (at root node) : - 21 20390 970.95 -
3585.97/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3585.97/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3585.97/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3585.97/3597.00 c B&B Tree :
3585.97/3597.00 c number of runs : 1
3585.97/3597.00 c nodes : 184 (104 internal, 80 leaves)
3585.97/3597.00 c feasible leaves : 0
3585.97/3597.00 c infeas. leaves : 79
3585.97/3597.00 c objective leaves : 0
3585.97/3597.00 c nodes (total) : 184 (104 internal, 80 leaves)
3585.97/3597.00 c nodes left : 22
3585.97/3597.00 c max depth : 40
3585.97/3597.00 c max depth (total): 40
3585.97/3597.00 c backtracks : 17 (9.2%)
3585.97/3597.00 c early backtracks : 0 (0.0%)
3585.97/3597.00 c nodes exc. ref. : 0 (0.0%)
3585.97/3597.00 c delayed cutoffs : 4
3585.97/3597.00 c repropagations : 409 (1104 domain reductions, 4 cutoffs)
3585.97/3597.00 c avg switch length: 5.65
3585.97/3597.00 c switching time : 0.35
3585.97/3597.00 c Root Node :
3585.97/3597.00 c First LP value : +0.00000000000000e+00
3585.97/3597.00 c First LP Iters : 16655 (1045.22 Iter/sec)
3585.97/3597.00 c First LP Time : 15.93
3585.97/3597.00 c Final Dual Bound : +0.00000000000000e+00
3585.97/3597.00 c Final Root Iters : 235076
3585.97/3597.00 c Root LP Estimate : +1.63181196705659e-03
3585.97/3597.00 c Solution :
3585.97/3597.00 c Solutions found : 0 (0 improvements)
3585.97/3597.00 c Primal Bound : -
3585.97/3597.00 c Dual Bound : +0.00000000000000e+00
3585.97/3597.00 c Gap : infinite
3585.97/3597.00 c Integrals : Total Avg%
3585.97/3597.00 c primal-dual : 359699.91 100.00
3585.97/3597.00 c primal-ref : - - (not evaluated)
3585.97/3597.00 c dual-ref : - - (not evaluated)
3586.07/3597.10 c Time complete (sec): 3586.180
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 (43192 MiB free)
memory of node 1: 64465 MiB (63439 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506951-1751179077/watcher-4506951-1751179077 -o /tmp/evaluation-result-4506951-1751179077/solver-4506951-1751179077 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751171866-20914 --watchdog 3760 pbsolver -f HOME/instance-4506951-1751179077.opb -t 3600 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21662, runsolver pid=21659
[startup+0.100064 s]*
/proc/loadavg: 4.13 4.09 4.09 5/266 21663
/proc/meminfo: memFree=109249784/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=81388 memory=71900 CPUtime=0.09 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 15896 0 0 0 7 2 0 0 20 0 1 0 33586390 83341312 17975 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 20347 17975 2368 2575 0 17254 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 81388 KiB
Current children cumulated memory: 71900 KiB
[startup+0.205773 s]*
/proc/loadavg: 4.13 4.09 4.09 5/266 21663
/proc/meminfo: memFree=109444620/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=110680 memory=98320 CPUtime=0.19 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 24764 0 0 0 16 3 0 0 20 0 1 0 33586390 113336320 24580 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 27670 24580 2432 2575 0 24577 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 110680 KiB
Current children cumulated memory: 98320 KiB
[startup+0.305796 s]*
/proc/loadavg: 4.13 4.09 4.09 5/266 21663
/proc/meminfo: memFree=111772224/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=110680 memory=98960 CPUtime=0.28 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 24877 0 0 0 25 3 0 0 20 0 1 0 33586390 113336320 24740 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 27670 24740 2496 2575 0 24577 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 110680 KiB
Current children cumulated memory: 98960 KiB
[startup+0.700176 s]
/proc/loadavg: 4.13 4.09 4.09 5/266 21663
/proc/meminfo: memFree=123854616/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=124012 memory=111720 CPUtime=0.67 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 29524 0 0 0 63 4 0 0 20 0 1 0 33586390 126988288 27930 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 31003 27930 2560 2575 0 27910 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 124012 KiB
Current children cumulated memory: 111720 KiB
[startup+1.50018 s]
/proc/loadavg: 4.13 4.09 4.09 4/262 21671
/proc/meminfo: memFree=129052036/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=162132 memory=146976 CPUtime=1.47 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 36987 0 0 0 142 5 0 0 20 0 1 0 33586390 166023168 36744 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 40533 36744 2592 2575 0 37440 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 162132 KiB
Current children cumulated memory: 146976 KiB
[startup+3.10582 s]
/proc/loadavg: 4.13 4.09 4.09 5/266 21708
/proc/meminfo: memFree=129175868/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=162132 memory=146976 CPUtime=3.07 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 36987 0 0 0 302 5 0 0 20 0 1 0 33586390 166023168 36744 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 40533 36744 2592 2575 0 37440 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 162132 KiB
Current children cumulated memory: 146976 KiB
[startup+6.30015 s]
/proc/loadavg: 4.12 4.09 4.09 5/266 21708
/proc/meminfo: memFree=129168224/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=168344 memory=153120 CPUtime=6.26 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 38523 0 0 0 620 6 0 0 20 0 1 0 33586390 172384256 38280 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 42086 38280 2592 2575 0 38993 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 168344 KiB
Current children cumulated memory: 153120 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 21708
/proc/meminfo: memFree=129160916/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=168692 memory=153504 CPUtime=12.64 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 38611 0 0 0 1258 6 0 0 20 0 1 0 33586390 172740608 38376 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 42173 38376 2592 2575 0 39080 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 168692 KiB
Current children cumulated memory: 153504 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 21709
/proc/meminfo: memFree=129148880/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=170760 memory=155552 CPUtime=25.4 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 39128 0 0 0 2534 6 0 0 20 0 1 0 33586390 174858240 38888 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 42690 38888 2592 2575 0 39597 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 170760 KiB
Current children cumulated memory: 155552 KiB
[startup+51.1058 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 21709
/proc/meminfo: memFree=128854228/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=332708 memory=272544 CPUtime=50.93 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 67509 0 0 0 5082 11 0 0 20 0 1 0 33586390 340692992 68136 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 83177 68136 2656 2575 0 80084 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 332708 KiB
Current children cumulated memory: 272544 KiB
[startup+102.3 s]
/proc/loadavg: 4.30 4.13 4.10 5/266 21711
/proc/meminfo: memFree=128680088/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=333284 memory=273312 CPUtime=101.97 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 67711 0 0 0 10186 11 0 0 20 0 1 0 33586390 341282816 68328 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 83321 68328 2656 2575 0 80228 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 333284 KiB
Current children cumulated memory: 273312 KiB
[startup+162.3 s]
/proc/loadavg: 4.29 4.18 4.12 5/266 21757
/proc/meminfo: memFree=128873296/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=336288 memory=276896 CPUtime=161.79 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 68586 0 0 0 16168 11 0 0 20 0 1 0 33586390 344358912 69224 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 84072 69224 2656 2575 0 80979 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 336288 KiB
Current children cumulated memory: 276896 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/266 21759
/proc/meminfo: memFree=128720040/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=390692 memory=330024 CPUtime=221.61 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 74223 0 0 0 22149 12 0 0 20 0 1 0 33586390 400068608 82506 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 97673 82506 2688 2575 0 94580 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 390692 KiB
Current children cumulated memory: 330024 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.14 4.11 5/265 21761
/proc/meminfo: memFree=128608048/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=410304 memory=347816 CPUtime=281.44 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 78681 0 0 0 28131 13 0 0 20 0 1 0 33586390 420151296 86954 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 102576 86954 2688 2575 0 99483 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 410304 KiB
Current children cumulated memory: 347816 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/263 21764
/proc/meminfo: memFree=128566672/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=416892 memory=352936 CPUtime=341.27 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 79990 0 0 0 34114 13 0 0 20 0 1 0 33586390 426897408 88234 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 104223 88234 2688 2575 0 101130 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 416892 KiB
Current children cumulated memory: 352936 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/263 21766
/proc/meminfo: memFree=128462004/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=422796 memory=357672 CPUtime=401.1 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 81189 0 0 0 40096 14 0 0 20 0 1 0 33586390 432943104 89418 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 105699 89418 2688 2575 0 102606 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 422796 KiB
Current children cumulated memory: 357672 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/263 21768
/proc/meminfo: memFree=128398496/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=430084 memory=368424 CPUtime=460.93 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 82937 0 0 0 46079 14 0 0 20 0 1 0 33586390 440406016 92106 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 107521 92106 2688 2575 0 104428 0
Current children cumulated CPU time: 460.93 s
################
# More data... #
################
/proc/loadavg: 4.07 4.08 4.09 5/264 21915
/proc/meminfo: memFree=127780244/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=548548 memory=524456 CPUtime=3152.56 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 113744 0 0 0 315237 19 0 0 20 0 1 0 33586390 561713152 131114 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 137137 131114 2944 2575 0 134044 0
Current children cumulated CPU time: 3152.56 s
Current children cumulated vsize: 548548 KiB
Current children cumulated memory: 524456 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/264 21917
/proc/meminfo: memFree=127772812/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=548548 memory=524456 CPUtime=3212.4 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 113871 0 0 0 321221 19 0 0 20 0 1 0 33586390 561713152 131114 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 137137 131114 2944 2575 0 134044 0
Current children cumulated CPU time: 3212.4 s
Current children cumulated vsize: 548548 KiB
Current children cumulated memory: 524456 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 21919
/proc/meminfo: memFree=127772680/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=548548 memory=524456 CPUtime=3272.23 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 113927 0 0 0 327204 19 0 0 20 0 1 0 33586390 561713152 131114 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 137137 131114 2944 2575 0 134044 0
Current children cumulated CPU time: 3272.23 s
Current children cumulated vsize: 548548 KiB
Current children cumulated memory: 524456 KiB
[startup+3342.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/264 21922
/proc/meminfo: memFree=127759520/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=548548 memory=524456 CPUtime=3332.07 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 114055 0 0 0 333188 19 0 0 20 0 1 0 33586390 561713152 131114 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 137137 131114 2944 2575 0 134044 0
Current children cumulated CPU time: 3332.07 s
Current children cumulated vsize: 548548 KiB
Current children cumulated memory: 524456 KiB
[startup+3402.3 s]
/proc/loadavg: 4.35 4.18 4.12 5/264 21924
/proc/meminfo: memFree=127767224/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=548548 memory=524456 CPUtime=3391.9 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 114176 0 0 0 339171 19 0 0 20 0 1 0 33586390 561713152 131114 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 137137 131114 2944 2575 0 134044 0
Current children cumulated CPU time: 3391.9 s
Current children cumulated vsize: 548548 KiB
Current children cumulated memory: 524456 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/264 21926
/proc/meminfo: memFree=127767068/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=548548 memory=524456 CPUtime=3451.73 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 114213 0 0 0 345154 19 0 0 20 0 1 0 33586390 561713152 131114 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 137137 131114 2944 2575 0 134044 0
Current children cumulated CPU time: 3451.73 s
Current children cumulated vsize: 548548 KiB
Current children cumulated memory: 524456 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/264 21928
/proc/meminfo: memFree=127766980/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=548548 memory=524456 CPUtime=3511.57 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 114238 0 0 0 351138 19 0 0 20 0 1 0 33586390 561713152 131114 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 137137 131114 2944 2575 0 134044 0
Current children cumulated CPU time: 3511.57 s
Current children cumulated vsize: 548548 KiB
Current children cumulated memory: 524456 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/264 21930
/proc/meminfo: memFree=127766860/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=548548 memory=524456 CPUtime=3571.41 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 114368 0 0 0 357122 19 0 0 20 0 1 0 33586390 561713152 131114 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 137137 131114 2944 2575 0 134044 0
Current children cumulated CPU time: 3571.41 s
Current children cumulated vsize: 548548 KiB
Current children cumulated memory: 524456 KiB
[startup+3597.1 s]
# the end of solver process 21662 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.98 s, system=0.202297 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.13 4.10 5/264 21930
/proc/meminfo: memFree=127766860/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=548548 memory=524456 CPUtime=3573.11 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 114369 0 0 0 357292 19 0 0 20 0 1 0 33586390 561713152 131114 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 137137 131114 2944 2575 0 134044 0
Current children cumulated CPU time: 3573.11 s
Current children cumulated vsize: 548548 KiB
Current children cumulated memory: 524456 KiB
[startup+3590.4 s]
/proc/loadavg: 4.00 4.11 4.09 4/258 21961
/proc/meminfo: memFree=128400180/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=548548 memory=524456 CPUtime=3579.49 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 114370 0 0 0 357930 19 0 0 20 0 1 0 33586390 561713152 131114 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 137137 131114 2944 2575 0 134044 0
Current children cumulated CPU time: 3579.49 s
Current children cumulated vsize: 548548 KiB
Current children cumulated memory: 524456 KiB
[startup+3593.6 s]
/proc/loadavg: 4.00 4.11 4.09 4/258 21961
/proc/meminfo: memFree=128400180/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=548548 memory=524456 CPUtime=3582.68 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 114370 0 0 0 358249 19 0 0 20 0 1 0 33586390 561713152 131114 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 137137 131114 2944 2575 0 134044 0
Current children cumulated CPU time: 3582.68 s
Current children cumulated vsize: 548548 KiB
Current children cumulated memory: 524456 KiB
[startup+3595.2 s]
/proc/loadavg: 3.92 4.09 4.09 4/258 21961
/proc/meminfo: memFree=128400180/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=548548 memory=524456 CPUtime=3584.27 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 114370 0 0 0 358408 19 0 0 20 0 1 0 33586390 561713152 131114 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 137137 131114 2944 2575 0 134044 0
Current children cumulated CPU time: 3584.27 s
Current children cumulated vsize: 548548 KiB
Current children cumulated memory: 524456 KiB
[startup+3596 s]*
/proc/loadavg: 3.92 4.09 4.09 4/258 21961
/proc/meminfo: memFree=128400180/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=548548 memory=524456 CPUtime=3585.08 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 114370 0 0 0 358489 19 0 0 20 0 1 0 33586390 561713152 131114 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 137137 131114 2944 2575 0 134044 0
Current children cumulated CPU time: 3585.08 s
Current children cumulated vsize: 548548 KiB
Current children cumulated memory: 524456 KiB
[startup+3596.8 s]
/proc/loadavg: 3.92 4.09 4.09 4/258 21961
/proc/meminfo: memFree=128400180/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=548548 memory=524456 CPUtime=3585.87 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 114370 0 0 0 358568 19 0 0 20 0 1 0 33586390 561713152 131114 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 137137 131114 2944 2575 0 134044 0
Current children cumulated CPU time: 3585.87 s
Current children cumulated vsize: 548548 KiB
Current children cumulated memory: 524456 KiB
[startup+3597 s]*
/proc/loadavg: 3.92 4.09 4.09 4/258 21961
/proc/meminfo: memFree=128400180/131249996 swapFree=33010684/33010684
[pid=21662] ppid=21659 vsize=548548 memory=524456 CPUtime=3586.07 cores=5,7
/proc/21662/stat : 21662 (pbsolver) R 21659 21662 20901 0 -1 4194304 114370 0 0 0 358588 19 0 0 20 0 1 0 33586390 561713152 131114 18446744073709551615 4198400 14743177 140730643711264 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 22839296 140730643720586 140730643720682 140730643720682 140730643726284 0
/proc/21662/statm: 137137 131114 2944 2575 0 134044 0
Current children cumulated CPU time: 3586.07 s
Current children cumulated vsize: 548548 KiB
Current children cumulated memory: 524456 KiB
Child status: 0
Real time (s): 3597.1
CPU time (s): 3586.18
CPU user time (s): 3585.98
CPU system time (s): 0.202297
CPU usage (%): 99.6964
Max. virtual memory (cumulated for all children) (KiB): 548548
Max. memory (cumulated for all children) (KiB): 524456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.98
system time used= 0.202297
maximum resident set size= 524456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114424
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= 43
involuntary context switches= 19298
# summary of solver processes directly reported to runsolver:
# pid: 21662
# total CPU time (s): 3586.18
# total CPU user time (s): 3585.98
# total CPU system time (s): 0.202297
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.76417 second user time and 16.9252 second system time
The end
Begin job on nodeC032 at 2025-06-29 08:37:58 IDJOB=4506951 IDBENCH=158309 IDSOLVER=3366 FILE ID=nodeC032/4506951-1751179077 RUNJOBID= nodeC032-1751171866-20914 SLURM_JOB_ID= 9587537 Free space on /tmp= 431764 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K133.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506951-1751179077/watcher-4506951-1751179077 -o /tmp/evaluation-result-4506951-1751179077/solver-4506951-1751179077 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751171866-20914 --watchdog 3760 pbsolver -f HOME/instance-4506951-1751179077.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9ec822d6c0cd68d217a6cdee070ca11c RANDOM SEED=505574314 nodeC032 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.775 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.69 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.915 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.69 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 : 3602.624 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.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.531 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.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.843 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.69 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 : 3673.542 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.69 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.108 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.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.427 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.69 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 109129880 kB MemAvailable: 109053040 kB Buffers: 3280 kB Cached: 733932 kB SwapCached: 0 kB Active: 20969844 kB Inactive: 492960 kB Active(anon): 20743708 kB Inactive(anon): 0 kB Active(file): 226136 kB Inactive(file): 492960 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 16008 kB Writeback: 0 kB AnonPages: 20728736 kB Mapped: 135796 kB Shmem: 18068 kB KReclaimable: 86608 kB Slab: 169716 kB SReclaimable: 86608 kB SUnreclaim: 83108 kB KernelStack: 4288 kB PageTables: 45364 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 22567848 kB VmallocTotal: 34359738367 kB VmallocUsed: 150552 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 6975488 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: 203476 kB DirectMap2M: 7956480 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432024 MiB End job on nodeC032 at 2025-06-29 09:37:55