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 | OPT | 21 | 1795.64 | 1801.29 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/ normalized-comppebphp_opt_pyrheightequalsnholes_05.opb |
| MD5SUM | a823f9c7814d8d727e64ac969496cf55 |
| 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 | 21 |
| Best CPU time to get the best result obtained on this benchmark | 0.012791 |
| 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 | 672 |
| Total number of constraints | 321 |
| Number of constraints which are clauses | 171 |
| Number of constraints which are cardinality constraints (but not clauses) | 84 |
| Number of constraints which are nor clauses,nor cardinality constraints | 66 |
| Minimum length of a constraint | 5 |
| Maximum length of a constraint | 10 |
| Number of terms in the objective function | 42 |
| 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 | 42 |
| Number of bits of the sum of numbers in the objective function | 6 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 42 |
| Number of bits of the biggest sum of numbers | 6 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022) 0.00/0.01 o 28 0.00/0.01 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.00/0.02 c Starting SCIP solver (with time-limit = 1800s) ... 1794.35/1800.03 c SCIP timeout with lower and upper bounds: [6, 21] 1794.35/1800.03 o 21 1795.54/1801.26 s OPTIMUM FOUND 1795.54/1801.26 v -x1 x2 x33 -x34 -x65 x66 x97 -x98 x129 -x130 x161 -x162 -x193 x194 -x225 x226 x257 -x258 x289 -x290 -x321 x322 x353 -x354 x385 -x386 -x417 x418 -x449 x450 -x481 x482 x513 -x514 -x545 x546 x577 -x578 x609 -x610 x641 -x642 -x3 x4 -x5 -x6 -x7 -x8 x13 -x18 -x23 x28 -x9 -x10 -x11 x12 -x14 -x15 -x16 -x17 -x19 x20 -x21 -x22 -x24 -x25 x26 -x27 -x29 -x30 -x31 -x32 -x35 -x36 -x37 -x38 -x39 -x40 -x45 -x50 x55 x60 -x41 -x42 -x43 x44 x46 -x47 -x48 -x49 -x51 x52 -x53 -x54 -x56 -x57 x58 -x59 -x61 -x62 -x63 -x64 -x67 -x68 -x69 -x70 -x71 -x72 -x77 x82 x87 -x92 -x73 -x74 -x75 x76 x78 -x79 -x80 -x81 -x83 -x84 -x85 -x86 -x88 -x89 x90 -x91 -x93 x94 -x95 -x96 -x99 x100 -x101 -x102 -x103 -x104 -x109 -x114 x119 x124 -x105 -x106 -x107 x108 -x110 -x111 x112 -x113 -x115 x116 -x117 -x118 -x120 -x121 -x122 -x123 -x125 -x126 -x127 -x128 -x131 -x132 -x133 -x134 x135 -x136 -x141 -x146 x151 x156 -x137 x138 -x139 -x140 -x142 -x143 x144 -x145 x147 -x148 -x149 -x150 -x152 -x153 -x154 -x155 -x157 -x158 -x159 -x160 -x163 -x164 -x165 -x166 -x167 -x168 -x173 -x178 x183 -x188 -x169 -x170 -x171 x172 x174 -x175 -x176 -x177 -x179 x180 -x181 -x182 -x184 -x185 -x186 -x187 -x189 -x190 x191 -x192 -x195 -x196 -x197 x198 -x199 x200 x205 -x210 -x215 -x220 -x201 -x202 -x203 -x204 -x206 -x207 -x208 -x209 x211 -x212 -x213 -x214 -x216 -x217 -x218 x219 -x221 x222 -x223 -x224 x227 -x228 -x229 -x230 -x231 -x232 -x237 -x242 x247 -x252 x233 -x234 -x235 -x236 -x238 -x239 -x240 x241 -x243 -x244 x245 -x246 -x248 -x249 -x250 -x251 -x253 x254 -x255 -x256 x259 -x260 -x261 -x262 -x263 -x264 -x269 -x274 -x279 x284 -x265 x266 -x267 -x268 x270 -x271 -x272 -x273 -x275 -x276 x277 -x278 -x280 -x281 -x282 x283 -x285 -x286 -x287 -x288 x291 -x292 -x293 -x294 -x295 -x296 -x301 -x306 -x311 x316 -x297 x298 -x299 -x300 x302 -x303 -x304 -x305 -x307 -x308 x309 -x310 -x312 -x313 -x314 x315 -x317 -x318 -x319 -x320 x323 -x324 -x325 -x326 -x327 x328 -x333 -x338 -x343 -x348 -x329 -x330 -x331 -x332 x334 -x335 -x336 -x337 -x339 x340 -x341 -x342 -x344 -x345 -x346 x347 -x349 -x350 x351 -x352 -x355 -x356 -x357 -x358 x359 x360 x365 -x370 -x375 -x380 -x361 -x362 -x363 -x364 -x366 -x367 -x368 -x369 x371 -x372 -x373 -x374 -x376 -x377 x378 -x379 -x381 x382 -x383 -x384 -x387 x388 -x389 -x390 -x391 x392 -x397 x402 -x407 -x412 -x393 -x394 -x395 -x396 -x398 -x399 -x400 x401 -x403 -x404 -x405 -x406 -x408 x409 -x410 -x411 -x413 -x414 x415 -x416 -x419 x420 -x421 -x422 -x423 x424 -x429 -x434 x439 -x444 -x425 -x426 -x427 -x428 -x430 -x431 x432 -x433 -x435 -x436 -x437 x438 -x440 -x441 -x442 -x443 -x445 x446 -x447 -x448 -x451 x452 -x453 -x454 -x455 -x456 x461 -x466 x471 -x476 -x457 -x458 -x459 x460 -x462 -x463 -x464 -x465 -x467 x468 -x469 -x470 -x472 -x473 -x474 -x475 -x477 -x478 x479 -x480 x483 -x484 -x485 -x486 -x487 -x488 x493 -x498 -x503 -x508 x489 -x490 -x491 -x492 -x494 -x495 -x496 -x497 -x499 -x500 x501 -x502 -x504 x505 -x506 -x507 -x509 -x510 -x511 x512 x515 -x516 -x517 -x518 -x519 -x520 x525 -x530 -x535 -x540 -x521 -x522 -x523 x524 -x526 -x527 -x528 -x529 -x531 x532 -x533 -x534 x536 -x537 -x538 -x539 -x541 -x542 x543 -x544 -x547 -x548 x549 -x550 -x551 -x552 x557 -x562 x567 -x572 -x553 -x554 x555 -x556 -x558 -x559 -x560 -x561 -x563 -x564 -x565 x566 -x568 -x569 -x570 -x571 x573 -x574 -x575 -x576 x579 -x580 -x581 -x582 -x583 -x584 x589 -x594 -x599 -x604 -x585 -x586 -x587 x588 -x590 -x591 -x592 -x593 -x595 x596 -x597 -x598 x600 -x601 -x602 -x603 -x605 -x606 x607 -x608 x611 -x612 -x613 -x614 -x615 -x616 x621 -x626 -x631 -x636 -x617 -x618 -x619 x620 -x622 -x623 -x624 -x625 -x627 x628 -x629 -x630 x632 -x633 -x634 -x635 -x637 -x638 x639 -x640 x643 -x644 -x645 -x646 -x647 -x648 x653 -x658 -x663 -x668 -x649 -x650 -x651 x652 -x654 -x655 -x656 -x657 -x659 x660 -x661 -x662 x664 -x665 -x666 -x667 -x669 -x670 x671 -x672
OK 21
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61699 MiB free)
memory of node 1: 64465 MiB (63711 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521973-1751573410/watcher-4521973-1751573410 -o /tmp/evaluation-result-4521973-1751573410/solver-4521973-1751573410 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751566451-81052 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4521973-1751573410.opb -total-t=3600 -no-par -v0
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Current StackSize limit: 8192 KiB
solver pid=82347, runsolver pid=82344
[startup+0.100065 s]*
/proc/loadavg: 4.10 4.11 4.09 5/263 82348
/proc/meminfo: memFree=128404780/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=53304 memory=42392 CPUtime=0.09 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 8643 0 0 0 8 1 0 0 20 0 1 0 73018543 54583296 10598 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 13326 10598 2592 2593 0 10219 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 53304 KiB
Current children cumulated memory: 42392 KiB
[startup+0.205585 s]*
/proc/loadavg: 4.10 4.11 4.09 5/263 82348
/proc/meminfo: memFree=128388904/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=67076 memory=54668 CPUtime=0.2 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 12918 0 0 0 18 2 0 0 20 0 1 0 73018543 68685824 13667 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 16769 13667 2656 2593 0 13662 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 67076 KiB
Current children cumulated memory: 54668 KiB
[startup+0.305509 s]*
/proc/loadavg: 4.10 4.11 4.09 5/263 82348
/proc/meminfo: memFree=128388904/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=66576 memory=54228 CPUtime=0.3 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 12921 0 0 0 28 2 0 0 20 0 1 0 73018543 68173824 13557 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 16644 13557 2656 2593 0 13537 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 66576 KiB
Current children cumulated memory: 54228 KiB
[startup+0.700166 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 82348
/proc/meminfo: memFree=128389192/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=83616 memory=68308 CPUtime=0.68 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 16472 0 0 0 66 2 0 0 20 0 1 0 73018543 85622784 17077 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 20904 17077 2656 2593 0 17797 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 83616 KiB
Current children cumulated memory: 68308 KiB
[startup+1.50016 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 82348
/proc/meminfo: memFree=128381380/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=87868 memory=72596 CPUtime=1.48 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 18079 0 0 0 146 2 0 0 20 0 1 0 73018543 89976832 18149 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 21967 18149 2656 2593 0 18860 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 87868 KiB
Current children cumulated memory: 72596 KiB
[startup+3.10536 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 82348
/proc/meminfo: memFree=128376104/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=94112 memory=77828 CPUtime=3.09 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 20553 0 0 0 306 3 0 0 20 0 1 0 73018543 96370688 19457 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 23528 19457 2656 2593 0 20421 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 94112 KiB
Current children cumulated memory: 77828 KiB
[startup+6.30013 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 82348
/proc/meminfo: memFree=128361992/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=105660 memory=90560 CPUtime=6.27 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 24549 0 0 0 624 3 0 0 20 0 1 0 73018543 108195840 22640 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 26415 22640 2656 2593 0 23308 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 105660 KiB
Current children cumulated memory: 90560 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 82348
/proc/meminfo: memFree=128357704/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=110696 memory=95468 CPUtime=12.66 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 28048 0 0 0 1262 4 0 0 20 0 1 0 73018543 113352704 23867 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 27674 23867 2656 2593 0 24567 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 110696 KiB
Current children cumulated memory: 95468 KiB
[startup+25.5001 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 82348
/proc/meminfo: memFree=128329732/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=146612 memory=129592 CPUtime=25.42 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 36333 0 0 0 2537 5 0 0 20 0 1 0 73018543 150130688 32398 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 36653 32398 2656 2593 0 33546 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 146612 KiB
Current children cumulated memory: 129592 KiB
[startup+51.1054 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 82349
/proc/meminfo: memFree=128304800/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=170608 memory=153024 CPUtime=50.95 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 43926 0 0 0 5088 7 0 0 20 0 1 0 73018543 174702592 38256 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 42652 38256 2656 2593 0 39545 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 170608 KiB
Current children cumulated memory: 153024 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 82350
/proc/meminfo: memFree=128235608/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=241328 memory=223556 CPUtime=101.98 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 63029 0 0 0 10189 9 0 0 20 0 1 0 73018543 247119872 55889 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 60332 55889 2656 2593 0 57225 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 241328 KiB
Current children cumulated memory: 223556 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 82397
/proc/meminfo: memFree=128523744/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=322512 memory=305464 CPUtime=161.78 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 87097 0 0 0 16165 13 0 0 20 0 1 0 73018543 330252288 76366 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 80628 76366 2912 2593 0 77521 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 322512 KiB
Current children cumulated memory: 305464 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 82406
/proc/meminfo: memFree=128480116/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=409224 memory=386748 CPUtime=221.6 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 114693 0 0 0 22143 17 0 0 20 0 1 0 73018543 419045376 96687 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 102306 96687 2912 2593 0 99199 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 409224 KiB
Current children cumulated memory: 386748 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 82408
/proc/meminfo: memFree=128423076/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=483548 memory=463820 CPUtime=281.41 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 133456 0 0 0 28120 21 0 0 20 0 1 0 73018543 495153152 115955 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 120887 115955 2912 2593 0 117780 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 483548 KiB
Current children cumulated memory: 463820 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 82410
/proc/meminfo: memFree=128340860/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=548884 memory=529952 CPUtime=341.21 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 150317 0 0 0 34098 23 0 0 20 0 1 0 73018543 562057216 132488 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 137221 132488 2912 2593 0 134114 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 548884 KiB
Current children cumulated memory: 529952 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/263 82412
/proc/meminfo: memFree=128267592/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=626532 memory=605804 CPUtime=401.02 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 167258 0 0 0 40075 27 0 0 20 0 1 0 73018543 641568768 151451 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 156633 151451 2912 2593 0 153526 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 626532 KiB
Current children cumulated memory: 605804 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 82414
/proc/meminfo: memFree=128153488/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=708036 memory=689036 CPUtime=460.8 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 183265 0 0 0 46051 29 0 0 20 0 1 0 73018543 725028864 172259 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 177009 172259 2912 2593 0 173902 0
################
# More data... #
################
/proc/loadavg: 4.07 4.08 4.09 5/263 82541
/proc/meminfo: memFree=123342812/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=1690264 memory=1659708 CPUtime=1298.11 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 423563 0 0 0 129737 74 0 0 20 0 1 0 73018543 1730830336 414927 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 422566 414927 2912 2593 0 419459 0
Current children cumulated CPU time: 1298.11 s
Current children cumulated vsize: 1690264 KiB
Current children cumulated memory: 1659708 KiB
[startup+1362.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 82543
/proc/meminfo: memFree=123255676/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=1739072 memory=1721056 CPUtime=1357.92 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 438273 0 0 0 135716 76 0 0 20 0 1 0 73018543 1780809728 430264 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 434768 430264 2912 2593 0 431661 0
Current children cumulated CPU time: 1357.92 s
Current children cumulated vsize: 1739072 KiB
Current children cumulated memory: 1721056 KiB
[startup+1422.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 82545
/proc/meminfo: memFree=122534692/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=1852148 memory=1805124 CPUtime=1417.75 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 457533 0 0 0 141695 80 0 0 20 0 1 0 73018543 1896599552 451281 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 463037 451281 2912 2593 0 459930 0
Current children cumulated CPU time: 1417.75 s
Current children cumulated vsize: 1852148 KiB
Current children cumulated memory: 1805124 KiB
[startup+1482.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/264 82554
/proc/meminfo: memFree=122422272/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=1891444 memory=1875240 CPUtime=1477.56 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 469890 0 0 0 147674 82 0 0 20 0 1 0 73018543 1936838656 468810 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 472861 468810 2912 2593 0 469754 0
Current children cumulated CPU time: 1477.56 s
Current children cumulated vsize: 1891444 KiB
Current children cumulated memory: 1875240 KiB
[startup+1542.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/263 82556
/proc/meminfo: memFree=121989624/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=2007972 memory=1953856 CPUtime=1537.39 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 485342 0 0 0 153653 86 0 0 20 0 1 0 73018543 2056163328 488464 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 501993 488464 2912 2593 0 498886 0
Current children cumulated CPU time: 1537.39 s
Current children cumulated vsize: 2007972 KiB
Current children cumulated memory: 1953856 KiB
[startup+1602.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 82558
/proc/meminfo: memFree=122459628/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=2053712 memory=2027552 CPUtime=1597.21 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 496642 0 0 0 159633 88 0 0 20 0 1 0 73018543 2103001088 506888 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 513428 506888 2912 2593 0 510321 0
Current children cumulated CPU time: 1597.21 s
Current children cumulated vsize: 2053712 KiB
Current children cumulated memory: 2027552 KiB
[startup+1662.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 82560
/proc/meminfo: memFree=122518064/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=2181592 memory=2105036 CPUtime=1657.04 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 512643 0 0 0 165612 92 0 0 20 0 1 0 73018543 2233950208 526259 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 545398 526259 2912 2593 0 542291 0
Current children cumulated CPU time: 1657.04 s
Current children cumulated vsize: 2181592 KiB
Current children cumulated memory: 2105036 KiB
[startup+1722.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 82562
/proc/meminfo: memFree=122365992/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=2227816 memory=2186032 CPUtime=1716.86 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 524681 0 0 0 171591 95 0 0 20 0 1 0 73018543 2281283584 546508 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 556954 546508 2912 2593 0 553847 0
Current children cumulated CPU time: 1716.86 s
Current children cumulated vsize: 2227816 KiB
Current children cumulated memory: 2186032 KiB
[startup+1782.3 s]
/proc/loadavg: 4.36 4.17 4.11 5/262 82564
/proc/meminfo: memFree=122312408/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=2356352 memory=2261756 CPUtime=1776.69 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 533845 0 0 0 177572 97 0 0 20 0 1 0 73018543 2412904448 565439 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 589088 565439 2912 2593 0 585981 0
Current children cumulated CPU time: 1776.69 s
Current children cumulated vsize: 2356352 KiB
Current children cumulated memory: 2261756 KiB
[startup+1801.29 s]
# the end of solver process 82347 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1794.61 s, system=1.02086 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.30 4.17 4.11 5/262 82564
/proc/meminfo: memFree=122315412/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=2361596 memory=2267388 CPUtime=1786.36 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 535261 0 0 0 178539 97 0 0 20 0 1 0 73018543 2418274304 566847 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 590399 566847 2912 2593 0 587292 0
Current children cumulated CPU time: 1786.36 s
Current children cumulated vsize: 2361596 KiB
Current children cumulated memory: 2267388 KiB
[startup+1795.2 s]
/proc/loadavg: 4.30 4.17 4.11 5/262 82564
/proc/meminfo: memFree=122307220/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=2363772 memory=2278036 CPUtime=1789.56 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 535867 0 0 0 178858 98 0 0 20 0 1 0 73018543 2420502528 569509 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 590943 569509 2912 2593 0 587836 0
Current children cumulated CPU time: 1789.56 s
Current children cumulated vsize: 2363772 KiB
Current children cumulated memory: 2278036 KiB
[startup+1798.4 s]
/proc/loadavg: 4.28 4.16 4.11 5/262 82564
/proc/meminfo: memFree=122299156/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=2366332 memory=2280596 CPUtime=1792.75 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 536511 0 0 0 179177 98 0 0 20 0 1 0 73018543 2423123968 570149 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 591583 570149 2912 2593 0 588476 0
Current children cumulated CPU time: 1792.75 s
Current children cumulated vsize: 2366332 KiB
Current children cumulated memory: 2280596 KiB
[startup+1800 s]*
/proc/loadavg: 4.28 4.16 4.11 5/262 82564
/proc/meminfo: memFree=122300268/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=2366908 memory=2281236 CPUtime=1794.35 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 536677 0 0 0 179337 98 0 0 20 0 1 0 73018543 2423713792 570309 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 591727 570309 2912 2593 0 588620 0
Current children cumulated CPU time: 1794.35 s
Current children cumulated vsize: 2366908 KiB
Current children cumulated memory: 2281236 KiB
[startup+1800.8 s]
/proc/loadavg: 4.28 4.16 4.11 5/262 82564
/proc/meminfo: memFree=122300268/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=2364852 memory=2279232 CPUtime=1795.14 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 536678 0 0 0 179416 98 0 0 20 0 1 0 73018543 2421608448 569808 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 591213 569808 2912 2593 0 588106 0
Current children cumulated CPU time: 1795.14 s
Current children cumulated vsize: 2364852 KiB
Current children cumulated memory: 2279232 KiB
[startup+1801.2 s]
/proc/loadavg: 4.28 4.16 4.11 5/262 82564
/proc/meminfo: memFree=122300452/131249988 swapFree=33010160/33010684
[pid=82347] ppid=82344 vsize=2271136 memory=2186848 CPUtime=1795.54 cores=1,3
/proc/82347/stat : 82347 (CASHWMaxSAT-Dis) R 82344 82347 81040 0 -1 4194304 536678 0 0 0 179456 98 0 0 20 0 1 0 73018543 2325643264 546712 18446744073709551615 4198400 14817773 140723299957776 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 33148928 140723299965290 140723299965405 140723299965405 140723299971007 0
/proc/82347/statm: 567784 546712 2912 2593 0 564677 0
Current children cumulated CPU time: 1795.54 s
Current children cumulated vsize: 2271136 KiB
Current children cumulated memory: 2186848 KiB
Child status: 30
Real time (s): 1801.29
CPU time (s): 1795.64
CPU user time (s): 1794.61
CPU system time (s): 1.02086
CPU usage (%): 99.6861
Max. virtual memory (cumulated for all children) (KiB): 2366908
Max. memory (cumulated for all children) (KiB): 2281236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.61
system time used= 1.02086
maximum resident set size= 2281236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 536680
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= 126
involuntary context switches= 4057
# summary of solver processes directly reported to runsolver:
# pid: 82347
# total CPU time (s): 1795.64
# total CPU user time (s): 1794.61
# total CPU system time (s): 1.02086
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.28264 second user time and 7.62702 second system time
The end
Begin job on nodeC020 at 2025-07-03 22:10:10 IDJOB=4521973 IDBENCH=178526 IDSOLVER=3322 FILE ID=nodeC020/4521973-1751573410 RUNJOBID= nodeC020-1751566451-81052 SLURM_JOB_ID= 9598778 Free space on /tmp= 431736 MiB SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_05.opb COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521973-1751573410/watcher-4521973-1751573410 -o /tmp/evaluation-result-4521973-1751573410/solver-4521973-1751573410 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751566451-81052 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4521973-1751573410.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a823f9c7814d8d727e64ac969496cf55 RANDOM SEED=1126826013 nodeC020 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.911 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.79 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 : 3602.911 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.79 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 : 3600.583 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.79 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.901 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.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.896 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.79 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.895 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.79 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 : 3600.259 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.79 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.79 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 128420608 kB MemAvailable: 128456572 kB Buffers: 2128 kB Cached: 828384 kB SwapCached: 8 kB Active: 1881132 kB Inactive: 262972 kB Active(anon): 1307064 kB Inactive(anon): 24572 kB Active(file): 574068 kB Inactive(file): 238400 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 13796 kB Writeback: 52 kB AnonPages: 1316660 kB Mapped: 136076 kB Shmem: 18044 kB KReclaimable: 125468 kB Slab: 217148 kB SReclaimable: 125468 kB SUnreclaim: 91680 kB KernelStack: 4224 kB PageTables: 5656 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 1760336 kB VmallocTotal: 34359738367 kB VmallocUsed: 150552 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1191936 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: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431720 MiB End job on nodeC020 at 2025-07-03 22:40:11