0.00/0.02 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
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.78/1800.03 c SCIP timeout with lower and upper bounds: [322, 551]
1794.78/1800.06 o 5
3600.04/3610.60
3600.04/3610.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.04/3610.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: 64096 MiB (59204 MiB free)
memory of node 1: 64473 MiB (60249 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438758-1721198241/watcher-4438758-1721198241 -o /tmp/evaluation-result-4438758-1721198241/solver-4438758-1721198241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721194640-890943 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438758-1721198241.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_64SLinux 4.18.0-301.1.el8.x86_64Starting watchdog threadl
Current StackSize limit: 8192 KiB
solver pid=892974, runsolver pid=892971
[startup+0.100104 s]*
/proc/loadavg: 5.25 4.43 4.13 6/244 892975
/proc/meminfo: memFree=122446704/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=51104 memory=41588 CPUtime=0.1 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 8157 0 0 0 10 0 0 0 20 0 1 0 171982892 52330496 10397 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 12776 10397 2650 2726 0 9524 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 51104 KiB
Current children cumulated memory: 41588 KiB
[startup+0.213814 s]*
/proc/loadavg: 5.25 4.43 4.13 6/244 892975
/proc/meminfo: memFree=122445864/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=51652 memory=42116 CPUtime=0.21 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 8281 0 0 0 21 0 0 0 20 0 1 0 171982892 52891648 10529 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 12913 10529 2650 2726 0 9661 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 51652 KiB
Current children cumulated memory: 42116 KiB
[startup+0.313269 s]*
/proc/loadavg: 5.25 4.43 4.13 5/244 892975
/proc/meminfo: memFree=122445388/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=52016 memory=42380 CPUtime=0.31 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 8367 0 0 0 31 0 0 0 20 0 1 0 171982892 53264384 10595 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 13004 10595 2650 2726 0 9752 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 52016 KiB
Current children cumulated memory: 42380 KiB
[startup+0.700336 s]
/proc/loadavg: 5.25 4.43 4.13 5/244 892975
/proc/meminfo: memFree=122422372/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=80600 memory=67768 CPUtime=0.69 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 14878 0 0 0 67 2 0 0 20 0 1 0 171982892 82534400 16942 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 20150 16942 2746 2726 0 16898 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 80600 KiB
Current children cumulated memory: 67768 KiB
[startup+1.50035 s]
/proc/loadavg: 5.25 4.43 4.13 5/244 892975
/proc/meminfo: memFree=122420148/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=81228 memory=68296 CPUtime=1.49 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 15023 0 0 0 147 2 0 0 20 0 1 0 171982892 83177472 17074 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 20307 17074 2746 2726 0 17055 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 81228 KiB
Current children cumulated memory: 68296 KiB
[startup+3.11253 s]
/proc/loadavg: 5.25 4.43 4.13 5/244 893021
/proc/meminfo: memFree=123116416/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=81492 memory=68296 CPUtime=3.09 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 15060 0 0 0 307 2 0 0 20 0 1 0 171982892 83447808 17074 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 20373 17074 2746 2726 0 17121 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 81492 KiB
Current children cumulated memory: 68296 KiB
[startup+6.30023 s]
/proc/loadavg: 5.23 4.44 4.14 5/244 893021
/proc/meminfo: memFree=122723592/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=117036 memory=101884 CPUtime=6.27 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 23565 0 0 0 624 3 0 0 20 0 1 0 171982892 119844864 25471 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 29259 25471 2762 2726 0 26007 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 117036 KiB
Current children cumulated memory: 101884 KiB
[startup+12.7002 s]
/proc/loadavg: 5.13 4.43 4.14 5/244 893023
/proc/meminfo: memFree=122714740/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=125376 memory=107428 CPUtime=12.66 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 24952 0 0 0 1262 4 0 0 20 0 1 0 171982892 128385024 26857 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 31344 26857 2762 2726 0 28092 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 125376 KiB
Current children cumulated memory: 107428 KiB
[startup+25.5004 s]
/proc/loadavg: 4.88 4.41 4.13 5/244 893024
/proc/meminfo: memFree=122718212/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=149284 memory=122740 CPUtime=25.43 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 28729 0 0 0 2538 5 0 0 20 0 1 0 171982892 152866816 30685 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 37321 30685 2762 2726 0 34069 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 149284 KiB
Current children cumulated memory: 122740 KiB
[startup+51.113 s]
/proc/loadavg: 4.73 4.41 4.14 5/244 893029
/proc/meminfo: memFree=122675888/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=160628 memory=134096 CPUtime=50.96 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 32580 0 0 0 5091 5 0 0 20 0 1 0 171982892 164483072 33524 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 40157 33524 2762 2726 0 36905 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 160628 KiB
Current children cumulated memory: 134096 KiB
[startup+102.3 s]
/proc/loadavg: 4.39 4.36 4.14 5/244 893038
/proc/meminfo: memFree=122606556/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=160628 memory=134096 CPUtime=102 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 32601 0 0 0 10194 6 0 0 20 0 1 0 171982892 164483072 33524 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 40157 33524 2762 2726 0 36905 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 160628 KiB
Current children cumulated memory: 134096 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.31 4.13 5/244 893094
/proc/meminfo: memFree=122899748/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=167528 memory=134852 CPUtime=161.85 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 32797 0 0 0 16178 7 0 0 20 0 1 0 171982892 171548672 33713 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 41882 33713 2762 2726 0 38630 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 167528 KiB
Current children cumulated memory: 134852 KiB
[startup+222.3 s]
/proc/loadavg: 4.79 4.45 4.19 5/246 893108
/proc/meminfo: memFree=122770144/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=176676 memory=137756 CPUtime=221.69 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 33525 0 0 0 22162 7 0 0 20 0 1 0 171982892 180916224 34439 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 44169 34439 2762 2726 0 40917 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 176676 KiB
Current children cumulated memory: 137756 KiB
[startup+282.3 s]
/proc/loadavg: 4.45 4.43 4.20 5/244 893118
/proc/meminfo: memFree=122651872/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=203196 memory=163424 CPUtime=281.53 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 40509 0 0 0 28141 12 0 0 20 0 1 0 171982892 208072704 40856 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 50799 40856 2762 2726 0 47547 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 203196 KiB
Current children cumulated memory: 163424 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 4.36 4.19 5/244 893129
/proc/meminfo: memFree=122589812/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=216224 memory=175824 CPUtime=341.39 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 43631 0 0 0 34120 19 0 0 20 0 1 0 171982892 221413376 43956 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 54056 43956 2762 2726 0 50804 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 216224 KiB
Current children cumulated memory: 175824 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.31 4.18 5/244 893139
/proc/meminfo: memFree=122460640/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=220564 memory=180184 CPUtime=401.24 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 44797 0 0 0 40099 25 0 0 20 0 1 0 171982892 225857536 45046 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 55141 45046 2762 2726 0 51889 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 220564 KiB
Current children cumulated memory: 180184 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.27 4.17 5/244 893150
/proc/meminfo: memFree=122414788/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=221188 memory=182632 CPUtime=461.07 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 44870 0 0 0 46082 25 0 0 20 0 1 0 171982892 226496512 45658 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 55297 45658 2762 2726 0 52045 0
Current children cumulated CPU time: 461.07 s
################
# More data... #
################
Current children cumulated memory: 361268 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/245 894199
/proc/meminfo: memFree=121900824/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=324960 memory=317628 CPUtime=2853.64 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 87382 0 0 0 285314 50 0 0 20 0 1 0 171982892 332759040 79407 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 81240 79407 2826 2726 0 77988 0
Current children cumulated CPU time: 2853.64 s
Current children cumulated vsize: 324960 KiB
Current children cumulated memory: 317628 KiB
[startup+2922.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/244 894593
/proc/meminfo: memFree=121847928/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=358376 memory=351044 CPUtime=2913.49 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 89451 0 0 0 291295 54 0 0 20 0 1 0 171982892 366977024 87761 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 89594 87761 2826 2726 0 86342 0
Current children cumulated CPU time: 2913.49 s
Current children cumulated vsize: 358376 KiB
Current children cumulated memory: 351044 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/244 894603
/proc/meminfo: memFree=122245544/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=323684 memory=316352 CPUtime=2973.34 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 92202 0 0 0 297276 58 0 0 20 0 1 0 171982892 331452416 79088 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 80921 79088 2826 2726 0 77669 0
Current children cumulated CPU time: 2973.34 s
Current children cumulated vsize: 323684 KiB
Current children cumulated memory: 316352 KiB
[startup+3042.3 s]
/proc/loadavg: 4.74 4.30 4.16 5/243 894613
/proc/meminfo: memFree=122224160/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=344740 memory=337408 CPUtime=3033.18 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 94032 0 0 0 303257 61 0 0 20 0 1 0 171982892 353013760 84352 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 86185 84352 2826 2726 0 82933 0
Current children cumulated CPU time: 3033.18 s
Current children cumulated vsize: 344740 KiB
Current children cumulated memory: 337408 KiB
[startup+3102.3 s]
/proc/loadavg: 4.31 4.26 4.15 5/243 894793
/proc/meminfo: memFree=122164552/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=399376 memory=392044 CPUtime=3093.03 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 94949 0 0 0 309238 65 0 0 20 0 1 0 171982892 408961024 98011 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 99844 98011 2826 2726 0 96592 0
Current children cumulated CPU time: 3093.03 s
Current children cumulated vsize: 399376 KiB
Current children cumulated memory: 392044 KiB
[startup+3162.3 s]
/proc/loadavg: 4.21 4.24 4.15 5/243 894803
/proc/meminfo: memFree=122155784/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=407968 memory=400636 CPUtime=3152.88 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 95851 0 0 0 315217 71 0 0 20 0 1 0 171982892 417759232 100159 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 101992 100159 2826 2726 0 98740 0
Current children cumulated CPU time: 3152.88 s
Current children cumulated vsize: 407968 KiB
Current children cumulated memory: 400636 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.21 4.15 5/243 894870
/proc/meminfo: memFree=122274752/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=282696 memory=275364 CPUtime=3212.73 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 97574 0 0 0 321200 73 0 0 20 0 1 0 171982892 289480704 68841 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 70674 68841 2826 2726 0 67422 0
Current children cumulated CPU time: 3212.73 s
Current children cumulated vsize: 282696 KiB
Current children cumulated memory: 275364 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.20 4.15 5/243 894880
/proc/meminfo: memFree=122274524/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=282696 memory=275364 CPUtime=3272.57 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 97776 0 0 0 327184 73 0 0 20 0 1 0 171982892 289480704 68841 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 70674 68841 2826 2726 0 67422 0
Current children cumulated CPU time: 3272.57 s
Current children cumulated vsize: 282696 KiB
Current children cumulated memory: 275364 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.18 4.14 5/243 894891
/proc/meminfo: memFree=122274292/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=282696 memory=275364 CPUtime=3332.43 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 97964 0 0 0 333169 74 0 0 20 0 1 0 171982892 289480704 68841 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 70674 68841 2826 2726 0 67422 0
Current children cumulated CPU time: 3332.43 s
Current children cumulated vsize: 282696 KiB
Current children cumulated memory: 275364 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.16 4.14 5/243 894901
/proc/meminfo: memFree=122273904/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=282696 memory=275364 CPUtime=3392.28 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 98138 0 0 0 339154 74 0 0 20 0 1 0 171982892 289480704 68841 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 70674 68841 2826 2726 0 67422 0
Current children cumulated CPU time: 3392.28 s
Current children cumulated vsize: 282696 KiB
Current children cumulated memory: 275364 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/243 894912
/proc/meminfo: memFree=122272828/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=282696 memory=275364 CPUtime=3452.12 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 98309 0 0 0 345138 74 0 0 20 0 1 0 171982892 289480704 68841 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 70674 68841 2826 2726 0 67422 0
Current children cumulated CPU time: 3452.12 s
Current children cumulated vsize: 282696 KiB
Current children cumulated memory: 275364 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/241 894923
/proc/meminfo: memFree=122272564/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=282696 memory=275364 CPUtime=3511.97 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 98468 0 0 0 351123 74 0 0 20 0 1 0 171982892 289480704 68841 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 70674 68841 2826 2726 0 67422 0
Current children cumulated CPU time: 3511.97 s
Current children cumulated vsize: 282696 KiB
Current children cumulated memory: 275364 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.12 5/241 894933
/proc/meminfo: memFree=122270208/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=282696 memory=275364 CPUtime=3571.81 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 98624 0 0 0 357107 74 0 0 20 0 1 0 171982892 289480704 68841 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 70674 68841 2826 2726 0 67422 0
Current children cumulated CPU time: 3571.81 s
Current children cumulated vsize: 282696 KiB
Current children cumulated memory: 275364 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.10 4.12 4.12 5/241 894938
/proc/meminfo: memFree=122270088/131655788 swapFree=131071996/131071996
[pid=892974] ppid=892971 vsize=282696 memory=275364 CPUtime=3600.04 cores=4,6
/proc/892974/stat : 892974 (CASHWMaxSAT-Dis) R 892971 892974 890932 0 -1 4194304 98705 0 0 0 359930 74 0 0 20 0 1 0 171982892 289480704 68841 134679101440 4194304 15356333 140726477012864 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 28725248 140726477018082 140726477018198 140726477018198 140726477025214 0
/proc/892974/statm: 70674 68841 2826 2726 0 67422 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 282696 KiB
Current children cumulated memory: 275364 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.6 s]
# the end of solver process 892974 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.31 s, system=0.745641 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.6
CPU time (s): 3600.05
CPU user time (s): 3599.31
CPU system time (s): 0.745641
CPU usage (%): 99.7077
Max. virtual memory (cumulated for all children) (KiB): 537124
Max. memory (cumulated for all children) (KiB): 529732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.31
system time used= 0.745641
maximum resident set size= 529732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98706
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= 45
involuntary context switches= 1957
# summary of solver processes directly reported to runsolver:
# pid: 892974
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.31
# total CPU system time (s): 0.745641
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3396 second user time and 35.7117 second system time
The end
Begin job on nodeC005 at 2024-07-17 08:37:33
IDJOB=4438758
IDBENCH=146663
IDSOLVER=3074
FILE ID=nodeC005/4438758-1721198241
RUNJOBID= nodeC005-1721194640-890943
SLURM_JOB_ID= 7508873
Free space on /tmp= 723736 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-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-DisjCad-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438758-1721198241/watcher-4438758-1721198241 -o /tmp/evaluation-result-4438758-1721198241/solver-4438758-1721198241 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721194640-890943 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438758-1721198241.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0c08209891d9f5241a74237055766898
RANDOM SEED=146838425
nodeC005.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 : 3623.420
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.53
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 : 3505.202
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.35
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.206
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.53
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.286
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.779
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.53
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 : 3533.883
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.35
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.179
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.53
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.243
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 122320788 kB
MemAvailable: 127406548 kB
Buffers: 428312 kB
Cached: 5435804 kB
SwapCached: 0 kB
Active: 866432 kB
Inactive: 7788496 kB
Active(anon): 3432 kB
Inactive(anon): 2825116 kB
Active(file): 863000 kB
Inactive(file): 4963380 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 14668 kB
Writeback: 0 kB
AnonPages: 2785420 kB
Mapped: 133216 kB
Shmem: 37704 kB
KReclaimable: 199156 kB
Slab: 313168 kB
SReclaimable: 199156 kB
SUnreclaim: 114012 kB
KernelStack: 3952 kB
PageTables: 14576 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 3320236 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 55168 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2353152 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: 285512 kB
DirectMap2M: 36319232 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723724 MiB
End job on nodeC005 at 2024-07-17 09:37:44