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.06 | 3611.62 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-412_wcsp.wbo |
| MD5SUM | 84bec45daf3e2f2cbd3688999a3e29ea |
| 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 | 32381 |
| Best CPU time to get the best result obtained on this benchmark | 0.763593 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 844 |
| Total number of constraints | 7574 |
| Number of soft constraints | 7274 |
| Number of constraints which are clauses | 7274 |
| Number of constraints which are cardinality constraints (but not clauses) | 300 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 4 |
| Top cost | 48484 |
| Min constraint cost | 1 |
| Max constraint cost | 48484 |
| Sum of constraints costs | 338175899 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 5 |
| Number of bits of the biggest sum of numbers | 3 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
359.14/360.17 o 41421 359.14/360.17 o 33389 367.40/368.43 o 32422 367.60/368.69 o 32421 367.90/368.90 o 32420 368.01/369.02 o 32419 368.12/369.17 o 32418 368.40/369.41 o 32417 368.60/369.64 o 32416 368.80/369.84 o 32415 370.29/371.37 o 32414 372.69/373.76 o 32413 375.48/376.57 o 32412 396.11/397.22 o 32411 401.80/402.95 o 32410 401.91/403.04 o 32409 402.59/403.74 o 32408 403.09/404.25 o 32407 403.39/404.50 o 32406 405.00/406.17 o 32405 407.78/408.94 o 32404 426.93/428.12 o 32403 430.21/431.47 o 32402 432.40/433.66 o 32401 432.91/434.16 o 32400 457.52/458.85 o 32399 528.80/530.31 o 32398 574.06/575.78 o 32397 629.09/630.95 o 32396 629.30/631.13 o 32395 772.55/774.83 o 32394 1243.07/1246.83 o 32393 1243.17/1246.93 o 32392 1243.46/1247.22 o 32391 1243.56/1247.34 o 32390 1243.66/1247.47 o 32389 1243.76/1247.52 o 32388 1243.96/1247.77 o 32387 3600.03/3611.60 c Program interrupted by user. 3600.03/3611.60 s SATISFIABLE 3600.03/3611.60 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 -x777 -x778 x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 x800 -x801 x802 -x803 x804 -x805 x806 -x807 x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 x816 -x817 x818 -x819 -x820 -x821 x822 -x823 x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 x832 -x833 -x834 x835 -x836 x837 -x838 -x839 -x840 -x841 x842 -x843 -x844
OK 32387
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (61535 MiB free)
memory of node 1: 64465 MiB (60945 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526347-1751630445/watcher-4526347-1751630445 -o /tmp/evaluation-result-4526347-1751630445/solver-4526347-1751630445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751624136-90940 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1753205038 --ls=360 --inp-dombreaklim=0 HOME/instance-4526347-1751630445.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=92198, runsolver pid=92195
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.13 4.19 4.17 6/251 92199
/proc/meminfo: memFree=125402040/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=46732 memory=24848 CPUtime=0.1 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 5692 0 0 0 10 0 0 0 20 0 1 0 78723894 47853568 6212 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 11683 6212 1024 1200 0 10163 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46732 KiB
Current children cumulated memory: 24848 KiB
[startup+0.212514 s]*
/proc/loadavg: 4.13 4.19 4.17 5/251 92199
/proc/meminfo: memFree=125402040/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=46732 memory=24848 CPUtime=0.21 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 5692 0 0 0 21 0 0 0 20 0 1 0 78723894 47853568 6212 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 11683 6212 1024 1200 0 10163 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 46732 KiB
Current children cumulated memory: 24848 KiB
[startup+0.312451 s]*
/proc/loadavg: 4.13 4.19 4.17 5/251 92199
/proc/meminfo: memFree=125402040/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=46732 memory=24848 CPUtime=0.31 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 5692 0 0 0 31 0 0 0 20 0 1 0 78723894 47853568 6212 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 11683 6212 1024 1200 0 10163 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 46732 KiB
Current children cumulated memory: 24848 KiB
[startup+0.70024 s]
/proc/loadavg: 4.13 4.19 4.17 5/251 92199
/proc/meminfo: memFree=125402040/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=46732 memory=24848 CPUtime=0.68 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 5692 0 0 0 68 0 0 0 20 0 1 0 78723894 47853568 6212 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 11683 6212 1024 1200 0 10163 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46732 KiB
Current children cumulated memory: 24848 KiB
[startup+1.50024 s]
/proc/loadavg: 4.13 4.19 4.17 5/251 92199
/proc/meminfo: memFree=125402040/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=46732 memory=24848 CPUtime=1.48 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 5692 0 0 0 148 0 0 0 20 0 1 0 78723894 47853568 6212 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 11683 6212 1024 1200 0 10163 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46732 KiB
Current children cumulated memory: 24848 KiB
[startup+3.11273 s]
/proc/loadavg: 4.13 4.19 4.17 5/251 92199
/proc/meminfo: memFree=125402044/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=46732 memory=24848 CPUtime=3.09 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 5692 0 0 0 309 0 0 0 20 0 1 0 78723894 47853568 6212 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 11683 6212 1024 1200 0 10163 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 46732 KiB
Current children cumulated memory: 24848 KiB
[startup+6.30025 s]
/proc/loadavg: 4.12 4.19 4.17 5/251 92199
/proc/meminfo: memFree=125402548/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=46732 memory=24848 CPUtime=6.26 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 5692 0 0 0 626 0 0 0 20 0 1 0 78723894 47853568 6212 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 11683 6212 1024 1200 0 10163 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 46732 KiB
Current children cumulated memory: 24848 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.18 4.17 5/251 92199
/proc/meminfo: memFree=125381820/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=46732 memory=24848 CPUtime=12.65 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 5692 0 0 0 1265 0 0 0 20 0 1 0 78723894 47853568 6212 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 11683 6212 1024 1200 0 10163 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 46732 KiB
Current children cumulated memory: 24848 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.19 4.18 5/250 92211
/proc/meminfo: memFree=125381540/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=46732 memory=24848 CPUtime=25.41 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 5692 0 0 0 2541 0 0 0 20 0 1 0 78723894 47853568 6212 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 11683 6212 1024 1200 0 10163 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 46732 KiB
Current children cumulated memory: 24848 KiB
[startup+51.1126 s]
/proc/loadavg: 4.10 4.17 4.17 5/250 92211
/proc/meminfo: memFree=125381768/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=46732 memory=24848 CPUtime=50.94 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 5692 0 0 0 5094 0 0 0 20 0 1 0 78723894 47853568 6212 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 11683 6212 1024 1200 0 10163 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 46732 KiB
Current children cumulated memory: 24848 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.16 4.17 5/251 92214
/proc/meminfo: memFree=125352264/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=46732 memory=24848 CPUtime=101.99 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 5692 0 0 0 10199 0 0 0 20 0 1 0 78723894 47853568 6212 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 11683 6212 1024 1200 0 10163 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 46732 KiB
Current children cumulated memory: 24848 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/251 92216
/proc/meminfo: memFree=125283152/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=46732 memory=24848 CPUtime=161.83 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 5692 0 0 0 16183 0 0 0 20 0 1 0 78723894 47853568 6212 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 11683 6212 1024 1200 0 10163 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 46732 KiB
Current children cumulated memory: 24848 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/251 92223
/proc/meminfo: memFree=125261656/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=46732 memory=24848 CPUtime=221.68 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 5692 0 0 0 22168 0 0 0 20 0 1 0 78723894 47853568 6212 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 11683 6212 1024 1200 0 10163 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 46732 KiB
Current children cumulated memory: 24848 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/251 92225
/proc/meminfo: memFree=125215268/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=46732 memory=24848 CPUtime=281.52 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 5692 0 0 0 28152 0 0 0 20 0 1 0 78723894 47853568 6212 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 11683 6212 1024 1200 0 10163 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 46732 KiB
Current children cumulated memory: 24848 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/251 92227
/proc/meminfo: memFree=125188652/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=46732 memory=24848 CPUtime=341.37 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 5692 0 0 0 34137 0 0 0 20 0 1 0 78723894 47853568 6212 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 11683 6212 1024 1200 0 10163 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 46732 KiB
Current children cumulated memory: 24848 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.15 4.16 5/250 92229
/proc/meminfo: memFree=125036196/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=171244 memory=142304 CPUtime=401.2 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 29376 0 0 0 40104 16 0 0 20 0 1 0 78723894 175353856 35576 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 42811 35576 1280 1200 0 41291 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 171244 KiB
Current children cumulated memory: 142304 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/251 92232
/proc/meminfo: memFree=124970900/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=211792 memory=183520 CPUtime=461.01 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 39718 0 0 0 46065 36 0 0 20 0 1 0 78723894 216875008 45880 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 52948 45880 1280 1200 0 51428 0
Current children cumulated CPU time: 461.01 s
################
# More data... #
################
Current children cumulated memory: 284000 KiB
[startup+2862.3 s]
/proc/loadavg: 4.17 4.16 4.17 5/251 92436
/proc/meminfo: memFree=125863572/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=307876 memory=284000 CPUtime=2853.29 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 64046 0 0 0 284632 697 0 0 20 0 1 0 78723894 315265024 71000 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 76969 71000 1280 1200 0 75449 0
Current children cumulated CPU time: 2853.29 s
Current children cumulated vsize: 307876 KiB
Current children cumulated memory: 284000 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/251 92438
/proc/meminfo: memFree=125865968/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=308540 memory=284640 CPUtime=2913.07 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 64217 0 0 0 290598 709 0 0 20 0 1 0 78723894 315944960 71160 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 77135 71160 1280 1200 0 75615 0
Current children cumulated CPU time: 2913.07 s
Current children cumulated vsize: 308540 KiB
Current children cumulated memory: 284640 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/250 92442
/proc/meminfo: memFree=125866476/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=308540 memory=284768 CPUtime=2972.84 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 64242 0 0 0 296561 723 0 0 20 0 1 0 78723894 315944960 71192 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 77135 71192 1280 1200 0 75615 0
Current children cumulated CPU time: 2972.84 s
Current children cumulated vsize: 308540 KiB
Current children cumulated memory: 284768 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.14 4.15 5/249 92445
/proc/meminfo: memFree=125859428/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=309108 memory=285408 CPUtime=3032.59 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 64484 0 0 0 302525 734 0 0 20 0 1 0 78723894 316526592 71352 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 77277 71352 1280 1200 0 75757 0
Current children cumulated CPU time: 3032.59 s
Current children cumulated vsize: 309108 KiB
Current children cumulated memory: 285408 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/249 92447
/proc/meminfo: memFree=124870464/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=309504 memory=285792 CPUtime=3092.37 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 64584 0 0 0 308486 751 0 0 20 0 1 0 78723894 316932096 71448 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 77376 71448 1280 1200 0 75856 0
Current children cumulated CPU time: 3092.37 s
Current children cumulated vsize: 309504 KiB
Current children cumulated memory: 285792 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/249 92449
/proc/meminfo: memFree=121775852/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=309504 memory=285920 CPUtime=3152.17 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 64739 0 0 0 314453 764 0 0 20 0 1 0 78723894 316932096 71480 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 77376 71480 1280 1200 0 75856 0
Current children cumulated CPU time: 3152.17 s
Current children cumulated vsize: 309504 KiB
Current children cumulated memory: 285920 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/250 92456
/proc/meminfo: memFree=120110780/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=310024 memory=286304 CPUtime=3211.99 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 64844 0 0 0 320418 781 0 0 20 0 1 0 78723894 317464576 71576 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 77506 71576 1280 1200 0 75986 0
Current children cumulated CPU time: 3211.99 s
Current children cumulated vsize: 310024 KiB
Current children cumulated memory: 286304 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/250 92458
/proc/meminfo: memFree=116357940/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=310924 memory=287200 CPUtime=3271.8 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 65069 0 0 0 326383 797 0 0 20 0 1 0 78723894 318386176 71800 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 77731 71800 1280 1200 0 76211 0
Current children cumulated CPU time: 3271.8 s
Current children cumulated vsize: 310924 KiB
Current children cumulated memory: 287200 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.12 4.14 5/252 92463
/proc/meminfo: memFree=115031992/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=310924 memory=287200 CPUtime=3331.62 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 65202 0 0 0 332348 814 0 0 20 0 1 0 78723894 318386176 71800 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 77731 71800 1280 1200 0 76211 0
Current children cumulated CPU time: 3331.62 s
Current children cumulated vsize: 310924 KiB
Current children cumulated memory: 287200 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/252 92465
/proc/meminfo: memFree=114471520/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=311736 memory=287968 CPUtime=3391.43 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 65400 0 0 0 338311 832 0 0 20 0 1 0 78723894 319217664 71992 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 77934 71992 1280 1200 0 76414 0
Current children cumulated CPU time: 3391.43 s
Current children cumulated vsize: 311736 KiB
Current children cumulated memory: 287968 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.13 5/252 92467
/proc/meminfo: memFree=111702064/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=311872 memory=288224 CPUtime=3451.25 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 65559 0 0 0 344277 848 0 0 20 0 1 0 78723894 319356928 72056 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 77968 72056 1280 1200 0 76448 0
Current children cumulated CPU time: 3451.25 s
Current children cumulated vsize: 311872 KiB
Current children cumulated memory: 288224 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/253 92514
/proc/meminfo: memFree=110153668/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=312564 memory=288864 CPUtime=3511.04 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 65732 0 0 0 350236 868 0 0 20 0 1 0 78723894 320065536 72216 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 78141 72216 1280 1200 0 76621 0
Current children cumulated CPU time: 3511.04 s
Current children cumulated vsize: 312564 KiB
Current children cumulated memory: 288864 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/253 92516
/proc/meminfo: memFree=108536800/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=312980 memory=289248 CPUtime=3570.83 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 65840 0 0 0 356202 881 0 0 20 0 1 0 78723894 320491520 72312 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 78245 72312 1280 1200 0 76725 0
Current children cumulated CPU time: 3570.83 s
Current children cumulated vsize: 312980 KiB
Current children cumulated memory: 289248 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 4.13 4.12 4.12 5/250 92516
/proc/meminfo: memFree=108373232/131382116 swapFree=33005528/33010684
[pid=92198] ppid=92195 vsize=312980 memory=289376 CPUtime=3600.03 cores=1,3
/proc/92198/stat : 92198 (Exact) R 92195 92198 90928 0 -1 4194304 65994 0 0 0 359116 887 0 0 20 0 1 0 78723894 320491520 72344 18446744073709551615 4198400 9112445 140730398152240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 27381760 140730398161188 140730398161387 140730398161387 140730398166991 0
/proc/92198/statm: 78245 72344 1280 1200 0 76725 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 312980 KiB
Current children cumulated memory: 289376 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.62 s]
# the end of solver process 92198 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3591.19 s, system=8.87947 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3611.62
CPU time (s): 3600.06
CPU user time (s): 3591.19
CPU system time (s): 8.87947
CPU usage (%): 99.6801
Max. virtual memory (cumulated for all children) (KiB): 312980
Max. memory (cumulated for all children) (KiB): 289376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.19
system time used= 8.87947
maximum resident set size= 289504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65996
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= 98
involuntary context switches= 19096
# summary of solver processes directly reported to runsolver:
# pid: 92198
# total CPU time (s): 3600.06
# total CPU user time (s): 3591.19
# total CPU system time (s): 8.87947
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8312 second user time and 33.6856 second system time
The end
Begin job on nodeC010 at 2025-07-04 14:00:45 IDJOB=4526347 IDBENCH=144045 IDSOLVER=3376 FILE ID=nodeC010/4526347-1751630445 RUNJOBID= nodeC010-1751624136-90940 SLURM_JOB_ID= 9598946 Free space on /tmp= 429812 MiB SOLVER NAME= Exact_no_dombreaking 2025-06-16 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/spot5/normalized-spot5-412_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-4526347-1751630445/watcher-4526347-1751630445 -o /tmp/evaluation-result-4526347-1751630445/solver-4526347-1751630445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751624136-90940 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1753205038 --ls=360 --inp-dombreaklim=0 HOME/instance-4526347-1751630445.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 84bec45daf3e2f2cbd3688999a3e29ea RANDOM SEED=1753205038 nodeC010 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 : 3591.441 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.36 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 : 3392.771 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.36 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.158 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.36 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.144 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.36 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 : 3653.756 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.36 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 : 3664.318 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.585 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.716 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 125419996 kB MemAvailable: 125446296 kB Buffers: 228 kB Cached: 822188 kB SwapCached: 4296 kB Active: 4756816 kB Inactive: 583880 kB Active(anon): 4476980 kB Inactive(anon): 54928 kB Active(file): 279836 kB Inactive(file): 528952 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33005528 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 7616 kB Writeback: 0 kB AnonPages: 4517072 kB Mapped: 114440 kB Shmem: 13628 kB KReclaimable: 114276 kB Slab: 199528 kB SReclaimable: 114276 kB SUnreclaim: 85252 kB KernelStack: 4048 kB PageTables: 12308 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 5419360 kB VmallocTotal: 34359738367 kB VmallocUsed: 149432 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 2097152 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: 205640 kB DirectMap2M: 12279808 kB DirectMap1G: 123731968 kB Free space on /tmp at the end= 429768 MiB End job on nodeC010 at 2025-07-04 15:00:57