| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP-NaPS 1.00a2 | UNSAT | 497.402 | 498.894 |
| 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 |
16.11/16.27 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4530043-1752261334.opb 16.11/16.27 c Solving mode: decision 16.11/16.27 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 16.11/16.27 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 16.11/16.27 c original problem has 12675 variables (12675 bin, 0 int, 0 impl, 0 cont) and 11891 constraints 16.11/16.27 c presolving: 16.11/16.27 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 16.11/16.27 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 16.11/16.27 c (2.8s) probing: 1000/12643 (7.9%) - 0 fixings, 0 aggregations, 523546 implications, 0 bound changes 16.11/16.27 c (2.8s) probing: 1001/12643 (7.9%) - 0 fixings, 0 aggregations, 523580 implications, 0 bound changes 16.11/16.27 c (2.8s) probing aborted: 1000/1000 successive useless probings 16.11/16.27 c (2.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 16.11/16.27 c (3.0s) symmetry computation finished: 1500 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.06) 16.11/16.27 c dynamic symmetry handling statistics: 16.11/16.27 c orbitopal reduction: no components 16.11/16.27 c orbital reduction: no components 16.11/16.27 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 16.11/16.27 c handled 1496 out of 1496 symmetry components 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 c (10.0s) probing: 2000/12643 (15.8%) - 268 fixings, 0 aggregations, 2093277 implications, 0 bound changes 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 16.11/16.27 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 31.57/31.74 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 31.57/31.74 c (16.6s) probing: 3000/12643 (23.7%) - 546 fixings, 0 aggregations, 3547372 implications, 0 bound changes 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 c (23.3s) probing: 4000/12643 (31.6%) - 811 fixings, 0 aggregations, 5066131 implications, 0 bound changes 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 c (29.8s) probing: 5000/12643 (39.5%) - 1099 fixings, 0 aggregations, 6549713 implications, 0 bound changes 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 31.57/31.74 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 343.73/344.80 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 343.73/344.80 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 343.73/344.80 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 343.73/344.80 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 343.73/344.80 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 343.73/344.80 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 343.73/344.80 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 343.73/344.80 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 343.73/344.80 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 343.73/344.80 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 343.73/344.80 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 343.73/344.80 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 343.73/344.80 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 343.73/344.80 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 343.73/344.80 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 343.73/344.80 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 343.73/344.80 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 343.73/344.80 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 343.73/344.80 c (36.0s) probing: 6000/12643 (47.5%) - 1385 fixings, 0 aggregations, 7953242 implications, 0 bound changes 343.73/344.80 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 343.73/344.80 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 343.73/344.80 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 343.73/344.80 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 343.73/344.80 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 343.73/344.80 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 343.73/344.80 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 343.73/344.80 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 343.73/344.80 c (40.7s) probing: 7000/12643 (55.4%) - 1492 fixings, 0 aggregations, 8824424 implications, 0 bound changes 343.73/344.80 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 343.73/344.80 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 343.73/344.80 c (47.0s) probing: 8000/12643 (63.3%) - 1516 fixings, 0 aggregations, 9689902 implications, 0 bound changes 343.73/344.80 c (53.7s) probing: 8765/12643 (69.3%) - 1516 fixings, 0 aggregations, 10672439 implications, 0 bound changes 343.73/344.80 c (53.7s) probing aborted: 1000/1000 successive useless probings 343.73/344.80 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 343.73/344.80 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 343.73/344.80 c (54.7s) probing: 8865/12643 (70.1%) - 1516 fixings, 0 aggregations, 10803770 implications, 0 bound changes 343.73/344.80 c (54.7s) probing aborted: 1000/1000 successive useless probings 343.73/344.80 c presolving (128 rounds: 128 fast, 66 medium, 66 exhaustive): 343.73/344.80 c 1889 deleted vars, 3364 deleted constraints, 1480 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients 343.73/344.80 c 0 implications, 60830 cliques 343.73/344.80 c presolved problem has 10786 variables (10786 bin, 0 int, 0 impl, 0 cont) and 10007 constraints 343.73/344.80 c 1 constraints of type <knapsack> 343.73/344.80 c 10001 constraints of type <setppc> 343.73/344.80 c 5 constraints of type <orbitope> 343.73/344.80 c transformed objective value is always integral (scale: 1) 343.73/344.80 c Presolving Time: 54.68 343.73/344.80 c 343.73/344.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 343.73/344.80 c 65.1s| 1 | 0 | 8376 | - | 412M | 0 | 10k| 10k| 10k| 0 | 0 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown 343.73/344.80 c 68.8s| 1 | 0 | 19862 | - | 418M | 0 | 10k| 10k| 10k| 4 | 1 | 25 | 0 | 0.000000e+00 | -- | Inf | unknown 343.73/344.80 c 69.4s| 1 | 0 | 20362 | - | 419M | 0 | 10k| 10k| 10k| 8 | 2 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown 343.73/344.80 c 70.3s| 1 | 0 | 21029 | - | 421M | 0 | 10k| 10k| 10k| 11 | 3 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown 343.73/344.80 c 71.1s| 1 | 0 | 21705 | - | 422M | 0 | 10k| 10k| 10k| 17 | 4 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown 343.73/344.80 c 71.7s| 1 | 0 | 21923 | - | 424M | 0 | 10k| 10k| 10k| 23 | 5 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown 343.73/344.80 c 72.5s| 1 | 0 | 22643 | - | 425M | 0 | 10k| 10k| 10k| 27 | 6 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown 343.73/344.80 c 73.2s| 1 | 0 | 23153 | - | 426M | 0 | 10k| 10k| 10k| 30 | 7 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown 343.73/344.80 c 74.0s| 1 | 0 | 24024 | - | 428M | 0 | 10k| 10k| 10k| 35 | 8 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown 343.73/344.80 c 75.1s| 1 | 0 | 25188 | - | 430M | 0 | 10k| 10k| 10k| 41 | 9 | 27 | 0 | 0.000000e+00 | -- | Inf | unknown 343.73/344.80 c 76.1s| 1 | 0 | 26292 | - | 431M | 0 | 10k| 10k| 10k| 46 | 10 | 27 | 0 | 0.000000e+00 | -- | Inf | unknown 343.73/344.80 c 76.5s| 1 | 0 | 26692 | - | 433M | 0 | 10k| 10k| 10k| 49 | 11 | 27 | 0 | 0.000000e+00 | -- | Inf | unknown 343.73/344.80 c 94.4s| 1 | 2 | 39394 | - | 434M | 0 | 10k| 10k| 10k| 49 | 11 | 47 | 29 | 0.000000e+00 | -- | Inf | unknown 343.73/344.80 c 223s| 100 | 33 |355161 |3317.9 | 463M | 22 | 10k| 10k| 10k| 85 | 0 | 798 | 29 | 0.000000e+00 | -- | Inf | 13.84% 343.73/344.80 c 284s| 200 | 33 |495481 |2355.7 | 470M | 22 | 10k| 10k| 10k| 126 | 0 | 900 | 29 | 0.000000e+00 | -- | Inf | 38.96% 497.20/498.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 497.20/498.79 c 345s| 300 | 35 |637662 |2043.4 | 479M | 22 | 10k| 11k| 10k| 205 | 0 |1271 | 29 | 0.000000e+00 | -- | Inf | 48.82% 497.20/498.79 c 409s| 400 | 28 |774745 |1874.8 | 482M | 22 | 10k| 11k| 10k| 223 | 0 |1424 | 29 | 0.000000e+00 | -- | Inf | 61.87% 497.20/498.79 c 449s| 500 | 20 |873224 |1696.5 | 487M | 38 | 10k| 11k| 10k| 264 | 1 |1570 | 29 | 0.000000e+00 | -- | Inf | 88.54% 497.20/498.79 c 482s| 600 | 8 |954765 |1549.4 | 491M | 38 | 10k| 11k| 10k| 318 | 1 |1734 | 29 | 0.000000e+00 | -- | Inf | 97.77% 497.20/498.79 c 497.20/498.79 c SCIP Status : problem is solved [infeasible] 497.20/498.79 c Solving Time (sec) : 498.61 497.20/498.79 c Solving Nodes : 635 497.20/498.79 c Primal Bound : +1.00000000000000e+20 (0 solutions) 497.20/498.79 c Dual Bound : +1.00000000000000e+20 497.20/498.79 c Gap : 0.00 % 497.20/498.79 c SCIP found the problem to be infeasible. 497.20/498.79 s UNSATISFIABLE
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (49014 MiB free)
memory of node 1: 64465 MiB (54364 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4530043-1752261334/watcher-4530043-1752261334 -o /tmp/evaluation-result-4530043-1752261334/solver-4530043-1752261334 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1752253448-111532 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530043-1752261334.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=114050, runsolver pid=114047
[startup+0.100062 s]*
/proc/loadavg: 4.13 4.09 4.09 5/269 114055
/proc/meminfo: memFree=105854288/131249988 swapFree=33010416/33010684
[pid=114050] ppid=114047 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114050/stat : 114050 (scip-naps-1.00a) S 114047 114050 111519 0 -1 4194304 259 390 0 0 0 0 0 0 20 0 1 0 141811923 4292608 768 18446744073709551615 94142443163648 94142444058181 140726268915056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94142444297232 94142444344976 94142475595776 140726268918171 140726268918270 140726268918270 140726268923874 0
/proc/114050/statm: 1048 768 704 219 0 110 0
[pid=114055] ppid=114050 vsize=1187380 memory=32264 CPUtime=0.06 cores=5,7
/proc/114055/stat : 114055 (python3) R 114050 114050 111519 0 -1 4194304 3816 0 0 0 6 0 0 0 20 0 1 0 141811925 1215877120 8066 18446744073709551615 94839208030208 94839208030585 140733341875888 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94839208041880 94839208042500 94839238737920 140733341878607 140733341878816 140733341878816 140733341884391 0
/proc/114055/statm: 296845 8066 4874 1 0 268867 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191572 KiB
Current children cumulated memory: 35336 KiB
[startup+0.205653 s]*
/proc/loadavg: 4.13 4.09 4.09 5/269 114055
/proc/meminfo: memFree=105809936/131249988 swapFree=33010416/33010684
[pid=114050] ppid=114047 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114050/stat : 114050 (scip-naps-1.00a) S 114047 114050 111519 0 -1 4194304 259 390 0 0 0 0 0 0 20 0 1 0 141811923 4292608 768 18446744073709551615 94142443163648 94142444058181 140726268915056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94142444297232 94142444344976 94142475595776 140726268918171 140726268918270 140726268918270 140726268923874 0
/proc/114050/statm: 1048 768 704 219 0 110 0
[pid=114055] ppid=114050 vsize=1237624 memory=89864 CPUtime=0.17 cores=5,7
/proc/114055/stat : 114055 (python3) R 114050 114050 111519 0 -1 4194304 15617 0 0 0 14 3 0 0 20 0 1 0 141811925 1267326976 22466 18446744073709551615 94839208030208 94839208030585 140733341875888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94839208041880 94839208042500 94839238737920 140733341878607 140733341878816 140733341878816 140733341884391 0
/proc/114055/statm: 309406 22466 7754 1 0 280764 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1241816 KiB
Current children cumulated memory: 92936 KiB
[startup+0.305674 s]*
/proc/loadavg: 4.13 4.09 4.09 5/269 114055
/proc/meminfo: memFree=105793808/131249988 swapFree=33010416/33010684
[pid=114050] ppid=114047 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114050/stat : 114050 (scip-naps-1.00a) S 114047 114050 111519 0 -1 4194304 259 390 0 0 0 0 0 0 20 0 1 0 141811923 4292608 768 18446744073709551615 94142443163648 94142444058181 140726268915056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94142444297232 94142444344976 94142475595776 140726268918171 140726268918270 140726268918270 140726268923874 0
/proc/114050/statm: 1048 768 704 219 0 110 0
[pid=114055] ppid=114050 vsize=1250172 memory=101640 CPUtime=0.27 cores=5,7
/proc/114055/stat : 114055 (python3) R 114050 114050 111519 0 -1 4194304 18490 0 0 0 24 3 0 0 20 0 1 0 141811925 1280176128 25410 18446744073709551615 94839208030208 94839208030585 140733341875888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94839208041880 94839208042500 94839238737920 140733341878607 140733341878816 140733341878816 140733341884391 0
/proc/114055/statm: 312543 25410 7850 1 0 283901 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1254364 KiB
Current children cumulated memory: 104712 KiB
[startup+0.700206 s]
/proc/loadavg: 4.13 4.09 4.09 5/269 114055
/proc/meminfo: memFree=105769616/131249988 swapFree=33010416/33010684
[pid=114050] ppid=114047 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114050/stat : 114050 (scip-naps-1.00a) S 114047 114050 111519 0 -1 4194304 259 390 0 0 0 0 0 0 20 0 1 0 141811923 4292608 768 18446744073709551615 94142443163648 94142444058181 140726268915056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94142444297232 94142444344976 94142475595776 140726268918171 140726268918270 140726268918270 140726268923874 0
/proc/114050/statm: 1048 768 704 219 0 110 0
[pid=114055] ppid=114050 vsize=1277220 memory=128392 CPUtime=0.65 cores=5,7
/proc/114055/stat : 114055 (python3) R 114050 114050 111519 0 -1 4194304 25143 0 0 0 61 4 0 0 20 0 1 0 141811925 1307873280 32098 18446744073709551615 94839208030208 94839208030585 140733341875888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94839208041880 94839208042500 94839238737920 140733341878607 140733341878816 140733341878816 140733341884391 0
/proc/114055/statm: 319305 32098 7914 1 0 290663 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1281412 KiB
Current children cumulated memory: 131464 KiB
[startup+1.5002 s]
/proc/loadavg: 4.13 4.09 4.09 5/269 114055
/proc/meminfo: memFree=105761552/131249988 swapFree=33010416/33010684
[pid=114050] ppid=114047 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114050/stat : 114050 (scip-naps-1.00a) S 114047 114050 111519 0 -1 4194304 259 390 0 0 0 0 0 0 20 0 1 0 141811923 4292608 768 18446744073709551615 94142443163648 94142444058181 140726268915056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94142444297232 94142444344976 94142475595776 140726268918171 140726268918270 140726268918270 140726268923874 0
/proc/114050/statm: 1048 768 704 219 0 110 0
[pid=114055] ppid=114050 vsize=1286416 memory=136328 CPUtime=1.46 cores=5,7
/proc/114055/stat : 114055 (python3) R 114050 114050 111519 0 -1 4194304 27112 0 0 0 141 5 0 0 20 0 1 0 141811925 1317289984 34082 18446744073709551615 94839208030208 94839208030585 140733341875888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94839208041880 94839208042500 94839238737920 140733341878607 140733341878816 140733341878816 140733341884391 0
/proc/114055/statm: 321604 34082 7914 1 0 292962 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1290608 KiB
Current children cumulated memory: 139400 KiB
[startup+3.10553 s]
/proc/loadavg: 4.13 4.09 4.09 5/269 114055
/proc/meminfo: memFree=105753520/131249988 swapFree=33010416/33010684
[pid=114050] ppid=114047 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114050/stat : 114050 (scip-naps-1.00a) S 114047 114050 111519 0 -1 4194304 259 390 0 0 0 0 0 0 20 0 1 0 141811923 4292608 768 18446744073709551615 94142443163648 94142444058181 140726268915056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94142444297232 94142444344976 94142475595776 140726268918171 140726268918270 140726268918270 140726268923874 0
/proc/114050/statm: 1048 768 704 219 0 110 0
[pid=114055] ppid=114050 vsize=1362056 memory=187016 CPUtime=3.06 cores=5,7
/proc/114055/stat : 114055 (python3) R 114050 114050 111519 0 -1 4194304 39815 0 0 0 299 7 0 0 20 0 1 0 141811925 1394745344 46722 18446744073709551615 94839208030208 94839208030585 140733341875888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94839208041880 94839208042500 94839238737920 140733341878607 140733341878816 140733341878816 140733341884391 0
/proc/114055/statm: 340514 46722 7946 1 0 311872 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1366248 KiB
Current children cumulated memory: 190088 KiB
[startup+6.30019 s]
/proc/loadavg: 4.12 4.09 4.09 5/269 114055
/proc/meminfo: memFree=105593500/131249988 swapFree=33010416/33010684
[pid=114050] ppid=114047 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114050/stat : 114050 (scip-naps-1.00a) S 114047 114050 111519 0 -1 4194304 259 390 0 0 0 0 0 0 20 0 1 0 141811923 4292608 768 18446744073709551615 94142443163648 94142444058181 140726268915056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94142444297232 94142444344976 94142475595776 140726268918171 140726268918270 140726268918270 140726268923874 0
/proc/114050/statm: 1048 768 704 219 0 110 0
[pid=114055] ppid=114050 vsize=1476320 memory=305160 CPUtime=6.24 cores=5,7
/proc/114055/stat : 114055 (python3) R 114050 114050 111519 0 -1 4194304 69975 0 0 0 612 12 0 0 20 0 1 0 141811925 1511751680 76290 18446744073709551615 94839208030208 94839208030585 140733341875888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94839208041880 94839208042500 94839238737920 140733341878607 140733341878816 140733341878816 140733341884391 0
/proc/114055/statm: 369080 76290 7946 1 0 340438 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1480512 KiB
Current children cumulated memory: 308232 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.09 5/269 114055
/proc/meminfo: memFree=105593500/131249988 swapFree=33010416/33010684
[pid=114050] ppid=114047 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114050/stat : 114050 (scip-naps-1.00a) S 114047 114050 111519 0 -1 4194304 259 390 0 0 0 0 0 0 20 0 1 0 141811923 4292608 768 18446744073709551615 94142443163648 94142444058181 140726268915056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94142444297232 94142444344976 94142475595776 140726268918171 140726268918270 140726268918270 140726268923874 0
/proc/114050/statm: 1048 768 704 219 0 110 0
[pid=114055] ppid=114050 vsize=1476320 memory=305160 CPUtime=12.62 cores=5,7
/proc/114055/stat : 114055 (python3) R 114050 114050 111519 0 -1 4194304 69983 0 0 0 1250 12 0 0 20 0 1 0 141811925 1511751680 76290 18446744073709551615 94839208030208 94839208030585 140733341875888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94839208041880 94839208042500 94839238737920 140733341878607 140733341878816 140733341878816 140733341884391 0
/proc/114055/statm: 369080 76290 7946 1 0 340438 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1480512 KiB
Current children cumulated memory: 308232 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.08 4.09 5/269 114055
/proc/meminfo: memFree=105581832/131249988 swapFree=33010416/33010684
[pid=114050] ppid=114047 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114050/stat : 114050 (scip-naps-1.00a) S 114047 114050 111519 0 -1 4194304 259 390 0 0 0 0 0 0 20 0 1 0 141811923 4292608 768 18446744073709551615 94142443163648 94142444058181 140726268915056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94142444297232 94142444344976 94142475595776 140726268918171 140726268918270 140726268918270 140726268923874 0
/proc/114050/statm: 1048 768 704 219 0 110 0
[pid=114055] ppid=114050 vsize=1477344 memory=307848 CPUtime=25.38 cores=5,7
/proc/114055/stat : 114055 (python3) R 114050 114050 111519 0 -1 4194304 70241 0 0 0 2526 12 0 0 20 0 1 0 141811925 1512800256 76962 18446744073709551615 94839208030208 94839208030585 140733341875888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94839208041880 94839208042500 94839238737920 140733341878607 140733341878816 140733341878816 140733341884391 0
/proc/114055/statm: 369336 76962 7946 1 0 340694 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1481536 KiB
Current children cumulated memory: 310920 KiB
[startup+51.1056 s]
/proc/loadavg: 4.13 4.09 4.09 5/269 114055
/proc/meminfo: memFree=105554336/131249988 swapFree=33010416/33010684
[pid=114050] ppid=114047 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114050/stat : 114050 (scip-naps-1.00a) S 114047 114050 111519 0 -1 4194304 259 390 0 0 0 0 0 0 20 0 1 0 141811923 4292608 768 18446744073709551615 94142443163648 94142444058181 140726268915056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94142444297232 94142444344976 94142475595776 140726268918171 140726268918270 140726268918270 140726268923874 0
/proc/114050/statm: 1048 768 704 219 0 110 0
[pid=114055] ppid=114050 vsize=1478764 memory=312712 CPUtime=50.91 cores=5,7
/proc/114055/stat : 114055 (python3) R 114050 114050 111519 0 -1 4194304 70608 0 0 0 5079 12 0 0 20 0 1 0 141811925 1514254336 78178 18446744073709551615 94839208030208 94839208030585 140733341875888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94839208041880 94839208042500 94839238737920 140733341878607 140733341878816 140733341878816 140733341884391 0
/proc/114055/statm: 369691 78178 7946 1 0 341049 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1482956 KiB
Current children cumulated memory: 315784 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/268 114057
/proc/meminfo: memFree=105360400/131249988 swapFree=33010416/33010684
[pid=114050] ppid=114047 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114050/stat : 114050 (scip-naps-1.00a) S 114047 114050 111519 0 -1 4194304 259 390 0 0 0 0 0 0 20 0 1 0 141811923 4292608 768 18446744073709551615 94142443163648 94142444058181 140726268915056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94142444297232 94142444344976 94142475595776 140726268918171 140726268918270 140726268918270 140726268923874 0
/proc/114050/statm: 1048 768 704 219 0 110 0
[pid=114055] ppid=114050 vsize=1696768 memory=499040 CPUtime=101.94 cores=5,7
/proc/114055/stat : 114055 (python3) R 114050 114050 111519 0 -1 4194304 113603 0 0 0 10174 20 0 0 20 0 1 0 141811925 1737490432 124760 18446744073709551615 94839208030208 94839208030585 140733341875888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94839208041880 94839208042500 94839238737920 140733341878607 140733341878816 140733341878816 140733341884391 0
/proc/114055/statm: 424192 124760 8106 1 0 395550 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1700960 KiB
Current children cumulated memory: 502112 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/269 114060
/proc/meminfo: memFree=105225008/131249988 swapFree=33010416/33010684
[pid=114050] ppid=114047 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114050/stat : 114050 (scip-naps-1.00a) S 114047 114050 111519 0 -1 4194304 259 390 0 0 0 0 0 0 20 0 1 0 141811923 4292608 768 18446744073709551615 94142443163648 94142444058181 140726268915056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94142444297232 94142444344976 94142475595776 140726268918171 140726268918270 140726268918270 140726268923874 0
/proc/114050/statm: 1048 768 704 219 0 110 0
[pid=114055] ppid=114050 vsize=1696768 memory=499424 CPUtime=161.77 cores=5,7
/proc/114055/stat : 114055 (python3) R 114050 114050 111519 0 -1 4194304 113705 0 0 0 16157 20 0 0 20 0 1 0 141811925 1737490432 124856 18446744073709551615 94839208030208 94839208030585 140733341875888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94839208041880 94839208042500 94839238737920 140733341878607 140733341878816 140733341878816 140733341884391 0
/proc/114055/statm: 424192 124856 8106 1 0 395550 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1700960 KiB
Current children cumulated memory: 502496 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/269 114062
/proc/meminfo: memFree=105204940/131249988 swapFree=33010416/33010684
[pid=114050] ppid=114047 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114050/stat : 114050 (scip-naps-1.00a) S 114047 114050 111519 0 -1 4194304 259 390 0 0 0 0 0 0 20 0 1 0 141811923 4292608 768 18446744073709551615 94142443163648 94142444058181 140726268915056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94142444297232 94142444344976 94142475595776 140726268918171 140726268918270 140726268918270 140726268923874 0
/proc/114050/statm: 1048 768 704 219 0 110 0
[pid=114055] ppid=114050 vsize=1696768 memory=505696 CPUtime=221.59 cores=5,7
/proc/114055/stat : 114055 (python3) R 114050 114050 111519 0 -1 4194304 113741 0 0 0 22139 20 0 0 20 0 1 0 141811925 1737490432 126424 18446744073709551615 94839208030208 94839208030585 140733341875888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94839208041880 94839208042500 94839238737920 140733341878607 140733341878816 140733341878816 140733341884391 0
/proc/114055/statm: 424192 126424 8106 1 0 395550 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 1700960 KiB
Current children cumulated memory: 508768 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 114064
/proc/meminfo: memFree=105174292/131249988 swapFree=33010416/33010684
[pid=114050] ppid=114047 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114050/stat : 114050 (scip-naps-1.00a) S 114047 114050 111519 0 -1 4194304 259 390 0 0 0 0 0 0 20 0 1 0 141811923 4292608 768 18446744073709551615 94142443163648 94142444058181 140726268915056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94142444297232 94142444344976 94142475595776 140726268918171 140726268918270 140726268918270 140726268923874 0
/proc/114050/statm: 1048 768 704 219 0 110 0
[pid=114055] ppid=114050 vsize=1696768 memory=528864 CPUtime=281.42 cores=5,7
/proc/114055/stat : 114055 (python3) R 114050 114050 111519 0 -1 4194304 113764 0 0 0 28122 20 0 0 20 0 1 0 141811925 1737490432 132216 18446744073709551615 94839208030208 94839208030585 140733341875888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94839208041880 94839208042500 94839238737920 140733341878607 140733341878816 140733341878816 140733341884391 0
/proc/114055/statm: 424192 132216 8106 1 0 395550 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 1700960 KiB
Current children cumulated memory: 531936 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/269 114066
/proc/meminfo: memFree=105128120/131249988 swapFree=33010416/33010684
[pid=114050] ppid=114047 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114050/stat : 114050 (scip-naps-1.00a) S 114047 114050 111519 0 -1 4194304 259 390 0 0 0 0 0 0 20 0 1 0 141811923 4292608 768 18446744073709551615 94142443163648 94142444058181 140726268915056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94142444297232 94142444344976 94142475595776 140726268918171 140726268918270 140726268918270 140726268923874 0
/proc/114050/statm: 1048 768 704 219 0 110 0
[pid=114055] ppid=114050 vsize=1758744 memory=597216 CPUtime=341.24 cores=5,7
/proc/114055/stat : 114055 (python3) R 114050 114050 111519 0 -1 4194304 129187 0 0 0 34102 22 0 0 20 0 1 0 141811925 1800953856 149304 18446744073709551615 94839208030208 94839208030585 140733341875888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94839208041880 94839208042500 94839238737920 140733341878607 140733341878816 140733341878816 140733341884391 0
/proc/114055/statm: 439686 149304 8106 1 0 411044 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 1762936 KiB
Current children cumulated memory: 600288 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/270 114071
/proc/meminfo: memFree=105105852/131249988 swapFree=33010416/33010684
[pid=114050] ppid=114047 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114050/stat : 114050 (scip-naps-1.00a) S 114047 114050 111519 0 -1 4194304 259 390 0 0 0 0 0 0 20 0 1 0 141811923 4292608 768 18446744073709551615 94142443163648 94142444058181 140726268915056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94142444297232 94142444344976 94142475595776 140726268918171 140726268918270 140726268918270 140726268923874 0
/proc/114050/statm: 1048 768 704 219 0 110 0
[pid=114055] ppid=114050 vsize=1791724 memory=628404 CPUtime=401.07 cores=5,7
/proc/114055/stat : 114055 (python3) R 114050 114050 111519 0 -1 4194304 137322 0 0 0 40083 24 0 0 20 0 1 0 141811925 1834725376 157101 18446744073709551615 94839208030208 94839208030585 140733341875888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94839208041880 94839208042500 94839238737920 140733341878607 140733341878816 140733341878816 140733341884391 0
/proc/114055/statm: 447931 157101 8106 1 0 419289 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 1795916 KiB
Current children cumulated memory: 631476 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/271 114078
/proc/meminfo: memFree=105090992/131249988 swapFree=33010416/33010684
[pid=114050] ppid=114047 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114050/stat : 114050 (scip-naps-1.00a) S 114047 114050 111519 0 -1 4194304 259 390 0 0 0 0 0 0 20 0 1 0 141811923 4292608 768 18446744073709551615 94142443163648 94142444058181 140726268915056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94142444297232 94142444344976 94142475595776 140726268918171 140726268918270 140726268918270 140726268923874 0
/proc/114050/statm: 1048 768 704 219 0 110 0
[pid=114055] ppid=114050 vsize=1791724 memory=628404 CPUtime=460.9 cores=5,7
/proc/114055/stat : 114055 (python3) R 114050 114050 111519 0 -1 4194304 137327 0 0 0 46066 24 0 0 20 0 1 0 141811925 1834725376 157101 18446744073709551615 94839208030208 94839208030585 140733341875888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94839208041880 94839208042500 94839238737920 140733341878607 140733341878816 140733341878816 140733341884391 0
/proc/114055/statm: 447931 157101 8106 1 0 419289 0
Current children cumulated CPU time: 460.9 s
Current children cumulated vsize: 1795916 KiB
Current children cumulated memory: 631476 KiB
[startup+498.894 s]
# the end of solver process 114050 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=497.148 s, system=0.254375 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+473.6 s]
/proc/loadavg: 4.07 4.08 4.09 5/271 114078
/proc/meminfo: memFree=105089228/131249988 swapFree=33010416/33010684
[pid=114050] ppid=114047 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114050/stat : 114050 (scip-naps-1.00a) S 114047 114050 111519 0 -1 4194304 259 390 0 0 0 0 0 0 20 0 1 0 141811923 4292608 768 18446744073709551615 94142443163648 94142444058181 140726268915056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94142444297232 94142444344976 94142475595776 140726268918171 140726268918270 140726268918270 140726268923874 0
/proc/114050/statm: 1048 768 704 219 0 110 0
[pid=114055] ppid=114050 vsize=1791724 memory=628404 CPUtime=472.17 cores=5,7
/proc/114055/stat : 114055 (python3) R 114050 114050 111519 0 -1 4194304 137327 0 0 0 47193 24 0 0 20 0 1 0 141811925 1834725376 157101 18446744073709551615 94839208030208 94839208030585 140733341875888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94839208041880 94839208042500 94839238737920 140733341878607 140733341878816 140733341878816 140733341884391 0
/proc/114055/statm: 447931 157101 8106 1 0 419289 0
Current children cumulated CPU time: 472.17 s
Current children cumulated vsize: 1795916 KiB
Current children cumulated memory: 631476 KiB
[startup+486.4 s]
/proc/loadavg: 4.12 4.09 4.09 5/271 114079
/proc/meminfo: memFree=105089020/131249988 swapFree=33010416/33010684
[pid=114050] ppid=114047 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114050/stat : 114050 (scip-naps-1.00a) S 114047 114050 111519 0 -1 4194304 259 390 0 0 0 0 0 0 20 0 1 0 141811923 4292608 768 18446744073709551615 94142443163648 94142444058181 140726268915056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94142444297232 94142444344976 94142475595776 140726268918171 140726268918270 140726268918270 140726268923874 0
/proc/114050/statm: 1048 768 704 219 0 110 0
[pid=114055] ppid=114050 vsize=1791724 memory=628532 CPUtime=484.93 cores=5,7
/proc/114055/stat : 114055 (python3) R 114050 114050 111519 0 -1 4194304 137356 0 0 0 48469 24 0 0 20 0 1 0 141811925 1834725376 157133 18446744073709551615 94839208030208 94839208030585 140733341875888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94839208041880 94839208042500 94839238737920 140733341878607 140733341878816 140733341878816 140733341884391 0
/proc/114055/statm: 447931 157133 8106 1 0 419289 0
Current children cumulated CPU time: 484.93 s
Current children cumulated vsize: 1795916 KiB
Current children cumulated memory: 631604 KiB
[startup+492.8 s]
/proc/loadavg: 4.11 4.09 4.09 5/271 114080
/proc/meminfo: memFree=105093116/131249988 swapFree=33010416/33010684
[pid=114050] ppid=114047 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114050/stat : 114050 (scip-naps-1.00a) S 114047 114050 111519 0 -1 4194304 259 390 0 0 0 0 0 0 20 0 1 0 141811923 4292608 768 18446744073709551615 94142443163648 94142444058181 140726268915056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94142444297232 94142444344976 94142475595776 140726268918171 140726268918270 140726268918270 140726268923874 0
/proc/114050/statm: 1048 768 704 219 0 110 0
[pid=114055] ppid=114050 vsize=1791724 memory=628532 CPUtime=491.31 cores=5,7
/proc/114055/stat : 114055 (python3) R 114050 114050 111519 0 -1 4194304 137472 0 0 0 49107 24 0 0 20 0 1 0 141811925 1834725376 157133 18446744073709551615 94839208030208 94839208030585 140733341875888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94839208041880 94839208042500 94839238737920 140733341878607 140733341878816 140733341878816 140733341884391 0
/proc/114055/statm: 447931 157133 8106 1 0 419289 0
Current children cumulated CPU time: 491.31 s
Current children cumulated vsize: 1795916 KiB
Current children cumulated memory: 631604 KiB
[startup+496 s]*
/proc/loadavg: 4.10 4.09 4.09 5/271 114080
/proc/meminfo: memFree=105072636/131249988 swapFree=33010416/33010684
[pid=114050] ppid=114047 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114050/stat : 114050 (scip-naps-1.00a) S 114047 114050 111519 0 -1 4194304 259 390 0 0 0 0 0 0 20 0 1 0 141811923 4292608 768 18446744073709551615 94142443163648 94142444058181 140726268915056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94142444297232 94142444344976 94142475595776 140726268918171 140726268918270 140726268918270 140726268923874 0
/proc/114050/statm: 1048 768 704 219 0 110 0
[pid=114055] ppid=114050 vsize=1791724 memory=628532 CPUtime=494.51 cores=5,7
/proc/114055/stat : 114055 (python3) R 114050 114050 111519 0 -1 4194304 137475 0 0 0 49427 24 0 0 20 0 1 0 141811925 1834725376 157133 18446744073709551615 94839208030208 94839208030585 140733341875888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94839208041880 94839208042500 94839238737920 140733341878607 140733341878816 140733341878816 140733341884391 0
/proc/114055/statm: 447931 157133 8106 1 0 419289 0
Current children cumulated CPU time: 494.51 s
Current children cumulated vsize: 1795916 KiB
Current children cumulated memory: 631604 KiB
[startup+497.6 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 114080
/proc/meminfo: memFree=105082876/131249988 swapFree=33010416/33010684
[pid=114050] ppid=114047 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114050/stat : 114050 (scip-naps-1.00a) S 114047 114050 111519 0 -1 4194304 259 390 0 0 0 0 0 0 20 0 1 0 141811923 4292608 768 18446744073709551615 94142443163648 94142444058181 140726268915056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94142444297232 94142444344976 94142475595776 140726268918171 140726268918270 140726268918270 140726268923874 0
/proc/114050/statm: 1048 768 704 219 0 110 0
[pid=114055] ppid=114050 vsize=1791724 memory=628532 CPUtime=496.1 cores=5,7
/proc/114055/stat : 114055 (python3) R 114050 114050 111519 0 -1 4194304 137485 0 0 0 49586 24 0 0 20 0 1 0 141811925 1834725376 157133 18446744073709551615 94839208030208 94839208030585 140733341875888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94839208041880 94839208042500 94839238737920 140733341878607 140733341878816 140733341878816 140733341884391 0
/proc/114055/statm: 447931 157133 8106 1 0 419289 0
Current children cumulated CPU time: 496.1 s
Current children cumulated vsize: 1795916 KiB
Current children cumulated memory: 631604 KiB
[startup+498.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 114080
/proc/meminfo: memFree=105091068/131249988 swapFree=33010416/33010684
[pid=114050] ppid=114047 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114050/stat : 114050 (scip-naps-1.00a) S 114047 114050 111519 0 -1 4194304 259 390 0 0 0 0 0 0 20 0 1 0 141811923 4292608 768 18446744073709551615 94142443163648 94142444058181 140726268915056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94142444297232 94142444344976 94142475595776 140726268918171 140726268918270 140726268918270 140726268923874 0
/proc/114050/statm: 1048 768 704 219 0 110 0
[pid=114055] ppid=114050 vsize=1791724 memory=628532 CPUtime=496.9 cores=5,7
/proc/114055/stat : 114055 (python3) R 114050 114050 111519 0 -1 4194304 137485 0 0 0 49666 24 0 0 20 0 1 0 141811925 1834725376 157133 18446744073709551615 94839208030208 94839208030585 140733341875888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94839208041880 94839208042500 94839238737920 140733341878607 140733341878816 140733341878816 140733341884391 0
/proc/114055/statm: 447931 157133 8106 1 0 419289 0
Current children cumulated CPU time: 496.9 s
Current children cumulated vsize: 1795916 KiB
Current children cumulated memory: 631604 KiB
[startup+498.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 114080
/proc/meminfo: memFree=105091068/131249988 swapFree=33010416/33010684
[pid=114050] ppid=114047 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/114050/stat : 114050 (scip-naps-1.00a) S 114047 114050 111519 0 -1 4194304 259 390 0 0 0 0 0 0 20 0 1 0 141811923 4292608 768 18446744073709551615 94142443163648 94142444058181 140726268915056 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94142444297232 94142444344976 94142475595776 140726268918171 140726268918270 140726268918270 140726268923874 0
/proc/114050/statm: 1048 768 704 219 0 110 0
[pid=114055] ppid=114050 vsize=1775976 memory=612856 CPUtime=497.3 cores=5,7
/proc/114055/stat : 114055 (python3) R 114050 114050 111519 0 -1 4194304 137485 0 0 0 49706 24 0 0 20 0 1 0 141811925 1818599424 153214 18446744073709551615 94839208030208 94839208030585 140733341875888 0 0 0 0 16781312 16386 0 0 0 17 5 0 0 0 0 0 94839208041880 94839208042500 94839238737920 140733341878607 140733341878816 140733341878816 140733341884391 0
/proc/114055/statm: 443994 153214 8106 1 0 415352 0
Current children cumulated CPU time: 497.3 s
Current children cumulated vsize: 1780168 KiB
Current children cumulated memory: 615928 KiB
Child status: 0
Real time (s): 498.894
CPU time (s): 497.402
CPU user time (s): 497.148
CPU system time (s): 0.254375
CPU usage (%): 99.701
Max. virtual memory (cumulated for all children) (KiB): 1797372
Max. memory (cumulated for all children) (KiB): 632672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 497.148
system time used= 0.254375
maximum resident set size= 629856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138294
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 396
involuntary context switches= 2923
# summary of solver processes directly reported to runsolver:
# pid: 114050
# total CPU time (s): 497.402
# total CPU user time (s): 497.148
# total CPU system time (s): 0.254375
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.938969 second user time and 2.16006 second system time
The end
Begin job on nodeC031 at 2025-07-11 21:15:34 IDJOB=4530043 IDBENCH=164178 IDSOLVER=3388 FILE ID=nodeC031/4530043-1752261334 RUNJOBID= nodeC031-1752253448-111532 SLURM_JOB_ID= 9682589 Free space on /tmp= 430892 MiB SOLVER NAME= SCIP-NaPS 1.00a2 BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-ab51-40-100.0.u.opb COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4530043-1752261334/watcher-4530043-1752261334 -o /tmp/evaluation-result-4530043-1752261334/solver-4530043-1752261334 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1752253448-111532 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4530043-1752261334.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 84d6a262f1f6531f4a7714720272edd7 RANDOM SEED=939349964 nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.761 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.889 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3647.920 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.781 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.883 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.885 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3748.182 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3591.387 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 105859784 kB MemAvailable: 128344080 kB Buffers: 2128 kB Cached: 23164900 kB SwapCached: 12 kB Active: 1802684 kB Inactive: 22704288 kB Active(anon): 1347528 kB Inactive(anon): 10468 kB Active(file): 455156 kB Inactive(file): 22693820 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 6484 kB Writeback: 0 kB AnonPages: 1338444 kB Mapped: 132980 kB Shmem: 18052 kB KReclaimable: 349120 kB Slab: 445940 kB SReclaimable: 349120 kB SUnreclaim: 96820 kB KernelStack: 4368 kB PageTables: 6272 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 4944424 kB VmallocTotal: 34359738367 kB VmallocUsed: 150600 kB VmallocChunk: 0 kB Percpu: 3904 kB HardwareCorrupted: 0 kB AnonHugePages: 940032 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: 191188 kB DirectMap2M: 9017344 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 430880 MiB End job on nodeC031 at 2025-07-11 21:23:53