0.00/0.02 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.00/0.02 c Do: 140733456214472 140733456214480
0.00/0.02 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
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.77/1800.04 c SCIP timeout with lower and upper bounds: [-224, 6]
1794.77/1800.04 o 6
3600.09/3609.90
3600.09/3609.90 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.09/3609.90 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 (61207 MiB free)
memory of node 1: 64510 MiB (59903 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439967-1721198240/watcher-4439967-1721198240 -o /tmp/evaluation-result-4439967-1721198240/solver-4439967-1721198240 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721194640-886675 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439967-1721198240.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=888707, runsolver pid=888704
[startup+0.100093 s]*
/proc/loadavg: 4.08 4.09 4.03 4/239 888708
/proc/meminfo: memFree=124629580/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=50592 memory=41208 CPUtime=0.1 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 8505 0 0 0 9 1 0 0 20 0 1 0 171983254 51806208 10302 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 12648 10302 2382 2417 0 9750 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50592 KiB
Current children cumulated memory: 41208 KiB
[startup+0.212839 s]*
/proc/loadavg: 4.08 4.09 4.03 5/238 888712
/proc/meminfo: memFree=124609236/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=51412 memory=42120 CPUtime=0.21 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 8687 0 0 0 20 1 0 0 20 0 1 0 171983254 52645888 10530 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 12853 10530 2414 2417 0 9955 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 51412 KiB
Current children cumulated memory: 42120 KiB
[startup+0.313383 s]*
/proc/loadavg: 4.08 4.09 4.03 4/238 888722
/proc/meminfo: memFree=124558236/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=96184 memory=79208 CPUtime=0.31 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 14592 0 0 0 29 2 0 0 20 0 1 0 171983254 98492416 19802 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 24046 19802 2414 2417 0 21148 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 96184 KiB
Current children cumulated memory: 79208 KiB
[startup+0.700334 s]
/proc/loadavg: 4.08 4.09 4.03 5/236 888744
/proc/meminfo: memFree=124552612/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=114764 memory=97500 CPUtime=0.69 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 19076 0 0 0 66 3 0 0 20 0 1 0 171983254 117518336 24375 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 28691 24375 2526 2417 0 25793 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 114764 KiB
Current children cumulated memory: 97500 KiB
[startup+1.50033 s]
/proc/loadavg: 4.08 4.09 4.03 5/241 888754
/proc/meminfo: memFree=124415112/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=114764 memory=97500 CPUtime=1.49 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 19093 0 0 0 146 3 0 0 20 0 1 0 171983254 117518336 24375 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 28691 24375 2526 2417 0 25793 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 114764 KiB
Current children cumulated memory: 97500 KiB
[startup+3.11262 s]
/proc/loadavg: 4.08 4.09 4.03 5/241 888754
/proc/meminfo: memFree=123705396/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=125028 memory=107856 CPUtime=3.09 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 21676 0 0 0 306 3 0 0 20 0 1 0 171983254 128028672 26964 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 31257 26964 2542 2417 0 28359 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 125028 KiB
Current children cumulated memory: 107856 KiB
[startup+6.3003 s]
/proc/loadavg: 4.08 4.09 4.03 5/241 888754
/proc/meminfo: memFree=122983600/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=208952 memory=185992 CPUtime=6.27 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 41193 0 0 0 621 6 0 0 20 0 1 0 171983254 213966848 46498 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 52238 46498 2542 2417 0 49340 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 208952 KiB
Current children cumulated memory: 185992 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.10 4.03 5/241 888801
/proc/meminfo: memFree=123342492/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=261020 memory=229288 CPUtime=12.65 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 52055 0 0 0 1257 8 0 0 20 0 1 0 171983254 267284480 57322 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 65255 57322 2542 2417 0 62357 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 261020 KiB
Current children cumulated memory: 229288 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.10 4.03 5/241 888803
/proc/meminfo: memFree=123287916/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=261584 memory=230080 CPUtime=25.4 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 52202 0 0 0 2531 9 0 0 20 0 1 0 171983254 267862016 57520 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 65396 57520 2542 2417 0 62498 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 261584 KiB
Current children cumulated memory: 230080 KiB
[startup+51.1126 s]
/proc/loadavg: 4.15 4.11 4.03 5/241 888808
/proc/meminfo: memFree=123100836/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=276648 memory=244072 CPUtime=50.93 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 55716 0 0 0 5081 12 0 0 20 0 1 0 171983254 283287552 61018 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 69162 61018 2542 2417 0 66264 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 276648 KiB
Current children cumulated memory: 244072 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.04 5/241 888817
/proc/meminfo: memFree=123018400/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=282204 memory=250656 CPUtime=101.96 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 57360 0 0 0 10179 17 0 0 20 0 1 0 171983254 288976896 62664 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 70551 62664 2542 2417 0 67653 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 282204 KiB
Current children cumulated memory: 250656 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/241 888873
/proc/meminfo: memFree=122961692/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=317660 memory=285528 CPUtime=161.76 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 66342 0 0 0 16153 23 0 0 20 0 1 0 171983254 325283840 71382 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 79415 71382 2542 2417 0 76517 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 317660 KiB
Current children cumulated memory: 285528 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/244 888888
/proc/meminfo: memFree=122845408/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=379292 memory=336072 CPUtime=221.58 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 78997 0 0 0 22132 26 0 0 20 0 1 0 171983254 388395008 84018 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 94823 84018 2542 2417 0 91925 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 379292 KiB
Current children cumulated memory: 336072 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.11 4.05 5/245 888901
/proc/meminfo: memFree=122753716/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=391352 memory=345836 CPUtime=281.39 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 81434 0 0 0 28112 27 0 0 20 0 1 0 171983254 400744448 86459 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 97838 86459 2542 2417 0 94940 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 391352 KiB
Current children cumulated memory: 345836 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/245 888912
/proc/meminfo: memFree=122686696/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=400688 memory=349932 CPUtime=341.21 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 82526 0 0 0 34093 28 0 0 20 0 1 0 171983254 410304512 87483 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 100172 87483 2542 2417 0 97274 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 400688 KiB
Current children cumulated memory: 349932 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/245 888923
/proc/meminfo: memFree=122569524/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=417548 memory=366828 CPUtime=401.01 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 86759 0 0 0 40072 29 0 0 20 0 1 0 171983254 427569152 91707 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 104387 91707 2542 2417 0 101489 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 417548 KiB
Current children cumulated memory: 366828 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/245 888933
/proc/meminfo: memFree=122532692/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=422864 memory=372632 CPUtime=460.83 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 88172 0 0 0 46053 30 0 0 20 0 1 0 171983254 433012736 93158 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 105716 93158 2542 2417 0 102818 0
################
# More data... #
################
Current children cumulated memory: 527144 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/243 890375
/proc/meminfo: memFree=121738156/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=528000 memory=516900 CPUtime=2914.22 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 119467 0 0 0 291339 83 0 0 20 0 1 0 171983254 540672000 129225 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 132000 129225 2542 2417 0 129102 0
Current children cumulated CPU time: 2914.22 s
Current children cumulated vsize: 528000 KiB
Current children cumulated memory: 516900 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/243 890385
/proc/meminfo: memFree=122129000/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=558820 memory=527144 CPUtime=2974.07 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 120649 0 0 0 297318 89 0 0 20 0 1 0 171983254 572231680 131786 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 139705 131786 2542 2417 0 136807 0
Current children cumulated CPU time: 2974.07 s
Current children cumulated vsize: 558820 KiB
Current children cumulated memory: 527144 KiB
[startup+3042.3 s]
/proc/loadavg: 4.44 4.18 4.12 5/243 890395
/proc/meminfo: memFree=122184568/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=478680 memory=471324 CPUtime=3033.92 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 122082 0 0 0 303295 97 0 0 20 0 1 0 171983254 490168320 117831 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 119670 117831 2542 2417 0 116772 0
Current children cumulated CPU time: 3033.92 s
Current children cumulated vsize: 478680 KiB
Current children cumulated memory: 471324 KiB
[startup+3102.3 s]
/proc/loadavg: 4.56 4.28 4.16 5/245 890577
/proc/meminfo: memFree=122185928/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=478680 memory=471332 CPUtime=3093.79 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 124469 0 0 0 309273 106 0 0 20 0 1 0 171983254 490168320 117833 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 119670 117833 2542 2417 0 116772 0
Current children cumulated CPU time: 3093.79 s
Current children cumulated vsize: 478680 KiB
Current children cumulated memory: 471332 KiB
[startup+3162.3 s]
/proc/loadavg: 4.29 4.26 4.16 5/245 890587
/proc/meminfo: memFree=122123536/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=558820 memory=527152 CPUtime=3153.64 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 126329 0 0 0 315247 117 0 0 20 0 1 0 171983254 572231680 131788 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 139705 131788 2542 2417 0 136807 0
Current children cumulated CPU time: 3153.64 s
Current children cumulated vsize: 558820 KiB
Current children cumulated memory: 527152 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.23 4.15 5/247 890656
/proc/meminfo: memFree=122179240/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=478680 memory=471332 CPUtime=3213.49 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 126989 0 0 0 321229 120 0 0 20 0 1 0 171983254 490168320 117833 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 119670 117833 2542 2417 0 116772 0
Current children cumulated CPU time: 3213.49 s
Current children cumulated vsize: 478680 KiB
Current children cumulated memory: 471332 KiB
[startup+3282.3 s]
/proc/loadavg: 4.82 4.40 4.22 5/247 890666
/proc/meminfo: memFree=122184868/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=478680 memory=471332 CPUtime=3273.36 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 128698 0 0 0 327208 128 0 0 20 0 1 0 171983254 490168320 117833 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 119670 117833 2542 2417 0 116772 0
Current children cumulated CPU time: 3273.36 s
Current children cumulated vsize: 478680 KiB
Current children cumulated memory: 471332 KiB
[startup+3342.3 s]
/proc/loadavg: 4.47 4.38 4.22 5/247 890677
/proc/meminfo: memFree=122118408/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=558820 memory=533296 CPUtime=3333.21 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 130725 0 0 0 333182 139 0 0 20 0 1 0 171983254 572231680 133324 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 139705 133324 2542 2417 0 136807 0
Current children cumulated CPU time: 3333.21 s
Current children cumulated vsize: 558820 KiB
Current children cumulated memory: 533296 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.31 4.21 5/245 890688
/proc/meminfo: memFree=122184652/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=478680 memory=471332 CPUtime=3393.07 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 132133 0 0 0 339163 144 0 0 20 0 1 0 171983254 490168320 117833 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 119670 117833 2542 2417 0 116772 0
Current children cumulated CPU time: 3393.07 s
Current children cumulated vsize: 478680 KiB
Current children cumulated memory: 471332 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.28 4.20 5/245 890698
/proc/meminfo: memFree=122126008/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=558820 memory=523056 CPUtime=3452.91 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 134878 0 0 0 345138 153 0 0 20 0 1 0 171983254 572231680 130764 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 139705 130764 2542 2417 0 136807 0
Current children cumulated CPU time: 3452.91 s
Current children cumulated vsize: 558820 KiB
Current children cumulated memory: 523056 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.25 4.19 5/241 890709
/proc/meminfo: memFree=122176284/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=478680 memory=471332 CPUtime=3512.75 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 136109 0 0 0 351115 160 0 0 20 0 1 0 171983254 490168320 117833 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 119670 117833 2542 2417 0 116772 0
Current children cumulated CPU time: 3512.75 s
Current children cumulated vsize: 478680 KiB
Current children cumulated memory: 471332 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.21 4.18 5/241 890720
/proc/meminfo: memFree=122118564/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=558820 memory=533296 CPUtime=3572.57 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 137563 0 0 0 357089 168 0 0 20 0 1 0 171983254 572231680 133324 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 139705 133324 2542 2417 0 136807 0
Current children cumulated CPU time: 3572.57 s
Current children cumulated vsize: 558820 KiB
Current children cumulated memory: 533296 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.05 4.19 4.17 5/241 890724
/proc/meminfo: memFree=122182060/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=478680 memory=471332 CPUtime=3600.09 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 138921 0 0 0 359832 177 0 0 20 0 1 0 171983254 490168320 117833 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 119670 117833 2542 2417 0 116772 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 478680 KiB
Current children cumulated memory: 471332 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.9 s]
# the end of solver process 888707 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.33 s, system=1.77664 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.05 4.19 4.17 5/241 890724
/proc/meminfo: memFree=122182060/131655788 swapFree=131071996/131071996
[pid=888707] ppid=888704 vsize=478680 memory=471332 CPUtime=3600.09 cores=4,6
/proc/888707/stat : 888707 (CASHWMaxSAT-Dis) R 888704 888707 886664 0 -1 4194304 138921 0 0 0 359832 177 0 0 20 0 1 0 171983254 490168320 117833 134679101440 4194304 14093885 140733456216832 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 41017344 140733456225252 140733456225367 140733456225367 140733456232383 0
/proc/888707/statm: 119670 117833 2542 2417 0 116772 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 478680 KiB
Current children cumulated memory: 471332 KiB
Child status: 10
Real time (s): 3609.9
CPU time (s): 3600.11
CPU user time (s): 3598.33
CPU system time (s): 1.77664
CPU usage (%): 99.7286
Max. virtual memory (cumulated for all children) (KiB): 558820
Max. memory (cumulated for all children) (KiB): 537520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.33
system time used= 1.77664
maximum resident set size= 537520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138923
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= 46
involuntary context switches= 1997
# summary of solver processes directly reported to runsolver:
# pid: 888707
# total CPU time (s): 3600.11
# total CPU user time (s): 3598.33
# total CPU system time (s): 1.77664
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1678 second user time and 33.9105 second system time
The end
Begin job on nodeC010 at 2024-07-17 08:37:31
IDJOB=4439967
IDBENCH=146663
IDSOLVER=3077
FILE ID=nodeC010/4439967-1721198240
RUNJOBID= nodeC010-1721194640-886675
SLURM_JOB_ID= 7508878
Free space on /tmp= 723744 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-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-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439967-1721198240/watcher-4439967-1721198240 -o /tmp/evaluation-result-4439967-1721198240/solver-4439967-1721198240 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721194640-886675 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439967-1721198240.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0c08209891d9f5241a74237055766898
RANDOM SEED=1023848114
nodeC010.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 : 3494.534
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.51
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 : 3649.512
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.351
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.51
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.257
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 : 3592.012
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.51
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 : 3491.756
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.173
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.51
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.196
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: 124021388 kB
MemAvailable: 128495336 kB
Buffers: 445084 kB
Cached: 4814680 kB
SwapCached: 0 kB
Active: 826208 kB
Inactive: 6152676 kB
Active(anon): 1448 kB
Inactive(anon): 1755080 kB
Active(file): 824760 kB
Inactive(file): 4397596 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 25952 kB
Writeback: 8 kB
AnonPages: 1717564 kB
Mapped: 128408 kB
Shmem: 37704 kB
KReclaimable: 183244 kB
Slab: 291588 kB
SReclaimable: 183244 kB
SUnreclaim: 108344 kB
KernelStack: 3924 kB
PageTables: 12968 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2223168 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 54752 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1630208 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: 234312 kB
DirectMap2M: 29030400 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 723728 MiB
End job on nodeC010 at 2024-07-17 09:37:42