Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Exact_no_dombreaking 2025-06-16 | MSAT (TO) | 3600.56 | 3610.41 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/ celar/normalized-celar7-sub3_wcsp.wbo |
| MD5SUM | ab58973f8a134afc7bedbaa01ab0bdb8 |
| 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 | 203460 |
| Best CPU time to get the best result obtained on this benchmark | 73.634 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 776 |
| Total number of constraints | 326836 |
| Number of soft constraints | 326818 |
| Number of constraints which are clauses | 326818 |
| Number of constraints which are cardinality constraints (but not clauses) | 18 |
| 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 | 45857915 |
| Min constraint cost | 1 |
| Max constraint cost | 1000000 |
| Sum of constraints costs | 23120752168 |
| 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 |
363.00/364.88 o 14645260 363.50/365.32 o 1197393 363.90/365.76 o 1197293 364.40/366.22 o 1197193 364.79/366.66 o 1197093 365.30/367.11 o 1196993 365.69/367.57 o 1196992 366.19/368.02 o 1196991 366.59/368.46 o 1186991 367.08/368.91 o 1186990 367.48/369.34 o 1176990 367.88/369.77 o 1176989 368.37/370.20 o 1176988 368.77/370.63 o 1176987 369.19/371.09 o 1166987 369.67/371.56 o 1156987 370.18/372.02 o 1146987 370.57/372.48 o 1146986 371.06/372.91 o 1146985 371.46/373.34 o 1136985 371.86/373.78 o 1126985 372.36/374.22 o 1126984 372.76/374.66 o 1126983 373.17/375.09 o 1126883 373.65/375.53 o 1116883 374.05/375.97 o 1116783 374.55/376.40 o 1116782 374.95/376.83 o 1116682 375.45/377.32 o 1116582 375.85/377.76 o 1106582 376.26/378.19 o 1106482 376.74/378.69 o 1106481 377.25/379.16 o 1096481 377.74/379.64 o 1096381 378.15/380.05 o 1086381 378.53/380.46 o 1076381 378.93/380.88 o 1066381 379.43/381.30 o 1066380 379.83/381.71 o 1066379 380.24/382.14 o 1056379 380.62/382.56 o 1056279 381.03/382.97 o 1056179 381.43/383.37 o 1046179 381.83/383.78 o 1046178 382.32/384.20 o 1046177 382.72/384.62 o 1046077 383.13/385.04 o 1045977 383.51/385.48 o 1035977 384.02/385.91 o 1025977 384.41/386.35 o 1015977 384.81/386.78 o 1005977 385.41/387.32 o 665977 385.70/387.69 o 665877 386.11/388.06 o 665777 869.81/872.93 o 665776 1258.43/1262.59 o 665775 1522.86/1527.64 o 665774 1523.06/1527.89 o 665674 1523.27/1528.10 o 665673 1523.56/1528.32 o 665672 1523.75/1528.54 o 665671 1523.95/1528.75 o 665670 1524.15/1528.99 o 665570 1524.45/1529.21 o 665569 1524.65/1529.44 o 665469 1524.85/1529.65 o 665468 1525.05/1529.89 o 665368 1525.36/1530.11 o 665367 1525.55/1530.33 o 665366 1525.75/1530.55 o 665365 1525.95/1530.76 o 665364 1526.15/1531.00 o 665264 1526.45/1531.23 o 665164 1526.65/1531.47 o 665064 1526.95/1531.70 o 664964 1527.15/1531.92 o 664963 1527.36/1532.13 o 664962 1527.54/1532.34 o 664961 1527.74/1532.58 o 664861 1527.94/1532.79 o 664860 1528.25/1533.02 o 664760 1528.44/1533.25 o 664660 1528.64/1533.47 o 664659 1528.94/1533.70 o 664559 1529.14/1533.93 o 664459 1529.35/1534.18 o 664359 1529.54/1534.38 o 664358 1529.84/1534.62 o 664258 1530.03/1534.83 o 664257 1530.25/1535.03 o 664256 1530.43/1535.24 o 664255 1530.63/1535.45 o 664254 1530.83/1535.68 o 664154 1531.03/1535.88 o 664153 1531.24/1536.08 o 664152 1531.43/1536.29 o 664151 1531.63/1536.49 o 664150 1531.93/1536.72 o 664050 1532.13/1536.94 o 664049 1532.34/1537.16 o 663949 1532.53/1537.37 o 663948 1532.84/1537.60 o 663848 1533.04/1537.82 o 663748 1533.25/1538.03 o 663747 1533.43/1538.26 o 663647 1731.16/1736.45 o 663646 2203.49/2210.00 o 657483 2427.73/2434.73 o 654861 2428.03/2435.01 o 654761 2428.22/2435.29 o 654661 2428.52/2435.56 o 654660 2428.82/2435.83 o 654560 2429.03/2436.10 o 654559 2429.32/2436.36 o 654558 2429.62/2436.63 o 654458 2429.92/2436.91 o 644458 2430.13/2437.17 o 644358 2430.42/2437.43 o 644258 2430.62/2437.67 o 644257 2430.92/2437.93 o 644157 2431.13/2438.18 o 644057 2431.41/2438.42 o 644056 2431.61/2438.66 o 644055 2431.91/2438.93 o 634055 2432.12/2439.16 o 633955 2432.41/2439.40 o 633855 2432.61/2439.63 o 633755 2432.81/2439.86 o 633655 2433.12/2440.12 o 623655 2433.31/2440.37 o 613655 2443.68/2450.77 o 603666 2443.88/2450.98 o 603665 2444.09/2451.17 o 603664 2444.28/2451.37 o 603663 2444.48/2451.57 o 603662 2444.68/2451.77 o 603661 2444.87/2451.97 o 603660 2445.09/2452.17 o 603659 2445.27/2452.36 o 603658 2445.47/2452.56 o 603657 2445.67/2452.75 o 603656 2445.87/2452.95 o 603655 3095.79/3104.43 o 603654 3600.04/3609.90 c Program interrupted by user. 3600.04/3609.90 s SATISFIABLE 3600.04/3609.90 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 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
OK 553658
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: 63794 MiB (60032 MiB free)
memory of node 1: 64507 MiB (58688 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525708-1751624934/watcher-4525708-1751624934 -o /tmp/evaluation-result-4525708-1751624934/solver-4525708-1751624934 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751617714-92125 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=661833438 --ls=360 --inp-dombreaklim=0 HOME/instance-4525708-1751624934.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
Current StackSize limit: 8192 KiB
solver pid=94577, runsolver pid=94574
[startup+0.100072 s]*
/proc/loadavg: 4.15 4.10 4.09 5/251 94578
/proc/meminfo: memFree=121568968/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=48948 memory=24032 CPUtime=0.1 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 7059 0 0 0 9 1 0 0 20 0 1 0 78173201 50122752 6008 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 12237 6008 1024 1200 0 10717 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48948 KiB
Current children cumulated memory: 24032 KiB
[startup+0.213234 s]*
/proc/loadavg: 4.15 4.10 4.09 5/251 94578
/proc/meminfo: memFree=121539484/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=87060 memory=64712 CPUtime=0.22 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 18139 0 0 0 18 4 0 0 20 0 1 0 78173201 89149440 16178 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 21765 16178 1024 1200 0 20245 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 87060 KiB
Current children cumulated memory: 64712 KiB
[startup+0.313079 s]*
/proc/loadavg: 4.15 4.10 4.09 5/251 94578
/proc/meminfo: memFree=121523860/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=116616 memory=91220 CPUtime=0.31 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 23527 0 0 0 26 5 0 0 20 0 1 0 78173201 119414784 22805 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 29154 22805 1024 1200 0 27634 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 116616 KiB
Current children cumulated memory: 91220 KiB
[startup+0.700321 s]
/proc/loadavg: 4.15 4.10 4.09 5/251 94578
/proc/meminfo: memFree=121454992/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=242188 memory=216712 CPUtime=0.68 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 41673 0 0 0 59 9 0 0 20 0 1 0 78173201 248000512 54178 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 60547 54178 1024 1200 0 59027 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 242188 KiB
Current children cumulated memory: 216712 KiB
[startup+1.50033 s]
/proc/loadavg: 4.15 4.10 4.09 5/251 94578
/proc/meminfo: memFree=121289216/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=485916 memory=462756 CPUtime=1.48 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 72457 0 0 0 130 18 0 0 20 0 1 0 78173201 497577984 115177 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 121479 115689 1024 1200 0 119959 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 485916 KiB
Current children cumulated memory: 462756 KiB
[startup+3.11314 s]
/proc/loadavg: 4.15 4.10 4.09 5/251 94579
/proc/meminfo: memFree=120773756/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=903924 memory=835908 CPUtime=3.09 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 113997 0 0 0 277 32 0 0 20 0 1 0 78173201 925618176 208977 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 225981 208977 1024 1200 0 224461 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 903924 KiB
Current children cumulated memory: 835908 KiB
[startup+6.30031 s]
/proc/loadavg: 4.14 4.10 4.09 5/251 94579
/proc/meminfo: memFree=120774436/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=903924 memory=835908 CPUtime=6.27 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 114093 0 0 0 595 32 0 0 20 0 1 0 78173201 925618176 208977 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 225981 208977 1024 1200 0 224461 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 903924 KiB
Current children cumulated memory: 835908 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.10 4.09 5/251 94579
/proc/meminfo: memFree=120773684/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=903924 memory=835908 CPUtime=12.65 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 114190 0 0 0 1232 33 0 0 20 0 1 0 78173201 925618176 208977 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 225981 208977 1024 1200 0 224461 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 903924 KiB
Current children cumulated memory: 835908 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 94579
/proc/meminfo: memFree=120774188/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=903924 memory=835908 CPUtime=25.4 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 114329 0 0 0 2507 33 0 0 20 0 1 0 78173201 925618176 208977 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 225981 208977 1024 1200 0 224461 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 903924 KiB
Current children cumulated memory: 835908 KiB
[startup+51.1131 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 94579
/proc/meminfo: memFree=120775700/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=903924 memory=835908 CPUtime=50.93 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 114482 0 0 0 5060 33 0 0 20 0 1 0 78173201 925618176 208977 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 225981 208977 1024 1200 0 224461 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 903924 KiB
Current children cumulated memory: 835908 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 94626
/proc/meminfo: memFree=121481260/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=903924 memory=835908 CPUtime=101.91 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 114664 0 0 0 10157 34 0 0 20 0 1 0 78173201 925618176 208977 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 225981 208977 1024 1200 0 224461 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 903924 KiB
Current children cumulated memory: 835908 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 94628
/proc/meminfo: memFree=121489376/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=903924 memory=835908 CPUtime=161.59 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 114777 0 0 0 16125 34 0 0 20 0 1 0 78173201 925618176 208977 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 225981 208977 1024 1200 0 224461 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 903924 KiB
Current children cumulated memory: 835908 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 94633
/proc/meminfo: memFree=121487720/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=903924 memory=835908 CPUtime=221.27 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 114857 0 0 0 22093 34 0 0 20 0 1 0 78173201 925618176 208977 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 225981 208977 1024 1200 0 224461 0
Current children cumulated CPU time: 221.27 s
Current children cumulated vsize: 903924 KiB
Current children cumulated memory: 835908 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 94635
/proc/meminfo: memFree=121246512/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=903924 memory=835908 CPUtime=280.95 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 114937 0 0 0 28060 35 0 0 20 0 1 0 78173201 925618176 208977 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 225981 208977 1024 1200 0 224461 0
Current children cumulated CPU time: 280.95 s
Current children cumulated vsize: 903924 KiB
Current children cumulated memory: 835908 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 94637
/proc/meminfo: memFree=120336984/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=903924 memory=835908 CPUtime=340.62 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 115018 0 0 0 34027 35 0 0 20 0 1 0 78173201 925618176 208977 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 225981 208977 1024 1200 0 224461 0
Current children cumulated CPU time: 340.62 s
Current children cumulated vsize: 903924 KiB
Current children cumulated memory: 835908 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 94639
/proc/meminfo: memFree=118381264/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=2603132 memory=2358444 CPUtime=400.35 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 341126 0 0 0 39937 98 0 0 20 0 1 0 78173201 2665607168 589611 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 650783 589611 1248 1200 0 649263 0
Current children cumulated CPU time: 400.35 s
Current children cumulated vsize: 2603132 KiB
Current children cumulated memory: 2358444 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/251 94646
/proc/meminfo: memFree=115692804/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=3452532 memory=3068356 CPUtime=460.16 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 443715 0 0 0 45885 131 0 0 20 0 1 0 78173201 3535392768 767089 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 863133 767089 1248 1200 0 861613 0
Current children cumulated CPU time: 460.16 s
################
# More data... #
################
/proc/94577/statm: 1969146 1685899 1248 1200 0 1967626 0
Current children cumulated CPU time: 2973.99 s
Current children cumulated vsize: 7876584 KiB
Current children cumulated memory: 6743596 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/250 94818
/proc/meminfo: memFree=111052064/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=7878128 memory=6882984 CPUtime=3033.84 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 1049520 0 0 0 302975 409 0 0 20 0 1 0 78173201 8067203072 1720746 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 1969532 1720746 1248 1200 0 1968012 0
Current children cumulated CPU time: 3033.84 s
Current children cumulated vsize: 7878128 KiB
Current children cumulated memory: 6882984 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 94820
/proc/meminfo: memFree=110856116/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=7883788 memory=7081548 CPUtime=3093.69 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 1062931 0 0 0 308950 419 0 0 20 0 1 0 78173201 8072998912 1770387 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 1970947 1770387 1248 1200 0 1969427 0
Current children cumulated CPU time: 3093.69 s
Current children cumulated vsize: 7883788 KiB
Current children cumulated memory: 7081548 KiB
[startup+3162.3 s]
/proc/loadavg: 4.64 4.24 4.14 5/250 94822
/proc/meminfo: memFree=110673796/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=7897968 memory=7189704 CPUtime=3153.54 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 1067225 0 0 0 314927 427 0 0 20 0 1 0 78173201 8087519232 1797426 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 1974492 1797426 1248 1200 0 1972972 0
Current children cumulated CPU time: 3153.54 s
Current children cumulated vsize: 7897968 KiB
Current children cumulated memory: 7189704 KiB
[startup+3222.3 s]
/proc/loadavg: 4.43 4.26 4.16 5/250 94824
/proc/meminfo: memFree=110637116/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=7897968 memory=7189704 CPUtime=3213.4 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 1068246 0 0 0 320910 430 0 0 20 0 1 0 78173201 8087519232 1797426 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 1974492 1797426 1248 1200 0 1972972 0
Current children cumulated CPU time: 3213.4 s
Current children cumulated vsize: 7897968 KiB
Current children cumulated memory: 7189704 KiB
[startup+3282.3 s]
/proc/loadavg: 4.26 4.24 4.16 5/250 94829
/proc/meminfo: memFree=110642112/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=7897968 memory=7189832 CPUtime=3273.27 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 1068506 0 0 0 326893 434 0 0 20 0 1 0 78173201 8087519232 1797458 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 1974492 1797458 1248 1200 0 1972972 0
Current children cumulated CPU time: 3273.27 s
Current children cumulated vsize: 7897968 KiB
Current children cumulated memory: 7189832 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.21 4.15 5/250 94831
/proc/meminfo: memFree=110339308/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=7924400 memory=7218152 CPUtime=3333.12 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 1072423 0 0 0 332871 441 0 0 20 0 1 0 78173201 8114585600 1804538 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 1981100 1804538 1248 1200 0 1979580 0
Current children cumulated CPU time: 3333.12 s
Current children cumulated vsize: 7924400 KiB
Current children cumulated memory: 7218152 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.19 4.15 5/250 94833
/proc/meminfo: memFree=110002976/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=7924400 memory=7219688 CPUtime=3392.97 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 1073557 0 0 0 338853 444 0 0 20 0 1 0 78173201 8114585600 1804922 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 1981100 1804922 1248 1200 0 1979580 0
Current children cumulated CPU time: 3392.97 s
Current children cumulated vsize: 7924400 KiB
Current children cumulated memory: 7219688 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.18 4.15 5/250 94835
/proc/meminfo: memFree=110003728/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=7924400 memory=7219688 CPUtime=3452.82 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 1074142 0 0 0 344835 447 0 0 20 0 1 0 78173201 8114585600 1804922 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 1981100 1804922 1248 1200 0 1979580 0
Current children cumulated CPU time: 3452.82 s
Current children cumulated vsize: 7924400 KiB
Current children cumulated memory: 7219688 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.16 4.14 5/251 94842
/proc/meminfo: memFree=109995416/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=7924400 memory=7219688 CPUtime=3512.67 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 1075298 0 0 0 350817 450 0 0 20 0 1 0 78173201 8114585600 1804922 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 1981100 1804922 1248 1200 0 1979580 0
Current children cumulated CPU time: 3512.67 s
Current children cumulated vsize: 7924400 KiB
Current children cumulated memory: 7219688 KiB
[startup+3582.3 s]
/proc/loadavg: 3.57 4.01 4.09 4/245 94874
/proc/meminfo: memFree=114182680/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=7924400 memory=7220584 CPUtime=3572.51 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 1076019 0 0 0 356796 455 0 0 20 0 1 0 78173201 8114585600 1805146 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 1981100 1805146 1248 1200 0 1979580 0
Current children cumulated CPU time: 3572.51 s
Current children cumulated vsize: 7924400 KiB
Current children cumulated memory: 7220584 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 3.38 3.92 4.06 4/245 94875
/proc/meminfo: memFree=114164808/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=7924400 memory=7220584 CPUtime=3600.04 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 1076239 0 0 0 359547 457 0 0 20 0 1 0 78173201 8114585600 1805146 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 1981100 1805146 1248 1200 0 1979580 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 7924400 KiB
Current children cumulated memory: 7220584 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.41 s]
# the end of solver process 94577 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3595.79 s, system=4.76245 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610 s]*
/proc/loadavg: 3.38 3.92 4.06 4/245 94875
/proc/meminfo: memFree=114204704/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=7855528 memory=7169136 CPUtime=3600.15 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 1076300 0 0 0 359558 457 0 0 20 0 1 0 78173201 8044060672 1792284 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 1963882 1792284 1280 1200 0 1962362 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 7855528 KiB
Current children cumulated memory: 7169136 KiB
[startup+3610.2 s]
/proc/loadavg: 3.38 3.92 4.06 4/245 94875
/proc/meminfo: memFree=114204704/131382112 swapFree=33010160/33010684
[pid=94577] ppid=94574 vsize=4568644 memory=3991044 CPUtime=3600.33 cores=4,6
/proc/94577/stat : 94577 (Exact) R 94574 94577 92114 0 -1 4194304 1076578 0 0 0 359573 460 0 0 20 0 1 0 78173201 4678291456 997761 18446744073709551615 4198400 9112445 140722737889984 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 47837184 140722737891621 140722737891819 140722737891819 140722737897423 0
/proc/94577/statm: 1142161 997761 1280 1200 0 1140641 0
Current children cumulated CPU time: 3600.33 s
Current children cumulated vsize: 4568644 KiB
Current children cumulated memory: 3991044 KiB
[startup+3610.3 s]*
/proc/loadavg: 3.35 3.91 4.05 4/245 94875
/proc/meminfo: memFree=118712748/131382112 swapFree=33010160/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): 3610.41
CPU time (s): 3600.56
CPU user time (s): 3595.79
CPU system time (s): 4.76245
CPU usage (%): 99.7271
Max. virtual memory (cumulated for all children) (KiB): 9389052
Max. memory (cumulated for all children) (KiB): 7776816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.79
system time used= 4.76246
maximum resident set size= 7901744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1076621
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= 4
involuntary context switches= 3236
# summary of solver processes directly reported to runsolver:
# pid: 94577
# total CPU time (s): 3600.56
# total CPU user time (s): 3595.79
# total CPU system time (s): 4.76245
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6318 second user time and 34.7211 second system time
The end
Begin job on nodeC009 at 2025-07-04 12:28:54 IDJOB=4525708 IDBENCH=143880 IDSOLVER=3376 FILE ID=nodeC009/4525708-1751624934 RUNJOBID= nodeC009-1751617714-92125 SLURM_JOB_ID= 9598931 Free space on /tmp= 431188 MiB SOLVER NAME= Exact_no_dombreaking 2025-06-16 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub3_wcsp.wbo COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 --inp-dombreaklim=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525708-1751624934/watcher-4525708-1751624934 -o /tmp/evaluation-result-4525708-1751624934/solver-4525708-1751624934 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751617714-92125 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=661833438 --ls=360 --inp-dombreaklim=0 HOME/instance-4525708-1751624934.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ab58973f8a134afc7bedbaa01ab0bdb8 RANDOM SEED=661833438 nodeC009 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 : 3662.778 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.85 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 : 3561.823 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.85 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.479 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.85 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.940 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.85 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 : 3493.106 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.85 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 : 3562.368 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.85 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 : 1196.829 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.85 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 : 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 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.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 121569920 kB MemAvailable: 124257920 kB Buffers: 2144 kB Cached: 3421072 kB SwapCached: 24 kB Active: 6257012 kB Inactive: 2792520 kB Active(anon): 5640064 kB Inactive(anon): 4188 kB Active(file): 616948 kB Inactive(file): 2788332 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 16996 kB Writeback: 0 kB AnonPages: 5629372 kB Mapped: 118020 kB Shmem: 17936 kB KReclaimable: 244312 kB Slab: 331812 kB SReclaimable: 244312 kB SUnreclaim: 87500 kB KernelStack: 4048 kB PageTables: 14096 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 6506476 kB VmallocTotal: 34359738367 kB VmallocUsed: 149416 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 5287936 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: 172872 kB DirectMap2M: 9166848 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431192 MiB End job on nodeC009 at 2025-07-04 13:29:05