| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP-NaPS 1.00a2 | UNSAT | 510.441 | 511.83 |
| 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.45/3.53 c Command: HOME/scip-naps-1.00a2.py --pbsolver HOME/naps-1.03a6 --sciptime=500 --dec HOME/instance-4545563-1753231916.opb 3.45/3.53 c Solving mode: decision 3.45/3.53 c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo] 3.45/3.53 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) 3.45/3.53 c original problem has 17343 variables (17343 bin, 0 int, 0 impl, 0 cont) and 32542 constraints 3.45/3.53 c presolving: 3.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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.45/3.53 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 9.33/9.40 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 137.29/137.78 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 137.29/137.78 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 137.29/137.78 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 137.29/137.78 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 137.29/137.78 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 137.29/137.78 c (9.8s) probing: 1000/9531 (10.5%) - 25 fixings, 240 aggregations, 10599 implications, 0 bound changes 137.29/137.78 c (11.1s) probing: 1175/9531 (12.3%) - 27 fixings, 240 aggregations, 10704 implications, 0 bound changes 137.29/137.78 c (11.1s) probing aborted: 50/50 successive totally useless probings 137.29/137.78 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 137.29/137.78 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 137.29/137.78 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 137.29/137.78 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 137.29/137.78 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 137.29/137.78 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 137.29/137.78 c (11.2s) probing: 1180/9531 (12.4%) - 27 fixings, 240 aggregations, 10704 implications, 0 bound changes 137.29/137.78 c (11.2s) probing aborted: 50/50 successive totally useless probings 137.29/137.78 c (11.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 137.29/137.78 c (11.3s) no symmetry present (symcode time: 0.01) 137.29/137.78 c presolving (108 rounds: 108 fast, 65 medium, 57 exhaustive): 137.29/137.78 c 8258 deleted vars, 27417 deleted constraints, 11338 added constraints, 6474 tightened bounds, 0 added holes, 23135 changed sides, 27853 changed coefficients 137.29/137.78 c 0 implications, 12439 cliques 137.29/137.78 c presolved problem has 9262 variables (9262 bin, 0 int, 0 impl, 0 cont) and 16463 constraints 137.29/137.78 c 10564 constraints of type <knapsack> 137.29/137.78 c 2779 constraints of type <setppc> 137.29/137.78 c 1990 constraints of type <and> 137.29/137.78 c 255 constraints of type <linear> 137.29/137.78 c 875 constraints of type <logicor> 137.29/137.78 c transformed objective value is always integral (scale: 1) 137.29/137.78 c Presolving Time: 11.22 137.29/137.78 c 137.29/137.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 137.29/137.78 c 16.9s| 1 | 0 | 12317 | - | 171M | 0 |9262 | 16k| 18k| 0 | 0 | 62 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 38.7s| 1 | 0 | 46085 | - | 192M | 0 |9262 | 16k| 18k| 197 | 1 | 63 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 41.9s| 1 | 0 | 51099 | - | 207M | 0 |9262 | 16k| 18k| 389 | 2 | 64 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 44.8s| 1 | 0 | 55559 | - | 224M | 0 |9262 | 16k| 18k| 554 | 3 | 66 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 49.1s| 1 | 0 | 59710 | - | 226M | 0 |9262 | 16k| 19k| 851 | 4 | 68 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 51.5s| 1 | 0 | 63152 | - | 248M | 0 |9262 | 16k| 19k|1012 | 5 | 68 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 54.2s| 1 | 0 | 66472 | - | 271M | 0 |9262 | 16k| 19k|1147 | 6 | 70 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 58.9s| 1 | 0 | 70767 | - | 274M | 0 |9262 | 16k| 19k|1474 | 7 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 64.2s| 1 | 0 | 75747 | - | 276M | 0 |9262 | 16k| 20k|1774 | 8 | 74 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 72.1s| 1 | 0 | 81879 | - | 279M | 0 |9262 | 16k| 20k|2083 | 9 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 77.3s| 1 | 0 | 87291 | - | 281M | 0 |9262 | 16k| 20k|2368 | 10 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 80.5s| 1 | 0 | 91630 | - | 285M | 0 |9262 | 16k| 20k|2494 | 11 | 77 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 80.6s| 1 | 0 | 91630 | - | 285M | 0 |9262 | 16k| 20k|2494 | 11 | 79 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 83.0s| 1 | 0 | 94791 | - | 288M | 0 |9262 | 16k| 20k|2607 | 12 | 79 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 86.5s| 1 | 0 | 99618 | - | 291M | 0 |9262 | 16k| 21k|2746 | 13 | 81 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 137.29/137.78 c 89.5s| 1 | 0 |103534 | - | 294M | 0 |9262 | 16k| 21k|2854 | 14 | 84 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 92.0s| 1 | 0 |106697 | - | 296M | 0 |9262 | 16k| 20k|2989 | 15 | 85 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 94.9s| 1 | 0 |110802 | - | 299M | 0 |9262 | 16k| 20k|3101 | 16 | 87 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 98.9s| 1 | 0 |116235 | - | 301M | 0 |9262 | 16k| 21k|3246 | 17 | 89 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 102s| 1 | 0 |120909 | - | 304M | 0 |9262 | 16k| 21k|3391 | 18 | 91 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 106s| 1 | 0 |125195 | - | 307M | 0 |9262 | 16k| 21k|3508 | 19 | 93 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 115s| 1 | 0 |131182 | - | 309M | 0 |9262 | 16k| 20k|3619 | 20 | 94 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 117s| 1 | 0 |135225 | - | 309M | 0 |9262 | 16k| 20k|3728 | 21 | 95 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 120s| 1 | 0 |138660 | - | 309M | 0 |9262 | 16k| 20k|3850 | 22 | 96 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 120s| 1 | 0 |138660 | - | 309M | 0 |9262 | 16k| 20k|3850 | 22 | 98 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 122s| 1 | 0 |142062 | - | 309M | 0 |9262 | 16k| 20k|3957 | 23 | 98 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 125s| 1 | 0 |145323 | - | 309M | 0 |9262 | 16k| 21k|4067 | 24 | 100 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 128s| 1 | 0 |149325 | - | 309M | 0 |9262 | 16k| 21k|4169 | 25 | 101 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 130s| 1 | 0 |151781 | - | 309M | 0 |9262 | 16k| 20k|4271 | 26 | 103 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 132s| 1 | 0 |154773 | - | 309M | 0 |9262 | 16k| 20k|4375 | 27 | 105 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 137.29/137.78 c 134s| 1 | 0 |157281 | - | 309M | 0 |9262 | 16k| 21k|4475 | 28 | 105 | 0 | 0.000000e+00 | -- | Inf | unknown 137.29/137.78 c 135s| 1 | 0 |159000 | - | 309M | 0 |9262 | 16k| 21k|4573 | 29 | 107 | 0 | 0.000000e+00 | -- | Inf | unknown 498.83/500.29 c 138s| 1 | 0 |161715 | - | 309M | 0 |9262 | 16k| 21k|4665 | 30 | 109 | 0 | 0.000000e+00 | -- | Inf | unknown 498.83/500.29 c 140s| 1 | 0 |164711 | - | 309M | 0 |9262 | 16k| 21k|4758 | 31 | 111 | 0 | 0.000000e+00 | -- | Inf | unknown 498.83/500.29 c 143s| 1 | 0 |167704 | - | 309M | 0 |9262 | 16k| 21k|4846 | 32 | 112 | 0 | 0.000000e+00 | -- | Inf | unknown 498.83/500.29 c 145s| 1 | 0 |170725 | - | 309M | 0 |9262 | 16k| 21k|4937 | 33 | 112 | 0 | 0.000000e+00 | -- | Inf | unknown 498.83/500.29 c 167s| 1 | 2 |171454 | - | 310M | 0 |9262 | 16k| 21k|4937 | 33 | 144 | 20 | 0.000000e+00 | -- | Inf | unknown 498.83/500.29 c 498.83/500.29 c SCIP Status : solving was interrupted [time limit reached] 498.83/500.29 c Solving Time (sec) : 500.00 498.83/500.29 c Solving Nodes : 16 498.83/500.29 c Primal Bound : +1.00000000000000e+20 (0 solutions) 498.83/500.29 c Dual Bound : +0.00000000000000e+00 498.83/500.29 c Gap : infinite 498.83/500.29 c ---------------------------------------------------------------------- 498.83/500.29 c dual bound: 0.0 -> 0 498.83/500.29 c primal bound: 1e+20 -> 100000000000000000000 498.83/500.29 c scip-goal-lb: 0 498.83/500.29 c scip-goal-ub: 100000000000000000000 498.83/500.29 c writing output to: HOME/tmpmtma8i_e.opb 498.83/500.29 c appending fixed variable constraints 498.83/500.29 c scip-fixed vars: 76.35% (7072/9262) 498.83/500.29 c ---------------------------------------------------------------------- 498.83/500.29 c executing external solver: HOME/naps-1.03a6 498.83/500.29 c ---------------------------------------------------------------------- 498.83/500.29 c command: HOME/naps-1.03a6 HOME/tmpmtma8i_e.opb 498.93/500.30 c NaPS 1.03a6. 498.93/500.30 c Input file name: HOME/tmpmtma8i_e.opb 509.99/511.45 c s UNSATISFIABLE 509.99/511.45 c _____________________________________________________________________________ 509.99/511.45 c std/band forms : 26620,252 509.99/511.45 c 2cl/3cl ITE-codings : 37008,2016 509.99/511.45 c BDD/srt/adr Max costs : 21,675,0 509.99/511.45 c BDDraw/bin/mul/srt/adr: 25546,0,0,1326,0 509.99/511.45 c BDD nodes : 204114 509.99/511.45 c Es1/CC detections : 0,0 509.99/511.45 c CC sort : 1284 509.99/511.45 c SAT/UNSAT calls : 0,1 509.99/511.45 c regenrated variables : 0 509.99/511.45 c eliminated fixed lits : 5592 509.99/511.45 c goal lit flips : 0 509.99/511.45 c goal stages : 0 509.99/511.45 c goal shrink : 0 509.99/511.45 c goal coeff separations: 0 509.99/511.45 c restarts : 8042 509.99/511.45 c conflicts : 154036 (13945 /sec) 509.99/511.45 c decisions : 351226 (31796 /sec) 509.99/511.45 c propagations : 42177774 (3818323 /sec) 509.99/511.45 c inspects : 0 (0 /sec) 509.99/511.45 c CPU time (solving tm) : 11.05 s (9.999 s, SAT 0 s, UNSAT 9.999 s) 509.99/511.45 c Time for Opt-base : 0.007063 s 509.99/511.45 c Steps for Opt-base : 0 509.99/511.45 c Time for BDD coding : 0.4535 s 509.99/511.45 c Time for srt coding : 0.01016 s 509.99/511.45 c _____________________________________________________________________________ 509.99/511.46 s UNSATISFIABLE
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62099 MiB free)
memory of node 1: 64507 MiB (60446 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545563-1753231916/watcher-4545563-1753231916 -o /tmp/evaluation-result-4545563-1753231916/solver-4545563-1753231916 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753222587-197771 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4545563-1753231916.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=201503, runsolver pid=201500
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.23 4.15 4.10 5/268 201508
/proc/meminfo: memFree=125478020/131250000 swapFree=33008868/33010684
[pid=201503] ppid=201500 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/201503/stat : 201503 (scip-naps-1.00a) S 201500 201503 197761 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 238871882 4292608 736 18446744073709551615 93908794572800 93908795467333 140727591786960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93908795706384 93908795754128 93908798849024 140727591795099 140727591795198 140727591795198 140727591800802 0
/proc/201503/statm: 1048 736 672 219 0 110 0
[pid=201508] ppid=201503 vsize=1188028 memory=33132 CPUtime=0.07 cores=0,2
/proc/201508/stat : 201508 (python3) R 201503 201503 197761 0 -1 4194304 3978 0 0 0 6 1 0 0 20 0 1 0 238871884 1216540672 8283 18446744073709551615 94550346342400 94550346342777 140732882341952 0 0 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0 94550346354072 94550346354692 94550358315008 140732882344271 140732882344480 140732882344480 140732882350055 0
/proc/201508/statm: 297007 8283 4955 1 0 268998 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1192220 KiB
Current children cumulated memory: 36076 KiB
[startup+0.205474 s]*
/proc/loadavg: 4.23 4.15 4.10 5/268 201508
/proc/meminfo: memFree=125443748/131250000 swapFree=33008868/33010684
[pid=201503] ppid=201500 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/201503/stat : 201503 (scip-naps-1.00a) S 201500 201503 197761 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 238871882 4292608 736 18446744073709551615 93908794572800 93908795467333 140727591786960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93908795706384 93908795754128 93908798849024 140727591795099 140727591795198 140727591795198 140727591800802 0
/proc/201503/statm: 1048 736 672 219 0 110 0
[pid=201508] ppid=201503 vsize=1223932 memory=75628 CPUtime=0.17 cores=0,2
/proc/201508/stat : 201508 (python3) R 201503 201503 197761 0 -1 4194304 12185 0 0 0 15 2 0 0 20 0 1 0 238871884 1253306368 18907 18446744073709551615 94550346342400 94550346342777 140732882341952 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94550346354072 94550346354692 94550358315008 140732882344271 140732882344480 140732882344480 140732882350055 0
/proc/201508/statm: 305983 18907 7611 1 0 277341 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1228124 KiB
Current children cumulated memory: 78572 KiB
[startup+0.305431 s]*
/proc/loadavg: 4.23 4.15 4.10 5/268 201508
/proc/meminfo: memFree=125387552/131250000 swapFree=33008868/33010684
[pid=201503] ppid=201500 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/201503/stat : 201503 (scip-naps-1.00a) S 201500 201503 197761 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 238871882 4292608 736 18446744073709551615 93908794572800 93908795467333 140727591786960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93908795706384 93908795754128 93908798849024 140727591795099 140727591795198 140727591795198 140727591800802 0
/proc/201503/statm: 1048 736 672 219 0 110 0
[pid=201508] ppid=201503 vsize=1291540 memory=142956 CPUtime=0.27 cores=0,2
/proc/201508/stat : 201508 (python3) R 201503 201503 197761 0 -1 4194304 28807 0 0 0 22 5 0 0 20 0 1 0 238871884 1322536960 35739 18446744073709551615 94550346342400 94550346342777 140732882341952 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94550346354072 94550346354692 94550358315008 140732882344271 140732882344480 140732882344480 140732882350055 0
/proc/201508/statm: 322885 35739 7835 1 0 294243 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1295732 KiB
Current children cumulated memory: 145900 KiB
[startup+0.700182 s]
/proc/loadavg: 4.23 4.15 4.10 5/268 201508
/proc/meminfo: memFree=125363360/131250000 swapFree=33008868/33010684
[pid=201503] ppid=201500 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/201503/stat : 201503 (scip-naps-1.00a) S 201500 201503 197761 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 238871882 4292608 736 18446744073709551615 93908794572800 93908795467333 140727591786960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93908795706384 93908795754128 93908798849024 140727591795099 140727591795198 140727591795198 140727591800802 0
/proc/201503/statm: 1048 736 672 219 0 110 0
[pid=201508] ppid=201503 vsize=1318388 memory=169708 CPUtime=0.66 cores=0,2
/proc/201508/stat : 201508 (python3) R 201503 201503 197761 0 -1 4194304 35425 0 0 0 60 6 0 0 20 0 1 0 238871884 1350029312 42427 18446744073709551615 94550346342400 94550346342777 140732882341952 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94550346354072 94550346354692 94550358315008 140732882344271 140732882344480 140732882344480 140732882350055 0
/proc/201508/statm: 329597 42427 7931 1 0 300955 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1322580 KiB
Current children cumulated memory: 172652 KiB
[startup+1.50019 s]
/proc/loadavg: 4.23 4.15 4.10 5/268 201508
/proc/meminfo: memFree=125355308/131250000 swapFree=33008868/33010684
[pid=201503] ppid=201500 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/201503/stat : 201503 (scip-naps-1.00a) S 201500 201503 197761 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 238871882 4292608 736 18446744073709551615 93908794572800 93908795467333 140727591786960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93908795706384 93908795754128 93908798849024 140727591795099 140727591795198 140727591795198 140727591800802 0
/proc/201503/statm: 1048 736 672 219 0 110 0
[pid=201508] ppid=201503 vsize=1321268 memory=172524 CPUtime=1.46 cores=0,2
/proc/201508/stat : 201508 (python3) R 201503 201503 197761 0 -1 4194304 36162 0 0 0 140 6 0 0 20 0 1 0 238871884 1352978432 43131 18446744073709551615 94550346342400 94550346342777 140732882341952 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94550346354072 94550346354692 94550358315008 140732882344271 140732882344480 140732882344480 140732882350055 0
/proc/201508/statm: 330317 43131 7931 1 0 301675 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1325460 KiB
Current children cumulated memory: 175468 KiB
[startup+3.10543 s]
/proc/loadavg: 4.23 4.15 4.10 5/268 201508
/proc/meminfo: memFree=125367976/131250000 swapFree=33008868/33010684
[pid=201503] ppid=201500 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/201503/stat : 201503 (scip-naps-1.00a) S 201500 201503 197761 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 238871882 4292608 736 18446744073709551615 93908794572800 93908795467333 140727591786960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93908795706384 93908795754128 93908798849024 140727591795099 140727591795198 140727591795198 140727591800802 0
/proc/201503/statm: 1048 736 672 219 0 110 0
[pid=201508] ppid=201503 vsize=1322684 memory=174060 CPUtime=3.06 cores=0,2
/proc/201508/stat : 201508 (python3) R 201503 201503 197761 0 -1 4194304 36542 0 0 0 300 6 0 0 20 0 1 0 238871884 1354428416 43515 18446744073709551615 94550346342400 94550346342777 140732882341952 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94550346354072 94550346354692 94550358315008 140732882344271 140732882344480 140732882344480 140732882350055 0
/proc/201508/statm: 330671 43515 7931 1 0 302029 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 1326876 KiB
Current children cumulated memory: 177004 KiB
[startup+6.30017 s]
/proc/loadavg: 4.21 4.15 4.10 5/268 201508
/proc/meminfo: memFree=125351872/131250000 swapFree=33008868/33010684
[pid=201503] ppid=201500 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/201503/stat : 201503 (scip-naps-1.00a) S 201500 201503 197761 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 238871882 4292608 736 18446744073709551615 93908794572800 93908795467333 140727591786960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93908795706384 93908795754128 93908798849024 140727591795099 140727591795198 140727591795198 140727591800802 0
/proc/201503/statm: 1048 736 672 219 0 110 0
[pid=201508] ppid=201503 vsize=1324560 memory=175852 CPUtime=6.24 cores=0,2
/proc/201508/stat : 201508 (python3) R 201503 201503 197761 0 -1 4194304 37005 0 0 0 618 6 0 0 20 0 1 0 238871884 1356349440 43963 18446744073709551615 94550346342400 94550346342777 140732882341952 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94550346354072 94550346354692 94550358315008 140732882344271 140732882344480 140732882344480 140732882350055 0
/proc/201508/statm: 331140 43963 7931 1 0 302498 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1328752 KiB
Current children cumulated memory: 178796 KiB
[startup+12.7002 s]
/proc/loadavg: 4.20 4.15 4.10 5/268 201508
/proc/meminfo: memFree=125308416/131250000 swapFree=33008868/33010684
[pid=201503] ppid=201500 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/201503/stat : 201503 (scip-naps-1.00a) S 201500 201503 197761 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 238871882 4292608 736 18446744073709551615 93908794572800 93908795467333 140727591786960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93908795706384 93908795754128 93908798849024 140727591795099 140727591795198 140727591795198 140727591800802 0
/proc/201503/statm: 1048 736 672 219 0 110 0
[pid=201508] ppid=201503 vsize=1390392 memory=227120 CPUtime=12.62 cores=0,2
/proc/201508/stat : 201508 (python3) R 201503 201503 197761 0 -1 4194304 52364 0 0 0 1254 8 0 0 20 0 1 0 238871884 1423761408 56780 18446744073709551615 94550346342400 94550346342777 140732882341952 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94550346354072 94550346354692 94550358315008 140732882344271 140732882344480 140732882344480 140732882350055 0
/proc/201508/statm: 347598 56780 8123 1 0 318956 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1394584 KiB
Current children cumulated memory: 230064 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.14 4.10 5/268 201508
/proc/meminfo: memFree=125264244/131250000 swapFree=33008868/33010684
[pid=201503] ppid=201500 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/201503/stat : 201503 (scip-naps-1.00a) S 201500 201503 197761 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 238871882 4292608 736 18446744073709551615 93908794572800 93908795467333 140727591786960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93908795706384 93908795754128 93908798849024 140727591795099 140727591795198 140727591795198 140727591800802 0
/proc/201503/statm: 1048 736 672 219 0 110 0
[pid=201508] ppid=201503 vsize=1393840 memory=231088 CPUtime=25.4 cores=0,2
/proc/201508/stat : 201508 (python3) R 201503 201503 197761 0 -1 4194304 53358 0 0 0 2531 9 0 0 20 0 1 0 238871884 1427292160 57772 18446744073709551615 94550346342400 94550346342777 140732882341952 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94550346354072 94550346354692 94550358315008 140732882344271 140732882344480 140732882344480 140732882350055 0
/proc/201508/statm: 348460 57772 8123 1 0 319818 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1398032 KiB
Current children cumulated memory: 234032 KiB
[startup+51.1055 s]
/proc/loadavg: 4.17 4.14 4.10 5/268 201509
/proc/meminfo: memFree=125174744/131250000 swapFree=33008868/33010684
[pid=201503] ppid=201500 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/201503/stat : 201503 (scip-naps-1.00a) S 201500 201503 197761 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 238871882 4292608 736 18446744073709551615 93908794572800 93908795467333 140727591786960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93908795706384 93908795754128 93908798849024 140727591795099 140727591795198 140727591795198 140727591800802 0
/proc/201503/statm: 1048 736 672 219 0 110 0
[pid=201508] ppid=201503 vsize=1482392 memory=307288 CPUtime=50.92 cores=0,2
/proc/201508/stat : 201508 (python3) R 201503 201503 197761 0 -1 4194304 70686 0 0 0 5081 11 0 0 20 0 1 0 238871884 1517969408 76822 18446744073709551615 94550346342400 94550346342777 140732882341952 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94550346354072 94550346354692 94550358315008 140732882344271 140732882344480 140732882344480 140732882350055 0
/proc/201508/statm: 370598 76822 8123 1 0 341956 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1486584 KiB
Current children cumulated memory: 310232 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/268 201511
/proc/meminfo: memFree=125205984/131250000 swapFree=33008868/33010684
[pid=201503] ppid=201500 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/201503/stat : 201503 (scip-naps-1.00a) S 201500 201503 197761 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 238871882 4292608 736 18446744073709551615 93908794572800 93908795467333 140727591786960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93908795706384 93908795754128 93908798849024 140727591795099 140727591795198 140727591795198 140727591800802 0
/proc/201503/statm: 1048 736 672 219 0 110 0
[pid=201508] ppid=201503 vsize=1540392 memory=340952 CPUtime=101.98 cores=0,2
/proc/201508/stat : 201508 (python3) R 201503 201503 197761 0 -1 4194304 79095 0 0 0 10186 12 0 0 20 0 1 0 238871884 1577361408 85238 18446744073709551615 94550346342400 94550346342777 140732882341952 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94550346354072 94550346354692 94550358315008 140732882344271 140732882344480 140732882344480 140732882350055 0
/proc/201508/statm: 385098 85238 8123 1 0 356456 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1544584 KiB
Current children cumulated memory: 343896 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/268 201513
/proc/meminfo: memFree=125225736/131250000 swapFree=33008868/33010684
[pid=201503] ppid=201500 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/201503/stat : 201503 (scip-naps-1.00a) S 201500 201503 197761 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 238871882 4292608 736 18446744073709551615 93908794572800 93908795467333 140727591786960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93908795706384 93908795754128 93908798849024 140727591795099 140727591795198 140727591795198 140727591800802 0
/proc/201503/statm: 1048 736 672 219 0 110 0
[pid=201508] ppid=201503 vsize=1544992 memory=341848 CPUtime=161.82 cores=0,2
/proc/201508/stat : 201508 (python3) R 201503 201503 197761 0 -1 4194304 79322 0 0 0 16170 12 0 0 20 0 1 0 238871884 1582071808 85462 18446744073709551615 94550346342400 94550346342777 140732882341952 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94550346354072 94550346354692 94550358315008 140732882344271 140732882344480 140732882344480 140732882350055 0
/proc/201508/statm: 386248 85462 8123 1 0 357606 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1549184 KiB
Current children cumulated memory: 344792 KiB
[startup+222.3 s]
/proc/loadavg: 4.25 4.16 4.11 5/268 201566
/proc/meminfo: memFree=126752512/131250000 swapFree=33008868/33010684
[pid=201503] ppid=201500 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/201503/stat : 201503 (scip-naps-1.00a) S 201500 201503 197761 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 238871882 4292608 736 18446744073709551615 93908794572800 93908795467333 140727591786960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93908795706384 93908795754128 93908798849024 140727591795099 140727591795198 140727591795198 140727591800802 0
/proc/201503/statm: 1048 736 672 219 0 110 0
[pid=201508] ppid=201503 vsize=1548844 memory=345176 CPUtime=221.66 cores=0,2
/proc/201508/stat : 201508 (python3) R 201503 201503 197761 0 -1 4194304 80190 0 0 0 22153 13 0 0 20 0 1 0 238871884 1586016256 86294 18446744073709551615 94550346342400 94550346342777 140732882341952 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94550346354072 94550346354692 94550358315008 140732882344271 140732882344480 140732882344480 140732882350055 0
/proc/201508/statm: 387211 86294 8123 1 0 358569 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 1553036 KiB
################
# More data... #
################
[pid=201508] ppid=201503 vsize=1548844 memory=345176 CPUtime=341.36 cores=0,2
/proc/201508/stat : 201508 (python3) R 201503 201503 197761 0 -1 4194304 80190 0 0 0 34123 13 0 0 20 0 1 0 238871884 1586016256 86294 18446744073709551615 94550346342400 94550346342777 140732882341952 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94550346354072 94550346354692 94550358315008 140732882344271 140732882344480 140732882344480 140732882350055 0
/proc/201508/statm: 387211 86294 8123 1 0 358569 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 1553036 KiB
Current children cumulated memory: 348120 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/269 201577
/proc/meminfo: memFree=126815012/131250000 swapFree=33008868/33010684
[pid=201503] ppid=201500 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/201503/stat : 201503 (scip-naps-1.00a) S 201500 201503 197761 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 238871882 4292608 736 18446744073709551615 93908794572800 93908795467333 140727591786960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93908795706384 93908795754128 93908798849024 140727591795099 140727591795198 140727591795198 140727591800802 0
/proc/201503/statm: 1048 736 672 219 0 110 0
[pid=201508] ppid=201503 vsize=1553056 memory=349332 CPUtime=401.2 cores=0,2
/proc/201508/stat : 201508 (python3) R 201503 201503 197761 0 -1 4194304 80726 0 0 0 40107 13 0 0 20 0 1 0 238871884 1590329344 87333 18446744073709551615 94550346342400 94550346342777 140732882341952 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94550346354072 94550346354692 94550358315008 140732882344271 140732882344480 140732882344480 140732882350055 0
/proc/201508/statm: 388264 87333 8123 1 0 359622 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 1557248 KiB
Current children cumulated memory: 352276 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/269 201578
/proc/meminfo: memFree=126818744/131250000 swapFree=33008868/33010684
[pid=201503] ppid=201500 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/201503/stat : 201503 (scip-naps-1.00a) S 201500 201503 197761 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 238871882 4292608 736 18446744073709551615 93908794572800 93908795467333 140727591786960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93908795706384 93908795754128 93908798849024 140727591795099 140727591795198 140727591795198 140727591800802 0
/proc/201503/statm: 1048 736 672 219 0 110 0
[pid=201508] ppid=201503 vsize=1553780 memory=350228 CPUtime=461.04 cores=0,2
/proc/201508/stat : 201508 (python3) R 201503 201503 197761 0 -1 4194304 80929 0 0 0 46091 13 0 0 20 0 1 0 238871884 1591070720 87557 18446744073709551615 94550346342400 94550346342777 140732882341952 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94550346354072 94550346354692 94550358315008 140732882344271 140732882344480 140732882344480 140732882350055 0
/proc/201508/statm: 388445 87557 8123 1 0 359803 0
Current children cumulated CPU time: 461.04 s
Current children cumulated vsize: 1557972 KiB
Current children cumulated memory: 353172 KiB
[startup+511.83 s]
# the end of solver process 201503 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=510.162 s, system=0.27913 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 4.12 4.12 4.09 5/270 201581
/proc/meminfo: memFree=126543092/131250000 swapFree=33008868/33010684
[pid=201503] ppid=201500 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/201503/stat : 201503 (scip-naps-1.00a) S 201500 201503 197761 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 238871882 4292608 736 18446744073709551615 93908794572800 93908795467333 140727591786960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93908795706384 93908795754128 93908798849024 140727591795099 140727591795198 140727591795198 140727591800802 0
/proc/201503/statm: 1048 736 672 219 0 110 0
[pid=201508] ppid=201503 vsize=1553780 memory=350228 CPUtime=485.07 cores=0,2
/proc/201508/stat : 201508 (python3) R 201503 201503 197761 0 -1 4194304 80930 0 0 0 48494 13 0 0 20 0 1 0 238871884 1591070720 87557 18446744073709551615 94550346342400 94550346342777 140732882341952 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94550346354072 94550346354692 94550358315008 140732882344271 140732882344480 140732882344480 140732882350055 0
/proc/201508/statm: 388445 87557 8123 1 0 359803 0
Current children cumulated CPU time: 485.07 s
Current children cumulated vsize: 1557972 KiB
Current children cumulated memory: 353172 KiB
[startup+499.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/270 201581
/proc/meminfo: memFree=126527708/131250000 swapFree=33008868/33010684
[pid=201503] ppid=201500 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/201503/stat : 201503 (scip-naps-1.00a) S 201500 201503 197761 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 238871882 4292608 736 18446744073709551615 93908794572800 93908795467333 140727591786960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93908795706384 93908795754128 93908798849024 140727591795099 140727591795198 140727591795198 140727591800802 0
/proc/201503/statm: 1048 736 672 219 0 110 0
[pid=201508] ppid=201503 vsize=1553780 memory=350228 CPUtime=497.83 cores=0,2
/proc/201508/stat : 201508 (python3) R 201503 201503 197761 0 -1 4194304 80930 0 0 0 49770 13 0 0 20 0 1 0 238871884 1591070720 87557 18446744073709551615 94550346342400 94550346342777 140732882341952 0 0 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0 94550346354072 94550346354692 94550358315008 140732882344271 140732882344480 140732882344480 140732882350055 0
/proc/201508/statm: 388445 87557 8123 1 0 359803 0
Current children cumulated CPU time: 497.83 s
Current children cumulated vsize: 1557972 KiB
Current children cumulated memory: 353172 KiB
[startup+505.6 s]
/proc/loadavg: 4.16 4.13 4.09 5/270 201582
/proc/meminfo: memFree=126472904/131250000 swapFree=33008868/33010684
[pid=201503] ppid=201500 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/201503/stat : 201503 (scip-naps-1.00a) S 201500 201503 197761 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 238871882 4292608 736 18446744073709551615 93908794572800 93908795467333 140727591786960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93908795706384 93908795754128 93908798849024 140727591795099 140727591795198 140727591795198 140727591800802 0
/proc/201503/statm: 1048 736 672 219 0 110 0
[pid=201508] ppid=201503 vsize=1563252 memory=359956 CPUtime=498.93 cores=0,2
/proc/201508/stat : 201508 (python3) S 201503 201503 197761 0 -1 4194304 83509 0 0 0 49879 14 0 0 20 0 1 0 238871884 1600770048 89989 18446744073709551615 94550346342400 94550346342777 140732882341952 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94550346354072 94550346354692 94550358315008 140732882344271 140732882344480 140732882344480 140732882350055 0
/proc/201508/statm: 390813 89989 8155 1 0 362171 0
[pid=201582] ppid=201508 vsize=79908 memory=74912 CPUtime=5.27 cores=0,2
/proc/201582/stat : 201582 (naps-1.03a6) R 201508 201582 201582 0 -1 4194304 24777 0 0 0 520 7 0 0 20 0 1 0 238921912 81825792 18728 18446744073709551615 4198400 7047149 140731436809808 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21377024 140731436816783 140731436816881 140731436816881 140731436822473 0
/proc/201582/statm: 19977 18728 544 696 0 19138 0
Current children cumulated CPU time: 504.2 s
Current children cumulated vsize: 1647352 KiB
Current children cumulated memory: 437812 KiB
[startup+508.8 s]
/proc/loadavg: 4.16 4.13 4.09 5/270 201582
/proc/meminfo: memFree=126473156/131250000 swapFree=33008868/33010684
[pid=201503] ppid=201500 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/201503/stat : 201503 (scip-naps-1.00a) S 201500 201503 197761 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 238871882 4292608 736 18446744073709551615 93908794572800 93908795467333 140727591786960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93908795706384 93908795754128 93908798849024 140727591795099 140727591795198 140727591795198 140727591800802 0
/proc/201503/statm: 1048 736 672 219 0 110 0
[pid=201508] ppid=201503 vsize=1563252 memory=359956 CPUtime=498.93 cores=0,2
/proc/201508/stat : 201508 (python3) S 201503 201503 197761 0 -1 4194304 83509 0 0 0 49879 14 0 0 20 0 1 0 238871884 1600770048 89989 18446744073709551615 94550346342400 94550346342777 140732882341952 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94550346354072 94550346354692 94550358315008 140732882344271 140732882344480 140732882344480 140732882350055 0
/proc/201508/statm: 390813 89989 8155 1 0 362171 0
[pid=201582] ppid=201508 vsize=79900 memory=74912 CPUtime=8.46 cores=0,2
/proc/201582/stat : 201582 (naps-1.03a6) R 201508 201582 201582 0 -1 4194304 24778 0 0 0 839 7 0 0 20 0 1 0 238921912 81817600 18728 18446744073709551615 4198400 7047149 140731436809808 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21377024 140731436816783 140731436816881 140731436816881 140731436822473 0
/proc/201582/statm: 19975 18728 544 696 0 19136 0
Current children cumulated CPU time: 507.39 s
Current children cumulated vsize: 1647344 KiB
Current children cumulated memory: 437812 KiB
[startup+510.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/270 201582
/proc/meminfo: memFree=126440388/131250000 swapFree=33008868/33010684
[pid=201503] ppid=201500 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/201503/stat : 201503 (scip-naps-1.00a) S 201500 201503 197761 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 238871882 4292608 736 18446744073709551615 93908794572800 93908795467333 140727591786960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93908795706384 93908795754128 93908798849024 140727591795099 140727591795198 140727591795198 140727591800802 0
/proc/201503/statm: 1048 736 672 219 0 110 0
[pid=201508] ppid=201503 vsize=1563252 memory=359956 CPUtime=498.93 cores=0,2
/proc/201508/stat : 201508 (python3) S 201503 201503 197761 0 -1 4194304 83509 0 0 0 49879 14 0 0 20 0 1 0 238871884 1600770048 89989 18446744073709551615 94550346342400 94550346342777 140732882341952 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94550346354072 94550346354692 94550358315008 140732882344271 140732882344480 140732882344480 140732882350055 0
/proc/201508/statm: 390813 89989 8155 1 0 362171 0
[pid=201582] ppid=201508 vsize=79908 memory=74912 CPUtime=10.06 cores=0,2
/proc/201582/stat : 201582 (naps-1.03a6) R 201508 201582 201582 0 -1 4194304 24778 0 0 0 999 7 0 0 20 0 1 0 238921912 81825792 18728 18446744073709551615 4198400 7047149 140731436809808 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21377024 140731436816783 140731436816881 140731436816881 140731436822473 0
/proc/201582/statm: 19977 18728 544 696 0 19138 0
Current children cumulated CPU time: 508.99 s
Current children cumulated vsize: 1647352 KiB
Current children cumulated memory: 437812 KiB
[startup+511.2 s]
/proc/loadavg: 4.15 4.12 4.09 5/270 201582
/proc/meminfo: memFree=126440388/131250000 swapFree=33008868/33010684
[pid=201503] ppid=201500 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/201503/stat : 201503 (scip-naps-1.00a) S 201500 201503 197761 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 238871882 4292608 736 18446744073709551615 93908794572800 93908795467333 140727591786960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93908795706384 93908795754128 93908798849024 140727591795099 140727591795198 140727591795198 140727591800802 0
/proc/201503/statm: 1048 736 672 219 0 110 0
[pid=201508] ppid=201503 vsize=1563252 memory=359956 CPUtime=498.93 cores=0,2
/proc/201508/stat : 201508 (python3) S 201503 201503 197761 0 -1 4194304 83509 0 0 0 49879 14 0 0 20 0 1 0 238871884 1600770048 89989 18446744073709551615 94550346342400 94550346342777 140732882341952 0 0 0 0 16781312 16386 1 0 0 17 0 0 0 0 0 0 94550346354072 94550346354692 94550358315008 140732882344271 140732882344480 140732882344480 140732882350055 0
/proc/201508/statm: 390813 89989 8155 1 0 362171 0
[pid=201582] ppid=201508 vsize=79908 memory=74912 CPUtime=10.86 cores=0,2
/proc/201582/stat : 201582 (naps-1.03a6) R 201508 201582 201582 0 -1 4194304 24778 0 0 0 1079 7 0 0 20 0 1 0 238921912 81825792 18728 18446744073709551615 4198400 7047149 140731436809808 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 21377024 140731436816783 140731436816881 140731436816881 140731436822473 0
/proc/201582/statm: 19977 18728 544 696 0 19138 0
Current children cumulated CPU time: 509.79 s
Current children cumulated vsize: 1647352 KiB
Current children cumulated memory: 437812 KiB
[startup+511.6 s]
/proc/loadavg: 4.15 4.12 4.09 5/270 201582
/proc/meminfo: memFree=126440388/131250000 swapFree=33008868/33010684
[pid=201503] ppid=201500 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/201503/stat : 201503 (scip-naps-1.00a) S 201500 201503 197761 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 238871882 4292608 736 18446744073709551615 93908794572800 93908795467333 140727591786960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93908795706384 93908795754128 93908798849024 140727591795099 140727591795198 140727591795198 140727591800802 0
/proc/201503/statm: 1048 736 672 219 0 110 0
[pid=201508] ppid=201503 vsize=1551268 memory=348028 CPUtime=510.19 cores=0,2
/proc/201508/stat : 201508 (python3) R 201503 201503 197761 0 -1 4194304 108087 24779 0 0 49892 15 1104 8 20 0 1 0 238871884 1588498432 87007 18446744073709551615 94550346342400 94550346342777 140732882341952 0 0 0 0 16781312 16386 0 0 0 17 2 0 0 0 0 0 94550346354072 94550346354692 94550358315008 140732882344271 140732882344480 140732882344480 140732882350055 0
/proc/201508/statm: 387817 87007 8155 1 0 359175 0
Current children cumulated CPU time: 510.19 s
Current children cumulated vsize: 1555460 KiB
Current children cumulated memory: 350972 KiB
[startup+511.8 s]
/proc/loadavg: 4.15 4.12 4.09 5/270 201582
/proc/meminfo: memFree=126440388/131250000 swapFree=33008868/33010684
[pid=201503] ppid=201500 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/201503/stat : 201503 (scip-naps-1.00a) S 201500 201503 197761 0 -1 4194304 259 341 0 0 0 0 0 0 20 0 1 0 238871882 4292608 736 18446744073709551615 93908794572800 93908795467333 140727591786960 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93908795706384 93908795754128 93908798849024 140727591795099 140727591795198 140727591795198 140727591800802 0
/proc/201503/statm: 1048 736 672 219 0 110 0
[pid=201508] ppid=201503 vsize=1522624 memory=332412 CPUtime=510.39 cores=0,2
/proc/201508/stat : 201508 (python3) R 201503 201503 197761 0 -1 4194304 135987 24779 0 0 49910 17 1104 8 20 0 1 0 238871884 1559166976 83103 18446744073709551615 94550346342400 94550346342777 140732882341952 0 0 0 0 16781312 0 0 0 0 17 2 0 0 0 0 0 94550346354072 94550346354692 94550358315008 140732882344271 140732882344480 140732882344480 140732882350055 0
/proc/201508/statm: 380656 83103 8155 1 0 352014 0
Current children cumulated CPU time: 510.39 s
Current children cumulated vsize: 1526816 KiB
Current children cumulated memory: 335356 KiB
Child status: 0
Real time (s): 511.83
CPU time (s): 510.441
CPU user time (s): 510.162
CPU system time (s): 0.27913
CPU usage (%): 99.7287
Max. virtual memory (cumulated for all children) (KiB): 1665224
Max. memory (cumulated for all children) (KiB): 449084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 510.162
system time used= 0.27913
maximum resident set size= 359956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163093
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= 338
involuntary context switches= 687
# summary of solver processes directly reported to runsolver:
# pid: 201503
# total CPU time (s): 510.441
# total CPU user time (s): 510.162
# total CPU system time (s): 0.27913
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.947189 second user time and 2.18902 second system time
The end
Begin job on nodeC013 at 2025-07-23 02:51:56 IDJOB=4545563 IDBENCH=180910 IDSOLVER=3388 FILE ID=nodeC013/4545563-1753231916 RUNJOBID= nodeC013-1753222587-197771 SLURM_JOB_ID= 9687822 Free space on /tmp= 432996 MiB SOLVER NAME= SCIP-NaPS 1.00a2 BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SocialGolfers-cnt-06-06-07_c24.opb COMMAND LINE= ./scip-naps-1.00a2.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545563-1753231916/watcher-4545563-1753231916 -o /tmp/evaluation-result-4545563-1753231916/solver-4545563-1753231916 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753222587-197771 --watchdog 3760 ./scip-naps-1.00a2.sh HOME/instance-4545563-1753231916.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 740ae53db54907a8b4b16e6d2fb6eccd RANDOM SEED=1091290453 nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.805 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.831 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.832 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.308 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.830 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.819 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3567.170 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.67 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 125486624 kB MemAvailable: 126587124 kB Buffers: 1668 kB Cached: 1840848 kB SwapCached: 52 kB Active: 4033276 kB Inactive: 982884 kB Active(anon): 3190200 kB Inactive(anon): 4872 kB Active(file): 843076 kB Inactive(file): 978012 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33008868 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 13748 kB Writeback: 0 kB AnonPages: 3174996 kB Mapped: 131440 kB Shmem: 21424 kB KReclaimable: 236904 kB Slab: 334224 kB SReclaimable: 236904 kB SUnreclaim: 97320 kB KernelStack: 4352 kB PageTables: 10164 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 7068676 kB VmallocTotal: 34359738367 kB VmallocUsed: 150616 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 546816 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 215764 kB DirectMap2M: 8992768 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433012 MiB End job on nodeC013 at 2025-07-23 03:00:28