0.00/0.03 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.00/0.03 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.00/0.03 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.00/0.04 c Starting SCIP solver (with time-limit = 1800s) ...
1795.22/1800.04 c SCIP timeout with lower and upper bounds: [316, 552]
1795.42/1800.24 o 6
3600.07/3609.60
3600.07/3609.60 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.07/3609.60 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: 63968 MiB (60564 MiB free)
memory of node 1: 64473 MiB (61153 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439564-1721194630/watcher-4439564-1721194630 -o /tmp/evaluation-result-4439564-1721194630/solver-4439564-1721194630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721194641-894782 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439564-1721194630.opb -total-t=3600 -no-par -v0
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=894839, runsolver pid=894827
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 0.09 0.08 0.09 7/257 894846
/proc/meminfo: memFree=124538992/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=51940 memory=42536 CPUtime=0.1 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 8706 0 0 0 9 1 0 0 20 0 1 0 171633535 53186560 10634 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 12985 10634 2522 2550 0 9940 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51940 KiB
Current children cumulated memory: 42536 KiB
[startup+0.206326 s]*
/proc/loadavg: 0.09 0.08 0.09 7/257 894846
/proc/meminfo: memFree=124473724/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=52760 memory=43388 CPUtime=0.2 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 8887 0 0 0 19 1 0 0 20 0 1 0 171633535 54026240 10847 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 13190 10847 2538 2550 0 10145 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 52760 KiB
Current children cumulated memory: 43388 KiB
[startup+0.305727 s]*
/proc/loadavg: 0.09 0.08 0.09 6/257 894846
/proc/meminfo: memFree=124349556/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=97532 memory=79296 CPUtime=0.3 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 12313 0 0 0 28 2 0 0 20 0 1 0 171633535 99872768 19824 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 24383 19824 2554 2550 0 21338 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 97532 KiB
Current children cumulated memory: 79296 KiB
[startup+0.70016 s]
/proc/loadavg: 0.09 0.08 0.09 6/257 894846
/proc/meminfo: memFree=124273284/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=116276 memory=97476 CPUtime=0.68 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 16810 0 0 0 66 2 0 0 20 0 1 0 171633535 119066624 24369 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 29069 24369 2634 2550 0 26024 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 116276 KiB
Current children cumulated memory: 97476 KiB
[startup+1.50016 s]
/proc/loadavg: 0.09 0.08 0.09 7/257 894846
/proc/meminfo: memFree=124253044/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=116576 memory=97740 CPUtime=1.48 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 16913 0 0 0 146 2 0 0 20 0 1 0 171633535 119373824 24435 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 29144 24435 2634 2550 0 26099 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 116576 KiB
Current children cumulated memory: 97740 KiB
[startup+3.10641 s]
/proc/loadavg: 0.40 0.15 0.11 6/257 894892
/proc/meminfo: memFree=123882556/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=131620 memory=112376 CPUtime=3.09 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 20503 0 0 0 306 3 0 0 20 0 1 0 171633535 134778880 28094 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 32905 28094 2666 2550 0 29860 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 131620 KiB
Current children cumulated memory: 112376 KiB
[startup+6.30022 s]
/proc/loadavg: 0.40 0.15 0.11 7/257 894892
/proc/meminfo: memFree=123626056/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=212952 memory=188136 CPUtime=6.28 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 39467 0 0 0 621 7 0 0 20 0 1 0 171633535 218062848 47034 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 53238 47034 2666 2550 0 50193 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 212952 KiB
Current children cumulated memory: 188136 KiB
[startup+12.7002 s]
/proc/loadavg: 0.69 0.21 0.13 8/257 894894
/proc/meminfo: memFree=123578244/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=248984 memory=216364 CPUtime=12.66 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 46507 0 0 0 1258 8 0 0 20 0 1 0 171633535 254959616 54091 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 62246 54091 2666 2550 0 59201 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 248984 KiB
Current children cumulated memory: 216364 KiB
[startup+25.5002 s]
/proc/loadavg: 1.50 0.41 0.20 6/257 894896
/proc/meminfo: memFree=123506692/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=251156 memory=216620 CPUtime=25.42 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 46585 0 0 0 2534 8 0 0 20 0 1 0 171633535 257183744 54155 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 62789 54155 2666 2550 0 59744 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 251156 KiB
Current children cumulated memory: 216620 KiB
[startup+51.1064 s]
/proc/loadavg: 2.35 0.70 0.30 7/257 894900
/proc/meminfo: memFree=123466912/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=264860 memory=229224 CPUtime=50.96 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 49761 0 0 0 5088 8 0 0 20 0 1 0 171633535 271216640 57306 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 66215 57306 2666 2550 0 63170 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 264860 KiB
Current children cumulated memory: 229224 KiB
[startup+102.3 s]
/proc/loadavg: 3.33 1.23 0.50 7/257 894909
/proc/meminfo: memFree=123275348/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=289936 memory=254024 CPUtime=102.02 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 55960 0 0 0 10193 9 0 0 20 0 1 0 171633535 296894464 63506 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 72484 63506 2666 2550 0 69439 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 289936 KiB
Current children cumulated memory: 254024 KiB
[startup+162.3 s]
/proc/loadavg: 3.82 1.75 0.73 6/257 894965
/proc/meminfo: memFree=122701036/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=344084 memory=305744 CPUtime=161.85 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 68886 0 0 0 16172 13 0 0 20 0 1 0 171633535 352342016 76436 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 86021 76436 2666 2550 0 82976 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 344084 KiB
Current children cumulated memory: 305744 KiB
[startup+222.3 s]
/proc/loadavg: 3.98 2.18 0.94 6/261 894981
/proc/meminfo: memFree=122431224/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=390092 memory=349284 CPUtime=221.65 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 79757 0 0 0 22150 15 0 0 20 0 1 0 171633535 399454208 87321 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 97523 87321 2666 2550 0 94478 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 390092 KiB
Current children cumulated memory: 349284 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 2.54 1.15 6/261 894991
/proc/meminfo: memFree=122287336/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=398704 memory=357968 CPUtime=281.46 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 81961 0 0 0 28130 16 0 0 20 0 1 0 171633535 408272896 89492 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 99676 89492 2666 2550 0 96631 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 398704 KiB
Current children cumulated memory: 357968 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 2.81 1.33 6/258 895003
/proc/meminfo: memFree=122196656/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=399592 memory=357968 CPUtime=341.26 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 81966 0 0 0 34110 16 0 0 20 0 1 0 171633535 409182208 89492 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 99898 89492 2666 2550 0 96853 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 399592 KiB
Current children cumulated memory: 357968 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 3.05 1.50 6/258 895014
/proc/meminfo: memFree=122063284/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=406076 memory=358488 CPUtime=401.06 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 82067 0 0 0 40090 16 0 0 20 0 1 0 171633535 415821824 89622 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 101519 89622 2666 2550 0 98474 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 406076 KiB
Current children cumulated memory: 358488 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.25 1.67 6/258 895024
/proc/meminfo: memFree=121997780/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=418060 memory=365316 CPUtime=460.86 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 83791 0 0 0 46070 16 0 0 20 0 1 0 171633535 428093440 91329 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 104515 91329 2666 2550 0 101470 0
################
# More data... #
################
Current children cumulated memory: 430872 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.13 4.01 6/256 896047
/proc/meminfo: memFree=121649024/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=487868 memory=466476 CPUtime=2854.84 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 105926 0 0 0 285448 36 0 0 20 0 1 0 171633535 499576832 116619 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 121967 116619 2666 2550 0 118922 0
Current children cumulated CPU time: 2854.84 s
Current children cumulated vsize: 487868 KiB
Current children cumulated memory: 466476 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.13 4.01 6/256 896440
/proc/meminfo: memFree=121629656/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=438548 memory=430872 CPUtime=2914.68 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 106707 0 0 0 291429 39 0 0 20 0 1 0 171633535 449073152 107718 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 109637 107718 2666 2550 0 106592 0
Current children cumulated CPU time: 2914.68 s
Current children cumulated vsize: 438548 KiB
Current children cumulated memory: 430872 KiB
[startup+2982.3 s]
/proc/loadavg: 4.06 4.11 4.01 6/257 896451
/proc/meminfo: memFree=121636352/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=487868 memory=466484 CPUtime=2974.5 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 107314 0 0 0 297410 40 0 0 20 0 1 0 171633535 499576832 116621 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 121967 116621 2666 2550 0 118922 0
Current children cumulated CPU time: 2974.5 s
Current children cumulated vsize: 487868 KiB
Current children cumulated memory: 466484 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.12 4.01 6/257 896462
/proc/meminfo: memFree=121629684/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=438548 memory=430872 CPUtime=3034.32 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 108545 0 0 0 303387 45 0 0 20 0 1 0 171633535 449073152 107718 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 109637 107718 2666 2550 0 106592 0
Current children cumulated CPU time: 3034.32 s
Current children cumulated vsize: 438548 KiB
Current children cumulated memory: 430872 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.01 6/257 896640
/proc/meminfo: memFree=121586780/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=487868 memory=472620 CPUtime=3094.15 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 112321 0 0 0 309362 53 0 0 20 0 1 0 171633535 499576832 118155 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 121967 118155 2666 2550 0 118922 0
Current children cumulated CPU time: 3094.15 s
Current children cumulated vsize: 487868 KiB
Current children cumulated memory: 472620 KiB
[startup+3162.3 s]
/proc/loadavg: 4.41 4.21 4.05 6/257 896650
/proc/meminfo: memFree=121665028/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=438548 memory=430872 CPUtime=3153.97 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 113811 0 0 0 315343 54 0 0 20 0 1 0 171633535 449073152 107718 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 109637 107718 2666 2550 0 106592 0
Current children cumulated CPU time: 3153.97 s
Current children cumulated vsize: 438548 KiB
Current children cumulated memory: 430872 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.18 4.05 6/258 896719
/proc/meminfo: memFree=121607504/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=438548 memory=430872 CPUtime=3213.79 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 118978 0 0 0 321315 64 0 0 20 0 1 0 171633535 449073152 107718 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 109637 107718 2666 2550 0 106592 0
Current children cumulated CPU time: 3213.79 s
Current children cumulated vsize: 438548 KiB
Current children cumulated memory: 430872 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.18 4.06 6/258 896730
/proc/meminfo: memFree=121661244/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=438548 memory=430872 CPUtime=3273.62 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 119315 0 0 0 327297 65 0 0 20 0 1 0 171633535 449073152 107718 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 109637 107718 2666 2550 0 106592 0
Current children cumulated CPU time: 3273.62 s
Current children cumulated vsize: 438548 KiB
Current children cumulated memory: 430872 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.19 4.07 6/258 896741
/proc/meminfo: memFree=121613548/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=438548 memory=430872 CPUtime=3333.47 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 124975 0 0 0 333270 77 0 0 20 0 1 0 171633535 449073152 107718 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 109637 107718 2666 2550 0 106592 0
Current children cumulated CPU time: 3333.47 s
Current children cumulated vsize: 438548 KiB
Current children cumulated memory: 430872 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.15 4.07 6/259 896752
/proc/meminfo: memFree=121616948/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=438548 memory=430872 CPUtime=3393.31 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 125090 0 0 0 339254 77 0 0 20 0 1 0 171633535 449073152 107718 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 109637 107718 2666 2550 0 106592 0
Current children cumulated CPU time: 3393.31 s
Current children cumulated vsize: 438548 KiB
Current children cumulated memory: 430872 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.15 4.07 6/259 896763
/proc/meminfo: memFree=121553300/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=487868 memory=479456 CPUtime=3453.16 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 131286 0 0 0 345229 87 0 0 20 0 1 0 171633535 499576832 119864 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 121967 119864 2666 2550 0 118922 0
Current children cumulated CPU time: 3453.16 s
Current children cumulated vsize: 487868 KiB
Current children cumulated memory: 479456 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.16 4.08 6/256 896774
/proc/meminfo: memFree=121652440/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=438548 memory=430872 CPUtime=3513 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 132551 0 0 0 351211 89 0 0 20 0 1 0 171633535 449073152 107718 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 109637 107718 2666 2550 0 106592 0
Current children cumulated CPU time: 3513 s
Current children cumulated vsize: 438548 KiB
Current children cumulated memory: 430872 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.08 6/255 896784
/proc/meminfo: memFree=121651700/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=438548 memory=430872 CPUtime=3572.84 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 136725 0 0 0 357188 96 0 0 20 0 1 0 171633535 449073152 107718 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 109637 107718 2666 2550 0 106592 0
Current children cumulated CPU time: 3572.84 s
Current children cumulated vsize: 438548 KiB
Current children cumulated memory: 430872 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.09 4.14 4.08 6/255 896790
/proc/meminfo: memFree=121609532/131524596 swapFree=131071996/131071996
[pid=894839] ppid=894827 vsize=487868 memory=476716 CPUtime=3600.07 cores=1,3
/proc/894839/stat : 894839 (CASHWMaxSAT-Dis) R 894827 894839 894770 0 -1 4194304 139402 0 0 0 359906 101 0 0 20 0 1 0 171633535 499576832 119179 134679101440 4194304 14636349 140736885702240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 16575728 16655184 43470848 140736885707746 140736885707862 140736885707862 140736885714878 0
/proc/894839/statm: 121967 119179 2666 2550 0 118922 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 487868 KiB
Current children cumulated memory: 476716 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.6 s]
# the end of solver process 894839 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.06 s, system=1.02121 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.6
CPU time (s): 3600.08
CPU user time (s): 3599.06
CPU system time (s): 1.02121
CPU usage (%): 99.7363
Max. virtual memory (cumulated for all children) (KiB): 518688
Max. memory (cumulated for all children) (KiB): 501456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.06
system time used= 1.02121
maximum resident set size= 501456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139403
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= 43
involuntary context switches= 1792
# summary of solver processes directly reported to runsolver:
# pid: 894839
# total CPU time (s): 3600.08
# total CPU user time (s): 3599.06
# total CPU system time (s): 1.02121
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.18152 second user time and 17.5365 second system time
The end
Begin job on nodeC034 at 2024-07-17 07:37:22
IDJOB=4439564
IDBENCH=146663
IDSOLVER=3076
FILE ID=nodeC034/4439564-1721194630
RUNJOBID= nodeC034-1721194641-894782
SLURM_JOB_ID= 7508895
Free space on /tmp= 890080 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-SP 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-DisjCom-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439564-1721194630/watcher-4439564-1721194630 -o /tmp/evaluation-result-4439564-1721194630/solver-4439564-1721194630 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721194641-894782 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439564-1721194630.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0c08209891d9f5241a74237055766898
RANDOM SEED=346687897
nodeC034.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 : 0xb00002a
cpu MHz : 3458.054
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 invpcid_single pti ibrs ibpb stibp 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 : 6999.99
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 : 3422.540
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 invpcid_single pti ibrs ibpb stibp 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 : 7005.58
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 : 3182.605
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 invpcid_single pti ibrs ibpb stibp 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 : 6999.99
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 : 3322.145
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 invpcid_single pti ibrs ibpb stibp 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 : 7005.58
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 : 3465.746
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 invpcid_single pti ibrs ibpb stibp 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 : 6999.99
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 : 3551.879
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 invpcid_single pti ibrs ibpb stibp 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 : 7005.58
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 : 3284.831
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 invpcid_single pti ibrs ibpb stibp 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 : 6999.99
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 : 3297.279
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 invpcid_single pti ibrs ibpb stibp 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 : 7005.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524596 kB
MemFree: 124640516 kB
MemAvailable: 129657572 kB
Buffers: 427108 kB
Cached: 5368480 kB
SwapCached: 0 kB
Active: 820904 kB
Inactive: 5332148 kB
Active(anon): 1404 kB
Inactive(anon): 394108 kB
Active(file): 819500 kB
Inactive(file): 4938040 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 54248 kB
Writeback: 0 kB
AnonPages: 357244 kB
Mapped: 104484 kB
Shmem: 37720 kB
KReclaimable: 198680 kB
Slab: 320520 kB
SReclaimable: 198680 kB
SUnreclaim: 121840 kB
KernelStack: 3936 kB
PageTables: 9636 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834292 kB
Committed_AS: 712664 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66080 kB
HardwareCorrupted: 0 kB
AnonHugePages: 227328 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: 295636 kB
DirectMap2M: 40372224 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC034 at 2024-07-17 08:37:32