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 | SAT (TO) | 10812 | 3600.06 | 3609.6 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb |
| MD5SUM | 0aad002c81e214aa0b66948d5567e1f0 |
| 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 | 8691 |
| Best CPU time to get the best result obtained on this benchmark | 0.113538 |
| 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 | 548 |
| Total number of constraints | 166 |
| Number of constraints which are clauses | 40 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 126 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 143 |
| Number of terms in the objective function | 416 |
| Biggest coefficient in the objective function | 11000 |
| Number of bits for the biggest coefficient in the objective function | 14 |
| Sum of the numbers in the objective function | 96797 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 11000 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 96797 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.30/0.38 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.30/0.38 c Do: 140723962812680 140723962812688 0.30/0.38 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.41/0.50 c Starting SCIP solver (with time-limit = 1800s) ... 1795.66/1800.55 c SCIP timeout with lower and upper bounds: [233, 30805] 1795.66/1800.55 o 30805 1872.26/1877.33 o 17347 1919.04/1924.25 o 16269 2021.68/2027.16 o 15540 2021.68/2027.16 c Do: 140723962812680 140723962812688 2084.00/2089.68 c Do: 140723962812680 140723962812688 2084.00/2089.68 c Do: 140723962812680 140723962812688 2164.10/2169.96 c Do: 140723962812680 140723962812688 2307.53/2313.74 o 15012 2323.99/2330.24 o 10812 3600.05/3609.60 3600.05/3609.60 v -x1 -x2 x3 x4 -x5 -x8 -x10 -x11 -x12 -x13 x14 x15 -x16 -x19 -x21 -x22 -x23 -x24 x25 x26 -x29 -x30 -x31 -x32 -x33 x34 x35 -x38 -x40 -x41 -x42 -x43 x44 x45 -x46 -x49 -x51 -x52 -x53 -x54 -x55 -x58 -x60 -x61 -x62 -x63 -x64 -x66 -x67 -x68 -x69 -x70 -x72 -x73 -x74 x75 x76 -x77 -x79 -x80 -x81 x82 x83 -x84 -x87 -x89 -x90 -x91 -x92 x93 x94 -x95 -x98 -x100 -x101 -x102 x103 x104 -x105 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x117 -x119 -x120 -x121 -x122 x123 x124 -x125 x128 x130 -x131 -x132 -x133 -x134 -x137 -x139 -x140 -x141 -x142 -x143 -x145 -x146 -x147 -x148 -x149 -x151 -x152 -x153 -x154 -x155 -x156 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 x191 -x192 x193 x194 x195 -x196 -x197 -x198 -x199 x200 x201 -x202 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x303 -x304 -x305 x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x316 -x317 x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 -x339 -x340 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x351 -x352 -x353 -x354 x355 -x356 -x357 -x358 x359 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x374 -x375 -x376 -x377 -x378 -x379 x380 x381 x382 x383 -x384 -x387 -x388 x389 x390 x391 -x392 -x393 x394 x395 -x396 -x399 -x400 -x401 x402 x403 -x404 -x405 -x406 x407 x408 -x409 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x425 -x426 x427 x428 -x429 -x430 x431 x432 x433 x434 x435 -x436 -x437 x438 -x439 -x441 -x442 -x443 -x444 x445 -x446 x447 -x449 -x450 x451 x452 x453 -x454 -x455 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x474 -x475 -x476 x477 x478 -x479 -x480 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x490 -x491 x492 -x493 -x494 x495 x496 -x497 -x498 -x499 -x6 -x7 -x9 -x500 x17 -x18 x20 x501 -x27 x28 -x502 -x36 -x37 -x39 -x503 -x47 x48 -x50 x504 -x56 -x57 -x59 -x505 -x65 -x506 -x71 -x507 -x78 -x508 x85 -x86 -x88 x509 -x96 x97 x99 x510 x106 -x107 x511 x115 -x116 -x118 x512 -x126 x127 -x129 x513 -x135 -x136 -x138 -x514 -x144 -x515 -x150 x516 -x157 -x517 -x165 x166 x518 -x177 x178 x519 -x189 x190 x520 x203 -x204 -x521 -x522 -x222 x223 x523 -x234 x235 x524 x247 -x248 -x525 x260 -x261 x526 -x274 x275 x527 x287 -x288 x528 -x301 x302 x529 x315 x530 x531 x532 x341 x533 x350 x534 x360 -x535 -x372 -x373 -x536 -x385 x386 x537 -x397 x398 x538 x410 -x411 x539 -x423 x424 x540 x541 x440 x542 x448 x543 x456 -x544 -x464 -x545 x473 x546 x481 -x547 x489 x548 3600.05/3609.60 s SATISFIABLE
OK 10812
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 (63029 MiB free)
memory of node 1: 64510 MiB (61375 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439012-1721207286/watcher-4439012-1721207286 -o /tmp/evaluation-result-4439012-1721207286/solver-4439012-1721207286 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721207297-897991 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439012-1721207286.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=898142, runsolver pid=898139
[startup+0.100902 s]*
/proc/loadavg: 1.32 1.24 1.94 5/240 898147
/proc/meminfo: memFree=127443100/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=19556 memory=5488 CPUtime=0.1 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 594 0 0 0 10 0 0 0 20 0 1 0 172886657 20025344 1372 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 4889 1372 926 2594 0 1782 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 19556 KiB
Current children cumulated memory: 5488 KiB
[startup+0.2129 s]*
/proc/loadavg: 1.32 1.24 1.94 4/240 898157
/proc/meminfo: memFree=127442212/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=21152 memory=6580 CPUtime=0.21 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 895 0 0 0 21 0 0 0 20 0 1 0 172886657 21659648 1645 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 5288 1645 926 2594 0 2181 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 21152 KiB
Current children cumulated memory: 6580 KiB
[startup+0.311991 s]*
/proc/loadavg: 1.32 1.24 1.94 5/238 898173
/proc/meminfo: memFree=127439100/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=26476 memory=11248 CPUtime=0.3 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 2368 0 0 0 30 0 0 0 20 0 1 0 172886657 27111424 2812 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 6619 2812 926 2594 0 3512 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26476 KiB
Current children cumulated memory: 11248 KiB
[startup+0.700297 s]
/proc/loadavg: 1.32 1.24 1.94 5/243 898189
/proc/meminfo: memFree=127389096/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=127600 memory=115280 CPUtime=0.68 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 27192 0 0 0 60 8 0 0 20 0 1 0 172886657 130662400 28820 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 31900 28820 2510 2594 0 28793 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 127600 KiB
Current children cumulated memory: 115280 KiB
[startup+1.50033 s]
/proc/loadavg: 1.32 1.24 1.94 6/243 898189
/proc/meminfo: memFree=127308680/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=163848 memory=150452 CPUtime=1.47 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 35997 0 0 0 137 10 0 0 20 0 1 0 172886657 167780352 37613 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 40962 37613 2526 2594 0 37855 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 163848 KiB
Current children cumulated memory: 150452 KiB
[startup+3.11277 s]
/proc/loadavg: 1.32 1.24 1.94 5/243 898189
/proc/meminfo: memFree=127176444/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=178344 memory=164436 CPUtime=3.08 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 39496 0 0 0 297 11 0 0 20 0 1 0 172886657 182624256 41109 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 44586 41109 2542 2594 0 41479 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 178344 KiB
Current children cumulated memory: 164436 KiB
[startup+6.3003 s]
/proc/loadavg: 1.54 1.29 1.95 5/243 898189
/proc/meminfo: memFree=127067520/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=186580 memory=172884 CPUtime=6.27 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 41601 0 0 0 615 12 0 0 20 0 1 0 172886657 191057920 43221 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 46645 43221 2542 2594 0 43538 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 186580 KiB
Current children cumulated memory: 172884 KiB
[startup+12.7003 s]
/proc/loadavg: 1.81 1.35 1.96 5/242 898190
/proc/meminfo: memFree=126650032/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=193416 memory=180276 CPUtime=12.65 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 43430 0 0 0 1252 13 0 0 20 0 1 0 172886657 198057984 45069 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 48354 45069 2542 2594 0 45247 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 193416 KiB
Current children cumulated memory: 180276 KiB
[startup+25.5003 s]
/proc/loadavg: 2.30 1.48 2.00 5/242 898192
/proc/meminfo: memFree=126298764/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=274908 memory=248724 CPUtime=25.41 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 50953 0 0 0 2525 16 0 0 20 0 1 0 172886657 281505792 62181 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 68727 62181 2542 2594 0 65620 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 274908 KiB
Current children cumulated memory: 248724 KiB
[startup+51.1129 s]
/proc/loadavg: 3.08 1.73 2.07 5/242 898198
/proc/meminfo: memFree=126049408/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=359176 memory=332036 CPUtime=50.96 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 67942 0 0 0 5074 22 0 0 20 0 1 0 172886657 367796224 83009 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 89794 83009 2638 2594 0 86687 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 359176 KiB
Current children cumulated memory: 332036 KiB
[startup+102.3 s]
/proc/loadavg: 3.64 2.10 2.18 5/242 898253
/proc/meminfo: memFree=125149596/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=485448 memory=404352 CPUtime=102 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 81565 0 0 0 10173 27 0 0 20 0 1 0 172886657 497098752 101088 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 121362 101088 2654 2594 0 118255 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 485448 KiB
Current children cumulated memory: 404352 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 2.46 2.30 5/245 898268
/proc/meminfo: memFree=123896120/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=554348 memory=473688 CPUtime=161.84 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 98910 0 0 0 16153 31 0 0 20 0 1 0 172886657 567652352 118422 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 138587 118422 2654 2594 0 135480 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 554348 KiB
Current children cumulated memory: 473688 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 2.77 2.42 5/244 898278
/proc/meminfo: memFree=123849364/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=554348 memory=473688 CPUtime=221.68 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 98912 0 0 0 22136 32 0 0 20 0 1 0 172886657 567652352 118422 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 138587 118422 2654 2594 0 135480 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 554348 KiB
Current children cumulated memory: 473688 KiB
[startup+282.3 s]
/proc/loadavg: 4.28 3.08 2.55 5/244 898289
/proc/meminfo: memFree=123839600/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=554348 memory=473688 CPUtime=281.52 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 98914 0 0 0 28120 32 0 0 20 0 1 0 172886657 567652352 118422 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 138587 118422 2654 2594 0 135480 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 554348 KiB
Current children cumulated memory: 473688 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.25 2.64 5/244 898300
/proc/meminfo: memFree=123831156/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=554348 memory=473688 CPUtime=341.36 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 98917 0 0 0 34103 33 0 0 20 0 1 0 172886657 567652352 118422 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 138587 118422 2654 2594 0 135480 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 554348 KiB
Current children cumulated memory: 473688 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.42 2.74 5/244 898310
/proc/meminfo: memFree=123817256/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=554348 memory=473688 CPUtime=401.19 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 98927 0 0 0 40086 33 0 0 20 0 1 0 172886657 567652352 118422 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 138587 118422 2654 2594 0 135480 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 554348 KiB
Current children cumulated memory: 473688 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.54 2.83 5/244 898322
/proc/meminfo: memFree=123815884/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=554348 memory=473828 CPUtime=461.03 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 99389 0 0 0 46069 34 0 0 20 0 1 0 172886657 567652352 118457 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 138587 118457 2654 2594 0 135480 0
################
# More data... #
################
Current children cumulated memory: 533852 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/241 899809
/proc/meminfo: memFree=125595556/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=652596 memory=533852 CPUtime=2854.69 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 137847 0 0 0 285424 45 0 0 20 0 1 0 172886657 668258304 133463 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 163149 133463 2718 2594 0 160042 0
Current children cumulated CPU time: 2854.69 s
Current children cumulated vsize: 652596 KiB
Current children cumulated memory: 533852 KiB
[startup+2922.3 s]
/proc/loadavg: 4.66 4.25 4.07 5/241 899819
/proc/meminfo: memFree=125594460/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=652596 memory=534104 CPUtime=2914.53 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 137982 0 0 0 291408 45 0 0 20 0 1 0 172886657 668258304 133526 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 163149 133526 2718 2594 0 160042 0
Current children cumulated CPU time: 2914.53 s
Current children cumulated vsize: 652596 KiB
Current children cumulated memory: 534104 KiB
[startup+2982.3 s]
/proc/loadavg: 4.42 4.26 4.09 5/242 899830
/proc/meminfo: memFree=125611616/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=652596 memory=534104 CPUtime=2974.37 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 138075 0 0 0 297392 45 0 0 20 0 1 0 172886657 668258304 133526 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 163149 133526 2718 2594 0 160042 0
Current children cumulated CPU time: 2974.37 s
Current children cumulated vsize: 652596 KiB
Current children cumulated memory: 534104 KiB
[startup+3042.3 s]
/proc/loadavg: 4.21 4.22 4.09 5/244 900011
/proc/meminfo: memFree=125606384/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=652596 memory=534104 CPUtime=3034.21 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 138154 0 0 0 303376 45 0 0 20 0 1 0 172886657 668258304 133526 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 163149 133526 2718 2594 0 160042 0
Current children cumulated CPU time: 3034.21 s
Current children cumulated vsize: 652596 KiB
Current children cumulated memory: 534104 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.20 4.09 5/244 900023
/proc/meminfo: memFree=125635332/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=652596 memory=534104 CPUtime=3094.05 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 138212 0 0 0 309360 45 0 0 20 0 1 0 172886657 668258304 133526 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 163149 133526 2718 2594 0 160042 0
Current children cumulated CPU time: 3094.05 s
Current children cumulated vsize: 652596 KiB
Current children cumulated memory: 534104 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.17 4.09 5/245 900036
/proc/meminfo: memFree=125651620/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=652596 memory=534104 CPUtime=3153.89 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 138333 0 0 0 315344 45 0 0 20 0 1 0 172886657 668258304 133526 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 163149 133526 2718 2594 0 160042 0
Current children cumulated CPU time: 3153.89 s
Current children cumulated vsize: 652596 KiB
Current children cumulated memory: 534104 KiB
[startup+3222.3 s]
/proc/loadavg: 4.47 4.25 4.12 5/245 900057
/proc/meminfo: memFree=125618324/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=652596 memory=555264 CPUtime=3213.74 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 138448 0 0 0 321329 45 0 0 20 0 1 0 172886657 668258304 138816 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 163149 138816 2718 2594 0 160042 0
Current children cumulated CPU time: 3213.74 s
Current children cumulated vsize: 652596 KiB
Current children cumulated memory: 555264 KiB
[startup+3282.3 s]
/proc/loadavg: 4.63 4.35 4.16 5/244 900069
/proc/meminfo: memFree=125559040/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=652596 memory=584144 CPUtime=3273.58 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 138541 0 0 0 327313 45 0 0 20 0 1 0 172886657 668258304 146036 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 163149 146036 2718 2594 0 160042 0
Current children cumulated CPU time: 3273.58 s
Current children cumulated vsize: 652596 KiB
Current children cumulated memory: 584144 KiB
[startup+3342.3 s]
/proc/loadavg: 4.29 4.30 4.16 5/244 900079
/proc/meminfo: memFree=125562036/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=652596 memory=584512 CPUtime=3333.43 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 138642 0 0 0 333298 45 0 0 20 0 1 0 172886657 668258304 146128 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 163149 146128 2718 2594 0 160042 0
Current children cumulated CPU time: 3333.43 s
Current children cumulated vsize: 652596 KiB
Current children cumulated memory: 584512 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.25 4.15 5/242 900089
/proc/meminfo: memFree=125559348/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=652596 memory=584512 CPUtime=3393.27 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 138742 0 0 0 339282 45 0 0 20 0 1 0 172886657 668258304 146128 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 163149 146128 2718 2594 0 160042 0
Current children cumulated CPU time: 3393.27 s
Current children cumulated vsize: 652596 KiB
Current children cumulated memory: 584512 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.23 4.15 5/241 900101
/proc/meminfo: memFree=125583156/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=652596 memory=584512 CPUtime=3453.12 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 138883 0 0 0 345267 45 0 0 20 0 1 0 172886657 668258304 146128 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 163149 146128 2718 2594 0 160042 0
Current children cumulated CPU time: 3453.12 s
Current children cumulated vsize: 652596 KiB
Current children cumulated memory: 584512 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.20 4.14 5/241 900156
/proc/meminfo: memFree=126527276/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=652596 memory=584512 CPUtime=3512.97 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 138963 0 0 0 351252 45 0 0 20 0 1 0 172886657 668258304 146128 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 163149 146128 2718 2594 0 160042 0
Current children cumulated CPU time: 3512.97 s
Current children cumulated vsize: 652596 KiB
Current children cumulated memory: 584512 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.18 4.14 5/241 900167
/proc/meminfo: memFree=126480056/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=652596 memory=584512 CPUtime=3572.81 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 139103 0 0 0 357236 45 0 0 20 0 1 0 172886657 668258304 146128 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 163149 146128 2718 2594 0 160042 0
Current children cumulated CPU time: 3572.81 s
Current children cumulated vsize: 652596 KiB
Current children cumulated memory: 584512 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.05 4.16 4.13 5/241 900173
/proc/meminfo: memFree=126444404/131655788 swapFree=131071996/131071996
[pid=898142] ppid=898139 vsize=652596 memory=584512 CPUtime=3600.05 cores=5,7
/proc/898142/stat : 898142 (CASHWMaxSAT-Dis) R 898139 898142 897978 0 -1 4194304 139174 0 0 0 359960 45 0 0 20 0 1 0 172886657 668258304 146128 134679101440 4194304 14817773 140723962815088 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 55492608 140723962823652 140723962823767 140723962823767 140723962830783 0
/proc/898142/statm: 163149 146128 2718 2594 0 160042 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 652596 KiB
Current children cumulated memory: 584512 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.6 s]
# the end of solver process 898142 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.6 s, system=0.460119 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.6
CPU time (s): 3600.06
CPU user time (s): 3599.6
CPU system time (s): 0.460119
CPU usage (%): 99.7356
Max. virtual memory (cumulated for all children) (KiB): 768056
Max. memory (cumulated for all children) (KiB): 635484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.6
system time used= 0.460119
maximum resident set size= 635484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139175
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= 40
involuntary context switches= 1887
# summary of solver processes directly reported to runsolver:
# pid: 898142
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.6
# total CPU system time (s): 0.460119
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0273 second user time and 35.8317 second system time
The end
Begin job on nodeC002 at 2024-07-17 11:08:18 IDJOB=4439012 IDBENCH=146905 IDSOLVER=3075 FILE ID=nodeC002/4439012-1721207286 RUNJOBID= nodeC002-1721207297-897991 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-p0548.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-4439012-1721207286/watcher-4439012-1721207286 -o /tmp/evaluation-result-4439012-1721207286/solver-4439012-1721207286 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721207297-897991 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439012-1721207286.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0aad002c81e214aa0b66948d5567e1f0 RANDOM SEED=1927217863 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 : 2170.978 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 : 2170.795 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.352 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.309 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.693 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 : 1197.154 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.347 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.160 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: 127391880 kB MemAvailable: 129753064 kB Buffers: 465224 kB Cached: 2710740 kB SwapCached: 0 kB Active: 787116 kB Inactive: 2885084 kB Active(anon): 2692 kB Inactive(anon): 531252 kB Active(file): 784424 kB Inactive(file): 2353832 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 59176 kB Writeback: 20 kB AnonPages: 496068 kB Mapped: 122884 kB Shmem: 37704 kB KReclaimable: 125920 kB Slab: 228784 kB SReclaimable: 125920 kB SUnreclaim: 102864 kB KernelStack: 3888 kB PageTables: 9916 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 811060 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 56480 kB HardwareCorrupted: 0 kB AnonHugePages: 231424 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:08:28