| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3590.25 | 3600.9 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K138.opb |
| MD5SUM | df8f338dbd068337fef89bf4c43df9f5 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 16422 |
| Total number of constraints | 16700 |
| Number of constraints which are clauses | 16562 |
| Number of constraints which are cardinality constraints (but not clauses) | 138 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 138 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 139 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4506806-1751176844.opb>
0.00/0.07 c original problem has 16422 variables (16422 bin, 0 int, 0 impl, 0 cont) and 16700 constraints
0.00/0.07 c problem read in 0.07
0.00/0.07 c No objective function, only one solution is needed.
0.09/0.14 c presolving:
0.09/0.16 c (round 1, fast) 250 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1891 clqs
0.09/0.17 c (round 2, fast) 682 del vars, 262 del conss, 0 add conss, 121 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1875 clqs
0.09/0.18 c (round 3, fast) 900 del vars, 412 del conss, 0 add conss, 206 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1896 clqs
0.09/0.18 c (round 4, fast) 1055 del vars, 535 del conss, 0 add conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1927 clqs
0.09/0.19 c (round 5, fast) 1131 del vars, 591 del conss, 0 add conss, 285 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1950 clqs
0.09/0.19 c (round 6, fast) 1172 del vars, 625 del conss, 0 add conss, 299 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1960 clqs
0.19/0.24 c (0.2s) running MILP presolver
0.39/0.42 c (0.4s) MILP presolver (4 rounds): 0 aggregations, 139 fixings, 0 bound changes
0.39/0.43 c (round 7, medium) 1321 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1971 clqs
0.39/0.44 c (round 8, fast) 1321 del vars, 774 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1977 clqs
0.39/0.46 c (round 9, exhaustive) 1321 del vars, 910 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1977 clqs
0.50/0.54 c (round 10, exhaustive) 1321 del vars, 910 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 15790 upgd conss, 0 impls, 1977 clqs
0.68/0.70 c (round 11, exhaustive) 1429 del vars, 910 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 107 chg coeffs, 15790 upgd conss, 0 impls, 1964 clqs
0.68/0.71 c (round 12, fast) 1537 del vars, 1018 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 107 chg coeffs, 15790 upgd conss, 0 impls, 1964 clqs
2.37/2.47 c (round 13, exhaustive) 1563 del vars, 1019 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 107 chg coeffs, 15790 upgd conss, 0 impls, 99707 clqs
2.37/2.48 c (round 14, fast) 1564 del vars, 1045 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 164 chg coeffs, 15790 upgd conss, 0 impls, 99723 clqs
3.17/3.29 c (round 15, exhaustive) 1589 del vars, 1045 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 164 chg coeffs, 15790 upgd conss, 0 impls, 99710 clqs
3.27/3.30 c (round 16, fast) 1589 del vars, 1070 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 223 chg coeffs, 15790 upgd conss, 0 impls, 99719 clqs
3.77/3.84 c (round 17, exhaustive) 1615 del vars, 1070 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 223 chg coeffs, 15790 upgd conss, 0 impls, 99711 clqs
3.77/3.84 c (round 18, fast) 1616 del vars, 1096 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 289 chg coeffs, 15790 upgd conss, 0 impls, 99727 clqs
4.76/4.84 c (round 19, exhaustive) 1642 del vars, 1096 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 289 chg coeffs, 15790 upgd conss, 0 impls, 99701 clqs
4.76/4.84 c (round 20, fast) 1642 del vars, 1122 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 349 chg coeffs, 15790 upgd conss, 0 impls, 99716 clqs
4.97/5.05 c (round 21, exhaustive) 1671 del vars, 1122 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 349 chg coeffs, 15790 upgd conss, 0 impls, 99719 clqs
4.97/5.06 c (round 22, fast) 1671 del vars, 1151 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 423 chg coeffs, 15790 upgd conss, 0 impls, 99733 clqs
6.06/6.11 c (round 23, exhaustive) 1697 del vars, 1151 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 423 chg coeffs, 15790 upgd conss, 0 impls, 99760 clqs
6.06/6.11 c (round 24, fast) 1698 del vars, 1177 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 489 chg coeffs, 15790 upgd conss, 0 impls, 99776 clqs
6.26/6.32 c (round 25, exhaustive) 1726 del vars, 1177 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 489 chg coeffs, 15790 upgd conss, 0 impls, 99782 clqs
6.26/6.32 c (round 26, fast) 1726 del vars, 1205 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 553 chg coeffs, 15790 upgd conss, 0 impls, 99788 clqs
6.46/6.55 c (6.5s) probing: 1000/15433 (6.5%) - 190 fixings, 0 aggregations, 1052401 implications, 0 bound changes
6.76/6.88 c (round 27, exhaustive) 1751 del vars, 1205 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 553 chg coeffs, 15790 upgd conss, 0 impls, 99802 clqs
6.76/6.89 c (round 28, fast) 1751 del vars, 1230 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 611 chg coeffs, 15790 upgd conss, 0 impls, 99815 clqs
7.26/7.34 c (round 29, exhaustive) 1787 del vars, 1230 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 611 chg coeffs, 15790 upgd conss, 0 impls, 98513 clqs
7.26/7.34 c (round 30, fast) 1801 del vars, 1268 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 720 chg coeffs, 15790 upgd conss, 0 impls, 98522 clqs
7.97/8.05 c (round 31, exhaustive) 1828 del vars, 1269 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 726 chg coeffs, 15790 upgd conss, 0 impls, 98825 clqs
7.97/8.05 c (round 32, fast) 1829 del vars, 1295 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 807 chg coeffs, 15790 upgd conss, 0 impls, 98842 clqs
10.75/10.85 c (round 33, exhaustive) 1854 del vars, 1295 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 807 chg coeffs, 15790 upgd conss, 0 impls, 99738 clqs
10.75/10.85 c (round 34, fast) 1854 del vars, 1320 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 852 chg coeffs, 15790 upgd conss, 0 impls, 99746 clqs
11.06/11.12 c (round 35, exhaustive) 1881 del vars, 1320 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 852 chg coeffs, 15790 upgd conss, 0 impls, 99827 clqs
11.06/11.13 c (round 36, fast) 1883 del vars, 1347 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 902 chg coeffs, 15790 upgd conss, 0 impls, 99833 clqs
11.25/11.34 c (round 37, exhaustive) 1908 del vars, 1347 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 902 chg coeffs, 15790 upgd conss, 0 impls, 99743 clqs
11.25/11.34 c (round 38, fast) 1908 del vars, 1372 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 927 chg coeffs, 15790 upgd conss, 0 impls, 99743 clqs
11.45/11.54 c (round 39, exhaustive) 1933 del vars, 1372 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 927 chg coeffs, 15790 upgd conss, 0 impls, 99642 clqs
11.45/11.54 c (round 40, fast) 1933 del vars, 1397 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 951 chg coeffs, 15790 upgd conss, 0 impls, 99642 clqs
11.65/11.74 c (round 41, exhaustive) 1958 del vars, 1397 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 951 chg coeffs, 15790 upgd conss, 0 impls, 99514 clqs
11.65/11.75 c (round 42, fast) 1958 del vars, 1422 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 974 chg coeffs, 15790 upgd conss, 0 impls, 99514 clqs
11.95/12.05 c (round 43, exhaustive) 1985 del vars, 1422 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 974 chg coeffs, 15790 upgd conss, 0 impls, 99916 clqs
11.95/12.06 c (round 44, fast) 1987 del vars, 1449 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1007 chg coeffs, 15790 upgd conss, 0 impls, 99916 clqs
12.45/12.52 c (round 45, exhaustive) 2012 del vars, 1449 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1007 chg coeffs, 15790 upgd conss, 0 impls, 99937 clqs
12.45/12.52 c (round 46, fast) 2012 del vars, 1474 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1033 chg coeffs, 15790 upgd conss, 0 impls, 99937 clqs
12.65/12.73 c (round 47, exhaustive) 2037 del vars, 1474 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1033 chg coeffs, 15790 upgd conss, 0 impls, 99931 clqs
12.65/12.73 c (round 48, fast) 2037 del vars, 1499 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1058 chg coeffs, 15790 upgd conss, 0 impls, 99931 clqs
13.34/13.41 c (13.4s) probing: 2000/15433 (13.0%) - 460 fixings, 1 aggregations, 2353365 implications, 0 bound changes
17.43/17.58 c (17.6s) probing: 3000/15433 (19.4%) - 468 fixings, 1 aggregations, 3549355 implications, 0 bound changes
21.22/21.34 c (21.3s) probing: 4000/15433 (25.9%) - 473 fixings, 1 aggregations, 4608688 implications, 0 bound changes
24.60/24.76 c (24.8s) probing: 5000/15433 (32.4%) - 476 fixings, 1 aggregations, 5530664 implications, 0 bound changes
27.90/28.10 c (round 49, exhaustive) 2062 del vars, 1499 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1058 chg coeffs, 15790 upgd conss, 0 impls, 99950 clqs
28.00/28.11 c (round 50, fast) 2062 del vars, 1524 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1100 chg coeffs, 15790 upgd conss, 0 impls, 99955 clqs
28.19/28.36 c (28.4s) probing: 6000/15433 (38.9%) - 500 fixings, 1 aggregations, 6414836 implications, 0 bound changes
31.68/31.83 c (31.8s) probing: 6990/15433 (45.3%) - 500 fixings, 1 aggregations, 7322244 implications, 0 bound changes
31.68/31.83 c (31.8s) probing aborted: 1000/1000 successive useless probings
31.68/31.83 c (round 51, exhaustive) 2080 del vars, 1524 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1100 chg coeffs, 15790 upgd conss, 0 impls, 99983 clqs
31.68/31.84 c (round 52, fast) 2080 del vars, 1542 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1123 chg coeffs, 15790 upgd conss, 0 impls, 99983 clqs
31.88/32.04 c (32.0s) probing: 7000/15433 (45.4%) - 502 fixings, 1 aggregations, 7323395 implications, 0 bound changes
35.27/35.47 c (35.5s) probing: 7992/15433 (51.8%) - 502 fixings, 1 aggregations, 8241501 implications, 0 bound changes
35.27/35.47 c (35.5s) probing aborted: 1000/1000 successive useless probings
35.37/35.50 c (35.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
35.37/35.59 c (35.6s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.03)
35.37/35.59 c dynamic symmetry handling statistics:
35.37/35.59 c orbitopal reduction: no components
35.37/35.59 c orbital reduction: no components
35.37/35.59 c lexicographic reduction: 3 permutations with support sizes 1262, 528, 252
35.37/35.59 c handled 4 out of 4 symmetry components
35.46/35.61 c presolving (53 rounds: 53 fast, 25 medium, 24 exhaustive):
35.46/35.61 c 2085 deleted vars, 1544 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1125 changed coefficients
35.46/35.61 c 0 implications, 100015 cliques
35.46/35.61 c presolved problem has 14905 variables (14905 bin, 0 int, 0 impl, 0 cont) and 15157 constraints
35.46/35.61 c 1864 constraints of type <setppc>
35.46/35.61 c 1 constraints of type <orbitope>
35.46/35.61 c 13292 constraints of type <logicor>
35.46/35.61 c transformed objective value is always integral (scale: 1)
35.46/35.61 c Presolving Time: 35.48
35.46/35.61 c - non default parameters ----------------------------------------------------------------------
35.46/35.61 c # SCIP version 10.0.0
35.46/35.61 c
35.46/35.61 c # maximal time in seconds to run
35.46/35.61 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
35.46/35.61 c limits/time = 3596.997025
35.46/35.61 c
35.46/35.61 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
35.46/35.61 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
35.46/35.61 c limits/memory = 27900
35.46/35.61 c
35.46/35.61 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
35.46/35.61 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
35.46/35.61 c limits/solutions = 1
35.46/35.61 c
35.46/35.61 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.
35.46/35.61 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
35.46/35.61 c misc/usesymmetry = 3
35.46/35.61 c
35.46/35.61 c # belongs reading time to solving time?
35.46/35.61 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
35.46/35.61 c timing/reading = TRUE
35.46/35.61 c
35.46/35.61 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
35.46/35.61 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
35.46/35.61 c propagating/symmetry/detectdoublelex = FALSE
35.46/35.61 c
35.46/35.61 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
35.46/35.61 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
35.46/35.61 c propagating/symmetry/detectsubgroups = FALSE
35.46/35.61 c
35.46/35.61 c # Type of symmetries that shall be computed?
35.46/35.61 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
35.46/35.61 c propagating/symmetry/symtype = 1
35.46/35.61 c
35.46/35.61 c # Should components consisting of a single full reflection be handled?
35.46/35.61 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
35.46/35.61 c propagating/symmetry/usesimplesgncomp = FALSE
35.46/35.61 c
35.46/35.61 c -----------------------------------------------------------------------------------------------
35.46/35.61 c start solving
35.46/35.61 c
52.51/52.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
52.51/52.77 c 52.8s| 1 | 0 | 16917 | - | 200M | 0 | 14k| 15k| 15k| 0 | 0 | 128 | 0 | 0.000000e+00 | -- | Inf | unknown
242.35/243.19 c 243s| 1 | 0 |106983 | - | 226M | 0 | 14k| 15k| 15k| 7 | 1 | 131 | 0 | 0.000000e+00 | -- | Inf | unknown
263.48/264.37 c 264s| 1 | 0 |118522 | - | 229M | 0 | 14k| 15k| 15k| 17 | 2 | 133 | 0 | 0.000000e+00 | -- | Inf | unknown
292.31/293.20 c 293s| 1 | 0 |132976 | - | 234M | 0 | 14k| 15k| 15k| 29 | 3 | 134 | 0 | 0.000000e+00 | -- | Inf | unknown
318.63/319.67 c 320s| 1 | 0 |145704 | - | 237M | 0 | 14k| 15k| 15k| 42 | 4 | 141 | 0 | 0.000000e+00 | -- | Inf | unknown
344.36/345.40 c 345s| 1 | 0 |158155 | - | 240M | 0 | 14k| 15k| 15k| 54 | 5 | 142 | 0 | 0.000000e+00 | -- | Inf | unknown
374.98/376.17 c 376s| 1 | 0 |172362 | - | 245M | 0 | 14k| 15k| 15k| 69 | 6 | 143 | 0 | 0.000000e+00 | -- | Inf | unknown
401.81/403.09 c 403s| 1 | 0 |184748 | - | 248M | 0 | 14k| 15k| 15k| 80 | 7 | 146 | 0 | 0.000000e+00 | -- | Inf | unknown
428.63/429.92 c 430s| 1 | 0 |196583 | - | 254M | 0 | 14k| 15k| 15k| 88 | 8 | 156 | 0 | 0.000000e+00 | -- | Inf | unknown
462.53/463.93 c 464s| 1 | 0 |211407 | - | 256M | 0 | 14k| 15k| 15k| 105 | 9 | 165 | 0 | 0.000000e+00 | -- | Inf | unknown
493.75/495.25 c 495s| 1 | 0 |225286 | - | 258M | 0 | 14k| 15k| 15k| 123 | 10 | 168 | 0 | 0.000000e+00 | -- | Inf | unknown
523.97/525.53 c 526s| 1 | 0 |238903 | - | 262M | 0 | 14k| 15k| 15k| 140 | 11 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
773.37/775.64 c 776s| 1 | 2 |334679 | - | 265M | 0 | 14k| 15k| 15k| 140 | 11 | 189 | 19 | 0.000000e+00 | -- | Inf | unknown
3590.04/3600.79 c
3590.04/3600.79 c SCIP Status : solving was interrupted [time limit reached]
3590.04/3600.79 c Solving Time (sec) : 3600.78
3590.04/3600.79 c Solving Nodes : 36
3590.04/3600.79 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3590.04/3600.79 c Dual Bound : +0.00000000000000e+00
3590.04/3600.79 c Gap : infinite
3590.04/3600.79 s UNKNOWN
3590.04/3600.79 c SCIP Status : solving was interrupted [time limit reached]
3590.04/3600.79 c Total Time : 3600.78
3590.04/3600.79 c solving : 3600.78
3590.04/3600.79 c presolving : 35.48 (included in solving)
3590.04/3600.79 c reading : 0.07 (included in solving)
3590.04/3600.79 c copying : 0.16 (4 #copies) (minimal 0.04, maximal 0.04, average 0.04)
3590.04/3600.79 c Original Problem :
3590.04/3600.79 c Problem name : HOME/instance-4506806-1751176844.opb
3590.04/3600.79 c Variables : 16422 (16422 binary, 0 integer, 0 implicit integer, 0 continuous)
3590.04/3600.79 c Constraints : 16700 initial, 16700 maximal
3590.04/3600.79 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3590.04/3600.79 c Presolved Problem :
3590.04/3600.79 c Problem name : t_HOME/instance-4506806-1751176844.opb
3590.04/3600.79 c Variables : 14905 (14905 binary, 0 integer, 0 implicit integer, 0 continuous)
3590.04/3600.79 c Constraints : 15157 initial, 15399 maximal
3590.04/3600.79 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3590.04/3600.79 c Nonzeros : 82807 constraint, 214664 clique table
3590.04/3600.79 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3590.04/3600.79 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c domcol : 0.88 0.00 21 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c dualsparsify : 0.03 0.00 1 0 0 0 0 0 2 0 0 2
3590.04/3600.79 c gateextraction : 0.19 0.00 22 0 0 0 0 0 1 0 0 0
3590.04/3600.79 c implics : 0.00 0.00 25 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c milp : 0.23 0.00 1 139 0 0 0 0 0 0 0 0
3590.04/3600.79 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c sparsify : 0.44 0.00 4 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c trivial : 0.02 0.00 53 568 0 0 0 0 0 0 0 0
3590.04/3600.79 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c dualfix : 0.02 0.00 53 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c probing : 30.22 0.00 21 502 1 0 0 0 0 0 0 0
3590.04/3600.79 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c symmetry : 0.08 0.00 1 3 0 0 0 0 0 1 0 0
3590.04/3600.79 c vbounds : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c setppc : 0.14 0.00 87 0 0 0 0 0 113 0 0 0
3590.04/3600.79 c linear : 0.14 0.01 12 302 0 0 302 0 910 0 0 0
3590.04/3600.79 c orbitope : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c logicor : 2.99 0.00 87 110 0 0 0 0 518 0 0 1123
3590.04/3600.79 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c root node : - - - 0 - - 0 - - - - -
3590.04/3600.79 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3590.04/3600.79 c benderslp : 0 0 0 0 36 0 0 14 0 0 0 0 0 0 0
3590.04/3600.79 c integral : 0 0 0 0 36 0 0 14 0 0 0 0 0 0 72
3590.04/3600.79 c knapsack : 0+ 1 0 15513 0 0 0 0 8 0 0 0 0 0 0
3590.04/3600.79 c setppc : 1864+ 1942 11 256505 0 0 0 10 25576 339 2491 0 0 0 0
3590.04/3600.79 c orbitope : 1 1 0 20193 0 0 0 0 52 0 11 0 0 0 0
3590.04/3600.79 c logicor : 13292+ 13455 11 132330 0 0 0 0 74196 104 5341 7 4 0 0
3590.04/3600.79 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3590.04/3600.79 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3590.04/3600.79 c integral : 38.79 0.00 0.00 0.00 38.79 0.00 0.00 0.00 0.00 0.00
3590.04/3600.79 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3590.04/3600.79 c setppc : 2.67 0.00 0.00 2.65 0.00 0.00 0.00 0.00 0.01 0.01
3590.04/3600.79 c orbitope : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3590.04/3600.79 c logicor : 9.79 0.00 0.03 9.71 0.00 0.00 0.00 0.00 0.03 0.02
3590.04/3600.79 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3590.04/3600.79 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3590.04/3600.79 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3590.04/3600.79 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3590.04/3600.79 c Propagators : #Propagate #ResProp Cutoffs DomReds
3590.04/3600.79 c dualfix : 1 0 0 0
3590.04/3600.79 c genvbounds : 0 0 0 0
3590.04/3600.79 c nlobbt : 0 0 0 0
3590.04/3600.79 c obbt : 0 0 0 0
3590.04/3600.79 c probing : 0 0 0 0
3590.04/3600.79 c pseudoobj : 0 0 0 0
3590.04/3600.79 c redcost : 0 0 0 0
3590.04/3600.79 c rootredcost : 0 0 0 0
3590.04/3600.79 c symmetry : 0 0 0 0
3590.04/3600.79 c vbounds : 5938 0 0 0
3590.04/3600.79 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3590.04/3600.79 c dualfix : 0.02 0.00 0.02 0.00 0.00 0.00
3590.04/3600.79 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3590.04/3600.79 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3590.04/3600.79 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3590.04/3600.79 c probing : 30.22 0.00 30.22 0.00 0.00 0.00
3590.04/3600.79 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3590.04/3600.79 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3590.04/3600.79 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3590.04/3600.79 c symmetry : 0.10 0.00 0.08 0.02 0.00 0.00
3590.04/3600.79 c vbounds : 0.04 0.00 0.02 0.02 0.00 0.00
3590.04/3600.79 c Symmetry :
3590.04/3600.79 c orbitopal red. : 0 reductions applied, 0 cutoffs
3590.04/3600.79 c orbital reduction: 0 reductions applied, 0 cutoffs
3590.04/3600.79 c lexicographic red: 0 reductions applied, 0 cutoffs
3590.04/3600.79 c shadow tree time : 0.00 s
3590.04/3600.79 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3590.04/3600.79 c propagation : 0.03 440 108 - 630 188.7 16 16.2 - - -
3590.04/3600.79 c infeasible LP : 0.20 11 10 - 290 2387.9 6 6.7 1 1145.0 0
3590.04/3600.79 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3590.04/3600.79 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3590.04/3600.79 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3590.04/3600.79 c applied globally : 0.01 - - 0 305 208.6 - - 1 - -
3590.04/3600.79 c applied locally : - - - 0 0 0.0 - - 0 - -
3590.04/3600.79 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3590.04/3600.79 c cut pool : 0.00 - 31 21 - - 235 372 - - - - - (maximal pool size: 235)
3590.04/3600.79 c aggregation : 0.05 0.00 13 11 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c > cmir : - - - - - - - 0 0 0 0 0 -
3590.04/3600.79 c > flowcover : - - - - - - - 0 0 0 0 0 -
3590.04/3600.79 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3590.04/3600.79 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c clique : 1.51 0.00 11 11 0 0 86 205 0 42 42 0 0
3590.04/3600.79 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c gomory : 17.15 0.00 12 10 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c > gomorymi : - - - - - - - 0 0 0 0 0 -
3590.04/3600.79 c > strongcg : - - - - - - - 0 0 0 0 0 -
3590.04/3600.79 c impliedbounds : 0.06 0.00 13 11 0 0 44 51 0 11 11 0 0
3590.04/3600.79 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c multilinear : 0.00 0.00 17 11 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c rlt : 0.00 0.00 11 10 0 0 0 0 0 0 0 0 0
3590.04/3600.79 c zerohalf : 15.57 0.00 13 11 0 0 105 116 0 112 112 0 0
3590.04/3600.79 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3590.04/3600.79 c hybrid : 0.00 0.00 17 11 169 0 210 140 0 169
3590.04/3600.79 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3590.04/3600.79 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3590.04/3600.79 c Pricers : ExecTime SetupTime Calls Vars
3590.04/3600.79 c problem variables: 0.00 - 0 0
3590.04/3600.79 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3590.04/3600.79 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3590.04/3600.79 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3590.04/3600.79 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3590.04/3600.79 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3590.04/3600.79 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3590.04/3600.79 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3590.04/3600.79 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3590.04/3600.79 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3590.04/3600.79 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3590.04/3600.79 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3590.04/3600.79 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3590.04/3600.79 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3590.04/3600.79 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3590.04/3600.79 c relpscost : 38.79 0.00 36 0 0 0 0 0 0 72
3590.04/3600.79 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3590.04/3600.79 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3590.04/3600.79 c LP solutions : 0.00 - - 0 0
3590.04/3600.79 c relax solutions : 0.00 - - 0 0
3590.04/3600.79 c pseudo solutions : 0.00 - - 0 0
3590.04/3600.79 c strong branching : 0.00 - - 0 0
3590.04/3600.79 c actconsdiving : 0.00 0.00 0 0 0
3590.04/3600.79 c adaptivediving : 120.29 0.00 1 0 0
3590.04/3600.79 c alns : 45.91 0.00 3 0 0
3590.04/3600.79 c bound : 0.00 0.00 0 0 0
3590.04/3600.79 c clique : 0.06 0.00 1 0 0
3590.04/3600.79 c coefdiving : 0.00 0.00 0 0 0
3590.04/3600.79 c completesol : 0.00 0.00 0 0 0
3590.04/3600.79 c conflictdiving : 210.96 0.00 1 0 0
3590.04/3600.79 c crossover : 0.00 0.00 0 0 0
3590.04/3600.79 c dins : 0.00 0.00 0 0 0
3590.04/3600.79 c distributiondivin: 184.16 0.00 2 0 0
3590.04/3600.79 c dps : 0.00 0.00 0 0 0
3590.04/3600.79 c dualval : 0.00 0.00 0 0 0
3590.04/3600.79 c farkasdiving : 0.00 0.00 0 0 0
3590.04/3600.79 c feasjump : 0.04 0.00 1 0 0
3590.04/3600.79 c feaspump : 173.47 0.00 1 0 0
3590.04/3600.79 c fixandinfer : 0.00 0.00 0 0 0
3590.04/3600.79 c fracdiving : 249.29 0.00 2 0 0
3590.04/3600.79 c gins : 0.00 0.00 0 0 0
3590.04/3600.79 c guideddiving : 0.00 0.00 0 0 0
3590.04/3600.79 c indcoefdiving : 0.00 0.00 0 0 0
3590.04/3600.79 c indicator : 0.00 0.00 0 0 0
3590.04/3600.79 c indicatordiving : 0.00 0.00 0 0 0
3590.04/3600.79 c indoneopt : 0.00 0.00 0 0 0
3590.04/3600.79 c indrounding : 0.00 0.00 0 0 0
3590.04/3600.79 c indtwoopt : 0.00 0.00 0 0 0
3590.04/3600.79 c intdiving : 0.00 0.00 0 0 0
3590.04/3600.79 c intshifting : 0.00 0.00 0 0 0
3590.04/3600.79 c linesearchdiving : 86.56 0.00 1 0 0
3590.04/3600.79 c localbranching : 0.00 0.00 0 0 0
3590.04/3600.79 c locks : 0.05 0.00 1 0 0
3590.04/3600.79 c lpface : 0.00 0.00 0 0 0
3590.04/3600.79 c mpec : 0.00 0.00 0 0 0
3590.04/3600.79 c multistart : 0.00 0.00 0 0 0
3590.04/3600.79 c mutation : 0.00 0.00 0 0 0
3590.04/3600.79 c nlpdiving : 0.00 0.00 0 0 0
3590.04/3600.79 c objpscostdiving : 1103.39 0.00 1 0 0
3590.04/3600.79 c octane : 0.00 0.00 0 0 0
3590.04/3600.79 c ofins : 0.00 0.00 0 0 0
3590.04/3600.79 c oneopt : 0.00 0.00 0 0 0
3590.04/3600.79 c padm : 0.00 0.00 0 0 0
3590.04/3600.79 c proximity : 0.00 0.00 0 0 0
3590.04/3600.79 c pscostdiving : 187.07 0.00 1 0 0
3590.04/3600.79 c randrounding : 0.15 0.00 19 0 0
3590.04/3600.79 c rens : 0.29 0.00 1 0 0
3590.04/3600.79 c reoptsols : 0.00 0.00 0 0 0
3590.04/3600.79 c repair : 0.00 0.00 0 0 0
3590.04/3600.79 c rins : 0.00 0.00 0 0 0
3590.04/3600.79 c rootsoldiving : 56.33 0.00 1 0 0
3590.04/3600.79 c rounding : 0.05 0.00 53 0 0
3590.04/3600.79 c scheduler : 0.00 0.00 0 0 0
3590.04/3600.79 c shiftandpropagate: 0.02 0.00 1 0 0
3590.04/3600.79 c shifting : 0.22 0.00 22 0 0
3590.04/3600.79 c simplerounding : 0.00 0.00 0 0 0
3590.04/3600.79 c smallcard : 0.00 0.00 0 0 0
3590.04/3600.79 c subnlp : 0.00 0.00 0 0 0
3590.04/3600.79 c trivial : 0.01 0.00 2 0 0
3590.04/3600.79 c trivialnegation : 0.00 0.00 0 0 0
3590.04/3600.79 c trustregion : 0.00 0.00 0 0 0
3590.04/3600.79 c trysol : 0.00 0.00 0 0 0
3590.04/3600.79 c twoopt : 0.00 0.00 0 0 0
3590.04/3600.79 c undercover : 0.00 0.00 0 0 0
3590.04/3600.79 c vbounds : 0.10 0.00 1 0 0
3590.04/3600.79 c veclendiving : 234.35 0.00 1 0 0
3590.04/3600.79 c zeroobj : 0.00 0.00 0 0 0
3590.04/3600.79 c zirounding : 0.02 0.00 35 0 0
3590.04/3600.79 c other solutions : - - - 0 -
3590.04/3600.79 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3590.04/3600.79 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
3590.04/3600.79 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
3590.04/3600.79 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
3590.04/3600.79 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
3590.04/3600.79 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
3590.04/3600.79 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
3590.04/3600.79 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
3590.04/3600.79 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
3590.04/3600.79 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
3590.04/3600.79 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3590.04/3600.79 c primal LP : 0.08 2 0 0.00 0.00 0.08 2
3590.04/3600.79 c dual LP : 838.92 53 505959 9546.40 603.10 0.00 0
3590.04/3600.79 c lex dual LP : 0.00 0 0 0.00 -
3590.04/3600.79 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3590.04/3600.79 c resolve instable : 225.21 44 32853 746.66 145.87
3590.04/3600.79 c diving/probing LP: 2612.79 343 765576 2232.00 293.01
3590.04/3600.79 c strong branching : 28.91 19 18036 949.26 623.76 - - 36
3590.04/3600.79 c (at root node) : - 19 18036 949.26 -
3590.04/3600.79 c conflict analysis: 0.00 0 0 0.00 -
3590.04/3600.79 c B&B Tree :
3590.04/3600.79 c number of runs : 1
3590.04/3600.79 c nodes : 36 (36 internal, 0 leaves)
3590.04/3600.79 c feasible leaves : 0
3590.04/3600.79 c infeas. leaves : 0
3590.04/3600.79 c objective leaves : 0
3590.04/3600.79 c nodes (total) : 36 (36 internal, 0 leaves)
3590.04/3600.79 c nodes left : 37
3590.04/3600.79 c max depth : 21
3590.04/3600.79 c max depth (total): 21
3590.04/3600.79 c backtracks : 9 (25.0%)
3590.04/3600.79 c early backtracks : 0 (0.0%)
3590.04/3600.79 c nodes exc. ref. : 0 (0.0%)
3590.04/3600.79 c delayed cutoffs : 0
3590.04/3600.79 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3590.04/3600.79 c avg switch length: 1.78
3590.04/3600.79 c switching time : 0.09
3590.04/3600.79 c Root Node :
3590.04/3600.79 c First LP value : +0.00000000000000e+00
3590.04/3600.79 c First LP Iters : 16917 (1002.78 Iter/sec)
3590.04/3600.79 c First LP Time : 16.87
3590.04/3600.79 c Final Dual Bound : +0.00000000000000e+00
3590.04/3600.79 c Final Root Iters : 238903
3590.04/3600.79 c Root LP Estimate : +1.06210658723985e-03
3590.04/3600.79 c Solution :
3590.04/3600.79 c Solutions found : 0 (0 improvements)
3590.04/3600.79 c Primal Bound : -
3590.04/3600.79 c Dual Bound : +0.00000000000000e+00
3590.04/3600.79 c Gap : infinite
3590.04/3600.79 c Integrals : Total Avg%
3590.04/3600.79 c primal-dual : 360078.39 100.00
3590.04/3600.79 c primal-ref : - - (not evaluated)
3590.04/3600.79 c dual-ref : - - (not evaluated)
3590.14/3600.89 c Time complete: 3590.24.
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: 63665 MiB (56148 MiB free)
memory of node 1: 64507 MiB (58291 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506806-1751176844/watcher-4506806-1751176844 -o /tmp/evaluation-result-4506806-1751176844/solver-4506806-1751176844 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751169647-24242 --watchdog 3760 pbscip -f HOME/instance-4506806-1751176844.opb -t 3600 -j 2 -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
solver pid=24951, runsolver pid=24948
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.15 4.10 4.09 5/264 24952
/proc/meminfo: memFree=117154568/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=92156 memory=66292 CPUtime=0.09 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 13418 0 0 0 8 1 0 0 20 0 1 0 33362095 94367744 16573 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 23039 16573 3552 3530 0 14490 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 92156 KiB
Current children cumulated memory: 66292 KiB
[startup+0.205592 s]*
/proc/loadavg: 4.15 4.10 4.09 5/264 24952
/proc/meminfo: memFree=117138440/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=121832 memory=89588 CPUtime=0.19 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 19263 0 0 0 18 1 0 0 20 0 1 0 33362095 124755968 22397 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 30458 22397 3584 3530 0 21909 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 121832 KiB
Current children cumulated memory: 89588 KiB
[startup+0.305635 s]*
/proc/loadavg: 4.15 4.10 4.09 5/264 24952
/proc/meminfo: memFree=117106184/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=133952 memory=105308 CPUtime=0.29 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 24944 0 0 0 27 2 0 0 20 0 1 0 33362095 137166848 26327 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 33488 26327 3712 3530 0 24939 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 133952 KiB
Current children cumulated memory: 105308 KiB
[startup+0.700189 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 24952
/proc/meminfo: memFree=117106184/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=144244 memory=114432 CPUtime=0.68 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 29800 0 0 0 65 3 0 0 20 0 1 0 33362095 147705856 28608 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 36061 28608 3712 3530 0 27512 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 144244 KiB
Current children cumulated memory: 114432 KiB
[startup+1.50019 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 24952
/proc/meminfo: memFree=117082936/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=177920 memory=146364 CPUtime=1.48 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 36428 0 0 0 144 4 0 0 20 0 1 0 33362095 182190080 36591 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 44480 36591 3776 3530 0 35931 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 177920 KiB
Current children cumulated memory: 146364 KiB
[startup+3.10534 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 24997
/proc/meminfo: memFree=122707676/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=180584 memory=148668 CPUtime=3.07 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 37024 0 0 0 303 4 0 0 20 0 1 0 33362095 184918016 37167 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 45146 37167 3776 3530 0 36597 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 180584 KiB
Current children cumulated memory: 148668 KiB
[startup+6.30019 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 25042
/proc/meminfo: memFree=128038412/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=183760 memory=151484 CPUtime=6.26 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 37719 0 0 0 622 4 0 0 20 0 1 0 33362095 188170240 37871 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 45940 37871 3776 3530 0 37391 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 183760 KiB
Current children cumulated memory: 151484 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 25042
/proc/meminfo: memFree=127983848/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=187912 memory=155580 CPUtime=12.65 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 38782 0 0 0 1260 5 0 0 20 0 1 0 33362095 192421888 38895 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 46978 38895 3776 3530 0 38429 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 187912 KiB
Current children cumulated memory: 155580 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 25054
/proc/meminfo: memFree=127959944/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=188948 memory=156476 CPUtime=25.4 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 39023 0 0 0 2535 5 0 0 20 0 1 0 33362095 193482752 39119 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 47237 39119 3776 3530 0 38688 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 188948 KiB
Current children cumulated memory: 156476 KiB
[startup+51.1055 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 25054
/proc/meminfo: memFree=127794324/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=271128 memory=218624 CPUtime=50.92 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 57239 0 0 0 5084 8 0 0 20 0 1 0 33362095 277635072 54656 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 67782 54656 3968 3530 0 59233 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 271128 KiB
Current children cumulated memory: 218624 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 25057
/proc/meminfo: memFree=127696124/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=274028 memory=221824 CPUtime=101.95 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 58010 0 0 0 10187 8 0 0 20 0 1 0 33362095 280604672 55456 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 68507 55456 4000 3530 0 59958 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 274028 KiB
Current children cumulated memory: 221824 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 25059
/proc/meminfo: memFree=127674408/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=279276 memory=226092 CPUtime=161.77 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 58574 0 0 0 16168 9 0 0 20 0 1 0 33362095 285978624 56523 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 69819 56523 4000 3530 0 61270 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 279276 KiB
Current children cumulated memory: 226092 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 25061
/proc/meminfo: memFree=127682948/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=279276 memory=226348 CPUtime=221.61 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 58651 0 0 0 22152 9 0 0 20 0 1 0 33362095 285978624 56587 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 69819 56587 4000 3530 0 61270 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 279276 KiB
Current children cumulated memory: 226348 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/263 25063
/proc/meminfo: memFree=127520104/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=350412 memory=293296 CPUtime=281.44 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 67192 0 0 0 28133 11 0 0 20 0 1 0 33362095 358821888 73324 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 87603 73324 4000 3530 0 79054 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 350412 KiB
Current children cumulated memory: 293296 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 25065
/proc/meminfo: memFree=127429712/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=354424 memory=297520 CPUtime=341.27 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 68271 0 0 0 34116 11 0 0 20 0 1 0 33362095 362930176 74380 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 88606 74380 4000 3530 0 80057 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 354424 KiB
Current children cumulated memory: 297520 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.10 4.09 5/263 25070
/proc/meminfo: memFree=127402476/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=364796 memory=305712 CPUtime=401.1 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 70339 0 0 0 40098 12 0 0 20 0 1 0 33362095 373551104 76428 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 91199 76428 4000 3530 0 82650 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 364796 KiB
Current children cumulated memory: 305712 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 25077
/proc/meminfo: memFree=127339140/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=373508 memory=312368 CPUtime=460.94 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 71995 0 0 0 46082 12 0 0 20 0 1 0 33362095 382472192 78092 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 93377 78092 4000 3530 0 84828 0
Current children cumulated CPU time: 460.94 s
################
# More data... #
################
/proc/loadavg: 4.31 4.16 4.11 5/265 25255
/proc/meminfo: memFree=127863248/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=438820 memory=401456 CPUtime=3153.08 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 88573 0 0 0 315294 14 0 0 20 0 1 0 33362095 449351680 100364 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 109705 100364 4192 3530 0 101156 0
Current children cumulated CPU time: 3153.08 s
Current children cumulated vsize: 438820 KiB
Current children cumulated memory: 401456 KiB
[startup+3222.3 s]
/proc/loadavg: 4.23 4.16 4.11 5/264 25257
/proc/meminfo: memFree=127863136/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=438820 memory=401456 CPUtime=3212.88 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 88573 0 0 0 321274 14 0 0 20 0 1 0 33362095 449351680 100364 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 109705 100364 4192 3530 0 101156 0
Current children cumulated CPU time: 3212.88 s
Current children cumulated vsize: 438820 KiB
Current children cumulated memory: 401456 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/264 25260
/proc/meminfo: memFree=127863016/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=438820 memory=401456 CPUtime=3272.68 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 88573 0 0 0 327254 14 0 0 20 0 1 0 33362095 449351680 100364 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 109705 100364 4192 3530 0 101156 0
Current children cumulated CPU time: 3272.68 s
Current children cumulated vsize: 438820 KiB
Current children cumulated memory: 401456 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/264 25262
/proc/meminfo: memFree=127838880/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=464392 memory=423600 CPUtime=3332.48 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 94136 0 0 0 333233 15 0 0 20 0 1 0 33362095 475537408 105900 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 116098 105900 4192 3530 0 107549 0
Current children cumulated CPU time: 3332.48 s
Current children cumulated vsize: 464392 KiB
Current children cumulated memory: 423600 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/264 25266
/proc/meminfo: memFree=127838796/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=464392 memory=423728 CPUtime=3392.28 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 94149 0 0 0 339213 15 0 0 20 0 1 0 33362095 475537408 105932 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 116098 105932 4192 3530 0 107549 0
Current children cumulated CPU time: 3392.28 s
Current children cumulated vsize: 464392 KiB
Current children cumulated memory: 423728 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/264 25273
/proc/meminfo: memFree=127802208/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=496648 memory=454960 CPUtime=3452.08 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 101992 0 0 0 345192 16 0 0 20 0 1 0 33362095 508567552 113740 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 124162 113740 4192 3530 0 115613 0
Current children cumulated CPU time: 3452.08 s
Current children cumulated vsize: 496648 KiB
Current children cumulated memory: 454960 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 25275
/proc/meminfo: memFree=127802028/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=497132 memory=455600 CPUtime=3511.89 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 102133 0 0 0 351173 16 0 0 20 0 1 0 33362095 509063168 113900 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 124283 113900 4192 3530 0 115734 0
Current children cumulated CPU time: 3511.89 s
Current children cumulated vsize: 497132 KiB
Current children cumulated memory: 455600 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 25277
/proc/meminfo: memFree=127801908/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=497132 memory=455728 CPUtime=3571.7 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 102176 0 0 0 357154 16 0 0 20 0 1 0 33362095 509063168 113932 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 124283 113932 4192 3530 0 115734 0
Current children cumulated CPU time: 3571.7 s
Current children cumulated vsize: 497132 KiB
Current children cumulated memory: 455728 KiB
[startup+3600.9 s]
# the end of solver process 24951 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.08 s, system=0.172402 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.11 4.09 5/264 25278
/proc/meminfo: memFree=127801908/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=497132 memory=455728 CPUtime=3573.4 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 102176 0 0 0 357324 16 0 0 20 0 1 0 33362095 509063168 113932 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 124283 113932 4192 3530 0 115734 0
Current children cumulated CPU time: 3573.4 s
Current children cumulated vsize: 497132 KiB
Current children cumulated memory: 455728 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 25278
/proc/meminfo: memFree=127801908/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=497132 memory=455728 CPUtime=3579.77 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 102176 0 0 0 357961 16 0 0 20 0 1 0 33362095 509063168 113932 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 124283 113932 4192 3530 0 115734 0
Current children cumulated CPU time: 3579.77 s
Current children cumulated vsize: 497132 KiB
Current children cumulated memory: 455728 KiB
[startup+3596.8 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 25278
/proc/meminfo: memFree=127801908/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=497132 memory=455728 CPUtime=3586.15 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 102176 0 0 0 358599 16 0 0 20 0 1 0 33362095 509063168 113932 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 124283 113932 4192 3530 0 115734 0
Current children cumulated CPU time: 3586.15 s
Current children cumulated vsize: 497132 KiB
Current children cumulated memory: 455728 KiB
[startup+3598.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 25278
/proc/meminfo: memFree=127801908/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=497132 memory=455728 CPUtime=3587.74 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 102176 0 0 0 358758 16 0 0 20 0 1 0 33362095 509063168 113932 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 124283 113932 4192 3530 0 115734 0
Current children cumulated CPU time: 3587.74 s
Current children cumulated vsize: 497132 KiB
Current children cumulated memory: 455728 KiB
[startup+3600 s]*
/proc/loadavg: 4.07 4.10 4.09 5/264 25278
/proc/meminfo: memFree=127801908/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=497132 memory=455728 CPUtime=3589.34 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 102176 0 0 0 358918 16 0 0 20 0 1 0 33362095 509063168 113932 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 124283 113932 4192 3530 0 115734 0
Current children cumulated CPU time: 3589.34 s
Current children cumulated vsize: 497132 KiB
Current children cumulated memory: 455728 KiB
[startup+3600.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 25278
/proc/meminfo: memFree=127801908/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=497132 memory=455728 CPUtime=3589.74 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 102176 0 0 0 358958 16 0 0 20 0 1 0 33362095 509063168 113932 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 124283 113932 4192 3530 0 115734 0
Current children cumulated CPU time: 3589.74 s
Current children cumulated vsize: 497132 KiB
Current children cumulated memory: 455728 KiB
[startup+3600.8 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 25278
/proc/meminfo: memFree=127801908/131249996 swapFree=33010684/33010684
[pid=24951] ppid=24948 vsize=497132 memory=455728 CPUtime=3590.14 cores=5,7
/proc/24951/stat : 24951 (pbscip) R 24948 24951 24229 0 -1 4194304 102176 0 0 0 358998 16 0 0 20 0 1 0 33362095 509063168 113932 18446744073709551615 4235264 18693293 140734495060176 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 47251456 140734495062409 140734495062508 140734495062508 140734495068110 0
/proc/24951/statm: 124283 113932 4192 3530 0 115734 0
Current children cumulated CPU time: 3590.14 s
Current children cumulated vsize: 497132 KiB
Current children cumulated memory: 455728 KiB
Child status: 0
Real time (s): 3600.9
CPU time (s): 3590.25
CPU user time (s): 3590.08
CPU system time (s): 0.172402
CPU usage (%): 99.7042
Max. virtual memory (cumulated for all children) (KiB): 497132
Max. memory (cumulated for all children) (KiB): 455728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.08
system time used= 0.172402
maximum resident set size= 455728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102191
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= 102
involuntary context switches= 18582
# summary of solver processes directly reported to runsolver:
# pid: 24951
# total CPU time (s): 3590.25
# total CPU user time (s): 3590.08
# total CPU system time (s): 0.172402
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19275 second user time and 14.4155 second system time
The end
Begin job on nodeC021 at 2025-06-29 08:00:44 IDJOB=4506806 IDBENCH=158265 IDSOLVER=3365 FILE ID=nodeC021/4506806-1751176844 RUNJOBID= nodeC021-1751169647-24242 SLURM_JOB_ID= 9587523 Free space on /tmp= 432912 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K138.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506806-1751176844/watcher-4506806-1751176844 -o /tmp/evaluation-result-4506806-1751176844/solver-4506806-1751176844 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751169647-24242 --watchdog 3760 pbscip -f HOME/instance-4506806-1751176844.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= df8f338dbd068337fef89bf4c43df9f5 RANDOM SEED=1426545459 nodeC021 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.764 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.56 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.775 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.56 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 : 3598.486 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.56 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.664 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.56 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.764 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.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.654 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.56 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 : 3700.000 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.56 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 : 3590.587 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.56 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 117186748 kB MemAvailable: 117287736 kB Buffers: 3280 kB Cached: 910300 kB SwapCached: 0 kB Active: 12770064 kB Inactive: 653036 kB Active(anon): 12527616 kB Inactive(anon): 0 kB Active(file): 242448 kB Inactive(file): 653036 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 19820 kB Writeback: 0 kB AnonPages: 12510392 kB Mapped: 137784 kB Shmem: 18060 kB KReclaimable: 89088 kB Slab: 175004 kB SReclaimable: 89088 kB SUnreclaim: 85916 kB KernelStack: 4256 kB PageTables: 28076 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 15578152 kB VmallocTotal: 34359738367 kB VmallocUsed: 150616 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 6830080 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: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432984 MiB End job on nodeC021 at 2025-06-29 09:00:45