| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3587.99 | 3597.33 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K135.opb |
| MD5SUM | a9d7c7f4b9c33e38d48644f753677e90 |
| 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 | 16065 |
| Total number of constraints | 16337 |
| Number of constraints which are clauses | 16202 |
| Number of constraints which are cardinality constraints (but not clauses) | 135 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 135 |
| 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 | 136 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4446645-1721334298.opb>
0.00/0.06 c original problem has 16065 variables (16065 bin, 0 int, 0 impl, 0 cont) and 16337 constraints
0.00/0.06 c problem read in 0.06
0.00/0.06 c No objective function, only one solution is needed.
0.10/0.12 c presolving:
0.10/0.15 c (round 1, fast) 250 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1849 clqs
0.10/0.15 c (round 2, fast) 682 del vars, 262 del conss, 0 add conss, 121 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1833 clqs
0.10/0.16 c (round 3, fast) 900 del vars, 412 del conss, 0 add conss, 206 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1854 clqs
0.10/0.16 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, 1887 clqs
0.10/0.16 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, 1908 clqs
0.10/0.17 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, 1918 clqs
0.10/0.21 c (0.2s) running MILP presolver
0.31/0.37 c (0.4s) MILP presolver (4 rounds): 0 aggregations, 136 fixings, 0 bound changes
0.31/0.38 c (round 7, medium) 1317 del vars, 635 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1928 clqs
0.31/0.39 c (round 8, fast) 1317 del vars, 771 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1930 clqs
0.31/0.41 c (round 9, exhaustive) 1317 del vars, 904 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1930 clqs
0.41/0.49 c (round 10, exhaustive) 1317 del vars, 904 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 15433 upgd conss, 0 impls, 1930 clqs
0.60/0.63 c (round 11, exhaustive) 1425 del vars, 904 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 107 chg coeffs, 15433 upgd conss, 0 impls, 1918 clqs
0.60/0.64 c (round 12, fast) 1533 del vars, 1012 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 107 chg coeffs, 15433 upgd conss, 0 impls, 1918 clqs
2.28/2.32 c (round 13, exhaustive) 1559 del vars, 1013 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 107 chg coeffs, 15433 upgd conss, 0 impls, 97540 clqs
2.28/2.33 c (round 14, fast) 1560 del vars, 1039 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 163 chg coeffs, 15433 upgd conss, 0 impls, 97551 clqs
3.68/3.72 c (round 15, exhaustive) 1586 del vars, 1039 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 163 chg coeffs, 15433 upgd conss, 0 impls, 97528 clqs
3.68/3.73 c (round 16, fast) 1587 del vars, 1065 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 218 chg coeffs, 15433 upgd conss, 0 impls, 97540 clqs
4.09/4.17 c (round 17, exhaustive) 1613 del vars, 1065 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 218 chg coeffs, 15433 upgd conss, 0 impls, 97556 clqs
4.09/4.17 c (round 18, fast) 1614 del vars, 1091 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 284 chg coeffs, 15433 upgd conss, 0 impls, 97569 clqs
5.09/5.19 c (round 19, exhaustive) 1640 del vars, 1091 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 284 chg coeffs, 15433 upgd conss, 0 impls, 97542 clqs
5.09/5.19 c (round 20, fast) 1641 del vars, 1117 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 348 chg coeffs, 15433 upgd conss, 0 impls, 97560 clqs
5.37/5.40 c (round 21, exhaustive) 1668 del vars, 1117 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 348 chg coeffs, 15433 upgd conss, 0 impls, 97565 clqs
5.37/5.41 c (round 22, fast) 1668 del vars, 1144 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 413 chg coeffs, 15433 upgd conss, 0 impls, 97575 clqs
5.67/5.78 c (round 23, exhaustive) 1698 del vars, 1144 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 413 chg coeffs, 15433 upgd conss, 0 impls, 97592 clqs
5.67/5.79 c (round 24, fast) 1698 del vars, 1174 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 494 chg coeffs, 15433 upgd conss, 0 impls, 97608 clqs
6.17/6.20 c (6.2s) probing: 1000/15079 (6.6%) - 168 fixings, 0 aggregations, 1068288 implications, 0 bound changes
6.57/6.61 c (round 25, exhaustive) 1723 del vars, 1174 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 494 chg coeffs, 15433 upgd conss, 0 impls, 96459 clqs
6.57/6.61 c (round 26, fast) 1723 del vars, 1199 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 569 chg coeffs, 15433 upgd conss, 0 impls, 96480 clqs
6.77/6.83 c (round 27, exhaustive) 1749 del vars, 1199 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 569 chg coeffs, 15433 upgd conss, 0 impls, 97631 clqs
6.77/6.84 c (round 28, fast) 1751 del vars, 1226 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 629 chg coeffs, 15433 upgd conss, 0 impls, 97637 clqs
7.17/7.29 c (round 29, exhaustive) 1782 del vars, 1226 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 631 chg coeffs, 15433 upgd conss, 0 impls, 96773 clqs
7.27/7.30 c (round 30, fast) 1782 del vars, 1257 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 715 chg coeffs, 15433 upgd conss, 0 impls, 96790 clqs
9.16/9.30 c (round 31, exhaustive) 1808 del vars, 1257 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 715 chg coeffs, 15433 upgd conss, 0 impls, 97246 clqs
9.26/9.30 c (round 32, fast) 1808 del vars, 1283 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 788 chg coeffs, 15433 upgd conss, 0 impls, 97262 clqs
10.36/10.43 c (round 33, exhaustive) 1833 del vars, 1283 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 788 chg coeffs, 15433 upgd conss, 0 impls, 97629 clqs
10.36/10.44 c (round 34, fast) 1833 del vars, 1308 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 844 chg coeffs, 15433 upgd conss, 0 impls, 97638 clqs
10.56/10.64 c (round 35, exhaustive) 1858 del vars, 1308 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 845 chg coeffs, 15433 upgd conss, 0 impls, 97615 clqs
10.56/10.65 c (round 36, fast) 1858 del vars, 1333 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 889 chg coeffs, 15433 upgd conss, 0 impls, 97621 clqs
10.76/10.85 c (round 37, exhaustive) 1883 del vars, 1333 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 889 chg coeffs, 15433 upgd conss, 0 impls, 97457 clqs
10.76/10.85 c (round 38, fast) 1883 del vars, 1358 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 914 chg coeffs, 15433 upgd conss, 0 impls, 97457 clqs
10.97/11.05 c (round 39, exhaustive) 1908 del vars, 1358 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 914 chg coeffs, 15433 upgd conss, 0 impls, 97245 clqs
10.97/11.06 c (round 40, fast) 1908 del vars, 1383 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 937 chg coeffs, 15433 upgd conss, 0 impls, 97245 clqs
11.16/11.26 c (round 41, exhaustive) 1933 del vars, 1383 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 937 chg coeffs, 15433 upgd conss, 0 impls, 97002 clqs
11.16/11.26 c (round 42, fast) 1933 del vars, 1408 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 960 chg coeffs, 15433 upgd conss, 0 impls, 97002 clqs
11.46/11.57 c (round 43, exhaustive) 1958 del vars, 1408 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 960 chg coeffs, 15433 upgd conss, 0 impls, 97398 clqs
11.46/11.58 c (round 44, fast) 1958 del vars, 1433 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 987 chg coeffs, 15433 upgd conss, 0 impls, 97399 clqs
11.66/11.77 c (round 45, exhaustive) 1983 del vars, 1433 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 987 chg coeffs, 15433 upgd conss, 0 impls, 97238 clqs
11.66/11.78 c (round 46, fast) 1983 del vars, 1458 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1012 chg coeffs, 15433 upgd conss, 0 impls, 97238 clqs
12.97/13.07 c (13.1s) probing: 2000/15079 (13.3%) - 439 fixings, 1 aggregations, 2387056 implications, 0 bound changes
17.34/17.44 c (17.4s) probing: 3000/15079 (19.9%) - 445 fixings, 1 aggregations, 3583664 implications, 0 bound changes
21.04/21.14 c (21.1s) probing: 4000/15079 (26.5%) - 447 fixings, 1 aggregations, 4613098 implications, 0 bound changes
24.42/24.57 c (24.6s) probing: 5000/15079 (33.2%) - 457 fixings, 1 aggregations, 5521363 implications, 0 bound changes
26.51/26.69 c (round 47, exhaustive) 2008 del vars, 1458 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1012 chg coeffs, 15433 upgd conss, 0 impls, 97698 clqs
26.61/26.70 c (round 48, fast) 2008 del vars, 1483 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1056 chg coeffs, 15433 upgd conss, 0 impls, 97704 clqs
26.81/26.90 c (round 49, exhaustive) 2033 del vars, 1483 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1056 chg coeffs, 15433 upgd conss, 0 impls, 97705 clqs
26.81/26.91 c (round 50, fast) 2033 del vars, 1508 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1087 chg coeffs, 15433 upgd conss, 0 impls, 97706 clqs
28.11/28.20 c (28.2s) probing: 6000/15079 (39.8%) - 502 fixings, 1 aggregations, 6378860 implications, 0 bound changes
31.50/31.65 c (31.6s) probing: 7000/15079 (46.4%) - 506 fixings, 1 aggregations, 7300514 implications, 0 bound changes
35.00/35.13 c (35.1s) probing: 8000/15079 (53.1%) - 507 fixings, 1 aggregations, 8234091 implications, 0 bound changes
38.38/38.55 c (38.5s) probing: 9000/15079 (59.7%) - 512 fixings, 1 aggregations, 9140441 implications, 0 bound changes
39.08/39.22 c (round 51, exhaustive) 2058 del vars, 1508 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1087 chg coeffs, 15433 upgd conss, 0 impls, 97711 clqs
39.08/39.23 c (round 52, fast) 2058 del vars, 1533 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1126 chg coeffs, 15433 upgd conss, 0 impls, 97713 clqs
41.98/42.17 c (42.2s) probing: 10000/15079 (66.3%) - 518 fixings, 1 aggregations, 10052280 implications, 0 bound changes
42.77/42.90 c (42.9s) probing: 10208/15079 (67.7%) - 518 fixings, 1 aggregations, 10246304 implications, 0 bound changes
42.77/42.90 c (42.9s) probing aborted: 1000/1000 successive useless probings
42.77/42.93 c (42.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
42.77/43.01 c (43.0s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.03)
42.88/43.01 c dynamic symmetry handling statistics:
42.88/43.01 c orbitopal reduction: no components
42.88/43.01 c orbital reduction: no components
42.88/43.01 c lexicographic reduction: 3 permutations with support sizes 1232, 516, 246
42.88/43.01 c handled 4 out of 4 symmetry components
42.88/43.03 c presolving (53 rounds: 53 fast, 25 medium, 24 exhaustive):
42.88/43.03 c 2066 deleted vars, 1538 deleted constraints, 1 added constraints, 303 tightened bounds, 0 added holes, 0 changed sides, 1132 changed coefficients
42.88/43.03 c 0 implications, 97808 cliques
42.88/43.03 c presolved problem has 14551 variables (14551 bin, 0 int, 0 impl, 0 cont) and 14800 constraints
42.88/43.03 c 1822 constraints of type <setppc>
42.88/43.03 c 1 constraints of type <orbitope>
42.88/43.03 c 12977 constraints of type <logicor>
42.88/43.03 c transformed objective value is always integral (scale: 1)
42.88/43.03 c Presolving Time: 42.92
42.88/43.03 c - non default parameters ----------------------------------------------------------------------
42.88/43.03 c # SCIP version 10.0.0
42.88/43.03 c
42.88/43.03 c # maximal time in seconds to run
42.88/43.03 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
42.88/43.03 c limits/time = 3596.99701
42.88/43.03 c
42.88/43.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
42.88/43.03 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
42.88/43.03 c limits/memory = 27900
42.88/43.03 c
42.88/43.03 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
42.88/43.03 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
42.88/43.03 c limits/solutions = 1
42.88/43.03 c
42.88/43.03 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.
42.88/43.03 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
42.88/43.03 c misc/usesymmetry = 3
42.88/43.03 c
42.88/43.03 c # belongs reading time to solving time?
42.88/43.03 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
42.88/43.03 c timing/reading = TRUE
42.88/43.03 c
42.88/43.03 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
42.88/43.03 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
42.88/43.03 c propagating/symmetry/detectdoublelex = FALSE
42.88/43.03 c
42.88/43.03 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
42.88/43.03 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
42.88/43.03 c propagating/symmetry/detectsubgroups = FALSE
42.88/43.03 c
42.88/43.03 c # Type of symmetries that shall be computed?
42.88/43.03 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
42.88/43.03 c propagating/symmetry/symtype = 1
42.88/43.03 c
42.88/43.03 c # Should components consisting of a single full reflection be handled?
42.88/43.03 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
42.88/43.03 c propagating/symmetry/usesimplesgncomp = FALSE
42.88/43.03 c
42.88/43.03 c -----------------------------------------------------------------------------------------------
42.88/43.03 c start solving
42.88/43.03 c
57.62/57.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
57.62/57.89 c 57.9s| 1 | 0 | 16355 | - | 198M | 0 | 14k| 14k| 14k| 0 | 0 | 151 | 0 | 0.000000e+00 | -- | Inf | unknown
223.08/223.79 c 224s| 1 | 0 |104243 | - | 219M | 0 | 14k| 14k| 14k| 5 | 1 | 152 | 0 | 0.000000e+00 | -- | Inf | unknown
243.03/243.77 c 244s| 1 | 0 |115770 | - | 225M | 0 | 14k| 14k| 14k| 20 | 2 | 157 | 0 | 0.000000e+00 | -- | Inf | unknown
265.87/266.60 c 267s| 1 | 0 |127897 | - | 233M | 0 | 14k| 14k| 14k| 35 | 3 | 159 | 0 | 0.000000e+00 | -- | Inf | unknown
289.23/290.05 c 290s| 1 | 0 |139720 | - | 236M | 0 | 14k| 14k| 14k| 51 | 4 | 163 | 0 | 0.000000e+00 | -- | Inf | unknown
316.15/317.02 c 317s| 1 | 0 |152821 | - | 238M | 0 | 14k| 14k| 14k| 67 | 5 | 164 | 0 | 0.000000e+00 | -- | Inf | unknown
343.96/344.98 c 345s| 1 | 0 |166141 | - | 241M | 0 | 14k| 14k| 14k| 76 | 6 | 170 | 0 | 0.000000e+00 | -- | Inf | unknown
372.48/373.55 c 374s| 1 | 0 |179430 | - | 242M | 0 | 14k| 14k| 14k| 91 | 7 | 180 | 0 | 0.000000e+00 | -- | Inf | unknown
401.62/402.73 c 403s| 1 | 0 |192882 | - | 248M | 0 | 14k| 14k| 14k| 106 | 8 | 187 | 0 | 0.000000e+00 | -- | Inf | unknown
430.85/432.06 c 432s| 1 | 0 |206091 | - | 250M | 0 | 14k| 14k| 14k| 124 | 9 | 188 | 0 | 0.000000e+00 | -- | Inf | unknown
458.46/459.78 c 460s| 1 | 0 |218297 | - | 255M | 0 | 14k| 14k| 14k| 129 | 10 | 190 | 0 | 0.000000e+00 | -- | Inf | unknown
489.08/490.47 c 490s| 1 | 0 |231996 | - | 261M | 0 | 14k| 14k| 14k| 147 | 11 | 200 | 0 | 0.000000e+00 | -- | Inf | unknown
746.04/748.07 c 748s| 1 | 2 |326399 | - | 263M | 0 | 14k| 15k| 14k| 147 | 11 | 216 | 22 | 0.000000e+00 | -- | Inf | unknown
1334.99/1338.96 c 1339s| 100 | 17 |791133 |5647.8 | 271M | 40 | 14k| 15k| 14k| 187 | 0 | 266 | 22 | 0.000000e+00 | -- | Inf | unknown
2440.07/2446.74 c 2447s| 200 | 27 | 1573k|6743.2 | 298M | 40 | 14k| 15k| 14k| 223 | 0 | 431 | 22 | 0.000000e+00 | -- | Inf | unknown
3131.28/3139.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3131.28/3139.62 c 3140s| 300 | 35 | 2293k|6895.4 | 326M | 40 | 14k| 15k| 14k| 263 | 1 | 506 | 22 | 0.000000e+00 | -- | Inf | unknown
3587.87/3597.21 c
3587.87/3597.21 c SCIP Status : solving was interrupted [time limit reached]
3587.87/3597.21 c Solving Time (sec) : 3597.21
3587.87/3597.21 c Solving Nodes : 321
3587.87/3597.21 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.87/3597.21 c Dual Bound : +0.00000000000000e+00
3587.87/3597.21 c Gap : infinite
3587.87/3597.21 s UNKNOWN
3587.87/3597.21 c SCIP Status : solving was interrupted [time limit reached]
3587.87/3597.21 c Total Time : 3597.21
3587.87/3597.21 c solving : 3597.21
3587.87/3597.21 c presolving : 42.92 (included in solving)
3587.87/3597.21 c reading : 0.06 (included in solving)
3587.87/3597.21 c copying : 0.19 (5 #copies) (minimal 0.03, maximal 0.04, average 0.04)
3587.87/3597.21 c Original Problem :
3587.87/3597.21 c Problem name : HOME/instance-4446645-1721334298.opb
3587.87/3597.21 c Variables : 16065 (16065 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.87/3597.21 c Constraints : 16337 initial, 16337 maximal
3587.87/3597.21 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.87/3597.21 c Presolved Problem :
3587.87/3597.21 c Problem name : t_HOME/instance-4446645-1721334298.opb
3587.87/3597.21 c Variables : 14551 (14551 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.87/3597.21 c Constraints : 14800 initial, 15183 maximal
3587.87/3597.21 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.87/3597.21 c Nonzeros : 80836 constraint, 209902 clique table
3587.87/3597.21 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.87/3597.21 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.21 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.21 c domcol : 0.86 0.00 21 0 0 0 0 0 0 0 0 0
3587.87/3597.21 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.21 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.21 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.21 c dualsparsify : 0.03 0.00 1 0 0 0 0 0 5 0 0 6
3587.87/3597.21 c gateextraction : 0.20 0.00 22 0 0 0 0 0 1 0 0 0
3587.87/3597.21 c implics : 0.00 0.00 25 0 0 0 0 0 0 0 0 0
3587.87/3597.21 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.21 c milp : 0.21 0.00 1 136 0 0 0 0 0 0 0 0
3587.87/3597.21 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.21 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.21 c sparsify : 0.44 0.00 4 0 0 0 0 0 0 0 0 0
3587.87/3597.21 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.21 c trivial : 0.02 0.00 53 552 0 0 0 0 0 0 0 0
3587.87/3597.21 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.21 c dualfix : 0.01 0.00 53 0 0 0 0 0 0 0 0 0
3587.87/3597.21 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.21 c probing : 37.73 0.00 21 518 1 0 0 0 0 0 0 0
3587.87/3597.21 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.21 c symmetry : 0.08 0.00 1 3 0 0 0 0 0 1 0 0
3587.87/3597.21 c vbounds : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3587.87/3597.21 c setppc : 0.13 0.00 87 0 0 0 0 0 108 0 0 0
3587.87/3597.21 c linear : 0.13 0.01 12 303 0 0 303 0 904 0 0 0
3587.87/3597.21 c orbitope : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.21 c logicor : 2.99 0.00 87 109 0 0 0 0 520 0 0 1126
3587.87/3597.21 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.87/3597.22 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.87/3597.22 c root node : - - - 0 - - 0 - - - - -
3587.87/3597.22 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.87/3597.22 c benderslp : 0 0 0 0 178 0 0 20 0 0 0 0 0 0 0
3587.87/3597.22 c integral : 0 0 0 0 178 0 0 20 0 0 0 0 0 0 356
3587.87/3597.22 c setppc : 1822+ 1960 11 316592 0 0 0 16 145231 336 40866 0 0 0 0
3587.87/3597.22 c linear : 0+ 2 0 7506 0 0 0 3 0 2 0 0 0 0 0
3587.87/3597.22 c orbitope : 1 1 0 10799 0 0 0 0 187 0 70 0 0 0 0
3587.87/3597.22 c logicor : 12977+ 13222 11 158892 0 0 0 0 470636 185 72635 8 5 0 0
3587.87/3597.22 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.22 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.22 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.22 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.22 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.87/3597.22 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.87/3597.22 c integral : 44.34 0.00 0.00 0.00 44.34 0.00 0.00 0.00 0.00 0.00
3587.87/3597.22 c setppc : 3.30 0.00 0.00 3.18 0.00 0.00 0.00 0.00 0.04 0.06
3587.87/3597.22 c linear : 0.02 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.87/3597.22 c orbitope : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3587.87/3597.22 c logicor : 12.98 0.00 0.03 12.73 0.00 0.00 0.00 0.00 0.19 0.03
3587.87/3597.22 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.87/3597.22 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.87/3597.22 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.87/3597.22 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.87/3597.22 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.87/3597.22 c dualfix : 1 0 0 0
3587.87/3597.22 c genvbounds : 0 0 0 0
3587.87/3597.22 c nlobbt : 0 0 0 0
3587.87/3597.22 c obbt : 0 0 0 0
3587.87/3597.22 c probing : 0 0 0 0
3587.87/3597.22 c pseudoobj : 0 0 0 0
3587.87/3597.22 c redcost : 0 0 0 0
3587.87/3597.22 c rootredcost : 0 0 0 0
3587.87/3597.22 c symmetry : 3098 0 0 4
3587.87/3597.22 c vbounds : 7135 0 0 0
3587.87/3597.22 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.87/3597.22 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
3587.87/3597.22 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3587.87/3597.22 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.87/3597.22 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.87/3597.22 c probing : 37.73 0.00 37.73 0.00 0.00 0.00
3587.87/3597.22 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3587.87/3597.22 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.87/3597.22 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.87/3597.22 c symmetry : 0.11 0.00 0.08 0.02 0.00 0.00
3587.87/3597.22 c vbounds : 0.19 0.00 0.03 0.17 0.00 0.00
3587.87/3597.22 c Symmetry :
3587.87/3597.22 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.87/3597.22 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.87/3597.22 c lexicographic red: 4 reductions applied, 0 cutoffs
3587.87/3597.22 c shadow tree time : 0.00 s
3587.87/3597.22 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.87/3597.22 c propagation : 0.04 510 182 - 580 54.0 6 25.8 - - -
3587.87/3597.22 c infeasible LP : 1.39 126 70 - 1090 1968.7 4 10.0 2 840.0 0
3587.87/3597.22 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.87/3597.22 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.87/3597.22 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.87/3597.22 c applied globally : 0.01 - - 0 512 281.2 - - 2 - -
3587.87/3597.22 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.87/3597.22 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.87/3597.22 c cut pool : 0.00 - 50 21 - - 366 691 - - - - - (maximal pool size: 366)
3587.87/3597.22 c aggregation : 0.06 0.00 16 11 0 0 0 0 0 0 0 0 0
3587.87/3597.22 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.87/3597.22 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.87/3597.22 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.87/3597.22 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.22 c clique : 1.51 0.00 11 11 0 0 85 252 0 64 64 0 0
3587.87/3597.22 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.22 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.22 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.22 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.22 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.22 c gomory : 16.63 0.00 15 10 0 0 100 100 50 8 7 1 0
3587.87/3597.22 c > gomorymi : - - - - - - - 48 25 5 4 1 -
3587.87/3597.22 c > strongcg : - - - - - - - 52 25 3 3 0 -
3587.87/3597.22 c impliedbounds : 0.08 0.00 16 11 0 0 120 217 0 52 52 0 0
3587.87/3597.22 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.22 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.22 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.22 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.87/3597.22 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.22 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.22 c multilinear : 0.00 0.00 18 11 0 0 0 0 0 0 0 0 0
3587.87/3597.22 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.22 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.87/3597.22 c rlt : 0.00 0.00 13 10 0 0 0 0 0 0 0 0 0
3587.87/3597.22 c zerohalf : 14.41 0.00 16 11 0 0 130 122 19 134 117 17 0
3587.87/3597.22 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.87/3597.22 c hybrid : 0.00 0.00 34 11 263 0 505 147 0 125
3587.87/3597.22 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.22 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.22 c Pricers : ExecTime SetupTime Calls Vars
3587.87/3597.22 c problem variables: 0.00 - 0 0
3587.87/3597.22 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.87/3597.22 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.22 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.22 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.22 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.22 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.22 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.22 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.22 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.22 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.22 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.22 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.22 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.22 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.22 c relpscost : 44.34 0.00 178 0 0 0 0 0 0 356
3587.87/3597.22 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.87/3597.22 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.87/3597.22 c LP solutions : 0.00 - - 0 0
3587.87/3597.22 c relax solutions : 0.00 - - 0 0
3587.87/3597.22 c pseudo solutions : 0.00 - - 0 0
3587.87/3597.22 c strong branching : 0.00 - - 0 0
3587.87/3597.22 c actconsdiving : 0.00 0.00 0 0 0
3587.87/3597.22 c adaptivediving : 16.38 0.00 1 0 0
3587.87/3597.22 c alns : 254.89 0.00 4 0 0
3587.87/3597.22 c bound : 0.00 0.00 0 0 0
3587.87/3597.22 c clique : 0.07 0.00 1 0 0
3587.87/3597.22 c coefdiving : 0.00 0.00 0 0 0
3587.87/3597.22 c completesol : 0.00 0.00 0 0 0
3587.87/3597.22 c conflictdiving : 212.84 0.00 1 0 0
3587.87/3597.22 c crossover : 0.00 0.00 0 0 0
3587.87/3597.22 c dins : 0.00 0.00 0 0 0
3587.87/3597.22 c distributiondivin: 0.07 0.00 0 0 0
3587.87/3597.22 c dps : 0.00 0.00 0 0 0
3587.87/3597.22 c dualval : 0.00 0.00 0 0 0
3587.87/3597.22 c farkasdiving : 0.00 0.00 0 0 0
3587.87/3597.22 c feasjump : 0.03 0.00 1 0 0
3587.87/3597.22 c feaspump : 147.15 0.00 1 0 0
3587.87/3597.22 c fixandinfer : 0.00 0.00 0 0 0
3587.87/3597.22 c fracdiving : 36.42 0.00 1 0 0
3587.87/3597.22 c gins : 0.00 0.00 0 0 0
3587.87/3597.22 c guideddiving : 0.00 0.00 0 0 0
3587.87/3597.22 c indcoefdiving : 0.00 0.00 0 0 0
3587.87/3597.22 c indicator : 0.00 0.00 0 0 0
3587.87/3597.22 c indicatordiving : 0.00 0.00 0 0 0
3587.87/3597.22 c indoneopt : 0.00 0.00 0 0 0
3587.87/3597.22 c indrounding : 0.00 0.00 0 0 0
3587.87/3597.22 c indtwoopt : 0.00 0.00 0 0 0
3587.87/3597.22 c intdiving : 0.00 0.00 0 0 0
3587.87/3597.22 c intshifting : 0.00 0.00 0 0 0
3587.87/3597.22 c linesearchdiving : 0.00 0.00 0 0 0
3587.87/3597.22 c localbranching : 0.00 0.00 0 0 0
3587.87/3597.22 c locks : 0.06 0.00 1 0 0
3587.87/3597.22 c lpface : 0.01 0.00 0 0 0
3587.87/3597.22 c mpec : 0.00 0.00 0 0 0
3587.87/3597.22 c multistart : 0.00 0.00 0 0 0
3587.87/3597.22 c mutation : 0.00 0.00 0 0 0
3587.87/3597.22 c nlpdiving : 0.00 0.00 0 0 0
3587.87/3597.22 c objpscostdiving : 297.20 0.00 1 0 0
3587.87/3597.22 c octane : 0.00 0.00 0 0 0
3587.87/3597.22 c ofins : 0.00 0.00 0 0 0
3587.87/3597.22 c oneopt : 0.00 0.00 0 0 0
3587.87/3597.22 c padm : 0.00 0.00 0 0 0
3587.87/3597.22 c proximity : 0.00 0.00 0 0 0
3587.87/3597.22 c pscostdiving : 134.08 0.00 1 0 0
3587.87/3597.22 c randrounding : 0.14 0.00 25 0 0
3587.87/3597.22 c rens : 0.43 0.00 1 0 0
3587.87/3597.22 c reoptsols : 0.00 0.00 0 0 0
3587.87/3597.22 c repair : 0.00 0.00 0 0 0
3587.87/3597.22 c rins : 0.00 0.00 0 0 0
3587.87/3597.22 c rootsoldiving : 0.00 0.00 0 0 0
3587.87/3597.22 c rounding : 0.12 0.00 156 0 0
3587.87/3597.22 c scheduler : 0.00 0.00 0 0 0
3587.87/3597.22 c shiftandpropagate: 0.02 0.00 1 0 0
3587.87/3597.22 c shifting : 0.32 0.00 46 0 0
3587.87/3597.22 c simplerounding : 0.00 0.00 0 0 0
3587.87/3597.22 c smallcard : 0.00 0.00 0 0 0
3587.87/3597.22 c subnlp : 0.00 0.00 0 0 0
3587.87/3597.22 c trivial : 0.01 0.00 2 0 0
3587.87/3597.22 c trivialnegation : 0.00 0.00 0 0 0
3587.87/3597.22 c trustregion : 0.00 0.00 0 0 0
3587.87/3597.22 c trysol : 0.00 0.00 0 0 0
3587.87/3597.22 c twoopt : 0.00 0.00 0 0 0
3587.87/3597.22 c undercover : 0.00 0.00 0 0 0
3587.87/3597.22 c vbounds : 0.03 0.00 1 0 0
3587.87/3597.22 c veclendiving : 31.70 0.00 1 0 0
3587.87/3597.22 c zeroobj : 0.00 0.00 0 0 0
3587.87/3597.22 c zirounding : 0.04 0.00 177 0 0
3587.87/3597.22 c other solutions : - - - 0 -
3587.87/3597.22 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.87/3597.22 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.87/3597.22 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.87/3597.22 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.87/3597.22 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.87/3597.22 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.87/3597.22 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.87/3597.22 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.87/3597.22 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.87/3597.22 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.87/3597.22 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.87/3597.22 c primal LP : 0.23 12 0 0.00 0.00 0.23 12
3587.87/3597.22 c dual LP : 2341.96 334 2103306 6451.86 898.10 0.77 8
3587.87/3597.22 c lex dual LP : 0.00 0 0 0.00 -
3587.87/3597.22 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.87/3597.22 c resolve instable : 36.34 16 35727 2232.94 983.05
3587.87/3597.22 c diving/probing LP: 886.83 449 426917 950.82 481.39
3587.87/3597.22 c strong branching : 31.39 22 19747 897.59 629.17 - - 34
3587.87/3597.22 c (at root node) : - 22 19747 897.59 -
3587.87/3597.22 c conflict analysis: 0.00 0 0 0.00 -
3587.87/3597.22 c B&B Tree :
3587.87/3597.22 c number of runs : 1
3587.87/3597.22 c nodes : 321 (178 internal, 143 leaves)
3587.87/3597.22 c feasible leaves : 0
3587.87/3597.22 c infeas. leaves : 143
3587.87/3597.22 c objective leaves : 0
3587.87/3597.22 c nodes (total) : 321 (178 internal, 143 leaves)
3587.87/3597.22 c nodes left : 36
3587.87/3597.22 c max depth : 40
3587.87/3597.22 c max depth (total): 40
3587.87/3597.22 c backtracks : 32 (10.0%)
3587.87/3597.22 c early backtracks : 0 (0.0%)
3587.87/3597.22 c nodes exc. ref. : 0 (0.0%)
3587.87/3597.22 c delayed cutoffs : 0
3587.87/3597.22 c repropagations : 700 (1587 domain reductions, 0 cutoffs)
3587.87/3597.22 c avg switch length: 6.48
3587.87/3597.22 c switching time : 0.63
3587.87/3597.22 c Root Node :
3587.87/3597.22 c First LP value : +0.00000000000000e+00
3587.87/3597.22 c First LP Iters : 16355 (1117.63 Iter/sec)
3587.87/3597.22 c First LP Time : 14.63
3587.87/3597.22 c Final Dual Bound : +0.00000000000000e+00
3587.87/3597.22 c Final Root Iters : 231996
3587.87/3597.22 c Root LP Estimate : +6.38053543712853e-04
3587.87/3597.22 c Solution :
3587.87/3597.22 c Solutions found : 0 (0 improvements)
3587.87/3597.22 c Primal Bound : -
3587.87/3597.22 c Dual Bound : +0.00000000000000e+00
3587.87/3597.22 c Gap : infinite
3587.87/3597.22 c Integrals : Total Avg%
3587.87/3597.22 c primal-dual : 359721.33 100.00
3587.87/3597.22 c primal-ref : - - (not evaluated)
3587.87/3597.22 c dual-ref : - - (not evaluated)
3587.97/3597.31 c Time complete: 3587.99.
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: 64059 MiB (61076 MiB free)
memory of node 1: 64510 MiB (61279 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446645-1721334298/watcher-4446645-1721334298 -o /tmp/evaluation-result-4446645-1721334298/solver-4446645-1721334298 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721327100-963758 --watchdog 3760 pbscip -f HOME/instance-4446645-1721334298.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=968548, runsolver pid=968545
Current StackSize limit: 8192 KiB
[startup+0.100108 s]*
/proc/loadavg: 4.15 4.13 4.15 5/244 968549
/proc/meminfo: memFree=125236344/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=117216 memory=77692 CPUtime=0.1 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 16303 0 0 0 8 2 0 0 20 0 1 0 185586405 120029184 19423 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 29304 19423 3490 3540 0 17561 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 117216 KiB
Current children cumulated memory: 77692 KiB
[startup+0.213475 s]*
/proc/loadavg: 4.15 4.13 4.15 5/244 968549
/proc/meminfo: memFree=125204616/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=144980 memory=103148 CPUtime=0.21 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 24442 0 0 0 18 3 0 0 20 0 1 0 185586405 148459520 25787 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 36245 25787 3617 3540 0 24502 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 144980 KiB
Current children cumulated memory: 103148 KiB
[startup+0.31356 s]*
/proc/loadavg: 4.15 4.13 4.15 5/244 968549
/proc/meminfo: memFree=125202980/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=144980 memory=103148 CPUtime=0.31 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 24443 0 0 0 28 3 0 0 20 0 1 0 185586405 148459520 25787 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 36245 25787 3617 3540 0 24502 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 144980 KiB
Current children cumulated memory: 103148 KiB
[startup+0.700359 s]
/proc/loadavg: 4.15 4.13 4.15 7/244 968549
/proc/meminfo: memFree=125194932/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=157088 memory=114188 CPUtime=0.69 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 29461 0 0 0 65 4 0 0 20 0 1 0 185586405 160858112 28547 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 39272 28547 3681 3540 0 27529 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 157088 KiB
Current children cumulated memory: 114188 KiB
[startup+1.50035 s]
/proc/loadavg: 4.15 4.13 4.15 5/244 968549
/proc/meminfo: memFree=125167656/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=193044 memory=148524 CPUtime=1.49 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 35590 0 0 0 144 5 0 0 20 0 1 0 185586405 197677056 37131 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 48261 37131 3729 3540 0 36518 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 193044 KiB
Current children cumulated memory: 148524 KiB
[startup+3.11318 s]
/proc/loadavg: 4.14 4.13 4.15 5/244 968549
/proc/meminfo: memFree=125152568/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=193440 memory=148788 CPUtime=3.09 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 35686 0 0 0 304 5 0 0 20 0 1 0 185586405 198082560 37197 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 48360 37197 3729 3540 0 36617 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 193440 KiB
Current children cumulated memory: 148788 KiB
[startup+6.30032 s]
/proc/loadavg: 4.14 4.13 4.15 5/244 968550
/proc/meminfo: memFree=125148864/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=198520 memory=153424 CPUtime=6.27 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 36850 0 0 0 622 5 0 0 20 0 1 0 185586405 203284480 38356 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 49630 38356 3729 3540 0 37887 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 198520 KiB
Current children cumulated memory: 153424 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.13 4.15 5/244 968550
/proc/meminfo: memFree=125138588/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=200760 memory=155756 CPUtime=12.65 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 37434 0 0 0 1260 5 0 0 20 0 1 0 185586405 205578240 38939 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 50190 38939 3729 3540 0 38447 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 200760 KiB
Current children cumulated memory: 155756 KiB
[startup+25.5004 s]
/proc/loadavg: 4.16 4.14 4.15 5/244 968936
/proc/meminfo: memFree=125134992/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=201796 memory=156544 CPUtime=25.42 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 37675 0 0 0 2537 5 0 0 20 0 1 0 185586405 206639104 39136 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 50449 39136 3729 3540 0 38706 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 201796 KiB
Current children cumulated memory: 156544 KiB
[startup+51.1131 s]
/proc/loadavg: 4.11 4.12 4.15 5/244 968940
/proc/meminfo: memFree=124950028/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=278924 memory=212824 CPUtime=50.96 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 54840 0 0 0 5088 8 0 0 20 0 1 0 185586405 285618176 53206 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 69731 53206 3937 3540 0 57988 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 278924 KiB
Current children cumulated memory: 212824 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/244 968949
/proc/meminfo: memFree=124927356/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=286524 memory=219656 CPUtime=102 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 55999 0 0 0 10191 9 0 0 20 0 1 0 185586405 293400576 54914 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 71631 54914 3953 3540 0 59888 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 286524 KiB
Current children cumulated memory: 219656 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/244 968959
/proc/meminfo: memFree=124917404/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=288052 memory=220964 CPUtime=161.84 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 56308 0 0 0 16175 9 0 0 20 0 1 0 185586405 294965248 55241 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 72013 55241 3953 3540 0 60270 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 288052 KiB
Current children cumulated memory: 220964 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/246 969139
/proc/meminfo: memFree=124786640/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=341028 memory=272012 CPUtime=221.69 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 61930 0 0 0 22158 11 0 0 20 0 1 0 185586405 349212672 68003 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 85257 68003 3953 3540 0 73514 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 341028 KiB
Current children cumulated memory: 272012 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.15 4.15 5/246 969150
/proc/meminfo: memFree=124675928/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=359028 memory=288584 CPUtime=281.53 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 66087 0 0 0 28141 12 0 0 20 0 1 0 185586405 367644672 72146 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 89757 72146 3953 3540 0 78014 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 359028 KiB
Current children cumulated memory: 288584 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.14 5/246 969217
/proc/meminfo: memFree=124647432/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=366300 memory=294780 CPUtime=341.37 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 67144 0 0 0 34125 12 0 0 20 0 1 0 185586405 375091200 73695 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 91575 73695 3953 3540 0 79832 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 366300 KiB
Current children cumulated memory: 294780 KiB
[startup+402.3 s]
/proc/loadavg: 4.32 4.19 4.16 5/246 969227
/proc/meminfo: memFree=124625964/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=371912 memory=300148 CPUtime=401.22 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 68515 0 0 0 40109 13 0 0 20 0 1 0 185586405 380837888 75037 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 92978 75037 3953 3540 0 81235 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 371912 KiB
Current children cumulated memory: 300148 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.17 4.15 5/246 969238
/proc/meminfo: memFree=124601624/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=384756 memory=310780 CPUtime=461.06 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 71270 0 0 0 46093 13 0 0 20 0 1 0 185586405 393990144 77695 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 96189 77695 3953 3540 0 84446 0
################
# More data... #
################
/proc/loadavg: 4.16 4.13 4.11 5/243 970356
/proc/meminfo: memFree=125371200/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=501592 memory=448092 CPUtime=3213.79 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 105978 0 0 0 321358 21 0 0 20 0 1 0 185586405 513630208 112023 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 125398 112023 4188 3540 0 113655 0
Current children cumulated CPU time: 3213.79 s
Current children cumulated vsize: 501592 KiB
Current children cumulated memory: 448092 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/243 970367
/proc/meminfo: memFree=125370884/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=501592 memory=448092 CPUtime=3273.65 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 106133 0 0 0 327344 21 0 0 20 0 1 0 185586405 513630208 112023 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 125398 112023 4188 3540 0 113655 0
Current children cumulated CPU time: 3273.65 s
Current children cumulated vsize: 501592 KiB
Current children cumulated memory: 448092 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/246 970382
/proc/meminfo: memFree=125370392/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=501592 memory=448092 CPUtime=3333.52 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 106263 0 0 0 333331 21 0 0 20 0 1 0 185586405 513630208 112023 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 125398 112023 4188 3540 0 113655 0
Current children cumulated CPU time: 3333.52 s
Current children cumulated vsize: 501592 KiB
Current children cumulated memory: 448092 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/246 970392
/proc/meminfo: memFree=125370168/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=501592 memory=448092 CPUtime=3393.39 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 106385 0 0 0 339318 21 0 0 20 0 1 0 185586405 513630208 112023 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 125398 112023 4188 3540 0 113655 0
Current children cumulated CPU time: 3393.39 s
Current children cumulated vsize: 501592 KiB
Current children cumulated memory: 448092 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/245 970403
/proc/meminfo: memFree=125369920/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=501592 memory=448092 CPUtime=3453.26 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 106501 0 0 0 345305 21 0 0 20 0 1 0 185586405 513630208 112023 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 125398 112023 4188 3540 0 113655 0
Current children cumulated CPU time: 3453.26 s
Current children cumulated vsize: 501592 KiB
Current children cumulated memory: 448092 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/246 970414
/proc/meminfo: memFree=125369624/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=501592 memory=448092 CPUtime=3513.13 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 106619 0 0 0 351292 21 0 0 20 0 1 0 185586405 513630208 112023 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 125398 112023 4188 3540 0 113655 0
Current children cumulated CPU time: 3513.13 s
Current children cumulated vsize: 501592 KiB
Current children cumulated memory: 448092 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/246 970426
/proc/meminfo: memFree=125369304/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=501592 memory=448092 CPUtime=3573 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 106733 0 0 0 357279 21 0 0 20 0 1 0 185586405 513630208 112023 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 125398 112023 4188 3540 0 113655 0
Current children cumulated CPU time: 3573 s
Current children cumulated vsize: 501592 KiB
Current children cumulated memory: 448092 KiB
[startup+3597.32 s]
# the end of solver process 968548 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.78 s, system=0.217181 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.10 4.09 5/246 970426
/proc/meminfo: memFree=125369332/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=501592 memory=448092 CPUtime=3574.71 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 106734 0 0 0 357450 21 0 0 20 0 1 0 185586405 513630208 112023 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 125398 112023 4188 3540 0 113655 0
Current children cumulated CPU time: 3574.71 s
Current children cumulated vsize: 501592 KiB
Current children cumulated memory: 448092 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/246 970427
/proc/meminfo: memFree=125369304/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=501592 memory=448092 CPUtime=3581.08 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 106810 0 0 0 358087 21 0 0 20 0 1 0 185586405 513630208 112023 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 125398 112023 4188 3540 0 113655 0
Current children cumulated CPU time: 3581.08 s
Current children cumulated vsize: 501592 KiB
Current children cumulated memory: 448092 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.12 4.09 4/239 970458
/proc/meminfo: memFree=125806112/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=501592 memory=448092 CPUtime=3584.28 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 106810 0 0 0 358407 21 0 0 20 0 1 0 185586405 513630208 112023 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 125398 112023 4188 3540 0 113655 0
Current children cumulated CPU time: 3584.28 s
Current children cumulated vsize: 501592 KiB
Current children cumulated memory: 448092 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.12 4.09 4/239 970460
/proc/meminfo: memFree=125806216/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=501592 memory=448092 CPUtime=3585.87 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 106810 0 0 0 358566 21 0 0 20 0 1 0 185586405 513630208 112023 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 125398 112023 4188 3540 0 113655 0
Current children cumulated CPU time: 3585.87 s
Current children cumulated vsize: 501592 KiB
Current children cumulated memory: 448092 KiB
[startup+3596 s]*
/proc/loadavg: 4.14 4.12 4.09 4/239 970460
/proc/meminfo: memFree=125806232/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=501592 memory=448092 CPUtime=3586.68 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 106814 0 0 0 358647 21 0 0 20 0 1 0 185586405 513630208 112023 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 125398 112023 4188 3540 0 113655 0
Current children cumulated CPU time: 3586.68 s
Current children cumulated vsize: 501592 KiB
Current children cumulated memory: 448092 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.12 4.09 4/239 970460
/proc/meminfo: memFree=125806232/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=501592 memory=448092 CPUtime=3587.47 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 106819 0 0 0 358726 21 0 0 20 0 1 0 185586405 513630208 112023 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 125398 112023 4188 3540 0 113655 0
Current children cumulated CPU time: 3587.47 s
Current children cumulated vsize: 501592 KiB
Current children cumulated memory: 448092 KiB
[startup+3597.2 s]
/proc/loadavg: 4.14 4.12 4.09 4/239 970460
/proc/meminfo: memFree=125806232/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=501592 memory=448092 CPUtime=3587.87 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 106819 0 0 0 358766 21 0 0 20 0 1 0 185586405 513630208 112023 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 125398 112023 4188 3540 0 113655 0
Current children cumulated CPU time: 3587.87 s
Current children cumulated vsize: 501592 KiB
Current children cumulated memory: 448092 KiB
[startup+3597.3 s]
/proc/loadavg: 4.14 4.12 4.09 4/239 970460
/proc/meminfo: memFree=125806232/131655788 swapFree=131071996/131071996
[pid=968548] ppid=968545 vsize=463328 memory=409828 CPUtime=3587.97 cores=1,3
/proc/968548/stat : 968548 (pbscip) R 968545 968548 963708 0 -1 4194304 106893 0 0 0 358776 21 0 0 20 0 1 0 185586405 474447872 102457 134679101440 4194304 18693293 140720752271264 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 31105024 140720752280579 140720752280678 140720752280678 140720752287694 0
/proc/968548/statm: 115832 102457 4188 3540 0 104089 0
Current children cumulated CPU time: 3587.97 s
Current children cumulated vsize: 463328 KiB
Current children cumulated memory: 409828 KiB
Child status: 0
Real time (s): 3597.33
CPU time (s): 3587.99
CPU user time (s): 3587.78
CPU system time (s): 0.217181
CPU usage (%): 99.7406
Max. virtual memory (cumulated for all children) (KiB): 510296
Max. memory (cumulated for all children) (KiB): 451896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.78
system time used= 0.217181
maximum resident set size= 451896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106909
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= 42
involuntary context switches= 1632
# summary of solver processes directly reported to runsolver:
# pid: 968548
# total CPU time (s): 3587.99
# total CPU user time (s): 3587.78
# total CPU system time (s): 0.217181
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3615 second user time and 35.0874 second system time
The end
Begin job on nodeC007 at 2024-07-18 22:25:10 IDJOB=4446645 IDBENCH=158288 IDSOLVER=3059 FILE ID=nodeC007/4446645-1721334298 RUNJOBID= nodeC007-1721327100-963758 SLURM_JOB_ID= 7542682 Free space on /tmp= 723716 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K135.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446645-1721334298/watcher-4446645-1721334298 -o /tmp/evaluation-result-4446645-1721334298/solver-4446645-1721334298 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721327100-963758 --watchdog 3760 pbscip -f HOME/instance-4446645-1721334298.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a9d7c7f4b9c33e38d48644f753677e90 RANDOM SEED=1124825658 nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 0xb00001f cpu MHz : 3657.205 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 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 : 0xb00001f cpu MHz : 3491.636 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 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 : 0xb00001f cpu MHz : 1197.335 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 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 : 0xb00001f cpu MHz : 1197.136 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 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 : 0xb00001f cpu MHz : 3493.194 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 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 : 0xb00001f cpu MHz : 3525.382 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 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 : 0xb00001f cpu MHz : 1197.304 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 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 : 0xb00001f cpu MHz : 1197.238 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 125294244 kB MemAvailable: 128102028 kB Buffers: 507956 kB Cached: 3130452 kB SwapCached: 0 kB Active: 1066556 kB Inactive: 4728492 kB Active(anon): 1476 kB Inactive(anon): 2192864 kB Active(file): 1065080 kB Inactive(file): 2535628 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 39688 kB Writeback: 12 kB AnonPages: 2156468 kB Mapped: 139076 kB Shmem: 37704 kB KReclaimable: 94216 kB Slab: 196172 kB SReclaimable: 94216 kB SUnreclaim: 101956 kB KernelStack: 3932 kB PageTables: 14296 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 3445928 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 58272 kB HardwareCorrupted: 0 kB AnonHugePages: 620544 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 279368 kB DirectMap2M: 27936768 kB DirectMap1G: 108003328 kB Free space on /tmp at the end= 723724 MiB End job on nodeC007 at 2024-07-18 23:25:08