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: 63837 MiB (62991 MiB free)
memory of node 1: 64465 MiB (61017 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524412-1751611954/watcher-4524412-1751611954 -o /tmp/evaluation-result-4524412-1751611954/solver-4524412-1751611954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751607451-87513 --watchdog 3760 pb_picat HOME/instance-4524412-1751611954.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=88065, runsolver pid=88062
[startup+0.100073 s]*
/proc/loadavg: 4.13 4.27 4.17 5/250 88066
/proc/meminfo: memFree=126972352/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2040556 memory=25360 CPUtime=0.09 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 2965 0 0 0 8 1 0 0 20 0 1 0 76874802 2089529344 6340 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 510139 6340 1696 343 0 507203 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2040556 KiB
Current children cumulated memory: 25360 KiB
[startup+0.20599 s]*
/proc/loadavg: 4.13 4.27 4.17 5/250 88066
/proc/meminfo: memFree=126972352/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2040572 memory=25676 CPUtime=0.18 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 3775 0 0 0 17 1 0 0 20 0 1 0 76874802 2089545728 6419 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 510143 6419 1696 343 0 507207 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 2040572 KiB
Current children cumulated memory: 25676 KiB
[startup+0.307001 s]*
/proc/loadavg: 4.13 4.27 4.17 5/250 88066
/proc/meminfo: memFree=126968256/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2040584 memory=25268 CPUtime=0.27 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 4138 0 0 0 26 1 0 0 20 0 1 0 76874802 2089558016 6317 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 510146 6317 1696 343 0 507210 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 2040584 KiB
Current children cumulated memory: 25268 KiB
[startup+0.700213 s]
/proc/loadavg: 4.13 4.27 4.17 5/250 88066
/proc/meminfo: memFree=126968256/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2042476 memory=26276 CPUtime=0.65 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 5055 0 0 0 63 2 0 0 20 0 1 0 76874802 2091495424 6569 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 6 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 510619 6569 1696 343 0 507683 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 2042476 KiB
Current children cumulated memory: 26276 KiB
[startup+1.50024 s]
/proc/loadavg: 4.20 4.29 4.18 5/250 88066
/proc/meminfo: memFree=126964196/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2042860 memory=26416 CPUtime=1.44 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 6349 0 0 0 142 2 0 0 20 0 1 0 76874802 2091888640 6604 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 510715 6604 1696 343 0 507779 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 2042860 KiB
Current children cumulated memory: 26416 KiB
[startup+3.11276 s]
/proc/loadavg: 4.20 4.29 4.18 5/250 88066
/proc/meminfo: memFree=127062924/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2044908 memory=27092 CPUtime=3.04 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 8693 0 0 0 302 2 0 0 20 0 1 0 76874802 2093985792 6773 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 511227 6773 1696 343 0 508291 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 2044908 KiB
Current children cumulated memory: 27092 KiB
[startup+6.30037 s]
/proc/loadavg: 4.19 4.28 4.18 5/250 88066
/proc/meminfo: memFree=127036680/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2045404 memory=30096 CPUtime=6.23 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 14110 0 0 0 619 4 0 0 20 0 1 0 76874802 2094493696 7524 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 511351 7524 1696 343 0 508415 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 2045404 KiB
Current children cumulated memory: 30096 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.28 4.18 5/250 88066
/proc/meminfo: memFree=127007096/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2049848 memory=31596 CPUtime=12.6 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 25987 0 0 0 1253 7 0 0 20 0 1 0 76874802 2099044352 7899 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 512462 7899 1696 343 0 509526 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 2049848 KiB
Current children cumulated memory: 31596 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.27 4.18 5/250 88067
/proc/meminfo: memFree=126988444/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2053944 memory=35196 CPUtime=25.37 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 44556 0 0 0 2524 13 0 0 20 0 1 0 76874802 2103238656 8799 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 513486 8799 1696 343 0 510550 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 2053944 KiB
Current children cumulated memory: 35196 KiB
[startup+51.1128 s]
/proc/loadavg: 4.15 4.26 4.18 5/250 88067
/proc/meminfo: memFree=126984516/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2044232 memory=27308 CPUtime=50.9 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 78611 0 0 0 5068 22 0 0 20 0 1 0 76874802 2093293568 6827 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 511058 6827 1696 343 0 508122 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 2044232 KiB
Current children cumulated memory: 27308 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.23 4.17 5/250 88069
/proc/meminfo: memFree=126930448/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2054612 memory=35096 CPUtime=101.93 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 138833 0 0 0 10154 39 0 0 20 0 1 0 76874802 2103922688 8774 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 513653 8774 1696 343 0 510717 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 2054612 KiB
Current children cumulated memory: 35096 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.20 4.17 5/250 88071
/proc/meminfo: memFree=126950980/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2063192 memory=39948 CPUtime=161.74 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 202211 0 0 0 16113 61 0 0 20 0 1 0 76874802 2112708608 9987 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 515798 9987 1696 343 0 512862 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 2063192 KiB
Current children cumulated memory: 39948 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.19 4.17 5/251 88076
/proc/meminfo: memFree=126957192/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2055412 memory=37740 CPUtime=221.55 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 261553 0 0 0 22070 85 0 0 20 0 1 0 76874802 2104741888 9435 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 513853 9435 1696 343 0 510917 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 2055412 KiB
Current children cumulated memory: 37740 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 4.16 4.15 5/251 88078
/proc/meminfo: memFree=126958336/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2055612 memory=38428 CPUtime=281.36 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 318107 0 0 0 28031 105 0 0 20 0 1 0 76874802 2104946688 9607 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 513903 9607 1696 343 0 510967 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 2055612 KiB
Current children cumulated memory: 38428 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.16 4.15 5/250 88080
/proc/meminfo: memFree=126972248/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2055984 memory=40392 CPUtime=341.18 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 372921 0 0 0 33993 125 0 0 20 0 1 0 76874802 2105327616 10098 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 513996 10098 1696 343 0 511060 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 2055984 KiB
Current children cumulated memory: 40392 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/250 88082
/proc/meminfo: memFree=126970864/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2088752 memory=55432 CPUtime=400.99 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 409365 0 0 0 39958 141 0 0 20 0 1 0 76874802 2138882048 13858 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 522188 13858 1696 343 0 519252 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 2088752 KiB
Current children cumulated memory: 55432 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/250 88129
/proc/meminfo: memFree=129666392/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2088892 memory=57620 CPUtime=460.8 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 440014 0 0 0 45925 155 0 0 20 0 1 0 76874802 2139025408 14405 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 522223 14405 1696 343 0 519287 0
Current children cumulated CPU time: 460.8 s
################
# More data... #
################
Current children cumulated memory: 79196 KiB
[startup+2922.3 s]
/proc/loadavg: 3.19 3.63 3.92 4/244 88330
/proc/meminfo: memFree=129763736/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2115068 memory=87168 CPUtime=2912.54 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 1145355 0 0 0 290660 594 0 0 20 0 1 0 76874802 2165829632 21792 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 528767 21792 1696 343 0 525831 0
Current children cumulated CPU time: 2912.54 s
Current children cumulated vsize: 2115068 KiB
Current children cumulated memory: 87168 KiB
[startup+2982.3 s]
/proc/loadavg: 3.13 3.53 3.87 4/244 88332
/proc/meminfo: memFree=129752860/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2115068 memory=93532 CPUtime=2972.31 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 1157909 0 0 0 296629 602 0 0 20 0 1 0 76874802 2165829632 23383 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 528767 23383 1696 343 0 525831 0
Current children cumulated CPU time: 2972.31 s
Current children cumulated vsize: 2115068 KiB
Current children cumulated memory: 93532 KiB
[startup+3042.3 s]
/proc/loadavg: 3.10 3.45 3.82 4/244 88334
/proc/meminfo: memFree=129744928/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2147836 memory=107868 CPUtime=3032.09 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 1171032 0 0 0 302599 610 0 0 20 0 1 0 76874802 2199384064 26967 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 536959 26967 1696 343 0 534023 0
Current children cumulated CPU time: 3032.09 s
Current children cumulated vsize: 2147836 KiB
Current children cumulated memory: 107868 KiB
[startup+3102.3 s]
/proc/loadavg: 3.14 3.39 3.78 4/244 88340
/proc/meminfo: memFree=129729856/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2082300 memory=70296 CPUtime=3091.89 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 1182171 0 0 0 308569 620 0 0 20 0 1 0 76874802 2132275200 17574 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 520575 17574 1696 343 0 517639 0
Current children cumulated CPU time: 3091.89 s
Current children cumulated vsize: 2082300 KiB
Current children cumulated memory: 70296 KiB
[startup+3162.3 s]
/proc/loadavg: 3.10 3.34 3.73 4/245 88343
/proc/meminfo: memFree=129752452/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2131452 memory=96700 CPUtime=3151.68 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 1199253 0 0 0 314537 631 0 0 20 0 1 0 76874802 2182606848 24175 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 532863 24175 1696 343 0 529927 0
Current children cumulated CPU time: 3151.68 s
Current children cumulated vsize: 2131452 KiB
Current children cumulated memory: 96700 KiB
[startup+3222.3 s]
/proc/loadavg: 3.30 3.34 3.70 4/245 88347
/proc/meminfo: memFree=129768188/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2147836 memory=107868 CPUtime=3211.47 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 1212350 0 0 0 320507 640 0 0 20 0 1 0 76874802 2199384064 26967 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 536959 26967 1696 343 0 534023 0
Current children cumulated CPU time: 3211.47 s
Current children cumulated vsize: 2147836 KiB
Current children cumulated memory: 107868 KiB
[startup+3282.3 s]
/proc/loadavg: 3.62 3.44 3.72 4/244 88349
/proc/meminfo: memFree=129748628/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2115068 memory=97628 CPUtime=3271.26 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 1226719 0 0 0 326476 650 0 0 20 0 1 0 76874802 2165829632 24407 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 528767 24407 1696 343 0 525831 0
Current children cumulated CPU time: 3271.26 s
Current children cumulated vsize: 2115068 KiB
Current children cumulated memory: 97628 KiB
[startup+3342.3 s]
/proc/loadavg: 3.27 3.37 3.68 4/244 88351
/proc/meminfo: memFree=129753456/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2115068 memory=97628 CPUtime=3331.03 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 1238990 0 0 0 332445 658 0 0 20 0 1 0 76874802 2165829632 24407 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 528767 24407 1696 343 0 525831 0
Current children cumulated CPU time: 3331.03 s
Current children cumulated vsize: 2115068 KiB
Current children cumulated memory: 97628 KiB
[startup+3402.3 s]
/proc/loadavg: 3.21 3.33 3.64 4/244 88352
/proc/meminfo: memFree=129755996/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2147836 memory=103772 CPUtime=3390.81 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 1247682 0 0 0 338417 664 0 0 20 0 1 0 76874802 2199384064 25943 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 536959 25943 1696 343 0 534023 0
Current children cumulated CPU time: 3390.81 s
Current children cumulated vsize: 2147836 KiB
Current children cumulated memory: 103772 KiB
[startup+3462.3 s]
/proc/loadavg: 3.13 3.29 3.61 4/243 88354
/proc/meminfo: memFree=129724640/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2147836 memory=109920 CPUtime=3450.59 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 1256684 0 0 0 344389 670 0 0 20 0 1 0 76874802 2199384064 27480 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 536959 27480 1696 343 0 534023 0
Current children cumulated CPU time: 3450.59 s
Current children cumulated vsize: 2147836 KiB
Current children cumulated memory: 109920 KiB
[startup+3522.3 s]
/proc/loadavg: 3.17 3.26 3.58 4/243 88356
/proc/meminfo: memFree=129727804/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2098684 memory=77860 CPUtime=3510.38 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 1269012 0 0 0 350359 679 0 0 20 0 1 0 76874802 2149052416 19465 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 524671 19465 1696 343 0 521735 0
Current children cumulated CPU time: 3510.38 s
Current children cumulated vsize: 2098684 KiB
Current children cumulated memory: 77860 KiB
[startup+3582.3 s]
/proc/loadavg: 3.12 3.23 3.54 4/243 88358
/proc/meminfo: memFree=129684728/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2213372 memory=132448 CPUtime=3570.17 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 1281389 0 0 0 356327 690 0 0 20 0 1 0 76874802 2266492928 33112 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 553343 33112 1696 343 0 550407 0
Current children cumulated CPU time: 3570.17 s
Current children cumulated vsize: 2213372 KiB
Current children cumulated memory: 132448 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.3 s]
/proc/loadavg: 3.15 3.22 3.53 4/243 88359
/proc/meminfo: memFree=129691580/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2147836 memory=120160 CPUtime=3600.07 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 1284752 0 0 0 359312 695 0 0 20 0 1 0 76874802 2199384064 30040 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 536959 30040 1696 343 0 534023 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2147836 KiB
Current children cumulated memory: 120160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.3 s]
# the end of solver process 88065 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3593.13 s, system=6.95143 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.3 s]
/proc/loadavg: 3.15 3.22 3.53 4/243 88359
/proc/meminfo: memFree=129691580/131382112 swapFree=33002444/33010684
[pid=88065] ppid=88062 vsize=2147836 memory=120160 CPUtime=3600.07 cores=4,6
/proc/88065/stat : 88065 (pb_picat) R 88062 88065 87502 0 -1 4194304 1284752 0 0 0 359312 695 0 0 20 0 1 0 76874802 2199384064 30040 18446744073709551615 94157889597440 94157890999021 140732270305872 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94157891270448 94157893144752 94157915238400 140732270311838 140732270311914 140732270311914 140732270317516 0
/proc/88065/statm: 536959 30040 1696 343 0 534023 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2147836 KiB
Current children cumulated memory: 120160 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3612.3
CPU time (s): 3600.08
CPU user time (s): 3593.13
CPU system time (s): 6.95143
CPU usage (%): 99.6617
Max. virtual memory (cumulated for all children) (KiB): 2213372
Max. memory (cumulated for all children) (KiB): 159068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.13
system time used= 6.95143
maximum resident set size= 159068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1284752
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= 78
involuntary context switches= 21919
# summary of solver processes directly reported to runsolver:
# pid: 88065
# total CPU time (s): 3600.08
# total CPU user time (s): 3593.13
# total CPU system time (s): 6.95143
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5858 second user time and 33.9222 second system time
The end
Begin job on nodeC005 at 2025-07-04 08:52:34
IDJOB=4524412
IDBENCH=180984
IDSOLVER=3346
FILE ID=nodeC005/4524412-1751611954
RUNJOBID= nodeC005-1751607451-87513
SLURM_JOB_ID= 9598896
Free space on /tmp= 429432 MiB
SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB25/normalized-PB25/OPT-NLC/sakai/QPLIB-PB-PB25-20250422/instances/normalized-QPLIB_3877.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524412-1751611954/watcher-4524412-1751611954 -o /tmp/evaluation-result-4524412-1751611954/solver-4524412-1751611954 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751607451-87513 --watchdog 3760 pb_picat HOME/instance-4524412-1751611954.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2da2e651da52fe2a5e7f901cf56b111b
RANDOM SEED=286342307
nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3661.390
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
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 : 3662.816
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
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.465
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
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 : 3700.000
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
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 : 1197.238
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
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 : 3662.742
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
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 : 3093.130
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
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.685
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 pti tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 126986084 kB
MemAvailable: 126909448 kB
Buffers: 12 kB
Cached: 710808 kB
SwapCached: 240 kB
Active: 3352720 kB
Inactive: 455792 kB
Active(anon): 3069736 kB
Inactive(anon): 40824 kB
Active(file): 282984 kB
Inactive(file): 414968 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33002444 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3804 kB
Writeback: 0 kB
AnonPages: 3095968 kB
Mapped: 108960 kB
Shmem: 12868 kB
KReclaimable: 130076 kB
Slab: 216584 kB
SReclaimable: 130076 kB
SUnreclaim: 86508 kB
KernelStack: 4032 kB
PageTables: 9196 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 8651040 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149368 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2822144 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 429476 MiB
End job on nodeC005 at 2025-07-04 09:52:47