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 (55908 MiB free)
memory of node 1: 64507 MiB (60434 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542567-1753220289/watcher-4542567-1753220289 -o /tmp/evaluation-result-4542567-1753220289/solver-4542567-1753220289 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1753212081-172652 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4542567-1753220289.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=173601, runsolver pid=173598
[startup+0.100062 s]*
/proc/loadavg: 4.21 4.13 4.10 5/263 173602
/proc/meminfo: memFree=119111808/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=40332 memory=21080 CPUtime=0.09 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 4788 0 0 0 9 0 0 0 20 0 1 0 237708509 41299968 5270 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 10083 5270 736 2416 0 7185 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40332 KiB
Current children cumulated memory: 21080 KiB
[startup+0.205434 s]*
/proc/loadavg: 4.21 4.13 4.10 5/263 173602
/proc/meminfo: memFree=119095932/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=58504 memory=38620 CPUtime=0.2 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 9357 0 0 0 19 1 0 0 20 0 1 0 237708509 59908096 9655 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 14626 9655 736 2416 0 11728 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58504 KiB
Current children cumulated memory: 38620 KiB
[startup+0.305369 s]*
/proc/loadavg: 4.21 4.13 4.10 5/263 173602
/proc/meminfo: memFree=119080056/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=75884 memory=54876 CPUtime=0.29 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 13409 0 0 0 28 1 0 0 20 0 1 0 237708509 77705216 13687 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 18971 13687 736 2416 0 16073 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 75884 KiB
Current children cumulated memory: 54876 KiB
[startup+0.700128 s]
/proc/loadavg: 4.19 4.13 4.10 5/263 173602
/proc/meminfo: memFree=119031796/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=145604 memory=120920 CPUtime=0.68 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 29955 0 0 0 64 4 0 0 20 0 1 0 237708509 149098496 30230 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 36401 30230 736 2416 0 33503 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 145604 KiB
Current children cumulated memory: 120920 KiB
[startup+1.50015 s]
/proc/loadavg: 4.19 4.13 4.10 5/263 173602
/proc/meminfo: memFree=118930488/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=282588 memory=243192 CPUtime=1.48 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 50665 0 0 0 139 9 0 0 20 0 1 0 237708509 289370112 60798 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 70647 60798 768 2416 0 67749 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 282588 KiB
Current children cumulated memory: 243192 KiB
[startup+3.10526 s]
/proc/loadavg: 4.19 4.13 4.10 5/263 173602
/proc/meminfo: memFree=118827032/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=403448 memory=360272 CPUtime=3.08 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 66264 0 0 0 295 13 0 0 20 0 1 0 237708509 413130752 90068 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 100862 90068 768 2416 0 97964 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 403448 KiB
Current children cumulated memory: 360272 KiB
[startup+6.30014 s]
/proc/loadavg: 4.18 4.13 4.10 5/263 173602
/proc/meminfo: memFree=118700616/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=401420 memory=358676 CPUtime=6.27 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 68870 0 0 0 609 18 0 0 20 0 1 0 237708509 411054080 89669 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 100355 89669 800 2416 0 97457 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 401420 KiB
Current children cumulated memory: 358676 KiB
[startup+12.7001 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 173602
/proc/meminfo: memFree=118778688/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=403976 memory=361144 CPUtime=12.65 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 73769 0 0 0 1239 26 0 0 20 0 1 0 237708509 413671424 90286 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 100994 90286 800 2416 0 98096 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 403976 KiB
Current children cumulated memory: 361144 KiB
[startup+25.5001 s]
/proc/loadavg: 4.22 4.14 4.10 5/263 173602
/proc/meminfo: memFree=118850912/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=422192 memory=379284 CPUtime=25.42 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 82242 0 0 0 2508 34 0 0 20 0 1 0 237708509 432324608 94821 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 105548 94821 800 2416 0 102650 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 422192 KiB
Current children cumulated memory: 379284 KiB
[startup+51.1053 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 173602
/proc/meminfo: memFree=118747096/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=448700 memory=406632 CPUtime=50.96 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 95196 0 0 0 5049 47 0 0 20 0 1 0 237708509 459468800 101658 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 112175 101658 800 2416 0 109277 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 448700 KiB
Current children cumulated memory: 406632 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 173604
/proc/meminfo: memFree=118717944/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=506460 memory=468804 CPUtime=102.03 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 123210 0 0 0 10126 77 0 0 20 0 1 0 237708509 518615040 117201 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 126615 117201 800 2416 0 123717 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 506460 KiB
Current children cumulated memory: 468804 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 173608
/proc/meminfo: memFree=118531976/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=572952 memory=527816 CPUtime=161.88 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 160465 0 0 0 16071 117 0 0 20 0 1 0 237708509 586702848 131954 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 143238 131954 800 2416 0 140340 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 572952 KiB
Current children cumulated memory: 527816 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 173610
/proc/meminfo: memFree=118216308/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=626072 memory=572668 CPUtime=221.72 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 191821 0 0 0 22021 151 0 0 20 0 1 0 237708509 641097728 143167 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 156518 143167 800 2416 0 153620 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 626072 KiB
Current children cumulated memory: 572668 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 173615
/proc/meminfo: memFree=118429020/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=675392 memory=622124 CPUtime=281.56 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 224591 0 0 0 27965 191 0 0 20 0 1 0 237708509 691601408 155531 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 168848 155531 800 2416 0 165950 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 675392 KiB
Current children cumulated memory: 622124 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 173617
/proc/meminfo: memFree=118301088/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=718820 memory=663336 CPUtime=341.41 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 256208 0 0 0 33912 229 0 0 20 0 1 0 237708509 736071680 165834 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 179705 165834 800 2416 0 176807 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 718820 KiB
Current children cumulated memory: 663336 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 173623
/proc/meminfo: memFree=118170128/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=758048 memory=694244 CPUtime=401.26 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 287408 0 0 0 39858 268 0 0 20 0 1 0 237708509 776241152 173561 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 189512 173561 800 2416 0 186614 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 758048 KiB
Current children cumulated memory: 694244 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 173626
/proc/meminfo: memFree=118147088/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=800308 memory=735080 CPUtime=461.11 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 317115 0 0 0 45807 304 0 0 20 0 1 0 237708509 819515392 183770 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 200077 183770 800 2416 0 197179 0
Current children cumulated CPU time: 461.11 s
################
# More data... #
################
Current children cumulated memory: 1589364 KiB
[startup+2862.3 s]
/proc/loadavg: 1.22 2.49 3.43 2/247 173865
/proc/meminfo: memFree=127765160/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=1710584 memory=1605588 CPUtime=2855.01 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 1343030 0 0 0 283682 1819 0 0 20 0 1 0 237708509 1751638016 401397 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 427646 401397 800 2416 0 424748 0
Current children cumulated CPU time: 2855.01 s
Current children cumulated vsize: 1710584 KiB
Current children cumulated memory: 1605588 KiB
[startup+2922.3 s]
/proc/loadavg: 1.14 2.23 3.28 2/247 173867
/proc/meminfo: memFree=127762644/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=1714996 memory=1611688 CPUtime=2914.88 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 1363029 0 0 0 289629 1859 0 0 20 0 1 0 237708509 1756155904 402922 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 428749 402922 800 2416 0 425851 0
Current children cumulated CPU time: 2914.88 s
Current children cumulated vsize: 1714996 KiB
Current children cumulated memory: 1611688 KiB
[startup+2982.3 s]
/proc/loadavg: 1.10 2.02 3.14 2/247 173869
/proc/meminfo: memFree=127752136/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=1723596 memory=1625160 CPUtime=2974.72 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 1388134 0 0 0 295584 1888 0 0 20 0 1 0 237708509 1764962304 406290 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 430899 406290 800 2416 0 428001 0
Current children cumulated CPU time: 2974.72 s
Current children cumulated vsize: 1723596 KiB
Current children cumulated memory: 1625160 KiB
[startup+3042.3 s]
/proc/loadavg: 1.20 1.88 3.02 2/247 173871
/proc/meminfo: memFree=127744212/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=1710212 memory=1626756 CPUtime=3034.55 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 1407510 0 0 0 301540 1915 0 0 20 0 1 0 237708509 1751257088 406689 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 427553 406689 800 2416 0 424655 0
Current children cumulated CPU time: 3034.55 s
Current children cumulated vsize: 1710212 KiB
Current children cumulated memory: 1626756 KiB
[startup+3102.3 s]
/proc/loadavg: 1.12 1.73 2.89 2/245 173873
/proc/meminfo: memFree=127741168/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=1737692 memory=1640940 CPUtime=3094.39 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 1429988 0 0 0 307496 1943 0 0 20 0 1 0 237708509 1779396608 410235 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 434423 410235 800 2416 0 431525 0
Current children cumulated CPU time: 3094.39 s
Current children cumulated vsize: 1737692 KiB
Current children cumulated memory: 1640940 KiB
[startup+3162.3 s]
/proc/loadavg: 1.08 1.61 2.78 2/245 173876
/proc/meminfo: memFree=127719696/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=1750796 memory=1663488 CPUtime=3154.25 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 1453573 0 0 0 313440 1985 0 0 20 0 1 0 237708509 1792815104 415872 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 437699 415872 800 2416 0 434801 0
Current children cumulated CPU time: 3154.25 s
Current children cumulated vsize: 1750796 KiB
Current children cumulated memory: 1663488 KiB
[startup+3222.3 s]
/proc/loadavg: 1.13 1.53 2.67 2/245 173878
/proc/meminfo: memFree=127715048/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=1757492 memory=1675452 CPUtime=3214.13 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 1474874 0 0 0 319379 2034 0 0 20 0 1 0 237708509 1799671808 418863 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 439373 418863 800 2416 0 436475 0
Current children cumulated CPU time: 3214.13 s
Current children cumulated vsize: 1757492 KiB
Current children cumulated memory: 1675452 KiB
[startup+3282.3 s]
/proc/loadavg: 1.10 1.45 2.57 2/245 173880
/proc/meminfo: memFree=127728064/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=1742072 memory=1675092 CPUtime=3273.96 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 1492881 0 0 0 325336 2060 0 0 20 0 1 0 237708509 1783881728 418773 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 435518 418773 800 2416 0 432620 0
Current children cumulated CPU time: 3273.96 s
Current children cumulated vsize: 1742072 KiB
Current children cumulated memory: 1675092 KiB
[startup+3342.3 s]
/proc/loadavg: 1.14 1.39 2.48 2/246 173885
/proc/meminfo: memFree=127722168/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=1764396 memory=1685716 CPUtime=3333.79 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 1511760 0 0 0 331295 2084 0 0 20 0 1 0 237708509 1806741504 421429 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 441099 421429 800 2416 0 438201 0
Current children cumulated CPU time: 3333.79 s
Current children cumulated vsize: 1764396 KiB
Current children cumulated memory: 1685716 KiB
[startup+3402.3 s]
/proc/loadavg: 1.11 1.33 2.39 2/246 173887
/proc/meminfo: memFree=127709808/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=1774240 memory=1710304 CPUtime=3393.64 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 1529667 0 0 0 337253 2111 0 0 20 0 1 0 237708509 1816821760 427576 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 443560 427576 800 2416 0 440662 0
Current children cumulated CPU time: 3393.64 s
Current children cumulated vsize: 1774240 KiB
Current children cumulated memory: 1710304 KiB
[startup+3462.3 s]
/proc/loadavg: 1.08 1.29 2.31 2/247 173894
/proc/meminfo: memFree=127671536/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=1778296 memory=1716644 CPUtime=3453.46 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 1546346 0 0 0 343214 2132 0 0 20 0 1 0 237708509 1820975104 429161 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 444574 429161 800 2416 0 441676 0
Current children cumulated CPU time: 3453.46 s
Current children cumulated vsize: 1778296 KiB
Current children cumulated memory: 1716644 KiB
[startup+3522.3 s]
/proc/loadavg: 1.41 1.33 2.25 2/247 173896
/proc/meminfo: memFree=127657208/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=1834752 memory=1775332 CPUtime=3513.3 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 1563600 0 0 0 349174 2156 0 0 20 0 1 0 237708509 1878786048 443833 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 458688 443833 800 2416 0 455790 0
Current children cumulated CPU time: 3513.3 s
Current children cumulated vsize: 1834752 KiB
Current children cumulated memory: 1775332 KiB
[startup+3582.3 s]
/proc/loadavg: 1.23 1.30 2.18 2/247 173898
/proc/meminfo: memFree=127641912/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=1793664 memory=1745092 CPUtime=3573.18 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 1584488 0 0 0 355119 2199 0 0 20 0 1 0 237708509 1836711936 436273 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 448416 436273 800 2416 0 445518 0
Current children cumulated CPU time: 3573.18 s
Current children cumulated vsize: 1793664 KiB
Current children cumulated memory: 1745092 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 1.22 1.29 2.16 2/247 173899
/proc/meminfo: memFree=127636020/131249996 swapFree=33005016/33010684
[pid=173601] ppid=173598 vsize=1795432 memory=1750308 CPUtime=3600.02 cores=5,7
/proc/173601/stat : 173601 (CASHWMaxSAT-Dis) R 173598 173601 172639 0 -1 4194304 1591900 0 0 0 357783 2219 0 0 20 0 1 0 237708509 1838522368 437577 18446744073709551615 4198400 14093885 140736088349488 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24842240 140736088357224 140736088357339 140736088357339 140736088362943 0
/proc/173601/statm: 448858 437577 800 2416 0 445960 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1795432 KiB
Current children cumulated memory: 1750308 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.21 s]
# the end of solver process 173601 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3577.84 s, system=22.2032 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.21
CPU time (s): 3600.04
CPU user time (s): 3577.84
CPU system time (s): 22.2032
CPU usage (%): 99.7459
Max. virtual memory (cumulated for all children) (KiB): 1870988
Max. memory (cumulated for all children) (KiB): 1794388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.84
system time used= 22.2032
maximum resident set size= 1796848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1591900
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= 113
involuntary context switches= 4707
# summary of solver processes directly reported to runsolver:
# pid: 173601
# total CPU time (s): 3600.04
# total CPU user time (s): 3577.84
# total CPU system time (s): 22.2032
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.00823 second user time and 12.8872 second system time
The end
Begin job on nodeC030 at 2025-07-22 23:38:09
IDJOB=4542567
IDBENCH=163937
IDSOLVER=3323
FILE ID=nodeC030/4542567-1753220289
RUNJOBID= nodeC030-1753212081-172652
SLURM_JOB_ID= 9687801
Free space on /tmp= 432648 MiB
SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542567-1753220289/watcher-4542567-1753220289 -o /tmp/evaluation-result-4542567-1753220289/solver-4542567-1753220289 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1753212081-172652 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4542567-1753220289.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5315000b872825a9c3a3b6787ef04708
RANDOM SEED=843229138
nodeC030 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 : 3600.257
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 : 7000.62
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 : 3600.299
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 : 7000.62
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 : 3600.143
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 : 7000.62
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 : 3600.602
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 : 7000.62
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 : 3600.319
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 : 7000.62
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.435
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 : 7000.62
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 : 3646.615
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 : 7000.62
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 : 3600.334
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 : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 118828440 kB
MemAvailable: 119283624 kB
Buffers: 16 kB
Cached: 1221616 kB
SwapCached: 232 kB
Active: 11138720 kB
Inactive: 550392 kB
Active(anon): 10451332 kB
Inactive(anon): 37904 kB
Active(file): 687388 kB
Inactive(file): 512488 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005016 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18320 kB
Writeback: 4 kB
AnonPages: 10135832 kB
Mapped: 113720 kB
Shmem: 21756 kB
KReclaimable: 188692 kB
Slab: 283296 kB
SReclaimable: 188692 kB
SUnreclaim: 94604 kB
KernelStack: 4240 kB
PageTables: 23412 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 11777556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3366912 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: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432828 MiB
End job on nodeC030 at 2025-07-23 00:38:19