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 (62263 MiB free)
memory of node 1: 64507 MiB (63244 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545218-1753238044/watcher-4545218-1753238044 -o /tmp/evaluation-result-4545218-1753238044/solver-4545218-1753238044 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753238044-202419 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4545218-1753238044.opb -total-t=3600 -no-par -v0
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
Current StackSize limit: 8192 KiB
solver pid=202476, runsolver pid=202461
[startup+0.100059 s]*
/proc/loadavg: 1.12 1.10 1.11 5/261 202477
/proc/meminfo: memFree=128464900/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=36624 memory=22144 CPUtime=0.09 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 4807 0 0 0 9 0 0 0 20 0 1 0 239484676 37502976 5536 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 9156 5536 864 2593 0 6049 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36624 KiB
Current children cumulated memory: 22144 KiB
[startup+0.204892 s]*
/proc/loadavg: 1.12 1.10 1.11 5/259 202485
/proc/meminfo: memFree=128447368/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=57248 memory=42456 CPUtime=0.19 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 9971 0 0 0 18 1 0 0 20 0 1 0 239484676 58621952 10614 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 14312 10614 896 2593 0 11205 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 57248 KiB
Current children cumulated memory: 42456 KiB
[startup+0.305623 s]*
/proc/loadavg: 1.12 1.10 1.11 6/259 202485
/proc/meminfo: memFree=128409064/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=68448 memory=52436 CPUtime=0.29 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 13689 0 0 0 27 2 0 0 20 0 1 0 239484676 70090752 13109 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 17112 13109 960 2593 0 14005 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 68448 KiB
Current children cumulated memory: 52436 KiB
[startup+0.700151 s]
/proc/loadavg: 1.12 1.10 1.11 5/259 202485
/proc/meminfo: memFree=128353120/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=70676 memory=54688 CPUtime=0.69 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 15780 0 0 0 66 3 0 0 20 0 1 0 239484676 72372224 13672 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 17669 13672 960 2593 0 14562 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 70676 KiB
Current children cumulated memory: 54688 KiB
[startup+1.50013 s]
/proc/loadavg: 1.12 1.10 1.11 6/259 202485
/proc/meminfo: memFree=128245012/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=75172 memory=59872 CPUtime=1.48 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 17807 0 0 0 145 3 0 0 20 0 1 0 239484676 76976128 14968 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 18793 14968 960 2593 0 15686 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 75172 KiB
Current children cumulated memory: 59872 KiB
[startup+3.1048 s]
/proc/loadavg: 1.35 1.15 1.12 6/263 202522
/proc/meminfo: memFree=127905236/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=78952 memory=63596 CPUtime=3.08 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 18243 0 0 0 305 3 0 0 20 0 1 0 239484676 80846848 15899 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 19738 15899 960 2593 0 16631 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 78952 KiB
Current children cumulated memory: 63596 KiB
[startup+6.30011 s]
/proc/loadavg: 1.35 1.15 1.12 6/263 202522
/proc/meminfo: memFree=127339440/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=73168 memory=57836 CPUtime=6.26 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 18637 0 0 0 623 3 0 0 20 0 1 0 239484676 74924032 14459 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 18292 14459 960 2593 0 15185 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 73168 KiB
Current children cumulated memory: 57836 KiB
[startup+12.7001 s]
/proc/loadavg: 1.56 1.19 1.14 6/263 202522
/proc/meminfo: memFree=125584704/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=70008 memory=54892 CPUtime=12.65 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 20017 0 0 0 1261 4 0 0 20 0 1 0 239484676 71688192 13723 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 17502 13723 960 2593 0 14395 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 70008 KiB
Current children cumulated memory: 54892 KiB
[startup+25.5001 s]
/proc/loadavg: 2.10 1.33 1.18 6/263 202522
/proc/meminfo: memFree=123982976/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=80048 memory=64872 CPUtime=25.4 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 22670 0 0 0 2536 4 0 0 20 0 1 0 239484676 81969152 16218 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 20012 16218 960 2593 0 16905 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 80048 KiB
Current children cumulated memory: 64872 KiB
[startup+51.105 s]
/proc/loadavg: 2.81 1.56 1.26 6/263 202568
/proc/meminfo: memFree=122900820/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=81540 memory=66308 CPUtime=50.93 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 24642 0 0 0 5088 5 0 0 20 0 1 0 239484676 83496960 16577 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 20385 16577 960 2593 0 17278 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 81540 KiB
Current children cumulated memory: 66308 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 1.96 1.42 6/264 202569
/proc/meminfo: memFree=120499336/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=92132 memory=77188 CPUtime=101.97 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 32033 0 0 0 10190 7 0 0 20 0 1 0 239484676 94343168 19297 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 23033 19297 960 2593 0 19926 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 92132 KiB
Current children cumulated memory: 77188 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.36 1.59 6/265 202572
/proc/meminfo: memFree=119145512/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=92132 memory=77188 CPUtime=161.82 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 32062 0 0 0 16175 7 0 0 20 0 1 0 239484676 94343168 19297 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 23033 19297 960 2593 0 19926 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 92132 KiB
Current children cumulated memory: 77188 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.68 1.75 6/266 202577
/proc/meminfo: memFree=116995944/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=109988 memory=95152 CPUtime=221.66 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 34586 0 0 0 22158 8 0 0 20 0 1 0 239484676 112627712 23788 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 27497 23788 960 2593 0 24390 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 109988 KiB
Current children cumulated memory: 95152 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 2.94 1.90 5/266 202624
/proc/meminfo: memFree=124997784/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=118420 memory=103516 CPUtime=281.51 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 35926 0 0 0 28142 9 0 0 20 0 1 0 239484676 121262080 25879 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 29605 25879 960 2593 0 26498 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 118420 KiB
Current children cumulated memory: 103516 KiB
[startup+342.3 s]
/proc/loadavg: 4.20 3.18 2.05 5/265 202630
/proc/meminfo: memFree=124986408/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=125520 memory=110596 CPUtime=341.34 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 36207 0 0 0 34125 9 0 0 20 0 1 0 239484676 128532480 27649 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 31380 27649 960 2593 0 28273 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 125520 KiB
Current children cumulated memory: 110596 KiB
[startup+402.3 s]
/proc/loadavg: 4.31 3.42 2.20 5/264 202632
/proc/meminfo: memFree=124971976/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=125520 memory=110684 CPUtime=401.17 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 37598 0 0 0 40106 11 0 0 20 0 1 0 239484676 128532480 27671 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 31380 27671 960 2593 0 28273 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 125520 KiB
Current children cumulated memory: 110684 KiB
[startup+462.3 s]
/proc/loadavg: 4.23 3.56 2.33 5/262 202648
/proc/meminfo: memFree=125392580/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=133124 memory=118288 CPUtime=461 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 38878 0 0 0 46088 12 0 0 20 0 1 0 239484676 136318976 29572 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 33281 29572 960 2593 0 30174 0
################
# More data... #
################
/proc/loadavg: 4.09 3.74 2.55 5/264 202683
/proc/meminfo: memFree=125008076/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=133124 memory=118288 CPUtime=580.67 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 38878 0 0 0 58055 12 0 0 20 0 1 0 239484676 136318976 29572 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 33281 29572 960 2593 0 30174 0
Current children cumulated CPU time: 580.67 s
Current children cumulated vsize: 133124 KiB
Current children cumulated memory: 118288 KiB
[startup+642.3 s]
/proc/loadavg: 4.13 3.82 2.65 5/266 202688
/proc/meminfo: memFree=124942036/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=133124 memory=118288 CPUtime=640.51 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 38878 0 0 0 64039 12 0 0 20 0 1 0 239484676 136318976 29572 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 33281 29572 960 2593 0 30174 0
Current children cumulated CPU time: 640.51 s
Current children cumulated vsize: 133124 KiB
Current children cumulated memory: 118288 KiB
[startup+702.3 s]
/proc/loadavg: 4.10 3.87 2.74 5/266 202691
/proc/meminfo: memFree=124964736/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=138920 memory=124036 CPUtime=700.35 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 39305 0 0 0 70023 12 0 0 20 0 1 0 239484676 142254080 31009 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 34730 31009 960 2593 0 31623 0
Current children cumulated CPU time: 700.35 s
Current children cumulated vsize: 138920 KiB
Current children cumulated memory: 124036 KiB
[startup+762.3 s]
/proc/loadavg: 4.15 3.93 2.84 5/266 202693
/proc/meminfo: memFree=124972300/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=138920 memory=124036 CPUtime=760.19 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 39305 0 0 0 76007 12 0 0 20 0 1 0 239484676 142254080 31009 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 34730 31009 960 2593 0 31623 0
Current children cumulated CPU time: 760.19 s
Current children cumulated vsize: 138920 KiB
Current children cumulated memory: 124036 KiB
[startup+822.3 s]
/proc/loadavg: 4.11 3.96 2.92 5/266 202695
/proc/meminfo: memFree=124946124/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=138920 memory=124036 CPUtime=820.02 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 39338 0 0 0 81990 12 0 0 20 0 1 0 239484676 142254080 31009 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 34730 31009 960 2593 0 31623 0
Current children cumulated CPU time: 820.02 s
Current children cumulated vsize: 138920 KiB
Current children cumulated memory: 124036 KiB
[startup+882.3 s]
/proc/loadavg: 4.08 3.98 2.99 5/265 202699
/proc/meminfo: memFree=124961900/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=138920 memory=124036 CPUtime=879.86 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 39340 0 0 0 87974 12 0 0 20 0 1 0 239484676 142254080 31009 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 34730 31009 960 2593 0 31623 0
Current children cumulated CPU time: 879.86 s
Current children cumulated vsize: 138920 KiB
Current children cumulated memory: 124036 KiB
[startup+942.3 s]
/proc/loadavg: 4.14 4.02 3.07 5/263 202701
/proc/meminfo: memFree=124950992/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=147888 memory=132996 CPUtime=939.69 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 39546 0 0 0 93957 12 0 0 20 0 1 0 239484676 151437312 33249 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 36972 33249 960 2593 0 33865 0
Current children cumulated CPU time: 939.69 s
Current children cumulated vsize: 147888 KiB
Current children cumulated memory: 132996 KiB
[startup+966.377 s]
# the end of solver process 202476 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=963.587 s, system=0.130592 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+947.2 s]
/proc/loadavg: 4.13 4.02 3.07 5/263 202706
/proc/meminfo: memFree=124962812/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=147888 memory=132996 CPUtime=944.58 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 39546 0 0 0 94446 12 0 0 20 0 1 0 239484676 151437312 33249 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 36972 33249 960 2593 0 33865 0
Current children cumulated CPU time: 944.58 s
Current children cumulated vsize: 147888 KiB
Current children cumulated memory: 132996 KiB
[startup+960 s]*
/proc/loadavg: 4.10 4.01 3.09 5/263 202706
/proc/meminfo: memFree=124964280/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=147888 memory=132996 CPUtime=957.35 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 39547 0 0 0 95723 12 0 0 20 0 1 0 239484676 151437312 33249 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 36972 33249 960 2593 0 33865 0
Current children cumulated CPU time: 957.35 s
Current children cumulated vsize: 147888 KiB
Current children cumulated memory: 132996 KiB
[startup+963.2 s]
/proc/loadavg: 4.09 4.01 3.10 5/263 202706
/proc/meminfo: memFree=124964280/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=147888 memory=132996 CPUtime=960.54 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 39547 0 0 0 96042 12 0 0 20 0 1 0 239484676 151437312 33249 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 36972 33249 960 2593 0 33865 0
Current children cumulated CPU time: 960.54 s
Current children cumulated vsize: 147888 KiB
Current children cumulated memory: 132996 KiB
[startup+964.8 s]
/proc/loadavg: 4.09 4.01 3.10 5/263 202706
/proc/meminfo: memFree=124964280/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=147888 memory=132996 CPUtime=962.13 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 39547 0 0 0 96201 12 0 0 20 0 1 0 239484676 151437312 33249 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 36972 33249 960 2593 0 33865 0
Current children cumulated CPU time: 962.13 s
Current children cumulated vsize: 147888 KiB
Current children cumulated memory: 132996 KiB
[startup+965.6 s]
/proc/loadavg: 4.09 4.01 3.10 5/263 202706
/proc/meminfo: memFree=124962452/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=147888 memory=132996 CPUtime=962.93 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 39581 0 0 0 96281 12 0 0 20 0 1 0 239484676 151437312 33249 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 36972 33249 960 2593 0 33865 0
Current children cumulated CPU time: 962.93 s
Current children cumulated vsize: 147888 KiB
Current children cumulated memory: 132996 KiB
[startup+966 s]*
/proc/loadavg: 4.09 4.01 3.10 5/263 202706
/proc/meminfo: memFree=124963632/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=147888 memory=132996 CPUtime=963.33 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 39581 0 0 0 96321 12 0 0 20 0 1 0 239484676 151437312 33249 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 36972 33249 960 2593 0 33865 0
Current children cumulated CPU time: 963.33 s
Current children cumulated vsize: 147888 KiB
Current children cumulated memory: 132996 KiB
[startup+966.2 s]
/proc/loadavg: 4.09 4.01 3.10 5/263 202706
/proc/meminfo: memFree=124963632/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=147888 memory=132996 CPUtime=963.53 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 39581 0 0 0 96341 12 0 0 20 0 1 0 239484676 151437312 33249 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 36972 33249 960 2593 0 33865 0
Current children cumulated CPU time: 963.53 s
Current children cumulated vsize: 147888 KiB
Current children cumulated memory: 132996 KiB
[startup+966.3 s]
/proc/loadavg: 4.09 4.01 3.10 5/263 202706
/proc/meminfo: memFree=124963632/131250000 swapFree=33008868/33010684
[pid=202476] ppid=202461 vsize=147888 memory=132996 CPUtime=963.63 cores=1,3
/proc/202476/stat : 202476 (CASHWMaxSAT-Dis) R 202461 202476 201822 0 -1 4194304 39581 0 0 0 96351 12 0 0 20 0 1 0 239484676 151437312 33249 18446744073709551615 4198400 14817773 140726724380832 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 53682176 140726724389224 140726724389339 140726724389339 140726724394943 0
/proc/202476/statm: 36972 33249 960 2593 0 33865 0
Current children cumulated CPU time: 963.63 s
Current children cumulated vsize: 147888 KiB
Current children cumulated memory: 132996 KiB
Child status: 30
Real time (s): 966.377
CPU time (s): 963.718
CPU user time (s): 963.587
CPU system time (s): 0.130592
CPU usage (%): 99.7249
Max. virtual memory (cumulated for all children) (KiB): 180324
Max. memory (cumulated for all children) (KiB): 150360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 963.587
system time used= 0.130592
maximum resident set size= 165472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39582
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= 23
involuntary context switches= 1356
# summary of solver processes directly reported to runsolver:
# pid: 202476
# total CPU time (s): 963.718
# total CPU user time (s): 963.587
# total CPU system time (s): 0.130592
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.59094 second user time and 4.45547 second system time
The end
Begin job on nodeC013 at 2025-07-23 04:34:04
IDJOB=4545218
IDBENCH=180780
IDSOLVER=3322
FILE ID=nodeC013/4545218-1753238044
RUNJOBID= nodeC013-1753238044-202419
SLURM_JOB_ID= 9687859
Free space on /tmp= 433028 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-FRB-45-21-3-mgd_c18.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545218-1753238044/watcher-4545218-1753238044 -o /tmp/evaluation-result-4545218-1753238044/solver-4545218-1753238044 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1753238044-202419 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4545218-1753238044.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6b2fe99dba414b0499b72921573350a8
RANDOM SEED=2126712546
nodeC013 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 : 3601.137
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.67
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.828
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.67
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 : 3599.836
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.67
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 : 3599.394
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.67
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 : 3416.798
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.67
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 : 3599.830
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.67
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 : 3599.817
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.67
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 : 3602.985
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128528924 kB
MemAvailable: 129685300 kB
Buffers: 1668 kB
Cached: 1896752 kB
SwapCached: 52 kB
Active: 927912 kB
Inactive: 1038692 kB
Active(anon): 84844 kB
Inactive(anon): 4872 kB
Active(file): 843068 kB
Inactive(file): 1033820 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008868 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 88964 kB
Writeback: 48 kB
AnonPages: 71312 kB
Mapped: 104196 kB
Shmem: 21424 kB
KReclaimable: 237056 kB
Slab: 333844 kB
SReclaimable: 237056 kB
SUnreclaim: 96788 kB
KernelStack: 4020 kB
PageTables: 2624 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 327724 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150344 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432972 MiB
End job on nodeC013 at 2025-07-23 04:50:11