Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11 | OPT | 2642 | 2026.94 | 2034.4 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ws97-5.opb |
| MD5SUM | 9e8345160c873e2ecbeb2fceb1264fd1 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2642 |
| Best CPU time to get the best result obtained on this benchmark | 0.026526 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 907 |
| Total number of constraints | 403 |
| Number of constraints which are clauses | 126 |
| Number of constraints which are cardinality constraints (but not clauses) | 277 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 134 |
| Number of terms in the objective function | 748 |
| Biggest coefficient in the objective function | 240 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 33855 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 240 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 33855 |
| Number of bits of the biggest sum of numbers | 16 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
2026.82/2034.38 c Exit code from Second Program: 30 2026.82/2034.38 o 11136 2026.82/2034.38 o 11136 2026.82/2034.38 o 11036 2026.82/2034.38 o 11036 2026.82/2034.38 o 2675 2026.82/2034.38 o 2674 2026.82/2034.38 o 2673 2026.82/2034.38 o 2672 2026.82/2034.38 o 2671 2026.82/2034.38 o 2670 2026.82/2034.38 o 2669 2026.82/2034.38 o 2668 2026.82/2034.38 o 2667 2026.82/2034.38 o 2666 2026.82/2034.38 o 2665 2026.82/2034.38 o 2664 2026.82/2034.38 o 2663 2026.82/2034.38 o 2662 2026.82/2034.38 o 2661 2026.82/2034.38 o 2660 2026.82/2034.38 o 2659 2026.82/2034.38 o 2658 2026.82/2034.38 o 2657 2026.82/2034.38 o 2656 2026.82/2034.38 o 2655 2026.82/2034.38 o 2654 2026.82/2034.38 o 2653 2026.82/2034.38 o 2652 2026.82/2034.38 o 2651 2026.82/2034.38 o 2650 2026.82/2034.38 o 2649 2026.82/2034.38 o 2648 2026.82/2034.38 o 2647 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.38 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2646 2026.82/2034.39 o 2645 2026.82/2034.39 o 2645 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2644 2026.82/2034.39 o 2643 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 o 2642 2026.82/2034.39 s OPTIMUM FOUND 2026.82/2034.39 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 x33 x34 -x35 -x36 x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 x61 -x62 -x63 x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 x88 -x89 -x90 -x91 -x92 x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 x107 -x108 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 x120 x121 -x122 -x123 x124 -x125 -x126 x127 x128 -x129 -x130 -x131 -x132 -x133 x134 x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 x147 -x148 -x149 x150 x151 -x152 x153 x154 -x155 -x156 -x157 x158 -x159 -x160 x161 -x162 -x163 x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 -x173 -x174 -x175 x176 -x177 x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 x199 -x200 x201 x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 x223 -x224 x225 -x226 x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 x256 x257 x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 x317 x318 x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 x333 x334 x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 x356 -x357 x358 -x359 -x360 -x361 -x362 x363 x364 x365 x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 x374 x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 x393 -x394 x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 x407 x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 x422 -x423 -x424 -x425 x426 x427 -x428 x429 -x430 -x431 x432 x433 x434 -x435 x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 x458 -x459 -x460 -x461 x462 -x463 -x464 x465 -x466 -x467 x468 x469 -x470 -x471 -x472 -x473 x474 -x475 x476 -x477 x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 x509 x510 x511 -x512 x513 x514 -x515 -x516 -x517 -x518 x519 -x520 x521 x522 x523 x524 x525 -x526 x527 x528 -x529 x530 x531 x532 x533 x534 x535 x536 -x537 x538 -x539 -x540 x541 -x542 -x543 x544 x545 -x546 x547 -x548 x549 x550 x551 x552 -x553 -x554 x555 x556 x557 -x558 x559 x560 -x561 x562 x563 -x564 x565 -x566 x567 x568 x569 -x570 x571 -x572 -x573 x574 -x575 x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 x707 -x708 -x709 -x710 x711 x712 x713 -x714 x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 x727 x728 x729 x730 x731 x732 x733 x734 -x735 -x736 x737 x738 x739 -x740 -x741 x742 -x743 x744 x745 x746 x747 x748 x749 x750 x751 -x752 -x753 x754 x755 -x756 x757 x758 -x759 x760 x761 x762 -x763 -x764 x765 x766 x767 x768 -x769 -x770 x771 -x772 x773 x774 x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 x783 x784 x785 x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 x807 x808 -x809 -x810 x811 -x812 -x813 x814 -x815 x816 -x817 -x818 -x819 -x820 -x821 x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 x852 -x853 x854 -x855 x856 -x857 x858 x859 x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 x869 x870 -x871 -x872 -x873 x874 -x875 -x876 x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 x886 x887 -x888 -x889 x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 x903 x904 -x905 x906 -x907
OK 2642
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: 64096 MiB (53726 MiB free)
memory of node 1: 64473 MiB (62725 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437948-1722958965/watcher-4437948-1722958965 -o /tmp/evaluation-result-4437948-1722958965/solver-4437948-1722958965 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722958965-338677 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437948-1722958965.opb 3600 HOME 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=338739, runsolver pid=338726
[startup+0.100273 s]*
/proc/loadavg: 3.38 4.00 4.15 8/255 338754
/proc/meminfo: memFree=119196700/131655788 swapFree=131071216/131071996
[pid=338739] ppid=338726 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/338739/stat : 338739 (Hybrid-CASHWMax) S 338726 338739 338667 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62267949 10170368 690 134679101440 94195854323712 94195855403032 140723248316672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94195857501488 94195857548676 94195877974016 140723248325582 140723248325741 140723248325741 140723248332756 0
/proc/338739/statm: 2483 690 612 264 0 134 0
[pid=338747] ppid=338739 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/338747/stat : 338747 (timeout) S 338739 338747 338667 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62267951 8867840 244 134679101440 94606739709952 94606739744968 140722051236288 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94606741842384 94606741844516 94606770311168 140722051240958 140722051241117 140722051241117 140722051248103 0
/proc/338747/statm: 2165 244 219 9 0 87 0
[pid=338754] ppid=338747 vsize=30752 memory=15996 CPUtime=0.08 cores=0,2
/proc/338754/stat : 338754 (CASHWMaxSAT-Dis) R 338747 338747 338667 0 -1 4194304 3696 0 0 0 7 1 0 0 20 0 1 0 62267952 31490048 3999 134679101440 4194304 15356333 140726696197488 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27185152 140726696199171 140726696199317 140726696199317 140726696206303 0
/proc/338754/statm: 7688 3999 1066 2726 0 4436 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 49344 KiB
Current children cumulated memory: 19732 KiB
[startup+0.216404 s]*
/proc/loadavg: 3.38 4.00 4.15 8/255 338754
/proc/meminfo: memFree=119155472/131655788 swapFree=131071216/131071996
[pid=338739] ppid=338726 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/338739/stat : 338739 (Hybrid-CASHWMax) S 338726 338739 338667 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62267949 10170368 690 134679101440 94195854323712 94195855403032 140723248316672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94195857501488 94195857548676 94195877974016 140723248325582 140723248325741 140723248325741 140723248332756 0
/proc/338739/statm: 2483 690 612 264 0 134 0
[pid=338747] ppid=338739 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/338747/stat : 338747 (timeout) S 338739 338747 338667 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62267951 8867840 244 134679101440 94606739709952 94606739744968 140722051236288 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94606741842384 94606741844516 94606770311168 140722051240958 140722051241117 140722051241117 140722051248103 0
/proc/338747/statm: 2165 244 219 9 0 87 0
[pid=338754] ppid=338747 vsize=50712 memory=40404 CPUtime=0.19 cores=0,2
/proc/338754/stat : 338754 (CASHWMaxSAT-Dis) R 338747 338747 338667 0 -1 4194304 9282 0 0 0 17 2 0 0 20 0 1 0 62267952 51929088 10101 134679101440 4194304 15356333 140726696197488 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27185152 140726696199171 140726696199317 140726696199317 140726696206303 0
/proc/338754/statm: 12678 10101 2362 2726 0 9426 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 69304 KiB
Current children cumulated memory: 44140 KiB
[startup+0.316367 s]*
/proc/loadavg: 3.38 4.00 4.15 9/255 338754
/proc/meminfo: memFree=119112668/131655788 swapFree=131071216/131071996
[pid=338739] ppid=338726 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/338739/stat : 338739 (Hybrid-CASHWMax) S 338726 338739 338667 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62267949 10170368 690 134679101440 94195854323712 94195855403032 140723248316672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94195857501488 94195857548676 94195877974016 140723248325582 140723248325741 140723248325741 140723248332756 0
/proc/338739/statm: 2483 690 612 264 0 134 0
[pid=338747] ppid=338739 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/338747/stat : 338747 (timeout) S 338739 338747 338667 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62267951 8867840 244 134679101440 94606739709952 94606739744968 140722051236288 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94606741842384 94606741844516 94606770311168 140722051240958 140722051241117 140722051241117 140722051248103 0
/proc/338747/statm: 2165 244 219 9 0 87 0
[pid=338754] ppid=338747 vsize=76476 memory=65748 CPUtime=0.28 cores=0,2
/proc/338754/stat : 338754 (CASHWMaxSAT-Dis) R 338747 338747 338667 0 -1 4194304 15611 0 0 0 24 4 0 0 20 0 1 0 62267952 78311424 16437 134679101440 4194304 15356333 140726696197488 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27185152 140726696199171 140726696199317 140726696199317 140726696206303 0
/proc/338754/statm: 19119 16437 2362 2726 0 15867 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 95068 KiB
Current children cumulated memory: 69484 KiB
[startup+0.700555 s]
/proc/loadavg: 3.38 4.00 4.15 9/255 338754
/proc/meminfo: memFree=119004128/131655788 swapFree=131071216/131071996
[pid=338739] ppid=338726 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/338739/stat : 338739 (Hybrid-CASHWMax) S 338726 338739 338667 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62267949 10170368 690 134679101440 94195854323712 94195855403032 140723248316672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94195857501488 94195857548676 94195877974016 140723248325582 140723248325741 140723248325741 140723248332756 0
/proc/338739/statm: 2483 690 612 264 0 134 0
[pid=338747] ppid=338739 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/338747/stat : 338747 (timeout) S 338739 338747 338667 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62267951 8867840 244 134679101440 94606739709952 94606739744968 140722051236288 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94606741842384 94606741844516 94606770311168 140722051240958 140722051241117 140722051241117 140722051248103 0
/proc/338747/statm: 2165 244 219 9 0 87 0
[pid=338754] ppid=338747 vsize=136200 memory=123996 CPUtime=0.66 cores=0,2
/proc/338754/stat : 338754 (CASHWMaxSAT-Dis) R 338747 338747 338667 0 -1 4194304 29881 0 0 0 58 8 0 0 20 0 1 0 62267952 139468800 30999 134679101440 4194304 15356333 140726696197488 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27185152 140726696199171 140726696199317 140726696199317 140726696206303 0
/proc/338754/statm: 34050 30999 2618 2726 0 30798 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 154792 KiB
Current children cumulated memory: 127732 KiB
[startup+1.50055 s]
/proc/loadavg: 3.38 4.00 4.15 9/255 338754
/proc/meminfo: memFree=118666272/131655788 swapFree=131071216/131071996
[pid=338739] ppid=338726 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/338739/stat : 338739 (Hybrid-CASHWMax) S 338726 338739 338667 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62267949 10170368 690 134679101440 94195854323712 94195855403032 140723248316672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94195857501488 94195857548676 94195877974016 140723248325582 140723248325741 140723248325741 140723248332756 0
/proc/338739/statm: 2483 690 612 264 0 134 0
[pid=338747] ppid=338739 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/338747/stat : 338747 (timeout) S 338739 338747 338667 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62267951 8867840 244 134679101440 94606739709952 94606739744968 140722051236288 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94606741842384 94606741844516 94606770311168 140722051240958 140722051241117 140722051241117 140722051248103 0
/proc/338747/statm: 2165 244 219 9 0 87 0
[pid=338754] ppid=338747 vsize=177524 memory=164100 CPUtime=1.46 cores=0,2
/proc/338754/stat : 338754 (CASHWMaxSAT-Dis) R 338747 338747 338667 0 -1 4194304 39972 0 0 0 135 11 0 0 20 0 1 0 62267952 181784576 41025 134679101440 4194304 15356333 140726696197488 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27185152 140726696199171 140726696199317 140726696199317 140726696206303 0
/proc/338754/statm: 44381 41025 2634 2726 0 41129 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 196116 KiB
Current children cumulated memory: 167836 KiB
[startup+3.11502 s]
/proc/loadavg: 3.38 4.00 4.15 9/255 338754
/proc/meminfo: memFree=118204320/131655788 swapFree=131071216/131071996
[pid=338739] ppid=338726 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/338739/stat : 338739 (Hybrid-CASHWMax) S 338726 338739 338667 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62267949 10170368 690 134679101440 94195854323712 94195855403032 140723248316672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94195857501488 94195857548676 94195877974016 140723248325582 140723248325741 140723248325741 140723248332756 0
/proc/338739/statm: 2483 690 612 264 0 134 0
[pid=338747] ppid=338739 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/338747/stat : 338747 (timeout) S 338739 338747 338667 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62267951 8867840 244 134679101440 94606739709952 94606739744968 140722051236288 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94606741842384 94606741844516 94606770311168 140722051240958 140722051241117 140722051241117 140722051248103 0
/proc/338747/statm: 2165 244 219 9 0 87 0
[pid=338754] ppid=338747 vsize=186004 memory=172872 CPUtime=3.06 cores=0,2
/proc/338754/stat : 338754 (CASHWMaxSAT-Dis) R 338747 338747 338667 0 -1 4194304 42139 0 0 0 295 11 0 0 20 0 1 0 62267952 190468096 43218 134679101440 4194304 15356333 140726696197488 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27185152 140726696199171 140726696199317 140726696199317 140726696206303 0
/proc/338754/statm: 46501 43218 2650 2726 0 43249 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 204596 KiB
Current children cumulated memory: 176608 KiB
[startup+6.30051 s]
/proc/loadavg: 3.75 4.06 4.17 10/255 338754
/proc/meminfo: memFree=118061816/131655788 swapFree=131071216/131071996
[pid=338739] ppid=338726 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/338739/stat : 338739 (Hybrid-CASHWMax) S 338726 338739 338667 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62267949 10170368 690 134679101440 94195854323712 94195855403032 140723248316672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94195857501488 94195857548676 94195877974016 140723248325582 140723248325741 140723248325741 140723248332756 0
/proc/338739/statm: 2483 690 612 264 0 134 0
[pid=338747] ppid=338739 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/338747/stat : 338747 (timeout) S 338739 338747 338667 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62267951 8867840 244 134679101440 94606739709952 94606739744968 140722051236288 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94606741842384 94606741844516 94606770311168 140722051240958 140722051241117 140722051241117 140722051248103 0
/proc/338747/statm: 2165 244 219 9 0 87 0
[pid=338754] ppid=338747 vsize=321980 memory=301348 CPUtime=6.24 cores=0,2
/proc/338754/stat : 338754 (CASHWMaxSAT-Dis) R 338747 338747 338667 0 -1 4194304 67570 0 0 0 608 16 0 0 20 0 1 0 62267952 329707520 75337 134679101440 4194304 15356333 140726696197488 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27185152 140726696199171 140726696199317 140726696199317 140726696206303 0
/proc/338754/statm: 80495 75337 2746 2726 0 77243 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 340572 KiB
Current children cumulated memory: 305084 KiB
[startup+12.7005 s]
/proc/loadavg: 3.77 4.06 4.17 9/255 338756
/proc/meminfo: memFree=117853908/131655788 swapFree=131071216/131071996
[pid=338739] ppid=338726 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/338739/stat : 338739 (Hybrid-CASHWMax) S 338726 338739 338667 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62267949 10170368 690 134679101440 94195854323712 94195855403032 140723248316672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94195857501488 94195857548676 94195877974016 140723248325582 140723248325741 140723248325741 140723248332756 0
/proc/338739/statm: 2483 690 612 264 0 134 0
[pid=338747] ppid=338739 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/338747/stat : 338747 (timeout) S 338739 338747 338667 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62267951 8867840 244 134679101440 94606739709952 94606739744968 140722051236288 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94606741842384 94606741844516 94606770311168 140722051240958 140722051241117 140722051241117 140722051248103 0
/proc/338747/statm: 2165 244 219 9 0 87 0
[pid=338754] ppid=338747 vsize=325380 memory=304252 CPUtime=12.61 cores=0,2
/proc/338754/stat : 338754 (CASHWMaxSAT-Dis) R 338747 338747 338667 0 -1 4194304 68287 0 0 0 1244 17 0 0 20 0 1 0 62267952 333189120 76063 134679101440 4194304 15356333 140726696197488 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27185152 140726696199171 140726696199317 140726696199317 140726696206303 0
/proc/338754/statm: 81345 76063 2746 2726 0 78093 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 343972 KiB
Current children cumulated memory: 307988 KiB
[startup+25.5005 s]
/proc/loadavg: 3.81 4.06 4.17 9/255 338757
/proc/meminfo: memFree=117812612/131655788 swapFree=131071216/131071996
[pid=338739] ppid=338726 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/338739/stat : 338739 (Hybrid-CASHWMax) S 338726 338739 338667 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62267949 10170368 690 134679101440 94195854323712 94195855403032 140723248316672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94195857501488 94195857548676 94195877974016 140723248325582 140723248325741 140723248325741 140723248332756 0
/proc/338739/statm: 2483 690 612 264 0 134 0
[pid=338747] ppid=338739 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/338747/stat : 338747 (timeout) S 338739 338747 338667 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62267951 8867840 244 134679101440 94606739709952 94606739744968 140722051236288 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94606741842384 94606741844516 94606770311168 140722051240958 140722051241117 140722051241117 140722051248103 0
/proc/338747/statm: 2165 244 219 9 0 87 0
[pid=338754] ppid=338747 vsize=325380 memory=304252 CPUtime=25.36 cores=0,2
/proc/338754/stat : 338754 (CASHWMaxSAT-Dis) R 338747 338747 338667 0 -1 4194304 68294 0 0 0 2518 18 0 0 20 0 1 0 62267952 333189120 76063 134679101440 4194304 15356333 140726696197488 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27185152 140726696199171 140726696199317 140726696199317 140726696206303 0
/proc/338754/statm: 81345 76063 2746 2726 0 78093 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 343972 KiB
Current children cumulated memory: 307988 KiB
[startup+51.1148 s]
/proc/loadavg: 3.89 4.05 4.16 9/255 338762
/proc/meminfo: memFree=116997856/131655788 swapFree=131071216/131071996
[pid=338739] ppid=338726 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/338739/stat : 338739 (Hybrid-CASHWMax) S 338726 338739 338667 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62267949 10170368 690 134679101440 94195854323712 94195855403032 140723248316672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94195857501488 94195857548676 94195877974016 140723248325582 140723248325741 140723248325741 140723248332756 0
/proc/338739/statm: 2483 690 612 264 0 134 0
[pid=338747] ppid=338739 vsize=8660 memory=976 CPUtime=0 cores=0,2
/proc/338747/stat : 338747 (timeout) S 338739 338747 338667 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 62267951 8867840 244 134679101440 94606739709952 94606739744968 140722051236288 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94606741842384 94606741844516 94606770311168 140722051240958 140722051241117 140722051241117 140722051248103 0
/proc/338747/statm: 2165 244 219 9 0 87 0
[pid=338754] ppid=338747 vsize=325380 memory=304516 CPUtime=50.88 cores=0,2
/proc/338754/stat : 338754 (CASHWMaxSAT-Dis) R 338747 338747 338667 0 -1 4194304 68322 0 0 0 5067 21 0 0 20 0 1 0 62267952 333189120 76129 134679101440 4194304 15356333 140726696197488 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 27185152 140726696199171 140726696199317 140726696199317 140726696206303 0
/proc/338754/statm: 81345 76129 2746 2726 0 78093 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 343972 KiB
Current children cumulated memory: 308252 KiB
[startup+102.301 s]
/proc/loadavg: 4.00 4.06 4.16 9/255 338772
/proc/meminfo: memFree=116733016/131655788 swapFree=131071216/131071996
[pid=338739] ppid=338726 vsize=9932 memory=2760 CPUtime=0 cores=0,2
/proc/338739/stat : 338739 (Hybrid-CASHWMax) S 338726 338739 338667 0 -1 4194304 244 102 0 0 0 0 0 0 20 0 1 0 62267949 10170368 690 134679101440 94195854323712 94195855403032 140723248316672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94195857501488 94195857548676 94195877974016 140723248325582 140723248325741 140723248325741 140723248332756 0
################
# More data... #
################
/proc/338739/statm: 2483 705 612 264 0 134 0
[pid=339700] ppid=338739 vsize=8660 memory=1008 CPUtime=0 cores=0,2
/proc/339700/stat : 339700 (timeout) S 338739 339700 338667 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62447752 8867840 252 134679101440 94034920517632 94034920552648 140734635702384 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94034922650064 94034922652196 94034952839168 140734635705332 140734635705501 140734635705501 140734635712487 0
/proc/339700/statm: 2165 252 228 9 0 87 0
[pid=339702] ppid=339700 vsize=117332 memory=94328 CPUtime=44.08 cores=0,2
/proc/339702/stat : 339702 (Exact) R 339700 339700 338667 0 -1 4194304 13850 0 0 0 4402 6 0 0 20 0 1 0 62447752 120147968 23582 134679101440 4194304 7243121 140725919762992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 3 0 0 7942632 8006904 28434432 140725919769616 140725919769766 140725919769766 140725919776752 0
/proc/339702/statm: 29333 23582 852 745 0 28398 0
Current children cumulated CPU time: 1835.48 s
Current children cumulated vsize: 135924 KiB
Current children cumulated memory: 98156 KiB
[startup+1902.3 s]
/proc/loadavg: 4.17 4.12 4.10 6/252 339831
/proc/meminfo: memFree=116240552/131655788 swapFree=131071216/131071996
[pid=338739] ppid=338726 vsize=9932 memory=2820 CPUtime=1791.4 cores=0,2
/proc/338739/stat : 338739 (Hybrid-CASHWMax) S 338726 338739 338667 0 -1 4194304 274 109138 0 0 0 0 179102 38 20 0 1 0 62267949 10170368 705 134679101440 94195854323712 94195855403032 140723248316672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94195857501488 94195857548676 94195877974016 140723248325582 140723248325741 140723248325741 140723248332756 0
/proc/338739/statm: 2483 705 612 264 0 134 0
[pid=339700] ppid=338739 vsize=8660 memory=1008 CPUtime=0 cores=0,2
/proc/339700/stat : 339700 (timeout) S 338739 339700 338667 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62447752 8867840 252 134679101440 94034920517632 94034920552648 140734635702384 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94034922650064 94034922652196 94034952839168 140734635705332 140734635705501 140734635705501 140734635712487 0
/proc/339700/statm: 2165 252 228 9 0 87 0
[pid=339702] ppid=339700 vsize=127516 memory=103712 CPUtime=103.84 cores=0,2
/proc/339702/stat : 339702 (Exact) R 339700 339700 338667 0 -1 4194304 16259 0 0 0 10378 6 0 0 20 0 1 0 62447752 130576384 25928 134679101440 4194304 7243121 140725919762992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 7942632 8006904 28434432 140725919769616 140725919769766 140725919769766 140725919776752 0
/proc/339702/statm: 31879 25928 852 745 0 30944 0
Current children cumulated CPU time: 1895.24 s
Current children cumulated vsize: 146108 KiB
Current children cumulated memory: 107540 KiB
[startup+1962.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/250 339842
/proc/meminfo: memFree=116227284/131655788 swapFree=131071216/131071996
[pid=338739] ppid=338726 vsize=9932 memory=2820 CPUtime=1791.4 cores=0,2
/proc/338739/stat : 338739 (Hybrid-CASHWMax) S 338726 338739 338667 0 -1 4194304 274 109138 0 0 0 0 179102 38 20 0 1 0 62267949 10170368 705 134679101440 94195854323712 94195855403032 140723248316672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94195857501488 94195857548676 94195877974016 140723248325582 140723248325741 140723248325741 140723248332756 0
/proc/338739/statm: 2483 705 612 264 0 134 0
[pid=339700] ppid=338739 vsize=8660 memory=1008 CPUtime=0 cores=0,2
/proc/339700/stat : 339700 (timeout) S 338739 339700 338667 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62447752 8867840 252 134679101440 94034920517632 94034920552648 140734635702384 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94034922650064 94034922652196 94034952839168 140734635705332 140734635705501 140734635705501 140734635712487 0
/proc/339700/statm: 2165 252 228 9 0 87 0
[pid=339702] ppid=339700 vsize=130612 memory=107104 CPUtime=163.65 cores=0,2
/proc/339702/stat : 339702 (Exact) R 339700 339700 338667 0 -1 4194304 17088 0 0 0 16359 6 0 0 20 0 1 0 62447752 133746688 26776 134679101440 4194304 7243121 140725919762992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 7942632 8006904 28434432 140725919769616 140725919769766 140725919769766 140725919776752 0
/proc/339702/statm: 32653 26776 852 745 0 31718 0
Current children cumulated CPU time: 1955.05 s
Current children cumulated vsize: 149204 KiB
Current children cumulated memory: 110932 KiB
[startup+2022.3 s]
/proc/loadavg: 4.13 4.12 4.09 6/250 339854
/proc/meminfo: memFree=116199328/131655788 swapFree=131071216/131071996
[pid=338739] ppid=338726 vsize=9932 memory=2820 CPUtime=1791.4 cores=0,2
/proc/338739/stat : 338739 (Hybrid-CASHWMax) S 338726 338739 338667 0 -1 4194304 274 109138 0 0 0 0 179102 38 20 0 1 0 62267949 10170368 705 134679101440 94195854323712 94195855403032 140723248316672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94195857501488 94195857548676 94195877974016 140723248325582 140723248325741 140723248325741 140723248332756 0
/proc/338739/statm: 2483 705 612 264 0 134 0
[pid=339700] ppid=338739 vsize=8660 memory=1008 CPUtime=0 cores=0,2
/proc/339700/stat : 339700 (timeout) S 338739 339700 338667 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62447752 8867840 252 134679101440 94034920517632 94034920552648 140734635702384 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94034922650064 94034922652196 94034952839168 140734635705332 140734635705501 140734635705501 140734635712487 0
/proc/339700/statm: 2165 252 228 9 0 87 0
[pid=339702] ppid=339700 vsize=137112 memory=112572 CPUtime=223.46 cores=0,2
/proc/339702/stat : 339702 (Exact) R 339700 339700 338667 0 -1 4194304 18451 0 0 0 22339 7 0 0 20 0 1 0 62447752 140402688 28143 134679101440 4194304 7243121 140725919762992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 7942632 8006904 28434432 140725919769616 140725919769766 140725919769766 140725919776752 0
/proc/339702/statm: 34278 28143 852 745 0 33343 0
Current children cumulated CPU time: 2014.86 s
Current children cumulated vsize: 155704 KiB
Current children cumulated memory: 116400 KiB
[startup+2034.4 s]
# the end of solver process 338739 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2026.46 s, system=0.473689 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2022.4 s]
/proc/loadavg: 4.13 4.12 4.09 6/250 339854
/proc/meminfo: memFree=116199328/131655788 swapFree=131071216/131071996
[pid=338739] ppid=338726 vsize=9932 memory=2820 CPUtime=1791.4 cores=0,2
/proc/338739/stat : 338739 (Hybrid-CASHWMax) S 338726 338739 338667 0 -1 4194304 274 109138 0 0 0 0 179102 38 20 0 1 0 62267949 10170368 705 134679101440 94195854323712 94195855403032 140723248316672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94195857501488 94195857548676 94195877974016 140723248325582 140723248325741 140723248325741 140723248332756 0
/proc/338739/statm: 2483 705 612 264 0 134 0
[pid=339700] ppid=338739 vsize=8660 memory=1008 CPUtime=0 cores=0,2
/proc/339700/stat : 339700 (timeout) S 338739 339700 338667 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62447752 8867840 252 134679101440 94034920517632 94034920552648 140734635702384 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94034922650064 94034922652196 94034952839168 140734635705332 140734635705501 140734635705501 140734635712487 0
/proc/339700/statm: 2165 252 228 9 0 87 0
[pid=339702] ppid=339700 vsize=137112 memory=112572 CPUtime=223.56 cores=0,2
/proc/339702/stat : 339702 (Exact) R 339700 339700 338667 0 -1 4194304 18451 0 0 0 22349 7 0 0 20 0 1 0 62447752 140402688 28143 134679101440 4194304 7243121 140725919762992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 7942632 8006904 28434432 140725919769616 140725919769766 140725919769766 140725919776752 0
/proc/339702/statm: 34278 28143 852 745 0 33343 0
Current children cumulated CPU time: 2014.96 s
Current children cumulated vsize: 155704 KiB
Current children cumulated memory: 116400 KiB
[startup+2028.8 s]
/proc/loadavg: 4.12 4.12 4.09 6/250 339854
/proc/meminfo: memFree=116958356/131655788 swapFree=131071216/131071996
[pid=338739] ppid=338726 vsize=9932 memory=2820 CPUtime=1791.4 cores=0,2
/proc/338739/stat : 338739 (Hybrid-CASHWMax) S 338726 338739 338667 0 -1 4194304 274 109138 0 0 0 0 179102 38 20 0 1 0 62267949 10170368 705 134679101440 94195854323712 94195855403032 140723248316672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94195857501488 94195857548676 94195877974016 140723248325582 140723248325741 140723248325741 140723248332756 0
/proc/338739/statm: 2483 705 612 264 0 134 0
[pid=339700] ppid=338739 vsize=8660 memory=1008 CPUtime=0 cores=0,2
/proc/339700/stat : 339700 (timeout) S 338739 339700 338667 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62447752 8867840 252 134679101440 94034920517632 94034920552648 140734635702384 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94034922650064 94034922652196 94034952839168 140734635705332 140734635705501 140734635705501 140734635712487 0
/proc/339700/statm: 2165 252 228 9 0 87 0
[pid=339702] ppid=339700 vsize=137112 memory=112572 CPUtime=229.94 cores=0,2
/proc/339702/stat : 339702 (Exact) R 339700 339700 338667 0 -1 4194304 18454 0 0 0 22987 7 0 0 20 0 1 0 62447752 140402688 28143 134679101440 4194304 7243121 140725919762992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 7942632 8006904 28434432 140725919769616 140725919769766 140725919769766 140725919776752 0
/proc/339702/statm: 34278 28143 852 745 0 33343 0
Current children cumulated CPU time: 2021.34 s
Current children cumulated vsize: 155704 KiB
Current children cumulated memory: 116400 KiB
[startup+2032 s]*
/proc/loadavg: 4.11 4.12 4.09 6/250 339855
/proc/meminfo: memFree=116958248/131655788 swapFree=131071216/131071996
[pid=338739] ppid=338726 vsize=9932 memory=2820 CPUtime=1791.4 cores=0,2
/proc/338739/stat : 338739 (Hybrid-CASHWMax) S 338726 338739 338667 0 -1 4194304 274 109138 0 0 0 0 179102 38 20 0 1 0 62267949 10170368 705 134679101440 94195854323712 94195855403032 140723248316672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94195857501488 94195857548676 94195877974016 140723248325582 140723248325741 140723248325741 140723248332756 0
/proc/338739/statm: 2483 705 612 264 0 134 0
[pid=339700] ppid=338739 vsize=8660 memory=1008 CPUtime=0 cores=0,2
/proc/339700/stat : 339700 (timeout) S 338739 339700 338667 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62447752 8867840 252 134679101440 94034920517632 94034920552648 140734635702384 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94034922650064 94034922652196 94034952839168 140734635705332 140734635705501 140734635705501 140734635712487 0
/proc/339700/statm: 2165 252 228 9 0 87 0
[pid=339702] ppid=339700 vsize=137112 memory=112572 CPUtime=233.14 cores=0,2
/proc/339702/stat : 339702 (Exact) R 339700 339700 338667 0 -1 4194304 18455 0 0 0 23307 7 0 0 20 0 1 0 62447752 140402688 28143 134679101440 4194304 7243121 140725919762992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 7942632 8006904 28434432 140725919769616 140725919769766 140725919769766 140725919776752 0
/proc/339702/statm: 34278 28143 852 745 0 33343 0
Current children cumulated CPU time: 2024.54 s
Current children cumulated vsize: 155704 KiB
Current children cumulated memory: 116400 KiB
[startup+2033.6 s]
/proc/loadavg: 4.11 4.12 4.09 6/250 339855
/proc/meminfo: memFree=116964372/131655788 swapFree=131071216/131071996
[pid=338739] ppid=338726 vsize=9932 memory=2820 CPUtime=1791.4 cores=0,2
/proc/338739/stat : 338739 (Hybrid-CASHWMax) S 338726 338739 338667 0 -1 4194304 274 109138 0 0 0 0 179102 38 20 0 1 0 62267949 10170368 705 134679101440 94195854323712 94195855403032 140723248316672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94195857501488 94195857548676 94195877974016 140723248325582 140723248325741 140723248325741 140723248332756 0
/proc/338739/statm: 2483 705 612 264 0 134 0
[pid=339700] ppid=338739 vsize=8660 memory=1008 CPUtime=0 cores=0,2
/proc/339700/stat : 339700 (timeout) S 338739 339700 338667 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62447752 8867840 252 134679101440 94034920517632 94034920552648 140734635702384 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94034922650064 94034922652196 94034952839168 140734635705332 140734635705501 140734635705501 140734635712487 0
/proc/339700/statm: 2165 252 228 9 0 87 0
[pid=339702] ppid=339700 vsize=137112 memory=112572 CPUtime=234.72 cores=0,2
/proc/339702/stat : 339702 (Exact) R 339700 339700 338667 0 -1 4194304 18455 0 0 0 23465 7 0 0 20 0 1 0 62447752 140402688 28143 134679101440 4194304 7243121 140725919762992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 7942632 8006904 28434432 140725919769616 140725919769766 140725919769766 140725919776752 0
/proc/339702/statm: 34278 28143 852 745 0 33343 0
Current children cumulated CPU time: 2026.12 s
Current children cumulated vsize: 155704 KiB
Current children cumulated memory: 116400 KiB
[startup+2034 s]*
/proc/loadavg: 4.11 4.12 4.09 6/250 339855
/proc/meminfo: memFree=116964268/131655788 swapFree=131071216/131071996
[pid=338739] ppid=338726 vsize=9932 memory=2820 CPUtime=1791.4 cores=0,2
/proc/338739/stat : 338739 (Hybrid-CASHWMax) S 338726 338739 338667 0 -1 4194304 274 109138 0 0 0 0 179102 38 20 0 1 0 62267949 10170368 705 134679101440 94195854323712 94195855403032 140723248316672 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94195857501488 94195857548676 94195877974016 140723248325582 140723248325741 140723248325741 140723248332756 0
/proc/338739/statm: 2483 705 612 264 0 134 0
[pid=339700] ppid=338739 vsize=8660 memory=1008 CPUtime=0 cores=0,2
/proc/339700/stat : 339700 (timeout) S 338739 339700 338667 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 62447752 8867840 252 134679101440 94034920517632 94034920552648 140734635702384 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94034922650064 94034922652196 94034952839168 140734635705332 140734635705501 140734635705501 140734635712487 0
/proc/339700/statm: 2165 252 228 9 0 87 0
[pid=339702] ppid=339700 vsize=137112 memory=112572 CPUtime=235.13 cores=0,2
/proc/339702/stat : 339702 (Exact) R 339700 339700 338667 0 -1 4194304 18455 0 0 0 23506 7 0 0 20 0 1 0 62447752 140402688 28143 134679101440 4194304 7243121 140725919762992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 6 0 0 7942632 8006904 28434432 140725919769616 140725919769766 140725919769766 140725919776752 0
/proc/339702/statm: 34278 28143 852 745 0 33343 0
Current children cumulated CPU time: 2026.53 s
Current children cumulated vsize: 155704 KiB
Current children cumulated memory: 116400 KiB
[startup+2034.4 s]
/proc/loadavg: 4.11 4.12 4.09 6/250 339855
/proc/meminfo: memFree=116964268/131655788 swapFree=131071216/131071996
[pid=338739] ppid=338726 vsize=9932 memory=2824 CPUtime=2026.92 cores=0,2
/proc/338739/stat : 338739 (Hybrid-CASHWMax) S 338726 338739 338667 0 -1 4194304 354 128110 0 0 0 0 202645 47 20 0 1 0 62267949 10170368 706 134679101440 94195854323712 94195855403032 140723248316672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94195857501488 94195857548676 94195877974016 140723248325582 140723248325741 140723248325741 140723248332756 0
/proc/338739/statm: 2483 706 612 264 0 134 0
Current children cumulated CPU time: 2026.92 s
Current children cumulated vsize: 9932 KiB
Current children cumulated memory: 2824 KiB
Child status: 0
Real time (s): 2034.4
CPU time (s): 2026.94
CPU user time (s): 2026.46
CPU system time (s): 0.473689
CPU usage (%): 99.633
Max. virtual memory (cumulated for all children) (KiB): 625276
Max. memory (cumulated for all children) (KiB): 500824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2026.46
system time used= 0.473689
maximum resident set size= 497088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128660
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57
involuntary context switches= 14185
# summary of solver processes directly reported to runsolver:
# pid: 338739
# total CPU time (s): 2026.94
# total CPU user time (s): 2026.46
# total CPU system time (s): 0.473689
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4256 second user time and 23.8734 second system time
The end
Begin job on nodeC003 at 2024-08-06 17:42:45 IDJOB=4437948 IDBENCH=146650 IDSOLVER=3072 FILE ID=nodeC003/4437948-1722958965 RUNJOBID= nodeC003-1722958965-338677 SLURM_JOB_ID= 8259017 Free space on /tmp= 723780 MiB SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437948-1722958965/watcher-4437948-1722958965 -o /tmp/evaluation-result-4437948-1722958965/solver-4437948-1722958965 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722958965-338677 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437948-1722958965.opb 3600 HOME 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e8345160c873e2ecbeb2fceb1264fd1 RANDOM SEED=1901879136 nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1217.128 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.52 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1219.455 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1241.071 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.52 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1269.731 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1235.546 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.52 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1258.794 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1262.714 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.52 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1200.968 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.40 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 119248544 kB MemAvailable: 129952080 kB Buffers: 332528 kB Cached: 11210004 kB SwapCached: 16 kB Active: 590436 kB Inactive: 11327524 kB Active(anon): 1328 kB Inactive(anon): 411960 kB Active(file): 589108 kB Inactive(file): 10915564 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 88288 kB Writeback: 0 kB AnonPages: 374676 kB Mapped: 98328 kB Shmem: 37540 kB KReclaimable: 78124 kB Slab: 164320 kB SReclaimable: 78124 kB SUnreclaim: 86196 kB KernelStack: 3648 kB PageTables: 9380 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 784712 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 24224 kB HardwareCorrupted: 0 kB AnonHugePages: 247808 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 351048 kB DirectMap2M: 12136448 kB DirectMap1G: 123731968 kB Free space on /tmp at the end= 723700 MiB End job on nodeC003 at 2024-08-06 18:16:40