Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIP-NaPS 1.00a1 | ? (TO) | 3600.39 | 3611.58 |
Name | PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-ab51-40-100.0.u.opb |
MD5SUM | 84d6a262f1f6531f4a7714720272edd7 |
Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 56.7591 |
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 | 12675 |
Total number of constraints | 11891 |
Number of constraints which are clauses | 11766 |
Number of constraints which are cardinality constraints (but not clauses) | 124 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 11734 |
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 | 1285216 |
Number of bits of the biggest number in a constraint | 21 |
Biggest sum of numbers in a constraint | 501285383 |
Number of bits of the biggest sum of numbers | 29 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
18.60/18.85 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4515179-1751227496.opb 18.60/18.85 c Solving mode: decision 18.60/18.85 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 18.60/18.85 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 18.60/18.85 c original problem has 12675 variables (12675 bin, 0 int, 0 impl, 0 cont) and 11891 constraints 18.60/18.85 c presolving: 18.60/18.85 c (round 1, fast) 32 del vars, 32 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 11858 clqs 18.60/18.85 c (round 2, exhaustive) 32 del vars, 32 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 11859 upgd conss, 0 impls, 11858 clqs 18.60/18.85 c (3.4s) probing: 1000/12643 (7.9%) - 0 fixings, 0 aggregations, 523546 implications, 0 bound changes 18.60/18.85 c (3.5s) probing: 1001/12643 (7.9%) - 0 fixings, 0 aggregations, 523580 implications, 0 bound changes 18.60/18.85 c (3.5s) probing aborted: 1000/1000 successive useless probings 18.60/18.85 c (3.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 18.60/18.85 c (3.7s) symmetry computation finished: 1500 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.14) 18.60/18.85 c dynamic symmetry handling statistics: 18.60/18.85 c orbitopal reduction: no components 18.60/18.85 c orbital reduction: no components 18.60/18.85 c lexicographic reduction: 18 permutations with support sizes 16, 16, 20, 16, 16, 16, 16, 16, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20 18.60/18.85 c handled 1496 out of 1496 symmetry components 18.60/18.85 c (round 3, exhaustive) 41 del vars, 32 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 11859 upgd conss, 0 impls, 60003 clqs 18.60/18.85 c (round 4, exhaustive) 41 del vars, 41 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60003 clqs 18.60/18.85 c (round 5, exhaustive) 66 del vars, 41 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59838 clqs 18.60/18.85 c (round 6, fast) 66 del vars, 91 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59838 clqs 18.60/18.85 c (round 7, exhaustive) 92 del vars, 92 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59605 clqs 18.60/18.85 c (round 8, fast) 92 del vars, 142 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59605 clqs 18.60/18.85 c (round 9, exhaustive) 120 del vars, 145 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59541 clqs 18.60/18.85 c (round 10, fast) 120 del vars, 195 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59541 clqs 18.60/18.85 c (round 11, exhaustive) 153 del vars, 203 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59629 clqs 18.60/18.85 c (round 12, fast) 153 del vars, 253 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59629 clqs 18.60/18.85 c (round 13, exhaustive) 182 del vars, 257 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59580 clqs 18.60/18.85 c (round 14, fast) 182 del vars, 307 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59580 clqs 18.60/18.85 c (round 15, exhaustive) 213 del vars, 313 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59573 clqs 18.60/18.85 c (round 16, fast) 213 del vars, 363 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59573 clqs 18.60/18.85 c (round 17, exhaustive) 245 del vars, 370 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59636 clqs 18.60/18.85 c (round 18, fast) 245 del vars, 420 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59636 clqs 18.60/18.85 c (round 19, exhaustive) 275 del vars, 425 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59595 clqs 18.60/18.85 c (round 20, fast) 275 del vars, 475 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59595 clqs 18.60/18.85 c (round 21, exhaustive) 306 del vars, 481 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59727 clqs 18.60/18.85 c (round 22, fast) 306 del vars, 531 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59727 clqs 18.60/18.85 c (round 23, exhaustive) 335 del vars, 535 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59651 clqs 18.60/18.85 c (round 24, fast) 335 del vars, 585 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59651 clqs 18.60/18.85 c (11.6s) probing: 2000/12643 (15.8%) - 268 fixings, 0 aggregations, 2093277 implications, 0 bound changes 18.60/18.85 c (round 25, exhaustive) 368 del vars, 593 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59742 clqs 18.60/18.85 c (round 26, fast) 368 del vars, 643 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59742 clqs 18.60/18.85 c (round 27, exhaustive) 398 del vars, 648 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59682 clqs 18.60/18.85 c (round 28, fast) 398 del vars, 698 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59682 clqs 18.60/18.85 c (round 29, exhaustive) 430 del vars, 705 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59759 clqs 18.60/18.85 c (round 30, fast) 430 del vars, 755 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59759 clqs 18.60/18.85 c (round 31, exhaustive) 458 del vars, 758 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59771 clqs 18.60/18.85 c (round 32, fast) 458 del vars, 808 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59771 clqs 18.60/18.85 c (round 33, exhaustive) 488 del vars, 813 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59717 clqs 18.60/18.85 c (round 34, fast) 488 del vars, 863 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59717 clqs 18.60/18.85 c (round 35, exhaustive) 520 del vars, 870 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59915 clqs 18.60/18.85 c (round 36, fast) 520 del vars, 920 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59915 clqs 18.60/18.85 c (round 37, exhaustive) 548 del vars, 923 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59759 clqs 18.60/18.85 c (round 38, fast) 548 del vars, 973 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59759 clqs 18.60/18.85 c (round 39, exhaustive) 576 del vars, 976 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59900 clqs 18.60/18.85 c (round 40, fast) 576 del vars, 1026 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59900 clqs 18.60/18.85 c (round 41, exhaustive) 605 del vars, 1030 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59772 clqs 18.60/18.85 c (round 42, fast) 605 del vars, 1080 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59772 clqs 18.60/18.85 c (round 43, exhaustive) 637 del vars, 1087 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60005 clqs 18.60/18.85 c (round 44, fast) 637 del vars, 1137 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60005 clqs 18.60/18.85 c (round 45, exhaustive) 663 del vars, 1138 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59923 clqs 34.87/35.13 c (round 46, fast) 663 del vars, 1188 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59923 clqs 34.87/35.13 c (18.9s) probing: 3000/12643 (23.7%) - 546 fixings, 0 aggregations, 3547372 implications, 0 bound changes 34.87/35.13 c (round 47, exhaustive) 693 del vars, 1193 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59847 clqs 34.87/35.13 c (round 48, fast) 693 del vars, 1243 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59847 clqs 34.87/35.13 c (round 49, exhaustive) 725 del vars, 1250 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59884 clqs 34.87/35.13 c (round 50, fast) 725 del vars, 1300 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59884 clqs 34.87/35.13 c (round 51, exhaustive) 756 del vars, 1306 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60023 clqs 34.87/35.13 c (round 52, fast) 756 del vars, 1356 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60023 clqs 34.87/35.13 c (round 53, exhaustive) 786 del vars, 1361 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59875 clqs 34.87/35.13 c (round 54, fast) 786 del vars, 1411 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59875 clqs 34.87/35.13 c (round 55, exhaustive) 818 del vars, 1418 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59922 clqs 34.87/35.13 c (round 56, fast) 818 del vars, 1468 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59922 clqs 34.87/35.13 c (round 57, exhaustive) 849 del vars, 1474 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59888 clqs 34.87/35.13 c (round 58, fast) 849 del vars, 1524 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59888 clqs 34.87/35.13 c (round 59, exhaustive) 881 del vars, 1531 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59904 clqs 34.87/35.13 c (round 60, fast) 881 del vars, 1581 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59904 clqs 34.87/35.13 c (round 61, exhaustive) 915 del vars, 1590 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59875 clqs 34.87/35.13 c (round 62, fast) 915 del vars, 1640 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59875 clqs 34.87/35.13 c (round 63, exhaustive) 947 del vars, 1647 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59914 clqs 34.87/35.13 c (round 64, fast) 947 del vars, 1697 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59914 clqs 34.87/35.13 c (round 65, exhaustive) 981 del vars, 1706 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60040 clqs 34.87/35.13 c (round 66, fast) 981 del vars, 1756 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60040 clqs 34.87/35.13 c (round 67, exhaustive) 1010 del vars, 1760 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60040 clqs 34.87/35.13 c (round 68, fast) 1010 del vars, 1810 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60040 clqs 34.87/35.13 c (25.7s) probing: 4000/12643 (31.6%) - 811 fixings, 0 aggregations, 5066131 implications, 0 bound changes 34.87/35.13 c (round 69, exhaustive) 1042 del vars, 1817 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60069 clqs 34.87/35.13 c (round 70, fast) 1042 del vars, 1867 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60069 clqs 34.87/35.13 c (round 71, exhaustive) 1071 del vars, 1871 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59898 clqs 34.87/35.13 c (round 72, fast) 1071 del vars, 1921 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59898 clqs 34.87/35.13 c (round 73, exhaustive) 1105 del vars, 1930 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60040 clqs 34.87/35.13 c (round 74, fast) 1105 del vars, 1980 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60040 clqs 34.87/35.13 c (round 75, exhaustive) 1135 del vars, 1985 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60106 clqs 34.87/35.13 c (round 76, fast) 1135 del vars, 2035 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60106 clqs 34.87/35.13 c (round 77, exhaustive) 1166 del vars, 2041 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59985 clqs 34.87/35.13 c (round 78, fast) 1166 del vars, 2091 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59985 clqs 34.87/35.13 c (round 79, exhaustive) 1200 del vars, 2100 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60005 clqs 34.87/35.13 c (round 80, fast) 1200 del vars, 2150 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60005 clqs 34.87/35.13 c (round 81, exhaustive) 1231 del vars, 2156 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60225 clqs 34.87/35.13 c (round 82, fast) 1231 del vars, 2206 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60225 clqs 34.87/35.13 c (round 83, exhaustive) 1258 del vars, 2208 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60126 clqs 34.87/35.13 c (round 84, fast) 1258 del vars, 2258 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60126 clqs 34.87/35.13 c (round 85, exhaustive) 1287 del vars, 2262 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60036 clqs 34.87/35.13 c (round 86, fast) 1287 del vars, 2312 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60036 clqs 34.87/35.13 c (round 87, exhaustive) 1318 del vars, 2318 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60122 clqs 34.87/35.13 c (round 88, fast) 1318 del vars, 2368 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60122 clqs 34.87/35.13 c (round 89, exhaustive) 1345 del vars, 2370 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60214 clqs 34.87/35.13 c (round 90, fast) 1345 del vars, 2420 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60214 clqs 34.87/35.13 c (32.7s) probing: 5000/12643 (39.5%) - 1099 fixings, 0 aggregations, 6549713 implications, 0 bound changes 34.87/35.13 c (round 91, exhaustive) 1373 del vars, 2423 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60217 clqs 34.87/35.13 c (round 92, fast) 1373 del vars, 2473 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60217 clqs 34.87/35.13 c (round 93, exhaustive) 1403 del vars, 2478 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60099 clqs 34.87/35.13 c (round 94, fast) 1403 del vars, 2528 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60099 clqs 34.87/35.13 c (round 95, exhaustive) 1434 del vars, 2534 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60148 clqs 34.87/35.13 c (round 96, fast) 1434 del vars, 2584 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60148 clqs 34.87/35.13 c (round 97, exhaustive) 1467 del vars, 2592 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60109 clqs 346.49/347.73 c (round 98, fast) 1467 del vars, 2642 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60109 clqs 346.49/347.73 c (round 99, exhaustive) 1475 del vars, 2651 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 59906 clqs 346.49/347.73 c (round 100, exhaustive) 1500 del vars, 2651 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60130 clqs 346.49/347.73 c (round 101, fast) 1500 del vars, 2701 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60130 clqs 346.49/347.73 c (round 102, exhaustive) 1530 del vars, 2706 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60069 clqs 346.49/347.73 c (round 103, fast) 1530 del vars, 2756 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60069 clqs 346.49/347.73 c (round 104, exhaustive) 1563 del vars, 2764 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60101 clqs 346.49/347.73 c (round 105, fast) 1563 del vars, 2814 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60101 clqs 346.49/347.73 c (round 106, exhaustive) 1596 del vars, 2822 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60162 clqs 346.49/347.73 c (round 107, fast) 1596 del vars, 2872 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60162 clqs 346.49/347.73 c (round 108, exhaustive) 1627 del vars, 2878 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60144 clqs 346.49/347.73 c (round 109, fast) 1627 del vars, 2928 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60144 clqs 346.49/347.73 c (round 110, exhaustive) 1660 del vars, 2936 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60151 clqs 346.49/347.73 c (round 111, fast) 1660 del vars, 2986 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60151 clqs 346.49/347.73 c (round 112, exhaustive) 1691 del vars, 2992 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60201 clqs 346.49/347.73 c (round 113, fast) 1691 del vars, 3042 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60201 clqs 346.49/347.73 c (round 114, exhaustive) 1724 del vars, 3050 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60246 clqs 346.49/347.73 c (round 115, fast) 1724 del vars, 3100 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60246 clqs 346.49/347.73 c (39.7s) probing: 6000/12643 (47.5%) - 1385 fixings, 0 aggregations, 7953242 implications, 0 bound changes 346.49/347.73 c (round 116, exhaustive) 1753 del vars, 3104 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60310 clqs 346.49/347.73 c (round 117, fast) 1753 del vars, 3154 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60310 clqs 346.49/347.73 c (round 118, exhaustive) 1781 del vars, 3157 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60249 clqs 346.49/347.73 c (round 119, fast) 1781 del vars, 3207 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60249 clqs 346.49/347.73 c (round 120, exhaustive) 1810 del vars, 3211 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60309 clqs 346.49/347.73 c (round 121, fast) 1810 del vars, 3261 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60309 clqs 346.49/347.73 c (round 122, exhaustive) 1839 del vars, 3266 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60382 clqs 346.49/347.73 c (round 123, fast) 1839 del vars, 3305 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60382 clqs 346.49/347.73 c (44.6s) probing: 7000/12643 (55.4%) - 1492 fixings, 0 aggregations, 8824424 implications, 0 bound changes 346.49/347.73 c (round 124, exhaustive) 1870 del vars, 3311 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60508 clqs 346.49/347.73 c (round 125, fast) 1870 del vars, 3346 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60508 clqs 346.49/347.73 c (51.4s) probing: 8000/12643 (63.3%) - 1516 fixings, 0 aggregations, 9689902 implications, 0 bound changes 346.49/347.73 c (58.9s) probing: 8765/12643 (69.3%) - 1516 fixings, 0 aggregations, 10672439 implications, 0 bound changes 346.49/347.73 c (58.9s) probing aborted: 1000/1000 successive useless probings 346.49/347.73 c (round 126, exhaustive) 1889 del vars, 3350 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60799 clqs 346.49/347.73 c (round 127, fast) 1889 del vars, 3364 del conss, 1480 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 13334 upgd conss, 0 impls, 60799 clqs 346.49/347.73 c (60.0s) probing: 8865/12643 (70.1%) - 1516 fixings, 0 aggregations, 10803770 implications, 0 bound changes 346.49/347.73 c (60.0s) probing aborted: 1000/1000 successive useless probings 346.49/347.73 c presolving (128 rounds: 128 fast, 66 medium, 66 exhaustive): 346.49/347.73 c 1889 deleted vars, 3364 deleted constraints, 1480 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 346.49/347.73 c 0 implications, 60830 cliques 346.49/347.73 c presolved problem has 10786 variables (10786 bin, 0 int, 0 impl, 0 cont) and 10007 constraints 346.49/347.73 c 1 constraints of type <knapsack> 346.49/347.73 c 10001 constraints of type <setppc> 346.49/347.73 c 5 constraints of type <orbitope> 346.49/347.73 c transformed objective value is always integral (scale: 1) 346.49/347.73 c Presolving Time: 59.96 346.49/347.73 c 346.49/347.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 346.49/347.73 c 70.0s| 1 | 0 | 8376 | - | 412M | 0 | 10k| 10k| 10k| 0 | 0 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown 346.49/347.73 c 73.7s| 1 | 0 | 19862 | - | 418M | 0 | 10k| 10k| 10k| 4 | 1 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown 346.49/347.73 c 74.4s| 1 | 0 | 20362 | - | 419M | 0 | 10k| 10k| 10k| 8 | 2 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown 346.49/347.73 c 75.2s| 1 | 0 | 21029 | - | 421M | 0 | 10k| 10k| 10k| 11 | 3 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown 346.49/347.73 c 76.0s| 1 | 0 | 21705 | - | 422M | 0 | 10k| 10k| 10k| 17 | 4 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown 346.49/347.73 c 76.6s| 1 | 0 | 21923 | - | 424M | 0 | 10k| 10k| 10k| 23 | 5 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown 346.49/347.73 c 77.4s| 1 | 0 | 22643 | - | 425M | 0 | 10k| 10k| 10k| 27 | 6 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown 346.49/347.73 c 78.1s| 1 | 0 | 23153 | - | 426M | 0 | 10k| 10k| 10k| 30 | 7 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown 346.49/347.73 c 79.0s| 1 | 0 | 24024 | - | 428M | 0 | 10k| 10k| 10k| 35 | 8 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown 346.49/347.73 c 80.0s| 1 | 0 | 25188 | - | 430M | 0 | 10k| 10k| 10k| 41 | 9 | 27 | 0 | 0.000000e+00 | -- | Inf | unknown 346.49/347.73 c 81.1s| 1 | 0 | 26292 | - | 431M | 0 | 10k| 10k| 10k| 46 | 10 | 27 | 0 | 0.000000e+00 | -- | Inf | unknown 346.49/347.73 c 81.5s| 1 | 0 | 26692 | - | 433M | 0 | 10k| 10k| 10k| 49 | 11 | 27 | 0 | 0.000000e+00 | -- | Inf | unknown 346.49/347.73 c 99.3s| 1 | 2 | 39394 | - | 434M | 0 | 10k| 10k| 10k| 49 | 11 | 47 | 29 | 0.000000e+00 | -- | Inf | unknown 346.49/347.73 c 226s| 100 | 33 |355161 |3317.9 | 463M | 22 | 10k| 10k| 10k| 85 | 0 | 798 | 29 | 0.000000e+00 | -- | Inf | 13.84% 346.49/347.73 c 287s| 200 | 33 |495481 |2355.7 | 470M | 22 | 10k| 10k| 10k| 126 | 0 | 900 | 29 | 0.000000e+00 | -- | Inf | 38.96% 498.82/500.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 498.82/500.53 c 347s| 300 | 35 |637662 |2043.4 | 479M | 22 | 10k| 11k| 10k| 205 | 0 |1271 | 29 | 0.000000e+00 | -- | Inf | 48.82% 498.82/500.53 c 412s| 400 | 28 |774745 |1874.8 | 482M | 22 | 10k| 11k| 10k| 223 | 0 |1424 | 29 | 0.000000e+00 | -- | Inf | 61.87% 498.82/500.53 c 452s| 500 | 20 |873224 |1696.5 | 487M | 38 | 10k| 11k| 10k| 264 | 1 |1570 | 29 | 0.000000e+00 | -- | Inf | 88.54% 498.82/500.53 c 485s| 600 | 8 |954765 |1549.4 | 491M | 38 | 10k| 11k| 10k| 318 | 1 |1734 | 29 | 0.000000e+00 | -- | Inf | 97.77% 498.82/500.53 c 498.82/500.53 c SCIP Status : solving was interrupted [time limit reached] 498.82/500.53 c Solving Time (sec) : 500.00 498.82/500.53 c Solving Nodes : 634 498.82/500.53 c Primal Bound : +1.00000000000000e+20 (0 solutions) 498.82/500.53 c Dual Bound : +0.00000000000000e+00 498.82/500.53 c Gap : infinite 498.82/500.53 c ---------------------------------------------------------------------- 498.82/500.53 c dual bound: 0.0 -> 0 498.82/500.53 c primal bound: 1e+20 -> 100000000000000000000 498.82/500.53 c scip-goal-lb: 0 498.82/500.53 c scip-goal-ub: 100000000000000000000 498.82/500.53 c writing output to: HOME/tmp3x40ws8u.opb 498.82/500.53 c appending fixed variable constraints 498.82/500.53 c scip-fixed vars: 53.59% (5780/10786) 498.82/500.53 c ---------------------------------------------------------------------- 498.82/500.53 c executing external solver: HOME/naps-1.03a6 498.82/500.53 c ---------------------------------------------------------------------- 498.82/500.53 c command: HOME/naps-1.03a6 HOME/tmp3x40ws8u.opb 498.82/500.55 c NaPS 1.03a6. 498.82/500.55 c Input file name: HOME/tmp3x40ws8u.opb 3600.09/3611.30 c 3600.09/3611.30 c *** TERMINATED *** by signal 15 3600.09/3611.30 c _____________________________________________________________________________ 3600.09/3611.30 c std/band forms : 125,0 3600.09/3611.30 c 2cl/3cl ITE-codings : 0,0 3600.09/3611.30 c BDD/srt/adr Max costs : 0,15423413,0 3600.09/3611.30 c BDDraw/bin/mul/srt/adr: 0,0,0,125,0 3600.09/3611.30 c BDD nodes : 0 3600.09/3611.30 c Es1/CC detections : 0,0 3600.09/3611.30 c CC sort : 124 3600.09/3611.30 c SAT/UNSAT calls : 0,0 3600.09/3611.30 c regenrated variables : 0 3600.09/3611.30 c eliminated fixed lits : 5779 3600.09/3611.30 c goal lit flips : 0 3600.09/3611.30 c goal stages : 0 3600.09/3611.30 c goal shrink : 0 3600.09/3611.30 c goal coeff separations: 0 3600.09/3611.30 c restarts : 0 3600.09/3611.30 c conflicts : 0 (0 /sec) 3600.09/3611.30 c decisions : 0 (0 /sec) 3600.09/3611.30 c propagations : 0 (0 /sec) 3600.09/3611.30 c inspects : 0 (0 /sec) 3600.09/3611.30 c CPU time (solving tm) : 3097 s (3068 s, SAT 0 s, UNSAT 0 s) 3600.09/3611.30 c Time for Opt-base : 17.39 s 3600.09/3611.30 c Steps for Opt-base : 102731170 3600.09/3611.30 c Time for BDD coding : 0 s 3600.09/3611.30 c Time for srt coding : 5.683 s 3600.09/3611.30 c _____________________________________________________________________________ 3600.09/3611.31 c received SIGTERM, forwarding to pbsolver... 3600.09/3611.31 s UNKNOWN
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: 63794 MiB (39368 MiB free) memory of node 1: 64507 MiB (63486 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515179-1751227496/watcher-4515179-1751227496 -o /tmp/evaluation-result-4515179-1751227496/solver-4515179-1751227496 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751226828-31370 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4515179-1751227496.opb running on 2 cores: 5,7 CPU governors: performance: 5 7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 5.14.0-503.14.1.el9_5.x86_64 Starting watchdog thread solver pid=32072, runsolver pid=32069 Current StackSize limit: 8192 KiB [startup+0.100071 s]* /proc/loadavg: 4.45 4.03 3.56 5/258 32077 /proc/meminfo: memFree=105319508/131382116 swapFree=33010684/33010684 [pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7 /proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0 /proc/32072/statm: 1048 768 704 219 0 110 0 [pid=32077] ppid=32072 vsize=19272 memory=14336 CPUtime=0.07 cores=5,7 /proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 1877 0 0 0 6 1 0 0 20 0 1 0 38429298 19734528 3584 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0 /proc/32077/statm: 4818 3584 2016 1 0 1572 0 Current children cumulated CPU time: 0.07 s Current children cumulated vsize: 23464 KiB Current children cumulated memory: 17408 KiB [startup+0.213541 s]* /proc/loadavg: 4.45 4.03 3.56 5/258 32077 /proc/meminfo: memFree=105319508/131382116 swapFree=33010684/33010684 [pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7 /proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0 /proc/32072/statm: 1048 768 704 219 0 110 0 [pid=32077] ppid=32072 vsize=1186496 memory=31180 CPUtime=0.16 cores=5,7 /proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 3566 0 0 0 14 2 0 0 20 0 1 0 38429298 1214971904 7795 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0 /proc/32077/statm: 296624 7795 4851 1 0 268646 0 Current children cumulated CPU time: 0.16 s Current children cumulated vsize: 1190688 KiB Current children cumulated memory: 34252 KiB [startup+0.314599 s]* /proc/loadavg: 4.45 4.03 3.56 5/258 32077 /proc/meminfo: memFree=105317744/131382116 swapFree=33010684/33010684 [pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7 /proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0 /proc/32072/statm: 1048 768 704 219 0 110 0 [pid=32077] ppid=32072 vsize=1190392 memory=35276 CPUtime=0.25 cores=5,7 /proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 4439 0 0 0 22 3 0 0 20 0 1 0 38429298 1218961408 8819 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0 /proc/32077/statm: 297598 8819 5043 1 0 269507 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 1194584 KiB Current children cumulated memory: 38348 KiB [startup+0.700316 s] /proc/loadavg: 4.45 4.03 3.56 5/258 32077 /proc/meminfo: memFree=105280448/131382116 swapFree=33010684/33010684 [pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7 /proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0 /proc/32072/statm: 1048 768 704 219 0 110 0 [pid=32077] ppid=32072 vsize=1250120 memory=101580 CPUtime=0.59 cores=5,7 /proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 18469 0 0 0 52 7 0 0 20 0 1 0 38429298 1280122880 25395 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0 /proc/32077/statm: 312530 25395 7859 1 0 283888 0 Current children cumulated CPU time: 0.59 s Current children cumulated vsize: 1254312 KiB Current children cumulated memory: 104652 KiB [startup+1.50025 s] /proc/loadavg: 4.45 4.03 3.56 5/258 32077 /proc/meminfo: memFree=105225020/131382116 swapFree=33010684/33010684 [pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7 /proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0 /proc/32072/statm: 1048 768 704 219 0 110 0 [pid=32077] ppid=32072 vsize=1278208 memory=129356 CPUtime=1.38 cores=5,7 /proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 25372 0 0 0 130 8 0 0 20 0 1 0 38429298 1308884992 32339 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0 /proc/32077/statm: 319552 32339 7923 1 0 290910 0 Current children cumulated CPU time: 1.38 s Current children cumulated vsize: 1282400 KiB Current children cumulated memory: 132428 KiB [startup+3.10554 s] /proc/loadavg: 4.45 4.03 3.56 5/258 32077 /proc/meminfo: memFree=105212860/131382116 swapFree=33010684/33010684 [pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7 /proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0 /proc/32072/statm: 1048 768 704 219 0 110 0 [pid=32077] ppid=32072 vsize=1288388 memory=138316 CPUtime=2.97 cores=5,7 /proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 27595 0 0 0 288 9 0 0 20 0 1 0 38429298 1319309312 34579 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 7 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0 /proc/32077/statm: 322097 34579 7923 1 0 293455 0 Current children cumulated CPU time: 2.97 s Current children cumulated vsize: 1292580 KiB Current children cumulated memory: 141388 KiB [startup+6.3004 s] /proc/loadavg: 4.41 4.03 3.56 5/258 32077 /proc/meminfo: memFree=105047836/131382116 swapFree=33010684/33010684 [pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7 /proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0 /proc/32072/statm: 1048 768 704 219 0 110 0 [pid=32077] ppid=32072 vsize=1476240 memory=305020 CPUtime=6.14 cores=5,7 /proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 69956 0 0 0 594 20 0 0 20 0 1 0 38429298 1511669760 76255 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0 /proc/32077/statm: 369060 76255 7955 1 0 340418 0 Current children cumulated CPU time: 6.14 s Current children cumulated vsize: 1480432 KiB Current children cumulated memory: 308092 KiB [startup+12.7004 s] /proc/loadavg: 4.38 4.03 3.57 5/258 32077 /proc/meminfo: memFree=105047592/131382116 swapFree=33010684/33010684 [pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7 /proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0 /proc/32072/statm: 1048 768 704 219 0 110 0 [pid=32077] ppid=32072 vsize=1476240 memory=305020 CPUtime=12.52 cores=5,7 /proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 69960 0 0 0 1232 20 0 0 20 0 1 0 38429298 1511669760 76255 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0 /proc/32077/statm: 369060 76255 7955 1 0 340418 0 Current children cumulated CPU time: 12.52 s Current children cumulated vsize: 1480432 KiB Current children cumulated memory: 308092 KiB [startup+25.5004 s] /proc/loadavg: 4.29 4.03 3.57 5/258 32077 /proc/meminfo: memFree=105031716/131382116 swapFree=33010684/33010684 [pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7 /proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0 /proc/32072/statm: 1048 768 704 219 0 110 0 [pid=32077] ppid=32072 vsize=1477264 memory=306044 CPUtime=25.28 cores=5,7 /proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 70219 0 0 0 2508 20 0 0 20 0 1 0 38429298 1512718336 76511 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0 /proc/32077/statm: 369316 76511 7955 1 0 340674 0 Current children cumulated CPU time: 25.28 s Current children cumulated vsize: 1481456 KiB Current children cumulated memory: 309116 KiB [startup+51.1137 s] /proc/loadavg: 4.35 4.06 3.60 5/259 32079 /proc/meminfo: memFree=102097728/131382116 swapFree=33010684/33010684 [pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7 /proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0 /proc/32072/statm: 1048 768 704 219 0 110 0 [pid=32077] ppid=32072 vsize=1478400 memory=307196 CPUtime=50.82 cores=5,7 /proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 70509 0 0 0 5061 21 0 0 20 0 1 0 38429298 1513881600 76799 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0 /proc/32077/statm: 369600 76799 7955 1 0 340958 0 Current children cumulated CPU time: 50.82 s Current children cumulated vsize: 1482592 KiB Current children cumulated memory: 310268 KiB [startup+102.3 s] /proc/loadavg: 4.23 4.07 3.63 5/258 32080 /proc/meminfo: memFree=100610024/131382116 swapFree=33010684/33010684 [pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7 /proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0 /proc/32072/statm: 1048 768 704 219 0 110 0 [pid=32077] ppid=32072 vsize=1696768 memory=491244 CPUtime=101.84 cores=5,7 /proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 113661 0 0 0 10155 29 0 0 20 0 1 0 38429298 1737490432 122811 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0 /proc/32077/statm: 424192 122811 8115 1 0 395550 0 Current children cumulated CPU time: 101.84 s Current children cumulated vsize: 1700960 KiB Current children cumulated memory: 494316 KiB [startup+162.3 s] /proc/loadavg: 4.14 4.07 3.66 5/256 32131 /proc/meminfo: memFree=128746156/131382116 swapFree=33010684/33010684 [pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7 /proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0 /proc/32072/statm: 1048 768 704 219 0 110 0 [pid=32077] ppid=32072 vsize=1696768 memory=491244 CPUtime=161.67 cores=5,7 /proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 113675 0 0 0 16137 30 0 0 20 0 1 0 38429298 1737490432 122811 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0 /proc/32077/statm: 424192 122811 8115 1 0 395550 0 Current children cumulated CPU time: 161.67 s Current children cumulated vsize: 1700960 KiB Current children cumulated memory: 494316 KiB [startup+222.3 s] /proc/loadavg: 4.32 4.12 3.70 5/256 32137 /proc/meminfo: memFree=128717024/131382116 swapFree=33010684/33010684 [pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7 /proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0 /proc/32072/statm: 1048 768 704 219 0 110 0 [pid=32077] ppid=32072 vsize=1696768 memory=491500 CPUtime=221.48 cores=5,7 /proc/32077/stat : 32077 (python3) R 32072 32072 31357 0 -1 4194304 113729 0 0 0 22118 30 0 0 20 0 1 0 38429298 1737490432 122875 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0 /proc/32077/statm: 424192 122875 8115 1 0 395550 0 Current children cumulated CPU time: 221.48 s Current children cumulated vsize: 1700960 KiB ################ # More data... # ################ [startup+3282.3 s] /proc/loadavg: 4.76 4.30 4.16 5/258 32537 /proc/meminfo: memFree=106178096/131382116 swapFree=33010684/33010684 [pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7 /proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0 /proc/32072/statm: 1048 768 704 219 0 110 0 [pid=32077] ppid=32072 vsize=1798456 memory=600660 CPUtime=498.85 cores=5,7 /proc/32077/stat : 32077 (python3) S 32072 32072 31357 0 -1 4194304 139486 0 0 0 49850 35 0 0 20 0 1 0 38429298 1841618944 150165 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0 /proc/32077/statm: 449614 150165 8147 1 0 420972 0 [pid=32149] ppid=32077 vsize=3619844 memory=3024864 CPUtime=2773.39 cores=5,7 /proc/32149/stat : 32149 (naps-1.03a6) R 32077 32149 32149 0 -1 4194304 627426 0 0 0 276889 450 0 0 20 0 1 0 38479349 3706720256 756216 18446744073709551615 4198400 7047149 140721775889504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13742080 140721775896977 140721775897075 140721775897075 140721775902665 0 /proc/32149/statm: 904961 756216 544 696 0 904122 0 Current children cumulated CPU time: 3272.24 s Current children cumulated vsize: 5422492 KiB Current children cumulated memory: 3628596 KiB [startup+3342.3 s] /proc/loadavg: 4.34 4.26 4.16 5/258 32540 /proc/meminfo: memFree=106485944/131382116 swapFree=33010684/33010684 [pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7 /proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0 /proc/32072/statm: 1048 768 704 219 0 110 0 [pid=32077] ppid=32072 vsize=1798456 memory=600660 CPUtime=498.85 cores=5,7 /proc/32077/stat : 32077 (python3) S 32072 32072 31357 0 -1 4194304 139486 0 0 0 49850 35 0 0 20 0 1 0 38429298 1841618944 150165 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0 /proc/32077/statm: 449614 150165 8147 1 0 420972 0 [pid=32149] ppid=32077 vsize=3619844 memory=3026912 CPUtime=2833.18 cores=5,7 /proc/32149/stat : 32149 (naps-1.03a6) R 32077 32149 32149 0 -1 4194304 627483 0 0 0 282867 451 0 0 20 0 1 0 38479349 3706720256 756728 18446744073709551615 4198400 7047149 140721775889504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13742080 140721775896977 140721775897075 140721775897075 140721775902665 0 /proc/32149/statm: 904961 756728 544 696 0 904122 0 Current children cumulated CPU time: 3332.03 s Current children cumulated vsize: 5422492 KiB Current children cumulated memory: 3630644 KiB [startup+3402.3 s] /proc/loadavg: 4.17 4.23 4.15 5/258 32553 /proc/meminfo: memFree=107062568/131382116 swapFree=33010684/33010684 [pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7 /proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0 /proc/32072/statm: 1048 768 704 219 0 110 0 [pid=32077] ppid=32072 vsize=1798456 memory=600660 CPUtime=498.85 cores=5,7 /proc/32077/stat : 32077 (python3) S 32072 32072 31357 0 -1 4194304 139486 0 0 0 49850 35 0 0 20 0 1 0 38429298 1841618944 150165 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0 /proc/32077/statm: 449614 150165 8147 1 0 420972 0 [pid=32149] ppid=32077 vsize=3619844 memory=3026912 CPUtime=2892.97 cores=5,7 /proc/32149/stat : 32149 (naps-1.03a6) R 32077 32149 32149 0 -1 4194304 627898 0 0 0 288846 451 0 0 20 0 1 0 38479349 3706720256 756728 18446744073709551615 4198400 7047149 140721775889504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13742080 140721775896977 140721775897075 140721775897075 140721775902665 0 /proc/32149/statm: 904961 756728 544 696 0 904122 0 Current children cumulated CPU time: 3391.82 s Current children cumulated vsize: 5422492 KiB Current children cumulated memory: 3630644 KiB [startup+3462.3 s] /proc/loadavg: 4.22 4.23 4.16 5/258 32556 /proc/meminfo: memFree=106187916/131382116 swapFree=33010684/33010684 [pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7 /proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0 /proc/32072/statm: 1048 768 704 219 0 110 0 [pid=32077] ppid=32072 vsize=1798456 memory=600660 CPUtime=498.85 cores=5,7 /proc/32077/stat : 32077 (python3) S 32072 32072 31357 0 -1 4194304 139486 0 0 0 49850 35 0 0 20 0 1 0 38429298 1841618944 150165 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0 /proc/32077/statm: 449614 150165 8147 1 0 420972 0 [pid=32149] ppid=32077 vsize=3619844 memory=3026912 CPUtime=2952.77 cores=5,7 /proc/32149/stat : 32149 (naps-1.03a6) R 32077 32149 32149 0 -1 4194304 628132 0 0 0 294825 452 0 0 20 0 1 0 38479349 3706720256 756728 18446744073709551615 4198400 7047149 140721775889504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13742080 140721775896977 140721775897075 140721775897075 140721775902665 0 /proc/32149/statm: 904961 756728 544 696 0 904122 0 Current children cumulated CPU time: 3451.62 s Current children cumulated vsize: 5422492 KiB Current children cumulated memory: 3630644 KiB [startup+3522.3 s] /proc/loadavg: 4.08 4.19 4.15 5/258 32607 /proc/meminfo: memFree=106813624/131382116 swapFree=33010684/33010684 [pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7 /proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0 /proc/32072/statm: 1048 768 704 219 0 110 0 [pid=32077] ppid=32072 vsize=1798456 memory=600660 CPUtime=498.85 cores=5,7 /proc/32077/stat : 32077 (python3) S 32072 32072 31357 0 -1 4194304 139486 0 0 0 49850 35 0 0 20 0 1 0 38429298 1841618944 150165 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0 /proc/32077/statm: 449614 150165 8147 1 0 420972 0 [pid=32149] ppid=32077 vsize=3619844 memory=3026912 CPUtime=3012.55 cores=5,7 /proc/32149/stat : 32149 (naps-1.03a6) R 32077 32149 32149 0 -1 4194304 628420 0 0 0 300803 452 0 0 20 0 1 0 38479349 3706720256 756728 18446744073709551615 4198400 7047149 140721775889504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13742080 140721775896977 140721775897075 140721775897075 140721775902665 0 /proc/32149/statm: 904961 756728 544 696 0 904122 0 Current children cumulated CPU time: 3511.4 s Current children cumulated vsize: 5422492 KiB Current children cumulated memory: 3630644 KiB [startup+3582.3 s] /proc/loadavg: 4.15 4.18 4.15 5/258 32609 /proc/meminfo: memFree=106661248/131382116 swapFree=33010684/33010684 [pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7 /proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0 /proc/32072/statm: 1048 768 704 219 0 110 0 [pid=32077] ppid=32072 vsize=1798456 memory=600660 CPUtime=498.85 cores=5,7 /proc/32077/stat : 32077 (python3) S 32072 32072 31357 0 -1 4194304 139486 0 0 0 49850 35 0 0 20 0 1 0 38429298 1841618944 150165 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0 /proc/32077/statm: 449614 150165 8147 1 0 420972 0 [pid=32149] ppid=32077 vsize=3619844 memory=3028960 CPUtime=3072.34 cores=5,7 /proc/32149/stat : 32149 (naps-1.03a6) R 32077 32149 32149 0 -1 4194304 636636 0 0 0 306779 455 0 0 20 0 1 0 38479349 3706720256 757240 18446744073709551615 4198400 7047149 140721775889504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13742080 140721775896977 140721775897075 140721775897075 140721775902665 0 /proc/32149/statm: 904961 757240 544 696 0 904122 0 Current children cumulated CPU time: 3571.19 s Current children cumulated vsize: 5422492 KiB Current children cumulated memory: 3632692 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+3611.3 s] /proc/loadavg: 4.09 4.16 4.14 5/257 32610 /proc/meminfo: memFree=106537776/131382116 swapFree=33010684/33010684 [pid=32072] ppid=32069 vsize=4192 memory=3072 CPUtime=0 cores=5,7 /proc/32072/stat : 32072 (scip-naps-1.00.) S 32069 32072 31357 0 -1 4194304 256 390 0 0 0 0 0 0 20 0 1 0 38429295 4292608 768 18446744073709551615 94241653923840 94241654818373 140722298847856 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94241655057424 94241655105168 94241662435328 140722298853793 140722298853890 140722298853890 140722298859492 0 /proc/32072/statm: 1048 768 704 219 0 110 0 [pid=32077] ppid=32072 vsize=1798456 memory=600660 CPUtime=498.85 cores=5,7 /proc/32077/stat : 32077 (python3) S 32072 32072 31357 0 -1 4194304 139486 0 0 0 49850 35 0 0 20 0 1 0 38429298 1841618944 150165 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0 /proc/32077/statm: 449614 150165 8147 1 0 420972 0 [pid=32149] ppid=32077 vsize=3881988 memory=3157984 CPUtime=3101.24 cores=5,7 /proc/32149/stat : 32149 (naps-1.03a6) R 32077 32149 32149 0 -1 4194304 637706 0 0 0 309666 458 0 0 20 0 1 0 38479349 3975155712 789496 18446744073709551615 4198400 7047149 140721775889504 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 13742080 140721775896977 140721775897075 140721775897075 140721775902665 0 /proc/32149/statm: 970497 789496 544 696 0 969658 0 Current children cumulated CPU time: 3600.09 s Current children cumulated vsize: 5684636 KiB Current children cumulated memory: 3761716 KiB Sending SIGTERM to process tree (bottom up) [startup+3611.31 s] # the end of solver process 32072 was just reported to runsolver # Child ended because it received signal 15 (SIGTERM) # cumulated CPU time of all completed processes: user=0.006129 s, system=0.008064 s Sleeping 2 seconds [startup+3611.58 s] # the end of solver process 32077 was just reported to runsolver # Child status: 0 # cumulated CPU time of all completed processes: user=3595.37 s, system=5.01891 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.41 s]* /proc/loadavg: 4.09 4.16 4.14 5/255 32610 /proc/meminfo: memFree=109721892/131382116 swapFree=33010684/33010684 [pid=32077] ppid=32069 vsize=1782708 memory=584976 CPUtime=3600.2 cores=5,7 /proc/32077/stat : 32077 (python3) R 32069 32072 31357 0 -1 4194304 148888 637707 0 0 49859 36 309666 459 20 0 1 0 38429298 1825492992 146244 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0 /proc/32077/statm: 445677 146244 8147 1 0 417035 0 Current cumulated CPU time of completed processes: 0.014193 s Current children cumulated CPU time: 3600.2 s Current children cumulated vsize: 1782708 KiB Current children cumulated memory: 584976 KiB [startup+3611.51 s] /proc/loadavg: 4.09 4.16 4.14 5/255 32610 /proc/meminfo: memFree=109721892/131382116 swapFree=33010684/33010684 [pid=32077] ppid=32069 vsize=1750100 memory=569064 CPUtime=3600.3 cores=5,7 /proc/32077/stat : 32077 (python3) R 32069 32072 31357 0 -1 4194304 155680 637707 0 0 49867 38 309666 459 20 0 1 0 38429298 1792102400 142266 18446744073709551615 94896318464000 94896318464377 140723788667936 0 0 0 0 16781312 0 0 0 0 17 7 0 0 0 0 0 94896318475672 94896318476292 94896347123712 140723788675416 140723788675618 140723788675618 140723788681191 0 /proc/32077/statm: 437525 142266 8179 1 0 408883 0 Current cumulated CPU time of completed processes: 0.014193 s Current children cumulated CPU time: 3600.3 s Current children cumulated vsize: 1750100 KiB Current children cumulated memory: 569064 KiB Child status: 0 Real time (s): 3611.58 CPU time (s): 3600.39 CPU user time (s): 3595.37 CPU system time (s): 5.01891 CPU usage (%): 99.6901 Max. virtual memory (cumulated for all children) (KiB): 10208588 Max. memory (cumulated for all children) (KiB): 6938084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3595.37 system time used= 5.01891 maximum resident set size= 6334352 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 795911 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1888 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 447 involuntary context switches= 20557 # summary of solver processes directly reported to runsolver: # pid: 32072,32077 # total CPU time (s): 3600.39 # total CPU user time (s): 3595.37 # total CPU system time (s): 5.01891 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 20.4647 second user time and 38.4259 second system time The end
Begin job on nodeC011 at 2025-06-29 22:04:56 IDJOB=4515179 IDBENCH=164178 IDSOLVER=3368 FILE ID=nodeC011/4515179-1751227496 RUNJOBID= nodeC011-1751226828-31370 SLURM_JOB_ID= 9587684 Free space on /tmp= 432604 MiB SOLVER NAME= SCIP-NaPS 1.00a1 BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-ab51-40-100.0.u.opb COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515179-1751227496/watcher-4515179-1751227496 -o /tmp/evaluation-result-4515179-1751227496/solver-4515179-1751227496 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751226828-31370 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4515179-1751227496.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 84d6a262f1f6531f4a7714720272edd7 RANDOM SEED=1875175487 nodeC011 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 : 0xb00001f cpu MHz : 3492.089 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3691.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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.692 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.393 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1198.022 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.295 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 105323604 kB MemAvailable: 105554384 kB Buffers: 3280 kB Cached: 1040500 kB SwapCached: 0 kB Active: 24685436 kB Inactive: 741628 kB Active(anon): 24401244 kB Inactive(anon): 0 kB Active(file): 284192 kB Inactive(file): 741628 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 6552 kB Writeback: 4 kB AnonPages: 24386292 kB Mapped: 127300 kB Shmem: 17960 kB KReclaimable: 88792 kB Slab: 169420 kB SReclaimable: 88792 kB SUnreclaim: 80628 kB KernelStack: 4144 kB PageTables: 51816 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 29670668 kB VmallocTotal: 34359738367 kB VmallocUsed: 149544 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 5804032 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: 191304 kB DirectMap2M: 8099840 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433008 MiB End job on nodeC011 at 2025-06-29 23:05:08