| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP-NaPS 1.00a2 | ? (TO) | 3600.26 | 3611.18 |
| Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K133.opb |
| MD5SUM | 9ec822d6c0cd68d217a6cdee070ca11c |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 15827 |
| Total number of constraints | 16095 |
| Number of constraints which are clauses | 15962 |
| Number of constraints which are cardinality constraints (but not clauses) | 133 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 133 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 134 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
12.61/12.71 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529838-1752258567.opb 12.61/12.71 c Solving mode: decision 12.61/12.71 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 12.61/12.71 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 12.61/12.71 c original problem has 15827 variables (15827 bin, 0 int, 0 impl, 0 cont) and 16095 constraints 12.61/12.71 c presolving: 12.61/12.71 c (round 1, fast) 250 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1821 clqs 12.61/12.71 c (round 2, fast) 682 del vars, 262 del conss, 0 add conss, 121 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1805 clqs 12.61/12.71 c (round 3, fast) 900 del vars, 412 del conss, 0 add conss, 206 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1826 clqs 12.61/12.71 c (round 4, fast) 1055 del vars, 536 del conss, 0 add conss, 262 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1859 clqs 12.61/12.71 c (round 5, fast) 1130 del vars, 591 del conss, 0 add conss, 286 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1880 clqs 12.61/12.71 c (round 6, fast) 1171 del vars, 625 del conss, 0 add conss, 300 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1890 clqs 12.61/12.71 c (round 7, exhaustive) 1181 del vars, 766 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1903 clqs 12.61/12.71 c (round 8, exhaustive) 1181 del vars, 766 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 15329 upgd conss, 0 impls, 1903 clqs 12.61/12.71 c (round 9, exhaustive) 1296 del vars, 766 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 113 chg coeffs, 15329 upgd conss, 0 impls, 1890 clqs 12.61/12.71 c (round 10, fast) 1411 del vars, 881 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 113 chg coeffs, 15329 upgd conss, 0 impls, 1890 clqs 12.61/12.71 c (round 11, exhaustive) 1436 del vars, 882 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 113 chg coeffs, 15329 upgd conss, 0 impls, 96004 clqs 12.61/12.71 c (round 12, fast) 1436 del vars, 907 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 167 chg coeffs, 15329 upgd conss, 0 impls, 96019 clqs 12.61/12.71 c (round 13, exhaustive) 1462 del vars, 907 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 167 chg coeffs, 15329 upgd conss, 0 impls, 95977 clqs 12.61/12.71 c (round 14, fast) 1463 del vars, 933 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 222 chg coeffs, 15329 upgd conss, 0 impls, 95988 clqs 12.61/12.71 c (round 15, exhaustive) 1490 del vars, 933 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 222 chg coeffs, 15329 upgd conss, 0 impls, 95992 clqs 12.61/12.71 c (round 16, fast) 1492 del vars, 960 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 292 chg coeffs, 15329 upgd conss, 0 impls, 96007 clqs 12.61/12.71 c (round 17, exhaustive) 1519 del vars, 960 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 292 chg coeffs, 15329 upgd conss, 0 impls, 96005 clqs 12.61/12.71 c (round 18, fast) 1521 del vars, 987 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 355 chg coeffs, 15329 upgd conss, 0 impls, 96019 clqs 12.61/12.71 c (round 19, exhaustive) 1546 del vars, 987 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 355 chg coeffs, 15329 upgd conss, 0 impls, 96030 clqs 12.61/12.71 c (round 20, fast) 1546 del vars, 1012 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 416 chg coeffs, 15329 upgd conss, 0 impls, 96046 clqs 12.61/12.71 c (round 21, exhaustive) 1571 del vars, 1012 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 416 chg coeffs, 15329 upgd conss, 0 impls, 96041 clqs 12.61/12.71 c (round 22, fast) 1571 del vars, 1037 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 480 chg coeffs, 15329 upgd conss, 0 impls, 96054 clqs 12.61/12.71 c (round 23, exhaustive) 1598 del vars, 1037 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 480 chg coeffs, 15329 upgd conss, 0 impls, 96100 clqs 12.61/12.71 c (round 24, fast) 1598 del vars, 1064 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 543 chg coeffs, 15329 upgd conss, 0 impls, 96108 clqs 12.61/12.71 c (6.2s) probing: 1000/14970 (6.7%) - 192 fixings, 0 aggregations, 1050619 implications, 0 bound changes 12.61/12.71 c (round 25, exhaustive) 1624 del vars, 1064 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 543 chg coeffs, 15329 upgd conss, 0 impls, 95164 clqs 12.61/12.71 c (round 26, fast) 1624 del vars, 1090 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 615 chg coeffs, 15329 upgd conss, 0 impls, 95178 clqs 12.61/12.71 c (round 27, exhaustive) 1649 del vars, 1090 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 615 chg coeffs, 15329 upgd conss, 0 impls, 94787 clqs 12.61/12.71 c (round 28, fast) 1649 del vars, 1115 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 704 chg coeffs, 15329 upgd conss, 0 impls, 94809 clqs 12.61/12.71 c (round 29, exhaustive) 1674 del vars, 1115 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 704 chg coeffs, 15329 upgd conss, 0 impls, 96125 clqs 12.61/12.71 c (round 30, fast) 1674 del vars, 1140 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 765 chg coeffs, 15329 upgd conss, 0 impls, 96138 clqs 12.61/12.71 c (round 31, exhaustive) 1699 del vars, 1140 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 766 chg coeffs, 15329 upgd conss, 0 impls, 96105 clqs 12.61/12.71 c (round 32, fast) 1699 del vars, 1165 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 815 chg coeffs, 15329 upgd conss, 0 impls, 96116 clqs 12.61/12.71 c (round 33, exhaustive) 1724 del vars, 1165 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 815 chg coeffs, 15329 upgd conss, 0 impls, 96119 clqs 12.61/12.71 c (round 34, fast) 1724 del vars, 1190 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 864 chg coeffs, 15329 upgd conss, 0 impls, 96122 clqs 12.61/12.71 c (round 35, exhaustive) 1751 del vars, 1190 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 864 chg coeffs, 15329 upgd conss, 0 impls, 96077 clqs 12.61/12.71 c (round 36, fast) 1754 del vars, 1218 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 895 chg coeffs, 15329 upgd conss, 0 impls, 96075 clqs 12.61/12.71 c (round 37, exhaustive) 1779 del vars, 1218 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 898 chg coeffs, 15329 upgd conss, 0 impls, 95907 clqs 12.61/12.71 c (round 38, fast) 1779 del vars, 1243 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 914 chg coeffs, 15329 upgd conss, 0 impls, 95907 clqs 12.61/12.71 c (round 39, exhaustive) 1804 del vars, 1243 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 914 chg coeffs, 15329 upgd conss, 0 impls, 95778 clqs 12.61/12.71 c (round 40, fast) 1804 del vars, 1268 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 925 chg coeffs, 15329 upgd conss, 0 impls, 95778 clqs 12.61/12.71 c (round 41, exhaustive) 1829 del vars, 1268 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 925 chg coeffs, 15329 upgd conss, 0 impls, 95613 clqs 12.61/12.71 c (round 42, fast) 1829 del vars, 1293 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 936 chg coeffs, 15329 upgd conss, 0 impls, 95613 clqs 12.61/12.71 c (round 43, exhaustive) 1854 del vars, 1293 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 936 chg coeffs, 15329 upgd conss, 0 impls, 95479 clqs 12.61/12.71 c (round 44, fast) 1854 del vars, 1318 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 954 chg coeffs, 15329 upgd conss, 0 impls, 95481 clqs 12.61/12.71 c (round 45, exhaustive) 1879 del vars, 1318 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 954 chg coeffs, 15329 upgd conss, 0 impls, 95359 clqs 12.61/12.71 c (round 46, fast) 1879 del vars, 1343 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 962 chg coeffs, 15329 upgd conss, 0 impls, 95359 clqs 12.61/12.71 c (round 47, exhaustive) 1904 del vars, 1343 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 962 chg coeffs, 15329 upgd conss, 0 impls, 95178 clqs 12.61/12.71 c (round 48, fast) 1904 del vars, 1368 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 971 chg coeffs, 15329 upgd conss, 0 impls, 95178 clqs 12.61/12.71 c (round 49, exhaustive) 1929 del vars, 1368 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 971 chg coeffs, 15329 upgd conss, 0 impls, 95026 clqs 12.61/12.71 c (round 50, fast) 1929 del vars, 1393 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 984 chg coeffs, 15329 upgd conss, 0 impls, 95026 clqs 498.57/500.27 c (round 51, exhaustive) 1955 del vars, 1393 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 984 chg coeffs, 15329 upgd conss, 0 impls, 94895 clqs 498.57/500.27 c (round 52, fast) 1956 del vars, 1419 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1004 chg coeffs, 15329 upgd conss, 0 impls, 94896 clqs 498.57/500.27 c (round 53, exhaustive) 1981 del vars, 1419 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1004 chg coeffs, 15329 upgd conss, 0 impls, 94789 clqs 498.57/500.27 c (round 54, fast) 1981 del vars, 1444 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1022 chg coeffs, 15329 upgd conss, 0 impls, 94789 clqs 498.57/500.27 c (13.6s) probing: 2000/14970 (13.4%) - 564 fixings, 1 aggregations, 2225285 implications, 0 bound changes 498.57/500.27 c (18.0s) probing: 3000/14970 (20.0%) - 573 fixings, 1 aggregations, 3406019 implications, 0 bound changes 498.57/500.27 c (round 55, exhaustive) 2006 del vars, 1444 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1022 chg coeffs, 15329 upgd conss, 0 impls, 96281 clqs 498.57/500.27 c (round 56, fast) 2006 del vars, 1469 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1048 chg coeffs, 15329 upgd conss, 0 impls, 96281 clqs 498.57/500.27 c (round 57, exhaustive) 2031 del vars, 1469 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1048 chg coeffs, 15329 upgd conss, 0 impls, 96191 clqs 498.57/500.27 c (round 58, fast) 2031 del vars, 1494 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1073 chg coeffs, 15329 upgd conss, 0 impls, 96191 clqs 498.57/500.27 c (22.3s) probing: 4000/14970 (26.7%) - 610 fixings, 1 aggregations, 4420740 implications, 0 bound changes 498.57/500.27 c (25.8s) probing: 5000/14970 (33.4%) - 615 fixings, 1 aggregations, 5337967 implications, 0 bound changes 498.57/500.27 c (29.4s) probing: 6000/14970 (40.1%) - 621 fixings, 1 aggregations, 6270727 implications, 0 bound changes 498.57/500.27 c (32.8s) probing: 7000/14970 (46.8%) - 624 fixings, 1 aggregations, 7182349 implications, 0 bound changes 498.57/500.27 c (round 59, exhaustive) 2056 del vars, 1494 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1073 chg coeffs, 15329 upgd conss, 0 impls, 96314 clqs 498.57/500.27 c (round 60, fast) 2056 del vars, 1519 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1108 chg coeffs, 15329 upgd conss, 0 impls, 96317 clqs 498.57/500.27 c (36.4s) probing: 8000/14970 (53.4%) - 640 fixings, 1 aggregations, 8057781 implications, 0 bound changes 498.57/500.27 c (39.9s) probing: 9000/14970 (60.1%) - 642 fixings, 1 aggregations, 8964857 implications, 0 bound changes 498.57/500.27 c (43.4s) probing: 9968/14970 (66.6%) - 642 fixings, 1 aggregations, 9867137 implications, 0 bound changes 498.57/500.27 c (43.4s) probing aborted: 1000/1000 successive useless probings 498.57/500.27 c (round 61, exhaustive) 2071 del vars, 1519 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1108 chg coeffs, 15329 upgd conss, 0 impls, 96351 clqs 498.57/500.27 c (round 62, fast) 2071 del vars, 1534 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1129 chg coeffs, 15329 upgd conss, 0 impls, 96351 clqs 498.57/500.27 c (43.7s) probing: 10000/14970 (66.8%) - 642 fixings, 1 aggregations, 9895339 implications, 0 bound changes 498.57/500.27 c (43.9s) probing: 10068/14970 (67.3%) - 642 fixings, 1 aggregations, 9957123 implications, 0 bound changes 498.57/500.27 c (43.9s) probing aborted: 1000/1000 successive useless probings 498.57/500.27 c (44.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 498.57/500.27 c (44.0s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.02) 498.57/500.27 c dynamic symmetry handling statistics: 498.57/500.27 c orbitopal reduction: no components 498.57/500.27 c orbital reduction: no components 498.57/500.27 c lexicographic reduction: 3 permutations with support sizes 1212, 508, 242 498.57/500.27 c handled 4 out of 4 symmetry components 498.57/500.27 c presolving (63 rounds: 63 fast, 30 medium, 30 exhaustive): 498.57/500.27 c 2074 deleted vars, 1534 deleted constraints, 1 added constraints, 303 tightened bounds, 0 added holes, 0 changed sides, 1129 changed coefficients 498.57/500.27 c 0 implications, 96396 cliques 498.57/500.27 c presolved problem has 14315 variables (14315 bin, 0 int, 0 impl, 0 cont) and 14562 constraints 498.57/500.27 c 1794 constraints of type <setppc> 498.57/500.27 c 1 constraints of type <orbitope> 498.57/500.27 c 12767 constraints of type <logicor> 498.57/500.27 c transformed objective value is always integral (scale: 1) 498.57/500.27 c Presolving Time: 43.99 498.57/500.27 c 498.57/500.27 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 498.57/500.27 c 59.3s| 1 | 0 | 15934 | - | 277M | 0 | 14k| 14k| 14k| 0 | 0 | 157 | 0 | 0.000000e+00 | -- | Inf | unknown 498.57/500.27 c 213s| 1 | 0 |101247 | - | 298M | 0 | 14k| 14k| 14k| 6 | 1 | 158 | 0 | 0.000000e+00 | -- | Inf | unknown 498.57/500.27 c 233s| 1 | 0 |112370 | - | 304M | 0 | 14k| 14k| 14k| 10 | 2 | 161 | 0 | 0.000000e+00 | -- | Inf | unknown 498.57/500.27 c 249s| 1 | 0 |122054 | - | 307M | 0 | 14k| 14k| 14k| 16 | 3 | 163 | 0 | 0.000000e+00 | -- | Inf | unknown 498.57/500.27 c 280s| 1 | 0 |138617 | - | 310M | 0 | 14k| 14k| 14k| 34 | 4 | 166 | 0 | 0.000000e+00 | -- | Inf | unknown 498.57/500.27 c 314s| 1 | 0 |154685 | - | 313M | 0 | 14k| 14k| 14k| 51 | 5 | 167 | 0 | 0.000000e+00 | -- | Inf | unknown 498.57/500.27 c 337s| 1 | 0 |166196 | - | 318M | 0 | 14k| 14k| 14k| 63 | 6 | 168 | 0 | 0.000000e+00 | -- | Inf | unknown 498.57/500.27 c 370s| 1 | 0 |181442 | - | 324M | 0 | 14k| 14k| 14k| 81 | 7 | 171 | 0 | 0.000000e+00 | -- | Inf | unknown 498.57/500.27 c 395s| 1 | 0 |193396 | - | 326M | 0 | 14k| 14k| 14k| 93 | 8 | 179 | 0 | 0.000000e+00 | -- | Inf | unknown 498.57/500.27 c 422s| 1 | 0 |205939 | - | 328M | 0 | 14k| 14k| 14k| 109 | 9 | 189 | 0 | 0.000000e+00 | -- | Inf | unknown 498.57/500.27 c 448s| 1 | 0 |217672 | - | 330M | 0 | 14k| 14k| 14k| 115 | 10 | 197 | 0 | 0.000000e+00 | -- | Inf | unknown 498.57/500.27 c 474s| 1 | 0 |229690 | - | 333M | 0 | 14k| 14k| 14k| 128 | 11 | 198 | 0 | 0.000000e+00 | -- | Inf | unknown 498.57/500.27 c 500s| 1 | 2 |242872 | - | 334M | 0 | 14k| 14k| 14k| 128 | 11 | 199 | 0 | 0.000000e+00 | -- | Inf | unknown 498.57/500.27 c 498.57/500.27 c SCIP Status : solving was interrupted [time limit reached] 498.57/500.27 c Solving Time (sec) : 500.02 498.57/500.27 c Solving Nodes : 1 498.57/500.27 c Primal Bound : +1.00000000000000e+20 (0 solutions) 498.57/500.27 c Dual Bound : +0.00000000000000e+00 498.57/500.27 c Gap : infinite 498.57/500.27 c ---------------------------------------------------------------------- 498.57/500.27 c dual bound: 0.0 -> 0 498.57/500.27 c primal bound: 1e+20 -> 100000000000000000000 498.57/500.27 c scip-goal-lb: 0 498.57/500.27 c scip-goal-ub: 100000000000000000000 498.57/500.27 c writing output to: HOME/tmp_q_7n6hn.opb 498.57/500.27 c appending fixed variable constraints 498.57/500.27 c scip-fixed vars: 10.56% (1511/14315) 498.57/500.27 c ---------------------------------------------------------------------- 498.57/500.27 c executing external solver: HOME/naps-1.03a6 498.57/500.27 c ---------------------------------------------------------------------- 498.57/500.27 c command: HOME/naps-1.03a6 HOME/tmp_q_7n6hn.opb 498.57/500.28 c NaPS 1.03a6. 498.57/500.28 c Input file name: HOME/tmp_q_7n6hn.opb 3600.06/3611.00 c 3600.06/3611.00 c *** TERMINATED *** by signal 15 3600.06/3611.00 c s UNKNOWN 3600.06/3611.00 c _____________________________________________________________________________ 3600.06/3611.00 c std/band forms : 133,0 3600.06/3611.00 c 2cl/3cl ITE-codings : 0,0 3600.06/3611.00 c BDD/srt/adr Max costs : 0,2726,0 3600.06/3611.00 c BDDraw/bin/mul/srt/adr: 0,0,0,133,0 3600.06/3611.00 c BDD nodes : 0 3600.06/3611.00 c Es1/CC detections : 0,0 3600.06/3611.00 c CC sort : 133 3600.06/3611.00 c SAT/UNSAT calls : 0,0 3600.06/3611.00 c regenrated variables : 0 3600.06/3611.00 c eliminated fixed lits : 1679 3600.06/3611.00 c goal lit flips : 0 3600.06/3611.00 c goal stages : 0 3600.06/3611.00 c goal shrink : 0 3600.06/3611.00 c goal coeff separations: 0 3600.06/3611.00 c restarts : 0 3600.06/3611.00 c conflicts : 0 (0 /sec) 3600.06/3611.00 c decisions : 0 (0 /sec) 3600.06/3611.00 c propagations : 0 (0 /sec) 3600.06/3611.00 c inspects : 0 (0 /sec) 3600.06/3611.00 c CPU time (solving tm) : 3100 s (3100 s, SAT 0 s, UNSAT 0 s) 3600.06/3611.00 c Time for Opt-base : 0.002726 s 3600.06/3611.00 c Steps for Opt-base : 0 3600.06/3611.00 c Time for BDD coding : 0 s 3600.06/3611.00 c Time for srt coding : 0.06166 s 3600.06/3611.00 c _____________________________________________________________________________ 3600.06/3611.00 s UNKNOWN 3600.19/3611.14 c received SIGTERM, forwarding to pbsolver... 3600.19/3611.14 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 (48554 MiB free)
memory of node 1: 64465 MiB (38957 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529838-1752258567/watcher-4529838-1752258567 -o /tmp/evaluation-result-4529838-1752258567/solver-4529838-1752258567 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1752253208-142840 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529838-1752258567.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=143641, runsolver pid=143638
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.05 4.08 4.09 5/270 143646
/proc/meminfo: memFree=89628236/131249996 swapFree=33010160/33010684
[pid=143641] ppid=143638 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/143641/stat : 143641 (scip-naps-1.00a) S 143638 143641 142829 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141535176 4292608 736 18446744073709551615 93946426781696 93946427676229 140736024836160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946427915280 93946427963024 93946443190272 140736024844699 140736024844798 140736024844798 140736024850402 0
/proc/143641/statm: 1048 736 672 219 0 110 0
[pid=143646] ppid=143641 vsize=1186292 memory=30944 CPUtime=0.06 cores=4,6
/proc/143646/stat : 143646 (python3) R 143641 143641 142829 0 -1 4194304 3557 0 0 0 5 1 0 0 20 0 1 0 141535178 1214763008 7736 18446744073709551615 94783251763200 94783251763577 140736127864928 0 0 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0 94783251774872 94783251775492 94783253270528 140736127871311 140736127871520 140736127871520 140736127877095 0
/proc/143646/statm: 296573 7736 4829 1 0 268595 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1190484 KiB
Current children cumulated memory: 33888 KiB
[startup+0.205828 s]*
/proc/loadavg: 4.05 4.08 4.09 5/270 143646
/proc/meminfo: memFree=89628236/131249996 swapFree=33010160/33010684
[pid=143641] ppid=143638 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/143641/stat : 143641 (scip-naps-1.00a) S 143638 143641 142829 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141535176 4292608 736 18446744073709551615 93946426781696 93946427676229 140736024836160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946427915280 93946427963024 93946443190272 140736024844699 140736024844798 140736024844798 140736024850402 0
/proc/143641/statm: 1048 736 672 219 0 110 0
[pid=143646] ppid=143641 vsize=1223436 memory=74976 CPUtime=0.16 cores=4,6
/proc/143646/stat : 143646 (python3) R 143641 143641 142829 0 -1 4194304 11998 0 0 0 14 2 0 0 20 0 1 0 141535178 1252798464 18744 18446744073709551615 94783251763200 94783251763577 140736127864928 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94783251774872 94783251775492 94783253270528 140736127871311 140736127871520 140736127871520 140736127877095 0
/proc/143646/statm: 305859 18744 7613 1 0 277217 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 1227628 KiB
Current children cumulated memory: 77920 KiB
[startup+0.305766 s]*
/proc/loadavg: 4.05 4.08 4.09 5/270 143646
/proc/meminfo: memFree=89628236/131249996 swapFree=33010160/33010684
[pid=143641] ppid=143638 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/143641/stat : 143641 (scip-naps-1.00a) S 143638 143641 142829 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141535176 4292608 736 18446744073709551615 93946426781696 93946427676229 140736024836160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946427915280 93946427963024 93946443190272 140736024844699 140736024844798 140736024844798 140736024850402 0
/proc/143641/statm: 1048 736 672 219 0 110 0
[pid=143646] ppid=143641 vsize=1262884 memory=112736 CPUtime=0.26 cores=4,6
/proc/143646/stat : 143646 (python3) R 143641 143641 142829 0 -1 4194304 21235 0 0 0 22 4 0 0 20 0 1 0 141535178 1293193216 28184 18446744073709551615 94783251763200 94783251763577 140736127864928 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94783251774872 94783251775492 94783253270528 140736127871311 140736127871520 140736127871520 140736127877095 0
/proc/143646/statm: 315721 28184 7837 1 0 287079 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 1267076 KiB
Current children cumulated memory: 115680 KiB
[startup+0.700218 s]
/proc/loadavg: 4.05 4.08 4.09 5/270 143646
/proc/meminfo: memFree=89628236/131249996 swapFree=33010160/33010684
[pid=143641] ppid=143638 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/143641/stat : 143641 (scip-naps-1.00a) S 143638 143641 142829 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141535176 4292608 736 18446744073709551615 93946426781696 93946427676229 140736024836160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946427915280 93946427963024 93946443190272 140736024844699 140736024844798 140736024844798 140736024850402 0
/proc/143641/statm: 1048 736 672 219 0 110 0
[pid=143646] ppid=143641 vsize=1293000 memory=141408 CPUtime=0.65 cores=4,6
/proc/143646/stat : 143646 (python3) R 143641 143641 142829 0 -1 4194304 28468 0 0 0 60 5 0 0 20 0 1 0 141535178 1324032000 35352 18446744073709551615 94783251763200 94783251763577 140736127864928 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94783251774872 94783251775492 94783253270528 140736127871311 140736127871520 140736127871520 140736127877095 0
/proc/143646/statm: 323250 35352 7869 1 0 294608 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1297192 KiB
Current children cumulated memory: 144352 KiB
[startup+1.50022 s]
/proc/loadavg: 4.05 4.08 4.09 5/270 143646
/proc/meminfo: memFree=89628236/131249996 swapFree=33010160/33010684
[pid=143641] ppid=143638 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/143641/stat : 143641 (scip-naps-1.00a) S 143638 143641 142829 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141535176 4292608 736 18446744073709551615 93946426781696 93946427676229 140736024836160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946427915280 93946427963024 93946443190272 140736024844699 140736024844798 140736024844798 140736024850402 0
/proc/143641/statm: 1048 736 672 219 0 110 0
[pid=143646] ppid=143641 vsize=1331840 memory=178076 CPUtime=1.45 cores=4,6
/proc/143646/stat : 143646 (python3) R 143641 143641 142829 0 -1 4194304 36657 0 0 0 139 6 0 0 20 0 1 0 141535178 1363804160 44519 18446744073709551615 94783251763200 94783251763577 140736127864928 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94783251774872 94783251775492 94783253270528 140736127871311 140736127871520 140736127871520 140736127877095 0
/proc/143646/statm: 332960 44519 7901 1 0 304318 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1336032 KiB
Current children cumulated memory: 181020 KiB
[startup+3.10562 s]
/proc/loadavg: 4.05 4.08 4.09 5/270 143647
/proc/meminfo: memFree=89707636/131249996 swapFree=33010160/33010684
[pid=143641] ppid=143638 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/143641/stat : 143641 (scip-naps-1.00a) S 143638 143641 142829 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141535176 4292608 736 18446744073709551615 93946426781696 93946427676229 140736024836160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946427915280 93946427963024 93946443190272 140736024844699 140736024844798 140736024844798 140736024850402 0
/proc/143641/statm: 1048 736 672 219 0 110 0
[pid=143646] ppid=143641 vsize=1331840 memory=178204 CPUtime=3.05 cores=4,6
/proc/143646/stat : 143646 (python3) R 143641 143641 142829 0 -1 4194304 36671 0 0 0 299 6 0 0 20 0 1 0 141535178 1363804160 44551 18446744073709551615 94783251763200 94783251763577 140736127864928 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94783251774872 94783251775492 94783253270528 140736127871311 140736127871520 140736127871520 140736127877095 0
/proc/143646/statm: 332960 44551 7901 1 0 304318 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1336032 KiB
Current children cumulated memory: 181148 KiB
[startup+6.30021 s]
/proc/loadavg: 4.05 4.08 4.09 5/270 143647
/proc/meminfo: memFree=89543288/131249996 swapFree=33010160/33010684
[pid=143641] ppid=143638 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/143641/stat : 143641 (scip-naps-1.00a) S 143638 143641 142829 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141535176 4292608 736 18446744073709551615 93946426781696 93946427676229 140736024836160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946427915280 93946427963024 93946443190272 140736024844699 140736024844798 140736024844798 140736024850402 0
/proc/143641/statm: 1048 736 672 219 0 110 0
[pid=143646] ppid=143641 vsize=1334020 memory=179868 CPUtime=6.23 cores=4,6
/proc/143646/stat : 143646 (python3) R 143641 143641 142829 0 -1 4194304 37090 0 0 0 617 6 0 0 20 0 1 0 141535178 1366036480 44967 18446744073709551615 94783251763200 94783251763577 140736127864928 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94783251774872 94783251775492 94783253270528 140736127871311 140736127871520 140736127871520 140736127877095 0
/proc/143646/statm: 333505 44967 7901 1 0 304863 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1338212 KiB
Current children cumulated memory: 182812 KiB
[startup+12.7002 s]
/proc/loadavg: 4.04 4.08 4.08 5/270 143647
/proc/meminfo: memFree=89617452/131249996 swapFree=33010160/33010684
[pid=143641] ppid=143638 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/143641/stat : 143641 (scip-naps-1.00a) S 143638 143641 142829 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141535176 4292608 736 18446744073709551615 93946426781696 93946427676229 140736024836160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946427915280 93946427963024 93946443190272 140736024844699 140736024844798 140736024844798 140736024850402 0
/proc/143641/statm: 1048 736 672 219 0 110 0
[pid=143646] ppid=143641 vsize=1339480 memory=185372 CPUtime=12.61 cores=4,6
/proc/143646/stat : 143646 (python3) R 143641 143641 142829 0 -1 4194304 38488 0 0 0 1254 7 0 0 20 0 1 0 141535178 1371627520 46343 18446744073709551615 94783251763200 94783251763577 140736127864928 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94783251774872 94783251775492 94783253270528 140736127871311 140736127871520 140736127871520 140736127877095 0
/proc/143646/statm: 334870 46343 7933 1 0 306228 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1343672 KiB
Current children cumulated memory: 188316 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.09 4.09 5/270 143647
/proc/meminfo: memFree=89067404/131249996 swapFree=33010160/33010684
[pid=143641] ppid=143638 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/143641/stat : 143641 (scip-naps-1.00a) S 143638 143641 142829 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141535176 4292608 736 18446744073709551615 93946426781696 93946427676229 140736024836160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946427915280 93946427963024 93946443190272 140736024844699 140736024844798 140736024844798 140736024850402 0
/proc/143641/statm: 1048 736 672 219 0 110 0
[pid=143646] ppid=143641 vsize=1339760 memory=185500 CPUtime=25.38 cores=4,6
/proc/143646/stat : 143646 (python3) R 143641 143641 142829 0 -1 4194304 38530 0 0 0 2531 7 0 0 20 0 1 0 141535178 1371914240 46375 18446744073709551615 94783251763200 94783251763577 140736127864928 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94783251774872 94783251775492 94783253270528 140736127871311 140736127871520 140736127871520 140736127877095 0
/proc/143646/statm: 334940 46375 7933 1 0 306298 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1343952 KiB
Current children cumulated memory: 188444 KiB
[startup+51.1057 s]
/proc/loadavg: 4.07 4.08 4.09 5/270 143647
/proc/meminfo: memFree=90035324/131249996 swapFree=33010160/33010684
[pid=143641] ppid=143638 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/143641/stat : 143641 (scip-naps-1.00a) S 143638 143641 142829 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141535176 4292608 736 18446744073709551615 93946426781696 93946427676229 140736024836160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946427915280 93946427963024 93946443190272 140736024844699 140736024844798 140736024844798 140736024850402 0
/proc/143641/statm: 1048 736 672 219 0 110 0
[pid=143646] ppid=143641 vsize=1495696 memory=295944 CPUtime=50.89 cores=4,6
/proc/143646/stat : 143646 (python3) R 143641 143641 142829 0 -1 4194304 67182 0 0 0 5078 11 0 0 20 0 1 0 141535178 1531592704 73986 18446744073709551615 94783251763200 94783251763577 140736127864928 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94783251774872 94783251775492 94783253270528 140736127871311 140736127871520 140736127871520 140736127877095 0
/proc/143646/statm: 373924 73986 8125 1 0 345282 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1499888 KiB
Current children cumulated memory: 298888 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/271 143650
/proc/meminfo: memFree=90298536/131249996 swapFree=33010160/33010684
[pid=143641] ppid=143638 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/143641/stat : 143641 (scip-naps-1.00a) S 143638 143641 142829 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141535176 4292608 736 18446744073709551615 93946426781696 93946427676229 140736024836160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946427915280 93946427963024 93946443190272 140736024844699 140736024844798 140736024844798 140736024850402 0
/proc/143641/statm: 1048 736 672 219 0 110 0
[pid=143646] ppid=143641 vsize=1503320 memory=302856 CPUtime=101.93 cores=4,6
/proc/143646/stat : 143646 (python3) R 143641 143641 142829 0 -1 4194304 68903 0 0 0 10180 13 0 0 20 0 1 0 141535178 1539399680 75714 18446744073709551615 94783251763200 94783251763577 140736127864928 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94783251774872 94783251775492 94783253270528 140736127871311 140736127871520 140736127871520 140736127877095 0
/proc/143646/statm: 375830 75714 8125 1 0 347188 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1507512 KiB
Current children cumulated memory: 305800 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/272 143653
/proc/meminfo: memFree=90193252/131249996 swapFree=33010160/33010684
[pid=143641] ppid=143638 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/143641/stat : 143641 (scip-naps-1.00a) S 143638 143641 142829 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141535176 4292608 736 18446744073709551615 93946426781696 93946427676229 140736024836160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946427915280 93946427963024 93946443190272 140736024844699 140736024844798 140736024844798 140736024850402 0
/proc/143641/statm: 1048 736 672 219 0 110 0
[pid=143646] ppid=143641 vsize=1507392 memory=305288 CPUtime=161.74 cores=4,6
/proc/143646/stat : 143646 (python3) R 143641 143641 142829 0 -1 4194304 69540 0 0 0 16160 14 0 0 20 0 1 0 141535178 1543569408 76322 18446744073709551615 94783251763200 94783251763577 140736127864928 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94783251774872 94783251775492 94783253270528 140736127871311 140736127871520 140736127871520 140736127877095 0
/proc/143646/statm: 376848 76322 8125 1 0 348206 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 1511584 KiB
Current children cumulated memory: 308232 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/272 143655
/proc/meminfo: memFree=90188288/131249996 swapFree=33010160/33010684
[pid=143641] ppid=143638 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/143641/stat : 143641 (scip-naps-1.00a) S 143638 143641 142829 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141535176 4292608 736 18446744073709551615 93946426781696 93946427676229 140736024836160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946427915280 93946427963024 93946443190272 140736024844699 140736024844798 140736024844798 140736024850402 0
/proc/143641/statm: 1048 736 672 219 0 110 0
[pid=143646] ppid=143641 vsize=1564060 memory=360200 CPUtime=221.55 cores=4,6
/proc/143646/stat : 143646 (python3) R 143641 143641 142829 0 -1 4194304 76108 0 0 0 22139 16 0 0 20 0 1 0 141535178 1601597440 90050 18446744073709551615 94783251763200 94783251763577 140736127864928 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94783251774872 94783251775492 94783253270528 140736127871311 140736127871520 140736127871520 140736127877095 0
/proc/143646/statm: 391015 90050 8125 1 0 362373 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 1568252 KiB
################
# More data... #
################
/proc/143641/stat : 143641 (scip-naps-1.00a) S 143638 143641 142829 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141535176 4292608 736 18446744073709551615 93946426781696 93946427676229 140736024836160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946427915280 93946427963024 93946443190272 140736024844699 140736024844798 140736024844798 140736024850402 0
/proc/143641/statm: 1048 736 672 219 0 110 0
[pid=143646] ppid=143641 vsize=1607744 memory=400964 CPUtime=498.66 cores=4,6
/proc/143646/stat : 143646 (python3) S 143641 143641 142829 0 -1 4194304 86247 0 0 0 49845 21 0 0 20 0 1 0 141535178 1646329856 100241 18446744073709551615 94783251763200 94783251763577 140736127864928 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94783251774872 94783251775492 94783253270528 140736127871311 140736127871520 140736127871520 140736127877095 0
/proc/143646/statm: 401936 100241 8157 1 0 373294 0
[pid=143667] ppid=143646 vsize=130172 memory=116916 CPUtime=2713.84 cores=4,6
/proc/143667/stat : 143667 (naps-1.03a6) R 143646 143667 143667 0 -1 4194304 102395 0 0 0 271311 73 0 0 20 0 1 0 141585204 133296128 29229 18446744073709551615 4198400 7047149 140735616178784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 35467264 140735616182671 140735616182769 140735616182769 140735616188361 0
/proc/143667/statm: 32543 29229 544 696 0 31704 0
Current children cumulated CPU time: 3212.5 s
Current children cumulated vsize: 1742108 KiB
Current children cumulated memory: 520824 KiB
[startup+3282.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/270 144306
/proc/meminfo: memFree=124614224/131249996 swapFree=33010160/33010684
[pid=143641] ppid=143638 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/143641/stat : 143641 (scip-naps-1.00a) S 143638 143641 142829 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141535176 4292608 736 18446744073709551615 93946426781696 93946427676229 140736024836160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946427915280 93946427963024 93946443190272 140736024844699 140736024844798 140736024844798 140736024850402 0
/proc/143641/statm: 1048 736 672 219 0 110 0
[pid=143646] ppid=143641 vsize=1607744 memory=400964 CPUtime=498.66 cores=4,6
/proc/143646/stat : 143646 (python3) S 143641 143641 142829 0 -1 4194304 86247 0 0 0 49845 21 0 0 20 0 1 0 141535178 1646329856 100241 18446744073709551615 94783251763200 94783251763577 140736127864928 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94783251774872 94783251775492 94783253270528 140736127871311 140736127871520 140736127871520 140736127877095 0
/proc/143646/statm: 401936 100241 8157 1 0 373294 0
[pid=143667] ppid=143646 vsize=138364 memory=125744 CPUtime=2773.68 cores=4,6
/proc/143667/stat : 143667 (naps-1.03a6) R 143646 143667 143667 0 -1 4194304 106155 0 0 0 277292 76 0 0 20 0 1 0 141585204 141684736 31436 18446744073709551615 4198400 7047149 140735616178784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 35467264 140735616182671 140735616182769 140735616182769 140735616188361 0
/proc/143667/statm: 34591 31436 544 696 0 33752 0
Current children cumulated CPU time: 3272.34 s
Current children cumulated vsize: 1750300 KiB
Current children cumulated memory: 529652 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/271 144309
/proc/meminfo: memFree=120941336/131249996 swapFree=33010160/33010684
[pid=143641] ppid=143638 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/143641/stat : 143641 (scip-naps-1.00a) S 143638 143641 142829 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141535176 4292608 736 18446744073709551615 93946426781696 93946427676229 140736024836160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946427915280 93946427963024 93946443190272 140736024844699 140736024844798 140736024844798 140736024850402 0
/proc/143641/statm: 1048 736 672 219 0 110 0
[pid=143646] ppid=143641 vsize=1607744 memory=400964 CPUtime=498.66 cores=4,6
/proc/143646/stat : 143646 (python3) S 143641 143641 142829 0 -1 4194304 86247 0 0 0 49845 21 0 0 20 0 1 0 141535178 1646329856 100241 18446744073709551615 94783251763200 94783251763577 140736127864928 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94783251774872 94783251775492 94783253270528 140736127871311 140736127871520 140736127871520 140736127877095 0
/proc/143646/statm: 401936 100241 8157 1 0 373294 0
[pid=143667] ppid=143646 vsize=138364 memory=127796 CPUtime=2833.52 cores=4,6
/proc/143667/stat : 143667 (naps-1.03a6) R 143646 143667 143667 0 -1 4194304 111875 0 0 0 283274 78 0 0 20 0 1 0 141585204 141684736 31949 18446744073709551615 4198400 7047149 140735616178784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 35467264 140735616182671 140735616182769 140735616182769 140735616188361 0
/proc/143667/statm: 34591 31949 544 696 0 33752 0
Current children cumulated CPU time: 3332.18 s
Current children cumulated vsize: 1750300 KiB
Current children cumulated memory: 531704 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.10 4.10 5/269 144311
/proc/meminfo: memFree=111572568/131249996 swapFree=33010160/33010684
[pid=143641] ppid=143638 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/143641/stat : 143641 (scip-naps-1.00a) S 143638 143641 142829 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141535176 4292608 736 18446744073709551615 93946426781696 93946427676229 140736024836160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946427915280 93946427963024 93946443190272 140736024844699 140736024844798 140736024844798 140736024850402 0
/proc/143641/statm: 1048 736 672 219 0 110 0
[pid=143646] ppid=143641 vsize=1607744 memory=400964 CPUtime=498.66 cores=4,6
/proc/143646/stat : 143646 (python3) S 143641 143641 142829 0 -1 4194304 86247 0 0 0 49845 21 0 0 20 0 1 0 141535178 1646329856 100241 18446744073709551615 94783251763200 94783251763577 140736127864928 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94783251774872 94783251775492 94783253270528 140736127871311 140736127871520 140736127871520 140736127877095 0
/proc/143646/statm: 401936 100241 8157 1 0 373294 0
[pid=143667] ppid=143646 vsize=138364 memory=127796 CPUtime=2893.35 cores=4,6
/proc/143667/stat : 143667 (naps-1.03a6) R 143646 143667 143667 0 -1 4194304 113769 0 0 0 289256 79 0 0 20 0 1 0 141585204 141684736 31949 18446744073709551615 4198400 7047149 140735616178784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 35467264 140735616182671 140735616182769 140735616182769 140735616188361 0
/proc/143667/statm: 34591 31949 544 696 0 33752 0
Current children cumulated CPU time: 3392.01 s
Current children cumulated vsize: 1750300 KiB
Current children cumulated memory: 531704 KiB
[startup+3462.3 s]
/proc/loadavg: 4.26 4.16 4.11 4/265 144313
/proc/meminfo: memFree=124362356/131249996 swapFree=33010160/33010684
[pid=143641] ppid=143638 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/143641/stat : 143641 (scip-naps-1.00a) S 143638 143641 142829 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141535176 4292608 736 18446744073709551615 93946426781696 93946427676229 140736024836160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946427915280 93946427963024 93946443190272 140736024844699 140736024844798 140736024844798 140736024850402 0
/proc/143641/statm: 1048 736 672 219 0 110 0
[pid=143646] ppid=143641 vsize=1607744 memory=400964 CPUtime=498.66 cores=4,6
/proc/143646/stat : 143646 (python3) S 143641 143641 142829 0 -1 4194304 86247 0 0 0 49845 21 0 0 20 0 1 0 141535178 1646329856 100241 18446744073709551615 94783251763200 94783251763577 140736127864928 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94783251774872 94783251775492 94783253270528 140736127871311 140736127871520 140736127871520 140736127877095 0
/proc/143646/statm: 401936 100241 8157 1 0 373294 0
[pid=143667] ppid=143646 vsize=138364 memory=125748 CPUtime=2953.18 cores=4,6
/proc/143667/stat : 143667 (naps-1.03a6) R 143646 143667 143667 0 -1 4194304 121217 0 0 0 295235 83 0 0 20 0 1 0 141585204 141684736 31437 18446744073709551615 4198400 7047149 140735616178784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 35467264 140735616182671 140735616182769 140735616182769 140735616188361 0
/proc/143667/statm: 34591 31437 544 696 0 33752 0
Current children cumulated CPU time: 3451.84 s
Current children cumulated vsize: 1750300 KiB
Current children cumulated memory: 529656 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/269 144806
/proc/meminfo: memFree=124663324/131249996 swapFree=33010160/33010684
[pid=143641] ppid=143638 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/143641/stat : 143641 (scip-naps-1.00a) S 143638 143641 142829 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141535176 4292608 736 18446744073709551615 93946426781696 93946427676229 140736024836160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946427915280 93946427963024 93946443190272 140736024844699 140736024844798 140736024844798 140736024850402 0
/proc/143641/statm: 1048 736 672 219 0 110 0
[pid=143646] ppid=143641 vsize=1607744 memory=400964 CPUtime=498.66 cores=4,6
/proc/143646/stat : 143646 (python3) S 143641 143641 142829 0 -1 4194304 86247 0 0 0 49845 21 0 0 20 0 1 0 141535178 1646329856 100241 18446744073709551615 94783251763200 94783251763577 140736127864928 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94783251774872 94783251775492 94783253270528 140736127871311 140736127871520 140736127871520 140736127877095 0
/proc/143646/statm: 401936 100241 8157 1 0 373294 0
[pid=143667] ppid=143646 vsize=138364 memory=125752 CPUtime=3012.93 cores=4,6
/proc/143667/stat : 143667 (naps-1.03a6) R 143646 143667 143667 0 -1 4194304 124422 0 0 0 301200 93 0 0 20 0 1 0 141585204 141684736 31438 18446744073709551615 4198400 7047149 140735616178784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 35467264 140735616182671 140735616182769 140735616182769 140735616188361 0
/proc/143667/statm: 34591 31438 544 696 0 33752 0
Current children cumulated CPU time: 3511.59 s
Current children cumulated vsize: 1750300 KiB
Current children cumulated memory: 529660 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/269 144808
/proc/meminfo: memFree=124576808/131249996 swapFree=33010160/33010684
[pid=143641] ppid=143638 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/143641/stat : 143641 (scip-naps-1.00a) S 143638 143641 142829 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141535176 4292608 736 18446744073709551615 93946426781696 93946427676229 140736024836160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946427915280 93946427963024 93946443190272 140736024844699 140736024844798 140736024844798 140736024850402 0
/proc/143641/statm: 1048 736 672 219 0 110 0
[pid=143646] ppid=143641 vsize=1607744 memory=400964 CPUtime=498.66 cores=4,6
/proc/143646/stat : 143646 (python3) S 143641 143641 142829 0 -1 4194304 86247 0 0 0 49845 21 0 0 20 0 1 0 141535178 1646329856 100241 18446744073709551615 94783251763200 94783251763577 140736127864928 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94783251774872 94783251775492 94783253270528 140736127871311 140736127871520 140736127871520 140736127877095 0
/proc/143646/statm: 401936 100241 8157 1 0 373294 0
[pid=143667] ppid=143646 vsize=138364 memory=125752 CPUtime=3072.78 cores=4,6
/proc/143667/stat : 143667 (naps-1.03a6) R 143646 143667 143667 0 -1 4194304 129231 0 0 0 307181 97 0 0 20 0 1 0 141585204 141684736 31438 18446744073709551615 4198400 7047149 140735616178784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 35467264 140735616182671 140735616182769 140735616182769 140735616188361 0
/proc/143667/statm: 34591 31438 544 696 0 33752 0
Current children cumulated CPU time: 3571.44 s
Current children cumulated vsize: 1750300 KiB
Current children cumulated memory: 529660 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.12 4.12 4.10 5/269 144808
/proc/meminfo: memFree=124567504/131249996 swapFree=33010160/33010684
[pid=143641] ppid=143638 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/143641/stat : 143641 (scip-naps-1.00a) S 143638 143641 142829 0 -1 4194304 260 337 0 0 0 0 0 0 20 0 1 0 141535176 4292608 736 18446744073709551615 93946426781696 93946427676229 140736024836160 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93946427915280 93946427963024 93946443190272 140736024844699 140736024844798 140736024844798 140736024850402 0
/proc/143641/statm: 1048 736 672 219 0 110 0
[pid=143646] ppid=143641 vsize=1607744 memory=400964 CPUtime=498.66 cores=4,6
/proc/143646/stat : 143646 (python3) S 143641 143641 142829 0 -1 4194304 86247 0 0 0 49845 21 0 0 20 0 1 0 141535178 1646329856 100241 18446744073709551615 94783251763200 94783251763577 140736127864928 0 0 0 0 16781312 16386 1 0 0 17 4 0 0 0 0 0 94783251774872 94783251775492 94783253270528 140736127871311 140736127871520 140736127871520 140736127877095 0
/proc/143646/statm: 401936 100241 8157 1 0 373294 0
[pid=143667] ppid=143646 vsize=138364 memory=127800 CPUtime=3101.4 cores=4,6
/proc/143667/stat : 143667 (naps-1.03a6) R 143646 143667 143667 0 -1 4194304 131321 0 0 0 310042 98 0 0 20 0 1 0 141585204 141684736 31950 18446744073709551615 4198400 7047149 140735616178784 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 35467264 140735616182671 140735616182769 140735616182769 140735616188361 0
/proc/143667/statm: 34591 31950 544 696 0 33752 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1750300 KiB
Current children cumulated memory: 531708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.02 s]
# the end of solver process 143641 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001011 s, system=0.005408 s
[startup+3611.18 s]
# the end of solver process 143646 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.01 s, system=1.24883 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.12 s]*
/proc/loadavg: 4.12 4.12 4.10 5/267 144808
/proc/meminfo: memFree=124724096/131249996 swapFree=33010160/33010684
[pid=143646] ppid=143638 vsize=1567560 memory=363248 CPUtime=3600.18 cores=4,6
/proc/143646/stat : 143646 (python3) R 143638 143641 142829 0 -1 4194304 125626 131322 0 0 49854 23 310043 98 20 0 1 0 141535178 1605181440 90812 18446744073709551615 94783251763200 94783251763577 140736127864928 0 0 0 0 16781312 16386 0 0 0 17 4 0 0 0 0 0 94783251774872 94783251775492 94783253270528 140736127871311 140736127871520 140736127871520 140736127877095 0
/proc/143646/statm: 391890 90812 8157 1 0 363248 0
Current cumulated CPU time of completed processes: 0.006419 s
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 1567560 KiB
Current children cumulated memory: 363248 KiB
Child status: 0
Real time (s): 3611.18
CPU time (s): 3600.26
CPU user time (s): 3599.01
CPU system time (s): 1.24883
CPU usage (%): 99.6976
Max. virtual memory (cumulated for all children) (KiB): 1783452
Max. memory (cumulated for all children) (KiB): 539900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.01
system time used= 1.24883
maximum resident set size= 400964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266049
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 372
involuntary context switches= 3726
# summary of solver processes directly reported to runsolver:
# pid: 143641,143646
# total CPU time (s): 3600.26
# total CPU user time (s): 3599.01
# total CPU system time (s): 1.24883
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.23141 second user time and 17.5858 second system time
The end
Begin job on nodeC029 at 2025-07-11 20:29:27 IDJOB=4529838 IDBENCH=158309 IDSOLVER=3388 FILE ID=nodeC029/4529838-1752258567 RUNJOBID= nodeC029-1752253208-142840 SLURM_JOB_ID= 9682582 Free space on /tmp= 431900 MiB SOLVER NAME= SCIP-NaPS 1.00a2 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K133.opb COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529838-1752258567/watcher-4529838-1752258567 -o /tmp/evaluation-result-4529838-1752258567/solver-4529838-1752258567 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1752253208-142840 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529838-1752258567.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9ec822d6c0cd68d217a6cdee070ca11c RANDOM SEED=785454511 nodeC029 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.666 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.46 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.714 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.46 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.860 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.46 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.263 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.46 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.716 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.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.643 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.46 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 : 3597.669 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.46 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.499 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.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 89612504 kB MemAvailable: 93598464 kB Buffers: 2128 kB Cached: 4772928 kB SwapCached: 40 kB Active: 35274820 kB Inactive: 4329692 kB Active(anon): 34842716 kB Inactive(anon): 4764 kB Active(file): 432104 kB Inactive(file): 4324928 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 6492 kB Writeback: 0 kB AnonPages: 34823948 kB Mapped: 137336 kB Shmem: 18020 kB KReclaimable: 136332 kB Slab: 230068 kB SReclaimable: 136332 kB SUnreclaim: 93736 kB KernelStack: 4352 kB PageTables: 72396 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 41177772 kB VmallocTotal: 34359738367 kB VmallocUsed: 150632 kB VmallocChunk: 0 kB Percpu: 3968 kB HardwareCorrupted: 0 kB AnonHugePages: 14675968 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: 193236 kB DirectMap2M: 11112448 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432184 MiB End job on nodeC029 at 2025-07-11 21:29:39