Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIP-NaPS 1.00a2 | ? (TO) | 3600.23 | 3610.97 |
Name | PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K150.opb |
MD5SUM | de861f201885d7430b03c8868c66597b |
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 | 17850 |
Total number of constraints | 18152 |
Number of constraints which are clauses | 18002 |
Number of constraints which are cardinality constraints (but not clauses) | 150 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 150 |
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 | 151 |
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 |
14.49/14.67 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4529841-1752258607.opb 14.49/14.67 c Solving mode: decision 14.49/14.67 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 14.49/14.67 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 14.49/14.67 c original problem has 17850 variables (17850 bin, 0 int, 0 impl, 0 cont) and 18152 constraints 14.49/14.67 c presolving: 14.49/14.67 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, 2059 clqs 14.49/14.67 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, 2043 clqs 14.49/14.67 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, 2064 clqs 14.49/14.67 c (round 4, fast) 1055 del vars, 535 del conss, 0 add conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2095 clqs 14.49/14.67 c (round 5, fast) 1131 del vars, 591 del conss, 0 add conss, 285 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2118 clqs 14.49/14.67 c (round 6, fast) 1172 del vars, 625 del conss, 0 add conss, 299 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2128 clqs 14.49/14.67 c (round 7, exhaustive) 1182 del vars, 783 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2141 clqs 14.49/14.67 c (round 8, exhaustive) 1182 del vars, 783 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 17369 upgd conss, 0 impls, 2141 clqs 14.49/14.67 c (round 9, exhaustive) 1297 del vars, 783 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 113 chg coeffs, 17369 upgd conss, 0 impls, 2128 clqs 14.49/14.67 c (round 10, fast) 1412 del vars, 898 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 113 chg coeffs, 17369 upgd conss, 0 impls, 2128 clqs 14.49/14.67 c (round 11, exhaustive) 1438 del vars, 899 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 113 chg coeffs, 17369 upgd conss, 0 impls, 108314 clqs 14.49/14.67 c (round 12, fast) 1439 del vars, 925 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 170 chg coeffs, 17369 upgd conss, 0 impls, 108325 clqs 14.49/14.67 c (round 13, exhaustive) 1465 del vars, 925 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 170 chg coeffs, 17369 upgd conss, 0 impls, 108323 clqs 14.49/14.67 c (round 14, fast) 1466 del vars, 951 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 230 chg coeffs, 17369 upgd conss, 0 impls, 108339 clqs 14.49/14.67 c (round 15, exhaustive) 1492 del vars, 951 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 230 chg coeffs, 17369 upgd conss, 0 impls, 108344 clqs 14.49/14.67 c (round 16, fast) 1494 del vars, 978 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 294 chg coeffs, 17369 upgd conss, 0 impls, 108350 clqs 14.49/14.67 c (round 17, exhaustive) 1520 del vars, 978 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 295 chg coeffs, 17369 upgd conss, 0 impls, 108357 clqs 14.49/14.67 c (round 18, fast) 1521 del vars, 1004 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 355 chg coeffs, 17369 upgd conss, 0 impls, 108370 clqs 14.49/14.67 c (6.1s) probing: 1000/16993 (5.9%) - 118 fixings, 0 aggregations, 1103306 implications, 0 bound changes 14.49/14.67 c (round 19, exhaustive) 1547 del vars, 1004 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 355 chg coeffs, 17369 upgd conss, 0 impls, 108359 clqs 14.49/14.67 c (round 20, fast) 1548 del vars, 1030 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 420 chg coeffs, 17369 upgd conss, 0 impls, 108372 clqs 14.49/14.67 c (round 21, exhaustive) 1574 del vars, 1030 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 420 chg coeffs, 17369 upgd conss, 0 impls, 108412 clqs 14.49/14.67 c (round 22, fast) 1574 del vars, 1056 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 484 chg coeffs, 17369 upgd conss, 0 impls, 108425 clqs 14.49/14.67 c (round 23, exhaustive) 1618 del vars, 1056 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 484 chg coeffs, 17369 upgd conss, 0 impls, 105759 clqs 14.49/14.67 c (round 24, fast) 1618 del vars, 1100 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 635 chg coeffs, 17369 upgd conss, 0 impls, 105795 clqs 14.49/14.67 c (round 25, exhaustive) 1643 del vars, 1100 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 635 chg coeffs, 17369 upgd conss, 0 impls, 108452 clqs 14.49/14.67 c (round 26, fast) 1643 del vars, 1125 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 702 chg coeffs, 17369 upgd conss, 0 impls, 108467 clqs 14.49/14.67 c (round 27, exhaustive) 1669 del vars, 1125 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 702 chg coeffs, 17369 upgd conss, 0 impls, 108464 clqs 14.49/14.67 c (round 28, fast) 1670 del vars, 1151 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 766 chg coeffs, 17369 upgd conss, 0 impls, 108478 clqs 14.49/14.67 c (round 29, exhaustive) 1707 del vars, 1151 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 766 chg coeffs, 17369 upgd conss, 0 impls, 108459 clqs 14.49/14.67 c (round 30, fast) 1707 del vars, 1188 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 851 chg coeffs, 17369 upgd conss, 0 impls, 108468 clqs 14.49/14.67 c (round 31, exhaustive) 1732 del vars, 1188 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 851 chg coeffs, 17369 upgd conss, 0 impls, 108371 clqs 14.49/14.67 c (round 32, fast) 1732 del vars, 1213 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 861 chg coeffs, 17369 upgd conss, 0 impls, 108371 clqs 14.49/14.67 c (round 33, exhaustive) 1757 del vars, 1213 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 861 chg coeffs, 17369 upgd conss, 0 impls, 108256 clqs 14.49/14.67 c (round 34, fast) 1757 del vars, 1238 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 870 chg coeffs, 17369 upgd conss, 0 impls, 108256 clqs 14.49/14.67 c (round 35, exhaustive) 1785 del vars, 1238 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 870 chg coeffs, 17369 upgd conss, 0 impls, 108468 clqs 14.49/14.67 c (round 36, fast) 1788 del vars, 1266 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 906 chg coeffs, 17369 upgd conss, 0 impls, 108472 clqs 14.49/14.67 c (round 37, exhaustive) 1813 del vars, 1266 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 906 chg coeffs, 17369 upgd conss, 0 impls, 108366 clqs 14.49/14.67 c (round 38, fast) 1813 del vars, 1291 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 916 chg coeffs, 17369 upgd conss, 0 impls, 108366 clqs 14.49/14.67 c (round 39, exhaustive) 1838 del vars, 1291 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 916 chg coeffs, 17369 upgd conss, 0 impls, 108207 clqs 14.49/14.67 c (round 40, fast) 1838 del vars, 1316 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 926 chg coeffs, 17369 upgd conss, 0 impls, 108207 clqs 14.49/14.67 c (round 41, exhaustive) 1863 del vars, 1316 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 926 chg coeffs, 17369 upgd conss, 0 impls, 108115 clqs 14.49/14.67 c (round 42, fast) 1863 del vars, 1341 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 937 chg coeffs, 17369 upgd conss, 0 impls, 108115 clqs 14.49/14.67 c (round 43, exhaustive) 1888 del vars, 1341 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 937 chg coeffs, 17369 upgd conss, 0 impls, 108499 clqs 14.49/14.67 c (round 44, fast) 1888 del vars, 1366 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 954 chg coeffs, 17369 upgd conss, 0 impls, 108500 clqs 14.49/14.67 c (round 45, exhaustive) 1913 del vars, 1366 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 954 chg coeffs, 17369 upgd conss, 0 impls, 108378 clqs 14.49/14.67 c (round 46, fast) 1913 del vars, 1391 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 966 chg coeffs, 17369 upgd conss, 0 impls, 108378 clqs 14.49/14.67 c (round 47, exhaustive) 1938 del vars, 1391 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 966 chg coeffs, 17369 upgd conss, 0 impls, 108260 clqs 14.49/14.67 c (round 48, fast) 1938 del vars, 1416 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 978 chg coeffs, 17369 upgd conss, 0 impls, 108260 clqs 14.49/14.67 c (14.4s) probing: 2000/16993 (11.8%) - 521 fixings, 1 aggregations, 2461040 implications, 0 bound changes 14.49/14.67 c (round 49, exhaustive) 1963 del vars, 1416 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 978 chg coeffs, 17369 upgd conss, 0 impls, 108153 clqs 498.42/500.28 c (round 50, fast) 1963 del vars, 1441 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 988 chg coeffs, 17369 upgd conss, 0 impls, 108153 clqs 498.42/500.28 c (round 51, exhaustive) 1989 del vars, 1441 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 988 chg coeffs, 17369 upgd conss, 0 impls, 108094 clqs 498.42/500.28 c (round 52, fast) 1990 del vars, 1467 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1013 chg coeffs, 17369 upgd conss, 0 impls, 108094 clqs 498.42/500.28 c (round 53, exhaustive) 2015 del vars, 1467 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1013 chg coeffs, 17369 upgd conss, 0 impls, 108020 clqs 498.42/500.28 c (round 54, fast) 2015 del vars, 1492 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1031 chg coeffs, 17369 upgd conss, 0 impls, 108020 clqs 498.42/500.28 c (19.3s) probing: 3000/16993 (17.7%) - 587 fixings, 1 aggregations, 3607706 implications, 0 bound changes 498.42/500.28 c (23.8s) probing: 4000/16993 (23.5%) - 598 fixings, 1 aggregations, 4778897 implications, 0 bound changes 498.42/500.28 c (27.5s) probing: 5000/16993 (29.4%) - 604 fixings, 1 aggregations, 5698317 implications, 0 bound changes 498.42/500.28 c (round 55, exhaustive) 2040 del vars, 1492 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1031 chg coeffs, 17369 upgd conss, 0 impls, 108638 clqs 498.42/500.28 c (round 56, fast) 2040 del vars, 1517 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1067 chg coeffs, 17369 upgd conss, 0 impls, 108640 clqs 498.42/500.28 c (round 57, exhaustive) 2065 del vars, 1517 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1067 chg coeffs, 17369 upgd conss, 0 impls, 108655 clqs 498.42/500.28 c (round 58, fast) 2065 del vars, 1542 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1095 chg coeffs, 17369 upgd conss, 0 impls, 108655 clqs 498.42/500.28 c (31.6s) probing: 6000/16993 (35.3%) - 642 fixings, 1 aggregations, 6590569 implications, 0 bound changes 498.42/500.28 c (35.4s) probing: 7000/16993 (41.2%) - 647 fixings, 1 aggregations, 7532219 implications, 0 bound changes 498.42/500.28 c (38.4s) probing: 7789/16993 (45.8%) - 647 fixings, 1 aggregations, 8268146 implications, 0 bound changes 498.42/500.28 c (38.4s) probing aborted: 1000/1000 successive useless probings 498.42/500.28 c (round 59, exhaustive) 2081 del vars, 1542 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1095 chg coeffs, 17369 upgd conss, 0 impls, 108670 clqs 498.42/500.28 c (round 60, fast) 2081 del vars, 1558 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1117 chg coeffs, 17369 upgd conss, 0 impls, 108672 clqs 498.42/500.28 c (39.3s) probing: 8000/16993 (47.1%) - 655 fixings, 1 aggregations, 8438320 implications, 0 bound changes 498.42/500.28 c (42.4s) probing: 8809/16993 (51.8%) - 655 fixings, 1 aggregations, 9192621 implications, 0 bound changes 498.42/500.28 c (42.4s) probing aborted: 1000/1000 successive useless probings 498.42/500.28 c (42.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 498.42/500.28 c (42.5s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.02) 498.42/500.28 c dynamic symmetry handling statistics: 498.42/500.28 c orbitopal reduction: no components 498.42/500.28 c orbital reduction: no components 498.42/500.28 c lexicographic reduction: 3 permutations with support sizes 1382, 576, 276 498.42/500.28 c handled 4 out of 4 symmetry components 498.42/500.28 c presolving (61 rounds: 61 fast, 29 medium, 29 exhaustive): 498.42/500.28 c 2092 deleted vars, 1566 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1128 changed coefficients 498.42/500.28 c 0 implications, 108672 cliques 498.42/500.28 c presolved problem has 16323 variables (16323 bin, 0 int, 0 impl, 0 cont) and 16587 constraints 498.42/500.28 c 2032 constraints of type <setppc> 498.42/500.28 c 1 constraints of type <orbitope> 498.42/500.28 c 14554 constraints of type <logicor> 498.42/500.28 c transformed objective value is always integral (scale: 1) 498.42/500.28 c Presolving Time: 42.48 498.42/500.28 c 498.42/500.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 498.42/500.28 c 61.3s| 1 | 0 | 17057 | - | 310M | 0 | 16k| 16k| 16k| 0 | 0 | 112 | 0 | 0.000000e+00 | -- | Inf | unknown 498.42/500.28 c 206s| 1 | 0 |107061 | - | 328M | 0 | 16k| 16k| 16k| 6 | 1 | 119 | 0 | 0.000000e+00 | -- | Inf | unknown 498.42/500.28 c 228s| 1 | 0 |117473 | - | 343M | 0 | 16k| 16k| 16k| 12 | 2 | 122 | 0 | 0.000000e+00 | -- | Inf | unknown 498.42/500.28 c 252s| 1 | 0 |128718 | - | 347M | 0 | 16k| 16k| 16k| 18 | 3 | 123 | 0 | 0.000000e+00 | -- | Inf | unknown 498.42/500.28 c 280s| 1 | 0 |141112 | - | 356M | 0 | 16k| 16k| 16k| 28 | 4 | 129 | 0 | 0.000000e+00 | -- | Inf | unknown 498.42/500.28 c 305s| 1 | 0 |151919 | - | 359M | 0 | 16k| 16k| 16k| 32 | 5 | 130 | 0 | 0.000000e+00 | -- | Inf | unknown 498.42/500.28 c 338s| 1 | 0 |165486 | - | 359M | 0 | 16k| 16k| 16k| 48 | 6 | 134 | 0 | 0.000000e+00 | -- | Inf | unknown 498.42/500.28 c 364s| 1 | 0 |176521 | - | 361M | 0 | 16k| 16k| 16k| 52 | 7 | 135 | 0 | 0.000000e+00 | -- | Inf | unknown 498.42/500.28 c 411s| 1 | 0 |194868 | - | 366M | 0 | 16k| 16k| 16k| 72 | 8 | 145 | 0 | 0.000000e+00 | -- | Inf | unknown 498.42/500.28 c 439s| 1 | 0 |206388 | - | 370M | 0 | 16k| 16k| 16k| 77 | 9 | 147 | 0 | 0.000000e+00 | -- | Inf | unknown 498.42/500.28 c 473s| 1 | 0 |219624 | - | 373M | 0 | 16k| 16k| 16k| 97 | 10 | 148 | 0 | 0.000000e+00 | -- | Inf | unknown 498.42/500.28 c 500s| 1 | 0 |230665 | - | 375M | 0 | 16k| 16k| 16k| 116 | 11 | 150 | 0 | 0.000000e+00 | -- | Inf | unknown 498.42/500.28 c (node 1) LP solver hit time limit in LP 13 -- using pseudo solution instead 498.42/500.28 c 498.42/500.28 c SCIP Status : solving was interrupted [time limit reached] 498.42/500.28 c Solving Time (sec) : 500.00 498.42/500.28 c Solving Nodes : 1 498.42/500.28 c Primal Bound : +1.00000000000000e+20 (0 solutions) 498.42/500.28 c Dual Bound : +0.00000000000000e+00 498.42/500.28 c Gap : infinite 498.42/500.28 c ---------------------------------------------------------------------- 498.42/500.28 c dual bound: 0.0 -> 0 498.42/500.28 c primal bound: 1e+20 -> 100000000000000000000 498.42/500.28 c scip-goal-lb: 0 498.42/500.28 c scip-goal-ub: 100000000000000000000 498.42/500.28 c writing output to: HOME/tmpkp1h9_tc.opb 498.42/500.28 c appending fixed variable constraints 498.42/500.28 c scip-fixed vars: 9.35% (1526/16323) 498.42/500.28 c ---------------------------------------------------------------------- 498.42/500.28 c executing external solver: HOME/naps-1.03a6 498.42/500.28 c ---------------------------------------------------------------------- 498.42/500.28 c command: HOME/naps-1.03a6 HOME/tmpkp1h9_tc.opb 498.42/500.29 c NaPS 1.03a6. 498.42/500.29 c Input file name: HOME/tmpkp1h9_tc.opb 3600.03/3610.80 c 3600.03/3610.80 c *** TERMINATED *** by signal 15 3600.03/3610.80 c s UNKNOWN 3600.03/3610.80 c _____________________________________________________________________________ 3600.03/3610.80 c std/band forms : 150,0 3600.03/3610.80 c 2cl/3cl ITE-codings : 0,0 3600.03/3610.80 c BDD/srt/adr Max costs : 0,2726,0 3600.03/3610.80 c BDDraw/bin/mul/srt/adr: 0,0,0,150,0 3600.03/3610.80 c BDD nodes : 0 3600.03/3610.80 c Es1/CC detections : 0,0 3600.03/3610.80 c CC sort : 150 3600.03/3610.80 c SAT/UNSAT calls : 0,0 3600.03/3610.80 c regenrated variables : 0 3600.03/3610.80 c eliminated fixed lits : 1694 3600.03/3610.80 c goal lit flips : 0 3600.03/3610.80 c goal stages : 0 3600.03/3610.80 c goal shrink : 0 3600.03/3610.80 c goal coeff separations: 0 3600.03/3610.80 c restarts : 0 3600.03/3610.80 c conflicts : 0 (0 /sec) 3600.03/3610.80 c decisions : 0 (0 /sec) 3600.03/3610.80 c propagations : 0 (0 /sec) 3600.03/3610.80 c inspects : 0 (0 /sec) 3600.03/3610.80 c CPU time (solving tm) : 3101 s (3100 s, SAT 0 s, UNSAT 0 s) 3600.03/3610.80 c Time for Opt-base : 0.002999 s 3600.03/3610.80 c Steps for Opt-base : 0 3600.03/3610.80 c Time for BDD coding : 0 s 3600.03/3610.80 c Time for srt coding : 0.05225 s 3600.03/3610.80 c _____________________________________________________________________________ 3600.03/3610.80 s UNKNOWN 3600.16/3610.93 c received SIGTERM, forwarding to pbsolver... 3600.16/3610.93 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: 63665 MiB (57089 MiB free) memory of node 1: 64507 MiB (45278 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529841-1752258607/watcher-4529841-1752258607 -o /tmp/evaluation-result-4529841-1752258607/solver-4529841-1752258607 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1752258607-127220 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529841-1752258607.opb running on 2 cores: 0,2 CPU governors: performance: 0 2 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 Linux 5.14.0-503.14.1.el9_5.x86_64 Starting watchdog thread solver pid=127266, runsolver pid=127260 Current StackSize limit: 8192 KiB [startup+0.10006 s]* /proc/loadavg: 3.09 2.53 3.14 5/270 127295 /proc/meminfo: memFree=104805740/131249988 swapFree=33010160/33010684 [pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2 /proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0 /proc/127266/statm: 1048 736 672 219 0 110 0 [pid=127290] ppid=127266 vsize=127420 memory=26880 CPUtime=0.04 cores=0,2 /proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 2952 0 0 0 3 1 0 0 20 0 1 0 141539593 130478080 6720 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0 /proc/127290/statm: 31855 6720 4256 1 0 3957 0 Current children cumulated CPU time: 0.04 s Current children cumulated vsize: 131612 KiB Current children cumulated memory: 29824 KiB [startup+0.205796 s]* /proc/loadavg: 3.09 2.53 3.14 5/270 127295 /proc/meminfo: memFree=104691136/131249988 swapFree=33010160/33010684 [pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2 /proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0 /proc/127266/statm: 1048 736 672 219 0 110 0 [pid=127290] ppid=127266 vsize=1222232 memory=73568 CPUtime=0.14 cores=0,2 /proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 11790 0 1 0 11 3 0 0 20 0 1 0 141539593 1251565568 18392 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0 /proc/127290/statm: 305558 18392 7520 1 0 276916 0 Current children cumulated CPU time: 0.14 s Current children cumulated vsize: 1226424 KiB Current children cumulated memory: 76512 KiB [startup+0.305885 s]* /proc/loadavg: 3.09 2.53 3.14 5/270 127295 /proc/meminfo: memFree=104489920/131249988 swapFree=33010160/33010684 [pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2 /proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0 /proc/127266/statm: 1048 736 672 219 0 110 0 [pid=127290] ppid=127266 vsize=1270996 memory=120928 CPUtime=0.24 cores=0,2 /proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 23361 0 1 0 19 5 0 0 20 0 1 0 141539593 1301499904 30232 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0 /proc/127290/statm: 317749 30232 7808 1 0 289107 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 1275188 KiB Current children cumulated memory: 123872 KiB [startup+0.700197 s] /proc/loadavg: 3.09 2.53 3.14 5/270 127295 /proc/meminfo: memFree=104336704/131249988 swapFree=33010160/33010684 [pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2 /proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0 /proc/127266/statm: 1048 736 672 219 0 110 0 [pid=127290] ppid=127266 vsize=1303252 memory=152032 CPUtime=0.64 cores=0,2 /proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 31203 0 1 0 57 7 0 0 20 0 1 0 141539593 1334530048 38008 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0 /proc/127290/statm: 325813 38008 7840 1 0 297171 0 Current children cumulated CPU time: 0.64 s Current children cumulated vsize: 1307444 KiB Current children cumulated memory: 154976 KiB [startup+1.5002 s] /proc/loadavg: 3.09 2.53 3.14 5/270 127295 /proc/meminfo: memFree=104228220/131249988 swapFree=33010160/33010684 [pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2 /proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0 /proc/127266/statm: 1048 736 672 219 0 110 0 [pid=127290] ppid=127266 vsize=1345088 memory=190388 CPUtime=1.44 cores=0,2 /proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 39818 0 1 0 136 8 0 0 20 0 1 0 141539593 1377370112 47597 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0 /proc/127290/statm: 336272 47597 7872 1 0 307630 0 Current children cumulated CPU time: 1.44 s Current children cumulated vsize: 1349280 KiB Current children cumulated memory: 193332 KiB [startup+3.10559 s] /proc/loadavg: 3.16 2.56 3.14 5/270 127295 /proc/meminfo: memFree=104161816/131249988 swapFree=33010160/33010684 [pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2 /proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0 /proc/127266/statm: 1048 736 672 219 0 110 0 [pid=127290] ppid=127266 vsize=1345676 memory=191028 CPUtime=3.03 cores=0,2 /proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 39965 0 1 0 295 8 0 0 20 0 1 0 141539593 1377972224 47757 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0 /proc/127290/statm: 336419 47757 7872 1 0 307777 0 Current children cumulated CPU time: 3.03 s Current children cumulated vsize: 1349868 KiB Current children cumulated memory: 193972 KiB [startup+6.30019 s] /proc/loadavg: 3.16 2.56 3.14 5/270 127295 /proc/meminfo: memFree=104153508/131249988 swapFree=33010160/33010684 [pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2 /proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0 /proc/127266/statm: 1048 736 672 219 0 110 0 [pid=127290] ppid=127266 vsize=1347876 memory=192820 CPUtime=6.22 cores=0,2 /proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 40410 0 1 0 614 8 0 0 20 0 1 0 141539593 1380225024 48205 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0 /proc/127290/statm: 336969 48205 7872 1 0 308327 0 Current children cumulated CPU time: 6.22 s Current children cumulated vsize: 1352068 KiB Current children cumulated memory: 195764 KiB [startup+12.7002 s] /proc/loadavg: 3.23 2.58 3.15 5/271 127296 /proc/meminfo: memFree=104130704/131249988 swapFree=33010160/33010684 [pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2 /proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0 /proc/127266/statm: 1048 736 672 219 0 110 0 [pid=127290] ppid=127266 vsize=1352768 memory=197684 CPUtime=12.6 cores=0,2 /proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 41645 0 1 0 1252 8 0 0 20 0 1 0 141539593 1385234432 49421 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0 /proc/127290/statm: 338192 49421 7904 1 0 309550 0 Current children cumulated CPU time: 12.6 s Current children cumulated vsize: 1356960 KiB Current children cumulated memory: 200628 KiB [startup+25.5002 s] /proc/loadavg: 3.48 2.67 3.17 5/272 127298 /proc/meminfo: memFree=104129980/131249988 swapFree=33010160/33010684 [pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2 /proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0 /proc/127266/statm: 1048 736 672 219 0 110 0 [pid=127290] ppid=127266 vsize=1354400 memory=199220 CPUtime=25.36 cores=0,2 /proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 42051 0 1 0 2527 9 0 0 20 0 1 0 141539593 1386905600 49805 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0 /proc/127290/statm: 338600 49805 7904 1 0 309958 0 Current children cumulated CPU time: 25.36 s Current children cumulated vsize: 1358592 KiB Current children cumulated memory: 202164 KiB [startup+51.1057 s] /proc/loadavg: 3.66 2.78 3.19 5/272 127298 /proc/meminfo: memFree=103568136/131249988 swapFree=33010160/33010684 [pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2 /proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0 /proc/127266/statm: 1048 736 672 219 0 110 0 [pid=127290] ppid=127266 vsize=1531904 memory=324280 CPUtime=50.89 cores=0,2 /proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 74573 0 1 0 5076 13 0 0 20 0 1 0 141539593 1568669696 81070 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0 /proc/127290/statm: 382976 81070 8096 1 0 354334 0 Current children cumulated CPU time: 50.89 s Current children cumulated vsize: 1536096 KiB Current children cumulated memory: 327224 KiB [startup+102.3 s] /proc/loadavg: 3.90 2.98 3.24 5/274 127308 /proc/meminfo: memFree=103564056/131249988 swapFree=33010160/33010684 [pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2 /proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0 /proc/127266/statm: 1048 736 672 219 0 110 0 [pid=127290] ppid=127266 vsize=1539504 memory=331704 CPUtime=101.92 cores=0,2 /proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 76429 0 1 0 10178 14 0 0 20 0 1 0 141539593 1576452096 82926 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0 /proc/127290/statm: 384876 82926 8096 1 0 356234 0 Current children cumulated CPU time: 101.92 s Current children cumulated vsize: 1543696 KiB Current children cumulated memory: 334648 KiB [startup+162.3 s] /proc/loadavg: 4.00 3.18 3.30 5/274 127310 /proc/meminfo: memFree=103556612/131249988 swapFree=33010160/33010684 [pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2 /proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0 /proc/127266/statm: 1048 736 672 219 0 110 0 [pid=127290] ppid=127266 vsize=1539504 memory=331704 CPUtime=161.74 cores=0,2 /proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 76429 0 1 0 16160 14 0 0 20 0 1 0 141539593 1576452096 82926 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0 /proc/127290/statm: 384876 82926 8096 1 0 356234 0 Current children cumulated CPU time: 161.74 s Current children cumulated vsize: 1543696 KiB Current children cumulated memory: 334648 KiB [startup+222.3 s] /proc/loadavg: 4.05 3.35 3.35 5/274 127312 /proc/meminfo: memFree=103466220/131249988 swapFree=33010160/33010684 [pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2 /proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0 /proc/127266/statm: 1048 736 672 219 0 110 0 [pid=127290] ppid=127266 vsize=1613684 memory=403292 CPUtime=221.51 cores=0,2 /proc/127290/stat : 127290 (python3) R 127266 127266 115142 0 -1 4194304 85094 0 1 0 22135 16 0 0 20 0 1 0 141539593 1652412416 100823 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0 /proc/127290/statm: 403421 100823 8128 1 0 374779 0 Current children cumulated CPU time: 221.51 s ################ # More data... # ################ /proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0 /proc/127266/statm: 1048 736 672 219 0 110 0 [pid=127290] ppid=127266 vsize=1666588 memory=453260 CPUtime=498.51 cores=0,2 /proc/127290/stat : 127290 (python3) S 127266 127266 115142 0 -1 4194304 95610 0 1 0 49831 20 0 0 20 0 1 0 141539593 1706586112 113315 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0 /proc/127290/statm: 416647 113315 8160 1 0 388005 0 [pid=127322] ppid=127290 vsize=153260 memory=136476 CPUtime=2714.03 cores=0,2 /proc/127322/stat : 127322 (naps-1.03a6) R 127290 127322 127322 0 -1 4194304 125368 0 0 0 271328 75 0 0 20 0 1 0 141589618 156938240 34119 18446744073709551615 4198400 7047149 140732718081424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 33243136 140732718086543 140732718086641 140732718086641 140732718092233 0 /proc/127322/statm: 38315 34119 544 696 0 37476 0 Current children cumulated CPU time: 3212.54 s Current children cumulated vsize: 1824040 KiB Current children cumulated memory: 592680 KiB [startup+3282.3 s] /proc/loadavg: 4.06 4.08 4.04 5/270 127620 /proc/meminfo: memFree=100111160/131249988 swapFree=33010160/33010684 [pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2 /proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0 /proc/127266/statm: 1048 736 672 219 0 110 0 [pid=127290] ppid=127266 vsize=1666588 memory=453260 CPUtime=498.51 cores=0,2 /proc/127290/stat : 127290 (python3) S 127266 127266 115142 0 -1 4194304 95610 0 1 0 49831 20 0 0 20 0 1 0 141539593 1706586112 113315 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0 /proc/127290/statm: 416647 113315 8160 1 0 388005 0 [pid=127322] ppid=127290 vsize=169644 memory=136992 CPUtime=2773.87 cores=0,2 /proc/127322/stat : 127322 (naps-1.03a6) R 127290 127322 127322 0 -1 4194304 128852 0 0 0 277311 76 0 0 20 0 1 0 141589618 173715456 34248 18446744073709551615 4198400 7047149 140732718081424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 33243136 140732718086543 140732718086641 140732718086641 140732718092233 0 /proc/127322/statm: 42411 34248 544 696 0 41572 0 Current children cumulated CPU time: 3272.38 s Current children cumulated vsize: 1840424 KiB Current children cumulated memory: 593196 KiB [startup+3342.3 s] /proc/loadavg: 4.13 4.09 4.05 5/272 127624 /proc/meminfo: memFree=97387792/131249988 swapFree=33010160/33010684 [pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2 /proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0 /proc/127266/statm: 1048 736 672 219 0 110 0 [pid=127290] ppid=127266 vsize=1666588 memory=453260 CPUtime=498.51 cores=0,2 /proc/127290/stat : 127290 (python3) S 127266 127266 115142 0 -1 4194304 95610 0 1 0 49831 20 0 0 20 0 1 0 141539593 1706586112 113315 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0 /proc/127290/statm: 416647 113315 8160 1 0 388005 0 [pid=127322] ppid=127290 vsize=136872 memory=124200 CPUtime=2833.71 cores=0,2 /proc/127322/stat : 127322 (naps-1.03a6) R 127290 127322 127322 0 -1 4194304 131280 0 0 0 283293 78 0 0 20 0 1 0 141589618 140156928 31050 18446744073709551615 4198400 7047149 140732718081424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 33243136 140732718086543 140732718086641 140732718086641 140732718092233 0 /proc/127322/statm: 34218 31050 544 696 0 33379 0 Current children cumulated CPU time: 3332.22 s Current children cumulated vsize: 1807652 KiB Current children cumulated memory: 580404 KiB [startup+3402.3 s] /proc/loadavg: 4.10 4.09 4.05 5/272 127626 /proc/meminfo: memFree=98398904/131249988 swapFree=33010160/33010684 [pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2 /proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0 /proc/127266/statm: 1048 736 672 219 0 110 0 [pid=127290] ppid=127266 vsize=1666588 memory=453260 CPUtime=498.51 cores=0,2 /proc/127290/stat : 127290 (python3) S 127266 127266 115142 0 -1 4194304 95610 0 1 0 49831 20 0 0 20 0 1 0 141539593 1706586112 113315 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0 /proc/127290/statm: 416647 113315 8160 1 0 388005 0 [pid=127322] ppid=127290 vsize=136752 memory=129988 CPUtime=2893.55 cores=0,2 /proc/127322/stat : 127322 (naps-1.03a6) R 127290 127322 127322 0 -1 4194304 134799 0 0 0 289276 79 0 0 20 0 1 0 141589618 140034048 32497 18446744073709551615 4198400 7047149 140732718081424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 33243136 140732718086543 140732718086641 140732718086641 140732718092233 0 /proc/127322/statm: 34188 32497 544 696 0 33349 0 Current children cumulated CPU time: 3392.06 s Current children cumulated vsize: 1807532 KiB Current children cumulated memory: 586192 KiB [startup+3462.3 s] /proc/loadavg: 4.12 4.09 4.05 5/271 127628 /proc/meminfo: memFree=98489260/131249988 swapFree=33010160/33010684 [pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2 /proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0 /proc/127266/statm: 1048 736 672 219 0 110 0 [pid=127290] ppid=127266 vsize=1666588 memory=453260 CPUtime=498.51 cores=0,2 /proc/127290/stat : 127290 (python3) S 127266 127266 115142 0 -1 4194304 95610 0 1 0 49831 20 0 0 20 0 1 0 141539593 1706586112 113315 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0 /proc/127290/statm: 416647 113315 8160 1 0 388005 0 [pid=127322] ppid=127290 vsize=128684 memory=124176 CPUtime=2953.4 cores=0,2 /proc/127322/stat : 127322 (naps-1.03a6) R 127290 127322 127322 0 -1 4194304 137378 0 0 0 295259 81 0 0 20 0 1 0 141589618 131772416 31044 18446744073709551615 4198400 7047149 140732718081424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 33243136 140732718086543 140732718086641 140732718086641 140732718092233 0 /proc/127322/statm: 32171 31044 544 696 0 31332 0 Current children cumulated CPU time: 3451.91 s Current children cumulated vsize: 1799464 KiB Current children cumulated memory: 580380 KiB [startup+3522.3 s] /proc/loadavg: 4.18 4.10 4.05 5/271 127630 /proc/meminfo: memFree=98619812/131249988 swapFree=33010160/33010684 [pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2 /proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0 /proc/127266/statm: 1048 736 672 219 0 110 0 [pid=127290] ppid=127266 vsize=1666588 memory=453260 CPUtime=498.51 cores=0,2 /proc/127290/stat : 127290 (python3) S 127266 127266 115142 0 -1 4194304 95610 0 1 0 49831 20 0 0 20 0 1 0 141539593 1706586112 113315 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0 /proc/127290/statm: 416647 113315 8160 1 0 388005 0 [pid=127322] ppid=127290 vsize=153260 memory=134440 CPUtime=3013.25 cores=0,2 /proc/127322/stat : 127322 (naps-1.03a6) R 127290 127322 127322 0 -1 4194304 139970 0 0 0 301244 81 0 0 20 0 1 0 141589618 156938240 33610 18446744073709551615 4198400 7047149 140732718081424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 33243136 140732718086543 140732718086641 140732718086641 140732718092233 0 /proc/127322/statm: 38315 33610 544 696 0 37476 0 Current children cumulated CPU time: 3511.76 s Current children cumulated vsize: 1824040 KiB Current children cumulated memory: 590644 KiB [startup+3582.3 s] /proc/loadavg: 4.31 4.17 4.08 5/271 127631 /proc/meminfo: memFree=98630400/131249988 swapFree=33010160/33010684 [pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2 /proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0 /proc/127266/statm: 1048 736 672 219 0 110 0 [pid=127290] ppid=127266 vsize=1666588 memory=453260 CPUtime=498.51 cores=0,2 /proc/127290/stat : 127290 (python3) S 127266 127266 115142 0 -1 4194304 95610 0 1 0 49831 20 0 0 20 0 1 0 141539593 1706586112 113315 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0 /proc/127290/statm: 416647 113315 8160 1 0 388005 0 [pid=127322] ppid=127290 vsize=136876 memory=128968 CPUtime=3073.09 cores=0,2 /proc/127322/stat : 127322 (naps-1.03a6) R 127290 127322 127322 0 -1 4194304 142700 0 0 0 307227 82 0 0 20 0 1 0 141589618 140161024 32242 18446744073709551615 4198400 7047149 140732718081424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 33243136 140732718086543 140732718086641 140732718086641 140732718092233 0 /proc/127322/statm: 34219 32242 544 696 0 33380 0 Current children cumulated CPU time: 3571.6 s Current children cumulated vsize: 1807656 KiB Current children cumulated memory: 585172 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+3610.8 s] /proc/loadavg: 4.25 4.17 4.09 4/268 127647 /proc/meminfo: memFree=99203572/131249988 swapFree=33010160/33010684 [pid=127266] ppid=127260 vsize=4192 memory=2944 CPUtime=0 cores=0,2 /proc/127266/stat : 127266 (scip-naps-1.00a) S 127260 127266 115142 0 -1 4194304 260 340 0 0 0 0 0 0 20 0 1 0 141539589 4292608 736 18446744073709551615 94464873672704 94464874567237 140722508224816 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94464874806288 94464874854032 94464878026752 140722508229019 140722508229118 140722508229118 140722508234722 0 /proc/127266/statm: 1048 736 672 219 0 110 0 [pid=127290] ppid=127266 vsize=1666588 memory=453260 CPUtime=498.51 cores=0,2 /proc/127290/stat : 127290 (python3) S 127266 127266 115142 0 -1 4194304 95610 0 1 0 49831 20 0 0 20 0 1 0 141539593 1706586112 113315 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0 /proc/127290/statm: 416647 113315 8160 1 0 388005 0 [pid=127322] ppid=127290 vsize=136876 memory=133956 CPUtime=3101.52 cores=0,2 /proc/127322/stat : 127322 (naps-1.03a6) R 127290 127322 127322 0 -1 4194304 145253 0 0 0 310068 84 0 0 20 0 1 0 141589618 140161024 33489 18446744073709551615 4198400 7047149 140732718081424 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 33243136 140732718086543 140732718086641 140732718086641 140732718092233 0 /proc/127322/statm: 34219 33489 544 696 0 33380 0 Current children cumulated CPU time: 3600.03 s Current children cumulated vsize: 1807656 KiB Current children cumulated memory: 590160 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+3610.82 s] # the end of solver process 127266 was just reported to runsolver # Child ended because it received signal 15 (SIGTERM) # cumulated CPU time of all completed processes: user=0.002427 s, system=0.00433 s [startup+3610.97 s] # the end of solver process 127290 was just reported to runsolver # Child status: 0 # cumulated CPU time of all completed processes: user=3599.14 s, system=1.08442 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+3610.92 s]* /proc/loadavg: 4.25 4.17 4.09 5/268 127682 /proc/meminfo: memFree=99276680/131249988 swapFree=33010160/33010684 [pid=127290] ppid=127260 vsize=1617616 memory=405144 CPUtime=3600.15 cores=0,2 /proc/127290/stat : 127290 (python3) R 127260 127266 115142 0 -1 4194304 128235 145254 1 0 49842 21 310068 84 20 0 1 0 141539593 1656438784 101286 18446744073709551615 94319933681664 94319933682041 140736369325488 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94319933693336 94319933693956 94319948943360 140736369330511 140736369330720 140736369330720 140736369336295 0 /proc/127290/statm: 404404 101286 8160 1 0 375762 0 Current cumulated CPU time of completed processes: 0.006757 s Current children cumulated CPU time: 3600.15 s Current children cumulated vsize: 1617616 KiB Current children cumulated memory: 405144 KiB Child status: 0 Real time (s): 3610.97 CPU time (s): 3600.23 CPU user time (s): 3599.14 CPU system time (s): 1.08442 CPU usage (%): 99.7025 Max. virtual memory (cumulated for all children) (KiB): 1840964 Max. memory (cumulated for all children) (KiB): 600876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3599.14 system time used= 1.08442 maximum resident set size= 453260 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 279333 page faults= 1 swaps= 0 block input operations= 0 block output operations= 2448 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 534 involuntary context switches= 8088 # summary of solver processes directly reported to runsolver: # pid: 127266,127290 # total CPU time (s): 3600.23 # total CPU user time (s): 3599.14 # total CPU system time (s): 1.08442 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.51157 second user time and 16.5548 second system time The end
Begin job on nodeC034 at 2025-07-11 20:30:07 IDJOB=4529841 IDBENCH=158322 IDSOLVER=3388 FILE ID=nodeC034/4529841-1752258607 RUNJOBID= nodeC034-1752258607-127220 SLURM_JOB_ID= 9682613 Free space on /tmp= 429940 MiB SOLVER NAME= SCIP-NaPS 1.00a2 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K150.opb COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529841-1752258607/watcher-4529841-1752258607 -o /tmp/evaluation-result-4529841-1752258607/solver-4529841-1752258607 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1752258607-127220 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4529841-1752258607.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= de861f201885d7430b03c8868c66597b RANDOM SEED=296693667 nodeC034 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 : 3601.430 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.53 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 : 2540.484 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.53 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.718 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.53 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.757 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.53 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 : 3603.187 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.53 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.532 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.53 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.765 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.53 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.496 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.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 104823460 kB MemAvailable: 129644220 kB Buffers: 2128 kB Cached: 25554504 kB SwapCached: 36 kB Active: 613572 kB Inactive: 25023800 kB Active(anon): 96648 kB Inactive(anon): 2160 kB Active(file): 516924 kB Inactive(file): 25021640 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 27384 kB Writeback: 48 kB AnonPages: 84124 kB Mapped: 105900 kB Shmem: 18068 kB KReclaimable: 242468 kB Slab: 340224 kB SReclaimable: 242468 kB SUnreclaim: 97756 kB KernelStack: 4180 kB PageTables: 2912 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 343884 kB VmallocTotal: 34359738367 kB VmallocUsed: 150424 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 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: 189140 kB DirectMap2M: 7970816 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 429900 MiB End job on nodeC034 at 2025-07-11 21:30:19