0.00/0.01 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
0.00/0.01 c Do: 140736744724360 140736744724368
0.00/0.01 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.00/0.02 c Starting SCIP solver (with time-limit = 1800s) ...
701.60/703.55 c SCIP optimum (rounded): -167
701.60/703.55 o -167
701.60/703.55 s OPTIMUM FOUND
701.60/703.55 v -x326 -x1 x2 -x327 -x136 -x328 -x329 -x330 -x89 x331 x133 x332 -x333 -x3 x14 -x334 x59 -x335 -x336 -x337 -x4 x78 -x338 -x201 -x339 -x340 -x341 -x5 -x34 -x342 x35 -x343 x76 -x344 -x345 -x6 -x346 -x347 -x348 -x349 -x7 -x62 -x350 -x169 -x351 -x352 -x353 x8 -x11 -x354 -x15 -x355 -x356 -x357 -x9 x63 -x358 -x79 -x359 -x199 -x360 x361 x10 x145 -x362 -x149 -x363 -x172 x364 -x365 -x366 x97 -x367 -x368 -x12 x122 -x369 -x171 -x370 x204 -x371 -x372 x13 -x17 -x373 -x228 -x374 x375 x60 x376 -x377 -x378 -x379 -x16 -x83 -x380 x106 -x381 -x180 -x382 -x383 x18 -x384 x42 -x385 x56 -x386 -x22 x387 x19 x197 -x388 x389 -x390 -x391 -x20 x107 -x392 -x127 -x393 -x211 -x394 -x395 -x21 -x30 -x396 x40 -x397 -x68 -x398 -x399 x23 -x400 x31 -x401 x73 -x402 -x26 -x403 -x24 -x404 x128 -x405 x155 -x406 -x407 -x25 -x408 x53 -x409 -x410 -x411 x27 -x412 x92 -x413 -x414 -x32 -x415 x28 -x416 -x156 -x417 -x181 x418 x419 x29 -x420 -x70 -x421 x422 -x423 x216 -x424 -x220 -x425 -x426 -x43 -x427 -x55 -x428 -x429 x33 -x430 x113 -x431 -x432 -x433 -x434 -x96 x435 x142 -x436 x36 -x37 -x437 -x47 -x438 -x101 x439 -x440 x48 -x441 -x66 -x442 -x123 -x443 -x38 -x444 x182 -x445 x212 -x446 -x447 -x39 -x448 x85 -x449 -x450 -x451 -x86 -x452 -x453 -x41 -x454 -x455 -x456 -x457 -x57 -x458 -x72 -x459 x44 -x460 x137 -x461 -x462 -x45 x95 -x463 -x464 -x46 -x465 -x466 -x467 -x468 x49 -x469 -x470 -x152 -x471 -x50 -x472 x473 -x474 -x475 x476 -x477 x154 -x478 -x479 -x51 -x480 x214 -x481 -x482 -x483 -x52 -x484 x109 -x485 -x486 -x487 -x488 -x489 x54 -x490 -x223 -x491 -x492 -x493 -x494 x90 -x495 -x74 -x496 -x91 -x497 x58 -x498 x226 -x499 -x500 -x116 -x501 -x140 x502 x166 -x503 -x504 x61 -x505 -x506 x507 -x508 x80 -x509 x510 x511 -x512 -x64 -x513 x100 -x514 -x515 -x516 -x65 x67 -x517 x102 -x518 x178 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 x69 -x527 x528 -x529 -x131 x530 x215 -x531 -x532 -x533 x71 -x534 -x535 x536 -x537 -x538 x111 -x539 -x540 -x93 -x541 -x112 -x542 x75 -x543 x193 -x544 -x545 -x141 -x546 x77 x547 -x548 x549 -x550 x551 x98 x552 -x553 -x554 -x168 -x555 -x81 x556 -x557 -x558 x120 -x559 -x560 x82 x561 -x562 x563 -x564 x84 -x565 -x566 -x567 -x158 x568 x183 x569 x87 -x570 -x571 -x572 -x219 -x573 -x574 x575 x222 x576 x88 -x577 -x578 -x579 -x580 -x581 -x582 -x583 x134 -x584 -x114 -x585 -x135 -x586 x94 -x587 x227 -x588 -x589 -x196 -x590 x591 -x592 -x593 -x594 -x118 -x595 -x198 -x596 -x99 -x597 -x598 -x203 -x599 -x600 x601 x144 -x602 -x173 -x603 x103 -x604 -x605 -x147 -x606 -x177 -x607 -x608 -x174 -x609 x610 -x611 -x104 -x105 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x108 -x621 -x622 x185 -x623 -x624 -x110 -x625 -x626 -x627 -x628 -x629 x630 x631 -x632 -x633 x162 -x634 -x138 -x635 -x163 -x636 x115 -x637 -x638 -x639 x117 -x640 -x641 -x642 -x194 -x643 x644 -x645 x119 -x646 -x647 -x121 x648 -x649 x650 x651 x652 -x653 -x654 -x655 x656 x151 -x657 -x658 -x659 -x206 -x660 x661 x124 x125 x662 x663 x664 -x665 x666 x667 x668 x126 x213 x669 x670 -x671 -x672 -x673 -x674 -x130 -x675 -x129 -x676 -x677 -x678 -x679 -x680 -x218 -x681 x132 -x682 -x683 -x188 -x684 -x685 x686 -x687 -x187 -x688 -x689 -x690 -x691 -x692 x190 -x693 -x164 -x694 x191 -x695 -x696 -x192 -x697 x139 -x698 -x699 -x700 -x701 x143 -x702 -x703 x704 -x705 -x706 x707 -x708 -x146 -x709 -x710 x711 x148 -x712 -x713 -x714 -x715 -x150 -x716 -x717 -x718 -x719 -x720 x205 -x721 -x722 -x723 -x724 x725 x726 -x727 -x153 -x728 -x729 -x730 -x731 -x732 -x733 x734 x735 -x736 x737 -x738 x157 -x739 -x740 -x159 -x741 -x742 -x743 x160 -x744 -x745 -x184 -x746 -x747 -x161 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x224 -x755 -x756 -x757 x165 -x167 x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x200 -x768 -x769 x170 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x176 -x778 -x779 -x780 x175 x781 -x782 x783 -x784 -x785 -x786 x787 x179 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 x186 -x803 -x804 -x805 -x217 -x806 -x807 x189 -x808 -x809 -x810 x811 x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x195 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 x202 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 x844 x207 x845 x846 -x847 -x848 -x208 x849 -x850 -x209 -x851 -x852 -x853 -x210 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 x221 -x870 -x871 -x872 x873 x874 -x875 -x876 -x877 -x225 -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 x232 -x236 x233 -x243 x260 -x255 -x256 x248 x240 -x261 x262 x235 -x249 -x275 x252 -x241 -x245 x283 x273 x277 -x281 x288 x284 x282 -x291 -x295 x257 -x278 -x294 x299 x237 -x285 -x230 x272 -x267 x292 -x229 -x274 -x303 -x254 x289 x305 x234 x251 x264 -x296 -x290 x268 x270 -x231 -x247 -x250 x259 -x269 x310 -x242 x300 x266 -x271 -x244 x253 -x314 -x315 -x316 x307 x246 -x304 x286 -x318 x309 x263 x287 x320 x265 -x308 x279 -x321 x239 -x306 -x276 -x258 x302 -x293 -x298 x323 -x317 x311 -x322 -x297 x312 x313 x301 -x319 -x280 x324 -x325 x238
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (49379 MiB free)
memory of node 1: 64465 MiB (55201 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508847-1751512516/watcher-4508847-1751512516 -o /tmp/evaluation-result-4508847-1751512516/solver-4508847-1751512516 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751508901-69900 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4508847-1751512516.opb -total-t=3600 -no-par -v0
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=70721, runsolver pid=70718
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.06 4.16 4.15 5/263 70722
/proc/meminfo: memFree=107058460/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=42324 memory=32516 CPUtime=0.09 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 6138 0 0 0 9 0 0 0 20 0 1 0 66930161 43339776 8129 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 10581 8129 2624 2593 0 7474 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42324 KiB
Current children cumulated memory: 32516 KiB
[startup+0.205565 s]*
/proc/loadavg: 4.06 4.16 4.15 6/263 70722
/proc/meminfo: memFree=107034936/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=47024 memory=37328 CPUtime=0.19 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 7791 0 0 0 19 0 0 0 20 0 1 0 66930161 48152576 9332 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 11756 9332 2624 2593 0 8649 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 47024 KiB
Current children cumulated memory: 37328 KiB
[startup+0.305403 s]*
/proc/loadavg: 4.06 4.16 4.15 5/263 70722
/proc/meminfo: memFree=107018808/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=47024 memory=37328 CPUtime=0.29 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 7801 0 0 0 29 0 0 0 20 0 1 0 66930161 48152576 9332 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 11756 9332 2624 2593 0 8649 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 47024 KiB
Current children cumulated memory: 37328 KiB
[startup+0.700125 s]
/proc/loadavg: 4.06 4.16 4.15 5/263 70722
/proc/meminfo: memFree=106986552/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=50360 memory=41168 CPUtime=0.69 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 8769 0 0 0 68 1 0 0 20 0 1 0 66930161 51568640 10292 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 12590 10292 2624 2593 0 9483 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50360 KiB
Current children cumulated memory: 41168 KiB
[startup+1.50015 s]
/proc/loadavg: 4.06 4.16 4.15 5/263 70722
/proc/meminfo: memFree=106954548/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=59852 memory=48848 CPUtime=1.49 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 10669 0 0 0 148 1 0 0 20 0 1 0 66930161 61288448 12212 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 14963 12212 2624 2593 0 11856 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 59852 KiB
Current children cumulated memory: 48848 KiB
[startup+3.10539 s]
/proc/loadavg: 4.06 4.15 4.15 5/263 70722
/proc/meminfo: memFree=106898100/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=64756 memory=52688 CPUtime=3.09 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 11650 0 0 0 308 1 0 0 20 0 1 0 66930161 66310144 13172 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 16189 13172 2624 2593 0 13082 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 64756 KiB
Current children cumulated memory: 52688 KiB
[startup+6.30017 s]
/proc/loadavg: 4.06 4.15 4.15 5/263 70722
/proc/meminfo: memFree=106898616/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=64756 memory=52688 CPUtime=6.27 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 11650 0 0 0 626 1 0 0 20 0 1 0 66930161 66310144 13172 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 16189 13172 2624 2593 0 13082 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 64756 KiB
Current children cumulated memory: 52688 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.15 4.15 5/263 70722
/proc/meminfo: memFree=106899576/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=64756 memory=52688 CPUtime=12.65 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 11650 0 0 0 1264 1 0 0 20 0 1 0 66930161 66310144 13172 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 16189 13172 2624 2593 0 13082 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 64756 KiB
Current children cumulated memory: 52688 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.14 4.14 5/263 70722
/proc/meminfo: memFree=106783512/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=173468 memory=156624 CPUtime=25.42 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 37670 0 0 0 2536 6 0 0 20 0 1 0 66930161 177631232 39156 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 43367 39156 2624 2593 0 40260 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 173468 KiB
Current children cumulated memory: 156624 KiB
[startup+51.1054 s]
/proc/loadavg: 4.08 4.15 4.14 5/263 70723
/proc/meminfo: memFree=106702028/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=238392 memory=223172 CPUtime=50.95 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 56611 0 0 0 5086 9 0 0 20 0 1 0 66930161 244113408 55793 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 59598 55793 2624 2593 0 56491 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 238392 KiB
Current children cumulated memory: 223172 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.14 4.14 5/264 70725
/proc/meminfo: memFree=106751332/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=304096 memory=287188 CPUtime=102 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 77964 0 0 0 10187 13 0 0 20 0 1 0 66930161 311394304 71797 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 76024 71797 2624 2593 0 72917 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 304096 KiB
Current children cumulated memory: 287188 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.12 4.13 5/264 70729
/proc/meminfo: memFree=106580364/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=482608 memory=463804 CPUtime=161.84 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 122633 0 0 0 16162 22 0 0 20 0 1 0 66930161 494190592 115951 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 120652 115951 2624 2593 0 117545 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 482608 KiB
Current children cumulated memory: 463804 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.11 4.13 5/264 70735
/proc/meminfo: memFree=106588920/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=492812 memory=476220 CPUtime=221.69 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 125746 0 0 0 22146 23 0 0 20 0 1 0 66930161 504639488 119055 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 123203 119055 2624 2593 0 120096 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 492812 KiB
Current children cumulated memory: 476220 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.11 4.12 5/263 70737
/proc/meminfo: memFree=106579120/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=505852 memory=489240 CPUtime=281.53 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 129881 0 0 0 28129 24 0 0 20 0 1 0 66930161 517992448 122310 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 126463 122310 2624 2593 0 123356 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 505852 KiB
Current children cumulated memory: 489240 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/263 70739
/proc/meminfo: memFree=106367868/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=509220 memory=491544 CPUtime=341.37 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 130473 0 0 0 34112 25 0 0 20 0 1 0 66930161 521441280 122886 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 127305 122886 2624 2593 0 124198 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 509220 KiB
Current children cumulated memory: 491544 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/263 70741
/proc/meminfo: memFree=106008132/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=513208 memory=495592 CPUtime=401.2 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 131700 0 0 0 40095 25 0 0 20 0 1 0 66930161 525524992 123898 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 128302 123898 2624 2593 0 125195 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 513208 KiB
Current children cumulated memory: 495592 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/262 70743
/proc/meminfo: memFree=105675348/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=516376 memory=498544 CPUtime=461.05 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 132832 0 0 0 46079 26 0 0 20 0 1 0 66930161 528769024 124636 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 129094 124636 2624 2593 0 125987 0
Current children cumulated CPU time: 461.05 s
Current children cumulated vsize: 516376 KiB
Current children cumulated memory: 498544 KiB
[startup+522.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/262 70745
/proc/meminfo: memFree=105332464/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=516800 memory=499312 CPUtime=520.89 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 133295 0 0 0 52063 26 0 0 20 0 1 0 66930161 529203200 124828 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 129200 124828 2624 2593 0 126093 0
Current children cumulated CPU time: 520.89 s
Current children cumulated vsize: 516800 KiB
Current children cumulated memory: 499312 KiB
[startup+582.3 s]
/proc/loadavg: 4.08 4.09 4.10 5/262 70747
/proc/meminfo: memFree=104961752/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=521260 memory=507376 CPUtime=580.73 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 134179 0 0 0 58046 27 0 0 20 0 1 0 66930161 533770240 126844 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 130315 126844 2624 2593 0 127208 0
Current children cumulated CPU time: 580.73 s
Current children cumulated vsize: 521260 KiB
Current children cumulated memory: 507376 KiB
[startup+642.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/262 70749
/proc/meminfo: memFree=104611808/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=521260 memory=509680 CPUtime=640.57 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 134274 0 0 0 64030 27 0 0 20 0 1 0 66930161 533770240 127420 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 130315 127420 2624 2593 0 127208 0
Current children cumulated CPU time: 640.57 s
Current children cumulated vsize: 521260 KiB
Current children cumulated memory: 509680 KiB
[startup+702.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 70751
/proc/meminfo: memFree=104231864/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=527304 memory=515824 CPUtime=700.4 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 135794 0 0 0 70013 27 0 0 20 0 1 0 66930161 539959296 128956 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 131826 128956 2624 2593 0 128719 0
Current children cumulated CPU time: 700.4 s
Current children cumulated vsize: 527304 KiB
Current children cumulated memory: 515824 KiB
[startup+703.575 s]
# the end of solver process 70721 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=701.39 s, system=0.287154 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+702.4 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 70751
/proc/meminfo: memFree=104231864/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=527304 memory=515824 CPUtime=700.5 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 135794 0 0 0 70023 27 0 0 20 0 1 0 66930161 539959296 128956 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 131826 128956 2624 2593 0 128719 0
Current children cumulated CPU time: 700.5 s
Current children cumulated vsize: 527304 KiB
Current children cumulated memory: 515824 KiB
[startup+703.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 70751
/proc/meminfo: memFree=104231864/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=527304 memory=515824 CPUtime=701.3 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 135794 0 0 0 70103 27 0 0 20 0 1 0 66930161 539959296 128956 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 131826 128956 2624 2593 0 128719 0
Current children cumulated CPU time: 701.3 s
Current children cumulated vsize: 527304 KiB
Current children cumulated memory: 515824 KiB
[startup+703.4 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 70751
/proc/meminfo: memFree=104231864/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=527304 memory=515824 CPUtime=701.5 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 135794 0 0 0 70123 27 0 0 20 0 1 0 66930161 539959296 128956 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 131826 128956 2624 2593 0 128719 0
Current children cumulated CPU time: 701.5 s
Current children cumulated vsize: 527304 KiB
Current children cumulated memory: 515824 KiB
[startup+703.5 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 70751
/proc/meminfo: memFree=104231864/131249988 swapFree=33010416/33010684
[pid=70721] ppid=70718 vsize=527304 memory=515824 CPUtime=701.6 cores=1,3
/proc/70721/stat : 70721 (CASHWMaxSAT-Dis) R 70718 70721 69888 0 -1 4194304 135794 0 0 0 70133 27 0 0 20 0 1 0 66930161 539959296 128956 18446744073709551615 4198400 14817773 140736744726768 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53485568 140736744728938 140736744729053 140736744729053 140736744734655 0
/proc/70721/statm: 131826 128956 2624 2593 0 128719 0
Current children cumulated CPU time: 701.6 s
Current children cumulated vsize: 527304 KiB
Current children cumulated memory: 515824 KiB
Child status: 30
Real time (s): 703.575
CPU time (s): 701.678
CPU user time (s): 701.39
CPU system time (s): 0.287154
CPU usage (%): 99.7303
Max. virtual memory (cumulated for all children) (KiB): 527304
Max. memory (cumulated for all children) (KiB): 515824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 701.39
system time used= 0.287154
maximum resident set size= 515824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135794
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= 57
involuntary context switches= 528
# summary of solver processes directly reported to runsolver:
# pid: 70721
# total CPU time (s): 701.678
# total CPU user time (s): 701.39
# total CPU system time (s): 0.287154
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.2155 second user time and 3.13963 second system time
The end
Begin job on nodeC031 at 2025-07-03 05:15:16
IDJOB=4508847
IDBENCH=158516
IDSOLVER=3322
FILE ID=nodeC031/4508847-1751512516
RUNJOBID= nodeC031-1751508901-69900
SLURM_JOB_ID= 9598608
Free space on /tmp= 432028 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament26.lin.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4508847-1751512516/watcher-4508847-1751512516 -o /tmp/evaluation-result-4508847-1751512516/solver-4508847-1751512516 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751508901-69900 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4508847-1751512516.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 21e597bc04bc5fa012b59bdeb9fb9987
RANDOM SEED=1466917229
nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.880
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.894
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3629.417
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.849
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.890
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.861
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3647.745
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.524
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 107098480 kB
MemAvailable: 127911756 kB
Buffers: 2128 kB
Cached: 21498296 kB
SwapCached: 12 kB
Active: 2178412 kB
Inactive: 21091592 kB
Active(anon): 1777164 kB
Inactive(anon): 10472 kB
Active(file): 401248 kB
Inactive(file): 21081120 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 43812 kB
Writeback: 52 kB
AnonPages: 1772672 kB
Mapped: 122436 kB
Shmem: 18052 kB
KReclaimable: 340292 kB
Slab: 433196 kB
SReclaimable: 340292 kB
SUnreclaim: 92904 kB
KernelStack: 4224 kB
PageTables: 6284 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 2142664 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1161216 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: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432016 MiB
End job on nodeC031 at 2025-07-03 05:27:00