| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3587.39 | 3597.31 |
| 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.20 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.20 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.20 c
0.00/0.20 c user parameter file <scip.set> not found - using default parameters
0.00/0.20 c reading problem <HOME/instance-4506950-1751182186.opb>
0.00/0.25 c original problem has 15827 variables (15827 bin, 0 int, 0 impl, 0 cont) and 16095 constraints
0.00/0.25 c problem read in 0.06
0.00/0.25 c No objective function, only one solution is needed.
0.10/0.31 c presolving:
0.10/0.34 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.10/0.34 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.10/0.35 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.10/0.35 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.10/0.35 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.10/0.36 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.10/0.40 c (0.2s) running MILP presolver
0.25/0.60 c (0.4s) MILP presolver (4 rounds): 0 aggregations, 137 fixings, 0 bound changes
0.35/0.61 c (round 7, medium) 1318 del vars, 635 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1897 clqs
0.35/0.62 c (round 8, fast) 1318 del vars, 772 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1900 clqs
0.35/0.64 c (round 9, exhaustive) 1318 del vars, 903 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1900 clqs
0.44/0.71 c (round 10, exhaustive) 1318 del vars, 903 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 15192 upgd conss, 0 impls, 1900 clqs
0.54/0.84 c (round 11, exhaustive) 1423 del vars, 903 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 104 chg coeffs, 15192 upgd conss, 0 impls, 1891 clqs
0.54/0.85 c (round 12, fast) 1528 del vars, 1008 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 104 chg coeffs, 15192 upgd conss, 0 impls, 1891 clqs
1.75/2.02 c (round 13, exhaustive) 1553 del vars, 1009 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 104 chg coeffs, 15192 upgd conss, 0 impls, 96063 clqs
1.75/2.02 c (round 14, fast) 1553 del vars, 1034 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 158 chg coeffs, 15192 upgd conss, 0 impls, 96077 clqs
2.64/2.98 c (round 15, exhaustive) 1579 del vars, 1034 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 158 chg coeffs, 15192 upgd conss, 0 impls, 96065 clqs
2.64/2.99 c (round 16, fast) 1581 del vars, 1061 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 213 chg coeffs, 15192 upgd conss, 0 impls, 96071 clqs
3.64/3.91 c (round 17, exhaustive) 1607 del vars, 1061 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 214 chg coeffs, 15192 upgd conss, 0 impls, 96054 clqs
3.64/3.92 c (round 18, fast) 1608 del vars, 1087 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 281 chg coeffs, 15192 upgd conss, 0 impls, 96071 clqs
4.03/4.31 c (round 19, exhaustive) 1634 del vars, 1087 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 281 chg coeffs, 15192 upgd conss, 0 impls, 96079 clqs
4.03/4.31 c (round 20, fast) 1635 del vars, 1113 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 346 chg coeffs, 15192 upgd conss, 0 impls, 96090 clqs
5.03/5.37 c (round 21, exhaustive) 1660 del vars, 1113 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 346 chg coeffs, 15192 upgd conss, 0 impls, 96087 clqs
5.03/5.37 c (round 22, fast) 1660 del vars, 1138 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 402 chg coeffs, 15192 upgd conss, 0 impls, 96103 clqs
5.33/5.61 c (round 23, exhaustive) 1686 del vars, 1138 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 402 chg coeffs, 15192 upgd conss, 0 impls, 96110 clqs
5.33/5.61 c (round 24, fast) 1687 del vars, 1164 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 466 chg coeffs, 15192 upgd conss, 0 impls, 96120 clqs
5.63/5.97 c (round 25, exhaustive) 1713 del vars, 1164 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 466 chg coeffs, 15192 upgd conss, 0 impls, 96148 clqs
5.63/5.97 c (round 26, fast) 1713 del vars, 1190 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 525 chg coeffs, 15192 upgd conss, 0 impls, 96155 clqs
5.83/6.17 c (6.0s) probing: 1000/14843 (6.7%) - 179 fixings, 0 aggregations, 1057578 implications, 0 bound changes
6.33/6.64 c (round 27, exhaustive) 1738 del vars, 1190 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 525 chg coeffs, 15192 upgd conss, 0 impls, 94194 clqs
6.33/6.65 c (round 28, fast) 1738 del vars, 1215 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 619 chg coeffs, 15192 upgd conss, 0 impls, 94216 clqs
6.63/6.97 c (round 29, exhaustive) 1763 del vars, 1215 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 619 chg coeffs, 15192 upgd conss, 0 impls, 96150 clqs
6.63/6.98 c (round 30, fast) 1763 del vars, 1240 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 669 chg coeffs, 15192 upgd conss, 0 impls, 96158 clqs
8.72/9.07 c (round 31, exhaustive) 1788 del vars, 1240 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 669 chg coeffs, 15192 upgd conss, 0 impls, 95862 clqs
8.72/9.08 c (round 32, fast) 1788 del vars, 1265 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 739 chg coeffs, 15192 upgd conss, 0 impls, 95880 clqs
9.02/9.32 c (round 33, exhaustive) 1813 del vars, 1265 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 740 chg coeffs, 15192 upgd conss, 0 impls, 96159 clqs
9.02/9.33 c (round 34, fast) 1813 del vars, 1290 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 787 chg coeffs, 15192 upgd conss, 0 impls, 96162 clqs
9.82/10.11 c (round 35, exhaustive) 1838 del vars, 1290 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 788 chg coeffs, 15192 upgd conss, 0 impls, 96113 clqs
9.82/10.11 c (round 36, fast) 1838 del vars, 1315 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 822 chg coeffs, 15192 upgd conss, 0 impls, 96118 clqs
10.01/10.31 c (round 37, exhaustive) 1863 del vars, 1315 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 822 chg coeffs, 15192 upgd conss, 0 impls, 96102 clqs
10.01/10.32 c (round 38, fast) 1863 del vars, 1340 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 857 chg coeffs, 15192 upgd conss, 0 impls, 96104 clqs
10.21/10.50 c (round 39, exhaustive) 1888 del vars, 1340 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 857 chg coeffs, 15192 upgd conss, 0 impls, 95847 clqs
10.21/10.51 c (round 40, fast) 1888 del vars, 1365 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 880 chg coeffs, 15192 upgd conss, 0 impls, 95847 clqs
10.41/10.70 c (round 41, exhaustive) 1913 del vars, 1365 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 880 chg coeffs, 15192 upgd conss, 0 impls, 95630 clqs
10.41/10.70 c (round 42, fast) 1913 del vars, 1390 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 904 chg coeffs, 15192 upgd conss, 0 impls, 95630 clqs
12.01/12.31 c (12.1s) probing: 2000/14843 (13.5%) - 390 fixings, 1 aggregations, 2426795 implications, 0 bound changes
14.60/14.97 c (round 43, exhaustive) 1938 del vars, 1390 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 904 chg coeffs, 15192 upgd conss, 0 impls, 96194 clqs
14.60/14.97 c (round 44, fast) 1938 del vars, 1415 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 931 chg coeffs, 15192 upgd conss, 0 impls, 96194 clqs
14.80/15.16 c (round 45, exhaustive) 1964 del vars, 1415 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 931 chg coeffs, 15192 upgd conss, 0 impls, 96051 clqs
14.80/15.16 c (round 46, fast) 1965 del vars, 1441 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 960 chg coeffs, 15192 upgd conss, 0 impls, 96052 clqs
16.09/16.48 c (16.3s) probing: 3000/14843 (20.2%) - 448 fixings, 1 aggregations, 3568729 implications, 0 bound changes
16.59/16.98 c (round 47, exhaustive) 1990 del vars, 1441 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 960 chg coeffs, 15192 upgd conss, 0 impls, 96245 clqs
16.59/16.98 c (round 48, fast) 1990 del vars, 1466 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 987 chg coeffs, 15192 upgd conss, 0 impls, 96245 clqs
16.80/17.17 c (round 49, exhaustive) 2015 del vars, 1466 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 987 chg coeffs, 15192 upgd conss, 0 impls, 96107 clqs
16.80/17.18 c (round 50, fast) 2015 del vars, 1491 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1012 chg coeffs, 15192 upgd conss, 0 impls, 96107 clqs
19.88/20.21 c (20.0s) probing: 4000/14843 (26.9%) - 487 fixings, 1 aggregations, 4527400 implications, 0 bound changes
23.07/23.42 c (23.2s) probing: 5000/14843 (33.7%) - 489 fixings, 1 aggregations, 5443941 implications, 0 bound changes
26.27/26.63 c (26.4s) probing: 6000/14843 (40.4%) - 495 fixings, 1 aggregations, 6357698 implications, 0 bound changes
29.46/29.88 c (29.7s) probing: 7000/14843 (47.2%) - 498 fixings, 1 aggregations, 7272957 implications, 0 bound changes
30.15/30.51 c (round 51, exhaustive) 2040 del vars, 1491 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1012 chg coeffs, 15192 upgd conss, 0 impls, 96271 clqs
30.15/30.52 c (round 52, fast) 2040 del vars, 1516 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1054 chg coeffs, 15192 upgd conss, 0 impls, 96277 clqs
32.85/33.22 c (33.0s) probing: 8000/14843 (53.9%) - 518 fixings, 1 aggregations, 8153999 implications, 0 bound changes
35.84/36.25 c (36.1s) probing: 8925/14843 (60.1%) - 518 fixings, 1 aggregations, 9005610 implications, 0 bound changes
35.84/36.25 c (36.1s) probing aborted: 1000/1000 successive useless probings
35.84/36.25 c (round 53, exhaustive) 2058 del vars, 1516 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1054 chg coeffs, 15192 upgd conss, 0 impls, 96315 clqs
35.84/36.25 c (round 54, fast) 2058 del vars, 1534 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1078 chg coeffs, 15192 upgd conss, 0 impls, 96315 clqs
36.24/36.68 c (36.5s) probing: 9000/14843 (60.6%) - 518 fixings, 1 aggregations, 9075882 implications, 0 bound changes
36.34/36.76 c (36.6s) probing: 9025/14843 (60.8%) - 518 fixings, 1 aggregations, 9100119 implications, 0 bound changes
36.34/36.76 c (36.6s) probing aborted: 1000/1000 successive useless probings
36.34/36.79 c (36.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
36.44/36.87 c (36.7s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.03)
36.44/36.87 c dynamic symmetry handling statistics:
36.44/36.87 c orbitopal reduction: no components
36.44/36.87 c orbital reduction: no components
36.44/36.87 c lexicographic reduction: 3 permutations with support sizes 1212, 508, 242
36.44/36.87 c handled 4 out of 4 symmetry components
36.44/36.89 c presolving (55 rounds: 55 fast, 26 medium, 25 exhaustive):
36.44/36.89 c 2061 deleted vars, 1534 deleted constraints, 1 added constraints, 303 tightened bounds, 0 added holes, 0 changed sides, 1078 changed coefficients
36.44/36.89 c 0 implications, 96392 cliques
36.44/36.89 c presolved problem has 14315 variables (14315 bin, 0 int, 0 impl, 0 cont) and 14562 constraints
36.44/36.89 c 1794 constraints of type <setppc>
36.44/36.89 c 1 constraints of type <orbitope>
36.44/36.89 c 12767 constraints of type <logicor>
36.44/36.89 c transformed objective value is always integral (scale: 1)
36.44/36.89 c Presolving Time: 36.59
36.44/36.89 c - non default parameters ----------------------------------------------------------------------
36.44/36.89 c # SCIP version 10.0.0
36.44/36.89 c
36.44/36.89 c # maximal time in seconds to run
36.44/36.89 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
36.44/36.89 c limits/time = 3596.998012
36.44/36.89 c
36.44/36.89 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
36.44/36.89 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
36.44/36.89 c limits/memory = 27900
36.44/36.89 c
36.44/36.89 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
36.44/36.89 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
36.44/36.89 c limits/solutions = 1
36.44/36.89 c
36.44/36.89 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
36.44/36.89 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
36.44/36.89 c misc/usesymmetry = 3
36.44/36.89 c
36.44/36.89 c # belongs reading time to solving time?
36.44/36.89 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
36.44/36.89 c timing/reading = TRUE
36.44/36.89 c
36.44/36.89 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
36.44/36.89 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
36.44/36.89 c propagating/symmetry/detectdoublelex = FALSE
36.44/36.89 c
36.44/36.89 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
36.44/36.89 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
36.44/36.89 c propagating/symmetry/detectsubgroups = FALSE
36.44/36.89 c
36.44/36.89 c # Type of symmetries that shall be computed?
36.44/36.89 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
36.44/36.89 c propagating/symmetry/symtype = 1
36.44/36.89 c
36.44/36.89 c # Should components consisting of a single full reflection be handled?
36.44/36.89 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
36.44/36.89 c propagating/symmetry/usesimplesgncomp = FALSE
36.44/36.89 c
36.44/36.89 c -----------------------------------------------------------------------------------------------
36.44/36.89 c start solving
36.54/36.90 c
51.00/51.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
51.00/51.47 c 51.3s| 1 | 0 | 15803 | - | 197M | 0 | 14k| 14k| 14k| 0 | 0 | 143 | 0 | 0.000000e+00 | -- | Inf | unknown
190.10/190.90 c 191s| 1 | 0 |104158 | - | 219M | 0 | 14k| 14k| 14k| 7 | 1 | 147 | 0 | 0.000000e+00 | -- | Inf | unknown
209.85/210.79 c 211s| 1 | 0 |115429 | - | 226M | 0 | 14k| 14k| 14k| 12 | 2 | 150 | 0 | 0.000000e+00 | -- | Inf | unknown
232.58/233.58 c 233s| 1 | 0 |127697 | - | 231M | 0 | 14k| 14k| 14k| 20 | 3 | 152 | 0 | 0.000000e+00 | -- | Inf | unknown
254.92/255.93 c 256s| 1 | 0 |139330 | - | 233M | 0 | 14k| 14k| 14k| 33 | 4 | 154 | 0 | 0.000000e+00 | -- | Inf | unknown
280.15/281.20 c 281s| 1 | 0 |151453 | - | 238M | 0 | 14k| 14k| 14k| 54 | 5 | 157 | 0 | 0.000000e+00 | -- | Inf | unknown
306.78/307.93 c 308s| 1 | 0 |164344 | - | 243M | 0 | 14k| 14k| 14k| 67 | 6 | 158 | 0 | 0.000000e+00 | -- | Inf | unknown
331.92/333.11 c 333s| 1 | 0 |176435 | - | 246M | 0 | 14k| 14k| 14k| 76 | 7 | 162 | 0 | 0.000000e+00 | -- | Inf | unknown
362.33/363.63 c 363s| 1 | 0 |190780 | - | 247M | 0 | 14k| 14k| 14k| 93 | 8 | 167 | 0 | 0.000000e+00 | -- | Inf | unknown
390.26/391.68 c 391s| 1 | 0 |203923 | - | 250M | 0 | 14k| 14k| 14k| 114 | 9 | 168 | 0 | 0.000000e+00 | -- | Inf | unknown
417.18/418.63 c 418s| 1 | 0 |216240 | - | 254M | 0 | 14k| 14k| 14k| 128 | 10 | 169 | 0 | 0.000000e+00 | -- | Inf | unknown
457.07/458.69 c 458s| 1 | 0 |234701 | - | 257M | 0 | 14k| 14k| 14k| 144 | 11 | 173 | 0 | 0.000000e+00 | -- | Inf | unknown
1120.52/1123.88 c 1124s| 1 | 2 |625189 | - | 259M | 0 | 14k| 14k| 14k| 144 | 11 | 198 | 23 | 0.000000e+00 | -- | Inf | unknown
1922.43/1927.99 c 1928s| 100 | 23 | 1276k|10525.9 | 275M | 36 | 14k| 14k| 14k| 168 | 1 | 239 | 23 | 0.000000e+00 | -- | Inf | unknown
3587.28/3597.20 c
3587.28/3597.20 c SCIP Status : solving was interrupted [time limit reached]
3587.28/3597.20 c Solving Time (sec) : 3597.00
3587.28/3597.20 c Solving Nodes : 191
3587.28/3597.20 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.28/3597.20 c Dual Bound : +0.00000000000000e+00
3587.28/3597.20 c Gap : infinite
3587.28/3597.20 s UNKNOWN
3587.28/3597.20 c SCIP Status : solving was interrupted [time limit reached]
3587.28/3597.20 c Total Time : 3597.00
3587.28/3597.20 c solving : 3597.00
3587.28/3597.20 c presolving : 36.59 (included in solving)
3587.28/3597.20 c reading : 0.06 (included in solving)
3587.28/3597.20 c copying : 0.18 (5 #copies) (minimal 0.03, maximal 0.04, average 0.04)
3587.28/3597.20 c Original Problem :
3587.28/3597.20 c Problem name : HOME/instance-4506950-1751182186.opb
3587.28/3597.20 c Variables : 15827 (15827 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.28/3597.20 c Constraints : 16095 initial, 16095 maximal
3587.28/3597.20 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.28/3597.20 c Presolved Problem :
3587.28/3597.20 c Problem name : t_HOME/instance-4506950-1751182186.opb
3587.28/3597.20 c Variables : 14315 (14315 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.28/3597.20 c Constraints : 14562 initial, 14774 maximal
3587.28/3597.20 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.28/3597.20 c Nonzeros : 79521 constraint, 206838 clique table
3587.28/3597.20 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.28/3597.20 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c domcol : 0.88 0.00 22 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c dualsparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c gateextraction : 0.19 0.00 23 0 0 0 0 0 1 0 0 0
3587.28/3597.20 c implics : 0.00 0.00 26 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c milp : 0.24 0.00 1 137 0 0 0 0 0 0 0 0
3587.28/3597.20 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c sparsify : 0.41 0.00 4 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c trivial : 0.02 0.00 55 549 0 0 0 0 0 0 0 0
3587.28/3597.20 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c dualfix : 0.01 0.00 55 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c probing : 31.58 0.00 22 518 1 0 0 0 0 0 0 0
3587.28/3597.20 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c symmetry : 0.08 0.00 1 3 0 0 0 0 0 1 0 0
3587.28/3597.20 c vbounds : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c setppc : 0.14 0.00 91 0 0 0 0 0 106 0 0 0
3587.28/3597.20 c linear : 0.12 0.01 12 303 0 0 303 0 903 0 0 0
3587.28/3597.20 c orbitope : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c logicor : 2.81 0.00 91 106 0 0 0 0 524 0 0 1078
3587.28/3597.20 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c root node : - - - 0 - - 0 - - - - -
3587.28/3597.20 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.28/3597.20 c benderslp : 0 0 0 0 112 0 0 21 0 0 0 0 0 0 0
3587.28/3597.20 c integral : 0 0 0 0 112 0 0 21 0 0 0 0 0 0 224
3587.28/3597.20 c setppc : 1794+ 1881 11 277258 0 0 0 17 63056 341 16681 0 0 0 0
3587.28/3597.20 c orbitope : 1 1 0 16388 0 0 0 0 240 0 15 0 0 0 0
3587.28/3597.20 c logicor : 12767+ 12893 11 145003 0 0 0 0 196268 113 39009 27 9 0 0
3587.28/3597.20 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.28/3597.20 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.28/3597.20 c integral : 35.07 0.00 0.00 0.00 35.07 0.00 0.00 0.00 0.00 0.00
3587.28/3597.20 c setppc : 2.85 0.00 0.00 2.77 0.00 0.00 0.00 0.00 0.02 0.06
3587.28/3597.20 c orbitope : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3587.28/3597.20 c logicor : 10.81 0.00 0.03 10.68 0.00 0.00 0.00 0.00 0.08 0.03
3587.28/3597.20 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.28/3597.20 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.28/3597.20 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.28/3597.20 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.28/3597.20 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.28/3597.20 c dualfix : 1 0 0 0
3587.28/3597.20 c genvbounds : 0 0 0 0
3587.28/3597.20 c nlobbt : 0 0 0 0
3587.28/3597.20 c obbt : 0 0 0 0
3587.28/3597.20 c probing : 0 0 0 0
3587.28/3597.20 c pseudoobj : 0 0 0 0
3587.28/3597.20 c redcost : 0 0 0 0
3587.28/3597.20 c rootredcost : 0 0 0 0
3587.28/3597.20 c symmetry : 755 0 0 4
3587.28/3597.20 c vbounds : 6142 0 0 0
3587.28/3597.20 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.28/3597.20 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
3587.28/3597.20 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3587.28/3597.20 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.28/3597.20 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.28/3597.20 c probing : 31.58 0.00 31.58 0.00 0.00 0.00
3587.28/3597.20 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3587.28/3597.20 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.28/3597.20 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.28/3597.20 c symmetry : 0.10 0.00 0.08 0.02 0.00 0.00
3587.28/3597.20 c vbounds : 0.10 0.00 0.02 0.08 0.00 0.00
3587.28/3597.20 c Symmetry :
3587.28/3597.20 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.28/3597.20 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.28/3597.20 c lexicographic red: 4 reductions applied, 0 cutoffs
3587.28/3597.20 c shadow tree time : 0.00 s
3587.28/3597.20 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.28/3597.20 c propagation : 0.03 451 118 - 571 92.5 1 9.0 - - -
3587.28/3597.20 c infeasible LP : 0.61 63 33 - 560 1586.3 0 0.0 0 0.0 0
3587.28/3597.20 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.28/3597.20 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.28/3597.20 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.28/3597.20 c applied globally : 0.01 - - 0 343 246.6 - - 0 - -
3587.28/3597.20 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.28/3597.20 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.28/3597.20 c cut pool : 0.00 - 40 21 - - 241 332 - - - - - (maximal pool size: 241)
3587.28/3597.20 c aggregation : 0.05 0.00 14 11 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.28/3597.20 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.28/3597.20 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.28/3597.20 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c clique : 1.43 0.00 11 11 0 0 92 133 0 37 37 0 0
3587.28/3597.20 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c gomory : 15.52 0.00 13 10 0 0 14 35 0 11 11 0 0
3587.28/3597.20 c > gomorymi : - - - - - - - 23 0 8 8 0 -
3587.28/3597.20 c > strongcg : - - - - - - - 12 0 3 3 0 -
3587.28/3597.20 c impliedbounds : 0.06 0.00 14 11 0 0 37 55 0 24 24 0 0
3587.28/3597.20 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c multilinear : 0.00 0.00 20 11 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c rlt : 0.00 0.00 12 10 0 0 0 0 0 0 0 0 0
3587.28/3597.20 c zerohalf : 15.27 0.00 14 11 0 0 104 109 6 109 104 5 0
3587.28/3597.20 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.28/3597.20 c hybrid : 0.00 0.00 22 11 190 0 175 144 0 134
3587.28/3597.20 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.20 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.20 c Pricers : ExecTime SetupTime Calls Vars
3587.28/3597.20 c problem variables: 0.00 - 0 0
3587.28/3597.20 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.28/3597.20 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.20 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.20 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.20 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.20 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.20 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.20 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.20 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.20 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.20 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.20 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.20 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.20 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.20 c relpscost : 35.07 0.00 112 0 0 0 0 0 0 224
3587.28/3597.20 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.28/3597.20 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.28/3597.20 c LP solutions : 0.00 - - 0 0
3587.28/3597.20 c relax solutions : 0.00 - - 0 0
3587.28/3597.20 c pseudo solutions : 0.00 - - 0 0
3587.28/3597.20 c strong branching : 0.00 - - 0 0
3587.28/3597.20 c actconsdiving : 0.00 0.00 0 0 0
3587.28/3597.20 c adaptivediving : 15.66 0.00 1 0 0
3587.28/3597.20 c alns : 134.30 0.00 4 0 0
3587.28/3597.20 c bound : 0.00 0.00 0 0 0
3587.28/3597.20 c clique : 0.05 0.00 1 0 0
3587.28/3597.20 c coefdiving : 0.00 0.00 0 0 0
3587.28/3597.20 c completesol : 0.00 0.00 0 0 0
3587.28/3597.20 c conflictdiving : 629.84 0.00 1 0 0
3587.28/3597.20 c crossover : 0.00 0.00 0 0 0
3587.28/3597.20 c dins : 0.00 0.00 0 0 0
3587.28/3597.20 c distributiondivin: 0.04 0.00 0 0 0
3587.28/3597.20 c dps : 0.00 0.00 0 0 0
3587.28/3597.20 c dualval : 0.00 0.00 0 0 0
3587.28/3597.20 c farkasdiving : 0.00 0.00 0 0 0
3587.28/3597.20 c feasjump : 0.05 0.00 1 0 0
3587.28/3597.20 c feaspump : 117.26 0.00 1 0 0
3587.28/3597.20 c fixandinfer : 0.00 0.00 0 0 0
3587.28/3597.20 c fracdiving : 0.00 0.00 0 0 0
3587.28/3597.20 c gins : 0.00 0.00 0 0 0
3587.28/3597.20 c guideddiving : 0.00 0.00 0 0 0
3587.28/3597.20 c indcoefdiving : 0.00 0.00 0 0 0
3587.28/3597.20 c indicator : 0.00 0.00 0 0 0
3587.28/3597.20 c indicatordiving : 0.00 0.00 0 0 0
3587.28/3597.20 c indoneopt : 0.00 0.00 0 0 0
3587.28/3597.20 c indrounding : 0.00 0.00 0 0 0
3587.28/3597.20 c indtwoopt : 0.00 0.00 0 0 0
3587.28/3597.20 c intdiving : 0.00 0.00 0 0 0
3587.28/3597.20 c intshifting : 0.00 0.00 0 0 0
3587.28/3597.20 c linesearchdiving : 0.00 0.00 0 0 0
3587.28/3597.20 c localbranching : 0.00 0.00 0 0 0
3587.28/3597.20 c locks : 0.05 0.00 1 0 0
3587.28/3597.20 c lpface : 0.00 0.00 0 0 0
3587.28/3597.20 c mpec : 0.00 0.00 0 0 0
3587.28/3597.20 c multistart : 0.00 0.00 0 0 0
3587.28/3597.20 c mutation : 0.00 0.00 0 0 0
3587.28/3597.20 c nlpdiving : 0.00 0.00 0 0 0
3587.28/3597.20 c objpscostdiving : 0.00 0.00 0 0 0
3587.28/3597.20 c octane : 0.00 0.00 0 0 0
3587.28/3597.20 c ofins : 0.00 0.00 0 0 0
3587.28/3597.20 c oneopt : 0.00 0.00 0 0 0
3587.28/3597.20 c padm : 0.00 0.00 0 0 0
3587.28/3597.20 c proximity : 0.00 0.00 0 0 0
3587.28/3597.20 c pscostdiving : 282.82 0.00 1 0 0
3587.28/3597.20 c randrounding : 0.20 0.00 26 0 0
3587.28/3597.20 c rens : 0.25 0.00 1 0 0
3587.28/3597.20 c reoptsols : 0.00 0.00 0 0 0
3587.28/3597.20 c repair : 0.00 0.00 0 0 0
3587.28/3597.20 c rins : 0.00 0.00 0 0 0
3587.28/3597.20 c rootsoldiving : 0.00 0.00 0 0 0
3587.28/3597.20 c rounding : 0.09 0.00 112 0 0
3587.28/3597.20 c scheduler : 0.00 0.00 0 0 0
3587.28/3597.20 c shiftandpropagate: 0.02 0.00 1 0 0
3587.28/3597.20 c shifting : 0.24 0.00 33 0 0
3587.28/3597.20 c simplerounding : 0.00 0.00 0 0 0
3587.28/3597.20 c smallcard : 0.00 0.00 0 0 0
3587.28/3597.20 c subnlp : 0.00 0.00 0 0 0
3587.28/3597.20 c trivial : 0.01 0.00 2 0 0
3587.28/3597.20 c trivialnegation : 0.00 0.00 0 0 0
3587.28/3597.20 c trustregion : 0.00 0.00 0 0 0
3587.28/3597.20 c trysol : 0.00 0.00 0 0 0
3587.28/3597.20 c twoopt : 0.00 0.00 0 0 0
3587.28/3597.20 c undercover : 0.00 0.00 0 0 0
3587.28/3597.20 c vbounds : 0.12 0.00 1 0 0
3587.28/3597.20 c veclendiving : 0.00 0.00 0 0 0
3587.28/3597.20 c zeroobj : 0.00 0.00 0 0 0
3587.28/3597.20 c zirounding : 0.02 0.00 112 0 0
3587.28/3597.20 c other solutions : - - - 0 -
3587.28/3597.20 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.28/3597.20 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
3587.28/3597.20 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
3587.28/3597.20 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
3587.28/3597.20 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
3587.28/3597.20 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
3587.28/3597.20 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
3587.28/3597.20 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
3587.28/3597.20 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
3587.28/3597.20 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
3587.28/3597.20 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.28/3597.20 c primal LP : 0.15 7 0 0.00 0.00 0.15 7
3587.28/3597.20 c dual LP : 2310.20 203 1882475 9604.46 814.85 0.65 7
3587.28/3597.20 c lex dual LP : 0.00 0 0 0.00 -
3587.28/3597.20 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.28/3597.20 c resolve instable : 56.85 2 67583 33791.50 1188.86
3587.28/3597.20 c diving/probing LP: 1051.67 30 616074 20535.80 585.81
3587.28/3597.20 c strong branching : 28.43 23 19645 854.13 690.99 - - 39
3587.28/3597.20 c (at root node) : - 23 19645 854.13 -
3587.28/3597.20 c conflict analysis: 0.00 0 0 0.00 -
3587.28/3597.20 c B&B Tree :
3587.28/3597.20 c number of runs : 1
3587.28/3597.20 c nodes : 191 (112 internal, 79 leaves)
3587.28/3597.20 c feasible leaves : 0
3587.28/3597.20 c infeas. leaves : 78
3587.28/3597.20 c objective leaves : 0
3587.28/3597.20 c nodes (total) : 191 (112 internal, 79 leaves)
3587.28/3597.20 c nodes left : 35
3587.28/3597.20 c max depth : 40
3587.28/3597.20 c max depth (total): 40
3587.28/3597.20 c backtracks : 15 (7.9%)
3587.28/3597.20 c early backtracks : 0 (0.0%)
3587.28/3597.20 c nodes exc. ref. : 0 (0.0%)
3587.28/3597.20 c delayed cutoffs : 0
3587.28/3597.20 c repropagations : 287 (101 domain reductions, 0 cutoffs)
3587.28/3597.20 c avg switch length: 4.81
3587.28/3597.20 c switching time : 0.32
3587.28/3597.20 c Root Node :
3587.28/3597.20 c First LP value : +0.00000000000000e+00
3587.28/3597.20 c First LP Iters : 15803 (1107.48 Iter/sec)
3587.28/3597.20 c First LP Time : 14.27
3587.28/3597.20 c Final Dual Bound : +0.00000000000000e+00
3587.28/3597.20 c Final Root Iters : 234701
3587.28/3597.20 c Root LP Estimate : +1.13916260053428e-03
3587.28/3597.20 c Solution :
3587.28/3597.20 c Solutions found : 0 (0 improvements)
3587.28/3597.20 c Primal Bound : -
3587.28/3597.20 c Dual Bound : +0.00000000000000e+00
3587.28/3597.20 c Gap : infinite
3587.28/3597.20 c Integrals : Total Avg%
3587.28/3597.20 c primal-dual : 359699.90 100.00
3587.28/3597.20 c primal-ref : - - (not evaluated)
3587.28/3597.20 c dual-ref : - - (not evaluated)
3587.38/3597.30 c Time complete: 3587.39.
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 (63049 MiB free)
memory of node 1: 64465 MiB (63891 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506950-1751182186/watcher-4506950-1751182186 -o /tmp/evaluation-result-4506950-1751182186/solver-4506950-1751182186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751182186-23750 --watchdog 3760 pbscip -f HOME/instance-4506950-1751182186.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=23804, runsolver pid=23791
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 1.05 1.12 1.59 2/270 23807
/proc/meminfo: memFree=129987188/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=28424 memory=512 CPUtime=0 cores=1,3
/proc/23804/stat : 23804 (pbscip) D 23791 23804 23738 0 -1 4194304 89 0 2 0 0 0 0 0 20 0 1 0 33897319 29106176 128 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 0 1 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 7106 128 128 3530 0 1342 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 28424 KiB
Current children cumulated memory: 512 KiB
[startup+0.205453 s]*
/proc/loadavg: 1.05 1.12 1.59 6/270 23807
/proc/meminfo: memFree=129977112/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=53416 memory=25856 CPUtime=0 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 3550 0 6 0 0 0 0 0 20 0 1 0 33897319 54697984 6464 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 13354 6464 3232 3530 0 4805 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 53416 KiB
Current children cumulated memory: 25856 KiB
[startup+0.305808 s]*
/proc/loadavg: 1.05 1.12 1.59 6/270 23807
/proc/meminfo: memFree=129739980/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=108968 memory=79912 CPUtime=0.1 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 16837 0 7 0 8 2 0 0 20 0 1 0 33897319 111583232 19978 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 27242 19978 3552 3530 0 18693 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 108968 KiB
Current children cumulated memory: 79912 KiB
[startup+0.700163 s]
/proc/loadavg: 1.05 1.12 1.59 6/270 23807
/proc/meminfo: memFree=129565952/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=139368 memory=111008 CPUtime=0.44 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 28307 0 7 0 40 4 0 0 20 0 1 0 33897319 142712832 27752 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 34842 27752 3680 3530 0 26293 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 139368 KiB
Current children cumulated memory: 111008 KiB
[startup+1.50017 s]
/proc/loadavg: 1.05 1.12 1.59 6/270 23808
/proc/meminfo: memFree=129518576/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=179672 memory=147412 CPUtime=1.24 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 36052 0 7 0 119 5 0 0 20 0 1 0 33897319 183984128 36853 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 44918 36853 3744 3530 0 36369 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 179672 KiB
Current children cumulated memory: 147412 KiB
[startup+3.10587 s]
/proc/loadavg: 1.05 1.12 1.59 6/270 23808
/proc/meminfo: memFree=129386544/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=179672 memory=147540 CPUtime=2.84 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 36079 0 7 0 279 5 0 0 20 0 1 0 33897319 183984128 36885 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 44918 36885 3744 3530 0 36369 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 179672 KiB
Current children cumulated memory: 147540 KiB
[startup+6.30016 s]
/proc/loadavg: 1.29 1.17 1.61 6/270 23808
/proc/meminfo: memFree=129378816/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=185336 memory=152404 CPUtime=6.03 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 37330 0 7 0 598 5 0 0 20 0 1 0 33897319 189784064 38101 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 46334 38101 3744 3530 0 37785 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 185336 KiB
Current children cumulated memory: 152404 KiB
[startup+12.7002 s]
/proc/loadavg: 1.58 1.23 1.63 6/270 23808
/proc/meminfo: memFree=129362744/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=187688 memory=154580 CPUtime=12.41 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 37880 0 7 0 1236 5 0 0 20 0 1 0 33897319 192192512 38645 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 46922 38645 3744 3530 0 38373 0
Current children cumulated CPU time: 12.41 s
Current children cumulated vsize: 187688 KiB
Current children cumulated memory: 154580 KiB
[startup+25.5002 s]
/proc/loadavg: 2.12 1.37 1.66 6/268 23808
/proc/meminfo: memFree=129354808/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=188728 memory=155604 CPUtime=25.17 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 38140 0 7 0 2512 5 0 0 20 0 1 0 33897319 193257472 38901 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 47182 38901 3744 3530 0 38633 0
Current children cumulated CPU time: 25.17 s
Current children cumulated vsize: 188728 KiB
Current children cumulated memory: 155604 KiB
[startup+51.1057 s]
/proc/loadavg: 2.83 1.60 1.73 6/268 23808
/proc/meminfo: memFree=129169980/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=269432 memory=214636 CPUtime=50.71 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 55429 0 7 0 5062 9 0 0 20 0 1 0 33897319 275898368 53659 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 67358 53659 3936 3530 0 58809 0
Current children cumulated CPU time: 50.71 s
Current children cumulated vsize: 269432 KiB
Current children cumulated memory: 214636 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 1.99 1.86 6/267 23810
/proc/meminfo: memFree=129031608/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=271272 memory=217324 CPUtime=101.75 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 56079 0 7 0 10166 9 0 0 20 0 1 0 33897319 277782528 54331 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 67818 54331 3968 3530 0 59269 0
Current children cumulated CPU time: 101.75 s
Current children cumulated vsize: 271272 KiB
Current children cumulated memory: 217324 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 2.35 2.00 6/267 23812
/proc/meminfo: memFree=129011172/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=272004 memory=217836 CPUtime=161.58 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 56218 0 7 0 16149 9 0 0 20 0 1 0 33897319 278532096 54459 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 68001 54459 3968 3530 0 59452 0
Current children cumulated CPU time: 161.58 s
Current children cumulated vsize: 272004 KiB
Current children cumulated memory: 217836 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 2.72 2.15 6/267 23814
/proc/meminfo: memFree=128957024/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=342104 memory=285320 CPUtime=221.41 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 65947 0 7 0 22130 11 0 0 20 0 1 0 33897319 350314496 71330 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 85526 71330 3968 3530 0 76977 0
Current children cumulated CPU time: 221.41 s
Current children cumulated vsize: 342104 KiB
Current children cumulated memory: 285320 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 2.97 2.27 5/263 23816
/proc/meminfo: memFree=128690912/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=348620 memory=291592 CPUtime=281.25 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 67511 0 7 0 28114 11 0 0 20 0 1 0 33897319 356986880 72898 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 87155 72898 3968 3530 0 78606 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 348620 KiB
Current children cumulated memory: 291592 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.17 2.39 6/264 23819
/proc/meminfo: memFree=128648900/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=359764 memory=301604 CPUtime=341.09 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 69544 0 7 0 34097 12 0 0 20 0 1 0 33897319 368398336 75401 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 89941 75401 3968 3530 0 81392 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 359764 KiB
Current children cumulated memory: 301604 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.34 2.50 6/265 23822
/proc/meminfo: memFree=128632852/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=365252 memory=306724 CPUtime=400.93 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 70813 0 7 0 40081 12 0 0 20 0 1 0 33897319 374018048 76681 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 91313 76681 3968 3530 0 82764 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 365252 KiB
Current children cumulated memory: 306724 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.48 2.60 6/265 23824
/proc/meminfo: memFree=128616428/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=370788 memory=311588 CPUtime=460.76 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 72020 0 7 0 46064 12 0 0 20 0 1 0 33897319 379686912 77897 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 92697 77897 3968 3530 0 84148 0
Current children cumulated CPU time: 460.76 s
################
# More data... #
################
/proc/loadavg: 4.24 4.14 4.05 6/265 23972
/proc/meminfo: memFree=128190192/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=476160 memory=434212 CPUtime=3213.38 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 98116 0 7 0 321322 16 0 0 20 0 1 0 33897319 487587840 108553 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 119040 108553 4128 3530 0 110491 0
Current children cumulated CPU time: 3213.38 s
Current children cumulated vsize: 476160 KiB
Current children cumulated memory: 434212 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.05 6/265 23974
/proc/meminfo: memFree=128161732/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=476160 memory=435364 CPUtime=3273.22 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 98119 0 7 0 327306 16 0 0 20 0 1 0 33897319 487587840 108841 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 119040 108841 4128 3530 0 110491 0
Current children cumulated CPU time: 3273.22 s
Current children cumulated vsize: 476160 KiB
Current children cumulated memory: 435364 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.05 6/265 23976
/proc/meminfo: memFree=128188904/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=476160 memory=435364 CPUtime=3333.06 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 98119 0 7 0 333290 16 0 0 20 0 1 0 33897319 487587840 108841 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 119040 108841 4128 3530 0 110491 0
Current children cumulated CPU time: 3333.06 s
Current children cumulated vsize: 476160 KiB
Current children cumulated memory: 435364 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.05 6/263 23978
/proc/meminfo: memFree=128189004/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=476160 memory=435364 CPUtime=3392.9 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 98240 0 7 0 339274 16 0 0 20 0 1 0 33897319 487587840 108841 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 119040 108841 4128 3530 0 110491 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 476160 KiB
Current children cumulated memory: 435364 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.05 6/264 23981
/proc/meminfo: memFree=128188028/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=476160 memory=435364 CPUtime=3452.74 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 98268 0 7 0 345258 16 0 0 20 0 1 0 33897319 487587840 108841 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 119040 108841 4128 3530 0 110491 0
Current children cumulated CPU time: 3452.74 s
Current children cumulated vsize: 476160 KiB
Current children cumulated memory: 435364 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.05 6/264 23985
/proc/meminfo: memFree=128189432/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=476160 memory=435364 CPUtime=3512.58 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 98268 0 7 0 351242 16 0 0 20 0 1 0 33897319 487587840 108841 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 119040 108841 4128 3530 0 110491 0
Current children cumulated CPU time: 3512.58 s
Current children cumulated vsize: 476160 KiB
Current children cumulated memory: 435364 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.06 6/263 23987
/proc/meminfo: memFree=128189744/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=476160 memory=435364 CPUtime=3572.42 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 98268 0 7 0 357226 16 0 0 20 0 1 0 33897319 487587840 108841 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 119040 108841 4128 3530 0 110491 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 476160 KiB
Current children cumulated memory: 435364 KiB
[startup+3597.31 s]
# the end of solver process 23804 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.22 s, system=0.166459 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.10 4.06 6/263 23987
/proc/meminfo: memFree=128189752/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=476160 memory=435364 CPUtime=3574.12 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 98268 0 7 0 357396 16 0 0 20 0 1 0 33897319 487587840 108841 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 119040 108841 4128 3530 0 110491 0
Current children cumulated CPU time: 3574.12 s
Current children cumulated vsize: 476160 KiB
Current children cumulated memory: 435364 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.10 4.05 6/263 23987
/proc/meminfo: memFree=128173440/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=476160 memory=435364 CPUtime=3580.5 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 98268 0 7 0 358034 16 0 0 20 0 1 0 33897319 487587840 108841 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 119040 108841 4128 3530 0 110491 0
Current children cumulated CPU time: 3580.5 s
Current children cumulated vsize: 476160 KiB
Current children cumulated memory: 435364 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.10 4.05 6/263 23987
/proc/meminfo: memFree=128173456/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=476160 memory=435364 CPUtime=3583.69 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 98268 0 7 0 358353 16 0 0 20 0 1 0 33897319 487587840 108841 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 119040 108841 4128 3530 0 110491 0
Current children cumulated CPU time: 3583.69 s
Current children cumulated vsize: 476160 KiB
Current children cumulated memory: 435364 KiB
[startup+3595.2 s]
/proc/loadavg: 4.10 4.10 4.05 6/263 23987
/proc/meminfo: memFree=128173456/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=476160 memory=435364 CPUtime=3585.28 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 98268 0 7 0 358512 16 0 0 20 0 1 0 33897319 487587840 108841 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 119040 108841 4128 3530 0 110491 0
Current children cumulated CPU time: 3585.28 s
Current children cumulated vsize: 476160 KiB
Current children cumulated memory: 435364 KiB
[startup+3596 s]*
/proc/loadavg: 4.10 4.10 4.05 6/263 23987
/proc/meminfo: memFree=128173472/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=476160 memory=435364 CPUtime=3586.09 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 98268 0 7 0 358593 16 0 0 20 0 1 0 33897319 487587840 108841 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 119040 108841 4128 3530 0 110491 0
Current children cumulated CPU time: 3586.09 s
Current children cumulated vsize: 476160 KiB
Current children cumulated memory: 435364 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.10 4.05 6/263 23987
/proc/meminfo: memFree=128173472/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=476160 memory=435364 CPUtime=3586.88 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 98268 0 7 0 358672 16 0 0 20 0 1 0 33897319 487587840 108841 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 119040 108841 4128 3530 0 110491 0
Current children cumulated CPU time: 3586.88 s
Current children cumulated vsize: 476160 KiB
Current children cumulated memory: 435364 KiB
[startup+3597.2 s]
/proc/loadavg: 4.10 4.10 4.05 6/263 23987
/proc/meminfo: memFree=128173472/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=476160 memory=435364 CPUtime=3587.28 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 98268 0 7 0 358712 16 0 0 20 0 1 0 33897319 487587840 108841 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 119040 108841 4128 3530 0 110491 0
Current children cumulated CPU time: 3587.28 s
Current children cumulated vsize: 476160 KiB
Current children cumulated memory: 435364 KiB
[startup+3597.3 s]
/proc/loadavg: 4.10 4.10 4.05 6/263 23987
/proc/meminfo: memFree=128173472/131250000 swapFree=33010684/33010684
[pid=23804] ppid=23791 vsize=400248 memory=359528 CPUtime=3587.38 cores=1,3
/proc/23804/stat : 23804 (pbscip) R 23791 23804 23738 0 -1 4194304 98274 0 7 0 358722 16 0 0 20 0 1 0 33897319 409853952 89882 18446744073709551615 4235264 18693293 140731592560768 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 38072320 140731592567177 140731592567276 140731592567276 140731592572878 0
/proc/23804/statm: 100062 89882 4128 3530 0 91513 0
Current children cumulated CPU time: 3587.38 s
Current children cumulated vsize: 400248 KiB
Current children cumulated memory: 359528 KiB
Child status: 0
Real time (s): 3597.31
CPU time (s): 3587.39
CPU user time (s): 3587.22
CPU system time (s): 0.166459
CPU usage (%): 99.7244
Max. virtual memory (cumulated for all children) (KiB): 476160
Max. memory (cumulated for all children) (KiB): 435364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.22
system time used= 0.166459
maximum resident set size= 435364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98284
page faults= 8
swaps= 0
block input operations= 800
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 194
involuntary context switches= 1286
# summary of solver processes directly reported to runsolver:
# pid: 23804
# total CPU time (s): 3587.39
# total CPU user time (s): 3587.22
# total CPU system time (s): 0.166459
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.35389 second user time and 13.9526 second system time
The end
Begin job on nodeC026 at 2025-06-29 09:29:46 IDJOB=4506950 IDBENCH=158309 IDSOLVER=3365 FILE ID=nodeC026/4506950-1751182186 RUNJOBID= nodeC026-1751182186-23750 SLURM_JOB_ID= 9587556 Free space on /tmp= 433056 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K133.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506950-1751182186/watcher-4506950-1751182186 -o /tmp/evaluation-result-4506950-1751182186/solver-4506950-1751182186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751182186-23750 --watchdog 3760 pbscip -f HOME/instance-4506950-1751182186.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9ec822d6c0cd68d217a6cdee070ca11c RANDOM SEED=399878956 nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.577 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.757 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.796 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.502 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.521 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3680.385 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.777 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.788 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129992644 kB MemAvailable: 129800472 kB Buffers: 3280 kB Cached: 617620 kB SwapCached: 0 kB Active: 288424 kB Inactive: 398420 kB Active(anon): 84100 kB Inactive(anon): 0 kB Active(file): 204324 kB Inactive(file): 398420 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 79464 kB Writeback: 0 kB AnonPages: 69092 kB Mapped: 102880 kB Shmem: 18080 kB KReclaimable: 88644 kB Slab: 173908 kB SReclaimable: 88644 kB SUnreclaim: 85264 kB KernelStack: 4128 kB PageTables: 2792 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 329784 kB VmallocTotal: 34359738367 kB VmallocUsed: 150456 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 187092 kB DirectMap2M: 9021440 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432980 MiB End job on nodeC026 at 2025-06-29 10:29:44