Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSAT-DisjCad-S 2024-07-10 | OPT | 307 | 3373.67 | 3382.06 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod008.opb |
| MD5SUM | d3e48ed9182b9fed4d29a9ec4b7209aa |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 307 |
| Best CPU time to get the best result obtained on this benchmark | 0.085356 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 319 |
| Total number of constraints | 6 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6 |
| Minimum length of a constraint | 186 |
| Maximum length of a constraint | 231 |
| Number of terms in the objective function | 319 |
| Biggest coefficient in the objective function | 87 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 23554 |
| Number of bits of the sum of numbers in the objective function | 15 |
| Biggest number in a constraint | 22000 |
| Number of bits of the biggest number in a constraint | 15 |
| Biggest sum of numbers in a constraint | 1027256 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
1.10/1.14 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 1.10/1.14 c Do: 140734830848472 140734830848480 1.10/1.14 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 1.59/1.62 c Starting SCIP solver (with time-limit = 1800s) ... 1797.01/1801.63 c SCIP timeout with lower and upper bounds: [0, 1426] 1797.01/1801.64 o 1426 1959.22/1964.21 o 383 1970.29/1975.37 o 354 2129.52/2134.92 c Do: 140734830848472 140734830848480 3359.03/3367.42 o 339 3360.13/3368.50 o 313 3366.41/3374.85 o 311 3366.51/3375.00 o 308 3373.50/3381.94 o 307 3373.61/3382.05 s OPTIMUM FOUND 3373.61/3382.05 v -x111 -x222 x254 -x265 -x276 -x287 -x298 -x309 -x1 -x12 -x23 -x34 -x45 -x56 -x67 -x78 -x89 -x100 -x112 -x123 -x134 -x145 -x156 -x167 -x178 -x189 -x200 -x211 -x223 -x234 -x245 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x246
OK 307
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: 64059 MiB (62968 MiB free)
memory of node 1: 64510 MiB (60205 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439011-1721207373/watcher-4439011-1721207373 -o /tmp/evaluation-result-4439011-1721207373/solver-4439011-1721207373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721207297-897989 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439011-1721207373.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=898251, runsolver pid=898248
[startup+0.100069 s]*
/proc/loadavg: 3.54 2.00 2.15 5/242 898252
/proc/meminfo: memFree=126124792/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=23448 memory=8976 CPUtime=0.1 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 1806 0 0 0 10 0 0 0 20 0 1 0 172895334 24010752 2244 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 5862 2244 926 2594 0 2755 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23448 KiB
Current children cumulated memory: 8976 KiB
[startup+0.213017 s]*
/proc/loadavg: 3.54 2.00 2.15 5/242 898252
/proc/meminfo: memFree=126029192/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=28636 memory=13900 CPUtime=0.22 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 3369 0 0 0 21 1 0 0 20 0 1 0 172895334 29323264 3475 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 7159 3475 926 2594 0 4052 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 28636 KiB
Current children cumulated memory: 13900 KiB
[startup+0.312877 s]*
/proc/loadavg: 3.54 2.00 2.15 5/242 898252
/proc/meminfo: memFree=126021960/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=38072 memory=21128 CPUtime=0.31 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 4808 0 0 0 30 1 0 0 20 0 1 0 172895334 38985728 5282 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 9518 5282 926 2594 0 6411 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38072 KiB
Current children cumulated memory: 21128 KiB
[startup+0.700329 s]
/proc/loadavg: 3.54 2.00 2.15 5/242 898252
/proc/meminfo: memFree=126105328/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=52592 memory=36792 CPUtime=0.69 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 7479 0 0 0 67 2 0 0 20 0 1 0 172895334 53854208 9198 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 13148 9198 926 2594 0 10041 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52592 KiB
Current children cumulated memory: 36792 KiB
[startup+1.50033 s]
/proc/loadavg: 3.54 2.00 2.15 5/242 898252
/proc/meminfo: memFree=126046332/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=331872 memory=311048 CPUtime=1.49 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 72871 0 0 0 137 12 0 0 20 0 1 0 172895334 339836928 77762 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 82968 77762 2286 2594 0 79861 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 331872 KiB
Current children cumulated memory: 311048 KiB
[startup+3.11291 s]
/proc/loadavg: 3.58 2.03 2.16 5/242 898252
/proc/meminfo: memFree=125219848/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=877392 memory=846292 CPUtime=3.1 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 201906 0 0 0 278 32 0 0 20 0 1 0 172895334 898449408 211573 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 219348 211573 2510 2594 0 216241 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 877392 KiB
Current children cumulated memory: 846292 KiB
[startup+6.30031 s]
/proc/loadavg: 3.58 2.03 2.16 5/242 898252
/proc/meminfo: memFree=125151548/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=992096 memory=964780 CPUtime=6.28 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 231378 0 0 0 592 36 0 0 20 0 1 0 172895334 1015906304 241195 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 248024 241195 2542 2594 0 244917 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 992096 KiB
Current children cumulated memory: 964780 KiB
[startup+12.7003 s]
/proc/loadavg: 3.61 2.06 2.17 5/242 898253
/proc/meminfo: memFree=125150508/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=992096 memory=964780 CPUtime=12.66 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 231382 0 0 0 1230 36 0 0 20 0 1 0 172895334 1015906304 241195 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 248024 241195 2542 2594 0 244917 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 992096 KiB
Current children cumulated memory: 964780 KiB
[startup+25.5003 s]
/proc/loadavg: 3.70 2.16 2.20 5/242 898255
/proc/meminfo: memFree=125138780/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=992096 memory=964780 CPUtime=25.43 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 231388 0 0 0 2506 37 0 0 20 0 1 0 172895334 1015906304 241195 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 248024 241195 2542 2594 0 244917 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 992096 KiB
Current children cumulated memory: 964780 KiB
[startup+51.1135 s]
/proc/loadavg: 3.88 2.33 2.25 5/242 898259
/proc/meminfo: memFree=123929512/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=2224432 memory=2097312 CPUtime=50.98 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 342600 0 0 0 5033 65 0 0 20 0 1 0 172895334 2277818368 524328 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 556108 524328 2654 2594 0 553001 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 2224432 KiB
Current children cumulated memory: 2097312 KiB
[startup+102.3 s]
/proc/loadavg: 4.02 2.60 2.35 5/244 898273
/proc/meminfo: memFree=123863876/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=2244492 memory=2116520 CPUtime=102.03 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 347484 0 0 0 10136 67 0 0 20 0 1 0 172895334 2298359808 529130 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 561123 529130 2654 2594 0 558016 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2244492 KiB
Current children cumulated memory: 2116520 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 2.91 2.47 5/244 898283
/proc/meminfo: memFree=123826860/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=2250088 memory=2123492 CPUtime=161.86 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 348853 0 0 0 16117 69 0 0 20 0 1 0 172895334 2304090112 530873 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 562522 530873 2654 2594 0 559415 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2250088 KiB
Current children cumulated memory: 2123492 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 3.15 2.59 5/244 898294
/proc/meminfo: memFree=123816592/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=2250088 memory=2123964 CPUtime=221.71 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 349085 0 0 0 22100 71 0 0 20 0 1 0 172895334 2304090112 530991 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 562522 530991 2654 2594 0 559415 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 2250088 KiB
Current children cumulated memory: 2123964 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 3.32 2.68 5/244 898304
/proc/meminfo: memFree=123829644/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=2250088 memory=2124008 CPUtime=281.56 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 349213 0 0 0 28082 74 0 0 20 0 1 0 172895334 2304090112 531002 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 562522 531002 2654 2594 0 559415 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 2250088 KiB
Current children cumulated memory: 2124008 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.46 2.77 5/244 898316
/proc/meminfo: memFree=123803844/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=2250088 memory=2124032 CPUtime=341.4 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 349343 0 0 0 34065 75 0 0 20 0 1 0 172895334 2304090112 531008 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 562522 531008 2654 2594 0 559415 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 2250088 KiB
Current children cumulated memory: 2124032 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.60 2.86 5/241 898327
/proc/meminfo: memFree=123808020/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=2256060 memory=2130468 CPUtime=401.24 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 350593 0 0 0 40046 78 0 0 20 0 1 0 172895334 2310205440 532617 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 564015 532617 2654 2594 0 560908 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 2256060 KiB
Current children cumulated memory: 2130468 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 3.70 2.95 5/241 898383
/proc/meminfo: memFree=123932388/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=2256448 memory=2131040 CPUtime=461.08 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 350860 0 0 0 46028 80 0 0 20 0 1 0 172895334 2310602752 532760 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 564112 532760 2654 2594 0 561005 0
################
# More data... #
################
/proc/loadavg: 4.22 4.22 4.09 5/244 900018
/proc/meminfo: memFree=125598072/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=1184632 memory=1171396 CPUtime=2974.87 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 357522 0 0 0 297383 104 0 0 20 0 1 0 172895334 1213063168 292849 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 296158 292849 2718 2594 0 293051 0
Current children cumulated CPU time: 2974.87 s
Current children cumulated vsize: 1184632 KiB
Current children cumulated memory: 1171396 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.20 4.09 5/244 900028
/proc/meminfo: memFree=125635080/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=1184632 memory=1171396 CPUtime=3034.72 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 357623 0 0 0 303368 104 0 0 20 0 1 0 172895334 1213063168 292849 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 296158 292849 2718 2594 0 293051 0
Current children cumulated CPU time: 3034.72 s
Current children cumulated vsize: 1184632 KiB
Current children cumulated memory: 1171396 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.16 4.08 5/245 900053
/proc/meminfo: memFree=125651096/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=1184632 memory=1171396 CPUtime=3094.58 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 357880 0 0 0 309354 104 0 0 20 0 1 0 172895334 1213063168 292849 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 296158 292849 2718 2594 0 293051 0
Current children cumulated CPU time: 3094.58 s
Current children cumulated vsize: 1184632 KiB
Current children cumulated memory: 1171396 KiB
[startup+3162.3 s]
/proc/loadavg: 4.72 4.33 4.15 5/245 900063
/proc/meminfo: memFree=125604356/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=1184632 memory=1171396 CPUtime=3154.43 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 357998 0 0 0 315339 104 0 0 20 0 1 0 172895334 1213063168 292849 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 296158 292849 2718 2594 0 293051 0
Current children cumulated CPU time: 3154.43 s
Current children cumulated vsize: 1184632 KiB
Current children cumulated memory: 1171396 KiB
[startup+3222.3 s]
/proc/loadavg: 4.41 4.32 4.16 5/244 900074
/proc/meminfo: memFree=125558684/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=1184632 memory=1171396 CPUtime=3214.29 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 358201 0 0 0 321325 104 0 0 20 0 1 0 172895334 1213063168 292849 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 296158 292849 2718 2594 0 293051 0
Current children cumulated CPU time: 3214.29 s
Current children cumulated vsize: 1184632 KiB
Current children cumulated memory: 1171396 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.28 4.15 5/242 900084
/proc/meminfo: memFree=125561760/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=1184632 memory=1171396 CPUtime=3274.14 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 358299 0 0 0 327310 104 0 0 20 0 1 0 172895334 1213063168 292849 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 296158 292849 2718 2594 0 293051 0
Current children cumulated CPU time: 3274.14 s
Current children cumulated vsize: 1184632 KiB
Current children cumulated memory: 1171396 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.24 4.15 5/242 900095
/proc/meminfo: memFree=125558972/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=1184632 memory=1171396 CPUtime=3333.99 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 358533 0 0 0 333295 104 0 0 20 0 1 0 172895334 1213063168 292849 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 296158 292849 2718 2594 0 293051 0
Current children cumulated CPU time: 3333.99 s
Current children cumulated vsize: 1184632 KiB
Current children cumulated memory: 1171396 KiB
[startup+3382.06 s]
# the end of solver process 898251 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=3372.61 s, system=1.05137 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3353.6 s]
/proc/loadavg: 4.11 4.23 4.15 5/242 900097
/proc/meminfo: memFree=125558936/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=1184632 memory=1171396 CPUtime=3345.27 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 358542 0 0 0 334423 104 0 0 20 0 1 0 172895334 1213063168 292849 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 296158 292849 2718 2594 0 293051 0
Current children cumulated CPU time: 3345.27 s
Current children cumulated vsize: 1184632 KiB
Current children cumulated memory: 1171396 KiB
[startup+3366.4 s]
/proc/loadavg: 4.16 4.24 4.15 5/241 900099
/proc/meminfo: memFree=125583256/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=1184632 memory=1171396 CPUtime=3358.04 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 358552 0 0 0 335700 104 0 0 20 0 1 0 172895334 1213063168 292849 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 296158 292849 2718 2594 0 293051 0
Current children cumulated CPU time: 3358.04 s
Current children cumulated vsize: 1184632 KiB
Current children cumulated memory: 1171396 KiB
[startup+3372.8 s]
/proc/loadavg: 4.15 4.23 4.15 5/241 900101
/proc/meminfo: memFree=125583148/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=1184632 memory=1171396 CPUtime=3364.42 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 358560 0 0 0 336338 104 0 0 20 0 1 0 172895334 1213063168 292849 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 296158 292849 2718 2594 0 293051 0
Current children cumulated CPU time: 3364.42 s
Current children cumulated vsize: 1184632 KiB
Current children cumulated memory: 1171396 KiB
[startup+3376 s]*
/proc/loadavg: 4.14 4.23 4.15 5/241 900101
/proc/meminfo: memFree=125583156/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=1184632 memory=1171396 CPUtime=3367.62 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 358565 0 0 0 336658 104 0 0 20 0 1 0 172895334 1213063168 292849 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 296158 292849 2718 2594 0 293051 0
Current children cumulated CPU time: 3367.62 s
Current children cumulated vsize: 1184632 KiB
Current children cumulated memory: 1171396 KiB
[startup+3379.2 s]
/proc/loadavg: 4.13 4.23 4.15 5/241 900101
/proc/meminfo: memFree=125583156/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=1184632 memory=1171396 CPUtime=3370.8 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 358569 0 0 0 336976 104 0 0 20 0 1 0 172895334 1213063168 292849 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 296158 292849 2718 2594 0 293051 0
Current children cumulated CPU time: 3370.8 s
Current children cumulated vsize: 1184632 KiB
Current children cumulated memory: 1171396 KiB
[startup+3380.8 s]
/proc/loadavg: 4.13 4.23 4.15 5/241 900102
/proc/meminfo: memFree=125583112/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=1184632 memory=1171396 CPUtime=3372.4 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 358572 0 0 0 337136 104 0 0 20 0 1 0 172895334 1213063168 292849 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 296158 292849 2718 2594 0 293051 0
Current children cumulated CPU time: 3372.4 s
Current children cumulated vsize: 1184632 KiB
Current children cumulated memory: 1171396 KiB
[startup+3381.6 s]
/proc/loadavg: 4.13 4.23 4.15 5/241 900102
/proc/meminfo: memFree=125583100/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=1184632 memory=1171396 CPUtime=3373.2 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 358572 0 0 0 337216 104 0 0 20 0 1 0 172895334 1213063168 292849 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 296158 292849 2718 2594 0 293051 0
Current children cumulated CPU time: 3373.2 s
Current children cumulated vsize: 1184632 KiB
Current children cumulated memory: 1171396 KiB
[startup+3382 s]*
/proc/loadavg: 4.13 4.23 4.15 5/241 900102
/proc/meminfo: memFree=125583100/131655788 swapFree=131071996/131071996
[pid=898251] ppid=898248 vsize=1184632 memory=1171396 CPUtime=3373.61 cores=4,6
/proc/898251/stat : 898251 (CASHWMaxSAT-Dis) R 898248 898251 897978 0 -1 4194304 358572 0 0 0 337257 104 0 0 20 0 1 0 172895334 1213063168 292849 134679101440 4194304 14817773 140734830850880 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 22814720 140734830859236 140734830859351 140734830859351 140734830866367 0
/proc/898251/statm: 296158 292849 2718 2594 0 293051 0
Current children cumulated CPU time: 3373.61 s
Current children cumulated vsize: 1184632 KiB
Current children cumulated memory: 1171396 KiB
Child status: 30
Real time (s): 3382.06
CPU time (s): 3373.67
CPU user time (s): 3372.61
CPU system time (s): 1.05137
CPU usage (%): 99.7519
Max. virtual memory (cumulated for all children) (KiB): 2259276
Max. memory (cumulated for all children) (KiB): 2163076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3372.61
system time used= 1.05137
maximum resident set size= 2163076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358572
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17
involuntary context switches= 1781
# summary of solver processes directly reported to runsolver:
# pid: 898251
# total CPU time (s): 3373.67
# total CPU user time (s): 3372.61
# total CPU system time (s): 1.05137
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1675 second user time and 32.0568 second system time
The end
Begin job on nodeC002 at 2024-07-17 11:09:45 IDJOB=4439011 IDBENCH=146929 IDSOLVER=3075 FILE ID=nodeC002/4439011-1721207373 RUNJOBID= nodeC002-1721207297-897989 SLURM_JOB_ID= 7508913 Free space on /tmp= 723740 MiB SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439011-1721207373/watcher-4439011-1721207373 -o /tmp/evaluation-result-4439011-1721207373/solver-4439011-1721207373 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721207297-897989 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439011-1721207373.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d3e48ed9182b9fed4d29a9ec4b7209aa RANDOM SEED=791420282 nodeC002.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3655.385 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3573.679 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.362 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.175 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.703 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3641.083 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.157 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.277 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126130776 kB MemAvailable: 128490484 kB Buffers: 465304 kB Cached: 2709212 kB SwapCached: 0 kB Active: 785444 kB Inactive: 4145104 kB Active(anon): 2716 kB Inactive(anon): 1791052 kB Active(file): 782728 kB Inactive(file): 2354052 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 13780 kB Writeback: 0 kB AnonPages: 1755792 kB Mapped: 131552 kB Shmem: 37704 kB KReclaimable: 125920 kB Slab: 228808 kB SReclaimable: 125920 kB SUnreclaim: 102888 kB KernelStack: 3900 kB PageTables: 12628 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 2236452 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 56480 kB HardwareCorrupted: 0 kB AnonHugePages: 878592 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 205640 kB DirectMap2M: 21719040 kB DirectMap1G: 114294784 kB Free space on /tmp at the end= 723728 MiB End job on nodeC002 at 2024-07-17 12:06:08