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 (62423 MiB free)
memory of node 1: 64465 MiB (63227 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528647-1752248720/watcher-4528647-1752248720 -o /tmp/evaluation-result-4528647-1752248720/solver-4528647-1752248720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752245108-118260 --watchdog 3760 pb_picat HOME/instance-4528647-1752248720.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=118813, runsolver pid=118810
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.08 4.12 4.15 7/251 118814
/proc/meminfo: memFree=128650292/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2035400 memory=22804 CPUtime=0.1 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 1118 0 0 0 9 1 0 0 20 0 1 0 140551384 2084249600 5701 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 508850 5701 1728 343 0 505914 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2035400 KiB
Current children cumulated memory: 22804 KiB
[startup+0.212926 s]*
/proc/loadavg: 4.08 4.12 4.15 5/251 118814
/proc/meminfo: memFree=128650292/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2035792 memory=23188 CPUtime=0.21 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 1219 0 0 0 19 2 0 0 20 0 1 0 140551384 2084651008 5797 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 508948 5797 1728 343 0 506012 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2035792 KiB
Current children cumulated memory: 23188 KiB
[startup+0.313322 s]*
/proc/loadavg: 4.08 4.12 4.15 5/251 118814
/proc/meminfo: memFree=128642100/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2036044 memory=23444 CPUtime=0.31 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 1288 0 0 0 28 3 0 0 20 0 1 0 140551384 2084909056 5861 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 509011 5861 1728 343 0 506075 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2036044 KiB
Current children cumulated memory: 23444 KiB
[startup+0.700336 s]
/proc/loadavg: 4.08 4.12 4.15 6/251 118814
/proc/meminfo: memFree=128642100/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2036656 memory=24100 CPUtime=0.68 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 1656 0 0 0 63 5 0 0 20 0 1 0 140551384 2085535744 6025 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 509164 6025 1728 343 0 506228 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2036656 KiB
Current children cumulated memory: 24100 KiB
[startup+1.50031 s]
/proc/loadavg: 4.08 4.12 4.15 5/251 118814
/proc/meminfo: memFree=128633152/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2037872 memory=27096 CPUtime=1.48 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 2915 0 0 0 139 9 0 0 20 0 1 0 140551384 2086780928 6774 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 509468 6774 1728 343 0 506532 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2037872 KiB
Current children cumulated memory: 27096 KiB
[startup+3.11246 s]
/proc/loadavg: 4.07 4.12 4.15 5/251 118859
/proc/meminfo: memFree=129018632/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2037936 memory=27408 CPUtime=3.08 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 5122 0 0 0 295 13 0 0 20 0 1 0 140551384 2086846464 6852 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 509484 6852 1728 343 0 506548 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2037936 KiB
Current children cumulated memory: 27408 KiB
[startup+6.30026 s]
/proc/loadavg: 4.07 4.12 4.15 5/251 118859
/proc/meminfo: memFree=129010372/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2037948 memory=27212 CPUtime=6.26 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 8337 0 0 0 611 15 0 0 20 0 1 0 140551384 2086858752 6803 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 509487 6803 1728 343 0 506551 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2037948 KiB
Current children cumulated memory: 27212 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.11 4.15 5/251 118859
/proc/meminfo: memFree=128980284/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2041020 memory=28592 CPUtime=12.65 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 12738 0 0 0 1248 17 0 0 20 0 1 0 140551384 2090004480 7148 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 510255 7148 1728 343 0 507319 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2041020 KiB
Current children cumulated memory: 28592 KiB
[startup+25.5003 s]
/proc/loadavg: 4.05 4.11 4.14 5/251 118905
/proc/meminfo: memFree=128921952/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2042024 memory=30892 CPUtime=25.41 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 14978 0 0 0 2523 18 0 0 20 0 1 0 140551384 2091032576 7723 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 510506 7723 1728 343 0 507570 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2042024 KiB
Current children cumulated memory: 30892 KiB
[startup+51.1127 s]
/proc/loadavg: 4.17 4.13 4.15 5/251 118905
/proc/meminfo: memFree=128928232/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2043052 memory=31836 CPUtime=50.95 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 21863 0 0 0 5075 20 0 0 20 0 1 0 140551384 2092085248 7959 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 510763 7959 1728 343 0 507827 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2043052 KiB
Current children cumulated memory: 31836 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.15 5/251 118909
/proc/meminfo: memFree=128940776/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2045104 memory=34164 CPUtime=101.99 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 50775 0 0 0 10174 25 0 0 20 0 1 0 140551384 2094186496 8541 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 511276 8541 1728 343 0 508340 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 2045104 KiB
Current children cumulated memory: 34164 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/250 118916
/proc/meminfo: memFree=128900304/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2045104 memory=34164 CPUtime=161.82 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 86681 0 0 0 16152 30 0 0 20 0 1 0 140551384 2094186496 8541 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 511276 8541 1728 343 0 508340 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2045104 KiB
Current children cumulated memory: 34164 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/250 118918
/proc/meminfo: memFree=128929740/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2045536 memory=32088 CPUtime=221.65 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 112709 0 0 0 22130 35 0 0 20 0 1 0 140551384 2094628864 8022 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 511384 8022 1728 343 0 508448 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 2045536 KiB
Current children cumulated memory: 32088 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.14 5/250 118920
/proc/meminfo: memFree=128927092/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2045536 memory=33312 CPUtime=281.47 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 167303 0 0 0 28102 45 0 0 20 0 1 0 140551384 2094628864 8328 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 511384 8328 1728 343 0 508448 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 2045536 KiB
Current children cumulated memory: 33312 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/250 118922
/proc/meminfo: memFree=128887088/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2051680 memory=39208 CPUtime=341.3 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 199490 0 0 0 34080 50 0 0 20 0 1 0 140551384 2100920320 9802 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 512920 9802 1728 343 0 509984 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 2051680 KiB
Current children cumulated memory: 39208 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/250 118924
/proc/meminfo: memFree=128925624/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2055776 memory=39404 CPUtime=401.13 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 234243 0 0 0 40055 58 0 0 20 0 1 0 140551384 2105114624 9851 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 513944 9851 1728 343 0 511008 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 2055776 KiB
Current children cumulated memory: 39404 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.10 4.12 5/249 118926
/proc/meminfo: memFree=128926052/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2051680 memory=37580 CPUtime=460.95 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 259825 0 0 0 46032 63 0 0 20 0 1 0 140551384 2100920320 9395 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 512920 9395 1728 343 0 509984 0
################
# More data... #
################
Current children cumulated memory: 69556 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/250 119095
/proc/meminfo: memFree=126516308/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2080548 memory=70324 CPUtime=2913.91 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 685590 0 0 0 291223 168 0 0 20 0 1 0 140551384 2130481152 17581 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 520137 17581 1728 343 0 517201 0
Current children cumulated CPU time: 2913.91 s
Current children cumulated vsize: 2080548 KiB
Current children cumulated memory: 70324 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 119097
/proc/meminfo: memFree=126516080/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2080548 memory=70324 CPUtime=2973.75 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 685590 0 0 0 297207 168 0 0 20 0 1 0 140551384 2130481152 17581 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 520137 17581 1728 343 0 517201 0
Current children cumulated CPU time: 2973.75 s
Current children cumulated vsize: 2080548 KiB
Current children cumulated memory: 70324 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 119099
/proc/meminfo: memFree=126516216/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2080548 memory=70964 CPUtime=3033.59 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 685760 0 0 0 303191 168 0 0 20 0 1 0 140551384 2130481152 17741 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 520137 17741 1728 343 0 517201 0
Current children cumulated CPU time: 3033.59 s
Current children cumulated vsize: 2080548 KiB
Current children cumulated memory: 70964 KiB
[startup+3102.3 s]
/proc/loadavg: 4.69 4.25 4.14 5/250 119103
/proc/meminfo: memFree=126516280/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2080548 memory=71220 CPUtime=3093.43 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 685824 0 0 0 309175 168 0 0 20 0 1 0 140551384 2130481152 17805 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 520137 17805 1728 343 0 517201 0
Current children cumulated CPU time: 3093.43 s
Current children cumulated vsize: 2080548 KiB
Current children cumulated memory: 71220 KiB
[startup+3162.3 s]
/proc/loadavg: 4.43 4.26 4.16 5/249 119105
/proc/meminfo: memFree=126517060/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2080548 memory=71220 CPUtime=3153.27 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 685824 0 0 0 315159 168 0 0 20 0 1 0 140551384 2130481152 17805 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 520137 17805 1728 343 0 517201 0
Current children cumulated CPU time: 3153.27 s
Current children cumulated vsize: 2080548 KiB
Current children cumulated memory: 71220 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.23 4.15 5/250 119112
/proc/meminfo: memFree=126517280/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2080548 memory=73404 CPUtime=3213.1 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 685847 0 0 0 321142 168 0 0 20 0 1 0 140551384 2130481152 18351 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 520137 18351 1728 343 0 517201 0
Current children cumulated CPU time: 3213.1 s
Current children cumulated vsize: 2080548 KiB
Current children cumulated memory: 73404 KiB
[startup+3282.3 s]
/proc/loadavg: 4.51 4.30 4.18 5/250 119114
/proc/meminfo: memFree=126517100/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2080548 memory=73404 CPUtime=3272.95 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 685847 0 0 0 327127 168 0 0 20 0 1 0 140551384 2130481152 18351 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 520137 18351 1728 343 0 517201 0
Current children cumulated CPU time: 3272.95 s
Current children cumulated vsize: 2080548 KiB
Current children cumulated memory: 73404 KiB
[startup+3342.3 s]
/proc/loadavg: 4.53 4.36 4.21 5/250 119116
/proc/meminfo: memFree=126508672/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2080548 memory=73404 CPUtime=3332.79 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 685847 0 0 0 333111 168 0 0 20 0 1 0 140551384 2130481152 18351 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 520137 18351 1728 343 0 517201 0
Current children cumulated CPU time: 3332.79 s
Current children cumulated vsize: 2080548 KiB
Current children cumulated memory: 73404 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.31 4.20 5/250 119118
/proc/meminfo: memFree=126497912/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2080548 memory=73404 CPUtime=3392.63 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 685847 0 0 0 339095 168 0 0 20 0 1 0 140551384 2130481152 18351 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 520137 18351 1728 343 0 517201 0
Current children cumulated CPU time: 3392.63 s
Current children cumulated vsize: 2080548 KiB
Current children cumulated memory: 73404 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.28 4.19 6/250 119119
/proc/meminfo: memFree=126522868/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2080548 memory=75452 CPUtime=3452.47 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 685857 0 0 0 345079 168 0 0 20 0 1 0 140551384 2130481152 18863 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 520137 18863 1728 343 0 517201 0
Current children cumulated CPU time: 3452.47 s
Current children cumulated vsize: 2080548 KiB
Current children cumulated memory: 75452 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.23 4.18 5/249 119122
/proc/meminfo: memFree=126519796/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2080548 memory=75452 CPUtime=3512.32 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 685857 0 0 0 351064 168 0 0 20 0 1 0 140551384 2130481152 18863 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 520137 18863 1728 343 0 517201 0
Current children cumulated CPU time: 3512.32 s
Current children cumulated vsize: 2080548 KiB
Current children cumulated memory: 75452 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.21 4.18 5/249 119124
/proc/meminfo: memFree=126521416/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2080548 memory=75452 CPUtime=3572.16 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 685857 0 0 0 357048 168 0 0 20 0 1 0 140551384 2130481152 18863 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 520137 18863 1728 343 0 517201 0
Current children cumulated CPU time: 3572.16 s
Current children cumulated vsize: 2080548 KiB
Current children cumulated memory: 75452 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.08 4.19 4.17 5/249 119125
/proc/meminfo: memFree=126519920/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2080548 memory=75452 CPUtime=3600.08 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 685857 0 0 0 359840 168 0 0 20 0 1 0 140551384 2130481152 18863 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 520137 18863 1728 343 0 517201 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2080548 KiB
Current children cumulated memory: 75452 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.3 s]
# the end of solver process 118813 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3598.41 s, system=1.685 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.08 4.19 4.17 5/249 119125
/proc/meminfo: memFree=126519920/131382112 swapFree=33002444/33010684
[pid=118813] ppid=118810 vsize=2080548 memory=75452 CPUtime=3600.08 cores=1,3
/proc/118813/stat : 118813 (pb_picat) R 118810 118813 118248 0 -1 4194304 685857 0 0 0 359840 168 0 0 20 0 1 0 140551384 2130481152 18863 18446744073709551615 94467907190784 94467908592365 140722739703856 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94467908863792 94467910738032 94467933515776 140722739710364 140722739710440 140722739710440 140722739716044 0
/proc/118813/statm: 520137 18863 1728 343 0 517201 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2080548 KiB
Current children cumulated memory: 75452 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.3
CPU time (s): 3600.09
CPU user time (s): 3598.41
CPU system time (s): 1.685
CPU usage (%): 99.7172
Max. virtual memory (cumulated for all children) (KiB): 2085656
Max. memory (cumulated for all children) (KiB): 75452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.41
system time used= 1.685
maximum resident set size= 75452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 685857
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= 74
involuntary context switches= 2837
# summary of solver processes directly reported to runsolver:
# pid: 118813
# total CPU time (s): 3600.09
# total CPU user time (s): 3598.41
# total CPU system time (s): 1.685
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7919 second user time and 32.6953 second system time
The end
Begin job on nodeC005 at 2025-07-11 17:45:20
IDJOB=4528647
IDBENCH=177146
IDSOLVER=3385
FILE ID=nodeC005/4528647-1752248720
RUNJOBID= nodeC005-1752245108-118260
SLURM_JOB_ID= 9682565
Free space on /tmp= 428604 MiB
SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_17.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528647-1752248720/watcher-4528647-1752248720 -o /tmp/evaluation-result-4528647-1752248720/solver-4528647-1752248720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1752245108-118260 --watchdog 3760 pb_picat HOME/instance-4528647-1752248720.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 57a440677409faa51cc887313df67959
RANDOM SEED=34934973
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 : 1197.471
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 : 1197.244
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.243
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 : 1197.653
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 : 3662.861
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.711
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 : 1197.541
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.256
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: 128675120 kB
MemAvailable: 129474444 kB
Buffers: 12 kB
Cached: 1583776 kB
SwapCached: 244 kB
Active: 835200 kB
Inactive: 1310088 kB
Active(anon): 534684 kB
Inactive(anon): 39708 kB
Active(file): 300516 kB
Inactive(file): 1270380 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33002444 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7924 kB
Writeback: 0 kB
AnonPages: 562796 kB
Mapped: 110960 kB
Shmem: 12892 kB
KReclaimable: 136108 kB
Slab: 225216 kB
SReclaimable: 136108 kB
SUnreclaim: 89108 kB
KernelStack: 4032 kB
PageTables: 4144 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 6976680 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 440320 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= 428556 MiB
End job on nodeC005 at 2025-07-11 18:45:31