| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP-NaPS 1.00a2 | UNSAT | 235.996 | 236.914 |
| Name | PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_10_092.opb |
| MD5SUM | abde55a93501845a748728a01651cccf |
| 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 | 1.10617 |
| 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 | 85570 |
| Total number of constraints | 1851 |
| Number of constraints which are clauses | 931 |
| Number of constraints which are cardinality constraints (but not clauses) | 920 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 93 |
| 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 | 9 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 94 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
109.25/109.61 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4544120-1753222689.opb 109.25/109.61 c Solving mode: decision 109.25/109.61 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 109.25/109.61 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 109.25/109.61 c original problem has 85570 variables (85570 bin, 0 int, 0 impl, 0 cont) and 1851 constraints 109.25/109.61 c presolving: 109.25/109.61 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 931 upgd conss, 0 impls, 920 clqs 109.25/109.61 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1851 upgd conss, 0 impls, 920 clqs 109.25/109.61 c (1.3s) probing: 51/85570 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 109.25/109.61 c (1.3s) probing aborted: 50/50 successive totally useless probings 109.25/109.61 c (1.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 109.25/109.61 c (107.4s) symmetry computation finished: 747 generators found (max: 747, log10 of symmetry group size: 2860.0) (symcode time: 105.87) 109.25/109.61 c dynamic symmetry handling statistics: 109.25/109.61 c orbitopal reduction: no components 109.25/109.61 c orbital reduction: no components 109.25/109.61 c lexicographic reduction: no permutations 109.25/109.61 c handled 5 out of 5 symmetry components 109.25/109.61 c (round 3, exhaustive) 376 del vars, 0 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1851 upgd conss, 0 impls, 920 clqs 109.25/109.61 c (round 4, medium) 751 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 747 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 5, medium) 1117 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 1113 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 6, medium) 1478 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 1474 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 7, medium) 1834 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 1830 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 8, medium) 2185 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 2181 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 9, medium) 2531 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 2527 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 10, medium) 2872 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 2868 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 11, medium) 3208 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 3204 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 12, medium) 3539 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 3535 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 13, medium) 3865 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 3861 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 14, medium) 4186 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 4182 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 15, medium) 4502 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 4498 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 16, medium) 4814 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 4810 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 17, medium) 5122 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 5118 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 18, medium) 5426 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 5422 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 19, medium) 5726 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 5722 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 20, medium) 6022 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 6018 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 21, medium) 6314 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 6310 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 22, medium) 6602 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 6598 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 23, medium) 6886 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 6882 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 24, medium) 7166 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 7162 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 25, medium) 7442 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 7438 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 26, medium) 7714 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 7710 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 27, medium) 7982 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 7978 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 28, medium) 8246 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 8242 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 29, medium) 8506 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 8502 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 30, medium) 8762 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 8758 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 31, medium) 9014 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 9010 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 32, medium) 9262 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 9258 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 33, medium) 9506 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 9502 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 34, medium) 9746 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 9742 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 35, medium) 9982 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 9978 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 36, medium) 10214 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 10210 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 37, medium) 10442 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 10438 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 38, medium) 10666 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 10662 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 39, medium) 10886 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 10882 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 40, medium) 11102 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 11098 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 41, medium) 11314 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 11310 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 42, medium) 11522 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 11518 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 43, medium) 11726 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 11722 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 44, medium) 11926 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 11922 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 45, medium) 12122 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 12118 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 46, medium) 12314 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 12310 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 109.25/109.61 c (round 47, medium) 12502 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 12498 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 48, medium) 12686 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 12682 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 49, medium) 12866 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 12862 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 50, medium) 13042 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 13038 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 51, medium) 13214 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 13210 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 52, medium) 13382 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 13378 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 53, medium) 13546 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 13542 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 54, medium) 13706 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 13702 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 55, medium) 13862 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 13858 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 56, medium) 14014 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 14010 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 57, medium) 14162 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 14158 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 58, medium) 14306 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 14302 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 59, medium) 14446 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 14442 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 60, medium) 14582 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 14578 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 61, medium) 14714 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 14710 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 62, medium) 14842 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 14838 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 63, medium) 14966 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 14962 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 64, medium) 15086 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 15082 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 65, medium) 15202 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 15198 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 66, medium) 15314 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 15310 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 67, medium) 15422 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 15418 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 68, medium) 15526 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 15522 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 69, medium) 15626 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 15622 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 70, medium) 15722 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 15718 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 71, medium) 15814 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 15810 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 72, medium) 15902 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 15898 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 73, medium) 15986 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 15982 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 74, medium) 16066 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 16062 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 75, medium) 16142 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 16138 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 76, medium) 16214 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 16210 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 77, medium) 16282 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 16278 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 78, medium) 16346 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 16342 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 79, medium) 16406 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 16402 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 80, medium) 16462 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 16458 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 81, exhaustive) 16562 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 16510 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 82, exhaustive) 16646 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 16602 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 83, exhaustive) 16714 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 16678 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (round 84, exhaustive) 16786 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 16738 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs 214.35/215.21 c (123.1s) probing: 1000/85570 (1.2%) - 188 fixings, 0 aggregations, 487 implications, 0 bound changes 214.35/215.21 c (126.9s) probing: 1280/85570 (1.5%) - 188 fixings, 0 aggregations, 4747 implications, 0 bound changes 214.35/215.21 c (126.9s) probing aborted: 1000/1000 successive useless probings 214.35/215.21 c presolving (85 rounds: 85 fast, 85 medium, 8 exhaustive): 214.35/215.21 c 16826 deleted vars, 4 deleted constraints, 376 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 16798 changed coefficients 214.35/215.21 c 0 implications, 5663 cliques 214.35/215.21 c presolved problem has 68744 variables (68744 bin, 0 int, 0 impl, 0 cont) and 2223 constraints 214.35/215.21 c 916 constraints of type <setppc> 214.35/215.21 c 376 constraints of type <orbitope> 214.35/215.21 c 931 constraints of type <logicor> 214.35/215.21 c transformed objective value is always integral (scale: 1) 214.35/215.21 c Presolving Time: 126.86 214.35/215.21 c 214.35/215.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 214.35/215.21 c 202s| 1 | 0 | 1463 | - | 780M | 0 | 68k|2264 |1847 | 0 | 0 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 214.35/215.21 c 210s| 1 | 0 | 6701 | - | 818M | 0 | 68k|2264 |1854 | 7 | 1 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 214.35/215.21 c 212s| 1 | 0 | 6773 | - | 866M | 0 | 68k|2264 |1954 | 107 | 2 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 214.35/215.21 c 213s| 1 | 0 | 6819 | - | 866M | 0 | 68k|2264 |1959 | 112 | 3 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 214.35/215.21 c 213s| 1 | 0 | 6827 | - | 867M | 0 | 68k|2263 |1964 | 117 | 4 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 214.35/215.21 c 213s| 1 | 0 | 6842 | - | 867M | 0 | 68k|2263 |1967 | 120 | 5 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 214.35/215.21 c 214s| 1 | 0 | 6892 | - | 868M | 0 | 68k|2263 |1974 | 127 | 6 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 214.35/215.21 c 214s| 1 | 0 | 6949 | - | 869M | 0 | 68k|2263 |1979 | 132 | 7 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 214.35/215.21 c 214s| 1 | 0 | 7005 | - | 869M | 0 | 68k|2263 |1991 | 144 | 8 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 214.35/215.21 c 215s| 1 | 0 | 7040 | - | 871M | 0 | 68k|2263 |1997 | 150 | 9 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 214.35/215.21 c 215s| 1 | 0 | 7082 | - | 873M | 0 | 68k|2263 |2002 | 155 | 10 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 235.67/236.62 c 215s| 1 | 0 | 7109 | - | 873M | 0 | 68k|2263 |2007 | 160 | 11 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 235.67/236.62 c 215s| 1 | 0 | 7188 | - | 874M | 0 | 68k|2269 |2014 | 167 | 12 | 86 | 0 | 0.000000e+00 | -- | Inf | unknown 235.67/236.62 c 215s| 1 | 0 | 7213 | - | 874M | 0 | 68k|2269 |2020 | 173 | 13 | 86 | 0 | 0.000000e+00 | -- | Inf | unknown 235.67/236.62 c 220s| 1 | 0 | 20941 | - | 880M | 0 | 68k|2275 |2020 | 173 | 13 | 92 | 18 | 0.000000e+00 | -- | Inf | unknown 235.67/236.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 235.67/236.62 c 221s| 1 | 0 | 20998 | - | 881M | 0 | 68k|2275 |1950 | 220 | 14 | 92 | 18 | 0.000000e+00 | -- | Inf | unknown 235.67/236.62 c 221s| 1 | 0 | 21001 | - | 881M | 0 | 68k|2275 |1952 | 222 | 15 | 92 | 18 | 0.000000e+00 | -- | Inf | unknown 235.67/236.62 c 223s| 1 | 0 | 22815 | - | 881M | 0 | 68k|2275 |1952 | 222 | 15 | 92 | 39 | 0.000000e+00 | -- | Inf | unknown 235.67/236.62 c 223s| 1 | 0 | 22878 | - | 884M | 0 | 68k|2275 |1988 | 258 | 16 | 92 | 39 | 0.000000e+00 | -- | Inf | unknown 235.67/236.62 c 224s| 1 | 2 | 23223 | - | 884M | 0 | 68k|2275 |1988 | 258 | 17 | 92 | 60 | 0.000000e+00 | -- | Inf | unknown 235.67/236.62 c 235.67/236.62 c SCIP Status : problem is solved [infeasible] 235.67/236.62 c Solving Time (sec) : 236.38 235.67/236.62 c Solving Nodes : 26 235.67/236.62 c Primal Bound : +1.00000000000000e+20 (0 solutions) 235.67/236.62 c Dual Bound : +1.00000000000000e+20 235.67/236.62 c Gap : 0.00 % 235.67/236.62 c SCIP found the problem to be infeasible. 235.67/236.62 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: 63665 MiB (61859 MiB free)
memory of node 1: 64507 MiB (61195 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544120-1753222689/watcher-4544120-1753222689 -o /tmp/evaluation-result-4544120-1753222689/solver-4544120-1753222689 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753222587-197771 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4544120-1753222689.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=199216, runsolver pid=199213
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 3.56 1.99 1.57 5/271 199221
/proc/meminfo: memFree=126004344/131250000 swapFree=33008868/33010684
[pid=199216] ppid=199213 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/199216/stat : 199216 (scip-naps-1.00a) S 199213 199216 197761 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 237949189 4292608 768 18446744073709551615 94344713650176 94344714544709 140727870820560 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94344714783760 94344714831504 94344735027200 140727870822811 140727870822910 140727870822910 140727870828514 0
/proc/199216/statm: 1048 768 704 219 0 110 0
[pid=199221] ppid=199216 vsize=1188288 memory=33052 CPUtime=0.07 cores=0,2
/proc/199221/stat : 199221 (python3) R 199216 199216 197761 0 -1 4194304 4009 0 0 0 6 1 0 0 20 0 1 0 237949190 1216806912 8263 18446744073709551615 94103350018048 94103350018425 140720362232432 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94103350029720 94103350030340 94103365640192 140720362240335 140720362240544 140720362240544 140720362246119 0
/proc/199221/statm: 297072 8263 4903 1 0 269063 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1192480 KiB
Current children cumulated memory: 36124 KiB
[startup+0.205719 s]*
/proc/loadavg: 3.56 1.99 1.57 5/271 199221
/proc/meminfo: memFree=126004104/131250000 swapFree=33008868/33010684
[pid=199216] ppid=199213 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/199216/stat : 199216 (scip-naps-1.00a) S 199213 199216 197761 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 237949189 4292608 768 18446744073709551615 94344713650176 94344714544709 140727870820560 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94344714783760 94344714831504 94344735027200 140727870822811 140727870822910 140727870822910 140727870828514 0
/proc/199216/statm: 1048 768 704 219 0 110 0
[pid=199221] ppid=199216 vsize=1259968 memory=110876 CPUtime=0.18 cores=0,2
/proc/199221/stat : 199221 (python3) R 199216 199216 197761 0 -1 4194304 20970 0 0 0 14 4 0 0 20 0 1 0 237949190 1290207232 27719 18446744073709551615 94103350018048 94103350018425 140720362232432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94103350029720 94103350030340 94103365640192 140720362240335 140720362240544 140720362240544 140720362246119 0
/proc/199221/statm: 314992 27719 7623 1 0 286350 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 1264160 KiB
Current children cumulated memory: 113948 KiB
[startup+0.3057 s]*
/proc/loadavg: 3.56 1.99 1.57 5/271 199221
/proc/meminfo: memFree=126004104/131250000 swapFree=33008868/33010684
[pid=199216] ppid=199213 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/199216/stat : 199216 (scip-naps-1.00a) S 199213 199216 197761 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 237949189 4292608 768 18446744073709551615 94344713650176 94344714544709 140727870820560 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94344714783760 94344714831504 94344735027200 140727870822811 140727870822910 140727870822910 140727870828514 0
/proc/199216/statm: 1048 768 704 219 0 110 0
[pid=199221] ppid=199216 vsize=1350980 memory=203164 CPUtime=0.28 cores=0,2
/proc/199221/stat : 199221 (python3) R 199216 199216 197761 0 -1 4194304 43891 0 0 0 20 8 0 0 20 0 1 0 237949190 1383403520 50791 18446744073709551615 94103350018048 94103350018425 140720362232432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94103350029720 94103350030340 94103365640192 140720362240335 140720362240544 140720362240544 140720362246119 0
/proc/199221/statm: 337745 50791 7783 1 0 309103 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 1355172 KiB
Current children cumulated memory: 206236 KiB
[startup+0.700158 s]
/proc/loadavg: 3.56 1.99 1.57 5/271 199221
/proc/meminfo: memFree=125939604/131250000 swapFree=33008868/33010684
[pid=199216] ppid=199213 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/199216/stat : 199216 (scip-naps-1.00a) S 199213 199216 197761 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 237949189 4292608 768 18446744073709551615 94344713650176 94344714544709 140727870820560 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94344714783760 94344714831504 94344735027200 140727870822811 140727870822910 140727870822910 140727870828514 0
/proc/199216/statm: 1048 768 704 219 0 110 0
[pid=199221] ppid=199216 vsize=1426016 memory=266012 CPUtime=0.66 cores=0,2
/proc/199221/stat : 199221 (python3) R 199216 199216 197761 0 -1 4194304 59569 0 0 0 56 10 0 0 20 0 1 0 237949190 1460240384 66503 18446744073709551615 94103350018048 94103350018425 140720362232432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94103350029720 94103350030340 94103365640192 140720362240335 140720362240544 140720362240544 140720362246119 0
/proc/199221/statm: 356504 66503 7847 1 0 327862 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1430208 KiB
Current children cumulated memory: 269084 KiB
[startup+1.50017 s]
/proc/loadavg: 3.56 1.99 1.57 5/271 199221
/proc/meminfo: memFree=125913396/131250000 swapFree=33008868/33010684
[pid=199216] ppid=199213 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/199216/stat : 199216 (scip-naps-1.00a) S 199213 199216 197761 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 237949189 4292608 768 18446744073709551615 94344713650176 94344714544709 140727870820560 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94344714783760 94344714831504 94344735027200 140727870822811 140727870822910 140727870822910 140727870828514 0
/proc/199216/statm: 1048 768 704 219 0 110 0
[pid=199221] ppid=199216 vsize=1448020 memory=288284 CPUtime=1.46 cores=0,2
/proc/199221/stat : 199221 (python3) R 199216 199216 197761 0 -1 4194304 65415 0 0 0 135 11 0 0 20 0 1 0 237949190 1482772480 72071 18446744073709551615 94103350018048 94103350018425 140720362232432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94103350029720 94103350030340 94103365640192 140720362240335 140720362240544 140720362240544 140720362246119 0
/proc/199221/statm: 362005 72071 7911 1 0 333363 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1452212 KiB
Current children cumulated memory: 291356 KiB
[startup+3.10548 s]
/proc/loadavg: 3.56 1.99 1.57 5/271 199221
/proc/meminfo: memFree=125777124/131250000 swapFree=33008868/33010684
[pid=199216] ppid=199213 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/199216/stat : 199216 (scip-naps-1.00a) S 199213 199216 197761 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 237949189 4292608 768 18446744073709551615 94344713650176 94344714544709 140727870820560 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94344714783760 94344714831504 94344735027200 140727870822811 140727870822910 140727870822910 140727870828514 0
/proc/199216/statm: 1048 768 704 219 0 110 0
[pid=199221] ppid=199216 vsize=1697928 memory=399772 CPUtime=3.06 cores=0,2
/proc/199221/stat : 199221 (python3) R 199216 199216 197761 0 -1 4194304 94115 0 0 0 291 15 0 0 20 0 1 0 237949190 1738678272 99943 18446744073709551615 94103350018048 94103350018425 140720362232432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94103350029720 94103350030340 94103365640192 140720362240335 140720362240544 140720362240544 140720362246119 0
/proc/199221/statm: 424482 99943 7975 1 0 395840 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1702120 KiB
Current children cumulated memory: 402844 KiB
[startup+6.30014 s]
/proc/loadavg: 3.59 2.02 1.58 5/271 199221
/proc/meminfo: memFree=125692664/131250000 swapFree=33008868/33010684
[pid=199216] ppid=199213 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/199216/stat : 199216 (scip-naps-1.00a) S 199213 199216 197761 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 237949189 4292608 768 18446744073709551615 94344713650176 94344714544709 140727870820560 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94344714783760 94344714831504 94344735027200 140727870822811 140727870822910 140727870822910 140727870828514 0
/proc/199216/statm: 1048 768 704 219 0 110 0
[pid=199221] ppid=199216 vsize=1756096 memory=462604 CPUtime=6.25 cores=0,2
/proc/199221/stat : 199221 (python3) R 199216 199216 197761 0 -1 4194304 108826 0 0 0 608 17 0 0 20 0 1 0 237949190 1798242304 115651 18446744073709551615 94103350018048 94103350018425 140720362232432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94103350029720 94103350030340 94103365640192 140720362240335 140720362240544 140720362240544 140720362246119 0
/proc/199221/statm: 439024 115651 7975 1 0 410382 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1760288 KiB
Current children cumulated memory: 465676 KiB
[startup+12.7002 s]
/proc/loadavg: 3.63 2.05 1.59 5/271 199221
/proc/meminfo: memFree=125580520/131250000 swapFree=33008868/33010684
[pid=199216] ppid=199213 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/199216/stat : 199216 (scip-naps-1.00a) S 199213 199216 197761 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 237949189 4292608 768 18446744073709551615 94344713650176 94344714544709 140727870820560 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94344714783760 94344714831504 94344735027200 140727870822811 140727870822910 140727870822910 140727870828514 0
/proc/199216/statm: 1048 768 704 219 0 110 0
[pid=199221] ppid=199216 vsize=1827300 memory=535784 CPUtime=12.63 cores=0,2
/proc/199221/stat : 199221 (python3) R 199216 199216 197761 0 -1 4194304 126584 0 0 0 1243 20 0 0 20 0 1 0 237949190 1871155200 133946 18446744073709551615 94103350018048 94103350018425 140720362232432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94103350029720 94103350030340 94103365640192 140720362240335 140720362240544 140720362240544 140720362246119 0
/proc/199221/statm: 456825 133946 7975 1 0 428183 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1831492 KiB
Current children cumulated memory: 538856 KiB
[startup+25.5002 s]
/proc/loadavg: 3.78 2.16 1.64 5/271 199221
/proc/meminfo: memFree=124714692/131250000 swapFree=33008868/33010684
[pid=199216] ppid=199213 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/199216/stat : 199216 (scip-naps-1.00a) S 199213 199216 197761 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 237949189 4292608 768 18446744073709551615 94344713650176 94344714544709 140727870820560 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94344714783760 94344714831504 94344735027200 140727870822811 140727870822910 140727870822910 140727870828514 0
/proc/199216/statm: 1048 768 704 219 0 110 0
[pid=199221] ppid=199216 vsize=1883460 memory=591848 CPUtime=25.4 cores=0,2
/proc/199221/stat : 199221 (python3) R 199216 199216 197761 0 -1 4194304 140624 0 0 0 2517 23 0 0 20 0 1 0 237949190 1928663040 147962 18446744073709551615 94103350018048 94103350018425 140720362232432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94103350029720 94103350030340 94103365640192 140720362240335 140720362240544 140720362240544 140720362246119 0
/proc/199221/statm: 470865 147962 7975 1 0 442223 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1887652 KiB
Current children cumulated memory: 594920 KiB
[startup+51.1058 s]
/proc/loadavg: 3.85 2.31 1.70 5/271 199669
/proc/meminfo: memFree=124834880/131250000 swapFree=33008868/33010684
[pid=199216] ppid=199213 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/199216/stat : 199216 (scip-naps-1.00a) S 199213 199216 197761 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 237949189 4292608 768 18446744073709551615 94344713650176 94344714544709 140727870820560 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94344714783760 94344714831504 94344735027200 140727870822811 140727870822910 140727870822910 140727870828514 0
/proc/199216/statm: 1048 768 704 219 0 110 0
[pid=199221] ppid=199216 vsize=1883460 memory=591848 CPUtime=50.94 cores=0,2
/proc/199221/stat : 199221 (python3) R 199216 199216 197761 0 -1 4194304 140624 0 0 0 5071 23 0 0 20 0 1 0 237949190 1928663040 147962 18446744073709551615 94103350018048 94103350018425 140720362232432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94103350029720 94103350030340 94103365640192 140720362240335 140720362240544 140720362240544 140720362246119 0
/proc/199221/statm: 470865 147962 7975 1 0 442223 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1887652 KiB
Current children cumulated memory: 594920 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 2.62 1.84 5/268 199718
/proc/meminfo: memFree=125437884/131250000 swapFree=33008868/33010684
[pid=199216] ppid=199213 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/199216/stat : 199216 (scip-naps-1.00a) S 199213 199216 197761 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 237949189 4292608 768 18446744073709551615 94344713650176 94344714544709 140727870820560 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94344714783760 94344714831504 94344735027200 140727870822811 140727870822910 140727870822910 140727870828514 0
/proc/199216/statm: 1048 768 704 219 0 110 0
[pid=199221] ppid=199216 vsize=1883460 memory=591976 CPUtime=101.98 cores=0,2
/proc/199221/stat : 199221 (python3) R 199216 199216 197761 0 -1 4194304 140641 0 0 0 10175 23 0 0 20 0 1 0 237949190 1928663040 147994 18446744073709551615 94103350018048 94103350018425 140720362232432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94103350029720 94103350030340 94103365640192 140720362240335 140720362240544 140720362240544 140720362246119 0
/proc/199221/statm: 470865 147994 7975 1 0 442223 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1887652 KiB
Current children cumulated memory: 595048 KiB
[startup+162.3 s]
/proc/loadavg: 4.29 2.96 2.01 5/268 199768
/proc/meminfo: memFree=122952660/131250000 swapFree=33008868/33010684
[pid=199216] ppid=199213 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/199216/stat : 199216 (scip-naps-1.00a) S 199213 199216 197761 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 237949189 4292608 768 18446744073709551615 94344713650176 94344714544709 140727870820560 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94344714783760 94344714831504 94344735027200 140727870822811 140727870822910 140727870822910 140727870828514 0
/proc/199216/statm: 1048 768 704 219 0 110 0
[pid=199221] ppid=199216 vsize=2007196 memory=714616 CPUtime=161.71 cores=0,2
/proc/199221/stat : 199221 (python3) R 199216 199216 197761 0 -1 4194304 173068 0 0 0 16142 29 0 0 20 0 1 0 237949190 2055368704 178654 18446744073709551615 94103350018048 94103350018425 140720362232432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94103350029720 94103350030340 94103365640192 140720362240335 140720362240544 140720362240544 140720362246119 0
/proc/199221/statm: 501799 178654 8135 1 0 473157 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 2011388 KiB
Current children cumulated memory: 717688 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.15 2.14 5/267 199770
/proc/meminfo: memFree=121415892/131250000 swapFree=33008868/33010684
[pid=199216] ppid=199213 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/199216/stat : 199216 (scip-naps-1.00a) S 199213 199216 197761 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 237949189 4292608 768 18446744073709551615 94344713650176 94344714544709 140727870820560 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94344714783760 94344714831504 94344735027200 140727870822811 140727870822910 140727870822910 140727870828514 0
/proc/199216/statm: 1048 768 704 219 0 110 0
[pid=199221] ppid=199216 vsize=2155656 memory=866808 CPUtime=221.42 cores=0,2
/proc/199221/stat : 199221 (python3) R 199216 199216 197761 0 -1 4194304 265477 0 0 0 22097 45 0 0 20 0 1 0 237949190 2207391744 216702 18446744073709551615 94103350018048 94103350018425 140720362232432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94103350029720 94103350030340 94103365640192 140720362240335 140720362240544 140720362240544 140720362246119 0
/proc/199221/statm: 538914 216702 8135 1 0 510272 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 2159848 KiB
Current children cumulated memory: 869880 KiB
[startup+236.913 s]
# the end of solver process 199216 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=235.495 s, system=0.501475 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.17 3.20 2.16 5/266 199771
/proc/meminfo: memFree=121455552/131250000 swapFree=33008868/33010684
[pid=199216] ppid=199213 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/199216/stat : 199216 (scip-naps-1.00a) S 199213 199216 197761 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 237949189 4292608 768 18446744073709551615 94344713650176 94344714544709 140727870820560 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94344714783760 94344714831504 94344735027200 140727870822811 140727870822910 140727870822910 140727870828514 0
/proc/199216/statm: 1048 768 704 219 0 110 0
[pid=199221] ppid=199216 vsize=2155936 memory=867704 CPUtime=229.49 cores=0,2
/proc/199221/stat : 199221 (python3) R 199216 199216 197761 0 -1 4194304 265758 0 0 0 22904 45 0 0 20 0 1 0 237949190 2207678464 216926 18446744073709551615 94103350018048 94103350018425 140720362232432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94103350029720 94103350030340 94103365640192 140720362240335 140720362240544 140720362240544 140720362246119 0
/proc/199221/statm: 538984 216926 8135 1 0 510342 0
Current children cumulated CPU time: 229.49 s
Current children cumulated vsize: 2160128 KiB
Current children cumulated memory: 870776 KiB
[startup+233.6 s]
/proc/loadavg: 4.17 3.20 2.16 5/266 199771
/proc/meminfo: memFree=121465628/131250000 swapFree=33008868/33010684
[pid=199216] ppid=199213 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/199216/stat : 199216 (scip-naps-1.00a) S 199213 199216 197761 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 237949189 4292608 768 18446744073709551615 94344713650176 94344714544709 140727870820560 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94344714783760 94344714831504 94344735027200 140727870822811 140727870822910 140727870822910 140727870828514 0
/proc/199216/statm: 1048 768 704 219 0 110 0
[pid=199221] ppid=199216 vsize=2155936 memory=867704 CPUtime=232.68 cores=0,2
/proc/199221/stat : 199221 (python3) R 199216 199216 197761 0 -1 4194304 265760 0 0 0 23223 45 0 0 20 0 1 0 237949190 2207678464 216926 18446744073709551615 94103350018048 94103350018425 140720362232432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94103350029720 94103350030340 94103365640192 140720362240335 140720362240544 140720362240544 140720362246119 0
/proc/199221/statm: 538984 216926 8135 1 0 510342 0
Current children cumulated CPU time: 232.68 s
Current children cumulated vsize: 2160128 KiB
Current children cumulated memory: 870776 KiB
[startup+235.2 s]
/proc/loadavg: 4.16 3.21 2.17 5/266 199771
/proc/meminfo: memFree=121462676/131250000 swapFree=33008868/33010684
[pid=199216] ppid=199213 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/199216/stat : 199216 (scip-naps-1.00a) S 199213 199216 197761 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 237949189 4292608 768 18446744073709551615 94344713650176 94344714544709 140727870820560 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94344714783760 94344714831504 94344735027200 140727870822811 140727870822910 140727870822910 140727870828514 0
/proc/199216/statm: 1048 768 704 219 0 110 0
[pid=199221] ppid=199216 vsize=2155936 memory=867704 CPUtime=234.27 cores=0,2
/proc/199221/stat : 199221 (python3) R 199216 199216 197761 0 -1 4194304 265760 0 0 0 23382 45 0 0 20 0 1 0 237949190 2207678464 216926 18446744073709551615 94103350018048 94103350018425 140720362232432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94103350029720 94103350030340 94103365640192 140720362240335 140720362240544 140720362240544 140720362246119 0
/proc/199221/statm: 538984 216926 8135 1 0 510342 0
Current children cumulated CPU time: 234.27 s
Current children cumulated vsize: 2160128 KiB
Current children cumulated memory: 870776 KiB
[startup+236 s]*
/proc/loadavg: 4.16 3.21 2.17 5/266 199771
/proc/meminfo: memFree=121465672/131250000 swapFree=33008868/33010684
[pid=199216] ppid=199213 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/199216/stat : 199216 (scip-naps-1.00a) S 199213 199216 197761 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 237949189 4292608 768 18446744073709551615 94344713650176 94344714544709 140727870820560 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94344714783760 94344714831504 94344735027200 140727870822811 140727870822910 140727870822910 140727870828514 0
/proc/199216/statm: 1048 768 704 219 0 110 0
[pid=199221] ppid=199216 vsize=2155936 memory=867704 CPUtime=235.07 cores=0,2
/proc/199221/stat : 199221 (python3) R 199216 199216 197761 0 -1 4194304 265760 0 0 0 23462 45 0 0 20 0 1 0 237949190 2207678464 216926 18446744073709551615 94103350018048 94103350018425 140720362232432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94103350029720 94103350030340 94103365640192 140720362240335 140720362240544 140720362240544 140720362246119 0
/proc/199221/statm: 538984 216926 8135 1 0 510342 0
Current children cumulated CPU time: 235.07 s
Current children cumulated vsize: 2160128 KiB
Current children cumulated memory: 870776 KiB
[startup+236.4 s]
/proc/loadavg: 4.16 3.21 2.17 5/266 199771
/proc/meminfo: memFree=121465672/131250000 swapFree=33008868/33010684
[pid=199216] ppid=199213 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/199216/stat : 199216 (scip-naps-1.00a) S 199213 199216 197761 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 237949189 4292608 768 18446744073709551615 94344713650176 94344714544709 140727870820560 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94344714783760 94344714831504 94344735027200 140727870822811 140727870822910 140727870822910 140727870828514 0
/proc/199216/statm: 1048 768 704 219 0 110 0
[pid=199221] ppid=199216 vsize=2155936 memory=867704 CPUtime=235.47 cores=0,2
/proc/199221/stat : 199221 (python3) R 199216 199216 197761 0 -1 4194304 265761 0 0 0 23502 45 0 0 20 0 1 0 237949190 2207678464 216926 18446744073709551615 94103350018048 94103350018425 140720362232432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94103350029720 94103350030340 94103365640192 140720362240335 140720362240544 140720362240544 140720362246119 0
/proc/199221/statm: 538984 216926 8135 1 0 510342 0
Current children cumulated CPU time: 235.47 s
Current children cumulated vsize: 2160128 KiB
Current children cumulated memory: 870776 KiB
[startup+236.8 s]
/proc/loadavg: 4.16 3.21 2.17 5/266 199771
/proc/meminfo: memFree=121465672/131250000 swapFree=33008868/33010684
[pid=199216] ppid=199213 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/199216/stat : 199216 (scip-naps-1.00a) S 199213 199216 197761 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 237949189 4292608 768 18446744073709551615 94344713650176 94344714544709 140727870820560 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94344714783760 94344714831504 94344735027200 140727870822811 140727870822910 140727870822910 140727870828514 0
/proc/199216/statm: 1048 768 704 219 0 110 0
[pid=199221] ppid=199216 vsize=2155936 memory=867704 CPUtime=235.87 cores=0,2
/proc/199221/stat : 199221 (python3) R 199216 199216 197761 0 -1 4194304 265761 0 0 0 23542 45 0 0 20 0 1 0 237949190 2207678464 216926 18446744073709551615 94103350018048 94103350018425 140720362232432 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94103350029720 94103350030340 94103365640192 140720362240335 140720362240544 140720362240544 140720362246119 0
/proc/199221/statm: 538984 216926 8135 1 0 510342 0
Current children cumulated CPU time: 235.87 s
Current children cumulated vsize: 2160128 KiB
Current children cumulated memory: 870776 KiB
[startup+236.9 s]
/proc/loadavg: 4.16 3.21 2.17 5/266 199771
/proc/meminfo: memFree=121465672/131250000 swapFree=33008868/33010684
[pid=199216] ppid=199213 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/199216/stat : 199216 (scip-naps-1.00a) S 199213 199216 197761 0 -1 4194304 258 345 0 0 0 0 0 0 20 0 1 0 237949189 4292608 768 18446744073709551615 94344713650176 94344714544709 140727870820560 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94344714783760 94344714831504 94344735027200 140727870822811 140727870822910 140727870822910 140727870828514 0
/proc/199216/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 236.914
CPU time (s): 235.996
CPU user time (s): 235.495
CPU system time (s): 0.501475
CPU usage (%): 99.6128
Max. virtual memory (cumulated for all children) (KiB): 2290508
Max. memory (cumulated for all children) (KiB): 986156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 235.495
system time used= 0.501475
maximum resident set size= 983084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266405
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= 341
involuntary context switches= 318
# summary of solver processes directly reported to runsolver:
# pid: 199216
# total CPU time (s): 235.996
# total CPU user time (s): 235.495
# total CPU system time (s): 0.501475
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.490167 second user time and 1.13157 second system time
The end
Begin job on nodeC013 at 2025-07-23 00:18:09 IDJOB=4544120 IDBENCH=174892 IDSOLVER=3388 FILE ID=nodeC013/4544120-1753222689 RUNJOBID= nodeC013-1753222587-197771 SLURM_JOB_ID= 9687822 Free space on /tmp= 433016 MiB SOLVER NAME= SCIP-NaPS 1.00a2 BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v2_10_092.opb COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544120-1753222689/watcher-4544120-1753222689 -o /tmp/evaluation-result-4544120-1753222689/solver-4544120-1753222689 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753222587-197771 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4544120-1753222689.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= abde55a93501845a748728a01651cccf RANDOM SEED=1324879105 nodeC013 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 : 3548.467 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.67 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.804 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.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.829 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.67 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 : 3623.658 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.67 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.571 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.67 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.799 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.67 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 : 3595.096 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.67 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 : 3700.000 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.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 126009964 kB MemAvailable: 127079404 kB Buffers: 1668 kB Cached: 1810028 kB SwapCached: 52 kB Active: 3376288 kB Inactive: 952068 kB Active(anon): 2533212 kB Inactive(anon): 4872 kB Active(file): 843076 kB Inactive(file): 947196 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33008868 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 21108 kB Writeback: 0 kB AnonPages: 2517912 kB Mapped: 126964 kB Shmem: 21424 kB KReclaimable: 236412 kB Slab: 333340 kB SReclaimable: 236412 kB SUnreclaim: 96928 kB KernelStack: 4368 kB PageTables: 8708 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 6444228 kB VmallocTotal: 34359738367 kB VmallocUsed: 150648 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 217088 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: 215764 kB DirectMap2M: 8992768 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432968 MiB End job on nodeC013 at 2025-07-23 00:22:06