| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP-NaPS 1.00a1 | ? (TO) | 3600.21 | 3611.18 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K134.opb |
| MD5SUM | 963edb3c79c326322e0bda3e585d3232 |
| 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 | 15946 |
| Total number of constraints | 16216 |
| Number of constraints which are clauses | 16082 |
| Number of constraints which are cardinality constraints (but not clauses) | 134 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 134 |
| 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 | 135 |
| 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 |
9.94/10.08 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4506737-1751171446.opb 9.94/10.08 c Solving mode: decision 9.94/10.08 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 9.94/10.08 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 9.94/10.08 c original problem has 15946 variables (15946 bin, 0 int, 0 impl, 0 cont) and 16216 constraints 9.94/10.08 c presolving: 9.94/10.08 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, 1835 clqs 9.94/10.08 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, 1819 clqs 9.94/10.08 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, 1840 clqs 9.94/10.08 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, 1873 clqs 9.94/10.08 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, 1894 clqs 9.94/10.08 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, 1904 clqs 9.94/10.08 c (round 7, exhaustive) 1181 del vars, 767 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1917 clqs 9.94/10.08 c (round 8, exhaustive) 1181 del vars, 767 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 15449 upgd conss, 0 impls, 1917 clqs 9.94/10.08 c (round 9, exhaustive) 1296 del vars, 767 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 113 chg coeffs, 15449 upgd conss, 0 impls, 1904 clqs 9.94/10.08 c (round 10, fast) 1411 del vars, 882 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 113 chg coeffs, 15449 upgd conss, 0 impls, 1904 clqs 9.94/10.08 c (round 11, exhaustive) 1437 del vars, 883 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 113 chg coeffs, 15449 upgd conss, 0 impls, 96756 clqs 9.94/10.08 c (round 12, fast) 1438 del vars, 909 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 169 chg coeffs, 15449 upgd conss, 0 impls, 96767 clqs 9.94/10.08 c (round 13, exhaustive) 1464 del vars, 909 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 169 chg coeffs, 15449 upgd conss, 0 impls, 96734 clqs 9.94/10.08 c (round 14, fast) 1465 del vars, 935 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 224 chg coeffs, 15449 upgd conss, 0 impls, 96743 clqs 9.94/10.08 c (round 15, exhaustive) 1492 del vars, 935 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 224 chg coeffs, 15449 upgd conss, 0 impls, 96739 clqs 9.94/10.08 c (round 16, fast) 1494 del vars, 962 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 292 chg coeffs, 15449 upgd conss, 0 impls, 96757 clqs 9.94/10.08 c (round 17, exhaustive) 1520 del vars, 962 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 292 chg coeffs, 15449 upgd conss, 0 impls, 96742 clqs 9.94/10.08 c (round 18, fast) 1521 del vars, 988 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 352 chg coeffs, 15449 upgd conss, 0 impls, 96759 clqs 9.94/10.08 c (round 19, exhaustive) 1547 del vars, 988 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 352 chg coeffs, 15449 upgd conss, 0 impls, 96770 clqs 9.94/10.08 c (round 20, fast) 1548 del vars, 1014 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 416 chg coeffs, 15449 upgd conss, 0 impls, 96777 clqs 9.94/10.08 c (round 21, exhaustive) 1574 del vars, 1014 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 416 chg coeffs, 15449 upgd conss, 0 impls, 96806 clqs 9.94/10.08 c (round 22, fast) 1575 del vars, 1040 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 479 chg coeffs, 15449 upgd conss, 0 impls, 96820 clqs 9.94/10.08 c (4.6s) probing: 1000/15089 (6.6%) - 157 fixings, 0 aggregations, 1070666 implications, 0 bound changes 9.94/10.08 c (round 23, exhaustive) 1605 del vars, 1040 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 479 chg coeffs, 15449 upgd conss, 0 impls, 94576 clqs 9.94/10.08 c (round 24, fast) 1605 del vars, 1070 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 589 chg coeffs, 15449 upgd conss, 0 impls, 94602 clqs 9.94/10.08 c (round 25, exhaustive) 1641 del vars, 1070 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 589 chg coeffs, 15449 upgd conss, 0 impls, 95174 clqs 9.94/10.08 c (round 26, fast) 1641 del vars, 1106 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 663 chg coeffs, 15449 upgd conss, 0 impls, 95179 clqs 9.94/10.08 c (round 27, exhaustive) 1666 del vars, 1106 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 663 chg coeffs, 15449 upgd conss, 0 impls, 96829 clqs 9.94/10.08 c (round 28, fast) 1666 del vars, 1131 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 727 chg coeffs, 15449 upgd conss, 0 impls, 96841 clqs 9.94/10.08 c (round 29, exhaustive) 1692 del vars, 1131 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 727 chg coeffs, 15449 upgd conss, 0 impls, 96855 clqs 9.94/10.08 c (round 30, fast) 1692 del vars, 1157 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 784 chg coeffs, 15449 upgd conss, 0 impls, 96862 clqs 9.94/10.08 c (round 31, exhaustive) 1717 del vars, 1157 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 784 chg coeffs, 15449 upgd conss, 0 impls, 96872 clqs 9.94/10.08 c (round 32, fast) 1717 del vars, 1182 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 819 chg coeffs, 15449 upgd conss, 0 impls, 96878 clqs 9.94/10.08 c (round 33, exhaustive) 1744 del vars, 1182 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 819 chg coeffs, 15449 upgd conss, 0 impls, 96822 clqs 9.94/10.08 c (round 34, fast) 1747 del vars, 1210 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 853 chg coeffs, 15449 upgd conss, 0 impls, 96822 clqs 9.94/10.08 c (round 35, exhaustive) 1772 del vars, 1210 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 855 chg coeffs, 15449 upgd conss, 0 impls, 96648 clqs 9.94/10.08 c (round 36, fast) 1772 del vars, 1235 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 864 chg coeffs, 15449 upgd conss, 0 impls, 96648 clqs 9.94/10.08 c (round 37, exhaustive) 1797 del vars, 1235 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 864 chg coeffs, 15449 upgd conss, 0 impls, 96532 clqs 9.94/10.08 c (round 38, fast) 1797 del vars, 1260 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 872 chg coeffs, 15449 upgd conss, 0 impls, 96532 clqs 9.94/10.08 c (round 39, exhaustive) 1822 del vars, 1260 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 872 chg coeffs, 15449 upgd conss, 0 impls, 96375 clqs 9.94/10.08 c (round 40, fast) 1822 del vars, 1285 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 882 chg coeffs, 15449 upgd conss, 0 impls, 96375 clqs 9.94/10.08 c (round 41, exhaustive) 1850 del vars, 1285 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 882 chg coeffs, 15449 upgd conss, 0 impls, 96246 clqs 9.94/10.08 c (round 42, fast) 1853 del vars, 1313 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 909 chg coeffs, 15449 upgd conss, 0 impls, 96249 clqs 9.94/10.08 c (round 43, exhaustive) 1878 del vars, 1313 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 909 chg coeffs, 15449 upgd conss, 0 impls, 96122 clqs 9.94/10.08 c (round 44, fast) 1878 del vars, 1338 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 921 chg coeffs, 15449 upgd conss, 0 impls, 96122 clqs 9.94/10.08 c (round 45, exhaustive) 1903 del vars, 1338 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 921 chg coeffs, 15449 upgd conss, 0 impls, 95975 clqs 9.94/10.08 c (round 46, fast) 1903 del vars, 1363 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 932 chg coeffs, 15449 upgd conss, 0 impls, 95975 clqs 9.94/10.08 c (round 47, exhaustive) 1928 del vars, 1363 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 932 chg coeffs, 15449 upgd conss, 0 impls, 95857 clqs 9.94/10.08 c (round 48, fast) 1928 del vars, 1388 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 944 chg coeffs, 15449 upgd conss, 0 impls, 95857 clqs 9.94/10.08 c (round 49, exhaustive) 1953 del vars, 1388 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 944 chg coeffs, 15449 upgd conss, 0 impls, 95933 clqs 9.94/10.08 c (round 50, fast) 1953 del vars, 1413 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 964 chg coeffs, 15449 upgd conss, 0 impls, 95933 clqs 500.39/501.98 c (round 51, exhaustive) 1978 del vars, 1413 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 964 chg coeffs, 15449 upgd conss, 0 impls, 95790 clqs 500.39/501.98 c (round 52, fast) 1978 del vars, 1438 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 986 chg coeffs, 15449 upgd conss, 0 impls, 95790 clqs 500.39/501.98 c (10.5s) probing: 2000/15089 (13.3%) - 551 fixings, 1 aggregations, 2235142 implications, 0 bound changes 500.39/501.98 c (13.6s) probing: 3000/15089 (19.9%) - 562 fixings, 1 aggregations, 3431346 implications, 0 bound changes 500.39/501.98 c (round 53, exhaustive) 2003 del vars, 1438 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 986 chg coeffs, 15449 upgd conss, 0 impls, 96996 clqs 500.39/501.98 c (round 54, fast) 2003 del vars, 1463 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1014 chg coeffs, 15449 upgd conss, 0 impls, 96996 clqs 500.39/501.98 c (round 55, exhaustive) 2028 del vars, 1463 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1014 chg coeffs, 15449 upgd conss, 0 impls, 96923 clqs 500.39/501.98 c (round 56, fast) 2028 del vars, 1488 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1039 chg coeffs, 15449 upgd conss, 0 impls, 96923 clqs 500.39/501.98 c (16.5s) probing: 4000/15089 (26.5%) - 609 fixings, 1 aggregations, 4440447 implications, 0 bound changes 500.39/501.98 c (19.0s) probing: 5000/15089 (33.1%) - 614 fixings, 1 aggregations, 5351167 implications, 0 bound changes 500.39/501.98 c (21.1s) probing: 5756/15089 (38.1%) - 614 fixings, 1 aggregations, 6046053 implications, 0 bound changes 500.39/501.98 c (21.1s) probing aborted: 1000/1000 successive useless probings 500.39/501.98 c (round 57, exhaustive) 2051 del vars, 1488 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1039 chg coeffs, 15449 upgd conss, 0 impls, 97060 clqs 500.39/501.98 c (round 58, fast) 2051 del vars, 1511 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1073 chg coeffs, 15449 upgd conss, 0 impls, 97062 clqs 500.39/501.98 c (21.8s) probing: 6000/15089 (39.8%) - 634 fixings, 1 aggregations, 6232390 implications, 0 bound changes 500.39/501.98 c (24.4s) probing: 7000/15089 (46.4%) - 636 fixings, 1 aggregations, 7146258 implications, 0 bound changes 500.39/501.98 c (25.8s) probing: 7544/15089 (50.0%) - 636 fixings, 1 aggregations, 7646679 implications, 0 bound changes 500.39/501.98 c (25.8s) probing aborted: 1000/1000 successive useless probings 500.39/501.98 c (round 59, exhaustive) 2073 del vars, 1511 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1073 chg coeffs, 15449 upgd conss, 0 impls, 97056 clqs 500.39/501.98 c (round 60, fast) 2073 del vars, 1533 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1102 chg coeffs, 15449 upgd conss, 0 impls, 97056 clqs 500.39/501.98 c (27.1s) probing: 8000/15089 (53.0%) - 638 fixings, 1 aggregations, 8057277 implications, 0 bound changes 500.39/501.98 c (28.4s) probing: 8546/15089 (56.6%) - 638 fixings, 1 aggregations, 8554200 implications, 0 bound changes 500.39/501.98 c (28.4s) probing aborted: 1000/1000 successive useless probings 500.39/501.98 c (28.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 500.39/501.98 c (28.5s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.02) 500.39/501.98 c dynamic symmetry handling statistics: 500.39/501.98 c orbitopal reduction: no components 500.39/501.98 c orbital reduction: no components 500.39/501.98 c lexicographic reduction: 3 permutations with support sizes 1222, 512, 244 500.39/501.98 c handled 4 out of 4 symmetry components 500.39/501.98 c presolving (61 rounds: 61 fast, 29 medium, 29 exhaustive): 500.39/501.98 c 2078 deleted vars, 1535 deleted constraints, 1 added constraints, 303 tightened bounds, 0 added holes, 0 changed sides, 1104 changed coefficients 500.39/501.98 c 0 implications, 97114 cliques 500.39/501.98 c presolved problem has 14434 variables (14434 bin, 0 int, 0 impl, 0 cont) and 14682 constraints 500.39/501.98 c 1808 constraints of type <setppc> 500.39/501.98 c 1 constraints of type <orbitope> 500.39/501.98 c 12873 constraints of type <logicor> 500.39/501.98 c transformed objective value is always integral (scale: 1) 500.39/501.98 c Presolving Time: 28.51 500.39/501.98 c 500.39/501.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 500.39/501.98 c 44.6s| 1 | 0 | 15910 | - | 279M | 0 | 14k| 14k| 14k| 0 | 0 | 147 | 0 | 0.000000e+00 | -- | Inf | unknown 500.39/501.98 c 170s| 1 | 0 | 99553 | - | 296M | 0 | 14k| 14k| 14k| 4 | 1 | 148 | 0 | 0.000000e+00 | -- | Inf | unknown 500.39/501.98 c 186s| 1 | 0 |109960 | - | 306M | 0 | 14k| 14k| 14k| 10 | 2 | 150 | 0 | 0.000000e+00 | -- | Inf | unknown 500.39/501.98 c 207s| 1 | 0 |121348 | - | 310M | 0 | 14k| 14k| 14k| 16 | 3 | 158 | 0 | 0.000000e+00 | -- | Inf | unknown 500.39/501.98 c 231s| 1 | 0 |133754 | - | 313M | 0 | 14k| 14k| 14k| 31 | 4 | 165 | 0 | 0.000000e+00 | -- | Inf | unknown 500.39/501.98 c 255s| 1 | 0 |145969 | - | 317M | 0 | 14k| 14k| 14k| 44 | 5 | 171 | 0 | 0.000000e+00 | -- | Inf | unknown 500.39/501.98 c 281s| 1 | 0 |158646 | - | 320M | 0 | 14k| 14k| 14k| 57 | 6 | 172 | 0 | 0.000000e+00 | -- | Inf | unknown 500.39/501.98 c 318s| 1 | 0 |175503 | - | 321M | 0 | 14k| 14k| 14k| 81 | 7 | 181 | 0 | 0.000000e+00 | -- | Inf | unknown 500.39/501.98 c 345s| 1 | 0 |188418 | - | 323M | 0 | 14k| 14k| 14k| 97 | 8 | 186 | 0 | 0.000000e+00 | -- | Inf | unknown 500.39/501.98 c 374s| 1 | 0 |201363 | - | 330M | 0 | 14k| 14k| 14k| 109 | 9 | 187 | 0 | 0.000000e+00 | -- | Inf | unknown 500.39/501.98 c 404s| 1 | 0 |214665 | - | 333M | 0 | 14k| 14k| 14k| 124 | 10 | 190 | 0 | 0.000000e+00 | -- | Inf | unknown 500.39/501.98 c 435s| 1 | 0 |228706 | - | 336M | 0 | 14k| 14k| 14k| 140 | 11 | 200 | 0 | 0.000000e+00 | -- | Inf | unknown 500.39/501.98 c 502s| 1 | 2 |252926 | - | 337M | 0 | 14k| 14k| 14k| 140 | 11 | 201 | 0 | 0.000000e+00 | -- | Inf | unknown 500.39/501.98 c 500.39/501.98 c SCIP Status : solving was interrupted [time limit reached] 500.39/501.98 c Solving Time (sec) : 501.74 500.39/501.98 c Solving Nodes : 1 500.39/501.98 c Primal Bound : +1.00000000000000e+20 (0 solutions) 500.39/501.98 c Dual Bound : +0.00000000000000e+00 500.39/501.98 c Gap : infinite 500.39/501.98 c ---------------------------------------------------------------------- 500.39/501.98 c dual bound: 0.0 -> 0 500.39/501.98 c primal bound: 1e+20 -> 100000000000000000000 500.39/501.98 c scip-goal-lb: 0 500.39/501.98 c scip-goal-ub: 100000000000000000000 500.39/501.98 c writing output to: HOME/tmpo6liq00q.opb 500.39/501.98 c appending fixed variable constraints 500.39/501.98 c scip-fixed vars: 10.47% (1511/14434) 500.39/501.98 c ---------------------------------------------------------------------- 500.39/501.98 c executing external solver: HOME/naps-1.03a6 500.39/501.98 c ---------------------------------------------------------------------- 500.39/501.98 c command: HOME/naps-1.03a6 HOME/tmpo6liq00q.opb 500.39/501.98 c NaPS 1.03a6. 500.39/501.98 c Input file name: HOME/tmpo6liq00q.opb 3600.02/3611.00 c 3600.02/3611.00 c *** TERMINATED *** by signal 15 3600.02/3611.00 c _____________________________________________________________________________ 3600.02/3611.00 c std/band forms : 134,0 3600.02/3611.00 c 2cl/3cl ITE-codings : 0,0 3600.02/3611.00 c BDD/srt/adr Max costs : 0,2726,0 3600.02/3611.00 c BDDraw/bin/mul/srt/adr: 0,0,0,134,0 3600.02/3611.00 c BDD nodes : 0 3600.02/3611.00 c Es1/CC detections : 0,0 3600.02/3611.00 c CC sort : 134 3600.02/3611.00 c SAT/UNSAT calls : 0,0 3600.02/3611.00 c regenrated variables : 0 3600.02/3611.00 c eliminated fixed lits : 1679 3600.02/3611.00 c goal lit flips : 0 3600.02/3611.00 c goal stages : 0 3600.02/3611.00 c goal shrink : 0 3600.02/3611.00 c goal coeff separations: 0 3600.02/3611.00 c restarts : 0 3600.02/3611.00 c conflicts : 0 (0 /sec) 3600.02/3611.00 c decisions : 0 (0 /sec) 3600.02/3611.00 c propagations : 0 (0 /sec) 3600.02/3611.00 c inspects : 0 (0 /sec) 3600.02/3611.00 c CPU time (solving tm) : 3099 s (3099 s, SAT 0 s, UNSAT 0 s) 3600.02/3611.00 c Time for Opt-base : 0.002565 s 3600.02/3611.00 c Steps for Opt-base : 0 3600.02/3611.00 c Time for BDD coding : 0 s 3600.02/3611.00 c Time for srt coding : 0.0449 s 3600.02/3611.00 c _____________________________________________________________________________ 3600.02/3611.00 s UNKNOWN 3600.15/3611.13 c received SIGTERM, forwarding to pbsolver... 3600.15/3611.13 c failed to send SIGTERM to pbsolver: [Errno 3] No such process
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (54810 MiB free)
memory of node 1: 64465 MiB (52348 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506737-1751171446/watcher-4506737-1751171446 -o /tmp/evaluation-result-4506737-1751171446/solver-4506737-1751171446 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751170906-18689 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4506737-1751171446.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18836, runsolver pid=18833
[startup+0.100063 s]*
/proc/loadavg: 4.16 3.90 3.79 5/272 18841
/proc/meminfo: memFree=109716984/131249996 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18836/stat : 18836 (scip-naps-1.00.) S 18833 18836 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 32822487 4292608 768 18446744073709551615 94814924263424 94814925157957 140723361995568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94814925397008 94814925444752 94814957965312 140723362003361 140723362003458 140723362003458 140723362009060 0
/proc/18836/statm: 1048 768 704 219 0 110 0
[pid=18841] ppid=18836 vsize=1187844 memory=32596 CPUtime=0.06 cores=5,7
/proc/18841/stat : 18841 (python3) R 18836 18836 18676 0 -1 4194304 3877 0 0 0 5 1 0 0 20 0 1 0 32822489 1216352256 8149 18446744073709551615 94630247059456 94630247059833 140733504392176 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94630247071128 94630247071748 94630267916288 140733504395608 140733504395810 140733504395810 140733504401383 0
/proc/18841/statm: 296961 8149 4917 1 0 268983 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1192036 KiB
Current children cumulated memory: 35668 KiB
[startup+0.205678 s]*
/proc/loadavg: 4.16 3.90 3.79 5/272 18841
/proc/meminfo: memFree=109668600/131249996 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18836/stat : 18836 (scip-naps-1.00.) S 18833 18836 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 32822487 4292608 768 18446744073709551615 94814924263424 94814925157957 140723361995568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94814925397008 94814925444752 94814957965312 140723362003361 140723362003458 140723362003458 140723362009060 0
/proc/18836/statm: 1048 768 704 219 0 110 0
[pid=18841] ppid=18836 vsize=1239548 memory=92116 CPUtime=0.17 cores=5,7
/proc/18841/stat : 18841 (python3) R 18836 18836 18676 0 -1 4194304 16149 0 0 0 14 3 0 0 20 0 1 0 32822489 1269297152 23029 18446744073709551615 94630247059456 94630247059833 140733504392176 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94630247071128 94630247071748 94630267916288 140733504395608 140733504395810 140733504395810 140733504401383 0
/proc/18841/statm: 309887 23029 7765 1 0 281245 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1243740 KiB
Current children cumulated memory: 95188 KiB
[startup+0.305741 s]*
/proc/loadavg: 4.16 3.90 3.79 5/272 18841
/proc/meminfo: memFree=109632248/131249996 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18836/stat : 18836 (scip-naps-1.00.) S 18833 18836 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 32822487 4292608 768 18446744073709551615 94814924263424 94814925157957 140723361995568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94814925397008 94814925444752 94814957965312 140723362003361 140723362003458 140723362003458 140723362009060 0
/proc/18836/statm: 1048 768 704 219 0 110 0
[pid=18841] ppid=18836 vsize=1267300 memory=116820 CPUtime=0.27 cores=5,7
/proc/18841/stat : 18841 (python3) R 18836 18836 18676 0 -1 4194304 22308 0 0 0 24 3 0 0 20 0 1 0 32822489 1297715200 29205 18446744073709551615 94630247059456 94630247059833 140733504392176 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94630247071128 94630247071748 94630267916288 140733504395608 140733504395810 140733504395810 140733504401383 0
/proc/18841/statm: 316825 29205 7829 1 0 288183 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1271492 KiB
Current children cumulated memory: 119892 KiB
[startup+0.700215 s]
/proc/loadavg: 4.16 3.90 3.79 5/272 18841
/proc/meminfo: memFree=109603960/131249996 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18836/stat : 18836 (scip-naps-1.00.) S 18833 18836 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 32822487 4292608 768 18446744073709551615 94814924263424 94814925157957 140723361995568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94814925397008 94814925444752 94814957965312 140723362003361 140723362003458 140723362003458 140723362009060 0
/proc/18836/statm: 1048 768 704 219 0 110 0
[pid=18841] ppid=18836 vsize=1298404 memory=145876 CPUtime=0.66 cores=5,7
/proc/18841/stat : 18841 (python3) R 18836 18836 18676 0 -1 4194304 29608 0 0 0 62 4 0 0 20 0 1 0 32822489 1329565696 36469 18446744073709551615 94630247059456 94630247059833 140733504392176 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94630247071128 94630247071748 94630267916288 140733504395608 140733504395810 140733504395810 140733504401383 0
/proc/18841/statm: 324601 36469 7893 1 0 295959 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1302596 KiB
Current children cumulated memory: 148948 KiB
[startup+1.5002 s]
/proc/loadavg: 4.15 3.91 3.79 5/272 18841
/proc/meminfo: memFree=109560300/131249996 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18836/stat : 18836 (scip-naps-1.00.) S 18833 18836 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 32822487 4292608 768 18446744073709551615 94814924263424 94814925157957 140723361995568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94814925397008 94814925444752 94814957965312 140723362003361 140723362003458 140723362003458 140723362009060 0
/proc/18836/statm: 1048 768 704 219 0 110 0
[pid=18841] ppid=18836 vsize=1329752 memory=177696 CPUtime=1.45 cores=5,7
/proc/18841/stat : 18841 (python3) R 18836 18836 18676 0 -1 4194304 36537 0 0 0 140 5 0 0 20 0 1 0 32822489 1361666048 44424 18446744073709551615 94630247059456 94630247059833 140733504392176 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94630247071128 94630247071748 94630267916288 140733504395608 140733504395810 140733504395810 140733504401383 0
/proc/18841/statm: 332438 44424 7893 1 0 303796 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1333944 KiB
Current children cumulated memory: 180768 KiB
[startup+3.10551 s]
/proc/loadavg: 4.15 3.91 3.79 5/272 18841
/proc/meminfo: memFree=109503864/131249996 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18836/stat : 18836 (scip-naps-1.00.) S 18833 18836 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 32822487 4292608 768 18446744073709551615 94814924263424 94814925157957 140723361995568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94814925397008 94814925444752 94814957965312 140723362003361 140723362003458 140723362003458 140723362009060 0
/proc/18836/statm: 1048 768 704 219 0 110 0
[pid=18841] ppid=18836 vsize=1329928 memory=177952 CPUtime=3.06 cores=5,7
/proc/18841/stat : 18841 (python3) R 18836 18836 18676 0 -1 4194304 36595 0 0 0 300 6 0 0 20 0 1 0 32822489 1361846272 44488 18446744073709551615 94630247059456 94630247059833 140733504392176 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94630247071128 94630247071748 94630267916288 140733504395608 140733504395810 140733504395810 140733504401383 0
/proc/18841/statm: 332482 44488 7893 1 0 303840 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1334120 KiB
Current children cumulated memory: 181024 KiB
[startup+6.3002 s]
/proc/loadavg: 4.13 3.91 3.79 5/272 18841
/proc/meminfo: memFree=109445680/131249996 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18836/stat : 18836 (scip-naps-1.00.) S 18833 18836 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 32822487 4292608 768 18446744073709551615 94814924263424 94814925157957 140723361995568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94814925397008 94814925444752 94814957965312 140723362003361 140723362003458 140723362003458 140723362009060 0
/proc/18836/statm: 1048 768 704 219 0 110 0
[pid=18841] ppid=18836 vsize=1337016 memory=184480 CPUtime=6.24 cores=5,7
/proc/18841/stat : 18841 (python3) R 18836 18836 18676 0 -1 4194304 38244 0 0 0 618 6 0 0 20 0 1 0 32822489 1369104384 46120 18446744073709551615 94630247059456 94630247059833 140733504392176 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94630247071128 94630247071748 94630267916288 140733504395608 140733504395810 140733504395810 140733504401383 0
/proc/18841/statm: 334254 46120 7925 1 0 305612 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1341208 KiB
Current children cumulated memory: 187552 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 3.91 3.80 5/272 18842
/proc/meminfo: memFree=109294368/131249996 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18836/stat : 18836 (scip-naps-1.00.) S 18833 18836 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 32822487 4292608 768 18446744073709551615 94814924263424 94814925157957 140723361995568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94814925397008 94814925444752 94814957965312 140723362003361 140723362003458 140723362003458 140723362009060 0
/proc/18836/statm: 1048 768 704 219 0 110 0
[pid=18841] ppid=18836 vsize=1337884 memory=185504 CPUtime=12.62 cores=5,7
/proc/18841/stat : 18841 (python3) R 18836 18836 18676 0 -1 4194304 38487 0 0 0 1256 6 0 0 20 0 1 0 32822489 1369993216 46376 18446744073709551615 94630247059456 94630247059833 140733504392176 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94630247071128 94630247071748 94630267916288 140733504395608 140733504395810 140733504395810 140733504401383 0
/proc/18841/statm: 334471 46376 7925 1 0 305829 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1342076 KiB
Current children cumulated memory: 188576 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 3.91 3.80 5/271 18842
/proc/meminfo: memFree=108985008/131249996 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18836/stat : 18836 (scip-naps-1.00.) S 18833 18836 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 32822487 4292608 768 18446744073709551615 94814924263424 94814925157957 140723361995568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94814925397008 94814925444752 94814957965312 140723362003361 140723362003458 140723362003458 140723362009060 0
/proc/18836/statm: 1048 768 704 219 0 110 0
[pid=18841] ppid=18836 vsize=1338944 memory=186528 CPUtime=25.39 cores=5,7
/proc/18841/stat : 18841 (python3) R 18836 18836 18676 0 -1 4194304 38745 0 0 0 2533 6 0 0 20 0 1 0 32822489 1371078656 46632 18446744073709551615 94630247059456 94630247059833 140733504392176 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94630247071128 94630247071748 94630267916288 140733504395608 140733504395810 140733504395810 140733504401383 0
/proc/18841/statm: 334736 46632 7925 1 0 306094 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1343136 KiB
Current children cumulated memory: 189600 KiB
[startup+51.1057 s]
/proc/loadavg: 4.12 3.94 3.81 5/270 18842
/proc/meminfo: memFree=108476392/131249996 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18836/stat : 18836 (scip-naps-1.00.) S 18833 18836 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 32822487 4292608 768 18446744073709551615 94814924263424 94814925157957 140723361995568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94814925397008 94814925444752 94814957965312 140723362003361 140723362003458 140723362003458 140723362009060 0
/proc/18836/statm: 1048 768 704 219 0 110 0
[pid=18841] ppid=18836 vsize=1503216 memory=302548 CPUtime=50.9 cores=5,7
/proc/18841/stat : 18841 (python3) R 18836 18836 18676 0 -1 4194304 69283 0 2 0 5080 10 0 0 20 0 1 0 32822489 1539293184 75637 18446744073709551615 94630247059456 94630247059833 140733504392176 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94630247071128 94630247071748 94630267916288 140733504395608 140733504395810 140733504395810 140733504401383 0
/proc/18841/statm: 375804 75637 8117 1 0 347162 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1507408 KiB
Current children cumulated memory: 305620 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 3.97 3.83 5/271 18847
/proc/meminfo: memFree=108434168/131249996 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18836/stat : 18836 (scip-naps-1.00.) S 18833 18836 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 32822487 4292608 768 18446744073709551615 94814924263424 94814925157957 140723361995568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94814925397008 94814925444752 94814957965312 140723362003361 140723362003458 140723362003458 140723362009060 0
/proc/18836/statm: 1048 768 704 219 0 110 0
[pid=18841] ppid=18836 vsize=1504008 memory=303444 CPUtime=101.95 cores=5,7
/proc/18841/stat : 18841 (python3) R 18836 18836 18676 0 -1 4194304 69501 0 3 0 10185 10 0 0 20 0 1 0 32822489 1540104192 75861 18446744073709551615 94630247059456 94630247059833 140733504392176 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94630247071128 94630247071748 94630267916288 140733504395608 140733504395810 140733504395810 140733504401383 0
/proc/18841/statm: 376002 75861 8117 1 0 347360 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1508200 KiB
Current children cumulated memory: 306516 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.01 3.85 5/272 18854
/proc/meminfo: memFree=108363812/131249996 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18836/stat : 18836 (scip-naps-1.00.) S 18833 18836 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 32822487 4292608 768 18446744073709551615 94814924263424 94814925157957 140723361995568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94814925397008 94814925444752 94814957965312 140723362003361 140723362003458 140723362003458 140723362009060 0
/proc/18836/statm: 1048 768 704 219 0 110 0
[pid=18841] ppid=18836 vsize=1552372 memory=350088 CPUtime=161.77 cores=5,7
/proc/18841/stat : 18841 (python3) R 18836 18836 18676 0 -1 4194304 74037 0 3 0 16165 12 0 0 20 0 1 0 32822489 1589628928 87522 18446744073709551615 94630247059456 94630247059833 140733504392176 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94630247071128 94630247071748 94630267916288 140733504395608 140733504395810 140733504395810 140733504401383 0
/proc/18841/statm: 388093 87522 8117 1 0 359451 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1556564 KiB
Current children cumulated memory: 353160 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.02 3.87 5/271 18856
/proc/meminfo: memFree=108342156/131249996 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18836/stat : 18836 (scip-naps-1.00.) S 18833 18836 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 32822487 4292608 768 18446744073709551615 94814924263424 94814925157957 140723361995568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94814925397008 94814925444752 94814957965312 140723362003361 140723362003458 140723362003458 140723362009060 0
/proc/18836/statm: 1048 768 704 219 0 110 0
[pid=18841] ppid=18836 vsize=1577748 memory=372376 CPUtime=221.6 cores=5,7
/proc/18841/stat : 18841 (python3) R 18836 18836 18676 0 -1 4194304 79570 0 3 0 22147 13 0 0 20 0 1 0 32822489 1615613952 93094 18446744073709551615 94630247059456 94630247059833 140733504392176 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94630247071128 94630247071748 94630267916288 140733504395608 140733504395810 140733504395810 140733504401383 0
/proc/18841/statm: 394437 93094 8117 1 0 365795 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 1581940 KiB
################
# More data... #
################
/proc/18836/stat : 18836 (scip-naps-1.00.) S 18833 18836 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 32822487 4292608 768 18446744073709551615 94814924263424 94814925157957 140723361995568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94814925397008 94814925444752 94814957965312 140723362003361 140723362003458 140723362003458 140723362009060 0
/proc/18836/statm: 1048 768 704 219 0 110 0
[pid=18841] ppid=18836 vsize=1612964 memory=403608 CPUtime=500.48 cores=5,7
/proc/18841/stat : 18841 (python3) S 18836 18836 18676 0 -1 4194304 87582 0 3 0 50033 15 0 0 20 0 1 0 32822489 1651675136 100902 18446744073709551615 94630247059456 94630247059833 140733504392176 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94630247071128 94630247071748 94630267916288 140733504395608 140733504395810 140733504395810 140733504401383 0
/proc/18841/statm: 403241 100902 8149 1 0 374599 0
[pid=18868] ppid=18841 vsize=138448 memory=117712 CPUtime=2712.02 cores=5,7
/proc/18868/stat : 18868 (naps-1.03a6) R 18841 18868 18868 0 -1 4194304 68773 0 0 0 271168 34 0 0 20 0 1 0 32872686 141770752 29428 18446744073709551615 4198400 7047149 140734758117456 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21504000 140734758123921 140734758124019 140734758124019 140734758129609 0
/proc/18868/statm: 34612 29428 544 696 0 33773 0
Current children cumulated CPU time: 3212.5 s
Current children cumulated vsize: 1755604 KiB
Current children cumulated memory: 524392 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/272 19214
/proc/meminfo: memFree=128274936/131249996 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18836/stat : 18836 (scip-naps-1.00.) S 18833 18836 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 32822487 4292608 768 18446744073709551615 94814924263424 94814925157957 140723361995568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94814925397008 94814925444752 94814957965312 140723362003361 140723362003458 140723362003458 140723362009060 0
/proc/18836/statm: 1048 768 704 219 0 110 0
[pid=18841] ppid=18836 vsize=1612964 memory=403608 CPUtime=500.48 cores=5,7
/proc/18841/stat : 18841 (python3) S 18836 18836 18676 0 -1 4194304 87582 0 3 0 50033 15 0 0 20 0 1 0 32822489 1651675136 100902 18446744073709551615 94630247059456 94630247059833 140733504392176 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94630247071128 94630247071748 94630267916288 140733504395608 140733504395810 140733504395810 140733504401383 0
/proc/18841/statm: 403241 100902 8149 1 0 374599 0
[pid=18868] ppid=18841 vsize=138448 memory=125176 CPUtime=2771.79 cores=5,7
/proc/18868/stat : 18868 (naps-1.03a6) R 18841 18868 18868 0 -1 4194304 71291 0 0 0 277144 35 0 0 20 0 1 0 32872686 141770752 31294 18446744073709551615 4198400 7047149 140734758117456 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21504000 140734758123921 140734758124019 140734758124019 140734758129609 0
/proc/18868/statm: 34612 31294 544 696 0 33773 0
Current children cumulated CPU time: 3272.27 s
Current children cumulated vsize: 1755604 KiB
Current children cumulated memory: 531856 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/272 19216
/proc/meminfo: memFree=128222336/131249996 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18836/stat : 18836 (scip-naps-1.00.) S 18833 18836 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 32822487 4292608 768 18446744073709551615 94814924263424 94814925157957 140723361995568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94814925397008 94814925444752 94814957965312 140723362003361 140723362003458 140723362003458 140723362009060 0
/proc/18836/statm: 1048 768 704 219 0 110 0
[pid=18841] ppid=18836 vsize=1612964 memory=405272 CPUtime=500.48 cores=5,7
/proc/18841/stat : 18841 (python3) S 18836 18836 18676 0 -1 4194304 87582 0 3 0 50033 15 0 0 20 0 1 0 32822489 1651675136 101318 18446744073709551615 94630247059456 94630247059833 140733504392176 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94630247071128 94630247071748 94630267916288 140733504395608 140733504395810 140733504395810 140733504401383 0
/proc/18841/statm: 403241 101318 8149 1 0 374599 0
[pid=18868] ppid=18841 vsize=138448 memory=117716 CPUtime=2831.59 cores=5,7
/proc/18868/stat : 18868 (naps-1.03a6) R 18841 18868 18868 0 -1 4194304 74190 0 0 0 283122 37 0 0 20 0 1 0 32872686 141770752 29429 18446744073709551615 4198400 7047149 140734758117456 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21504000 140734758123921 140734758124019 140734758124019 140734758129609 0
/proc/18868/statm: 34612 29429 544 696 0 33773 0
Current children cumulated CPU time: 3332.07 s
Current children cumulated vsize: 1755604 KiB
Current children cumulated memory: 526060 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/271 19218
/proc/meminfo: memFree=128211904/131249996 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18836/stat : 18836 (scip-naps-1.00.) S 18833 18836 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 32822487 4292608 768 18446744073709551615 94814924263424 94814925157957 140723361995568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94814925397008 94814925444752 94814957965312 140723362003361 140723362003458 140723362003458 140723362009060 0
/proc/18836/statm: 1048 768 704 219 0 110 0
[pid=18841] ppid=18836 vsize=1612964 memory=405912 CPUtime=500.48 cores=5,7
/proc/18841/stat : 18841 (python3) S 18836 18836 18676 0 -1 4194304 87582 0 3 0 50033 15 0 0 20 0 1 0 32822489 1651675136 101478 18446744073709551615 94630247059456 94630247059833 140733504392176 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94630247071128 94630247071748 94630267916288 140733504395608 140733504395810 140733504395810 140733504401383 0
/proc/18841/statm: 403241 101478 8149 1 0 374599 0
[pid=18868] ppid=18841 vsize=138448 memory=126500 CPUtime=2891.41 cores=5,7
/proc/18868/stat : 18868 (naps-1.03a6) R 18841 18868 18868 0 -1 4194304 78195 0 0 0 289102 39 0 0 20 0 1 0 32872686 141770752 31625 18446744073709551615 4198400 7047149 140734758117456 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21504000 140734758123921 140734758124019 140734758124019 140734758129609 0
/proc/18868/statm: 34612 31625 544 696 0 33773 0
Current children cumulated CPU time: 3391.89 s
Current children cumulated vsize: 1755604 KiB
Current children cumulated memory: 535484 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/270 19220
/proc/meminfo: memFree=128106344/131249996 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18836/stat : 18836 (scip-naps-1.00.) S 18833 18836 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 32822487 4292608 768 18446744073709551615 94814924263424 94814925157957 140723361995568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94814925397008 94814925444752 94814957965312 140723362003361 140723362003458 140723362003458 140723362009060 0
/proc/18836/statm: 1048 768 704 219 0 110 0
[pid=18841] ppid=18836 vsize=1612964 memory=405912 CPUtime=500.48 cores=5,7
/proc/18841/stat : 18841 (python3) S 18836 18836 18676 0 -1 4194304 87582 0 3 0 50033 15 0 0 20 0 1 0 32822489 1651675136 101478 18446744073709551615 94630247059456 94630247059833 140733504392176 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94630247071128 94630247071748 94630267916288 140733504395608 140733504395810 140733504395810 140733504401383 0
/proc/18841/statm: 403241 101478 8149 1 0 374599 0
[pid=18868] ppid=18841 vsize=130256 memory=119000 CPUtime=2951.24 cores=5,7
/proc/18868/stat : 18868 (naps-1.03a6) R 18841 18868 18868 0 -1 4194304 80982 0 0 0 295084 40 0 0 20 0 1 0 32872686 133382144 29750 18446744073709551615 4198400 7047149 140734758117456 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21504000 140734758123921 140734758124019 140734758124019 140734758129609 0
/proc/18868/statm: 32564 29750 544 696 0 31725 0
Current children cumulated CPU time: 3451.72 s
Current children cumulated vsize: 1747412 KiB
Current children cumulated memory: 527984 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/270 19222
/proc/meminfo: memFree=128093900/131249996 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18836/stat : 18836 (scip-naps-1.00.) S 18833 18836 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 32822487 4292608 768 18446744073709551615 94814924263424 94814925157957 140723361995568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94814925397008 94814925444752 94814957965312 140723362003361 140723362003458 140723362003458 140723362009060 0
/proc/18836/statm: 1048 768 704 219 0 110 0
[pid=18841] ppid=18836 vsize=1612964 memory=405912 CPUtime=500.48 cores=5,7
/proc/18841/stat : 18841 (python3) S 18836 18836 18676 0 -1 4194304 87582 0 3 0 50033 15 0 0 20 0 1 0 32822489 1651675136 101478 18446744073709551615 94630247059456 94630247059833 140733504392176 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94630247071128 94630247071748 94630267916288 140733504395608 140733504395810 140733504395810 140733504401383 0
/proc/18841/statm: 403241 101478 8149 1 0 374599 0
[pid=18868] ppid=18841 vsize=122060 memory=109120 CPUtime=3011.08 cores=5,7
/proc/18868/stat : 18868 (naps-1.03a6) R 18841 18868 18868 0 -1 4194304 87343 0 0 0 301065 43 0 0 20 0 1 0 32872686 124989440 27280 18446744073709551615 4198400 7047149 140734758117456 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21504000 140734758123921 140734758124019 140734758124019 140734758129609 0
/proc/18868/statm: 30515 27280 544 696 0 29676 0
Current children cumulated CPU time: 3511.56 s
Current children cumulated vsize: 1739216 KiB
Current children cumulated memory: 518104 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/271 19227
/proc/meminfo: memFree=127677652/131249996 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18836/stat : 18836 (scip-naps-1.00.) S 18833 18836 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 32822487 4292608 768 18446744073709551615 94814924263424 94814925157957 140723361995568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94814925397008 94814925444752 94814957965312 140723362003361 140723362003458 140723362003458 140723362009060 0
/proc/18836/statm: 1048 768 704 219 0 110 0
[pid=18841] ppid=18836 vsize=1612964 memory=405912 CPUtime=500.48 cores=5,7
/proc/18841/stat : 18841 (python3) S 18836 18836 18676 0 -1 4194304 87582 0 3 0 50033 15 0 0 20 0 1 0 32822489 1651675136 101478 18446744073709551615 94630247059456 94630247059833 140733504392176 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94630247071128 94630247071748 94630267916288 140733504395608 140733504395810 140733504395810 140733504401383 0
/proc/18841/statm: 403241 101478 8149 1 0 374599 0
[pid=18868] ppid=18841 vsize=138448 memory=121432 CPUtime=3070.91 cores=5,7
/proc/18868/stat : 18868 (naps-1.03a6) R 18841 18868 18868 0 -1 4194304 88407 0 0 0 307047 44 0 0 20 0 1 0 32872686 141770752 30358 18446744073709551615 4198400 7047149 140734758117456 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21504000 140734758123921 140734758124019 140734758124019 140734758129609 0
/proc/18868/statm: 34612 30358 544 696 0 33773 0
Current children cumulated CPU time: 3571.39 s
Current children cumulated vsize: 1755604 KiB
Current children cumulated memory: 530416 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.15 4.12 4.09 5/271 19228
/proc/meminfo: memFree=127767152/131249996 swapFree=33010684/33010684
[pid=18836] ppid=18833 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/18836/stat : 18836 (scip-naps-1.00.) S 18833 18836 18676 0 -1 4194304 257 334 0 0 0 0 0 0 20 0 1 0 32822487 4292608 768 18446744073709551615 94814924263424 94814925157957 140723361995568 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94814925397008 94814925444752 94814957965312 140723362003361 140723362003458 140723362003458 140723362009060 0
/proc/18836/statm: 1048 768 704 219 0 110 0
[pid=18841] ppid=18836 vsize=1612964 memory=405912 CPUtime=500.48 cores=5,7
/proc/18841/stat : 18841 (python3) S 18836 18836 18676 0 -1 4194304 87582 0 3 0 50033 15 0 0 20 0 1 0 32822489 1651675136 101478 18446744073709551615 94630247059456 94630247059833 140733504392176 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94630247071128 94630247071748 94630267916288 140733504395608 140733504395810 140733504395810 140733504401383 0
/proc/18841/statm: 403241 101478 8149 1 0 374599 0
[pid=18868] ppid=18841 vsize=154832 memory=130140 CPUtime=3099.54 cores=5,7
/proc/18868/stat : 18868 (naps-1.03a6) R 18841 18868 18868 0 -1 4194304 89589 0 0 0 309909 45 0 0 20 0 1 0 32872686 158547968 32535 18446744073709551615 4198400 7047149 140734758117456 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 21504000 140734758123921 140734758124019 140734758124019 140734758129609 0
/proc/18868/statm: 38708 32535 544 696 0 37869 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1771988 KiB
Current children cumulated memory: 539124 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.03 s]
# the end of solver process 18836 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.00159 s, system=0.00431 s
Sleeping 2 seconds
[startup+3611.18 s]
# the end of solver process 18841 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.57 s, system=0.64016 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.13 s]*
/proc/loadavg: 4.15 4.12 4.09 5/269 19228
/proc/meminfo: memFree=127909108/131249996 swapFree=33010684/33010684
[pid=18841] ppid=18833 vsize=1575412 memory=369684 CPUtime=3600.14 cores=5,7
/proc/18841/stat : 18841 (python3) R 18833 18836 18676 0 -1 4194304 130979 89590 3 0 50044 16 309909 45 20 0 1 0 32822489 1613221888 92421 18446744073709551615 94630247059456 94630247059833 140733504392176 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94630247071128 94630247071748 94630267916288 140733504395608 140733504395810 140733504395810 140733504401383 0
/proc/18841/statm: 393853 92421 8149 1 0 365211 0
Current cumulated CPU time of completed processes: 0.0059 s
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 1575412 KiB
Current children cumulated memory: 369684 KiB
Child status: 0
Real time (s): 3611.18
CPU time (s): 3600.21
CPU user time (s): 3599.57
CPU system time (s): 0.64016
CPU usage (%): 99.6963
Max. virtual memory (cumulated for all children) (KiB): 1788756
Max. memory (cumulated for all children) (KiB): 555488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.57
system time used= 0.64016
maximum resident set size= 405912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 226866
page faults= 3
swaps= 0
block input operations= 96
block output operations= 2176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 373
involuntary context switches= 19521
# summary of solver processes directly reported to runsolver:
# pid: 18836,18841
# total CPU time (s): 3600.21
# total CPU user time (s): 3599.57
# total CPU system time (s): 0.64016
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.27886 second user time and 17.0529 second system time
The end
Begin job on nodeC023 at 2025-06-29 06:30:46 IDJOB=4506737 IDBENCH=158262 IDSOLVER=3368 FILE ID=nodeC023/4506737-1751171446 RUNJOBID= nodeC023-1751170906-18689 SLURM_JOB_ID= 9587532 Free space on /tmp= 432380 MiB SOLVER NAME= SCIP-NaPS 1.00a1 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K134.opb COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506737-1751171446/watcher-4506737-1751171446 -o /tmp/evaluation-result-4506737-1751171446/solver-4506737-1751171446 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751170906-18689 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4506737-1751171446.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 963edb3c79c326322e0bda3e585d3232 RANDOM SEED=542593211 nodeC023 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.915 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.78 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.868 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.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.722 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.78 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.670 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.78 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.821 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.78 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 : 3600.243 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.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.982 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.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.913 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.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 109730988 kB MemAvailable: 110144184 kB Buffers: 3280 kB Cached: 1223268 kB SwapCached: 0 kB Active: 19918780 kB Inactive: 953376 kB Active(anon): 19663672 kB Inactive(anon): 0 kB Active(file): 255108 kB Inactive(file): 953376 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 271244 kB Writeback: 0 kB AnonPages: 19646676 kB Mapped: 131820 kB Shmem: 18064 kB KReclaimable: 87900 kB Slab: 173832 kB SReclaimable: 87900 kB SUnreclaim: 85932 kB KernelStack: 4384 kB PageTables: 42512 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 24137356 kB VmallocTotal: 34359738367 kB VmallocUsed: 150632 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 4018176 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: 197332 kB DirectMap2M: 9011200 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433032 MiB End job on nodeC023 at 2025-06-29 07:30:58