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: 63665 MiB (62537 MiB free)
memory of node 1: 64507 MiB (63756 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493106-1751137289/watcher-4493106-1751137289 -o /tmp/evaluation-result-4493106-1751137289/solver-4493106-1751137289 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751133631-11804 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4493106-1751137289.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=12683, runsolver pid=12680
[startup+0.100061 s]*
/proc/loadavg: 4.12 4.11 4.04 5/263 12684
/proc/meminfo: memFree=129372816/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=22472 memory=8308 CPUtime=0.09 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 1562 0 0 0 9 0 0 0 20 0 1 0 29408835 23011328 2077 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 5618 2077 960 2593 0 2511 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22472 KiB
Current children cumulated memory: 8308 KiB
[startup+0.205573 s]*
/proc/loadavg: 4.12 4.11 4.04 5/263 12684
/proc/meminfo: memFree=129372816/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=22736 memory=8752 CPUtime=0.19 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 1746 0 0 0 19 0 0 0 20 0 1 0 29408835 23281664 2188 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 5684 2188 992 2593 0 2577 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 22736 KiB
Current children cumulated memory: 8752 KiB
[startup+0.305627 s]*
/proc/loadavg: 4.12 4.11 4.04 5/263 12684
/proc/meminfo: memFree=129372060/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=23076 memory=9148 CPUtime=0.29 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 1984 0 0 0 29 0 0 0 20 0 1 0 29408835 23629824 2287 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 5769 2287 992 2593 0 2662 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 23076 KiB
Current children cumulated memory: 9148 KiB
[startup+0.700206 s]
/proc/loadavg: 4.12 4.11 4.04 5/263 12684
/proc/meminfo: memFree=129372624/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=23448 memory=9480 CPUtime=0.67 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 3208 0 0 0 67 0 0 0 20 0 1 0 29408835 24010752 2370 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 5862 2370 992 2593 0 2755 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 23448 KiB
Current children cumulated memory: 9480 KiB
[startup+1.50017 s]
/proc/loadavg: 4.11 4.11 4.04 5/263 12684
/proc/meminfo: memFree=129372624/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=25764 memory=11800 CPUtime=1.47 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 4155 0 0 0 147 0 0 0 20 0 1 0 29408835 26382336 2950 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 6441 2950 992 2593 0 3334 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 25764 KiB
Current children cumulated memory: 11800 KiB
[startup+3.10543 s]
/proc/loadavg: 4.11 4.11 4.04 5/263 12684
/proc/meminfo: memFree=129370204/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=29476 memory=15512 CPUtime=3.07 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 5631 0 0 0 307 0 0 0 20 0 1 0 29408835 30183424 3878 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 7369 3878 992 2593 0 4262 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 29476 KiB
Current children cumulated memory: 15512 KiB
[startup+6.3002 s]
/proc/loadavg: 4.10 4.10 4.03 5/263 12684
/proc/meminfo: memFree=129355720/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=34380 memory=20332 CPUtime=6.26 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 8748 0 0 0 625 1 0 0 20 0 1 0 29408835 35205120 5083 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 8595 5083 992 2593 0 5488 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 34380 KiB
Current children cumulated memory: 20332 KiB
[startup+12.7001 s]
/proc/loadavg: 4.10 4.10 4.03 5/263 12684
/proc/meminfo: memFree=129368484/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=38388 memory=24380 CPUtime=12.64 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 10525 0 0 0 1263 1 0 0 20 0 1 0 29408835 39309312 6095 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 9597 6095 992 2593 0 6490 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 38388 KiB
Current children cumulated memory: 24380 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.03 5/265 12868
/proc/meminfo: memFree=129734284/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=46832 memory=32828 CPUtime=25.41 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 15711 0 0 0 2538 3 0 0 20 0 1 0 29408835 47955968 8207 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 11708 8207 992 2593 0 8601 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 46832 KiB
Current children cumulated memory: 32828 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.10 4.04 5/265 12869
/proc/meminfo: memFree=129635732/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=53476 memory=39484 CPUtime=50.94 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 16373 0 0 0 5091 3 0 0 20 0 1 0 29408835 54759424 9871 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 13369 9871 992 2593 0 10262 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 53476 KiB
Current children cumulated memory: 39484 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.04 5/265 12870
/proc/meminfo: memFree=129640728/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=74516 memory=60600 CPUtime=102 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 22729 0 0 0 10195 5 0 0 20 0 1 0 29408835 76304384 15150 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 18629 15150 992 2593 0 15522 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 74516 KiB
Current children cumulated memory: 60600 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/265 12872
/proc/meminfo: memFree=129627632/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=78148 memory=64060 CPUtime=161.84 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 25901 0 0 0 16178 6 0 0 20 0 1 0 29408835 80023552 16015 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 19537 16015 992 2593 0 16430 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 78148 KiB
Current children cumulated memory: 64060 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.04 5/265 12874
/proc/meminfo: memFree=129584500/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=84328 memory=70332 CPUtime=221.69 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 33901 0 0 0 22159 10 0 0 20 0 1 0 29408835 86351872 17583 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 21082 17583 992 2593 0 17975 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 84328 KiB
Current children cumulated memory: 70332 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/264 12934
/proc/meminfo: memFree=129375828/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=91736 memory=77756 CPUtime=281.54 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 34731 0 0 0 28144 10 0 0 20 0 1 0 29408835 93937664 19439 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 22934 19439 992 2593 0 19827 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 91736 KiB
Current children cumulated memory: 77756 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/264 13011
/proc/meminfo: memFree=129526384/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=99080 memory=85128 CPUtime=341.38 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 39810 0 0 0 34125 13 0 0 20 0 1 0 29408835 101457920 21282 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 24770 21282 992 2593 0 21663 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 99080 KiB
Current children cumulated memory: 85128 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.04 5/264 13013
/proc/meminfo: memFree=129595116/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=131828 memory=117944 CPUtime=401.23 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 41572 0 0 0 40108 15 0 0 20 0 1 0 29408835 134991872 29486 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 32957 29486 992 2593 0 29850 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 131828 KiB
Current children cumulated memory: 117944 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/264 13015
/proc/meminfo: memFree=129587500/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=135396 memory=121404 CPUtime=461.07 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 41941 0 0 0 46092 15 0 0 20 0 1 0 29408835 138645504 30351 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 33849 30351 992 2593 0 30742 0
Current children cumulated CPU time: 461.07 s
################
# More data... #
################
Current children cumulated memory: 228612 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/263 13261
/proc/meminfo: memFree=129395536/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=221744 memory=207868 CPUtime=2914.05 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 108410 0 0 0 291297 108 0 0 20 0 1 0 29408835 227065856 51967 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 55436 51967 992 2593 0 52329 0
Current children cumulated CPU time: 2914.05 s
Current children cumulated vsize: 221744 KiB
Current children cumulated memory: 207868 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 13269
/proc/meminfo: memFree=129336064/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=220240 memory=206364 CPUtime=2973.89 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 111421 0 0 0 297277 112 0 0 20 0 1 0 29408835 225525760 51591 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 55060 51591 992 2593 0 51953 0
Current children cumulated CPU time: 2973.89 s
Current children cumulated vsize: 220240 KiB
Current children cumulated memory: 206364 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 13273
/proc/meminfo: memFree=129383936/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=227672 memory=213796 CPUtime=3033.74 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 113518 0 0 0 303257 117 0 0 20 0 1 0 29408835 233136128 53449 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 56918 53449 992 2593 0 53811 0
Current children cumulated CPU time: 3033.74 s
Current children cumulated vsize: 227672 KiB
Current children cumulated memory: 213796 KiB
[startup+3102.3 s]
/proc/loadavg: 4.34 4.20 4.12 5/262 13274
/proc/meminfo: memFree=129322136/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=228256 memory=214380 CPUtime=3093.58 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 115843 0 0 0 309238 120 0 0 20 0 1 0 29408835 233734144 53595 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 57064 53595 992 2593 0 53957 0
Current children cumulated CPU time: 3093.58 s
Current children cumulated vsize: 228256 KiB
Current children cumulated memory: 214380 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/262 13276
/proc/meminfo: memFree=129352948/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=223268 memory=209392 CPUtime=3153.43 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 119384 0 0 0 315218 125 0 0 20 0 1 0 29408835 228626432 52348 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 55817 52348 992 2593 0 52710 0
Current children cumulated CPU time: 3153.43 s
Current children cumulated vsize: 223268 KiB
Current children cumulated memory: 209392 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/263 13279
/proc/meminfo: memFree=129344760/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=220436 memory=206560 CPUtime=3213.28 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 121349 0 0 0 321199 129 0 0 20 0 1 0 29408835 225726464 51640 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 55109 51640 992 2593 0 52002 0
Current children cumulated CPU time: 3213.28 s
Current children cumulated vsize: 220436 KiB
Current children cumulated memory: 206560 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/263 13281
/proc/meminfo: memFree=129331100/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=222348 memory=208472 CPUtime=3273.12 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 124522 0 0 0 327179 133 0 0 20 0 1 0 29408835 227684352 52118 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 55587 52118 992 2593 0 52480 0
Current children cumulated CPU time: 3273.12 s
Current children cumulated vsize: 222348 KiB
Current children cumulated memory: 208472 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/263 13283
/proc/meminfo: memFree=129345072/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=221528 memory=207652 CPUtime=3332.97 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 126986 0 0 0 333161 136 0 0 20 0 1 0 29408835 226844672 51913 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 55382 51913 992 2593 0 52275 0
Current children cumulated CPU time: 3332.97 s
Current children cumulated vsize: 221528 KiB
Current children cumulated memory: 207652 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.12 4.10 5/263 13285
/proc/meminfo: memFree=129343344/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=224660 memory=210784 CPUtime=3392.81 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 128882 0 0 0 339142 139 0 0 20 0 1 0 29408835 230051840 52696 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 56165 52696 992 2593 0 53058 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 224660 KiB
Current children cumulated memory: 210784 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/263 13287
/proc/meminfo: memFree=129391216/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=184968 memory=170992 CPUtime=3452.65 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 130543 0 0 0 345124 141 0 0 20 0 1 0 29408835 189407232 42748 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 46242 42748 992 2593 0 43135 0
Current children cumulated CPU time: 3452.65 s
Current children cumulated vsize: 184968 KiB
Current children cumulated memory: 170992 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 13289
/proc/meminfo: memFree=129308612/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=255128 memory=241124 CPUtime=3512.5 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 132974 0 0 0 351106 144 0 0 20 0 1 0 29408835 261251072 60281 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 63782 60281 992 2593 0 60675 0
Current children cumulated CPU time: 3512.5 s
Current children cumulated vsize: 255128 KiB
Current children cumulated memory: 241124 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 13303
/proc/meminfo: memFree=129323836/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=213520 memory=199544 CPUtime=3572.33 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 134217 0 0 0 357087 146 0 0 20 0 1 0 29408835 218644480 49886 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 53380 49886 992 2593 0 50273 0
Current children cumulated CPU time: 3572.33 s
Current children cumulated vsize: 213520 KiB
Current children cumulated memory: 199544 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 13308
/proc/meminfo: memFree=129291364/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=253720 memory=239716 CPUtime=3600.06 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 134558 0 0 0 359859 147 0 0 20 0 1 0 29408835 259809280 59929 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 63430 59929 992 2593 0 60323 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 253720 KiB
Current children cumulated memory: 239716 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 12683 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.59 s, system=1.47517 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 13308
/proc/meminfo: memFree=129291364/131250000 swapFree=33010684/33010684
[pid=12683] ppid=12680 vsize=253720 memory=239716 CPUtime=3600.06 cores=5,7
/proc/12683/stat : 12683 (CASHWMaxSAT-Dis) R 12680 12683 11786 0 -1 4194304 134558 0 0 0 359859 147 0 0 20 0 1 0 29408835 259809280 59929 18446744073709551615 4198400 14817773 140727737503936 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 42774528 140727737510250 140727737510365 140727737510365 140727737515967 0
/proc/12683/statm: 63430 59929 992 2593 0 60323 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 253720 KiB
Current children cumulated memory: 239716 KiB
Child status: 0
Real time (s): 3610.11
CPU time (s): 3600.07
CPU user time (s): 3598.59
CPU system time (s): 1.47517
CPU usage (%): 99.7219
Max. virtual memory (cumulated for all children) (KiB): 300284
Max. memory (cumulated for all children) (KiB): 277940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.59
system time used= 1.47517
maximum resident set size= 288992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134558
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= 22
involuntary context switches= 4198
# summary of solver processes directly reported to runsolver:
# pid: 12683
# total CPU time (s): 3600.07
# total CPU user time (s): 3598.59
# total CPU system time (s): 1.47517
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.152 second user time and 15.6326 second system time
The end
Begin job on nodeC027 at 2025-06-28 21:01:30
IDJOB=4493106
IDBENCH=147846
IDSOLVER=3322
FILE ID=nodeC027/4493106-1751137289
RUNJOBID= nodeC027-1751133631-11804
SLURM_JOB_ID= 9587427
Free space on /tmp= 433020 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4493106-1751137289/watcher-4493106-1751137289 -o /tmp/evaluation-result-4493106-1751137289/solver-4493106-1751137289 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751133631-11804 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4493106-1751137289.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c29178bae55e2a953331375c03582f77
RANDOM SEED=1132775857
nodeC027 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 : 0xb00002a
cpu MHz : 3599.666
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.631
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.992
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3634.511
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.951
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.102
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3606.683
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.504
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129374836 kB
MemAvailable: 128983444 kB
Buffers: 3280 kB
Cached: 382876 kB
SwapCached: 0 kB
Active: 1059252 kB
Inactive: 176136 kB
Active(anon): 867300 kB
Inactive(anon): 0 kB
Active(file): 191952 kB
Inactive(file): 176136 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 13660 kB
Writeback: 28 kB
AnonPages: 852336 kB
Mapped: 114820 kB
Shmem: 18068 kB
KReclaimable: 84084 kB
Slab: 167612 kB
SReclaimable: 84084 kB
SUnreclaim: 83528 kB
KernelStack: 4288 kB
PageTables: 4744 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1270944 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 747520 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: 203476 kB
DirectMap2M: 9005056 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433004 MiB
End job on nodeC027 at 2025-06-28 22:01:40