0.00/0.05 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
0.00/0.05 c Do: 140731368313640 140731368313648
0.00/0.05 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.00/0.08 c Starting SCIP solver (with time-limit = 1800s) ...
1795.17/1800.08 c SCIP timeout with lower and upper bounds: [-226, 6]
1795.17/1800.08 o 6
3600.06/3610.50
3600.06/3610.50 v x854 -x783 -x198 -x103 x22 x3 x856 -x104 x2 -x786 -x385 -x273 -x197 x21 x4 x857 -x787 x77 -x56 -x24 x5 -x384 -x276 x203 x76 -x55 -x12 -x764 -x388 -x277 x201 x57 -x25 -x6 x763 -x248 -x151 x78 x58 -x27 -x7 x765 -x614 -x389 x202 -x80 x59 -x40 -x28 -x8 x766 -x613 -x514 -x251 -x206 -x150 x66 x39 x767 x619 -x252 -x81 -x60 x41 x774 x618 -x513 -x327 -x156 -x126 -x83 -x61 x42 x768 x620 -x154 -x84 -x62 x43 x769 -x624 -x594 -x574 x519 -x129 x50 x770 -x623 -x578 x517 -x155 -x130 x44 -x730 -x621 x597 -x577 -x159 x45 -x622 x598 x518 x46 -x882 x729 -x522 x853 -x782 -x193 x105 -x18 x858 -x788 -x538 -x469 -x272 x199 x23 -x15 -x542 -x72 -x26 x16 -x860 x386 -x278 x204 -x109 -x71 x30 -x11 -x861 -x390 -x29 -x791 -x247 x207 -x146 x79 -x69 -x9 -x205 x82 x70 -x812 x777 -x639 -x509 -x392 -x323 -x281 -x253 -x152 x86 -x65 x778 -x643 -x615 -x393 x85 -x773 x616 x515 -x326 x157 -x125 -x63 -x53 x617 x54 -x771 x628 -x593 x520 -x256 -x160 -x131 x49 -x573 -x158 -x878 x599 -x575 x523 -x47 -x579 -x521 -x881 x731 -x134 -x602 x855 -x784 x465 -x268 x106 -x14 x859 -x380 -x192 -x17 -x13 x863 x789 -x537 -x489 -x468 -x379 -x274 x194 -x110 -x19 -x862 -x541 -x493 x200 -x108 x20 -x792 x387 x279 -x243 x196 -x68 -x34 -x790 x391 x208 x73 -x67 -x808 -x776 x395 -x302 -x282 x249 x74 -x10 -x775 x394 -x280 -x145 x75 -x811 -x638 -x322 x254 x147 -x121 x90 -x52 -x642 -x508 x153 -x51 -x631 -x589 -x510 -x328 x257 x149 x127 -x64 x632 x516 -x255 -x161 -x772 x627 x595 x512 -x132 -x726 x524 -x877 -x725 -x710 -x625 x600 -x331 x135 -x48 -x576 -x133 -x883 x732 -x603 x587 -x601 x583 -x901 x733 x582 -x905 x734 x852 -x780 x464 -x423 x107 x851 -x785 -x427 -x267 x111 x867 x781 -x663 -x539 -x488 -x470 -x269 -x178 -x37 x793 -x667 -x543 -x492 -x381 x275 x195 -x38 x382 -x298 x271 -x223 x216 -x33 x383 -x283 -x242 -x227 x212 -x807 -x545 -x473 x399 -x318 -x301 -x244 x211 x93 -x31 -x546 x250 x94 -x813 -x640 -x630 -x324 x246 x89 -x644 -x629 x258 x148 -x120 -x914 -x837 x329 x169 -x122 -x87 -x918 -x588 x511 x165 x128 -x873 -x816 -x706 -x646 x590 x532 -x348 -x332 -x164 x124 -x647 x596 x528 -x352 -x330 x136 -x879 -x709 -x626 x592 -x584 x527 x727 x604 x586 -x96 x884 x728 -x95 -x900 x885 x738 -x580 x904 -x886 x870 -x534 x466 -x422 -x174 x119 -x36 x871 -x779 -x426 x115 -x35 -x866 x801 -x662 x540 -x490 -x471 -x213 -x177 x114 x797 -x666 x544 -x494 -x270 x215 -x864 -x803 -x796 x548 -x474 -x451 -x402 -x297 x291 -x222 -x92 -x634 -x547 -x472 x403 x287 -x226 -x91 x809 -x633 -x496 -x398 x303 x286 -x209 -x32 -x497 -x317 x245 -x833 x814 -x753 x641 -x396 x319 -x266 -x210 -x166 -x645 x325 x262 x168 -x913 -x836 -x817 x649 -x529 x321 -x306 -x261 -x88 -x917 -x815 -x648 x531 x333 x123 -x705 -x347 -x162 x144 -x872 x591 -x585 x351 -x140 x874 -x711 x612 x525 -x163 -x139 -x880 x608 x876 x741 x607 -x562 -x526 x887 x742 -x566 x97 -x902 x737 -x714 -x581 x98 x906 x868 -x798 -x485 -x462 x424 -x173 x118 -x800 -x533 x467 -x428 -x214 -x664 x535 x491 x463 -x447 -x401 -x293 -x288 -x179 -x112 -x668 x536 x495 x475 -x400 -x290 -x865 -x794 x552 x499 -x450 -x430 x299 -x224 -x113 -x802 -x498 -x431 x228 x804 -x795 -x749 -x688 -x670 x304 -x284 -x263 -x182 x810 -x692 -x671 x635 -x265 -x167 -x832 x806 -x752 x636 -x397 -x307 -x285 -x230 x818 x637 -x530 x320 -x305 -x231 x915 -x838 -x701 x653 x341 -x259 -x141 x919 x337 x143 -x707 -x609 -x349 x336 -x260 x611 x353 -x921 -x841 -x740 -x712 -x413 -x372 -x137 -x922 -x897 x875 -x739 -x376 -x896 x895 x715 -x605 x561 -x355 -x138 x891 -x713 -x565 -x356 -x903 x890 x735 -x606 x101 x907 x102 -x869 -x799 x659 x425 -x175 x116 -x484 x461 x429 -x289 -x218 x665 -x555 -x486 x483 -x446 x433 -x217 -x180 x669 x556 x487 -x479 -x432 -x292 x673 -x551 x503 -x478 -x452 -x294 x225 -x183 x672 x300 -x264 x229 -x181 -x828 -x748 -x687 -x549 x296 x233 -x909 x805 -x691 -x308 x232 -x908 x834 -x826 x754 x656 -x455 -x338 -x822 x657 -x343 -x340 -x142 x916 x839 -x821 x652 -x342 x920 -x700 -x610 x924 -x842 -x757 x702 -x650 -x409 x350 -x334 x923 -x840 x708 x354 -x892 x704 -x412 -x371 x358 -x335 x894 x716 -x375 -x357 x563 -x100 x898 x567 -x99 x899 x888 -x736 -x554 -x480 -x442 -x421 x171 x117 x658 -x553 -x482 x420 x176 x660 -x506 -x448 x437 x172 x661 x507 -x219 x184 -x744 x677 -x502 -x476 x453 x220 x295 x221 -x823 x750 x689 -x655 -x550 -x500 -x477 -x456 -x316 x237 -x827 -x825 -x693 -x654 -x454 -x339 x312 x829 x755 x311 -x910 x835 x911 x831 -x819 x758 -x695 x912 x843 -x756 -x696 x344 x928 -x820 -x651 -x408 x345 -x893 x703 -x558 x346 x724 x557 -x414 -x373 x362 x720 x377 x719 x564 x568 -x889 x569 -x417 x570 -x505 -x481 x438 -x504 -x441 x440 x170 x680 x443 -x436 x191 -x683 x681 x449 x188 x682 -x676 x445 -x434 -x313 x240 -x187 -x824 -x743 x457 -x315 x241 x745 x690 -x674 -x501 x236 x751 -x694 x747 -x698 x309 -x234 x830 x759 -x697 x931 x850 -x406 -x310 x932 x847 -x368 x927 x846 -x721 -x410 x367 -x365 x723 x366 -x925 -x415 x374 -x361 x559 x378 x933 -x717 x560 x418 -x359 -x416 -x718 x679 x439 x190 x678 x189 -x239 x444 -x314 x238 x460 -x435 -x185 x684 x458 x685 -x675 x459 -x186 x746 x686 x930 x849 -x762 x699 -x235 x929 x848 x760 x761 -x364 -x722 x405 -x363 x844 x404 x411 x369 -x926 -x845 x407 x370 x419 x572 x934 -x360 x571 x1
3600.06/3610.50 s SATISFIABLE
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: 64059 MiB (62853 MiB free)
memory of node 1: 64510 MiB (60539 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439161-1721200064/watcher-4439161-1721200064 -o /tmp/evaluation-result-4439161-1721200064/solver-4439161-1721200064 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721194641-890809 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439161-1721200064.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=893913, runsolver pid=893910
[startup+0.100075 s]*
/proc/loadavg: 4.06 4.11 4.14 5/241 893914
/proc/meminfo: memFree=126334868/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=40956 memory=31376 CPUtime=0.1 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 5812 0 0 0 9 1 0 0 20 0 1 0 172164407 41938944 7844 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 10303 7844 2446 2594 0 7196 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40956 KiB
Current children cumulated memory: 31376 KiB
[startup+0.212772 s]*
/proc/loadavg: 4.14 4.12 4.14 5/241 893914
/proc/meminfo: memFree=126325712/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=49428 memory=39036 CPUtime=0.21 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 7651 0 0 0 19 2 0 0 20 0 1 0 172164407 50614272 9759 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 12357 9759 2526 2594 0 9250 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 49428 KiB
Current children cumulated memory: 39036 KiB
[startup+0.312524 s]*
/proc/loadavg: 4.14 4.12 4.14 5/241 893914
/proc/meminfo: memFree=126323584/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=50152 memory=40680 CPUtime=0.31 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 8034 0 0 0 29 2 0 0 20 0 1 0 172164407 51355648 10170 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 12538 10170 2542 2594 0 9431 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50152 KiB
Current children cumulated memory: 40680 KiB
[startup+0.700288 s]
/proc/loadavg: 4.14 4.12 4.14 5/241 893914
/proc/meminfo: memFree=126323108/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=65908 memory=53236 CPUtime=0.68 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 11225 0 0 0 66 2 0 0 20 0 1 0 172164407 67489792 13309 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 16477 13309 2542 2594 0 13370 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 65908 KiB
Current children cumulated memory: 53236 KiB
[startup+1.50027 s]
/proc/loadavg: 4.14 4.12 4.14 5/241 893914
/proc/meminfo: memFree=126298236/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=79752 memory=66892 CPUtime=1.48 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 14761 0 0 0 145 3 0 0 20 0 1 0 172164407 81666048 16723 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 19938 16723 2638 2594 0 16831 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79752 KiB
Current children cumulated memory: 66892 KiB
[startup+3.11214 s]
/proc/loadavg: 4.14 4.12 4.14 5/241 893914
/proc/meminfo: memFree=126296880/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=80260 memory=67420 CPUtime=3.09 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 14908 0 0 0 306 3 0 0 20 0 1 0 172164407 82186240 16855 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 20065 16855 2638 2594 0 16958 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 80260 KiB
Current children cumulated memory: 67420 KiB
[startup+6.30027 s]
/proc/loadavg: 4.13 4.12 4.14 5/241 893914
/proc/meminfo: memFree=126252780/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=127536 memory=111792 CPUtime=6.27 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 26107 0 0 0 623 4 0 0 20 0 1 0 172164407 130596864 27948 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 31884 27948 2654 2594 0 28777 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 127536 KiB
Current children cumulated memory: 111792 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.12 4.14 5/241 893915
/proc/meminfo: memFree=126247780/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=135352 memory=116792 CPUtime=12.65 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 27354 0 0 0 1261 4 0 0 20 0 1 0 172164407 138600448 29198 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 33838 29198 2654 2594 0 30731 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 135352 KiB
Current children cumulated memory: 116792 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.11 4.14 5/241 893917
/proc/meminfo: memFree=126243356/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=148900 memory=121016 CPUtime=25.43 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 28397 0 0 0 2538 5 0 0 20 0 1 0 172164407 152473600 30254 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 37225 30254 2654 2594 0 34118 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 148900 KiB
Current children cumulated memory: 121016 KiB
[startup+51.1125 s]
/proc/loadavg: 4.13 4.12 4.14 5/241 893922
/proc/meminfo: memFree=126230180/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=160936 memory=133088 CPUtime=50.97 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 32436 0 0 0 5092 5 0 0 20 0 1 0 172164407 164798464 33272 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 40234 33272 2654 2594 0 37127 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 160936 KiB
Current children cumulated memory: 133088 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/241 893931
/proc/meminfo: memFree=126227356/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=160936 memory=133088 CPUtime=102.03 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 32449 0 0 0 10198 5 0 0 20 0 1 0 172164407 164798464 33272 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 40234 33272 2654 2594 0 37127 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 160936 KiB
Current children cumulated memory: 133088 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 4.09 4.12 5/241 893941
/proc/meminfo: memFree=126198440/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=195852 memory=159296 CPUtime=161.88 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 41475 0 0 0 16181 7 0 0 20 0 1 0 172164407 200552448 39824 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 48963 39824 2654 2594 0 45856 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 195852 KiB
Current children cumulated memory: 159296 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.12 4.13 5/244 893956
/proc/meminfo: memFree=126190024/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=203272 memory=166588 CPUtime=221.73 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 43310 0 0 0 22164 9 0 0 20 0 1 0 172164407 208150528 41647 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 50818 41647 2654 2594 0 47711 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 203272 KiB
Current children cumulated memory: 166588 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/244 893968
/proc/meminfo: memFree=126184084/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=205424 memory=166588 CPUtime=281.58 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 43351 0 0 0 28149 9 0 0 20 0 1 0 172164407 210354176 41647 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 51356 41647 2654 2594 0 48249 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 205424 KiB
Current children cumulated memory: 166588 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/244 893978
/proc/meminfo: memFree=126171388/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=217924 memory=176420 CPUtime=341.43 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 52368 0 0 0 34131 12 0 0 20 0 1 0 172164407 223154176 44105 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 54481 44105 2654 2594 0 51374 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 217924 KiB
Current children cumulated memory: 176420 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/244 893988
/proc/meminfo: memFree=126166084/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=217924 memory=178516 CPUtime=401.26 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 52403 0 0 0 40114 12 0 0 20 0 1 0 172164407 223154176 44629 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 54481 44629 2654 2594 0 51374 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 217924 KiB
Current children cumulated memory: 178516 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/244 893999
/proc/meminfo: memFree=126137424/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=221028 memory=206756 CPUtime=461.1 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 52556 0 0 0 46098 12 0 0 20 0 1 0 172164407 226332672 51689 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 55257 51689 2654 2594 0 52150 0
################
# More data... #
################
Current children cumulated memory: 362220 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/242 895636
/proc/meminfo: memFree=125127668/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=361528 memory=354476 CPUtime=2914.25 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 90477 0 0 0 291382 43 0 0 20 0 1 0 172164407 370204672 88619 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 90382 88619 2718 2594 0 87275 0
Current children cumulated CPU time: 2914.25 s
Current children cumulated vsize: 361528 KiB
Current children cumulated memory: 354476 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/242 895647
/proc/meminfo: memFree=125026872/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=371272 memory=364220 CPUtime=2974.04 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 91468 0 0 0 297358 46 0 0 20 0 1 0 172164407 380182528 91055 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 92818 91055 2718 2594 0 89711 0
Current children cumulated CPU time: 2974.04 s
Current children cumulated vsize: 371272 KiB
Current children cumulated memory: 364220 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/242 895657
/proc/meminfo: memFree=124863276/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=341808 memory=334756 CPUtime=3033.84 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 93911 0 0 0 303333 51 0 0 20 0 1 0 172164407 350011392 83689 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 85452 83689 2718 2594 0 82345 0
Current children cumulated CPU time: 3033.84 s
Current children cumulated vsize: 341808 KiB
Current children cumulated memory: 334756 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/244 895838
/proc/meminfo: memFree=124837704/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=301908 memory=294856 CPUtime=3093.63 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 95608 0 0 0 309308 55 0 0 20 0 1 0 172164407 309153792 73714 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 75477 73714 2718 2594 0 72370 0
Current children cumulated CPU time: 3093.63 s
Current children cumulated vsize: 301908 KiB
Current children cumulated memory: 294856 KiB
[startup+3162.3 s]
/proc/loadavg: 4.45 4.17 4.12 5/244 895848
/proc/meminfo: memFree=124724212/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=344516 memory=337464 CPUtime=3153.41 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 98065 0 0 0 315282 59 0 0 20 0 1 0 172164407 352784384 84366 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 86129 84366 2718 2594 0 83022 0
Current children cumulated CPU time: 3153.41 s
Current children cumulated vsize: 344516 KiB
Current children cumulated memory: 337464 KiB
[startup+3222.3 s]
/proc/loadavg: 4.58 4.28 4.16 5/245 895873
/proc/meminfo: memFree=124715840/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=301908 memory=294856 CPUtime=3213.21 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 99453 0 0 0 321259 62 0 0 20 0 1 0 172164407 309153792 73714 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 75477 73714 2718 2594 0 72370 0
Current children cumulated CPU time: 3213.21 s
Current children cumulated vsize: 301908 KiB
Current children cumulated memory: 294856 KiB
[startup+3282.3 s]
/proc/loadavg: 4.31 4.26 4.16 5/245 895886
/proc/meminfo: memFree=124670100/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=301908 memory=294856 CPUtime=3273 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 99541 0 0 0 327238 62 0 0 20 0 1 0 172164407 309153792 73714 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 75477 73714 2718 2594 0 72370 0
Current children cumulated CPU time: 3273 s
Current children cumulated vsize: 301908 KiB
Current children cumulated memory: 294856 KiB
[startup+3342.3 s]
/proc/loadavg: 4.24 4.25 4.16 5/245 895896
/proc/meminfo: memFree=124614432/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=301908 memory=294856 CPUtime=3332.79 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 99556 0 0 0 333217 62 0 0 20 0 1 0 172164407 309153792 73714 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 75477 73714 2718 2594 0 72370 0
Current children cumulated CPU time: 3332.79 s
Current children cumulated vsize: 301908 KiB
Current children cumulated memory: 294856 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.22 4.16 5/243 895906
/proc/meminfo: memFree=124562340/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=301908 memory=294856 CPUtime=3392.59 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 99646 0 0 0 339197 62 0 0 20 0 1 0 172164407 309153792 73714 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 75477 73714 2718 2594 0 72370 0
Current children cumulated CPU time: 3392.59 s
Current children cumulated vsize: 301908 KiB
Current children cumulated memory: 294856 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.19 4.15 5/243 895918
/proc/meminfo: memFree=124529252/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=301908 memory=294856 CPUtime=3452.38 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 99744 0 0 0 345176 62 0 0 20 0 1 0 172164407 309153792 73714 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 75477 73714 2718 2594 0 72370 0
Current children cumulated CPU time: 3452.38 s
Current children cumulated vsize: 301908 KiB
Current children cumulated memory: 294856 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.17 4.15 5/242 895931
/proc/meminfo: memFree=124367192/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=301908 memory=294856 CPUtime=3512.16 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 99841 0 0 0 351154 62 0 0 20 0 1 0 172164407 309153792 73714 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 75477 73714 2718 2594 0 72370 0
Current children cumulated CPU time: 3512.16 s
Current children cumulated vsize: 301908 KiB
Current children cumulated memory: 294856 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.17 4.15 5/242 895942
/proc/meminfo: memFree=124330148/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=301908 memory=294856 CPUtime=3571.96 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 99920 0 0 0 357134 62 0 0 20 0 1 0 172164407 309153792 73714 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 75477 73714 2718 2594 0 72370 0
Current children cumulated CPU time: 3571.96 s
Current children cumulated vsize: 301908 KiB
Current children cumulated memory: 294856 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.09 4.15 4.14 5/242 895948
/proc/meminfo: memFree=124322848/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=301908 memory=294856 CPUtime=3600.06 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 99991 0 0 0 359944 62 0 0 20 0 1 0 172164407 309153792 73714 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 75477 73714 2718 2594 0 72370 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 301908 KiB
Current children cumulated memory: 294856 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.5 s]
# the end of solver process 893913 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.44 s, system=0.626891 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.09 4.15 4.14 5/242 895948
/proc/meminfo: memFree=124322848/131655788 swapFree=131071996/131071996
[pid=893913] ppid=893910 vsize=301908 memory=294856 CPUtime=3600.06 cores=4,6
/proc/893913/stat : 893913 (CASHWMaxSAT-Dis) R 893910 893913 890798 0 -1 4194304 99991 0 0 0 359944 62 0 0 20 0 1 0 172164407 309153792 73714 134679101440 4194304 14817773 140731368316048 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 45977600 140731368317924 140731368318039 140731368318039 140731368325055 0
/proc/893913/statm: 75477 73714 2718 2594 0 72370 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 301908 KiB
Current children cumulated memory: 294856 KiB
Child status: 10
Real time (s): 3610.5
CPU time (s): 3600.07
CPU user time (s): 3599.44
CPU system time (s): 0.626891
CPU usage (%): 99.7111
Max. virtual memory (cumulated for all children) (KiB): 468764
Max. memory (cumulated for all children) (KiB): 460644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.44
system time used= 0.626891
maximum resident set size= 461588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99992
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= 39
involuntary context switches= 1682
# summary of solver processes directly reported to runsolver:
# pid: 893913
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.44
# total CPU system time (s): 0.626891
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9558 second user time and 33.5034 second system time
The end
Begin job on nodeC002 at 2024-07-17 09:07:56
IDJOB=4439161
IDBENCH=146663
IDSOLVER=3075
FILE ID=nodeC002/4439161-1721200064
RUNJOBID= nodeC002-1721194641-890809
SLURM_JOB_ID= 7508870
Free space on /tmp= 723740 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439161-1721200064/watcher-4439161-1721200064 -o /tmp/evaluation-result-4439161-1721200064/solver-4439161-1721200064 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721194641-890809 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439161-1721200064.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0c08209891d9f5241a74237055766898
RANDOM SEED=173653429
nodeC002.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3656.388
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
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 : 3594.819
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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.311
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
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.166
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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 : 3491.703
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
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 : 3652.042
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
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.159
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.38
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.315
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126355276 kB
MemAvailable: 128742024 kB
Buffers: 461168 kB
Cached: 2740388 kB
SwapCached: 0 kB
Active: 779972 kB
Inactive: 3926724 kB
Active(anon): 2692 kB
Inactive(anon): 1540180 kB
Active(file): 777280 kB
Inactive(file): 2386544 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 14108 kB
Writeback: 4 kB
AnonPages: 1504840 kB
Mapped: 138220 kB
Shmem: 37704 kB
KReclaimable: 125908 kB
Slab: 228924 kB
SReclaimable: 125908 kB
SUnreclaim: 103016 kB
KernelStack: 3840 kB
PageTables: 12260 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2083396 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 56224 kB
HardwareCorrupted: 0 kB
AnonHugePages: 880640 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205640 kB
DirectMap2M: 21719040 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 723724 MiB
End job on nodeC002 at 2024-07-17 10:08:07