0.00/0.02 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
0.00/0.02 c Do: 140723389817944 140723389817952
0.00/0.02 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.00/0.03 c Starting SCIP solver (with time-limit = 1800s) ...
1794.94/1800.03 c SCIP timeout with lower and upper bounds: [-211, 10]
1794.94/1800.03 o 10
3600.00/3610.50
3600.00/3610.50 v -x786 x741 x421 x83 x861 -x745 x419 x860 -x785 -x502 x308 -x86 -x789 -x420 -x87 x64 x862 -x505 -x425 -x355 x307 x63 x864 -x790 -x574 -x506 x65 x573 -x479 -x442 -x354 -x313 x66 -x28 x865 x575 -x478 -x311 -x103 x67 -x867 -x811 x576 -x480 x441 x360 -x263 -x186 -x102 -x74 -x27 -x868 -x815 x577 -x483 -x358 -x312 -x191 -x108 x68 -x31 -x698 x584 x482 -x447 -x400 -x316 -x266 -x217 -x190 -x144 -x107 x69 -x702 x578 x487 -x445 -x359 -x267 -x143 x109 -x70 -x32 -x3 x579 x486 -x399 -x363 -x193 -x167 -x145 x113 -x2 -x661 -x580 x484 -x446 -x194 -x148 x112 x8 -x660 -x595 -x559 -x485 -x450 x405 -x197 -x166 x147 -x110 x7 x662 -x599 -x558 -x403 -x195 x152 -x111 x9 x663 -x560 -x333 -x196 x172 -x151 x13 x664 -x563 -x404 x170 -x149 x12 x669 x562 -x408 -x336 -x150 -x10 x665 x564 -x337 x171 -x11 x740 x422 x82 -x856 x744 -x855 x787 -x501 -x426 -x303 x88 -x791 -x424 x863 x507 -x350 x309 x866 x870 -x836 -x793 -x437 x356 -x314 -x91 -x77 -x869 -x840 -x794 -x78 -x810 -x587 -x510 x443 x361 -x317 -x262 -x213 -x73 x29 -x814 x588 -x481 -x315 -x185 -x104 -x33 -x697 x583 x495 -x448 -x395 -x364 -x268 -x216 -x187 x105 -x71 -x701 -x491 -x362 x192 x106 -x581 -x490 x451 -x401 x189 -x162 x117 -x35 -x449 -x198 x146 -x36 -x4 -x594 -x543 x406 -x271 -x168 x160 x5 -x598 -x156 x6 x672 -x409 -x332 x173 -x155 x17 x673 -x561 -x407 x668 x572 -x467 -x338 x174 x568 x471 -x175 -x782 x742 -x497 x423 x84 x746 -x427 x788 -x503 x89 -x857 -x792 -x302 x858 -x796 -x748 x508 -x304 x92 -x76 x859 -x795 -x749 -x349 x310 -x90 -x75 -x23 x874 -x835 -x762 -x586 -x511 x351 x306 -x258 -x22 -x839 -x766 -x585 -x509 -x436 x357 x318 x812 -x492 -x438 x353 -x264 -x212 x30 -x816 -x494 x444 x365 x34 -x699 x440 x269 -x218 -x120 -x72 x38 -x703 x452 -x394 x188 x121 -x37 -x818 -x582 -x539 -x488 -x396 -x272 x206 x157 -x116 -x819 x402 -x270 x202 -x161 x159 -x705 -x671 -x596 -x542 -x489 x398 -x328 -x221 x201 -x163 -x114 -x20 -x706 -x670 x600 x410 -x169 x21 -x723 -x569 -x334 x165 -x153 x16 -x727 -x571 x176 x666 -x602 -x466 x339 -x154 -x132 -x14 -x603 x567 x470 x743 x435 x80 -x781 x747 x496 -x431 x85 -x783 x751 x498 -x430 x81 x784 -x750 x504 x93 -x877 x800 x500 x878 -x806 x512 x305 -x873 -x837 -x805 x761 x326 -x208 -x841 -x765 -x693 -x493 x352 -x322 x257 -x24 -x885 -x871 x813 -x692 x373 -x321 x259 -x214 -x119 -x25 -x889 -x817 -x439 x369 x265 -x118 x26 -x843 -x821 x700 -x460 -x368 x261 x219 -x203 -x42 -x844 -x820 x704 -x590 x456 -x273 -x205 x158 x708 -x589 -x538 -x455 x222 -x19 -x707 -x397 x220 -x18 -x597 -x544 -x418 -x199 -x115 x601 -x570 x414 -x327 x164 -x722 x605 x413 -x329 -x200 x184 -x128 -x726 x604 x335 x180 x667 -x547 x468 x331 -x179 -x131 -x15 x565 x472 -x340 x904 x434 x79 -x876 -x803 x755 -x428 x101 -x875 -x831 x804 x499 x97 -x830 -x799 x520 -x429 -x323 x96 x516 x325 x838 -x797 x763 -x515 -x370 x842 -x807 -x767 x372 -x207 -x884 -x872 x846 -x808 -x457 -x319 -x292 -x209 -x45 -x888 x845 x809 -x694 -x459 x260 -x215 -x204 -x46 x825 -x769 x695 -x534 -x384 -x366 -x320 -x281 x211 -x41 -x770 x696 x277 x223 x712 -x620 x540 -x453 -x415 -x367 -x276 -x39 -x624 -x591 -x417 x592 x545 -x454 -x181 x593 -x462 x183 x724 -x609 x548 -x461 -x411 -x127 x728 -x546 -x330 x469 -x412 x348 -x177 -x133 x566 x473 x344 -x802 x432 x98 -x801 x100 x754 -x655 x517 -x757 x519 -x324 -x756 x752 -x522 x94 x832 -x526 -x371 x833 -x798 x764 -x513 -x288 -x250 x95 -x44 x834 x768 -x458 -x43 x886 x850 x828 -x772 -x514 -x380 -x291 -x278 -x890 x829 -x771 -x280 x210 x824 x715 -x383 x231 x716 -x533 -x416 x227 -x892 -x822 x711 -x642 -x619 x535 -x274 x226 -x40 -x893 -x718 -x646 -x623 x541 -x182 x717 -x709 -x680 x612 x537 -x275 -x123 -x56 -x684 x613 x549 x725 -x608 -x345 x129 x729 x463 -x347 x730 -x606 x464 -x241 -x178 x134 x731 x465 x343 x905 -x433 x99 -x518 x654 -x753 x521 -x246 -x880 x758 -x525 x879 x853 -x827 x759 -x287 -x249 x854 -x826 x760 -x279 x887 -x849 x776 -x714 -x379 x293 -x228 x891 -x713 x230 x895 -x847 x385 x894 -x823 -x641 x621 -x611 -x296 x224 -x52 -x645 x625 -x610 x536 -x710 -x679 x557 -x388 -x225 -x55 x719 x683 -x553 -x346 -x122 x720 -x627 -x552 -x237 x124 x721 -x628 x130 x735 -x607 -x476 x240 x126 -x477 x341 x135 x656 -x852 x523 -x283 x245 x851 -x527 -x779 -x658 -x375 -x289 -x251 x881 x780 -x229 x882 x775 -x529 -x381 x294 x883 -x615 -x530 x899 -x848 -x773 x614 x386 -x297 -x254 -x295 -x643 x622 -x554 x389 x51 -x647 x626 x556 -x387 -x681 x630 -x57 x685 x629 x738 -x649 -x550 -x475 -x236 x739 -x650 -x474 x125 x734 -x687 -x551 x242 -x142 x60 -x688 -x342 x138 -x778 x659 x524 x247 -x777 x657 x528 -x282 -x532 x284 -x252 -x531 x374 -x290 -x902 x376 x286 x255 -x903 -x637 x382 x298 x253 -x898 -x774 x636 x378 -x49 -x675 x616 -x555 x390 -x896 -x674 -x644 x617 x53 x648 x618 x737 x682 -x652 x633 -x234 -x58 x736 x686 -x651 -x690 x238 -x139 x61 -x689 -x141 x59 x732 x243 x136 x248 -x901 x906 -x900 x285 x256 x301 x377 x299 x393 -x300 x638 x391 -x48 -x897 x639 x635 -x392 x47 -x676 x640 x634 x54 x677 x653 -x631 x50 x678 -x233 -x140 x62 -x691 -x632 x232 x239 x733 x235 x244 x137 x1
3600.00/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 (61477 MiB free)
memory of node 1: 64510 MiB (61163 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439162-1721198240/watcher-4439162-1721198240 -o /tmp/evaluation-result-4439162-1721198240/solver-4439162-1721198240 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721194641-890811 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439162-1721198240.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=892870, runsolver pid=892867
[startup+0.1001 s]*
/proc/loadavg: 4.87 4.42 4.18 5/242 892871
/proc/meminfo: memFree=125554884/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=48744 memory=39476 CPUtime=0.1 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 7712 0 0 0 9 1 0 0 20 0 1 0 171982083 49913856 9869 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 12186 9869 2542 2594 0 9079 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48744 KiB
Current children cumulated memory: 39476 KiB
[startup+0.21293 s]*
/proc/loadavg: 4.87 4.42 4.18 5/242 892871
/proc/meminfo: memFree=125553708/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=49584 memory=40268 CPUtime=0.21 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 7902 0 0 0 20 1 0 0 20 0 1 0 171982083 50774016 10067 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 12396 10067 2542 2594 0 9289 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 49584 KiB
Current children cumulated memory: 40268 KiB
[startup+0.312904 s]*
/proc/loadavg: 4.87 4.42 4.18 5/242 892871
/proc/meminfo: memFree=125541836/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=64832 memory=53388 CPUtime=0.32 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 11217 0 0 0 30 2 0 0 20 0 1 0 171982083 66387968 13347 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 16208 13347 2542 2594 0 13101 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 64832 KiB
Current children cumulated memory: 53388 KiB
[startup+0.700363 s]
/proc/loadavg: 4.87 4.42 4.18 5/242 892871
/proc/meminfo: memFree=125529236/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=76716 memory=64908 CPUtime=0.69 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 14386 0 0 0 67 2 0 0 20 0 1 0 171982083 78557184 16227 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 19179 16227 2638 2594 0 16072 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 76716 KiB
Current children cumulated memory: 64908 KiB
[startup+1.50034 s]
/proc/loadavg: 4.87 4.42 4.18 5/242 892871
/proc/meminfo: memFree=125528816/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=76716 memory=64908 CPUtime=1.48 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 14412 0 0 0 146 2 0 0 20 0 1 0 171982083 78557184 16227 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 19179 16227 2638 2594 0 16072 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 76716 KiB
Current children cumulated memory: 64908 KiB
[startup+3.11252 s]
/proc/loadavg: 4.87 4.42 4.18 5/242 892873
/proc/meminfo: memFree=125505668/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=102068 memory=89016 CPUtime=3.09 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 20506 0 0 0 306 3 0 0 20 0 1 0 171982083 104517632 22254 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 25517 22254 2654 2594 0 22410 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 102068 KiB
Current children cumulated memory: 89016 KiB
[startup+6.3003 s]
/proc/loadavg: 4.88 4.43 4.19 5/242 892919
/proc/meminfo: memFree=126728748/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=187168 memory=167752 CPUtime=6.27 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 40368 0 0 0 620 7 0 0 20 0 1 0 171982083 191660032 41938 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 46792 41938 2654 2594 0 43685 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 187168 KiB
Current children cumulated memory: 167752 KiB
[startup+12.7003 s]
/proc/loadavg: 4.89 4.44 4.19 5/242 892919
/proc/meminfo: memFree=126648176/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=194968 memory=171448 CPUtime=12.66 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 41284 0 0 0 1258 8 0 0 20 0 1 0 171982083 199647232 42862 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 48742 42862 2654 2594 0 45635 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 194968 KiB
Current children cumulated memory: 171448 KiB
[startup+25.5003 s]
/proc/loadavg: 4.99 4.48 4.21 5/242 892922
/proc/meminfo: memFree=126760560/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=200896 memory=173032 CPUtime=25.42 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 41641 0 0 0 2533 9 0 0 20 0 1 0 171982083 205717504 43258 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 50224 43258 2654 2594 0 47117 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 200896 KiB
Current children cumulated memory: 173032 KiB
[startup+51.1125 s]
/proc/loadavg: 5.00 4.52 4.23 5/241 892925
/proc/meminfo: memFree=126722876/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=209772 memory=180960 CPUtime=50.96 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 45077 0 0 0 5084 12 0 0 20 0 1 0 171982083 214806528 45240 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 52443 45240 2654 2594 0 49336 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 209772 KiB
Current children cumulated memory: 180960 KiB
[startup+102.3 s]
/proc/loadavg: 4.47 4.45 4.22 5/241 892935
/proc/meminfo: memFree=126709364/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=213884 memory=181480 CPUtime=102.01 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 45257 0 0 0 10184 17 0 0 20 0 1 0 171982083 219017216 45370 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 53471 45370 2654 2594 0 50364 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 213884 KiB
Current children cumulated memory: 181480 KiB
[startup+162.3 s]
/proc/loadavg: 4.27 4.40 4.22 5/241 892946
/proc/meminfo: memFree=126644008/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=240060 memory=205948 CPUtime=161.85 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 54444 0 0 0 16161 24 0 0 20 0 1 0 171982083 245821440 51487 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 60015 51487 2654 2594 0 56908 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 240060 KiB
Current children cumulated memory: 205948 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.34 4.20 5/244 892961
/proc/meminfo: memFree=126520304/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=256444 memory=217644 CPUtime=221.69 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 57881 0 0 0 22143 26 0 0 20 0 1 0 171982083 262598656 54411 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 64111 54411 2654 2594 0 61004 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 256444 KiB
Current children cumulated memory: 217644 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.31 4.20 5/244 892972
/proc/meminfo: memFree=126499452/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=257476 memory=217744 CPUtime=281.54 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 57919 0 0 0 28127 27 0 0 20 0 1 0 171982083 263655424 54436 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 64369 54436 2654 2594 0 61262 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 257476 KiB
Current children cumulated memory: 217744 KiB
[startup+342.3 s]
/proc/loadavg: 4.18 4.28 4.19 5/244 892984
/proc/meminfo: memFree=126518824/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=271756 memory=228796 CPUtime=341.37 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 60750 0 0 0 34110 27 0 0 20 0 1 0 171982083 278278144 57199 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 67939 57199 2654 2594 0 64832 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 271756 KiB
Current children cumulated memory: 228796 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.27 4.19 5/244 892994
/proc/meminfo: memFree=126488708/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=271796 memory=249440 CPUtime=401.21 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 62204 0 0 0 40093 28 0 0 20 0 1 0 171982083 278319104 62360 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 67949 62360 2654 2594 0 64842 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 271796 KiB
Current children cumulated memory: 249440 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.25 4.19 5/244 893005
/proc/meminfo: memFree=126447680/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=277996 memory=263324 CPUtime=461.05 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 62285 0 0 0 46077 28 0 0 20 0 1 0 171982083 284667904 65831 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 69499 65831 2654 2594 0 66392 0
################
# More data... #
################
Current children cumulated memory: 252424 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.20 4.15 5/241 894503
/proc/meminfo: memFree=126224272/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=259864 memory=252424 CPUtime=2913.74 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 91521 0 0 0 291322 52 0 0 20 0 1 0 171982083 266100736 63106 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 64966 63106 2718 2594 0 61859 0
Current children cumulated CPU time: 2913.74 s
Current children cumulated vsize: 259864 KiB
Current children cumulated memory: 252424 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.18 4.15 5/241 894513
/proc/meminfo: memFree=126169760/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=312944 memory=305504 CPUtime=2973.6 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 95076 0 0 0 297302 58 0 0 20 0 1 0 171982083 320454656 76376 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 78236 76376 2718 2594 0 75129 0
Current children cumulated CPU time: 2973.6 s
Current children cumulated vsize: 312944 KiB
Current children cumulated memory: 305504 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.17 4.15 5/242 894524
/proc/meminfo: memFree=126157304/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=314684 memory=307200 CPUtime=3033.45 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 97319 0 0 0 303284 61 0 0 20 0 1 0 171982083 322236416 76800 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 78671 76800 2718 2594 0 75564 0
Current children cumulated CPU time: 3033.45 s
Current children cumulated vsize: 314684 KiB
Current children cumulated memory: 307200 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.17 4.15 5/244 894707
/proc/meminfo: memFree=126119464/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=351296 memory=343856 CPUtime=3093.3 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 99468 0 0 0 309264 66 0 0 20 0 1 0 171982083 359727104 85964 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 87824 85964 2718 2594 0 84717 0
Current children cumulated CPU time: 3093.3 s
Current children cumulated vsize: 351296 KiB
Current children cumulated memory: 343856 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.17 4.15 5/244 894717
/proc/meminfo: memFree=126066036/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=353332 memory=345892 CPUtime=3153.14 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 100390 0 0 0 315245 69 0 0 20 0 1 0 171982083 361811968 86473 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 88333 86473 2718 2594 0 85226 0
Current children cumulated CPU time: 3153.14 s
Current children cumulated vsize: 353332 KiB
Current children cumulated memory: 345892 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/246 894786
/proc/meminfo: memFree=126141096/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=328084 memory=320644 CPUtime=3213 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 102767 0 0 0 321225 75 0 0 20 0 1 0 171982083 335958016 80161 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 82021 80161 2718 2594 0 78914 0
Current children cumulated CPU time: 3213 s
Current children cumulated vsize: 328084 KiB
Current children cumulated memory: 320644 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.14 5/246 894796
/proc/meminfo: memFree=126206428/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=259864 memory=252424 CPUtime=3272.85 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 104191 0 0 0 327207 78 0 0 20 0 1 0 171982083 266100736 63106 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 64966 63106 2718 2594 0 61859 0
Current children cumulated CPU time: 3272.85 s
Current children cumulated vsize: 259864 KiB
Current children cumulated memory: 252424 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.14 5/246 894807
/proc/meminfo: memFree=126177908/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=259864 memory=252424 CPUtime=3332.66 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 104287 0 0 0 333188 78 0 0 20 0 1 0 171982083 266100736 63106 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 64966 63106 2718 2594 0 61859 0
Current children cumulated CPU time: 3332.66 s
Current children cumulated vsize: 259864 KiB
Current children cumulated memory: 252424 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/243 894817
/proc/meminfo: memFree=126109328/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=259864 memory=252424 CPUtime=3392.47 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 104381 0 0 0 339168 79 0 0 20 0 1 0 171982083 266100736 63106 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 64966 63106 2718 2594 0 61859 0
Current children cumulated CPU time: 3392.47 s
Current children cumulated vsize: 259864 KiB
Current children cumulated memory: 252424 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/243 894828
/proc/meminfo: memFree=125872016/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=259864 memory=252424 CPUtime=3452.28 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 104467 0 0 0 345149 79 0 0 20 0 1 0 171982083 266100736 63106 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 64966 63106 2718 2594 0 61859 0
Current children cumulated CPU time: 3452.28 s
Current children cumulated vsize: 259864 KiB
Current children cumulated memory: 252424 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/241 894840
/proc/meminfo: memFree=125745752/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=259864 memory=252424 CPUtime=3512.09 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 104547 0 0 0 351130 79 0 0 20 0 1 0 171982083 266100736 63106 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 64966 63106 2718 2594 0 61859 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 259864 KiB
Current children cumulated memory: 252424 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/241 894850
/proc/meminfo: memFree=125741756/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=259864 memory=252424 CPUtime=3571.89 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 104647 0 0 0 357110 79 0 0 20 0 1 0 171982083 266100736 63106 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 64966 63106 2718 2594 0 61859 0
Current children cumulated CPU time: 3571.89 s
Current children cumulated vsize: 259864 KiB
Current children cumulated memory: 252424 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.11 4.12 4.12 5/241 894854
/proc/meminfo: memFree=125712760/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=259864 memory=252424 CPUtime=3600 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 104710 0 0 0 359921 79 0 0 20 0 1 0 171982083 266100736 63106 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 64966 63106 2718 2594 0 61859 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 259864 KiB
Current children cumulated memory: 252424 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.5 s]
# the end of solver process 892870 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.21 s, system=0.798312 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.11 4.12 4.12 5/241 894854
/proc/meminfo: memFree=125712760/131655788 swapFree=131071996/131071996
[pid=892870] ppid=892867 vsize=259864 memory=252424 CPUtime=3600 cores=5,7
/proc/892870/stat : 892870 (CASHWMaxSAT-Dis) R 892867 892870 890798 0 -1 4194304 104710 0 0 0 359921 79 0 0 20 0 1 0 171982083 266100736 63106 134679101440 4194304 14817773 140723389820352 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30158848 140723389821924 140723389822039 140723389822039 140723389829055 0
/proc/892870/statm: 64966 63106 2718 2594 0 61859 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 259864 KiB
Current children cumulated memory: 252424 KiB
Child status: 10
Real time (s): 3610.5
CPU time (s): 3600.01
CPU user time (s): 3599.21
CPU system time (s): 0.798312
CPU usage (%): 99.7095
Max. virtual memory (cumulated for all children) (KiB): 441076
Max. memory (cumulated for all children) (KiB): 433464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.21
system time used= 0.798312
maximum resident set size= 433464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104711
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= 40
involuntary context switches= 1403
# summary of solver processes directly reported to runsolver:
# pid: 892870
# total CPU time (s): 3600.01
# total CPU user time (s): 3599.21
# total CPU system time (s): 0.798312
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1959 second user time and 35.0632 second system time
The end
Begin job on nodeC002 at 2024-07-17 08:37:33
IDJOB=4439162
IDBENCH=146658
IDSOLVER=3075
FILE ID=nodeC002/4439162-1721198240
RUNJOBID= nodeC002-1721194641-890811
SLURM_JOB_ID= 7508870
Free space on /tmp= 723732 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:98.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-4439162-1721198240/watcher-4439162-1721198240 -o /tmp/evaluation-result-4439162-1721198240/solver-4439162-1721198240 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721194641-890811 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439162-1721198240.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f3472af25f5f0fee0e9203b0329f534f
RANDOM SEED=1023848114
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 : 3534.554
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 : 3631.205
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.285
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.254
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 : 3653.531
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 : 3493.537
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.332
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.160
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: 125584676 kB
MemAvailable: 127961036 kB
Buffers: 459832 kB
Cached: 2731308 kB
SwapCached: 0 kB
Active: 787072 kB
Inactive: 4688812 kB
Active(anon): 2692 kB
Inactive(anon): 2319756 kB
Active(file): 784380 kB
Inactive(file): 2369056 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 13912 kB
Writeback: 0 kB
AnonPages: 2284344 kB
Mapped: 130324 kB
Shmem: 37704 kB
KReclaimable: 125908 kB
Slab: 228896 kB
SReclaimable: 125908 kB
SUnreclaim: 102988 kB
KernelStack: 3888 kB
PageTables: 13740 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2882148 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 56192 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2086912 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= 723728 MiB
End job on nodeC002 at 2024-07-17 09:37:44