Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Exact 2025-06-02 | MSAT (TO) | 3600.54 | 3612.04 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar6-sub1_wcsp.wbo |
| MD5SUM | 4332859c61197d8e78afa6b8b48bb73c |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2669 |
| Best CPU time to get the best result obtained on this benchmark | 28.4538 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 616 |
| Total number of constraints | 241978 |
| Number of soft constraints | 241964 |
| Number of constraints which are clauses | 241964 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 44 |
| Top cost | 48694 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 34489736 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 45 |
| 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 |
361.30/363.57 o 15647 362.29/364.51 o 3837 1015.22/1019.26 o 3796 1022.40/1026.43 o 3795 1023.30/1027.33 o 3793 1032.07/1036.12 o 3781 1219.37/1223.99 o 3538 1229.34/1233.95 o 3437 1234.43/1239.06 o 3431 1238.22/1242.81 o 3429 1362.57/1367.59 o 3427 3600.00/3611.50 c Program interrupted by user. 3600.00/3611.50 s SATISFIABLE 3600.00/3611.50 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616
OK 3427
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 (61686 MiB free)
memory of node 1: 64465 MiB (63252 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525779-1751625889/watcher-4525779-1751625889 -o /tmp/evaluation-result-4525779-1751625889/solver-4525779-1751625889 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751625889-88977 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=743719171 --ls=360 HOME/instance-4525779-1751625889.wbo
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
Starting watchdog thread
solver pid=89030, runsolver pid=89026
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 1.16 2.11 2.79 5/264 89035
/proc/meminfo: memFree=127823732/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=73244 memory=46952 CPUtime=0.1 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 13541 0 0 0 8 2 0 0 20 0 1 0 78266406 75001856 11738 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 18311 11738 1024 1200 0 16791 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 73244 KiB
Current children cumulated memory: 46952 KiB
[startup+0.205571 s]*
/proc/loadavg: 1.16 2.11 2.79 5/264 89035
/proc/meminfo: memFree=127713596/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=109736 memory=83408 CPUtime=0.2 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 22060 0 0 0 17 3 0 0 20 0 1 0 78266406 112369664 20852 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 27434 20852 1024 1200 0 25914 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 109736 KiB
Current children cumulated memory: 83408 KiB
[startup+0.305512 s]*
/proc/loadavg: 1.16 2.11 2.79 5/264 89035
/proc/meminfo: memFree=127591240/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=138536 memory=117992 CPUtime=0.3 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 29303 0 0 0 26 4 0 0 20 0 1 0 78266406 141860864 29498 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 34634 29498 1024 1200 0 33114 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 138536 KiB
Current children cumulated memory: 117992 KiB
[startup+0.700185 s]
/proc/loadavg: 1.16 2.11 2.79 5/264 89035
/proc/meminfo: memFree=127378648/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=307032 memory=285708 CPUtime=0.68 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 49216 0 0 0 58 10 0 0 20 0 1 0 78266406 314400768 71427 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 76758 71427 1024 1200 0 75238 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 307032 KiB
Current children cumulated memory: 285708 KiB
[startup+1.50021 s]
/proc/loadavg: 1.16 2.11 2.79 5/264 89035
/proc/meminfo: memFree=126917112/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=505804 memory=483132 CPUtime=1.49 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 74514 0 0 0 132 17 0 0 20 0 1 0 78266406 517943296 120783 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 126451 120783 1024 1200 0 124931 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 505804 KiB
Current children cumulated memory: 483132 KiB
[startup+3.10582 s]
/proc/loadavg: 1.38 2.14 2.79 5/264 89035
/proc/meminfo: memFree=126231352/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=607012 memory=581776 CPUtime=3.09 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 97151 0 0 0 288 21 0 0 20 0 1 0 78266406 621580288 145444 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 151753 145444 1024 1200 0 150233 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 607012 KiB
Current children cumulated memory: 581776 KiB
[startup+6.30018 s]
/proc/loadavg: 1.38 2.14 2.79 5/264 89035
/proc/meminfo: memFree=126231548/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=607012 memory=581776 CPUtime=6.26 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 97208 0 0 0 605 21 0 0 20 0 1 0 78266406 621580288 145444 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 151753 145444 1024 1200 0 150233 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 607012 KiB
Current children cumulated memory: 581776 KiB
[startup+12.7002 s]
/proc/loadavg: 1.67 2.19 2.81 5/264 89035
/proc/meminfo: memFree=126231640/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=607012 memory=581776 CPUtime=12.63 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 97282 0 0 0 1242 21 0 0 20 0 1 0 78266406 621580288 145444 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 151753 145444 1024 1200 0 150233 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 607012 KiB
Current children cumulated memory: 581776 KiB
[startup+25.5002 s]
/proc/loadavg: 2.19 2.28 2.83 5/264 89035
/proc/meminfo: memFree=126227560/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=607012 memory=581776 CPUtime=25.36 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 97358 0 0 0 2515 21 0 0 20 0 1 0 78266406 621580288 145444 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 151753 145444 1024 1200 0 150233 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 607012 KiB
Current children cumulated memory: 581776 KiB
[startup+51.1058 s]
/proc/loadavg: 2.89 2.43 2.86 5/264 89036
/proc/meminfo: memFree=126214708/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=607012 memory=581776 CPUtime=50.82 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 97455 0 0 0 5061 21 0 0 20 0 1 0 78266406 621580288 145444 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 151753 145444 1024 1200 0 150233 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 607012 KiB
Current children cumulated memory: 581776 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 2.69 2.93 5/264 89037
/proc/meminfo: memFree=126206096/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=607012 memory=581776 CPUtime=101.72 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 97544 0 0 0 10150 22 0 0 20 0 1 0 78266406 621580288 145444 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 151753 145444 1024 1200 0 150233 0
Current children cumulated CPU time: 101.72 s
Current children cumulated vsize: 607012 KiB
Current children cumulated memory: 581776 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.95 3.01 5/264 89043
/proc/meminfo: memFree=126199288/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=607012 memory=581776 CPUtime=161.36 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 97631 0 0 0 16114 22 0 0 20 0 1 0 78266406 621580288 145444 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 151753 145444 1024 1200 0 150233 0
Current children cumulated CPU time: 161.36 s
Current children cumulated vsize: 607012 KiB
Current children cumulated memory: 581776 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 3.16 3.08 5/265 89047
/proc/meminfo: memFree=126195608/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=607012 memory=581776 CPUtime=220.98 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 97676 0 0 0 22076 22 0 0 20 0 1 0 78266406 621580288 145444 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 151753 145444 1024 1200 0 150233 0
Current children cumulated CPU time: 220.98 s
Current children cumulated vsize: 607012 KiB
Current children cumulated memory: 581776 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.33 3.14 5/265 89049
/proc/meminfo: memFree=126198848/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=607012 memory=581776 CPUtime=280.6 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 97722 0 0 0 28038 22 0 0 20 0 1 0 78266406 621580288 145444 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 151753 145444 1024 1200 0 150233 0
Current children cumulated CPU time: 280.6 s
Current children cumulated vsize: 607012 KiB
Current children cumulated memory: 581776 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.47 3.20 5/265 89051
/proc/meminfo: memFree=126181788/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=607012 memory=581776 CPUtime=340.22 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 97773 0 0 0 34000 22 0 0 20 0 1 0 78266406 621580288 145444 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 151753 145444 1024 1200 0 150233 0
Current children cumulated CPU time: 340.22 s
Current children cumulated vsize: 607012 KiB
Current children cumulated memory: 581776 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.60 3.27 5/265 89098
/proc/meminfo: memFree=124402764/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=1214324 memory=1151136 CPUtime=399.99 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 151582 0 0 0 39958 41 0 0 20 0 1 0 78266406 1243467776 287784 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 303581 287784 1280 1200 0 302061 0
Current children cumulated CPU time: 399.99 s
Current children cumulated vsize: 1214324 KiB
Current children cumulated memory: 1151136 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 3.68 3.31 5/265 89100
/proc/meminfo: memFree=122958984/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=1428676 memory=1353248 CPUtime=459.83 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 179431 0 0 0 45934 49 0 0 20 0 1 0 78266406 1462964224 338312 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 357169 338312 1280 1200 0 355649 0
Current children cumulated CPU time: 459.83 s
################
# More data... #
################
/proc/89030/statm: 2366725 1885664 1280 1200 0 2365205 0
Current children cumulated CPU time: 2912.91 s
Current children cumulated vsize: 9466900 KiB
Current children cumulated memory: 7542656 KiB
[startup+2982.3 s]
/proc/loadavg: 4.21 4.19 4.11 5/264 89331
/proc/meminfo: memFree=108941868/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=9467092 memory=7926800 CPUtime=2972.73 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 1259243 0 0 0 296865 408 0 0 20 0 1 0 78266406 9694302208 1981700 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 2366773 1981700 1280 1200 0 2365253 0
Current children cumulated CPU time: 2972.73 s
Current children cumulated vsize: 9467092 KiB
Current children cumulated memory: 7926800 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.17 4.10 5/264 89333
/proc/meminfo: memFree=108897260/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=9479132 memory=7930712 CPUtime=3032.55 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 1260929 0 0 0 302842 413 0 0 20 0 1 0 78266406 9706631168 1982678 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 2369783 1982678 1280 1200 0 2368263 0
Current children cumulated CPU time: 3032.55 s
Current children cumulated vsize: 9479132 KiB
Current children cumulated memory: 7930712 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.14 4.09 5/264 89335
/proc/meminfo: memFree=108829348/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=9479132 memory=7933016 CPUtime=3092.37 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 1262837 0 0 0 308819 418 0 0 20 0 1 0 78266406 9706631168 1983254 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 2369783 1983254 1280 1200 0 2368263 0
Current children cumulated CPU time: 3092.37 s
Current children cumulated vsize: 9479132 KiB
Current children cumulated memory: 7933016 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/266 89344
/proc/meminfo: memFree=108830384/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=9479132 memory=7933528 CPUtime=3152.18 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 1264456 0 0 0 314796 422 0 0 20 0 1 0 78266406 9706631168 1983382 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 2369783 1983382 1280 1200 0 2368263 0
Current children cumulated CPU time: 3152.18 s
Current children cumulated vsize: 9479132 KiB
Current children cumulated memory: 7933528 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/266 89390
/proc/meminfo: memFree=107342864/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=9479132 memory=7934168 CPUtime=3211.99 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 1265758 0 0 0 320771 428 0 0 20 0 1 0 78266406 9706631168 1983542 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 2369783 1983542 1280 1200 0 2368263 0
Current children cumulated CPU time: 3211.99 s
Current children cumulated vsize: 9479132 KiB
Current children cumulated memory: 7934168 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/265 89392
/proc/meminfo: memFree=107093164/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=9479132 memory=7934552 CPUtime=3271.81 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 1267424 0 0 0 326749 432 0 0 20 0 1 0 78266406 9706631168 1983638 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 2369783 1983638 1280 1200 0 2368263 0
Current children cumulated CPU time: 3271.81 s
Current children cumulated vsize: 9479132 KiB
Current children cumulated memory: 7934552 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 89394
/proc/meminfo: memFree=107024856/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=9479132 memory=7934936 CPUtime=3331.62 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 1268241 0 0 0 332725 437 0 0 20 0 1 0 78266406 9706631168 1983734 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 2369783 1983734 1280 1200 0 2368263 0
Current children cumulated CPU time: 3331.62 s
Current children cumulated vsize: 9479132 KiB
Current children cumulated memory: 7934936 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 89396
/proc/meminfo: memFree=106978580/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=9479132 memory=7935192 CPUtime=3391.43 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 1270098 0 0 0 338703 440 0 0 20 0 1 0 78266406 9706631168 1983798 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 2369783 1983798 1280 1200 0 2368263 0
Current children cumulated CPU time: 3391.43 s
Current children cumulated vsize: 9479132 KiB
Current children cumulated memory: 7935192 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 89398
/proc/meminfo: memFree=106940724/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=9479132 memory=7935192 CPUtime=3451.25 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 1271605 0 0 0 344682 443 0 0 20 0 1 0 78266406 9706631168 1983798 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 2369783 1983798 1280 1200 0 2368263 0
Current children cumulated CPU time: 3451.25 s
Current children cumulated vsize: 9479132 KiB
Current children cumulated memory: 7935192 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 89401
/proc/meminfo: memFree=106904388/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=9479132 memory=7935576 CPUtime=3511.06 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 1273018 0 0 0 350657 449 0 0 20 0 1 0 78266406 9706631168 1983894 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 2369783 1983894 1280 1200 0 2368263 0
Current children cumulated CPU time: 3511.06 s
Current children cumulated vsize: 9479132 KiB
Current children cumulated memory: 7935576 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 89451
/proc/meminfo: memFree=106209968/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=9479132 memory=7935576 CPUtime=3570.88 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 1274625 0 0 0 356636 452 0 0 20 0 1 0 78266406 9706631168 1983894 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 2369783 1983894 1280 1200 0 2368263 0
Current children cumulated CPU time: 3570.88 s
Current children cumulated vsize: 9479132 KiB
Current children cumulated memory: 7935576 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 89453
/proc/meminfo: memFree=106206340/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=9479132 memory=7935576 CPUtime=3600 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 1275016 0 0 0 359547 453 0 0 20 0 1 0 78266406 9706631168 1983894 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 2369783 1983894 1280 1200 0 2368263 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 9479132 KiB
Current children cumulated memory: 7935576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.04 s]
# the end of solver process 89030 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3595.79 s, system=4.7459 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.6 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 89453
/proc/meminfo: memFree=106206340/131250000 swapFree=33007332/33010684
[pid=89030] ppid=89026 vsize=9434836 memory=7892596 CPUtime=3600.09 cores=4,6
/proc/89030/stat : 89030 (Exact) R 89026 89030 88966 0 -1 4194304 1275091 0 0 0 359556 453 0 0 20 0 1 0 78266406 9661272064 1973149 18446744073709551615 4198400 9112445 140732295335600 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 39329792 140732295338297 140732295338475 140732295338475 140732295344079 0
/proc/89030/statm: 2358709 1973149 1280 1200 0 2357189 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 9434836 KiB
Current children cumulated memory: 7892596 KiB
[startup+3612.01 s]*
/proc/loadavg: 4.09 4.10 4.09 4/260 89476
/proc/meminfo: memFree=126593264/131250000 swapFree=33007332/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 10
Real time (s): 3612.04
CPU time (s): 3600.54
CPU user time (s): 3595.79
CPU system time (s): 4.7459
CPU usage (%): 99.6817
Max. virtual memory (cumulated for all children) (KiB): 9479132
Max. memory (cumulated for all children) (KiB): 7935576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.79
system time used= 4.7459
maximum resident set size= 7935576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1275227
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= 47
involuntary context switches= 3214
# summary of solver processes directly reported to runsolver:
# pid: 89030
# total CPU time (s): 3600.54
# total CPU user time (s): 3595.79
# total CPU system time (s): 4.7459
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79837 second user time and 16.1475 second system time
The end
Begin job on nodeC019 at 2025-07-04 12:44:49 IDJOB=4525779 IDBENCH=143893 IDSOLVER=3375 FILE ID=nodeC019/4525779-1751625889 RUNJOBID= nodeC019-1751625889-88977 SLURM_JOB_ID= 9598952 Free space on /tmp= 431564 MiB SOLVER NAME= Exact 2025-06-02 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub1_wcsp.wbo COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525779-1751625889/watcher-4525779-1751625889 -o /tmp/evaluation-result-4525779-1751625889/solver-4525779-1751625889 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751625889-88977 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=743719171 --ls=360 HOME/instance-4525779-1751625889.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4332859c61197d8e78afa6b8b48bb73c RANDOM SEED=743719171 nodeC019 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.646 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.37 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 : 3414.148 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.37 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.356 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.37 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 : 3370.422 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.37 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.673 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.37 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 : 3504.019 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.37 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.962 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.37 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 : 3563.925 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 127944272 kB MemAvailable: 129758364 kB Buffers: 904 kB Cached: 2614648 kB SwapCached: 440 kB Active: 217732 kB Inactive: 2465288 kB Active(anon): 54924 kB Inactive(anon): 27736 kB Active(file): 162808 kB Inactive(file): 2437552 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33007332 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 47808 kB Writeback: 12 kB AnonPages: 69996 kB Mapped: 103652 kB Shmem: 15192 kB KReclaimable: 105940 kB Slab: 196040 kB SReclaimable: 105940 kB SUnreclaim: 90100 kB KernelStack: 4128 kB PageTables: 3020 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 332172 kB VmallocTotal: 34359738367 kB VmallocUsed: 150424 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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: 176852 kB DirectMap2M: 9031680 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431548 MiB End job on nodeC019 at 2025-07-04 13:45:01