Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| CASHWMaxSATDisjCom-S 2025-06-01 | OPT | 21 | 1793.57 | 1800.98 |
| 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.03 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.00/0.03 c Using COMiniSatPS SAT solver by Chanseok Oh (2016) 0.00/0.03 o 28 0.00/0.03 c Using SCIP solver, version 8.1.0, https://www.scipopt.org 0.00/0.05 c Starting SCIP solver (with time-limit = 1800s) ... 1792.69/1800.18 c SCIP timeout with lower and upper bounds: [4, 21] 1792.69/1800.18 o 21 1793.47/1800.96 s OPTIMUM FOUND 1793.47/1800.96 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: 63837 MiB (63149 MiB free)
memory of node 1: 64465 MiB (63611 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521974-1751584336/watcher-4521974-1751584336 -o /tmp/evaluation-result-4521974-1751584336/solver-4521974-1751584336 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751584335-87284 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4521974-1751584336.opb -total-t=3600 -no-par -v0
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=87324, runsolver pid=87319
[startup+0.100073 s]*
/proc/loadavg: 0.88 1.58 2.16 5/245 87333
/proc/meminfo: memFree=129771892/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=34856 memory=25952 CPUtime=0.1 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 4505 0 0 0 9 1 0 0 20 0 1 0 74112255 35692544 6488 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 8714 6488 2336 2416 0 5816 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34856 KiB
Current children cumulated memory: 25952 KiB
[startup+0.214314 s]*
/proc/loadavg: 0.88 1.58 2.16 5/246 87334
/proc/meminfo: memFree=129758032/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=46232 memory=36960 CPUtime=0.21 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 7164 0 0 0 19 2 0 0 20 0 1 0 74112255 47341568 9240 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 11558 9240 2432 2416 0 8660 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46232 KiB
Current children cumulated memory: 36960 KiB
[startup+0.314007 s]*
/proc/loadavg: 0.88 1.58 2.16 5/246 87335
/proc/meminfo: memFree=129712676/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=57972 memory=47712 CPUtime=0.31 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 9755 0 0 0 28 3 0 0 20 0 1 0 74112255 59363328 11928 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 14493 11928 2528 2416 0 11595 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 57972 KiB
Current children cumulated memory: 47712 KiB
[startup+0.700315 s]
/proc/loadavg: 0.88 1.58 2.16 6/250 87343
/proc/meminfo: memFree=129675128/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=65192 memory=55264 CPUtime=0.68 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 11646 0 0 0 64 4 0 0 20 0 1 0 74112255 66756608 13816 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 16298 13816 2528 2416 0 13400 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 65192 KiB
Current children cumulated memory: 55264 KiB
[startup+1.50037 s]
/proc/loadavg: 1.13 1.62 2.17 5/250 87343
/proc/meminfo: memFree=129572556/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=72256 memory=62816 CPUtime=1.47 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 13546 0 0 0 143 4 0 0 20 0 1 0 74112255 73990144 15704 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 18064 15704 2528 2416 0 15166 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 72256 KiB
Current children cumulated memory: 62816 KiB
[startup+3.11364 s]
/proc/loadavg: 1.13 1.62 2.17 5/250 87343
/proc/meminfo: memFree=128990104/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=78980 memory=70240 CPUtime=3.08 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 15396 0 0 0 303 5 0 0 20 0 1 0 74112255 80875520 17560 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 19745 17560 2528 2416 0 16847 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 78980 KiB
Current children cumulated memory: 70240 KiB
[startup+6.30034 s]
/proc/loadavg: 1.36 1.66 2.18 5/250 87343
/proc/meminfo: memFree=128508056/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=86380 memory=77664 CPUtime=6.25 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 17275 0 0 0 620 5 0 0 20 0 1 0 74112255 88453120 19416 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 21595 19416 2528 2416 0 18697 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 86380 KiB
Current children cumulated memory: 77664 KiB
[startup+12.7004 s]
/proc/loadavg: 1.57 1.70 2.19 5/250 87343
/proc/meminfo: memFree=128187956/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=94556 memory=85856 CPUtime=12.63 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 19324 0 0 0 1257 6 0 0 20 0 1 0 74112255 96825344 21464 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 23639 21464 2528 2416 0 20741 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 94556 KiB
Current children cumulated memory: 85856 KiB
[startup+25.5004 s]
/proc/loadavg: 1.94 1.78 2.21 5/250 87343
/proc/meminfo: memFree=128246236/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=127488 memory=118412 CPUtime=25.36 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 25599 0 0 0 2529 7 0 0 20 0 1 0 74112255 130547712 29603 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 31872 29603 2528 2416 0 28974 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 127488 KiB
Current children cumulated memory: 118412 KiB
[startup+51.1136 s]
/proc/loadavg: 2.82 2.01 2.27 5/250 87344
/proc/meminfo: memFree=128193304/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=160164 memory=150680 CPUtime=50.84 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 31177 0 0 0 5076 8 0 0 20 0 1 0 74112255 164007936 37670 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 40041 37670 2528 2416 0 37143 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 160164 KiB
Current children cumulated memory: 150680 KiB
[startup+102.3 s]
/proc/loadavg: 3.49 2.32 2.36 5/250 87345
/proc/meminfo: memFree=128004280/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=222540 memory=211168 CPUtime=101.76 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 50959 0 0 0 10163 13 0 0 20 0 1 0 74112255 227880960 52792 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 55635 52792 2528 2416 0 52737 0
Current children cumulated CPU time: 101.76 s
Current children cumulated vsize: 222540 KiB
Current children cumulated memory: 211168 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.66 2.48 5/251 87348
/proc/meminfo: memFree=127745272/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=298216 memory=283080 CPUtime=161.45 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 86301 0 0 0 16126 19 0 0 20 0 1 0 74112255 305373184 70770 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 74554 70770 2528 2416 0 71656 0
Current children cumulated CPU time: 161.45 s
Current children cumulated vsize: 298216 KiB
Current children cumulated memory: 283080 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.92 2.58 5/251 87350
/proc/meminfo: memFree=127562064/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=368212 memory=354640 CPUtime=221.16 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 107809 0 0 0 22092 24 0 0 20 0 1 0 74112255 377049088 88660 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 92053 88660 2528 2416 0 89155 0
Current children cumulated CPU time: 221.16 s
Current children cumulated vsize: 368212 KiB
Current children cumulated memory: 354640 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.15 2.68 5/251 87352
/proc/meminfo: memFree=127346860/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=455552 memory=436668 CPUtime=280.86 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 128663 0 0 0 28058 28 0 0 20 0 1 0 74112255 466485248 109167 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 113888 109167 2528 2416 0 110990 0
Current children cumulated CPU time: 280.86 s
Current children cumulated vsize: 455552 KiB
Current children cumulated memory: 436668 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.32 2.77 5/251 87354
/proc/meminfo: memFree=127119368/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=548436 memory=519788 CPUtime=340.56 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 147419 0 0 0 34024 32 0 0 20 0 1 0 74112255 561598464 129947 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 137109 129947 2528 2416 0 134211 0
Current children cumulated CPU time: 340.56 s
Current children cumulated vsize: 548436 KiB
Current children cumulated memory: 519788 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.46 2.86 5/251 87356
/proc/meminfo: memFree=126836028/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=621416 memory=595456 CPUtime=400.27 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 164432 0 0 0 39991 36 0 0 20 0 1 0 74112255 636329984 148864 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 155354 148864 2528 2416 0 152456 0
Current children cumulated CPU time: 400.27 s
Current children cumulated vsize: 621416 KiB
Current children cumulated memory: 595456 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.59 2.94 5/250 87358
/proc/meminfo: memFree=126677636/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=701084 memory=676300 CPUtime=459.97 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 181383 0 0 0 45958 39 0 0 20 0 1 0 74112255 717910016 169075 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 175271 169075 2528 2416 0 172373 0
Current children cumulated CPU time: 459.97 s
################
# More data... #
################
/proc/loadavg: 4.16 4.19 3.75 5/250 87446
/proc/meminfo: memFree=121643616/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=1942828 memory=1870704 CPUtime=1356.36 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 361902 0 0 0 135547 89 0 0 20 0 1 0 74112255 1989455872 467676 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 485707 467676 2528 2416 0 482809 0
Current children cumulated CPU time: 1356.36 s
Current children cumulated vsize: 1942828 KiB
Current children cumulated memory: 1870704 KiB
[startup+1422.3 s]
/proc/loadavg: 4.34 4.22 3.79 5/250 87448
/proc/meminfo: memFree=121535020/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=2109484 memory=1949492 CPUtime=1416.15 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 375153 0 0 0 141522 93 0 0 20 0 1 0 74112255 2160111616 487373 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 527371 487373 2528 2416 0 524473 0
Current children cumulated CPU time: 1416.15 s
Current children cumulated vsize: 2109484 KiB
Current children cumulated memory: 1949492 KiB
[startup+1482.3 s]
/proc/loadavg: 4.95 4.41 3.88 5/250 87450
/proc/meminfo: memFree=121437472/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=2138280 memory=2023704 CPUtime=1475.95 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 384562 0 0 0 147499 96 0 0 20 0 1 0 74112255 2189598720 505926 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 534570 505926 2528 2416 0 531672 0
Current children cumulated CPU time: 1475.95 s
Current children cumulated vsize: 2138280 KiB
Current children cumulated memory: 2023704 KiB
[startup+1542.3 s]
/proc/loadavg: 4.94 4.52 3.95 5/250 87452
/proc/meminfo: memFree=121331588/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=2166484 memory=2097124 CPUtime=1535.75 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 393897 0 0 0 153476 99 0 0 20 0 1 0 74112255 2218479616 524281 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 541621 524281 2528 2416 0 538723 0
Current children cumulated CPU time: 1535.75 s
Current children cumulated vsize: 2166484 KiB
Current children cumulated memory: 2097124 KiB
[startup+1602.3 s]
/proc/loadavg: 4.35 4.42 3.96 5/250 87454
/proc/meminfo: memFree=121233536/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=2283860 memory=2175992 CPUtime=1595.55 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 403668 0 0 0 159452 103 0 0 20 0 1 0 74112255 2338672640 543998 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 570965 543998 2528 2416 0 568067 0
Current children cumulated CPU time: 1595.55 s
Current children cumulated vsize: 2283860 KiB
Current children cumulated memory: 2175992 KiB
[startup+1662.3 s]
/proc/loadavg: 4.17 4.36 3.97 5/250 87456
/proc/meminfo: memFree=121111168/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=2492028 memory=2263772 CPUtime=1655.34 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 415681 0 0 0 165428 106 0 0 20 0 1 0 74112255 2551836672 565943 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 623007 565943 2528 2416 0 620109 0
Current children cumulated CPU time: 1655.34 s
Current children cumulated vsize: 2492028 KiB
Current children cumulated memory: 2263772 KiB
[startup+1722.3 s]
/proc/loadavg: 4.16 4.32 3.99 5/250 87460
/proc/meminfo: memFree=121002140/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=2517780 memory=2341168 CPUtime=1715.14 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 426571 0 0 0 171404 110 0 0 20 0 1 0 74112255 2578206720 585292 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 629445 585292 2528 2416 0 626547 0
Current children cumulated CPU time: 1715.14 s
Current children cumulated vsize: 2517780 KiB
Current children cumulated memory: 2341168 KiB
[startup+1782.3 s]
/proc/loadavg: 4.15 4.29 4.00 5/250 87467
/proc/meminfo: memFree=120917152/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=2547196 memory=2412724 CPUtime=1774.94 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 436015 0 0 0 177382 112 0 0 20 0 1 0 74112255 2608328704 603181 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 636799 603181 2528 2416 0 633901 0
Current children cumulated CPU time: 1774.94 s
Current children cumulated vsize: 2547196 KiB
Current children cumulated memory: 2412724 KiB
[startup+1800.98 s]
# the end of solver process 87324 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1792.4 s, system=1.16805 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.13 4.28 4.00 5/250 87467
/proc/meminfo: memFree=120898796/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=2551464 memory=2423168 CPUtime=1784.62 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 437105 0 0 0 178349 113 0 0 20 0 1 0 74112255 2612699136 605792 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 637866 605792 2528 2416 0 634968 0
Current children cumulated CPU time: 1784.62 s
Current children cumulated vsize: 2551464 KiB
Current children cumulated memory: 2423168 KiB
[startup+1795.2 s]
/proc/loadavg: 4.13 4.28 4.00 5/250 87467
/proc/meminfo: memFree=120892832/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=2552500 memory=2424192 CPUtime=1787.8 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 437372 0 0 0 178667 113 0 0 20 0 1 0 74112255 2613760000 606048 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 638125 606048 2528 2416 0 635227 0
Current children cumulated CPU time: 1787.8 s
Current children cumulated vsize: 2552500 KiB
Current children cumulated memory: 2424192 KiB
[startup+1798.4 s]
/proc/loadavg: 4.12 4.28 4.00 5/250 87467
/proc/meminfo: memFree=120888484/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=2555092 memory=2426752 CPUtime=1790.98 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 438028 0 0 0 178985 113 0 0 20 0 1 0 74112255 2616414208 606688 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 638773 606688 2528 2416 0 635875 0
Current children cumulated CPU time: 1790.98 s
Current children cumulated vsize: 2555092 KiB
Current children cumulated memory: 2426752 KiB
[startup+1800 s]*
/proc/loadavg: 4.12 4.28 4.00 5/250 87467
/proc/meminfo: memFree=120876512/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=2555092 memory=2435068 CPUtime=1792.59 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 438038 0 0 0 179146 113 0 0 20 0 1 0 74112255 2616414208 608767 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 638773 608767 2528 2416 0 635875 0
Current children cumulated CPU time: 1792.59 s
Current children cumulated vsize: 2555092 KiB
Current children cumulated memory: 2435068 KiB
[startup+1800.4 s]
/proc/loadavg: 4.12 4.28 4.00 5/250 87467
/proc/meminfo: memFree=120876512/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=2555092 memory=2435068 CPUtime=1792.97 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 438038 0 0 0 179184 113 0 0 20 0 1 0 74112255 2616414208 608767 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 638773 608767 2528 2416 0 635875 0
Current children cumulated CPU time: 1792.97 s
Current children cumulated vsize: 2555092 KiB
Current children cumulated memory: 2435068 KiB
[startup+1800.8 s]
/proc/loadavg: 4.12 4.28 4.00 5/250 87467
/proc/meminfo: memFree=120876512/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=2555092 memory=2435068 CPUtime=1793.37 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 438038 0 0 0 179224 113 0 0 20 0 1 0 74112255 2616414208 608767 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 638773 608767 2528 2416 0 635875 0
Current children cumulated CPU time: 1793.37 s
Current children cumulated vsize: 2555092 KiB
Current children cumulated memory: 2435068 KiB
[startup+1800.9 s]
/proc/loadavg: 4.12 4.28 4.00 5/250 87467
/proc/meminfo: memFree=120876512/131382120 swapFree=33010416/33010684
[pid=87324] ppid=87319 vsize=2547408 memory=2429492 CPUtime=1793.47 cores=0,2
/proc/87324/stat : 87324 (CASHWMaxSAT-Dis) R 87319 87324 87274 0 -1 4194304 438038 0 0 0 179234 113 0 0 20 0 1 0 74112255 2608545792 607373 18446744073709551615 4198400 14093885 140724335984800 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 32473088 140724335987050 140724335987165 140724335987165 140724335992767 0
/proc/87324/statm: 636852 607373 2528 2416 0 633954 0
Current children cumulated CPU time: 1793.47 s
Current children cumulated vsize: 2547408 KiB
Current children cumulated memory: 2429492 KiB
Child status: 30
Real time (s): 1800.98
CPU time (s): 1793.57
CPU user time (s): 1792.4
CPU system time (s): 1.16805
CPU usage (%): 99.5882
Max. virtual memory (cumulated for all children) (KiB): 2555092
Max. memory (cumulated for all children) (KiB): 2435068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.4
system time used= 1.16805
maximum resident set size= 2435068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 438038
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= 165
involuntary context switches= 4050
# summary of solver processes directly reported to runsolver:
# pid: 87324
# total CPU time (s): 1793.57
# total CPU user time (s): 1792.4
# total CPU system time (s): 1.16805
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.71536 second user time and 19.5245 second system time
The end
Begin job on nodeC003 at 2025-07-04 01:12:16 IDJOB=4521974 IDBENCH=178526 IDSOLVER=3323 FILE ID=nodeC003/4521974-1751584336 RUNJOBID= nodeC003-1751584335-87284 SLURM_JOB_ID= 9598828 Free space on /tmp= 432012 MiB SOLVER NAME= CASHWMaxSATDisjCom-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-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521974-1751584336/watcher-4521974-1751584336 -o /tmp/evaluation-result-4521974-1751584336/solver-4521974-1751584336 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751584335-87284 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4521974-1751584336.opb -total-t=3600 -no-par -v0 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a823f9c7814d8d727e64ac969496cf55 RANDOM SEED=195848013 nodeC003 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 : 0xb00001f cpu MHz : 1197.163 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 pti 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 : 6983.44 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 : 1197.159 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 pti 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 : 6983.44 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.589 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 pti 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 : 6983.44 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.569 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 pti 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 : 6983.44 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 : 3700.000 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 pti 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 : 6983.44 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 : 3700.000 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 pti 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 : 6983.44 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.173 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 pti 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 : 6983.44 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.154 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 pti 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 : 6983.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382120 kB MemFree: 129807648 kB MemAvailable: 129925480 kB Buffers: 2736 kB Cached: 913656 kB SwapCached: 36 kB Active: 570396 kB Inactive: 421504 kB Active(anon): 85824 kB Inactive(anon): 7608 kB Active(file): 484572 kB Inactive(file): 413896 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 44284 kB Writeback: 12 kB AnonPages: 78632 kB Mapped: 102992 kB Shmem: 17924 kB KReclaimable: 117984 kB Slab: 204080 kB SReclaimable: 117984 kB SUnreclaim: 86096 kB KernelStack: 3864 kB PageTables: 2864 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701744 kB Committed_AS: 339096 kB VmallocTotal: 34359738367 kB VmallocUsed: 149256 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 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: 191304 kB DirectMap2M: 11245568 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 431944 MiB End job on nodeC003 at 2025-07-04 01:42:17