Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSATDisjCad-S 2025-06-01 | SAT (TO) | -34 | 3600.03 | 3610.41 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb |
| MD5SUM | e50abc2725c4e3a238fbda7c772437b2 |
| 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 | -35 |
| Best CPU time to get the best result obtained on this benchmark | 2.90628 |
| 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 | 595 |
| Total number of constraints | 27931 |
| Number of constraints which are clauses | 27931 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 595 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 595 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 595 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.09/0.10 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.09/0.10 o 0 0.09/0.10 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.09/0.13 c Starting SCIP solver (with time-limit = 1800s) ... 1794.61/1800.13 c SCIP timeout with lower and upper bounds: [-35, -34] 1794.61/1800.13 o -34 1794.61/1800.13 c Restarting SCIP solver (with time-limit = 2400s) ... 2392.98/2400.13 c SCIP timeout with lower and upper bounds: [-35, -34] 3600.01/3610.40 3600.01/3610.40 v x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 -x496 -x495 -x494 x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 x359 -x358 x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 x273 -x272 -x271 -x270 -x269 -x268 x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1 3600.01/3610.40 s SATISFIABLE
OK -34
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 (62320 MiB free)
memory of node 1: 64507 MiB (61819 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485019-1751297357/watcher-4485019-1751297357 -o /tmp/evaluation-result-4485019-1751297357/solver-4485019-1751297357 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751290134-37753 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4485019-1751297357.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=38581, runsolver pid=38576
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.01 4.11 4.10 4/261 38582
/proc/meminfo: memFree=127118964/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=38560 memory=24192 CPUtime=0.09 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 5325 0 0 0 9 0 0 0 20 0 1 0 45415632 39485440 6048 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 9673 6048 896 2593 0 6566 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38560 KiB
Current children cumulated memory: 24192 KiB
[startup+0.205069 s]*
/proc/loadavg: 4.01 4.11 4.10 4/259 38595
/proc/meminfo: memFree=127078896/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=79336 memory=68096 CPUtime=0.19 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 14787 0 0 0 18 1 0 0 20 0 1 0 45415632 81240064 17024 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 19834 17024 2496 2593 0 16727 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 79336 KiB
Current children cumulated memory: 68096 KiB
[startup+0.305875 s]*
/proc/loadavg: 4.01 4.11 4.10 5/260 38603
/proc/meminfo: memFree=127069608/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=85740 memory=75248 CPUtime=0.3 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 18102 0 0 0 28 2 0 0 20 0 1 0 45415632 87797760 18812 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 21435 18812 2528 2593 0 18328 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 85740 KiB
Current children cumulated memory: 75248 KiB
[startup+0.700179 s]
/proc/loadavg: 4.01 4.11 4.10 5/263 38613
/proc/meminfo: memFree=126999800/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=157200 memory=141032 CPUtime=0.68 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 30669 0 0 0 63 5 0 0 20 0 1 0 45415632 160972800 35258 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 39300 35258 2624 2593 0 36193 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 157200 KiB
Current children cumulated memory: 141032 KiB
[startup+1.50017 s]
/proc/loadavg: 4.01 4.11 4.10 5/263 38613
/proc/meminfo: memFree=126951616/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=172584 memory=154292 CPUtime=1.48 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 33471 0 0 0 143 5 0 0 20 0 1 0 45415632 176726016 38573 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 43146 38573 2624 2593 0 40039 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 172584 KiB
Current children cumulated memory: 154292 KiB
[startup+3.10554 s]
/proc/loadavg: 4.01 4.11 4.10 5/263 38613
/proc/meminfo: memFree=126611968/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=181100 memory=154676 CPUtime=3.08 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 33589 0 0 0 303 5 0 0 20 0 1 0 45415632 185446400 38669 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 45275 38669 2624 2593 0 42168 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 181100 KiB
Current children cumulated memory: 154676 KiB
[startup+6.30016 s]
/proc/loadavg: 4.09 4.13 4.10 5/263 38613
/proc/meminfo: memFree=125666840/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=203416 memory=161364 CPUtime=6.27 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 35016 0 0 0 621 6 0 0 20 0 1 0 45415632 208297984 40341 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 50854 40341 2624 2593 0 47747 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 203416 KiB
Current children cumulated memory: 161364 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.12 4.10 5/263 38613
/proc/meminfo: memFree=125038400/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=269136 memory=203732 CPUtime=12.65 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 45595 0 0 0 1257 8 0 0 20 0 1 0 45415632 275595264 50933 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 67284 50933 2624 2593 0 64177 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 269136 KiB
Current children cumulated memory: 203732 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.12 4.10 5/263 38613
/proc/meminfo: memFree=125023404/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=286640 memory=220244 CPUtime=25.4 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 49747 0 0 0 2532 8 0 0 20 0 1 0 45415632 293519360 55061 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 71660 55061 2624 2593 0 68553 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 286640 KiB
Current children cumulated memory: 220244 KiB
[startup+51.1057 s]
/proc/loadavg: 4.12 4.12 4.10 5/263 38614
/proc/meminfo: memFree=124996604/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=315760 memory=249160 CPUtime=50.94 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 60476 0 0 0 5084 10 0 0 20 0 1 0 45415632 323338240 62290 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 78940 62290 2624 2593 0 75833 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 315760 KiB
Current children cumulated memory: 249160 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/263 38616
/proc/meminfo: memFree=124897076/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=410100 memory=310972 CPUtime=101.98 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 77562 0 0 0 10185 13 0 0 20 0 1 0 45415632 419942400 77743 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 102525 77743 2624 2593 0 99418 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 410100 KiB
Current children cumulated memory: 310972 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 38618
/proc/meminfo: memFree=124819508/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=453584 memory=340552 CPUtime=161.82 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 84730 0 0 0 16168 14 0 0 20 0 1 0 45415632 464470016 85138 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 113396 85138 2624 2593 0 110289 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 453584 KiB
Current children cumulated memory: 340552 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 38620
/proc/meminfo: memFree=124729300/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=516052 memory=392988 CPUtime=221.65 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 95069 0 0 0 22149 16 0 0 20 0 1 0 45415632 528437248 98247 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 129013 98247 2880 2593 0 125906 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 516052 KiB
Current children cumulated memory: 392988 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/262 38622
/proc/meminfo: memFree=124639716/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=572304 memory=447144 CPUtime=281.48 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 109307 0 0 0 28129 19 0 0 20 0 1 0 45415632 586039296 111786 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 143076 111786 2880 2593 0 139969 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 572304 KiB
Current children cumulated memory: 447144 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.09 4/258 38632
/proc/meminfo: memFree=125954404/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=598700 memory=470340 CPUtime=341.3 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 117696 0 0 0 34110 20 0 0 20 0 1 0 45415632 613068800 117585 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 149675 117585 2880 2593 0 146568 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 598700 KiB
Current children cumulated memory: 470340 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/262 38669
/proc/meminfo: memFree=124180424/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=631104 memory=502696 CPUtime=401.1 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 125355 0 0 0 40089 21 0 0 20 0 1 0 45415632 646250496 125674 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 157776 125674 2880 2593 0 154669 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 631104 KiB
Current children cumulated memory: 502696 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/262 38671
/proc/meminfo: memFree=124279616/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=663552 memory=520712 CPUtime=460.92 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 131894 0 0 0 46069 23 0 0 20 0 1 0 45415632 679477248 130178 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 165888 130178 2880 2593 0 162781 0
################
# More data... #
################
Current children cumulated memory: 559640 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/262 38792
/proc/meminfo: memFree=124121216/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=588168 memory=559640 CPUtime=2853.96 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 271075 0 0 0 285333 63 0 0 20 0 1 0 45415632 602284032 139910 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 147042 139910 2944 2593 0 143935 0
Current children cumulated CPU time: 2853.96 s
Current children cumulated vsize: 588168 KiB
Current children cumulated memory: 559640 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/263 38795
/proc/meminfo: memFree=124112172/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=588168 memory=559640 CPUtime=2913.8 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 271130 0 0 0 291317 63 0 0 20 0 1 0 45415632 602284032 139910 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 147042 139910 2944 2593 0 143935 0
Current children cumulated CPU time: 2913.8 s
Current children cumulated vsize: 588168 KiB
Current children cumulated memory: 559640 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/263 38802
/proc/meminfo: memFree=124111564/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=588168 memory=559640 CPUtime=2973.64 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 271198 0 0 0 297301 63 0 0 20 0 1 0 45415632 602284032 139910 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 147042 139910 2944 2593 0 143935 0
Current children cumulated CPU time: 2973.64 s
Current children cumulated vsize: 588168 KiB
Current children cumulated memory: 559640 KiB
[startup+3042.3 s]
/proc/loadavg: 3.96 4.08 4.09 4/257 38835
/proc/meminfo: memFree=125113932/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=588168 memory=561688 CPUtime=3033.47 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 271205 0 0 0 303282 65 0 0 20 0 1 0 45415632 602284032 140422 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 147042 140422 2944 2593 0 143935 0
Current children cumulated CPU time: 3033.47 s
Current children cumulated vsize: 588168 KiB
Current children cumulated memory: 561688 KiB
[startup+3102.3 s]
/proc/loadavg: 3.39 3.90 4.02 4/257 38837
/proc/meminfo: memFree=125124424/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=588168 memory=561688 CPUtime=3093.3 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 271279 0 0 0 309265 65 0 0 20 0 1 0 45415632 602284032 140422 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 147042 140422 2944 2593 0 143935 0
Current children cumulated CPU time: 3093.3 s
Current children cumulated vsize: 588168 KiB
Current children cumulated memory: 561688 KiB
[startup+3162.3 s]
/proc/loadavg: 3.24 3.76 3.96 4/257 38839
/proc/meminfo: memFree=124971400/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=588168 memory=561688 CPUtime=3153.14 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 271295 0 0 0 315248 66 0 0 20 0 1 0 45415632 602284032 140422 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 147042 140422 2944 2593 0 143935 0
Current children cumulated CPU time: 3153.14 s
Current children cumulated vsize: 588168 KiB
Current children cumulated memory: 561688 KiB
[startup+3222.3 s]
/proc/loadavg: 3.14 3.64 3.91 4/257 38841
/proc/meminfo: memFree=125160256/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=588168 memory=561688 CPUtime=3212.97 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 271357 0 0 0 321231 66 0 0 20 0 1 0 45415632 602284032 140422 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 147042 140422 2944 2593 0 143935 0
Current children cumulated CPU time: 3212.97 s
Current children cumulated vsize: 588168 KiB
Current children cumulated memory: 561688 KiB
[startup+3282.3 s]
/proc/loadavg: 3.16 3.55 3.86 4/256 38843
/proc/meminfo: memFree=125142804/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=588168 memory=563736 CPUtime=3272.81 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 271426 0 0 0 327214 67 0 0 20 0 1 0 45415632 602284032 140934 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 147042 140934 2944 2593 0 143935 0
Current children cumulated CPU time: 3272.81 s
Current children cumulated vsize: 588168 KiB
Current children cumulated memory: 563736 KiB
[startup+3342.3 s]
/proc/loadavg: 3.12 3.46 3.81 4/256 38845
/proc/meminfo: memFree=125142676/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=588168 memory=563736 CPUtime=3332.65 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 271434 0 0 0 333198 67 0 0 20 0 1 0 45415632 602284032 140934 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 147042 140934 2944 2593 0 143935 0
Current children cumulated CPU time: 3332.65 s
Current children cumulated vsize: 588168 KiB
Current children cumulated memory: 563736 KiB
[startup+3402.3 s]
/proc/loadavg: 3.09 3.39 3.76 4/256 38847
/proc/meminfo: memFree=125140636/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=588168 memory=567832 CPUtime=3392.48 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 271509 0 0 0 339181 67 0 0 20 0 1 0 45415632 602284032 141958 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 147042 141958 2944 2593 0 143935 0
Current children cumulated CPU time: 3392.48 s
Current children cumulated vsize: 588168 KiB
Current children cumulated memory: 567832 KiB
[startup+3462.3 s]
/proc/loadavg: 3.14 3.35 3.72 4/256 38849
/proc/meminfo: memFree=125143764/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=588168 memory=567832 CPUtime=3452.32 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 271539 0 0 0 345164 68 0 0 20 0 1 0 45415632 602284032 141958 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 147042 141958 2944 2593 0 143935 0
Current children cumulated CPU time: 3452.32 s
Current children cumulated vsize: 588168 KiB
Current children cumulated memory: 567832 KiB
[startup+3522.3 s]
/proc/loadavg: 3.10 3.30 3.68 4/256 38851
/proc/meminfo: memFree=125144020/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=588168 memory=569880 CPUtime=3512.15 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 271621 0 0 0 351147 68 0 0 20 0 1 0 45415632 602284032 142470 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 147042 142470 2944 2593 0 143935 0
Current children cumulated CPU time: 3512.15 s
Current children cumulated vsize: 588168 KiB
Current children cumulated memory: 569880 KiB
[startup+3582.3 s]
/proc/loadavg: 3.15 3.27 3.64 4/257 38860
/proc/meminfo: memFree=125142192/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=588168 memory=569880 CPUtime=3571.99 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 271636 0 0 0 357131 68 0 0 20 0 1 0 45415632 602284032 142470 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 147042 142470 2944 2593 0 143935 0
Current children cumulated CPU time: 3571.99 s
Current children cumulated vsize: 588168 KiB
Current children cumulated memory: 569880 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 3.10 3.25 3.63 4/257 38861
/proc/meminfo: memFree=125141992/131250000 swapFree=33010684/33010684
[pid=38581] ppid=38576 vsize=588168 memory=569880 CPUtime=3600.01 cores=4,6
/proc/38581/stat : 38581 (CASHWMaxSAT-Dis) R 38576 38581 37742 0 -1 4194304 271706 0 0 0 359932 69 0 0 20 0 1 0 45415632 602284032 142470 18446744073709551615 4198400 14817773 140729894187600 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 38486016 140729894189418 140729894189533 140729894189533 140729894195135 0
/proc/38581/statm: 147042 142470 2944 2593 0 143935 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 588168 KiB
Current children cumulated memory: 569880 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.41 s]
# the end of solver process 38581 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.33 s, system=0.697512 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.41
CPU time (s): 3600.03
CPU user time (s): 3599.33
CPU system time (s): 0.697512
CPU usage (%): 99.7125
Max. virtual memory (cumulated for all children) (KiB): 1359356
Max. memory (cumulated for all children) (KiB): 1236780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.33
system time used= 0.697512
maximum resident set size= 1242028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271707
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= 51
involuntary context switches= 2367
# summary of solver processes directly reported to runsolver:
# pid: 38581
# total CPU time (s): 3600.03
# total CPU user time (s): 3599.33
# total CPU system time (s): 0.697512
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.12376 second user time and 15.959 second system time
The end
Begin job on nodeC027 at 2025-06-30 17:29:17 IDJOB=4485019 IDBENCH=146691 IDSOLVER=3322 FILE ID=nodeC027/4485019-1751297357 RUNJOBID= nodeC027-1751290134-37753 SLURM_JOB_ID= 9594240 Free space on /tmp= 433020 MiB SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-3.opb COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485019-1751297357/watcher-4485019-1751297357 -o /tmp/evaluation-result-4485019-1751297357/solver-4485019-1751297357 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751290134-37753 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4485019-1751297357.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= e50abc2725c4e3a238fbda7c772437b2 RANDOM SEED=642759830 nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.823 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.29 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.672 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.29 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.753 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.29 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.924 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.29 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 : 3584.579 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.29 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.584 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.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.826 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.29 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.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 127119720 kB MemAvailable: 127608848 kB Buffers: 3280 kB Cached: 1291692 kB SwapCached: 0 kB Active: 2476740 kB Inactive: 1035092 kB Active(anon): 2234928 kB Inactive(anon): 0 kB Active(file): 241812 kB Inactive(file): 1035092 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 14300 kB Writeback: 0 kB AnonPages: 2219940 kB Mapped: 126928 kB Shmem: 18068 kB KReclaimable: 102528 kB Slab: 188612 kB SReclaimable: 102528 kB SUnreclaim: 86084 kB KernelStack: 4176 kB PageTables: 7568 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 3189376 kB VmallocTotal: 34359738367 kB VmallocUsed: 150456 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1593344 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: 203476 kB DirectMap2M: 9005056 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433012 MiB End job on nodeC027 at 2025-06-30 18:29:28