Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Exact 2025-06-02 | OPTIMUM | 463.858 | 464.846 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap104_wcsp.wbo |
| MD5SUM | 8ae6cf967e584e12cada7dd8fbc9b19b |
| 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 | 9026651 |
| Best CPU time to get the best result obtained on this benchmark | 0.124763 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1300 |
| Total number of constraints | 2598 |
| Number of soft constraints | 2523 |
| Number of constraints which are clauses | 2523 |
| Number of constraints which are cardinality constraints (but not clauses) | 75 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 25 |
| Top cost | 63586724 |
| Min constraint cost | 1 |
| Max constraint cost | 63586724 |
| Sum of constraints costs | 80090480126 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 26 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
359.42/360.13 o 10503221 359.62/360.37 o 10501084 359.62/360.38 o 9892694 359.62/360.38 o 9891184 361.91/362.64 o 9886856 361.91/362.67 o 9886164 365.40/366.18 o 9884600 365.69/366.42 o 9884386 368.08/368.85 o 9883494 371.68/372.40 o 9882710 372.47/373.21 o 9882331 373.87/374.64 o 9881133 380.16/380.93 o 9880585 380.55/381.31 o 9880582 380.55/381.36 o 9879984 380.75/381.59 o 9879681 380.85/381.64 o 9878779 380.85/381.69 o 9875158 381.45/382.23 o 9873555 381.45/382.27 o 9870001 381.55/382.31 o 9866498 381.55/382.35 o 9860305 381.84/382.63 o 9859759 381.84/382.67 o 9855747 381.94/382.72 o 9852460 381.94/382.78 o 9844641 382.04/382.82 o 9817902 382.04/382.85 o 9795965 382.14/382.93 o 9794954 382.14/382.99 o 9788556 382.25/383.02 o 9787654 382.25/383.06 o 9779159 382.25/383.09 o 9778567 382.35/383.13 o 9777556 382.35/383.15 o 9776654 382.44/383.27 o 9741596 382.55/383.30 o 9740102 382.55/383.33 o 9739091 382.75/383.53 o 9736770 382.75/383.55 o 9735276 382.75/383.58 o 9734265 382.85/383.61 o 9733363 382.85/383.67 o 9726971 382.95/383.71 o 9725477 382.95/383.74 o 9724466 383.14/383.92 o 9690360 383.14/383.95 o 9689906 383.14/383.98 o 9688396 383.26/384.01 o 9686902 383.26/384.04 o 9685891 383.36/384.14 o 9664742 383.64/384.49 o 9656198 383.74/384.52 o 9655187 383.74/384.55 o 9654768 383.74/384.58 o 9651983 383.84/384.61 o 9650473 383.84/384.64 o 9650305 383.84/384.67 o 9648795 383.94/384.71 o 9647301 383.94/384.75 o 9646290 384.14/384.93 o 9619961 384.14/384.96 o 9618451 384.14/384.99 o 9615382 384.25/385.03 o 9613872 384.25/385.06 o 9611879 384.25/385.10 o 9610369 384.35/385.13 o 9609771 385.04/385.83 o 9609341 385.04/385.89 o 9594698 385.14/385.96 o 9593615 385.25/386.02 o 9591416 385.25/386.06 o 9590818 385.25/386.09 o 9588479 385.35/386.15 o 9584888 385.35/386.18 o 9584290 385.44/386.22 o 9583085 385.44/386.28 o 9582692 385.54/386.33 o 9581182 385.64/386.41 o 9575863 385.64/386.45 o 9575256 385.64/386.49 o 9574658 385.74/386.54 o 9573908 385.84/386.62 o 9570346 385.84/386.66 o 9567549 385.84/386.68 o 9566415 385.94/386.71 o 9565169 385.94/386.74 o 9562372 385.94/386.77 o 9561238 386.04/386.81 o 9560033 386.94/387.71 o 9556007 387.13/388.00 o 9550460 387.35/388.13 o 9546914 387.43/388.20 o 9545420 387.53/388.37 o 9544021 387.63/388.44 o 9543010 387.63/388.49 o 9542412 387.73/388.54 o 9540135 387.73/388.58 o 9538625 387.83/388.68 o 9536884 387.93/388.75 o 9536286 388.34/389.17 o 9535235 388.43/389.21 o 9534637 388.43/389.25 o 9533432 388.93/389.73 o 9524468 388.93/389.79 o 9523457 389.03/389.84 o 9514540 389.24/390.09 o 9513529 389.34/390.16 o 9512019 389.42/390.20 o 9511896 389.42/390.23 o 9510885 389.42/390.27 o 9510501 389.52/390.31 o 9509490 389.52/390.34 o 9509114 389.52/390.38 o 9506775 389.62/390.41 o 9506177 390.03/390.85 o 9492406 390.13/390.92 o 9491395 391.42/392.25 o 9490493 392.22/393.10 o 9484402 392.32/393.14 o 9483903 392.41/393.20 o 9482892 392.41/393.25 o 9482769 392.41/393.29 o 9481564 392.51/393.34 o 9480553 392.51/393.39 o 9479684 395.01/395.81 o 9473961 395.11/396.00 o 9468248 395.22/396.07 o 9440631 395.32/396.12 o 9439121 395.32/396.17 o 9438219 396.40/397.25 o 9430339 396.50/397.30 o 9429134 397.60/398.48 o 9424711 397.70/398.53 o 9417377 397.80/398.60 o 9413874 397.90/398.71 o 9412972 398.00/398.81 o 9412374 398.21/399.09 o 9411219 398.31/399.20 o 9392017 399.20/400.08 o 9389972 400.60/401.45 o 9388416 400.70/401.53 o 9388220 400.80/401.62 o 9387015 400.89/401.70 o 9386906 400.89/401.77 o 9386004 400.99/401.86 o 9384851 401.09/401.93 o 9383949 401.09/401.98 o 9383341 401.21/402.03 o 9382439 401.21/402.09 o 9379618 401.31/402.14 o 9379315 401.39/402.20 o 9378413 401.39/402.27 o 9377625 401.49/402.33 o 9376115 401.59/402.44 o 9375812 401.69/402.51 o 9374910 404.29/405.14 o 9367678 404.48/405.31 o 9367060 404.98/405.85 o 9363918 405.08/405.90 o 9361579 405.08/405.95 o 9360981 405.19/406.06 o 9340799 405.29/406.13 o 9338883 405.77/406.67 o 9338180 405.87/406.74 o 9337002 405.87/406.80 o 9335991 405.97/406.86 o 9335585 406.07/406.93 o 9335280 406.07/406.99 o 9335086 406.18/407.05 o 9334075 406.58/407.42 o 9332475 406.87/407.74 o 9329214 406.97/407.81 o 9328503 407.07/407.91 o 9328476 407.07/407.98 o 9327298 408.46/409.32 o 9327049 411.27/412.17 o 9326427 411.36/412.25 o 9325467 411.46/412.31 o 9324390 411.46/412.37 o 9324333 411.56/412.42 o 9324118 412.27/413.11 o 9320138 412.27/413.16 o 9318631 412.36/413.24 o 9313186 412.36/413.28 o 9312971 412.46/413.34 o 9312848 412.56/413.41 o 9312103 412.56/413.46 o 9311888 414.85/415.76 o 9311831 418.84/419.70 o 9311090 418.84/419.79 o 9308063 418.94/419.87 o 9306885 419.15/420.03 o 9306257 419.25/420.13 o 9305079 419.34/420.20 o 9305052 419.34/420.28 o 9303874 419.44/420.39 o 9302863 420.83/421.75 o 9301909 420.93/421.84 o 9300731 421.03/421.95 o 9300232 421.14/422.03 o 9299221 421.33/422.20 o 9298623 422.53/423.41 o 9297138 430.21/431.17 o 9291610 430.30/431.23 o 9290718 430.40/431.38 o 9287996 430.50/431.42 o 9285446 430.50/431.46 o 9283402 430.50/431.49 o 9282268 430.90/431.85 o 9281314 431.50/432.45 o 9277221 431.60/432.51 o 9275821 431.60/432.54 o 9272744 431.60/432.59 o 9272377 431.70/432.63 o 9267700 432.90/433.90 o 9250718 433.00/433.93 o 9243623 433.00/433.96 o 9242489 433.00/434.00 o 9241579 433.11/434.04 o 9240445 433.69/434.68 o 9235911 433.79/434.72 o 9225345 433.79/434.75 o 9224211 433.89/434.80 o 9223616 433.89/434.85 o 9222482 433.89/434.89 o 9221572 433.99/434.93 o 9220438 434.89/435.88 o 9219632 437.58/438.54 o 9217962 437.68/438.61 o 9217300 437.68/438.66 o 9217250 437.78/438.70 o 9216588 437.78/438.74 o 9216340 438.09/439.05 o 9216125 438.87/439.89 o 9216101 438.97/439.93 o 9216044 438.97/439.98 o 9215439 439.08/440.02 o 9215382 439.08/440.06 o 9210514 439.18/440.11 o 9210457 439.87/440.90 o 9208515 440.27/441.23 o 9198529 440.77/441.75 o 9198472 442.18/443.17 o 9171953 442.37/443.34 o 9170819 443.18/444.17 o 9153489 443.27/444.26 o 9146888 443.36/444.34 o 9145210 448.85/449.81 o 9143904 450.84/451.89 o 9142824 450.94/451.95 o 9141224 451.05/452.03 o 9140046 451.15/452.12 o 9134835 451.15/452.17 o 9133235 451.34/452.32 o 9130910 451.43/452.42 o 9129732 451.53/452.57 o 9120540 451.64/452.64 o 9115863 451.74/452.70 o 9114369 451.84/452.88 o 9113191 451.94/452.97 o 9112859 452.05/453.02 o 9111681 452.15/453.13 o 9109356 452.15/453.17 o 9108178 452.44/453.40 o 9107349 452.44/453.46 o 9105839 453.34/454.38 o 9103520 453.44/454.43 o 9102026 453.44/454.49 o 9101604 453.54/454.54 o 9100426 453.64/454.67 o 9099221 455.62/456.64 o 9098397 455.72/456.72 o 9090213 455.72/456.79 o 9089384 456.63/457.63 o 9083241 457.82/458.83 o 9082208 458.42/459.45 o 9028299 459.31/460.33 o 9027994 463.02/464.03 o 9026651 463.81/464.83 s OPTIMUM FOUND 463.81/464.83 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 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
OK 9026651
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 (61028 MiB free)
memory of node 1: 64507 MiB (63103 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526139-1751629407/watcher-4526139-1751629407 -o /tmp/evaluation-result-4526139-1751629407/solver-4526139-1751629407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751629407-95021 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1336907558 --ls=360 HOME/instance-4526139-1751629407.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=95065, runsolver pid=95056
[startup+0.100078 s]*
/proc/loadavg: 1.08 1.27 2.29 5/254 95083
/proc/meminfo: memFree=127071056/131382112 swapFree=33010160/33010684
[pid=95065] ppid=95056 vsize=36296 memory=12680 CPUtime=0.1 cores=0,2
/proc/95065/stat : 95065 (Exact) R 95056 95065 95011 0 -1 4194304 2544 0 0 0 9 1 0 0 20 0 1 0 78620507 37167104 3170 18446744073709551615 4198400 9112445 140723003386016 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38375424 140723003394360 140723003394539 140723003394539 140723003400143 0
/proc/95065/statm: 9074 3170 1056 1200 0 7554 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12680 KiB
[startup+0.214298 s]*
/proc/loadavg: 1.08 1.27 2.29 5/254 95083
/proc/meminfo: memFree=126995956/131382112 swapFree=33010160/33010684
[pid=95065] ppid=95056 vsize=36296 memory=12680 CPUtime=0.21 cores=0,2
/proc/95065/stat : 95065 (Exact) R 95056 95065 95011 0 -1 4194304 2544 0 0 0 20 1 0 0 20 0 1 0 78620507 37167104 3170 18446744073709551615 4198400 9112445 140723003386016 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38375424 140723003394360 140723003394539 140723003394539 140723003400143 0
/proc/95065/statm: 9074 3170 1056 1200 0 7554 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12680 KiB
[startup+0.313937 s]*
/proc/loadavg: 1.08 1.27 2.29 5/254 95083
/proc/meminfo: memFree=126941332/131382112 swapFree=33010160/33010684
[pid=95065] ppid=95056 vsize=36296 memory=12680 CPUtime=0.31 cores=0,2
/proc/95065/stat : 95065 (Exact) R 95056 95065 95011 0 -1 4194304 2544 0 0 0 30 1 0 0 20 0 1 0 78620507 37167104 3170 18446744073709551615 4198400 9112445 140723003386016 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38375424 140723003394360 140723003394539 140723003394539 140723003400143 0
/proc/95065/statm: 9074 3170 1056 1200 0 7554 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12680 KiB
[startup+0.700334 s]
/proc/loadavg: 1.08 1.27 2.29 5/254 95083
/proc/meminfo: memFree=126869384/131382112 swapFree=33010160/33010684
[pid=95065] ppid=95056 vsize=36296 memory=12680 CPUtime=0.68 cores=0,2
/proc/95065/stat : 95065 (Exact) R 95056 95065 95011 0 -1 4194304 2544 0 0 0 67 1 0 0 20 0 1 0 78620507 37167104 3170 18446744073709551615 4198400 9112445 140723003386016 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38375424 140723003394360 140723003394539 140723003394539 140723003400143 0
/proc/95065/statm: 9074 3170 1056 1200 0 7554 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12680 KiB
[startup+1.50029 s]
/proc/loadavg: 1.08 1.27 2.29 5/254 95083
/proc/meminfo: memFree=126680172/131382112 swapFree=33010160/33010684
[pid=95065] ppid=95056 vsize=36296 memory=12680 CPUtime=1.48 cores=0,2
/proc/95065/stat : 95065 (Exact) R 95056 95065 95011 0 -1 4194304 2544 0 0 0 147 1 0 0 20 0 1 0 78620507 37167104 3170 18446744073709551615 4198400 9112445 140723003386016 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38375424 140723003394360 140723003394539 140723003394539 140723003400143 0
/proc/95065/statm: 9074 3170 1056 1200 0 7554 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12680 KiB
[startup+3.11288 s]
/proc/loadavg: 1.32 1.32 2.30 5/254 95083
/proc/meminfo: memFree=126547540/131382112 swapFree=33010160/33010684
[pid=95065] ppid=95056 vsize=36296 memory=12680 CPUtime=3.09 cores=0,2
/proc/95065/stat : 95065 (Exact) R 95056 95065 95011 0 -1 4194304 2544 0 0 0 308 1 0 0 20 0 1 0 78620507 37167104 3170 18446744073709551615 4198400 9112445 140723003386016 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38375424 140723003394360 140723003394539 140723003394539 140723003400143 0
/proc/95065/statm: 9074 3170 1056 1200 0 7554 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12680 KiB
[startup+6.30027 s]
/proc/loadavg: 1.32 1.32 2.30 5/254 95083
/proc/meminfo: memFree=126548700/131382112 swapFree=33010160/33010684
[pid=95065] ppid=95056 vsize=36296 memory=12680 CPUtime=6.27 cores=0,2
/proc/95065/stat : 95065 (Exact) R 95056 95065 95011 0 -1 4194304 2544 0 0 0 626 1 0 0 20 0 1 0 78620507 37167104 3170 18446744073709551615 4198400 9112445 140723003386016 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38375424 140723003394360 140723003394539 140723003394539 140723003400143 0
/proc/95065/statm: 9074 3170 1056 1200 0 7554 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12680 KiB
[startup+12.7003 s]
/proc/loadavg: 1.61 1.38 2.31 5/254 95083
/proc/meminfo: memFree=126549708/131382112 swapFree=33010160/33010684
[pid=95065] ppid=95056 vsize=36296 memory=12680 CPUtime=12.66 cores=0,2
/proc/95065/stat : 95065 (Exact) R 95056 95065 95011 0 -1 4194304 2544 0 0 0 1265 1 0 0 20 0 1 0 78620507 37167104 3170 18446744073709551615 4198400 9112445 140723003386016 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38375424 140723003394360 140723003394539 140723003394539 140723003400143 0
/proc/95065/statm: 9074 3170 1056 1200 0 7554 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12680 KiB
[startup+25.5003 s]
/proc/loadavg: 2.14 1.51 2.34 5/254 95084
/proc/meminfo: memFree=126562804/131382112 swapFree=33010160/33010684
[pid=95065] ppid=95056 vsize=36296 memory=12808 CPUtime=25.43 cores=0,2
/proc/95065/stat : 95065 (Exact) R 95056 95065 95011 0 -1 4194304 2550 0 0 0 2542 1 0 0 20 0 1 0 78620507 37167104 3202 18446744073709551615 4198400 9112445 140723003386016 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38375424 140723003394360 140723003394539 140723003394539 140723003400143 0
/proc/95065/statm: 9074 3202 1056 1200 0 7554 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12808 KiB
[startup+51.1129 s]
/proc/loadavg: 2.78 1.71 2.39 5/254 95084
/proc/meminfo: memFree=126559360/131382112 swapFree=33010160/33010684
[pid=95065] ppid=95056 vsize=36296 memory=12808 CPUtime=51 cores=0,2
/proc/95065/stat : 95065 (Exact) R 95056 95065 95011 0 -1 4194304 2552 0 0 0 5099 1 0 0 20 0 1 0 78620507 37167104 3202 18446744073709551615 4198400 9112445 140723003386016 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38375424 140723003394360 140723003394539 140723003394539 140723003400143 0
/proc/95065/statm: 9074 3202 1056 1200 0 7554 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12808 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 2.08 2.48 5/255 95089
/proc/meminfo: memFree=126591412/131382112 swapFree=33010160/33010684
[pid=95065] ppid=95056 vsize=36296 memory=12808 CPUtime=102.1 cores=0,2
/proc/95065/stat : 95065 (Exact) R 95056 95065 95011 0 -1 4194304 2556 0 0 0 10209 1 0 0 20 0 1 0 78620507 37167104 3202 18446744073709551615 4198400 9112445 140723003386016 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38375424 140723003394360 140723003394539 140723003394539 140723003400143 0
/proc/95065/statm: 9074 3202 1056 1200 0 7554 0
Current children cumulated CPU time: 102.1 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12808 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.45 2.58 5/254 95091
/proc/meminfo: memFree=126573396/131382112 swapFree=33010160/33010684
[pid=95065] ppid=95056 vsize=36296 memory=12808 CPUtime=161.99 cores=0,2
/proc/95065/stat : 95065 (Exact) R 95056 95065 95011 0 -1 4194304 2558 0 0 0 16198 1 0 0 20 0 1 0 78620507 37167104 3202 18446744073709551615 4198400 9112445 140723003386016 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38375424 140723003394360 140723003394539 140723003394539 140723003400143 0
/proc/95065/statm: 9074 3202 1056 1200 0 7554 0
Current children cumulated CPU time: 161.99 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12808 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.75 2.68 5/254 95093
/proc/meminfo: memFree=126570996/131382112 swapFree=33010160/33010684
[pid=95065] ppid=95056 vsize=36296 memory=12808 CPUtime=221.88 cores=0,2
/proc/95065/stat : 95065 (Exact) R 95056 95065 95011 0 -1 4194304 2562 0 0 0 22187 1 0 0 20 0 1 0 78620507 37167104 3202 18446744073709551615 4198400 9112445 140723003386016 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38375424 140723003394360 140723003394539 140723003394539 140723003400143 0
/proc/95065/statm: 9074 3202 1056 1200 0 7554 0
Current children cumulated CPU time: 221.88 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12808 KiB
[startup+282.3 s]
/proc/loadavg: 4.03 2.99 2.77 5/255 95096
/proc/meminfo: memFree=126558184/131382112 swapFree=33010160/33010684
[pid=95065] ppid=95056 vsize=36296 memory=12808 CPUtime=281.77 cores=0,2
/proc/95065/stat : 95065 (Exact) R 95056 95065 95011 0 -1 4194304 2562 0 0 0 28176 1 0 0 20 0 1 0 78620507 37167104 3202 18446744073709551615 4198400 9112445 140723003386016 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38375424 140723003394360 140723003394539 140723003394539 140723003400143 0
/proc/95065/statm: 9074 3202 1056 1200 0 7554 0
Current children cumulated CPU time: 281.77 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12808 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 3.19 2.85 5/253 95102
/proc/meminfo: memFree=126553300/131382112 swapFree=33010160/33010684
[pid=95065] ppid=95056 vsize=36296 memory=12808 CPUtime=341.65 cores=0,2
/proc/95065/stat : 95065 (Exact) R 95056 95065 95011 0 -1 4194304 2564 0 0 0 34164 1 0 0 20 0 1 0 78620507 37167104 3202 18446744073709551615 4198400 9112445 140723003386016 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38375424 140723003394360 140723003394539 140723003394539 140723003400143 0
/proc/95065/statm: 9074 3202 1056 1200 0 7554 0
Current children cumulated CPU time: 341.65 s
Current children cumulated vsize: 36296 KiB
Current children cumulated memory: 12808 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.37 2.94 5/252 95104
/proc/meminfo: memFree=123621348/131382112 swapFree=33010160/33010684
[pid=95065] ppid=95056 vsize=231884 memory=179368 CPUtime=401.49 cores=0,2
/proc/95065/stat : 95065 (Exact) R 95056 95065 95011 0 -1 4194304 30394 0 0 0 40125 24 0 0 20 0 1 0 78620507 237449216 44842 18446744073709551615 4198400 9112445 140723003386016 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38375424 140723003394360 140723003394539 140723003394539 140723003400143 0
/proc/95065/statm: 57971 44842 1280 1200 0 56451 0
Current children cumulated CPU time: 401.49 s
Current children cumulated vsize: 231884 KiB
Current children cumulated memory: 179368 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.50 3.01 5/252 95106
/proc/meminfo: memFree=121743800/131382112 swapFree=33010160/33010684
[pid=95065] ppid=95056 vsize=295456 memory=260864 CPUtime=461.32 cores=0,2
/proc/95065/stat : 95065 (Exact) R 95056 95065 95011 0 -1 4194304 44678 0 0 0 46086 46 0 0 20 0 1 0 78620507 302546944 65216 18446744073709551615 4198400 9112445 140723003386016 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38375424 140723003394360 140723003394539 140723003394539 140723003400143 0
/proc/95065/statm: 73864 65216 1280 1200 0 72344 0
Current children cumulated CPU time: 461.32 s
Current children cumulated vsize: 295456 KiB
Current children cumulated memory: 260864 KiB
[startup+464.846 s]
# the end of solver process 95065 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=463.376 s, system=0.482548 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+462.4 s]
/proc/loadavg: 4.10 3.50 3.01 5/252 95106
/proc/meminfo: memFree=121743800/131382112 swapFree=33010160/33010684
[pid=95065] ppid=95056 vsize=295456 memory=260864 CPUtime=461.41 cores=0,2
/proc/95065/stat : 95065 (Exact) R 95056 95065 95011 0 -1 4194304 44688 0 0 0 46095 46 0 0 20 0 1 0 78620507 302546944 65216 18446744073709551615 4198400 9112445 140723003386016 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38375424 140723003394360 140723003394539 140723003394539 140723003400143 0
/proc/95065/statm: 73864 65216 1280 1200 0 72344 0
Current children cumulated CPU time: 461.41 s
Current children cumulated vsize: 295456 KiB
Current children cumulated memory: 260864 KiB
[startup+464 s]*
/proc/loadavg: 4.09 3.51 3.02 5/252 95106
/proc/meminfo: memFree=121739008/131382112 swapFree=33010160/33010684
[pid=95065] ppid=95056 vsize=296088 memory=261760 CPUtime=463.02 cores=0,2
/proc/95065/stat : 95065 (Exact) R 95056 95065 95011 0 -1 4194304 44913 0 0 0 46256 46 0 0 20 0 1 0 78620507 303194112 65440 18446744073709551615 4198400 9112445 140723003386016 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38375424 140723003394360 140723003394539 140723003394539 140723003400143 0
/proc/95065/statm: 74022 65440 1280 1200 0 72502 0
Current children cumulated CPU time: 463.02 s
Current children cumulated vsize: 296088 KiB
Current children cumulated memory: 261760 KiB
[startup+464.4 s]
/proc/loadavg: 4.09 3.51 3.02 5/252 95106
/proc/meminfo: memFree=121739008/131382112 swapFree=33010160/33010684
[pid=95065] ppid=95056 vsize=296280 memory=261888 CPUtime=463.41 cores=0,2
/proc/95065/stat : 95065 (Exact) R 95056 95065 95011 0 -1 4194304 44936 0 0 0 46294 47 0 0 20 0 1 0 78620507 303390720 65472 18446744073709551615 4198400 9112445 140723003386016 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38375424 140723003394360 140723003394539 140723003394539 140723003400143 0
/proc/95065/statm: 74070 65472 1280 1200 0 72550 0
Current children cumulated CPU time: 463.41 s
Current children cumulated vsize: 296280 KiB
Current children cumulated memory: 261888 KiB
[startup+464.8 s]
/proc/loadavg: 4.09 3.51 3.02 5/252 95106
/proc/meminfo: memFree=121739008/131382112 swapFree=33010160/33010684
[pid=95065] ppid=95056 vsize=296280 memory=262144 CPUtime=463.81 cores=0,2
/proc/95065/stat : 95065 (Exact) R 95056 95065 95011 0 -1 4194304 44981 0 0 0 46334 47 0 0 20 0 1 0 78620507 303390720 65536 18446744073709551615 4198400 9112445 140723003386016 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 38375424 140723003394360 140723003394539 140723003394539 140723003400143 0
/proc/95065/statm: 74070 65536 1280 1200 0 72550 0
Current children cumulated CPU time: 463.81 s
Current children cumulated vsize: 296280 KiB
Current children cumulated memory: 262144 KiB
Child status: 30
Real time (s): 464.846
CPU time (s): 463.858
CPU user time (s): 463.376
CPU system time (s): 0.482548
CPU usage (%): 99.7876
Max. virtual memory (cumulated for all children) (KiB): 296280
Max. memory (cumulated for all children) (KiB): 262144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 463.376
system time used= 0.482548
maximum resident set size= 262144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44999
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= 1050
# summary of solver processes directly reported to runsolver:
# pid: 95065
# total CPU time (s): 463.858
# total CPU user time (s): 463.376
# total CPU system time (s): 0.482548
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.44056 second user time and 4.23686 second system time
The end
Begin job on nodeC009 at 2025-07-04 13:43:27 IDJOB=4526139 IDBENCH=143996 IDSOLVER=3375 FILE ID=nodeC009/4526139-1751629407 RUNJOBID= nodeC009-1751629407-95021 SLURM_JOB_ID= 9598964 Free space on /tmp= 431228 MiB SOLVER NAME= Exact 2025-06-02 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/warehouse/normalized-cap104_wcsp.wbo COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526139-1751629407/watcher-4526139-1751629407 -o /tmp/evaluation-result-4526139-1751629407/solver-4526139-1751629407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751629407-95021 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1336907558 --ls=360 HOME/instance-4526139-1751629407.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8ae6cf967e584e12cada7dd8fbc9b19b RANDOM SEED=1336907558 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 : 1197.239 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 : 1197.183 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.587 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.249 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 : 1197.638 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 : 1197.202 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 : 1197.230 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 : 1183.623 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: 127119792 kB MemAvailable: 129784020 kB Buffers: 2144 kB Cached: 3397288 kB SwapCached: 24 kB Active: 696612 kB Inactive: 2768700 kB Active(anon): 79680 kB Inactive(anon): 4188 kB Active(file): 616932 kB Inactive(file): 2764512 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 20168 kB Writeback: 0 kB AnonPages: 69008 kB Mapped: 103780 kB Shmem: 17936 kB KReclaimable: 244436 kB Slab: 332176 kB SReclaimable: 244436 kB SUnreclaim: 87740 kB KernelStack: 3952 kB PageTables: 2916 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 330696 kB VmallocTotal: 34359738367 kB VmallocUsed: 149288 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 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:51:12