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: 63794 MiB (58983 MiB free)
memory of node 1: 64507 MiB (46677 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528187-1752247272/watcher-4528187-1752247272 -o /tmp/evaluation-result-4528187-1752247272/solver-4528187-1752247272 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752245588-123020 --watchdog 3760 pb_picat HOME/instance-4528187-1752247272.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=123541, runsolver pid=123538
[startup+0.100068 s]*
/proc/loadavg: 4.07 4.08 4.11 5/251 123542
/proc/meminfo: memFree=108192808/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2027416 memory=22396 CPUtime=0.1 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 1059 0 0 0 9 1 0 0 20 0 1 0 140406897 2076073984 5599 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 506854 5599 1696 343 0 503918 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2027416 KiB
Current children cumulated memory: 22396 KiB
[startup+0.213239 s]*
/proc/loadavg: 4.07 4.08 4.11 5/251 123542
/proc/meminfo: memFree=108192808/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2028836 memory=23420 CPUtime=0.21 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 1345 0 0 0 20 1 0 0 20 0 1 0 140406897 2077528064 5855 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 507209 5855 1696 343 0 504273 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2028836 KiB
Current children cumulated memory: 23420 KiB
[startup+0.312883 s]*
/proc/loadavg: 4.07 4.08 4.11 5/251 123542
/proc/meminfo: memFree=108192808/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2028836 memory=23548 CPUtime=0.3 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 1369 0 0 0 29 1 0 0 20 0 1 0 140406897 2077528064 5887 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 507209 5887 1696 343 0 504273 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2028836 KiB
Current children cumulated memory: 23548 KiB
[startup+0.70032 s]
/proc/loadavg: 4.07 4.08 4.11 5/251 123542
/proc/meminfo: memFree=108192808/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2028920 memory=23912 CPUtime=0.68 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 1621 0 0 0 67 1 0 0 20 0 1 0 140406897 2077614080 5978 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 507230 5978 1696 343 0 504294 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2028920 KiB
Current children cumulated memory: 23912 KiB
[startup+1.50032 s]
/proc/loadavg: 4.07 4.08 4.11 5/251 123542
/proc/meminfo: memFree=108187956/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2029436 memory=23964 CPUtime=1.47 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 2163 0 0 0 146 1 0 0 20 0 1 0 140406897 2078142464 5991 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 507359 5991 1696 343 0 504423 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2029436 KiB
Current children cumulated memory: 23964 KiB
[startup+3.11271 s]
/proc/loadavg: 4.07 4.08 4.11 5/251 123542
/proc/meminfo: memFree=108183980/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2029964 memory=24828 CPUtime=3.09 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 3338 0 0 0 307 2 0 0 20 0 1 0 140406897 2078683136 6207 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 507491 6207 1696 343 0 504555 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2029964 KiB
Current children cumulated memory: 24828 KiB
[startup+6.30027 s]
/proc/loadavg: 4.07 4.08 4.11 5/251 123542
/proc/meminfo: memFree=108164164/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2031200 memory=24868 CPUtime=6.26 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 7825 0 0 0 623 3 0 0 20 0 1 0 140406897 2079948800 6217 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 507800 6217 1696 343 0 504864 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2031200 KiB
Current children cumulated memory: 24868 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.10 4.11 5/251 123542
/proc/meminfo: memFree=108148700/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2031372 memory=25572 CPUtime=12.65 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 12978 0 0 0 1261 4 0 0 20 0 1 0 140406897 2080124928 6393 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 507843 6393 1696 343 0 504907 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2031372 KiB
Current children cumulated memory: 25572 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.09 4.11 5/250 123542
/proc/meminfo: memFree=108726860/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2034540 memory=27424 CPUtime=25.41 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 26362 0 0 0 2533 8 0 0 20 0 1 0 140406897 2083368960 6856 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 508635 6856 1696 343 0 505699 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2034540 KiB
Current children cumulated memory: 27424 KiB
[startup+51.1126 s]
/proc/loadavg: 4.14 4.10 4.11 5/249 123542
/proc/meminfo: memFree=108169692/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2033260 memory=27120 CPUtime=50.96 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 59997 0 0 0 5081 15 0 0 20 0 1 0 140406897 2082058240 6780 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 508315 6780 1696 343 0 505379 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2033260 KiB
Current children cumulated memory: 27120 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/250 123545
/proc/meminfo: memFree=109294044/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2035212 memory=29244 CPUtime=102 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 114412 0 0 0 10172 28 0 0 20 0 1 0 140406897 2084057088 7311 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 508803 7311 1696 343 0 505867 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2035212 KiB
Current children cumulated memory: 29244 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.11 5/251 123548
/proc/meminfo: memFree=108281796/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2039308 memory=31420 CPUtime=161.84 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 171103 0 0 0 16143 41 0 0 20 0 1 0 140406897 2088251392 7855 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 509827 7855 1696 343 0 506891 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2039308 KiB
Current children cumulated memory: 31420 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.12 4.11 5/251 123551
/proc/meminfo: memFree=108253252/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2042032 memory=31368 CPUtime=221.67 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 222007 0 0 0 22114 53 0 0 20 0 1 0 140406897 2091040768 7842 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 510508 7842 1696 343 0 507572 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 2042032 KiB
Current children cumulated memory: 31368 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/252 123556
/proc/meminfo: memFree=108391336/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2042032 memory=33872 CPUtime=281.51 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 272844 0 0 0 28085 66 0 0 20 0 1 0 140406897 2091040768 8468 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 510508 8468 1696 343 0 507572 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 2042032 KiB
Current children cumulated memory: 33872 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/252 123558
/proc/meminfo: memFree=111066640/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2042164 memory=35912 CPUtime=341.33 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 311284 0 0 0 34056 77 0 0 20 0 1 0 140406897 2091175936 8978 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 510541 8978 1696 343 0 507605 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 2042164 KiB
Current children cumulated memory: 35912 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 123564
/proc/meminfo: memFree=109071644/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2042164 memory=36208 CPUtime=401.15 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 338083 0 0 0 40029 86 0 0 20 0 1 0 140406897 2091175936 9052 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 510541 9052 1696 343 0 507605 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 2042164 KiB
Current children cumulated memory: 36208 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/251 123567
/proc/meminfo: memFree=108662464/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2042356 memory=36896 CPUtime=460.98 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 368393 0 0 0 46004 94 0 0 20 0 1 0 140406897 2091372544 9224 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 510589 9224 1696 343 0 507653 0
Current children cumulated CPU time: 460.98 s
################
# More data... #
################
Current children cumulated memory: 55068 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.14 4.16 6/250 123918
/proc/meminfo: memFree=121418376/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2056824 memory=52880 CPUtime=2913.5 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 1010220 0 0 0 291035 315 0 0 20 0 1 0 140406897 2106187776 13220 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 514206 13220 1696 343 0 511270 0
Current children cumulated CPU time: 2913.5 s
Current children cumulated vsize: 2056824 KiB
Current children cumulated memory: 52880 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.13 4.15 6/250 123920
/proc/meminfo: memFree=121411032/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2056824 memory=55096 CPUtime=2973.31 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 1024941 0 0 0 297011 320 0 0 20 0 1 0 140406897 2106187776 13774 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 514206 13774 1696 343 0 511270 0
Current children cumulated CPU time: 2973.31 s
Current children cumulated vsize: 2056824 KiB
Current children cumulated memory: 55096 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.12 4.14 6/249 123922
/proc/meminfo: memFree=121407388/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2056824 memory=55224 CPUtime=3033.14 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 1039828 0 0 0 302990 324 0 0 20 0 1 0 140406897 2106187776 13806 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 514206 13806 1696 343 0 511270 0
Current children cumulated CPU time: 3033.14 s
Current children cumulated vsize: 2056824 KiB
Current children cumulated memory: 55224 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.14 6/250 123925
/proc/meminfo: memFree=121432552/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2056824 memory=48532 CPUtime=3092.95 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 1051627 0 0 0 308966 329 0 0 20 0 1 0 140406897 2106187776 12133 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 514206 12133 1696 343 0 511270 0
Current children cumulated CPU time: 3092.95 s
Current children cumulated vsize: 2056824 KiB
Current children cumulated memory: 48532 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.14 6/250 123927
/proc/meminfo: memFree=121417432/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2073208 memory=61240 CPUtime=3152.78 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 1059738 0 0 0 314945 333 0 0 20 0 1 0 140406897 2122964992 15310 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 518302 15310 1696 343 0 515366 0
Current children cumulated CPU time: 3152.78 s
Current children cumulated vsize: 2073208 KiB
Current children cumulated memory: 61240 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.13 6/250 123929
/proc/meminfo: memFree=121409112/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2057060 memory=52920 CPUtime=3212.6 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 1069623 0 0 0 320922 338 0 0 20 0 1 0 140406897 2106429440 13230 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 514265 13230 1696 343 0 511329 0
Current children cumulated CPU time: 3212.6 s
Current children cumulated vsize: 2057060 KiB
Current children cumulated memory: 52920 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.13 6/250 123931
/proc/meminfo: memFree=121467564/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2049024 memory=44932 CPUtime=3272.42 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 1080362 0 0 0 326900 342 0 0 20 0 1 0 140406897 2098200576 11233 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 512256 11233 1696 343 0 509320 0
Current children cumulated CPU time: 3272.42 s
Current children cumulated vsize: 2049024 KiB
Current children cumulated memory: 44932 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.13 6/251 123936
/proc/meminfo: memFree=121391184/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2057216 memory=55380 CPUtime=3332.24 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 1089395 0 0 0 332878 346 0 0 20 0 1 0 140406897 2106589184 13845 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 514304 13845 1696 343 0 511368 0
Current children cumulated CPU time: 3332.24 s
Current children cumulated vsize: 2057216 KiB
Current children cumulated memory: 55380 KiB
[startup+3402.3 s]
/proc/loadavg: 4.04 4.09 4.11 6/250 123938
/proc/meminfo: memFree=121397832/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2057216 memory=55380 CPUtime=3392.06 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 1099813 0 0 0 338856 350 0 0 20 0 1 0 140406897 2106589184 13845 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 514304 13845 1696 343 0 511368 0
Current children cumulated CPU time: 3392.06 s
Current children cumulated vsize: 2057216 KiB
Current children cumulated memory: 55380 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.11 6/250 123944
/proc/meminfo: memFree=121456364/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2057216 memory=51288 CPUtime=3451.88 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 1117592 0 0 0 344832 356 0 0 20 0 1 0 140406897 2106589184 12822 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 514304 12822 1696 343 0 511368 0
Current children cumulated CPU time: 3451.88 s
Current children cumulated vsize: 2057216 KiB
Current children cumulated memory: 51288 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.11 6/250 123946
/proc/meminfo: memFree=121404760/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2057216 memory=53444 CPUtime=3511.7 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 1122969 0 0 0 350811 359 0 0 20 0 1 0 140406897 2106589184 13361 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 514304 13361 1696 343 0 511368 0
Current children cumulated CPU time: 3511.7 s
Current children cumulated vsize: 2057216 KiB
Current children cumulated memory: 53444 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.10 6/250 123948
/proc/meminfo: memFree=121392068/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2081792 memory=57668 CPUtime=3571.52 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 1131586 0 0 0 356789 363 0 0 20 0 1 0 140406897 2131755008 14417 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 520448 14417 1696 343 0 517512 0
Current children cumulated CPU time: 3571.52 s
Current children cumulated vsize: 2081792 KiB
Current children cumulated memory: 57668 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.04 4.08 4.10 6/250 123949
/proc/meminfo: memFree=121369064/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2073600 memory=56132 CPUtime=3600.02 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 1138026 0 0 0 359637 365 0 0 20 0 1 0 140406897 2123366400 14033 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 518400 14033 1696 343 0 515464 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2073600 KiB
Current children cumulated memory: 56132 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.9 s]
# the end of solver process 123541 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3596.38 s, system=3.65282 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.04 4.08 4.10 6/250 123949
/proc/meminfo: memFree=121369064/131382116 swapFree=33010684/33010684
[pid=123541] ppid=123538 vsize=2073600 memory=56132 CPUtime=3600.02 cores=0,2
/proc/123541/stat : 123541 (pb_picat) R 123538 123541 123010 0 -1 4194304 1138026 0 0 0 359637 365 0 0 20 0 1 0 140406897 2123366400 14033 18446744073709551615 94457435078656 94457436480237 140728385832336 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94457436751664 94457438625904 94457474170880 140728385837468 140728385837544 140728385837544 140728385843148 0
/proc/123541/statm: 518400 14033 1696 343 0 515464 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2073600 KiB
Current children cumulated memory: 56132 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.9
CPU time (s): 3600.03
CPU user time (s): 3596.38
CPU system time (s): 3.65282
CPU usage (%): 99.699
Max. virtual memory (cumulated for all children) (KiB): 2081792
Max. memory (cumulated for all children) (KiB): 69432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.38
system time used= 3.65282
maximum resident set size= 69432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1138026
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= 8078
# summary of solver processes directly reported to runsolver:
# pid: 123541
# total CPU time (s): 3600.03
# total CPU user time (s): 3596.38
# total CPU system time (s): 3.65282
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4611 second user time and 35.5501 second system time
The end
Begin job on nodeC011 at 2025-07-11 17:21:12
IDJOB=4528187
IDBENCH=176059
IDSOLVER=3385
FILE ID=nodeC011/4528187-1752247272
RUNJOBID= nodeC011-1752245588-123020
SLURM_JOB_ID= 9682576
Free space on /tmp= 430088 MiB
SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/diag_spec/normalized-16diag_spec_greater.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528187-1752247272/watcher-4528187-1752247272 -o /tmp/evaluation-result-4528187-1752247272/solver-4528187-1752247272 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1752245588-123020 --watchdog 3760 pb_picat HOME/instance-4528187-1752247272.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6887599ad065147dc61a02d711e5083c
RANDOM SEED=57173473
nodeC011 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 : 3492.537
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 : 6984.20
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 : 3531.516
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 : 6984.20
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.294
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 : 6984.20
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.561
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 : 6984.20
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 : 3661.286
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 : 6984.20
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 : 3531.442
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 : 6984.20
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.432
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 : 6984.20
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.544
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 : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 108196840 kB
MemAvailable: 114625620 kB
Buffers: 3276 kB
Cached: 7198940 kB
SwapCached: 0 kB
Active: 15763912 kB
Inactive: 6753444 kB
Active(anon): 15331024 kB
Inactive(anon): 2076 kB
Active(file): 432888 kB
Inactive(file): 6751368 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3792 kB
Writeback: 0 kB
AnonPages: 15318244 kB
Mapped: 116832 kB
Shmem: 17960 kB
KReclaimable: 167920 kB
Slab: 257584 kB
SReclaimable: 167920 kB
SUnreclaim: 89664 kB
KernelStack: 4048 kB
PageTables: 33240 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 25531912 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 14139392 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: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430116 MiB
End job on nodeC011 at 2025-07-11 18:21:23