0.00/0.00 c Filename:instance-4449606-1722827514.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00 c Use Presolve
0.59/0.65 c Parse finsih
0.68/0.76 c Start Presolve
2.37/2.49 c After Reduce Vars: 924 Clauses: 153000 Top clause weight: 25 Hard Clauses: 152976
1778.00/1781.95 c Use LS-small
1778.00/1781.97 c Use postsolve
1778.10/1782.00 o 22
3557.94/3564.95 s SATISFIABLE
3557.94/3564.95 c Use postsolve
3557.94/3564.98 v x277 x278 x279 x280 -x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 -x292 x293 x294 x295 x296 x297 x298 x299 x300 -x301 -x325 -x349 -x373 -x397 -x421 -x445 -x469 -x493 -x517 -x541 -x565 -x589 -x613 -x637 -x661 -x685 -x709 -x733 -x757 -x781 -x805 -x829 -x853 -x302 -x326 -x350 -x374 -x398 -x422 -x446 -x470 -x494 -x518 -x542 -x566 -x590 -x614 -x638 -x662 -x686 -x710 -x734 -x758 -x782 -x806 -x830 -x854 -x303 -x327 -x351 -x375 -x399 -x423 -x447 -x471 -x495 -x519 -x543 -x567 -x591 -x615 -x639 -x663 -x687 -x711 -x735 -x759 -x783 -x807 -x831 -x855 -x304 -x328 -x352 -x376 -x400 -x424 -x448 -x472 -x496 -x520 -x544 -x568 -x592 -x616 -x640 -x664 -x688 -x712 -x736 -x760 -x784 -x808 -x832 -x856 -x305 -x329 -x353 -x377 x401 -x425 -x449 -x473 -x497 -x521 -x545 -x569 -x593 -x617 -x641 -x665 -x689 -x713 -x737 -x761 -x785 -x809 -x833 -x857 -x306 -x330 -x354 -x378 -x402 -x426 -x450 -x474 -x498 -x522 -x546 -x570 -x594 -x618 -x642 -x666 -x690 -x714 -x738 -x762 -x786 -x810 -x834 -x858 -x307 -x331 -x355 -x379 -x403 -x427 -x451 -x475 -x499 -x523 -x547 -x571 -x595 -x619 -x643 -x667 -x691 -x715 -x739 -x763 -x787 -x811 -x835 -x859 -x308 -x332 -x356 -x380 -x404 -x428 -x452 -x476 -x500 -x524 -x548 -x572 -x596 -x620 -x644 -x668 -x692 -x716 -x740 -x764 -x788 -x812 -x836 -x860 -x309 -x333 -x357 -x381 -x405 -x429 -x453 -x477 -x501 -x525 -x549 -x573 -x597 -x621 -x645 -x669 -x693 -x717 -x741 -x765 -x789 -x813 -x837 -x861 -x310 -x334 -x358 -x382 -x406 -x430 -x454 -x478 -x502 -x526 -x550 -x574 -x598 -x622 -x646 -x670 -x694 -x718 -x742 -x766 -x790 -x814 -x838 -x862 -x311 -x335 -x359 -x383 -x407 -x431 -x455 -x479 -x503 -x527 -x551 -x575 -x599 -x623 -x647 -x671 -x695 -x719 -x743 -x767 -x791 -x815 -x839 -x863 -x312 -x336 -x360 -x384 -x408 -x432 -x456 -x480 -x504 -x528 -x552 -x576 -x600 -x624 -x648 -x672 -x696 -x720 -x744 -x768 -x792 -x816 -x840 -x864 -x313 -x337 -x361 -x385 -x409 -x433 -x457 -x481 -x505 -x529 -x553 -x577 -x601 -x625 -x649 -x673 -x697 -x721 -x745 -x769 -x793 -x817 -x841 -x865 -x314 -x338 -x362 -x386 -x410 -x434 -x458 -x482 -x506 -x530 -x554 -x578 -x602 -x626 -x650 -x674 -x698 -x722 -x746 -x770 -x794 -x818 -x842 -x866 -x315 -x339 -x363 -x387 -x411 -x435 -x459 -x483 -x507 -x531 -x555 -x579 -x603 -x627 -x651 -x675 -x699 -x723 -x747 -x771 -x795 -x819 -x843 -x867 -x316 -x340 x364 -x388 -x412 -x436 -x460 -x484 -x508 -x532 -x556 -x580 -x604 -x628 -x652 -x676 -x700 -x724 -x748 -x772 -x796 -x820 -x844 -x868 -x317 -x341 -x365 -x389 -x413 -x437 -x461 -x485 -x509 -x533 -x557 -x581 -x605 -x629 -x653 -x677 -x701 -x725 -x749 -x773 -x797 -x821 -x845 -x869 -x318 -x342 -x366 -x390 -x414 -x438 -x462 -x486 -x510 -x534 -x558 -x582 -x606 -x630 -x654 -x678 -x702 -x726 -x750 -x774 -x798 -x822 -x846 -x870 -x319 -x343 -x367 -x391 -x415 -x439 -x463 -x487 -x511 -x535 -x559 -x583 -x607 -x631 -x655 -x679 -x703 -x727 -x751 -x775 -x799 -x823 -x847 -x871 -x320 -x344 -x368 -x392 -x416 -x440 -x464 -x488 -x512 -x536 -x560 -x584 -x608 -x632 -x656 -x680 -x704 -x728 -x752 -x776 -x800 -x824 -x848 -x872 -x321 -x345 -x369 -x393 -x417 -x441 -x465 -x489 -x513 -x537 -x561 -x585 -x609 -x633 -x657 -x681 -x705 -x729 -x753 -x777 -x801 -x825 -x849 -x873 -x322 -x346 -x370 -x394 -x418 -x442 -x466 -x490 -x514 -x538 -x562 -x586 -x610 -x634 -x658 -x682 -x706 -x730 -x754 -x778 -x802 -x826 -x850 -x874 -x323 -x347 -x371 -x395 -x419 -x443 -x467 -x491 -x515 -x539 -x563 -x587 -x611 -x635 -x659 -x683 -x707 -x731 -x755 -x779 -x803 -x827 -x851 -x875 -x324 -x348 -x372 -x396 -x420 -x444 -x468 -x492 -x516 -x540 -x564 -x588 -x612 -x636 -x660 -x684 -x708 -x732 -x756 -x780 -x804 -x828 -x852 -x876 -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 x89 x90 x91 -x92 x93 -x94 -x95 -x96 -x97 x98 x99 x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x877 x878 -x879 x880 -x881 x882 -x883 x884 x885 -x886 x887 -x888 -x889 x890 -x891 x892 -x893 x894 -x895 x896 x897 -x898 -x899 x900 -x901 x902 x903 -x904 x905 -x906 x907 -x908 -x909 x910 -x911 x912 -x913 x914 -x915 x916 x917 -x918 x919 -x920 -x921 x922 x923 -x924
3557.94/3564.98 c Done 1778.07s
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62622 MiB free)
memory of node 1: 64473 MiB (63714 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449606-1722827514/watcher-4449606-1722827514 -o /tmp/evaluation-result-4449606-1722827514/solver-4449606-1722827514 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722827514-268455 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4449606-1722827514.opb -t 3558 -s 1116572639
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=268507, runsolver pid=268504
[startup+0.100552 s]*
/proc/loadavg: 3.15 3.88 4.02 5/257 268518
/proc/meminfo: memFree=129324256/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=30656 memory=16876 CPUtime=0.09 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 2221 0 0 0 9 0 0 0 20 0 1 0 49352544 31391744 4219 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 7664 4219 1073 2753 0 4317 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30656 KiB
Current children cumulated memory: 16876 KiB
[startup+0.205551 s]*
/proc/loadavg: 3.15 3.88 4.02 5/257 268518
/proc/meminfo: memFree=129309160/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=34752 memory=18928 CPUtime=0.19 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 2737 0 0 0 19 0 0 0 20 0 1 0 49352544 35586048 4732 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 6 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 8688 4732 1073 2753 0 5341 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 34752 KiB
Current children cumulated memory: 18928 KiB
[startup+0.304549 s]*
/proc/loadavg: 3.15 3.88 4.02 5/257 268518
/proc/meminfo: memFree=129296196/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=34752 memory=20976 CPUtime=0.29 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 2738 0 0 0 29 0 0 0 20 0 1 0 49352544 35586048 5244 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 8688 5244 1073 2753 0 5341 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 34752 KiB
Current children cumulated memory: 20976 KiB
[startup+0.700159 s]
/proc/loadavg: 3.15 3.88 4.02 5/257 268518
/proc/meminfo: memFree=129240296/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=72900 memory=55668 CPUtime=0.68 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 4784 0 0 0 66 2 0 0 20 0 1 0 49352544 74649600 13917 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 18225 13917 1073 2753 0 14878 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 72900 KiB
Current children cumulated memory: 55668 KiB
[startup+1.50023 s]
/proc/loadavg: 3.15 3.88 4.02 5/257 268518
/proc/meminfo: memFree=129054480/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=116652 memory=102748 CPUtime=1.48 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 11498 0 0 0 145 3 0 0 20 0 1 0 49352544 119451648 25687 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 29163 25687 1105 2753 0 25816 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 116652 KiB
Current children cumulated memory: 102748 KiB
[startup+3.10528 s]
/proc/loadavg: 3.15 3.88 4.02 5/257 268518
/proc/meminfo: memFree=128586248/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=374788 memory=357716 CPUtime=3.07 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 76780 0 0 0 296 11 0 0 20 0 1 0 49352544 383782912 89429 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 93697 89429 2689 2753 0 90350 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 374788 KiB
Current children cumulated memory: 357716 KiB
[startup+6.30015 s]
/proc/loadavg: 3.22 3.88 4.02 5/257 268520
/proc/meminfo: memFree=128228744/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=733908 memory=694256 CPUtime=6.27 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 126659 0 0 0 605 22 0 0 20 0 1 0 49352544 751521792 173564 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 183477 173564 2817 2753 0 180130 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 733908 KiB
Current children cumulated memory: 694256 KiB
[startup+12.7001 s]
/proc/loadavg: 3.28 3.88 4.02 5/257 268520
/proc/meminfo: memFree=128228128/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=733908 memory=695076 CPUtime=12.65 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 126819 0 0 0 1243 22 0 0 20 0 1 0 49352544 751521792 173769 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 183477 173769 2833 2753 0 180130 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 733908 KiB
Current children cumulated memory: 695076 KiB
[startup+25.5002 s]
/proc/loadavg: 3.44 3.89 4.01 5/257 268523
/proc/meminfo: memFree=128192460/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=829892 memory=729572 CPUtime=25.41 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 129936 0 0 0 2518 23 0 0 20 0 1 0 49352544 849809408 182393 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 207473 182393 2833 2753 0 204126 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 829892 KiB
Current children cumulated memory: 729572 KiB
[startup+51.1047 s]
/proc/loadavg: 3.69 3.91 4.02 5/257 268527
/proc/meminfo: memFree=127972720/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=1142392 memory=948584 CPUtime=50.95 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 181134 0 0 0 5064 31 0 0 20 0 1 0 49352544 1169809408 237146 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 285598 237146 2849 2753 0 282251 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1142392 KiB
Current children cumulated memory: 948584 KiB
[startup+102.3 s]
/proc/loadavg: 4.00 3.96 4.02 5/257 268535
/proc/meminfo: memFree=127963420/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=1155052 memory=956604 CPUtime=102.01 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 181516 0 0 0 10170 31 0 0 20 0 1 0 49352544 1182773248 239151 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 288763 239151 2849 2753 0 285416 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1155052 KiB
Current children cumulated memory: 956604 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.00 4.03 5/258 268548
/proc/meminfo: memFree=127903164/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=1257572 memory=1015824 CPUtime=161.85 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 205883 0 0 0 16149 36 0 0 20 0 1 0 49352544 1287753728 253956 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 314393 253956 2849 2753 0 311046 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 1257572 KiB
Current children cumulated memory: 1015824 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.01 4.03 5/258 268558
/proc/meminfo: memFree=127830376/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=1336124 memory=1084584 CPUtime=221.71 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 234464 0 0 0 22131 40 0 0 20 0 1 0 49352544 1368190976 271146 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 334031 271146 2849 2753 0 330684 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 1336124 KiB
Current children cumulated memory: 1084584 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.02 4.03 5/256 268568
/proc/meminfo: memFree=127823112/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=1353824 memory=1091196 CPUtime=281.57 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 245162 0 0 0 28115 42 0 0 20 0 1 0 49352544 1386315776 272799 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 338456 272799 2849 2753 0 335109 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 1353824 KiB
Current children cumulated memory: 1091196 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.06 4.04 5/255 268580
/proc/meminfo: memFree=127821236/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=1382512 memory=1092140 CPUtime=341.43 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 266324 0 0 0 34098 45 0 0 20 0 1 0 49352544 1415692288 273035 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 345628 273035 2849 2753 0 342281 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 1382512 KiB
Current children cumulated memory: 1092140 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.06 4.04 5/255 268592
/proc/meminfo: memFree=127806260/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=1396856 memory=1105884 CPUtime=401.3 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 266578 0 0 0 40085 45 0 0 20 0 1 0 49352544 1430380544 276471 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 349214 276471 2849 2753 0 345867 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 1396856 KiB
Current children cumulated memory: 1105884 KiB
[startup+462.3 s]
/proc/loadavg: 4.25 4.10 4.05 5/255 268603
/proc/meminfo: memFree=127745944/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=1405020 memory=1123584 CPUtime=461.17 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 304245 0 0 0 46066 51 0 0 20 0 1 0 49352544 1438740480 280896 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
################
# More data... #
################
/proc/loadavg: 4.16 4.12 4.09 5/254 270298
/proc/meminfo: memFree=127661708/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=1701396 memory=1300700 CPUtime=3215.93 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 398808 0 0 0 319940 1653 0 0 20 0 1 0 49352544 1742229504 325175 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 425349 325175 2849 2753 0 422002 0
Current children cumulated CPU time: 3215.93 s
Current children cumulated vsize: 1701396 KiB
Current children cumulated memory: 1300700 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/254 270309
/proc/meminfo: memFree=127660936/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=1701396 memory=1300700 CPUtime=3275.83 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 398879 0 0 0 325865 1718 0 0 20 0 1 0 49352544 1742229504 325175 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 425349 325175 2849 2753 0 422002 0
Current children cumulated CPU time: 3275.83 s
Current children cumulated vsize: 1701396 KiB
Current children cumulated memory: 1300700 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/254 270320
/proc/meminfo: memFree=127660220/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=1701396 memory=1300700 CPUtime=3335.73 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 398984 0 0 0 331790 1783 0 0 20 0 1 0 49352544 1742229504 325175 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 425349 325175 2849 2753 0 422002 0
Current children cumulated CPU time: 3335.73 s
Current children cumulated vsize: 1701396 KiB
Current children cumulated memory: 1300700 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/254 270332
/proc/meminfo: memFree=127659496/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=1701396 memory=1300700 CPUtime=3395.62 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 399054 0 0 0 337714 1848 0 0 20 0 1 0 49352544 1742229504 325175 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 425349 325175 2849 2753 0 422002 0
Current children cumulated CPU time: 3395.62 s
Current children cumulated vsize: 1701396 KiB
Current children cumulated memory: 1300700 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/254 270342
/proc/meminfo: memFree=127658796/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=1701396 memory=1300700 CPUtime=3455.52 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 399158 0 0 0 343638 1914 0 0 20 0 1 0 49352544 1742229504 325175 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 425349 325175 2849 2753 0 422002 0
Current children cumulated CPU time: 3455.52 s
Current children cumulated vsize: 1701396 KiB
Current children cumulated memory: 1300700 KiB
[startup+3522.3 s]
/proc/loadavg: 4.60 4.28 4.15 5/257 270357
/proc/meminfo: memFree=127658196/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=1701396 memory=1300700 CPUtime=3515.42 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 399229 0 0 0 349560 1982 0 0 20 0 1 0 49352544 1742229504 325175 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 425349 325175 2849 2753 0 422002 0
Current children cumulated CPU time: 3515.42 s
Current children cumulated vsize: 1701396 KiB
Current children cumulated memory: 1300700 KiB
[startup+3564.99 s]
# the end of solver process 268507 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3537.75 s, system=20.2865 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3532.8 s]
/proc/loadavg: 4.51 4.27 4.15 5/257 270359
/proc/meminfo: memFree=127658084/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=1701396 memory=1300700 CPUtime=3525.9 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 399264 0 0 0 350597 1993 0 0 20 0 1 0 49352544 1742229504 325175 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 425349 325175 2849 2753 0 422002 0
Current children cumulated CPU time: 3525.9 s
Current children cumulated vsize: 1701396 KiB
Current children cumulated memory: 1300700 KiB
[startup+3545.6 s]
/proc/loadavg: 4.39 4.26 4.15 5/257 270363
/proc/meminfo: memFree=127657636/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=1701396 memory=1300700 CPUtime=3538.68 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 399264 0 0 0 351861 2007 0 0 20 0 1 0 49352544 1742229504 325175 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 425349 325175 2849 2753 0 422002 0
Current children cumulated CPU time: 3538.68 s
Current children cumulated vsize: 1701396 KiB
Current children cumulated memory: 1300700 KiB
[startup+3558.4 s]
/proc/loadavg: 4.33 4.25 4.15 5/257 270365
/proc/meminfo: memFree=127657700/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=1701396 memory=1300700 CPUtime=3551.46 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 399299 0 0 0 353125 2021 0 0 20 0 1 0 49352544 1742229504 325175 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 425349 325175 2849 2753 0 422002 0
Current children cumulated CPU time: 3551.46 s
Current children cumulated vsize: 1701396 KiB
Current children cumulated memory: 1300700 KiB
[startup+3561.6 s]
/proc/loadavg: 4.39 4.26 4.15 5/257 270365
/proc/meminfo: memFree=127657736/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=1701396 memory=1300700 CPUtime=3554.65 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 399299 0 0 0 353442 2023 0 0 20 0 1 0 49352544 1742229504 325175 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 425349 325175 2849 2753 0 422002 0
Current children cumulated CPU time: 3554.65 s
Current children cumulated vsize: 1701396 KiB
Current children cumulated memory: 1300700 KiB
[startup+3563.2 s]
/proc/loadavg: 4.39 4.26 4.15 5/257 270365
/proc/meminfo: memFree=127657736/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=1701396 memory=1300700 CPUtime=3556.25 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 399299 0 0 0 353600 2025 0 0 20 0 1 0 49352544 1742229504 325175 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 425349 325175 2849 2753 0 422002 0
Current children cumulated CPU time: 3556.25 s
Current children cumulated vsize: 1701396 KiB
Current children cumulated memory: 1300700 KiB
[startup+3564 s]*
/proc/loadavg: 4.36 4.26 4.15 5/257 270367
/proc/meminfo: memFree=127657764/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=1701396 memory=1300700 CPUtime=3557.05 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 399299 0 0 0 353679 2026 0 0 20 0 1 0 49352544 1742229504 325175 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 425349 325175 2849 2753 0 422002 0
Current children cumulated CPU time: 3557.05 s
Current children cumulated vsize: 1701396 KiB
Current children cumulated memory: 1300700 KiB
[startup+3564.4 s]
/proc/loadavg: 4.36 4.26 4.15 5/257 270367
/proc/meminfo: memFree=127657764/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=1701396 memory=1300700 CPUtime=3557.44 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 399299 0 0 0 353718 2026 0 0 20 0 1 0 49352544 1742229504 325175 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 425349 325175 2849 2753 0 422002 0
Current children cumulated CPU time: 3557.44 s
Current children cumulated vsize: 1701396 KiB
Current children cumulated memory: 1300700 KiB
[startup+3564.8 s]
/proc/loadavg: 4.36 4.26 4.15 5/257 270367
/proc/meminfo: memFree=127657764/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=1701396 memory=1300700 CPUtime=3557.84 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 399299 0 0 0 353757 2027 0 0 20 0 1 0 49352544 1742229504 325175 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 425349 325175 2849 2753 0 422002 0
Current children cumulated CPU time: 3557.84 s
Current children cumulated vsize: 1701396 KiB
Current children cumulated memory: 1300700 KiB
[startup+3564.9 s]
/proc/loadavg: 4.36 4.26 4.15 5/257 270367
/proc/meminfo: memFree=127657764/131524600 swapFree=131063756/131071996
[pid=268507] ppid=268504 vsize=1701396 memory=1300700 CPUtime=3557.94 cores=4,6
/proc/268507/stat : 268507 (LS-MabSP) R 268504 268507 268444 0 -1 4194304 399299 0 0 0 353766 2028 0 0 20 0 1 0 49352544 1742229504 325175 134679101440 4194304 15467897 140725891487056 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 48705536 140725891494942 140725891495045 140725891495045 140725891502061 0
/proc/268507/statm: 425349 325175 2849 2753 0 422002 0
Current children cumulated CPU time: 3557.94 s
Current children cumulated vsize: 1701396 KiB
Current children cumulated memory: 1300700 KiB
Child status: 0
Real time (s): 3564.99
CPU time (s): 3558.04
CPU user time (s): 3537.75
CPU system time (s): 20.2865
CPU usage (%): 99.8049
Max. virtual memory (cumulated for all children) (KiB): 1920088
Max. memory (cumulated for all children) (KiB): 1504752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3537.75
system time used= 20.2865
maximum resident set size= 1504756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 399444
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= 71
involuntary context switches= 1165
# summary of solver processes directly reported to runsolver:
# pid: 268507
# total CPU time (s): 3558.04
# total CPU user time (s): 3537.75
# total CPU system time (s): 20.2865
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74544 second user time and 15.6196 second system time
The end
Begin job on nodeC029 at 2024-08-05 05:11:54
IDJOB=4449606
IDBENCH=176087
IDSOLVER=3047
FILE ID=nodeC029/4449606-1722827514
RUNJOBID= nodeC029-1722827514-268455
SLURM_JOB_ID= 8258628
Free space on /tmp= 890040 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=24-t=2.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t 3558 -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449606-1722827514/watcher-4449606-1722827514 -o /tmp/evaluation-result-4449606-1722827514/solver-4449606-1722827514 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722827514-268455 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4449606-1722827514.opb -t 3558 -s 1116572639
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 585ad78207efe7b44b7f003a9b0d83f6
RANDOM SEED=1116572639
nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3604.633
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.02
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.676
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.75
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.363
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.02
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.636
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.75
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3646.468
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.02
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.978
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.75
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.075
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.02
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3629.539
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.75
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129379348 kB
MemAvailable: 129801708 kB
Buffers: 305112 kB
Cached: 957136 kB
SwapCached: 212 kB
Active: 532052 kB
Inactive: 1106676 kB
Active(anon): 1620 kB
Inactive(anon): 403832 kB
Active(file): 530432 kB
Inactive(file): 702844 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131063756 kB
Dirty: 61892 kB
Writeback: 0 kB
AnonPages: 375376 kB
Mapped: 105568 kB
Shmem: 29216 kB
KReclaimable: 57816 kB
Slab: 148480 kB
SReclaimable: 57816 kB
SUnreclaim: 90664 kB
KernelStack: 4084 kB
PageTables: 10256 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 813456 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 23072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 245760 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: 287444 kB
DirectMap2M: 24651776 kB
DirectMap1G: 111149056 kB
Free space on /tmp at the end= 890004 MiB
End job on nodeC029 at 2024-08-05 06:11:20