| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP-NaPS 1.00a1 | UNSAT | 199.434 | 200.145 |
| 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.05/109.48 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4544113-1753222666.opb 109.05/109.48 c Solving mode: decision 109.05/109.48 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 109.05/109.48 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 109.05/109.48 c original problem has 85570 variables (85570 bin, 0 int, 0 impl, 0 cont) and 1851 constraints 109.05/109.48 c presolving: 109.05/109.48 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.05/109.48 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.05/109.48 c (1.5s) probing: 51/85570 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes 109.05/109.48 c (1.5s) probing aborted: 50/50 successive totally useless probings 109.05/109.48 c (1.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 109.05/109.48 c (107.6s) symmetry computation finished: 747 generators found (max: 747, log10 of symmetry group size: 2860.0) (symcode time: 105.85) 109.05/109.48 c dynamic symmetry handling statistics: 109.05/109.48 c orbitopal reduction: no components 109.05/109.48 c orbital reduction: no components 109.05/109.48 c lexicographic reduction: no permutations 109.05/109.48 c handled 5 out of 5 symmetry components 109.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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.05/109.48 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 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 180.15/180.88 c (121.1s) probing: 1000/85570 (1.2%) - 188 fixings, 0 aggregations, 487 implications, 0 bound changes 180.15/180.88 c (124.4s) probing: 1280/85570 (1.5%) - 188 fixings, 0 aggregations, 4747 implications, 0 bound changes 180.15/180.88 c (124.4s) probing aborted: 1000/1000 successive useless probings 180.15/180.88 c presolving (85 rounds: 85 fast, 85 medium, 8 exhaustive): 180.15/180.88 c 16826 deleted vars, 4 deleted constraints, 376 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 16798 changed coefficients 180.15/180.88 c 0 implications, 5663 cliques 180.15/180.88 c presolved problem has 68744 variables (68744 bin, 0 int, 0 impl, 0 cont) and 2223 constraints 180.15/180.88 c 916 constraints of type <setppc> 180.15/180.88 c 376 constraints of type <orbitope> 180.15/180.88 c 931 constraints of type <logicor> 180.15/180.88 c transformed objective value is always integral (scale: 1) 180.15/180.88 c Presolving Time: 124.34 180.15/180.88 c 180.15/180.88 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 180.15/180.88 c 169s| 1 | 0 | 1463 | - | 780M | 0 | 68k|2264 |1847 | 0 | 0 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 180.15/180.88 c 176s| 1 | 0 | 6701 | - | 818M | 0 | 68k|2264 |1854 | 7 | 1 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 180.15/180.88 c 178s| 1 | 0 | 6773 | - | 866M | 0 | 68k|2264 |1954 | 107 | 2 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 180.15/180.88 c 179s| 1 | 0 | 6819 | - | 866M | 0 | 68k|2264 |1959 | 112 | 3 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 180.15/180.88 c 179s| 1 | 0 | 6827 | - | 867M | 0 | 68k|2263 |1964 | 117 | 4 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 180.15/180.88 c 179s| 1 | 0 | 6842 | - | 867M | 0 | 68k|2263 |1967 | 120 | 5 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 180.15/180.88 c 179s| 1 | 0 | 6892 | - | 868M | 0 | 68k|2263 |1974 | 127 | 6 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 180.15/180.88 c 180s| 1 | 0 | 6949 | - | 869M | 0 | 68k|2263 |1979 | 132 | 7 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 180.15/180.88 c 180s| 1 | 0 | 7005 | - | 869M | 0 | 68k|2263 |1991 | 144 | 8 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 180.15/180.88 c 180s| 1 | 0 | 7040 | - | 871M | 0 | 68k|2263 |1997 | 150 | 9 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 180.15/180.88 c 181s| 1 | 0 | 7082 | - | 873M | 0 | 68k|2263 |2002 | 155 | 10 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 199.07/199.87 c 181s| 1 | 0 | 7109 | - | 873M | 0 | 68k|2263 |2007 | 160 | 11 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown 199.07/199.87 c 181s| 1 | 0 | 7188 | - | 874M | 0 | 68k|2269 |2014 | 167 | 12 | 86 | 0 | 0.000000e+00 | -- | Inf | unknown 199.07/199.87 c 181s| 1 | 0 | 7213 | - | 874M | 0 | 68k|2269 |2020 | 173 | 13 | 86 | 0 | 0.000000e+00 | -- | Inf | unknown 199.07/199.87 c 186s| 1 | 0 | 20941 | - | 880M | 0 | 68k|2275 |2020 | 173 | 13 | 92 | 18 | 0.000000e+00 | -- | Inf | unknown 199.07/199.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 199.07/199.87 c 186s| 1 | 0 | 20998 | - | 881M | 0 | 68k|2275 |1950 | 220 | 14 | 92 | 18 | 0.000000e+00 | -- | Inf | unknown 199.07/199.87 c 186s| 1 | 0 | 21001 | - | 881M | 0 | 68k|2275 |1952 | 222 | 15 | 92 | 18 | 0.000000e+00 | -- | Inf | unknown 199.07/199.87 c 188s| 1 | 0 | 22815 | - | 881M | 0 | 68k|2275 |1952 | 222 | 15 | 92 | 39 | 0.000000e+00 | -- | Inf | unknown 199.07/199.87 c 188s| 1 | 0 | 22878 | - | 884M | 0 | 68k|2275 |1988 | 258 | 16 | 92 | 39 | 0.000000e+00 | -- | Inf | unknown 199.07/199.87 c 189s| 1 | 2 | 23223 | - | 884M | 0 | 68k|2275 |1988 | 258 | 17 | 92 | 60 | 0.000000e+00 | -- | Inf | unknown 199.07/199.87 c 199.07/199.87 c SCIP Status : problem is solved [infeasible] 199.07/199.87 c Solving Time (sec) : 199.61 199.07/199.87 c Solving Nodes : 26 199.07/199.87 c Primal Bound : +1.00000000000000e+20 (0 solutions) 199.07/199.87 c Dual Bound : +1.00000000000000e+20 199.07/199.87 c Gap : 0.00 % 199.07/199.87 c SCIP found the problem to be infeasible. 199.07/199.87 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 (61266 MiB free)
memory of node 1: 64465 MiB (57886 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544113-1753222666/watcher-4544113-1753222666 -o /tmp/evaluation-result-4544113-1753222666/solver-4544113-1753222666 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753222578-168831 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4544113-1753222666.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=170275, runsolver pid=170272
[startup+0.100068 s]*
/proc/loadavg: 3.38 1.89 1.77 5/268 170280
/proc/meminfo: memFree=122008616/131249988 swapFree=33010416/33010684
[pid=170275] ppid=170272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170275/stat : 170275 (scip-naps-1.00.) S 170272 170275 168818 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237945134 4292608 768 18446744073709551615 94184182378496 94184183273029 140737201657184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184183512080 94184183559824 94184198656000 140737201662367 140737201662464 140737201662464 140737201668068 0
/proc/170275/statm: 1048 768 704 219 0 110 0
[pid=170280] ppid=170275 vsize=1186924 memory=31948 CPUtime=0.07 cores=5,7
/proc/170280/stat : 170280 (python3) R 170275 170275 168818 0 -1 4194304 3707 0 0 0 6 1 0 0 20 0 1 0 237945136 1215410176 7987 18446744073709551615 94520098320384 94520098320761 140736438441248 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94520098332056 94520098332676 94520107339776 140736438450518 140736438450720 140736438450720 140736438456295 0
/proc/170280/statm: 296731 7987 4915 1 0 268753 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1191116 KiB
Current children cumulated memory: 35020 KiB
[startup+0.2056 s]*
/proc/loadavg: 3.38 1.89 1.77 5/268 170280
/proc/meminfo: memFree=122008208/131249988 swapFree=33010416/33010684
[pid=170275] ppid=170272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170275/stat : 170275 (scip-naps-1.00.) S 170272 170275 168818 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237945134 4292608 768 18446744073709551615 94184182378496 94184183273029 140737201657184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184183512080 94184183559824 94184198656000 140737201662367 140737201662464 140737201662464 140737201668068 0
/proc/170275/statm: 1048 768 704 219 0 110 0
[pid=170280] ppid=170275 vsize=1244048 memory=95564 CPUtime=0.17 cores=5,7
/proc/170280/stat : 170280 (python3) R 170275 170275 168818 0 -1 4194304 17106 0 0 0 14 3 0 0 20 0 1 0 237945136 1273905152 23891 18446744073709551615 94520098320384 94520098320761 140736438441248 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94520098332056 94520098332676 94520107339776 140736438450518 140736438450720 140736438450720 140736438456295 0
/proc/170280/statm: 311012 23891 7635 1 0 282370 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1248240 KiB
Current children cumulated memory: 98636 KiB
[startup+0.305543 s]*
/proc/loadavg: 3.38 1.89 1.77 5/268 170280
/proc/meminfo: memFree=122008208/131249988 swapFree=33010416/33010684
[pid=170275] ppid=170272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170275/stat : 170275 (scip-naps-1.00.) S 170272 170275 168818 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237945134 4292608 768 18446744073709551615 94184182378496 94184183273029 140737201657184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184183512080 94184183559824 94184198656000 140737201662367 140737201662464 140737201662464 140737201668068 0
/proc/170275/statm: 1048 768 704 219 0 110 0
[pid=170280] ppid=170275 vsize=1324872 memory=177356 CPUtime=0.27 cores=5,7
/proc/170280/stat : 170280 (python3) R 170275 170275 168818 0 -1 4194304 37425 0 0 0 21 6 0 0 20 0 1 0 237945136 1356668928 44339 18446744073709551615 94520098320384 94520098320761 140736438441248 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94520098332056 94520098332676 94520107339776 140736438450518 140736438450720 140736438450720 140736438456295 0
/proc/170280/statm: 331218 44339 7795 1 0 302576 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1329064 KiB
Current children cumulated memory: 180428 KiB
[startup+0.700211 s]
/proc/loadavg: 3.38 1.89 1.77 5/268 170280
/proc/meminfo: memFree=121936440/131249988 swapFree=33010416/33010684
[pid=170275] ppid=170272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170275/stat : 170275 (scip-naps-1.00.) S 170272 170275 168818 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237945134 4292608 768 18446744073709551615 94184182378496 94184183273029 140737201657184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184183512080 94184183559824 94184198656000 140737201662367 140737201662464 140737201662464 140737201668068 0
/proc/170275/statm: 1048 768 704 219 0 110 0
[pid=170280] ppid=170275 vsize=1425968 memory=265932 CPUtime=0.65 cores=5,7
/proc/170280/stat : 170280 (python3) R 170275 170275 168818 0 -1 4194304 59553 0 0 0 56 9 0 0 20 0 1 0 237945136 1460191232 66483 18446744073709551615 94520098320384 94520098320761 140736438441248 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94520098332056 94520098332676 94520107339776 140736438450518 140736438450720 140736438450720 140736438456295 0
/proc/170280/statm: 356492 66483 7859 1 0 327850 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1430160 KiB
Current children cumulated memory: 269004 KiB
[startup+1.50019 s]
/proc/loadavg: 3.38 1.89 1.77 5/268 170280
/proc/meminfo: memFree=121912248/131249988 swapFree=33010416/33010684
[pid=170275] ppid=170272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170275/stat : 170275 (scip-naps-1.00.) S 170272 170275 168818 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237945134 4292608 768 18446744073709551615 94184182378496 94184183273029 140737201657184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184183512080 94184183559824 94184198656000 140737201662367 140737201662464 140737201662464 140737201668068 0
/proc/170275/statm: 1048 768 704 219 0 110 0
[pid=170280] ppid=170275 vsize=1447980 memory=288204 CPUtime=1.45 cores=5,7
/proc/170280/stat : 170280 (python3) R 170275 170275 168818 0 -1 4194304 65398 0 0 0 135 10 0 0 20 0 1 0 237945136 1482731520 72051 18446744073709551615 94520098320384 94520098320761 140736438441248 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94520098332056 94520098332676 94520107339776 140736438450518 140736438450720 140736438450720 140736438456295 0
/proc/170280/statm: 361995 72051 7923 1 0 333353 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1452172 KiB
Current children cumulated memory: 291276 KiB
[startup+3.10522 s]
/proc/loadavg: 3.38 1.89 1.77 5/268 170280
/proc/meminfo: memFree=121667052/131249988 swapFree=33010416/33010684
[pid=170275] ppid=170272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170275/stat : 170275 (scip-naps-1.00.) S 170272 170275 168818 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237945134 4292608 768 18446744073709551615 94184182378496 94184183273029 140737201657184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184183512080 94184183559824 94184198656000 140737201662367 140737201662464 140737201662464 140737201668068 0
/proc/170275/statm: 1048 768 704 219 0 110 0
[pid=170280] ppid=170275 vsize=1689856 memory=392476 CPUtime=3.05 cores=5,7
/proc/170280/stat : 170280 (python3) R 170275 170275 168818 0 -1 4194304 92270 0 0 0 291 14 0 0 20 0 1 0 237945136 1730412544 98119 18446744073709551615 94520098320384 94520098320761 140736438441248 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94520098332056 94520098332676 94520107339776 140736438450518 140736438450720 140736438450720 140736438456295 0
/proc/170280/statm: 422464 98119 7987 1 0 393822 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1694048 KiB
Current children cumulated memory: 395548 KiB
[startup+6.30019 s]
/proc/loadavg: 3.51 1.94 1.79 5/268 170280
/proc/meminfo: memFree=121586664/131249988 swapFree=33010416/33010684
[pid=170275] ppid=170272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170275/stat : 170275 (scip-naps-1.00.) S 170272 170275 168818 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237945134 4292608 768 18446744073709551615 94184182378496 94184183273029 140737201657184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184183512080 94184183559824 94184198656000 140737201662367 140737201662464 140737201662464 140737201668068 0
/proc/170275/statm: 1048 768 704 219 0 110 0
[pid=170280] ppid=170275 vsize=1752036 memory=458708 CPUtime=6.24 cores=5,7
/proc/170280/stat : 170280 (python3) R 170275 170275 168818 0 -1 4194304 107817 0 0 0 607 17 0 0 20 0 1 0 237945136 1794084864 114677 18446744073709551615 94520098320384 94520098320761 140736438441248 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94520098332056 94520098332676 94520107339776 140736438450518 140736438450720 140736438450720 140736438456295 0
/proc/170280/statm: 438009 114677 7987 1 0 409367 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1756228 KiB
Current children cumulated memory: 461780 KiB
[startup+12.7002 s]
/proc/loadavg: 3.55 1.97 1.80 5/268 170280
/proc/meminfo: memFree=121450488/131249988 swapFree=33010416/33010684
[pid=170275] ppid=170272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170275/stat : 170275 (scip-naps-1.00.) S 170272 170275 168818 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237945134 4292608 768 18446744073709551615 94184182378496 94184183273029 140737201657184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184183512080 94184183559824 94184198656000 140737201662367 140737201662464 140737201662464 140737201668068 0
/proc/170275/statm: 1048 768 704 219 0 110 0
[pid=170280] ppid=170275 vsize=1824240 memory=532784 CPUtime=12.62 cores=5,7
/proc/170280/stat : 170280 (python3) R 170275 170275 168818 0 -1 4194304 125818 0 0 0 1242 20 0 0 20 0 1 0 237945136 1868021760 133196 18446744073709551615 94520098320384 94520098320761 140736438441248 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94520098332056 94520098332676 94520107339776 140736438450518 140736438450720 140736438450720 140736438456295 0
/proc/170280/statm: 456060 133196 7987 1 0 427418 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1828432 KiB
Current children cumulated memory: 535856 KiB
[startup+25.5002 s]
/proc/loadavg: 3.65 2.07 1.84 5/268 170281
/proc/meminfo: memFree=121100084/131249988 swapFree=33010416/33010684
[pid=170275] ppid=170272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170275/stat : 170275 (scip-naps-1.00.) S 170272 170275 168818 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237945134 4292608 768 18446744073709551615 94184182378496 94184183273029 140737201657184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184183512080 94184183559824 94184198656000 140737201662367 140737201662464 140737201662464 140737201668068 0
/proc/170275/statm: 1048 768 704 219 0 110 0
[pid=170280] ppid=170275 vsize=1883412 memory=591920 CPUtime=25.39 cores=5,7
/proc/170280/stat : 170280 (python3) R 170275 170275 168818 0 -1 4194304 140610 0 0 0 2517 22 0 0 20 0 1 0 237945136 1928613888 147980 18446744073709551615 94520098320384 94520098320761 140736438441248 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94520098332056 94520098332676 94520107339776 140736438450518 140736438450720 140736438450720 140736438456295 0
/proc/170280/statm: 470853 147980 7987 1 0 442211 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1887604 KiB
Current children cumulated memory: 594992 KiB
[startup+51.1056 s]
/proc/loadavg: 3.71 2.21 1.89 5/267 170722
/proc/meminfo: memFree=120424032/131249988 swapFree=33010416/33010684
[pid=170275] ppid=170272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170275/stat : 170275 (scip-naps-1.00.) S 170272 170275 168818 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237945134 4292608 768 18446744073709551615 94184182378496 94184183273029 140737201657184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184183512080 94184183559824 94184198656000 140737201662367 140737201662464 140737201662464 140737201668068 0
/proc/170275/statm: 1048 768 704 219 0 110 0
[pid=170280] ppid=170275 vsize=1883412 memory=591920 CPUtime=50.92 cores=5,7
/proc/170280/stat : 170280 (python3) R 170275 170275 168818 0 -1 4194304 140610 0 0 0 5070 22 0 0 20 0 1 0 237945136 1928613888 147980 18446744073709551615 94520098320384 94520098320761 140736438441248 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94520098332056 94520098332676 94520107339776 140736438450518 140736438450720 140736438450720 140736438456295 0
/proc/170280/statm: 470853 147980 7987 1 0 442211 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1887604 KiB
Current children cumulated memory: 594992 KiB
[startup+102.3 s]
/proc/loadavg: 3.94 2.51 2.01 5/267 170772
/proc/meminfo: memFree=121209144/131249988 swapFree=33010416/33010684
[pid=170275] ppid=170272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170275/stat : 170275 (scip-naps-1.00.) S 170272 170275 168818 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237945134 4292608 768 18446744073709551615 94184182378496 94184183273029 140737201657184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184183512080 94184183559824 94184198656000 140737201662367 140737201662464 140737201662464 140737201668068 0
/proc/170275/statm: 1048 768 704 219 0 110 0
[pid=170280] ppid=170275 vsize=1883412 memory=591920 CPUtime=101.97 cores=5,7
/proc/170280/stat : 170280 (python3) R 170275 170275 168818 0 -1 4194304 140628 0 0 0 10175 22 0 0 20 0 1 0 237945136 1928613888 147980 18446744073709551615 94520098320384 94520098320761 140736438441248 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94520098332056 94520098332676 94520107339776 140736438450518 140736438450720 140736438450720 140736438456295 0
/proc/170280/statm: 470853 147980 7987 1 0 442211 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1887604 KiB
Current children cumulated memory: 594992 KiB
[startup+162.3 s]
/proc/loadavg: 4.03 2.79 2.14 5/267 170822
/proc/meminfo: memFree=118724160/131249988 swapFree=33010416/33010684
[pid=170275] ppid=170272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170275/stat : 170275 (scip-naps-1.00.) S 170272 170275 168818 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237945134 4292608 768 18446744073709551615 94184182378496 94184183273029 140737201657184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184183512080 94184183559824 94184198656000 140737201662367 140737201662464 140737201662464 140737201668068 0
/proc/170275/statm: 1048 768 704 219 0 110 0
[pid=170280] ppid=170275 vsize=2016160 memory=722240 CPUtime=161.73 cores=5,7
/proc/170280/stat : 170280 (python3) R 170275 170275 168818 0 -1 4194304 175279 0 0 0 16146 27 0 0 20 0 1 0 237945136 2064547840 180560 18446744073709551615 94520098320384 94520098320761 140736438441248 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94520098332056 94520098332676 94520107339776 140736438450518 140736438450720 140736438450720 140736438456295 0
/proc/170280/statm: 504040 180560 8147 1 0 475398 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 2020352 KiB
Current children cumulated memory: 725312 KiB
[startup+200.145 s]
# the end of solver process 170275 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=198.989 s, system=0.444582 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+179.2 s]
/proc/loadavg: 4.10 2.87 2.18 5/268 170823
/proc/meminfo: memFree=117544952/131249988 swapFree=33010416/33010684
[pid=170275] ppid=170272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170275/stat : 170275 (scip-naps-1.00.) S 170272 170275 168818 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237945134 4292608 768 18446744073709551615 94184182378496 94184183273029 140737201657184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184183512080 94184183559824 94184198656000 140737201662367 140737201662464 140737201662464 140737201668068 0
/proc/170275/statm: 1048 768 704 219 0 110 0
[pid=170280] ppid=170275 vsize=2102372 memory=805304 CPUtime=178.55 cores=5,7
/proc/170280/stat : 170280 (python3) R 170275 170275 168818 0 -1 4194304 194500 0 0 0 17826 29 0 0 20 0 1 0 237945136 2152828928 201326 18446744073709551615 94520098320384 94520098320761 140736438441248 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94520098332056 94520098332676 94520107339776 140736438450518 140736438450720 140736438450720 140736438456295 0
/proc/170280/statm: 525593 201326 8179 1 0 496951 0
Current children cumulated CPU time: 178.55 s
Current children cumulated vsize: 2106564 KiB
Current children cumulated memory: 808376 KiB
[startup+192 s]*
/proc/loadavg: 4.08 2.93 2.21 5/268 170824
/proc/meminfo: memFree=117379420/131249988 swapFree=33010416/33010684
[pid=170275] ppid=170272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170275/stat : 170275 (scip-naps-1.00.) S 170272 170275 168818 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237945134 4292608 768 18446744073709551615 94184182378496 94184183273029 140737201657184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184183512080 94184183559824 94184198656000 140737201662367 140737201662464 140737201662464 140737201668068 0
/proc/170275/statm: 1048 768 704 219 0 110 0
[pid=170280] ppid=170275 vsize=2163208 memory=867756 CPUtime=191.31 cores=5,7
/proc/170280/stat : 170280 (python3) R 170275 170275 168818 0 -1 4194304 264556 0 0 0 19091 40 0 0 20 0 1 0 237945136 2215124992 216939 18446744073709551615 94520098320384 94520098320761 140736438441248 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94520098332056 94520098332676 94520107339776 140736438450518 140736438450720 140736438450720 140736438456295 0
/proc/170280/statm: 540802 216939 8179 1 0 512160 0
Current children cumulated CPU time: 191.31 s
Current children cumulated vsize: 2167400 KiB
Current children cumulated memory: 870828 KiB
[startup+195.2 s]
/proc/loadavg: 4.07 2.95 2.22 5/268 170824
/proc/meminfo: memFree=117384976/131249988 swapFree=33010416/33010684
[pid=170275] ppid=170272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170275/stat : 170275 (scip-naps-1.00.) S 170272 170275 168818 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237945134 4292608 768 18446744073709551615 94184182378496 94184183273029 140737201657184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184183512080 94184183559824 94184198656000 140737201662367 140737201662464 140737201662464 140737201668068 0
/proc/170275/statm: 1048 768 704 219 0 110 0
[pid=170280] ppid=170275 vsize=2163208 memory=867756 CPUtime=194.49 cores=5,7
/proc/170280/stat : 170280 (python3) R 170275 170275 168818 0 -1 4194304 264558 0 0 0 19409 40 0 0 20 0 1 0 237945136 2215124992 216939 18446744073709551615 94520098320384 94520098320761 140736438441248 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94520098332056 94520098332676 94520107339776 140736438450518 140736438450720 140736438450720 140736438456295 0
/proc/170280/statm: 540802 216939 8179 1 0 512160 0
Current children cumulated CPU time: 194.49 s
Current children cumulated vsize: 2167400 KiB
Current children cumulated memory: 870828 KiB
[startup+198.4 s]
/proc/loadavg: 4.07 2.95 2.22 5/268 170824
/proc/meminfo: memFree=117382476/131249988 swapFree=33010416/33010684
[pid=170275] ppid=170272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170275/stat : 170275 (scip-naps-1.00.) S 170272 170275 168818 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237945134 4292608 768 18446744073709551615 94184182378496 94184183273029 140737201657184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184183512080 94184183559824 94184198656000 140737201662367 140737201662464 140737201662464 140737201668068 0
/proc/170275/statm: 1048 768 704 219 0 110 0
[pid=170280] ppid=170275 vsize=2163208 memory=867756 CPUtime=197.68 cores=5,7
/proc/170280/stat : 170280 (python3) R 170275 170275 168818 0 -1 4194304 264559 0 0 0 19728 40 0 0 20 0 1 0 237945136 2215124992 216939 18446744073709551615 94520098320384 94520098320761 140736438441248 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94520098332056 94520098332676 94520107339776 140736438450518 140736438450720 140736438450720 140736438456295 0
/proc/170280/statm: 540802 216939 8179 1 0 512160 0
Current children cumulated CPU time: 197.68 s
Current children cumulated vsize: 2167400 KiB
Current children cumulated memory: 870828 KiB
[startup+199.2 s]
/proc/loadavg: 4.07 2.95 2.22 5/267 170824
/proc/meminfo: memFree=117382476/131249988 swapFree=33010416/33010684
[pid=170275] ppid=170272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170275/stat : 170275 (scip-naps-1.00.) S 170272 170275 168818 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237945134 4292608 768 18446744073709551615 94184182378496 94184183273029 140737201657184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184183512080 94184183559824 94184198656000 140737201662367 140737201662464 140737201662464 140737201668068 0
/proc/170275/statm: 1048 768 704 219 0 110 0
[pid=170280] ppid=170275 vsize=2163208 memory=867756 CPUtime=198.47 cores=5,7
/proc/170280/stat : 170280 (python3) R 170275 170275 168818 0 -1 4194304 264559 0 0 0 19807 40 0 0 20 0 1 0 237945136 2215124992 216939 18446744073709551615 94520098320384 94520098320761 140736438441248 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94520098332056 94520098332676 94520107339776 140736438450518 140736438450720 140736438450720 140736438456295 0
/proc/170280/statm: 540802 216939 8179 1 0 512160 0
Current children cumulated CPU time: 198.47 s
Current children cumulated vsize: 2167400 KiB
Current children cumulated memory: 870828 KiB
[startup+199.6 s]
/proc/loadavg: 4.07 2.95 2.22 5/267 170824
/proc/meminfo: memFree=117382476/131249988 swapFree=33010416/33010684
[pid=170275] ppid=170272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170275/stat : 170275 (scip-naps-1.00.) S 170272 170275 168818 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237945134 4292608 768 18446744073709551615 94184182378496 94184183273029 140737201657184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184183512080 94184183559824 94184198656000 140737201662367 140737201662464 140737201662464 140737201668068 0
/proc/170275/statm: 1048 768 704 219 0 110 0
[pid=170280] ppid=170275 vsize=2163208 memory=867756 CPUtime=198.87 cores=5,7
/proc/170280/stat : 170280 (python3) R 170275 170275 168818 0 -1 4194304 264559 0 0 0 19847 40 0 0 20 0 1 0 237945136 2215124992 216939 18446744073709551615 94520098320384 94520098320761 140736438441248 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94520098332056 94520098332676 94520107339776 140736438450518 140736438450720 140736438450720 140736438456295 0
/proc/170280/statm: 540802 216939 8179 1 0 512160 0
Current children cumulated CPU time: 198.87 s
Current children cumulated vsize: 2167400 KiB
Current children cumulated memory: 870828 KiB
[startup+200 s]*
/proc/loadavg: 4.06 2.96 2.23 5/267 170824
/proc/meminfo: memFree=117382476/131249988 swapFree=33010416/33010684
[pid=170275] ppid=170272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170275/stat : 170275 (scip-naps-1.00.) S 170272 170275 168818 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237945134 4292608 768 18446744073709551615 94184182378496 94184183273029 140737201657184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184183512080 94184183559824 94184198656000 140737201662367 140737201662464 140737201662464 140737201668068 0
/proc/170275/statm: 1048 768 704 219 0 110 0
[pid=170280] ppid=170275 vsize=2163208 memory=867756 CPUtime=199.28 cores=5,7
/proc/170280/stat : 170280 (python3) R 170275 170275 168818 0 -1 4194304 264559 0 0 0 19888 40 0 0 20 0 1 0 237945136 2215124992 216939 18446744073709551615 94520098320384 94520098320761 140736438441248 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94520098332056 94520098332676 94520107339776 140736438450518 140736438450720 140736438450720 140736438456295 0
/proc/170280/statm: 540802 216939 8179 1 0 512160 0
Current children cumulated CPU time: 199.28 s
Current children cumulated vsize: 2167400 KiB
Current children cumulated memory: 870828 KiB
[startup+200.105 s]
/proc/loadavg: 4.06 2.96 2.23 5/267 170824
/proc/meminfo: memFree=117382476/131249988 swapFree=33010416/33010684
[pid=170275] ppid=170272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/170275/stat : 170275 (scip-naps-1.00.) S 170272 170275 168818 0 -1 4194304 260 343 0 0 0 0 0 0 20 0 1 0 237945134 4292608 768 18446744073709551615 94184182378496 94184183273029 140737201657184 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94184183512080 94184183559824 94184198656000 140737201662367 140737201662464 140737201662464 140737201668068 0
/proc/170275/statm: 1048 768 704 219 0 110 0
[pid=170280] ppid=170275 vsize=2019172 memory=855900 CPUtime=199.38 cores=5,7
/proc/170280/stat : 170280 (python3) R 170275 170275 168818 0 -1 4194304 264559 0 0 0 19898 40 0 0 20 0 1 0 237945136 2067632128 213975 18446744073709551615 94520098320384 94520098320761 140736438441248 0 0 0 0 16781312 0 0 0 0 17 5 0 0 0 0 0 94520098332056 94520098332676 94520107339776 140736438450518 140736438450720 140736438450720 140736438456295 0
/proc/170280/statm: 504793 213975 8179 1 0 476151 0
Current children cumulated CPU time: 199.38 s
Current children cumulated vsize: 2023364 KiB
Current children cumulated memory: 858972 KiB
Child status: 0
Real time (s): 200.145
CPU time (s): 199.434
CPU user time (s): 198.989
CPU system time (s): 0.444582
CPU usage (%): 99.6443
Max. virtual memory (cumulated for all children) (KiB): 2290300
Max. memory (cumulated for all children) (KiB): 978652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 198.989
system time used= 0.444582
maximum resident set size= 975580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265204
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= 333
involuntary context switches= 1178
# summary of solver processes directly reported to runsolver:
# pid: 170275
# total CPU time (s): 199.434
# total CPU user time (s): 198.989
# total CPU system time (s): 0.444582
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.369707 second user time and 0.967528 second system time
The end
Begin job on nodeC031 at 2025-07-23 00:17:46 IDJOB=4544113 IDBENCH=174892 IDSOLVER=3368 FILE ID=nodeC031/4544113-1753222666 RUNJOBID= nodeC031-1753222578-168831 SLURM_JOB_ID= 9687820 Free space on /tmp= 432924 MiB SOLVER NAME= SCIP-NaPS 1.00a1 BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v2_10_092.opb COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544113-1753222666/watcher-4544113-1753222666 -o /tmp/evaluation-result-4544113-1753222666/solver-4544113-1753222666 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753222578-168831 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4544113-1753222666.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= abde55a93501845a748728a01651cccf RANDOM SEED=1323611590 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.885 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.972 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 : 3601.848 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 : 3600.847 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.899 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 : 3708.551 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 : 3602.960 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 : 3599.875 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: 122013192 kB MemAvailable: 127165800 kB Buffers: 2128 kB Cached: 5837416 kB SwapCached: 8 kB Active: 3458412 kB Inactive: 4703344 kB Active(anon): 2338000 kB Inactive(anon): 10464 kB Active(file): 1120412 kB Inactive(file): 4692880 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 13664 kB Writeback: 12 kB AnonPages: 2325252 kB Mapped: 131116 kB Shmem: 26248 kB KReclaimable: 357112 kB Slab: 455912 kB SReclaimable: 357112 kB SUnreclaim: 98800 kB KernelStack: 4336 kB PageTables: 8272 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 6264392 kB VmallocTotal: 34359738367 kB VmallocUsed: 150568 kB VmallocChunk: 0 kB Percpu: 3904 kB HardwareCorrupted: 0 kB AnonHugePages: 186368 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= 432876 MiB End job on nodeC031 at 2025-07-23 00:21:06