| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP-NaPS 1.00a1 | UNSAT | 509.72 | 511.703 |
| Name | PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SocialGolfers-cnt-06-06-07_c24.opb |
| MD5SUM | 740ae53db54907a8b4b16e6d2fb6eccd |
| 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 | 9.44084 |
| 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 | 17343 |
| Total number of constraints | 32542 |
| Number of constraints which are clauses | 5333 |
| Number of constraints which are cardinality constraints (but not clauses) | 1326 |
| Number of constraints which are nor clauses,nor cardinality constraints | 25883 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 36 |
| 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 | 34 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 70 |
| 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 |
3.55/3.67 c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4545556-1753231851.opb 3.55/3.67 c Solving mode: decision 3.55/3.67 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 3.55/3.67 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 3.55/3.67 c original problem has 17343 variables (17343 bin, 0 int, 0 impl, 0 cont) and 32542 constraints 3.55/3.67 c presolving: 3.55/3.67 c (round 1, fast) 348 del vars, 144 del conss, 252 add conss, 347 chg bounds, 504 chg sides, 252 chg coeffs, 0 upgd conss, 0 impls, 1937 clqs 3.55/3.67 c (round 2, fast) 6837 del vars, 10739 del conss, 252 add conss, 6459 chg bounds, 10214 chg sides, 7314 chg coeffs, 0 upgd conss, 0 impls, 3235 clqs 3.55/3.67 c (round 3, fast) 6969 del vars, 11847 del conss, 377 add conss, 6459 chg bounds, 10214 chg sides, 7314 chg coeffs, 0 upgd conss, 0 impls, 4035 clqs 3.55/3.67 c (round 4, fast) 6969 del vars, 11847 del conss, 377 add conss, 6459 chg bounds, 10314 chg sides, 7514 chg coeffs, 0 upgd conss, 0 impls, 4035 clqs 3.55/3.67 c (round 5, medium) 7354 del vars, 11847 del conss, 377 add conss, 6459 chg bounds, 10314 chg sides, 7514 chg coeffs, 0 upgd conss, 0 impls, 3290 clqs 3.55/3.67 c (round 6, fast) 7354 del vars, 12592 del conss, 377 add conss, 6459 chg bounds, 10314 chg sides, 7514 chg coeffs, 0 upgd conss, 0 impls, 3445 clqs 3.55/3.67 c (round 7, exhaustive) 7354 del vars, 12772 del conss, 377 add conss, 6459 chg bounds, 10314 chg sides, 7514 chg coeffs, 0 upgd conss, 0 impls, 3445 clqs 3.55/3.67 c (round 8, exhaustive) 7354 del vars, 12772 del conss, 377 add conss, 6459 chg bounds, 10314 chg sides, 7514 chg coeffs, 19582 upgd conss, 0 impls, 3445 clqs 3.55/3.67 c (round 9, fast) 7354 del vars, 12772 del conss, 377 add conss, 6459 chg bounds, 10772 chg sides, 11734 chg coeffs, 19582 upgd conss, 0 impls, 3445 clqs 3.55/3.67 c (round 10, medium) 7646 del vars, 16512 del conss, 6872 add conss, 6459 chg bounds, 22170 chg sides, 24600 chg coeffs, 19582 upgd conss, 0 impls, 9713 clqs 3.55/3.67 c (round 11, fast) 7653 del vars, 17507 del conss, 7424 add conss, 6459 chg bounds, 22173 chg sides, 24603 chg coeffs, 19582 upgd conss, 0 impls, 9702 clqs 3.55/3.67 c (round 12, exhaustive) 7658 del vars, 25004 del conss, 10110 add conss, 6459 chg bounds, 22173 chg sides, 24603 chg coeffs, 19582 upgd conss, 0 impls, 9692 clqs 3.55/3.67 c (round 13, medium) 7695 del vars, 25029 del conss, 10110 add conss, 6459 chg bounds, 22185 chg sides, 24615 chg coeffs, 19582 upgd conss, 0 impls, 9558 clqs 3.55/3.67 c (round 14, exhaustive) 7695 del vars, 25062 del conss, 10110 add conss, 6459 chg bounds, 22185 chg sides, 25753 chg coeffs, 19582 upgd conss, 0 impls, 9583 clqs 3.55/3.67 c (round 15, exhaustive) 7805 del vars, 25178 del conss, 10110 add conss, 6459 chg bounds, 22185 chg sides, 25753 chg coeffs, 19582 upgd conss, 0 impls, 9363 clqs 3.55/3.67 c (round 16, exhaustive) 7805 del vars, 25180 del conss, 10110 add conss, 6459 chg bounds, 22185 chg sides, 25753 chg coeffs, 19881 upgd conss, 0 impls, 9363 clqs 3.55/3.67 c (round 17, medium) 7805 del vars, 25232 del conss, 10215 add conss, 6459 chg bounds, 22339 chg sides, 25927 chg coeffs, 19881 upgd conss, 0 impls, 9465 clqs 3.55/3.67 c (round 18, exhaustive) 7805 del vars, 25699 del conss, 10372 add conss, 6459 chg bounds, 22339 chg sides, 25927 chg coeffs, 19881 upgd conss, 0 impls, 9465 clqs 3.55/3.67 c (round 19, exhaustive) 7810 del vars, 25741 del conss, 10372 add conss, 6459 chg bounds, 22339 chg sides, 25994 chg coeffs, 19881 upgd conss, 0 impls, 9455 clqs 3.55/3.67 c (round 20, fast) 7815 del vars, 25756 del conss, 10372 add conss, 6459 chg bounds, 22339 chg sides, 25994 chg coeffs, 19881 upgd conss, 0 impls, 9444 clqs 3.55/3.67 c (round 21, exhaustive) 7824 del vars, 25759 del conss, 10372 add conss, 6459 chg bounds, 22342 chg sides, 25997 chg coeffs, 19881 upgd conss, 0 impls, 9423 clqs 3.55/3.67 c (round 22, exhaustive) 7824 del vars, 25770 del conss, 10377 add conss, 6459 chg bounds, 22342 chg sides, 25997 chg coeffs, 19881 upgd conss, 0 impls, 9423 clqs 3.55/3.67 c (round 23, exhaustive) 7824 del vars, 25785 del conss, 10377 add conss, 6459 chg bounds, 22342 chg sides, 25997 chg coeffs, 19881 upgd conss, 0 impls, 9423 clqs 3.55/3.67 c (round 24, medium) 7834 del vars, 25795 del conss, 10377 add conss, 6459 chg bounds, 22342 chg sides, 25997 chg coeffs, 19881 upgd conss, 0 impls, 9413 clqs 3.55/3.67 c (round 25, fast) 7834 del vars, 25810 del conss, 10387 add conss, 6459 chg bounds, 22342 chg sides, 25997 chg coeffs, 19881 upgd conss, 0 impls, 9413 clqs 3.55/3.67 c (round 26, exhaustive) 7879 del vars, 25810 del conss, 10387 add conss, 6459 chg bounds, 22342 chg sides, 26037 chg coeffs, 19881 upgd conss, 0 impls, 9253 clqs 3.55/3.67 c (round 27, fast) 7969 del vars, 25909 del conss, 10392 add conss, 6474 chg bounds, 22342 chg sides, 26067 chg coeffs, 19881 upgd conss, 0 impls, 9248 clqs 3.55/3.67 c (round 28, exhaustive) 7989 del vars, 25916 del conss, 10392 add conss, 6474 chg bounds, 22342 chg sides, 26082 chg coeffs, 19881 upgd conss, 0 impls, 9208 clqs 3.55/3.67 c (round 29, exhaustive) 7989 del vars, 25937 del conss, 10412 add conss, 6474 chg bounds, 22342 chg sides, 26082 chg coeffs, 19881 upgd conss, 0 impls, 9208 clqs 3.55/3.67 c (round 30, exhaustive) 7989 del vars, 25962 del conss, 10412 add conss, 6474 chg bounds, 22342 chg sides, 26082 chg coeffs, 19886 upgd conss, 0 impls, 9208 clqs 3.55/3.67 c (round 31, exhaustive) 8015 del vars, 25962 del conss, 10412 add conss, 6474 chg bounds, 22342 chg sides, 26082 chg coeffs, 19886 upgd conss, 0 impls, 9658 clqs 3.55/3.67 c (round 32, fast) 8015 del vars, 26001 del conss, 10505 add conss, 6474 chg bounds, 22342 chg sides, 26082 chg coeffs, 19886 upgd conss, 0 impls, 9658 clqs 3.55/3.67 c (round 33, fast) 8015 del vars, 26001 del conss, 10505 add conss, 6474 chg bounds, 22432 chg sides, 26225 chg coeffs, 19886 upgd conss, 0 impls, 9658 clqs 3.55/3.67 c (round 34, exhaustive) 8015 del vars, 26048 del conss, 10505 add conss, 6474 chg bounds, 22432 chg sides, 26269 chg coeffs, 19886 upgd conss, 0 impls, 9658 clqs 3.55/3.67 c (round 35, medium) 8015 del vars, 26048 del conss, 10535 add conss, 6474 chg bounds, 22477 chg sides, 26354 chg coeffs, 19886 upgd conss, 0 impls, 9667 clqs 3.55/3.67 c (round 36, exhaustive) 8015 del vars, 26048 del conss, 10535 add conss, 6474 chg bounds, 22477 chg sides, 26364 chg coeffs, 19934 upgd conss, 0 impls, 9667 clqs 3.55/3.67 c (round 37, fast) 8015 del vars, 26096 del conss, 10535 add conss, 6474 chg bounds, 22477 chg sides, 26364 chg coeffs, 19934 upgd conss, 0 impls, 9667 clqs 3.55/3.67 c (round 38, exhaustive) 8040 del vars, 26097 del conss, 10535 add conss, 6474 chg bounds, 22477 chg sides, 26364 chg coeffs, 19934 upgd conss, 0 impls, 10867 clqs 3.55/3.67 c (round 39, fast) 8040 del vars, 26138 del conss, 10617 add conss, 6474 chg bounds, 22487 chg sides, 26364 chg coeffs, 19935 upgd conss, 0 impls, 10868 clqs 3.55/3.67 c (round 40, fast) 8040 del vars, 26138 del conss, 10617 add conss, 6474 chg bounds, 22537 chg sides, 26495 chg coeffs, 19935 upgd conss, 0 impls, 10868 clqs 3.55/3.67 c (round 41, exhaustive) 8040 del vars, 26165 del conss, 10617 add conss, 6474 chg bounds, 22537 chg sides, 26614 chg coeffs, 19935 upgd conss, 0 impls, 10868 clqs 3.55/3.67 c (round 42, medium) 8040 del vars, 26165 del conss, 10689 add conss, 6474 chg bounds, 22625 chg sides, 26784 chg coeffs, 19935 upgd conss, 0 impls, 10920 clqs 3.55/3.67 c (round 43, exhaustive) 8040 del vars, 26165 del conss, 10689 add conss, 6474 chg bounds, 22625 chg sides, 26794 chg coeffs, 19992 upgd conss, 0 impls, 10920 clqs 3.55/3.67 c (round 44, fast) 8040 del vars, 26222 del conss, 10689 add conss, 6474 chg bounds, 22625 chg sides, 26794 chg coeffs, 19992 upgd conss, 0 impls, 10920 clqs 3.55/3.67 c (round 45, exhaustive) 8065 del vars, 26222 del conss, 10689 add conss, 6474 chg bounds, 22625 chg sides, 26794 chg coeffs, 19992 upgd conss, 0 impls, 11410 clqs 3.55/3.67 c (round 46, fast) 8065 del vars, 26249 del conss, 10734 add conss, 6474 chg bounds, 22630 chg sides, 26794 chg coeffs, 19996 upgd conss, 0 impls, 11410 clqs 3.55/3.67 c (round 47, fast) 8065 del vars, 26249 del conss, 10734 add conss, 6474 chg bounds, 22662 chg sides, 26866 chg coeffs, 19996 upgd conss, 0 impls, 11410 clqs 10.12/10.27 c (round 48, exhaustive) 8065 del vars, 26260 del conss, 10745 add conss, 6474 chg bounds, 22662 chg sides, 26884 chg coeffs, 19996 upgd conss, 0 impls, 11410 clqs 10.12/10.27 c (round 49, medium) 8065 del vars, 26260 del conss, 10754 add conss, 6474 chg bounds, 22671 chg sides, 26902 chg coeffs, 19996 upgd conss, 0 impls, 11430 clqs 10.12/10.27 c (round 50, exhaustive) 8065 del vars, 26276 del conss, 10754 add conss, 6474 chg bounds, 22671 chg sides, 26902 chg coeffs, 19996 upgd conss, 0 impls, 11430 clqs 10.12/10.27 c (round 51, exhaustive) 8065 del vars, 26552 del conss, 10754 add conss, 6474 chg bounds, 22671 chg sides, 26902 chg coeffs, 19996 upgd conss, 0 impls, 11430 clqs 10.12/10.27 c (round 52, exhaustive) 8065 del vars, 26552 del conss, 10754 add conss, 6474 chg bounds, 22671 chg sides, 26902 chg coeffs, 20025 upgd conss, 0 impls, 11430 clqs 10.12/10.27 c (round 53, fast) 8065 del vars, 26581 del conss, 10754 add conss, 6474 chg bounds, 22671 chg sides, 26902 chg coeffs, 20025 upgd conss, 0 impls, 11430 clqs 10.12/10.27 c (round 54, exhaustive) 8090 del vars, 26581 del conss, 10754 add conss, 6474 chg bounds, 22671 chg sides, 26902 chg coeffs, 20025 upgd conss, 0 impls, 11884 clqs 10.12/10.27 c (round 55, fast) 8090 del vars, 26616 del conss, 10806 add conss, 6474 chg bounds, 22677 chg sides, 26902 chg coeffs, 20025 upgd conss, 0 impls, 11884 clqs 10.12/10.27 c (round 56, fast) 8090 del vars, 26616 del conss, 10806 add conss, 6474 chg bounds, 22703 chg sides, 26979 chg coeffs, 20025 upgd conss, 0 impls, 11884 clqs 10.12/10.27 c (round 57, exhaustive) 8090 del vars, 26632 del conss, 10822 add conss, 6474 chg bounds, 22703 chg sides, 26991 chg coeffs, 20025 upgd conss, 0 impls, 11884 clqs 10.12/10.27 c (round 58, exhaustive) 8090 del vars, 26645 del conss, 10828 add conss, 6474 chg bounds, 22709 chg sides, 27003 chg coeffs, 20025 upgd conss, 0 impls, 11906 clqs 10.12/10.27 c (round 59, exhaustive) 8090 del vars, 26645 del conss, 10828 add conss, 6474 chg bounds, 22709 chg sides, 27003 chg coeffs, 20064 upgd conss, 0 impls, 11906 clqs 10.12/10.27 c (round 60, fast) 8090 del vars, 26684 del conss, 10828 add conss, 6474 chg bounds, 22709 chg sides, 27003 chg coeffs, 20064 upgd conss, 0 impls, 11906 clqs 10.12/10.27 c (round 61, exhaustive) 8115 del vars, 26684 del conss, 10828 add conss, 6474 chg bounds, 22709 chg sides, 27003 chg coeffs, 20064 upgd conss, 0 impls, 12040 clqs 10.12/10.27 c (round 62, fast) 8115 del vars, 26711 del conss, 10879 add conss, 6474 chg bounds, 22715 chg sides, 27003 chg coeffs, 20064 upgd conss, 0 impls, 12040 clqs 10.12/10.27 c (round 63, fast) 8115 del vars, 26711 del conss, 10879 add conss, 6474 chg bounds, 22757 chg sides, 27089 chg coeffs, 20064 upgd conss, 0 impls, 12040 clqs 10.12/10.27 c (round 64, exhaustive) 8115 del vars, 26728 del conss, 10896 add conss, 6474 chg bounds, 22757 chg sides, 27089 chg coeffs, 20064 upgd conss, 0 impls, 12040 clqs 10.12/10.27 c (round 65, exhaustive) 8115 del vars, 26749 del conss, 10896 add conss, 6474 chg bounds, 22757 chg sides, 27089 chg coeffs, 20064 upgd conss, 0 impls, 12056 clqs 10.12/10.27 c (round 66, exhaustive) 8115 del vars, 26749 del conss, 10896 add conss, 6474 chg bounds, 22757 chg sides, 27089 chg coeffs, 20094 upgd conss, 0 impls, 12056 clqs 10.12/10.27 c (round 67, fast) 8115 del vars, 26779 del conss, 10896 add conss, 6474 chg bounds, 22757 chg sides, 27089 chg coeffs, 20094 upgd conss, 0 impls, 12056 clqs 10.12/10.27 c (round 68, exhaustive) 8140 del vars, 26779 del conss, 10896 add conss, 6474 chg bounds, 22757 chg sides, 27089 chg coeffs, 20094 upgd conss, 0 impls, 12126 clqs 10.12/10.27 c (round 69, fast) 8140 del vars, 26818 del conss, 10943 add conss, 6474 chg bounds, 22764 chg sides, 27089 chg coeffs, 20094 upgd conss, 0 impls, 12126 clqs 10.12/10.27 c (round 70, fast) 8140 del vars, 26818 del conss, 10943 add conss, 6474 chg bounds, 22808 chg sides, 27169 chg coeffs, 20094 upgd conss, 0 impls, 12126 clqs 10.12/10.27 c (round 71, exhaustive) 8140 del vars, 26832 del conss, 10957 add conss, 6474 chg bounds, 22808 chg sides, 27175 chg coeffs, 20094 upgd conss, 0 impls, 12126 clqs 10.12/10.27 c (round 72, exhaustive) 8140 del vars, 26854 del conss, 10960 add conss, 6474 chg bounds, 22811 chg sides, 27181 chg coeffs, 20094 upgd conss, 0 impls, 12144 clqs 10.12/10.27 c (round 73, exhaustive) 8140 del vars, 26854 del conss, 10960 add conss, 6474 chg bounds, 22811 chg sides, 27181 chg coeffs, 20119 upgd conss, 0 impls, 12144 clqs 10.12/10.27 c (round 74, fast) 8140 del vars, 26879 del conss, 10960 add conss, 6474 chg bounds, 22811 chg sides, 27181 chg coeffs, 20119 upgd conss, 0 impls, 12144 clqs 10.12/10.27 c (round 75, exhaustive) 8165 del vars, 26879 del conss, 10960 add conss, 6474 chg bounds, 22811 chg sides, 27181 chg coeffs, 20119 upgd conss, 0 impls, 12185 clqs 10.12/10.27 c (round 76, fast) 8165 del vars, 26912 del conss, 11011 add conss, 6474 chg bounds, 22818 chg sides, 27181 chg coeffs, 20119 upgd conss, 0 impls, 12185 clqs 10.12/10.27 c (round 77, fast) 8165 del vars, 26912 del conss, 11011 add conss, 6474 chg bounds, 22856 chg sides, 27262 chg coeffs, 20119 upgd conss, 0 impls, 12185 clqs 10.12/10.27 c (round 78, exhaustive) 8165 del vars, 26928 del conss, 11027 add conss, 6474 chg bounds, 22856 chg sides, 27262 chg coeffs, 20119 upgd conss, 0 impls, 12185 clqs 10.12/10.27 c (round 79, exhaustive) 8165 del vars, 26947 del conss, 11027 add conss, 6474 chg bounds, 22856 chg sides, 27262 chg coeffs, 20119 upgd conss, 0 impls, 12200 clqs 10.12/10.27 c (round 80, exhaustive) 8165 del vars, 26947 del conss, 11027 add conss, 6474 chg bounds, 22856 chg sides, 27262 chg coeffs, 20151 upgd conss, 0 impls, 12200 clqs 10.12/10.27 c (round 81, fast) 8165 del vars, 26979 del conss, 11027 add conss, 6474 chg bounds, 22856 chg sides, 27262 chg coeffs, 20151 upgd conss, 0 impls, 12200 clqs 10.12/10.27 c (round 82, exhaustive) 8190 del vars, 26979 del conss, 11027 add conss, 6474 chg bounds, 22856 chg sides, 27262 chg coeffs, 20151 upgd conss, 0 impls, 12167 clqs 10.12/10.27 c (round 83, fast) 8190 del vars, 27004 del conss, 11063 add conss, 6474 chg bounds, 22860 chg sides, 27262 chg coeffs, 20151 upgd conss, 0 impls, 12167 clqs 10.12/10.27 c (round 84, fast) 8190 del vars, 27004 del conss, 11063 add conss, 6474 chg bounds, 22892 chg sides, 27321 chg coeffs, 20151 upgd conss, 0 impls, 12167 clqs 10.12/10.27 c (round 85, exhaustive) 8190 del vars, 27023 del conss, 11082 add conss, 6474 chg bounds, 22892 chg sides, 27321 chg coeffs, 20151 upgd conss, 0 impls, 12167 clqs 10.12/10.27 c (round 86, exhaustive) 8190 del vars, 27039 del conss, 11082 add conss, 6474 chg bounds, 22892 chg sides, 27321 chg coeffs, 20151 upgd conss, 0 impls, 12186 clqs 10.12/10.27 c (round 87, exhaustive) 8190 del vars, 27039 del conss, 11082 add conss, 6474 chg bounds, 22892 chg sides, 27321 chg coeffs, 20171 upgd conss, 0 impls, 12186 clqs 10.12/10.27 c (round 88, fast) 8190 del vars, 27059 del conss, 11082 add conss, 6474 chg bounds, 22892 chg sides, 27321 chg coeffs, 20171 upgd conss, 0 impls, 12186 clqs 10.12/10.27 c (round 89, exhaustive) 8215 del vars, 27059 del conss, 11082 add conss, 6474 chg bounds, 22892 chg sides, 27321 chg coeffs, 20171 upgd conss, 0 impls, 12404 clqs 10.12/10.27 c (round 90, fast) 8215 del vars, 27118 del conss, 11182 add conss, 6474 chg bounds, 22896 chg sides, 27321 chg coeffs, 20171 upgd conss, 0 impls, 12404 clqs 10.12/10.27 c (round 91, fast) 8215 del vars, 27118 del conss, 11182 add conss, 6474 chg bounds, 22996 chg sides, 27495 chg coeffs, 20171 upgd conss, 0 impls, 12404 clqs 10.12/10.27 c (round 92, exhaustive) 8215 del vars, 27125 del conss, 11189 add conss, 6474 chg bounds, 22996 chg sides, 27495 chg coeffs, 20171 upgd conss, 0 impls, 12404 clqs 10.12/10.27 c (round 93, exhaustive) 8215 del vars, 27175 del conss, 11189 add conss, 6474 chg bounds, 22996 chg sides, 27495 chg coeffs, 20171 upgd conss, 0 impls, 12411 clqs 10.12/10.27 c (round 94, exhaustive) 8215 del vars, 27175 del conss, 11189 add conss, 6474 chg bounds, 22996 chg sides, 27495 chg coeffs, 20221 upgd conss, 0 impls, 12411 clqs 10.12/10.27 c (round 95, fast) 8215 del vars, 27225 del conss, 11189 add conss, 6474 chg bounds, 22996 chg sides, 27495 chg coeffs, 20221 upgd conss, 0 impls, 12411 clqs 10.12/10.27 c (round 96, exhaustive) 8240 del vars, 27225 del conss, 11189 add conss, 6474 chg bounds, 22996 chg sides, 27495 chg coeffs, 20221 upgd conss, 0 impls, 12356 clqs 138.11/138.73 c (round 97, fast) 8240 del vars, 27255 del conss, 11233 add conss, 6474 chg bounds, 22999 chg sides, 27495 chg coeffs, 20221 upgd conss, 0 impls, 12356 clqs 138.11/138.73 c (round 98, fast) 8240 del vars, 27255 del conss, 11233 add conss, 6474 chg bounds, 23035 chg sides, 27575 chg coeffs, 20221 upgd conss, 0 impls, 12356 clqs 138.11/138.73 c (round 99, exhaustive) 8240 del vars, 27278 del conss, 11238 add conss, 6474 chg bounds, 23035 chg sides, 27575 chg coeffs, 20221 upgd conss, 0 impls, 12356 clqs 138.11/138.73 c (round 100, exhaustive) 8240 del vars, 27278 del conss, 11238 add conss, 6474 chg bounds, 23035 chg sides, 27575 chg coeffs, 20247 upgd conss, 0 impls, 12361 clqs 138.11/138.73 c (round 101, fast) 8240 del vars, 27304 del conss, 11238 add conss, 6474 chg bounds, 23035 chg sides, 27575 chg coeffs, 20247 upgd conss, 0 impls, 12361 clqs 138.11/138.73 c (10.7s) probing: 1000/9531 (10.5%) - 25 fixings, 240 aggregations, 10599 implications, 0 bound changes 138.11/138.73 c (12.3s) probing: 1175/9531 (12.3%) - 27 fixings, 240 aggregations, 10704 implications, 0 bound changes 138.11/138.73 c (12.3s) probing aborted: 50/50 successive totally useless probings 138.11/138.73 c (round 102, exhaustive) 8256 del vars, 27304 del conss, 11238 add conss, 6474 chg bounds, 23035 chg sides, 27575 chg coeffs, 20247 upgd conss, 0 impls, 12453 clqs 138.11/138.73 c (round 103, fast) 8258 del vars, 27313 del conss, 11338 add conss, 6474 chg bounds, 23035 chg sides, 27575 chg coeffs, 20247 upgd conss, 0 impls, 12439 clqs 138.11/138.73 c (round 104, fast) 8258 del vars, 27313 del conss, 11338 add conss, 6474 chg bounds, 23135 chg sides, 27750 chg coeffs, 20247 upgd conss, 0 impls, 12439 clqs 138.11/138.73 c (round 105, exhaustive) 8258 del vars, 27366 del conss, 11338 add conss, 6474 chg bounds, 23135 chg sides, 27750 chg coeffs, 20247 upgd conss, 0 impls, 12439 clqs 138.11/138.73 c (round 106, exhaustive) 8258 del vars, 27367 del conss, 11338 add conss, 6474 chg bounds, 23135 chg sides, 27750 chg coeffs, 20297 upgd conss, 0 impls, 12439 clqs 138.11/138.73 c (round 107, fast) 8258 del vars, 27417 del conss, 11338 add conss, 6474 chg bounds, 23135 chg sides, 27750 chg coeffs, 20297 upgd conss, 0 impls, 12439 clqs 138.11/138.73 c (12.4s) probing: 1180/9531 (12.4%) - 27 fixings, 240 aggregations, 10704 implications, 0 bound changes 138.11/138.73 c (12.4s) probing aborted: 50/50 successive totally useless probings 138.11/138.73 c (12.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 138.11/138.73 c (12.4s) no symmetry present (symcode time: 0.01) 138.11/138.73 c presolving (108 rounds: 108 fast, 65 medium, 57 exhaustive): 138.11/138.73 c 8258 deleted vars, 27417 deleted constraints, 11338 added constraints, 6474 tightened bounds, 0 added holes, 23135 changed sides, 27853 changed coefficients 138.11/138.73 c 0 implications, 12439 cliques 138.11/138.73 c presolved problem has 9262 variables (9262 bin, 0 int, 0 impl, 0 cont) and 16463 constraints 138.11/138.73 c 10564 constraints of type <knapsack> 138.11/138.73 c 2779 constraints of type <setppc> 138.11/138.73 c 1990 constraints of type <and> 138.11/138.73 c 255 constraints of type <linear> 138.11/138.73 c 875 constraints of type <logicor> 138.11/138.73 c transformed objective value is always integral (scale: 1) 138.11/138.73 c Presolving Time: 12.39 138.11/138.73 c 138.11/138.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 138.11/138.73 c 18.1s| 1 | 0 | 12317 | - | 171M | 0 |9262 | 16k| 18k| 0 | 0 | 62 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 39.8s| 1 | 0 | 46085 | - | 192M | 0 |9262 | 16k| 18k| 197 | 1 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 43.0s| 1 | 0 | 51099 | - | 207M | 0 |9262 | 16k| 18k| 389 | 2 | 64 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 45.9s| 1 | 0 | 55559 | - | 224M | 0 |9262 | 16k| 18k| 554 | 3 | 66 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 50.1s| 1 | 0 | 59710 | - | 226M | 0 |9262 | 16k| 19k| 851 | 4 | 68 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 52.6s| 1 | 0 | 63152 | - | 248M | 0 |9262 | 16k| 19k|1012 | 5 | 68 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 55.2s| 1 | 0 | 66472 | - | 271M | 0 |9262 | 16k| 19k|1147 | 6 | 70 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 59.9s| 1 | 0 | 70767 | - | 274M | 0 |9262 | 16k| 19k|1474 | 7 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 65.3s| 1 | 0 | 75747 | - | 276M | 0 |9262 | 16k| 20k|1774 | 8 | 74 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 73.2s| 1 | 0 | 81879 | - | 279M | 0 |9262 | 16k| 20k|2083 | 9 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 78.3s| 1 | 0 | 87291 | - | 281M | 0 |9262 | 16k| 20k|2368 | 10 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 81.5s| 1 | 0 | 91630 | - | 285M | 0 |9262 | 16k| 20k|2494 | 11 | 77 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 81.6s| 1 | 0 | 91630 | - | 285M | 0 |9262 | 16k| 20k|2494 | 11 | 79 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 84.1s| 1 | 0 | 94791 | - | 288M | 0 |9262 | 16k| 20k|2607 | 12 | 79 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 87.6s| 1 | 0 | 99618 | - | 291M | 0 |9262 | 16k| 21k|2746 | 13 | 81 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 138.11/138.73 c 90.6s| 1 | 0 |103534 | - | 294M | 0 |9262 | 16k| 21k|2854 | 14 | 84 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 93.1s| 1 | 0 |106697 | - | 296M | 0 |9262 | 16k| 20k|2989 | 15 | 85 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 96.0s| 1 | 0 |110802 | - | 299M | 0 |9262 | 16k| 20k|3101 | 16 | 87 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 100s| 1 | 0 |116235 | - | 301M | 0 |9262 | 16k| 21k|3246 | 17 | 89 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 104s| 1 | 0 |120909 | - | 304M | 0 |9262 | 16k| 21k|3391 | 18 | 91 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 107s| 1 | 0 |125195 | - | 307M | 0 |9262 | 16k| 21k|3508 | 19 | 93 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 115s| 1 | 0 |131182 | - | 309M | 0 |9262 | 16k| 20k|3619 | 20 | 94 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 118s| 1 | 0 |135225 | - | 309M | 0 |9262 | 16k| 20k|3728 | 21 | 95 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 121s| 1 | 0 |138660 | - | 309M | 0 |9262 | 16k| 20k|3850 | 22 | 96 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 121s| 1 | 0 |138660 | - | 309M | 0 |9262 | 16k| 20k|3850 | 22 | 98 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 123s| 1 | 0 |142062 | - | 309M | 0 |9262 | 16k| 20k|3957 | 23 | 98 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 126s| 1 | 0 |145323 | - | 309M | 0 |9262 | 16k| 21k|4067 | 24 | 100 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 129s| 1 | 0 |149325 | - | 309M | 0 |9262 | 16k| 21k|4169 | 25 | 101 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 131s| 1 | 0 |151781 | - | 309M | 0 |9262 | 16k| 20k|4271 | 26 | 103 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 133s| 1 | 0 |154773 | - | 309M | 0 |9262 | 16k| 20k|4375 | 27 | 105 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 138.11/138.73 c 135s| 1 | 0 |157281 | - | 309M | 0 |9262 | 16k| 21k|4475 | 28 | 105 | 0 | 0.000000e+00 | -- | Inf | unknown 138.11/138.73 c 136s| 1 | 0 |159000 | - | 309M | 0 |9262 | 16k| 21k|4573 | 29 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown 498.24/500.29 c 138s| 1 | 0 |161715 | - | 309M | 0 |9262 | 16k| 21k|4665 | 30 | 109 | 0 | 0.000000e+00 | -- | Inf | unknown 498.24/500.29 c 141s| 1 | 0 |164711 | - | 309M | 0 |9262 | 16k| 21k|4758 | 31 | 111 | 0 | 0.000000e+00 | -- | Inf | unknown 498.24/500.29 c 143s| 1 | 0 |167704 | - | 309M | 0 |9262 | 16k| 21k|4846 | 32 | 112 | 0 | 0.000000e+00 | -- | Inf | unknown 498.24/500.29 c 146s| 1 | 0 |170725 | - | 309M | 0 |9262 | 16k| 21k|4937 | 33 | 112 | 0 | 0.000000e+00 | -- | Inf | unknown 498.24/500.29 c 168s| 1 | 2 |171454 | - | 310M | 0 |9262 | 16k| 21k|4937 | 33 | 144 | 20 | 0.000000e+00 | -- | Inf | unknown 498.24/500.29 c 498.24/500.29 c SCIP Status : solving was interrupted [time limit reached] 498.24/500.29 c Solving Time (sec) : 500.00 498.24/500.29 c Solving Nodes : 16 498.24/500.29 c Primal Bound : +1.00000000000000e+20 (0 solutions) 498.24/500.29 c Dual Bound : +0.00000000000000e+00 498.24/500.29 c Gap : infinite 498.24/500.29 c ---------------------------------------------------------------------- 498.24/500.29 c dual bound: 0.0 -> 0 498.24/500.29 c primal bound: 1e+20 -> 100000000000000000000 498.24/500.29 c scip-goal-lb: 0 498.24/500.29 c scip-goal-ub: 100000000000000000000 498.24/500.29 c writing output to: HOME/tmp0r5aeeud.opb 498.24/500.29 c appending fixed variable constraints 498.24/500.29 c scip-fixed vars: 76.35% (7072/9262) 498.24/500.29 c ---------------------------------------------------------------------- 498.24/500.29 c executing external solver: HOME/naps-1.03a6 498.24/500.29 c ---------------------------------------------------------------------- 498.24/500.29 c command: HOME/naps-1.03a6 HOME/tmp0r5aeeud.opb 498.34/500.30 c NaPS 1.03a6. 498.34/500.30 c Input file name: HOME/tmp0r5aeeud.opb 509.29/511.36 c _____________________________________________________________________________ 509.29/511.36 c std/band forms : 26620,252 509.29/511.36 c 2cl/3cl ITE-codings : 37008,2016 509.29/511.36 c BDD/srt/adr Max costs : 21,675,0 509.29/511.36 c BDDraw/bin/mul/srt/adr: 25546,0,0,1326,0 509.29/511.36 c BDD nodes : 204114 509.29/511.36 c Es1/CC detections : 0,0 509.29/511.36 c CC sort : 1284 509.29/511.36 c SAT/UNSAT calls : 0,1 509.29/511.36 c regenrated variables : 0 509.29/511.36 c eliminated fixed lits : 5592 509.29/511.36 c goal lit flips : 0 509.29/511.36 c goal stages : 0 509.29/511.36 c goal shrink : 0 509.29/511.36 c goal coeff separations: 0 509.29/511.36 c restarts : 8042 509.29/511.36 c conflicts : 154036 (14081 /sec) 509.29/511.36 c decisions : 351226 (32108 /sec) 509.29/511.36 c propagations : 42177774 (3855742 /sec) 509.29/511.36 c inspects : 0 (0 /sec) 509.29/511.36 c CPU time (solving tm) : 10.94 s (9.908 s, SAT 0 s, UNSAT 9.908 s) 509.29/511.36 c Time for Opt-base : 0.007425 s 509.29/511.36 c Steps for Opt-base : 0 509.29/511.36 c Time for BDD coding : 0.4531 s 509.29/511.36 c Time for srt coding : 0.009255 s 509.29/511.36 c _____________________________________________________________________________ 509.29/511.37 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 (60151 MiB free)
memory of node 1: 64465 MiB (58280 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545556-1753231851/watcher-4545556-1753231851 -o /tmp/evaluation-result-4545556-1753231851/solver-4545556-1753231851 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753222578-168831 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4545556-1753231851.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=172543, runsolver pid=172540
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.13 4.11 4.09 5/269 172548
/proc/meminfo: memFree=121273216/131249988 swapFree=33010416/33010684
[pid=172543] ppid=172540 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/172543/stat : 172543 (scip-naps-1.00.) S 172540 172543 168818 0 -1 4194304 257 337 0 0 0 0 0 0 20 0 1 0 238863619 4292608 736 18446744073709551615 94700642988032 94700643882565 140733495810256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94700644121616 94700644169360 94700651102208 140733495818655 140733495818752 140733495818752 140733495824356 0
/proc/172543/statm: 1048 736 672 219 0 110 0
[pid=172548] ppid=172543 vsize=1187348 memory=32260 CPUtime=0.06 cores=5,7
/proc/172548/stat : 172548 (python3) R 172543 172543 168818 0 -1 4194304 3797 0 0 0 5 1 0 0 20 0 1 0 238863621 1215844352 8065 18446744073709551615 94226664267776 94226664268153 140730494304816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94226664279448 94226664280068 94226664427520 140730494310742 140730494310944 140730494310944 140730494316519 0
/proc/172548/statm: 296837 8065 4929 1 0 268859 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 1191540 KiB
Current children cumulated memory: 35204 KiB
[startup+0.205897 s]*
/proc/loadavg: 4.13 4.11 4.09 5/269 172548
/proc/meminfo: memFree=121255324/131249988 swapFree=33010416/33010684
[pid=172543] ppid=172540 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/172543/stat : 172543 (scip-naps-1.00.) S 172540 172543 168818 0 -1 4194304 257 337 0 0 0 0 0 0 20 0 1 0 238863619 4292608 736 18446744073709551615 94700642988032 94700643882565 140733495810256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94700644121616 94700644169360 94700651102208 140733495818655 140733495818752 140733495818752 140733495824356 0
/proc/172543/statm: 1048 736 672 219 0 110 0
[pid=172548] ppid=172543 vsize=1222656 memory=74500 CPUtime=0.17 cores=5,7
/proc/172548/stat : 172548 (python3) R 172543 172543 168818 0 -1 4194304 11868 0 0 0 14 3 0 0 20 0 1 0 238863621 1251999744 18625 18446744073709551615 94226664267776 94226664268153 140730494304816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94226664279448 94226664280068 94226664427520 140730494310742 140730494310944 140730494310944 140730494316519 0
/proc/172548/statm: 305664 18625 7649 1 0 277022 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1226848 KiB
Current children cumulated memory: 77444 KiB
[startup+0.305764 s]*
/proc/loadavg: 4.13 4.11 4.09 5/269 172548
/proc/meminfo: memFree=121198876/131249988 swapFree=33010416/33010684
[pid=172543] ppid=172540 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/172543/stat : 172543 (scip-naps-1.00.) S 172540 172543 168818 0 -1 4194304 257 337 0 0 0 0 0 0 20 0 1 0 238863619 4292608 736 18446744073709551615 94700642988032 94700643882565 140733495810256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94700644121616 94700644169360 94700651102208 140733495818655 140733495818752 140733495818752 140733495824356 0
/proc/172543/statm: 1048 736 672 219 0 110 0
[pid=172548] ppid=172543 vsize=1282952 memory=135172 CPUtime=0.27 cores=5,7
/proc/172548/stat : 172548 (python3) R 172543 172543 168818 0 -1 4194304 26889 0 0 0 22 5 0 0 20 0 1 0 238863621 1313742848 33793 18446744073709551615 94226664267776 94226664268153 140730494304816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94226664279448 94226664280068 94226664427520 140730494310742 140730494310944 140730494310944 140730494316519 0
/proc/172548/statm: 320738 33793 7809 1 0 292096 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1287144 KiB
Current children cumulated memory: 138116 KiB
[startup+0.700214 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 172548
/proc/meminfo: memFree=121174684/131249988 swapFree=33010416/33010684
[pid=172543] ppid=172540 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/172543/stat : 172543 (scip-naps-1.00.) S 172540 172543 168818 0 -1 4194304 257 337 0 0 0 0 0 0 20 0 1 0 238863619 4292608 736 18446744073709551615 94700642988032 94700643882565 140733495810256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94700644121616 94700644169360 94700651102208 140733495818655 140733495818752 140733495818752 140733495824356 0
/proc/172543/statm: 1048 736 672 219 0 110 0
[pid=172548] ppid=172543 vsize=1317724 memory=168836 CPUtime=0.66 cores=5,7
/proc/172548/stat : 172548 (python3) R 172543 172543 168818 0 -1 4194304 35243 0 0 0 59 7 0 0 20 0 1 0 238863621 1349349376 42209 18446744073709551615 94226664267776 94226664268153 140730494304816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94226664279448 94226664280068 94226664427520 140730494310742 140730494310944 140730494310944 140730494316519 0
/proc/172548/statm: 329431 42209 7905 1 0 300789 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1321916 KiB
Current children cumulated memory: 171780 KiB
[startup+1.50022 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 172548
/proc/meminfo: memFree=121144844/131249988 swapFree=33010416/33010684
[pid=172543] ppid=172540 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/172543/stat : 172543 (scip-naps-1.00.) S 172540 172543 168818 0 -1 4194304 257 337 0 0 0 0 0 0 20 0 1 0 238863619 4292608 736 18446744073709551615 94700642988032 94700643882565 140733495810256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94700644121616 94700644169360 94700651102208 140733495818655 140733495818752 140733495818752 140733495824356 0
/proc/172543/statm: 1048 736 672 219 0 110 0
[pid=172548] ppid=172543 vsize=1321028 memory=172292 CPUtime=1.46 cores=5,7
/proc/172548/stat : 172548 (python3) R 172543 172543 168818 0 -1 4194304 36114 0 0 0 139 7 0 0 20 0 1 0 238863621 1352732672 43073 18446744073709551615 94226664267776 94226664268153 140730494304816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94226664279448 94226664280068 94226664427520 140730494310742 140730494310944 140730494310944 140730494316519 0
/proc/172548/statm: 330257 43073 7937 1 0 301615 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1325220 KiB
Current children cumulated memory: 175236 KiB
[startup+3.10562 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 172548
/proc/meminfo: memFree=121137048/131249988 swapFree=33010416/33010684
[pid=172543] ppid=172540 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/172543/stat : 172543 (scip-naps-1.00.) S 172540 172543 168818 0 -1 4194304 257 337 0 0 0 0 0 0 20 0 1 0 238863619 4292608 736 18446744073709551615 94700642988032 94700643882565 140733495810256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94700644121616 94700644169360 94700651102208 140733495818655 140733495818752 140733495818752 140733495824356 0
/proc/172543/statm: 1048 736 672 219 0 110 0
[pid=172548] ppid=172543 vsize=1322636 memory=173956 CPUtime=3.05 cores=5,7
/proc/172548/stat : 172548 (python3) R 172543 172543 168818 0 -1 4194304 36524 0 0 0 298 7 0 0 20 0 1 0 238863621 1354379264 43489 18446744073709551615 94226664267776 94226664268153 140730494304816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94226664279448 94226664280068 94226664427520 140730494310742 140730494310944 140730494310944 140730494316519 0
/proc/172548/statm: 330659 43489 7937 1 0 302017 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1326828 KiB
Current children cumulated memory: 176900 KiB
[startup+6.30021 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 172548
/proc/meminfo: memFree=121141852/131249988 swapFree=33010416/33010684
[pid=172543] ppid=172540 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/172543/stat : 172543 (scip-naps-1.00.) S 172540 172543 168818 0 -1 4194304 257 337 0 0 0 0 0 0 20 0 1 0 238863619 4292608 736 18446744073709551615 94700642988032 94700643882565 140733495810256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94700644121616 94700644169360 94700651102208 140733495818655 140733495818752 140733495818752 140733495824356 0
/proc/172543/statm: 1048 736 672 219 0 110 0
[pid=172548] ppid=172543 vsize=1323488 memory=174724 CPUtime=6.24 cores=5,7
/proc/172548/stat : 172548 (python3) R 172543 172543 168818 0 -1 4194304 36709 0 0 0 617 7 0 0 20 0 1 0 238863621 1355251712 43681 18446744073709551615 94226664267776 94226664268153 140730494304816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94226664279448 94226664280068 94226664427520 140730494310742 140730494310944 140730494310944 140730494316519 0
/proc/172548/statm: 330872 43681 7937 1 0 302230 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1327680 KiB
Current children cumulated memory: 177668 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 172548
/proc/meminfo: memFree=121132144/131249988 swapFree=33010416/33010684
[pid=172543] ppid=172540 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/172543/stat : 172543 (scip-naps-1.00.) S 172540 172543 168818 0 -1 4194304 257 337 0 0 0 0 0 0 20 0 1 0 238863619 4292608 736 18446744073709551615 94700642988032 94700643882565 140733495810256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94700644121616 94700644169360 94700651102208 140733495818655 140733495818752 140733495818752 140733495824356 0
/proc/172543/statm: 1048 736 672 219 0 110 0
[pid=172548] ppid=172543 vsize=1349140 memory=187472 CPUtime=12.61 cores=5,7
/proc/172548/stat : 172548 (python3) R 172543 172543 168818 0 -1 4194304 40831 0 0 0 1253 8 0 0 20 0 1 0 238863621 1381519360 46868 18446744073709551615 94226664267776 94226664268153 140730494304816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94226664279448 94226664280068 94226664427520 140730494310742 140730494310944 140730494310944 140730494316519 0
/proc/172548/statm: 337285 46868 8001 1 0 308643 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1353332 KiB
Current children cumulated memory: 190416 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.12 4.09 5/269 172548
/proc/meminfo: memFree=121035480/131249988 swapFree=33010416/33010684
[pid=172543] ppid=172540 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/172543/stat : 172543 (scip-naps-1.00.) S 172540 172543 168818 0 -1 4194304 257 337 0 0 0 0 0 0 20 0 1 0 238863619 4292608 736 18446744073709551615 94700642988032 94700643882565 140733495810256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94700644121616 94700644169360 94700651102208 140733495818655 140733495818752 140733495818752 140733495824356 0
/proc/172543/statm: 1048 736 672 219 0 110 0
[pid=172548] ppid=172543 vsize=1393788 memory=230984 CPUtime=25.36 cores=5,7
/proc/172548/stat : 172548 (python3) R 172543 172543 168818 0 -1 4194304 52822 0 0 0 2526 10 0 0 20 0 1 0 238863621 1427238912 57746 18446744073709551615 94226664267776 94226664268153 140730494304816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94226664279448 94226664280068 94226664427520 140730494310742 140730494310944 140730494310944 140730494316519 0
/proc/172548/statm: 348447 57746 8129 1 0 319805 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1397980 KiB
Current children cumulated memory: 233928 KiB
[startup+51.1057 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 172549
/proc/meminfo: memFree=120983564/131249988 swapFree=33010416/33010684
[pid=172543] ppid=172540 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/172543/stat : 172543 (scip-naps-1.00.) S 172540 172543 168818 0 -1 4194304 257 337 0 0 0 0 0 0 20 0 1 0 238863619 4292608 736 18446744073709551615 94700642988032 94700643882565 140733495810256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94700644121616 94700644169360 94700651102208 140733495818655 140733495818752 140733495818752 140733495824356 0
/proc/172543/statm: 1048 736 672 219 0 110 0
[pid=172548] ppid=172543 vsize=1482132 memory=306856 CPUtime=50.86 cores=5,7
/proc/172548/stat : 172548 (python3) R 172543 172543 168818 0 -1 4194304 69513 0 0 0 5072 14 0 0 20 0 1 0 238863621 1517703168 76714 18446744073709551615 94226664267776 94226664268153 140730494304816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94226664279448 94226664280068 94226664427520 140730494310742 140730494310944 140730494310944 140730494316519 0
/proc/172548/statm: 370533 76714 8161 1 0 341891 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 1486324 KiB
Current children cumulated memory: 309800 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/269 172553
/proc/meminfo: memFree=120944320/131249988 swapFree=33010416/33010684
[pid=172543] ppid=172540 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/172543/stat : 172543 (scip-naps-1.00.) S 172540 172543 168818 0 -1 4194304 257 337 0 0 0 0 0 0 20 0 1 0 238863619 4292608 736 18446744073709551615 94700642988032 94700643882565 140733495810256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94700644121616 94700644169360 94700651102208 140733495818655 140733495818752 140733495818752 140733495824356 0
/proc/172543/statm: 1048 736 672 219 0 110 0
[pid=172548] ppid=172543 vsize=1540088 memory=341800 CPUtime=101.86 cores=5,7
/proc/172548/stat : 172548 (python3) R 172543 172543 168818 0 -1 4194304 78272 0 0 0 10170 16 0 0 20 0 1 0 238863621 1577050112 85450 18446744073709551615 94226664267776 94226664268153 140730494304816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94226664279448 94226664280068 94226664427520 140730494310742 140730494310944 140730494310944 140730494316519 0
/proc/172548/statm: 385022 85450 8161 1 0 356380 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 1544280 KiB
Current children cumulated memory: 344744 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/270 172560
/proc/meminfo: memFree=120942880/131249988 swapFree=33010416/33010684
[pid=172543] ppid=172540 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/172543/stat : 172543 (scip-naps-1.00.) S 172540 172543 168818 0 -1 4194304 257 337 0 0 0 0 0 0 20 0 1 0 238863619 4292608 736 18446744073709551615 94700642988032 94700643882565 140733495810256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94700644121616 94700644169360 94700651102208 140733495818655 140733495818752 140733495818752 140733495824356 0
/proc/172543/statm: 1048 736 672 219 0 110 0
[pid=172548] ppid=172543 vsize=1544668 memory=342696 CPUtime=161.61 cores=5,7
/proc/172548/stat : 172548 (python3) R 172543 172543 168818 0 -1 4194304 78495 0 0 0 16145 16 0 0 20 0 1 0 238863621 1581740032 85674 18446744073709551615 94226664267776 94226664268153 140730494304816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94226664279448 94226664280068 94226664427520 140730494310742 140730494310944 140730494310944 140730494316519 0
/proc/172548/statm: 386167 85674 8161 1 0 357525 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 1548860 KiB
Current children cumulated memory: 345640 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 172611
/proc/meminfo: memFree=122572204/131249988 swapFree=33010416/33010684
[pid=172543] ppid=172540 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/172543/stat : 172543 (scip-naps-1.00.) S 172540 172543 168818 0 -1 4194304 257 337 0 0 0 0 0 0 20 0 1 0 238863619 4292608 736 18446744073709551615 94700642988032 94700643882565 140733495810256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94700644121616 94700644169360 94700651102208 140733495818655 140733495818752 140733495818752 140733495824356 0
/proc/172543/statm: 1048 736 672 219 0 110 0
[pid=172548] ppid=172543 vsize=1549108 memory=346920 CPUtime=221.39 cores=5,7
/proc/172548/stat : 172548 (python3) R 172543 172543 168818 0 -1 4194304 79600 0 0 0 22123 16 0 0 20 0 1 0 238863621 1586286592 86730 18446744073709551615 94226664267776 94226664268153 140730494304816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94226664279448 94226664280068 94226664427520 140730494310742 140730494310944 140730494310944 140730494316519 0
/proc/172548/statm: 387277 86730 8161 1 0 358635 0
Current children cumulated CPU time: 221.39 s
Current children cumulated vsize: 1553300 KiB
################
# More data... #
################
[pid=172543] ppid=172540 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/172543/stat : 172543 (scip-naps-1.00.) S 172540 172543 168818 0 -1 4194304 257 337 0 0 0 0 0 0 20 0 1 0 238863619 4292608 736 18446744073709551615 94700642988032 94700643882565 140733495810256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94700644121616 94700644169360 94700651102208 140733495818655 140733495818752 140733495818752 140733495824356 0
/proc/172543/statm: 1048 736 672 219 0 110 0
[pid=172548] ppid=172543 vsize=1549108 memory=346920 CPUtime=340.97 cores=5,7
/proc/172548/stat : 172548 (python3) R 172543 172543 168818 0 -1 4194304 79620 0 0 0 34081 16 0 0 20 0 1 0 238863621 1586286592 86730 18446744073709551615 94226664267776 94226664268153 140730494304816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94226664279448 94226664280068 94226664427520 140730494310742 140730494310944 140730494310944 140730494316519 0
/proc/172548/statm: 387277 86730 8161 1 0 358635 0
Current children cumulated CPU time: 340.97 s
Current children cumulated vsize: 1553300 KiB
Current children cumulated memory: 349864 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/269 172617
/proc/meminfo: memFree=122608012/131249988 swapFree=33010416/33010684
[pid=172543] ppid=172540 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/172543/stat : 172543 (scip-naps-1.00.) S 172540 172543 168818 0 -1 4194304 257 337 0 0 0 0 0 0 20 0 1 0 238863619 4292608 736 18446744073709551615 94700642988032 94700643882565 140733495810256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94700644121616 94700644169360 94700651102208 140733495818655 140733495818752 140733495818752 140733495824356 0
/proc/172543/statm: 1048 736 672 219 0 110 0
[pid=172548] ppid=172543 vsize=1554364 memory=351144 CPUtime=400.73 cores=5,7
/proc/172548/stat : 172548 (python3) R 172543 172543 168818 0 -1 4194304 80654 0 0 0 40057 16 0 0 20 0 1 0 238863621 1591668736 87786 18446744073709551615 94226664267776 94226664268153 140730494304816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94226664279448 94226664280068 94226664427520 140730494310742 140730494310944 140730494310944 140730494316519 0
/proc/172548/statm: 388591 87786 8161 1 0 359949 0
Current children cumulated CPU time: 400.73 s
Current children cumulated vsize: 1558556 KiB
Current children cumulated memory: 354088 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/269 172620
/proc/meminfo: memFree=122626448/131249988 swapFree=33010416/33010684
[pid=172543] ppid=172540 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/172543/stat : 172543 (scip-naps-1.00.) S 172540 172543 168818 0 -1 4194304 257 337 0 0 0 0 0 0 20 0 1 0 238863619 4292608 736 18446744073709551615 94700642988032 94700643882565 140733495810256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94700644121616 94700644169360 94700651102208 140733495818655 140733495818752 140733495818752 140733495824356 0
/proc/172543/statm: 1048 736 672 219 0 110 0
[pid=172548] ppid=172543 vsize=1554364 memory=351144 CPUtime=460.49 cores=5,7
/proc/172548/stat : 172548 (python3) R 172543 172543 168818 0 -1 4194304 80672 0 0 0 46033 16 0 0 20 0 1 0 238863621 1591668736 87786 18446744073709551615 94226664267776 94226664268153 140730494304816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94226664279448 94226664280068 94226664427520 140730494310742 140730494310944 140730494310944 140730494316519 0
/proc/172548/statm: 388591 87786 8161 1 0 359949 0
Current children cumulated CPU time: 460.49 s
Current children cumulated vsize: 1558556 KiB
Current children cumulated memory: 354088 KiB
[startup+511.703 s]
# the end of solver process 172543 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=509.402 s, system=0.31797 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 172621
/proc/meminfo: memFree=122375676/131249988 swapFree=33010416/33010684
[pid=172543] ppid=172540 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/172543/stat : 172543 (scip-naps-1.00.) S 172540 172543 168818 0 -1 4194304 257 337 0 0 0 0 0 0 20 0 1 0 238863619 4292608 736 18446744073709551615 94700642988032 94700643882565 140733495810256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94700644121616 94700644169360 94700651102208 140733495818655 140733495818752 140733495818752 140733495824356 0
/proc/172543/statm: 1048 736 672 219 0 110 0
[pid=172548] ppid=172543 vsize=1554364 memory=351144 CPUtime=484.5 cores=5,7
/proc/172548/stat : 172548 (python3) R 172543 172543 168818 0 -1 4194304 80672 0 0 0 48434 16 0 0 20 0 1 0 238863621 1591668736 87786 18446744073709551615 94226664267776 94226664268153 140730494304816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94226664279448 94226664280068 94226664427520 140730494310742 140730494310944 140730494310944 140730494316519 0
/proc/172548/statm: 388591 87786 8161 1 0 359949 0
Current children cumulated CPU time: 484.5 s
Current children cumulated vsize: 1558556 KiB
Current children cumulated memory: 354088 KiB
[startup+499.2 s]
/proc/loadavg: 4.16 4.12 4.09 5/269 172621
/proc/meminfo: memFree=122412588/131249988 swapFree=33010416/33010684
[pid=172543] ppid=172540 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/172543/stat : 172543 (scip-naps-1.00.) S 172540 172543 168818 0 -1 4194304 257 337 0 0 0 0 0 0 20 0 1 0 238863619 4292608 736 18446744073709551615 94700642988032 94700643882565 140733495810256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94700644121616 94700644169360 94700651102208 140733495818655 140733495818752 140733495818752 140733495824356 0
/proc/172543/statm: 1048 736 672 219 0 110 0
[pid=172548] ppid=172543 vsize=1554364 memory=351144 CPUtime=497.25 cores=5,7
/proc/172548/stat : 172548 (python3) R 172543 172543 168818 0 -1 4194304 80672 0 0 0 49709 16 0 0 20 0 1 0 238863621 1591668736 87786 18446744073709551615 94226664267776 94226664268153 140730494304816 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94226664279448 94226664280068 94226664427520 140730494310742 140730494310944 140730494310944 140730494316519 0
/proc/172548/statm: 388591 87786 8161 1 0 359949 0
Current children cumulated CPU time: 497.25 s
Current children cumulated vsize: 1558556 KiB
Current children cumulated memory: 354088 KiB
[startup+505.6 s]
/proc/loadavg: 4.14 4.12 4.09 4/262 172653
/proc/meminfo: memFree=122808136/131249988 swapFree=33010416/33010684
[pid=172543] ppid=172540 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/172543/stat : 172543 (scip-naps-1.00.) S 172540 172543 168818 0 -1 4194304 257 337 0 0 0 0 0 0 20 0 1 0 238863619 4292608 736 18446744073709551615 94700642988032 94700643882565 140733495810256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94700644121616 94700644169360 94700651102208 140733495818655 140733495818752 140733495818752 140733495824356 0
/proc/172543/statm: 1048 736 672 219 0 110 0
[pid=172548] ppid=172543 vsize=1563836 memory=360744 CPUtime=498.34 cores=5,7
/proc/172548/stat : 172548 (python3) S 172543 172543 168818 0 -1 4194304 83281 0 0 0 49817 17 0 0 20 0 1 0 238863621 1601368064 90186 18446744073709551615 94226664267776 94226664268153 140730494304816 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94226664279448 94226664280068 94226664427520 140730494310742 140730494310944 140730494310944 140730494316519 0
/proc/172548/statm: 390959 90186 8161 1 0 362317 0
[pid=172622] ppid=172548 vsize=79908 memory=75032 CPUtime=5.27 cores=5,7
/proc/172622/stat : 172622 (naps-1.03a6) R 172548 172622 172622 0 -1 4194304 24936 0 0 0 519 8 0 0 20 0 1 0 238913649 81825792 18758 18446744073709551615 4198400 7047149 140723692008880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 8273920 140723692018063 140723692018161 140723692018161 140723692023753 0
/proc/172622/statm: 19977 18758 544 696 0 19138 0
Current children cumulated CPU time: 503.61 s
Current children cumulated vsize: 1647936 KiB
Current children cumulated memory: 438720 KiB
[startup+508.8 s]
/proc/loadavg: 4.05 4.10 4.09 4/262 172653
/proc/meminfo: memFree=122808136/131249988 swapFree=33010416/33010684
[pid=172543] ppid=172540 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/172543/stat : 172543 (scip-naps-1.00.) S 172540 172543 168818 0 -1 4194304 257 337 0 0 0 0 0 0 20 0 1 0 238863619 4292608 736 18446744073709551615 94700642988032 94700643882565 140733495810256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94700644121616 94700644169360 94700651102208 140733495818655 140733495818752 140733495818752 140733495824356 0
/proc/172543/statm: 1048 736 672 219 0 110 0
[pid=172548] ppid=172543 vsize=1563836 memory=360744 CPUtime=498.34 cores=5,7
/proc/172548/stat : 172548 (python3) S 172543 172543 168818 0 -1 4194304 83281 0 0 0 49817 17 0 0 20 0 1 0 238863621 1601368064 90186 18446744073709551615 94226664267776 94226664268153 140730494304816 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94226664279448 94226664280068 94226664427520 140730494310742 140730494310944 140730494310944 140730494316519 0
/proc/172548/statm: 390959 90186 8161 1 0 362317 0
[pid=172622] ppid=172548 vsize=79908 memory=75032 CPUtime=8.46 cores=5,7
/proc/172622/stat : 172622 (naps-1.03a6) R 172548 172622 172622 0 -1 4194304 24937 0 0 0 838 8 0 0 20 0 1 0 238913649 81825792 18758 18446744073709551615 4198400 7047149 140723692008880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 8273920 140723692018063 140723692018161 140723692018161 140723692023753 0
/proc/172622/statm: 19977 18758 544 696 0 19138 0
Current children cumulated CPU time: 506.8 s
Current children cumulated vsize: 1647936 KiB
Current children cumulated memory: 438720 KiB
[startup+510.4 s]
/proc/loadavg: 4.05 4.10 4.09 4/262 172653
/proc/meminfo: memFree=122808136/131249988 swapFree=33010416/33010684
[pid=172543] ppid=172540 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/172543/stat : 172543 (scip-naps-1.00.) S 172540 172543 168818 0 -1 4194304 257 337 0 0 0 0 0 0 20 0 1 0 238863619 4292608 736 18446744073709551615 94700642988032 94700643882565 140733495810256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94700644121616 94700644169360 94700651102208 140733495818655 140733495818752 140733495818752 140733495824356 0
/proc/172543/statm: 1048 736 672 219 0 110 0
[pid=172548] ppid=172543 vsize=1563836 memory=360744 CPUtime=498.34 cores=5,7
/proc/172548/stat : 172548 (python3) S 172543 172543 168818 0 -1 4194304 83281 0 0 0 49817 17 0 0 20 0 1 0 238863621 1601368064 90186 18446744073709551615 94226664267776 94226664268153 140730494304816 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94226664279448 94226664280068 94226664427520 140730494310742 140730494310944 140730494310944 140730494316519 0
/proc/172548/statm: 390959 90186 8161 1 0 362317 0
[pid=172622] ppid=172548 vsize=79908 memory=75032 CPUtime=10.05 cores=5,7
/proc/172622/stat : 172622 (naps-1.03a6) R 172548 172622 172622 0 -1 4194304 24937 0 0 0 997 8 0 0 20 0 1 0 238913649 81825792 18758 18446744073709551615 4198400 7047149 140723692008880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 8273920 140723692018063 140723692018161 140723692018161 140723692023753 0
/proc/172622/statm: 19977 18758 544 696 0 19138 0
Current children cumulated CPU time: 508.39 s
Current children cumulated vsize: 1647936 KiB
Current children cumulated memory: 438720 KiB
[startup+511.2 s]
/proc/loadavg: 4.05 4.10 4.09 4/262 172653
/proc/meminfo: memFree=122808136/131249988 swapFree=33010416/33010684
[pid=172543] ppid=172540 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/172543/stat : 172543 (scip-naps-1.00.) S 172540 172543 168818 0 -1 4194304 257 337 0 0 0 0 0 0 20 0 1 0 238863619 4292608 736 18446744073709551615 94700642988032 94700643882565 140733495810256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94700644121616 94700644169360 94700651102208 140733495818655 140733495818752 140733495818752 140733495824356 0
/proc/172543/statm: 1048 736 672 219 0 110 0
[pid=172548] ppid=172543 vsize=1563836 memory=360744 CPUtime=498.34 cores=5,7
/proc/172548/stat : 172548 (python3) S 172543 172543 168818 0 -1 4194304 83281 0 0 0 49817 17 0 0 20 0 1 0 238863621 1601368064 90186 18446744073709551615 94226664267776 94226664268153 140730494304816 0 0 0 0 16781312 16386 1 0 0 17 5 0 0 0 0 0 94226664279448 94226664280068 94226664427520 140730494310742 140730494310944 140730494310944 140730494316519 0
/proc/172548/statm: 390959 90186 8161 1 0 362317 0
[pid=172622] ppid=172548 vsize=79908 memory=75032 CPUtime=10.85 cores=5,7
/proc/172622/stat : 172622 (naps-1.03a6) R 172548 172622 172622 0 -1 4194304 24937 0 0 0 1077 8 0 0 20 0 1 0 238913649 81825792 18758 18446744073709551615 4198400 7047149 140723692008880 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 8273920 140723692018063 140723692018161 140723692018161 140723692023753 0
/proc/172622/statm: 19977 18758 544 696 0 19138 0
Current children cumulated CPU time: 509.19 s
Current children cumulated vsize: 1647936 KiB
Current children cumulated memory: 438720 KiB
[startup+511.6 s]
/proc/loadavg: 4.05 4.10 4.09 4/262 172653
/proc/meminfo: memFree=122808136/131249988 swapFree=33010416/33010684
[pid=172543] ppid=172540 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/172543/stat : 172543 (scip-naps-1.00.) S 172540 172543 168818 0 -1 4194304 257 337 0 0 0 0 0 0 20 0 1 0 238863619 4292608 736 18446744073709551615 94700642988032 94700643882565 140733495810256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94700644121616 94700644169360 94700651102208 140733495818655 140733495818752 140733495818752 140733495824356 0
/proc/172543/statm: 1048 736 672 219 0 110 0
[pid=172548] ppid=172543 vsize=1551852 memory=348860 CPUtime=509.59 cores=5,7
/proc/172548/stat : 172548 (python3) R 172543 172543 168818 0 -1 4194304 116567 24938 0 0 49838 19 1094 8 20 0 1 0 238863621 1589096448 87215 18446744073709551615 94226664267776 94226664268153 140730494304816 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 0 0 0 94226664279448 94226664280068 94226664427520 140730494310742 140730494310944 140730494310944 140730494316519 0
/proc/172548/statm: 387963 87215 8161 1 0 359321 0
Current children cumulated CPU time: 509.59 s
Current children cumulated vsize: 1556044 KiB
Current children cumulated memory: 351804 KiB
[startup+511.7 s]
/proc/loadavg: 4.05 4.10 4.09 4/262 172653
/proc/meminfo: memFree=122808136/131249988 swapFree=33010416/33010684
[pid=172543] ppid=172540 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/172543/stat : 172543 (scip-naps-1.00.) S 172540 172543 168818 0 -1 4194304 257 337 0 0 0 0 0 0 20 0 1 0 238863619 4292608 736 18446744073709551615 94700642988032 94700643882565 140733495810256 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94700644121616 94700644169360 94700651102208 140733495818655 140733495818752 140733495818752 140733495824356 0
/proc/172543/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
Child status: 0
Real time (s): 511.703
CPU time (s): 509.72
CPU user time (s): 509.402
CPU system time (s): 0.31797
CPU usage (%): 99.6125
Max. virtual memory (cumulated for all children) (KiB): 1665808
Max. memory (cumulated for all children) (KiB): 451092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 509.402
system time used= 0.31797
maximum resident set size= 360744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163012
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 339
involuntary context switches= 2956
# summary of solver processes directly reported to runsolver:
# pid: 172543
# total CPU time (s): 509.72
# total CPU user time (s): 509.402
# total CPU system time (s): 0.31797
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.21477 second user time and 2.16653 second system time
The end
Begin job on nodeC031 at 2025-07-23 02:50:51 IDJOB=4545556 IDBENCH=180910 IDSOLVER=3368 FILE ID=nodeC031/4545556-1753231851 RUNJOBID= nodeC031-1753222578-168831 SLURM_JOB_ID= 9687820 Free space on /tmp= 432908 MiB SOLVER NAME= SCIP-NaPS 1.00a1 BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SocialGolfers-cnt-06-06-07_c24.opb COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545556-1753231851/watcher-4545556-1753231851 -o /tmp/evaluation-result-4545556-1753231851/solver-4545556-1753231851 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753222578-168831 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4545556-1753231851.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 740ae53db54907a8b4b16e6d2fb6eccd RANDOM SEED=579500355 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.852 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.860 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 : 3602.161 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.965 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.879 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.937 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 : 3599.888 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.885 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: 121274596 kB MemAvailable: 126458184 kB Buffers: 2128 kB Cached: 5868144 kB SwapCached: 8 kB Active: 4325768 kB Inactive: 4734076 kB Active(anon): 3205356 kB Inactive(anon): 10464 kB Active(file): 1120412 kB Inactive(file): 4723612 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 7188 kB Writeback: 0 kB AnonPages: 3188148 kB Mapped: 135880 kB Shmem: 26248 kB KReclaimable: 357604 kB Slab: 456348 kB SReclaimable: 357604 kB SUnreclaim: 98744 kB KernelStack: 4368 kB PageTables: 10188 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 7077552 kB VmallocTotal: 34359738367 kB VmallocUsed: 150600 kB VmallocChunk: 0 kB Percpu: 3904 kB HardwareCorrupted: 0 kB AnonHugePages: 489472 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= 432928 MiB End job on nodeC031 at 2025-07-23 02:59:23